#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int mod=1e9+7;
struct mat
{
	int a[4][4];
	mat(){memset(a,0,sizeof(a));}
	void init(){for(int i=0;i<4;i++)a[i][i]=1;}
	mat operator*(const mat&b)const
	{
		mat c;
		for(int k=0;k<4;k++)for(int i=0;i<4;i++)for(int j=0;j<4;j++)c.a[i][j]=(c.a[i][j]+1ll*a[i][k]*b.a[k][j])%mod;
		return c;
	}
}ans,p,q;
mat pw(mat a,int b){mat r;r.init();for(;b;b>>=1,a=a*a)if(b&1)r=r*a;return r;}
int main()
{
	int n,m,lst=0;scanf("%d%d",&n,&m);ans.init();
	p.a[0][0]=2;p.a[0][1]=1;p.a[0][2]=1;p.a[0][3]=1;
	p.a[1][0]=1;p.a[1][1]=1;p.a[1][2]=0;p.a[1][3]=1;
	p.a[2][0]=1;p.a[2][1]=0;p.a[2][2]=1;p.a[2][3]=1;
	p.a[3][0]=1;p.a[3][1]=0;p.a[3][2]=0;p.a[3][3]=1;
	q.a[0][0]=1;q.a[0][1]=1;q.a[0][2]=1;q.a[0][3]=1;
	q.a[1][0]=0;q.a[1][1]=1;q.a[1][2]=0;q.a[1][3]=1;
	q.a[2][0]=0;q.a[2][1]=0;q.a[2][2]=1;q.a[2][3]=1;
	q.a[3][0]=0;q.a[3][1]=0;q.a[3][2]=0;q.a[3][3]=1;
	while(m--){int x;scanf("%d",&x);ans=ans*pw(p,x-lst-1)*q;lst=x;}
	ans=ans*pw(p,n-lst);
	printf("%d\n",ans.a[0][3]);
	return 0;
}