Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateData11

Sharded flat coverage-certificate data #

source
def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And29Group00 :
Array NodeClaim

Coverage claims for branch (5, 29), group 00.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And29Group01 :
    Array NodeClaim

    Coverage claims for branch (5, 29), group 01.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And29Group02 :
      Array NodeClaim

      Coverage claims for branch (5, 29), group 02.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And29Group03 :
        Array NodeClaim

        Coverage claims for branch (5, 29), group 03.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row29 :
          BranchClaims

          Flat postorder claims for branch (5, 29).

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group00 :
            Array NodeClaim

            Coverage claims for branch (5, 31), group 00.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group01 :
              Array NodeClaim

              Coverage claims for branch (5, 31), group 01.

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group02 :
                Array NodeClaim

                Coverage claims for branch (5, 31), group 02.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group03 :
                  Array NodeClaim

                  Coverage claims for branch (5, 31), group 03.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group04 :
                    Array NodeClaim

                    Coverage claims for branch (5, 31), group 04.

                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group05 :
                      Array NodeClaim

                      Coverage claims for branch (5, 31), group 05.

                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        source
                        def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group06 :
                        Array NodeClaim

                        Coverage claims for branch (5, 31), group 06.

                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          source
                          def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And31Group07 :
                          Array NodeClaim

                          Coverage claims for branch (5, 31), group 07.

                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For
                            source
                            def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row31 :
                            BranchClaims

                            Flat postorder claims for branch (5, 31).

                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For
                              source
                              def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group00 :
                              Array NodeClaim

                              Coverage claims for branch (5, 32), group 00.

                              Equations
                              • One or more equations did not get rendered due to their size.
                              Instances For
                                source
                                def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group01 :
                                Array NodeClaim

                                Coverage claims for branch (5, 32), group 01.

                                Equations
                                • One or more equations did not get rendered due to their size.
                                Instances For
                                  source
                                  def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group02 :
                                  Array NodeClaim

                                  Coverage claims for branch (5, 32), group 02.

                                  Equations
                                  • One or more equations did not get rendered due to their size.
                                  Instances For
                                    source
                                    def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group03 :
                                    Array NodeClaim

                                    Coverage claims for branch (5, 32), group 03.

                                    Equations
                                    • One or more equations did not get rendered due to their size.
                                    Instances For
                                      source
                                      def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group04 :
                                      Array NodeClaim

                                      Coverage claims for branch (5, 32), group 04.

                                      Equations
                                      • One or more equations did not get rendered due to their size.
                                      Instances For
                                        source
                                        def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group05 :
                                        Array NodeClaim

                                        Coverage claims for branch (5, 32), group 05.

                                        Equations
                                        • One or more equations did not get rendered due to their size.
                                        Instances For
                                          source
                                          def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5And32Group06 :
                                          Array NodeClaim

                                          Coverage claims for branch (5, 32), group 06.

                                          Equations
                                          • One or more equations did not get rendered due to their size.
                                          Instances For
                                            source
                                            def Erdos97Octagon.RawIncidence.StaticDirectCoverage.branchClaims5Row32 :
                                            BranchClaims

                                            Flat postorder claims for branch (5, 32).

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