#include #include #include #include namespace mp = boost::multiprecision; using Bint = mp::cpp_int; using namespace std; using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int main() { vector f(1e5+1); vector vs; for(int i=2;i<1e5+1;i++) { if(f[i]) continue; vs.push_back(i); for(int j=i+i;j<1e5+1;j++) f[j] = 1; } cout << vs.back()-1 << " " << vs.back() << endl; int k; cin >> k; cout << 1 << endl; return 0; }