Gerver sofa: related certificate and semantic modules

• GerverSofa.KernelOnly.PartE.Semantics.Batch002.

Gerver sofa dependency batch

• KernelOnly.PartE.E24PhiBelowKernelLH.
• KernelOnly.PartE.E24PhiBelowKernelLL.

E24 kernel child certificate: PhiBelow/LH, remaining depth 13.

theorem GerverSofa.PartE.e24PhiBelowKernelLH : adaptiveCoverCheck 13 (childLH e24PhiBelowRoot) = true

E24 kernel child certificate: PhiBelow/LL, remaining depth 13.

theorem GerverSofa.PartE.e24PhiBelowKernelLL : adaptiveCoverCheck 13 (childLL e24PhiBelowRoot) = true