#!/usr/bin/env python3
import random

from lib import *

random.seed(123)

m = 57
w = m
ks = [m] * m
for i in range(1,m):
    ks += [3] * i + [m] * m
    w += m+4

print(len(ks), w)
print('\n'.join(random_from_lengths(ks)))