#include <stdio.h>

int main( ) {
   printf("5 7\n");
   printf("%d %d\n", 5, 7);

   return 0;
}