#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000000
#define Inf64 1000000000000000001LL

int main(){
	
	long long n;
	cin>>n;
	
	long long t = n;
	long long phi = n;
	for(long long i=2;i*i<=t;i++){
		if(t%i==0){
			phi /= i;
			phi *= i-1;
			while(t%i==0)t/=i;
		}
	}
	if(t>=2){
		phi /= t;
		phi *= t-1;
	}
	n *= 3;
	string s = to_string(n);
	s = string(s.rbegin(),s.rend()) + s;
	cout<<2<<endl;
	cout<<s<<' '<<1<<endl;
	while(phi <= s.size()){
		phi *= 2;
	}
	s = string(phi - s.size(),'0') + s;
	cout<<s<<' '<<n-1<<endl;
	
	return 0;
}