#include <bits/stdc++.h>
using namespace std;
typedef long long int lli;

vector<bool> stairs_table(10100);
vector<lli> dp(10100);

int main(){
  for(int i = 0; i < 10100; i++){
    stairs_table.at(i) = true;
    dp(i) = 0;
  }
  
  lli n, m;
  cin >> n >> m;

  lli a;
  for(int i = 0; i < m; i++){
    cin >> a;
    stairs_table.at(a) = false;
  }

  dp.at(i) = 1;
  for(int i = 0; i+1 <= n; i++){
    if(!stairs_table.at(i))
      dp.at(i) = 0;
    dp.at(i+1) += dp.at(i);
    dp.at(i+2) += dp.at(i);
  }
  
  cout << dp.at(n) % 1000000007 << endl;

}


