Bounded coverage-certificate computation facts

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

Root audit for fixed branch (1, 1).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchRoot_3_25 : branchClaimRootValidB 3 25 (BranchClaim.search branchClaims3Row25) = true

Root audit for fixed branch (3, 25).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_24_00192 : nodeClaimChunkValidB branchClaims3Row24 192 64 = true

Node audit for fixed branch (3, 24), starting at 192.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_24_00256 : nodeClaimChunkValidB branchClaims3Row24 256 64 = true

Node audit for fixed branch (3, 24), starting at 256.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_24_00320 : nodeClaimChunkValidB branchClaims3Row24 320 29 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_3_25_00000 : nodeClaimChunkValidB branchClaims3Row25 0 64 = true

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