Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch018.
• GerverSofa.KernelOnly.PartE.Certificates.Batch044.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.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.CertificateCellsfa7ef730fc.thetaAboveCell00002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell000022003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030002313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030003313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030013313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030102313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030103313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030112313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsfa7ef730fc.thetaAboveCell0000220030113313 : AngleCell

Subcell 0000220030113313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5e16eb2f1b.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.CertificateCells5e16eb2f1b.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5e16eb2f1b.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb7fa51f50b.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.CertificateCellsb7fa51f50b.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb7fa51f50b.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd618452127.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.CertificateCellsd618452127.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd618452127.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells82d3525350.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.CertificateCells82d3525350.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells82d3525350.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells632f810978.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.CertificateCells632f810978.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells632f810978.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8174174.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.CertificateCells15b8174174.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8174174.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f25007fe8.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.CertificateCells1f25007fe8.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f25007fe8.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1e9acaa8be.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.CertificateCells1e9acaa8be.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1e9acaa8be.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells231d66ab0c.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.CertificateCells231d66ab0c.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells231d66ab0c.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2c11250698.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.CertificateCells2c11250698.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2c11250698.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3ce31f23ce.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.CertificateCells3ce31f23ce.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3ce31f23ce.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3c3d48c1eb.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.CertificateCells3c3d48c1eb.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3c3d48c1eb.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4d022b961f.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.CertificateCells4d022b961f.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4d022b961f.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9798c9c840.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.CertificateCells9798c9c840.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9798c9c840.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6832cee036.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.CertificateCells6832cee036.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6832cee036.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsab896aa443.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.CertificateCellsab896aa443.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsab896aa443.thetaAboveCell000022002011 : AngleCell

Subcell 000022002011 of the 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.E24KC6ProofBatch0bae0a82ed09fca0.

E24KC6 explicit proof-producing certificate batch.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell00002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell00002200)) = true

theorem GerverSofa.PartE.cover_subtree_98370144a0ae : adaptiveCoverCheck 6 (childLL CertificateCellsfa7ef730fc.thetaAboveCell000022003000) = true

theorem GerverSofa.PartE.cover_subtree_2b8c79c37576 : adaptiveCoverCheck 6 (childLH CertificateCellsfa7ef730fc.thetaAboveCell000022003000) = true

theorem GerverSofa.PartE.cover_subtree_c9f10be4f818 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_b44dc0179b82 : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_2d51606740be : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_84975093d7db : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_ba9d19bd9151 : adaptiveCoverCheck 5 (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_625b3384c249 : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_90e4b8e577d3 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_675556e82299 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_a828876ee758 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_ab8ac75e68d0 : adaptiveCoverCheck 5 (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_bdc92ad9349d : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_d20715622b71 : adaptiveCoverCheck 5 (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_b30ba9777925 : adaptiveCoverCheck 6 (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003000) = true

theorem GerverSofa.PartE.cover_subtree_ee2f6d25ebfc : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_a96993ac001b : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_7c880bebec81 : adaptiveCoverCheck 5 (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_cde3dc3c4679 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_026c8979d7e8 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000))) = true

theorem GerverSofa.PartE.cover_subtree_e9a5f301f08e : adaptiveCoverCheck 5 (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_6c8da8a57403 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_c7667f731e87 : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000)) = true

theorem GerverSofa.PartE.cover_subtree_d916df227547 : adaptiveCoverCheck 6 (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003000) = true

theorem GerverSofa.PartE.cover_subtree_df29b2bfe6c5 : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003000 = true

theorem GerverSofa.PartE.cover_subtree_b0fbdd86b439 : adaptiveCoverCheck 6 (childLL CertificateCellsfa7ef730fc.thetaAboveCell000022003001) = true

theorem GerverSofa.PartE.cover_subtree_f6d73cfc8f96 : adaptiveCoverCheck 6 (childLH CertificateCellsfa7ef730fc.thetaAboveCell000022003001) = true

