Problem: Vasya studies divisibility rules at school. Here are some of them:

  * Divisibility by 2. A number is divisible by 2 if and only if its last digit is divisible by 2 or in other words, is even.
  * Divisibility by 3. A number is divisible by 3 if and only if the sum of its digits is divisible by 3.
  * Divisibility by 4. A number is divisible by 4 if and only if its last two digits form a number that is divisible by 4.
  * Divisibility by 5. A number is divisible by 5 if and only if its last digit equals 5 or 0.
  * Divisibility by 6. A number is divisible by 6 if and only if it is divisible by 2 and 3 simultaneously (that is, if the last digit is even and the sum of all digits is divisible by 3).
  * Divisibility by 7. Vasya doesn't know such divisibility rule.
  * Divisibility by 8. A number is divisible by 8 if and only if its last three digits form a number that is divisible by 8.
  * Divisibility by 9. A number is divisible by 9 if and only if the sum of its digits is divisible by 9.
  * Divisibility by 10. A number is divisible by 10 if and only if its last digit is a zero.
  * Divisibility by 11. A number is divisible by 11 if and only if the sum of digits on its odd positions either equals to the sum of digits on the even positions, or they differ in a number that is divisible by 11.



Vasya got interested by the fact that some divisibility rules resemble each other. In fact, to check a number's divisibility by 2, 4, 5, 8 and 10 it is enough to check fulfiling some condition for one or several last digits. Vasya calls such rules the 2-type rules.

If checking divisibility means finding a sum of digits and checking whether the sum is divisible by the given number, then Vasya calls this rule the 3-type rule (because it works for numbers 3 and 9).

If we need to find the difference between the sum of digits on odd and even positions and check whether the difference is divisible by the given divisor, this rule is called the 11-type rule (it works for number 11).

In some cases we should divide the divisor into several factors and check whether rules of different types (2-type, 3-type or 11-type) work there. For example, for number 6 we check 2-type and 3-type rules, for number 66 we check all three types. Such mixed divisibility rules are called 6-type rules. 

And finally, there are some numbers for which no rule works: neither 2-type, nor 3-type, nor 11-type, nor 6-type. The least such number is number 7, so we'll say that in such cases the mysterious 7-type rule works, the one that Vasya hasn't discovered yet. 

Vasya's dream is finding divisibility rules for all possible numbers. He isn't going to stop on the decimal numbers only. As there are quite many numbers, ha can't do it all by himself. Vasya asked you to write a program that determines the divisibility rule type in the b-based notation for the given divisor d.

Input

The first input line contains two integers b and d (2 ≤ b, d ≤ 100) — the notation system base and the divisor. Both numbers are given in the decimal notation.

Output

On the first output line print the type of the rule in the b-based notation system, where the divisor is d: "2-type", "3-type", "11-type", "6-type" or "7-type". If there are several such types, print the one that goes earlier in the given sequence. If a number belongs to the 2-type, print on the second line the least number of the last b-based digits that we will need to use to check the divisibility.

Examples

Input

10 10


Output

2-type
1


Input

2 3


Output

11-type

Note

The divisibility rule for number 3 in binary notation looks as follows: "A number is divisible by 3 if and only if the sum of its digits that occupy the even places differs from the sum of digits that occupy the odd places, in a number that is divisible by 3". That's an 11-type rule. For example, 2110 = 101012. For it the sum of digits on odd positions equals 1 + 1 + 1 = 3, an on even positions — 0 + 0 = 0. The rule works and the number is divisible by 3. 

In some notations a number can fit into the 3-type rule and the 11-type rule. In this case the correct answer is "3-type".

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
long long B, D;
vector<pair<int, int> > factorize(int n) {
  vector<pair<int, int> > res;
  for (int i = 2; i * i <= n; i++) {
    int c = 0;
    for (; n % i == 0; n /= i) c++;
    if (c > 0) res.push_back(make_pair(i, c));
  }
  if (n != 1) res.push_back(make_pair(n, 1));
  return res;
}
int main() {
  while (cin >> B >> D) {
    fprintf(stderr, "[%lld, %lld]\n", B, D);
    vector<pair<int, int> > f = factorize(D);
    if ((B - 1) % D == 0) {
      puts("3-type");
      continue;
    }
    if ((B + 1) % D == 0) {
      puts("11-type");
      continue;
    }
    int t2 = false, t3 = false, t11 = false;
    int n2 = 0;
    for (int i = 0; i < (int)(f.size()); i++) {
      int p = f[i].first, q = f[i].second;
      long long t = 1;
      for (int j = 0; j < (int)(q); j++) t *= p;
      if (B % f[i].first == 0) {
        t2 = true;
        int c = 0, x = B;
        while (x % p == 0) {
          ++c;
          x /= p;
        }
        n2 = max(n2, q / c + (q % c ? 1 : 0));
      } else if ((B - 1) % t == 0) {
        t3 = true;
      } else if ((B + 1) % t == 0) {
        t11 = true;
      } else {
        goto t7;
      }
    }
    if (t2 + t3 + t11 > 1)
      puts("6-type");
    else if (t2) {
      puts("2-type");
      printf("%d\n", n2);
    } else if (t3)
      assert(false);
    else if (t11)
      assert(false);
    else
      assert(false);
    continue;
  t7:
    puts("7-type");
  }
  return 0;
}