Bounded coverage-certificate computation facts

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

Root audit for fixed branch (4, 4).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_6_14 : branchClaimRootValidB 6 14 (BranchClaim.search branchClaims6Row14) = true

Root audit for fixed branch (6, 14).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_6_15 : branchClaimRootValidB 6 15 (BranchClaim.search branchClaims6Row15) = true

Root audit for fixed branch (6, 15).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_14_00000 : nodeClaimChunkValidB branchClaims6Row14 0 64 = true

Node audit for fixed branch (6, 14), starting at 0.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_14_00064 : nodeClaimChunkValidB branchClaims6Row14 64 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_14_00128 : nodeClaimChunkValidB branchClaims6Row14 128 50 = true

Node audit for fixed branch (6, 14), starting at 128.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_15_00000 : nodeClaimChunkValidB branchClaims6Row15 0 64 = true

Node audit for fixed branch (6, 15), starting at 0.