#include <stdio.h>
#include <stdlib.h>

main()
{
  int i,t,d,m=0,w;

  srand48(time(0));
  printf("100 20\n");
  for(i=20;i>0;i--)
    {
      w = (int)(drand48()*175);
      if(m < w) m = w;
      printf("%d\n",1+w);
    }
  for(t=0,i=0;i<250;i++)
    {
      d = (int) (drand48()*20);
      t += 1+ (int)(drand48()*50);
      printf("%d %d %d %d\n",t,
	     d+1,
	     (d+1+(int)(drand48()*99))%100+1,
	     (int)(drand48()*m)+1);
    }
  printf("-1 -1 -1 -1\n");
}