Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Certificates.Batch002.
• GerverSofa.KernelOnly.PartE.Certificates.Batch014.

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell : AngleCell

The root angle cell for the expanded adaptive-cover certificate below phiAboveCell1101.

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0 : AngleCell

Cached adaptive-cover cell 0; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1 : AngleCell

Cached adaptive-cover cell 1; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell2 : AngleCell

Cached adaptive-cover cell 2; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell2 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell3 : AngleCell

Cached adaptive-cover cell 3; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell3 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00 : AngleCell

Cached adaptive-cover cell 00; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01 : AngleCell

Cached adaptive-cover cell 01; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell02 : AngleCell

Cached adaptive-cover cell 02; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell02 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell03 : AngleCell

Cached adaptive-cover cell 03; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell03 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10 : AngleCell

Cached adaptive-cover cell 10; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11 : AngleCell

Cached adaptive-cover cell 11; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell12 : AngleCell

Cached adaptive-cover cell 12; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell12 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell13 : AngleCell

Cached adaptive-cover cell 13; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell13 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell20 : AngleCell

Cached adaptive-cover cell 20; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell20 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell2

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell21 : AngleCell

Cached adaptive-cover cell 21; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell21 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell2

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell22 : AngleCell

Cached adaptive-cover cell 22; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell22 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell2

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell23 : AngleCell

Cached adaptive-cover cell 23; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell23 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell2

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell30 : AngleCell

Cached adaptive-cover cell 30; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell30 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell3

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell31 : AngleCell

Cached adaptive-cover cell 31; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell31 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell3

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell32 : AngleCell

Cached adaptive-cover cell 32; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell32 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell3

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell33 : AngleCell

Cached adaptive-cover cell 33; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell33 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell3

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell000 : AngleCell

Cached adaptive-cover cell 000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell00

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell001 : AngleCell

Cached adaptive-cover cell 001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell00

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell002 : AngleCell

Cached adaptive-cover cell 002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell00

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell003 : AngleCell

Cached adaptive-cover cell 003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell00

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell010 : AngleCell

Cached adaptive-cover cell 010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell01

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell011 : AngleCell

Cached adaptive-cover cell 011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell01

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell012 : AngleCell

Cached adaptive-cover cell 012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell01

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell013 : AngleCell

Cached adaptive-cover cell 013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell01

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell030 : AngleCell

Cached adaptive-cover cell 030; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell030 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell03

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell031 : AngleCell

Cached adaptive-cover cell 031; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell031 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell03

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell032 : AngleCell

Cached adaptive-cover cell 032; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell032 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell03

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell033 : AngleCell

Cached adaptive-cover cell 033; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell033 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell03

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100 : AngleCell

Cached adaptive-cover cell 100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101 : AngleCell

Cached adaptive-cover cell 101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell102 : AngleCell

Cached adaptive-cover cell 102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell103 : AngleCell

Cached adaptive-cover cell 103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110 : AngleCell

Cached adaptive-cover cell 110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111 : AngleCell

Cached adaptive-cover cell 111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell112 : AngleCell

Cached adaptive-cover cell 112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell113 : AngleCell

Cached adaptive-cover cell 113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell120 : AngleCell

Cached adaptive-cover cell 120; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell120 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell12

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell121 : AngleCell

Cached adaptive-cover cell 121; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell121 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell12

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell122 : AngleCell

Cached adaptive-cover cell 122; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell122 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell12

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell123 : AngleCell

Cached adaptive-cover cell 123; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell123 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell12

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell130 : AngleCell

Cached adaptive-cover cell 130; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell130 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell13

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell131 : AngleCell

Cached adaptive-cover cell 131; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell131 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell13

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell132 : AngleCell

Cached adaptive-cover cell 132; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell132 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell13

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell133 : AngleCell

Cached adaptive-cover cell 133; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell133 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell13

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000 : AngleCell

Cached adaptive-cover cell 0000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001 : AngleCell

Cached adaptive-cover cell 0001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0002 : AngleCell

Cached adaptive-cover cell 0002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0003 : AngleCell

Cached adaptive-cover cell 0003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010 : AngleCell

Cached adaptive-cover cell 0010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011 : AngleCell

Cached adaptive-cover cell 0011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0012 : AngleCell

Cached adaptive-cover cell 0012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0013 : AngleCell

Cached adaptive-cover cell 0013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100 : AngleCell

Cached adaptive-cover cell 0100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101 : AngleCell

Cached adaptive-cover cell 0101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0102 : AngleCell

Cached adaptive-cover cell 0102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0103 : AngleCell

Cached adaptive-cover cell 0103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110 : AngleCell

Cached adaptive-cover cell 0110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111 : AngleCell

Cached adaptive-cover cell 0111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0112 : AngleCell

Cached adaptive-cover cell 0112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell0113 : AngleCell

Cached adaptive-cover cell 0113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell0113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000 : AngleCell

Cached adaptive-cover cell 1000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001 : AngleCell

Cached adaptive-cover cell 1001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1002 : AngleCell

Cached adaptive-cover cell 1002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1003 : AngleCell

Cached adaptive-cover cell 1003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010 : AngleCell

Cached adaptive-cover cell 1010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011 : AngleCell

Cached adaptive-cover cell 1011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1012 : AngleCell

Cached adaptive-cover cell 1012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1013 : AngleCell

Cached adaptive-cover cell 1013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100 : AngleCell

Cached adaptive-cover cell 1100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101 : AngleCell

Cached adaptive-cover cell 1101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1102 : AngleCell

Cached adaptive-cover cell 1102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1103 : AngleCell

Cached adaptive-cover cell 1103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110 : AngleCell

Cached adaptive-cover cell 1110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111 : AngleCell

Cached adaptive-cover cell 1111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1112 : AngleCell

Cached adaptive-cover cell 1112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1113 : AngleCell

Cached adaptive-cover cell 1113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1120 : AngleCell

Cached adaptive-cover cell 1120; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1120 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell112

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1121 : AngleCell

Cached adaptive-cover cell 1121; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1121 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell112

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1122 : AngleCell

Cached adaptive-cover cell 1122; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1122 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell112

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1123 : AngleCell

Cached adaptive-cover cell 1123; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1123 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell112

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1130 : AngleCell

