Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries05_canonical : densePatternSummaries05.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 5 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries06_canonical : densePatternSummaries06.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 6 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries07_canonical : densePatternSummaries07.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 7 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries08_canonical : densePatternSummaries08.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 8 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries09_canonical : densePatternSummaries09.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 9 agrees with canonical audited data.