Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch001.
• GerverSofa.KernelOnly.PartE.Certificates.Batch016.
• GerverSofa.KernelOnly.PartE.Certificates.Batch004.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells68c1109b36.phiBelowCell3000 : AngleCell

Subcell 3000 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.CertificateCells3eb225f04c.phiBelowCell3000 : AngleCell

Subcell 3000 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.CertificateCells50ca4e3af4.phiBelowCell3000 : AngleCell

Subcell 3000 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.CertificateCellsfa60677f23.phiBelowCell3000 : AngleCell

Subcell 3000 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.CertificateCellsadacfb8de1.phiBelowCell3001 : AngleCell

Subcell 3001 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.CertificateCells2e1d52b748.phiBelowCell3001 : AngleCell

Subcell 3001 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.CertificateCells7e7c37fb1b.phiBelowCell3001 : AngleCell

Subcell 3001 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.CertificateCellsa8cebe99f5.phiBelowCell3001 : AngleCell

Subcell 3001 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.CertificateCells7730b0e091.phiBelowCell3002 : AngleCell

Subcell 3002 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.CertificateCellse8a24af0c4.phiBelowCell3002 : AngleCell

Subcell 3002 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.CertificateCellse2e04a6320.phiBelowCell3002 : AngleCell

Subcell 3002 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.CertificateCells1fb6bd85e4.phiBelowCell3002 : AngleCell

Subcell 3002 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.CertificateCellsf0432d10ef.phiBelowCell3003 : AngleCell

Subcell 3003 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.CertificateCells283f971137.phiBelowCell3003 : AngleCell

Subcell 3003 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.CertificateCellsad7da039d5.phiBelowCell3003 : AngleCell

Subcell 3003 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.CertificateCells1e800a73bb.phiBelowCell3003 : AngleCell

Subcell 3003 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.CertificateCellsb9d63d60b8.phiBelowCell3010 : AngleCell

Subcell 3010 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.CertificateCells73ece5e183.phiBelowCell3010 : AngleCell

Subcell 3010 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.CertificateCellsb58c03cf78.phiBelowCell3010 : AngleCell

Subcell 3010 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.CertificateCells3c73252ed6.phiBelowCell3010 : AngleCell

Subcell 3010 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.CertificateCells75abf59285.phiBelowCell3011 : AngleCell

Subcell 3011 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.CertificateCellsc77278a9b0.phiBelowCell3011 : AngleCell

Subcell 3011 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.CertificateCells80b449154c.phiBelowCell3011 : AngleCell

Subcell 3011 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.CertificateCells19cd4580af.phiBelowCell3011 : AngleCell

Subcell 3011 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.CertificateCellsad60f51a47.phiBelowCell3012 : AngleCell

Subcell 3012 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.CertificateCells59722ddf21.phiBelowCell3012 : AngleCell

Subcell 3012 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.CertificateCells38add90453.phiBelowCell3012 : AngleCell

Subcell 3012 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.CertificateCellsa2fd436678.phiBelowCell3012 : AngleCell

Subcell 3012 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.CertificateCells4036e8788a.phiBelowCell3013 : AngleCell

Subcell 3013 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.CertificateCellse8e082f5ed.phiBelowCell3013 : AngleCell

Subcell 3013 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.CertificateCells33c2a4ae09.phiBelowCell3013 : AngleCell

Subcell 3013 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.CertificateCells8acf2cf43b.phiBelowCell3013 : AngleCell

Subcell 3013 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.CertificateCells4c5b439e46.phiBelowCell3020 : AngleCell

Subcell 3020 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.CertificateCells1d890d537b.phiBelowCell3020 : AngleCell

Subcell 3020 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.CertificateCells3dfd612f88.phiBelowCell3020 : AngleCell

Subcell 3020 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.CertificateCellsb73c54b84b.phiBelowCell3020 : AngleCell

Subcell 3020 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.CertificateCellsa2d944a3cb.phiBelowCell3021 : AngleCell

Subcell 3021 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.CertificateCellsa175b3d804.phiBelowCell3021 : AngleCell

Subcell 3021 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.CertificateCells2377a41132.phiBelowCell3021 : AngleCell

Subcell 3021 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.CertificateCells141b81b7b9.phiBelowCell3021 : AngleCell

Subcell 3021 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.CertificateCells53ed2717a4.phiBelowCell3022 : AngleCell

Subcell 3022 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.CertificateCells6cc17280cd.phiBelowCell3022 : AngleCell

Subcell 3022 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.CertificateCellscd48c30df5.phiBelowCell3022 : AngleCell

Subcell 3022 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.CertificateCells6a90ac3f5f.phiBelowCell3022 : AngleCell

Subcell 3022 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.CertificateCellscb8a79a1e7.phiBelowCell3023 : AngleCell

Subcell 3023 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.CertificateCellsa17655a9cd.phiBelowCell3023 : AngleCell

Subcell 3023 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.CertificateCellsea417091fc.phiBelowCell3023 : AngleCell

Subcell 3023 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.CertificateCells58f12e8647.phiBelowCell3023 : AngleCell

Subcell 3023 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.CertificateCells5256e12156.phiBelowCell3030 : AngleCell

Subcell 3030 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.CertificateCellsa7b064ca3f.phiBelowCell3030 : AngleCell

Subcell 3030 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.CertificateCellsa6d5038417.phiBelowCell3030 : AngleCell

Subcell 3030 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.CertificateCellsa40437554b.phiBelowCell3030 : AngleCell

Subcell 3030 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.CertificateCells99d0a4be54.phiBelowCell3031 : AngleCell

Subcell 3031 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.CertificateCells473a273fc9.phiBelowCell3031 : AngleCell

Subcell 3031 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.CertificateCells3c757ee420.phiBelowCell3031 : AngleCell

Subcell 3031 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.CertificateCellsd8b0ff734e.phiBelowCell3031 : AngleCell

Subcell 3031 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.CertificateCells03aa6fa886.phiBelowCell3032 : AngleCell

Subcell 3032 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.CertificateCellsf82ea84544.phiBelowCell3032 : AngleCell

Subcell 3032 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.CertificateCellsa1f10633df.phiBelowCell3032 : AngleCell

Subcell 3032 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.CertificateCells92aeaddf18.phiBelowCell3032 : AngleCell

Subcell 3032 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.CertificateCells4d2736f1ee.phiBelowCell3033 : AngleCell

Subcell 3033 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.CertificateCellsf1c569afeb.phiBelowCell3033 : AngleCell

Subcell 3033 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.CertificateCells899e3e87cc.phiBelowCell3033 : AngleCell

Subcell 3033 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.CertificateCells8cea727797.phiBelowCell3033 : AngleCell

Subcell 3033 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.CertificateCellsdf788d056e.phiBelowCell3100 : AngleCell

Subcell 3100 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.CertificateCells83252066d4.phiBelowCell3100 : AngleCell

Subcell 3100 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.CertificateCellsd15521ecc4.phiBelowCell3100 : AngleCell

