Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch020.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.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.CertificateCellsea1d7ddac9.thetaAboveCell0001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell00012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033102313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033103313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033112313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000033113313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122002313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122003313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122013313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102113 : AngleCell

Subcell 000122102113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102120 : AngleCell

Subcell 000122102120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102121 : AngleCell

Subcell 000122102121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102122 : AngleCell

Subcell 000122102122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102123 : AngleCell

Subcell 000122102123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102130 : AngleCell

Subcell 000122102130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102131 : AngleCell

Subcell 000122102131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102132 : AngleCell

Subcell 000122102132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102133 : AngleCell

Subcell 000122102133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102200 : AngleCell

Subcell 000122102200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102201 : AngleCell

Subcell 000122102201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102202 : AngleCell

Subcell 000122102202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102203 : AngleCell

Subcell 000122102203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102210 : AngleCell

Subcell 000122102210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102211 : AngleCell

Subcell 000122102211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102212 : AngleCell

Subcell 000122102212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102213 : AngleCell

Subcell 000122102213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102300 : AngleCell

Subcell 000122102300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102301 : AngleCell

Subcell 000122102301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102302 : AngleCell

Subcell 000122102302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102303 : AngleCell

Subcell 000122102303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102310 : AngleCell

Subcell 000122102310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102311 : AngleCell

Subcell 000122102311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102312 : AngleCell

Subcell 000122102312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122102313 : AngleCell

Subcell 000122102313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103000 : AngleCell

Subcell 000122103000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103001 : AngleCell

Subcell 000122103001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103002 : AngleCell

Subcell 000122103002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103003 : AngleCell

Subcell 000122103003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103010 : AngleCell

Subcell 000122103010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103011 : AngleCell

Subcell 000122103011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103012 : AngleCell

Subcell 000122103012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103013 : AngleCell

Subcell 000122103013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103020 : AngleCell

Subcell 000122103020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103021 : AngleCell

Subcell 000122103021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103022 : AngleCell

Subcell 000122103022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103023 : AngleCell

Subcell 000122103023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103030 : AngleCell

Subcell 000122103030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103031 : AngleCell

Subcell 000122103031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103032 : AngleCell

Subcell 000122103032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103033 : AngleCell

Subcell 000122103033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103100 : AngleCell

Subcell 000122103100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103101 : AngleCell

Subcell 000122103101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103102 : AngleCell

Subcell 000122103102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103103 : AngleCell

Subcell 000122103103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103110 : AngleCell

Subcell 000122103110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103111 : AngleCell

Subcell 000122103111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103112 : AngleCell

Subcell 000122103112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103113 : AngleCell

Subcell 000122103113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103120 : AngleCell

Subcell 000122103120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103121 : AngleCell

Subcell 000122103121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103122 : AngleCell

Subcell 000122103122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103123 : AngleCell

Subcell 000122103123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103130 : AngleCell

Subcell 000122103130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103131 : AngleCell

Subcell 000122103131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103132 : AngleCell

Subcell 000122103132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103133 : AngleCell

Subcell 000122103133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103200 : AngleCell

Subcell 000122103200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103201 : AngleCell

Subcell 000122103201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103202 : AngleCell

Subcell 000122103202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103203 : AngleCell

Subcell 000122103203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103210 : AngleCell

Subcell 000122103210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103211 : AngleCell

Subcell 000122103211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103212 : AngleCell

Subcell 000122103212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103213 : AngleCell

Subcell 000122103213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103300 : AngleCell

Subcell 000122103300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103301 : AngleCell

Subcell 000122103301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103302 : AngleCell

Subcell 000122103302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103303 : AngleCell

Subcell 000122103303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103310 : AngleCell

Subcell 000122103310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103311 : AngleCell

Subcell 000122103311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103312 : AngleCell

Subcell 000122103312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122103313 : AngleCell

Subcell 000122103313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112000 : AngleCell

Subcell 000122112000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112001 : AngleCell

Subcell 000122112001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112002 : AngleCell

Subcell 000122112002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112003 : AngleCell

Subcell 000122112003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112010 : AngleCell

