package yukicoder; import java.util.Arrays; import java.util.Scanner; public class Main{ public static void main(String[] args){ new Main().solve(); } final long mod=1_000_000_000+7; void solve(){ Scanner sc=new Scanner(System.in); long n=sc.nextLong(); int p=sc.nextInt(); int c=sc.nextInt(); //まず、さいころをP+C個振って和がK個になるパターン数をDPで数える。 long[][] k=new long[p+c+1][13*(p+c)+1]; k[0][0]=1; int[] prime={2,3,5,7,11,13}; int[] composite={4,6,8,9,10,12}; for(int l=0;l<6;l++){ for(int i=0;i0){ k[i+1][j+prime[l]]+=k[i][j]; k[i+1][j+prime[l]]%=mod; } } } } for(int l=0;l<6;l++){ for(int i=0;i0){ k[p+i+1][j+composite[l]]+=k[p+i][j]; k[p+i+1][j+composite[l]]%=mod; } } } } //コンパニオン行列 /** *0 1 0 0 0 0 0 0 0 0 0 0 0 *0 0 1 0 0 0 0 0 0 0 0 0 0 *0 0 0 1 0 0 0 0 0 0 0 0 0 *0 0 0 0 1 0 0 0 0 0 0 0 0 *0 0 0 0 0 1 0 0 0 0 0 0 0 *0 0 0 0 0 0 1 0 0 0 0 0 0 *0 0 0 0 0 0 0 1 0 0 0 0 0 *0 0 0 0 0 0 0 0 1 0 0 0 0 *0 0 0 0 0 0 0 0 0 1 0 0 0 *0 0 0 0 0 0 0 0 0 0 1 0 0 *0 0 0 0 0 0 0 0 0 0 0 1 0 *0 0 0 0 0 0 0 0 0 0 0 0 1 *0 1 0 0 0 1 0 1 0 1 1 0 0 * */ int n_k=k[0].length-1; long[][] A=new long[n_k][n_k]; for(int i=0;i-k[0].length;j--){ //-jから出発した場合 if(i+j>=1){ a[i+j-1][0]+=k[p+c][i]; a[i+j-1][0]%=mod; } } } for(int i=0;i=0;j--){ a[i][0]+=(k[p+c][i-j]*a[j][0])%mod; a[i][0]%=mod; } } // showMt(a); // long[][] T1=companionP2(A); // T1=companionP2(T1); // showMt(T1); // long[][] T2=MtPrd(A, A); // T2=MtPrd(T2,T2); // showMt(T2); // boolean f=isSame(T1,T2); // System.out.println(f); a=companionMtPow(n-1,A,a); // showMt(A); System.out.println(a[0][0]%mod); } //コンパニオン行列の繰り返し二乗法 long[][] companionMtPow(long n,long[][] A,long[][] v){ long[][] B=new long[A.length][A.length]; for(int i=0;i0){ if((n&1)==1) v=MtPrd(B,v); B=companionP2(B,A); n>>=1; } return v; } //コンパニオン行列の二乗 //originalは元のコンパニオン行列 long[][] companionP2(long[][] A,long[][] original){ int n=A.length; long[][] C=new long[n][n]; //0行目のみ愚直に計算 long[][] a=new long[1][n]; for(int j=0;j