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

typedef int32_t i32;

void run (void) {
  i32 c;
  scanf ("%" SCNi32, &c);
  printf ("1 %" PRIi32 "\n", c);
}

int main (void) {
  run ();
  return 0;
}