1. // #pragma GCC optimize("O3,unroll-loops")
  2. // #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
  3. #include "bits/stdc++.h"
  4. // #include "testlib.h"
  5. // #include "jngen.h"
  6. using namespace std;
  7. using ll = long long int;
  8. mt19937_64 RNG(chrono::high_resolution_clock::now().time_since_epoch().count());
  9.  
  10. int main(int argc, char **argv)
  11. {
  12.     // registerGen(argc, argv, 0);
  13.     ios::sync_with_stdio(false); cin.tie(0);
  14.  
  15.     cout << 1 << '\n';
  16.     int n = 216, m = 401, k = 10522;
  17.     cout << n << ' ' << m << ' ' << k << '\n';
  18.     for (int i = 0; i < 100; ++i) cout << 1 << ' ' << m-1 << ' ';
  19.     for (int i = 0; i < 2; ++i) cout << 2 << ' ';
  20.     for (int i = 0; i < 8; ++i) cout << m-2 << ' ';
  21.     for (int i = 0; i < 3; ++i) cout << 3 << ' ' << m-3 << ' ';
  22.     cout << '\n';
  23. }