Cached adaptive-cover cell 1130; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1130 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell113

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1131 : AngleCell

Cached adaptive-cover cell 1131; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1131 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell113

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1132 : AngleCell

Cached adaptive-cover cell 1132; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1132 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell113

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1133 : AngleCell

Cached adaptive-cover cell 1133; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1133 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell113

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00000 : AngleCell

Cached adaptive-cover cell 00000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00001 : AngleCell

Cached adaptive-cover cell 00001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00002 : AngleCell

Cached adaptive-cover cell 00002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00003 : AngleCell

Cached adaptive-cover cell 00003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00010 : AngleCell

Cached adaptive-cover cell 00010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00011 : AngleCell

Cached adaptive-cover cell 00011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00012 : AngleCell

Cached adaptive-cover cell 00012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00013 : AngleCell

Cached adaptive-cover cell 00013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00100 : AngleCell

Cached adaptive-cover cell 00100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00101 : AngleCell

Cached adaptive-cover cell 00101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00102 : AngleCell

Cached adaptive-cover cell 00102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00103 : AngleCell

Cached adaptive-cover cell 00103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00110 : AngleCell

Cached adaptive-cover cell 00110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00111 : AngleCell

Cached adaptive-cover cell 00111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00112 : AngleCell

Cached adaptive-cover cell 00112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell00113 : AngleCell

Cached adaptive-cover cell 00113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell00113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01000 : AngleCell

Cached adaptive-cover cell 01000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01001 : AngleCell

Cached adaptive-cover cell 01001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01002 : AngleCell

Cached adaptive-cover cell 01002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01003 : AngleCell

Cached adaptive-cover cell 01003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01010 : AngleCell

Cached adaptive-cover cell 01010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01011 : AngleCell

Cached adaptive-cover cell 01011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01012 : AngleCell

Cached adaptive-cover cell 01012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01013 : AngleCell

Cached adaptive-cover cell 01013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01100 : AngleCell

Cached adaptive-cover cell 01100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01101 : AngleCell

Cached adaptive-cover cell 01101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01102 : AngleCell

Cached adaptive-cover cell 01102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01103 : AngleCell

Cached adaptive-cover cell 01103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01110 : AngleCell

Cached adaptive-cover cell 01110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01111 : AngleCell

Cached adaptive-cover cell 01111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01112 : AngleCell

Cached adaptive-cover cell 01112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell01113 : AngleCell

Cached adaptive-cover cell 01113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell01113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell0111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10000 : AngleCell

Cached adaptive-cover cell 10000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10001 : AngleCell

Cached adaptive-cover cell 10001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10002 : AngleCell

Cached adaptive-cover cell 10002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10003 : AngleCell

Cached adaptive-cover cell 10003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010 : AngleCell

Cached adaptive-cover cell 10010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011 : AngleCell

Cached adaptive-cover cell 10011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10012 : AngleCell

Cached adaptive-cover cell 10012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10013 : AngleCell

Cached adaptive-cover cell 10013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100 : AngleCell

Cached adaptive-cover cell 10100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101 : AngleCell

Cached adaptive-cover cell 10101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10102 : AngleCell

Cached adaptive-cover cell 10102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10103 : AngleCell

Cached adaptive-cover cell 10103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110 : AngleCell

Cached adaptive-cover cell 10110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111 : AngleCell

Cached adaptive-cover cell 10111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10112 : AngleCell

Cached adaptive-cover cell 10112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell10113 : AngleCell

Cached adaptive-cover cell 10113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell10113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000 : AngleCell

Cached adaptive-cover cell 11000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001 : AngleCell

Cached adaptive-cover cell 11001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11002 : AngleCell

Cached adaptive-cover cell 11002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11003 : AngleCell

Cached adaptive-cover cell 11003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010 : AngleCell

Cached adaptive-cover cell 11010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011 : AngleCell

Cached adaptive-cover cell 11011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11012 : AngleCell

Cached adaptive-cover cell 11012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11013 : AngleCell

Cached adaptive-cover cell 11013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100 : AngleCell

Cached adaptive-cover cell 11100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101 : AngleCell

Cached adaptive-cover cell 11101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11102 : AngleCell

Cached adaptive-cover cell 11102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11103 : AngleCell

Cached adaptive-cover cell 11103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110 : AngleCell

Cached adaptive-cover cell 11110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111 : AngleCell

Cached adaptive-cover cell 11111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11112 : AngleCell

Cached adaptive-cover cell 11112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell11113 : AngleCell

Cached adaptive-cover cell 11113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell11113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100100 : AngleCell

Cached adaptive-cover cell 100100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100101 : AngleCell

Cached adaptive-cover cell 100101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100102 : AngleCell

Cached adaptive-cover cell 100102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100103 : AngleCell

Cached adaptive-cover cell 100103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100110 : AngleCell

Cached adaptive-cover cell 100110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100111 : AngleCell

Cached adaptive-cover cell 100111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100112 : AngleCell

Cached adaptive-cover cell 100112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell100113 : AngleCell

Cached adaptive-cover cell 100113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell100113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101000 : AngleCell

Cached adaptive-cover cell 101000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101001 : AngleCell

Cached adaptive-cover cell 101001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101002 : AngleCell

Cached adaptive-cover cell 101002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101003 : AngleCell

Cached adaptive-cover cell 101003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101010 : AngleCell

Cached adaptive-cover cell 101010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101011 : AngleCell

Cached adaptive-cover cell 101011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101012 : AngleCell

Cached adaptive-cover cell 101012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101013 : AngleCell

Cached adaptive-cover cell 101013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101100 : AngleCell

Cached adaptive-cover cell 101100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101101 : AngleCell

Cached adaptive-cover cell 101101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101102 : AngleCell

Cached adaptive-cover cell 101102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101103 : AngleCell

Cached adaptive-cover cell 101103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101110 : AngleCell

Cached adaptive-cover cell 101110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101111 : AngleCell

Cached adaptive-cover cell 101111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101112 : AngleCell

Cached adaptive-cover cell 101112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell101113 : AngleCell

Cached adaptive-cover cell 101113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell101113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell10111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110000 : AngleCell

Cached adaptive-cover cell 110000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110001 : AngleCell

Cached adaptive-cover cell 110001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110002 : AngleCell

Cached adaptive-cover cell 110002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110003 : AngleCell

Cached adaptive-cover cell 110003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11000

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110010 : AngleCell

Cached adaptive-cover cell 110010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110011 : AngleCell

Cached adaptive-cover cell 110011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110012 : AngleCell

