#include #include using namespace atcoder; using mint = modint1000000007; using namespace std; #define rep(i,n) for (int i = 0; i < (n); ++i) #define Inf 1000000000000000 int main() { long long ans = 1; rep(i,3){ string s; cin>>s; int remain = 16; if(s=="NONE"){ } else{ remain -= (s.size()+1)/2; } ans *= remain*remain; } cout<