#include<bits/stdc++.h>
using namespace std;
#define mod 1000000007
inline int qread()
{
    int a=0,f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}
    while(isdigit(ch)){(a*=10)+=(ch^48);ch=getchar();}
    return a*f;
}
int n,m,d[20],mp[20][20],pos[20][40],cnt[20],cl[20],S,s,del,siz[20];
pair<int,int>dp[2000010];
inline int get_pos(int id,int rk,int sz){return mp[id][rk]&((1<<min(30,sz*d[id]))-1);}
int main()
{
    n=qread(),m=qread();
    for(int i=1;i<=m;++i)
    {
        d[i]=qread();
        for(int j=0;j<n;++j)mp[i][j%d[i]]|=(1<<j);
    }
    for(int i=0;i<n;++i)pos[i%d[1]][cnt[i%d[1]]++]=i;
    cl[0]=dp[0].first=1;
    for(int i=0;i<d[1];++i)cl[i+1]=cl[i]*(cnt[i]+1),dp[0].second+=cnt[i]*(cnt[i]-1)>>1;
    for(int i=0;i<=cl[d[1]]-2;++i)
    {
        S=0;
        for(int j=0;j<d[1];++j)S|=get_pos(1,j,siz[j]=i/cl[j]%(cnt[j]+1));
        for(int j=0,p;j<d[1];++j)if(cnt[j]^siz[j])
        {
            del=0,s=S;p=pos[j][siz[j]];
            for(int k=2,tp,rk;k<=m;++k)
            {
                tp=s;s=0;rk=p%d[k];
                del+=__builtin_popcount((tp&mp[k][rk])>>p);
                p=rk+__builtin_popcount(tp&mp[k][rk])*d[k];
                for(int l=0;l<d[k];++l)s|=get_pos(k,l,__builtin_popcount(tp&mp[k][l]));
            }
            if(dp[i].second+del>dp[i+cl[j]].second)dp[i+cl[j]]=make_pair(dp[i].first,dp[i].second+del);
            else if(dp[i].second+del==dp[i+cl[j]].second)(dp[i+cl[j]].first+=dp[i].first)%=mod;
        }
    }
    printf("%d %d\n",dp[cl[d[1]]-1].second,dp[cl[d[1]]-1].first);
    return 0;
}