from math import log R=xrange;I=lambda:map(int,raw_input().split()) p=10**9+7;F=[1];FI=[0]*16 for i in R(75):F+=[(i+1)*F[i]%p] FI[15]=pow(F[15],p-2,p) for i in R(15,0,-1):FI[i-1]=i*FI[i]%p s,t,K = I();G=(s,t);D=[None]*(1<0: z,w=x*N,y*N for k in R((1<<4+s)-1,-1,-1): if D[k]:D[k+(N<>=4;T+=V;U=U*FI[V]%p A=(A+F[T]*U)%p print A