#include<bits/stdc++.h> using namespace std; int main() {cout<<"70"<<endl; cout<<"1 1"<<endl; out<<"2 1"<<endl; out<<"3 1"<<endl; return 0; }