Fermat pseudoprime


In number theory, the Fermat pseudoprimes make up the most important class of pseudoprimes that come from Fermat's little theorem.

Definition

states that if p is prime and a is coprime to p, then ap−1 − 1 is divisible by p. For an integer a > 1, if a composite integer x divides ax−1 − 1, then x is called a Fermat pseudoprime to base a.
In other words, a composite integer is a Fermat pseudoprime to base a if it successfully passes the Fermat primality test for the base a.
The smallest base-2 Fermat pseudoprime is 341. It is not a prime, since it equals 11·31, but it satisfies Fermat's little theorem: 2340 ≡ 1 and thus passes the
Fermat primality test for the base 2.
Pseudoprimes to base 2 are sometimes called Poulet numbers, after the Belgian mathematician Paul Poulet, Sarrus numbers, or Fermatians.
A Fermat pseudoprime is often called a pseudoprime, with the modifier Fermat being understood.
An integer x that is a Fermat pseudoprime for all values of a that are coprime to x is called a Carmichael number.

Properties

Distribution

There are infinitely many pseudoprimes to any given base a > 1. In 1904, Cipolla showed how to produce an infinite number of pseudoprimes base a > 1: Let p be a prime that does not divide a. Let A = / and let B = /. Then n = AB is composite, and is a pseudoprime to base a. For example, if a = 2 and p = 5, then A = 31, B = 11, and n = 341 is a pseudoprime to base 2.
In fact, there are infinitely many strong pseudoprimes to any base greater than 1 and infinitely many Carmichael numbers, but they are comparatively rare. There are three pseudoprimes to base 2 below 1000, 245 below one million, and 21853 less than 25·109. There are 4842 strong pseudoprimes base 2 and 2163 Carmichael numbers below this limit.
Starting at 17·257, the product of consecutive Fermat numbers is a base-2 pseudoprime, and so are all Fermat composite and Mersenne composite.

Factorizations

The factorizations of the 60 Poulet numbers up to 60787, including 13 Carmichael numbers, are in the following table.

A Poulet number all of whose divisors d divide 2d − 2 is called a super-Poulet number. There are infinitely many Poulet numbers which are not super-Poulet Numbers.

Smallest Fermat pseudoprimes

