# include <bits/stdc++.h>

const int N=35,INF=0x3f3f3f3f,mod=1e9+7;

inline int read(void){
	int res,f=1;
	char c;
	while((c=getchar())<'0'||c>'9')
		if(c=='-') f=-1;
	res=c-48;
	while((c=getchar())>='0'&&c<='9')
		res=res*10+c-48;
	return res*f;
}

int n,m,d[N];

inline int adc(int a,int b){
	return (a+b>=mod)?(a+b-mod):(a+b);
}

struct Node{
	int mx,sum;
	Node(int _a=0,int _b=0): mx(_a),sum(_b) {}
	inline Node operator + (const Node &rhs) const{
		if(mx<rhs.mx) return rhs;
		else if(mx>rhs.mx) return *this;
		return Node(mx,adc(sum,rhs.sum));
	}
};

std::unordered_map <int,Node> f;

// f[S]: 固定了 S 中元素的情况下, 产生逆序对的最大值, 以及方案数 
// 从大到小加入元素 

std::queue <int> q;

int t[N][N];
int suf[N][N][N];
int pre[N][N][N];

inline void calc(int s,int pos){
	assert(((s>>pos)&1)==0);
	
	int nw=0,t=s|(1<<pos);
	
	int cur=s;
	
	for(int i=1;i<=m;++i){
		int d=::d[i],npos=0,nex=0;
		for(int p=0;p<d;++p){
			if(pos%d==p) nw+=__builtin_popcount(pre[d][p][pos/d]&cur);
			int cnt=__builtin_popcount(::t[d][p]&cur); nex|=suf[d][p][cnt];
			if(pos%d==p) npos=p+(n-1-p)/d*d-cnt*d;
		}
		pos=npos,cur=nex;
//		printf("nw = %d pos = %d\n",nw,pos);
//		for(int i=0;i<n;++i) printf("%d ",v[i]); puts("");
	}

//	printf("%d -> %d = %d\n",s,t,f[s].mx+nw);
	
	if(f.count(t)) f[t]=Node(f[s].mx+nw,f[s].sum)+f[t];
	else f[t]=Node(f[s].mx+nw,f[s].sum),q.push(t);
	return;
}

int main(void){
	n=read(),m=read();
	for(int i=1;i<=m;++i) d[i]=read();
	
	for(int d=1;d<=n;++d){
		for(int x=0,y,c;x<d;++x){
			for(y=x,c=1;y<n;y+=d,++c) t[d][x]|=(1<<y),pre[d][x][c]=pre[d][x][c-1]|(1<<y);
			for(y-=d,c=1;y>=0;y-=d,++c) suf[d][x][c]=suf[d][x][c-1]|(1<<y);
		}
	}
	
	q.push(0); f[0]=Node(0,1);
	while(!q.empty()){
		int s=q.front();
		
//		printf("s = %d (mx = %d val = %d)\n",s,f[s].mx,f[s].sum);
//		for(int i=0;i<n;++i) printf("%d",(s>>i)&1);
//		puts("\n");
		
		q.pop();
		for(int p=0;p<d[1];++p){
			for(int x=p;x<n;x+=d[1]){
				if(((s>>x)&1)==0){
					calc(s,x);
					break;
				}
			}
		}
	}
	printf("%d %d",f[(1<<n)-1].mx,f[(1<<n)-1].sum);

	return 0;
}