Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries10_canonical : densePatternSummaries10.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 10 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries11_canonical : densePatternSummaries11.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 11 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries12_canonical : densePatternSummaries12.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 12 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries13_canonical : densePatternSummaries13.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 13 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries14_canonical : densePatternSummaries14.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 14 agrees with canonical audited data.