theorem GerverSofa.PartE.cover_subtree_b01bf826b90b : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_97058acb92ef : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_6f0d223fa251 : adaptiveCoverCheck 5 (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_587871b3f6fc : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_665ba5a76616 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_17de4b0fb6aa : adaptiveCoverCheck 5 (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_2dc0f946809c : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_9ae7d1f286db : adaptiveCoverCheck 5 (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_6705ea0fc5a0 : adaptiveCoverCheck 6 (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003001) = true

theorem GerverSofa.PartE.cover_subtree_542c541386a0 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_95991c39b4ae : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_f11aed5a1b39 : adaptiveCoverCheck 5 (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_36cc60506fd2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_3db2622a8526 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001))) = true

theorem GerverSofa.PartE.cover_subtree_13cfd42cc1e7 : adaptiveCoverCheck 5 (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_49af2ce5bec1 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_8008b2d13d89 : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001)) = true

theorem GerverSofa.PartE.cover_subtree_bb781a080715 : adaptiveCoverCheck 6 (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003001) = true

theorem GerverSofa.PartE.cover_subtree_77cd353d9ac1 : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003001 = true

theorem GerverSofa.PartE.cover_subtree_728def59c89b : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003002 = true

theorem GerverSofa.PartE.cover_subtree_14ed04390cca : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003003 = true

theorem GerverSofa.PartE.cover_subtree_f2d4d32c5725 : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell00002200))) = true

theorem GerverSofa.PartE.cover_subtree_6de0f218ce5a : adaptiveCoverCheck 6 (childLL CertificateCellsfa7ef730fc.thetaAboveCell000022003010) = true

theorem GerverSofa.PartE.cover_subtree_09a87211ea0e : adaptiveCoverCheck 6 (childLH CertificateCellsfa7ef730fc.thetaAboveCell000022003010) = true

