#include #include using namespace std; #define REP(i,a,b) for(i=a;i'9')break;*x=(*x)*10+k-'0';}if(m)(*x)=-(*x);} void reader(ll *x){int k,m=0;*x=0;for(;;){mygc(k);if(k=='-'){m=1;break;}if('0'<=k&&k<='9'){*x=k-'0';break;}}for(;;){mygc(k);if(k<'0'||k>'9')break;*x=(*x)*10+k-'0';}if(m)(*x)=-(*x);} void reader(double *x){scanf("%lf",x);} int reader(char c[]){int i,s=0;for(;;){mygc(i);if(i!=' '&&i!='\n'&&i!='\r'&&i!='\t'&&i!=EOF) break;}c[s++]=i;for(;;){mygc(i);if(i==' '||i=='\n'||i=='\r'||i=='\t'||i==EOF) break;c[s++]=i;}c[s]='\0';return s;} template void reader(T *x, S *y){reader(x);reader(y);} template void reader(T *x, S *y, U *z){reader(x);reader(y);reader(z);} template void reader(T *x, S *y, U *z, V *w){reader(x);reader(y);reader(z);reader(w);} void writer(int x, char c){int s=0,m=0;char f[10];if(x<0)m=1,x=-x;while(x)f[s++]=x%10,x/=10;if(!s)f[s++]=0;if(m)mypc('-');while(s--)mypc(f[s]+'0');mypc(c);} void writer(ll x, char c){int s=0,m=0;char f[20];if(x<0)m=1,x=-x;while(x)f[s++]=x%10,x/=10;if(!s)f[s++]=0;if(m)mypc('-');while(s--)mypc(f[s]+'0');mypc(c);} void writer(double x, char c){printf("%.15f",x);mypc(c);} void writer(const char c[]){int i;for(i=0;c[i]!='\0';i++)mypc(c[i]);} void writer(const char x[], char c){int i;for(i=0;x[i]!='\0';i++)mypc(x[i]);mypc(c);} template void writerLn(T x){writer(x,'\n');} template void writerLn(T x, S y){writer(x,' ');writer(y,'\n');} template void writerLn(T x, S y, U z){writer(x,' ');writer(y,' ');writer(z,'\n');} template void writerArr(T x[], int n){int i;if(!n){mypc('\n');return;}rep(i,n-1)writer(x[i],' ');writer(x[n-1],'\n');} char memarr[127000000]; void *mem = memarr; #define MD 1000000007 struct mint{ static unsigned md, W, R, Rinv, mdninv, RR; unsigned val; mint(){}mint(int a){val=mulR(a);}mint(unsigned a){val=mulR(a);}mint(ll a){val=mulR(a);}mint(ull a){val=mulR(a);} unsigned setmod(unsigned m){W=32;md=m;R=(1ULL<>W);if(t>=md)t-=md;return t;}unsigned reduce(ull T){unsigned m=(unsigned)T*mdninv;unsigned t=(unsigned)((T+(ull)m*md)>>W);if(t>=md)t-=md;return t;} unsigned get(){return reduce(val);} mint&operator+=(mint a){val+=a.val;if(val>=md)val-=md;return*this;}mint&operator-=(mint a){if(val>=1;a*=a;}return r;} }; unsigned mint::md, mint::W, mint::R, mint::Rinv, mint::mdninv, mint::RR; mint operator+(int a, mint b){return mint(a)+=b;}mint operator-(int a, mint b){return mint(a)-=b;}mint operator*(int a, mint b){return mint(a)*=b;}mint operator/(int a, mint b){return mint(a)/=b;} mint operator+(ll a, mint b){return mint(a)+=b;}mint operator-(ll a, mint b){return mint(a)-=b;}mint operator*(ll a, mint b){return mint(a)*=b;}mint operator/(ll a, mint b){return mint(a)/=b;} mint mval[10000], minv[10000]; void mint_init(int md=MD, mint val[]=mval, int vals=10000, mint inv[]=minv, int invs=10000){int i;val[0].setmod(md);val[0].val=0;REP(i,1,vals){val[i].val=val[i-1].val+mint::R;if(val[i].val >=md)val[i].val-=md;}inv[1].val=1;REP(i,2,invs){inv[i].val=md-((ll)(md/i)*inv[md%i].val%md);}REP(i,1,invs)inv[i].val=(ull)inv[i].val*mint::R%md;} static inline __m128i addmod(const __m128i &a, const __m128i &b, const __m128i &md){ static const __m128i zeros = _mm_set_epi32(0,0,0,0); __m128i tmp = _mm_add_epi32(a, b); __m128i mask = _mm_or_si128(_mm_or_si128(_mm_cmpgt_epi32(tmp, md), _mm_cmpeq_epi32(tmp, md)), _mm_cmplt_epi32(tmp,zeros)); return _mm_sub_epi32(tmp, _mm_and_si128(mask, md)); } static inline __m128i submod(const __m128i &a, const __m128i &b, const __m128i &md){ __m128i tmp = _mm_sub_epi32(a, b); __m128i mask = _mm_cmpgt_epi32(b, a); return _mm_add_epi32(tmp, _mm_and_si128(mask, md)); } static inline __m128i mullo(const __m128i &a, const __m128i &b){ __m128i tmp1 = _mm_mul_epu32(a,b); __m128i tmp2 = _mm_mul_epu32( _mm_srli_si128(a,4), _mm_srli_si128(b,4)); return _mm_unpacklo_epi32(_mm_shuffle_epi32(tmp1, _MM_SHUFFLE(0,0,2,0)), _mm_shuffle_epi32(tmp2, _MM_SHUFFLE(0,0,2,0))); } static inline __m128i mulhi(const __m128i &a, const __m128i &b){ __m128i tmp1 = _mm_mul_epu32(a,b); __m128i tmp2 = _mm_mul_epu32( _mm_srli_si128(a,4), _mm_srli_si128(b,4)); return _mm_unpacklo_epi32(_mm_shuffle_epi32(tmp1, _MM_SHUFFLE(0,0,3,1)), _mm_shuffle_epi32(tmp2, _MM_SHUFFLE(0,0,3,1))); } static inline __m128i mulmod(const __m128i &a, const __m128i &b, const __m128i &md, const __m128i &mdninv){ static const __m128i mask0 = _mm_set_epi32(0,0,0,-1); static const __m128i mask1 = _mm_set_epi32(0,0,-1,0); static const __m128i mask2 = _mm_set_epi32(0,-1,0,0); static const __m128i mask3 = _mm_set_epi32(-1,0,0,0); static const __m128i zeros = _mm_set_epi32(0,0,0,0); __m128i mask; __m128i t1 = _mm_mul_epu32(a,b); __m128i t2 = _mm_mul_epu32(_mm_srli_si128(a,4),_mm_srli_si128(b,4)); __m128i t = _mm_unpacklo_epi32(_mm_shuffle_epi32(t1, _MM_SHUFFLE(0,0,2,0)), _mm_shuffle_epi32(t2, _MM_SHUFFLE(0,0,2,0))); __m128i m = mullo(t, mdninv); __m128i tmp1 = _mm_mul_epu32(m,md); __m128i tmp2 = _mm_mul_epu32(_mm_srli_si128(m,4), _mm_srli_si128(md,4)); tmp1 = _mm_add_epi64(tmp1,t1); tmp2 = _mm_add_epi64(tmp2,t2); t = _mm_unpacklo_epi32(_mm_shuffle_epi32(tmp1, _MM_SHUFFLE(0,0,3,1)), _mm_shuffle_epi32(tmp2, _MM_SHUFFLE(0,0,3,1))); mask = _mm_or_si128(_mm_or_si128(_mm_cmpgt_epi32(t, md), _mm_cmpeq_epi32(t, md)), _mm_cmplt_epi32(t,zeros)); return _mm_sub_epi32(t, _mm_and_si128(mask, md)); } void mfft(int n, mint x[], mint root, void *mem){ int i, j, k; int n1, n2, n3, step = 1; mint w1, w2, w3, a, b, c, d, aa, bb, cc, dd, tmp, *y = (mint*)mem; __m128i A, B, C, D, AA, BB, CC, DD, md, t1, t2, mask, TMP, W1, W2, W3, MDNINV; tmp = root.pw((mint::md-1)/4*3); root = root.pw((mint::md-1)/n); md = _mm_set_epi32(mint::md, mint::md, mint::md, mint::md); TMP = _mm_set_epi32(tmp.val, tmp.val, tmp.val, tmp.val); MDNINV = _mm_set_epi32(mint::mdninv, mint::mdninv, mint::mdninv, mint::mdninv); while(n > 2){ n1 = n / 4; n2 = n1 + n1; n3 = n1 + n2; w1.val = mint::R; rep(i,n1){ w2 = w1*w1; w3 = w1*w2; W1 = _mm_set_epi32(w1.val, w1.val, w1.val, w1.val); W2 = _mm_set_epi32(w2.val, w2.val, w2.val, w2.val); W3 = _mm_set_epi32(w3.val, w3.val, w3.val, w3.val); for(j=0;j+3 2){ n1 = n / 4; n2 = n1 + n1; n3 = n1 + n2; w1.val = mint::R; rep(i,n1){ w2 = w1*w1; w3 = w1*w2; W1 = _mm_set_epi32(w1.val, w1.val, w1.val, w1.val); W2 = _mm_set_epi32(w2.val, w2.val, w2.val, w2.val); W3 = _mm_set_epi32(w3.val, w3.val, w3.val, w3.val); for(j=0;j+3 void gmodconvolution(S A[], int As, T B[], int Bs, U res[], int Rs, void *mem, int md, int num=3){int i,j,k,m,n,q,*x,*y,*z,*w;mint r,R,**a;w=(int*)mem;x=w+num;y=x+num;z=y+num;gmodcomvolutionsGetData(num,x,y,z);n=max(As+Bs,Rs);for(q=1;q=0;i--)k=((ll)k*x[i]+w[i])%md;res[m]=k;}} template void gmodconvolution(S A[], int As, T res[], int Rs, void *mem, int md, int num=3){int i,j,k,m,n,q,*x,*y,*z,*w;mint r,R,**a;w=(int*)mem;x=w+num;y=x+num;z=y+num;gmodcomvolutionsGetData(num,x,y,z);n=max(As+As,Rs);for(q=1;q=0;i--)k=((ll)k*x[i]+w[i])%md;res[m]=k;}} template void gmodconvolutionPreCalc(S A[], int As, mint res[], int Rs, void *mem, int md, int num=3, int domultiply=1){int i,j,q,*x,*y,*z,*w;mint r,R,*a;w=(int*)mem;x=w+num;y=x+num;z=y+num;gmodcomvolutionsGetData(num,x,y,z);q=Rs;a=(mint*)(z+num*num);mem=a+q;rep(j,num){r.setmod(x[j]);rep(i,As)a[i]=A[i];REP(i,As,q)a[i].val=0;R=y[j];mfft(q,a,R,mem);rep(i,Rs)res[j*Rs+i]=a[i];if(domultiply){r=mint(q).inverse();rep(i,Rs)res[j*Rs+i]*=r;}}r.setmod(md);} template void gmodconvolutionWithPreCalc(mint A[], int As, T B[], int Bs, U res[], int Rs, void *mem, int md, int num=3, int ordered=1, int domultiply=0){int i,j,q,k,m,*x,*y,*z,*w;mint r,R,**a;w=(int*)mem;x=w+num;y=x+num;z=y+num;gmodcomvolutionsGetData(num,x,y,z);q=As;a=(mint**)(z+num*num);a[0]=(mint*)(a+num+1);REP(i,1,num+1)a[i]=a[i-1]+q;mem=a[num]+q;rep(j,num){r.setmod(x[j]);rep(i,q)a[j][i]=A[j*q+i];rep(i,Bs)a[num][i]=B[i];REP(i,Bs,q)a[num][i].val=0;R=y[j];mfft(q,a[num],R,mem);rep(i,q)a[j][i]*=a[num][i];mfftinv(q,a[j],R,mem);if(domultiply){r=mint(q).inverse();rep(i,Rs)a[j][i]*=r;}rep(i,Rs)a[j][i].val=a[j][i].get();}r.setmod(md);rep(m,Rs){rep(i,num)w[i]=a[i][m].val;rep(i,num)rep(j,i){k=w[i]-w[j];if(k<0)k+=x[i];w[i]=(ll)k*z[i*num+j]%x[i];}k=0;for(i=num-1;i>=0;i--)k=((ll)k*x[i]+w[i])%md;res[m]=k;}} int modconvolutionGetLength(int As, int Bs, int Rs){int n=max(As+Bs,Rs),res;for(res=1;res void Kitamasa_mg_reduce(int a[], int y, T c[], int d, int md, ll L, int h, int o, mint **calc, int *q, int *p, void *mem){int i,j,t,l,E,*D=(int*)mem;ll*Z=(ll*)(D+2*d);mem=(void*)(Z+y);rep(i,y)Z[i]=a[i];for(j=o-1;j>=0;j--){E=y-d;l=q[j]-d;if(E<2*l)continue;t=E-2*l;gmodconvolutionWithPreCalc(calc[j],p[j],Z+y-l,l,D,d+l,mem,md,h);rep(i,d+l){Z[t+i+1]+=D[i];if(Z[t+i]>=md)Z[t+i]-=md;}y-=l;}while(y>d){y--;if(Z[y]>=md)Z[y]%=md;rep(i,d){Z[y-d+i]+=Z[y]*(ll)c[i];if(Z[y-d+i]>=L)Z[y-d+i]%=md;}}rep(i,y)if(Z[i]>=md)Z[i]%=md;rep(i,y)a[i]=Z[i];} template ll Kitamasa_mg(ll n, S a[], T c[], int d, int md, void *mem){int i,j,m,l,t,y,s,*A,*D,*E,o=0,*R,*W,h;mint **Q;ll L=((1ULL<<63)-1)-(ull)(md-1)*(md-1),*Z,C;if(n=0;i--)if(d/(1<=500||i==0){m=d+d/(1<=md)D[t+i+1]-=md;}s-=l;}rep(i,2*d)A[i]=D[i];if(Z[y]!=Z[y+1]*2){C=A[2*d-1];for(i=2*d-1;i;i--)A[i]=A[i-1]; A[0]=0;rep(i,d)A[d+i]=(A[d+i]+(ll)c[i]*C)%md;}}Kitamasa_mg_reduce(A,2*d,c,d,md,L,h,o,Q,R,W,mem);C=0;rep(i,d){C+=(ll)a[i]*A[i];if(C>=L)C%=md;}if(C>=md)C%=md;return C;} int pp[6] = {2,3,5,7,11,13}; int cc[6] = {4,6,8,9,10,12}; mint dp_p[301][4200], dp_c[301][4200]; mint a[9400], c[9400]; int aaa[9400], ccc[9400]; int main(){ int i, j, k, d; ll N; int P, C; int res; mint_init(); dp_p[0][0] = dp_c[0][0] = mval[1]; rep(k,6) rep(i,300) rep(j,4200) if(dp_p[i][j]) dp_p[i+1][j+pp[k]] += dp_p[i][j]; rep(k,6) rep(i,300) rep(j,4200) if(dp_c[i][j]) dp_c[i+1][j+cc[k]] += dp_c[i][j]; reader(&N); reader(&P, &C); d = P * pp[5] + C * cc[5]; rep(i,d) a[i] = mval[1]; rep(i,4200) if(dp_p[P][i]) rep(j,4200) if(dp_c[C][j]) c[d-i-j] += dp_p[P][i] * dp_c[C][j]; rep(i,d) aaa[i]=(int)a[i]; rep(i,d) ccc[i]=(int)c[i]; res = Kitamasa_mg(N+d-1, aaa, ccc, d, MD, mem); writer(res, '\n'); return 0; }