#include <bits/stdc++.h>
#define ADD(a, b) a = (a + ll(b)) % mod
#define MUL(a, b) a = (a * ll(b)) % mod
#define MAX(a, b) a = max(a, b)
#define MIN(a, b) a = min(a, b)
#define rep(i, a, b) for(int i = int(a); i < int(b); i++)
#define rer(i, a, b) for(int i = int(a) - 1; i >= int(b); i--)
#define all(a) (a).begin(), (a).end()
#define sz(v) (int)(v).size()
#define pb push_back
#define sec second
#define fst first
#define debug(fmt, ...) Debug(__LINE__, ":", fmt, ##__VA_ARGS__)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pi;
typedef pair<ll, ll> pl;
typedef pair<int, pi> ppi;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef vector<vl> mat;
typedef complex<double> comp;
void Debug() {cout << '\n'; }
template<class FIRST, class... REST>void Debug(FIRST arg, REST... rest){
	cout<<arg<<" ";Debug(rest...);}
template<class T>ostream& operator<<(ostream& out,const vector<T>& v) {
	out<<"[";if(!v.empty()){rep(i,0,sz(v)-1)out<<v[i]<<", ";out<<v.back();}out<<"]";return out;}
template<class S, class T>ostream& operator<<(ostream& out,const pair<S, T>& v){
	out<<"("<<v.first<<", "<<v.second<<")";return out;}
const int MAX_N = 200010;
const int MAX_V = 100010;
const double eps = 1e-6;
const ll mod = 1000000007;
const int inf = 1 << 29;
const ll linf = 1LL << 60;
const double PI = 3.14159265358979323846;
///////////////////////////////////////////////////////////////////////////////////////////////////

mat mat_mul(const mat &A, const mat &B) {//if invalid, assert. taking mod.
	assert((int)A[0].size() == (int)B.size());
	mat C(A.size(), vl(B[0].size()));
	rep(i, 0, (int)A.size()) {
		rep(k, 0, (int)B.size()) {
			rep(j, 0, (int)B[0].size()) {
				C[i][j] = (C[i][j] + A[i][k] * B[k][j]) % mod;
			}
		}
	}
	return C;
}

mat mat_pow(mat A, ll n) {
	mat B((int)A.size(), vl((int)A.size()));
	rep(i, 0, (int)A.size()) {
		B[i][i] = 1;
	}
	while(n > 0) {
		if(n & 1) B = mat_mul(B, A);
		A = mat_mul(A, A);
		n >>= 1;
	}
	return B;
}

int N, M, C;
int A[MAX_N];
int L[MAX_N], R[MAX_N];

void add_interval(int l, int r) {
	if(l <= r) {
		L[C] = l;
		R[C] = r;
		C++;
	}
}

mat skip(ll k) {
	mat res(3, vl(3, 0));
	res[0][0] = (k + 1) * (k + 1) + 1;
	res[0][1] = 2 * (k + 1);
	res[0][2] = (k + 1) * (k + 1);
	res[1][0] = k + 1;
	res[1][1] = 1;
	res[1][2] = k + 1;
	res[2][0] = 1;
	res[2][1] = 0;
	res[2][2] = 1;
	rep(i, 0, 3) 
		rep(j, 0, 3) res[i][j] %= mod;
	return res;
}

void solve() {
	cin >> N >> M;
	rep(i, 0, M) cin >> A[i];

	C = 0;

	mat BB = skip(0);

	if(M != 0) {
		add_interval(0, A[0] - 1);
		rep(i, 0, M - 1) {
			add_interval(A[i] + 1, A[i + 1] - 1);
		}
		add_interval(A[M - 1] + 1, N);

		mat D(3, vl(3, 0));
		D[0][0] = 1; D[1][1] = 1; D[2][2] = 1;
		rep(i, 0, C) {
			D = mat_mul(mat_pow(BB, R[i] - L[i]), D);
			if(i != C - 1) {
				D = mat_mul(skip(L[i + 1] - R[i] - 1), D);
			}
		}
		cout << D[0][2] << "\n";
	}
	else {
		cout << mat_pow(BB, N)[0][2] << "\n";
	}
}

int main() {
#ifndef LOCAL
	ios::sync_with_stdio(false);
    cin.tie(0);
#endif
    cout << fixed;
	cout.precision(20);
	srand((unsigned int)time(NULL));
#ifdef LOCAL
	//freopen("in.txt", "wt", stdout); //for tester
    freopen("in.txt", "rt", stdin);
#endif	
	solve();
#ifdef LOCAL
    cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << " s.\n";
#endif
	return 0;
}



Measured memory_bytes: 1408