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 = NN;
        var ans = 0;
        for (var b = 0; b < 10; ++b)
        {
            var max = 1 << b + 1;
            var bits = new List<int>();
            for (var i = max / 2; i < max; ++i) bits.Add(i);
            WriteLine($"{max} {bits.Count}");
            WriteLine(string.Join(" ", bits));
            var c = NN;
            ans += max / 2 * c;
        }
        WriteLine($"0 1");
        WriteLine(ans);
    }
}