https://xmau.com/wp/ilpost/2018/01/05/mersenne-50-e-il-controllo-di-primalita/