Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch031.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.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.CertificateCells4f78f3c271.thetaAboveCell00002201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell00002210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022100333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022101333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022102133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell000022103033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131002313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131003313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131102133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4f78f3c271.thetaAboveCell0000220131103033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.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.CertificateCellsea4abf6409.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.CertificateCellsea4abf6409.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.CertificateCellsea4abf6409.thetaAboveCell0000220021003300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea4abf6409.thetaAboveCell0000220021003313 : AngleCell

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

Equations

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

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC6ProofBatchF910cf651a2033b4.
• KernelOnly.PartE.E24KC6R4Subtree001eda2c378d570b.

E24KC6 explicit proof-producing certificate batch.

theorem GerverSofa.PartE.cover_subtree_be10dc5c5840 : adaptiveCoverCheck 5 (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_e2664fa77be7 : adaptiveCoverCheck 5 (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_aabbbf73f733 : adaptiveCoverCheck 5 (childHL (childHL CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_9241fb51793c : adaptiveCoverCheck 5 (childHH (childHL CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_2c937348b9e5 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022013100) = true

theorem GerverSofa.PartE.cover_subtree_ebd2440c450c : adaptiveCoverCheck 5 (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_7da0e2645020 : adaptiveCoverCheck 5 (childLH (childHH CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_f0b1927352c1 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_183a71e75e23 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells4f78f3c271.thetaAboveCell000022013100)) = true

theorem GerverSofa.PartE.cover_subtree_fed838534b7a : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022013100) = true

theorem GerverSofa.PartE.cover_subtree_90b4414de137 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013100 = true

theorem GerverSofa.PartE.cover_subtree_68d45fba5878 : adaptiveCoverCheck 5 (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_1378cfbe9d41 : adaptiveCoverCheck 5 (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_d4c18a11dbdf : adaptiveCoverCheck 5 (childHL (childHL CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_5c02510827fa : adaptiveCoverCheck 5 (childHH (childHL CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_a9496679df68 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022013101) = true

theorem GerverSofa.PartE.cover_subtree_489a9c102105 : adaptiveCoverCheck 5 (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_83fbbe580c99 : adaptiveCoverCheck 5 (childLH (childHH CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_41d6d032c729 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells4f78f3c271.thetaAboveCell000022013101)) = true

theorem GerverSofa.PartE.cover_subtree_51fa07c59358 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022013101) = true

theorem GerverSofa.PartE.cover_subtree_e719563f2a9a : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013101 = true

theorem GerverSofa.PartE.cover_subtree_5da232081c3f : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022013102) = true

theorem GerverSofa.PartE.cover_subtree_5c0d2361729f : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022013102) = true

theorem GerverSofa.PartE.cover_subtree_7dff7749156d : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013102 = true

theorem GerverSofa.PartE.cover_subtree_c4dcfe2e3e24 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022013103) = true

theorem GerverSofa.PartE.cover_subtree_264dbac80856 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022013103) = true

theorem GerverSofa.PartE.cover_subtree_e684324b85dc : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013103 = true

theorem GerverSofa.PartE.cover_subtree_ce7ce9f6c591 : adaptiveCoverCheck 8 (childLL (childLH (childHH CertificateCells4f78f3c271.thetaAboveCell00002201))) = true

theorem GerverSofa.PartE.cover_subtree_a70ca499a0b4 : adaptiveCoverCheck 5 (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell000022013110)) = true

theorem GerverSofa.PartE.cover_subtree_6d4fa0be4462 : adaptiveCoverCheck 5 (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell000022013110)) = true

theorem GerverSofa.PartE.cover_subtree_a8973ec340e4 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022013110) = true

theorem GerverSofa.PartE.cover_subtree_3831ad0b2d96 : adaptiveCoverCheck 5 (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell000022013110)) = true

theorem GerverSofa.PartE.cover_subtree_209916dfc771 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022013110) = true

theorem GerverSofa.PartE.cover_subtree_9102dd71dbed : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013110 = true

theorem GerverSofa.PartE.cover_subtree_62849ad9787b : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022013111) = true

theorem GerverSofa.PartE.cover_subtree_bfb0ae9bf369 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022013111) = true

theorem GerverSofa.PartE.cover_subtree_eaa4ec2c0c14 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013111 = true

theorem GerverSofa.PartE.cover_subtree_e17df11d5039 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022013112) = true

theorem GerverSofa.PartE.cover_subtree_c71b0926b90d : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022013112) = true

theorem GerverSofa.PartE.cover_subtree_9a7254ea80d1 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013112 = true

theorem GerverSofa.PartE.cover_subtree_6a20205ec3a1 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022013113) = true

