Primality testing.

This directory contains certificates for the primality of the Leyland numbers x3110y63 and x8656y2929, a description of their format and a table of powers of Gauß sums needed for the verification of the certificates.