corretta liberazione di memoria della random in gmp