https://123dok.net/document/q7w7e08r-bonnes-valeurs-initiales-suite-lucas-lehmer.html