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