#ifdef ONLINE_JUDGE
    #define NDEBUG 1
#endif
#include <bits/stdc++.h>
//ifブロックはインデントがいる
#if __has_include(<atcoder/all>)
    #include <atcoder/all>
    using namespace atcoder;
#endif
#define repp(i,l,r)for(long long i=(l);i<(r);i++)
#define rep(i,n) for (long long i = 0; i < (n); ++i)
#define per(i,n) for (long long i = (n); i >= 0; --i)
#define all(v) v.begin(), v.end()
const int INF = 1<<30;
const long long LINF = 1LL << 60;
const long long int MOD = 1000000007;
using namespace std;
using ll = long long;
using P = pair<int,int>;
using PLI = pair<long long,long long>;
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }

unsigned int randxor() {
    static unsigned int x = 123456789, y = 362436069, z = 521288629,
                        w = 88675123;
    unsigned int t;
    t = (x ^ (x << 11));
    x = y;
    y = z;
    z = w;
    return (w = (w ^ (w >> 19)) ^ (t ^ (t >> 8)));
}

int dist(int from, int to) {
    if (to == 0) return 0;
    if (to == from)
        return from;
    else
        return randxor() % (to - from) + from;
}

//ミョ(-ω- ?)
int main() {
    cin.tie(nullptr) ;
    ios::sync_with_stdio(false) ;

    int n, m;
    cin >> n >> m;
    vector<P> points(n);
    rep(i, n) { cin >> points[i].first >> points[i].second; }

    rep(i, m) { cout << dist(0, 1000) << " " << dist(0, 1000) << "\n"; }
    cout << n + 1 << "\n";
    rep(i, n ) { cout << "1 " << i + 1 << "\n"; }
    cout << "1 1"
         << "\n";
    return 0;
}