Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch032.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.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.CertificateCells27082ce600.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.CertificateCells27082ce600.thetaBelowCell111133113010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130100333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27082ce600.thetaBelowCell1111331130101333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc3c599388b.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.CertificateCellsc3c599388b.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.CertificateCellsc3c599388b.thetaBelowCell111133113120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc3c599388b.thetaBelowCell111133113121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc3c599388b.thetaBelowCell111133113122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc3c599388b.thetaBelowCell111133113123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6f9c2931ea.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.CertificateCells6f9c2931ea.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.CertificateCells6f9c2931ea.thetaAboveCell000022002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6f9c2931ea.thetaAboveCell000022002121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6f9c2931ea.thetaAboveCell000022002122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6f9c2931ea.thetaAboveCell000022002123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.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.CertificateCells5955d51af9.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.CertificateCells5955d51af9.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.CertificateCells5955d51af9.thetaAboveCell0000220021013000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5955d51af9.thetaAboveCell0000220021013313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.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.CertificateCellsde04ff5fef.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.CertificateCellsde04ff5fef.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.CertificateCellsde04ff5fef.thetaBelowCell1111331131000020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsde04ff5fef.thetaBelowCell1111331131000333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells750522796b.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.CertificateCells750522796b.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.CertificateCells750522796b.thetaBelowCell111133113102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.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.CertificateCells99ba2b246f.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.CertificateCells99ba2b246f.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.CertificateCells99ba2b246f.thetaAboveCell0000220021012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99ba2b246f.thetaAboveCell0000220021012133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.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.CertificateCells6443c5ba4b.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.CertificateCells6443c5ba4b.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.CertificateCells6443c5ba4b.thetaAboveCell0000220021112000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6443c5ba4b.thetaAboveCell0000220021112313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells03dbb8f506.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.CertificateCells03dbb8f506.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.CertificateCells03dbb8f506.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.CertificateCells15b8ca5094.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.CertificateCells15b8ca5094.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.CertificateCells15b8ca5094.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.CertificateCells15b8ca5094.thetaAboveCell0000220021012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells15b8ca5094.thetaAboveCell0000220021012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsecf9e4e90b.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.CertificateCellsecf9e4e90b.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.CertificateCellsecf9e4e90b.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.CertificateCellsdb6ee29ee4.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.CertificateCellsdb6ee29ee4.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.CertificateCellsdb6ee29ee4.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.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb6ee29ee4.thetaAboveCell0000220021103313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4003309a28.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.CertificateCells4003309a28.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.CertificateCells4003309a28.thetaAboveCell000022002130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4003309a28.thetaAboveCell000022002131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4003309a28.thetaAboveCell000022002132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4003309a28.thetaAboveCell000022002133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.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.CertificateCellsf3f1dbc459.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.CertificateCellsf3f1dbc459.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.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf3f1dbc459.thetaAboveCell0000220021002313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.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.CertificateCells441cc2b0d8.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.CertificateCells441cc2b0d8.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.CertificateCells441cc2b0d8.thetaBelowCell1111331131113100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells441cc2b0d8.thetaBelowCell1111331131113133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5980303e93.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.CertificateCells5980303e93.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.CertificateCells5980303e93.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.CertificateCellsa9276513a2.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.CertificateCellsa9276513a2.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.CertificateCellsa9276513a2.thetaBelowCell111133113112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9972cada5a.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.CertificateCells9972cada5a.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.CertificateCellsa6306b8bb7.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.CertificateCellsa6306b8bb7.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.CertificateCellsa6306b8bb7.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.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa6306b8bb7.thetaBelowCell1111331131112033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.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.CertificateCellsc1e1941644.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.CertificateCellsc1e1941644.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.CertificateCellsc1e1941644.thetaBelowCell1111331131012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc1e1941644.thetaBelowCell1111331131012113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5a169f617b.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.CertificateCells5a169f617b.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.CertificateCells5a169f617b.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.CertificateCellsc15ab9b9a5.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.CertificateCellsc15ab9b9a5.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.CertificateCellsc15ab9b9a5.thetaBelowCell111133113013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells861ec8c785.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.CertificateCells861ec8c785.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.CertificateCells861ec8c785.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.CertificateCells854f59bf16.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.CertificateCells854f59bf16.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.CertificateCells854f59bf16.thetaBelowCell111133113000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell111133113001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell111133113002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell111133113003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells854f59bf16.thetaBelowCell1111331130011333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.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.CertificateCells5153122198.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.CertificateCells5153122198.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.CertificateCells5153122198.thetaBelowCell1111331131112100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5153122198.thetaBelowCell1111331131112133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.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.CertificateCells0a969d2c42.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.CertificateCells0a969d2c42.thetaBelowCell111133113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102013 : AngleCell