Subcell 3100 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.CertificateCells9ebe05244a.phiBelowCell3100 : AngleCell

Subcell 3100 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.CertificateCells21fc209558.phiBelowCell3101 : AngleCell

Subcell 3101 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.CertificateCellsc545b9b00b.phiBelowCell3101 : AngleCell

Subcell 3101 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.CertificateCellsa64e976caf.phiBelowCell3101 : AngleCell

Subcell 3101 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.CertificateCellsf9eb6beb81.phiBelowCell3101 : AngleCell

Subcell 3101 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.CertificateCells1d67e12ba0.phiBelowCell3102 : AngleCell

Subcell 3102 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.CertificateCellsa2d5114e5e.phiBelowCell3102 : AngleCell

Subcell 3102 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.CertificateCells414314cff6.phiBelowCell3102 : AngleCell

Subcell 3102 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.CertificateCellsf9010539ff.phiBelowCell3102 : AngleCell

Subcell 3102 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.CertificateCellse34346aa4a.phiBelowCell3103 : AngleCell

Subcell 3103 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.CertificateCellse191f15fec.phiBelowCell3103 : AngleCell

Subcell 3103 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.CertificateCellsf92808a3cc.phiBelowCell3103 : AngleCell

Subcell 3103 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.CertificateCells897e4339a9.phiBelowCell3103 : AngleCell

Subcell 3103 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.CertificateCellsf4227a46c1.phiBelowCell3110 : AngleCell

Subcell 3110 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.CertificateCellsa2ba14667f.phiBelowCell3111 : AngleCell

Subcell 3111 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.CertificateCells172a47199c.phiBelowCell3112 : AngleCell

Subcell 3112 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.CertificateCells503a496e12.phiBelowCell3112 : AngleCell

Subcell 3112 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.CertificateCells4f35c82776.phiBelowCell3112 : AngleCell

Subcell 3112 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.CertificateCellsddf26a1af9.phiBelowCell3112 : AngleCell

Subcell 3112 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.CertificateCells725d74e81a.phiBelowCell3113 : AngleCell

Subcell 3113 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.CertificateCells3b33327e8a.phiBelowCell3120 : AngleCell

Subcell 3120 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.CertificateCells7bfd1f464a.phiBelowCell3120 : AngleCell

Subcell 3120 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.CertificateCellsdd644ededa.phiBelowCell3120 : AngleCell

Subcell 3120 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.CertificateCellsdd54c72360.phiBelowCell3120 : AngleCell

Subcell 3120 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.CertificateCellsf0f5b1fc54.phiBelowCell3121 : AngleCell

Subcell 3121 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.CertificateCells2b0822f9b0.phiBelowCell3121 : AngleCell

Subcell 3121 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.CertificateCells05e3ee5af2.phiBelowCell3121 : AngleCell

Subcell 3121 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.CertificateCells8f81fc559c.phiBelowCell3121 : AngleCell

Subcell 3121 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.CertificateCells509a6074b0.phiBelowCell3122 : AngleCell

Subcell 3122 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.CertificateCells6ac6e4ee1a.phiBelowCell3122 : AngleCell

Subcell 3122 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.CertificateCells2e92118453.phiBelowCell3122 : AngleCell

Subcell 3122 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.CertificateCells5761c4811e.phiBelowCell3122 : AngleCell

Subcell 3122 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.CertificateCellsf228466209.phiBelowCell3123 : AngleCell

Subcell 3123 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.CertificateCells4924d89385.phiBelowCell3123 : AngleCell

Subcell 3123 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.CertificateCells75bbd1e667.phiBelowCell3123 : AngleCell

Subcell 3123 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.CertificateCells131513700f.phiBelowCell3123 : AngleCell

Subcell 3123 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.CertificateCells0436aa31cb.phiBelowCell3130 : AngleCell

Subcell 3130 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.CertificateCells4cca5ef5ea.phiBelowCell3130 : AngleCell

Subcell 3130 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.CertificateCells2133748f57.phiBelowCell3130 : AngleCell

Subcell 3130 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.CertificateCells2d9432dbe0.phiBelowCell3130 : AngleCell

Subcell 3130 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.CertificateCells28839ca767.phiBelowCell3131 : AngleCell

Subcell 3131 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.CertificateCells1b0bf20c51.phiBelowCell3131 : AngleCell

Subcell 3131 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.CertificateCells9fb8ae7256.phiBelowCell3131 : AngleCell

Subcell 3131 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.CertificateCells10b8b658d1.phiBelowCell3131 : AngleCell

Subcell 3131 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.CertificateCells372671dc1b.phiBelowCell3132 : AngleCell

Subcell 3132 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.CertificateCells91a123c697.phiBelowCell3132 : AngleCell

Subcell 3132 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.CertificateCellsce14c27bce.phiBelowCell3132 : AngleCell

Subcell 3132 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.CertificateCellsabc89a203a.phiBelowCell3132 : AngleCell

Subcell 3132 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.CertificateCells6f99a95071.phiBelowCell3133 : AngleCell

Subcell 3133 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.CertificateCells4acdbba755.phiBelowCell3133 : AngleCell

Subcell 3133 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.CertificateCells45607104df.phiBelowCell3133 : AngleCell

Subcell 3133 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.CertificateCellsf2e66397f6.phiBelowCell3133 : AngleCell

Subcell 3133 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.CertificateCellsf60a68912f.phiBelowCell3200 : AngleCell

Subcell 3200 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.CertificateCellsdb667fab49.phiBelowCell3200 : AngleCell

Subcell 3200 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.CertificateCells378433963d.phiBelowCell3200 : AngleCell

Subcell 3200 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.CertificateCells3c30c58615.phiBelowCell3200 : AngleCell

Subcell 3200 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.CertificateCellscbc2cb8c4d.phiBelowCell3201 : AngleCell

Subcell 3201 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.CertificateCells0ae5e3afe8.phiBelowCell3201 : AngleCell

Subcell 3201 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.CertificateCells72905f39fb.phiBelowCell3201 : AngleCell

Subcell 3201 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.CertificateCells36ded03275.phiBelowCell3201 : AngleCell

Subcell 3201 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.CertificateCells055eee17e7.phiBelowCell3202 : AngleCell

Subcell 3202 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.CertificateCells86a7b10d51.phiBelowCell3202 : AngleCell

Subcell 3202 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.CertificateCells62973479ba.phiBelowCell3202 : AngleCell

Subcell 3202 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.CertificateCellse26adcc478.phiBelowCell3202 : AngleCell

Subcell 3202 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.CertificateCellsd471241912.phiBelowCell3203 : AngleCell

Subcell 3203 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.CertificateCells89c6c55f33.phiBelowCell3203 : AngleCell

Subcell 3203 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.CertificateCells371a4c38c5.phiBelowCell3203 : AngleCell

Subcell 3203 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.CertificateCells96fe0c4e84.phiBelowCell3203 : AngleCell

Subcell 3203 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.CertificateCells9ae3b0f784.phiBelowCell3210 : AngleCell

