"set i=1, n=5, and h=4. The values of m are in table4." table4:=[[0,0,0,0,-1],[-1,0,0,0,-1],[1,0,0,0,-1],[-2,0,0,0,-1],[-1,-1,0,0,-1]~ ,[-1,1,0,0,-1],[1,1,0,0,-1],[2,0,0,0,-1],[-3,0,0,0,-1],[-2,-1,0,0,-1],[-2,1,0~ ,0,-1],[-1,-1,-1,0,-1],[-1,-1,1,0,-1],[-1,1,1,0,-1],[-1,2,0,0,-1],[1,1,1,0,-1~ ],[1,2,0,0,-1],[3,0,0,0,-1],[-4,0,0,0,-1],[-3,-1,0,0,-1],[-3,1,0,0,-1],[-2,-2~ ,0,0,-1],[-2,-1,-1,0,-1],[-2,-1,1,0,-1],[-2,1,1,0,-1],[-2,2,0,0,-1],[-1,-1,-1~ ,-1,-1],[-1,-1,-1,1,-1],[-1,-1,1,1,-1],[-1,1,1,1,-1],[1,1,1,1,-1],[1,1,2,0,-1~ ],[1,3,0,0,-1],[2,2,0,0,-1],[4,0,0,0,-1],[0,0,0,0,1],[-1,0,0,0,1],[1,0,0,0,1]~ ,[-2,0,0,0,1],[-1,-1,0,0,1],[-1,1,0,0,1],[1,1,0,0,1],[2,0,0,0,1],[-3,0,0,0,1]~ ,[-2,-1,0,0,1],[-2,1,0,0,1],[-1,-1,-1,0,1],[-1,-1,1,0,1],[-1,1,1,0,1],[-1,2,0~ ,0,1],[1,1,1,0,1],[1,2,0,0,1],[3,0,0,0,1],[-4,0,0,0,1],[-3,-1,0,0,1],[-3,1,0,~ 0,1],[-2,-2,0,0,1],[-2,-1,-1,0,1],[-2,-1,1,0,1],[-2,1,1,0,1],[-2,2,0,0,1],[-1~ ,-1,-1,-1,1],[-1,-1,-1,1,1],[-1,-1,1,1,1],[-1,1,1,1,1],[1,1,1,1,1],[1,1,2,0,1~ ],[1,3,0,0,1],[2,2,0,0,1],[4,0,0,0,1],[0,0,0,0,-2],[-1,0,0,0,-2],[1,0,0,0,-2]~ ,[-2,0,0,0,-2],[-1,-1,0,0,-2],[-1,1,0,0,-2],[1,1,0,0,-2],[2,0,0,0,-2],[-3,0,0~ ,0,-2],[-2,-1,0,0,-2],[-2,1,0,0,-2],[-1,-1,-1,0,-2],[-1,-1,1,0,-2],[-1,1,1,0,~ -2],[-1,2,0,0,-2],[1,1,1,0,-2],[1,2,0,0,-2],[3,0,0,0,-2],[-4,0,0,0,-2],[-3,-1~ ,0,0,-2],[-3,1,0,0,-2],[-2,-2,0,0,-2],[-2,-1,-1,0,-2],[-2,-1,1,0,-2],[-2,1,1,~ 0,-2],[-2,2,0,0,-2],[-1,-1,-1,-1,-2],[-1,-1,-1,1,-2],[-1,-1,1,1,-2],[-1,1,1,1~ ,-2],[1,1,1,1,-2],[1,1,2,0,-2],[1,3,0,0,-2],[2,2,0,0,-2],[4,0,0,0,-2],[0,0,0,~ 0,2],[-1,0,0,0,2],[1,0,0,0,2],[-2,0,0,0,2],[-1,-1,0,0,2],[-1,1,0,0,2],[1,1,0,~ 0,2],[2,0,0,0,2],[-3,0,0,0,2],[-2,-1,0,0,2],[-2,1,0,0,2],[-1,-1,-1,0,2],[-1,-~ 1,1,0,2],[-1,1,1,0,2],[-1,2,0,0,2],[1,1,1,0,2],[1,2,0,0,2],[3,0,0,0,2],[-4,0,~ 0,0,2],[-3,-1,0,0,2],[-3,1,0,0,2],[-2,-2,0,0,2],[-2,-1,-1,0,2],[-2,-1,1,0,2],~ [-2,1,1,0,2],[-2,2,0,0,2],[-1,-1,-1,-1,2],[-1,-1,-1,1,2],[-1,-1,1,1,2],[-1,1,~ 1,1,2],[1,1,1,1,2],[1,1,2,0,2],[1,3,0,0,2],[2,2,0,0,2],[4,0,0,0,2]] GENERATE(table4,1,5,4) S0: IHAT(-ep)=IHAT(-ep) S1: IHAT(-ei-ep)=IHAT(-ep)/rip-IHAT(-ei)/rip IHAT(ei-ep)=rip*IHAT(-ep)+IHAT(0) S2: IHAT(-2*ei-ep)=-(2*rip*AHAT(-ei+ej+ek+el) +(rij*(rik*(3*ril+2*rip)+2*ril*rip)+2*rik*ril*rip)*IHAT(-ei) -3*rij*rik*ril*IHAT(-ep)-rip*(rij+rik+ril)*IHAT(0))/(3*rij*rik*ril*rip^2) IHAT(-ei-ej-ep)=IHAT(-ei)/(rij*rip)-IHAT(-ej)/(rij*rjp)+IHAT(-ep)/(rip*rjp) IHAT(-ei+ej-ep)=rij*IHAT(-ei)/rip+rjp*IHAT(-ep)/rip IHAT(ei+ej-ep)=IHAT(ei)+rip*rjp*IHAT(-ep)+(rip-rij)*IHAT(0) IHAT(2*ei-ep)=IHAT(ei)+rip^2*IHAT(-ep)+rip*IHAT(0) S3: IHAT(-3*ei-ep)=-(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el) +2*rip*(rij*(rik*(5*ril+4*rip)+4*ril*rip)+4*rik*ril*rip)*AHAT(-ei+ej+ek+el) +(rij^2*(rik^2*(15*ril^2+10*ril*rip+8*rip^2)+rik*ril*rip*(10*ril+7*rip) +8*ril^2*rip^2)+rij*rik*ril*rip*(rik*(10*ril+7*rip)+7*ril*rip) +8*rik^2*ril^2*rip^2)*IHAT(-ei)-15*rij^2*rik^2*ril^2*IHAT(-ep) -rip*(rij^2*(rik*(5*ril+4*rip)+4*ril*rip)+rij*(rik^2*(5*ril+4*rip) +rik*ril*(5*ril+6*rip)+4*ril^2*rip)+4*rik*ril*rip*(rik+ril))*IHAT(0)) /(15*rij^2*rik^2*ril^2*rip^3) IHAT(-2*ei-ej-ep)=(2*rip*rjp*AHAT(-ei+ej+ek+el) +rjp*(rij*(rik*(3*ril+2*rip)+2*ril*rip)+5*rik*ril*rip)*IHAT(-ei) -3*rik*ril*rip^2*IHAT(-ej)+3*rij^2*rik*ril*IHAT(-ep) -rip*rjp*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik*ril*rip^2*rjp) IHAT(-2*ei+ej-ep)=(2*rip*AHAT(-ei+ej+ek+el) +(rij*(rik*(3*ril+2*rip)+2*ril*rip)-rik*ril*rip)*IHAT(-ei) +3*rik*ril*rjp*IHAT(-ep)-rip*(rij+rik+ril)*IHAT(0))/(3*rik*ril*rip^2) IHAT(-ei-ej-ek-ep)=-IHAT(-ei)/(rij*rik*rip)+IHAT(-ej)/(rij*rjk*rjp) -IHAT(-ek)/(rik*rjk*rkp)+IHAT(-ep)/(rip*rjp*rkp) IHAT(-ei-ej+ek-ep)=-rik*IHAT(-ei)/(rij*rip)+rjk*IHAT(-ej)/(rij*rjp) +rkp*IHAT(-ep)/(rip*rjp) IHAT(-ei+ej+ek-ep)=-rij*rik*IHAT(-ei)/rip+rjp*rkp*IHAT(-ep)/rip+IHAT(0) IHAT(-ei+2*ej-ep)=-rij^2*IHAT(-ei)/rip+rjp^2*IHAT(-ep)/rip+IHAT(0) IHAT(ei+ej+ek-ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei) +(rij+rik-ril-2*rip)*IHAT(ei)-2*(rip*rjp*rkp*IHAT(-ep) +(rij-rip)*(rik-rip)*IHAT(0)))/2 IHAT(ei+2*ej-ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei) +(3*rij-rik-ril-2*rip)*IHAT(ei)-2*(rip*rjp^2*IHAT(-ep) +(rij^2-2*rij*rip+rip^2)*IHAT(0)))/2 IHAT(3*ei-ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei) -(rij+rik+ril+2*rip)*IHAT(ei)-2*rip^2*(rip*IHAT(-ep)+IHAT(0)))/2 S4: IHAT(-4*ei-ep)=-(30*rij^2*rik^2*ril^2*rip^3*AHAT(-3*ei+ej+ek+el) +6*rij*rik*ril*rip^2*(rij*(rik*(7*ril+6*rip)+6*ril*rip) +6*rik*ril*rip)*AHAT(-2*ei+ej+ek+el) +2*rip*(rij^2*(rik^2*(35*ril^2+28*ril*rip+24*rip^2)+rik*ril*rip*(28*ril +23*rip)+24*ril^2*rip^2)+rij*rik*ril*rip*(rik*(28*ril+23*rip)+23*ril*rip) +24*rik^2*ril^2*rip^2)*AHAT(-ei+ej+ek+el) +(rij^3*(rik^3*(105*ril^3+70*ril^2*rip+56*ril*rip^2+48*rip^3) +rik^2*ril*rip*(70*ril^2+49*ril*rip+40*rip^2)+8*rik*ril^2*rip^2*(7*ril +5*rip)+48*ril^3*rip^3)+rij^2*rik*ril*rip*(rik^2*(70*ril^2+49*ril*rip +40*rip^2)+rik*ril*rip*(49*ril+36*rip)+40*ril^2*rip^2) +8*rij*rik^2*ril^2*rip^2*(rik*(7*ril+5*rip)+5*ril*rip) +48*rik^3*ril^3*rip^3)*IHAT(-ei)-105*rij^3*rik^3*ril^3*IHAT(-ep) -rip*(rij^3*(rik^2*(35*ril^2+28*ril*rip+24*rip^2)+rik*ril*rip*(28*ril +23*rip)+24*ril^2*rip^2)+rij^2*(rik^3*(35*ril^2+28*ril*rip+24*rip^2) +rik^2*ril*(35*ril^2+42*ril*rip+34*rip^2)+2*rik*ril^2*rip*(14*ril+17*rip) +24*ril^3*rip^2)+rij*rik*ril*rip*(rik^2*(28*ril+23*rip)+2*rik*ril*(14*ril +17*rip)+23*ril^2*rip)+24*rik^2*ril^2*rip^2*(rik+ril))*IHAT(0)) /(105*rij^3*rik^3*ril^3*rip^4) IHAT(-3*ei-ej-ep)=(6*rij*rik*ril*rip^2*rjp*AHAT(-2*ei+ej+ek+el) +2*rip*rjp*(rij*(rik*(5*ril+4*rip)+4*ril*rip) +9*rik*ril*rip)*AHAT(-ei+ej+ek+el) +rjp*(rij^2*(rik^2*(15*ril^2+10*ril*rip+8*rip^2)+rik*ril*rip*(10*ril+7*rip) +8*ril^2*rip^2)+rij*rik*ril*rip*(rik*(25*ril+17*rip)+17*ril*rip) +33*rik^2*ril^2*rip^2)*IHAT(-ei)-15*rik^2*ril^2*rip^3*IHAT(-ej) +15*rij^3*rik^2*ril^2*IHAT(-ep) -rip*rjp*(rij^2*(rik*(5*ril+4*rip)+4*ril*rip)+rij*(rik^2*(5*ril+4*rip) +rik*ril*(5*ril+11*rip)+4*ril^2*rip)+9*rik*ril*rip*(rik+ril))*IHAT(0)) /(15*rij^3*rik^2*ril^2*rip^3*rjp) IHAT(-3*ei+ej-ep)=(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el) +2*rip*(rij*(rik*(5*ril+4*rip)+4*ril*rip)-rik*ril*rip)*AHAT(-ei+ej+ek+el) +(rij^2*(rik^2*(15*ril^2+10*ril*rip+8*rip^2)+rik*ril*rip*(10*ril+7*rip) +8*ril^2*rip^2)-rij*rik*ril*rip*(rik*(5*ril+3*rip)+3*ril*rip) -2*rik^2*ril^2*rip^2)*IHAT(-ei)+15*rij*rik^2*ril^2*rjp*IHAT(-ep) -rip*(rij^2*(rik*(5*ril+4*rip)+4*ril*rip)+rij*(rik^2*(5*ril+4*rip) +rik*ril*(5*ril+rip)+4*ril^2*rip)-rik*ril*rip*(rik+ril))*IHAT(0)) /(15*rij*rik^2*ril^2*rip^3) IHAT(-2*ei-2*ej-ep)=-(2*rip*rjk*rjl*rjp^2*AHAT(-ei+ej+ek+el) -2*rik*ril*rip^2*rjp*AHAT(ei-ej+ek+el) +rjk*rjl*rjp^2*(rij*(rik*(3*ril+2*rip)+2*ril*rip)+8*rik*ril*rip)*IHAT(-ei) +rik*ril*rip^2*(rij*(rjk*(3*rjl+2*rjp)+2*rjl*rjp)-8*rjk*rjl*rjp)*IHAT(-ej) -3*rij^3*rik*ril*rjk*rjl*IHAT(-ep) -rip*rjp*(rij*(rik*ril*rip+rjk*rjl*rjp)+rik*(rjk*rjl*rjp-ril*rip*(rjk +rjl))+ril*rjk*rjl*rjp)*IHAT(0))/(3*rij^3*rik*ril*rip^2*rjk*rjl*rjp^2) IHAT(-2*ei-ej-ek-ep)=-(2*rip*rjk*rjp*rkp*AHAT(-ei+ej+ek+el) +rjk*rjp*rkp*(rij*(rik*(3*ril+2*rip)+5*ril*rip)+5*rik*ril*rip)*IHAT(-ei) -3*rik^2*ril*rip^2*rkp*IHAT(-ej)+3*rij^2*ril*rip^2*rjp*IHAT(-ek) -rjk*(3*rij^2*rik^2*ril*IHAT(-ep)+rip*rjp*rkp*(rij+rik+ril)*IHAT(0))) /(3*rij^2*rik^2*ril*rip^2*rjk*rjp*rkp) IHAT(-2*ei-ej+ek-ep)=-(2*rip*rjp*AHAT(-ei+ej+ek+el) +rjp*(rij*(rik*(3*ril+2*rip)-ril*rip)+5*rik*ril*rip)*IHAT(-ei) -3*ril*rip^2*rjk*IHAT(-ej)-3*rij^2*ril*rkp*IHAT(-ep) -rip*rjp*(rij+rik+ril)*IHAT(0))/(3*rij^2*ril*rip^2*rjp) IHAT(-2*ei+ej+ek-ep)=-(2*rip*AHAT(-ei+ej+ek+el) +(rij*(rik*(3*ril+2*rip)-ril*rip)-rik*ril*rip)*IHAT(-ei) -3*ril*rjp*rkp*IHAT(-ep)-rip*(rij+rik+ril)*IHAT(0))/(3*ril*rip^2) IHAT(-2*ei+2*ej-ep)=-(2*rij*rip*AHAT(-ei+ej+ek+el) +rij*(rij*(rik*(3*ril+2*rip)+2*ril*rip)-4*rik*ril*rip)*IHAT(-ei) -3*rik*ril*rjp^2*IHAT(-ep)-rij*rip*(rij+rik+ril)*IHAT(0))/(3*rik*ril*rip^2) IHAT(-ei-ej-ek-el-ep)=IHAT(-ei)/(rij*rik*ril*rip)-IHAT(-ej)/(rij*rjk*rjl*rjp) +IHAT(-ek)/(rik*rjk*rkl*rkp)-IHAT(-el)/(ril*rjl*rkl*rlp) +IHAT(-ep)/(rip*rjp*rkp*rlp) IHAT(-ei-ej-ek+el-ep)=ril*IHAT(-ei)/(rij*rik*rip)-rjl*IHAT(-ej)/(rij*rjk*rjp) +rkl*IHAT(-ek)/(rik*rjk*rkp)+rlp*IHAT(-ep)/(rip*rjp*rkp) IHAT(-ei-ej+ek+el-ep)=rik*ril*IHAT(-ei)/(rij*rip)-rjk*rjl*IHAT(-ej)/(rij*rjp) +rkp*rlp*IHAT(-ep)/(rip*rjp) IHAT(-ei+ej+ek+el-ep)=rij*rik*ril*IHAT(-ei)/rip+IHAT(ei) +rjp*rkp*rlp*IHAT(-ep)/rip-(rij+rik+ril-rip)*IHAT(0) IHAT(ei+ej+ek+el-ep)=(4*AHAT(ei+ej+ek+el)-2*(rij+rik+ril-4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(rij+rik+ril-4*rip)*IHAT(-ei) -(rij^2-2*rij*(rik+ril-2*rip)+rik^2+2*rik*(2*rip-ril)+ril^2 +4*ril*rip-8*rip^2)*IHAT(ei)+8*rip*rjp*rkp*rlp*IHAT(-ep) +2*(4*rip*(rik*(ril-rip)-ril*rip+rip^2)-rij*(rik*(3*ril-4*rip)-4*rip*(ril -rip)))*IHAT(0))/8 IHAT(ei+ej+2*ek-ep)=(4*AHAT(ei+ej+ek+el) -2*(rij+5*rik-3*ril-4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(rij+5*rik-3*ril-4*rip)*IHAT(-ei) -(rij^2-2*rij*(3*rik-ril-2*rip)-3*rik^2+6*rik*(ril+2*rip)-3*ril^2-4*rip*(ril +2*rip))*IHAT(ei)+8*rip*rjp*rkp^2*IHAT(-ep) +2*(4*rip*(rik^2-2*rik*rip+rip^2)-rij*(4*rik^2 -rik*(ril+8*rip)+4*rip^2))*IHAT(0))/8 IHAT(ei+3*ej-ep)=(4*AHAT(ei+ej+ek+el) -2*(9*rij-3*rik-3*ril-4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(9*rij-3*rik-3*ril-4*rip)*IHAT(-ei) +(15*rij^2-10*rij*(rik+ril+2*rip)+3*rik^2+2*rik*(ril+2*rip) +3*ril^2+4*ril*rip+8*rip^2)*IHAT(ei)+8*rip*rjp^3*IHAT(-ep) -2*(4*rij^3-12*rij^2*rip+rij*(12*rip^2-rik*ril)-4*rip^3)*IHAT(0))/8 IHAT(2*ei+2*ej-ep)=(4*AHAT(ei+ej+ek+el) -2*(5*rij-3*rik-3*ril-4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(5*rij-3*rik-3*ril-4*rip)*IHAT(-ei) +(3*rij^2-6*rij*(rik+ril+2*rip)+3*rik^2+2*rik*(ril+2*rip) +3*ril^2+4*ril*rip+8*rip^2)*IHAT(ei)+8*rip^2*rjp^2*IHAT(-ep) +2*(4*rij^2*rip+rij*(rik*ril-8*rip^2)+4*rip^3)*IHAT(0))/8 IHAT(4*ei-ep)=(4*AHAT(ei+ej+ek+el)+2*(3*rij+3*rik+3*ril+4*rip)*AHAT(ej+ek+el) -rij*rik*ril*(3*rij+3*rik+3*ril+4*rip)*IHAT(-ei) +(3*rij^2+2*rij*(rik+ril+2*rip)+3*rik^2+2*rik*(ril+2*rip)+3*ril^2+4*ril*rip +8*rip^2)*IHAT(ei)+8*rip^4*IHAT(-ep)+2*(rij*rik*ril+4*rip^3)*IHAT(0))/8 S0: IHAT(ep)=IHAT(ei)-rip*IHAT(0) S1: IHAT(ep-ei)=IHAT(0)-rip*IHAT(-ei) IHAT(ei+ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei) -(rij+rik+ril-2*rip)*IHAT(ei))/2 S2: IHAT(ep-2*ei)=-(2*rip*AHAT(-ei+ej+ek+el) +(2*rik*ril*rip-rij*(rik*(3*ril-2*rip)-2*ril*rip))*IHAT(-ei) -rip*(rij+rik+ril)*IHAT(0))/(3*rij*rik*ril) IHAT(-ei-ej+ep)=rip*IHAT(-ei)/rij-rjp*IHAT(-ej)/rij IHAT(-ei+ej+ep)=rij*rip*IHAT(-ei)+IHAT(ei)-(rij+rip)*IHAT(0) IHAT(ei+ej+ep)=(4*AHAT(ei+ej+ek+el)-2*(rij-3*rik-3*ril+4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(rij-3*rik-3*ril+4*rip)*IHAT(-ei) -(rij^2+2*rij*(rik+ril-2*rip)-3*rik^2+2*rik*(2*rip-ril)-ril*(3*ril -4*rip))*IHAT(ei)+2*rij*rik*ril*IHAT(0))/8 IHAT(2*ei+ep)=(4*AHAT(ei+ej+ek+el)+2*(3*rij+3*rik+3*ril-4*rip)*AHAT(ej+ek+el) -rij*rik*ril*(3*rij+3*rik+3*ril-4*rip)*IHAT(-ei) +(3*rij^2+2*rij*(rik+ril-2*rip)+3*rik^2+2*rik*(ril-2*rip)+3*ril^2 -4*ril*rip)*IHAT(ei)+2*rij*rik*ril*IHAT(0))/8 S3: IHAT(ep-3*ei)=-(6*rij*rik*ril*rip*AHAT(-2*ei+ej+ek+el) +2*(4*rik*ril*rip-rij*(rik*(5*ril-4*rip)-4*ril*rip))*AHAT(-ei+ej+ek+el) -(rij^2*(2*rik^2*(5*ril-4*rip)+rik*ril*(10*ril-7*rip)-8*ril^2*rip) +rij*rik*ril*(rik*(10*ril-7*rip)-7*ril*rip)-8*rik^2*ril^2*rip)*IHAT(-ei) +(rij^2*(rik*(5*ril-4*rip)-4*ril*rip)+rij*(rik^2*(5*ril-4*rip)+rik*ril*(5*ril -6*rip)-4*ril^2*rip)-4*rik*ril*rip*(rik+ril))*IHAT(0))/(15*rij^2*rik^2*ril^2) IHAT(-2*ei-ej+ep)=(2*rip*AHAT(-ei+ej+ek+el) +(5*rik*ril*rip-rij*(rik*(3*ril-2*rip)-2*ril*rip))*IHAT(-ei) -3*rik*ril*rjp*IHAT(-ej)-rip*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik*ril) IHAT(-2*ei+ej+ep)=(2*rip*AHAT(-ei+ej+ek+el) -(rij*(rik*(3*ril-2*rip)-2*ril*rip)+rik*ril*rip)*IHAT(-ei) -(rij*rip+rik*(rip-3*ril)+ril*rip)*IHAT(0))/(3*rik*ril) IHAT(-ei-ej-ek+ep)=-rip*IHAT(-ei)/(rij*rik)+rjp*IHAT(-ej)/(rij*rjk) -rkp*IHAT(-ek)/(rik*rjk) IHAT(-ei-ej+ek+ep)=-rik*rip*IHAT(-ei)/rij+rjk*rjp*IHAT(-ej)/rij+IHAT(0) IHAT(-ei+ej+ek+ep)=AHAT(ej+ek+el)-(rij*rik*(ril+2*rip)*IHAT(-ei) +(rij+rik-ril+2*rip)*IHAT(ei)-2*(rij*(rik+rip)+rik*rip)*IHAT(0))/2 IHAT(-ei+2*ej+ep)=AHAT(ej+ek+el)-(rij*(2*rij*rip+rik*ril)*IHAT(-ei) +(3*rij-rik-ril+2*rip)*IHAT(ei)-2*rij*(rij+2*rip)*IHAT(0))/2 IHAT(ei+ej+ek+ep)=(16*AHAT(2*ei+ej+ek+el) -4*(rij+rik-5*ril+6*rip)*AHAT(ei+ej+ek+el) -2*(3*rij^2-2*rij*(rik-2*ril+3*rip)+3*rik^2+2*rik*(2*ril-3*rip) -3*ril*(5*ril-6*rip))*AHAT(ej+ek+el) +rij*rik*ril*(3*rij^2-2*rij*(rik-2*ril+3*rip)+3*rik^2+2*rik*(2*ril-3*rip) -15*ril^2+18*ril*rip)*IHAT(-ei) -3*(rij^3-rij^2*(rik-ril+2*rip)-rij*(rik^2+2*rik*(ril-2*rip)-ril*(3*ril -4*rip))+rik^3+rik^2*(ril-2*rip)+rik*ril*(3*ril-4*rip)-ril^2*(5*ril -6*rip))*IHAT(ei)-2*rij*rik*ril*(rij+rik-5*ril+6*rip)*IHAT(0))/48 IHAT(ei+2*ej+ep)=(16*AHAT(2*ei+ej+ek+el) -4*(7*rij-5*rik-5*ril+6*rip)*AHAT(ei+ej+ek+el) +2*(3*rij^2-2*rij*(11*rik+11*ril-15*rip)+15*rik^2+2*rik*(7*ril-9*rip) +15*ril^2-18*ril*rip)*AHAT(ej+ek+el) -rij*rik*ril*(3*rij^2-2*rij*(11*rik+11*ril-15*rip)+15*rik^2+2*rik*(7*ril -9*rip)+3*ril*(5*ril-6*rip))*IHAT(-ei) +3*(rij^3+3*rij^2*(rik+ril-2*rip)-3*rij*(3*rik^2+2*rik*(ril-2*rip)+ril*(3*ril -4*rip))+5*rik^3+3*rik^2*(ril-2*rip)+rik*ril*(3*ril-4*rip) +5*ril^3-6*ril^2*rip)*IHAT(ei) -2*rij*rik*ril*(7*rij-5*rik-5*ril+6*rip)*IHAT(0))/48 IHAT(3*ei+ep)=(16*AHAT(2*ei+ej+ek+el) +4*(5*rij+5*rik+5*ril-6*rip)*AHAT(ei+ej+ek+el) +2*(15*rij^2+2*rij*(7*rik+7*ril-9*rip)+15*rik^2+2*rik*(7*ril-9*rip)+15*ril^2 -18*ril*rip)*AHAT(ej+ek+el) -rij*rik*ril*(15*rij^2+2*rij*(7*rik+7*ril-9*rip)+15*rik^2+2*rik*(7*ril -9*rip)+3*ril*(5*ril-6*rip))*IHAT(-ei) +3*(5*rij^3+3*rij^2*(rik+ril-2*rip)+rij*(3*rik^2+2*rik*(ril-2*rip)+3*ril^2 -4*ril*rip)+5*rik^3+3*rik^2*(ril-2*rip)+rik*ril*(3*ril-4*rip)+5*ril^3 -6*ril^2*rip)*IHAT(ei)+2*rij*rik*ril*(5*rij+5*rik+5*ril-6*rip)*IHAT(0))/48 S4: IHAT(ep-4*ei)=-(30*rij^2*rik^2*ril^2*rip*AHAT(-3*ei+ej+ek+el) +6*rij*rik*ril*(6*rik*ril*rip-rij*(rik*(7*ril-6*rip) -6*ril*rip))*AHAT(-2*ei+ej+ek+el) -2*(rij^2*(4*rik^2*(7*ril-6*rip)+rik*ril*(28*ril-23*rip)-24*ril^2*rip) +rij*rik*ril*(rik*(28*ril-23*rip)-23*ril*rip) -24*rik^2*ril^2*rip)*AHAT(-ei+ej+ek+el) -(rij^3*(8*rik^3*(7*ril-6*rip)+rik^2*ril*(49*ril-40*rip)+8*rik*ril^2*(7*ril -5*rip)-48*ril^3*rip)+rij^2*rik*ril*(rik^2*(49*ril-40*rip)+rik*ril*(49*ril -36*rip)-40*ril^2*rip)+8*rij*rik^2*ril^2*(rik*(7*ril-5*rip)-5*ril*rip) -48*rik^3*ril^3*rip)*IHAT(-ei) +(rij^3*(4*rik^2*(7*ril-6*rip)+rik*ril*(28*ril-23*rip)-24*ril^2*rip) +2*rij^2*(2*rik^3*(7*ril-6*rip)+rik^2*ril*(21*ril-17*rip)+rik*ril^2*(14*ril -17*rip)-12*ril^3*rip)+rij*rik*ril*(rik^2*(28*ril-23*rip)+2*rik*ril*(14*ril -17*rip)-23*ril^2*rip)-24*rik^2*ril^2*rip*(rik+ril))*IHAT(0)) /(105*rij^3*rik^3*ril^3) IHAT(-3*ei-ej+ep)=(6*rij*rik*ril*rip*AHAT(-2*ei+ej+ek+el) +2*(9*rik*ril*rip-rij*(rik*(5*ril-4*rip)-4*ril*rip))*AHAT(-ei+ej+ek+el) -(rij^2*(2*rik^2*(5*ril-4*rip)+rik*ril*(10*ril-7*rip)-8*ril^2*rip) +rij*rik*ril*(rik*(25*ril-17*rip)-17*ril*rip)-33*rik^2*ril^2*rip)*IHAT(-ei) -15*rik^2*ril^2*rjp*IHAT(-ej) +(rij^2*(rik*(5*ril-4*rip)-4*ril*rip)+rij*(rik^2*(5*ril-4*rip)+rik*ril*(5*ril -11*rip)-4*ril^2*rip)-9*rik*ril*rip*(rik+ril))*IHAT(0))/(15*rij^3*rik^2*ril^2) IHAT(-3*ei+ej+ep)=(6*rij*rik*ril*rip*AHAT(-2*ei+ej+ek+el) -2*(rij*(rik*(5*ril-4*rip)-4*ril*rip)+rik*ril*rip)*AHAT(-ei+ej+ek+el) -(rij^2*(2*rik^2*(5*ril-4*rip)+rik*ril*(10*ril-7*rip)-8*ril^2*rip) +rij*rik*ril*(3*ril*rip-rik*(5*ril-3*rip))+2*rik^2*ril^2*rip)*IHAT(-ei) +(rij^2*(rik*(5*ril-4*rip)-4*ril*rip)+rij*(rik^2*(5*ril-4*rip)+rik*ril*(5*ril -rip)-4*ril^2*rip)+rik*ril*rip*(rik+ril))*IHAT(0))/(15*rij*rik^2*ril^2) IHAT(-2*ei-2*ej+ep)=-(2*rip*rjk*rjl*AHAT(-ei+ej+ek+el) -2*rik*ril*rjp*AHAT(ei-ej+ek+el) +rjk*rjl*(8*rik*ril*rip-rij*(rik*(3*ril-2*rip)-2*ril*rip))*IHAT(-ei) -rik*ril*(rij*(rjk*(3*rjl-2*rjp)-2*rjl*rjp)+8*rjk*rjl*rjp)*IHAT(-ej) -(rij*(rik*ril*rjp+rip*rjk*rjl)+rik*(rip*rjk*rjl-ril*rjp*(rjk+rjl)) +ril*rip*rjk*rjl)*IHAT(0))/(3*rij^3*rik*ril*rjk*rjl) IHAT(-2*ei-ej-ek+ep)=-(2*rip*rjk*AHAT(-ei+ej+ek+el) +rjk*(5*rik*ril*rip-rij*(rik*(3*ril-2*rip)-5*ril*rip))*IHAT(-ei) -3*rik^2*ril*rjp*IHAT(-ej)+3*rij^2*ril*rkp*IHAT(-ek) -rip*rjk*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik^2*ril*rjk) IHAT(-2*ei-ej+ek+ep)=-(2*rip*AHAT(-ei+ej+ek+el) +(5*rik*ril*rip-rij*(rik*(3*ril-2*rip)+ril*rip))*IHAT(-ei) -3*ril*rjk*rjp*IHAT(-ej)-rip*(rij+rik+ril)*IHAT(0))/(3*rij^2*ril) IHAT(-2*ei+ej+ek+ep)=-(2*rip*AHAT(-ei+ej+ek+el) -(rij*(rik*(3*ril-2*rip)+ril*rip)+rik*ril*rip)*IHAT(-ei) -3*ril*IHAT(ei)+(rij*(3*ril-rip)+rik*(3*ril-rip)+2*ril*rip)*IHAT(0))/(3*ril) IHAT(-2*ei+2*ej+ep)=-(2*rij*rip*AHAT(-ei+ej+ek+el) -rij*(rij*(rik*(3*ril-2*rip)-2*ril*rip)+4*rik*ril*rip)*IHAT(-ei) -3*rik*ril*IHAT(ei) -(rij^2*rip+rij*(ril*rip-rik*(6*ril-rip))-3*rik*ril*rip)*IHAT(0))/(3*rik*ril) IHAT(-ei-ej-ek-el+ep)=rip*IHAT(-ei)/(rij*rik*ril)-rjp*IHAT(-ej)/(rij*rjk*rjl) +rkp*IHAT(-ek)/(rik*rjk*rkl)-rlp*IHAT(-el)/(ril*rjl*rkl) IHAT(-ei-ej-ek+el+ep)=ril*rip*IHAT(-ei)/(rij*rik)-rjl*rjp*IHAT(-ej)/(rij*rjk) +rkl*rkp*IHAT(-ek)/(rik*rjk) IHAT(-ei-ej+ek+el+ep)=rik*ril*rip*IHAT(-ei)/rij+IHAT(ei) -rjk*rjl*rjp*IHAT(-ej)/rij+(rij-rik-ril-rip)*IHAT(0) IHAT(-ei+ej+ek+el+ep)=(4*AHAT(ei+ej+ek+el) -2*(rij+rik+ril+4*rip)*AHAT(ej+ek+el) +rij*rik*ril*(rij+rik+ril+12*rip)*IHAT(-ei) -(rij^2-2*rij*(rik+ril+2*rip)+rik^2-2*rik*(ril +2*rip)+ril*(ril-4*rip))*IHAT(ei) -2*(rij*(rik*(3*ril+4*rip)+4*ril*rip)+4*rik*ril*rip)*IHAT(0))/8 IHAT(ei+ej+ek+el+ep)=(96*AHAT(3*ei+ej+ek+el) -16*(rij+rik+ril+8*rip)*AHAT(2*ei+ej+ek+el) -4*(5*rij^2-2*rij*(rik+ril+4*rip)+5*rik^2-2*rik*(ril+4*rip) +ril*(5*ril-8*rip))*AHAT(ei+ej+ek+el) -2*(15*rij^3-rij^2*(7*rik+7*ril+24*rip)-rij*(7*rik^2-2*rik*(3*ril +8*rip)+ril*(7*ril-16*rip))+15*rik^3-rik^2*(7*ril+24*rip)+rik*ril*(16*rip -7*ril)+3*ril^2*(5*ril-8*rip))*AHAT(ej+ek+el) +rij*rik*ril*(15*rij^3-rij^2*(7*rik+7*ril+24*rip)-rij*(7*rik^2-2*rik*(3*ril +8*rip)+ril*(7*ril-16*rip))+15*rik^3-rik^2*(7*ril+24*rip)+rik*ril*(16*rip -7*ril)+3*ril^2*(5*ril-8*rip))*IHAT(-ei) -3*(5*rij^4-4*rij^3*(rik+ril+2*rip)-2*rij^2*(rik^2-2*rik*(ril+2*rip) +ril*(ril-4*rip))-4*rij*(rik^3-rik^2*(ril+2*rip)+rik*ril*(4*rip-ril) +ril^2*(ril-2*rip))+5*rik^4-4*rik^3*(ril+2*rip)+2*rik^2*ril*(4*rip-ril) +4*rik*ril^2*(2*rip-ril)+ril^3*(5*ril-8*rip))*IHAT(ei)-2*rij*rik*ril*(5*rij^2 -2*rij*(rik+ril+4*rip)+5*rik^2-2*rik*(ril+4*rip)+ril*(5*ril-8*rip))*IHAT(0)) /384 IHAT(ei+ej+2*ek+ep)=(96*AHAT(3*ei+ej+ek+el) -16*(rij+9*rik-7*ril+8*rip)*AHAT(2*ei+ej+ek+el) -4*(5*rij^2-2*rij*(5*rik-3*ril+4*rip)-3*rik^2+2*rik*(23*ril-28*rip) -5*ril*(7*ril-8*rip))*AHAT(ei+ej+ek+el) -2*(15*rij^3-rij^2*(31*rik-17*ril+24*rip)+rij*(9*rik^2+2*rik*(32*rip -21*ril)+ril*(25*ril-32*rip))-9*rik^3+3*rik^2*(8*rip-5*ril)+ril*(rik*(145*ril -176*rip)-15*ril*(7*ril-8*rip)))*AHAT(ej+ek+el) +rij*rik*ril*(15*rij^3-rij^2*(31*rik-17*ril+24*rip)+rij*(9*rik^2+2*rik*(32*rip -21*ril)+ril*(25*ril-32*rip))-9*rik^3+3*rik^2*(8*rip-5*ril)+rik*ril*(145*ril -176*rip)-105*ril^3+120*ril^2*rip)*IHAT(-ei) -3*(5*rij^4-4*rij^3*(3*rik-ril+2*rip)+2*rij^2*(3*rik^2+6*rik*(2*rip-ril) +ril*(3*ril-4*rip))+4*rij*(rik^3+3*rik^2*(ril-2*rip)+3*rik*ril*(4*rip-3*ril) +ril^2*(5*ril-6*rip))-3*rik^4+4*rik^3*(2*rip-ril)-ril*(6*rik^2*(3*ril-4*rip) +12*rik*ril*(6*rip-5*ril)+5*ril^2*(7*ril-8*rip)))*IHAT(ei) -2*rij*rik*ril*(5*rij^2-2*rij*(5*rik-3*ril+4*rip)-3*rik^2+2*rik*(23*ril -28*rip)-5*ril*(7*ril-8*rip))*IHAT(0))/384 IHAT(ei+3*ej+ep)=(96*AHAT(3*ei+ej+ek+el) -16*(17*rij-7*rik-7*ril+8*rip)*AHAT(2*ei+ej+ek+el) +4*(59*rij^2-2*rij*(43*rik+43*ril-52*rip)+35*rik^2+2*rik*(17*ril-20*rip) +35*ril^2-40*ril*rip)*AHAT(ei+ej+ek+el) -2*(15*rij^3-rij^2*(191*rik+191*ril-264*rip)+rij*(265*rik^2+2*rik*(123*ril -160*rip)+5*ril*(53*ril-64*rip))-105*rik^3+5*rik^2*(24*rip-19*ril) -ril*(rik*(95*ril-112*rip)+105*ril^2-120*ril*rip))*AHAT(ej+ek+el) +rij*rik*ril*(15*rij^3-rij^2*(191*rik+191*ril-264*rip) +rij*(265*rik^2+2*rik*(123*ril-160*rip)+5*ril*(53*ril-64*rip)) -105*rik^3+5*rik^2*(24*rip-19*ril)-ril*(rik*(95*ril-112*rip)+15*ril*(7*ril -8*rip)))*IHAT(-ei) -3*(5*rij^4+20*rij^3*(rik+ril-2*rip)-30*rij^2*(3*rik^2+2*rik*(ril-2*rip) +ril*(3*ril-4*rip))+20*rij*(5*rik^3+3*rik^2*(ril-2*rip)+rik*ril*(3*ril -4*rip)+ril^2*(5*ril-6*rip))-35*rik^4+20*rik^3*(2*rip-ril)-ril*(6*rik^2*(3*ril -4*rip)+4*rik*ril*(5*ril-6*rip)+35*ril^3-40*ril^2*rip))*IHAT(ei) +2*rij*rik*ril*(59*rij^2-2*rij*(43*rik+43*ril-52*rip)+35*rik^2+2*rik*(17*ril -20*rip)+35*ril^2-40*ril*rip)*IHAT(0))/384 IHAT(2*ei+2*ej+ep)=(96*AHAT(3*ei+ej+ek+el) -16*(9*rij-7*rik-7*ril+8*rip)*AHAT(2*ei+ej+ek+el) +4*(3*rij^2-2*rij*(23*rik+23*ril-28*rip)+35*rik^2+2*rik*(17*ril-20*rip) +35*ril^2-40*ril*rip)*AHAT(ei+ej+ek+el) +2*(9*rij^3+3*rij^2*(5*rik+5*ril-8*rip)-rij*(145*rik^2+2*rik*(67*ril -88*rip)+ril*(145*ril-176*rip))+105*rik^3+5*rik^2*(19*ril-24*rip) +rik*ril*(95*ril-112*rip)+105*ril^3-120*ril^2*rip)*AHAT(ej+ek+el) -rij*rik*ril*(9*rij^3+3*rij^2*(5*rik+5*ril-8*rip)-rij*(145*rik^2+2*rik*(67*ril -88*rip)+ril*(145*ril-176*rip))+105*rik^3+5*rik^2*(19*ril -24*rip)+rik*ril*(95*ril-112*rip)+15*ril^2*(7*ril-8*rip))*IHAT(-ei) +3*(3*rij^4+4*rij^3*(rik+ril-2*rip)+6*rij^2*(3*rik^2+2*rik*(ril-2*rip) +ril*(3*ril-4*rip))-12*rij*(5*rik^3+3*rik^2*(ril-2*rip)+rik*ril*(3*ril -4*rip)+ril^2*(5*ril-6*rip))+35*rik^4+20*rik^3*(ril-2*rip)+6*rik^2*ril*(3*ril -4*rip)+4*rik*ril^2*(5*ril-6*rip)+35*ril^4-40*ril^3*rip)*IHAT(ei) +2*rij*rik*ril*(3*rij^2-2*rij*(23*rik+23*ril-28*rip)+35*rik^2+2*rik*(17*ril -20*rip)+35*ril^2-40*ril*rip)*IHAT(0))/384 IHAT(4*ei+ep)=(96*AHAT(3*ei+ej+ek+el) +16*(7*rij+7*rik+7*ril-8*rip)*AHAT(2*ei+ej+ek+el) +4*(35*rij^2+2*rij*(17*rik+17*ril-20*rip)+35*rik^2+2*rik*(17*ril-20*rip) +35*ril^2-40*ril*rip)*AHAT(ei+ej+ek+el) +2*(105*rij^3+5*rij^2*(19*rik+19*ril-24*rip)+rij*(95*rik^2+2*rik*(45*ril -56*rip)+95*ril^2-112*ril*rip)+105*rik^3+5*rik^2*(19*ril-24*rip) +rik*ril*(95*ril-112*rip)+105*ril^3-120*ril^2*rip)*AHAT(ej+ek+el) -rij*rik*ril*(105*rij^3+5*rij^2*(19*rik+19*ril-24*rip) +rij*(95*rik^2+2*rik*(45*ril-56*rip)+ril*(95*ril-112*rip))+105*rik^3 +5*rik^2*(19*ril-24*rip)+rik*ril*(95*ril-112*rip)+15*ril^2*(7*ril -8*rip))*IHAT(-ei) +3*(35*rij^4+20*rij^3*(rik+ril-2*rip)+6*rij^2*(3*rik^2+2*rik*(ril -2*rip)+3*ril^2-4*ril*rip)+4*rij*(5*rik^3+3*rik^2*(ril-2*rip)+rik*ril*(3*ril -4*rip)+5*ril^3-6*ril^2*rip)+35*rik^4+20*rik^3*(ril-2*rip)+6*rik^2*ril*(3*ril -4*rip)+4*rik*ril^2*(5*ril-6*rip)+35*ril^4-40*ril^3*rip)*IHAT(ei) +2*rij*rik*ril*(35*rij^2+2*rij*(17*rik+17*ril-20*rip)+35*rik^2+2*rik*(17*ril -20*rip)+35*ril^2-40*ril*rip)*IHAT(0))/384 S0: IHAT(-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el)+rij*rik*ril*IHAT(-ei) -(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp+rlp)+rkp*rlp)+rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rip*rjp*rkp*rlp) S1: IHAT(-ei-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +(rij*rik*ril-2*rjp*rkp*rlp)*IHAT(-ei) -(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp+rlp)+rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rip^2*rjp*rkp*rlp) IHAT(ei-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el)+rij*rik*ril*IHAT(-ei) -(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp+rlp)+rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rjp*rkp*rlp) S2: IHAT(-2*ei-2*ep)=(4*rip*rjp*rkp*rlp*AHAT(-ei+ej+ek+el) -6*rij*rik*ril*AHAT(ei+ej+ek+el-ep)+6*rij*rik*ril*AHAT(ej+ek+el) -(3*rij^2*rik^2*ril^2-4*rij*rjp*rkp*rlp*(rik*(3*ril+rip)+ril*rip) -4*rik*ril*rip*rjp*rkp*rlp)*IHAT(-ei) +3*rij*rik*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -3*rij*rik*ril*(rip*(rjp*(rkp+rlp)+rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) +rip*(rij*(3*rik*ril*(rip-rjp-rkp-rlp)-2*rjp*rkp*rlp) -2*rjp*rkp*rlp*(rik+ril))*IHAT(0))/(6*rij*rik*ril*rip^3*rjp*rkp*rlp) IHAT(-ei-ej-2*ep)=-(2*rij*AHAT(ei+ej+ek+el-ep)-2*rij*AHAT(ej+ek+el) +(rij^2*rik*ril+2*rjp^2*rkp*rlp)*IHAT(-ei) -rij*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)-2*rip^2*rkp*rlp*IHAT(-ej) +rij*((rip*(rjp*(rkp+rlp)+3*rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0)))/(2*rij*rip^2*rjp^2*rkp*rlp) IHAT(-ei+ej-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +rij*(rik*ril+2*rkp*rlp)*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp+rlp)-rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rip^2*rkp*rlp) IHAT(ei+ej-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +rij*rik*ril*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp+rlp)-rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) -(rip^2-rip*(rjp+rkp+rlp)+2*rkp*rlp)*IHAT(0))/(2*rkp*rlp) IHAT(2*ei-2*ep)=-(2*rip*AHAT(ei+ej+ek+el-ep)-2*rip*AHAT(ej+ek+el) +rij*rik*ril*rip*IHAT(-ei)-rip*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +rip*(rip*(rjp*(rkp+rlp)+rkp*rlp)-3*rjp*rkp*rlp)*IHAT(-ep) -(rip^3-rip^2*(rjp+rkp+rlp)+2*rjp*rkp*rlp)*IHAT(0))/(2*rjp*rkp*rlp) S3: IHAT(-3*ei-2*ep)=(12*rij*rik*ril*rip^2*rjp*rkp*rlp*AHAT(-2*ei+ej+ek+el) +8*rip*rjp*rkp*rlp*(rij*(rik*(5*ril+2*rip)+2*ril*rip) +2*rik*ril*rip)*AHAT(-ei+ej+ek+el)-30*rij^2*rik^2*ril^2*AHAT(ei+ej+ek+el-ep) +30*rij^2*rik^2*ril^2*AHAT(ej+ek+el) -(15*rij^3*rik^3*ril^3-2*rij^2*rjp*rkp*rlp*(rik^2*(45*ril^2+20*ril*rip +8*rip^2)+rik*ril*rip*(20*ril+7*rip)+8*ril^2*rip^2) -2*rij*rik*ril*rip*rjp*rkp*rlp*(rik*(20*ril+7*rip)+7*ril*rip) -16*rik^2*ril^2*rip^2*rjp*rkp*rlp)*IHAT(-ei) +15*rij^2*rik^2*ril^2*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -15*rij^2*rik^2*ril^2*(rip*(rjp*(rkp+rlp)+rkp*rlp)+7*rjp*rkp*rlp)*IHAT(-ep) +rip*(rij^2*(15*rik^2*ril^2*(rip-rjp-rkp-rlp)-4*rik*rjp*rkp*rlp*(5*ril+2*rip) -8*ril*rip*rjp*rkp*rlp)-4*rij*rjp*rkp*rlp*(rik^2*(5*ril+2*rip)+rik*ril*(5*ril +3*rip)+2*ril^2*rip)-8*rik*ril*rip*rjp*rkp*rlp*(rik+ril))*IHAT(0)) /(30*rij^2*rik^2*ril^2*rip^4*rjp*rkp*rlp) IHAT(-2*ei-ej-2*ep)=-(4*rip*rjp^2*rkp*rlp*AHAT(-ei+ej+ek+el) +6*rij^2*rik*ril*AHAT(ei+ej+ek+el-ep)-6*rij^2*rik*ril*AHAT(ej+ek+el) +(3*rij^3*rik^2*ril^2+4*rij*rjp^2*rkp*rlp*(rik*(3*ril+rip)+ril*rip) +10*rik*ril*rip*rjp^2*rkp*rlp)*IHAT(-ei) -3*rij^2*rik*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -6*rik*ril*rip^3*rkp*rlp*IHAT(-ej) +3*rij^2*rik*ril*(rip*(rjp*(rkp+rlp)+3*rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) -rip*(3*rij^2*rik*ril*(rip-rjp-rkp-rlp)+2*rij*rjp^2*rkp*rlp +2*rjp^2*rkp*rlp*(rik+ril))*IHAT(0))/(6*rij^2*rik*ril*rip^3*rjp^2*rkp*rlp) IHAT(-2*ei+ej-2*ep)=-(4*rip*rkp*rlp*AHAT(-ei+ej+ek+el) +6*rik*ril*AHAT(ei+ej+ek+el-ep)-6*rik*ril*AHAT(ej+ek+el) +(rij*(3*rik^2*ril^2+4*rik*rkp*rlp*(3*ril+rip)+4*ril*rip*rkp*rlp) -2*rik*ril*rip*rkp*rlp)*IHAT(-ei) -3*rik*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +3*rik*ril*(rip*(rjp*(rkp+rlp)-rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) -rip*(2*rij*rkp*rlp+rik*(3*ril*(rip-rjp-rkp-rlp)+2*rkp*rlp) +2*ril*rkp*rlp)*IHAT(0))/(6*rik*ril*rip^3*rkp*rlp) IHAT(-ei-ej-ek-2*ep)=-(2*rij*rik*rjk*AHAT(ei+ej+ek+el-ep) -2*rij*rik*rjk*AHAT(ej+ek+el) +rjk*(rij^2*rik^2*ril-2*rjp^2*rkp^2*rlp)*IHAT(-ei) -rij*rik*rjk*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +2*rik*rip^2*rkp^2*rlp*IHAT(-ej)-rij*(2*rip^2*rjp^2*rlp*IHAT(-ek) -rik*rjk*((rip*(rjp*(rkp+3*rlp)+3*rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))))/(2*rij*rik*rip^2*rjk*rjp^2*rkp^2*rlp) IHAT(-ei-ej+ek-2*ep)=-(2*rij*AHAT(ei+ej+ek+el-ep)-2*rij*AHAT(ej+ek+el) +rik*(rij^2*ril-2*rjp^2*rlp)*IHAT(-ei) -rij*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)+2*rip^2*rjk*rlp*IHAT(-ej) +rij*((rip*(rjp*(rkp-rlp)+3*rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0)))/(2*rij*rip^2*rjp^2*rlp) IHAT(-ei+ej+ek-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +rij*rik*(ril-2*rlp)*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(rip*(rjp*(rkp-rlp)-rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rip^2*rlp) IHAT(-ei+2*ej-2*ep)=-(2*rjp*AHAT(ei+ej+ek+el-ep)-2*rjp*AHAT(ej+ek+el) +rij*(rik*ril*rjp-2*rij*rkp*rlp)*IHAT(-ei) -rjp*((rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -(rip*(rjp*(rkp+rlp)-3*rkp*rlp)+3*rjp*rkp*rlp)*IHAT(-ep) +rip*(rip-rjp-rkp-rlp)*IHAT(0)))/(2*rip^2*rkp*rlp) IHAT(ei+ej+ek-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +rij*rik*ril*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+3*rlp)*IHAT(ei) +(rip*(rjp*(rkp-rlp)-rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) +(2*rij*rlp+2*rik*rlp-rip*(rip-rjp-rkp+3*rlp))*IHAT(0))/(2*rlp) IHAT(ei+2*ej-2*ep)=-(2*rjp*AHAT(ei+ej+ek+el-ep)-2*rjp*AHAT(ej+ek+el) +rij*rik*ril*rjp*IHAT(-ei) -(rij*rjp+rik*rjp+ril*rjp-3*rip*rjp+rjp^2+rjp*(rkp+rlp)+2*rkp*rlp)*IHAT(ei) +rjp*(rip*(rjp*(rkp+rlp)-3*rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) +(4*rij*rkp*rlp-rip*(rip*rjp-rjp^2-rjp*(rkp+rlp)+4*rkp*rlp))*IHAT(0)) /(2*rkp*rlp) IHAT(3*ei-2*ep)=-(2*rip^2*AHAT(ei+ej+ek+el-ep)-2*rip^2*AHAT(ej+ek+el) +rij*rik*ril*rip^2*IHAT(-ei) -(rij*rip^2+rik*rip^2+ril*rip^2-3*rip^3+rip^2*(rjp+rkp+rlp) +2*rjp*rkp*rlp)*IHAT(ei) +rip*(rip*(rip*(rjp*(rkp+rlp)+rkp*rlp)-5*rjp*rkp*rlp)*IHAT(-ep) -(rip^3-rip^2*(rjp+rkp+rlp)+4*rjp*rkp*rlp)*IHAT(0)))/(2*rjp*rkp*rlp) S4: IHAT(-4*ei-2*ep)=(60*rij^2*rik^2*ril^2*rip^3*rjp*rkp*rlp*AHAT(-3*ei+ej+ek+el) +24*rij*rik*ril*rip^2*rjp*rkp*rlp*(rij*(rik*(7*ril+3*rip)+3*ril*rip) +3*rik*ril*rip)*AHAT(-2*ei+ej+ek+el) +4*rip*rjp*rkp*rlp*(rij^2*(rik^2*(105*ril^2+56*ril*rip+24*rip^2) +rik*ril*rip*(56*ril+23*rip)+24*ril^2*rip^2)+rij*rik*ril*rip*(rik*(56*ril +23*rip)+23*ril*rip)+24*rik^2*ril^2*rip^2)*AHAT(-ei+ej+ek+el) -210*rij^3*rik^3*ril^3*AHAT(ei+ej+ek+el-ep) +210*rij^3*rik^3*ril^3*AHAT(ej+ek+el) -(105*rij^4*rik^4*ril^4-4*rij^3*rjp*rkp*rlp*(rik^3*(210*ril^3+105*ril^2*rip +56*ril*rip^2+24*rip^3)+rik^2*ril*rip*(105*ril^2+49*ril*rip+20*rip^2) +4*rik*ril^2*rip^2*(14*ril+5*rip)+24*ril^3*rip^3) -4*rij^2*rik*ril*rip*rjp*rkp*rlp*(rik^2*(105*ril^2+49*ril*rip+20*rip^2) +rik*ril*rip*(49*ril+18*rip)+20*ril^2*rip^2) -16*rij*rik^2*ril^2*rip^2*rjp*rkp*rlp*(rik*(14*ril+5*rip)+5*ril*rip) -96*rik^3*ril^3*rip^3*rjp*rkp*rlp)*IHAT(-ei) +105*rij^3*rik^3*ril^3*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -105*rij^3*rik^3*ril^3*(rip*(rjp*(rkp+rlp)+rkp*rlp)+9*rjp*rkp*rlp)*IHAT(-ep) +rip*(rij^3*(105*rik^3*ril^3*(rip-rjp-rkp-rlp)-2*rik^2*rjp*rkp*rlp*(105*ril^2 +56*ril*rip+24*rip^2)-2*rik*ril*rip*rjp*rkp*rlp*(56*ril+23*rip) -48*ril^2*rip^2*rjp*rkp*rlp)-2*rij^2*rjp*rkp*rlp*(rik^3*(105*ril^2+56*ril*rip +24*rip^2)+rik^2*ril*(105*ril^2+84*ril*rip+34*rip^2)+2*rik*ril^2*rip*(28*ril +17*rip)+24*ril^3*rip^2)-2*rij*rik*ril*rip*rjp*rkp*rlp*(rik^2*(56*ril+23*rip) +2*rik*ril*(28*ril+17*rip)+23*ril^2*rip)-48*rik^2*ril^2*rip^2*rjp*rkp*rlp*(rik +ril))*IHAT(0)) /(210*rij^3*rik^3*ril^3*rip^5*rjp*rkp*rlp) IHAT(-3*ei-ej-2*ep)=-(12*rij*rik*ril*rip^2*rjp^2*rkp*rlp*AHAT(-2*ei+ej+ek+el) +4*rip*rjp^2*rkp*rlp*(2*rij*(rik*(5*ril+2*rip)+2*ril*rip) +9*rik*ril*rip)*AHAT(-ei+ej+ek+el)+30*rij^3*rik^2*ril^2*AHAT(ei+ej+ek+el-ep) -30*rij^3*rik^2*ril^2*AHAT(ej+ek+el)+(15*rij^4*rik^3*ril^3 +2*rij^2*rjp^2*rkp*rlp*(rik^2*(45*ril^2+20*ril*rip+8*rip^2) +rik*ril*rip*(20*ril+7*rip)+8*ril^2*rip^2) +2*rij*rik*ril*rip*rjp^2*rkp*rlp*(rik*(50*ril+17*rip)+17*ril*rip) +66*rik^2*ril^2*rip^2*rjp^2*rkp*rlp)*IHAT(-ei) -15*rij^3*rik^2*ril^2*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -30*rik^2*ril^2*rip^4*rkp*rlp*IHAT(-ej) +15*rij^3*rik^2*ril^2*(rip*(rjp*(rkp+rlp)+3*rkp*rlp)+7*rjp*rkp*rlp)*IHAT(-ep) -rip*(15*rij^3*rik^2*ril^2*(rip-rjp-rkp-rlp)+4*rij^2*rjp^2*rkp*rlp*(rik*(5*ril +2*rip)+2*ril*rip)+2*rij*rjp^2*rkp*rlp*(2*rik^2*(5*ril+2*rip)+rik*ril*(10*ril +11*rip)+4*ril^2*rip)+18*rik*ril*rip*rjp^2*rkp*rlp*(rik+ril))*IHAT(0)) /(30*rij^3*rik^2*ril^2*rip^4*rjp^2*rkp*rlp) IHAT(-3*ei+ej-2*ep)=-(12*rij*rik*ril*rip^2*rkp*rlp*AHAT(-2*ei+ej+ek+el) +4*rip*rkp*rlp*(2*rij*(rik*(5*ril+2*rip)+2*ril*rip) -rik*ril*rip)*AHAT(-ei+ej+ek+el)+30*rij*rik^2*ril^2*AHAT(ei+ej+ek+el-ep) -30*rij*rik^2*ril^2*AHAT(ej+ek+el) +(rij^2*(15*rik^3*ril^3+2*rik^2*rkp*rlp*(45*ril^2+20*ril*rip+8*rip^2) +2*rik*ril*rip*rkp*rlp*(20*ril+7*rip)+16*ril^2*rip^2*rkp*rlp) -2*rij*rik*ril*rip*rkp*rlp*(rik*(10*ril+3*rip)+3*ril*rip) -4*rik^2*ril^2*rip^2*rkp*rlp)*IHAT(-ei) -15*rij*rik^2*ril^2*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +15*rij*rik^2*ril^2*(rip*(rjp*(rkp+rlp)-rkp*rlp)+7*rjp*rkp*rlp)*IHAT(-ep) -rip*(4*rij^2*rkp*rlp*(rik*(5*ril+2*rip)+2*ril*rip)+rij*(rik^2*(15*ril^2*(rip -rjp-rkp-rlp)+20*ril*rkp*rlp+8*rip*rkp*rlp)+2*rik*ril*rkp*rlp*(10*ril+rip) +8*ril^2*rip*rkp*rlp)-2*rik*ril*rip*rkp*rlp*(rik+ril))*IHAT(0)) /(30*rij*rik^2*ril^2*rip^4*rkp*rlp) IHAT(-2*ei-2*ej-2*ep)=(4*rip*rjk*rjl*rjp^3*rkp*rlp*AHAT(-ei+ej+ek+el) -4*rik*ril*rip^3*rjp*rkp*rlp*AHAT(ei-ej+ek+el) -6*rij^3*rik*ril*rjk*rjl*AHAT(ei+ej+ek+el-ep) +6*rij^3*rik*ril*rjk*rjl*AHAT(ej+ek+el) -rjk*rjl*(3*rij^4*rik^2*ril^2-4*rij*rjp^3*rkp*rlp*(rik*(3*ril+rip) +ril*rip)-16*rik*ril*rip*rjp^3*rkp*rlp)*IHAT(-ei)+3*rij^3*rik*ril*rjk*rjl*(rij +rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +4*rik*ril*rip^3*rkp*rlp*(rij*(rjk*(3*rjl+rjp)+rjl*rjp) -4*rjk*rjl*rjp)*IHAT(-ej) -3*rij^3*rik*ril*rjk*rjl*(rip*(rjp*(rkp+rlp)+5*rkp*rlp) +5*rjp*rkp*rlp)*IHAT(-ep) +rip*(3*rij^3*rik*ril*rjk*rjl*(rip-rjp-rkp-rlp) -2*rij*rjp*rkp*rlp*(rik*ril*rip^2+rjk*rjl*rjp^2) +2*rjp*rkp*rlp*(rik*(ril*rip^2*(rjk+rjl)-rjk*rjl*rjp^2) -ril*rjk*rjl*rjp^2))*IHAT(0)) /(6*rij^3*rik*ril*rip^3*rjk*rjl*rjp^3*rkp*rlp) IHAT(-2*ei-ej-ek-2*ep)=(4*rip*rjk*rjp^2*rkp^2*rlp*AHAT(-ei+ej+ek+el) -6*rij^2*rik^2*ril*rjk*AHAT(ei+ej+ek+el-ep) +6*rij^2*rik^2*ril*rjk*AHAT(ej+ek+el) -rjk*(3*rij^3*rik^3*ril^2-2*rij*rjp^2*rkp^2*rlp*(2*rik*(3*ril+rip) +5*ril*rip)-10*rik*ril*rip*rjp^2*rkp^2*rlp)*IHAT(-ei) +3*rij^2*rik^2*ril*rjk*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -6*rik^2*ril*rip^3*rkp^2*rlp*IHAT(-ej)+6*rij^2*ril*rip^3*rjp^2*rlp*IHAT(-ek) -rjk*(3*rij^2*rik^2*ril*(rip*(rjp*(rkp+3*rlp) +3*rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) -rip*(3*rij^2*rik^2*ril*(rip-rjp-rkp-rlp)-2*rij*rjp^2*rkp^2*rlp -2*rjp^2*rkp^2*rlp*(rik+ril))*IHAT(0))) /(6*rij^2*rik^2*ril*rip^3*rjk*rjp^2*rkp^2*rlp) IHAT(-2*ei-ej+ek-2*ep)=(4*rip*rjp^2*rlp*AHAT(-ei+ej+ek+el) -6*rij^2*ril*AHAT(ei+ej+ek+el-ep)+6*rij^2*ril*AHAT(ej+ek+el) -(3*rij^3*rik*ril^2+2*rij*rjp^2*rlp*(ril*rip-2*rik*(3*ril+rip)) -10*rik*ril*rip*rjp^2*rlp)*IHAT(-ei) +3*rij^2*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -6*ril*rip^3*rjk*rlp*IHAT(-ej) -3*rij^2*ril*(rip*(rjp*(rkp-rlp)+3*rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) +rip*(3*rij^2*ril*(rip-rjp-rkp-rlp)-2*rij*rjp^2*rlp-2*rjp^2*rlp*(rik +ril))*IHAT(0))/(6*rij^2*ril*rip^3*rjp^2*rlp) IHAT(-2*ei+ej+ek-2*ep)=(4*rip*rlp*AHAT(-ei+ej+ek+el) -6*ril*AHAT(ei+ej+ek+el-ep)+6*ril*AHAT(ej+ek+el) -(rij*(rik*(3*ril^2-12*ril*rlp-4*rip*rlp)+2*ril*rip*rlp) +2*rik*ril*rip*rlp)*IHAT(-ei) +3*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -3*ril*(rip*(rjp*(rkp-rlp)-rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) -rip*(2*rij*rlp+2*rik*rlp-ril*(3*rip-3*rjp-3*rkp-5*rlp))*IHAT(0)) /(6*ril*rip^3*rlp) IHAT(-2*ei+2*ej-2*ep)=(4*rij*rip*rkp*rlp*AHAT(-ei+ej+ek+el) -6*rik*ril*rjp*AHAT(ei+ej+ek+el-ep)+6*rik*ril*rjp*AHAT(ej+ek+el) +rij*(4*rij*rkp*rlp*(rik*(3*ril+rip)+ril*rip)-3*rik^2*ril^2*rjp -8*rik*ril*rip*rkp*rlp)*IHAT(-ei) +3*rik*ril*rjp*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -3*rik*ril*rjp*(rip*(rjp*(rkp+rlp)-3*rkp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep) -rip*(2*rij^2*rkp*rlp+2*rij*rkp*rlp*(rik+ril)-3*rik*ril*rjp*(rip-rjp-rkp -rlp))*IHAT(0))/(6*rik*ril*rip^3*rkp*rlp) IHAT(-ei-ej-ek-el-2*ep)=-(2*rij*rik*ril*rjk*rjl*rkl*AHAT(ei+ej+ek+el-ep) -2*rij*rik*ril*rjk*rjl*rkl*AHAT(ej+ek+el) +rjk*rjl*rkl*(rij^2*rik^2*ril^2+2*rjp^2*rkp^2*rlp^2)*IHAT(-ei) -rij*rik*ril*rjk*rjl*rkl*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -2*rik*ril*rip^2*rkl*rkp^2*rlp^2*IHAT(-ej) +rij*(2*ril*rip^2*rjl*rjp^2*rlp^2*IHAT(-ek) -rik*rjk*(2*rip^2*rjp^2*rkp^2*IHAT(-el) -ril*rjl*rkl*(3*(rip*(rjp*(rkp+rlp)+rkp*rlp)+rjp*rkp*rlp)*IHAT(-ep) -rip*(rip-rjp-rkp-rlp)*IHAT(0))))) /(2*rij*rik*ril*rip^2*rjk*rjl*rjp^2*rkl*rkp^2*rlp^2) IHAT(-ei-ej-ek+el-2*ep)=-(2*rij*rik*rjk*AHAT(ei+ej+ek+el-ep) -2*rij*rik*rjk*AHAT(ej+ek+el)+ril*rjk*(rij^2*rik^2+2*rjp^2*rkp^2)*IHAT(-ei) -rij*rik*rjk*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) -2*rik*rip^2*rjl*rkp^2*IHAT(-ej)+rij*(2*rip^2*rjp^2*rkl*IHAT(-ek) -rik*rjk*((rip*(rjp*(rkp-3*rlp)-3*rkp*rlp)-3*rjp*rkp*rlp)*IHAT(-ep) +rip*(rip-rjp-rkp-rlp)*IHAT(0))))/(2*rij*rik*rip^2*rjk*rjp^2*rkp^2) IHAT(-ei-ej+ek+el-2*ep)=-(2*rij*AHAT(ei+ej+ek+el-ep)-2*rij*AHAT(ej+ek+el) +rik*ril*(rij^2+2*rjp^2)*IHAT(-ei) -rij*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)-2*rip^2*rjk*rjl*IHAT(-ej) -rij*((rip*(rjp*(rkp+rlp)-3*rkp*rlp)-3*rjp*rkp*rlp)*IHAT(-ep) +rip*(rip-rjp-rkp-rlp)*IHAT(0)))/(2*rij*rip^2*rjp^2) IHAT(-ei+ej+ek+el-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el) +3*rij*rik*ril*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei) +(3*rjp*rkp*rlp-rip*(rjp*(rkp+rlp)+rkp*rlp))*IHAT(-ep) -rip*(3*rip-rjp-rkp-rlp)*IHAT(0))/(2*rip^2) IHAT(ei+ej+ek+el-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-4*AHAT(ej+ek+el) +2*rij*rik*ril*IHAT(-ei)-(rip+rjp+rkp+rlp)*IHAT(ei) -(rip*(rjp*(rkp+rlp)+rkp*rlp)+rjp*rkp*rlp)*IHAT(-ep) -(2*rij*(rik+ril-2*rip)+2*rik*(ril-2*rip) -rip*(4*ril-7*rip+rjp+rkp+rlp))*IHAT(0))/2 IHAT(ei+ej+2*ek-2*ep)=-(2*rkp*AHAT(ei+ej+ek+el-ep)-2*(rkp+rlp)*AHAT(ej+ek+el) +rij*rik*ril*(rkp+rlp)*IHAT(-ei) -(rij*(rkp-rlp)+rik*(rkp-3*rlp)+ril*(rkp+rlp)+rip*(4*rlp-3*rkp)+rkp*(rjp+rkp +rlp))*IHAT(ei)+rkp*(rip*(rjp*(rkp-3*rlp)-rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) -(4*rij*rlp*(rik-rip)+2*rik^2*rlp-8*rik*rip*rlp+rip*(rip*(rkp+6*rlp)-rkp*(rjp +rkp+rlp)))*IHAT(0))/(2*rlp) IHAT(ei+3*ej-2*ep)=-(2*rjp^2*AHAT(ei+ej+ek+el-ep) -2*(rjp^2+rkp*rlp)*AHAT(ej+ek+el)+rij*rik*ril*(rjp^2+rkp*rlp)*IHAT(-ei) -(rij*(rjp^2-5*rkp*rlp)+rik*(rjp^2+rkp*rlp)+ril*(rjp^2+rkp*rlp)+rip*(4*rkp*rlp -3*rjp^2)+rjp^2*(rjp+rkp+rlp))*IHAT(ei) +rjp^2*(rip*(rjp*(rkp+rlp)-5*rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep) -(6*rij^2*rkp*rlp-12*rij*rip*rkp*rlp+rip*(rip*(rjp^2+6*rkp*rlp)-rjp^2*(rjp+rkp +rlp)))*IHAT(0))/(2*rkp*rlp) IHAT(2*ei+2*ej-2*ep)=-(2*rip*rjp*AHAT(ei+ej+ek+el-ep) -2*(rip*rjp+rkp*rlp)*AHAT(ej+ek+el)+rij*rik*ril*(rip*rjp+rkp*rlp)*IHAT(-ei) -(rij*(rip*rjp-3*rkp*rlp)+rik*(rip*rjp+rkp*rlp)+ril*(rip*rjp+rkp*rlp) -rip*(3*rip*rjp-rjp^2-rjp*(rkp+rlp)-4*rkp*rlp))*IHAT(ei) +rip*rjp*(rip*(rjp*(rkp+rlp)-3*rkp*rlp)-3*rjp*rkp*rlp)*IHAT(-ep) -(2*rij^2*rkp*rlp-8*rij*rip*rkp*rlp+rip^2*(rip*rjp-rjp^2-rjp*(rkp+rlp) +6*rkp*rlp))*IHAT(0))/(2*rkp*rlp) IHAT(4*ei-2*ep)=-(2*rip^3*AHAT(ei+ej+ek+el-ep) -2*(rip^3+rjp*rkp*rlp)*AHAT(ej+ek+el) +rij*rik*ril*(rip^3+rjp*rkp*rlp)*IHAT(-ei) -(rij*(rip^3+rjp*rkp*rlp)+rik*(rip^3+rjp*rkp*rlp)+ril*(rip^3+rjp*rkp*rlp) -rip*(3*rip^3-rip^2*(rjp+rkp+rlp)-4*rjp*rkp*rlp))*IHAT(ei) +rip^2*(rip*(rip*(rjp*(rkp+rlp)+rkp*rlp)-7*rjp*rkp*rlp)*IHAT(-ep) -(rip^3-rip^2*(rjp+rkp+rlp)+6*rjp*rkp*rlp)*IHAT(0)))/(2*rjp*rkp*rlp) S0: IHAT(2*ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei)-(rij+rik+ril-4*rip)*IHAT(ei) -2*rip^2*IHAT(0))/2 S1: IHAT(2*ep-ei)=rip^2*IHAT(-ei)+IHAT(ei)-2*rip*IHAT(0) IHAT(ei+2*ep)=(4*AHAT(ei+ej+ek+el)+2*(3*rij+3*rik+3*ril-8*rip)*AHAT(ej+ek+el) -rij*rik*ril*(3*rij+3*rik+3*ril-8*rip)*IHAT(-ei) +(3*rij^2+2*rij*(rik+ril-4*rip)+3*rik^2+2*rik*(ril-4*rip)+3*ril^2-8*ril*rip +8*rip^2)*IHAT(ei)+2*rij*rik*ril*IHAT(0))/8 S2: IHAT(2*ep-2*ei)=(2*rip^2*AHAT(-ei+ej+ek+el) +2*rip*(rik*ril*rip-rij*(rik*(3*ril-rip)-ril*rip))*IHAT(-ei) +(rij*(3*rik*ril-rip^2)-rip^2*(rik+ril))*IHAT(0))/(3*rij*rik*ril) IHAT(-ei-ej+2*ep)=-rip^2*IHAT(-ei)/rij+rjp^2*IHAT(-ej)/rij+IHAT(0) IHAT(-ei+ej+2*ep)=AHAT(ej+ek+el)-(rij*(rik*ril+2*rip^2)*IHAT(-ei) +(rij-rik-ril+4*rip)*IHAT(ei)-2*rip*(2*rij+rip)*IHAT(0))/2 IHAT(ei+ej+2*ep)=(16*AHAT(2*ei+ej+ek+el) -4*(rij-5*rik-5*ril+12*rip)*AHAT(ei+ej+ek+el) -2*(3*rij^2+4*rij*(rik+ril-3*rip)-15*rik^2+2*rik*(18*rip-7*ril)-3*(5*ril^2 -12*ril*rip+8*rip^2))*AHAT(ej+ek+el) +rij*rik*ril*(3*rij^2+4*rij*(rik+ril-3*rip)-15*rik^2+2*rik*(18*rip-7*ril) -15*ril^2+36*ril*rip-24*rip^2)*IHAT(-ei) -3*(rij^3+rij^2*(rik+ril-4*rip)+rij*(3*rik^2+2*rik*(ril-4*rip)+3*ril^2 -8*ril*rip+8*rip^2)-5*rik^3+3*rik^2*(4*rip-ril)-rik*(3*ril^2 -8*ril*rip+8*rip^2)-ril*(5*ril^2-12*ril*rip+8*rip^2))*IHAT(ei) -2*rij*rik*ril*(rij-5*rik-5*ril+12*rip)*IHAT(0))/48 IHAT(2*ei+2*ep)=(16*AHAT(2*ei+ej+ek+el) +4*(5*rij+5*rik+5*ril-12*rip)*AHAT(ei+ej+ek+el) +2*(15*rij^2+2*rij*(7*rik+7*ril-18*rip)+15*rik^2+2*rik*(7*ril-18*rip)+15*ril^2 -36*ril*rip+24*rip^2)*AHAT(ej+ek+el) -rij*rik*ril*(15*rij^2+2*rij*(7*rik+7*ril-18*rip)+15*rik^2+2*rik*(7*ril-18*rip) +3*(5*ril^2-12*ril*rip+8*rip^2))*IHAT(-ei) +3*(5*rij^3+3*rij^2*(rik+ril-4*rip)+rij*(3*rik^2+2*rik*(ril-4*rip)+3*ril^2 -8*ril*rip+8*rip^2)+5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2-8*ril*rip +8*rip^2)+5*ril^3-12*ril^2*rip+8*ril*rip^2)*IHAT(ei) +2*rij*rik*ril*(5*rij+5*rik+5*ril-12*rip)*IHAT(0))/48 S3: IHAT(2*ep-3*ei)=(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el) +4*rip*(2*rik*ril*rip-rij*(rik*(5*ril-2*rip)-2*ril*rip))*AHAT(-ei+ej+ek+el) +(rij^2*(rik^2*(15*ril^2-20*ril*rip+8*rip^2)+rik*ril*rip*(7*rip-20*ril) +8*ril^2*rip^2)+rij*rik*ril*rip*(7*ril*rip-rik*(20*ril-7*rip)) +8*rik^2*ril^2*rip^2)*IHAT(-ei) +2*rip*(rij^2*(rik*(5*ril-2*rip)-2*ril*rip)+rij*(rik^2*(5*ril-2*rip) +rik*ril*(5*ril-3*rip)-2*ril^2*rip)-2*rik*ril*rip*(rik+ril))*IHAT(0)) /(15*rij^2*rik^2*ril^2) IHAT(-2*ei-ej+2*ep)=-(2*rip^2*AHAT(-ei+ej+ek+el) +rip*(5*rik*ril*rip-2*rij*(rik*(3*ril-rip)-ril*rip))*IHAT(-ei) -3*rik*ril*rjp^2*IHAT(-ej)-rip^2*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik*ril) IHAT(-2*ei+ej+2*ep)=-(2*rip^2*AHAT(-ei+ej+ek+el) -rip*(2*rij*(rik*(3*ril-rip)-ril*rip)+rik*ril*rip)*IHAT(-ei) -3*rik*ril*IHAT(ei) +(rij*(3*rik*ril-rip^2)+rip*(rik*(6*ril-rip)-ril*rip))*IHAT(0)) /(3*rik*ril) IHAT(-ei-ej-ek+2*ep)=rip^2*IHAT(-ei)/(rij*rik)-rjp^2*IHAT(-ej)/(rij*rjk) +rkp^2*IHAT(-ek)/(rik*rjk) IHAT(-ei-ej+ek+2*ep)=rik*rip^2*IHAT(-ei)/rij+IHAT(ei)-rjk*rjp^2*IHAT(-ej)/rij +(rij-rik-2*rip)*IHAT(0) IHAT(-ei+ej+ek+2*ep)=(4*AHAT(ei+ej+ek+el) -2*(rij+rik-3*ril+8*rip)*AHAT(ej+ek+el) +rij*rik*(rij*ril+rik*ril-3*ril^2+8*ril*rip+8*rip^2)*IHAT(-ei) -(rij^2-2*rij*(rik-ril+4*rip)+rik^2+2*rik*(ril-4*rip)-3*ril^2+8*rip*(ril -rip))*IHAT(ei)+2*(rij*(rik*(ril-8*rip)-4*rip^2)-4*rik*rip^2)*IHAT(0))/8 IHAT(-ei+2*ej+2*ep)=(4*AHAT(ei+ej+ek+el) -2*(5*rij-3*rik-3*ril+8*rip)*AHAT(ej+ek+el) +rij*(rij*(5*rik*ril+8*rip^2)-rik*ril*(3*rik+3*ril-8*rip))*IHAT(-ei) +(3*rij^2-6*rij*(rik+ril-4*rip)+3*rik^2+2*rik*(ril-4*rip)+3*ril^2-8*ril*rip +8*rip^2)*IHAT(ei)-2*rij*(8*rij*rip-rik*ril+8*rip^2)*IHAT(0))/8 IHAT(ei+ej+ek+2*ep)=(96*AHAT(3*ei+ej+ek+el) -16*(rij+rik-7*ril+16*rip)*AHAT(2*ei+ej+ek+el) -4*(5*rij^2-2*rij*(rik-3*ril+8*rip)+5*rik^2+2*rik*(3*ril-8*rip)-35*ril^2 +16*rip*(5*ril-3*rip))*AHAT(ei+ej+ek+el) -2*(15*rij^3-rij^2*(7*rik-17*ril+48*rip)-rij*(7*rik^2+2*rik*(5*ril-16*rip) -25*ril^2+64*ril*rip-48*rip^2)+15*rik^3+rik^2*(17*ril-48*rip)+rik*(25*ril^2 -64*ril*rip+48*rip^2)-3*ril*(35*ril^2-80*ril*rip+48*rip^2))*AHAT(ej+ek+el) +rij*rik*ril*(15*rij^3-rij^2*(7*rik-17*ril+48*rip)-rij*(7*rik^2+2*rik*(5*ril -16*rip)-25*ril^2+16*rip*(4*ril-3*rip))+15*rik^3+rik^2*(17*ril-48*rip) +rik*(25*ril^2-64*ril*rip+48*rip^2)-105*ril^3+240*ril^2*rip -144*ril*rip^2)*IHAT(-ei) -3*(5*rij^4-4*rij^3*(rik-ril+4*rip)-2*rij^2*(rik^2+2*rik*(ril-4*rip)-3*ril^2 +8*ril*rip-8*rip^2)-4*rij*(rik^3+rik^2*(ril-4*rip)+rik*(3*ril^2-8*ril*rip +8*rip^2)-ril*(5*ril^2-12*ril*rip+8*rip^2))+5*rik^4+4*rik^3*(ril-4*rip) +2*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2-12*ril*rip+8*rip^2) -ril^2*(35*ril^2-80*ril*rip+48*rip^2))*IHAT(ei) -2*rij*rik*ril*(5*rij^2-2*rij*(rik-3*ril+8*rip)+5*rik^2+2*rik*(3*ril-8*rip) -35*ril^2+16*rip*(5*ril-3*rip))*IHAT(0))/384 IHAT(ei+2*ej+2*ep)=(96*AHAT(3*ei+ej+ek+el) -16*(9*rij-7*rik-7*ril+16*rip)*AHAT(2*ei+ej+ek+el) +4*(3*rij^2-2*rij*(23*rik+23*ril-56*rip)+35*rik^2+2*rik*(17*ril-40*rip) +35*ril^2-80*ril*rip+48*rip^2)*AHAT(ei+ej+ek+el) +2*(9*rij^3+3*rij^2*(5*rik+5*ril-16*rip)-rij*(145*rik^2+2*rik*(67*ril -176*rip)+145*ril^2-352*ril*rip+240*rip^2)+105*rik^3+5*rik^2*(19*ril-48*rip) +rik*(95*ril^2-224*ril*rip+144*rip^2)+105*ril^3-240*ril^2*rip +144*ril*rip^2)*AHAT(ej+ek+el) -rij*rik*ril*(9*rij^3+3*rij^2*(5*rik+5*ril-16*rip)-rij*(145*rik^2 +2*rik*(67*ril-176*rip)+145*ril^2-352*ril*rip+240*rip^2)+105*rik^3 +5*rik^2*(19*ril-48*rip)+rik*(95*ril^2-224*ril*rip+144*rip^2)+3*ril*(35*ril^2 -80*ril*rip+48*rip^2))*IHAT(-ei) +3*(3*rij^4+4*rij^3*(rik+ril-4*rip)+6*rij^2*(3*rik^2+2*rik*(ril-4*rip)+3*ril^2 -8*ril*rip+8*rip^2)-12*rij*(5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2 -8*ril*rip+8*rip^2)+ril*(5*ril^2-12*ril*rip+8*rip^2))+35*rik^4+20*rik^3*(ril -4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2-12*ril*rip +8*rip^2)+35*ril^4-80*ril^3*rip+48*ril^2*rip^2)*IHAT(ei) +2*rij*rik*ril*(3*rij^2-2*rij*(23*rik+23*ril-56*rip)+35*rik^2+2*rik*(17*ril -40*rip)+35*ril^2-80*ril*rip+48*rip^2)*IHAT(0))/384 IHAT(3*ei+2*ep)=(96*AHAT(3*ei+ej+ek+el) +16*(7*rij+7*rik+7*ril-16*rip)*AHAT(2*ei+ej+ek+el) +4*(35*rij^2+2*rij*(17*rik+17*ril-40*rip)+35*rik^2+2*rik*(17*ril-40*rip) +35*ril^2-80*ril*rip+48*rip^2)*AHAT(ei+ej+ek+el) +2*(105*rij^3+5*rij^2*(19*rik+19*ril-48*rip)+rij*(95*rik^2+2*rik*(45*ril -112*rip)+95*ril^2-224*ril*rip+144*rip^2)+105*rik^3+5*rik^2*(19*ril-48*rip) +rik*(95*ril^2-224*ril*rip+144*rip^2)+105*ril^3-240*ril^2*rip +144*ril*rip^2)*AHAT(ej+ek+el) -rij*rik*ril*(105*rij^3+5*rij^2*(19*rik+19*ril-48*rip)+rij*(95*rik^2 +2*rik*(45*ril-112*rip)+95*ril^2-224*ril*rip+144*rip^2)+105*rik^3 +5*rik^2*(19*ril-48*rip)+rik*(95*ril^2-224*ril*rip+144*rip^2)+3*ril*(35*ril^2 -80*ril*rip+48*rip^2))*IHAT(-ei) +3*(35*rij^4+20*rij^3*(rik+ril-4*rip)+6*rij^2*(3*rik^2+2*rik*(ril-4*rip) +3*ril^2-8*ril*rip+8*rip^2)+4*rij*(5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2 -8*ril*rip+8*rip^2)+5*ril^3-12*ril^2*rip+8*ril*rip^2)+35*rik^4+20*rik^3*(ril -4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2-12*ril*rip +8*rip^2)+35*ril^4-80*ril^3*rip+48*ril^2*rip^2)*IHAT(ei) +2*rij*rik*ril*(35*rij^2+2*rij*(17*rik+17*ril-40*rip)+35*rik^2+2*rik*(17*ril -40*rip)+35*ril^2-80*ril*rip+48*rip^2)*IHAT(0))/384 S4: IHAT(2*ep-4*ei)=(30*rij^2*rik^2*ril^2*rip^2*AHAT(-3*ei+ej+ek+el) +12*rij*rik*ril*rip*(3*rik*ril*rip-rij*(rik*(7*ril-3*rip) -3*ril*rip))*AHAT(-2*ei+ej+ek+el) +2*(rij^2*(rik^2*(35*ril^2-56*ril*rip+24*rip^2)+rik*ril*rip*(23*rip-56*ril) +24*ril^2*rip^2)+rij*rik*ril*rip*(23*ril*rip-rik*(56*ril-23*rip)) +24*rik^2*ril^2*rip^2)*AHAT(-ei+ej+ek+el) +2*(rij^3*(rik^3*(35*ril^2-56*ril*rip+24*rip^2)+rik^2*ril*(35*ril^2 -49*ril*rip+20*rip^2)+4*rik*ril^2*rip*(5*rip-14*ril)+24*ril^3*rip^2) +rij^2*rik*ril*(rik^2*(35*ril^2-49*ril*rip+20*rip^2)+rik*ril*rip*(18*rip -49*ril)+20*ril^2*rip^2)+4*rij*rik^2*ril^2*rip*(5*ril*rip-rik*(14*ril-5*rip)) +24*rik^3*ril^3*rip^2)*IHAT(-ei) -(rij^3*(rik^2*(35*ril^2-56*ril*rip+24*rip^2)+rik*ril*rip*(23*rip-56*ril) +24*ril^2*rip^2)+rij^2*(rik^3*(35*ril^2-56*ril*rip+24*rip^2) +rik^2*ril*(35*ril^2-84*ril*rip+34*rip^2)+2*rik*ril^2*rip*(17*rip-28*ril) +24*ril^3*rip^2)-rij*rik*ril*rip*(rik^2*(56*ril-23*rip)+2*rik*ril*(28*ril -17*rip)-23*ril^2*rip)+24*rik^2*ril^2*rip^2*(rik+ril))*IHAT(0)) /(105*rij^3*rik^3*ril^3) IHAT(-3*ei-ej+2*ep)=-(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el) +2*rip*(9*rik*ril*rip-2*rij*(rik*(5*ril-2*rip)-2*ril*rip))*AHAT(-ei+ej+ek+el) +(rij^2*(rik^2*(15*ril^2-20*ril*rip+8*rip^2)+rik*ril*rip*(7*rip-20*ril) +8*ril^2*rip^2)+rij*rik*ril*rip*(17*ril*rip-rik*(50*ril-17*rip)) +33*rik^2*ril^2*rip^2)*IHAT(-ei)-15*rik^2*ril^2*rjp^2*IHAT(-ej) +rip*(2*rij^2*(rik*(5*ril-2*rip)-2*ril*rip)+rij*(2*rik^2*(5*ril-2*rip) +rik*ril*(10*ril-11*rip)-4*ril^2*rip)-9*rik*ril*rip*(rik+ril))*IHAT(0)) /(15*rij^3*rik^2*ril^2) IHAT(-3*ei+ej+2*ep)=-(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el) -2*rip*(2*rij*(rik*(5*ril-2*rip)-2*ril*rip)+rik*ril*rip)*AHAT(-ei+ej+ek+el) +(rij^2*(rik^2*(15*ril^2-20*ril*rip+8*rip^2)+rik*ril*rip*(7*rip-20*ril) +8*ril^2*rip^2)+rij*rik*ril*rip*(rik*(10*ril-3*rip)-3*ril*rip) -2*rik^2*ril^2*rip^2)*IHAT(-ei)+(2*rij^2*rip*(rik*(5*ril-2*rip)-2*ril*rip) -rij*(rik^2*(15*ril^2-10*ril*rip+4*rip^2)+rik*ril*rip*(rip-10*ril) +4*ril^2*rip^2)+rik*ril*rip^2*(rik+ril))*IHAT(0))/(15*rij*rik^2*ril^2) IHAT(-2*ei-2*ej+2*ep)=(2*rip^2*rjk*rjl*AHAT(-ei+ej+ek+el) -2*rik*ril*rjp^2*AHAT(ei-ej+ek+el) +2*rip*rjk*rjl*(4*rik*ril*rip-rij*(rik*(3*ril-rip)-ril*rip))*IHAT(-ei) -2*rik*ril*rjp*(rij*(rjk*(3*rjl-rjp)-rjl*rjp)+4*rjk*rjl*rjp)*IHAT(-ej) -(rij*(rik*ril*rjp^2+rip^2*rjk*rjl)+rik*(rip^2*rjk*rjl-ril*rjp^2*(rjk+rjl)) +ril*rip^2*rjk*rjl)*IHAT(0))/(3*rij^3*rik*ril*rjk*rjl) IHAT(-2*ei-ej-ek+2*ep)=(2*rip^2*rjk*AHAT(-ei+ej+ek+el) +rip*rjk*(5*rik*ril*rip-rij*(2*rik*(3*ril-rip)-5*ril*rip))*IHAT(-ei) -3*rik^2*ril*rjp^2*IHAT(-ej)+3*rij^2*ril*rkp^2*IHAT(-ek) -rip^2*rjk*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik^2*ril*rjk) IHAT(-2*ei-ej+ek+2*ep)=(2*rip^2*AHAT(-ei+ej+ek+el) +rip*(5*rik*ril*rip-rij*(2*rik*(3*ril-rip)+ril*rip))*IHAT(-ei) -3*ril*rjk*rjp^2*IHAT(-ej) +(3*rij^2*ril-rij*rip^2-rip^2*(rik+ril))*IHAT(0))/(3*rij^2*ril) IHAT(-2*ei+ej+ek+2*ep)=(4*rip^2*AHAT(-ei+ej+ek+el)+6*ril*AHAT(ej+ek+el) -(rij*(rik*(3*ril^2+12*ril*rip-4*rip^2)+2*ril*rip^2) +2*rik*ril*rip^2)*IHAT(-ei)-3*ril*(rij+rik-ril+4*rip)*IHAT(ei) +2*(rij*(3*rik*ril+6*ril*rip-rip^2)+rip*(rik*(6*ril-rip)+2*ril*rip))*IHAT(0)) /(6*ril) IHAT(-2*ei+2*ej+2*ep)=(4*rij*rip^2*AHAT(-ei+ej+ek+el)+6*rik*ril*AHAT(ej+ek+el) -rij*(4*rij*rip*(rik*(3*ril-rip)-ril*rip)+rik*ril*(3*rik*ril +8*rip^2))*IHAT(-ei)-3*rik*ril*(3*rij-rik-ril+4*rip)*IHAT(ei) +2*(rij^2*(3*rik*ril-rip^2)+rij*rip*(rik*(12*ril-rip)-ril*rip) +3*rik*ril*rip^2)*IHAT(0))/(6*rik*ril) IHAT(-ei-ej-ek-el+2*ep)=-rip^2*IHAT(-ei)/(rij*rik*ril) +rjp^2*IHAT(-ej)/(rij*rjk*rjl)-rkp^2*IHAT(-ek)/(rik*rjk*rkl) +rlp^2*IHAT(-el)/(ril*rjl*rkl) IHAT(-ei-ej-ek+el+2*ep)=-ril*rip^2*IHAT(-ei)/(rij*rik) +rjl*rjp^2*IHAT(-ej)/(rij*rjk)-rkl*rkp^2*IHAT(-ek)/(rik*rjk)+IHAT(0) IHAT(-ei-ej+ek+el+2*ep)=AHAT(ej+ek+el)-(rik*ril*(rij^2+2*rip^2)*IHAT(-ei) -rij*(3*rij-rik-ril-4*rip)*IHAT(ei)-2*(rjk*rjl*rjp^2*IHAT(-ej) +rij*(rij^2-rij*(rik+ril+2*rip)+rik*(ril+2*rip)+rip*(2*ril+rip))*IHAT(0))) /(2*rij) IHAT(-ei+ej+ek+el+2*ep)=(16*AHAT(2*ei+ej+ek+el) -4*(rij+rik+ril+12*rip)*AHAT(ei+ej+ek+el) -2*(3*rij^2-2*rij*(rik+ril+6*rip)+3*rik^2-2*rik*(ril+6*rip)+3*(ril^2-4*ril*rip -8*rip^2))*AHAT(ej+ek+el) +rij*rik*ril*(3*rij^2-2*rij*(rik+ril+6*rip)+3*rik^2-2*rik*(ril+6*rip)+3*(ril^2 -4*ril*rip-24*rip^2))*IHAT(-ei) -3*(rij^3-rij^2*(rik+ril+4*rip)-rij*(rik^2-2*rik*(ril+4*rip)+ril^2-8*ril*rip -8*rip^2)+rik^3-rik^2*(ril+4*rip)-rik*(ril^2-8*ril*rip-8*rip^2)+ril*(ril^2 -4*ril*rip+8*rip^2))*IHAT(ei) -2*(rij^2*rik*ril+rij*(rik^2*ril+rik*(ril^2-36*ril*rip-24*rip^2)-24*ril*rip^2) -24*rik*ril*rip^2)*IHAT(0))/48 IHAT(ei+ej+ek+el+2*ep)=(768*AHAT(4*ei+ej+ek+el) -96*(rij+rik+ril+20*rip)*AHAT(3*ei+ej+ek+el) -16*(7*rij^2-2*rij*(rik+ril+10*rip)+7*rik^2-2*rik*(ril+10*rip)+7*ril^2 -20*ril*rip-80*rip^2)*AHAT(2*ei+ej+ek+el) -4*(35*rij^3-rij^2*(11*rik+11*ril+100*rip)-rij*(11*rik^2-2*rik*(3*ril+20*rip) +11*ril^2-40*ril*rip-80*rip^2)+35*rik^3-rik^2*(11*ril+100*rip)-rik*(11*ril^2 -40*ril*rip-80*rip^2)+5*ril*(7*ril^2-20*ril*rip+16*rip^2))*AHAT(ei+ej+ek+el) -2*(105*rij^4-20*rij^3*(2*rik+2*ril+15*rip)-2*rij^2*(17*rik^2-2*rik*(6*ril +35*rip)+17*ril^2-70*ril*rip-120*rip^2)-4*rij*(10*rik^3-rik^2*(6*ril+35*rip) -2*rik*(3*ril^2-15*ril*rip-20*rip^2)+5*ril*(2*ril^2-7*ril*rip+8*rip^2)) +105*rik^4-20*rik^3*(2*ril+15*rip)-2*rik^2*(17*ril^2-70*ril*rip-120*rip^2) -20*rik*ril*(2*ril^2-7*ril*rip+8*rip^2)+15*ril^2*(7*ril^2-20*ril*rip +16*rip^2))*AHAT(ej+ek+el) +rij*rik*ril*(105*rij^4-20*rij^3*(2*rik+2*ril+15*rip)-2*rij^2*(17*rik^2 -2*rik*(6*ril+35*rip)+17*ril^2-70*ril*rip-120*rip^2)-4*rij*(10*rik^3 -rik^2*(6*ril+35*rip)-2*rik*(3*ril^2-15*ril*rip-20*rip^2)+5*ril*(2*ril^2 -7*ril*rip+8*rip^2))+105*rik^4-20*rik^3*(2*ril+15*rip)-2*rik^2*(17*ril^2 -70*ril*rip-120*rip^2)-20*rik*ril*(2*ril^2-7*ril*rip+8*rip^2) +15*ril^2*(7*ril^2-20*ril*rip+16*rip^2))*IHAT(-ei) -15*(7*rij^5-5*rij^4*(rik+ril+4*rip)-2*rij^3*(rik^2-2*rik*(ril+4*rip)+ril^2 -8*ril*rip-8*rip^2)-2*rij^2*(rik^3-rik^2*(ril+4*rip)-rik*(ril^2-8*ril*rip -8*rip^2)+ril*(ril^2-4*ril*rip+8*rip^2))-rij*(5*rik^4-4*rik^3*(ril+4*rip) -2*rik^2*(ril^2-8*ril*rip-8*rip^2)-4*rik*ril*(ril^2-4*ril*rip+8*rip^2) +ril^2*(5*ril^2-16*ril*rip+16*rip^2))+7*rik^5-5*rik^4*(ril+4*rip) -2*rik^3*(ril^2-8*ril*rip-8*rip^2)-2*rik^2*ril*(ril^2-4*ril*rip+8*rip^2) -rik*ril^2*(5*ril^2-16*ril*rip+16*rip^2)+ril^3*(7*ril^2-20*ril*rip +16*rip^2))*IHAT(ei) -2*rij*rik*ril*(35*rij^3-rij^2*(11*rik+11*ril+100*rip)-rij*(11*rik^2 -2*rik*(3*ril+20*rip)+11*ril^2-40*ril*rip-80*rip^2)+35*rik^3-rik^2*(11*ril +100*rip)-rik*(11*ril^2-40*ril*rip-80*rip^2)+5*ril*(7*ril^2 -20*ril*rip+16*rip^2))*IHAT(0))/3840 IHAT(ei+ej+2*ek+2*ep)=(768*AHAT(4*ei+ej+ek+el) -96*(rij+11*rik-9*ril+20*rip)*AHAT(3*ei+ej+ek+el) -16*(7*rij^2-4*rij*(3*rik-2*ril+5*rip)-3*rik^2+6*rik*(13*ril-30*rip)-63*ril^2 +20*rip*(7*ril-4*rip))*AHAT(2*ei+ej+ek+el) -4*(35*rij^3-rij^2*(61*rik-39*ril+100*rip)+rij*(9*rik^2+2*rik*(100*rip-37*ril) +49*ril^2-120*ril*rip+80*rip^2)-15*rik^3+3*rik^2*(20*rip-7*ril)+rik*(399*ril^2 -920*ril*rip+560*rip^2)-5*ril*(63*ril^2-140*ril*rip +80*rip^2))*AHAT(ei+ej+ek+el) -2*(105*rij^4-10*rij^3*(19*rik-11*ril+30*rip)+4*rij^2*(9*rik^2+rik*(155*rip -54*ril)+34*ril^2-85*ril*rip+60*rip^2)+2*rij*(15*rik^3+9*rik^2*(3*ril-10*rip) -rik*(163*ril^2-420*ril*rip+320*rip^2)+5*ril*(21*ril^2-50*ril*rip+32*rip^2)) -45*rik^4+60*rik^3*(3*rip-ril)-6*rik^2*(19*ril^2-50*ril*rip+40*rip^2) +5*ril*(4*rik*(63*ril^2-145*ril*rip+88*rip^2)-3*ril*(63*ril^2-140*ril*rip +80*rip^2)))*AHAT(ej+ek+el) +rij*rik*ril*(105*rij^4-10*rij^3*(19*rik-11*ril+30*rip)+4*rij^2*(9*rik^2 +rik*(155*rip-54*ril)+34*ril^2-85*ril*rip+60*rip^2)+2*rij*(15*rik^3 +9*rik^2*(3*ril-10*rip)-rik*(163*ril^2-420*ril*rip+320*rip^2)+5*ril*(21*ril^2 -50*ril*rip+32*rip^2))-45*rik^4+60*rik^3*(3*rip-ril)-6*rik^2*(19*ril^2 -50*ril*rip+40*rip^2)+20*rik*ril*(63*ril^2-145*ril*rip+88*rip^2)-945*ril^4 +2100*ril^3*rip-1200*ril^2*rip^2)*IHAT(-ei) -15*(7*rij^5-5*rij^4*(3*rik-ril+4*rip)+2*rij^3*(3*rik^2+6*rik*(4*rip-ril) +3*ril^2-8*ril*rip+8*rip^2)+2*rij^2*(rik^3+3*rik^2*(ril-4*rip)-3*rik*(3*ril^2 -8*ril*rip+8*rip^2)+ril*(5*ril^2-12*ril*rip+8*rip^2))+rij*(3*rik^4 +4*rik^3*(ril-4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)-12*rik*ril*(5*ril^2 -12*ril*rip+8*rip^2)+ril^2*(35*ril^2-80*ril*rip+48*rip^2))-3*rik^5 +3*rik^4*(4*rip-ril)-2*rik^3*(3*ril^2-8*ril*rip+8*rip^2)-ril*(6*rik^2*(5*ril^2 -12*ril*rip+8*rip^2)-3*rik*ril*(35*ril^2-80*ril*rip+48*rip^2)+ril^2*(63*ril^2 -140*ril*rip+80*rip^2)))*IHAT(ei) -2*rij*rik*ril*(35*rij^3-rij^2*(61*rik-39*ril+100*rip)+rij*(9*rik^2 +2*rik*(100*rip-37*ril)+49*ril^2-120*ril*rip+80*rip^2)-15*rik^3 +3*rik^2*(20*rip-7*ril)+rik*(399*ril^2-920*ril*rip+560*rip^2)-5*ril*(63*ril^2 -140*ril*rip+80*rip^2))*IHAT(0))/3840 IHAT(ei+3*ej+2*ep)=(768*AHAT(4*ei+ej+ek+el) -96*(21*rij-9*rik-9*ril+20*rip)*AHAT(3*ei+ej+ek+el) +16*(93*rij^2-4*rij*(37*rik+37*ril-85*rip)+63*rik^2+2*rik*(31*ril-70*rip) +63*ril^2-140*ril*rip+80*rip^2)*AHAT(2*ei+ej+ek+el) -4*(15*rij^3-rij^2*(481*rik+481*ril-1180*rip)+rij*(749*rik^2+2*rik*(363*ril -860*rip)+749*ril^2-1720*ril*rip+1040*rip^2)-315*rik^3+7*rik^2*(100*rip -43*ril)-rik*(301*ril^2-680*ril*rip+400*rip^2)-5*ril*(63*ril^2-140*ril*rip +80*rip^2))*AHAT(ei+ej+ek+el) -2*(45*rij^4+30*rij^3*(3*rik+3*ril-10*rip)-4*rij^2*(391*rik^2+rik*(359*ril -955*rip)+391*ril^2-955*ril*rip+660*rip^2)+2*rij*(1155*rik^3+rik^2*(1037*ril -2650*rip)+rik*(1037*ril^2-2460*ril*rip+1600*rip^2)+5*ril*(231*ril^2 -530*ril*rip+320*rip^2))-945*rik^4+420*rik^3*(5*rip-2*ril)-2*rik^2*(407*ril^2 -950*ril*rip+600*rip^2)-5*ril*(4*rik*(42*ril^2-95*ril*rip+56*rip^2)+189*ril^3 -420*ril^2*rip+240*ril*rip^2))*AHAT(ej+ek+el) +rij*rik*ril*(45*rij^4+30*rij^3*(3*rik+3*ril-10*rip)-4*rij^2*(391*rik^2 +rik*(359*ril-955*rip)+391*ril^2-955*ril*rip+660*rip^2)+2*rij*(1155*rik^3 +rik^2*(1037*ril-2650*rip)+rik*(1037*ril^2-2460*ril*rip+1600*rip^2) +5*ril*(231*ril^2-530*ril*rip+320*rip^2))-945*rik^4+420*rik^3*(5*rip-2*ril) -2*rik^2*(407*ril^2-950*ril*rip+600*rip^2)-5*ril*(4*rik*(42*ril^2-95*ril*rip +56*rip^2)+3*ril*(63*ril^2-140*ril*rip+80*rip^2)))*IHAT(-ei)-15*(3*rij^5 +5*rij^4*(rik+ril-4*rip)+10*rij^3*(3*rik^2+2*rik*(ril-4*rip)+3*ril^2 -8*ril*rip+8*rip^2)-30*rij^2*(5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2 -8*ril*rip+8*rip^2)+ril*(5*ril^2-12*ril*rip+8*rip^2))+5*rij*(35*rik^4 +20*rik^3*(ril-4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2 -12*ril*rip+8*rip^2)+ril^2*(35*ril^2-80*ril*rip+48*rip^2))-63*rik^5 +35*rik^4*(4*rip-ril)-10*rik^3*(3*ril^2-8*ril*rip+8*rip^2) -ril*(6*rik^2*(5*ril^2-12*ril*rip+8*rip^2)+rik*ril*(35*ril^2-80*ril*rip +48*rip^2)+63*ril^4-140*ril^3*rip+80*ril^2*rip^2))*IHAT(ei) -2*rij*rik*ril*(15*rij^3-rij^2*(481*rik+481*ril-1180*rip)+rij*(749*rik^2 +2*rik*(363*ril-860*rip)+749*ril^2-1720*ril*rip+1040*rip^2)-315*rik^3 +7*rik^2*(100*rip-43*ril)-rik*(301*ril^2-680*ril*rip+400*rip^2) -5*ril*(63*ril^2-140*ril*rip+80*rip^2))*IHAT(0))/3840 IHAT(2*ei+2*ej+2*ep)=(768*AHAT(4*ei+ej+ek+el) -96*(11*rij-9*rik-9*ril+20*rip)*AHAT(3*ei+ej+ek+el) +16*(3*rij^2-6*rij*(13*rik+13*ril-30*rip)+63*rik^2+2*rik*(31*ril-70*rip) +63*ril^2-140*ril*rip+80*rip^2)*AHAT(2*ei+ej+ek+el) +4*(15*rij^3+3*rij^2*(7*rik+7*ril-20*rip)-rij*(399*rik^2+2*rik*(193*ril -460*rip)+399*ril^2-920*ril*rip+560*rip^2)+315*rik^3+7*rik^2*(43*ril-100*rip) +rik*(301*ril^2-680*ril*rip+400*rip^2)+315*ril^3-700*ril^2*rip +400*ril*rip^2)*AHAT(ei+ej+ek+el) +2*(45*rij^4+60*rij^3*(rik+ril-3*rip)+6*rij^2*(19*rik^2+2*rik*(8*ril-25*rip) +19*ril^2-50*ril*rip+40*rip^2)-4*rij*(315*rik^3+rik^2*(281*ril-725*rip) +rik*(281*ril^2-670*ril*rip+440*rip^2)+5*ril*(63*ril^2-145*ril*rip+88*rip^2)) +945*rik^4+420*rik^3*(2*ril-5*rip)+2*rik^2*(407*ril^2-950*ril*rip+600*rip^2) +20*rik*ril*(42*ril^2-95*ril*rip+56*rip^2)+945*ril^4-2100*ril^3*rip +1200*ril^2*rip^2)*AHAT(ej+ek+el) -rij*rik*ril*(45*rij^4+60*rij^3*(rik+ril-3*rip)+6*rij^2*(19*rik^2+2*rik*(8*ril -25*rip)+19*ril^2-50*ril*rip+40*rip^2)-4*rij*(315*rik^3+rik^2*(281*ril -725*rip)+rik*(281*ril^2-670*ril*rip+440*rip^2)+5*ril*(63*ril^2-145*ril*rip +88*rip^2))+945*rik^4+420*rik^3*(2*ril-5*rip)+2*rik^2*(407*ril^2-950*ril*rip +600*rip^2)+20*rik*ril*(42*ril^2-95*ril*rip+56*rip^2)+15*ril^2*(63*ril^2 -140*ril*rip+80*rip^2))*IHAT(-ei) +15*(3*rij^5+3*rij^4*(rik+ril-4*rip)+2*rij^3*(3*rik^2+2*rik*(ril-4*rip) +3*ril^2-8*ril*rip+8*rip^2)+6*rij^2*(5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2 -8*ril*rip+8*rip^2)+ril*(5*ril^2-12*ril*rip+8*rip^2))-3*rij*(35*rik^4 +20*rik^3*(ril-4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2 -12*ril*rip+8*rip^2)+ril^2*(35*ril^2-80*ril*rip+48*rip^2))+63*rik^5 +35*rik^4*(ril-4*rip)+10*rik^3*(3*ril^2-8*ril*rip+8*rip^2) +6*rik^2*ril*(5*ril^2-12*ril*rip+8*rip^2)+rik*ril^2*(35*ril^2-80*ril*rip +48*rip^2)+63*ril^5-140*ril^4*rip+80*ril^3*rip^2)*IHAT(ei) +2*rij*rik*ril*(15*rij^3+3*rij^2*(7*rik+7*ril-20*rip)-rij*(399*rik^2 +2*rik*(193*ril-460*rip)+399*ril^2-920*ril*rip+560*rip^2)+315*rik^3 +7*rik^2*(43*ril-100*rip)+rik*(301*ril^2-680*ril*rip+400*rip^2)+315*ril^3 -700*ril^2*rip+400*ril*rip^2)*IHAT(0))/3840 IHAT(4*ei+2*ep)=(768*AHAT(4*ei+ej+ek+el) +96*(9*rij+9*rik+9*ril-20*rip)*AHAT(3*ei+ej+ek+el) +16*(63*rij^2+2*rij*(31*rik+31*ril-70*rip)+63*rik^2+2*rik*(31*ril-70*rip) +63*ril^2-140*ril*rip+80*rip^2)*AHAT(2*ei+ej+ek+el)+4*(315*rij^3 +7*rij^2*(43*rik+43*ril-100*rip)+rij*(301*rik^2+2*rik*(147*ril-340*rip) +301*ril^2-680*ril*rip+400*rip^2)+315*rik^3+7*rik^2*(43*ril-100*rip) +rik*(301*ril^2-680*ril*rip+400*rip^2)+315*ril^3-700*ril^2*rip +400*ril*rip^2)*AHAT(ei+ej+ek+el) +2*(945*rij^4+420*rij^3*(2*rik+2*ril-5*rip)+2*rij^2*(407*rik^2+2*rik*(194*ril -475*rip)+407*ril^2-950*ril*rip+600*rip^2)+4*rij*(210*rik^3+rik^2*(194*ril -475*rip)+2*rik*(97*ril^2-225*ril*rip+140*rip^2)+210*ril^3-475*ril^2*rip +280*ril*rip^2)+945*rik^4+420*rik^3*(2*ril-5*rip)+2*rik^2*(407*ril^2 -950*ril*rip+600*rip^2)+20*rik*ril*(42*ril^2-95*ril*rip+56*rip^2)+945*ril^4 -2100*ril^3*rip+1200*ril^2*rip^2)*AHAT(ej+ek+el) -rij*rik*ril*(945*rij^4+420*rij^3*(2*rik+2*ril-5*rip)+2*rij^2*(407*rik^2 +2*rik*(194*ril-475*rip)+407*ril^2-950*ril*rip+600*rip^2)+4*rij*(210*rik^3 +rik^2*(194*ril-475*rip)+2*rik*(97*ril^2-225*ril*rip+140*rip^2) +5*ril*(42*ril^2-95*ril*rip+56*rip^2))+945*rik^4+420*rik^3*(2*ril-5*rip) +2*rik^2*(407*ril^2-950*ril*rip+600*rip^2)+20*rik*ril*(42*ril^2-95*ril*rip +56*rip^2)+15*ril^2*(63*ril^2-140*ril*rip+80*rip^2))*IHAT(-ei)+15*(63*rij^5 +35*rij^4*(rik+ril-4*rip)+10*rij^3*(3*rik^2+2*rik*(ril-4*rip)+3*ril^2 -8*ril*rip+8*rip^2)+6*rij^2*(5*rik^3+3*rik^2*(ril-4*rip)+rik*(3*ril^2 -8*ril*rip+8*rip^2)+5*ril^3-12*ril^2*rip+8*ril*rip^2)+rij*(35*rik^4 +20*rik^3*(ril-4*rip)+6*rik^2*(3*ril^2-8*ril*rip+8*rip^2)+4*rik*ril*(5*ril^2 -12*ril*rip+8*rip^2)+35*ril^4-80*ril^3*rip+48*ril^2*rip^2)+63*rik^5 +35*rik^4*(ril-4*rip)+10*rik^3*(3*ril^2-8*ril*rip+8*rip^2) +6*rik^2*ril*(5*ril^2-12*ril*rip+8*rip^2)+rik*ril^2*(35*ril^2-80*ril*rip +48*rip^2)+63*ril^5-140*ril^4*rip+80*ril^3*rip^2)*IHAT(ei) +2*rij*rik*ril*(315*rij^3+7*rij^2*(43*rik+43*ril-100*rip)+rij*(301*rik^2 +2*rik*(147*ril-340*rip)+301*ril^2-680*ril*rip+400*rip^2)+315*rik^3 +7*rik^2*(43*ril-100*rip)+rik*(301*ril^2-680*ril*rip+400*rip^2)+315*ril^3 -700*ril^2*rip+400*ril*rip^2)*IHAT(0))/3840