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