#include<cstdio>

int main(){
    int n;
    scanf("%d", &n);
    printf("268435457\n1\n");
}