#include <cstdio>
#include <stdlib.h>
#include <time.h>
int main()
{
    int n, p;
    freopen(".20.in","w",stdout);
    srand(time(NULL));
    scanf("%d%d", &n, &p);
    printf("%d %d\n", n, p);
    for(int i = 0 ; i < n ; i++ )
    {
        int x = rand()%10000, y = rand()%10000, z;
        x *= ((rand()%2)?1:(-1));
        y *= ((rand()%2)?1:(-1));
        z = (int)((1000000-p)/(double)n) + (rand()%10) * ((rand()%2)?1:(-1)) + 1;
        printf("%d %d %d\n", x, y, z);
    }
}