Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch040.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6309ffd285.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6309ffd285.phiBelowCell33233221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells48d3b8afd4.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells48d3b8afd4.phiBelowCell33233221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf95c4e9f9f.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf95c4e9f9f.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells38449ac605.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells38449ac605.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells43ee04fc11.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells43ee04fc11.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells303915a97c.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells303915a97c.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells88a95e6b6b.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells88a95e6b6b.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4611c2250a.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4611c2250a.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellscbfda2707a.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellscbfda2707a.phiBelowCell33233222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells003531f536.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells003531f536.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f3e328824.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1f3e328824.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells47ff5dcac0.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells47ff5dcac0.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells65a3665007.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells65a3665007.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells45a72ee869.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells45a72ee869.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d2f3b2d12.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3d2f3b2d12.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce18f6e886.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce18f6e886.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb5cebfd5b6.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb5cebfd5b6.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2aad13d936.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2aad13d936.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2aad13d936.phiBelowCell332332232120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6a90bc785d.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6a90bc785d.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6a90bc785d.phiBelowCell332332232120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb781a1ec8.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb781a1ec8.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsdb781a1ec8.phiBelowCell332332232120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1cfc9442b0.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1cfc9442b0.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells1cfc9442b0.phiBelowCell332332232120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2dfa44feb0.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2dfa44feb0.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2dfa44feb0.phiBelowCell332332232121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0c5519e954.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0c5519e954.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells0c5519e954.phiBelowCell332332232122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells06dff71a35.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells06dff71a35.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells06dff71a35.phiBelowCell332332232123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells529c7df50a.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells529c7df50a.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells25a838feeb.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells25a838feeb.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsbc23e0e6af.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsbc23e0e6af.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells13f9420722.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells13f9420722.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells8f726fb04b.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells8f726fb04b.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7e3f428846.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7e3f428846.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4caf1a7a91.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells4caf1a7a91.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2907beb942.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells2907beb942.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb81ac6c2c5.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsb81ac6c2c5.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6afa02519f.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells6afa02519f.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27566e6112.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells27566e6112.phiBelowCell33233223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc20116b798.phiBelowCell3323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsc20116b798.phiBelowCell33233223 : AngleCell

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

Equations

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

Gerver sofa dependency batch

