#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include //#include //#include //#include //#include //#include //#include //#include //#include //#include //#if __cplusplus >= 201103L //#include //#include //#include //#include // //#define cauto const auto& //#else //#endif using namespace std; typedef long long ll; typedef pair pii; typedef pair pll; typedef vector vint; typedef vector > vvint; typedef vector vll, vLL; typedef vector > vvll, vvLL; #define VV(T) vector > template void initvv(vector > &v, int a, int b, const T &t = T()){ v.assign(a, vector(b, t)); } template void convert(const F &f, T &t){ stringstream ss; ss << f; ss >> t; } #define reep(i,a,b) for(int i=(a);i<(b);++i) #define rep(i,n) reep((i),0,(n)) #define ALL(v) (v).begin(),(v).end() #define PB push_back #define F first #define S second #define mkp make_pair #define RALL(v) (v).rbegin(),(v).rend() #define DEBUG #ifdef DEBUG #define dump(x) cout << #x << " = " << (x) << endl; #define debug(x) cout << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl; #else #define dump(x) #define debug(x) #endif #define MOD 1000000007LL #define EPS 1e-8 static const int INF=1<<24; int a[]={2,3,5,7,11,13}; int b[]={4,6,8,9,10,12}; vvll calc(vvll &aa,vvll &bb){ vvll ret; initvv(ret,150,150); rep(i,150){ rep(j,150){ ll tt=0LL; rep(k,150){ tt+=aa[i][k]*bb[k][j]; tt%=MOD; } ret[i][j]=tt; } } return ret; } vvll foo(ll a,vvll &vv){ vvll ret; initvv(ret,150,150,0LL); rep(i,150) ret[i][i]=1LL; while(a){ if(a&1){ ret=calc(ret,vv); } a/=2; vv=calc(vv,vv); } return ret; } vll foo2(vvll &vv,vll &a){ vll ret(150,0LL); rep(i,150){ rep(j,150){ ret[i]+=vv[i][j]*a[149-i]; ret[i]%=MOD; } } return ret; } vint cc; void fa(int a){ // if() } void mainmain(){ ll n; cin>>n; ll aa,bb; cin>>aa>>bb; vvll vv; vll v(150,0); v[0]=1; bool f=false; if(n<150LL) f=true; ll ans=0; rep(i,aa){ vll tmp(150,0); rep(j,150){ if(v[j]){ rep(k,6){ tmp[j+a[k]]+=v[j]; tmp[j+a[k]]%=MOD; } } } tmp.swap(v); } rep(i,bb){ vll tmp(150,0); rep(j,150){ if(v[j]){ rep(k,6){ tmp[j+b[k]]+=v[j]; tmp[j+b[k]]%=MOD; } } } tmp.swap(v); } reep(i,n,150){ ans+=v[i]; ans%=MOD; } if(f){ cout<