#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;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8Y3N0ZGxpYj4KCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpIHsKICBjaGFyIGNoc1tdID0gIjEyMyI7CiAgY29uc3RleHByIHVuc2lnbmVkIG4gPSBzaXplb2YgY2hzIC0gMTsKICBib29sIHVzZWRbbl1bbl1bbl0gPSB7fTsKICBjb25zdGV4cHIgdW5zaWduZWQgbm5uID0gc2l6ZW9mIHVzZWQ7CgogIHByaW50ZigiJXUgJXVcbiIsIG4sIG5ubik7CgogIGZvciAoaW50IHEgPSAwLCBpOyBxIDwgbm5uOyArK3EpCiAgewogICAgd2hpbGUgKHVzZWRbMF1bMF1baSA9IHJhbmQoKSAlIG5ubl0pOwogICAgdXNlZFswXVswXVtpXSA9IHRydWU7CiAgICBwcmludGYoIiVjJWMlY1xuIiwgY2hzW2kvbi9uJW5dLCBjaHNbaS9uJW5dLCBjaHNbaSVuXSk7CiAgfQoKICByZXR1cm4gMDsKfQ==