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

#define int long long

using pii=pair<int,int>;

const int N=31,P=1e9+7;

map<vector<int>,pii> f;

pii merge(const pii &a,const pii &b)
{
    pii w=a;
    if(b.first>w.first)
        w=b;
    else if(b.first==w.first)
        w.second=(w.second+b.second)%P;
    return w;
}

int pos[N][N],cnt[N];

int bef[N][N],ps[N][N];

int n,m,d[N];

int calc(int S,int p)
{
    int cnt=0;
    for(int i=1;i<=m;i++)
    {
        int nS=0,np=-1;
        for(int j=0;j<d[i];j++)
        {
            
            int all=ps[i][j]&S;
            int all0=ps[i][j]&~S;
            if(j==p%d[i])
            {
                cnt+=__builtin_popcount(all&((1<<p)-1));
                cnt+=__builtin_popcount(all0>>(p+1));
            }
            if(all0)
                nS|=ps[i][j]^bef[i][j+__builtin_popcount(all0)*d[i]-d[i]];
            else
                nS|=ps[i][j];
            if(j==p%d[i])
                np=__builtin_popcount(all0)*d[i]+j-d[i];
        }
        S=nS,p=np;
    }
    return cnt;
}

pii dp(vector<int> s)
{
    if(f.count(s))
        return f[s];
    pii &ret=f[s];
    ret.first=-1e9;
    int hav=0;
    for(int i=0;i<d[1];i++)
        if(s[i])
            hav|=bef[1][pos[i][s[i]-1]];
    bool flag=0;
    for(int i=0;i<d[1];i++)
    {
        if(s[i]==cnt[i])
            continue;
        flag=1;
        s[i]++;
        pii w=dp(s);
        s[i]--;
        int x=pos[i][s[i]];
        w.first+=calc(hav,x);
        ret=merge(ret,w);
    }
    if(!flag)
        ret.first=0,ret.second=1;
    return ret;
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cin>>n>>m;
    for(int i=1;i<=m;i++)
        cin>>d[i];
    while(d[1]>n)
    {
        m--;
        for(int i=m;i>=1;i--)
            d[i]=d[i+1];
    }
    for(int i=0;i<d[1];i++)
        for(int j=i;j<n;j+=d[1])
            pos[i][cnt[i]++]=j;
    for(int i=1;i<=m;i++)
        for(int j=0;j<n;j++)
        {
            bef[i][j]=(1<<j);
            ps[i][j%d[i]]|=(1<<j);
            if(j>=d[i])
                bef[i][j]|=bef[i][j-d[i]];
        }
    vector<int> b(d[1]);
    auto [u,v]=dp(b);
    cout<<u/2<<" "<<v<<"\n";
}