n: [ (k, wmax(n,k), bound W(n,k)) ... ]
3 [(2, 2, 2)]
4 [(2, 3, 3)]
5 [(2, 3, 3), (3, 4, 4)]
6 [(2, 4, 4), (3, 5, 5)]
7 [(2, 5, 5), (3, 5, 5), (4, 6, 6)]
8 [(2, 5, 5), (3, 6, 6), (4, 7, 7)]
9 [(2, 6, 6), (3, 7, 7), (4, 7, 7), (5, 8, 8)]
10 [(2, 7, 7), (3, 8, 8), (4, 8, 8), (5, 9, 9)]
11 [(2, 7, 7), (3, 9, 9), (4, 9, 9), (5, 9, 9), (6, 10, 10)]
12 [(2, 8, 8), (3, 9, 9), (4, 10, 10), (5, 10, 10), (6, 11, 11)]
13 [(2, 9, 9), (3, 10, 10), (4, 11, 11), (5, 11, 11), (6, 11, 11), (7, 12, 12)]
14 [(2, 9, 9), (3, 11, 11), (4, 12, 12), (5, 12, 12), (6, 12, 12), (7, 13, 13)]
15 [(2, 10, 10), (3, 12, 12), (4, 13, 13), (5, 13, 13), (6, 13, 13), (7, 13, 13), (8, 14, 14)]
16 [(2, 11, 11), (3, 13, 13), (4, 13, 13), (5, 14, 14), (6, 14, 14), (7, 14, 14), (8, 15, 15)]
