Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch042.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells508bd70e72.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.CertificateCells508bd70e72.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.CertificateCells508bd70e72.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells508bd70e72.thetaAboveCell0000220020002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2ebb3ae727.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.CertificateCells2ebb3ae727.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.CertificateCells2ebb3ae727.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2ebb3ae727.thetaAboveCell0000220020002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells808549b800.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.CertificateCells808549b800.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.CertificateCells808549b800.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd717193e27.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.CertificateCellsd717193e27.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.CertificateCellsd717193e27.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc9eea5ae86.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.CertificateCellsc9eea5ae86.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.CertificateCellsc9eea5ae86.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells883d9c2359.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.CertificateCells883d9c2359.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.CertificateCells883d9c2359.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells81adac8f59.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.CertificateCells81adac8f59.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.CertificateCells81adac8f59.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells81adac8f59.thetaAboveCell0000220020003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd02c0d99aa.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.CertificateCellsd02c0d99aa.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.CertificateCellsd02c0d99aa.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd02c0d99aa.thetaAboveCell0000220020003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb3e2fb602b.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.CertificateCellsb3e2fb602b.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.CertificateCellsb3e2fb602b.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb3e2fb602b.thetaAboveCell0000220020003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4e515808c8.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.CertificateCells4e515808c8.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.CertificateCells4e515808c8.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4e515808c8.thetaAboveCell0000220020003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc37a4f0e7c.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.CertificateCellsc37a4f0e7c.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.CertificateCellsc37a4f0e7c.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc37a4f0e7c.thetaAboveCell0000220020003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6662eefeaf.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.CertificateCells6662eefeaf.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.CertificateCells6662eefeaf.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6662eefeaf.thetaAboveCell0000220020003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9cbe967e81.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.CertificateCells9cbe967e81.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.CertificateCells9cbe967e81.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9cbe967e81.thetaAboveCell0000220020003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells868d9f8f69.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.CertificateCells868d9f8f69.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.CertificateCells868d9f8f69.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells868d9f8f69.thetaAboveCell0000220020003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3c1ed7e077.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.CertificateCells3c1ed7e077.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.CertificateCells3c1ed7e077.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsda1171cd1c.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.CertificateCellsda1171cd1c.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.CertificateCellsda1171cd1c.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells00487431af.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.CertificateCells00487431af.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.CertificateCells00487431af.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells00487431af.thetaAboveCell0000220020003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsebfda2d52e.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.CertificateCellsebfda2d52e.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.CertificateCellsebfda2d52e.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsebfda2d52e.thetaAboveCell0000220020003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0d7543751e.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.CertificateCells0d7543751e.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.CertificateCells0d7543751e.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0d7543751e.thetaAboveCell0000220020003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d57dcf8b1.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.CertificateCells3d57dcf8b1.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.CertificateCells3d57dcf8b1.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d57dcf8b1.thetaAboveCell0000220020003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells280bbc9838.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.CertificateCells280bbc9838.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.CertificateCells280bbc9838.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells280bbc9838.thetaAboveCell0000220020003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells86fd793561.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.CertificateCells86fd793561.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.CertificateCells86fd793561.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells86fd793561.thetaAboveCell0000220020003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc0e73f28b6.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.CertificateCellsc0e73f28b6.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.CertificateCellsc0e73f28b6.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc0e73f28b6.thetaAboveCell0000220020003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells97ab098fbd.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.CertificateCells97ab098fbd.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.CertificateCells97ab098fbd.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells97ab098fbd.thetaAboveCell0000220020003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells90296eb122.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.CertificateCells90296eb122.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.CertificateCells90296eb122.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells48c4f5a54f.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.CertificateCells48c4f5a54f.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.CertificateCells48c4f5a54f.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd47d097993.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.CertificateCellsd47d097993.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.CertificateCellsd47d097993.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells861c7fa81d.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.CertificateCells861c7fa81d.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.CertificateCells861c7fa81d.thetaAboveCell000022002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells96a538a32c.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.CertificateCells96a538a32c.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.CertificateCells96a538a32c.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells867b92c925.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.CertificateCells867b92c925.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.CertificateCells867b92c925.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse8beb6dc5c.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.CertificateCellse8beb6dc5c.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.CertificateCellse8beb6dc5c.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse8beb6dc5c.thetaAboveCell0000220020012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa4fa334623.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.CertificateCellsa4fa334623.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.CertificateCellsa4fa334623.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa4fa334623.thetaAboveCell0000220020012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd70a3df0a0.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.CertificateCellsd70a3df0a0.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.CertificateCellsd70a3df0a0.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd70a3df0a0.thetaAboveCell0000220020012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells02a2748806.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.CertificateCells02a2748806.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.CertificateCells02a2748806.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells02a2748806.thetaAboveCell0000220020012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3863a30667.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.CertificateCells3863a30667.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.CertificateCells3863a30667.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3863a30667.thetaAboveCell0000220020012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd6d3f4989a.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.CertificateCellsd6d3f4989a.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.CertificateCellsd6d3f4989a.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd6d3f4989a.thetaAboveCell0000220020012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb420376865.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.CertificateCellsb420376865.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.CertificateCellsb420376865.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb420376865.thetaAboveCell0000220020012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa9306cab0b.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.CertificateCellsa9306cab0b.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.CertificateCellsa9306cab0b.thetaAboveCell000022002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa9306cab0b.thetaAboveCell0000220020012013 : AngleCell

