<?php
fscanf(STDIN, "%d %d", $n,$m);
for($i=0; $i<$m; $i++){
    $d_arr = trim(fgets(STDIN));
    $d[$d_arr] = 1;
}

$step[-1] = 0;
$step[0] = 1;

for($i=1; $i<=$n; $i++){
    if(isset($d[$i])){
        $step[$i] = 0;
    }else{
        $step[$i] = $step[$i-1] + $step[$i-2];
    }
}

echo $step[$n] % 1000000007;
?>