Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch007.
• GerverSofa.KernelOnly.PartE.Certificates.Batch023.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0011 : AngleCell

Subcell 0011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0012 : AngleCell

Subcell 0012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0013 : AngleCell

Subcell 0013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0020 : AngleCell

Subcell 0020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0021 : AngleCell

Subcell 0021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0022 : AngleCell

Subcell 0022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0023 : AngleCell

Subcell 0023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0030 : AngleCell

Subcell 0030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0031 : AngleCell

Subcell 0031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0032 : AngleCell

Subcell 0032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0033 : AngleCell

Subcell 0033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell0100 : AngleCell

Subcell 0100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112313 : AngleCell

Subcell 00112313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112320 : AngleCell

Subcell 00112320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112321 : AngleCell

Subcell 00112321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112322 : AngleCell

Subcell 00112322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112323 : AngleCell

Subcell 00112323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112330 : AngleCell

Subcell 00112330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112331 : AngleCell

Subcell 00112331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112332 : AngleCell

Subcell 00112332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00112333 : AngleCell

Subcell 00112333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113020 : AngleCell

Subcell 00113020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113021 : AngleCell

Subcell 00113021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113022 : AngleCell

Subcell 00113022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113023 : AngleCell

Subcell 00113023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113030 : AngleCell

Subcell 00113030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113031 : AngleCell

Subcell 00113031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113032 : AngleCell

Subcell 00113032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113033 : AngleCell

Subcell 00113033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113120 : AngleCell

Subcell 00113120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113121 : AngleCell

Subcell 00113121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113122 : AngleCell

Subcell 00113122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113123 : AngleCell

Subcell 00113123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113130 : AngleCell

Subcell 00113130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113131 : AngleCell

Subcell 00113131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113132 : AngleCell

Subcell 00113132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113133 : AngleCell

Subcell 00113133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113200 : AngleCell

Subcell 00113200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113201 : AngleCell

Subcell 00113201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113202 : AngleCell

Subcell 00113202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113203 : AngleCell

Subcell 00113203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113210 : AngleCell

Subcell 00113210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113211 : AngleCell

Subcell 00113211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113212 : AngleCell

Subcell 00113212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113213 : AngleCell

Subcell 00113213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113220 : AngleCell

Subcell 00113220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113221 : AngleCell

Subcell 00113221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113222 : AngleCell

Subcell 00113222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113223 : AngleCell

Subcell 00113223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113230 : AngleCell

Subcell 00113230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113231 : AngleCell

Subcell 00113231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113232 : AngleCell

Subcell 00113232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113233 : AngleCell

Subcell 00113233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113300 : AngleCell

Subcell 00113300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113301 : AngleCell

Subcell 00113301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113302 : AngleCell

Subcell 00113302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113303 : AngleCell

Subcell 00113303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113310 : AngleCell

Subcell 00113310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113311 : AngleCell

Subcell 00113311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113312 : AngleCell

Subcell 00113312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113313 : AngleCell

Subcell 00113313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113320 : AngleCell

Subcell 00113320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113321 : AngleCell

Subcell 00113321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113322 : AngleCell

Subcell 00113322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113323 : AngleCell

Subcell 00113323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113330 : AngleCell

Subcell 00113330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113331 : AngleCell

Subcell 00113331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113332 : AngleCell

Subcell 00113332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell00113333 : AngleCell

Subcell 00113333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002020 : AngleCell

Subcell 01002020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002021 : AngleCell

Subcell 01002021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002022 : AngleCell

Subcell 01002022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002023 : AngleCell

Subcell 01002023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002030 : AngleCell

Subcell 01002030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002031 : AngleCell

Subcell 01002031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002032 : AngleCell

Subcell 01002032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002033 : AngleCell

Subcell 01002033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002120 : AngleCell

Subcell 01002120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002121 : AngleCell

Subcell 01002121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002122 : AngleCell

Subcell 01002122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002123 : AngleCell

Subcell 01002123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002130 : AngleCell

Subcell 01002130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002131 : AngleCell

Subcell 01002131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002132 : AngleCell

Subcell 01002132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002133 : AngleCell

Subcell 01002133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002200 : AngleCell

Subcell 01002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002201 : AngleCell

Subcell 01002201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002202 : AngleCell

Subcell 01002202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002203 : AngleCell

Subcell 01002203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002210 : AngleCell

Subcell 01002210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002211 : AngleCell

Subcell 01002211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002212 : AngleCell

Subcell 01002212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002213 : AngleCell

Subcell 01002213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002220 : AngleCell

