#include #include using namespace std; using namespace atcoder; //using mint = modint1000000007; //const int mod = 1000000007; using mint = modint998244353; const int mod = 998244353; //const int INF = 1e9; //const long long LINF = 1e18; #define rep(i, n) for (int i = 0; i < (n); ++i) #define rep2(i,l,r)for(int i=(l);i<(r);++i) #define rrep(i, n) for (int i = (n-1); i >= 0; --i) #define rrep2(i,l,r)for(int i=(r-1);i>=(l);--i) #define all(x) (x).begin(),(x).end() #define allR(x) (x).rbegin(),(x).rend() #define endl "\n" #define P pair template inline bool chmax(A & a, const B & b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(A & a, const B & b) { if (a > b) { a = b; return true; } return false; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int w, h; cin >> w >> h; mapmp; int num = w;//未決定 rep(i, w) mp[i] = '.'; dsu uf(w); bool chk = true; rep(_, h) { string s; cin >> s; vectoralp(26, -1); rep(j, w) { if ('?' == s[j])continue; if (('0' <= s[j]) && (s[j] <= '9')) { char x = s[j]; int l = uf.leader(j); if ('.' != mp[l]) { if (x != mp[l]) { chk = false; } } else { mp[l] = x; num--; } } else { int x = s[j] - 'a'; if (-1 != alp[x]) { int l0 = uf.leader(alp[x]); int l1 = uf.leader(j); if (l0 != l1) { char c0 = mp[l0]; char c1 = mp[l1]; int sz0 = uf.size(l0); int sz1 = uf.size(l1); uf.merge(alp[x], j); int nl = uf.leader(j); if (('.' == c0) && ('.' == c1)) { num--; } else if ('.' == c0) { num--; mp[nl] = c1; } else if ('.' == c1) { num--; mp[nl] = c0; } else { if (c0 != c1) { chk = false; } } } } alp[x] = j; } } //rep(j, w) cout << j <<" " << uf.leader(j) <<" " << mp[uf.leader(j)] << endl; if (!chk) { cout << 0 << endl; continue; } mint ans = pow_mod(10, num, mod); cout << ans.val() << endl; } return 0; }