Subcell 000122112010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112011 : AngleCell

Subcell 000122112011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112012 : AngleCell

Subcell 000122112012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112013 : AngleCell

Subcell 000122112013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112020 : AngleCell

Subcell 000122112020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112021 : AngleCell

Subcell 000122112021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112022 : AngleCell

Subcell 000122112022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112023 : AngleCell

Subcell 000122112023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112030 : AngleCell

Subcell 000122112030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112031 : AngleCell

Subcell 000122112031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112032 : AngleCell

Subcell 000122112032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112033 : AngleCell

Subcell 000122112033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112100 : AngleCell

Subcell 000122112100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112101 : AngleCell

Subcell 000122112101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112102 : AngleCell

Subcell 000122112102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112103 : AngleCell

Subcell 000122112103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112110 : AngleCell

Subcell 000122112110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112111 : AngleCell

Subcell 000122112111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112112 : AngleCell

Subcell 000122112112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112113 : AngleCell

Subcell 000122112113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112120 : AngleCell

Subcell 000122112120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112121 : AngleCell

Subcell 000122112121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112122 : AngleCell

Subcell 000122112122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112123 : AngleCell

Subcell 000122112123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112130 : AngleCell

Subcell 000122112130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112131 : AngleCell

Subcell 000122112131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112132 : AngleCell

Subcell 000122112132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112133 : AngleCell

Subcell 000122112133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112200 : AngleCell

Subcell 000122112200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112201 : AngleCell

Subcell 000122112201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112202 : AngleCell

Subcell 000122112202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112203 : AngleCell

Subcell 000122112203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112210 : AngleCell

Subcell 000122112210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112211 : AngleCell

Subcell 000122112211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112212 : AngleCell

Subcell 000122112212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112213 : AngleCell

Subcell 000122112213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112300 : AngleCell

Subcell 000122112300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112301 : AngleCell

Subcell 000122112301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112302 : AngleCell

Subcell 000122112302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112303 : AngleCell

Subcell 000122112303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112310 : AngleCell

Subcell 000122112310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112311 : AngleCell

Subcell 000122112311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112312 : AngleCell

Subcell 000122112312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122112313 : AngleCell

Subcell 000122112313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113000 : AngleCell

Subcell 000122113000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113001 : AngleCell

Subcell 000122113001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113002 : AngleCell

Subcell 000122113002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113003 : AngleCell

Subcell 000122113003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113010 : AngleCell

Subcell 000122113010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113011 : AngleCell

Subcell 000122113011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113012 : AngleCell

Subcell 000122113012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113013 : AngleCell

Subcell 000122113013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113020 : AngleCell

Subcell 000122113020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113021 : AngleCell

Subcell 000122113021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113022 : AngleCell

Subcell 000122113022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113023 : AngleCell

Subcell 000122113023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113030 : AngleCell

Subcell 000122113030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113031 : AngleCell

Subcell 000122113031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113032 : AngleCell

Subcell 000122113032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113033 : AngleCell

Subcell 000122113033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113100 : AngleCell

Subcell 000122113100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113101 : AngleCell

Subcell 000122113101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113102 : AngleCell

Subcell 000122113102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113103 : AngleCell

Subcell 000122113103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113110 : AngleCell

Subcell 000122113110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113111 : AngleCell

Subcell 000122113111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113112 : AngleCell

Subcell 000122113112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113113 : AngleCell

Subcell 000122113113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113120 : AngleCell

Subcell 000122113120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113121 : AngleCell

Subcell 000122113121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113122 : AngleCell

Subcell 000122113122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113123 : AngleCell

Subcell 000122113123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113130 : AngleCell

Subcell 000122113130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113131 : AngleCell

Subcell 000122113131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113132 : AngleCell

Subcell 000122113132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113133 : AngleCell

Subcell 000122113133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113200 : AngleCell

Subcell 000122113200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113201 : AngleCell

Subcell 000122113201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113202 : AngleCell

Subcell 000122113202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113203 : AngleCell

Subcell 000122113203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113210 : AngleCell