Subcell 01002220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002221 : AngleCell

Subcell 01002221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002222 : AngleCell

Subcell 01002222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002223 : AngleCell

Subcell 01002223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002230 : AngleCell

Subcell 01002230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002231 : AngleCell

Subcell 01002231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002232 : AngleCell

Subcell 01002232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002233 : AngleCell

Subcell 01002233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002300 : AngleCell

Subcell 01002300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002301 : AngleCell

Subcell 01002301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002302 : AngleCell

Subcell 01002302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002303 : AngleCell

Subcell 01002303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002310 : AngleCell

Subcell 01002310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002311 : AngleCell

Subcell 01002311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002312 : AngleCell

Subcell 01002312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002313 : AngleCell

Subcell 01002313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002320 : AngleCell

Subcell 01002320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002321 : AngleCell

Subcell 01002321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002322 : AngleCell

Subcell 01002322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002323 : AngleCell

Subcell 01002323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002330 : AngleCell

Subcell 01002330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002331 : AngleCell

Subcell 01002331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002332 : AngleCell

Subcell 01002332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01002333 : AngleCell

Subcell 01002333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003020 : AngleCell

Subcell 01003020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003021 : AngleCell

Subcell 01003021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003022 : AngleCell

Subcell 01003022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003023 : AngleCell

Subcell 01003023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003030 : AngleCell

Subcell 01003030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003031 : AngleCell

Subcell 01003031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003032 : AngleCell

Subcell 01003032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003033 : AngleCell

Subcell 01003033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003120 : AngleCell

Subcell 01003120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003121 : AngleCell

Subcell 01003121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003122 : AngleCell

Subcell 01003122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003123 : AngleCell

Subcell 01003123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003130 : AngleCell

Subcell 01003130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003131 : AngleCell

Subcell 01003131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003132 : AngleCell

Subcell 01003132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003133 : AngleCell

Subcell 01003133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003200 : AngleCell

Subcell 01003200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003201 : AngleCell

Subcell 01003201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003202 : AngleCell

Subcell 01003202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003203 : AngleCell

Subcell 01003203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003210 : AngleCell

Subcell 01003210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003211 : AngleCell

Subcell 01003211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003212 : AngleCell

Subcell 01003212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003213 : AngleCell

Subcell 01003213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003220 : AngleCell

Subcell 01003220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003221 : AngleCell

Subcell 01003221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003222 : AngleCell

Subcell 01003222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003223 : AngleCell

Subcell 01003223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003230 : AngleCell

Subcell 01003230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003231 : AngleCell

Subcell 01003231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003232 : AngleCell

Subcell 01003232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003233 : AngleCell

Subcell 01003233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003300 : AngleCell

Subcell 01003300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003301 : AngleCell

Subcell 01003301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells502d119e99.thetaAboveCell01003302 : AngleCell

Subcell 01003302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell0000 : AngleCell

Subcell 0000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell00002300 : AngleCell

Subcell 00002300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell00002301 : AngleCell

Subcell 00002301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell00002310 : AngleCell

Subcell 00002310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002000 : AngleCell

Subcell 000023002000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002001 : AngleCell

Subcell 000023002001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002002 : AngleCell

Subcell 000023002002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002003 : AngleCell

Subcell 000023002003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002010 : AngleCell

Subcell 000023002010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002011 : AngleCell

Subcell 000023002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002012 : AngleCell

Subcell 000023002012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002013 : AngleCell

Subcell 000023002013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002030 : AngleCell

Subcell 000023002030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002031 : AngleCell

Subcell 000023002031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002032 : AngleCell

Subcell 000023002032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002033 : AngleCell

Subcell 000023002033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002020 : AngleCell

Subcell 000023002020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002021 : AngleCell

Subcell 000023002021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002022 : AngleCell

Subcell 000023002022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002023 : AngleCell

Subcell 000023002023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002100 : AngleCell

Subcell 000023002100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002101 : AngleCell

Subcell 000023002101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002102 : AngleCell

Subcell 000023002102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002103 : AngleCell

Subcell 000023002103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002110 : AngleCell

Subcell 000023002110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002111 : AngleCell

Subcell 000023002111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002112 : AngleCell

Subcell 000023002112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002113 : AngleCell

Subcell 000023002113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002120 : AngleCell

Subcell 000023002120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002121 : AngleCell

Subcell 000023002121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002122 : AngleCell

Subcell 000023002122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002123 : AngleCell

Subcell 000023002123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002130 : AngleCell

Subcell 000023002130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002131 : AngleCell