Subcell 1111331131102013 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102100 : AngleCell

Subcell 1111331131102100 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102101 : AngleCell

Subcell 1111331131102101 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102102 : AngleCell

Subcell 1111331131102102 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102103 : AngleCell

Subcell 1111331131102103 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102110 : AngleCell

Subcell 1111331131102110 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102111 : AngleCell

Subcell 1111331131102111 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102112 : AngleCell

Subcell 1111331131102112 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0a969d2c42.thetaBelowCell1111331131102113 : AngleCell

Subcell 1111331131102113 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.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.CertificateCells50ae5a428f.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.CertificateCells50ae5a428f.thetaBelowCell111133113110 : AngleCell

Subcell 111133113110 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101220 : AngleCell

Subcell 1111331131101220 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101221 : AngleCell

Subcell 1111331131101221 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101222 : AngleCell

Subcell 1111331131101222 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101223 : AngleCell

Subcell 1111331131101223 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101230 : AngleCell

Subcell 1111331131101230 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101231 : AngleCell

Subcell 1111331131101231 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101232 : AngleCell

Subcell 1111331131101232 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101233 : AngleCell

Subcell 1111331131101233 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101200 : AngleCell

Subcell 1111331131101200 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101201 : AngleCell

Subcell 1111331131101201 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101202 : AngleCell

Subcell 1111331131101202 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101203 : AngleCell

Subcell 1111331131101203 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101210 : AngleCell

Subcell 1111331131101210 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101211 : AngleCell

Subcell 1111331131101211 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101212 : AngleCell

Subcell 1111331131101212 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101213 : AngleCell

Subcell 1111331131101213 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101320 : AngleCell

Subcell 1111331131101320 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101321 : AngleCell

Subcell 1111331131101321 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101322 : AngleCell

Subcell 1111331131101322 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101323 : AngleCell

Subcell 1111331131101323 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101330 : AngleCell

Subcell 1111331131101330 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101331 : AngleCell

Subcell 1111331131101331 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101332 : AngleCell

Subcell 1111331131101332 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101333 : AngleCell

Subcell 1111331131101333 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101300 : AngleCell

Subcell 1111331131101300 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101301 : AngleCell

Subcell 1111331131101301 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101302 : AngleCell

Subcell 1111331131101302 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101303 : AngleCell

Subcell 1111331131101303 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101310 : AngleCell

Subcell 1111331131101310 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101311 : AngleCell

Subcell 1111331131101311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101312 : AngleCell

Subcell 1111331131101312 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50ae5a428f.thetaBelowCell1111331131101313 : AngleCell

Subcell 1111331131101313 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.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.CertificateCells754567fdeb.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.CertificateCells754567fdeb.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.CertificateCells754567fdeb.thetaAboveCell0000220021012200 : AngleCell

Subcell 0000220021012200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012201 : AngleCell

Subcell 0000220021012201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012202 : AngleCell

Subcell 0000220021012202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012203 : AngleCell

Subcell 0000220021012203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012210 : AngleCell

Subcell 0000220021012210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012211 : AngleCell

Subcell 0000220021012211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012212 : AngleCell