• KernelOnly.PartE.PhiBelow.Leaf00388.
• KernelOnly.PartE.PhiBelow.Leaf00389.
• KernelOnly.PartE.PhiBelow.Leaf00392.
• KernelOnly.PartE.PhiBelow.Leaf00394.
• KernelOnly.PartE.PhiBelow.Leaf00395.
• KernelOnly.PartE.PhiBelow.Leaf00396.
• KernelOnly.PartE.PhiBelow.Leaf00397.
• KernelOnly.PartE.PhiBelow.Leaf00399.
• KernelOnly.PartE.PhiBelow.Leaf00400.
• KernelOnly.PartE.PhiBelow.Leaf00404.
• KernelOnly.PartE.PhiBelow.Leaf00405.
• KernelOnly.PartE.PhiBelow.Leaf00406.
• KernelOnly.PartE.PhiBelow.Leaf00407.
• KernelOnly.PartE.PhiBelow.Leaf00409.
• KernelOnly.PartE.PhiBelow.Leaf00411.
• KernelOnly.PartE.PhiBelow.Leaf00413.
• KernelOnly.PartE.PhiBelow.Leaf00414.
• KernelOnly.PartE.PhiBelow.Leaf00417.
• KernelOnly.PartE.PhiBelow.Leaf00418.
• KernelOnly.PartE.PhiBelow.Leaf00419.
• KernelOnly.PartE.PhiBelow.Leaf00420.
• KernelOnly.PartE.PhiBelow.Leaf00422.
• KernelOnly.PartE.PhiBelow.Leaf00423.
• KernelOnly.PartE.PhiBelow.Leaf00424.
• KernelOnly.PartE.PhiBelow.Leaf00426.
• KernelOnly.PartE.PhiBelow.Leaf00428.
• KernelOnly.PartE.PhiBelow.Leaf00430.
• KernelOnly.PartE.PhiBelow.Leaf00431.
• KernelOnly.PartE.PhiBelow.Leaf00432.
• KernelOnly.PartE.PhiBelow.Leaf00433.
• KernelOnly.PartE.PhiBelow.Leaf00437.
• KernelOnly.PartE.PhiBelow.Leaf00438.
• KernelOnly.PartE.PhiBelow.Leaf00440.
• KernelOnly.PartE.PhiBelow.Leaf00441.
• KernelOnly.PartE.PhiBelow.Leaf00442.
• KernelOnly.PartE.PhiBelow.Leaf00443.

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c1_c2_5_00388

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c1_c2 : adaptiveCoverCheck 5 (childHL CertificateCells6309ffd285.phiBelowCell33233221) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c1_c3_5_00389

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c1_c3 : adaptiveCoverCheck 5 (childHH CertificateCells48d3b8afd4.phiBelowCell33233221) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c0_5_00392

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c0 : adaptiveCoverCheck 5 (childLL CertificateCellsf95c4e9f9f.phiBelowCell33233222) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c1_c0_4_00394

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c1_c0 : adaptiveCoverCheck 4 (childLL (childLH CertificateCells38449ac605.phiBelowCell33233222)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c1_c1_4_00395

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c1_c1 : adaptiveCoverCheck 4 (childLH (childLH CertificateCells43ee04fc11.phiBelowCell33233222)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c1_c2_4_00396

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c1_c2 : adaptiveCoverCheck 4 (childHL (childLH CertificateCells303915a97c.phiBelowCell33233222)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c1_c3_4_00397

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c1_c3 : adaptiveCoverCheck 4 (childHH (childLH CertificateCells88a95e6b6b.phiBelowCell33233222)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c2_5_00399

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c2 : adaptiveCoverCheck 5 (childHL CertificateCells4611c2250a.phiBelowCell33233222) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c2_c3_5_00400

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c2_c3 : adaptiveCoverCheck 5 (childHH CertificateCellscbfda2707a.phiBelowCell33233222) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c0_c0_4_00404

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c0_c0 : adaptiveCoverCheck 4 (childLL (childLL CertificateCells003531f536.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c0_c1_4_00405

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c0_c1 : adaptiveCoverCheck 4 (childLH (childLL CertificateCells1f3e328824.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c0_c2_4_00406

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c0_c2 : adaptiveCoverCheck 4 (childHL (childLL CertificateCells47ff5dcac0.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c0_c3_4_00407

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c0_c3 : adaptiveCoverCheck 4 (childHH (childLL CertificateCells65a3665007.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c1_5_00409

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c1 : adaptiveCoverCheck 5 (childLH CertificateCells45a72ee869.phiBelowCell33233223) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c2_c0_4_00411

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c0 : adaptiveCoverCheck 4 (childLL (childHL CertificateCells3d2f3b2d12.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c0_3_00413

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c0 : adaptiveCoverCheck 3 (childLL (childLH (childHL CertificateCellsce18f6e886.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c1_3_00414

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c1 : adaptiveCoverCheck 3 (childLH (childLH (childHL CertificateCellsb5cebfd5b6.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c0_c0_1_00417

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c0_c0 : adaptiveCoverCheck 1 (childLL CertificateCells2aad13d936.phiBelowCell332332232120) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c0_c1_1_00418

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c0_c1 : adaptiveCoverCheck 1 (childLH CertificateCells6a90bc785d.phiBelowCell332332232120) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c0_c2_1_00419

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c0_c2 : adaptiveCoverCheck 1 (childHL CertificateCellsdb781a1ec8.phiBelowCell332332232120) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c0_c3_1_00420

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c0_c3 : adaptiveCoverCheck 1 (childHH CertificateCells1cfc9442b0.phiBelowCell332332232120) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c1_2_00422

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c1 : adaptiveCoverCheck 2 CertificateCells2dfa44feb0.phiBelowCell332332232121 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c2_2_00423

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c2 : adaptiveCoverCheck 2 CertificateCells0c5519e954.phiBelowCell332332232122 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c2_c3_2_00424

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c2_c3 : adaptiveCoverCheck 2 CertificateCells06dff71a35.phiBelowCell332332232123 = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c1_c3_3_00426

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c1_c3 : adaptiveCoverCheck 3 (childHH (childLH (childHL CertificateCells529c7df50a.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c2_c2_4_00428

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c2 : adaptiveCoverCheck 4 (childHL (childHL CertificateCells25a838feeb.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c3_c0_3_00430

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c3_c0 : adaptiveCoverCheck 3 (childLL (childHH (childHL CertificateCellsbc23e0e6af.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c3_c1_3_00431

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c3_c1 : adaptiveCoverCheck 3 (childLH (childHH (childHL CertificateCells13f9420722.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c3_c2_3_00432

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c3_c2 : adaptiveCoverCheck 3 (childHL (childHH (childHL CertificateCells8f726fb04b.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c2_c3_c3_3_00433

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c2_c3_c3 : adaptiveCoverCheck 3 (childHH (childHH (childHL CertificateCells7e3f428846.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c3_c0_4_00437

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c0 : adaptiveCoverCheck 4 (childLL (childHH CertificateCells4caf1a7a91.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below Leaf33233_c2_c2_c3_c3_c1_4_00438

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c1 : adaptiveCoverCheck 4 (childLH (childHH CertificateCells2907beb942.phiBelowCell33233223)) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c3_c2_c0_3_00440

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c2_c0 : adaptiveCoverCheck 3 (childLL (childHL (childHH CertificateCellsb81ac6c2c5.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c3_c2_c1_3_00441

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c2_c1 : adaptiveCoverCheck 3 (childLH (childHL (childHH CertificateCells6afa02519f.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c3_c2_c2_3_00442

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c2_c2 : adaptiveCoverCheck 3 (childHL (childHL (childHH CertificateCells27566e6112.phiBelowCell33233223))) = true

Gerver Sofa / Kernel Only / Part E / E24KC5Direct_e24KC2Phi Below

Leaf33233_c2_c2_c3_c3_c2_c3_3_00443

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33233_c2_c2_c3_c3_c2_c3 : adaptiveCoverCheck 3 (childHH (childHL (childHH CertificateCellsc20116b798.phiBelowCell33233223))) = true