// #pragma GCC optimize("O3,unroll-loops")
// #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
#include "bits/stdc++.h"
// #include "testlib.h"
// #include "jngen.h"
using namespace std;
using ll = long long int;
mt19937_64 RNG(chrono::high_resolution_clock::now().time_since_epoch().count());

int main(int argc, char **argv)
{
    // registerGen(argc, argv, 0);
    ios::sync_with_stdio(false); cin.tie(0);

    cout << 1 << '\n';
    int n = 216, m = 401, k = 10522;
    cout << n << ' ' << m << ' ' << k << '\n';
    for (int i = 0; i < 100; ++i) cout << 1 << ' ' << m-1 << ' ';
    for (int i = 0; i < 2; ++i) cout << 2 << ' ';
    for (int i = 0; i < 8; ++i) cout << m-2 << ' ';
    for (int i = 0; i < 3; ++i) cout << 3 << ' ' << m-3 << ' ';
    cout << '\n';
}