#include <bits/stdc++.h>
using namespace std;

const int Mod=1e9+7;
const int N=(1<<20)+5;

int d[15], trans[N][15], n, m;
int state[N], cnt;
pair <int,int> dp[N];

void upd(pair<int,int>& x,pair<int,int> y)
{
	if(x.first<y.first)
		x=y;
	else if(x.first==y.first)
	{
		x.second += y.second;
		if(x.second>=Mod)
			x.second -= Mod;
	}
}

int calctrans(int S,int id)
{
	int newS=0;
	for(int i=0;i<d[id];i++)
	{
		int cnt=0;
		for(int j=i;j<n;j+=d[id])
			cnt += (S>>j)&1;

		for(int j=i;j<n;j+=d[id])
		{
			cnt--;
			if(cnt>=0)
				newS += 1<<j;
		}
	}
	return newS;
}

int calc(int id1,int id2)
{
	int S1=state[id1], S2=state[id2], ans=0;
	for(int i=1;i<=m;i++)
	{
		int p=round(log2(S2-S1));
		for(int j=p;j<n;j+=d[i])
			if((S1>>j)&1)
				ans++;
		S1=trans[id1][i], S2=trans[id2][i];
	}
	return ans;
}

void dfs(int x,int S)
{
	if(x==d[1])
	{
		state[++cnt]=S;
		return;
	}

	for(int i=x;i<n;i+=d[1])
		S += 1<<i;

	dfs(x+1,S);
	for(int i=x;i<n;i+=d[1])
	{
		S -= 1<<i;
		dfs(x+1,S);
	}
}

int getid(int x)
{
	return lower_bound(state+1,state+cnt+1,x)-state;
}

int main()
{
	cin >> n >> m;
	for(int i=1;i<=m;i++)
		scanf("%d",&d[i]);

	dfs(0,0);

	sort(state+1,state+cnt+1);

	for(int i=1;i<=cnt;i++)
	{
		trans[i][0]=state[i];
		for(int j=1;j<=m;j++)
			trans[i][j]=calctrans(trans[i][j-1],j);
	}

	dp[1]=make_pair(0,1);
	for(int i=1;i<cnt;i++)
	{
		int S=state[i];
		for(int j=0;j<n;j++)
			if(((S>>j)&1)==0 && (j+d[1]>=n || (S>>(j+d[1]))&1))
			{
				int newid=getid(S+(1<<j));
				upd(dp[newid],make_pair(dp[i].first+calc(i,newid),dp[i].second));
			}
	}
	printf("%d %d\n",dp[cnt].first,dp[cnt].second);
	return 0;
}