Problem: Zeyad wants to commit n crimes in Egypt and not be punished at the end. There are several types of crimes. For example, bribery is a crime but is not considered such when repeated twice. Therefore, bribery is not considered a crime when repeated an even number of times. Speeding is a crime, but is not considered such when repeated a number of times which is a multiple of five.

More specifically, c conditions on crime repetitions are known. Each condition describes the crime type ti and its multiplicity mi. If the number of times Zeyad committed the crime ti is a multiple of mi, Zeyad will not be punished for crime ti. Some crimes may be listed more than once. In this case fulfilling at least one condition for this crime is enough to not be punished for it. Of course, if for certain crime the number of times Zeyad committed it is zero, he is innocent with respect to this crime.

Now Zeyad is interested in a number of ways he can commit exactly n crimes without any punishment.

The order of commiting the crimes matters. More formally, two ways, sequences w1 and w2, of committing n crimes are equal if w1i = w2i, for all 1 ≤ i ≤ n.

Input

The first line contains two integers n and c (0 ≤ n ≤ 1018, 0 ≤ c ≤ 1000) — the number of crimes Zeyad would like to commit and the number of conditions he is aware of.

Then the definitions for c conditions follow. There are 26 types of crimes. Each crime definition consists of crime type — a capital Latin letter — and its multiplicity. 

The multiplicity of each crime is a positive integer number and the product of all multiplicities does not exceed 123. Some conditions may be repeated in the input more than once.

Crime of multiplicity 1 is not yielding any punishment regardless of the number of times it was committed. The strictness of the law is compensated by the fact that it's non-mandatory.

Obviously, if some crime is not listed in the set of conditions, then Zeyad will not consider it, as committing it would unavoidably lead to the punishment.

Please, do not use the %lld specificator to read or write 64-bit integers in С++. It is preferred to use the cin stream (you may also use the %I64d specificator).

Output

Output the number of different ways Zeyad can commit exactly n crimes with no punishment modulo 12345.

Examples

Input

5 2
A 1
B 2


Output

16


Input

6 3
A 1
B 2
C 3


Output

113


Input

8 3
A 2
A 3
B 2


Output

128

Note

In the first test case, the 16 ways are: AAAAA, AAABB, AABAB, AABBA, ABAAB, ABABA, ABBAA, BAAAB, BAABA, BABAA, BBAAA, ABBBB, BABBB, BBABB, BBBAB, BBBBA.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int mod = 12345;
int n, j, k, l, i, o, p, __t;
long long m;
pair<int, int> query[100];
string s;
char ch;
void read(int &a) {
  for (ch = getchar(); (ch < '0' || ch > '9') && (ch != '-'); ch = getchar())
    ;
  if (ch == '-')
    a = 0, __t = -1;
  else
    a = ch - '0', __t = 1;
  for (ch = getchar(); ch >= '0' && ch <= '9'; ch = getchar())
    a = a * 10 + ch - '0';
  a *= __t;
}
void mul() {}
int deg[1000], size, ans;
map<vector<int>, int> num;
vector<int> A;
bool char_exist[100];
int Map[200][200], correct[200], F[200][200], ANS[200][200];
void DFS(int P, int s) {
  if (P == n + 1) {
    if (s == 0) {
      num[A] = ++size;
      return;
    }
    if (s == 1) {
      int temp = num[A];
      for (int i = (0); i <= (25); i++)
        if (char_exist[i]) {
          vector<int> B = A;
          for (int j = (1); j <= (n); j++)
            if (i == query[j].first) B[j] = (B[j] + 1) % query[j].second;
          Map[temp][num[B]] += 1;
        }
      return;
    }
    if (s == 2) {
      bool could = 1;
      for (int i = (0); i <= (25); i++)
        if (char_exist[i] && correct[i] == 0) could = 0;
      ans = (ans + could * F[1][num[A]]) % mod;
    }
  }
  for (int i = (0); i <= (query[P].second - 1); i++) {
    A[P] = i;
    if (i == 0) correct[query[P].first]++;
    DFS(P + 1, s);
    if (i == 0) correct[query[P].first]--;
  }
}
void build_mat() {
  for (int i = 1; i <= n; i++) char_exist[query[i].first] = 1;
  for (int i = (1); i <= (n + 1); i++) A.push_back(0);
  DFS(1, 0);
  DFS(1, 1);
}
int temp[200][200];
void quick() {
  for (int i = (1); i <= (size); i++) ANS[1][1] = 1;
  for (long long i = 1; i <= m; i *= 2) {
    if (m & i) {
      memset(temp, 0, sizeof temp);
      for (int i = (1); i <= (size); i++)
        for (int j = (1); j <= (size); j++)
          for (int k = (1); k <= (size); k++)
            temp[i][k] = (temp[i][k] + ANS[i][j] * Map[j][k]) % mod;
      for (int i = (1); i <= (size); i++)
        for (int j = (1); j <= (size); j++) ANS[i][j] = temp[i][j];
    }
    memset(temp, 0, sizeof temp);
    for (int i = (1); i <= (size); i++)
      for (int j = (1); j <= (size); j++)
        for (int k = (1); k <= (size); k++)
          temp[i][k] = (temp[i][k] + Map[i][j] * Map[j][k]) % mod;
    for (int i = (1); i <= (size); i++)
      for (int j = (1); j <= (size); j++) Map[i][j] = temp[i][j];
  }
}
void solve() {
  F[1][1] = 1;
  quick();
  memset(temp, 0, sizeof temp);
  for (int i = (1); i <= (1); i++)
    for (int j = (1); j <= (size); j++)
      for (int k = (1); k <= (size); k++)
        temp[i][k] = (temp[i][k] + F[i][j] * ANS[j][k]) % mod;
  for (int i = (1); i <= (size); i++) F[1][i] = temp[1][i];
  DFS(1, 2);
}
int main() {
  cin >> m >> n;
  for (int i = 1; i <= n; i++) {
    cin >> s >> k;
    query[i] = make_pair(s[0] - 'A', k);
  }
  if (m == 0) {
    printf("1\n");
    return 0;
  }
  if (n == 0) {
    printf("0\n");
    return 0;
  }
  build_mat();
  solve();
  cout << ans << endl;
}