The smallest pseudoprime for each base a ≤ 200 is given in the following table; the colors mark the number of prime factors. Unlike in the definition at the start of the article, pseudoprimes below a are excluded in the table.
asmallest p-pasmallest p-pasmallest p-pasmallest p-p
14 = 2²5165 = 5 · 13101175 = 5² · 7151175 = 5² · 7
2341 = 11 · 315285 = 5 · 17102133 = 7 · 19152153 = 3² · 17
391 = 7 · 135365 = 5 · 13103133 = 7 · 19153209 = 11 · 19
415 = 3 · 55455 = 5 · 11104105 = 3 · 5 · 7154155 = 5 · 31
5124 = 2² · 315563 = 3² · 7105451 = 11 · 41155231 = 3 · 7 · 11
635 = 5 · 75657 = 3 · 19106133 = 7 · 19156217 = 7 · 31
725 = 5²5765 = 5 · 13107133 = 7 · 19157186 = 2 · 3 · 31
89 = 3²58133 = 7 · 19108341 = 11 · 31158159 = 3 · 53
928 = 2² · 75987 = 3 · 29109117 = 3² · 13159247 = 13 · 19
1033 = 3 · 1160341 = 11 · 31110111 = 3 · 37160161 = 7 · 23
1115 = 3 · 56191 = 7 · 13111190 = 2 · 5 · 19161190 = 2 · 5 · 19
1265 = 5 · 136263 = 3² · 7112121 = 11²162481 = 13 · 37
1321 = 3 · 763341 = 11 · 31113133 = 7 · 19163186 = 2 · 3 · 31
1415 = 3 · 56465 = 5 · 13114115 = 5 · 23164165 = 3 · 5 · 11
15341 = 11 · 3165112 = 2⁴ · 7115133 = 7 · 19165172 = 2² · 43
1651 = 3 · 176691 = 7 · 13116117 = 3² · 13166301 = 7 · 43
1745 = 3² · 56785 = 5 · 17117145 = 5 · 29167231 = 3 · 7 · 11
1825 = 5²6869 = 3 · 23118119 = 7 · 17168169 = 13²
1945 = 3² · 56985 = 5 · 17119177 = 3 · 59169231 = 3 · 7 · 11
2021 = 3 · 770169 = 13²120121 = 11²170171 = 3² · 19
2155 = 5 · 1171105 = 3 · 5 · 7121133 = 7 · 19171215 = 5 · 43
2269 = 3 · 237285 = 5 · 17122123 = 3 · 41172247 = 13 · 19
2333 = 3 · 1173111 = 3 · 37123217 = 7 · 31173205 = 5 · 41
2425 = 5²7475 = 3 · 5²124125 = 5³174175 = 5² · 7
2528 = 2² · 77591 = 7 · 13125133 = 7 · 19175319 = 11 · 19
2627 = 3³7677 = 7 · 11126247 = 13 · 19176177 = 3 · 59
2765 = 5 · 1377247 = 13 · 19127153 = 3² · 17177196 = 2² · 7²
2845 = 3² · 578341 = 11 · 31128129 = 3 · 43178247 = 13 · 19
2935 = 5 · 77991 = 7 · 13129217 = 7 · 31179185 = 5 · 37
3049 = 7²8081 = 3⁴130217 = 7 · 31180217 = 7 · 31
3149 = 7²8185 = 5 · 17131143 = 11 · 13181195 = 3 · 5 · 13
3233 = 3 · 118291 = 7 · 13132133 = 7 · 19182183 = 3 · 61
3385 = 5 · 1783105 = 3 · 5 · 7133145 = 5 · 29183221 = 13 · 17
3435 = 5 · 78485 = 5 · 17134135 = 3³ · 5184185 = 5 · 37
3551 = 3 · 1785129 = 3 · 43135221 = 13 · 17185217 = 7 · 31
3691 = 7 · 138687 = 3 · 29136265 = 5 · 53186187 = 11 · 17
3745 = 3² · 58791 = 7 · 13137148 = 2² · 37187217 = 7 · 31
3839 = 3 · 138891 = 7 · 13138259 = 7 · 37188189 = 3³ · 7
3995 = 5 · 198999 = 3² · 11139161 = 7 · 23189235 = 5 · 47
4091 = 7 · 139091 = 7 · 13140141 = 3 · 47190231 = 3 · 7 · 11
41105 = 3 · 5 · 791115 = 5 · 23141355 = 5 · 71191217 = 7 · 31
42205 = 5 · 419293 = 3 · 31142143 = 11 · 13192217 = 7 · 31
4377 = 7 · 1193301 = 7 · 43143213 = 3 · 71193276 = 2² · 3 · 23
4445 = 3² · 59495 = 5 · 19144145 = 5 · 29194195 = 3 · 5 · 13
4576 = 2² · 1995141 = 3 · 47145153 = 3² · 17195259 = 7 · 37
46133 = 7 · 1996133 = 7 · 19146147 = 3 · 7²196205 = 5 · 41
4765 = 5 · 1397105 = 3 · 5 · 7147169 = 13²197231 = 3 · 7 · 11
4849 = 7²9899 = 3² · 11148231 = 3 · 7 · 11198247 = 13 · 19
4966 = 2 · 3 · 1199145 = 5 · 29149175 = 5² · 7199225 = 3² · 5²
5051 = 3 · 17100153 = 3² · 17150169 = 13²200201 = 3 · 67

List of Fermat pseudoprimes in fixed base ''n''

