#!/usr/bin/env python3
import random
import sys
s = int(sys.argv[1])
n = 100000
m = n//4
random.seed(s)

l = []
for i in range(m):
    l.append([2*i + 1, 2*i + 2, 2*i + 1, 2*i + 2])

print(s)
print(n)
for e in l:
    if e == l[-1]: print(*e)
    else: print(*e, end = ' ')