Subcell 000122113210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113211 : AngleCell

Subcell 000122113211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113212 : AngleCell

Subcell 000122113212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113213 : AngleCell

Subcell 000122113213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113300 : AngleCell

Subcell 000122113300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113301 : AngleCell

Subcell 000122113301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113302 : AngleCell

Subcell 000122113302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113303 : AngleCell

Subcell 000122113303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113310 : AngleCell

Subcell 000122113310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113311 : AngleCell

Subcell 000122113311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113312 : AngleCell

Subcell 000122113312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000122113313 : AngleCell

Subcell 000122113313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002000 : AngleCell

Subcell 000123002000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002001 : AngleCell

Subcell 000123002001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002002 : AngleCell

Subcell 000123002002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002003 : AngleCell

Subcell 000123002003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002010 : AngleCell

Subcell 000123002010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002011 : AngleCell

Subcell 000123002011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002012 : AngleCell

Subcell 000123002012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002013 : AngleCell

Subcell 000123002013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002020 : AngleCell

Subcell 000123002020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002021 : AngleCell

Subcell 000123002021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002022 : AngleCell

Subcell 000123002022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002023 : AngleCell

Subcell 000123002023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002030 : AngleCell

Subcell 000123002030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002031 : AngleCell

Subcell 000123002031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002032 : AngleCell

Subcell 000123002032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002033 : AngleCell

Subcell 000123002033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002100 : AngleCell

Subcell 000123002100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002101 : AngleCell

Subcell 000123002101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002102 : AngleCell

Subcell 000123002102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002103 : AngleCell

Subcell 000123002103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002110 : AngleCell

Subcell 000123002110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002111 : AngleCell

Subcell 000123002111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002112 : AngleCell

Subcell 000123002112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002113 : AngleCell

Subcell 000123002113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002120 : AngleCell

Subcell 000123002120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002121 : AngleCell

Subcell 000123002121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002122 : AngleCell

Subcell 000123002122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002123 : AngleCell

Subcell 000123002123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002130 : AngleCell

Subcell 000123002130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002131 : AngleCell

Subcell 000123002131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002132 : AngleCell

Subcell 000123002132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002133 : AngleCell

Subcell 000123002133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002200 : AngleCell

Subcell 000123002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002201 : AngleCell

Subcell 000123002201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002202 : AngleCell

Subcell 000123002202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002203 : AngleCell

Subcell 000123002203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002210 : AngleCell

Subcell 000123002210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002211 : AngleCell

Subcell 000123002211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002212 : AngleCell

Subcell 000123002212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002213 : AngleCell

Subcell 000123002213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002300 : AngleCell

Subcell 000123002300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002301 : AngleCell

Subcell 000123002301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002302 : AngleCell

Subcell 000123002302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002303 : AngleCell

Subcell 000123002303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002310 : AngleCell

Subcell 000123002310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002311 : AngleCell

Subcell 000123002311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002312 : AngleCell

Subcell 000123002312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123002313 : AngleCell

Subcell 000123002313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003000 : AngleCell

Subcell 000123003000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003001 : AngleCell

Subcell 000123003001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003002 : AngleCell

Subcell 000123003002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003003 : AngleCell

Subcell 000123003003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003010 : AngleCell

Subcell 000123003010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003011 : AngleCell

Subcell 000123003011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003012 : AngleCell

Subcell 000123003012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003013 : AngleCell

Subcell 000123003013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003020 : AngleCell

Subcell 000123003020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003021 : AngleCell

Subcell 000123003021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003022 : AngleCell

Subcell 000123003022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003023 : AngleCell

Subcell 000123003023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003030 : AngleCell

Subcell 000123003030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003031 : AngleCell

Subcell 000123003031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003032 : AngleCell

Subcell 000123003032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003033 : AngleCell

Subcell 000123003033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003100 : AngleCell

Subcell 000123003100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003101 : AngleCell

Subcell 000123003101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003102 : AngleCell

Subcell 000123003102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003103 : AngleCell

Subcell 000123003103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003110 : AngleCell

Subcell 000123003110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003111 : AngleCell

