#include <stdio.h>

int main(int argc, char* argv[]) {
  int a,b,n;
  FILE *fp;
  a = 2;

  fp = fopen(argv[1],"r");

  fscanf(fp, "%d", &n);

  fclose(fp);

  fp = fopen(argv[2],"w");

  b = n-a;

  fprintf(fp, "%d %d", a, b);


  return 1;
}