<?php

fscanf(STDIN, "%d %d", $n, $m);
$A = [];
for ($i = 0; $i < $m; ++$i) {
    fscanf(STDIN, "%d", $a);
    $A[] = $a;
}

const MOD = 1000000007;
// フィボナッチ数列
$F = [];
function fibo($n) {
    if ($n <= 1) {
        return 1;
    }
    global $F;

    // メモ化
    if (isset($F[$n])) {
        return $F[$n];
    }
    return (fibo($n - 1) + fibo($n - 2)) % MOD;
}
for ($i = 0; $i < 100000; ++$i) {
    $F[$i] = fibo($i);
}

switch ($m) {
case 0:
    echo $F[$n] % MOD;
    break;
case 1:
    echo $F[$n - ($A[0] + 1)] * $F[($A[0] - 1) - 0] % MOD;
    break;
default:
    $flg = true;

    $sum = $F[($A[0] - 1) - 0] % MOD;
    for ($i = 0; $i < $m - 1; ++$i) {
        if ($A[$i + 1] - $A[$i] <= 1) {
            $flg = false;
            break;
        }

        $sum = $sum * $F[$A[$i + 1] - 1 - ($A[$i] + 1)] % MOD;
    }
    $sum = $sum * $F[$n - ($A[$m - 1] + 1)] % MOD;

    if ($flg) {
        echo $sum;
    } else {
        echo 0;
    }
}