Subcell 3210 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.CertificateCells9614d1d005.phiBelowCell3210 : AngleCell

Subcell 3210 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.CertificateCells27f26686ef.phiBelowCell3210 : AngleCell

Subcell 3210 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.CertificateCells9dc2121909.phiBelowCell3210 : AngleCell

Subcell 3210 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.CertificateCellsc35310d566.phiBelowCell3211 : AngleCell

Subcell 3211 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.CertificateCellsa20e4da390.phiBelowCell3211 : AngleCell

Subcell 3211 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.CertificateCells3a90cbf635.phiBelowCell3211 : AngleCell

Subcell 3211 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.CertificateCells214a11de68.phiBelowCell3211 : AngleCell

Subcell 3211 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.CertificateCells032b91f5bc.phiBelowCell3212 : AngleCell

Subcell 3212 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.CertificateCellsaa8e493e23.phiBelowCell3212 : AngleCell

Subcell 3212 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.CertificateCells6bd715f340.phiBelowCell3212 : AngleCell

Subcell 3212 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.CertificateCellsa228f232aa.phiBelowCell3212 : AngleCell

Subcell 3212 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.CertificateCells4dea68b576.phiBelowCell3213 : AngleCell

Subcell 3213 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.CertificateCells3e707fd6af.phiBelowCell3213 : AngleCell

Subcell 3213 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.CertificateCells46e40ef0a9.phiBelowCell3213 : AngleCell

Subcell 3213 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.CertificateCells9651c4a476.phiBelowCell3213 : AngleCell

Subcell 3213 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.CertificateCells2fa7cd8552.phiBelowCell3220 : AngleCell

Subcell 3220 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.CertificateCellsec4b7eff4d.phiBelowCell3220 : AngleCell

Subcell 3220 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.CertificateCells434ca1e74d.phiBelowCell3220 : AngleCell

Subcell 3220 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.CertificateCells886952c236.phiBelowCell3220 : AngleCell

Subcell 3220 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.CertificateCells969a7c12d6.phiBelowCell3221 : AngleCell

Subcell 3221 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.CertificateCells7aa82bee5f.phiAboveCell1100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells7aa82bee5f.phiAboveCell1101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsf8d478d36a.phiAboveCell1101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell1110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11000333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11001333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11002133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11003313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11010233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11013313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102021 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102022 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102023 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102030 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102031 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102032 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102033 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102112 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102113 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102120 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102121 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102122 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102123 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102130 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102131 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102132 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102133 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11102313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103001 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103002 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103003 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103010 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103011 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103012 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103013 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce54db6860.thetaBelowCell11103020 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells5c0c39e876.phiBelowCell3330 : AngleCell

Subcell 3330 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.CertificateCellsa1414ae513.phiBelowCell3330 : AngleCell

Subcell 3330 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.CertificateCellsa1414ae513.phiBelowCell3331 : AngleCell

Subcell 3331 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.E24KC2PhiBelowLeaf30000.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30001.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30002.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30003.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30010.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30011.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30012.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30013.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30020.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30021.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30022.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30023.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30030.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30031.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30032.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30033.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30100.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30101.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30102.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30103.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30110.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30111.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30112.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30113.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30120.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30121.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30122.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30123.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30130.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30131.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30132.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30133.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30200.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30201.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30202.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30203.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30210.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30211.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30212.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30213.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30220.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30221.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30222.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30223.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30230.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30231.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30232.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30233.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30300.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30301.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30302.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30303.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30310.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30311.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30312.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30313.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30320.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30321.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30322.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30323.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30330.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30331.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30332.
• KernelOnly.PartE.E24KC2PhiBelowLeaf30333.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31000.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31001.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31002.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31003.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31010.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31011.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31012.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31013.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31020.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31021.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31022.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31023.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31030.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31031.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31032.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31033.
• KernelOnly.PartE.E24KC2PhiBelowLeaf3110.
• KernelOnly.PartE.E24KC2PhiBelowLeaf3111.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31120.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31121.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31122.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31123.
• KernelOnly.PartE.E24KC2PhiBelowLeaf3113.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31200.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31201.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31202.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31203.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31210.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31211.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31212.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31213.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31220.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31221.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31222.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31223.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31230.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31231.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31232.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31233.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31300.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31301.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31302.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31303.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31310.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31311.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31312.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31313.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31320.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31321.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31322.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31323.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31330.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31331.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31332.
• KernelOnly.PartE.E24KC2PhiBelowLeaf31333.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32000.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32001.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32002.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32003.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32010.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32011.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32012.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32013.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32020.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32021.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32022.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32023.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32030.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32031.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32032.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32033.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32100.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32101.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32102.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32103.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32110.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32111.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32112.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32113.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32120.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32121.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32122.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32123.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32130.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32131.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32132.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32133.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32200.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32201.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32202.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32203.
• KernelOnly.PartE.E24KC2PhiBelowLeaf32210.
• KernelOnly.PartE.E24KC4BatchPhiAboveF9C1LLL0006.
• KernelOnly.PartE.E24KC4BatchPhiAboveF9C1LLRLL0009.

