using System;
using static System.Console;
using System.Linq;
using System.Collections.Generic;

class Program
{
    static int NN => int.Parse(ReadLine());
    static int[] NList => ReadLine().Split().Select(int.Parse).ToArray();
    static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray();
    public static void Main()
    {
        Solve();
    }
    static void Solve()
    {
        var n = 1000;
        var w = n;
        var map = new int[n][];
        for (var i = 0; i < n; ++i)
        {
            if (i == 0) map[i] = new int[] { n, 1 };
            else map[i] = new int[] { i * (n + 1), i + 1 };
        }
        WriteLine($"{n} {w}");
        WriteLine(string.Join("\n", map.Select(mi => string.Join(" ", mi))));
    }
}