Subcell 000023002131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002132 : AngleCell

Subcell 000023002132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023002133 : AngleCell

Subcell 000023002133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003000 : AngleCell

Subcell 000023003000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003001 : AngleCell

Subcell 000023003001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003002 : AngleCell

Subcell 000023003002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003003 : AngleCell

Subcell 000023003003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003010 : AngleCell

Subcell 000023003010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003011 : AngleCell

Subcell 000023003011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003012 : AngleCell

Subcell 000023003012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003013 : AngleCell

Subcell 000023003013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003020 : AngleCell

Subcell 000023003020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003021 : AngleCell

Subcell 000023003021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003022 : AngleCell

Subcell 000023003022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003023 : AngleCell

Subcell 000023003023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003030 : AngleCell

Subcell 000023003030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003031 : AngleCell

Subcell 000023003031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003032 : AngleCell

Subcell 000023003032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003033 : AngleCell

Subcell 000023003033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003100 : AngleCell

Subcell 000023003100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003101 : AngleCell

Subcell 000023003101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003102 : AngleCell

Subcell 000023003102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003103 : AngleCell

Subcell 000023003103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003110 : AngleCell

Subcell 000023003110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003111 : AngleCell

Subcell 000023003111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003112 : AngleCell

Subcell 000023003112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003113 : AngleCell

Subcell 000023003113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003120 : AngleCell

Subcell 000023003120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003121 : AngleCell

Subcell 000023003121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003122 : AngleCell

Subcell 000023003122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003123 : AngleCell

Subcell 000023003123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003130 : AngleCell

Subcell 000023003130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003131 : AngleCell

Subcell 000023003131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003132 : AngleCell

Subcell 000023003132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023003133 : AngleCell

Subcell 000023003133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010220 : AngleCell

Subcell 000023010220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010221 : AngleCell

Subcell 000023010221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010222 : AngleCell

Subcell 000023010222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010223 : AngleCell

Subcell 000023010223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010230 : AngleCell

Subcell 000023010230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010231 : AngleCell

Subcell 000023010231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010232 : AngleCell

Subcell 000023010232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010233 : AngleCell

Subcell 000023010233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010320 : AngleCell

Subcell 000023010320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010321 : AngleCell

Subcell 000023010321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010322 : AngleCell

Subcell 000023010322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010323 : AngleCell

Subcell 000023010323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010330 : AngleCell

Subcell 000023010330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010331 : AngleCell

Subcell 000023010331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010332 : AngleCell

Subcell 000023010332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023010333 : AngleCell

Subcell 000023010333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011220 : AngleCell

Subcell 000023011220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011221 : AngleCell

Subcell 000023011221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011222 : AngleCell

Subcell 000023011222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011223 : AngleCell

Subcell 000023011223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011230 : AngleCell

Subcell 000023011230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011231 : AngleCell

Subcell 000023011231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011232 : AngleCell

Subcell 000023011232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011233 : AngleCell

Subcell 000023011233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011320 : AngleCell

Subcell 000023011320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011321 : AngleCell

Subcell 000023011321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011322 : AngleCell

Subcell 000023011322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011323 : AngleCell

Subcell 000023011323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011330 : AngleCell

Subcell 000023011330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011331 : AngleCell

Subcell 000023011331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011332 : AngleCell

Subcell 000023011332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023011333 : AngleCell

Subcell 000023011333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012000 : AngleCell

Subcell 000023012000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012001 : AngleCell

Subcell 000023012001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012002 : AngleCell

Subcell 000023012002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012003 : AngleCell

Subcell 000023012003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012010 : AngleCell

Subcell 000023012010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012011 : AngleCell

Subcell 000023012011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012012 : AngleCell

Subcell 000023012012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012013 : AngleCell

Subcell 000023012013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012020 : AngleCell

Subcell 000023012020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012021 : AngleCell

Subcell 000023012021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012022 : AngleCell

Subcell 000023012022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012023 : AngleCell

Subcell 000023012023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012030 : AngleCell

Subcell 000023012030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012031 : AngleCell

Subcell 000023012031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012032 : AngleCell

Subcell 000023012032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012033 : AngleCell

Subcell 000023012033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012100 : AngleCell

Subcell 000023012100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012101 : AngleCell

Subcell 000023012101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012102 : AngleCell

Subcell 000023012102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012103 : AngleCell

Subcell 000023012103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012110 : AngleCell

Subcell 000023012110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012111 : AngleCell

Subcell 000023012111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012112 : AngleCell

Subcell 000023012112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012113 : AngleCell

