Add support for primes ≤ 1e18 in Miller–Rabin (#71)
Add support for primes ≤ 1e18 in Miller–Rabin (#71)

* Make our primality testing a tad more extensible

Define the prime witnesses in one place only, so that the algorithm can
be modified for bigger numbers just by changing one line.

* Primality test: add instruction for testing 1e9 < p < 1e18

IAmWave/trinerdi-icpc,trinerdi/icpc-notebook,IAmWave/trinerdi-icpc,trinerdi/icpc-notebook,trinerdi/icpc-notebook,IAmWave/trinerdi-icpc,trinerdi/icpc-notebook,IAmWave/trinerdi-icpc,trinerdi/icpc-notebook