Bounded coverage-certificate computation facts

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_1_03 : branchClaimRootValidB 1 3 (BranchClaim.patternThree 178) = true

Root audit for fixed branch (1, 3).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_3_26 : branchClaimRootValidB 3 26 (BranchClaim.search branchClaims3Row26) = true

Root audit for fixed branch (3, 26).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_25_00320 : nodeClaimChunkValidB branchClaims3Row25 320 21 = true

Node audit for fixed branch (3, 25), starting at 320.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_26_00000 : nodeClaimChunkValidB branchClaims3Row26 0 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_26_00064 : nodeClaimChunkValidB branchClaims3Row26 64 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_26_00128 : nodeClaimChunkValidB branchClaims3Row26 128 64 = true

Node audit for fixed branch (3, 26), starting at 128.