method=IntegralClosure; level=5 ; dimWt2Grit= 0; dimWt4= 0; dimWt4Plus= 0; dimWt4Minus= 0; dimWt4GritProducts= ; wt4GritProductsHeckesUsed= ; dimWt4Grit= ; dimWt4TweakProducts= ; wt4TweakProductsHeckesUsed= ; Grit2ThetaBlockLength= ; Grit2ThetaBlocks={ }; Grit2ThetaBlocksAdditionalComments=" "; Grit4ThetaBlocks={ }; Grit4ThetaBlocksAdditionalComments=" "; Grit2TweakThetaBlocks={ }; wt4DetProjectionPlus= ; wt4CoeffNumberPlus= ; modUsedPlus= ; dimWt4PlusSpanned= ; dimH2UpperBoundPlus= 0; dimH2PrimeUpperBoundPlus= ; dimH2DoublePrimeUpperBoundPlus= ; g1IndexUsedPlus= ; g2IndexUsedPlus= ; atMostNonLiftPlus= 0; AsetNumber= ; Aset={ }; wt4DetProjectionMinus= ; wt4CoeffNumberMinus= ; modUsedMinus= ; dimWt4MinusSpanned= ; dimH2UpperBoundMinus= ; g1IndexUsedMinus= ; g2IndexUsedMinus= ; atMostNonLiftMinus= 0; generalComment="Use theorem that if dim H(2)=0, then dim S^2(K(p))=0.";