ANN: PROVABLEPRIME 1.0 (generation of provable primes with Maurer's algorithm)