#include <bits/stdc++.h>
using namespace std;
long long ans = 0;
int n, m;
map<int, int> mp;
void dfs(int x, vector<vector<int>> adj);
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cin >> n >> m;
  vector<int> v(m + 1);
  v[0] = 0;
  for (int i = 1; i <= m; ++i) {
    cin >> v[i];
    mp[v[i]] = 1;
  }
  for (int i = 2; i <= m; ++i) {
    if (v[i] - v[i - 1] == 1) {
      cout << 0;
      return 0;
    }
  }
  vector<vector<int>> adj(n);
  for (int i = 0; i < n; ++i) {
    adj[i].emplace_back(i + 1);
    if (!(i & 1) && i < n - 1) {
      adj[i].emplace_back(i + 2);
    }
    if ((i & 1) && i < n - 1) {
      adj[i].emplace_back(i + 2);
    }
  }
  dfs(0, adj);
  cout << ans % 1000000007;
  return 0;
}
void dfs(int x, vector<vector<int>> adj) {
  if (x == n) {
    ++ans;
    return;
  }
  if (mp[x]) {
    return;
  }
  for (auto v : adj[x]) {
    dfs(v, adj);
  }
}
