#include<bits/stdc++.h>
#define inf 0x3f3f3f3f3f3f3f3fll
#define debug(x) cerr<<#x<<"="<<x<<endl
using namespace std;
using ll=long long;
using ld=long double;
using pli=pair<ll,int>;
using pi=pair<int,int>;
template<typename A>
using vc=vector<A>;
inline int read()
{
    int s=0,w=1;char ch;
    while((ch=getchar())>'9'||ch<'0') if(ch=='-') w=-1;
    while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
    return s*w;
}
const int mod=1000000007;
int ma[1048600];
ll dp[1048600];
int c1[12][12];
int b[12][31];
int a[31];
int c[31];
int d[15];
int n,m;
inline int get(int sta)
{
    int ans=0;
    for(int i=0;i<d[1];i++)
    {
        int c1=0,c2=0;
        for(int j=i;j<n;j+=d[1])
        {
            c1++;
            if(sta&(1<<j))
            {
                c2++;
                if(c2!=c1) return -1;
            }
        }
        ans=ans*(c1+1)+c2;
    }
    return ans;
}
inline int push(int sta)
{
    for(int i=d[1]-1;i>=0;i--)
    {
        int c=(n-i+d[1]-1)/d[1];
        int p=sta%(c+1);sta/=c+1;
        for(int j=i,now=1;j<n;j+=d[1],now++) a[j]=now<=p;
    }
    memcpy(c,a,sizeof(c));
    for(int i=2;i<=m;i++)
    {
        // printf("i=%d : \n",i);
        // for(int j=0;j<n;j++) printf("%d%c",c[j]," \n"[j==n-1]);
        for(int j=0;j<d[i];j++)
        {
            int c0=0,c1=0;
            for(int k=j;k<n;k+=d[i])
            {
                b[i][k]=c0;
                // printf("b[%d][%d]=%d\n",i,k,c0);
                if(c[k]) c1++;else c0++;
            }
            // printf("j=%d c1=%d\n",j,c1);
            for(int k=j,now=1;k<n;k+=d[i],now++) c[k]=now<=c1;
            ::c1[i][j]=c1;
        }
    }
    int val=0;
    for(int i=0;i<n;i++) val|=a[i]<<i;
    return val;
}
inline void run(int sta)
{
    int real=push(sta);
    // printf("run %d(%d,%lld) : real=%d\n",sta,ma[sta],dp[sta],real);
    // for(int i=0;i<n;i++) printf("%d%c",a[i]," \n"[i==n-1]);
    for(int i=0;i<n;i++) if(!a[i]&&get(real|(1<<i))!=-1)
    {
        int val=0,now=i;
        for(int j=2;j<=m;j++)
        {
            // printf("j=%d now=%d\n",j,now);
            val+=b[j][now];
            now=(now%d[j])+c1[j][now%d[j]]*d[j];
        }
        int to=get(real|(1<<i)),v=ma[sta]+val;
        // printf("%d -> %d(%d) (%d,%d)\n",sta,to,real|(1<<i),v,ma[to]);
        if(v>ma[to]) ma[to]=v,dp[to]=0;
        if(v==ma[to]) dp[to]=(dp[to]+dp[sta])%mod;
    }
}
inline int g1()
{
    int ans=0;
    for(int i=0;i<d[1];i++)
    {
        int c=0;
        for(int j=i;j<n;j+=d[1]) c++;
        ans+=c*(c-1)/2;
    }
    return ans;
}
int main()
{
    // freopen("data.out","w",stdout);
    n=read(),m=read();
    for(int i=1;i<=m;i++)
    {
        d[i]=read();
        if(d[i]>=n) i--,m--;
    }
    memset(ma,-1,sizeof(ma));
    ma[get(0)]=0,dp[get(0)]=1;

    int N=get((1<<n)-1);
    for(int i=0;i<=N;i++) run(i);
    printf("%d %lld\n",ma[N]+g1(),dp[N]);
    return 0;
}
/*
5 4
5 4 2 1
*/