Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch034.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell111133113011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130110333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells84b6dd5403.thetaBelowCell1111331130111333 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa837c94d6b.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsad9f83220e.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsad9f83220e.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9fb4000a9c.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells39e4b63459.thetaAboveCell000022002103 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f04a5458e.thetaAboveCell0000220021003133 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6fd31b8688.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell000022002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells228f0f8fd4.thetaAboveCell0000220021113313 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a19d30544.thetaAboveCell000022002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2ee5d31193.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2ee5d31193.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2ee5d31193.thetaBelowCell111133113103 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells41213b9d19.thetaAboveCell000022002111 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb64c3c15bb.thetaAboveCell000022002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell111133113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells32e697bee5.thetaBelowCell1111331131001333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell111133113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells64ee0fdc2a.thetaBelowCell1111331131002113 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells30e97e201e.thetaAboveCell0000220021002033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd48981846f.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd48981846f.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd48981846f.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2454b18c1c.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2454b18c1c.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2454b18c1c.thetaBelowCell111133113012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd87c25aa46.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd87c25aa46.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell111133113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90183e831a.thetaBelowCell1111331131003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells47753ffbe9.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells47753ffbe9.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells47753ffbe9.thetaBelowCell111133113100 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse21bcf4574.thetaAboveCell000022002101 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsda9a873863.thetaAboveCell000022002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7d865d7559.thetaBelowCell1111331131113033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsca42d19ac6.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsca42d19ac6.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsca42d19ac6.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell111133113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells257a1a1faa.thetaBelowCell1111331131010333 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell000022002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb187906d24.thetaAboveCell0000220021012033 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellseb98bd469c.thetaAboveCell000022002101 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0fb8590a1f.thetaAboveCell000022002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell111133113130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell111133113131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell111133113132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21614274e2.thetaBelowCell111133113133 : AngleCell

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

Equations

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

@[reducible, inline]

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

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell000022002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002121 : AngleCell

Subcell 0000220021002121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002122 : AngleCell

Subcell 0000220021002122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002123 : AngleCell

Subcell 0000220021002123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002130 : AngleCell

Subcell 0000220021002130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002131 : AngleCell

Subcell 0000220021002131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002132 : AngleCell

Subcell 0000220021002132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells075667848d.thetaAboveCell0000220021002133 : AngleCell

Subcell 0000220021002133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells135b119fc2.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.CertificateCells135b119fc2.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells135b119fc2.thetaAboveCell000022002100 : AngleCell

Subcell 000022002100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse53a016898.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.CertificateCellse53a016898.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse53a016898.thetaAboveCell000022002100 : AngleCell

Subcell 000022002100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells8b72842cc0.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.CertificateCells8b72842cc0.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell111133113030 : AngleCell

Subcell 111133113030 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell111133113031 : AngleCell

Subcell 111133113031 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell111133113032 : AngleCell

Subcell 111133113032 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d04a04d91.thetaBelowCell111133113033 : AngleCell

Subcell 111133113033 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell111133113101 : AngleCell

Subcell 111133113101 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013010 : AngleCell

Subcell 1111331131013010 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013011 : AngleCell

Subcell 1111331131013011 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013012 : AngleCell

Subcell 1111331131013012 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013013 : AngleCell

Subcell 1111331131013013 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013000 : AngleCell

Subcell 1111331131013000 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013001 : AngleCell

Subcell 1111331131013001 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013002 : AngleCell

Subcell 1111331131013002 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013003 : AngleCell

Subcell 1111331131013003 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013100 : AngleCell

Subcell 1111331131013100 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013101 : AngleCell

Subcell 1111331131013101 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013102 : AngleCell

Subcell 1111331131013102 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013103 : AngleCell

Subcell 1111331131013103 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013110 : AngleCell

Subcell 1111331131013110 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013111 : AngleCell

Subcell 1111331131013111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013112 : AngleCell

Subcell 1111331131013112 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells665e67ba22.thetaBelowCell1111331131013113 : AngleCell

Subcell 1111331131013113 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa275032fe9.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa275032fe9.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa275032fe9.thetaBelowCell111133113101 : AngleCell

Subcell 111133113101 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells09124dcbf9.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells09124dcbf9.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.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.CertificateCellse133bf0420.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell000022002110 : AngleCell

