Bounded coverage-certificate computation facts

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_0_14 : branchClaimRootValidB 0 14 (BranchClaim.patternTwo 0) = true

Root audit for fixed branch (0, 14).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_4_32 : branchClaimRootValidB 4 32 (BranchClaim.patternTwo 0) = true

Root audit for fixed branch (4, 32).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_2_03 : branchClaimRootValidB 2 3 (BranchClaim.search branchClaims2Row3) = true

Root audit for fixed branch (2, 3).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_2_04 : branchClaimRootValidB 2 4 (BranchClaim.search branchClaims2Row4) = true

Root audit for fixed branch (2, 4).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_2_02_00064 : nodeClaimChunkValidB branchClaims2Row2 64 51 = true

Node audit for fixed branch (2, 2), starting at 64.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_2_03_00000 : nodeClaimChunkValidB branchClaims2Row3 0 64 = true

Node audit for fixed branch (2, 3), starting at 0.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_2_03_00064 : nodeClaimChunkValidB branchClaims2Row3 64 48 = true

Node audit for fixed branch (2, 3), starting at 64.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_2_04_00000 : nodeClaimChunkValidB branchClaims2Row4 0 64 = true

Node audit for fixed branch (2, 4), starting at 0.