Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries08_canonical : denseHardSummaries08.toList.all hardSummaryCanonicalB = true

Dense hard summary group 8 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries09_canonical : denseHardSummaries09.toList.all hardSummaryCanonicalB = true

Dense hard summary group 9 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries10_canonical : denseHardSummaries10.toList.all hardSummaryCanonicalB = true

Dense hard summary group 10 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries11_canonical : denseHardSummaries11.toList.all hardSummaryCanonicalB = true

Dense hard summary group 11 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries12_canonical : denseHardSummaries12.toList.all hardSummaryCanonicalB = true

Dense hard summary group 12 agrees with canonical audited data.