Cached adaptive-cover cell 110012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110013 : AngleCell

Cached adaptive-cover cell 110013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110100 : AngleCell

Cached adaptive-cover cell 110100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110101 : AngleCell

Cached adaptive-cover cell 110101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110102 : AngleCell

Cached adaptive-cover cell 110102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110103 : AngleCell

Cached adaptive-cover cell 110103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110110 : AngleCell

Cached adaptive-cover cell 110110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110111 : AngleCell

Cached adaptive-cover cell 110111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110112 : AngleCell

Cached adaptive-cover cell 110112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell110113 : AngleCell

Cached adaptive-cover cell 110113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell110113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111000 : AngleCell

Cached adaptive-cover cell 111000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001 : AngleCell

Cached adaptive-cover cell 111001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111002 : AngleCell

Cached adaptive-cover cell 111002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111003 : AngleCell

Cached adaptive-cover cell 111003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010 : AngleCell

Cached adaptive-cover cell 111010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011 : AngleCell

Cached adaptive-cover cell 111011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111012 : AngleCell

Cached adaptive-cover cell 111012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111013 : AngleCell

Cached adaptive-cover cell 111013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100 : AngleCell

Cached adaptive-cover cell 111100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101 : AngleCell

Cached adaptive-cover cell 111101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111102 : AngleCell

Cached adaptive-cover cell 111102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111103 : AngleCell

Cached adaptive-cover cell 111103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110 : AngleCell

Cached adaptive-cover cell 111110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111 : AngleCell

Cached adaptive-cover cell 111111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111112 : AngleCell

Cached adaptive-cover cell 111112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell111113 : AngleCell

Cached adaptive-cover cell 111113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell111113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell11111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110010 : AngleCell

Cached adaptive-cover cell 1110010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110011 : AngleCell

Cached adaptive-cover cell 1110011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110012 : AngleCell

Cached adaptive-cover cell 1110012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110013 : AngleCell

Cached adaptive-cover cell 1110013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111001

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110100 : AngleCell

Cached adaptive-cover cell 1110100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110101 : AngleCell

Cached adaptive-cover cell 1110101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110102 : AngleCell

Cached adaptive-cover cell 1110102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110103 : AngleCell

Cached adaptive-cover cell 1110103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111010

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110110 : AngleCell

Cached adaptive-cover cell 1110110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110111 : AngleCell

Cached adaptive-cover cell 1110111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110112 : AngleCell

Cached adaptive-cover cell 1110112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110113 : AngleCell

Cached adaptive-cover cell 1110113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1110113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111011

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111000 : AngleCell

Cached adaptive-cover cell 1111000; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111000 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111001 : AngleCell

Cached adaptive-cover cell 1111001; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111001 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111002 : AngleCell

Cached adaptive-cover cell 1111002; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111002 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111003 : AngleCell

Cached adaptive-cover cell 1111003; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111003 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111100

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111010 : AngleCell

Cached adaptive-cover cell 1111010; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111010 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111011 : AngleCell

Cached adaptive-cover cell 1111011; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111011 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111012 : AngleCell

Cached adaptive-cover cell 1111012; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111012 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111013 : AngleCell

Cached adaptive-cover cell 1111013; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111013 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111101

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111100 : AngleCell

Cached adaptive-cover cell 1111100; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111100 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111101 : AngleCell

Cached adaptive-cover cell 1111101; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111101 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111102 : AngleCell

Cached adaptive-cover cell 1111102; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111102 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111103 : AngleCell

Cached adaptive-cover cell 1111103; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111103 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111110

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111110 : AngleCell

Cached adaptive-cover cell 1111110; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111110 = GerverSofa.PartE.childLL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111111 : AngleCell

Cached adaptive-cover cell 1111111; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111111 = GerverSofa.PartE.childLH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111112 : AngleCell

Cached adaptive-cover cell 1111112; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111112 = GerverSofa.PartE.childHL GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111113 : AngleCell

Cached adaptive-cover cell 1111113; its parent subdivisions specify the exact interval.

Equations

• GerverSofa.PartE.CoverPhiAbove1101100.coverCell1111113 = GerverSofa.PartE.childHH GerverSofa.PartE.CoverPhiAbove1101100.coverCell111111

@[reducible, inline]

abbrev GerverSofa.PartE.CoverPhiAbove1101100.CertificateCellsdb86b7498a.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.CertificateCellsf80409361d.phiAboveCell1011 : AngleCell

Subcell 1011 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.CertificateCellsf80409361d.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.CertificateCells93b6719794.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.CertificateCellsdf243d4011.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.CertificateCells88c20ab319.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.CertificateCells2e53b5dd0c.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.CertificateCellsce9330d4cd.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.

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsce9330d4cd.phiBelowCell3332 : AngleCell

Subcell 3332 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.CertificateCellsce9330d4cd.phiBelowCell3333 : AngleCell

Subcell 3333 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.CertificateCells9612bd9bbf.phiBelowCell3333 : AngleCell

Subcell 3333 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.CertificateCells9612bd9bbf.thetaAboveCell0000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells9612bd9bbf.thetaAboveCell00002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd19e562ded.thetaAboveCell0000 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellsd19e562ded.thetaAboveCell00002200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCellse3e967073d.phiAboveCell1110 : AngleCell

Subcell 1110 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.CertificateCells23b3ec373b.phiAboveCell1110 : AngleCell

Subcell 1110 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.CertificateCells9b25d0fd5e.phiAboveCell1110 : AngleCell

Subcell 1110 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.CertificateCells486c3dc7d8.phiAboveCell1110 : AngleCell

Subcell 1110 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.CertificateCellsdd72fc553d.phiAboveCell1110 : AngleCell

Subcell 1110 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.CertificateCellsdd72fc553d.phiAboveCell1111 : AngleCell

Subcell 1111 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.CertificateCells308b6c24e8.phiAboveCell1111 : AngleCell

Subcell 1111 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.CertificateCells48ddfaabb3.phiAboveCell1111 : AngleCell

Subcell 1111 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.CertificateCells4368513ed3.phiAboveCell1111 : AngleCell

Subcell 1111 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.CertificateCellsd48a6bc390.phiAboveCell1111 : AngleCell

