Bounded coverage-certificate computation facts

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_3_21 : branchClaimRootValidB 3 21 (BranchClaim.patternThree 1) = true

Root audit for fixed branch (3, 21).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_5_34 : branchClaimRootValidB 5 34 (BranchClaim.search branchClaims5Row34) = true

Root audit for fixed branch (5, 34).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_32_00352 : nodeClaimChunkValidB branchClaims5Row32 352 32 = true

Node audit for fixed branch (5, 32), starting at 352.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_32_00384 : nodeClaimChunkValidB branchClaims5Row32 384 29 = true

Node audit for fixed branch (5, 32), starting at 384.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_32_00413 : nodeClaimChunkValidB branchClaims5Row32 413 29 = true

Node audit for fixed branch (5, 32), starting at 413.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_34_00000 : nodeClaimChunkValidB branchClaims5Row34 0 64 = true

Node audit for fixed branch (5, 34), starting at 0.