Subcell 000023012113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012120 : AngleCell

Subcell 000023012120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012121 : AngleCell

Subcell 000023012121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012122 : AngleCell

Subcell 000023012122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012123 : AngleCell

Subcell 000023012123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012130 : AngleCell

Subcell 000023012130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012131 : AngleCell

Subcell 000023012131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012132 : AngleCell

Subcell 000023012132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023012133 : AngleCell

Subcell 000023012133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013000 : AngleCell

Subcell 000023013000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013001 : AngleCell

Subcell 000023013001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013002 : AngleCell

Subcell 000023013002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013003 : AngleCell

Subcell 000023013003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013010 : AngleCell

Subcell 000023013010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013011 : AngleCell

Subcell 000023013011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013012 : AngleCell

Subcell 000023013012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013013 : AngleCell

Subcell 000023013013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013020 : AngleCell

Subcell 000023013020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013021 : AngleCell

Subcell 000023013021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013022 : AngleCell

Subcell 000023013022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013023 : AngleCell

Subcell 000023013023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013030 : AngleCell

Subcell 000023013030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013031 : AngleCell

Subcell 000023013031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013032 : AngleCell

Subcell 000023013032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013033 : AngleCell

Subcell 000023013033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013100 : AngleCell

Subcell 000023013100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013101 : AngleCell

Subcell 000023013101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013102 : AngleCell

Subcell 000023013102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013103 : AngleCell

Subcell 000023013103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013110 : AngleCell

Subcell 000023013110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013111 : AngleCell

Subcell 000023013111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013112 : AngleCell

Subcell 000023013112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013113 : AngleCell

Subcell 000023013113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013120 : AngleCell

Subcell 000023013120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013121 : AngleCell

Subcell 000023013121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013122 : AngleCell

Subcell 000023013122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013123 : AngleCell

Subcell 000023013123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013130 : AngleCell

Subcell 000023013130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013131 : AngleCell

Subcell 000023013131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013132 : AngleCell

Subcell 000023013132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023013133 : AngleCell

Subcell 000023013133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100220 : AngleCell

Subcell 000023100220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100221 : AngleCell

Subcell 000023100221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100222 : AngleCell

Subcell 000023100222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100223 : AngleCell

Subcell 000023100223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100230 : AngleCell

Subcell 000023100230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100231 : AngleCell

Subcell 000023100231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100232 : AngleCell

Subcell 000023100232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100233 : AngleCell

Subcell 000023100233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100320 : AngleCell

Subcell 000023100320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100321 : AngleCell

Subcell 000023100321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100322 : AngleCell

Subcell 000023100322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100323 : AngleCell

Subcell 000023100323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100330 : AngleCell

Subcell 000023100330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100331 : AngleCell

Subcell 000023100331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100332 : AngleCell

Subcell 000023100332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023100333 : AngleCell

Subcell 000023100333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101220 : AngleCell

Subcell 000023101220 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101221 : AngleCell

Subcell 000023101221 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101222 : AngleCell

Subcell 000023101222 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101223 : AngleCell

Subcell 000023101223 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101230 : AngleCell

Subcell 000023101230 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101231 : AngleCell

Subcell 000023101231 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101232 : AngleCell

Subcell 000023101232 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101233 : AngleCell

Subcell 000023101233 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101320 : AngleCell

Subcell 000023101320 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101321 : AngleCell

Subcell 000023101321 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101322 : AngleCell

Subcell 000023101322 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101323 : AngleCell

Subcell 000023101323 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101330 : AngleCell

Subcell 000023101330 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101331 : AngleCell

Subcell 000023101331 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101332 : AngleCell

Subcell 000023101332 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells66bed457b5.thetaAboveCell000023101333 : AngleCell

