#include <bits/stdc++.h>
using namespace std;

#define SZ(a) (int)a.size()
#define ALL(a) a.begin(), a.end()
#define FOR(i, a, b) for (int i = (a); i<(b); ++i)
#define RFOR(i, b, a) for (int i = (b)-1; i>=(a); --i)
#define MP make_pair
#define PB push_back
#define F first
#define S second
#define FILL(a, b) memset(a, b, sizeof(a))

typedef long long LL;
typedef pair<int, int> PII;
typedef vector<int> VI;

const int mod = 1e9 + 7;
void upd(int& a, int b){
	a += b;
	if(a >= mod)
		a -= mod;
}


const int ALP = 26;
const int K = 19;

int L[ALP], R[ALP];
bool can[ALP][K];

int dp[2][K + 1][K + 1][1 << K];

int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	int n, k;
	cin >> n >> k;
	FOR(i, 0, ALP){
		FOR(j, 0, k)
			can[i][j] = 1;
		R[i] = k;
		L[i] = 0;
		R[i] = k;
	}
	int ans = 1;
	FOR(i, 0, n){
		string q, a;
		cin >> q >> a;
		VI cnt(ALP);
		VI wasX(ALP);
		FOR(j, 0, k){
			cnt[q[j] - 'A'] += (a[j] != 'x');
			if(a[j] == '-'){
				if(wasX[q[j] - 'A'])
					ans = 0;
			}
			wasX[q[j] - 'A'] |= a[j] == 'x';
		}
		FOR(j, 0, k){
			int pos = q[j] - 'A';
			L[pos] = max(L[pos], cnt[pos]);
			
			if(a[j] == 'x'){
				can[pos][j] = 0;
				if(L[pos] > cnt[pos])
					ans = 0;
				if(R[pos] < cnt[pos])
					ans = 0;
				
				L[pos] = R[pos] = cnt[pos];
				continue;
			}
			
			if(a[j] == '-')
				can[pos][j] = 0;
			else{
				FOR(bad, 0, ALP)
					if(bad != pos)
						can[bad][j] = 0;
			}	
		}
	}
	
	if(ans == 0){
		cout << 0 << "\n";
		return 0;
	}
	dp[0][0][0][(1 << k) - 1] = 1;
	FOR(a, 0, ALP){		
		int t = a % 2;
		int nt = (a + 1) % 2;
		//clear
		FOR(bit, 0, k + 1)
			FOR(cnt, 0, k + 1)
				FOR(mask, 0, 1 << k)
					dp[nt][bit][cnt][mask] = 0;
		//FILL(dp[nt], 0);
		
		VI ok(1 << k);
		FOR(mask, 0, 1 << k)
			if(dp[t][0][0][mask] != 0)
				ok[mask] = 1;
		FOR(bit, 0, k)
			FOR(mask, 0, 1 << k)
				if(ok[mask] && (mask & (1 << bit)) != 0)
					ok[mask ^ (1 << bit)] = 1;
		
		FOR(bit, 0, k){
			FOR(cnt, 0, k + 1){
				RFOR(mask, 1 << k, 0){	
					if(!ok[mask])
						continue;
						
					upd(dp[t][bit + 1][cnt][mask], dp[t][bit][cnt][mask]);
					
					if((mask & (1 << bit)) == 0)
						continue;
					if(can[a][bit] == 0)
						continue;
					if(cnt + 1 > R[a])
						continue;

					upd(dp[t][bit + 1][cnt + 1][mask - (1 << bit)], dp[t][bit][cnt][mask]);
				}
			}
		}
		FOR(mask, 0, 1 << k){
			FOR(cnt, L[a], R[a] + 1)
				upd(dp[nt][0][0][mask], dp[t][k][cnt][mask]);
		}
	}
	cout << dp[ALP % 2][0][0][0] << endl;
	cerr << 1.0 * clock() / CLOCKS_PER_SEC << endl;
	
	return 0;
}