Subcell 000022002110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102000 : AngleCell

Subcell 0000220021102000 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102001 : AngleCell

Subcell 0000220021102001 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102002 : AngleCell

Subcell 0000220021102002 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102003 : AngleCell

Subcell 0000220021102003 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102010 : AngleCell

Subcell 0000220021102010 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102011 : AngleCell

Subcell 0000220021102011 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102012 : AngleCell

Subcell 0000220021102012 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102013 : AngleCell

Subcell 0000220021102013 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102020 : AngleCell

Subcell 0000220021102020 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102021 : AngleCell

Subcell 0000220021102021 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102022 : AngleCell

Subcell 0000220021102022 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102023 : AngleCell

Subcell 0000220021102023 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102030 : AngleCell

Subcell 0000220021102030 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102031 : AngleCell

Subcell 0000220021102031 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102032 : AngleCell

Subcell 0000220021102032 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102033 : AngleCell

Subcell 0000220021102033 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102100 : AngleCell

Subcell 0000220021102100 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102101 : AngleCell

Subcell 0000220021102101 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102102 : AngleCell

Subcell 0000220021102102 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102103 : AngleCell

Subcell 0000220021102103 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102110 : AngleCell

Subcell 0000220021102110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102111 : AngleCell

Subcell 0000220021102111 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102112 : AngleCell

Subcell 0000220021102112 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102113 : AngleCell

Subcell 0000220021102113 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102120 : AngleCell

Subcell 0000220021102120 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102121 : AngleCell

Subcell 0000220021102121 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102122 : AngleCell

Subcell 0000220021102122 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102123 : AngleCell

Subcell 0000220021102123 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102130 : AngleCell

Subcell 0000220021102130 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102131 : AngleCell

Subcell 0000220021102131 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102132 : AngleCell

Subcell 0000220021102132 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102133 : AngleCell

Subcell 0000220021102133 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102200 : AngleCell

Subcell 0000220021102200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102201 : AngleCell

Subcell 0000220021102201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102202 : AngleCell

Subcell 0000220021102202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102203 : AngleCell

Subcell 0000220021102203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102210 : AngleCell

Subcell 0000220021102210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102211 : AngleCell

Subcell 0000220021102211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102212 : AngleCell

Subcell 0000220021102212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102213 : AngleCell

Subcell 0000220021102213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102300 : AngleCell

Subcell 0000220021102300 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102301 : AngleCell

Subcell 0000220021102301 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102302 : AngleCell

Subcell 0000220021102302 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102303 : AngleCell

Subcell 0000220021102303 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102310 : AngleCell

Subcell 0000220021102310 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102311 : AngleCell

Subcell 0000220021102311 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102312 : AngleCell

Subcell 0000220021102312 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse133bf0420.thetaAboveCell0000220021102313 : AngleCell

Subcell 0000220021102313 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf1833757d0.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.CertificateCellsf1833757d0.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf1833757d0.thetaAboveCell000022002110 : AngleCell

Subcell 000022002110 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells21f94a2daf.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.CertificateCells21f94a2daf.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsbb4f00460c.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.CertificateCellsbb4f00460c.thetaAboveCell00002200 : AngleCell

Subcell 00002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell111133113020 : AngleCell

Subcell 111133113020 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell111133113021 : AngleCell

Subcell 111133113021 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell111133113022 : AngleCell

Subcell 111133113022 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells232e7e9a76.thetaBelowCell111133113023 : AngleCell

Subcell 111133113023 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse657ecadb5.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse657ecadb5.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell111133113111 : AngleCell

Subcell 111133113111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110220 : AngleCell

Subcell 1111331131110220 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110221 : AngleCell

Subcell 1111331131110221 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110222 : AngleCell

Subcell 1111331131110222 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110223 : AngleCell

Subcell 1111331131110223 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110230 : AngleCell

Subcell 1111331131110230 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110231 : AngleCell

Subcell 1111331131110231 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110232 : AngleCell

Subcell 1111331131110232 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110233 : AngleCell

Subcell 1111331131110233 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110200 : AngleCell

Subcell 1111331131110200 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110201 : AngleCell

Subcell 1111331131110201 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110202 : AngleCell

Subcell 1111331131110202 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110203 : AngleCell

Subcell 1111331131110203 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110210 : AngleCell

Subcell 1111331131110210 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110211 : AngleCell

