#include<bits/stdc++.h>
using namespace std;
char in[100], out[100];

int main(){
	for(int I = 1; I<=20; I++){
		int n, k, i, ans=0, cnt=0, j, a, b, c;
		sprintf(in,".%d.in",I);
        freopen(in,"w",stdout);
        //scanf("%d %d", &n, &k);	
		n = I+30;
		k = (rand()%10+1)*1000;
		printf("%d %d\n",n, k);
		for(i=1;i<=n;i++){
			//scanf("%d %d %d", &a, &b, &c);
			a = (rand()%10+1)*1000;
			b = rand()%20+1;
			c = (rand()%10+1)*100;
			printf("%d %d %d\n",a,b,c);
			if(k>=a){
				cnt = k*b/100;
				cnt = min(cnt, c);
				ans = max(ans, cnt);
			}
		}
		sprintf(in,".%d.out",I);
        freopen(in,"w",stdout);
		printf("%d", k-ans);
	}
}