#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;											// 入力

// 内部変数 - テスト用
#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;
}

// ソート関数 - long long昇順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	long long *llpVal1 = (long long *)pzpVal1;
	long long *llpVal2 = (long long *)pzpVal2;

	// long long昇順
	if (*llpVal1 > *llpVal2) {
		return 1;
	}
	else if (*llpVal1 < *llpVal2) {
		return -1;
	}

	return 0;
}

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

	// 桁数・配列数 - 取得
	int liDCnt, liVCnt;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d%d", &liDCnt, &liVCnt);

	// 配列 - 取得
	long long ll1Val[D_DIGIT_MAX];
	for (i = 0; i < liVCnt; i++) {
		fscanf(szpFpI, "%lld", &ll1Val[i]);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 配列 - ソート
	qsort(ll1Val, liVCnt, sizeof(long long), fSortFnc);

	// 配列 - ２進化
	char lc2Val[D_DIGIT_MAX][D_DIGIT_MAX];
	memset(lc2Val, 0, sizeof(lc2Val));
	for (i = 0; i < liVCnt; i++) {
		for (j = 0; ll1Val[i] > 0; j++) {
			if (ll1Val[i] % 2 == 1) {
				lc2Val[i + 1][j] = D_ON;
			}
			ll1Val[i] /= 2;
		}
	}
	liVCnt += 2;

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

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

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

	return (int)llPCnt;
}

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

	// 入力 - セット
#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;
}