#include <iostream>
#include <bits/stdc++.h>
#include <vector>
using namespace std;

int main(int argc, char ** argv)
{

    mt19937 mt(stoi(string(argv[1])));

    int n= 10000;
    int m= 20000;



        cout<<n<<" "<<m<<endl;


    for(int i=1; i<=m; i++)
    {

    long long baza3 = 450000000;

    cout<<mt()%n+1<<" "<<mt()%n+1<<" ";

        baza3 += mt() % baza3;
    cout<<baza3<<endl;


    }

    return 0;
}