Subcell 0000220021012212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells754567fdeb.thetaAboveCell0000220021012213 : AngleCell

Subcell 0000220021012213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.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.CertificateCells146a7460c7.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.CertificateCells146a7460c7.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.CertificateCells146a7460c7.thetaAboveCell0000220021002200 : AngleCell

Subcell 0000220021002200 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002201 : AngleCell

Subcell 0000220021002201 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002202 : AngleCell

Subcell 0000220021002202 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002203 : AngleCell

Subcell 0000220021002203 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002210 : AngleCell

Subcell 0000220021002210 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002211 : AngleCell

Subcell 0000220021002211 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002212 : AngleCell

Subcell 0000220021002212 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells146a7460c7.thetaAboveCell0000220021002213 : AngleCell

Subcell 0000220021002213 of the theta-above root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.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.CertificateCells5446bfae87.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.CertificateCells5446bfae87.thetaBelowCell111133113110 : AngleCell

Subcell 111133113110 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100220 : AngleCell

Subcell 1111331131100220 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100221 : AngleCell

Subcell 1111331131100221 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100222 : AngleCell

Subcell 1111331131100222 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100223 : AngleCell

Subcell 1111331131100223 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100230 : AngleCell

Subcell 1111331131100230 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100231 : AngleCell

Subcell 1111331131100231 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100232 : AngleCell

Subcell 1111331131100232 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100233 : AngleCell

Subcell 1111331131100233 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100200 : AngleCell

Subcell 1111331131100200 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100201 : AngleCell

Subcell 1111331131100201 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100202 : AngleCell

Subcell 1111331131100202 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100203 : AngleCell

Subcell 1111331131100203 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100210 : AngleCell

Subcell 1111331131100210 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100211 : AngleCell

Subcell 1111331131100211 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100212 : AngleCell

Subcell 1111331131100212 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100213 : AngleCell

Subcell 1111331131100213 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100320 : AngleCell

Subcell 1111331131100320 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100321 : AngleCell

Subcell 1111331131100321 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100322 : AngleCell

Subcell 1111331131100322 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100323 : AngleCell

Subcell 1111331131100323 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100330 : AngleCell

Subcell 1111331131100330 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100331 : AngleCell

Subcell 1111331131100331 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100332 : AngleCell

Subcell 1111331131100332 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100333 : AngleCell

Subcell 1111331131100333 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100300 : AngleCell

Subcell 1111331131100300 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100301 : AngleCell

Subcell 1111331131100301 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100302 : AngleCell

Subcell 1111331131100302 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100303 : AngleCell

Subcell 1111331131100303 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100310 : AngleCell

Subcell 1111331131100310 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100311 : AngleCell

Subcell 1111331131100311 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100312 : AngleCell

Subcell 1111331131100312 of the theta-below root; digits 0–3 mean LL, LH, HL, HH.

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5446bfae87.thetaBelowCell1111331131100313 : AngleCell

