/*
TASK: FESTB
LANG: C
*/
#include <stdio.h>
int main()
{
  printf("3 13\n2 14\n");

  3 13

  2 14
  12 1
  12 1
  11 0
  11
  return 0;
}