Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries00_canonical : densePatternSummaries00.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 0 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries01_canonical : densePatternSummaries01.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 1 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries02_canonical : densePatternSummaries02.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 2 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries03_canonical : densePatternSummaries03.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 3 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries04_canonical : densePatternSummaries04.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 4 agrees with canonical audited data.