hi I use your gmp library for a c source code. Iwant to verify the goldbach conjecture between 10^24 and 10^25. For this I use the function mpz_probab_prim_p. Where can I find the implementation for the function and do you know how I can certificate my numbers as prime (not probably prime) I would be very happy to get an answer. thanks katrin peter