#include <bits/stdc++.h>
using namespace std;
#define debug(fmt, ...) \
  fprintf(stderr, "[%d] " fmt "\n", __LINE__, ##__VA_ARGS__)
template <class _Tx, class _Ty>
inline void chkmin(_Tx& x, const _Ty& y) { if (y < x) x = y; }
template <class _Tx, class _Ty>
inline void chkmax(_Tx& x, const _Ty& y) { if (x < y) x = y; }
bool Mbe;
using ll = long long;
constexpr int N = 32, S = 1 << 20, mod = 1e9 + 7;
int n, m, tot, d[N], mxc[N], prd[N];
struct dat {
  int mx, cnt;
  dat push(int x) const {
    return {mx + x, cnt};
  }
  friend dat operator+(const dat& lhs, const dat& rhs) {
    if (lhs.mx > rhs.mx) return lhs;
    if (lhs.mx < rhs.mx) return rhs;
    return {lhs.mx, (lhs.cnt + rhs.cnt) % mod};
  }
} dp[S];
int calc(int msk, int p) {
  int num = 0;
  vector<int> v(n);
  for (int i = 0; i < n; ++i) v[i] = (msk >> i & 1) << 1;
  v[p] = 1;
  for (int i = 1; i < m; ++i) {
    for (int j = 0; j < d[i]; ++j) {
      for (int x = j; x < n; x += d[i]) {
        for (int y = x; y - d[i] >= 0 && v[y] > v[y - d[i]]; y -= d[i]) {
          swap(v[y], v[y - d[i]]);
          if (v[y] == 1) ++num;
        }
      }
    }
  }
  return num;
}
bool Med;
int main() {
  // debug("Mem: %.4lfMB.", fabs(&Med - &Mbe) / 1048576);
  cin.tie(0)->sync_with_stdio(0);
  cin >> n >> m;
  for (int i = 0; i < m; ++i) cin >> d[i];
  prd[0] = 1;
  for (int i = 0; i < d[0]; ++i) {
    mxc[i] = n / d[0] + (i < n % d[0]);
    prd[i + 1] = prd[i] * (mxc[i] + 1);
  }
  tot = prd[d[0]];
  int fst = 0;
  for (int i = 0; i < d[0]; ++i)
    fst += mxc[i] * (mxc[i] - 1) / 2;
  dp[0] = dat{fst, 1};
  for (int s = 0; s < tot; ++s) {
    int msk = 0;
    for (int i = 0; i < d[0]; ++i) {
      int t = s / prd[i] % (mxc[i] + 1);
      for (int j = 0; j < t; ++j) msk |= 1 << (j * d[0] + i);
    }
    for (int i = 0; i < d[0]; ++i) {
      int t = s / prd[i] % (mxc[i] + 1);
      if (t == mxc[i]) continue;
      int p = t * d[0] + i;
      dp[s + prd[i]] = dp[s + prd[i]] + dp[s].push(calc(msk, p));
    }
  }
  cout << dp[tot - 1].mx << ' ' << dp[tot - 1].cnt << '\n';
  return 0;
}
/*
g++ -std=c++14 -O2 -o QOJ8228 QOJ8228.cpp
-Wall -Wextra -Wshadow
-fsanitize=address,undefined -g
*/