Subcell 1111331131100313 of the 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.E24KC6R4Subtree01d19858ee032aa8.
• KernelOnly.PartE.E24KC6R4Subtree04c8a4da4d3d19a1.
• KernelOnly.PartE.E24KC6R4Subtree1033056e03edbb99.
• KernelOnly.PartE.E24KC6R4Subtree1952c351f5a890d0.
• KernelOnly.PartE.E24KC6R4Subtree1974d41b8023f47d.
• KernelOnly.PartE.E24KC6R4Subtree19ea3647d9c4385d.
• KernelOnly.PartE.E24KC6R4Subtree1df7325990c509b9.
• KernelOnly.PartE.E24KC6R4Subtree1ec47ff132608c89.
• KernelOnly.PartE.E24KC6R4Subtree23aa11edc1c0beab.
• KernelOnly.PartE.E24KC6R4Subtree291bec528ce09a45.
• KernelOnly.PartE.E24KC6R4Subtree31a1bf2506de3a6b.
• KernelOnly.PartE.E24KC6R4Subtree35d8a6b024243cfb.
• KernelOnly.PartE.E24KC6R4Subtree369cc1bf8a73ac93.
• KernelOnly.PartE.E24KC6R4Subtree3bdce31885f964fb.
• KernelOnly.PartE.E24KC6R4Subtree3e7c6f0a436cdb12.
• KernelOnly.PartE.E24KC6R4Subtree403b497f85c69738.
• KernelOnly.PartE.E24KC6R4Subtree428fdb9c294c5957.
• KernelOnly.PartE.E24KC6R4Subtree4417485270da2542.
• KernelOnly.PartE.E24KC6R4Subtree55d98d161eaa82bf.
• KernelOnly.PartE.E24KC6R4Subtree60715e5435db178e.
• KernelOnly.PartE.E24KC6R4Subtree60cca7d0a876716e.
• KernelOnly.PartE.E24KC6R4Subtree639075a28aed7212.
• KernelOnly.PartE.E24KC6R4Subtree6ec7ee50125cb2b8.
• KernelOnly.PartE.E24KC6R4Subtree70c72a172c9cfd93.
• KernelOnly.PartE.E24KC6R4Subtree70d61ab175d41a4a.
• KernelOnly.PartE.E24KC6R4Subtree7734a7147db71699.
• KernelOnly.PartE.E24KC6R4Subtree77fe1988ff8cd192.
• KernelOnly.PartE.E24KC6R4Subtree7a80e3dfcc4f34f3.
• KernelOnly.PartE.E24KC6R4Subtree7a9ec2fb66ec8862.
• KernelOnly.PartE.E24KC6R4Subtree7ae79e99a9b79eaf.

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_49690a55e534 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_ca9ffb091c53 : adaptiveCoverCheck 4 (childHH (childLL CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_afcf5ef458d7 : adaptiveCoverCheck 5 (childLL CertificateCells27082ce600.thetaBelowCell111133113010) = true

theorem GerverSofa.PartE.cover_subtree_51fb51ed5b56 : adaptiveCoverCheck 4 (childLL (childLH CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_f305258c7368 : adaptiveCoverCheck 4 (childLH (childLH CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_5599471dbfbf : adaptiveCoverCheck 4 (childHL (childLH CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_5b939cb0e15c : adaptiveCoverCheck 4 (childHH (childLH CertificateCells27082ce600.thetaBelowCell111133113010)) = true

theorem GerverSofa.PartE.cover_subtree_2f4f93c67946 : adaptiveCoverCheck 5 (childLH CertificateCells27082ce600.thetaBelowCell111133113010) = true

theorem GerverSofa.PartE.cover_subtree_1374b272a307 : adaptiveCoverCheck 5 (childHL CertificateCells27082ce600.thetaBelowCell111133113010) = true

theorem GerverSofa.PartE.cover_subtree_91c9f04664e0 : adaptiveCoverCheck 5 (childHH CertificateCells27082ce600.thetaBelowCell111133113010) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c1_c0 : adaptiveCoverCheck 6 CertificateCells27082ce600.thetaBelowCell111133113010 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c2 : adaptiveCoverCheck 7 (childHL (childLH (childHH CertificateCellsc3c599388b.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c2 : adaptiveCoverCheck 8 (childHL (childLH (childHL CertificateCells6f9c2931ea.thetaAboveCell00002200))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_f2e068b42d23 : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_6c2a359fbe9a : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_fe0ef8f0f647 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_fdabca9a4955 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_c4b02e6e9e8a : adaptiveCoverCheck 5 (childLL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101)) = true

theorem GerverSofa.PartE.cover_subtree_6859a502ecc6 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_f4d742b10a6f : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_659abecde61a : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_ad8d4e6209b9 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_465622ba8fb4 : adaptiveCoverCheck 5 (childLH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101)) = true

theorem GerverSofa.PartE.cover_subtree_f5a0481cebfc : adaptiveCoverCheck 5 (childHL (childHH CertificateCells5955d51af9.thetaAboveCell000022002101)) = true

theorem GerverSofa.PartE.cover_subtree_c6ead7987dc9 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells5955d51af9.thetaAboveCell000022002101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c3 : adaptiveCoverCheck 6 (childHH CertificateCells5955d51af9.thetaAboveCell000022002101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_0d52430fd500 : adaptiveCoverCheck 4 (childLL (childLL CertificateCellsde04ff5fef.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.cover_subtree_f0f2a49a1c42 : adaptiveCoverCheck 4 (childLH (childLL CertificateCellsde04ff5fef.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.cover_subtree_ac65d29ed71a : adaptiveCoverCheck 4 (childHL (childLL CertificateCellsde04ff5fef.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.cover_subtree_b80d2217aa18 : adaptiveCoverCheck 4 (childHH (childLL CertificateCellsde04ff5fef.thetaBelowCell111133113100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c0_c0 : adaptiveCoverCheck 5 (childLL CertificateCellsde04ff5fef.thetaBelowCell111133113100) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c2 : adaptiveCoverCheck 6 CertificateCells750522796b.thetaBelowCell111133113102 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_bda1c51066a4 : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCells99ba2b246f.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_c820aa5287c7 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells99ba2b246f.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_538d3ba3b92e : adaptiveCoverCheck 3 CertificateCells99ba2b246f.thetaAboveCell0000220021012120 = true

theorem GerverSofa.PartE.cover_subtree_ba0b8d4abb41 : adaptiveCoverCheck 3 CertificateCells99ba2b246f.thetaAboveCell0000220021012121 = true

theorem GerverSofa.PartE.cover_subtree_d11d13dd2be9 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells99ba2b246f.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.cover_subtree_60696ffddf60 : adaptiveCoverCheck 3 CertificateCells99ba2b246f.thetaAboveCell0000220021012130 = true

theorem GerverSofa.PartE.cover_subtree_90c18ca6ca12 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells99ba2b246f.thetaAboveCell000022002101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c2_c1 : adaptiveCoverCheck 5 (childLH (childHL CertificateCells99ba2b246f.thetaAboveCell000022002101)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_100284623361 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_06468370fe05 : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_a6aeae3aff5e : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_e6a5a6a1c8c7 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_b7bd7dd08527 : adaptiveCoverCheck 5 (childLL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_19177aff5ede : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_a6e5897577a8 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_c0e11192bd72 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_3544788b12c5 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111))) = true

theorem GerverSofa.PartE.cover_subtree_4f053fea53cc : adaptiveCoverCheck 5 (childLH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_ad3586fc5d64 : adaptiveCoverCheck 5 (childHL (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.cover_subtree_a8dfb5281914 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c1_c2 : adaptiveCoverCheck 6 (childHL CertificateCells6443c5ba4b.thetaAboveCell000022002111) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c1 : adaptiveCoverCheck 6 (childLH CertificateCells03dbb8f506.thetaAboveCell000022002101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells15b8ca5094.thetaAboveCell000022002101)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c2_c2 : adaptiveCoverCheck 4 (childHL (childHL CertificateCellsecf9e4e90b.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_4cc417ccb089 : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_3b70ffafef44 : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_dcf1d830bfb7 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_8808b93a2a5b : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_adc568740138 : adaptiveCoverCheck 5 (childLL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_9d7ffe00b1e7 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_0d9aaf9c725c : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_d26de62ce5c2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_6e084944e1b7 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110))) = true

theorem GerverSofa.PartE.cover_subtree_e73271ac6053 : adaptiveCoverCheck 5 (childLH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_0ec46983a3e4 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.cover_subtree_5cbb0735d9b5 : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c0_c3 : adaptiveCoverCheck 6 (childHH CertificateCellsdb6ee29ee4.thetaAboveCell000022002110) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c3 : adaptiveCoverCheck 8 (childHH (childLH (childHL CertificateCells4003309a28.thetaAboveCell00002200))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCellsf3f1dbc459.thetaAboveCell000022002100)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_9a19b7b479a6 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113100 = true

theorem GerverSofa.PartE.cover_subtree_d45287132b6e : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113101 = true

theorem GerverSofa.PartE.cover_subtree_e155163f58e6 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113102 = true

theorem GerverSofa.PartE.cover_subtree_8c5c60491e76 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113103 = true

theorem GerverSofa.PartE.cover_subtree_deda1d8f689c : adaptiveCoverCheck 3 (childLL (childLH (childHH CertificateCells441cc2b0d8.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_afe933400d68 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113110 = true

theorem GerverSofa.PartE.cover_subtree_3d26797fa2c0 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113111 = true

theorem GerverSofa.PartE.cover_subtree_2306090dc6e1 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113112 = true

theorem GerverSofa.PartE.cover_subtree_f50a24eff089 : adaptiveCoverCheck 2 CertificateCells441cc2b0d8.thetaBelowCell1111331131113113 = true

theorem GerverSofa.PartE.cover_subtree_5a8fcf48e536 : adaptiveCoverCheck 3 (childLH (childLH (childHH CertificateCells441cc2b0d8.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c3_c1 : adaptiveCoverCheck 4 (childLH (childHH CertificateCells441cc2b0d8.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c0_c1 : adaptiveCoverCheck 6 (childLH CertificateCells5980303e93.thetaAboveCell000022002110) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c2 : adaptiveCoverCheck 6 CertificateCellsa9276513a2.thetaBelowCell111133113112 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c2 : adaptiveCoverCheck 8 (childHL (childHH CertificateCells9972cada5a.thetaBelowCell11113311)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_64ca6a23a782 : adaptiveCoverCheck 3 (childLL (childLL (childHL CertificateCellsa6306b8bb7.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_5f702c8c435f : adaptiveCoverCheck 3 (childLH (childLL (childHL CertificateCellsa6306b8bb7.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c2_c0 : adaptiveCoverCheck 4 (childLL (childHL CertificateCellsa6306b8bb7.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c1_c2 : adaptiveCoverCheck 5 (childHL CertificateCellsc1e1941644.thetaBelowCell111133113101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c1_c1 : adaptiveCoverCheck 6 (childLH CertificateCells5a169f617b.thetaAboveCell000022002111) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c1_c3 : adaptiveCoverCheck 6 CertificateCellsc15ab9b9a5.thetaBelowCell111133113013 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c0_c0 : adaptiveCoverCheck 6 (childLL CertificateCells861ec8c785.thetaAboveCell000022002110) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_868906559995 : adaptiveCoverCheck 5 (childLL CertificateCells854f59bf16.thetaBelowCell111133113000) = true

theorem GerverSofa.PartE.cover_subtree_cf661e32fd3c : adaptiveCoverCheck 5 (childLH CertificateCells854f59bf16.thetaBelowCell111133113000) = true

theorem GerverSofa.PartE.cover_subtree_852412a1da1f : adaptiveCoverCheck 6 CertificateCells854f59bf16.thetaBelowCell111133113000 = true

theorem GerverSofa.PartE.cover_subtree_5c713f8b8f83 : adaptiveCoverCheck 5 (childLL CertificateCells854f59bf16.thetaBelowCell111133113001) = true

theorem GerverSofa.PartE.cover_subtree_9ce321b0f1ea : adaptiveCoverCheck 4 (childHH (childLH CertificateCells854f59bf16.thetaBelowCell111133113001)) = true

theorem GerverSofa.PartE.cover_subtree_5f41a0b225f7 : adaptiveCoverCheck 5 (childLH CertificateCells854f59bf16.thetaBelowCell111133113001) = true

theorem GerverSofa.PartE.cover_subtree_dce958c46e4b : adaptiveCoverCheck 5 (childHL CertificateCells854f59bf16.thetaBelowCell111133113001) = true

theorem GerverSofa.PartE.cover_subtree_5f44219dd9e0 : adaptiveCoverCheck 5 (childHH CertificateCells854f59bf16.thetaBelowCell111133113001) = true

theorem GerverSofa.PartE.cover_subtree_f79674f0cd5e : adaptiveCoverCheck 6 CertificateCells854f59bf16.thetaBelowCell111133113001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c0_c0 : adaptiveCoverCheck 7 (childLL (childLL (childHH CertificateCells854f59bf16.thetaBelowCell11113311))) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_4d0609015f95 : adaptiveCoverCheck 2 CertificateCells5153122198.thetaBelowCell1111331131112100 = true

theorem GerverSofa.PartE.cover_subtree_dc10eb0281eb : adaptiveCoverCheck 2 CertificateCells5153122198.thetaBelowCell1111331131112101 = true

theorem GerverSofa.PartE.cover_subtree_115058b1a8cb : adaptiveCoverCheck 3 (childLL (childLH (childHL CertificateCells5153122198.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_73eb4fcea78d : adaptiveCoverCheck 2 CertificateCells5153122198.thetaBelowCell1111331131112110 = true

theorem GerverSofa.PartE.cover_subtree_44584246e90e : adaptiveCoverCheck 2 CertificateCells5153122198.thetaBelowCell1111331131112111 = true

theorem GerverSofa.PartE.cover_subtree_0e57e75e5954 : adaptiveCoverCheck 3 (childLH (childLH (childHL CertificateCells5153122198.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c2_c1 : adaptiveCoverCheck 4 (childLH (childHL CertificateCells5153122198.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_6164650f4936 : adaptiveCoverCheck 3 (childLL (childLL (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_3db66bc1eb1b : adaptiveCoverCheck 3 (childLH (childLL (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_3f70d11b4e7e : adaptiveCoverCheck 4 (childLL (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.cover_subtree_261557c5db75 : adaptiveCoverCheck 3 (childLL (childLH (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_12428cd495c4 : adaptiveCoverCheck 3 (childLH (childLH (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_adb043cdb732 : adaptiveCoverCheck 4 (childLH (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c0_c2 : adaptiveCoverCheck 5 (childHL CertificateCells0a969d2c42.thetaBelowCell111133113110) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_2e97d4844408 : adaptiveCoverCheck 3 (childHL (childHL (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_0dc0f2664d18 : adaptiveCoverCheck 3 (childHH (childHL (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_60a2aff6cef2 : adaptiveCoverCheck 4 (childHL (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.cover_subtree_ab4066e0c111 : adaptiveCoverCheck 3 (childHL (childHH (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_8607f2894d1c : adaptiveCoverCheck 3 (childHH (childHH (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_dca1503025ec : adaptiveCoverCheck 4 (childHH (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c0_c1 : adaptiveCoverCheck 5 (childLH CertificateCells50ae5a428f.thetaBelowCell111133113110) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c1_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCells754567fdeb.thetaAboveCell000022002101)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCells146a7460c7.thetaAboveCell000022002100)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_847043a66fa6 : adaptiveCoverCheck 3 (childHL (childHL (childLL CertificateCells5446bfae87.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_9cd5da4b1592 : adaptiveCoverCheck 3 (childHH (childHL (childLL CertificateCells5446bfae87.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_49612604cfd8 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells5446bfae87.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.cover_subtree_e94de792d061 : adaptiveCoverCheck 3 (childHL (childHH (childLL CertificateCells5446bfae87.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_0fbb14a9cae8 : adaptiveCoverCheck 3 (childHH (childHH (childLL CertificateCells5446bfae87.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_ac6486a45a05 : adaptiveCoverCheck 4 (childHH (childLL CertificateCells5446bfae87.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c0_c0 : adaptiveCoverCheck 5 (childLL CertificateCells5446bfae87.thetaBelowCell111133113110) = true