#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];

int n,m,d[N];

int calc(vector<int> v)
{
    int cnt=0;
    for(int i=1;i<=m;i++)
    {
        for(int j=0;j<d[i];j++)
            for(int k=j;k<n;k+=d[i])
            {
                for(int t=k;t>=d[i]&&v[t]>v[t-d[i]];t-=d[i])
                    cnt+=v[t]==-1,swap(v[t],v[t-d[i]]);
            }
    }
    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][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]];
        vector<int> v(n);
        for(int x=0;x<d[1];x++)
            for(int y=0;y<s[x];y++)
                v[pos[x][y]]=-2;
        v[pos[i][s[i]]]=-1;
        w.first+=calc(v);
        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);
            if(j>=d[i])
                bef[i][j]|=bef[i][j-d[i]];
        }
    vector<int> b(d[1]);
    auto [u,v]=dp(b);
    cout<<u<<" "<<v<<"\n";
}