Subcell 000123003111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003112 : AngleCell

Subcell 000123003112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003113 : AngleCell

Subcell 000123003113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003120 : AngleCell

Subcell 000123003120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003121 : AngleCell

Subcell 000123003121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003122 : AngleCell

Subcell 000123003122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003123 : AngleCell

Subcell 000123003123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003130 : AngleCell

Subcell 000123003130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003131 : AngleCell

Subcell 000123003131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003132 : AngleCell

Subcell 000123003132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003133 : AngleCell

Subcell 000123003133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003200 : AngleCell

Subcell 000123003200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003201 : AngleCell

Subcell 000123003201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003202 : AngleCell

Subcell 000123003202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003203 : AngleCell

Subcell 000123003203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003210 : AngleCell

Subcell 000123003210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003211 : AngleCell

Subcell 000123003211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003212 : AngleCell

Subcell 000123003212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003213 : AngleCell

Subcell 000123003213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003300 : AngleCell

Subcell 000123003300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003301 : AngleCell

Subcell 000123003301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003302 : AngleCell

Subcell 000123003302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003303 : AngleCell

Subcell 000123003303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003310 : AngleCell

Subcell 000123003310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003311 : AngleCell

Subcell 000123003311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003312 : AngleCell

Subcell 000123003312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123003313 : AngleCell

Subcell 000123003313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012000 : AngleCell

Subcell 000123012000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012001 : AngleCell

Subcell 000123012001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012002 : AngleCell

Subcell 000123012002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012003 : AngleCell

Subcell 000123012003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012010 : AngleCell

Subcell 000123012010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012011 : AngleCell

Subcell 000123012011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012012 : AngleCell

Subcell 000123012012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012013 : AngleCell

Subcell 000123012013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012020 : AngleCell

Subcell 000123012020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012021 : AngleCell

Subcell 000123012021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012022 : AngleCell

Subcell 000123012022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012023 : AngleCell

Subcell 000123012023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012030 : AngleCell

Subcell 000123012030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012031 : AngleCell

Subcell 000123012031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012032 : AngleCell

Subcell 000123012032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012033 : AngleCell

Subcell 000123012033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012100 : AngleCell

Subcell 000123012100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012101 : AngleCell

Subcell 000123012101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012102 : AngleCell

Subcell 000123012102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012103 : AngleCell

Subcell 000123012103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012110 : AngleCell

Subcell 000123012110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012111 : AngleCell

Subcell 000123012111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012112 : AngleCell

Subcell 000123012112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012113 : AngleCell

Subcell 000123012113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012120 : AngleCell

Subcell 000123012120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012121 : AngleCell

Subcell 000123012121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012122 : AngleCell

Subcell 000123012122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012123 : AngleCell

Subcell 000123012123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012130 : AngleCell

Subcell 000123012130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012131 : AngleCell

Subcell 000123012131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012132 : AngleCell

Subcell 000123012132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012133 : AngleCell

Subcell 000123012133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012200 : AngleCell

Subcell 000123012200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012201 : AngleCell

Subcell 000123012201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012202 : AngleCell

Subcell 000123012202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012203 : AngleCell

Subcell 000123012203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012210 : AngleCell

Subcell 000123012210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012211 : AngleCell

Subcell 000123012211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012212 : AngleCell

Subcell 000123012212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012213 : AngleCell

Subcell 000123012213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012300 : AngleCell

Subcell 000123012300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012301 : AngleCell

Subcell 000123012301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012302 : AngleCell

Subcell 000123012302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012303 : AngleCell

Subcell 000123012303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012310 : AngleCell

Subcell 000123012310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012311 : AngleCell

Subcell 000123012311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012312 : AngleCell

Subcell 000123012312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123012313 : AngleCell

Subcell 000123012313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013000 : AngleCell

Subcell 000123013000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013001 : AngleCell

Subcell 000123013001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013002 : AngleCell

Subcell 000123013002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013003 : AngleCell

Subcell 000123013003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013010 : AngleCell

Subcell 000123013010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013011 : AngleCell

Subcell 000123013011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013012 : AngleCell

