cambiado unsigned long int k -> mpz_class k
Funciona!!!