Documentation

LeanPool.BrillNoetherGraphs.LowGenus.GenusFiveRow03FixedCover

Independent generated check. The main row-03 proof is now GenusFiveTwoPoleClosed.row03_closedConstruction; this module preserves an additional exact replay.

Generated exact replay of the fixed AR row-03 divisor. cells_check and tree_check replay every arithmetic obligation in the kernel.

Decode an integer coefficient list as a twelve-variable affine form: the first entry is the constant and missing entries are zero.

Equations
Instances For

    The fixed degree-four row-03 divisor, with one chip at each of vertices zero, one, four, and five.

    Equations
    Instances For

      The zero endpoint slopes and zero core potential used for an out-of-range witness-table lookup.

      Equations
      Instances For

        Endpoint-slope witness 0 for the row-03 closed cover: alpha is zero. beta is zero. The affine potential is zero.

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

          Endpoint-slope witness 1 for the row-03 closed cover: alpha is 1 at slots 5, 6, 8, and zero elsewhere. beta is -1 at slots 5, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 4, 5, 6, 7.

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

            Endpoint-slope witness 2 for the row-03 closed cover: alpha is 1 at slots 6, 7, 8, and zero elsewhere. beta is -1 at slots 5, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 4, 5, 6, 7.

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

              Endpoint-slope witness 3 for the row-03 closed cover: alpha is 1 at slots 6, and zero elsewhere. beta is -1 at slots 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 4, 5.

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

                Endpoint-slope witness 4 for the row-03 closed cover: alpha is 1 at slots 8, and zero elsewhere. beta is -1 at slots 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 4, 5.

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

                  Endpoint-slope witness 5 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 5, 8, 11, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                    Endpoint-slope witness 6 for the row-03 closed cover: alpha is -1 at slots 2; 1 at slots 7, 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5.

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

                      Endpoint-slope witness 7 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 8, 11, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                        Endpoint-slope witness 8 for the row-03 closed cover: alpha is -1 at slots 2; 1 at slots 3, 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5.

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

                          Endpoint-slope witness 9 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 8, 11, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                            Endpoint-slope witness 10 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                              Endpoint-slope witness 11 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 1, 8, 11, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                Endpoint-slope witness 12 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 1, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 5, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                  Endpoint-slope witness 13 for the row-03 closed cover: alpha is -1 at slots 2; 1 at slots 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8; 1 at slots 2, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5.

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

                                    Endpoint-slope witness 14 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 6, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                      Endpoint-slope witness 15 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 8, 11, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                        Endpoint-slope witness 16 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 8, 11, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                          Endpoint-slope witness 17 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                            Endpoint-slope witness 18 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 8, 11, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                              Endpoint-slope witness 19 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, 5, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                Endpoint-slope witness 20 for the row-03 closed cover: alpha is 1 at slots 5, 6, 7, 8, and zero elsewhere. beta is -1 at slots 5, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 4, 5, 6, 7.

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

                                                  Endpoint-slope witness 21 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                    Endpoint-slope witness 22 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 6, 8, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                      Endpoint-slope witness 23 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 5, 6, 8, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                        Endpoint-slope witness 24 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                          Endpoint-slope witness 25 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                            Endpoint-slope witness 26 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 8, 11, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                              Endpoint-slope witness 27 for the row-03 closed cover: alpha is -1 at slots 0, 5; 1 at slots 1, 6, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                                Endpoint-slope witness 28 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 1, 6, 8, 11; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5, 6.

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

                                                                  Endpoint-slope witness 29 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 5, 6, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5.

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

                                                                    Endpoint-slope witness 30 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 6, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8; 1 at slots 0, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5.

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

                                                                      Endpoint-slope witness 31 for the row-03 closed cover: alpha is -1 at slots 0; 1 at slots 1, 6, and zero elsewhere. beta is -1 at slots 1, 5, 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 2, 4, 5.

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

                                                                        Endpoint-slope witness 32 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, 7, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8; 1 at slots 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                          Endpoint-slope witness 33 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                            Endpoint-slope witness 34 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 3, 6, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8; 1 at slots 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                              Endpoint-slope witness 35 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 3, 6, and zero elsewhere. beta is -1 at slots 3, 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                Endpoint-slope witness 36 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 3, 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                  Endpoint-slope witness 37 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 3, 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 7, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                    Endpoint-slope witness 38 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8; 1 at slots 2, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                      Endpoint-slope witness 39 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 2, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                        Endpoint-slope witness 40 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 2, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                          Endpoint-slope witness 41 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 3, 6, 8, and zero elsewhere. beta is -1 at slots 3, 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                            Endpoint-slope witness 42 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 3, 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                              Endpoint-slope witness 43 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 2, 7, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                Endpoint-slope witness 44 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, 7, 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                  Endpoint-slope witness 45 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 3, 6, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                    Endpoint-slope witness 46 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 3, 6, 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                      Endpoint-slope witness 47 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 3, 6, 7, 8; 1 at slots 2, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                        Endpoint-slope witness 48 for the row-03 closed cover: alpha is -1 at slots 2, 7, 11; 1 at slots 6, 8, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 2, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                          Endpoint-slope witness 49 for the row-03 closed cover: alpha is -1 at slots 2, 11; 1 at slots 6, and zero elsewhere. beta is -1 at slots 3, 6, 8; 1 at slots 2, 11, and zero elsewhere. The nonzero affine potentials occur at vertices 3, 4, 5, 7.

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

                                                                                                            The fifty endpoint-slope and affine-potential witnesses shared by the row-03 closed-cover cells.

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

                                                                                                              Closed-cover cell 0 for the fixed row-03 divisor, with 16 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 1, 2, 0, 0, 3, 4]; cell0_check verifies its explicit-potential certificate.

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

                                                                                                                Closed-cover cell 1 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 5, 6, 0, 0, 7, 4]; cell1_check verifies its explicit-potential certificate.

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

                                                                                                                  Closed-cover cell 2 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 5, 8, 0, 0, 7, 4]; cell2_check verifies its explicit-potential certificate.

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

                                                                                                                    Closed-cover cell 3 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 9, 6, 0, 0, 7, 4]; cell3_check verifies its explicit-potential certificate.

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

                                                                                                                      Closed-cover cell 4 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 9, 8, 0, 0, 7, 4]; cell4_check verifies its explicit-potential certificate.

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

                                                                                                                        Closed-cover cell 5 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 11, 4]; cell5_check verifies its explicit-potential certificate.

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

                                                                                                                          Closed-cover cell 6 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 11, 4]; cell6_check verifies its explicit-potential certificate.

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

                                                                                                                            Closed-cover cell 7 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 12, 4]; cell7_check verifies its explicit-potential certificate.

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

                                                                                                                              Closed-cover cell 8 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 12, 4]; cell8_check verifies its explicit-potential certificate.

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

                                                                                                                                Closed-cover cell 9 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 5, 13, 0, 0, 7, 4]; cell9_check verifies its explicit-potential certificate.

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

                                                                                                                                  Closed-cover cell 10 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 9, 13, 0, 0, 7, 4]; cell10_check verifies its explicit-potential certificate.

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

                                                                                                                                    Closed-cover cell 11 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 13, 0, 0, 14, 4]; cell11_check verifies its explicit-potential certificate.

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

                                                                                                                                      Closed-cover cell 12 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 13, 0, 0, 11, 4]; cell12_check verifies its explicit-potential certificate.

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

                                                                                                                                        Closed-cover cell 13 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 13, 0, 0, 12, 4]; cell13_check verifies its explicit-potential certificate.

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

                                                                                                                                          Closed-cover cell 14 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 15, 6, 0, 0, 7, 4]; cell14_check verifies its explicit-potential certificate.

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

                                                                                                                                            Closed-cover cell 15 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 15, 8, 0, 0, 7, 4]; cell15_check verifies its explicit-potential certificate.

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

                                                                                                                                              Closed-cover cell 16 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 7, 4]; cell16_check verifies its explicit-potential certificate.

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

                                                                                                                                                Closed-cover cell 17 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 7, 4]; cell17_check verifies its explicit-potential certificate.

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

                                                                                                                                                  Closed-cover cell 18 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 15, 13, 0, 0, 7, 4]; cell18_check verifies its explicit-potential certificate.

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

                                                                                                                                                    Closed-cover cell 19 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 13, 0, 0, 7, 4]; cell19_check verifies its explicit-potential certificate.

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

                                                                                                                                                      Closed-cover cell 20 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 16, 13, 0, 0, 7, 4]; cell20_check verifies its explicit-potential certificate.

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

                                                                                                                                                        Closed-cover cell 21 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 6, 0, 0, 18, 4]; cell21_check verifies its explicit-potential certificate.

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

                                                                                                                                                          Closed-cover cell 22 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 13, 0, 0, 18, 4]; cell22_check verifies its explicit-potential certificate.

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

                                                                                                                                                            Closed-cover cell 23 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 16, 4]; cell23_check verifies its explicit-potential certificate.

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

                                                                                                                                                              Closed-cover cell 24 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 14, 4]; cell24_check verifies its explicit-potential certificate.

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

                                                                                                                                                                Closed-cover cell 25 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 8, 0, 0, 18, 4]; cell25_check verifies its explicit-potential certificate.

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

                                                                                                                                                                  Closed-cover cell 26 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 16, 4]; cell26_check verifies its explicit-potential certificate.

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

                                                                                                                                                                    Closed-cover cell 27 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 14, 4]; cell27_check verifies its explicit-potential certificate.

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

                                                                                                                                                                      Closed-cover cell 28 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 6, 0, 0, 19, 4]; cell28_check verifies its explicit-potential certificate.

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

                                                                                                                                                                        Closed-cover cell 29 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 8, 0, 0, 19, 4]; cell29_check verifies its explicit-potential certificate.

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

                                                                                                                                                                          Closed-cover cell 30 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 13, 0, 0, 19, 4]; cell30_check verifies its explicit-potential certificate.

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

                                                                                                                                                                            Closed-cover cell 31 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 20, 6, 0, 0, 21, 4]; cell31_check verifies its explicit-potential certificate.

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

                                                                                                                                                                              Closed-cover cell 32 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 22, 6, 0, 0, 21, 4]; cell32_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                Closed-cover cell 33 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 23, 6, 0, 0, 21, 4]; cell33_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                  Closed-cover cell 34 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 24, 6, 0, 0, 21, 4]; cell34_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                    Closed-cover cell 35 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 20, 8, 0, 0, 21, 4]; cell35_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                      Closed-cover cell 36 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 22, 8, 0, 0, 21, 4]; cell36_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                        Closed-cover cell 37 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 23, 8, 0, 0, 21, 4]; cell37_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                          Closed-cover cell 38 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 24, 8, 0, 0, 21, 4]; cell38_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                            Closed-cover cell 39 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 6, 0, 0, 25, 4]; cell39_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                              Closed-cover cell 40 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 8, 0, 0, 26, 4]; cell40_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                Closed-cover cell 41 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 8, 0, 0, 25, 4]; cell41_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                  Closed-cover cell 42 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 6, 0, 0, 27, 4]; cell42_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                    Closed-cover cell 43 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 8, 0, 0, 27, 4]; cell43_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                      Closed-cover cell 44 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 6, 0, 0, 26, 4]; cell44_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                        Closed-cover cell 45 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 6, 0, 0, 28, 4]; cell45_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                          Closed-cover cell 46 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 8, 0, 0, 28, 4]; cell46_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                            Closed-cover cell 47 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 20, 13, 0, 0, 21, 4]; cell47_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                              Closed-cover cell 48 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 22, 13, 0, 0, 21, 4]; cell48_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                Closed-cover cell 49 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 23, 13, 0, 0, 21, 4]; cell49_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                  Closed-cover cell 50 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 24, 13, 0, 0, 21, 4]; cell50_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                    Closed-cover cell 51 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 13, 0, 0, 26, 4]; cell51_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                      Closed-cover cell 52 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 13, 0, 0, 25, 4]; cell52_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                        Closed-cover cell 53 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 13, 0, 0, 27, 4]; cell53_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                          Closed-cover cell 54 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 17, 13, 0, 0, 28, 4]; cell54_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                            Closed-cover cell 55 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 1, 6, 0, 0, 3, 4]; cell55_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                              Closed-cover cell 56 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 16, 6, 0, 0, 7, 4]; cell56_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                Closed-cover cell 57 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 16, 6, 0, 0, 16, 4]; cell57_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                  Closed-cover cell 58 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 1, 8, 0, 0, 3, 4]; cell58_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                    Closed-cover cell 59 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 1, 13, 0, 0, 3, 4]; cell59_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                      Closed-cover cell 60 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 22, 13, 0, 0, 11, 4]; cell60_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                        Closed-cover cell 61 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 5, 2, 0, 0, 3, 4]; cell61_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                          Closed-cover cell 62 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 2, 0, 0, 3, 4]; cell62_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                            Closed-cover cell 63 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 2, 0, 0, 3, 4]; cell63_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                              Closed-cover cell 64 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 9, 2, 0, 0, 3, 4]; cell64_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                Closed-cover cell 65 for the fixed row-03 divisor, with 19 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 10, 2, 0, 0, 3, 4]; cell65_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                  Closed-cover cell 66 for the fixed row-03 divisor, with 17 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 2, 0, 0, 3, 4]; cell66_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                    Closed-cover cell 67 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 32, 0, 0, 3, 33]; cell67_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                      Closed-cover cell 68 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 32, 0, 0, 3, 33]; cell68_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                        Closed-cover cell 69 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 34, 0, 0, 3, 33]; cell69_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                          Closed-cover cell 70 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 35, 0, 0, 3, 36]; cell70_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                            Closed-cover cell 71 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 35, 0, 0, 3, 37]; cell71_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                              Closed-cover cell 72 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 34, 0, 0, 3, 33]; cell72_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                Closed-cover cell 73 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 35, 0, 0, 3, 36]; cell73_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                  Closed-cover cell 74 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 35, 0, 0, 3, 37]; cell74_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                    Closed-cover cell 75 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 38, 0, 0, 3, 33]; cell75_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                      Closed-cover cell 76 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 38, 0, 0, 3, 33]; cell76_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                        Closed-cover cell 77 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 39, 0, 0, 3, 40]; cell77_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                          Closed-cover cell 78 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 35, 0, 0, 3, 41]; cell78_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                            Closed-cover cell 79 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 35, 0, 0, 3, 42]; cell79_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                              Closed-cover cell 80 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 39, 0, 0, 3, 43]; cell80_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                Closed-cover cell 81 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 39, 0, 0, 3, 40]; cell81_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                  Closed-cover cell 82 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 35, 0, 0, 3, 42]; cell82_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                    Closed-cover cell 83 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 39, 0, 0, 3, 43]; cell83_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                      Closed-cover cell 84 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 32, 0, 0, 3, 33]; cell84_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                        Closed-cover cell 85 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 34, 0, 0, 3, 33]; cell85_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                          Closed-cover cell 86 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 35, 0, 0, 3, 36]; cell86_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                            Closed-cover cell 87 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 35, 0, 0, 3, 37]; cell87_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                              Closed-cover cell 88 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 38, 0, 0, 3, 33]; cell88_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                Closed-cover cell 89 for the fixed row-03 divisor, with 22 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 39, 0, 0, 3, 40]; cell89_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                  Closed-cover cell 90 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 35, 0, 0, 3, 42]; cell90_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                    Closed-cover cell 91 for the fixed row-03 divisor, with 23 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 39, 0, 0, 3, 43]; cell91_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                      Closed-cover cell 92 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 44, 0, 0, 3, 45]; cell92_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                        Closed-cover cell 93 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 44, 0, 0, 3, 45]; cell93_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                          Closed-cover cell 94 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 46, 0, 0, 3, 45]; cell94_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                            Closed-cover cell 95 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 46, 0, 0, 3, 45]; cell95_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                              Closed-cover cell 96 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 35, 0, 0, 3, 41]; cell96_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                Closed-cover cell 97 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 47, 0, 0, 3, 45]; cell97_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                  Closed-cover cell 98 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 47, 0, 0, 3, 45]; cell98_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                    Closed-cover cell 99 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 29, 39, 0, 0, 3, 48]; cell99_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                      Closed-cover cell 100 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 31, 39, 0, 0, 3, 48]; cell100_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                        Closed-cover cell 101 for the fixed row-03 divisor, with 21 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 44, 0, 0, 3, 45]; cell101_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                          Closed-cover cell 102 for the fixed row-03 divisor, with 20 affine cone constraints. Anchors zero through seven use witness indices [0, 0, 30, 47, 0, 0, 3, 45]; cell102_check verifies its explicit-potential certificate.

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

                                                                                                                                                                                                                                                                                                                            Cone 103 of the fixed row-03 degree-four divisor cover, using anchor-witness indices 0, 0, 30, 39, 0, 0, 3, 48 and the listed affine inequalities.

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

                                                                                                                                                                                                                                                                                                                              Cone 104 of the fixed row-03 degree-four divisor cover, using anchor-witness indices 0, 0, 31, 39, 0, 0, 3, 49 and the listed affine inequalities.

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

                                                                                                                                                                                                                                                                                                                                Cone 105 of the fixed row-03 degree-four divisor cover, using anchor-witness indices 0, 0, 30, 35, 0, 0, 3, 41 and the listed affine inequalities.

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

                                                                                                                                                                                                                                                                                                                                  Cone 106 of the fixed row-03 degree-four divisor cover, using anchor-witness indices 0, 0, 30, 46, 0, 0, 3, 45 and the listed affine inequalities.

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

                                                                                                                                                                                                                                                                                                                                    Cone 107 of the fixed row-03 degree-four divisor cover, using anchor-witness indices 0, 0, 30, 39, 0, 0, 3, 49 and the listed affine inequalities.

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

                                                                                                                                                                                                                                                                                                                                      The 108 coordinate cells used by the independent row-03 cover replay; each carries the fixed degree-four divisor and its anchor witnesses.

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

                                                                                                                                                                                                                                                                                                                                        The twelve coordinate nonnegativity inequalities defining the ambient cone of allowed row-03 edge lengths.

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

                                                                                                                                                                                                                                                                                                                                          The shared affine forms whose signs split the row-03 length cone in the compact cover tree.

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

                                                                                                                                                                                                                                                                                                                                            The leaf selecting cell zero with Farkas receipts 0 through 15 for its cone inequalities.

                                                                                                                                                                                                                                                                                                                                            Equations
                                                                                                                                                                                                                                                                                                                                            Instances For
                                                                                                                                                                                                                                                                                                                                              theorem AtanasovRanganathan.GenusFiveRow03FixedCover.treePart0_check :
                                                                                                                                                                                                                                                                                                                                              treePart0.check splitForms farkasReceipts cells (base ++ [aff [0, 0, 0, 0, 0, 0, 0, 1, 0, -1, 0, 0, 0]] ++ [aff [0, 0, 0, 0, 0, 0, -1, 0, 1, 0, 0, 0, 0]] ++ [aff [0, 0, 0, 0, 0, 0, 1, 0, -1, 0, 0, 0, 0]] ++ [aff [0, 0, 0, 0, 0, 0, 0, -1, 0, 1, 0, 0, 0]]) = true

                                                                                                                                                                                                                                                                                                                                              The row-03 subtree selecting cells one or two according to split forms 14 and 15; receipt 60 excludes the remaining branch.

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

                                                                                                                                                                                                                                                                                                                                                The row-03 subtree selecting cells three through eight, with Farkas receipts excluding sign branches outside those cell cones.

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

                                                                                                                                                                                                                                                                                                                                                  The row-03 subtree selecting cells nine through thirteen; repeated leaves for cell nine certify its inclusion from different active inequalities.

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

                                                                                                                                                                                                                                                                                                                                                    Subtree splitting on length[1] - length[11] in the row-03 length cone, with leaves selecting cells 2, 4, 6, 8 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 14, 15 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                        Subtree splitting on - length[1] + length[11] in the row-03 length cone, with leaves selecting cells 3, 4, 5, 6, 7, 8, 16, 17 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[1] + length[11] in the row-03 length cone, with leaves selecting cells 3, 4 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 15, 18 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 6, 8, 11, 12, 13, 17, 19 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 4, 10 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 4, 10, 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 - length[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 21, 22 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[1] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 5, 7, 12, 13, 23, 24 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 6, 8, 25, 26, 27 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 12, 13, 22 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 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 length[1] - length[11] in the row-03 length cone, with leaves selecting cells 5, 6, 7, 8, 12, 13 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 333 to exclude the accumulated affine constraints in this row-03 branch.

                                                                                                                                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                                                                                                                                Instances For

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

                                                                                                                                                                                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                                                                                                                                                                                    Subtree splitting on length[5] + length[6] - length[7] - length[8] in the row-03 length cone, with leaves selecting cells 31, 32, 33, 34 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                      Subtree splitting on length[2] - length[3] in the row-03 length cone, with leaves selecting cells 35, 36, 37, 38 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[3] - length[7] in the row-03 length cone, with leaves selecting cells 28, 29, 39, 40, 41 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[1] + length[5] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 7, 8, 42, 43 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 28, 29, 39, 41, 44, 45, 46 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[0] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 30, 47, 48, 49, 50, 51, 52 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[0] - length[1] in the row-03 length cone, with leaves selecting cells 13, 30, 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

                                                                                                                                                                                                                                                                                                                                                                                                  Subtree splitting on length[1] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 8, 35, 36, 37, 38, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 29, 40, 41, 43 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                                      Leaf selecting row-03 cell 55, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                        Subtree splitting on length[1] - length[5] - length[11] in the row-03 length cone, with leaves selecting cells 1, 3, 5, 7 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[0] - length[11] in the row-03 length cone, with leaves selecting cells 3, 14, 21, 28, 56, 57 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[1] + length[5] - length[11] in the row-03 length cone, with leaves selecting cells 5, 7, 21, 28 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[1] - length[5] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 7, 32, 33, 42 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 7, 24, 32, 34, 42 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 7, 24, 28, 39, 42, 44 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[2] - length[3] in the row-03 length cone, with leaves selecting cells 58 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[0] - length[5] - length[11] in the row-03 length cone, with leaves selecting cells 2, 15, 25, 29 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 4, 6, 8, 15 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 6, 8, 25, 29 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[1] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 8, 36, 37, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 27, 36, 38, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 41, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 29, 43 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                    Leaf selecting row-03 cell 59, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                      Subtree splitting on length[0] - length[5] - length[11] in the row-03 length cone, with leaves selecting cells 9, 18, 22, 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 length[0] - length[1] in the row-03 length cone, with leaves selecting cells 10, 18, 22, 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 length[1] - length[5] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 48, 49 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[0] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 11, 30, 48, 50, 51, 52 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[0] - length[1] in the row-03 length cone, with leaves selecting cells 11, 30, 51, 52, 54 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[0] - length[1] in the row-03 length cone, with leaves selecting cells 12, 13, 22, 30, 51, 54 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[0] - length[1] in the row-03 length cone, with leaves selecting cells 12, 22, 30, 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

                                                                                                                                                                                                                                                                                                                                                                                                                                                    Subtree splitting on length[1] - length[5] - length[11] in the row-03 length cone, with leaves selecting cells 48, 49 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 30, 49, 50, 51, 52, 54 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[1] - length[5] + length[11] in the row-03 length cone, with leaves selecting cells 13, 48, 49, 60 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[3] + length[7] in the row-03 length cone, with leaves selecting cells 58 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[1] - length[5] - length[11] in the row-03 length cone, with leaves selecting cells 2, 4, 6, 8 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 4, 6, 8, 15, 17, 27 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 6, 8, 25, 26, 27 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 6, 8, 26, 27, 29 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[1] - length[5] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 8, 36, 37, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 27, 36, 38, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 27, 41, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 29, 43 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[6] + length[8] in the row-03 length cone, with leaves selecting cells 1, 2, 9, 61 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Leaf selecting row-03 cell 62, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Subtree splitting on - length[0] + length[1] in the row-03 length cone, with leaves selecting cells 14, 15, 18 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[0] + length[5] - length[11] in the row-03 length cone, with leaves selecting cells 21, 22, 25, 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

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Instances For

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        Leaf selecting row-03 cell 63, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Subtree splitting on length[2] - length[7] in the row-03 length cone, with leaves selecting cells 14, 15, 18 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 21, 22, 25 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 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

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  Subtree splitting on - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 3, 4, 10, 64 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Leaf selecting row-03 cell 65, with 19 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      Subtree splitting on length[2] - length[7] in the row-03 length cone, with leaves selecting cells 5, 7, 11, 12, 13, 24 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[2] - length[3] in the row-03 length cone, with leaves selecting cells 6, 8, 11, 12, 13, 27 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 599 to exclude the accumulated affine constraints in this row-03 branch.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Instances For

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Leaf selecting row-03 cell 63, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Subtree splitting on length[2] - length[7] in the row-03 length cone, with leaves selecting cells 14, 15, 18 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[2] - length[7] in the row-03 length cone, with leaves selecting cells 21, 22, 25 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    Leaf selecting row-03 cell 62, with 17 Farkas receipts deriving its cone inequalities from the active branch constraints.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      Subtree splitting on length[3] - length[7] in the row-03 length cone, with leaves selecting cells 21, 25, 28, 29, 40, 44 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[0] - length[11] in the row-03 length cone, with leaves selecting cells 22, 25, 29, 30, 40, 51 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 14, 15, 18 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[1] - length[11] in the row-03 length cone, with leaves selecting cells 14, 15, 18 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 617 to exclude the accumulated affine constraints in this row-03 branch.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Equations
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Subtree splitting on length[0] - length[5] in the row-03 length cone, with leaves selecting cells 62, 63, 66 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[3] - length[7] in the row-03 length cone, with leaves selecting cells 33, 34, 37, 38 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[1] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 7, 8, 32, 36, 42, 43 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[3] - length[7] in the row-03 length cone, with leaves selecting cells 32, 33, 36, 37 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 7, 24, 39, 42 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 8, 41, 43 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 7, 8, 28, 29, 42, 43 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 36, 37, 48, 49 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[0] - length[6] + length[8] in the row-03 length cone, with leaves selecting cells 29, 30, 38, 40, 41, 50, 51, 52 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 37, 38, 49, 50 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 8, 13, 43, 53 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[0] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 29, 30, 41, 51, 52, 54 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 67, 68 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[3] - length[11] in the row-03 length cone, with leaves selecting cells 69, 70, 71 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[3] - length[11] in the row-03 length cone, with leaves selecting cells 72, 73, 74 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 75, 76 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[3] - length[11] in the row-03 length cone, with leaves selecting cells 69, 70, 71, 72, 73, 74 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 70, 71, 77, 78, 79 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 70, 71, 79, 80 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 73, 74, 81, 82 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[0] - length[1] in the row-03 length cone, with leaves selecting cells 73, 74, 82, 83 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 68, 84 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 72, 73, 74, 85, 86, 87 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 76, 88 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[3] - length[11] in the row-03 length cone, with leaves selecting cells 72, 73, 74, 85, 86, 87 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 86, 87, 89, 90 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 86, 87, 90, 91 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 73, 74, 81, 82, 83 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 92, 93 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 94, 95 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[3] + length[6] + length[7] - length[8] in the row-03 length cone, with leaves selecting cells 71, 74, 78, 96 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 97, 98 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[3] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 71, 74, 78, 82, 94, 95, 96 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 71, 78, 79, 99 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[2] + length[3] in the row-03 length cone, with leaves selecting cells 74, 82, 96, 100 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 80, 83 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[1] - length[5] in the row-03 length cone, with leaves selecting cells 71, 74, 78, 79, 82, 96 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 93, 101 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 98, 102 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 83, 91, 100, 103, 104 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[3] - length[6] - length[7] + length[8] in the row-03 length cone, with leaves selecting cells 74, 87, 95, 96, 105, 106 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 82, 90, 95, 96, 105, 106 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[0] + length[1] in the row-03 length cone, with leaves selecting cells 83, 91, 98, 100, 102, 103 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[2] + length[6] - length[8] in the row-03 length cone, with leaves selecting cells 98, 100, 102, 103, 104, 107 and Farkas receipts excluding inconsistent sign branches.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        A branch of the final row-03 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-03 cover assembly, starting at split form 4 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-03 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-03 cover assembly, starting at split form 28 and combining the previously verified decision subtrees.

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

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                The complete row-03 closed-cover decision tree, assembling the 134 checked subtrees in order and starting with split form zero. Its leaves refer to the shared cell and Farkas-receipt tables.

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