firstprimes - primality certification for the first primes

       This  tool  outputs  in  the file filename (default: FirstPrimes.v) the proof of primality for the primes
       between the minimum and the maximum indexes.

       It contains a rather large list (thousands) of the first primes,  and  is  able  to  output  a  proof  of
       primality for each of them ; the indexes are relative to this list.

       firstprimes - primality certification for the first primes

-o<filename> Prints the proof script in the file named <filename> (otherwise: FirstPrimes.v)

       -base<maxindex>
              Gives proofs for the primes from 0 (included) to <maxindex> (excluded)

       <minindex><maxindex>
              Gives proofs for the primes from <minindex> (included) to <maxindexoo> (excluded)

                                                 July 15th, 2022                                  FIRSTPRIMES(1)

firstprimes [-o filename] -base maxindex
       firstprimes [-o filename] minindex maxindex