theorem GerverSofa.PartE.cover_subtree_1b35fa72d695 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022013113) = true

theorem GerverSofa.PartE.cover_subtree_19dbc3a1cabf : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022013113 = true

theorem GerverSofa.PartE.cover_subtree_306835c71900 : adaptiveCoverCheck 8 (childLH (childLH (childHH CertificateCells4f78f3c271.thetaAboveCell00002201))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220131 : adaptiveCoverCheck 9 (childLH (childHH CertificateCells4f78f3c271.thetaAboveCell00002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220132 : adaptiveCoverCheck 9 (childHL (childHH CertificateCells4f78f3c271.thetaAboveCell00002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220133 : adaptiveCoverCheck 9 (childHH (childHH CertificateCells4f78f3c271.thetaAboveCell00002201)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.cover_subtree_c6b00b0efe5e : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102000) = true

theorem GerverSofa.PartE.cover_subtree_da57798dbd9f : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102000) = true

theorem GerverSofa.PartE.cover_subtree_bf93e03bf258 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102000 = true

theorem GerverSofa.PartE.cover_subtree_77f8696b5d47 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102001) = true

theorem GerverSofa.PartE.cover_subtree_d9ace3f5364c : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102001) = true

theorem GerverSofa.PartE.cover_subtree_31e6b90084eb : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102001 = true

theorem GerverSofa.PartE.cover_subtree_bf46f98b974d : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102002) = true

theorem GerverSofa.PartE.cover_subtree_1ce6ea29c41d : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102002) = true

theorem GerverSofa.PartE.cover_subtree_5f2916b0629e : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102002 = true

theorem GerverSofa.PartE.cover_subtree_bf2a6b948a6e : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102003) = true

theorem GerverSofa.PartE.cover_subtree_80d3b8565aa4 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102003) = true

theorem GerverSofa.PartE.cover_subtree_256b0c79e2b4 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102003 = true

theorem GerverSofa.PartE.cover_subtree_2cb6fcc01da2 : adaptiveCoverCheck 8 (childLL (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.cover_subtree_9079844093a9 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102010) = true

theorem GerverSofa.PartE.cover_subtree_dfea94ec6240 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102010) = true

theorem GerverSofa.PartE.cover_subtree_b660fcad9ea4 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102010 = true

theorem GerverSofa.PartE.cover_subtree_5c3913aa5f15 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102011) = true

theorem GerverSofa.PartE.cover_subtree_fbab0316abef : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102011) = true

theorem GerverSofa.PartE.cover_subtree_c4d768804304 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102011 = true

theorem GerverSofa.PartE.cover_subtree_241920b95407 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102012) = true

theorem GerverSofa.PartE.cover_subtree_7da00eb7f7ae : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102012) = true

theorem GerverSofa.PartE.cover_subtree_f82bf90640b6 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102012 = true

theorem GerverSofa.PartE.cover_subtree_afdbba9126b4 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102013) = true

theorem GerverSofa.PartE.cover_subtree_66c22a722e78 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102013) = true

theorem GerverSofa.PartE.cover_subtree_21534bc80804 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102013 = true

theorem GerverSofa.PartE.cover_subtree_e39770fd6802 : adaptiveCoverCheck 8 (childLH (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221020 : adaptiveCoverCheck 9 (childLL (childHL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.cover_subtree_5ec7a41b8f5f : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102100) = true

theorem GerverSofa.PartE.cover_subtree_cd20ac2a69b7 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102100) = true

theorem GerverSofa.PartE.cover_subtree_15babda5d60b : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102100 = true

theorem GerverSofa.PartE.cover_subtree_b76fce14d656 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102101) = true

theorem GerverSofa.PartE.cover_subtree_b7fed3746307 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102101) = true

theorem GerverSofa.PartE.cover_subtree_a92382a463a3 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102101 = true

theorem GerverSofa.PartE.cover_subtree_1f53d26ec077 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102102) = true

theorem GerverSofa.PartE.cover_subtree_d3e2670ab1ea : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102102) = true

theorem GerverSofa.PartE.cover_subtree_98de717668b3 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102102 = true

theorem GerverSofa.PartE.cover_subtree_db5013993ba5 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102103) = true

theorem GerverSofa.PartE.cover_subtree_9589615e51ad : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102103) = true

theorem GerverSofa.PartE.cover_subtree_fdef224c05a8 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102103 = true

theorem GerverSofa.PartE.cover_subtree_6fb265308e16 : adaptiveCoverCheck 8 (childLL (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.cover_subtree_460dcf0085c5 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102110) = true

theorem GerverSofa.PartE.cover_subtree_51ce5942d936 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102110) = true