Subcell 1111 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.CertificateCells3620ccdfd7.thetaAboveCell1100 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell1101 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell1102 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell1103 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell1110 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell1111 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11003330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11003331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11003332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11003333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11012333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11013333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11102333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103331 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103332 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11103333 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112200 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112201 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112202 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112203 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112210 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112211 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112212 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112213 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112220 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112221 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112222 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112223 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112230 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112231 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112232 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112233 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112300 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112301 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112302 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112303 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112310 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112311 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112312 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112313 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112320 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112321 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112322 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112323 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112330 : AngleCell

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

Equations

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

@[reducible, inline]

abbrev GerverSofa.PartE.CertificateCells3620ccdfd7.thetaAboveCell11112331 : AngleCell

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

Equations

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

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC4BatchPhiAboveF9C1LLRLRL0011.
• KernelOnly.PartE.E24KC4PilotPhiAboveF90002.
• KernelOnly.PartE.E24KC5FrontierBatchF0LLR00112.
• KernelOnly.PartE.E24KC5FrontierBatchF0LRL00114.
• KernelOnly.PartE.E24KC5FrontierBatchF0RLR00169.
• KernelOnly.PartE.E24KC5FrontierBatchF0RRL00171.
• KernelOnly.PartE.E24KC5FrontierBatchF10400466.
• KernelOnly.PartE.E24KC5FrontierBatchF112L00468.
• KernelOnly.PartE.E24KC5FrontierBatchF112RLL00471.
• KernelOnly.PartE.E24KC5FrontierBatchF16LLL00214.
• KernelOnly.PartE.E24KC5FrontierBatchF16LLR00215.
• KernelOnly.PartE.E24KC5FrontierBatchF16LR00216.
• KernelOnly.PartE.E24KC5FrontierBatchF16RL00218.
• KernelOnly.PartE.E24KC5FrontierBatchF16RR00219.
• KernelOnly.PartE.E24KC5FrontierBatchF24LL00222.
• KernelOnly.PartE.E24KC5FrontierBatchF24LR00223.
• KernelOnly.PartE.E24KC5FrontierBatchF24RL00225.
• KernelOnly.PartE.E24KC5FrontierBatchF24RR00226.

