Hi, Thomas Nicely has updated his web page to include the smallest mpz_spsp pseudoprimes in GMP 6.1.2: http://www.trnicely.net/misc/mpzspsp.html#GMP612 It would be nice to list the smallest mpz_spsp5. Paul