theorem GerverSofa.PartE.cover_subtree_2be474cb7a0f : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102110 = true

theorem GerverSofa.PartE.cover_subtree_4bc40a8305e2 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022102111) = true

theorem GerverSofa.PartE.cover_subtree_bc2667f250d6 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022102111) = true

theorem GerverSofa.PartE.cover_subtree_100b7236ad12 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102111 = true

theorem GerverSofa.PartE.cover_subtree_968e16bde444 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102112) = true

theorem GerverSofa.PartE.cover_subtree_069815638772 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102112) = true

theorem GerverSofa.PartE.cover_subtree_da19516a51b8 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102112 = true

theorem GerverSofa.PartE.cover_subtree_7602df0c45bd : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022102113) = true

theorem GerverSofa.PartE.cover_subtree_4f04fe0498c3 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022102113) = true

theorem GerverSofa.PartE.cover_subtree_69b60a777b1c : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022102113 = true

theorem GerverSofa.PartE.cover_subtree_13f3502e8052 : adaptiveCoverCheck 8 (childLH (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221021 : adaptiveCoverCheck 9 (childLH (childHL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221022 : adaptiveCoverCheck 9 (childHL (childHL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221023 : adaptiveCoverCheck 9 (childHH (childHL CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

theorem GerverSofa.PartE.cover_subtree_4e4a856a348d : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022103000) = true

theorem GerverSofa.PartE.cover_subtree_a9ec07ce774e : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022103000) = true

theorem GerverSofa.PartE.cover_subtree_4f8bdd1a7038 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103000 = true

theorem GerverSofa.PartE.cover_subtree_45d6d513875c : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022103001) = true

theorem GerverSofa.PartE.cover_subtree_e48f2ce51ae0 : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022103001) = true

theorem GerverSofa.PartE.cover_subtree_3fbacc491dec : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103001 = true

theorem GerverSofa.PartE.cover_subtree_c5ade50b08f1 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022103002) = true

theorem GerverSofa.PartE.cover_subtree_65c0c0fb0c61 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022103002) = true

theorem GerverSofa.PartE.cover_subtree_81fc74c0ffd0 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103002 = true

theorem GerverSofa.PartE.cover_subtree_7eb489ebb172 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022103003) = true

theorem GerverSofa.PartE.cover_subtree_f21141f5d5d1 : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022103003) = true

theorem GerverSofa.PartE.cover_subtree_ac4f9a09671e : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103003 = true

theorem GerverSofa.PartE.cover_subtree_dc732abf341f : adaptiveCoverCheck 8 (childLL (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.cover_subtree_4c23e9a4e125 : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022103010) = true

theorem GerverSofa.PartE.cover_subtree_100c345ae68a : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022103010) = true

theorem GerverSofa.PartE.cover_subtree_712a58fdc8d3 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103010 = true

theorem GerverSofa.PartE.cover_subtree_38c5b4ed074a : adaptiveCoverCheck 6 (childHL CertificateCells4f78f3c271.thetaAboveCell000022103011) = true

theorem GerverSofa.PartE.cover_subtree_0e2d12c802dd : adaptiveCoverCheck 6 (childHH CertificateCells4f78f3c271.thetaAboveCell000022103011) = true

theorem GerverSofa.PartE.cover_subtree_cb9f911d2fd7 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103011 = true

theorem GerverSofa.PartE.cover_subtree_f068368a2274 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022103012) = true

theorem GerverSofa.PartE.cover_subtree_2a95bb96602e : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022103012) = true

theorem GerverSofa.PartE.cover_subtree_75584557442b : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103012 = true

theorem GerverSofa.PartE.cover_subtree_5dbf852f82f6 : adaptiveCoverCheck 6 (childLL CertificateCells4f78f3c271.thetaAboveCell000022103013) = true

theorem GerverSofa.PartE.cover_subtree_4ebc7849af7a : adaptiveCoverCheck 6 (childLH CertificateCells4f78f3c271.thetaAboveCell000022103013) = true

theorem GerverSofa.PartE.cover_subtree_e5feda84d791 : adaptiveCoverCheck 7 CertificateCells4f78f3c271.thetaAboveCell000022103013 = true

theorem GerverSofa.PartE.cover_subtree_7644ff41fef4 : adaptiveCoverCheck 8 (childLH (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell00002210))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000221030 : adaptiveCoverCheck 9 (childLL (childHH CertificateCells4f78f3c271.thetaAboveCell00002210)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c3_c3 : adaptiveCoverCheck 5 (childHH (childHH CertificateCellsea4abf6409.thetaAboveCell000022002100)) = true