E24KC4 auto-tuned batched kernel certificates.

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110010 : adaptiveCoverCheck 2 coverCell1110010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110011 : adaptiveCoverCheck 2 coverCell1110011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110012 : adaptiveCoverCheck 2 coverCell1110012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110013 : adaptiveCoverCheck 2 coverCell1110013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110100 : adaptiveCoverCheck 2 coverCell1110100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110101 : adaptiveCoverCheck 2 coverCell1110101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110102 : adaptiveCoverCheck 2 coverCell1110102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110103 : adaptiveCoverCheck 2 coverCell1110103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110110 : adaptiveCoverCheck 2 coverCell1110110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110111 : adaptiveCoverCheck 2 coverCell1110111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110112 : adaptiveCoverCheck 2 coverCell1110112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110113 : adaptiveCoverCheck 2 coverCell1110113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111000 : adaptiveCoverCheck 2 coverCell1111000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111001 : adaptiveCoverCheck 2 coverCell1111001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111002 : adaptiveCoverCheck 2 coverCell1111002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111003 : adaptiveCoverCheck 2 coverCell1111003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111010 : adaptiveCoverCheck 2 coverCell1111010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111011 : adaptiveCoverCheck 2 coverCell1111011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111012 : adaptiveCoverCheck 2 coverCell1111012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111013 : adaptiveCoverCheck 2 coverCell1111013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111100 : adaptiveCoverCheck 2 coverCell1111100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111101 : adaptiveCoverCheck 2 coverCell1111101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111102 : adaptiveCoverCheck 2 coverCell1111102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111103 : adaptiveCoverCheck 2 coverCell1111103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111110 : adaptiveCoverCheck 2 coverCell1111110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111111 : adaptiveCoverCheck 2 coverCell1111111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111112 : adaptiveCoverCheck 2 coverCell1111112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111113 : adaptiveCoverCheck 2 coverCell1111113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100100 : adaptiveCoverCheck 3 coverCell100100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100101 : adaptiveCoverCheck 3 coverCell100101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100102 : adaptiveCoverCheck 3 coverCell100102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100103 : adaptiveCoverCheck 3 coverCell100103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100110 : adaptiveCoverCheck 3 coverCell100110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100111 : adaptiveCoverCheck 3 coverCell100111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100112 : adaptiveCoverCheck 3 coverCell100112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100113 : adaptiveCoverCheck 3 coverCell100113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101000 : adaptiveCoverCheck 3 coverCell101000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101001 : adaptiveCoverCheck 3 coverCell101001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101002 : adaptiveCoverCheck 3 coverCell101002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101003 : adaptiveCoverCheck 3 coverCell101003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101010 : adaptiveCoverCheck 3 coverCell101010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101011 : adaptiveCoverCheck 3 coverCell101011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101012 : adaptiveCoverCheck 3 coverCell101012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101013 : adaptiveCoverCheck 3 coverCell101013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101100 : adaptiveCoverCheck 3 coverCell101100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101101 : adaptiveCoverCheck 3 coverCell101101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101102 : adaptiveCoverCheck 3 coverCell101102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101103 : adaptiveCoverCheck 3 coverCell101103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101110 : adaptiveCoverCheck 3 coverCell101110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101111 : adaptiveCoverCheck 3 coverCell101111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101112 : adaptiveCoverCheck 3 coverCell101112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101113 : adaptiveCoverCheck 3 coverCell101113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110000 : adaptiveCoverCheck 3 coverCell110000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110001 : adaptiveCoverCheck 3 coverCell110001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110002 : adaptiveCoverCheck 3 coverCell110002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110003 : adaptiveCoverCheck 3 coverCell110003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110010 : adaptiveCoverCheck 3 coverCell110010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110011 : adaptiveCoverCheck 3 coverCell110011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110012 : adaptiveCoverCheck 3 coverCell110012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110013 : adaptiveCoverCheck 3 coverCell110013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110100 : adaptiveCoverCheck 3 coverCell110100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110101 : adaptiveCoverCheck 3 coverCell110101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110102 : adaptiveCoverCheck 3 coverCell110102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110103 : adaptiveCoverCheck 3 coverCell110103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110110 : adaptiveCoverCheck 3 coverCell110110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110111 : adaptiveCoverCheck 3 coverCell110111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110112 : adaptiveCoverCheck 3 coverCell110112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110113 : adaptiveCoverCheck 3 coverCell110113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111000 : adaptiveCoverCheck 3 coverCell111000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111001 : adaptiveCoverCheck 3 coverCell111001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111002 : adaptiveCoverCheck 3 coverCell111002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111003 : adaptiveCoverCheck 3 coverCell111003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111010 : adaptiveCoverCheck 3 coverCell111010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111011 : adaptiveCoverCheck 3 coverCell111011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111012 : adaptiveCoverCheck 3 coverCell111012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111013 : adaptiveCoverCheck 3 coverCell111013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111100 : adaptiveCoverCheck 3 coverCell111100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111101 : adaptiveCoverCheck 3 coverCell111101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111102 : adaptiveCoverCheck 3 coverCell111102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111103 : adaptiveCoverCheck 3 coverCell111103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111110 : adaptiveCoverCheck 3 coverCell111110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111111 : adaptiveCoverCheck 3 coverCell111111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111112 : adaptiveCoverCheck 3 coverCell111112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111113 : adaptiveCoverCheck 3 coverCell111113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00000 : adaptiveCoverCheck 4 coverCell00000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00001 : adaptiveCoverCheck 4 coverCell00001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00002 : adaptiveCoverCheck 4 coverCell00002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00003 : adaptiveCoverCheck 4 coverCell00003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00010 : adaptiveCoverCheck 4 coverCell00010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00011 : adaptiveCoverCheck 4 coverCell00011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00012 : adaptiveCoverCheck 4 coverCell00012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00013 : adaptiveCoverCheck 4 coverCell00013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00100 : adaptiveCoverCheck 4 coverCell00100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00101 : adaptiveCoverCheck 4 coverCell00101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00102 : adaptiveCoverCheck 4 coverCell00102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00103 : adaptiveCoverCheck 4 coverCell00103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00110 : adaptiveCoverCheck 4 coverCell00110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00111 : adaptiveCoverCheck 4 coverCell00111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00112 : adaptiveCoverCheck 4 coverCell00112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00113 : adaptiveCoverCheck 4 coverCell00113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01000 : adaptiveCoverCheck 4 coverCell01000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01001 : adaptiveCoverCheck 4 coverCell01001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01002 : adaptiveCoverCheck 4 coverCell01002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01003 : adaptiveCoverCheck 4 coverCell01003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01010 : adaptiveCoverCheck 4 coverCell01010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01011 : adaptiveCoverCheck 4 coverCell01011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01012 : adaptiveCoverCheck 4 coverCell01012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01013 : adaptiveCoverCheck 4 coverCell01013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01100 : adaptiveCoverCheck 4 coverCell01100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01101 : adaptiveCoverCheck 4 coverCell01101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01102 : adaptiveCoverCheck 4 coverCell01102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01103 : adaptiveCoverCheck 4 coverCell01103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01110 : adaptiveCoverCheck 4 coverCell01110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01111 : adaptiveCoverCheck 4 coverCell01111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01112 : adaptiveCoverCheck 4 coverCell01112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01113 : adaptiveCoverCheck 4 coverCell01113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10000 : adaptiveCoverCheck 4 coverCell10000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10001 : adaptiveCoverCheck 4 coverCell10001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10002 : adaptiveCoverCheck 4 coverCell10002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10003 : adaptiveCoverCheck 4 coverCell10003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10010 : adaptiveCoverCheck 4 coverCell10010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10011 : adaptiveCoverCheck 4 coverCell10011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10012 : adaptiveCoverCheck 4 coverCell10012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10013 : adaptiveCoverCheck 4 coverCell10013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10100 : adaptiveCoverCheck 4 coverCell10100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10101 : adaptiveCoverCheck 4 coverCell10101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10102 : adaptiveCoverCheck 4 coverCell10102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10103 : adaptiveCoverCheck 4 coverCell10103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10110 : adaptiveCoverCheck 4 coverCell10110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10111 : adaptiveCoverCheck 4 coverCell10111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10112 : adaptiveCoverCheck 4 coverCell10112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10113 : adaptiveCoverCheck 4 coverCell10113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11000 : adaptiveCoverCheck 4 coverCell11000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11001 : adaptiveCoverCheck 4 coverCell11001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11002 : adaptiveCoverCheck 4 coverCell11002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11003 : adaptiveCoverCheck 4 coverCell11003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11010 : adaptiveCoverCheck 4 coverCell11010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11011 : adaptiveCoverCheck 4 coverCell11011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11012 : adaptiveCoverCheck 4 coverCell11012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11013 : adaptiveCoverCheck 4 coverCell11013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11100 : adaptiveCoverCheck 4 coverCell11100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11101 : adaptiveCoverCheck 4 coverCell11101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11102 : adaptiveCoverCheck 4 coverCell11102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11103 : adaptiveCoverCheck 4 coverCell11103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11110 : adaptiveCoverCheck 4 coverCell11110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11111 : adaptiveCoverCheck 4 coverCell11111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11112 : adaptiveCoverCheck 4 coverCell11112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11113 : adaptiveCoverCheck 4 coverCell11113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0000 : adaptiveCoverCheck 5 coverCell0000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0001 : adaptiveCoverCheck 5 coverCell0001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0002 : adaptiveCoverCheck 5 coverCell0002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0003 : adaptiveCoverCheck 5 coverCell0003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0010 : adaptiveCoverCheck 5 coverCell0010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0011 : adaptiveCoverCheck 5 coverCell0011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0012 : adaptiveCoverCheck 5 coverCell0012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0013 : adaptiveCoverCheck 5 coverCell0013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0100 : adaptiveCoverCheck 5 coverCell0100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0101 : adaptiveCoverCheck 5 coverCell0101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0102 : adaptiveCoverCheck 5 coverCell0102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0103 : adaptiveCoverCheck 5 coverCell0103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0110 : adaptiveCoverCheck 5 coverCell0110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0111 : adaptiveCoverCheck 5 coverCell0111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0112 : adaptiveCoverCheck 5 coverCell0112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0113 : adaptiveCoverCheck 5 coverCell0113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1000 : adaptiveCoverCheck 5 coverCell1000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1001 : adaptiveCoverCheck 5 coverCell1001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1002 : adaptiveCoverCheck 5 coverCell1002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1003 : adaptiveCoverCheck 5 coverCell1003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1010 : adaptiveCoverCheck 5 coverCell1010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1011 : adaptiveCoverCheck 5 coverCell1011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1012 : adaptiveCoverCheck 5 coverCell1012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1013 : adaptiveCoverCheck 5 coverCell1013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1100 : adaptiveCoverCheck 5 coverCell1100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1101 : adaptiveCoverCheck 5 coverCell1101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1102 : adaptiveCoverCheck 5 coverCell1102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1103 : adaptiveCoverCheck 5 coverCell1103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1110 : adaptiveCoverCheck 5 coverCell1110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1111 : adaptiveCoverCheck 5 coverCell1111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1112 : adaptiveCoverCheck 5 coverCell1112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1113 : adaptiveCoverCheck 5 coverCell1113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1120 : adaptiveCoverCheck 5 coverCell1120 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1121 : adaptiveCoverCheck 5 coverCell1121 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1122 : adaptiveCoverCheck 5 coverCell1122 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1123 : adaptiveCoverCheck 5 coverCell1123 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1130 : adaptiveCoverCheck 5 coverCell1130 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1131 : adaptiveCoverCheck 5 coverCell1131 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1132 : adaptiveCoverCheck 5 coverCell1132 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1133 : adaptiveCoverCheck 5 coverCell1133 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked000 : adaptiveCoverCheck 6 coverCell000 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked001 : adaptiveCoverCheck 6 coverCell001 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked002 : adaptiveCoverCheck 6 coverCell002 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked003 : adaptiveCoverCheck 6 coverCell003 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked010 : adaptiveCoverCheck 6 coverCell010 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked011 : adaptiveCoverCheck 6 coverCell011 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked012 : adaptiveCoverCheck 6 coverCell012 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked013 : adaptiveCoverCheck 6 coverCell013 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked030 : adaptiveCoverCheck 6 coverCell030 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked031 : adaptiveCoverCheck 6 coverCell031 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked032 : adaptiveCoverCheck 6 coverCell032 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked033 : adaptiveCoverCheck 6 coverCell033 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked100 : adaptiveCoverCheck 6 coverCell100 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked101 : adaptiveCoverCheck 6 coverCell101 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked102 : adaptiveCoverCheck 6 coverCell102 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked103 : adaptiveCoverCheck 6 coverCell103 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked110 : adaptiveCoverCheck 6 coverCell110 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked111 : adaptiveCoverCheck 6 coverCell111 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked112 : adaptiveCoverCheck 6 coverCell112 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked113 : adaptiveCoverCheck 6 coverCell113 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked120 : adaptiveCoverCheck 6 coverCell120 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked121 : adaptiveCoverCheck 6 coverCell121 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked122 : adaptiveCoverCheck 6 coverCell122 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked123 : adaptiveCoverCheck 6 coverCell123 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked130 : adaptiveCoverCheck 6 coverCell130 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked131 : adaptiveCoverCheck 6 coverCell131 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked132 : adaptiveCoverCheck 6 coverCell132 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked133 : adaptiveCoverCheck 6 coverCell133 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked00 : adaptiveCoverCheck 7 coverCell00 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked01 : adaptiveCoverCheck 7 coverCell01 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked02 : adaptiveCoverCheck 7 coverCell02 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked03 : adaptiveCoverCheck 7 coverCell03 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked10 : adaptiveCoverCheck 7 coverCell10 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked11 : adaptiveCoverCheck 7 coverCell11 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked12 : adaptiveCoverCheck 7 coverCell12 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked13 : adaptiveCoverCheck 7 coverCell13 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked20 : adaptiveCoverCheck 7 coverCell20 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked21 : adaptiveCoverCheck 7 coverCell21 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked22 : adaptiveCoverCheck 7 coverCell22 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked23 : adaptiveCoverCheck 7 coverCell23 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked30 : adaptiveCoverCheck 7 coverCell30 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked31 : adaptiveCoverCheck 7 coverCell31 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked32 : adaptiveCoverCheck 7 coverCell32 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked33 : adaptiveCoverCheck 7 coverCell33 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked0 : adaptiveCoverCheck 8 coverCell0 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked1 : adaptiveCoverCheck 8 coverCell1 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked2 : adaptiveCoverCheck 8 coverCell2 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checked3 : adaptiveCoverCheck 8 coverCell3 = true

