Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries20_canonical : densePatternSummaries20.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 20 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries21_canonical : densePatternSummaries21.toList.all patternSummaryCanonicalB = true

Dense pattern summary group 21 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries00_canonical : denseHardSummaries00.toList.all hardSummaryCanonicalB = true

Dense hard summary group 0 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries01_canonical : denseHardSummaries01.toList.all hardSummaryCanonicalB = true

Dense hard summary group 1 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries02_canonical : denseHardSummaries02.toList.all hardSummaryCanonicalB = true

Dense hard summary group 2 agrees with canonical audited data.