Dense identifiers for audited coverage summaries

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries00 : Array PatternSummary

Shallow PatternSummary group 0.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries01 : Array PatternSummary

Shallow PatternSummary group 1.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries02 : Array PatternSummary

Shallow PatternSummary group 2.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries03 : Array PatternSummary

Shallow PatternSummary group 3.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries04 : Array PatternSummary

Shallow PatternSummary group 4.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries05 : Array PatternSummary

Shallow PatternSummary group 5.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries06 : Array PatternSummary

Shallow PatternSummary group 6.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries07 : Array PatternSummary

Shallow PatternSummary group 7.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries08 : Array PatternSummary

Shallow PatternSummary group 8.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries09 : Array PatternSummary

Shallow PatternSummary group 9.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries10 : Array PatternSummary

Shallow PatternSummary group 10.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries11 : Array PatternSummary

Shallow PatternSummary group 11.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries12 : Array PatternSummary

Shallow PatternSummary group 12.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries13 : Array PatternSummary

Shallow PatternSummary group 13.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries14 : Array PatternSummary

Shallow PatternSummary group 14.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries15 : Array PatternSummary

Shallow PatternSummary group 15.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries16 : Array PatternSummary

Shallow PatternSummary group 16.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries17 : Array PatternSummary

Shallow PatternSummary group 17.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries18 : Array PatternSummary

Shallow PatternSummary group 18.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries19 : Array PatternSummary

Shallow PatternSummary group 19.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries20 : Array PatternSummary

Shallow PatternSummary group 20.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaries21 : Array PatternSummary

Shallow PatternSummary group 21.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries00 : Array HardSummary

Shallow HardSummary group 0.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries01 : Array HardSummary

Shallow HardSummary group 1.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries02 : Array HardSummary

Shallow HardSummary group 2.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries03 : Array HardSummary

Shallow HardSummary group 3.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries04 : Array HardSummary

Shallow HardSummary group 4.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries05 : Array HardSummary

Shallow HardSummary group 5.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries06 : Array HardSummary

Shallow HardSummary group 6.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries07 : Array HardSummary

Shallow HardSummary group 7.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries08 : Array HardSummary

Shallow HardSummary group 8.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries09 : Array HardSummary

Shallow HardSummary group 9.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries10 : Array HardSummary

Shallow HardSummary group 10.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries11 : Array HardSummary

Shallow HardSummary group 11.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries12 : Array HardSummary

Shallow HardSummary group 12.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries13 : Array HardSummary

Shallow HardSummary group 13.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries14 : Array HardSummary

Shallow HardSummary group 14.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries15 : Array HardSummary

Shallow HardSummary group 15.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaries16 : Array HardSummary

Shallow HardSummary group 16.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaryGroups : Array (Array PatternSummary)

Pattern summaries indexed by compact certificate identifier.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaryGroups : Array (Array HardSummary)

Exact summaries indexed by compact certificate identifier.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaryCount : ℕ

Number of compact pattern-summary identifiers.

Equations

• Erdos97Octagon.RawIncidence.StaticDirectCoverage.densePatternSummaryCount = 1361

def Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaryCount : ℕ

Number of compact exact-summary identifiers.

Equations

• Erdos97Octagon.RawIncidence.StaticDirectCoverage.denseHardSummaryCount = 1088