theorem GerverSofa.PartE.cover_subtree_1222a4bbaf46 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_f813068a0ab7 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_4a16ed9c24b8 : adaptiveCoverCheck 5 (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_f9b60e2c6701 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_ccf472fb2f11 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_7315e35a4c15 : adaptiveCoverCheck 5 (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_5d09bb0853a8 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_b82287a58720 : adaptiveCoverCheck 5 (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_8668bec96df6 : adaptiveCoverCheck 6 (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003010) = true

theorem GerverSofa.PartE.cover_subtree_f7763668c82e : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_8b7188d14517 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_7cb6055f8e6a : adaptiveCoverCheck 5 (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_d99c2055d296 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_a6b3a4adb113 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_b64accded341 : adaptiveCoverCheck 5 (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_cf9e35b58ea8 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_f351407ea291 : adaptiveCoverCheck 4 (childLL (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_0ec74c623b25 : adaptiveCoverCheck 4 (childLH (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010))) = true

theorem GerverSofa.PartE.cover_subtree_5b0864ff4bca : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010)) = true

theorem GerverSofa.PartE.cover_subtree_deeae114ec93 : adaptiveCoverCheck 6 (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003010) = true

theorem GerverSofa.PartE.cover_subtree_591cadb839e1 : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003010 = true

theorem GerverSofa.PartE.cover_subtree_30fdf3821f37 : adaptiveCoverCheck 6 (childLL CertificateCellsfa7ef730fc.thetaAboveCell000022003011) = true

theorem GerverSofa.PartE.cover_subtree_c04a84ca091e : adaptiveCoverCheck 6 (childLH CertificateCellsfa7ef730fc.thetaAboveCell000022003011) = true

theorem GerverSofa.PartE.cover_subtree_665b5a9e2762 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_5b6db01eac76 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_f193f827132f : adaptiveCoverCheck 5 (childLL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_852b952eb7f8 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_aaaee1c4417b : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_351a53bd4fd0 : adaptiveCoverCheck 5 (childLH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_272316153167 : adaptiveCoverCheck 4 (childLL (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_665ac8a38e4e : adaptiveCoverCheck 4 (childLH (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_53d66be9fa12 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_173035df5204 : adaptiveCoverCheck 4 (childLL (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_9b2979ef98c7 : adaptiveCoverCheck 4 (childLH (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_c1dab1b76c15 : adaptiveCoverCheck 5 (childHH (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_7f164fbda87a : adaptiveCoverCheck 6 (childHL CertificateCellsfa7ef730fc.thetaAboveCell000022003011) = true

theorem GerverSofa.PartE.cover_subtree_45ff29f15e49 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_2ca50076570c : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_6cee8ff9ebee : adaptiveCoverCheck 5 (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_ce8d22ab5f51 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_23abbb95182b : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_7ed35f4a5f6c : adaptiveCoverCheck 5 (childLH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_c767073053c7 : adaptiveCoverCheck 4 (childLL (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_76bb187113c3 : adaptiveCoverCheck 4 (childLH (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_9060e2b44288 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_15620f5ff6d8 : adaptiveCoverCheck 4 (childLL (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_4b9adb2a2d0e : adaptiveCoverCheck 4 (childLH (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011))) = true

theorem GerverSofa.PartE.cover_subtree_92d2cedcde3a : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011)) = true

theorem GerverSofa.PartE.cover_subtree_f164ca59fbf6 : adaptiveCoverCheck 6 (childHH CertificateCellsfa7ef730fc.thetaAboveCell000022003011) = true

theorem GerverSofa.PartE.cover_subtree_a889ceb5a59d : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003011 = true

theorem GerverSofa.PartE.cover_subtree_258ec0944afe : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003012 = true

theorem GerverSofa.PartE.cover_subtree_935d1978c95d : adaptiveCoverCheck 7 CertificateCellsfa7ef730fc.thetaAboveCell000022003013 = true

theorem GerverSofa.PartE.cover_subtree_53052734842a : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell00002200))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsfa7ef730fc.thetaAboveCell00002200)) = true

Gerver sofa dependency batch

• KernelOnly.PartE.ThetaAbove.Leaf00642.
• KernelOnly.PartE.ThetaAbove.Leaf00643.
• KernelOnly.PartE.ThetaAbove.Leaf00646.
• KernelOnly.PartE.ThetaAbove.Leaf00647.
• KernelOnly.PartE.ThetaAbove.Leaf00648.
• KernelOnly.PartE.ThetaAbove.Leaf00649.
• KernelOnly.PartE.ThetaAbove.Leaf00652.
• KernelOnly.PartE.ThetaAbove.Leaf00653.
• KernelOnly.PartE.ThetaAbove.Leaf00654.
• KernelOnly.PartE.ThetaAbove.Leaf00655.
• KernelOnly.PartE.ThetaAbove.Leaf00657.
• KernelOnly.PartE.ThetaAbove.Leaf00658.
• KernelOnly.PartE.ThetaAbove.Leaf00662.
• KernelOnly.PartE.ThetaAbove.Leaf00663.
• KernelOnly.PartE.ThetaAbove.Leaf00664.
• KernelOnly.PartE.ThetaAbove.Leaf00665.

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c0_6_00642

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c0 : adaptiveCoverCheck 6 (childLL CertificateCells5e16eb2f1b.thetaAboveCell000022002011) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c1_6_00643

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c1 : adaptiveCoverCheck 6 (childLH CertificateCellsb7fa51f50b.thetaAboveCell000022002011) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c0_c0_4_00646

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCellsd618452127.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c0_c1_4_00647

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCells82d3525350.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c0_c2_4_00648

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCells632f810978.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c0_c3_4_00649

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCells15b8174174.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c1_c0_4_00652

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c1_c0 : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCells1f25007fe8.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c1_c1_4_00653

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells1e9acaa8be.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c1_c2_4_00654

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells231d66ab0c.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c1_c3_4_00655

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells2c11250698.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c2_5_00657

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCells3ce31f23ce.thetaAboveCell000022002011)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c2_c3_5_00658

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells3c3d48c1eb.thetaAboveCell000022002011)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c3_c0_c0_4_00662

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c3_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCells4d022b961f.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c3_c0_c1_4_00663

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c3_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells9798c9c840.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c3_c0_c2_4_00664

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c3_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells6832cee036.thetaAboveCell000022002011))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c1_c3_c0_c3_4_00665

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c1_c3_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsab896aa443.thetaAboveCell000022002011))) = true