#include #include using mint=atcoder::modint1000000007; int K,N; /* dp[i][j][k]:レベルiのガスケットについて、外のj個の辺の外の色が決まっている(ただし、決まっているものについて、種類数はk)時の塗り方の場合の数 */ //制約確認 int main(){ std::cin >> K >> N; assert(0<=K && K<=100000 && 1<=N && N<=1000000000); std::vector dp(K+1,std::vector(4,std::vector(4))); dp[0][0][0]=N; dp[0][1][1]=N-1; dp[0][2][1]=N-1; dp[0][2][2]=std::max(N-2,0); dp[0][3][1]=N-1; dp[0][3][2]=std::max(N-2,0); dp[0][3][3]=std::max(N-3,0); for(int i=0;i=2)ne[2][2]=2*now[3][2]*now[2][2]*now[2][1] + (N-2)*now[3][3]*now[2][2]*now[2][2]; ne[3][1]=1*now[3][1]*now[3][1]*now[3][1] + (N-1)*now[3][2]*now[3][2]*now[3][2]; if(N>=2)ne[3][2]=1*now[3][2]*now[3][2]*now[3][2] + 1*now[3][1]*now[3][2]*now[3][2] + (N-2)*now[3][2]*now[3][3]*now[3][3]; if(N>=3)ne[3][3]=3*now[3][2]*now[3][2]*now[3][3] + (N-3)*now[3][3]*now[3][3]*now[3][3]; } std::cout << dp[K][0][0].val() << '\n'; }