#include #include #include #include using namespace std; #define rep(i,n) for(int i=0; i<(int)(n); i++) using Modint = atcoder::static_modint<998244353>; constexpr const int STATE_NUM = 7*7*7*7*7*7*7*7; vector> OPERATORS = { { 0, 0, 4 }, { 0, 1, 4 }, { 0, 2, 4 }, { 0, 3, 4 }, { 1, 4 }, { 0, 0, 5 }, { 0, 1, 5 }, { 0, 2, 5 }, { 0, 3, 5 }, { 1, 5 }, { 0, 0, 6 }, { 0, 0, 7 }, { 1, 0 }, { 0, 1, 6 }, { 0, 1, 7 }, { 1, 1 }, { 0, 2, 6 }, { 0, 2, 7 }, { 1, 2 }, { 0, 3, 6 }, { 1, 6 }, { 0, 3, 7 }, { 1, 3 }, { 1, 7 } }; vector TABLE_SIZE; vector TABLE_DELTA; vector> TABLE_TO; unsigned int TABLE_IDX(const vector& z, const vector& a){ unsigned int i = 0; for(int j=(int)z.size()-1; j>=0; j--) i = i * z[j] + a[j]; return i; } unsigned int CALC_TABLE_SIZE(const vector& z){ unsigned int i = 1; for(int j=(int)z.size()-1; j>=0; j--) i = i * z[j]; return i; } void PRECALC(){ vector WIDTH = { 4,4,4,4, 4,4,4,4 }; TABLE_SIZE.push_back(CALC_TABLE_SIZE(WIDTH)); for(auto op : OPERATORS){ vector WIDTH_NEW = WIDTH; vector to; unsigned int tableSize = 0; unsigned int tableDelta = 0; if(op[0] == 0){ to.resize(TABLE_SIZE.back()); for(size_t i=1; i ptmp(8, 0); for(size_t i=1; i void { if(d == 8){ to[TABLE_IDX(WIDTH, ptmp)] = TABLE_IDX(WIDTH_NEW, ptmp); } else{ for(ptmp[d] = 0; ptmp[d] < WIDTH[d]; ptmp[d]++) dfs(dfs, d+1); } }; dfs(dfs, 0); } else{ for(size_t i=1; i ptmp(8, 0); for(size_t i=1; i void { if(d == 8){ vector tmp2 = ptmp; for(size_t i=1; i A(8); rep(i,8) cin >> A[i]; if(A[0] + A[1] + A[2] + A[3] != A[4] + A[5] + A[6] + A[7]){ cout << "0\n"; return 0; } rep(i,8) if(A[i] < 4){ cout << "0\n"; return 0; } rep(i,8) A[i] -= 4; PRECALC(); vector dp(TABLE_SIZE[0]); dp[0] = 1; for(int d=0; d<30; d++){ for(size_t opuct=0; opuct tmp(tableSize); if(op[0] == 0){ for(unsigned int i=0; i>d)&1) for(unsigned int i=0; i