nFirst few Fermat pseudoprimes in base nOEIS sequence
14, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 38, 39, 40, 42, 44, 45, 46, 48, 49, 50, 51, 52, 54, 55, 56, 57, 58, 60, 62, 63, 64, 65, 66, 68, 69, 70, 72, 74, 75, 76, 77, 78, 80, 81, 82, 84, 85, 86, 87, 88, 90, 91, 92, 93, 94, 95, 96, 98, 99, 100,...
2341, 561, 645, 1105, 1387, 1729, 1905, 2047, 2465, 2701, 2821, 3277, 4033, 4369, 4371, 4681, 5461, 6601, 7957, 8321, 8481, 8911,...
391, 121, 286, 671, 703, 949, 1105, 1541, 1729, 1891, 2465, 2665, 2701, 2821, 3281, 3367, 3751, 4961, 5551, 6601, 7381, 8401, 8911,...
415, 85, 91, 341, 435, 451, 561, 645, 703, 1105, 1247, 1271, 1387, 1581, 1695, 1729, 1891, 1905, 2047, 2071, 2465, 2701, 2821, 3133, 3277, 3367, 3683, 4033, 4369, 4371, 4681, 4795, 4859, 5461, 5551, 6601, 6643, 7957, 8321, 8481, 8695, 8911, 9061, 9131, 9211, 9605, 9919,...
54, 124, 217, 561, 781, 1541, 1729, 1891, 2821, 4123, 5461, 5611, 5662, 5731, 6601, 7449, 7813, 8029, 8911, 9881,...
635, 185, 217, 301, 481, 1105, 1111, 1261, 1333, 1729, 2465, 2701, 2821, 3421, 3565, 3589, 3913, 4123, 4495, 5713, 6533, 6601, 8029, 8365, 8911, 9331, 9881,...
76, 25, 325, 561, 703, 817, 1105, 1825, 2101, 2353, 2465, 3277, 4525, 4825, 6697, 8321,...
89, 21, 45, 63, 65, 105, 117, 133, 153, 231, 273, 341, 481, 511, 561, 585, 645, 651, 861, 949, 1001, 1105, 1281, 1365, 1387, 1417, 1541, 1649, 1661, 1729, 1785, 1905, 2047, 2169, 2465, 2501, 2701, 2821, 3145, 3171, 3201, 3277, 3605, 3641, 4005, 4033, 4097, 4369, 4371, 4641, 4681, 4921, 5461, 5565, 5963, 6305, 6533, 6601, 6951, 7107, 7161, 7957, 8321, 8481, 8911, 9265, 9709, 9773, 9881, 9945,...
94, 8, 28, 52, 91, 121, 205, 286, 364, 511, 532, 616, 671, 697, 703, 946, 949, 1036, 1105, 1288, 1387, 1541, 1729, 1891, 2465, 2501, 2665, 2701, 2806, 2821, 2926, 3052, 3281, 3367, 3751, 4376, 4636, 4961, 5356, 5551, 6364, 6601, 6643, 7081, 7381, 7913, 8401, 8695, 8744, 8866, 8911,...
109, 33, 91, 99, 259, 451, 481, 561, 657, 703, 909, 1233, 1729, 2409, 2821, 2981, 3333, 3367, 4141, 4187, 4521, 5461, 6533, 6541, 6601, 7107, 7471, 7777, 8149, 8401, 8911,...
1110, 15, 70, 133, 190, 259, 305, 481, 645, 703, 793, 1105, 1330, 1729, 2047, 2257, 2465, 2821, 4577, 4921, 5041, 5185, 6601, 7869, 8113, 8170, 8695, 8911, 9730,...
1265, 91, 133, 143, 145, 247, 377, 385, 703, 1045, 1099, 1105, 1649, 1729, 1885, 1891, 2041, 2233, 2465, 2701, 2821, 2983, 3367, 3553, 5005, 5365, 5551, 5785, 6061, 6305, 6601, 8911, 9073,...
134, 6, 12, 21, 85, 105, 231, 244, 276, 357, 427, 561, 1099, 1785, 1891, 2465, 2806, 3605, 5028, 5149, 5185, 5565, 6601, 7107, 8841, 8911, 9577, 9637,...
1415, 39, 65, 195, 481, 561, 781, 793, 841, 985, 1105, 1111, 1541, 1891, 2257, 2465, 2561, 2665, 2743, 3277, 5185, 5713, 6501, 6533, 6541, 7107, 7171, 7449, 7543, 7585, 8321, 9073,...
1514, 341, 742, 946, 1477, 1541, 1687, 1729, 1891, 1921, 2821, 3133, 3277, 4187, 6541, 6601, 7471, 8701, 8911, 9073,...
1615, 51, 85, 91, 255, 341, 435, 451, 561, 595, 645, 703, 1105, 1247, 1261, 1271, 1285, 1387, 1581, 1687, 1695, 1729, 1891, 1905, 2047, 2071, 2091, 2431, 2465, 2701, 2821, 3133, 3277, 3367, 3655, 3683, 4033, 4369, 4371, 4681, 4795, 4859, 5083, 5151, 5461, 5551, 6601, 6643, 7471, 7735, 7957, 8119, 8227, 8245, 8321, 8481, 8695, 8749, 8911, 9061, 9131, 9211, 9605, 9919,...
174, 8, 9, 16, 45, 91, 145, 261, 781, 1111, 1228, 1305, 1729, 1885, 2149, 2821, 3991, 4005, 4033, 4187, 4912, 5365, 5662, 5833, 6601, 6697, 7171, 8481, 8911,...
1825, 49, 65, 85, 133, 221, 323, 325, 343, 425, 451, 637, 931, 1105, 1225, 1369, 1387, 1649, 1729, 1921, 2149, 2465, 2701, 2821, 2825, 2977, 3325, 4165, 4577, 4753, 5525, 5725, 5833, 5941, 6305, 6517, 6601, 7345, 8911, 9061,...
196, 9, 15, 18, 45, 49, 153, 169, 343, 561, 637, 889, 905, 906, 1035, 1105, 1629, 1661, 1849, 1891, 2353, 2465, 2701, 2821, 2955, 3201, 4033, 4681, 5461, 5466, 5713, 6223, 6541, 6601, 6697, 7957, 8145, 8281, 8401, 8869, 9211, 9997,...
2021, 57, 133, 231, 399, 561, 671, 861, 889, 1281, 1653, 1729, 1891, 2059, 2413, 2501, 2761, 2821, 2947, 3059, 3201, 4047, 5271, 5461, 5473, 5713, 5833, 6601, 6817, 7999, 8421, 8911,...
214, 10, 20, 55, 65, 85, 221, 703, 793, 1045, 1105, 1852, 2035, 2465, 3781, 4630, 5185, 5473, 5995, 6541, 7363, 8695, 8965, 9061,...
2221, 69, 91, 105, 161, 169, 345, 483, 485, 645, 805, 1105, 1183, 1247, 1261, 1541, 1649, 1729, 1891, 2037, 2041, 2047, 2413, 2465, 2737, 2821, 3241, 3605, 3801, 5551, 5565, 5963, 6019, 6601, 6693, 7081, 7107, 7267, 7665, 8119, 8365, 8421, 8911, 9453,...
2322, 33, 91, 154, 165, 169, 265, 341, 385, 451, 481, 553, 561, 638, 946, 1027, 1045, 1065, 1105, 1183, 1271, 1729, 1738, 1749, 2059, 2321, 2465, 2501, 2701, 2821, 2926, 3097, 3445, 4033, 4081, 4345, 4371, 4681, 5005, 5149, 6253, 6369, 6533, 6541, 7189, 7267, 7957, 8321, 8365, 8651, 8745, 8911, 8965, 9805,...
2425, 115, 175, 325, 553, 575, 805, 949, 1105, 1541, 1729, 1771, 1825, 1975, 2413, 2425, 2465, 2701, 2737, 2821, 2885, 3781, 4207, 4537, 6601, 6931, 6943, 7081, 7189, 7471, 7501, 7813, 8725, 8911, 9085, 9361, 9809,...
254, 6, 8, 12, 24, 28, 39, 66, 91, 124, 217, 232, 276, 403, 426, 451, 532, 561, 616, 703, 781, 804, 868, 946, 1128, 1288, 1541, 1729, 1891, 2047, 2701, 2806, 2821, 2911, 2926, 3052, 3126, 3367, 3592, 3976, 4069, 4123, 4207, 4564, 4636, 4686, 5321, 5461, 5551, 5611, 5662, 5731, 5963, 6601, 7449, 7588, 7813, 8029, 8646, 8911, 9881, 9976,...
269, 15, 25, 27, 45, 75, 133, 135, 153, 175, 217, 225, 259, 425, 475, 561, 589, 675, 703, 775, 925, 1035, 1065, 1147, 2465, 3145, 3325, 3385, 3565, 3825, 4123, 4525, 4741, 4921, 5041, 5425, 6093, 6475, 6525, 6601, 6697, 8029, 8695, 8911, 9073,...
2726, 65, 91, 121, 133, 247, 259, 286, 341, 365, 481, 671, 703, 949, 1001, 1105, 1541, 1649, 1729, 1891, 2071, 2465, 2665, 2701, 2821, 2981, 2993, 3146, 3281, 3367, 3605, 3751, 4033, 4745, 4921, 4961, 5299, 5461, 5551, 5611, 5621, 6305, 6533, 6601, 7381, 7585, 7957, 8227, 8321, 8401, 8911, 9139, 9709, 9809, 9841, 9881, 9919,...
289, 27, 45, 87, 145, 261, 361, 529, 561, 703, 783, 785, 1105, 1305, 1413, 1431, 1885, 2041, 2413, 2465, 2871, 3201, 3277, 4553, 4699, 5149, 5181, 5365, 7065, 8149, 8321, 8401, 9841,...
294, 14, 15, 21, 28, 35, 52, 91, 105, 231, 268, 341, 364, 469, 481, 561, 651, 793, 871, 1105, 1729, 1876, 1897, 2105, 2257, 2821, 3484, 3523, 4069, 4371, 4411, 5149, 5185, 5356, 5473, 5565, 5611, 6097, 6601, 7161, 7294, 8321, 8401, 8421, 8841, 8911,...
3049, 91, 133, 217, 247, 341, 403, 469, 493, 589, 637, 703, 871, 899, 901, 931, 1273, 1519, 1537, 1729, 2059, 2077, 2821, 3097, 3277, 3283, 3367, 3577, 4081, 4097, 4123, 5729, 6031, 6061, 6097, 6409, 6601, 6817, 7657, 8023, 8029, 8401, 8911, 9881,...