Subcell 000023101333 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

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

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC5TerminalBatchT153600006.

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001123133 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00112313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112320 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112320 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112321 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112321 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112322 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112323 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112330 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112330 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112331 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112331 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112332 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00112333 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00112333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011300 : adaptiveCoverCheck 12 (childLL (childLL (childHH CertificateCells502d119e99.thetaAboveCell0011))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011301 : adaptiveCoverCheck 12 (childLH (childLL (childHH CertificateCells502d119e99.thetaAboveCell0011))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113020 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113020 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113021 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113021 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113022 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113022 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113023 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113023 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113030 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113030 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113031 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113031 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113032 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113032 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113033 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113033 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011310 : adaptiveCoverCheck 12 (childLL (childLH (childHH CertificateCells502d119e99.thetaAboveCell0011))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011311 : adaptiveCoverCheck 12 (childLH (childLH (childHH CertificateCells502d119e99.thetaAboveCell0011))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113120 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113120 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113121 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113121 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113122 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113122 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113123 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113123 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113130 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113130 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113131 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113131 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113132 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113132 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113133 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113133 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132022 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132023 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011320313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132032 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132033 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132100 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132101 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132110 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132111 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132122 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132123 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011321313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132132 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001132133 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113220 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113220 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113221 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113221 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113222 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113223 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113230 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113230 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113231 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113231 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113232 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113233 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133022 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133023 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011330313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133032 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133033 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133100 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113310) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133101 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113310) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133110 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell00113311) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133111 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell00113311) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell00113311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell00113311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell00113311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell00113311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133122 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133123 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell00113313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell00113313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell00113313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0011331313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell00113313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133132 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell00113313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001133133 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell00113313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113320 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113320 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113321 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113321 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113322 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113323 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113330 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113330 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113331 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113331 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113332 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00113333 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell00113333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012000 : adaptiveCoverCheck 12 (childLL (childLL (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012001 : adaptiveCoverCheck 12 (childLH (childLL (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012002 : adaptiveCoverCheck 12 (childHL (childLL (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012003 : adaptiveCoverCheck 12 (childHH (childLL (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012010 : adaptiveCoverCheck 12 (childLL (childLH (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012011 : adaptiveCoverCheck 12 (childLH (childLH (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012012 : adaptiveCoverCheck 12 (childHL (childLH (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012013 : adaptiveCoverCheck 12 (childHH (childLH (childLL CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001202 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells502d119e99.thetaAboveCell0012)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001203 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells502d119e99.thetaAboveCell0012)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012100 : adaptiveCoverCheck 12 (childLL (childLL (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012101 : adaptiveCoverCheck 12 (childLH (childLL (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012102 : adaptiveCoverCheck 12 (childHL (childLL (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012103 : adaptiveCoverCheck 12 (childHH (childLL (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012110 : adaptiveCoverCheck 12 (childLL (childLH (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012111 : adaptiveCoverCheck 12 (childLH (childLH (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012112 : adaptiveCoverCheck 12 (childHL (childLH (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0012113 : adaptiveCoverCheck 12 (childHH (childLH (childLH CertificateCells502d119e99.thetaAboveCell0012))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001212 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells502d119e99.thetaAboveCell0012)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001213 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells502d119e99.thetaAboveCell0012)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00122 : adaptiveCoverCheck 14 (childHL CertificateCells502d119e99.thetaAboveCell0012) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00123 : adaptiveCoverCheck 14 (childHH CertificateCells502d119e99.thetaAboveCell0012) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013000 : adaptiveCoverCheck 12 (childLL (childLL (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013001 : adaptiveCoverCheck 12 (childLH (childLL (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013002 : adaptiveCoverCheck 12 (childHL (childLL (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013003 : adaptiveCoverCheck 12 (childHH (childLL (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013010 : adaptiveCoverCheck 12 (childLL (childLH (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013011 : adaptiveCoverCheck 12 (childLH (childLH (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013012 : adaptiveCoverCheck 12 (childHL (childLH (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013013 : adaptiveCoverCheck 12 (childHH (childLH (childLL CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001302 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells502d119e99.thetaAboveCell0013)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001303 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells502d119e99.thetaAboveCell0013)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013100 : adaptiveCoverCheck 12 (childLL (childLL (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013101 : adaptiveCoverCheck 12 (childLH (childLL (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013102 : adaptiveCoverCheck 12 (childHL (childLL (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013103 : adaptiveCoverCheck 12 (childHH (childLL (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013110 : adaptiveCoverCheck 12 (childLL (childLH (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013111 : adaptiveCoverCheck 12 (childLH (childLH (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013112 : adaptiveCoverCheck 12 (childHL (childLH (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0013113 : adaptiveCoverCheck 12 (childHH (childLH (childLH CertificateCells502d119e99.thetaAboveCell0013))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001312 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells502d119e99.thetaAboveCell0013)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf001313 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells502d119e99.thetaAboveCell0013)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00132 : adaptiveCoverCheck 14 (childHL CertificateCells502d119e99.thetaAboveCell0013) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf00133 : adaptiveCoverCheck 14 (childHH CertificateCells502d119e99.thetaAboveCell0013) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0020 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0020 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0021 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0021 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0022 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0022 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0023 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0023 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0030 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0030 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0031 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0031 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0032 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0032 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0033 : adaptiveCoverCheck 15 CertificateCells502d119e99.thetaAboveCell0033 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010000 : adaptiveCoverCheck 13 (childLL (childLL CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010001 : adaptiveCoverCheck 13 (childLH (childLL CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010002 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010003 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010010 : adaptiveCoverCheck 13 (childLL (childLH CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010011 : adaptiveCoverCheck 13 (childLH (childLH CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010012 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010013 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells502d119e99.thetaAboveCell0100)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100200 : adaptiveCoverCheck 12 (childLL (childLL (childHL CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100201 : adaptiveCoverCheck 12 (childLH (childLL (childHL CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002020 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002020 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002021 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002021 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002022 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002022 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002023 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002023 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002030 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002030 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002031 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002031 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002032 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002032 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002033 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002033 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100210 : adaptiveCoverCheck 12 (childLL (childLH (childHL CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100211 : adaptiveCoverCheck 12 (childLH (childLH (childHL CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002120 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002120 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002121 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002121 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002122 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002122 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002123 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002123 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002130 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002130 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002131 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002131 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002132 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002132 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002133 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002133 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100220203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022022 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell01002202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022023 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell01002202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022032 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell01002203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022033 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell01002203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022100 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022101 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022110 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022111 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022122 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell01002212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022123 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell01002212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100221313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022132 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell01002213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010022133 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell01002213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002220 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002220 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002221 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002221 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002222 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002223 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002230 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002230 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002231 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002231 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002232 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002233 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023022 : adaptiveCoverCheck 10 (childHL CertificateCells502d119e99.thetaAboveCell01002302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023023 : adaptiveCoverCheck 10 (childHH CertificateCells502d119e99.thetaAboveCell01002302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230320 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230321 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230322 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230323 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230330 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230331 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230332 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100230333 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01002303)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023100 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002310) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023101 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002310) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023110 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01002311) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010023111 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01002311) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231200 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231201 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231210 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231211 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231220 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231221 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231222 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231223 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231230 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231231 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231232 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231233 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01002312)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231300 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231301 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231310 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231311 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231320 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231321 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231322 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231323 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231330 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231331 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231332 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100231333 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01002313)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002320 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002320 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002321 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002321 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002322 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002323 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002330 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002330 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002331 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002331 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002332 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01002333 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01002333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100300 : adaptiveCoverCheck 12 (childLL (childLL (childHH CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100301 : adaptiveCoverCheck 12 (childLH (childLL (childHH CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003020 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003020 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003021 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003021 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003022 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003022 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003023 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003023 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003030 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003030 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003031 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003031 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003032 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003032 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003033 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003033 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100310 : adaptiveCoverCheck 12 (childLL (childLH (childHH CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100311 : adaptiveCoverCheck 12 (childLH (childLH (childHH CertificateCells502d119e99.thetaAboveCell0100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003120 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003120 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003121 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003121 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003122 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003122 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003123 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003123 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003130 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003130 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003131 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003131 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003132 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003132 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003133 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003133 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003200) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003201) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320200 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320201 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320210 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320211 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320220 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320221 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320222 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320223 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320230 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320231 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320232 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320233 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003202)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320300 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320301 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320310 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320311 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320320 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320321 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320322 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320323 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320330 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320331 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320332 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100320333 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003203)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032100 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032101 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003210) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032110 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010032111 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003211) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321200 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321201 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321210 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321211 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321220 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321221 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321222 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321223 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321230 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321231 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321232 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321233 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003212)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321300 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321301 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321302 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321303 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321310 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321311 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321312 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321313 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321320 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321321 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321322 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321323 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321330 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321331 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321332 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100321333 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003213)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003220 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003220 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003221 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003221 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003222 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003223 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003230 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003230 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003231 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003231 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003232 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf01003233 : adaptiveCoverCheck 11 CertificateCells502d119e99.thetaAboveCell01003233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010033000 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010033001 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003300) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010033010 : adaptiveCoverCheck 10 (childLL CertificateCells502d119e99.thetaAboveCell01003301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf010033011 : adaptiveCoverCheck 10 (childLH CertificateCells502d119e99.thetaAboveCell01003301) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330200 : adaptiveCoverCheck 9 (childLL (childLL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330201 : adaptiveCoverCheck 9 (childLH (childLL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330202 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330203 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330210 : adaptiveCoverCheck 9 (childLL (childLH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330211 : adaptiveCoverCheck 9 (childLH (childLH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330212 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330213 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330220 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330221 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330222 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330223 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330230 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330231 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330232 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells502d119e99.thetaAboveCell01003302)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0100330233 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells502d119e99.thetaAboveCell01003302)) = true

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC6ProofBatch6018780a0c691fa2.

E24KC6 explicit proof-producing certificate batch.

theorem GerverSofa.PartE.cover_subtree_6415e703c807 : adaptiveCoverCheck 6 (childHL CertificateCells66bed457b5.thetaAboveCell000023002000) = true

theorem GerverSofa.PartE.cover_subtree_22d363d7acf8 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002000 = true

theorem GerverSofa.PartE.cover_subtree_549010c79ddd : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002001 = true

theorem GerverSofa.PartE.cover_subtree_cee31392fc88 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002002 = true

theorem GerverSofa.PartE.cover_subtree_6e289b6e590a : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002003 = true

theorem GerverSofa.PartE.cover_subtree_682a52ae1e8e : adaptiveCoverCheck 8 (childLL (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_f7dd1bf145ad : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002010 = true

theorem GerverSofa.PartE.cover_subtree_ef225adab279 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002011 = true

theorem GerverSofa.PartE.cover_subtree_8107e804592b : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002012 = true

theorem GerverSofa.PartE.cover_subtree_ce4b7ef4c4ef : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002013 = true

theorem GerverSofa.PartE.cover_subtree_1c0e76b133f5 : adaptiveCoverCheck 8 (childLH (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_eef2c1bd32f7 : adaptiveCoverCheck 8 (childHH (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.cover_subtree_681c28bf7d84 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002100 = true

theorem GerverSofa.PartE.cover_subtree_779aeebb5c73 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002101 = true

theorem GerverSofa.PartE.cover_subtree_ef8a630852fd : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002102 = true

theorem GerverSofa.PartE.cover_subtree_315ebd923bb4 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002103 = true

theorem GerverSofa.PartE.cover_subtree_27e55c8a3d8e : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_6d8f95e98e1d : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002110 = true

theorem GerverSofa.PartE.cover_subtree_d2993040295e : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002111 = true

theorem GerverSofa.PartE.cover_subtree_eb2399542077 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002112 = true

theorem GerverSofa.PartE.cover_subtree_da276d5ec562 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023002113 = true

theorem GerverSofa.PartE.cover_subtree_0fc1de09da1d : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_b179888799ba : adaptiveCoverCheck 8 (childHL (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_dfa114599465 : adaptiveCoverCheck 8 (childHH (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.cover_subtree_889f5da0dfde : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003000 = true

theorem GerverSofa.PartE.cover_subtree_a942590dff68 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003001 = true

theorem GerverSofa.PartE.cover_subtree_34efc5e5d537 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003002 = true

theorem GerverSofa.PartE.cover_subtree_808bd571537c : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003003 = true

theorem GerverSofa.PartE.cover_subtree_d6772732d30e : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_32b068109428 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003010 = true

theorem GerverSofa.PartE.cover_subtree_a0bb05b8d428 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003011 = true

theorem GerverSofa.PartE.cover_subtree_70a4687b5e1a : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003012 = true

theorem GerverSofa.PartE.cover_subtree_4ff3df89e6e6 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003013 = true

theorem GerverSofa.PartE.cover_subtree_a0bd78863117 : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_f223ac82735f : adaptiveCoverCheck 8 (childHL (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_e57b220fb2b2 : adaptiveCoverCheck 8 (childHH (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.cover_subtree_6632af055f6f : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003100 = true

theorem GerverSofa.PartE.cover_subtree_0ed63a4c90ba : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003101 = true

theorem GerverSofa.PartE.cover_subtree_540084271e05 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003102 = true

theorem GerverSofa.PartE.cover_subtree_17438f0398bf : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003103 = true

theorem GerverSofa.PartE.cover_subtree_694b687a682b : adaptiveCoverCheck 8 (childLL (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_58d260377aaf : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003110 = true

theorem GerverSofa.PartE.cover_subtree_914c54a898af : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003111 = true

theorem GerverSofa.PartE.cover_subtree_338e908ef3ba : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003112 = true

theorem GerverSofa.PartE.cover_subtree_81566ac30c71 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023003113 = true

theorem GerverSofa.PartE.cover_subtree_d79efead209d : adaptiveCoverCheck 8 (childLH (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_9f7611e92013 : adaptiveCoverCheck 8 (childHL (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.cover_subtree_5a6e4c62f563 : adaptiveCoverCheck 8 (childHH (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002300))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells66bed457b5.thetaAboveCell00002300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230102 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230103 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230112 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230113 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.cover_subtree_97a6e5a0f9c0 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012000 = true

theorem GerverSofa.PartE.cover_subtree_b0cb05399587 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012001 = true

theorem GerverSofa.PartE.cover_subtree_ec160a01c291 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012002 = true

theorem GerverSofa.PartE.cover_subtree_01b50c333c69 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012003 = true

theorem GerverSofa.PartE.cover_subtree_672879a40a99 : adaptiveCoverCheck 8 (childLL (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_d4f66ebe8c34 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012010 = true

theorem GerverSofa.PartE.cover_subtree_2daeb5f0aede : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012011 = true

theorem GerverSofa.PartE.cover_subtree_0a19cf9c168e : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012012 = true

theorem GerverSofa.PartE.cover_subtree_5397c7c8c770 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012013 = true

theorem GerverSofa.PartE.cover_subtree_857a1aa148c2 : adaptiveCoverCheck 8 (childLH (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_334f666b102f : adaptiveCoverCheck 8 (childHL (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_f871df99dda8 : adaptiveCoverCheck 8 (childHH (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.cover_subtree_82ae04dee4d4 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012100 = true

theorem GerverSofa.PartE.cover_subtree_e5b18c272c0b : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012101 = true

theorem GerverSofa.PartE.cover_subtree_9c247030adc1 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012102 = true

theorem GerverSofa.PartE.cover_subtree_058bb465c064 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012103 = true

theorem GerverSofa.PartE.cover_subtree_9278d082fba6 : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_8e71329f2820 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012110 = true

theorem GerverSofa.PartE.cover_subtree_31c6f84c8564 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012111 = true

theorem GerverSofa.PartE.cover_subtree_c08a134eb452 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012112 = true

theorem GerverSofa.PartE.cover_subtree_90cbd7801a03 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023012113 = true

theorem GerverSofa.PartE.cover_subtree_f310f207f337 : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_81898220a27c : adaptiveCoverCheck 8 (childHL (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_d001d1c55e17 : adaptiveCoverCheck 8 (childHH (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.cover_subtree_1956171ef0f4 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013000 = true

theorem GerverSofa.PartE.cover_subtree_d3d741223709 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013001 = true

theorem GerverSofa.PartE.cover_subtree_c4ce6eecc651 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013002 = true

theorem GerverSofa.PartE.cover_subtree_764c189c1428 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013003 = true

theorem GerverSofa.PartE.cover_subtree_d1b1d3400177 : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_7d1a2c16b724 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013010 = true

theorem GerverSofa.PartE.cover_subtree_7a802d18a6f2 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013011 = true

theorem GerverSofa.PartE.cover_subtree_7e8d1889716b : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013012 = true

theorem GerverSofa.PartE.cover_subtree_6291f06ec5a0 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013013 = true

theorem GerverSofa.PartE.cover_subtree_60b54bf255b1 : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_1e3ac8710eca : adaptiveCoverCheck 8 (childHL (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_7c913110e3c1 : adaptiveCoverCheck 8 (childHH (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.cover_subtree_45e055a15e46 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013100 = true

theorem GerverSofa.PartE.cover_subtree_027a6b743c2f : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013101 = true

theorem GerverSofa.PartE.cover_subtree_2814d469dde6 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013102 = true

theorem GerverSofa.PartE.cover_subtree_f25d3ae916f4 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013103 = true

theorem GerverSofa.PartE.cover_subtree_8f3c6cde6196 : adaptiveCoverCheck 8 (childLL (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_6d98447fe707 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013110 = true

theorem GerverSofa.PartE.cover_subtree_d1177bcdcb0d : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013111 = true

theorem GerverSofa.PartE.cover_subtree_6f6899221514 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013112 = true

theorem GerverSofa.PartE.cover_subtree_b4799a6c1d22 : adaptiveCoverCheck 7 CertificateCells66bed457b5.thetaAboveCell000023013113 = true

theorem GerverSofa.PartE.cover_subtree_adb76ba4b661 : adaptiveCoverCheck 8 (childLH (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_8b60b15919f9 : adaptiveCoverCheck 8 (childHL (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.cover_subtree_9d36c543bc7e : adaptiveCoverCheck 8 (childHH (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002301))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000230133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells66bed457b5.thetaAboveCell00002301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000231002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells66bed457b5.thetaAboveCell00002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000231003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells66bed457b5.thetaAboveCell00002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000231012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells66bed457b5.thetaAboveCell00002310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000231013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells66bed457b5.thetaAboveCell00002310)) = true