Documentation

LeanPool.BrillNoetherGraphs.LowGenus.GenusFiveRow06FixedCover

Independent generated check. This module provides an additional generated proof of row 06 and is not imported by the main LowGenus root.

Generated exact replay of the fixed AR row-06 divisor on a fundamental domain for the core's slot-level symmetry group.

The external discovery data are untrusted: cells_check and tree_check replay every arithmetic obligation in the kernel, and the chamber is discharged by the generated coverage theorem, so the conclusion is the row on the whole closed orthant.

The 483 row-06 closed-cover cells in global index order, obtained by concatenating the five certificate blocks.

Equations
  • One or more equations did not get rendered due to their size.
Instances For

    The twelve root rows of the closed orthant followed by the six chamber inequalities cutting the fundamental domain.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      The 37 homogeneous affine forms whose signs determine branches of the row-06 decision tree; coefficients are indexed by the twelve edge lengths.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For

        Subtree splitting on length[2] - length[3] in the row-06 symmetry chamber, with leaves selecting cells 0, 1, 2, 3, 4, 5 and Farkas receipts excluding inconsistent sign branches.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 0, 6, 7, 8, 9, 10 and Farkas receipts excluding inconsistent sign branches.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For

            Contradiction leaf using Farkas receipt 167 to exclude the accumulated affine constraints in this row-06 branch.

            Equations
            Instances For

              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 11, 12, 13, 14, 15 and Farkas receipts excluding inconsistent sign branches.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For

                Contradiction leaf using Farkas receipt 180 to exclude the accumulated affine constraints in this row-06 branch.

                Equations
                Instances For

                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 16, 17, 18, 19, 20 and Farkas receipts excluding inconsistent sign branches.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For

                    Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 and Farkas receipts excluding inconsistent sign branches.

                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For

                      Subtree splitting on - 2 * length[8] + length[9] in the row-06 symmetry chamber, with leaves selecting cells 0, 31, 32, 33, 34, 35 and Farkas receipts excluding inconsistent sign branches.

                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For

                        Contradiction leaf using Farkas receipt 312 to exclude the accumulated affine constraints in this row-06 branch.

                        Equations
                        Instances For

                          Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 36, 37, 38, 39, 40 and Farkas receipts excluding inconsistent sign branches.

                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For

                            Contradiction leaf using Farkas receipt 313 to exclude the accumulated affine constraints in this row-06 branch.

                            Equations
                            Instances For

                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 41, 42, 43, 44, 45 and Farkas receipts excluding inconsistent sign branches.

                              Equations
                              • One or more equations did not get rendered due to their size.
                              Instances For

                                Subtree splitting on 2 * length[8] - 2 * length[9] - length[10] in the row-06 symmetry chamber, with leaves selecting cells 46, 47, 48, 49, 50, 51, 52, 53, 54 and Farkas receipts excluding inconsistent sign branches.

                                Equations
                                • One or more equations did not get rendered due to their size.
                                Instances For

                                  Contradiction leaf using Farkas receipt 339 to exclude the accumulated affine constraints in this row-06 branch.

                                  Equations
                                  Instances For

                                    Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 31, 55, 56, 57, 58, 59 and Farkas receipts excluding inconsistent sign branches.

                                    Equations
                                    • One or more equations did not get rendered due to their size.
                                    Instances For

                                      Contradiction leaf using Farkas receipt 347 to exclude the accumulated affine constraints in this row-06 branch.

                                      Equations
                                      Instances For

                                        Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 32, 60, 61, 62, 63, 64 and Farkas receipts excluding inconsistent sign branches.

                                        Equations
                                        • One or more equations did not get rendered due to their size.
                                        Instances For

                                          Contradiction leaf using Farkas receipt 359 to exclude the accumulated affine constraints in this row-06 branch.

                                          Equations
                                          Instances For

                                            Subtree splitting on 2 * length[8] - 2 * length[9] - length[10] in the row-06 symmetry chamber, with leaves selecting cells 65, 66, 67 and Farkas receipts excluding inconsistent sign branches.

                                            Equations
                                            • One or more equations did not get rendered due to their size.
                                            Instances For

                                              Subtree splitting on - 2 * length[4] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 68, 69, 70, 71, 72, 73, 74, 75 and Farkas receipts excluding inconsistent sign branches.

                                              Equations
                                              • One or more equations did not get rendered due to their size.
                                              Instances For

                                                Contradiction leaf using Farkas receipt 339 to exclude the accumulated affine constraints in this row-06 branch.

                                                Equations
                                                Instances For

                                                  Contradiction leaf using Farkas receipt 444 to exclude the accumulated affine constraints in this row-06 branch.

                                                  Equations
                                                  Instances For

                                                    Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 76, 77, 78, 79, 80 and Farkas receipts excluding inconsistent sign branches.

                                                    Equations
                                                    • One or more equations did not get rendered due to their size.
                                                    Instances For

                                                      Contradiction leaf using Farkas receipt 445 to exclude the accumulated affine constraints in this row-06 branch.

                                                      Equations
                                                      Instances For

                                                        Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 81, 82, 83, 84, 85 and Farkas receipts excluding inconsistent sign branches.

                                                        Equations
                                                        • One or more equations did not get rendered due to their size.
                                                        Instances For

                                                          Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 86, 87, 88, 89, 90, 91, 92, 93, 94, 95 and Farkas receipts excluding inconsistent sign branches.

                                                          Equations
                                                          • One or more equations did not get rendered due to their size.
                                                          Instances For

                                                            Contradiction leaf using Farkas receipt 347 to exclude the accumulated affine constraints in this row-06 branch.

                                                            Equations
                                                            Instances For

                                                              Contradiction leaf using Farkas receipt 359 to exclude the accumulated affine constraints in this row-06 branch.

                                                              Equations
                                                              Instances For

                                                                Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 96, 97, 98, 99, 100 and Farkas receipts excluding inconsistent sign branches.

                                                                Equations
                                                                • One or more equations did not get rendered due to their size.
                                                                Instances For

                                                                  Contradiction leaf using Farkas receipt 363 to exclude the accumulated affine constraints in this row-06 branch.

                                                                  Equations
                                                                  Instances For

                                                                    Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 101, 102, 103, 104, 105 and Farkas receipts excluding inconsistent sign branches.

                                                                    Equations
                                                                    • One or more equations did not get rendered due to their size.
                                                                    Instances For
                                                                      theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart30_check :
                                                                      treePart30.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0]]) = true

                                                                      Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 106, 107, 108, 109, 110, 111, 112, 113, 114, 115 and Farkas receipts excluding inconsistent sign branches.

                                                                      Equations
                                                                      • One or more equations did not get rendered due to their size.
                                                                      Instances For
                                                                        theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart31_check :
                                                                        treePart31.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0])]) = true

                                                                        Contradiction leaf using Farkas receipt 521 to exclude the accumulated affine constraints in this row-06 branch.

                                                                        Equations
                                                                        Instances For

                                                                          Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 116, 117, 118, 119, 120 and Farkas receipts excluding inconsistent sign branches.

                                                                          Equations
                                                                          • One or more equations did not get rendered due to their size.
                                                                          Instances For

                                                                            Contradiction leaf using Farkas receipt 524 to exclude the accumulated affine constraints in this row-06 branch.

                                                                            Equations
                                                                            Instances For
                                                                              theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart34_check :
                                                                              treePart34.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0]]) = true

                                                                              Contradiction leaf using Farkas receipt 525 to exclude the accumulated affine constraints in this row-06 branch.

                                                                              Equations
                                                                              Instances For
                                                                                theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart35_check :
                                                                                treePart35.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                Subtree splitting on length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 121, 122, 123 and Farkas receipts excluding inconsistent sign branches.

                                                                                Equations
                                                                                • One or more equations did not get rendered due to their size.
                                                                                Instances For
                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart36_check :
                                                                                  treePart36.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                  Subtree splitting on - length[0] - 2 * length[2] + length[3] in the row-06 symmetry chamber, with leaves selecting cells 124, 125, 126, 127, 128, 129, 130, 131, 132 and Farkas receipts excluding inconsistent sign branches.

                                                                                  Equations
                                                                                  • One or more equations did not get rendered due to their size.
                                                                                  Instances For
                                                                                    theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart37_check :
                                                                                    treePart37.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0])]) = true

                                                                                    Contradiction leaf using Farkas receipt 521 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                    Equations
                                                                                    Instances For

                                                                                      Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 133, 134, 135, 136, 137 and Farkas receipts excluding inconsistent sign branches.

                                                                                      Equations
                                                                                      • One or more equations did not get rendered due to their size.
                                                                                      Instances For
                                                                                        theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart39_check :
                                                                                        treePart39.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0]]) = true

                                                                                        Contradiction leaf using Farkas receipt 574 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                        Equations
                                                                                        Instances For
                                                                                          theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart40_check :
                                                                                          treePart40.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0]]) = true

                                                                                          Contradiction leaf using Farkas receipt 575 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                          Equations
                                                                                          Instances For
                                                                                            theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart41_check :
                                                                                            treePart41.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                            Subtree splitting on length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 138, 139, 140 and Farkas receipts excluding inconsistent sign branches.

                                                                                            Equations
                                                                                            • One or more equations did not get rendered due to their size.
                                                                                            Instances For
                                                                                              theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart42_check :
                                                                                              treePart42.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                              Subtree splitting on - length[0] - 2 * length[2] + length[3] in the row-06 symmetry chamber, with leaves selecting cells 141, 142, 143, 144, 145, 146, 147, 148, 149 and Farkas receipts excluding inconsistent sign branches.

                                                                                              Equations
                                                                                              • One or more equations did not get rendered due to their size.
                                                                                              Instances For
                                                                                                theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart43_check :
                                                                                                treePart43.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0])]) = true

                                                                                                Contradiction leaf using Farkas receipt 614 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                Equations
                                                                                                Instances For
                                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart44_check :
                                                                                                  treePart44.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1])]) = true

                                                                                                  Subtree splitting on length[8] - 2 * length[9] in the row-06 symmetry chamber, with leaves selecting cells 0, 150, 151, 152, 153, 154 and Farkas receipts excluding inconsistent sign branches.

                                                                                                  Equations
                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                  Instances For

                                                                                                    Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                    Equations
                                                                                                    Instances For

                                                                                                      Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 155, 156, 157, 158, 159 and Farkas receipts excluding inconsistent sign branches.

                                                                                                      Equations
                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                      Instances For

                                                                                                        Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                        Equations
                                                                                                        Instances For

                                                                                                          Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 160, 161, 162, 163, 164 and Farkas receipts excluding inconsistent sign branches.

                                                                                                          Equations
                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                          Instances For

                                                                                                            Subtree splitting on - 2 * length[8] + 2 * length[9] - length[10] in the row-06 symmetry chamber, with leaves selecting cells 165, 166, 167, 168, 169, 170, 171, 172, 173, 174 and Farkas receipts excluding inconsistent sign branches.

                                                                                                            Equations
                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                            Instances For

                                                                                                              Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                              Equations
                                                                                                              Instances For

                                                                                                                Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 150, 175, 176, 177, 178, 179 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                Equations
                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                Instances For

                                                                                                                  Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                  Equations
                                                                                                                  Instances For

                                                                                                                    Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 151, 180, 181, 182, 183, 184 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                    Equations
                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                    Instances For

                                                                                                                      Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 152, 185, 186, 187, 188, 189 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                      Equations
                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                      Instances For

                                                                                                                        Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with leaves selecting cells 190, 191, 192, 193, 194 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                        Equations
                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                        Instances For

                                                                                                                          Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                          Equations
                                                                                                                          Instances For

                                                                                                                            Contradiction leaf using Farkas receipt 711 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                            Equations
                                                                                                                            Instances For

                                                                                                                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 195, 196, 197, 198, 199 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                              Equations
                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                              Instances For

                                                                                                                                Contradiction leaf using Farkas receipt 712 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                Equations
                                                                                                                                Instances For

                                                                                                                                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 200, 201, 202, 203, 204 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                  Equations
                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                  Instances For

                                                                                                                                    Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 205, 206, 207, 208, 209, 210, 211, 212, 213, 214 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                    Equations
                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                    Instances For

                                                                                                                                      Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                      Equations
                                                                                                                                      Instances For

                                                                                                                                        Contradiction leaf using Farkas receipt 720 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                        Equations
                                                                                                                                        Instances For

                                                                                                                                          Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 215, 216, 217, 218, 219 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                          Equations
                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                          Instances For

                                                                                                                                            Contradiction leaf using Farkas receipt 721 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                            Equations
                                                                                                                                            Instances For

                                                                                                                                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 220, 221, 222, 223, 224 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                              Equations
                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                              Instances For
                                                                                                                                                theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart67_check :

                                                                                                                                                Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 225, 226, 227, 228, 229, 230, 231, 232, 233, 234 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                Equations
                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                Instances For
                                                                                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart68_check :
                                                                                                                                                  treePart68.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0])]) = true

                                                                                                                                                  Contradiction leaf using Farkas receipt 693 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                  Equations
                                                                                                                                                  Instances For

                                                                                                                                                    Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 235, 236, 237, 238, 239 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                    Equations
                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                    Instances For

                                                                                                                                                      Contradiction leaf using Farkas receipt 736 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                      Equations
                                                                                                                                                      Instances For
                                                                                                                                                        theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart71_check :

                                                                                                                                                        Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 240, 241, 242, 243, 244 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                        Equations
                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                        Instances For
                                                                                                                                                          theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart72_check :
                                                                                                                                                          treePart72.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0]]) = true

                                                                                                                                                          Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 245, 246, 247, 248, 249, 250, 251, 252, 253 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                          Equations
                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                          Instances For
                                                                                                                                                            theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart73_check :
                                                                                                                                                            treePart73.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0])]) = true

                                                                                                                                                            Contradiction leaf using Farkas receipt 693 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                            Equations
                                                                                                                                                            Instances For

                                                                                                                                                              Subtree splitting on 2 * length[8] - length[9] + length[11] in the row-06 symmetry chamber, with leaves selecting cells 254, 255, 256, 257, 258 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                              Equations
                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                              Instances For

                                                                                                                                                                Contradiction leaf using Farkas receipt 736 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                Equations
                                                                                                                                                                Instances For
                                                                                                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart76_check :
                                                                                                                                                                  treePart76.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0]]) = true

                                                                                                                                                                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 259, 260, 261, 262, 263 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                  Equations
                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                  Instances For
                                                                                                                                                                    theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart77_check :
                                                                                                                                                                    treePart77.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0]]) = true

                                                                                                                                                                    Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 264, 265, 266, 267, 268, 269, 270, 271 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                    Equations
                                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                                    Instances For
                                                                                                                                                                      theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart78_check :
                                                                                                                                                                      treePart78.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, -1, 0, -2, 0, 0, 0, 0])]) = true

                                                                                                                                                                      Contradiction leaf using Farkas receipt 762 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                      Equations
                                                                                                                                                                      Instances For
                                                                                                                                                                        theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart79_check :
                                                                                                                                                                        treePart79.check splitForms farkasReceipts cells (base ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1])]) = true

                                                                                                                                                                        Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 0, 272, 273, 274, 275 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                        Equations
                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                        Instances For

                                                                                                                                                                          Contradiction leaf using Farkas receipt 774 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                          Equations
                                                                                                                                                                          Instances For

                                                                                                                                                                            Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 276, 277, 278, 279, 280 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                            Equations
                                                                                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                                                                                            Instances For

                                                                                                                                                                              Contradiction leaf using Farkas receipt 775 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                              Equations
                                                                                                                                                                              Instances For

                                                                                                                                                                                Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 281, 282, 283, 284, 285 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                Equations
                                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                                Instances For

                                                                                                                                                                                  Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 286, 287, 288, 289, 290, 291, 292, 293, 294, 295 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                  Equations
                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                  Instances For

                                                                                                                                                                                    Contradiction leaf using Farkas receipt 801 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                    Equations
                                                                                                                                                                                    Instances For

                                                                                                                                                                                      Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 31, 296, 297, 298, 299 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                      Equations
                                                                                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                                                                                      Instances For

                                                                                                                                                                                        Contradiction leaf using Farkas receipt 810 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                        Equations
                                                                                                                                                                                        Instances For

                                                                                                                                                                                          Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 32, 300, 301, 302, 303 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                          Equations
                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                          Instances For

                                                                                                                                                                                            Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 304, 305, 306, 307, 308, 309, 310, 311 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                            Equations
                                                                                                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                                                                                                            Instances For

                                                                                                                                                                                              Contradiction leaf using Farkas receipt 801 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                              Equations
                                                                                                                                                                                              Instances For

                                                                                                                                                                                                Contradiction leaf using Farkas receipt 837 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                Equations
                                                                                                                                                                                                Instances For

                                                                                                                                                                                                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 312, 313, 314, 315, 316 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                  Equations
                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                    Contradiction leaf using Farkas receipt 838 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                    Equations
                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                      Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 317, 318, 319, 320, 321 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                      Equations
                                                                                                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                        Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 322, 323, 324, 325, 326, 327, 328, 329, 330, 331 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                        Equations
                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                          Contradiction leaf using Farkas receipt 810 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                          Equations
                                                                                                                                                                                                          Instances For

                                                                                                                                                                                                            Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                            Equations
                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 332, 333, 334, 335, 336 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                              Equations
                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                Contradiction leaf using Farkas receipt 859 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 337, 338, 339, 340, 341 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                  Instances For
                                                                                                                                                                                                                    theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart101_check :

                                                                                                                                                                                                                    Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 342, 343, 344, 345, 346, 347, 348, 349, 350 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                    Instances For
                                                                                                                                                                                                                      theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart102_check :
                                                                                                                                                                                                                      treePart102.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0])]) = true

                                                                                                                                                                                                                      Contradiction leaf using Farkas receipt 884 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                        Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 351, 352, 353, 354, 355 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                          Contradiction leaf using Farkas receipt 885 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                            theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart105_check :

                                                                                                                                                                                                                            Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 356, 357, 358, 359, 360 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                            Instances For
                                                                                                                                                                                                                              theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart106_check :
                                                                                                                                                                                                                              treePart106.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                              Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 361, 362, 363, 364, 365, 366, 367, 368, 369, 370 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                              Instances For
                                                                                                                                                                                                                                theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart107_check :
                                                                                                                                                                                                                                treePart107.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0])]) = true

                                                                                                                                                                                                                                Contradiction leaf using Farkas receipt 884 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                  Subtree splitting on - length[8] + 2 * length[9] + length[11] in the row-06 symmetry chamber, with leaves selecting cells 371, 372, 373, 374, 375 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                    Contradiction leaf using Farkas receipt 885 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                    Instances For
                                                                                                                                                                                                                                      theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart110_check :
                                                                                                                                                                                                                                      treePart110.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                                      Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 376, 377, 378, 379, 380 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                      Instances For
                                                                                                                                                                                                                                        theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart111_check :
                                                                                                                                                                                                                                        treePart111.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                                        Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 381, 382, 383, 384, 385, 386, 387, 388 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                        Instances For
                                                                                                                                                                                                                                          theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart112_check :
                                                                                                                                                                                                                                          treePart112.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0])]) = true

                                                                                                                                                                                                                                          Contradiction leaf using Farkas receipt 936 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                                            theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart113_check :
                                                                                                                                                                                                                                            treePart113.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, 0, 1])]) = true

                                                                                                                                                                                                                                            Contradiction leaf using Farkas receipt 937 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                              Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 150, 389, 390, 391, 392 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                Contradiction leaf using Farkas receipt 946 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                  Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 151, 393, 394, 395, 396 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                                    Contradiction leaf using Farkas receipt 961 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                      Subtree splitting on - 2 * length[8] + 2 * length[9] - length[10] in the row-06 symmetry chamber, with leaves selecting cells 397, 398, 399 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                        Subtree splitting on 2 * length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 400, 401, 402, 403, 404, 405, 406, 407 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                          Contradiction leaf using Farkas receipt 937 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                          Instances For

                                                                                                                                                                                                                                                            Contradiction leaf using Farkas receipt 996 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 408, 409, 410, 411, 412 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                                Contradiction leaf using Farkas receipt 997 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                  Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 413, 414, 415, 416, 417 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                                                    Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 418, 419, 420, 421, 422, 423, 424, 425, 426, 427 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                                      Contradiction leaf using Farkas receipt 946 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                                        Contradiction leaf using Farkas receipt 961 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                                          Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 428, 429, 430, 431, 432 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                          Instances For

                                                                                                                                                                                                                                                                            Contradiction leaf using Farkas receipt 968 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                                              Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 433, 434, 435, 436, 437 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                                                Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 438, 439, 440, 441, 442, 443, 444, 445, 446, 447 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                Instances For
                                                                                                                                                                                                                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart132_check :

                                                                                                                                                                                                                                                                                  Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                                                                    Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 448, 449, 450, 451, 452 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                                                                                      Contradiction leaf using Farkas receipt 859 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                                                        Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 453, 454, 455, 456, 457 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                        Instances For
                                                                                                                                                                                                                                                                                          theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart136_check :
                                                                                                                                                                                                                                                                                          treePart136.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                                                                                          Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry chamber, with leaves selecting cells 458, 459, 460, 461, 462, 463, 464, 465, 466 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                                                                                            theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart137_check :
                                                                                                                                                                                                                                                                                            treePart137.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 2, 0, 0, -2, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, -2, -1, 0, 1, 0, 0, 0, 0])]) = true

                                                                                                                                                                                                                                                                                            Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                                                              Contradiction leaf using Farkas receipt 721 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                                                                Subtree splitting on 2 * length[4] - length[7] in the row-06 symmetry chamber, with leaves selecting cells 467, 468, 469, 470 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                Instances For
                                                                                                                                                                                                                                                                                                  theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart140_check :
                                                                                                                                                                                                                                                                                                  treePart140.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                                                                                                  Subtree splitting on 2 * length[4] - length[7] in the row-06 symmetry chamber, with leaves selecting cells 471, 472, 473, 474 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                                                  • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                  Instances For
                                                                                                                                                                                                                                                                                                    theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart141_check :
                                                                                                                                                                                                                                                                                                    treePart141.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, -1, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0]]) = true

                                                                                                                                                                                                                                                                                                    Subtree splitting on - length[0] - 2 * length[2] + 2 * length[3] in the row-06 symmetry chamber, with leaves selecting cells 475, 476, 477, 478, 479, 480, 481, 482 and Farkas receipts excluding inconsistent sign branches.

                                                                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                                                                    • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                    Instances For
                                                                                                                                                                                                                                                                                                      theorem AtanasovRanganathan.GenusFiveRow06FixedCover.treePart142_check :
                                                                                                                                                                                                                                                                                                      treePart142.check splitForms farkasReceipts cells (base ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -2, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 2, -1, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 1, 0, 0, -2, 0, 0, 0, 0])] ++ [GenusFiveRow06CoverBase.aff [0, 0, 0, 0, 0, 0, 0, 0, 0, 2, -1, 0, 1]] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -2, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, 0, 0, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0])] ++ [Utilities.Certificate.AffineCover.AffineForm.violation (GenusFiveRow06CoverBase.aff [0, -1, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0])]) = true

                                                                                                                                                                                                                                                                                                      Contradiction leaf using Farkas receipt 1073 to exclude the accumulated affine constraints in this row-06 branch.

                                                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                                                                        A branch of the final row-06 cover assembly, starting at split form 2 and combining the previously verified decision subtrees.

                                                                                                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                        Instances For

                                                                                                                                                                                                                                                                                                          A branch of the final row-06 cover assembly, starting at split form 3 and combining the previously verified decision subtrees.

                                                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                          Instances For

                                                                                                                                                                                                                                                                                                            A branch of the final row-06 cover assembly, starting at split form 1 and combining the previously verified decision subtrees.

                                                                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                                                                                                                              A branch of the final row-06 cover assembly, starting at split form 1 and combining the previously verified decision subtrees.

                                                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                                                                                The complete compact decision tree for row 06 on the symmetry chamber, assembling 144 subtrees whose cell and Farkas certificates are replayed by the cover checker.

                                                                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                                                                  On the chamber the eighteen active rows all hold: the first twelve because lengths are natural numbers, the last six by definition of the fundamental domain.

                                                                                                                                                                                                                                                                                                                  Connectivity of the core, checked here so that the generated modules stay self-contained.