Canonical audits for dense certificate summaries

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries13_canonical : denseHardSummaries13.toList.all hardSummaryCanonicalB = true

Dense hard summary group 13 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries14_canonical : denseHardSummaries14.toList.all hardSummaryCanonicalB = true

Dense hard summary group 14 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries15_canonical : denseHardSummaries15.toList.all hardSummaryCanonicalB = true

Dense hard summary group 15 agrees with canonical audited data.

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries16_canonical : denseHardSummaries16.toList.all hardSummaryCanonicalB = true

Dense hard summary group 16 agrees with canonical audited data.