Generated E24KC2 kernel leaf. Discovery claim: PB path=30000 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30000 : adaptiveCoverCheck 9 (childLL CertificateCells68c1109b36.phiBelowCell3000) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30001 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30001 : adaptiveCoverCheck 9 (childLH CertificateCells3eb225f04c.phiBelowCell3000) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30002 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30002 : adaptiveCoverCheck 9 (childHL CertificateCells50ca4e3af4.phiBelowCell3000) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30003 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30003 : adaptiveCoverCheck 9 (childHH CertificateCellsfa60677f23.phiBelowCell3000) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30010 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30010 : adaptiveCoverCheck 9 (childLL CertificateCellsadacfb8de1.phiBelowCell3001) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30011 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30011 : adaptiveCoverCheck 9 (childLH CertificateCells2e1d52b748.phiBelowCell3001) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30012 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30012 : adaptiveCoverCheck 9 (childHL CertificateCells7e7c37fb1b.phiBelowCell3001) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30013 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30013 : adaptiveCoverCheck 9 (childHH CertificateCellsa8cebe99f5.phiBelowCell3001) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30020 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30020 : adaptiveCoverCheck 9 (childLL CertificateCells7730b0e091.phiBelowCell3002) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30021 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30021 : adaptiveCoverCheck 9 (childLH CertificateCellse8a24af0c4.phiBelowCell3002) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30022 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30022 : adaptiveCoverCheck 9 (childHL CertificateCellse2e04a6320.phiBelowCell3002) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30023 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30023 : adaptiveCoverCheck 9 (childHH CertificateCells1fb6bd85e4.phiBelowCell3002) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30030 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30030 : adaptiveCoverCheck 9 (childLL CertificateCellsf0432d10ef.phiBelowCell3003) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30031 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30031 : adaptiveCoverCheck 9 (childLH CertificateCells283f971137.phiBelowCell3003) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30032 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30032 : adaptiveCoverCheck 9 (childHL CertificateCellsad7da039d5.phiBelowCell3003) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30033 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30033 : adaptiveCoverCheck 9 (childHH CertificateCells1e800a73bb.phiBelowCell3003) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30100 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30100 : adaptiveCoverCheck 9 (childLL CertificateCellsb9d63d60b8.phiBelowCell3010) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30101 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30101 : adaptiveCoverCheck 9 (childLH CertificateCells73ece5e183.phiBelowCell3010) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30102 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30102 : adaptiveCoverCheck 9 (childHL CertificateCellsb58c03cf78.phiBelowCell3010) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30103 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30103 : adaptiveCoverCheck 9 (childHH CertificateCells3c73252ed6.phiBelowCell3010) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30110 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30110 : adaptiveCoverCheck 9 (childLL CertificateCells75abf59285.phiBelowCell3011) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30111 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30111 : adaptiveCoverCheck 9 (childLH CertificateCellsc77278a9b0.phiBelowCell3011) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30112 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30112 : adaptiveCoverCheck 9 (childHL CertificateCells80b449154c.phiBelowCell3011) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30113 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30113 : adaptiveCoverCheck 9 (childHH CertificateCells19cd4580af.phiBelowCell3011) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30120 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30120 : adaptiveCoverCheck 9 (childLL CertificateCellsad60f51a47.phiBelowCell3012) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30121 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30121 : adaptiveCoverCheck 9 (childLH CertificateCells59722ddf21.phiBelowCell3012) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30122 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30122 : adaptiveCoverCheck 9 (childHL CertificateCells38add90453.phiBelowCell3012) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30123 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30123 : adaptiveCoverCheck 9 (childHH CertificateCellsa2fd436678.phiBelowCell3012) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30130 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30130 : adaptiveCoverCheck 9 (childLL CertificateCells4036e8788a.phiBelowCell3013) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30131 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30131 : adaptiveCoverCheck 9 (childLH CertificateCellse8e082f5ed.phiBelowCell3013) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30132 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30132 : adaptiveCoverCheck 9 (childHL CertificateCells33c2a4ae09.phiBelowCell3013) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30133 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30133 : adaptiveCoverCheck 9 (childHH CertificateCells8acf2cf43b.phiBelowCell3013) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30200 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30200 : adaptiveCoverCheck 9 (childLL CertificateCells4c5b439e46.phiBelowCell3020) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30201 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30201 : adaptiveCoverCheck 9 (childLH CertificateCells1d890d537b.phiBelowCell3020) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30202 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30202 : adaptiveCoverCheck 9 (childHL CertificateCells3dfd612f88.phiBelowCell3020) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30203 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30203 : adaptiveCoverCheck 9 (childHH CertificateCellsb73c54b84b.phiBelowCell3020) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30210 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30210 : adaptiveCoverCheck 9 (childLL CertificateCellsa2d944a3cb.phiBelowCell3021) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30211 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30211 : adaptiveCoverCheck 9 (childLH CertificateCellsa175b3d804.phiBelowCell3021) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30212 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30212 : adaptiveCoverCheck 9 (childHL CertificateCells2377a41132.phiBelowCell3021) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30213 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30213 : adaptiveCoverCheck 9 (childHH CertificateCells141b81b7b9.phiBelowCell3021) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30220 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30220 : adaptiveCoverCheck 9 (childLL CertificateCells53ed2717a4.phiBelowCell3022) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30221 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30221 : adaptiveCoverCheck 9 (childLH CertificateCells6cc17280cd.phiBelowCell3022) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30222 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30222 : adaptiveCoverCheck 9 (childHL CertificateCellscd48c30df5.phiBelowCell3022) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30223 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30223 : adaptiveCoverCheck 9 (childHH CertificateCells6a90ac3f5f.phiBelowCell3022) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30230 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30230 : adaptiveCoverCheck 9 (childLL CertificateCellscb8a79a1e7.phiBelowCell3023) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30231 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30231 : adaptiveCoverCheck 9 (childLH CertificateCellsa17655a9cd.phiBelowCell3023) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30232 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30232 : adaptiveCoverCheck 9 (childHL CertificateCellsea417091fc.phiBelowCell3023) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30233 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30233 : adaptiveCoverCheck 9 (childHH CertificateCells58f12e8647.phiBelowCell3023) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30300 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30300 : adaptiveCoverCheck 9 (childLL CertificateCells5256e12156.phiBelowCell3030) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30301 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30301 : adaptiveCoverCheck 9 (childLH CertificateCellsa7b064ca3f.phiBelowCell3030) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30302 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30302 : adaptiveCoverCheck 9 (childHL CertificateCellsa6d5038417.phiBelowCell3030) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30303 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30303 : adaptiveCoverCheck 9 (childHH CertificateCellsa40437554b.phiBelowCell3030) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30310 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30310 : adaptiveCoverCheck 9 (childLL CertificateCells99d0a4be54.phiBelowCell3031) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30311 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30311 : adaptiveCoverCheck 9 (childLH CertificateCells473a273fc9.phiBelowCell3031) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30312 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30312 : adaptiveCoverCheck 9 (childHL CertificateCells3c757ee420.phiBelowCell3031) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30313 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30313 : adaptiveCoverCheck 9 (childHH CertificateCellsd8b0ff734e.phiBelowCell3031) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30320 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30320 : adaptiveCoverCheck 9 (childLL CertificateCells03aa6fa886.phiBelowCell3032) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30321 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30321 : adaptiveCoverCheck 9 (childLH CertificateCellsf82ea84544.phiBelowCell3032) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30322 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30322 : adaptiveCoverCheck 9 (childHL CertificateCellsa1f10633df.phiBelowCell3032) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30323 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30323 : adaptiveCoverCheck 9 (childHH CertificateCells92aeaddf18.phiBelowCell3032) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30330 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30330 : adaptiveCoverCheck 9 (childLL CertificateCells4d2736f1ee.phiBelowCell3033) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30331 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30331 : adaptiveCoverCheck 9 (childLH CertificateCellsf1c569afeb.phiBelowCell3033) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30332 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30332 : adaptiveCoverCheck 9 (childHL CertificateCells899e3e87cc.phiBelowCell3033) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=30333 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf30333 : adaptiveCoverCheck 9 (childHH CertificateCells8cea727797.phiBelowCell3033) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31000 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31000 : adaptiveCoverCheck 9 (childLL CertificateCellsdf788d056e.phiBelowCell3100) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31001 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31001 : adaptiveCoverCheck 9 (childLH CertificateCells83252066d4.phiBelowCell3100) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31002 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31002 : adaptiveCoverCheck 9 (childHL CertificateCellsd15521ecc4.phiBelowCell3100) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31003 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31003 : adaptiveCoverCheck 9 (childHH CertificateCells9ebe05244a.phiBelowCell3100) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31010 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31010 : adaptiveCoverCheck 9 (childLL CertificateCells21fc209558.phiBelowCell3101) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31011 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31011 : adaptiveCoverCheck 9 (childLH CertificateCellsc545b9b00b.phiBelowCell3101) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31012 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31012 : adaptiveCoverCheck 9 (childHL CertificateCellsa64e976caf.phiBelowCell3101) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31013 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31013 : adaptiveCoverCheck 9 (childHH CertificateCellsf9eb6beb81.phiBelowCell3101) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31020 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31020 : adaptiveCoverCheck 9 (childLL CertificateCells1d67e12ba0.phiBelowCell3102) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31021 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31021 : adaptiveCoverCheck 9 (childLH CertificateCellsa2d5114e5e.phiBelowCell3102) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31022 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31022 : adaptiveCoverCheck 9 (childHL CertificateCells414314cff6.phiBelowCell3102) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31023 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31023 : adaptiveCoverCheck 9 (childHH CertificateCellsf9010539ff.phiBelowCell3102) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31030 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31030 : adaptiveCoverCheck 9 (childLL CertificateCellse34346aa4a.phiBelowCell3103) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31031 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31031 : adaptiveCoverCheck 9 (childLH CertificateCellse191f15fec.phiBelowCell3103) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31032 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31032 : adaptiveCoverCheck 9 (childHL CertificateCellsf92808a3cc.phiBelowCell3103) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31033 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31033 : adaptiveCoverCheck 9 (childHH CertificateCells897e4339a9.phiBelowCell3103) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=3110 remaining=10 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf3110 : adaptiveCoverCheck 10 CertificateCellsf4227a46c1.phiBelowCell3110 = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=3111 remaining=10 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf3111 : adaptiveCoverCheck 10 CertificateCellsa2ba14667f.phiBelowCell3111 = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31120 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31120 : adaptiveCoverCheck 9 (childLL CertificateCells172a47199c.phiBelowCell3112) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31121 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31121 : adaptiveCoverCheck 9 (childLH CertificateCells503a496e12.phiBelowCell3112) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31122 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31122 : adaptiveCoverCheck 9 (childHL CertificateCells4f35c82776.phiBelowCell3112) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31123 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31123 : adaptiveCoverCheck 9 (childHH CertificateCellsddf26a1af9.phiBelowCell3112) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=3113 remaining=10 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf3113 : adaptiveCoverCheck 10 CertificateCells725d74e81a.phiBelowCell3113 = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31200 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31200 : adaptiveCoverCheck 9 (childLL CertificateCells3b33327e8a.phiBelowCell3120) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31201 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31201 : adaptiveCoverCheck 9 (childLH CertificateCells7bfd1f464a.phiBelowCell3120) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31202 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31202 : adaptiveCoverCheck 9 (childHL CertificateCellsdd644ededa.phiBelowCell3120) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31203 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31203 : adaptiveCoverCheck 9 (childHH CertificateCellsdd54c72360.phiBelowCell3120) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31210 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31210 : adaptiveCoverCheck 9 (childLL CertificateCellsf0f5b1fc54.phiBelowCell3121) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31211 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31211 : adaptiveCoverCheck 9 (childLH CertificateCells2b0822f9b0.phiBelowCell3121) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31212 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31212 : adaptiveCoverCheck 9 (childHL CertificateCells05e3ee5af2.phiBelowCell3121) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31213 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31213 : adaptiveCoverCheck 9 (childHH CertificateCells8f81fc559c.phiBelowCell3121) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31220 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31220 : adaptiveCoverCheck 9 (childLL CertificateCells509a6074b0.phiBelowCell3122) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31221 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31221 : adaptiveCoverCheck 9 (childLH CertificateCells6ac6e4ee1a.phiBelowCell3122) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31222 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31222 : adaptiveCoverCheck 9 (childHL CertificateCells2e92118453.phiBelowCell3122) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31223 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31223 : adaptiveCoverCheck 9 (childHH CertificateCells5761c4811e.phiBelowCell3122) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31230 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31230 : adaptiveCoverCheck 9 (childLL CertificateCellsf228466209.phiBelowCell3123) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31231 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31231 : adaptiveCoverCheck 9 (childLH CertificateCells4924d89385.phiBelowCell3123) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31232 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31232 : adaptiveCoverCheck 9 (childHL CertificateCells75bbd1e667.phiBelowCell3123) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31233 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31233 : adaptiveCoverCheck 9 (childHH CertificateCells131513700f.phiBelowCell3123) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31300 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31300 : adaptiveCoverCheck 9 (childLL CertificateCells0436aa31cb.phiBelowCell3130) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31301 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31301 : adaptiveCoverCheck 9 (childLH CertificateCells4cca5ef5ea.phiBelowCell3130) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31302 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31302 : adaptiveCoverCheck 9 (childHL CertificateCells2133748f57.phiBelowCell3130) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31303 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31303 : adaptiveCoverCheck 9 (childHH CertificateCells2d9432dbe0.phiBelowCell3130) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31310 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31310 : adaptiveCoverCheck 9 (childLL CertificateCells28839ca767.phiBelowCell3131) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31311 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31311 : adaptiveCoverCheck 9 (childLH CertificateCells1b0bf20c51.phiBelowCell3131) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31312 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31312 : adaptiveCoverCheck 9 (childHL CertificateCells9fb8ae7256.phiBelowCell3131) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31313 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31313 : adaptiveCoverCheck 9 (childHH CertificateCells10b8b658d1.phiBelowCell3131) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31320 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31320 : adaptiveCoverCheck 9 (childLL CertificateCells372671dc1b.phiBelowCell3132) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31321 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31321 : adaptiveCoverCheck 9 (childLH CertificateCells91a123c697.phiBelowCell3132) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31322 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31322 : adaptiveCoverCheck 9 (childHL CertificateCellsce14c27bce.phiBelowCell3132) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31323 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31323 : adaptiveCoverCheck 9 (childHH CertificateCellsabc89a203a.phiBelowCell3132) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31330 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31330 : adaptiveCoverCheck 9 (childLL CertificateCells6f99a95071.phiBelowCell3133) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31331 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31331 : adaptiveCoverCheck 9 (childLH CertificateCells4acdbba755.phiBelowCell3133) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31332 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31332 : adaptiveCoverCheck 9 (childHL CertificateCells45607104df.phiBelowCell3133) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=31333 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf31333 : adaptiveCoverCheck 9 (childHH CertificateCellsf2e66397f6.phiBelowCell3133) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32000 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32000 : adaptiveCoverCheck 9 (childLL CertificateCellsf60a68912f.phiBelowCell3200) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32001 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32001 : adaptiveCoverCheck 9 (childLH CertificateCellsdb667fab49.phiBelowCell3200) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32002 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32002 : adaptiveCoverCheck 9 (childHL CertificateCells378433963d.phiBelowCell3200) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32003 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32003 : adaptiveCoverCheck 9 (childHH CertificateCells3c30c58615.phiBelowCell3200) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32010 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32010 : adaptiveCoverCheck 9 (childLL CertificateCellscbc2cb8c4d.phiBelowCell3201) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32011 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32011 : adaptiveCoverCheck 9 (childLH CertificateCells0ae5e3afe8.phiBelowCell3201) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32012 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32012 : adaptiveCoverCheck 9 (childHL CertificateCells72905f39fb.phiBelowCell3201) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32013 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32013 : adaptiveCoverCheck 9 (childHH CertificateCells36ded03275.phiBelowCell3201) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32020 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32020 : adaptiveCoverCheck 9 (childLL CertificateCells055eee17e7.phiBelowCell3202) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32021 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32021 : adaptiveCoverCheck 9 (childLH CertificateCells86a7b10d51.phiBelowCell3202) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32022 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32022 : adaptiveCoverCheck 9 (childHL CertificateCells62973479ba.phiBelowCell3202) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32023 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32023 : adaptiveCoverCheck 9 (childHH CertificateCellse26adcc478.phiBelowCell3202) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32030 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32030 : adaptiveCoverCheck 9 (childLL CertificateCellsd471241912.phiBelowCell3203) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32031 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32031 : adaptiveCoverCheck 9 (childLH CertificateCells89c6c55f33.phiBelowCell3203) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32032 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32032 : adaptiveCoverCheck 9 (childHL CertificateCells371a4c38c5.phiBelowCell3203) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32033 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32033 : adaptiveCoverCheck 9 (childHH CertificateCells96fe0c4e84.phiBelowCell3203) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32100 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32100 : adaptiveCoverCheck 9 (childLL CertificateCells9ae3b0f784.phiBelowCell3210) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32101 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32101 : adaptiveCoverCheck 9 (childLH CertificateCells9614d1d005.phiBelowCell3210) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32102 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32102 : adaptiveCoverCheck 9 (childHL CertificateCells27f26686ef.phiBelowCell3210) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32103 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32103 : adaptiveCoverCheck 9 (childHH CertificateCells9dc2121909.phiBelowCell3210) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32110 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32110 : adaptiveCoverCheck 9 (childLL CertificateCellsc35310d566.phiBelowCell3211) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32111 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32111 : adaptiveCoverCheck 9 (childLH CertificateCellsa20e4da390.phiBelowCell3211) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32112 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32112 : adaptiveCoverCheck 9 (childHL CertificateCells3a90cbf635.phiBelowCell3211) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32113 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32113 : adaptiveCoverCheck 9 (childHH CertificateCells214a11de68.phiBelowCell3211) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32120 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32120 : adaptiveCoverCheck 9 (childLL CertificateCells032b91f5bc.phiBelowCell3212) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32121 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32121 : adaptiveCoverCheck 9 (childLH CertificateCellsaa8e493e23.phiBelowCell3212) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32122 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32122 : adaptiveCoverCheck 9 (childHL CertificateCells6bd715f340.phiBelowCell3212) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32123 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32123 : adaptiveCoverCheck 9 (childHH CertificateCellsa228f232aa.phiBelowCell3212) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32130 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32130 : adaptiveCoverCheck 9 (childLL CertificateCells4dea68b576.phiBelowCell3213) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32131 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32131 : adaptiveCoverCheck 9 (childLH CertificateCells3e707fd6af.phiBelowCell3213) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32132 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32132 : adaptiveCoverCheck 9 (childHL CertificateCells46e40ef0a9.phiBelowCell3213) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32133 remaining=9 kind=F reason=ADAPTIVE.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32133 : adaptiveCoverCheck 9 (childHH CertificateCells9651c4a476.phiBelowCell3213) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32200 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32200 : adaptiveCoverCheck 9 (childLL CertificateCells2fa7cd8552.phiBelowCell3220) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32201 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32201 : adaptiveCoverCheck 9 (childLH CertificateCellsec4b7eff4d.phiBelowCell3220) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32202 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32202 : adaptiveCoverCheck 9 (childHL CertificateCells434ca1e74d.phiBelowCell3220) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32203 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32203 : adaptiveCoverCheck 9 (childHH CertificateCells886952c236.phiBelowCell3220) = true

