bullard prime numbers