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