Subcell 1111331131110211 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110212 : AngleCell

Subcell 1111331131110212 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110213 : AngleCell

Subcell 1111331131110213 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110320 : AngleCell

Subcell 1111331131110320 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110321 : AngleCell

Subcell 1111331131110321 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110322 : AngleCell

Subcell 1111331131110322 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110323 : AngleCell

Subcell 1111331131110323 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110332 : AngleCell

Subcell 1111331131110332 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110333 : AngleCell

Subcell 1111331131110333 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110330 : AngleCell

Subcell 1111331131110330 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110331 : AngleCell

Subcell 1111331131110331 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110300 : AngleCell

Subcell 1111331131110300 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110301 : AngleCell

Subcell 1111331131110301 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110302 : AngleCell

Subcell 1111331131110302 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110303 : AngleCell

Subcell 1111331131110303 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110310 : AngleCell

Subcell 1111331131110310 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110311 : AngleCell

Subcell 1111331131110311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110312 : AngleCell

Subcell 1111331131110312 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells78b824f474.thetaBelowCell1111331131110313 : AngleCell

Subcell 1111331131110313 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsccc2f90403.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsccc2f90403.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsccc2f90403.thetaBelowCell111133113111 : AngleCell

Subcell 111133113111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse5aa25a242.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse5aa25a242.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0d1c7d48ff.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0d1c7d48ff.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1d418dae20.thetaBelowCell1111 : AngleCell

Subcell 1111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1d418dae20.thetaBelowCell11113311 : AngleCell

