#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ON			1										// 汎用フラグ - ON
#define D_OFF			0										// 汎用フラグ - OFF
#define D_MOD			1000000007								// 除数(10の9乗+7)
#define D_DIGIT_MAX		65										// 最大桁数

// 内部変数
static FILE *szpFpI;											// 入力
static int siDCnt;												// 桁数
static char sc2Val[D_DIGIT_MAX][D_DIGIT_MAX];					// 配列
static int siVCnt;												// 配列数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i, j;
	char lc1Buf[1024];

	// 桁数・配列数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d", &siDCnt, &siVCnt);
	siVCnt += 2;

	// 配列 - 取得
	for (i = 1; i < siVCnt - 1; i++) {
		long long llVal;
		fscanf(szpFpI, "%lld", &llVal);

		// ２進化
		for (j = 0; llVal > 0; j++) {
			if (llVal % 2 == 1) {
				sc2Val[i][j] = D_ON;
			}
			llVal /= 2;
		}
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 配列 - 最終
	memset(sc2Val[siVCnt - 1], D_ON, sizeof(sc2Val[siVCnt - 1]));

	// パターン数 - 取得
	long long llPCnt = 1;
	for (i = 0; i < siVCnt - 1; i++) {

		// 追加数
		int liACnt = 0;
		for (j = 0; j < siDCnt; j++) {
			if (sc2Val[i][j] == D_ON) {
				if (sc2Val[i + 1][j] != D_ON) {
					return 0;
				}
			}
			else {
				if (sc2Val[i + 1][j] == D_ON) {
					liACnt++;
					llPCnt *= liACnt;
					llPCnt %= D_MOD;
				}
			}
		}
	}

	return (int)llPCnt;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	memset(sc2Val, 0, sizeof(sc2Val));							// 配列

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 出力
	sprintf(lc1Buf, "%d\n", liRet);
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}