#include #include using namespace std; using namespace atcoder; #define rep2(i, m, n) for (int i = (m); i < (n); ++i) #define rep(i, n) rep2(i, 0, n) #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) typedef modint1000000007 mint; typedef long long ll; mint solve(string x, bool mode){ int size = x.size(); vector dpy(24); vector dpn(24); bool nowisy = false; int now24 = 0; for (int num=0; num ndpy(24); vector ndpn(24); //継続 for (int i=0; i<10; i++){ if (i==3){ for (int j=0; j<24; j++){ ndpy[(i+10*j)%24] += dpy[j] + dpn[j]; } }else{ for (int j=0; j<24; j++){ ndpy[(i+10*j)%24] += dpy[j]; ndpn[(i+10*j)%24] += dpn[j]; } } } //新規 if (num > 0){ for (int i=1; i<10; i++){ if (i==3) ndpy[i] += 1; else ndpn[i] += 1; } } int targ = x[num] - '0'; //解放 if (nowisy){ for (int i=(num<1); i> a >> b; mint ans = solve(b,true) - solve(a,false); cout << ans.val() << endl; }