Subcell 0000220020012013 of the 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.ThetaAbove.Leaf00504.
• KernelOnly.PartE.ThetaAbove.Leaf00505.
• KernelOnly.PartE.ThetaAbove.Leaf00507.
• KernelOnly.PartE.ThetaAbove.Leaf00508.
• KernelOnly.PartE.ThetaAbove.Leaf00510.
• KernelOnly.PartE.ThetaAbove.Leaf00511.
• KernelOnly.PartE.ThetaAbove.Leaf00516.
• KernelOnly.PartE.ThetaAbove.Leaf00517.
• KernelOnly.PartE.ThetaAbove.Leaf00518.
• KernelOnly.PartE.ThetaAbove.Leaf00519.
• KernelOnly.PartE.ThetaAbove.Leaf00522.
• KernelOnly.PartE.ThetaAbove.Leaf00523.
• KernelOnly.PartE.ThetaAbove.Leaf00524.
• KernelOnly.PartE.ThetaAbove.Leaf00525.
• KernelOnly.PartE.ThetaAbove.Leaf00527.
• KernelOnly.PartE.ThetaAbove.Leaf00528.
• KernelOnly.PartE.ThetaAbove.Leaf00532.
• KernelOnly.PartE.ThetaAbove.Leaf00533.
• KernelOnly.PartE.ThetaAbove.Leaf00534.
• KernelOnly.PartE.ThetaAbove.Leaf00535.
• KernelOnly.PartE.ThetaAbove.Leaf00538.
• KernelOnly.PartE.ThetaAbove.Leaf00539.
• KernelOnly.PartE.ThetaAbove.Leaf00540.
• KernelOnly.PartE.ThetaAbove.Leaf00541.
• KernelOnly.PartE.ThetaAbove.Leaf00543.
• KernelOnly.PartE.ThetaAbove.Leaf00544.
• KernelOnly.PartE.ThetaAbove.Leaf00546.
• KernelOnly.PartE.ThetaAbove.Leaf00547.
• KernelOnly.PartE.ThetaAbove.Leaf00551.
• KernelOnly.PartE.ThetaAbove.Leaf00552.
• KernelOnly.PartE.ThetaAbove.Leaf00556.
• KernelOnly.PartE.ThetaAbove.Leaf00557.
• KernelOnly.PartE.ThetaAbove.Leaf00558.
• KernelOnly.PartE.ThetaAbove.Leaf00559.
• KernelOnly.PartE.ThetaAbove.Leaf00562.
• KernelOnly.PartE.ThetaAbove.Leaf00563.
• KernelOnly.PartE.ThetaAbove.Leaf00564.
• KernelOnly.PartE.ThetaAbove.Leaf00565.

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c1_c1_c2_3_00504

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c1_c1_c2 : adaptiveCoverCheck 3 CertificateCells508bd70e72.thetaAboveCell0000220020002112 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c1_c1_c3_3_00505

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c1_c1_c3 : adaptiveCoverCheck 3 CertificateCells2ebb3ae727.thetaAboveCell0000220020002113 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c1_c2_4_00507

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells808549b800.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c1_c3_4_00508

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCellsd717193e27.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c2_5_00510

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsc9eea5ae86.thetaAboveCell000022002000)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c2_c3_5_00511

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells883d9c2359.thetaAboveCell000022002000)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c0_c0_3_00516

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c0_c0 : adaptiveCoverCheck 3 CertificateCells81adac8f59.thetaAboveCell0000220020003000 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c0_c1_3_00517

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c0_c1 : adaptiveCoverCheck 3 CertificateCellsd02c0d99aa.thetaAboveCell0000220020003001 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c0_c2_3_00518

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c0_c2 : adaptiveCoverCheck 3 CertificateCellsb3e2fb602b.thetaAboveCell0000220020003002 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c0_c3_3_00519

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c0_c3 : adaptiveCoverCheck 3 CertificateCells4e515808c8.thetaAboveCell0000220020003003 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c1_c0_3_00522

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c1_c0 : adaptiveCoverCheck 3 CertificateCellsc37a4f0e7c.thetaAboveCell0000220020003010 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c1_c1_3_00523

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c1_c1 : adaptiveCoverCheck 3 CertificateCells6662eefeaf.thetaAboveCell0000220020003011 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c1_c2_3_00524

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c1_c2 : adaptiveCoverCheck 3 CertificateCells9cbe967e81.thetaAboveCell0000220020003012 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c1_c3_3_00525

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c1_c3 : adaptiveCoverCheck 3 CertificateCells868d9f8f69.thetaAboveCell0000220020003013 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c2_4_00527

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells3c1ed7e077.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c0_c3_4_00528

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsda1171cd1c.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c0_c0_3_00532

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c0_c0 : adaptiveCoverCheck 3 CertificateCells00487431af.thetaAboveCell0000220020003100 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c0_c1_3_00533

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c0_c1 : adaptiveCoverCheck 3 CertificateCellsebfda2d52e.thetaAboveCell0000220020003101 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c0_c2_3_00534

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c0_c2 : adaptiveCoverCheck 3 CertificateCells0d7543751e.thetaAboveCell0000220020003102 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c0_c3_3_00535

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c0_c3 : adaptiveCoverCheck 3 CertificateCells3d57dcf8b1.thetaAboveCell0000220020003103 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c1_c0_3_00538

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c1_c0 : adaptiveCoverCheck 3 CertificateCells280bbc9838.thetaAboveCell0000220020003110 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c1_c1_3_00539

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c1_c1 : adaptiveCoverCheck 3 CertificateCells86fd793561.thetaAboveCell0000220020003111 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c1_c2_3_00540

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c1_c2 : adaptiveCoverCheck 3 CertificateCellsc0e73f28b6.thetaAboveCell0000220020003112 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c1_c3_3_00541

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c1_c3 : adaptiveCoverCheck 3 CertificateCells97ab098fbd.thetaAboveCell0000220020003113 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c2_4_00543

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCells90296eb122.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c1_c3_4_00544

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCells48c4f5a54f.thetaAboveCell000022002000))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c2_5_00546

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c2 : adaptiveCoverCheck 5 (childHL (childHH CertificateCellsd47d097993.thetaAboveCell000022002000)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c0_c3_c3_5_00547

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c0_c3_c3 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells861c7fa81d.thetaAboveCell000022002000)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c0_6_00551

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c0 : adaptiveCoverCheck 6 (childLL CertificateCells96a538a32c.thetaAboveCell000022002001) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c1_6_00552

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c1 : adaptiveCoverCheck 6 (childLH CertificateCells867b92c925.thetaAboveCell000022002001) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c0_c0_3_00556

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c0_c0 : adaptiveCoverCheck 3 CertificateCellse8beb6dc5c.thetaAboveCell0000220020012000 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c0_c1_3_00557

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c0_c1 : adaptiveCoverCheck 3 CertificateCellsa4fa334623.thetaAboveCell0000220020012001 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c0_c2_3_00558

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c0_c2 : adaptiveCoverCheck 3 CertificateCellsd70a3df0a0.thetaAboveCell0000220020012002 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c0_c3_3_00559

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c0_c3 : adaptiveCoverCheck 3 CertificateCells02a2748806.thetaAboveCell0000220020012003 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c1_c0_3_00562

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c1_c0 : adaptiveCoverCheck 3 CertificateCells3863a30667.thetaAboveCell0000220020012010 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c1_c1_3_00563

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c1_c1 : adaptiveCoverCheck 3 CertificateCellsd6d3f4989a.thetaAboveCell0000220020012011 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c1_c2_3_00564

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c1_c2 : adaptiveCoverCheck 3 CertificateCellsb420376865.thetaAboveCell0000220020012012 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c1_c3_3_00565

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c1_c3 : adaptiveCoverCheck 3 CertificateCellsa9306cab0b.thetaAboveCell0000220020012013 = true