Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch033.
• GerverSofa.KernelOnly.PartE.Certificates.Batch043.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsefec3b1324.thetaBelowCell1111331131111333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell111133113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells11cd3db1c7.thetaBelowCell1111331131103133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse82c2dced4.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse82c2dced4.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse82c2dced4.thetaBelowCell111133113110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell111133113101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7a1b24c2da.thetaBelowCell1111331131011313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.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.CertificateCells3846b81fdf.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.CertificateCells3846b81fdf.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.CertificateCells3846b81fdf.thetaAboveCell0000220021003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3846b81fdf.thetaAboveCell0000220021003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells8d8f6e86b1.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.CertificateCells8d8f6e86b1.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.CertificateCells8d8f6e86b1.thetaAboveCell000022002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.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.CertificateCells67d4ab08b2.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.CertificateCells67d4ab08b2.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.CertificateCells67d4ab08b2.thetaAboveCell0000220021003200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells67d4ab08b2.thetaAboveCell0000220021003213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells37e4000123.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells37e4000123.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells37e4000123.thetaBelowCell111133113113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells61d6915992.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells61d6915992.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells61d6915992.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells49a6e2db55.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells49a6e2db55.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells49a6e2db55.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells23cc985c42.thetaBelowCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells23cc985c42.thetaBelowCell11113311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells23cc985c42.thetaBelowCell111133113111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6deb17ad88.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.CertificateCells6deb17ad88.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.CertificateCells6deb17ad88.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.CertificateCells21b7c7dcb8.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.CertificateCells21b7c7dcb8.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.CertificateCells21b7c7dcb8.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.CertificateCells51629e8703.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.CertificateCells51629e8703.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.CertificateCells51629e8703.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.CertificateCells51629e8703.thetaAboveCell0000220020012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse4c4271ea3.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.CertificateCellse4c4271ea3.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.CertificateCellse4c4271ea3.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.CertificateCellse4c4271ea3.thetaAboveCell0000220020012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells07d8bdd7d9.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.CertificateCells07d8bdd7d9.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.CertificateCells07d8bdd7d9.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.CertificateCells07d8bdd7d9.thetaAboveCell0000220020012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2bf9eb5708.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.CertificateCells2bf9eb5708.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.CertificateCells2bf9eb5708.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.CertificateCells2bf9eb5708.thetaAboveCell0000220020012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7eefa0b856.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.CertificateCells7eefa0b856.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.CertificateCells7eefa0b856.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.CertificateCellsdb6ef42c13.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.CertificateCellsdb6ef42c13.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.CertificateCellsdb6ef42c13.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.CertificateCells91885e0374.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.CertificateCells91885e0374.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.CertificateCells91885e0374.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.CertificateCellsba71b1d520.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.CertificateCellsba71b1d520.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.CertificateCellsba71b1d520.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.CertificateCells54caf0dec0.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.CertificateCells54caf0dec0.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.CertificateCells54caf0dec0.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.CertificateCells22ecf07105.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.CertificateCells22ecf07105.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.CertificateCells22ecf07105.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.CertificateCells2d236bc977.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.CertificateCells2d236bc977.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.CertificateCells2d236bc977.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.CertificateCellsfbf08c6815.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.CertificateCellsfbf08c6815.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.CertificateCellsfbf08c6815.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.CertificateCellsb2588049db.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.CertificateCellsb2588049db.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.CertificateCellsb2588049db.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.CertificateCells80702a4342.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.CertificateCells80702a4342.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.CertificateCells80702a4342.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.CertificateCellsfcacd99e70.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.CertificateCellsfcacd99e70.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.CertificateCellsfcacd99e70.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.CertificateCellsc63c49e043.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.CertificateCellsc63c49e043.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.CertificateCellsc63c49e043.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.CertificateCellse2c2881509.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.CertificateCellse2c2881509.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.CertificateCellse2c2881509.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.CertificateCells1273bfc545.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.CertificateCells1273bfc545.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.CertificateCells1273bfc545.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.CertificateCells758d72a450.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.CertificateCells758d72a450.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.CertificateCells758d72a450.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.CertificateCells898eeb07c6.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.CertificateCells898eeb07c6.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.CertificateCells898eeb07c6.thetaAboveCell000022002002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3b9ec898a9.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.CertificateCells3b9ec898a9.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.CertificateCells3b9ec898a9.thetaAboveCell000022002003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellscbef0a66a7.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.CertificateCellscbef0a66a7.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.CertificateCellscbef0a66a7.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0e30799078.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.CertificateCells0e30799078.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.CertificateCells0e30799078.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsaa7ab31314.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.CertificateCellsaa7ab31314.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.CertificateCellsaa7ab31314.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsa4a7cbe7b2.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.CertificateCellsa4a7cbe7b2.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.CertificateCellsa4a7cbe7b2.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9f358cc74d.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.CertificateCells9f358cc74d.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.CertificateCells9f358cc74d.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf2bd9cd8f9.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.CertificateCellsf2bd9cd8f9.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.CertificateCellsf2bd9cd8f9.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse30fe464b6.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.CertificateCellse30fe464b6.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.CertificateCellse30fe464b6.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells50e57ae8a7.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.CertificateCells50e57ae8a7.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.CertificateCells50e57ae8a7.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6831b5295c.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.CertificateCells6831b5295c.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.CertificateCells6831b5295c.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6ec7ee0b32.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.CertificateCells6ec7ee0b32.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.CertificateCells6ec7ee0b32.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellscdb025ab65.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.CertificateCellscdb025ab65.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.CertificateCellscdb025ab65.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells251eb00cd5.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.CertificateCells251eb00cd5.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.CertificateCells251eb00cd5.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb46fd93863.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.CertificateCellsb46fd93863.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.CertificateCellsb46fd93863.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells02c02b7fd3.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.CertificateCells02c02b7fd3.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.CertificateCells02c02b7fd3.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells969e2199d5.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.CertificateCells969e2199d5.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.CertificateCells969e2199d5.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells99f6185557.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.CertificateCells99f6185557.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.CertificateCells99f6185557.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsea3eb05dc6.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.CertificateCellsea3eb05dc6.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.CertificateCellsea3eb05dc6.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1daa3566d0.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.CertificateCells1daa3566d0.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.CertificateCells1daa3566d0.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells04b8a575e1.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.CertificateCells04b8a575e1.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.CertificateCells04b8a575e1.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb52fa9450d.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.CertificateCellsb52fa9450d.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.CertificateCellsb52fa9450d.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells75262755f1.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.CertificateCells75262755f1.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.CertificateCells75262755f1.thetaAboveCell000022002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells88775d9be2.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.CertificateCells88775d9be2.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.CertificateCells88775d9be2.thetaAboveCell000022002010 : AngleCell

