#include <iostream>
#include <cstdlib>

using namespace std;

int main() {
  char chs[] = "123";
  constexpr unsigned n = sizeof chs - 1;
  bool used[n][n][n] = {};
  constexpr unsigned nnn = sizeof used;

  printf("%u %u\n", n, nnn);

  for (int q = 0, i; q < nnn; ++q)
  {
    while (used[0][0][i = rand() % nnn]);
    used[0][0][i] = true;
    printf("%c%c%c\n", chs[i/n/n%n], chs[i/n%n], chs[i%n]);
  }

  return 0;
}