Bounded coverage-certificate computation facts

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_3_29 : branchClaimRootValidB 3 29 (BranchClaim.patternThree 6) = true

Root audit for fixed branch (3, 29).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_6_01 : branchClaimRootValidB 6 1 (BranchClaim.search branchClaims6Row1) = true

Root audit for fixed branch (6, 1).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_34_00320 : nodeClaimChunkValidB branchClaims5Row34 320 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_5_34_00384 : nodeClaimChunkValidB branchClaims5Row34 384 6 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_01_00000 : nodeClaimChunkValidB branchClaims6Row1 0 32 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_01_00032 : nodeClaimChunkValidB branchClaims6Row1 32 32 = true

Node audit for fixed branch (6, 1), starting at 32.