#include <stdio.h>
int x=1;
int main() {
  int y=x;
  int _x_1=2;
  printf("%d %d\n", _x_1, y);
}