Bounded coverage-certificate computation facts

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

Root audit for fixed branch (4, 17).

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_32_00128 : nodeClaimChunkValidB branchClaims6Row32 128 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_32_00192 : nodeClaimChunkValidB branchClaims6Row32 192 64 = true

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

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchNodes_6_32_00256 : nodeClaimChunkValidB branchClaims6Row32 256 1 = true

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