package q462;

import java.util.ArrayList;
import java.util.Collections;
import java.util.List;

public class Test1 {


	private static int patternSum = 0;

	public static void main(String[] args) {

		int n = Integer.parseInt(args[0]);
		int k = Integer.parseInt(args[1]);

		List<Integer> numList = new ArrayList<Integer>();

		for(int i = 2; i < args.length; i++){
			// 3つ目以降を格納
			numList.add(Integer.parseInt(args[i]));
		}

		if(isEnabled(numList, k, n)){
			System.out.println(patternSum % ((int)Math.pow(10, 9) - 7));
		}else{
			System.out.println(0);
		}

	}

	/**
	 * 受け取った配列が有効か
	 * @param args 整数の文字列の配列 α1 ～ αk の配列
	 * @param arrLen 配列の長さ k
	 * @param n N
	 * @return true: 有効<br>false: 無効
	 */
	private static boolean isEnabled(List<Integer> numList, int arrLen, int n){

		// ソートする
//		Arrays.sort(args);
//		System.out.println(Arrays.toString(args));
		Collections.sort(numList);

		int large = 0;
		int small = 0;

		// 差
		int rem;

		// ORした結果
		int orResult;

		boolean rtn = true;

		if(arrLen == 0){
			// すべてのパターン数を求める

			patternSum = findPatternsCount((int) Math.pow(2, n) - 1);
		}else{
			// 0と最初の要素の間は何通りあるか求める
			patternSum = findPatternsCount(numList.get(0));

			for(int i = 1; i < arrLen; i++){
				large = numList.get(i);
				small = numList.get(i - 1);

				// ソートしたらこれいらない
//				if(large < small){
//					// ２つの大小を確認する
//					int temp = large;
//					large = small;
//					small = temp;
//				}

				rem = large - small;

				orResult = small | rem;

				// 1度立ったものが下がっていなければ一致するはず
				if(large == orResult){
					rtn = true;
					patternSum *= findPatternsCount(rem);
				}else{
					rtn = false;
				}
			}

			// 最後の要素と(2^n - 1)の間は何通りあるか求める
			rem = (int) Math.pow(2, n) - 1 - large;
			patternSum *= findPatternsCount(rem);
		}
		return rtn;
	}

	/**
	 * 差から２つの間のパターン数を求める
	 * @param rem 差
	 * @return 差の間は何通りか
	 */
	private static int findPatternsCount(int rem){

		int upBitSum = 0;
		int rtnFact = 1;
		if(rem != 0){
			// 2進数に変換
			String binStr = Integer.toBinaryString(rem);

			int strLen = binStr.length();
			for(int i = 0; i < strLen; i++){
				// charをintに変換
				upBitSum += Character.getNumericValue(binStr.charAt(i));
			}

			rtnFact = getFact(upBitSum);
		}
		return rtnFact;
	}

	/**
	 * 階乗を求める
	 * @param n 階乗を求めたい値
	 * @return 階乗
	 */
	private static int getFact(int n){
		if (n == 0)
            return 1;
        else // nが1以上の時
            return n * getFact(n - 1);
	}
}