Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries03_canonical : denseHardSummaries03.toList.all hardSummaryCanonicalB = true

Dense hard summary group 3 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries04_canonical : denseHardSummaries04.toList.all hardSummaryCanonicalB = true

Dense hard summary group 4 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries05_canonical : denseHardSummaries05.toList.all hardSummaryCanonicalB = true

Dense hard summary group 5 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries06_canonical : denseHardSummaries06.toList.all hardSummaryCanonicalB = true

Dense hard summary group 6 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries07_canonical : denseHardSummaries07.toList.all hardSummaryCanonicalB = true

Dense hard summary group 7 agrees with canonical audited data.