* cyclic.m2
     * Creates tables for the cyclic example in the paper.

 * katsura.m2
     * Creates tables for the Katsura example in the paper.

 * example-Nash.m2 and example-NashCertify.m2
     * Perform experiments with the Nash family of systems.

 * large-examples
     * Contains examples for the table of large tests.

 * sol-count-smaller-than-bkk-examples
     * Contains examples where the number of solutions is smaller than the BKK bound.