theorem GerverSofa.PartE.CoverPhiAbove1101100.checkedRoot : adaptiveCoverCheck 9 coverCell = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101100 : adaptiveCoverCheck 9 CoverPhiAbove1101100.coverCell = true

E24KC4 auto-tuned batched kernel certificates.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1011011 : adaptiveCoverCheck 9 (childLH (childLH (childLL CertificateCellsf80409361d.phiAboveCell1011))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1011100 : adaptiveCoverCheck 9 (childLL (childLL (childLH CertificateCellsf80409361d.phiAboveCell1011))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1011101 : adaptiveCoverCheck 9 (childLH (childLL (childLH CertificateCellsf80409361d.phiAboveCell1011))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1011110 : adaptiveCoverCheck 9 (childLL (childLH (childLH CertificateCellsf80409361d.phiAboveCell1011))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1011111 : adaptiveCoverCheck 9 (childLH (childLH (childLH CertificateCellsf80409361d.phiAboveCell1011))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100000 : adaptiveCoverCheck 9 (childLL (childLL (childLL CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100001 : adaptiveCoverCheck 9 (childLH (childLL (childLL CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100010 : adaptiveCoverCheck 9 (childLL (childLH (childLL CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100011 : adaptiveCoverCheck 9 (childLH (childLH (childLL CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100100 : adaptiveCoverCheck 9 (childLL (childLL (childLH CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100101 : adaptiveCoverCheck 9 (childLH (childLL (childLH CertificateCellsf80409361d.phiAboveCell1100))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1100110 : adaptiveCoverCheck 9 (childLL (childLH (childLH CertificateCellsf80409361d.phiAboveCell1100))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101102 : adaptiveCoverCheck 9 (childHL (childLL (childLH CertificateCells93b6719794.phiAboveCell1101))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101103 : adaptiveCoverCheck 9 (childHH (childLL (childLH CertificateCellsdf243d4011.phiAboveCell1101))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101112 : adaptiveCoverCheck 9 (childHL (childLH (childLH CertificateCells88c20ab319.phiAboveCell1101))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1101113 : adaptiveCoverCheck 9 (childHH (childLH (childLH CertificateCells2e53b5dd0c.phiAboveCell1101))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33313 : adaptiveCoverCheck 9 (childHH CertificateCellsce9330d4cd.phiBelowCell3331) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33320 : adaptiveCoverCheck 9 (childLL CertificateCellsce9330d4cd.phiBelowCell3332) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33321 : adaptiveCoverCheck 9 (childLH CertificateCellsce9330d4cd.phiBelowCell3332) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33322 : adaptiveCoverCheck 9 (childHL CertificateCellsce9330d4cd.phiBelowCell3332) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33323 : adaptiveCoverCheck 9 (childHH CertificateCellsce9330d4cd.phiBelowCell3332) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33330 : adaptiveCoverCheck 9 (childLL CertificateCellsce9330d4cd.phiBelowCell3333) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33331 : adaptiveCoverCheck 9 (childLH CertificateCellsce9330d4cd.phiBelowCell3333) = true

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33332 : adaptiveCoverCheck 9 (childHL CertificateCellsce9330d4cd.phiBelowCell3333) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiBelowLeaf33333 : adaptiveCoverCheck 9 (childHH CertificateCells9612bd9bbf.phiBelowCell3333) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220002 : adaptiveCoverCheck 9 (childHL (childLL CertificateCells9612bd9bbf.thetaAboveCell00002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220003 : adaptiveCoverCheck 9 (childHH (childLL CertificateCells9612bd9bbf.thetaAboveCell00002200)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220012 : adaptiveCoverCheck 9 (childHL (childLH CertificateCells9612bd9bbf.thetaAboveCell00002200)) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf0000220013 : adaptiveCoverCheck 9 (childHH (childLH CertificateCellsd19e562ded.thetaAboveCell00002200)) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110101 : adaptiveCoverCheck 9 (childLH (childLL (childLH CertificateCellse3e967073d.phiAboveCell1110))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110102 : adaptiveCoverCheck 9 (childHL (childLL (childLH CertificateCells23b3ec373b.phiAboveCell1110))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110103 : adaptiveCoverCheck 9 (childHH (childLL (childLH CertificateCells9b25d0fd5e.phiAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110110 : adaptiveCoverCheck 9 (childLL (childLH (childLH CertificateCells9b25d0fd5e.phiAboveCell1110))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110111 : adaptiveCoverCheck 9 (childLH (childLH (childLH CertificateCells486c3dc7d8.phiAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110112 : adaptiveCoverCheck 9 (childHL (childLH (childLH CertificateCells486c3dc7d8.phiAboveCell1110))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1110113 : adaptiveCoverCheck 9 (childHH (childLH (childLH CertificateCellsdd72fc553d.phiAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111000 : adaptiveCoverCheck 9 (childLL (childLL (childLL CertificateCellsdd72fc553d.phiAboveCell1111))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111001 : adaptiveCoverCheck 9 (childLH (childLL (childLL CertificateCells308b6c24e8.phiAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111002 : adaptiveCoverCheck 9 (childHL (childLL (childLL CertificateCells308b6c24e8.phiAboveCell1111))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111003 : adaptiveCoverCheck 9 (childHH (childLL (childLL CertificateCells48ddfaabb3.phiAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111010 : adaptiveCoverCheck 9 (childLL (childLH (childLL CertificateCells48ddfaabb3.phiAboveCell1111))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111011 : adaptiveCoverCheck 9 (childLH (childLH (childLL CertificateCells4368513ed3.phiAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111012 : adaptiveCoverCheck 9 (childHL (childLH (childLL CertificateCells4368513ed3.phiAboveCell1111))) = true

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111013 : adaptiveCoverCheck 9 (childHH (childLH (childLL CertificateCellsd48a6bc390.phiAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2PhiAboveLeaf1111100 : adaptiveCoverCheck 9 (childLL (childLL (childLH CertificateCellsd48a6bc390.phiAboveCell1111))) = true

Gerver sofa dependency batch

• KernelOnly.PartE.E24KC5TerminalBatchT563200014.

E24KC5 checkpoint-aware kernel batch.

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11003330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11003330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11003330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11003331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11003331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11003331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110033313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11003331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11003332 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11003332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11003333 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11003333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110100 : adaptiveCoverCheck 13 (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110101 : adaptiveCoverCheck 13 (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110102 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110103 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110110 : adaptiveCoverCheck 13 (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110111 : adaptiveCoverCheck 13 (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110112 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110113 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells3620ccdfd7.thetaAboveCell1101)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101200 : adaptiveCoverCheck 12 (childLL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101201 : adaptiveCoverCheck 12 (childLH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101202 : adaptiveCoverCheck 12 (childHL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101203 : adaptiveCoverCheck 12 (childHH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101210 : adaptiveCoverCheck 12 (childLL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101211 : adaptiveCoverCheck 12 (childLH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101212 : adaptiveCoverCheck 12 (childHL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101213 : adaptiveCoverCheck 12 (childHH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012200 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012200 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012201 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012201 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012210 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012210 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012211 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012211 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012222 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012223 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110122313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012232 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012233 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012300 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012300 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012301 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012301 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012310 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012310 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012311 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012311 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012322 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012323 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11012331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11012331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11012331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110123313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11012331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012332 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11012333 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11012333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101300 : adaptiveCoverCheck 12 (childLL (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101301 : adaptiveCoverCheck 12 (childLH (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101302 : adaptiveCoverCheck 12 (childHL (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101303 : adaptiveCoverCheck 12 (childHH (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101310 : adaptiveCoverCheck 12 (childLL (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101311 : adaptiveCoverCheck 12 (childLH (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101312 : adaptiveCoverCheck 12 (childHL (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1101313 : adaptiveCoverCheck 12 (childHH (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1101))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013200 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013200 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013201 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013201 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013210 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013210 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013211 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013211 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013222 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013223 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110132313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013232 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013233 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013300 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013300 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013301 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013301 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013310 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013310 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013311 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013311 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013322 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013323 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11013331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11013331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11013331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110133313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11013331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013332 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11013333 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11013333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102000 : adaptiveCoverCheck 12 (childLL (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102001 : adaptiveCoverCheck 12 (childLH (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102002 : adaptiveCoverCheck 12 (childHL (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102003 : adaptiveCoverCheck 12 (childHH (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102010 : adaptiveCoverCheck 12 (childLL (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102011 : adaptiveCoverCheck 12 (childLH (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102012 : adaptiveCoverCheck 12 (childHL (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102013 : adaptiveCoverCheck 12 (childHH (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110202 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells3620ccdfd7.thetaAboveCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110203 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells3620ccdfd7.thetaAboveCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102100 : adaptiveCoverCheck 12 (childLL (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102101 : adaptiveCoverCheck 12 (childLH (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102102 : adaptiveCoverCheck 12 (childHL (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102103 : adaptiveCoverCheck 12 (childHH (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102110 : adaptiveCoverCheck 12 (childLL (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102111 : adaptiveCoverCheck 12 (childLH (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102112 : adaptiveCoverCheck 12 (childHL (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1102113 : adaptiveCoverCheck 12 (childHH (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1102))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110212 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells3620ccdfd7.thetaAboveCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110213 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells3620ccdfd7.thetaAboveCell1102)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11022 : adaptiveCoverCheck 14 (childHL CertificateCells3620ccdfd7.thetaAboveCell1102) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11023 : adaptiveCoverCheck 14 (childHH CertificateCells3620ccdfd7.thetaAboveCell1102) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103000 : adaptiveCoverCheck 12 (childLL (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103001 : adaptiveCoverCheck 12 (childLH (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103002 : adaptiveCoverCheck 12 (childHL (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103003 : adaptiveCoverCheck 12 (childHH (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103010 : adaptiveCoverCheck 12 (childLL (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103011 : adaptiveCoverCheck 12 (childLH (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103012 : adaptiveCoverCheck 12 (childHL (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103013 : adaptiveCoverCheck 12 (childHH (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110302 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells3620ccdfd7.thetaAboveCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110303 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells3620ccdfd7.thetaAboveCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103100 : adaptiveCoverCheck 12 (childLL (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103101 : adaptiveCoverCheck 12 (childLH (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103102 : adaptiveCoverCheck 12 (childHL (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103103 : adaptiveCoverCheck 12 (childHH (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103110 : adaptiveCoverCheck 12 (childLL (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103111 : adaptiveCoverCheck 12 (childLH (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103112 : adaptiveCoverCheck 12 (childHL (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1103113 : adaptiveCoverCheck 12 (childHH (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1103))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110312 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells3620ccdfd7.thetaAboveCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf110313 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells3620ccdfd7.thetaAboveCell1103)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11032 : adaptiveCoverCheck 14 (childHL CertificateCells3620ccdfd7.thetaAboveCell1103) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11033 : adaptiveCoverCheck 14 (childHH CertificateCells3620ccdfd7.thetaAboveCell1103) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111000 : adaptiveCoverCheck 13 (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111001 : adaptiveCoverCheck 13 (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111002 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111003 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111010 : adaptiveCoverCheck 13 (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111011 : adaptiveCoverCheck 13 (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111012 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111013 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells3620ccdfd7.thetaAboveCell1110)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110200 : adaptiveCoverCheck 12 (childLL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110201 : adaptiveCoverCheck 12 (childLH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110202 : adaptiveCoverCheck 12 (childHL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110203 : adaptiveCoverCheck 12 (childHH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110210 : adaptiveCoverCheck 12 (childLL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110211 : adaptiveCoverCheck 12 (childLH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110212 : adaptiveCoverCheck 12 (childHL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110213 : adaptiveCoverCheck 12 (childHH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102200 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102200 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102201 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102201 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102210 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102210 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102211 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102211 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102222 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102223 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111022313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102232 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102233 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102300 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102300 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102301 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102301 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102310 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102310 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102311 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102311 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102322 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102323 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11102331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11102331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11102331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111023313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11102331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102332 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11102333 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11102333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110300 : adaptiveCoverCheck 12 (childLL (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110301 : adaptiveCoverCheck 12 (childLH (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110302 : adaptiveCoverCheck 12 (childHL (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110303 : adaptiveCoverCheck 12 (childHH (childLL (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110310 : adaptiveCoverCheck 12 (childLL (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110311 : adaptiveCoverCheck 12 (childLH (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110312 : adaptiveCoverCheck 12 (childHL (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1110313 : adaptiveCoverCheck 12 (childHH (childLH (childHH CertificateCells3620ccdfd7.thetaAboveCell1110))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103200 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103200 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103201 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103201 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103210 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103210 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103211 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103211 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103222 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103223 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111032313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103232 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103233 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103300 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103300 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103301 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103301 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103310 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103310 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103311 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103311 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103322 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103323 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11103331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11103331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11103331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111033313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11103331) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103332 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103332 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11103333 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11103333 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111100 : adaptiveCoverCheck 13 (childLL (childLL CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111101 : adaptiveCoverCheck 13 (childLH (childLL CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111102 : adaptiveCoverCheck 13 (childHL (childLL CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111103 : adaptiveCoverCheck 13 (childHH (childLL CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111110 : adaptiveCoverCheck 13 (childLL (childLH CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111111 : adaptiveCoverCheck 13 (childLH (childLH CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111112 : adaptiveCoverCheck 13 (childHL (childLH CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111113 : adaptiveCoverCheck 13 (childHH (childLH CertificateCells3620ccdfd7.thetaAboveCell1111)) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111200 : adaptiveCoverCheck 12 (childLL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111201 : adaptiveCoverCheck 12 (childLH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111202 : adaptiveCoverCheck 12 (childHL (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111203 : adaptiveCoverCheck 12 (childHH (childLL (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111210 : adaptiveCoverCheck 12 (childLL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111211 : adaptiveCoverCheck 12 (childLH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111212 : adaptiveCoverCheck 12 (childHL (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf1111213 : adaptiveCoverCheck 12 (childHH (childLH (childHL CertificateCells3620ccdfd7.thetaAboveCell1111))) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112200 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112200 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112201 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112201 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112202) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112203) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112210 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112210 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112211 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112211 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112212) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112213) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112220) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112221) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112222 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112222 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112223 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112223 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112230) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122311 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122312 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111122313 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112231) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112232 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112232 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112233 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112233 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112300 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112300 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112301 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112301 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123020 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123021 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123022 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123023 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112302) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123030 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123031 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123032 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123033 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112303) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112310 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112310 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112311 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112311 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123120 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123121 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123122 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123123 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112312) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123130 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123131 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123132 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123133 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112313) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123200 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123201 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123202 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123203 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112320) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123210 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123211 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123212 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123213 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112321) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112322 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112322 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf11112323 : adaptiveCoverCheck 11 CertificateCells3620ccdfd7.thetaAboveCell11112323 = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123300 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123301 : adaptiveCoverCheck 10 (childLH CertificateCells3620ccdfd7.thetaAboveCell11112330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123302 : adaptiveCoverCheck 10 (childHL CertificateCells3620ccdfd7.thetaAboveCell11112330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123303 : adaptiveCoverCheck 10 (childHH CertificateCells3620ccdfd7.thetaAboveCell11112330) = true

theorem GerverSofa.PartE.e24KC2ThetaAboveLeaf111123310 : adaptiveCoverCheck 10 (childLL CertificateCells3620ccdfd7.thetaAboveCell11112331) = true