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