Subcell 11113311 of the theta-below 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.E24KC6R4Subtree8dd4d0d86bb3ff9f.
• KernelOnly.PartE.E24KC6R4Subtree8e967390514267d6.
• KernelOnly.PartE.E24KC6R4Subtree91992483bb6a8f04.
• KernelOnly.PartE.E24KC6R4Subtree924080aa784e817a.
• KernelOnly.PartE.E24KC6R4Subtree9eb1f025174c3177.
• KernelOnly.PartE.E24KC6R4SubtreeA095c7ff4c6ad6b6.
• KernelOnly.PartE.E24KC6R4Join32513267a6450294.
• KernelOnly.PartE.E24KC6R4SubtreeA80f1d406f4d338d.
• KernelOnly.PartE.E24KC6R4SubtreeAea2c9f5ded50576.
• KernelOnly.PartE.E24KC6R4SubtreeB93b1c054dba72bb.
• KernelOnly.PartE.E24KC6R4SubtreeC309c137435a4a8a.
• KernelOnly.PartE.E24KC6R4Join1c93c00761c21de7.
• KernelOnly.PartE.E24KC6R4SubtreeC8b63043186f1b44.
• KernelOnly.PartE.E24KC6R4SubtreeCbd4f9934ee17393.
• KernelOnly.PartE.E24KC6R4SubtreeD658abc468986ad2.
• KernelOnly.PartE.E24KC6R4SubtreeDc47723dc66dfda8.
• KernelOnly.PartE.E24KC6R4SubtreeE07cf48cb1b589f9.
• KernelOnly.PartE.E24KC6R4JoinA1daf15b91aa7155.
• KernelOnly.PartE.E24KC6R4SubtreeE1aad79037162af3.
• KernelOnly.PartE.E24KC6R4JoinB6430364d883da5c.
• KernelOnly.PartE.E24KC6R4SubtreeE3bcfcc291fdb5b4.
• KernelOnly.PartE.E24KC6R4SubtreeE5b6fc380e82e47e.
• KernelOnly.PartE.E24KC6R4SubtreeE8870b13405ffc13.
• KernelOnly.PartE.E24KC6R4Join3b19a6737a79b00f.
• KernelOnly.PartE.E24KC6R4SubtreeE91aff9c114b660b.
• KernelOnly.PartE.E24KC6R4SubtreeEc06b97bc924fb9a.
• KernelOnly.PartE.E24KC6R4Join62d0e072891eacfc.
• KernelOnly.PartE.E24KC6R4Join45f1be0097db6fa8.
• KernelOnly.PartE.E24KC6R4SubtreeEd73d41bc0ae6f27.
• KernelOnly.PartE.E24KC6R4SubtreeEdd4c8d57c5a9ded.
• KernelOnly.PartE.E24KC6R4Join96d3935117f8c848.
• KernelOnly.PartE.E24KC6R4Join7c9f3e2241f40b54.
• KernelOnly.PartE.E24KC6R4Join489f93824ca49e04.
• KernelOnly.PartE.E24KC6R4SubtreeF553a12d6978535b.
• KernelOnly.PartE.E24KC6R4SubtreeF60ae8a1c3b6076a.
• KernelOnly.PartE.E24KC6R4Join978735cf4a10b0c4.
• KernelOnly.PartE.E24KC6R4JoinAf86a73e06a6d340.
• KernelOnly.PartE.E24KC6R4SubtreeF8d6ff3220b818df.
• KernelOnly.PartE.E24KC6R4JoinB118d49025de8b76.
• KernelOnly.PartE.E24KC6R4JoinE6a27f6b8bf66074.
• KernelOnly.PartE.E24KC6R4Join1480e3e518aaa8b9.
• KernelOnly.PartE.E24KC6R4SubtreeF9a00b60dcd28a42.
• KernelOnly.PartE.E24KC6R4Join68100c5f054c8ea2.
• KernelOnly.PartE.E24KC6R4SubtreeFfa75b98dddd4b5e.
• KernelOnly.PartE.E24KC6R4Join25ba04fb03bf9d4a.
• KernelOnly.PartE.E24KC6R4JoinB0c26eb36c2c399d.
• KernelOnly.PartE.E24KC6R4JoinC502233200399653.
• KernelOnly.PartE.E24KC6R4Join459e5b5f3815ebd2.

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_ae17a6be47c3 : adaptiveCoverCheck 4 (childLL (childLL CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_370884aab783 : adaptiveCoverCheck 4 (childLH (childLL CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_73e4cb204c73 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_c1c14ad83b45 : adaptiveCoverCheck 4 (childHH (childLL CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_f30e12efeb1a : adaptiveCoverCheck 5 (childLL CertificateCells84b6dd5403.thetaBelowCell111133113011) = true

theorem GerverSofa.PartE.cover_subtree_98d9e5389017 : adaptiveCoverCheck 4 (childLL (childLH CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_0bc86d85f103 : adaptiveCoverCheck 4 (childLH (childLH CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_29f3a4c72110 : adaptiveCoverCheck 4 (childHL (childLH CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_71904a1bf379 : adaptiveCoverCheck 4 (childHH (childLH CertificateCells84b6dd5403.thetaBelowCell111133113011)) = true

theorem GerverSofa.PartE.cover_subtree_c4f09e9f0953 : adaptiveCoverCheck 5 (childLH CertificateCells84b6dd5403.thetaBelowCell111133113011) = true

theorem GerverSofa.PartE.cover_subtree_f6e8aaad1d7c : adaptiveCoverCheck 5 (childHL CertificateCells84b6dd5403.thetaBelowCell111133113011) = true

theorem GerverSofa.PartE.cover_subtree_29b6f04811a1 : adaptiveCoverCheck 5 (childHH CertificateCells84b6dd5403.thetaBelowCell111133113011) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c1_c1 : adaptiveCoverCheck 6 CertificateCells84b6dd5403.thetaBelowCell111133113011 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c1 : adaptiveCoverCheck 6 (childLH CertificateCellsa837c94d6b.thetaAboveCell000022002100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c3 : adaptiveCoverCheck 8 (childHH (childHH CertificateCellsad9f83220e.thetaBelowCell11113311)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c0 : adaptiveCoverCheck 6 (childLL CertificateCells9fb4000a9c.thetaAboveCell000022002100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c3 : adaptiveCoverCheck 7 CertificateCells39e4b63459.thetaAboveCell000022002103 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_ac4ab9e2280b : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003102 = true

theorem GerverSofa.PartE.cover_subtree_f32049ef12fd : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003103 = true

theorem GerverSofa.PartE.cover_subtree_f8ee2b69a6a4 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCells1f04a5458e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_81e656cd512a : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003112 = true

theorem GerverSofa.PartE.cover_subtree_4d1806a48386 : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003113 = true

theorem GerverSofa.PartE.cover_subtree_08c961b8fea6 : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCells1f04a5458e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_ac21c862ec3a : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003120 = true

theorem GerverSofa.PartE.cover_subtree_535d1cff404c : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003121 = true

theorem GerverSofa.PartE.cover_subtree_c98fab407e07 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCells1f04a5458e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_6d1eab6c80cc : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003130 = true

theorem GerverSofa.PartE.cover_subtree_d7741bcc2937 : adaptiveCoverCheck 3 CertificateCells1f04a5458e.thetaAboveCell0000220021003131 = true

theorem GerverSofa.PartE.cover_subtree_db05fb36c692 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCells1f04a5458e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c3_c1 : adaptiveCoverCheck 5 (childLH (childHH CertificateCells1f04a5458e.thetaAboveCell000022002100)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c3 : adaptiveCoverCheck 6 (childHH CertificateCells6fd31b8688.thetaAboveCell000022002100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_d5a5e06650ce : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_cc0b6dcb9698 : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_4b6a6f343911 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_3b5c8a093b1d : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_536b999011e3 : adaptiveCoverCheck 5 (childLL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_34d62deb6720 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_e8b5cb8c6a09 : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_ef6f45c91ec2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_a2fe78f78c5a : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_42bf432f3a23 : adaptiveCoverCheck 5 (childLH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_a6728f6d4a12 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_fafcbbc2f9f1 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c1_c3 : adaptiveCoverCheck 6 (childHH CertificateCells228f0f8fd4.thetaAboveCell000022002111) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c3 : adaptiveCoverCheck 7 CertificateCells0a19d30544.thetaAboveCell000022002113 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c3 : adaptiveCoverCheck 6 CertificateCells2ee5d31193.thetaBelowCell111133113103 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c1_c0 : adaptiveCoverCheck 6 (childLL CertificateCells41213b9d19.thetaAboveCell000022002111) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c1 : adaptiveCoverCheck 7 CertificateCellsb64c3c15bb.thetaAboveCell000022002111 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_401efdae503c : adaptiveCoverCheck 4 (childLL (childLH CertificateCells32e697bee5.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.cover_subtree_d2432b059763 : adaptiveCoverCheck 4 (childHL (childLH CertificateCells32e697bee5.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.cover_subtree_a9ad7d61343c : adaptiveCoverCheck 4 (childHH (childLH CertificateCells32e697bee5.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c0_c1 : adaptiveCoverCheck 5 (childLH CertificateCells32e697bee5.thetaBelowCell111133113100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c0_c2 : adaptiveCoverCheck 5 (childHL CertificateCells64ee0fdc2a.thetaBelowCell111133113100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_5271df7a6cfb : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002002 = true

theorem GerverSofa.PartE.cover_subtree_ecb69e009e0c : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002003 = true

theorem GerverSofa.PartE.cover_subtree_3d1aed828393 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCells30e97e201e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_b9bf7e1adc6d : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002012 = true

theorem GerverSofa.PartE.cover_subtree_e49d7d8f5134 : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002013 = true

theorem GerverSofa.PartE.cover_subtree_e1d0aa057fae : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCells30e97e201e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_da176857c63b : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002020 = true

theorem GerverSofa.PartE.cover_subtree_6fcd4b6c5e8d : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002021 = true

theorem GerverSofa.PartE.cover_subtree_6d0fa2f909d3 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCells30e97e201e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_db002a1c8e4f : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002030 = true

theorem GerverSofa.PartE.cover_subtree_b3dca0ca0dcf : adaptiveCoverCheck 3 CertificateCells30e97e201e.thetaAboveCell0000220021002031 = true

theorem GerverSofa.PartE.cover_subtree_78fc8a461c2f : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCells30e97e201e.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c2_c0 : adaptiveCoverCheck 5 (childLL (childHL CertificateCells30e97e201e.thetaAboveCell000022002100)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c3_c3 : adaptiveCoverCheck 4 (childHH (childHH CertificateCellsd48981846f.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c1_c2 : adaptiveCoverCheck 6 CertificateCells2454b18c1c.thetaBelowCell111133113012 = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c1 : adaptiveCoverCheck 7 (childLH (childLL (childHH CertificateCellsd87c25aa46.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c0_c3 : adaptiveCoverCheck 5 (childHH CertificateCells90183e831a.thetaBelowCell111133113100) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c0 : adaptiveCoverCheck 6 CertificateCells47753ffbe9.thetaBelowCell111133113100 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c0 : adaptiveCoverCheck 6 (childLL CertificateCellse21bcf4574.thetaAboveCell000022002101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c2 : adaptiveCoverCheck 7 CertificateCellsda9a873863.thetaAboveCell000022002102 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_6a2ae51f01eb : adaptiveCoverCheck 2 CertificateCells7d865d7559.thetaBelowCell1111331131113000 = true

theorem GerverSofa.PartE.cover_subtree_a45c44028853 : adaptiveCoverCheck 2 CertificateCells7d865d7559.thetaBelowCell1111331131113001 = true

theorem GerverSofa.PartE.cover_subtree_d2590f3569cd : adaptiveCoverCheck 3 (childLL (childLL (childHH CertificateCells7d865d7559.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_903db5f2747c : adaptiveCoverCheck 2 CertificateCells7d865d7559.thetaBelowCell1111331131113010 = true

theorem GerverSofa.PartE.cover_subtree_4ba95efb8e56 : adaptiveCoverCheck 2 CertificateCells7d865d7559.thetaBelowCell1111331131113011 = true

theorem GerverSofa.PartE.cover_subtree_189c3ed220c3 : adaptiveCoverCheck 3 (childLH (childLL (childHH CertificateCells7d865d7559.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c3_c0 : adaptiveCoverCheck 4 (childLL (childHH CertificateCells7d865d7559.thetaBelowCell111133113111)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c3 : adaptiveCoverCheck 5 (childHH CertificateCellsca42d19ac6.thetaBelowCell111133113111) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_596b54980499 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells257a1a1faa.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.cover_subtree_e230aaf0d2f3 : adaptiveCoverCheck 4 (childHH (childLL CertificateCells257a1a1faa.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c1_c0 : adaptiveCoverCheck 5 (childLL CertificateCells257a1a1faa.thetaBelowCell111133113101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_504c637fe057 : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012002 = true

theorem GerverSofa.PartE.cover_subtree_2a357587fe2c : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012003 = true

theorem GerverSofa.PartE.cover_subtree_e90aeadfa33e : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCellsb187906d24.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_fb92afbe7b07 : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012012 = true

theorem GerverSofa.PartE.cover_subtree_0e32fa63735b : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCellsb187906d24.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_2d2c3f59bbe5 : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012020 = true

theorem GerverSofa.PartE.cover_subtree_118ca13c27e0 : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012021 = true

theorem GerverSofa.PartE.cover_subtree_1582f7d2c473 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellsb187906d24.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_b689532944b1 : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012030 = true

theorem GerverSofa.PartE.cover_subtree_229b7653f1bc : adaptiveCoverCheck 3 CertificateCellsb187906d24.thetaAboveCell0000220021012031 = true

theorem GerverSofa.PartE.cover_subtree_b1c2b8600845 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsb187906d24.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c2_c0 : adaptiveCoverCheck 5 (childLL (childHL CertificateCellsb187906d24.thetaAboveCell000022002101)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c2 : adaptiveCoverCheck 6 (childHL CertificateCellseb98bd469c.thetaAboveCell000022002101) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1 : adaptiveCoverCheck 7 CertificateCells0fb8590a1f.thetaAboveCell000022002101 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c3 : adaptiveCoverCheck 7 (childHH (childLH (childHH CertificateCells21614274e2.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_162fb6940e90 : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002102 = true

theorem GerverSofa.PartE.cover_subtree_2b38e4b2557d : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002103 = true

theorem GerverSofa.PartE.cover_subtree_ee2829c05e95 : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCells075667848d.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_d302433685b0 : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002112 = true

theorem GerverSofa.PartE.cover_subtree_549e46a5d3e3 : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002113 = true

theorem GerverSofa.PartE.cover_subtree_4c9680a92e0c : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells075667848d.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_78071866416e : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002120 = true

theorem GerverSofa.PartE.cover_subtree_088dc6ec9713 : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002121 = true

theorem GerverSofa.PartE.cover_subtree_e0b48be7f1b2 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells075667848d.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_cb8fede25e6d : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002130 = true

theorem GerverSofa.PartE.cover_subtree_9df38978a25b : adaptiveCoverCheck 3 CertificateCells075667848d.thetaAboveCell0000220021002131 = true

theorem GerverSofa.PartE.cover_subtree_413edc037905 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells075667848d.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c2_c1 : adaptiveCoverCheck 5 (childLH (childHL CertificateCells075667848d.thetaAboveCell000022002100)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c2 : adaptiveCoverCheck 6 (childHL CertificateCells135b119fc2.thetaAboveCell000022002100) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0 : adaptiveCoverCheck 7 CertificateCellse53a016898.thetaAboveCell000022002100 = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0 : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCells8b72842cc0.thetaAboveCell00002200))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c3 : adaptiveCoverCheck 7 (childHH (childLL (childHH CertificateCells3d04a04d91.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_1c545d2d332e : adaptiveCoverCheck 3 (childLH (childLL (childHH CertificateCells665e67ba22.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_a6892a976bdc : adaptiveCoverCheck 4 (childLL (childHH CertificateCells665e67ba22.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.cover_subtree_8f27cd7d62f9 : adaptiveCoverCheck 3 (childLL (childLH (childHH CertificateCells665e67ba22.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_3a8993d4b677 : adaptiveCoverCheck 3 (childLH (childLH (childHH CertificateCells665e67ba22.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_f225800535b1 : adaptiveCoverCheck 4 (childLH (childHH CertificateCells665e67ba22.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c1_c3 : adaptiveCoverCheck 5 (childHH CertificateCells665e67ba22.thetaBelowCell111133113101) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c1 : adaptiveCoverCheck 6 CertificateCellsa275032fe9.thetaBelowCell111133113101 = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0 : adaptiveCoverCheck 7 (childLL (childLH (childHH CertificateCells09124dcbf9.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_8c4e3e00c778 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_49f6eb3ee7e0 : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_adebd26c440a : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_cfe74f698d24 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_64b5e3c15e8d : adaptiveCoverCheck 5 (childLL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_aeac3ba6168f : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_325d50012465 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_b265451cd007 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_613b8841c9c0 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_52c3ab758725 : adaptiveCoverCheck 5 (childLH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_1c021cc633a3 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellse133bf0420.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_191cbd679a04 : adaptiveCoverCheck 5 (childHH (childHL CertificateCellse133bf0420.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c0_c2 : adaptiveCoverCheck 6 (childHL CertificateCellse133bf0420.thetaAboveCell000022002110) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c0 : adaptiveCoverCheck 7 CertificateCellsf1833757d0.thetaAboveCell000022002110 = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1 : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCells21f94a2daf.thetaAboveCell00002200))) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCellsbb4f00460c.thetaAboveCell00002200)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c2 : adaptiveCoverCheck 7 (childHL (childLL (childHH CertificateCells232e7e9a76.thetaBelowCell11113311))) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0 : adaptiveCoverCheck 8 (childLL (childHH CertificateCellse657ecadb5.thetaBelowCell11113311)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_7d1a4629139c : adaptiveCoverCheck 3 (childHL (childHL (childLL CertificateCells78b824f474.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_271c266eebff : adaptiveCoverCheck 3 (childHH (childHL (childLL CertificateCells78b824f474.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_f2e98bb9d295 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells78b824f474.thetaBelowCell111133113111)) = true

theorem GerverSofa.PartE.cover_subtree_9fadcdfbc6fb : adaptiveCoverCheck 3 (childHL (childHH (childLL CertificateCells78b824f474.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_3e826769a774 : adaptiveCoverCheck 2 CertificateCells78b824f474.thetaBelowCell1111331131110332 = true

theorem GerverSofa.PartE.cover_subtree_647c14158ebb : adaptiveCoverCheck 2 CertificateCells78b824f474.thetaBelowCell1111331131110333 = true

theorem GerverSofa.PartE.cover_subtree_7bb13e3867b3 : adaptiveCoverCheck 3 (childHH (childHH (childLL CertificateCells78b824f474.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_108f8990274f : adaptiveCoverCheck 4 (childHH (childLL CertificateCells78b824f474.thetaBelowCell111133113111)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c0 : adaptiveCoverCheck 5 (childLL CertificateCells78b824f474.thetaBelowCell111133113111) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1 : adaptiveCoverCheck 6 CertificateCellsccc2f90403.thetaBelowCell111133113111 = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1 : adaptiveCoverCheck 7 (childLH (childLH (childHH CertificateCellse5aa25a242.thetaBelowCell11113311))) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1 : adaptiveCoverCheck 8 (childLH (childHH CertificateCells0d1c7d48ff.thetaBelowCell11113311)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113 : adaptiveCoverCheck 9 (childHH CertificateCells1d418dae20.thetaBelowCell11113311) = true