#include int main(void){ int C; scanf("%d\n", &C); printf("1 %d\n", C); return 0; }