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