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

typedef long long ll;
#define popc __builtin_popcount
const int N=33,M=2e6+3,H=1e9+7;
int n,m,bas,a[13],sz[13],pos[N][N],val[N][N],col[N],d[N],f[M],g[M];
int Ha(int *tmp)
{
	int s=0;
	for(int i=0;i<d[1];i++)s=s*bas+tmp[i];
	return s;
}
int Ans(int p)
{
	int s=0,S=0;
	for(int i=0;i<n;i++)S|=col[i]*(1<<i);
	for(int t=2;t<=m;t++)
	{
		int T=0,v=p%d[t];
		s+=popc((S&val[t][v])>>p);p=v+popc(S&val[t][v])*d[t];
		for(int i=0;i<d[t];i++)T|=val[t][i]&((1<<min(30,d[t]*popc(S&val[t][i])))-1);
		S=T;
	}
	return s;
}
void Solve(int S)
{
	for(int i=d[1]-1,v=S;i>=0;i--)a[i]=v%bas,v/=bas;
	for(int i=0;i<d[1];i++)if(a[i]>sz[i])return;
	for(int i=0;i<n;i++)col[i]=1;
	for(int i=0;i<d[1];i++)for(int t=sz[i]-a[i]+1;t<=sz[i];t++)col[pos[i][t]]=0;
	for(int i=0;i<d[1];i++)if(a[i]<sz[i])
	{
		int p=pos[i][sz[i]-a[i]];col[p]=0;a[i]++;
		int v=Ans(p),T=Ha(a);a[i]--;col[p]=1;
		if(f[S]+v>f[T])f[T]=f[S]+v,g[T]=g[S];
		else if(f[S]+v==f[T])g[T]=(g[T]+g[S])%H;
	}
}
int main()
{
	cin>>n>>m;
	for(int i=1;i<=m;i++)cin>>d[i];
	for(int t=1;t<=m;t++)for(int i=0;i<d[t];i++)for(int j=i;j<n;j+=d[t])val[t][i]|=1<<j;
	for(int i=0;i<d[1];i++)for(int j=i;j<n;j+=d[1])pos[i][++sz[i]]=j;
	bas=*max_element(sz,sz+d[1])+1;int dt=0;
	for(int i=0;i<d[1];i++)dt+=sz[i]*(sz[i]-1)/2;
	memset(f,0xcf,sizeof(f));f[0]=0;g[0]=1;
	for(int S=0;S<M;S++)if(g[S]&&f[S]>=0)Solve(S);
	cout<<f[Ha(sz)]+dt<<" "<<g[Ha(sz)];
}