For more information, see to, and for all bases up to 150, see , this page does not define n is a pseudoprime to a base congruent to 1 or -1

Which bases ''b'' make ''n'' a Fermat pseudoprime?

If composite is even, then is a Fermat pseudoprime to the trivial base.
If composite is odd, then is a Fermat pseudoprime to the trivial bases.
For any composite, the number of distinct bases modulo, for which is a Fermat pseudoprime base, is
where are the distinct prime factors of. This includes the trivial bases.
For example, for , this product is. For, the smallest such nontrivial base is.
Every odd composite is a Fermat pseudoprime to at least two nontrivial bases modulo unless is a power of 3.
For composite n < 200, the following is a table of all bases b < n which n is a Fermat pseudoprime. If a composite number n is not in the table, then n is a pseudoprime only to the trivial base 1 modulo n.
nbases b to which n is a Fermat pseudoprime number of the bases of b
91, 82
151, 4, 11, 144
211, 8, 13, 204
251, 7, 18, 244
271, 262
281, 9, 253
331, 10, 23, 324
351, 6, 29, 344
391, 14, 25, 384
451, 8, 17, 19, 26, 28, 37, 448
491, 18, 19, 30, 31, 486
511, 16, 35, 504
521, 9, 293
551, 21, 34, 544
571, 20, 37, 564
631, 8, 55, 624
651, 8, 12, 14, 18, 21, 27, 31, 34, 38, 44, 47, 51, 53, 57, 6416
661, 25, 31, 37, 495
691, 22, 47, 684
701, 11, 513
751, 26, 49, 744
761, 45, 493
771, 34, 43, 764
811, 802
851, 4, 13, 16, 18, 21, 33, 38, 47, 52, 64, 67, 69, 72, 81, 8416
871, 28, 59, 864
911, 3, 4, 9, 10, 12, 16, 17, 22, 23, 25, 27, 29, 30, 36, 38, 40, 43, 48,
51, 53, 55, 61, 62, 64, 66, 68, 69, 74, 75, 79, 81, 82, 87, 88, 90
36
931, 32, 61, 924
951, 39, 56, 944
991, 10, 89, 984
1051, 8, 13, 22, 29, 34, 41, 43, 62, 64, 71, 76, 83, 92, 97, 10416
1111, 38, 73, 1104
1121, 65, 813
1151, 24, 91, 1144
1171, 8, 44, 53, 64, 73, 109, 1168
1191, 50, 69, 1184
1211, 3, 9, 27, 40, 81, 94, 112, 118, 12010
1231, 40, 83, 1224
1241, 5, 253
1251, 57, 68, 1244
1291, 44, 85, 1284
1301, 61, 813
1331, 8, 11, 12, 18, 20, 26, 27, 30, 31, 37, 39, 45, 46, 50, 58, 64, 65, 68,
69, 75, 83, 87, 88, 94, 96, 102, 103, 106, 107, 113, 115, 121, 122, 125, 132
36
1351, 26, 109, 1344
1411, 46, 95, 1404
1431, 12, 131, 1424
1451, 12, 17, 28, 41, 46, 57, 59, 86, 88, 99, 104, 117, 128, 133, 14416
1471, 50, 97, 1464
1481, 121, 1373
1531, 8, 19, 26, 35, 53, 55, 64, 89, 98, 100, 118, 127, 134, 145, 15216
1541, 23, 673
1551, 61, 94, 1544
1591, 52, 107, 1584
1611, 22, 139, 1604
1651, 23, 32, 34, 43, 56, 67, 76, 89, 98, 109, 122, 131, 133, 142, 16416
1691, 19, 22, 23, 70, 80, 89, 99, 146, 147, 150, 16812
1711, 37, 134, 1704
1721, 49, 1653
1751, 24, 26, 51, 74, 76, 99, 101, 124, 149, 151, 17412
1761, 49, 81, 97, 1135
1771, 58, 119, 1764
1831, 62, 121, 1824
1851, 6, 31, 36, 38, 43, 68, 73, 112, 117, 142, 147, 149, 154, 179, 18416
1861, 97, 109, 157, 1635
1871, 67, 120, 1864
1891, 55, 134, 1884
1901, 11, 61, 81, 101, 111, 121, 131, 1619
1951, 14, 64, 79, 116, 131, 181, 1948
1961, 165, 1773

