Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries15_canonical : densePatternSummaries15.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 15 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries16_canonical : densePatternSummaries16.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 16 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries17_canonical : densePatternSummaries17.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 17 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries18_canonical : densePatternSummaries18.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 18 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries19_canonical : densePatternSummaries19.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 19 agrees with canonical audited data.