Subcell 000123013012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013013 : AngleCell

Subcell 000123013013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013020 : AngleCell

Subcell 000123013020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013021 : AngleCell

Subcell 000123013021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013022 : AngleCell

Subcell 000123013022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013023 : AngleCell

Subcell 000123013023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013030 : AngleCell

Subcell 000123013030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013031 : AngleCell

Subcell 000123013031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013032 : AngleCell

Subcell 000123013032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea1d7ddac9.thetaAboveCell000123013033 : AngleCell

Subcell 000123013033 of the 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.E24KC6ProofBatch32fd0d2bad1c3ab1.

E24KC6 explicit proof-producing certificate batch.

theorem GerverSofa.PartE.cover_subtree_0099e6c88888 : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_ba641df32bfd : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_7ba93df0d4c7 : adaptiveCoverCheck 8 (childHL (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_65f8fb6981b4 : adaptiveCoverCheck 8 (childHH (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.cover_subtree_3709c9a249b6 : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_2b5889a2610f : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_81afd77398fe : adaptiveCoverCheck 8 (childHL (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_56217b7b19f0 : adaptiveCoverCheck 8 (childHH (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.cover_subtree_126d0c7909f0 : adaptiveCoverCheck 8 (childLL (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_978b69a1c1bd : adaptiveCoverCheck 8 (childLH (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_6f4368c59bdb : adaptiveCoverCheck 8 (childHL (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.cover_subtree_12a65271b941 : adaptiveCoverCheck 8 (childHH (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003310)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331102 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331103 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331112 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331113 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.cover_subtree_40b30098358c : adaptiveCoverCheck 8 (childLL (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_0f9e0e377596 : adaptiveCoverCheck 8 (childLH (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_562ee101dc47 : adaptiveCoverCheck 8 (childHL (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_bc17552a24a4 : adaptiveCoverCheck 8 (childHH (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.cover_subtree_260aee4b9fa3 : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_674fd6a8471c : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_38509f162ffa : adaptiveCoverCheck 8 (childHL (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_2b615745aa63 : adaptiveCoverCheck 8 (childHH (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.cover_subtree_7b02d095f599 : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_27bc40bbefb0 : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_d6ec9d4db7c3 : adaptiveCoverCheck 8 (childHL (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_c7a6802137f2 : adaptiveCoverCheck 8 (childHH (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.cover_subtree_525965b29b43 : adaptiveCoverCheck 8 (childLL (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_426a701a7fc0 : adaptiveCoverCheck 8 (childLH (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_c43488da1c36 : adaptiveCoverCheck 8 (childHL (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.cover_subtree_f77c14a0f9b2 : adaptiveCoverCheck 8 (childHH (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000331133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00003311)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.cover_subtree_bc394da66032 : adaptiveCoverCheck 8 (childLL (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200))) = true

theorem GerverSofa.PartE.cover_subtree_0f99148bdc12 : adaptiveCoverCheck 8 (childLH (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200))) = true

theorem GerverSofa.PartE.cover_subtree_39d9268879db : adaptiveCoverCheck 8 (childHL (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200))) = true

theorem GerverSofa.PartE.cover_subtree_39d9037f050e : adaptiveCoverCheck 8 (childHH (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220102 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220103 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220112 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220113 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001220133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221102 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221103 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221112 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221113 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001221133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012211)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230031 : adaptiveCoverCheck 9 (childLH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230032 : adaptiveCoverCheck 9 (childHL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230033 : adaptiveCoverCheck 9 (childHH (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012300)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230102 : adaptiveCoverCheck 9 (childHL (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230103 : adaptiveCoverCheck 9 (childHH (childLL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230112 : adaptiveCoverCheck 9 (childHL (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230113 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230120 : adaptiveCoverCheck 9 (childLL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230121 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230122 : adaptiveCoverCheck 9 (childHL (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230123 : adaptiveCoverCheck 9 (childHH (childHL CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0001230130 : adaptiveCoverCheck 9 (childLL (childHH CertificateCellsea1d7ddac9.thetaAboveCell00012301)) = true