//#include #include //#include using namespace std; //using namespace atcoder; typedef long long ll; typedef long double ld; typedef unsigned int uint; typedef unsigned long long ull; typedef pair p; const int INF = 1e9; const double eps = 1e-7; const ll LINF = ll(1e18); const int MOD = 1000000007; const int dx[4] = {0, 1, 0, -1}, dy[4] = {-1, 0, 1, 0}; const int Dx[8] = {0, 1, 1, 1, 0, -1, -1, -1}, Dy[8] = {-1, -1, 0, 1, 1, 1, 0, -1}; const long double pi = 4 * atan(1); #define yes cout << "Yes" << endl #define YES cout << "YES" << endl #define no cout << "No" << endl #define NO cout << "NO" << endl #define rep(i, n) for (int i = 0; i < n; i++) #define ALL(v) v.begin(), v.end() #define debug(v) \ cout << #v << ":"; \ for (auto x : v) \ { \ cout << x << ' '; \ } \ cout << endl; template bool chmax(T &a, const T &b) { if (a < b) { a = b; return 1; } return 0; } template bool chmin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; } template istream &operator>>(istream &is, vector &v) { for (T &x : v) is >> x; return is; } //cout<> s; int n = s.size(); vector>>> dp(n + 1, vector>>(3, vector>(3, vector(2, 0)))); dp[0][0][0][0] = 1; rep(i, n) { rep(j, 3) { rep(k, 3) { for (char c = '1'; c <= '9'; c++) { if (c == s[i]) { if (c == '2' || c == '6') { dp[i + 1][min(j + 1, 2)][k][0] += dp[i][j][k][0]; dp[i + 1][min(j + 1, 2)][k][1] += dp[i][j][k][1]; } else if (c == '5') { dp[i + 1][j][min(k + 1, 2)][0] += dp[i][j][k][0]; dp[i + 1][j][min(k + 1, 2)][1] += dp[i][j][k][1]; } else if (c == '4' || c == '8') { dp[i + 1][min(j + 2, 2)][k][0] += dp[i][j][k][0]; dp[i + 1][min(j + 2, 2)][k][1] += dp[i][j][k][1]; } else { dp[i + 1][j][k][0] += dp[i][j][k][0]; dp[i + 1][j][k][1] += dp[i][j][k][1]; } } else if (c > s[i]) { if (c == '2' || c == '6') { dp[i + 1][min(j + 1, 2)][k][1] += dp[i][j][k][1]; } else if (c == '5') { dp[i + 1][j][min(k + 1, 2)][1] += dp[i][j][k][1]; } else if (c == '4' || c == '8') { dp[i + 1][min(j + 2, 2)][k][1] += dp[i][j][k][1]; } else { dp[i + 1][j][k][1] += dp[i][j][k][1]; } } else { if (c == '2'||c=='6') { dp[i + 1][min(j + 1, 2)][k][1] += dp[i][j][k][1] + dp[i][j][k][0]; } else if (c == '5') { dp[i + 1][j][min(k + 1, 2)][1] += dp[i][j][k][1] + dp[i][j][k][0]; } else if (c == '4' || c == '8') { dp[i + 1][min(j + 2, 2)][k][1] += dp[i][j][k][1] + dp[i][j][k][0]; } else { dp[i + 1][j][k][1] += dp[i][j][k][1] + dp[i][j][k][0]; } } dp[i + 1][min(j + 1, 2)][k][0] %= MOD; dp[i + 1][min(j + 1, 2)][k][1] %= MOD; dp[i + 1][min(j + 2, 2)][k][0] %=MOD; dp[i + 1][min(j + 2, 2)][k][1] %= MOD; dp[i + 1][j][min(k + 1, 2)][0] %= MOD; dp[i + 1][j][min(k + 1, 2)][1] %= MOD; dp[i + 1][j][k][0] %= MOD; dp[i + 1][j][k][1] %= MOD; } } } if(i!=0){ dp[i+1][2][0][1]+=2; dp[i+1][1][0][1]+=2; dp[i + 1][0][1][1]++; dp[i + 1][0][0][1]+= 4; } } cout << (dp[n][2][2][0] + dp[n][2][2][1]) % MOD << "\n"; }