Generated E24KC2 kernel leaf. Discovery claim: PB path=32210 remaining=9 kind=T reason=R.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf32210 : adaptiveCoverCheck 9 (childLL CertificateCells969a7c12d6.phiBelowCell3221) = true

E24KC4 auto-tuned batched kernel certificates.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100111 : adaptiveCoverCheck 9 (childLH (childLH (childLH CertificateCells7aa82bee5f.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101000 : adaptiveCoverCheck 9 (childLL (childLL (childLL CertificateCells7aa82bee5f.phiAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101001 : adaptiveCoverCheck 9 (childLH (childLL (childLL CertificateCells7aa82bee5f.phiAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101010 : adaptiveCoverCheck 9 (childLL (childLH (childLL CertificateCells7aa82bee5f.phiAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101011 : adaptiveCoverCheck 9 (childLH (childLH (childLL CertificateCells7aa82bee5f.phiAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101012 : adaptiveCoverCheck 9 (childHL (childLH (childLL CertificateCells7aa82bee5f.phiAboveCell1101))) = true

E24KC4 auto-tuned batched kernel certificates.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101013 : adaptiveCoverCheck 9 (childHH (childLH (childLL CertificateCellsf8d478d36a.phiAboveCell1101))) = true

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC5TerminalBatchT665600016.

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1023 : adaptiveCoverCheck 14 CertificateCellsce54db6860.thetaBelowCell1023 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1030 : adaptiveCoverCheck 14 CertificateCellsce54db6860.thetaBelowCell1030 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1031 : adaptiveCoverCheck 14 CertificateCellsce54db6860.thetaBelowCell1031 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1032 : adaptiveCoverCheck 14 CertificateCellsce54db6860.thetaBelowCell1032 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1033 : adaptiveCoverCheck 14 CertificateCellsce54db6860.thetaBelowCell1033 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110000 : adaptiveCoverCheck 12 (childLL (childLL CertificateCellsce54db6860.thetaBelowCell1100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110001 : adaptiveCoverCheck 12 (childLH (childLL CertificateCellsce54db6860.thetaBelowCell1100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100020 : adaptiveCoverCheck 11 (childLL (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100021 : adaptiveCoverCheck 11 (childLH (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100022 : adaptiveCoverCheck 11 (childHL (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100023 : adaptiveCoverCheck 11 (childHH (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100030 : adaptiveCoverCheck 11 (childLL (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100031 : adaptiveCoverCheck 11 (childLH (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000320 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000320 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000321 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000321 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000322 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000322 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000323 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000323 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000330 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000330 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000331 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000331 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000332 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000332 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11000333 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11000333 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110010 : adaptiveCoverCheck 12 (childLL (childLH CertificateCellsce54db6860.thetaBelowCell1100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110011 : adaptiveCoverCheck 12 (childLH (childLH CertificateCellsce54db6860.thetaBelowCell1100)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100120 : adaptiveCoverCheck 11 (childLL (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100121 : adaptiveCoverCheck 11 (childLH (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001220 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001220 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001221 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001221 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001222 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001222 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001223 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001223 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001230 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001230 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001231 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001231 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001232 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001232 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001233 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001233 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100130 : adaptiveCoverCheck 11 (childLL (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100131 : adaptiveCoverCheck 11 (childLH (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001320 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001320 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001321 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001321 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001322 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001322 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001323 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001323 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001330 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001330 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001331 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001331 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001332 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001332 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11001333 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11001333 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002002 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002002 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002003 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002003 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002012 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002012 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002013 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002013 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002020 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002020 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002021 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002021 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002022 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002022 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002023 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002023 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002030 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002030 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002031 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002031 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002032 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002032 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002033 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002033 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002100 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002100 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002101 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002101 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002102 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002102 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002103 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002103 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002110 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002110 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002111 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002111 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002112 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002112 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002113 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002113 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002120 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002120 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002121 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002121 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002122 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002122 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002123 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002123 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002130 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002130 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002131 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002131 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002132 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002132 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11002133 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11002133 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100220 : adaptiveCoverCheck 11 (childLL (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100221 : adaptiveCoverCheck 11 (childLH (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100222 : adaptiveCoverCheck 11 (childHL (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100223 : adaptiveCoverCheck 11 (childHH (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100230 : adaptiveCoverCheck 11 (childLL (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100231 : adaptiveCoverCheck 11 (childLH (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100232 : adaptiveCoverCheck 11 (childHL (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100233 : adaptiveCoverCheck 11 (childHH (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003002 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003002 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003003 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003003 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003012 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003012 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003013 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003013 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003020 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003020 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003021 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003021 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003022 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003022 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003023 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003023 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003030 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003030 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003031 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003031 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003032 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003032 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003033 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003033 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003100 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003100 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003101 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003101 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003102 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003102 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003103 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003103 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003110 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003110 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003111 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003111 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003112 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003112 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003113 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003113 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003120 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003120 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003121 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003121 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003122 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003122 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003123 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003123 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003130 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003130 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003131 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003131 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003132 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003132 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003133 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003133 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100320 : adaptiveCoverCheck 11 (childLL (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100321 : adaptiveCoverCheck 11 (childLH (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100322 : adaptiveCoverCheck 11 (childHL (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100323 : adaptiveCoverCheck 11 (childHH (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003300 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003300 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003301 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003301 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003302 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003302 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003303 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003303 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003310 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003310 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003311 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003311 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003312 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003312 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11003313 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11003313 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100332 : adaptiveCoverCheck 11 (childHL (childHH (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1100333 : adaptiveCoverCheck 11 (childHH (childHH (childHH CertificateCellsce54db6860.thetaBelowCell1100))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110100 : adaptiveCoverCheck 12 (childLL (childLL CertificateCellsce54db6860.thetaBelowCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110101 : adaptiveCoverCheck 12 (childLH (childLL CertificateCellsce54db6860.thetaBelowCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101020 : adaptiveCoverCheck 11 (childLL (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101021 : adaptiveCoverCheck 11 (childLH (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010220 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010220 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010221 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010221 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010222 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010222 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010223 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010223 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010230 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010230 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010231 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010231 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010232 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010232 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11010233 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11010233 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101030 : adaptiveCoverCheck 11 (childLL (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101031 : adaptiveCoverCheck 11 (childLH (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101032 : adaptiveCoverCheck 11 (childHL (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101033 : adaptiveCoverCheck 11 (childHH (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110110 : adaptiveCoverCheck 12 (childLL (childLH CertificateCellsce54db6860.thetaBelowCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110111 : adaptiveCoverCheck 12 (childLH (childLH CertificateCellsce54db6860.thetaBelowCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101120 : adaptiveCoverCheck 11 (childLL (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101121 : adaptiveCoverCheck 11 (childLH (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101122 : adaptiveCoverCheck 11 (childHL (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101123 : adaptiveCoverCheck 11 (childHH (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101130 : adaptiveCoverCheck 11 (childLL (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101131 : adaptiveCoverCheck 11 (childLH (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101132 : adaptiveCoverCheck 11 (childHL (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101133 : adaptiveCoverCheck 11 (childHH (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012002 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012002 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012003 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012003 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012012 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012012 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012013 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012013 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012020 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012020 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012021 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012021 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012022 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012022 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012023 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012023 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012030 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012030 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012031 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012031 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012032 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012032 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012033 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012033 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012100 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012100 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012101 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012101 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012102 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012102 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012103 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012103 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012110 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012110 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012111 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012111 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012112 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012112 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012113 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012113 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012120 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012120 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012121 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012121 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012122 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012122 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012123 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012123 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012130 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012130 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012131 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012131 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121320 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11012132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121321 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11012132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121322 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11012132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121323 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11012132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121330 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11012133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121331 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11012133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121332 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11012133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110121333 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11012133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012200 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012200 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012201 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012201 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012202 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012202 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012203 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012203 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012210 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012210 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012211 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012211 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012212 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012212 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012213 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012213 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101222 : adaptiveCoverCheck 11 (childHL (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101223 : adaptiveCoverCheck 11 (childHH (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012300 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012300 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012301 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012301 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012302 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012302 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012303 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012303 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012310 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012310 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012311 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012311 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012312 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012312 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11012313 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11012313 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101232 : adaptiveCoverCheck 11 (childHL (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101233 : adaptiveCoverCheck 11 (childHH (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013002 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013002 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013003 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013003 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013012 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013012 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130130 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130131 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130132 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130133 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013020 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013020 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130210 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130211 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130212 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130213 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130220 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130221 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130222 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130223 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130230 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130231 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130232 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130233 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130300 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130301 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130302 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130303 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130310 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130311 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130312 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130313 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130320 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130321 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130322 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130323 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130330 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130331 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130332 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110130333 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013100 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013100 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013101 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013101 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131020 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131021 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131022 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131023 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131030 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131031 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131032 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131033 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013110 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013110 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013111 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013111 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131120 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013112) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131121 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013112) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131122 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013112) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131123 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013112) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131130 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013113) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131131 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013113) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131132 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013113) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131133 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013113) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131200 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131201 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131202 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131203 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131210 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131211 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131212 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131213 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131220 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131221 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131222 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131223 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131230 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131231 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131232 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131233 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131300 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131301 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131302 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131303 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131310 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131311 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131312 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131313 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131320 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131321 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131322 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131323 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131330 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11013133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131331 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11013133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131332 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11013133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110131333 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11013133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013200 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013200 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013201 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013201 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013202 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013202 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013203 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013203 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013210 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013210 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013211 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013211 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013212 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013212 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013213 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013213 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101322 : adaptiveCoverCheck 11 (childHL (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101323 : adaptiveCoverCheck 11 (childHH (childHL (childHH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013300 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013300 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013301 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013301 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013302 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013302 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013303 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013303 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013310 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013310 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013311 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013311 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013312 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013312 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11013313 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11013313 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101332 : adaptiveCoverCheck 11 (childHL (childHH (childHH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1101333 : adaptiveCoverCheck 11 (childHH (childHH (childHH CertificateCellsce54db6860.thetaBelowCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110200 : adaptiveCoverCheck 12 (childLL (childLL CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110201 : adaptiveCoverCheck 12 (childLH (childLL CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110202 : adaptiveCoverCheck 12 (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110203 : adaptiveCoverCheck 12 (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110210 : adaptiveCoverCheck 12 (childLL (childLH CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110211 : adaptiveCoverCheck 12 (childLH (childLH CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110212 : adaptiveCoverCheck 12 (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110213 : adaptiveCoverCheck 12 (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11022 : adaptiveCoverCheck 13 (childHL CertificateCellsce54db6860.thetaBelowCell1102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11023 : adaptiveCoverCheck 13 (childHH CertificateCellsce54db6860.thetaBelowCell1102) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110300 : adaptiveCoverCheck 12 (childLL (childLL CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110301 : adaptiveCoverCheck 12 (childLH (childLL CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110302 : adaptiveCoverCheck 12 (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110303 : adaptiveCoverCheck 12 (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110310 : adaptiveCoverCheck 12 (childLL (childLH CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110311 : adaptiveCoverCheck 12 (childLH (childLH CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110312 : adaptiveCoverCheck 12 (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf110313 : adaptiveCoverCheck 12 (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11032 : adaptiveCoverCheck 13 (childHL CertificateCellsce54db6860.thetaBelowCell1103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11033 : adaptiveCoverCheck 13 (childHH CertificateCellsce54db6860.thetaBelowCell1103) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111000 : adaptiveCoverCheck 12 (childLL (childLL CertificateCellsce54db6860.thetaBelowCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111001 : adaptiveCoverCheck 12 (childLH (childLL CertificateCellsce54db6860.thetaBelowCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110020 : adaptiveCoverCheck 11 (childLL (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110021 : adaptiveCoverCheck 11 (childLH (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110022 : adaptiveCoverCheck 11 (childHL (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110023 : adaptiveCoverCheck 11 (childHH (childHL (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110030 : adaptiveCoverCheck 11 (childLL (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110031 : adaptiveCoverCheck 11 (childLH (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110032 : adaptiveCoverCheck 11 (childHL (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110033 : adaptiveCoverCheck 11 (childHH (childHH (childLL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111010 : adaptiveCoverCheck 12 (childLL (childLH CertificateCellsce54db6860.thetaBelowCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111011 : adaptiveCoverCheck 12 (childLH (childLH CertificateCellsce54db6860.thetaBelowCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110120 : adaptiveCoverCheck 11 (childLL (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110121 : adaptiveCoverCheck 11 (childLH (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110122 : adaptiveCoverCheck 11 (childHL (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110123 : adaptiveCoverCheck 11 (childHH (childHL (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110130 : adaptiveCoverCheck 11 (childLL (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110131 : adaptiveCoverCheck 11 (childLH (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110132 : adaptiveCoverCheck 11 (childHL (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110133 : adaptiveCoverCheck 11 (childHH (childHH (childLH CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020020 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102002) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020021 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102002) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020022 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102002) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020023 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102002) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020030 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102003) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020031 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102003) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020032 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102003) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020033 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102003) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020120 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102012) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020121 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102012) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020122 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102012) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020123 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102012) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020130 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020131 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020132 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020133 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102013) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020200 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020201 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020202 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020203 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020210 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020211 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020212 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020213 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102021) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020220 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020221 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020222 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020223 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102022) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020230 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020231 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020232 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020233 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102023) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020300 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020301 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020302 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020303 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102030) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020310 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020311 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020312 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020313 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102031) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020320 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020321 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020322 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020323 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102032) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020330 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020331 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020332 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111020333 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102033) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102100 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102100 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102101 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102101 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102102 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102102 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102103 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102103 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102110 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102110 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102111 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102111 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102112 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102112 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102113 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102113 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021200 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021201 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021202 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021203 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102120) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021210 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021211 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021212 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021213 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102121) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021220 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021221 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021222 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021223 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102122) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021230 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021231 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021232 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021233 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102123) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021300 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021301 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021302 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021303 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102130) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021310 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021311 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021312 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021313 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102131) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021320 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021321 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021322 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021323 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102132) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021330 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021331 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021332 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111021333 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102133) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022000 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102200) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022001 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102200) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022002 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102200) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022003 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102200) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022010 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102201) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022011 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102201) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022012 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102201) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022013 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102201) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102202 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102202 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102203 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102203 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022100 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102210) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022101 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102210) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022102 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102210) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022103 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102210) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022110 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102211) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022111 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102211) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022112 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102211) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111022113 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102211) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102212 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102212 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102213 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102213 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110222 : adaptiveCoverCheck 11 (childHL (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110223 : adaptiveCoverCheck 11 (childHH (childHL (childHL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023000 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102300) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023001 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102300) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023002 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102300) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023003 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102300) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023010 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102301) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023011 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102301) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023012 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102301) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023013 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102301) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102302 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102302 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102303 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102303 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023100 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102310) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023101 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102310) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023102 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102310) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023103 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102310) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023110 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11102311) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023111 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11102311) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023112 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11102311) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111023113 : adaptiveCoverCheck 9 (childHH CertificateCellsce54db6860.thetaBelowCell11102311) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102312 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102312 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11102313 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11102313 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110232 : adaptiveCoverCheck 11 (childHL (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf1110233 : adaptiveCoverCheck 11 (childHH (childHH (childHL CertificateCellsce54db6860.thetaBelowCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103000 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103000 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103001 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103001 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103002 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103002 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103003 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103003 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103010 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103010 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103011 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103011 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103012 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103012 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf11103013 : adaptiveCoverCheck 10 CertificateCellsce54db6860.thetaBelowCell11103013 = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111030200 : adaptiveCoverCheck 9 (childLL CertificateCellsce54db6860.thetaBelowCell11103020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111030201 : adaptiveCoverCheck 9 (childLH CertificateCellsce54db6860.thetaBelowCell11103020) = true

theorem GerverSofa.PartE.e24KC2ThetaBelowLeaf111030202 : adaptiveCoverCheck 9 (childHL CertificateCellsce54db6860.thetaBelowCell11103020) = true

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC5FrontierBatchF96LR00464.
• KernelOnly.PartE.E24KC5FrontierBatchF96R00465.

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33301 : adaptiveCoverCheck 9 (childLH CertificateCells5c0c39e876.phiBelowCell3330) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33302 : adaptiveCoverCheck 9 (childHL CertificateCells5c0c39e876.phiBelowCell3330) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33303 : adaptiveCoverCheck 9 (childHH CertificateCellsa1414ae513.phiBelowCell3330) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33310 : adaptiveCoverCheck 9 (childLL CertificateCellsa1414ae513.phiBelowCell3331) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33311 : adaptiveCoverCheck 9 (childLH CertificateCellsa1414ae513.phiBelowCell3331) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33312 : adaptiveCoverCheck 9 (childHL CertificateCellsa1414ae513.phiBelowCell3331) = true