package yukicoder; import java.util.Arrays; import java.util.Scanner; public class Q213 { public static void main(String[] args)throws Exception{ new Q213().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; } } // showMt(a); a=MtPow(n-1,A,a); System.out.println(a[0][0]%mod); } //Verified (yukicoder No.194) //R=A^n*v long[][] MtPow(long n,long[][] A,long[][] v){ for(;n>0;n=n>>1){ if((n&1)==1)v=MtPrd(A,v); A=MtPrd(A,A); } return v; } long[][] MtPrd(long[][] A,long[][] B){ long[][] C=new long[A.length][B[0].length]; for(int i=0;i