For more information, see, this page does not define n is a pseudoprime to a base congruent to 1 or -1. When p is a prime, p2 is a Fermat pseudoprime to base b if and only if p is a Wieferich prime to base b. For example, 10932 = 1194649 is a Fermat pseudoprime to base 2, and 112 = 121 is a Fermat pseudoprime to base 3.
The number of the values of b for n are
The least base b > 1 which n is a pseudoprime to base b are
The number of the values of b for n must divides Euler phi function|, or = 1, 1, 2, 2, 4, 2, 6, 4, 6, 4, 10, 4, 12, 6, 8, 8, 16, 6, 18, 8, 12, 10, 22, 8, 20, 12, 18, 12, 28, 8, 30, 16, 20, 16, 24, 12, 36, 18, 24, 16, 40, 12, 42, 20, 24, 22, 46, 16, 42, 20,...
The least number with n values of b are

Weak pseudoprimes

A composite number n which satisfy that is called weak pseudoprime to base b. A pseudoprime to base a satisfies this condition. Conversely, a weak pseudoprime that's coprime with the base is a pseudoprime in the usual sense, otherwise this may or may not be the case. The least weak pseudoprime to base b = 1, 2,... are:
All terms are less than or equal to the smallest Carmichael number, 561. Except for 561, only semiprimes can occur in the above sequence, but not all semiprimes less than 561 occur, a semiprime pq less than 561 occurs in the above sequences if and only if p − 1 divides q − 1. Besides, the smallest pseudoprime to base n is also usually semiprime, the first counterexample is = 385 = 5 × 7 × 11.
If we require n > b, they are
Carmichael numbers are weak pseudoprimes to all bases.
The smallest even weak pseudoprime in base 2 is 161038.

Euler–Jacobi pseudoprimes

Another approach is to use more refined notions of pseudoprimality, e.g. strong pseudoprimes or Euler–Jacobi pseudoprimes, for which there are no analogues of Carmichael numbers. This leads to probabilistic algorithms such as the Solovay–Strassen primality test, the Baillie-PSW primality test, and the Miller–Rabin primality test, which produce what are known as industrial-grade primes. Industrial-grade primes are integers for which primality has not been "certified", but have undergone a test such as the Miller–Rabin test which has nonzero, but arbitrarily low, probability of failure.

Applications

The rarity of such pseudoprimes has important practical implications. For example, public-key cryptography algorithms such as RSA require the ability to quickly find large primes. The usual algorithm to generate prime numbers is to generate random odd numbers and test them for primality. However, deterministic primality tests are slow. If the user is willing to tolerate an arbitrarily small chance that the number found is not a prime number but a pseudoprime, it is possible to use the much faster and simpler Fermat primality test.
OWIKI.org. Text is available under the Creative Commons Attribution-ShareAlike License.