Miglioramenti vari

* Sostituito il test di primalità con il Miller-Rabin (k=64) (più
veloce ma non deterministico)
* Utlizzati generatori in sostituzione alle tuple (più veloce)
* Sostituita la concatenazione di stringhe con join (più veloce)
* Correzioni per PEP8