""" 積 """ def product_modulo(*X): y=1 for x in X: y=(x*y)%Mod return y """ 階乗 """ def Factor(N): """ 0!, 1!, ..., N! (mod Mod) を出力する. N: int """ F=[1]*(N+1) for k in range(1,N+1): F[k]=(k*F[k-1])%Mod return F def Factor_with_inverse(N): """ 0!, 1!, ..., N!, (0!)^-1, (1!)^-1, ..., (N!)^-1 を出力する. N: int """ F=Factor(N) G=[1]*(N+1); G[-1]=pow(F[-1],Mod-2,Mod) for k in range(N-1,-1,-1): G[k]=((k+1)*G[k+1])%Mod return F,G """ 組み合わせの数 Factor_with_inverse で F, G を既に求めていることが前提 """ def nCr(n,r): """ nCr (1,2,...,n から相異なる r 個の整数を選ぶ方法) を求める. n,r: int """ if 0<=r<=n: return F[n]*(G[r]*G[n-r]%Mod)%Mod else: return 0 """ 等比数列 """ def Geometric_Sequence(a, r, N): """ k=0,1,...,N に対する a*r^k を出力する. a,r,N: int """ a%=Mod; r%=Mod X=[0]*(N+1); X[0]=a for k in range(1,N+1): X[k]=r*X[k-1]%Mod return X def Geometric_Inverse_Sequence(a, r, N): """ k=0,1,...,N に対する a/r^k を出力する. a,r,N: int """ a%=Mod; r_inv=pow(r, Mod-2, Mod) X=[0]*(N+1); X[0]=a for k in range(1,N+1): X[k]=r_inv*X[k-1]%Mod return X #================================================== H,W=map(int,input().split()) Mod=10**9+7 F,G=Factor_with_inverse(max(H,W)) Ans=0; sign=1 two_inv=pow(2,Mod-2,Mod) S=Geometric_Inverse_Sequence(pow(two_inv,W,Mod),two_inv,W+1) T=Geometric_Inverse_Sequence(pow(2,H*W,Mod), pow(2,H,Mod), W+1) for q in range(W+1): Ans+=product_modulo(sign, T[q], pow(1-S[q], H, Mod), nCr(W,q)) Ans%=Mod sign*=-1 print(Ans)