Subcell 000022002010 of the 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.E24KC6R4Subtree7c075da8e9f0577b.
• KernelOnly.PartE.E24KC6R4Subtree7e83efce8bd8caa9.
• KernelOnly.PartE.E24KC6R4Join57ced70670a400e2.
• KernelOnly.PartE.E24KC6R4Subtree81ebe3f900bc76a5.
• KernelOnly.PartE.E24KC6R4Subtree84bebec26b36007b.
• KernelOnly.PartE.E24KC6R4Subtree879f3ccc81ca9b24.
• KernelOnly.PartE.E24KC6R4Subtree88f80fd4db374a2d.
• KernelOnly.PartE.E24KC6R4Subtree8921da6a3153d018.
• KernelOnly.PartE.E24KC6R4Subtree89badd31312e459d.
• KernelOnly.PartE.E24KC6R4Subtree8b6172e52c41dded.
• KernelOnly.PartE.E24KC6R4Join0f0434a94ae699a2.

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_7aa3d52e724a : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111222 = true

theorem GerverSofa.PartE.cover_subtree_818c6b64504a : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111223 = true

theorem GerverSofa.PartE.cover_subtree_75546d36bae0 : adaptiveCoverCheck 3 (childHL (childHL (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_38aeeec8d754 : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111232 = true

theorem GerverSofa.PartE.cover_subtree_7653e3da7d41 : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111233 = true

theorem GerverSofa.PartE.cover_subtree_c48c3d0e1082 : adaptiveCoverCheck 3 (childHH (childHL (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_850575b22b27 : adaptiveCoverCheck 4 (childHL (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111)) = true

theorem GerverSofa.PartE.cover_subtree_8b97f2fa7857 : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111322 = true

theorem GerverSofa.PartE.cover_subtree_4e37d42ba06c : adaptiveCoverCheck 2 CertificateCellsefec3b1324.thetaBelowCell1111331131111323 = true

theorem GerverSofa.PartE.cover_subtree_27a9e6ae3bf9 : adaptiveCoverCheck 3 (childHL (childHH (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_73b432883d7f : adaptiveCoverCheck 3 (childHH (childHH (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111))) = true

theorem GerverSofa.PartE.cover_subtree_cff1fffcbf04 : adaptiveCoverCheck 4 (childHH (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c1 : adaptiveCoverCheck 5 (childLH CertificateCellsefec3b1324.thetaBelowCell111133113111) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_36a7bfb19453 : adaptiveCoverCheck 3 (childLL (childLL (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_05a08e0bea5f : adaptiveCoverCheck 3 (childLH (childLL (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_e2abbc5cba3c : adaptiveCoverCheck 4 (childLL (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.cover_subtree_09ec3c616243 : adaptiveCoverCheck 3 (childLL (childLH (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_6c69a3f38b7c : adaptiveCoverCheck 3 (childLH (childLH (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110))) = true

theorem GerverSofa.PartE.cover_subtree_5b1de072a154 : adaptiveCoverCheck 4 (childLH (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c0_c3 : adaptiveCoverCheck 5 (childHH CertificateCells11cd3db1c7.thetaBelowCell111133113110) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c0 : adaptiveCoverCheck 6 CertificateCellse82c2dced4.thetaBelowCell111133113110 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_9615f1192754 : adaptiveCoverCheck 3 (childHL (childHL (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_1f726b3116b0 : adaptiveCoverCheck 3 (childHH (childHL (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_cac2e3b1401d : adaptiveCoverCheck 4 (childHL (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.cover_subtree_4f3cdd0c257d : adaptiveCoverCheck 3 (childHL (childHH (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_8b305093aef1 : adaptiveCoverCheck 3 (childHH (childHH (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101))) = true

theorem GerverSofa.PartE.cover_subtree_38619e7e6aac : adaptiveCoverCheck 4 (childHH (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c0_c1_c1 : adaptiveCoverCheck 5 (childLH CertificateCells7a1b24c2da.thetaBelowCell111133113101) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.cover_subtree_c9cdbb673d76 : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003002 = true

theorem GerverSofa.PartE.cover_subtree_0d25773c4d7a : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003003 = true

theorem GerverSofa.PartE.cover_subtree_d91230c1595a : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCells3846b81fdf.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_3b00f6acc230 : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003012 = true

theorem GerverSofa.PartE.cover_subtree_7ad163274380 : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003013 = true

theorem GerverSofa.PartE.cover_subtree_5685dda3095f : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells3846b81fdf.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_f7f8133fac9a : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003020 = true

theorem GerverSofa.PartE.cover_subtree_34eb89665f6e : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003021 = true

theorem GerverSofa.PartE.cover_subtree_854759339591 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells3846b81fdf.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.cover_subtree_a49deaaa8f12 : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003030 = true

theorem GerverSofa.PartE.cover_subtree_2236023309b5 : adaptiveCoverCheck 3 CertificateCells3846b81fdf.thetaAboveCell0000220021003031 = true

theorem GerverSofa.PartE.cover_subtree_2c168101607b : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCells3846b81fdf.thetaAboveCell000022002100))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c3_c0 : adaptiveCoverCheck 5 (childLL (childHH CertificateCells3846b81fdf.thetaAboveCell000022002100)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c1_c2 : adaptiveCoverCheck 7 CertificateCells8d8f6e86b1.thetaAboveCell000022002112 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220021_c0_c0_c3_c2 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells67d4ab08b2.thetaAboveCell000022002100)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c3 : adaptiveCoverCheck 6 CertificateCells37e4000123.thetaBelowCell111133113113 = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c3_c2 : adaptiveCoverCheck 4 (childHL (childHH CertificateCells61d6915992.thetaBelowCell111133113111)) = true

KC6R4 explicit terminal-certificate subtree. No adaptive search.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c2_c3 : adaptiveCoverCheck 4 (childHH (childHL CertificateCells49a6e2db55.thetaBelowCell111133113111)) = true

KC6R4 pure logical subtree join.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111133113_c1_c1_c1_c2 : adaptiveCoverCheck 5 (childHL CertificateCells23cc985c42.thetaBelowCell111133113111) = true

Gerver sofa dependency batch

• KernelOnly.PartE.ThetaAbove.Leaf00567.
• KernelOnly.PartE.ThetaAbove.Leaf00568.
• KernelOnly.PartE.ThetaAbove.Leaf00572.
• KernelOnly.PartE.ThetaAbove.Leaf00573.
• KernelOnly.PartE.ThetaAbove.Leaf00574.
• KernelOnly.PartE.ThetaAbove.Leaf00575.
• KernelOnly.PartE.ThetaAbove.Leaf00577.
• KernelOnly.PartE.ThetaAbove.Leaf00578.
• KernelOnly.PartE.ThetaAbove.Leaf00579.
• KernelOnly.PartE.ThetaAbove.Leaf00581.
• KernelOnly.PartE.ThetaAbove.Leaf00582.
• KernelOnly.PartE.ThetaAbove.Leaf00586.
• KernelOnly.PartE.ThetaAbove.Leaf00587.
• KernelOnly.PartE.ThetaAbove.Leaf00588.
• KernelOnly.PartE.ThetaAbove.Leaf00589.
• KernelOnly.PartE.ThetaAbove.Leaf00592.
• KernelOnly.PartE.ThetaAbove.Leaf00593.
• KernelOnly.PartE.ThetaAbove.Leaf00594.
• KernelOnly.PartE.ThetaAbove.Leaf00595.
• KernelOnly.PartE.ThetaAbove.Leaf00597.
• KernelOnly.PartE.ThetaAbove.Leaf00598.
• KernelOnly.PartE.ThetaAbove.Leaf00601.
• KernelOnly.PartE.ThetaAbove.Leaf00602.
• KernelOnly.PartE.ThetaAbove.Leaf00606.
• KernelOnly.PartE.ThetaAbove.Leaf00607.
• KernelOnly.PartE.ThetaAbove.Leaf00610.
• KernelOnly.PartE.ThetaAbove.Leaf00611.
• KernelOnly.PartE.ThetaAbove.Leaf00612.
• KernelOnly.PartE.ThetaAbove.Leaf00613.
• KernelOnly.PartE.ThetaAbove.Leaf00616.
• KernelOnly.PartE.ThetaAbove.Leaf00617.
• KernelOnly.PartE.ThetaAbove.Leaf00618.
• KernelOnly.PartE.ThetaAbove.Leaf00619.
• KernelOnly.PartE.ThetaAbove.Leaf00621.
• KernelOnly.PartE.ThetaAbove.Leaf00622.
• KernelOnly.PartE.ThetaAbove.Leaf00626.
• KernelOnly.PartE.ThetaAbove.Leaf00627.
• KernelOnly.PartE.ThetaAbove.Leaf00628.
• KernelOnly.PartE.ThetaAbove.Leaf00629.
• KernelOnly.PartE.ThetaAbove.Leaf00632.
• KernelOnly.PartE.ThetaAbove.Leaf00633.
• KernelOnly.PartE.ThetaAbove.Leaf00634.
• KernelOnly.PartE.ThetaAbove.Leaf00635.
• KernelOnly.PartE.ThetaAbove.Leaf00637.
• KernelOnly.PartE.ThetaAbove.Leaf00638.

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c2_4_00567

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCells6deb17ad88.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c0_c3_4_00568

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCells21b7c7dcb8.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c0_c0_3_00572

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c0_c0 : adaptiveCoverCheck 3 CertificateCells51629e8703.thetaAboveCell0000220020012100 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c0_c1_3_00573

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c0_c1 : adaptiveCoverCheck 3 CertificateCellse4c4271ea3.thetaAboveCell0000220020012101 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c0_c2_3_00574

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c0_c2 : adaptiveCoverCheck 3 CertificateCells07d8bdd7d9.thetaAboveCell0000220020012102 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c0_c3_3_00575

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c0_c3 : adaptiveCoverCheck 3 CertificateCells2bf9eb5708.thetaAboveCell0000220020012103 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c1_4_00577

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells7eefa0b856.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c2_4_00578

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCellsdb6ef42c13.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c1_c3_4_00579

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells91885e0374.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c2_5_00581

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellsba71b1d520.thetaAboveCell000022002001)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c2_c3_5_00582

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells54caf0dec0.thetaAboveCell000022002001)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c0_c0_4_00586

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCells22ecf07105.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c0_c1_4_00587

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells2d236bc977.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c0_c2_4_00588

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCellsfbf08c6815.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c0_c3_4_00589

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCellsb2588049db.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c1_c0_4_00592

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c1_c0 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCells80702a4342.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c1_c1_4_00593

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCellsfcacd99e70.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c1_c2_4_00594

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCellsc63c49e043.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c1_c3_4_00595

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellse2c2881509.thetaAboveCell000022002001))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c2_5_00597

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c2 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells1273bfc545.thetaAboveCell000022002001)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c0_c1_c3_c3_5_00598

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c1_c3_c3 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells758d72a450.thetaAboveCell000022002001)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above Leaf0000220020_c0_c2_7_00601

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c2 : adaptiveCoverCheck 7 CertificateCells898eeb07c6.thetaAboveCell000022002002 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above Leaf0000220020_c0_c3_7_00602

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c0_c3 : adaptiveCoverCheck 7 CertificateCells3b9ec898a9.thetaAboveCell000022002003 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c0_6_00606

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c0 : adaptiveCoverCheck 6 (childLL CertificateCellscbef0a66a7.thetaAboveCell000022002010) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c1_6_00607

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c1 : adaptiveCoverCheck 6 (childLH CertificateCells0e30799078.thetaAboveCell000022002010) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c0_c0_4_00610

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL (childHL CertificateCellsaa7ab31314.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c0_c1_4_00611

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL (childHL CertificateCellsa4a7cbe7b2.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c0_c2_4_00612

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHL CertificateCells9f358cc74d.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c0_c3_4_00613

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHL CertificateCellsf2bd9cd8f9.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c1_c0_4_00616

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c1_c0 : adaptiveCoverCheck 4 (childLL (childLH (childHL CertificateCellse30fe464b6.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c1_c1_4_00617

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH (childHL CertificateCells50e57ae8a7.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c1_c2_4_00618

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHL CertificateCells6831b5295c.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c1_c3_4_00619

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHL CertificateCells6ec7ee0b32.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c2_5_00621

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c2 : adaptiveCoverCheck 5 (childHL (childHL CertificateCellscdb025ab65.thetaAboveCell000022002010)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c2_c3_5_00622

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c2_c3 : adaptiveCoverCheck 5 (childHH (childHL CertificateCells251eb00cd5.thetaAboveCell000022002010)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c0_c0_4_00626

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL (childHH CertificateCellsb46fd93863.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c0_c1_4_00627

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL (childHH CertificateCells02c02b7fd3.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c0_c2_4_00628

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL (childHH CertificateCells969e2199d5.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c0_c3_4_00629

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL (childHH CertificateCells99f6185557.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c1_c0_4_00632

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c1_c0 : adaptiveCoverCheck 4 (childLL (childLH (childHH CertificateCellsea3eb05dc6.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c1_c1_4_00633

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH (childHH CertificateCells1daa3566d0.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c1_c2_4_00634

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH (childHH CertificateCells04b8a575e1.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c1_c3_4_00635

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH (childHH CertificateCellsb52fa9450d.thetaAboveCell000022002010))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c2_5_00637

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c2 : adaptiveCoverCheck 5 (childHL (childHH CertificateCells75262755f1.thetaAboveCell000022002010)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Theta Above

Leaf0000220020_c1_c0_c3_c3_5_00638

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220020_c1_c0_c3_c3 : adaptiveCoverCheck 5 (childHH (childHH CertificateCells88775d9be2.thetaAboveCell000022002010)) = true