#include<bits/stdc++.h>
using namespace std;
using ll=long long;
int main(){
	ll n;
	cin >> n;
	cout << 1 << endl;
	cout << n << ' ' << 1000000000000000000ll << endl;
}