InputMode:=Word InputMode:=Word PrecisionDigits:=64 PrecisionDigits:=64 LOAD("c2001.mth") true rt:=[[0,rij,rik,ril,rip],[-rij,0,rjk,rjl,rjp],[-rik,-rjk,0,rkl,rkp],[-ril,-rj~ l,-rkl,0,rlp],[-rip,-rjp,-rkp,-rlp,0]] rt:=[[0,rij,rik,ril,rip],[-rij,0,rjk,rjl,rjp],[-rik,-rjk,0,rkl,rkp],[-ril,-rj~ l,-rkl,0,rlp],[-rip,-rjp,-rkp,-rlp,0]] ei:= ei:= et:=[ei,ej,ek,el,ep] et:=[ei,ej,ek,el,ep] "Now generate a table of reductions of integrals to basic integrals." GENERATE(table,i,n,h):=VECTOR(IAM(m_)=EXPAND(RE179(i,m_,n,h),et),m_,table) GENERATE(table,i,n,h):=VECTOR(IAM(m_)=EXPAND(RE179(i,m_,n,h),et),m_,table) "First set i=1, n=3, and h=3. The values of m are in table1." table1:=[[0,0,0],[-1,0,0],[1,0,0],[-2,0,0],[-1,-1,0],[-1,1,0],[1,1,0],[2,0,0]~ ,[-3,0,0],[-2,-1,0],[-2,1,0],[-1,-1,-1],[-1,-1,1],[-1,1,1],[-1,2,0],[1,1,1],[~ 1,2,0],[3,0,0]] table1:=[[0,0,0],[-1,0,0],[1,0,0],[-2,0,0],[-1,-1,0],[-1,1,0],[1,1,0],[2,0,0]~ ,[-3,0,0],[-2,-1,0],[-2,1,0],[-1,-1,-1],[-1,-1,1],[-1,1,1],[-1,2,0],[1,1,1],[~ 1,2,0],[3,0,0]] "Generate the table for all values of m in table1." GENERATE(table1,1,3,3) [true,true,IHAT(ei)=2*AHAT(ej+ek)+rij*rik*IHAT(-ei),IHAT(-2*ei)=-(2*AHAT(-ei+~ ej+ek)-2*(rij+rik)*IHAT(-ei)+IHAT(0))/(3*rij*rik),IHAT(-ei-ej)=IHAT(-ej)/rij-~ IHAT(-ei)/rij,IHAT(ej-ei)=IHAT(0)-rij*IHAT(-ei),IHAT(ei+ej)=(2*AHAT(ei+ej+ek)~ +2*(2*rik-rij)*AHAT(ej+ek)-rij*rik*((rij-2*rik)*IHAT(-ei)+IHAT(0)))/3,IHAT(2*~ ei)=(2*AHAT(ei+ej+ek)+4*(rij+rik)*AHAT(ej+ek)+rij*rik*(2*(rij+rik)*IHAT(-ei)-~ IHAT(0)))/3,IHAT(-3*ei)=-(6*rij*rik*AHAT(-2*ei+ej+ek)+8*(rij+rik)*AHAT(-ei+ej~ +ek)-(8*rij^2+7*rij*rik+8*rik^2)*IHAT(-ei)+4*(rij+rik)*IHAT(0))/(15*rij^2*rik~ ^2),IHAT(-2*ei-ej)=(2*AHAT(-ei+ej+ek)-(2*rij+5*rik)*IHAT(-ei)+3*rik*IHAT(-ej)~ +IHAT(0))/(3*rij^2*rik),IHAT(ej-2*ei)=(2*AHAT(-ei+ej+ek)+(rik-2*rij)*IHAT(-ei~ )+IHAT(0))/(3*rik),IHAT(-ei-ej-ek)=IHAT(-ei)/(rij*rik)-IHAT(-ej)/(rij*rjk)+IH~ AT(-ek)/(rik*rjk),IHAT(-ei-ej+ek)=rik*IHAT(-ei)/rij-rjk*IHAT(-ej)/rij,IHAT(-e~ i+ej+ek)=2*AHAT(ej+ek)+2*rij*rik*IHAT(-ei)-(rij+rik)*IHAT(0),IHAT(2*ej-ei)=2*~ AHAT(ej+ek)+(rij^2+rij*rik)*IHAT(-ei)-2*rij*IHAT(0),IHAT(ei+ej+ek)=(6*AHAT(2*~ ei+ej+ek)-2*(rij+rik)*AHAT(ei+ej+ek)-4*(rij^2-rij*rik+rik^2)*AHAT(ej+ek)-rij*~ rik*(2*(rij^2-rij*rik+rik^2)*IHAT(-ei)-(rij+rik)*IHAT(0)))/15,IHAT(ei+2*ej)=(~ 6*AHAT(2*ei+ej+ek)+4*(2*rik-3*rij)*AHAT(ei+ej+ek)+2*(3*rij^2-13*rij*rik+8*rik~ ^2)*AHAT(ej+ek)+rij*rik*((3*rij^2-13*rij*rik+8*rik^2)*IHAT(-ei)+2*(3*rij-2*ri~ k)*IHAT(0)))/15,IHAT(3*ei)=(6*AHAT(2*ei+ej+ek)+8*(rij+rik)*AHAT(ei+ej+ek)+2*(~ 8*rij^2+7*rij*rik+8*rik^2)*AHAT(ej+ek)+rij*rik*((8*rij^2+7*rij*rik+8*rik^2)*I~ HAT(-ei)-4*(rij+rik)*IHAT(0)))/15] "set i=1, n=4, and h=3. The values of m are in table2." table2:=[[0,0,0,-1],[-1,0,0,-1],[1,0,0,-1],[-2,0,0,-1],[-1,-1,0,-1],[-1,1,0,-~ 1],[1,1,0,-1],[2,0,0,-1],[-3,0,0,-1],[-2,-1,0,-1],[-2,1,0,-1],[-1,-1,-1,-1],[~ -1,-1,1,-1],[-1,1,1,-1],[-1,2,0,-1],[1,1,1,-1],[1,2,0,-1],[3,0,0,-1],[0,0,0,1~ ],[-1,0,0,1],[1,0,0,1],[-2,0,0,1],[-1,-1,0,1],[-1,1,0,1],[1,1,0,1],[2,0,0,1],~ [-3,0,0,1],[-2,-1,0,1],[-2,1,0,1],[-1,-1,-1,1],[-1,-1,1,1],[-1,1,1,1],[-1,2,0~ ,1],[1,1,1,1],[1,2,0,1],[3,0,0,1],[0,0,0,-2],[-1,0,0,-2],[1,0,0,-2],[-2,0,0,-~ 2],[-1,-1,0,-2],[-1,1,0,-2],[1,1,0,-2],[2,0,0,-2],[-3,0,0,-2],[-2,-1,0,-2],[-~ 2,1,0,-2],[-1,-1,-1,-2],[-1,-1,1,-2],[-1,1,1,-2],[-1,2,0,-2],[1,1,1,-2],[1,2,~ 0,-2],[3,0,0,-2],[0,0,0,2],[-1,0,0,2],[1,0,0,2],[-2,0,0,2],[-1,-1,0,2],[-1,1,~ 0,2],[1,1,0,2],[2,0,0,2],[-3,0,0,2],[-2,-1,0,2],[-2,1,0,2],[-1,-1,-1,2],[-1,-~ 1,1,2],[-1,1,1,2],[-1,2,0,2],[1,1,1,2],[1,2,0,2],[3,0,0,2]] table2:=[[0,0,0,-1],[-1,0,0,-1],[1,0,0,-1],[-2,0,0,-1],[-1,-1,0,-1],[-1,1,0,-~ 1],[1,1,0,-1],[2,0,0,-1],[-3,0,0,-1],[-2,-1,0,-1],[-2,1,0,-1],[-1,-1,-1,-1],[~ -1,-1,1,-1],[-1,1,1,-1],[-1,2,0,-1],[1,1,1,-1],[1,2,0,-1],[3,0,0,-1],[0,0,0,1~ ],[-1,0,0,1],[1,0,0,1],[-2,0,0,1],[-1,-1,0,1],[-1,1,0,1],[1,1,0,1],[2,0,0,1],~ [-3,0,0,1],[-2,-1,0,1],[-2,1,0,1],[-1,-1,-1,1],[-1,-1,1,1],[-1,1,1,1],[-1,2,0~ ,1],[1,1,1,1],[1,2,0,1],[3,0,0,1],[0,0,0,-2],[-1,0,0,-2],[1,0,0,-2],[-2,0,0,-~ 2],[-1,-1,0,-2],[-1,1,0,-2],[1,1,0,-2],[2,0,0,-2],[-3,0,0,-2],[-2,-1,0,-2],[-~ 2,1,0,-2],[-1,-1,-1,-2],[-1,-1,1,-2],[-1,1,1,-2],[-1,2,0,-2],[1,1,1,-2],[1,2,~ 0,-2],[3,0,0,-2],[0,0,0,2],[-1,0,0,2],[1,0,0,2],[-2,0,0,2],[-1,-1,0,2],[-1,1,~ 0,2],[1,1,0,2],[2,0,0,2],[-3,0,0,2],[-2,-1,0,2],[-2,1,0,2],[-1,-1,-1,2],[-1,-~ 1,1,2],[-1,1,1,2],[-1,2,0,2],[1,1,1,2],[1,2,0,2],[3,0,0,2]] GENERATE(table2,1,4,3) [true,IHAT(-ei-el)=IHAT(-el)/ril-IHAT(-ei)/ril,IHAT(ei-el)=ril*IHAT(-el)+IHAT~ (0),IHAT(-2*ei-el)=(2*ril*AHAT(-ei+ej+ek)-(rij*(3*rik+2*ril)+2*rik*ril)*IHAT(~ -ei)+3*rij*rik*IHAT(-el)+ril*IHAT(0))/(3*rij*rik*ril^2),IHAT(-ei-ej-el)=IHAT(~ -ei)/(rij*ril)-IHAT(-ej)/(rij*rjl)+IHAT(-el)/(ril*rjl),IHAT(-ei+ej-el)=rij*IH~ AT(-ei)/ril+rjl*IHAT(-el)/ril,IHAT(ei+ej-el)=2*AHAT(ej+ek)+rij*rik*IHAT(-ei)+~ ril*rjl*IHAT(-el)+(ril-rij)*IHAT(0),IHAT(2*ei-el)=2*AHAT(ej+ek)+rij*rik*IHAT(~ -ei)+ril^2*IHAT(-el)+ril*IHAT(0),IHAT(-3*ei-el)=(6*rij*rik*ril^2*AHAT(-2*ei+e~ j+ek)+2*ril*(rij*(5*rik+4*ril)+4*rik*ril)*AHAT(-ei+ej+ek)-(rij^2*(15*rik^2+10~ *rik*ril+8*ril^2)+rij*rik*ril*(10*rik+7*ril)+8*rik^2*ril^2)*IHAT(-ei)+15*rij^~ 2*rik^2*IHAT(-el)+ril*(rij*(5*rik+4*ril)+4*rik*ril)*IHAT(0))/(15*rij^2*rik^2*~ ril^3),IHAT(-2*ei-ej-el)=-(2*ril*rjl*AHAT(-ei+ej+ek)-rjl*(rij*(3*rik+2*ril)+5~ *rik*ril)*IHAT(-ei)+3*rik*ril^2*IHAT(-ej)-3*rij^2*rik*IHAT(-el)+ril*rjl*IHAT(~ 0))/(3*rij^2*rik*ril^2*rjl),IHAT(-2*ei+ej-el)=-(2*ril*AHAT(-ei+ej+ek)+(rik*ri~ l-rij*(3*rik+2*ril))*IHAT(-ei)-3*rik*rjl*IHAT(-el)+ril*IHAT(0))/(3*rik*ril^2)~ ,IHAT(-ei-ej-ek-el)=-IHAT(-ei)/(rij*rik*ril)+IHAT(-ej)/(rij*rjk*rjl)-IHAT(-ek~ )/(rik*rjk*rkl)+IHAT(-el)/(ril*rjl*rkl),IHAT(-ei-ej+ek-el)=-rik*IHAT(-ei)/(ri~ j*ril)+rjk*IHAT(-ej)/(rij*rjl)+rkl*IHAT(-el)/(ril*rjl),IHAT(-ei+ej+ek-el)=-ri~ j*rik*IHAT(-ei)/ril+rjl*rkl*IHAT(-el)/ril+IHAT(0),IHAT(-ei+2*ej-el)=-rij^2*IH~ AT(-ei)/ril+rjl^2*IHAT(-el)/ril+IHAT(0),IHAT(ei+ej+ek-el)=(2*AHAT(ei+ej+ek)-2~ *(rij+rik-3*ril)*AHAT(ej+ek)-rij*rik*(rij+rik-3*ril)*IHAT(-ei)+3*ril*rjl*rkl*~ IHAT(-el)+(rij*(2*rik-3*ril)-3*ril*(rik-ril))*IHAT(0))/3,IHAT(ei+2*ej-el)=(2*~ AHAT(ei+ej+ek)-2*(4*rij-2*rik-3*ril)*AHAT(ej+ek)-rij*rik*(4*rij-2*rik-3*ril)*~ IHAT(-ei)+3*ril*rjl^2*IHAT(-el)+(3*rij^2-rij*(rik+6*ril)+3*ril^2)*IHAT(0))/3,~ IHAT(3*ei-el)=(2*AHAT(ei+ej+ek)+2*(2*rij+2*rik+3*ril)*AHAT(ej+ek)+rij*rik*(2*~ rij+2*rik+3*ril)*IHAT(-ei)+3*ril^3*IHAT(-el)+(3*ril^2-rij*rik)*IHAT(0))/3,IHA~ T(el)=2*AHAT(ej+ek)+rij*rik*IHAT(-ei)-ril*IHAT(0),IHAT(el-ei)=IHAT(0)-ril*IHA~ T(-ei),IHAT(ei+el)=(2*AHAT(ei+ej+ek)+2*(2*rij+2*rik-3*ril)*AHAT(ej+ek)+rij*ri~ k*((2*rij+2*rik-3*ril)*IHAT(-ei)-IHAT(0)))/3,IHAT(el-2*ei)=(2*ril*AHAT(-ei+ej~ +ek)+(rij*(3*rik-2*ril)-2*rik*ril)*IHAT(-ei)+ril*IHAT(0))/(3*rij*rik),IHAT(-e~ i-ej+el)=ril*IHAT(-ei)/rij-rjl*IHAT(-ej)/rij,IHAT(-ei+ej+el)=2*AHAT(ej+ek)+ri~ j*(rik+ril)*IHAT(-ei)-(rij+ril)*IHAT(0),IHAT(ei+ej+el)=(6*AHAT(2*ei+ej+ek)-2*~ (rij-4*rik+5*ril)*AHAT(ei+ej+ek)-2*(2*rij^2+rij*(3*rik-5*ril)-2*rik*(4*rik-5*~ ril))*AHAT(ej+ek)-rij*rik*((2*rij^2+rij*(3*rik-5*ril)-2*rik*(4*rik-5*ril))*IH~ AT(-ei)-(rij-4*rik+5*ril)*IHAT(0)))/15,IHAT(2*ei+el)=(6*AHAT(2*ei+ej+ek)+2*(4~ *rij+4*rik-5*ril)*AHAT(ei+ej+ek)+2*(8*rij^2+rij*(7*rik-10*ril)+8*rik^2-10*rik~ *ril)*AHAT(ej+ek)+rij*rik*((8*rij^2+rij*(7*rik-10*ril)+8*rik^2-10*rik*ril)*IH~ AT(-ei)-(4*rij+4*rik-5*ril)*IHAT(0)))/15,IHAT(el-3*ei)=(6*rij*rik*ril*AHAT(-2~ *ei+ej+ek)+2*(4*rik*ril-rij*(5*rik-4*ril))*AHAT(-ei+ej+ek)+(2*rij^2*(5*rik-4*~ ril)+rij*rik*(10*rik-7*ril)-8*rik^2*ril)*IHAT(-ei)+(4*rik*ril-rij*(5*rik-4*ri~ l))*IHAT(0))/(15*rij^2*rik^2),IHAT(-2*ei-ej+el)=-(2*ril*AHAT(-ei+ej+ek)+(rij*~ (3*rik-2*ril)-5*rik*ril)*IHAT(-ei)+3*rik*rjl*IHAT(-ej)+ril*IHAT(0))/(3*rij^2*~ rik),IHAT(-2*ei+ej+el)=-(2*ril*AHAT(-ei+ej+ek)+(rij*(3*rik-2*ril)+rik*ril)*IH~ AT(-ei)+(ril-3*rik)*IHAT(0))/(3*rik),IHAT(-ei-ej-ek+el)=-ril*IHAT(-ei)/(rij*r~ ik)+rjl*IHAT(-ej)/(rij*rjk)-rkl*IHAT(-ek)/(rik*rjk),IHAT(-ei-ej+ek+el)=-rik*r~ il*IHAT(-ei)/rij+rjk*rjl*IHAT(-ej)/rij+IHAT(0),IHAT(-ei+ej+ek+el)=(2*AHAT(ei+~ ej+ek)-2*(rij+rik+3*ril)*AHAT(ej+ek)-rij*rik*(rij+rik+6*ril)*IHAT(-ei)+(rij*(~ 2*rik+3*ril)+3*rik*ril)*IHAT(0))/3,IHAT(-ei+2*ej+el)=(2*AHAT(ei+ej+ek)-2*(4*r~ ij-2*rik+3*ril)*AHAT(ej+ek)-rij*((rij*(4*rik+3*ril)-rik*(2*rik-3*ril))*IHAT(-~ ei)-(3*rij-rik+6*ril)*IHAT(0)))/3,IHAT(ei+ej+ek+el)=(30*AHAT(3*ei+ej+ek)-6*(r~ ij+rik+7*ril)*AHAT(2*ei+ej+ek)-2*(4*rij^2-rij*(2*rik+7*ril)+rik*(4*rik-7*ril)~ )*AHAT(ei+ej+ek)-2*(8*rij^3-rij^2*(5*rik+14*ril)+rij*rik*(14*ril-5*rik)+2*rik~ ^2*(4*rik-7*ril))*AHAT(ej+ek)-rij*rik*((8*rij^3-rij^2*(5*rik+14*ril)+rij*rik*~ (14*ril-5*rik)+2*rik^2*(4*rik-7*ril))*IHAT(-ei)-(4*rij^2-rij*(2*rik+7*ril)+ri~ k*(4*rik-7*ril))*IHAT(0)))/105,IHAT(ei+2*ej+el)=(30*AHAT(3*ei+ej+ek)-6*(8*rij~ -6*rik+7*ril)*AHAT(2*ei+ej+ek)+2*(3*rij^2+3*rij*(14*ril-11*rik)+4*rik*(6*rik-~ 7*ril))*AHAT(ei+ej+ek)+2*(6*rij^3+3*rij^2*(4*rik-7*ril)+rij*rik*(91*ril-72*ri~ k)+8*rik^2*(6*rik-7*ril))*AHAT(ej+ek)+rij*rik*((6*rij^3+3*rij^2*(4*rik-7*ril)~ +rij*rik*(91*ril-72*rik)+8*rik^2*(6*rik-7*ril))*IHAT(-ei)-(3*rij^2+3*rij*(14*~ ril-11*rik)+4*rik*(6*rik-7*ril))*IHAT(0)))/105,IHAT(3*ei+el)=(30*AHAT(3*ei+ej~ +ek)+6*(6*rij+6*rik-7*ril)*AHAT(2*ei+ej+ek)+2*(24*rij^2+rij*(23*rik-28*ril)+2~ 4*rik^2-28*rik*ril)*AHAT(ei+ej+ek)+2*(48*rij^3+8*rij^2*(5*rik-7*ril)+rij*rik*~ (40*rik-49*ril)+48*rik^3-56*rik^2*ril)*AHAT(ej+ek)+rij*rik*((48*rij^3+8*rij^2~ *(5*rik-7*ril)+rij*rik*(40*rik-49*ril)+48*rik^3-56*rik^2*ril)*IHAT(-ei)-(24*r~ ij^2+rij*(23*rik-28*ril)+4*rik*(6*rik-7*ril))*IHAT(0)))/105,IHAT(-2*el)=-(2*A~ HAT(ei+ej+ek-el)-2*AHAT(ej+ek)-rij*rik*IHAT(-ei)+(ril*(rjl+rkl)+rjl*rkl)*IHAT~ (-el)+ril*IHAT(0))/(2*ril*rjl*rkl),IHAT(-ei-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHA~ T(ej+ek)-(rij*rik+2*rjl*rkl)*IHAT(-ei)+(ril*(rjl+rkl)+3*rjl*rkl)*IHAT(-el)+ri~ l*IHAT(0))/(2*ril^2*rjl*rkl),IHAT(ei-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek~ )-rij*rik*IHAT(-ei)+(ril*(rjl+rkl)-rjl*rkl)*IHAT(-el)+ril*IHAT(0))/(2*rjl*rkl~ ),IHAT(-2*ei-2*el)=-(4*ril*rjl*rkl*AHAT(-ei+ej+ek)+6*rij*rik*AHAT(ei+ej+ek-el~ )-6*rij*rik*AHAT(ej+ek)-(3*rij^2*rik^2+4*rij*rjl*rkl*(3*rik+ril)+4*rik*ril*rj~ l*rkl)*IHAT(-ei)+3*rij*rik*(ril*(rjl+rkl)+5*rjl*rkl)*IHAT(-el)+ril*(3*rij*rik~ +2*rjl*rkl)*IHAT(0))/(6*rij*rik*ril^3*rjl*rkl),IHAT(-ei-ej-2*el)=-(2*rij*AHAT~ (ei+ej+ek-el)-2*rij*AHAT(ej+ek)+(2*rjl^2*rkl-rij^2*rik)*IHAT(-ei)-2*ril^2*rkl~ *IHAT(-ej)+rij*((ril*(rjl+3*rkl)+3*rjl*rkl)*IHAT(-el)+ril*IHAT(0)))/(2*rij*ri~ l^2*rjl^2*rkl),IHAT(-ei+ej-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek)+rij*(2*r~ kl-rik)*IHAT(-ei)+(ril*(rjl-rkl)+3*rjl*rkl)*IHAT(-el)+ril*IHAT(0))/(2*ril^2*r~ kl),IHAT(ei+ej-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek)-rij*rik*IHAT(-ei)+(r~ il*(rjl-rkl)-rjl*rkl)*IHAT(-el)+(ril-2*rkl)*IHAT(0))/(2*rkl),IHAT(2*ei-2*el)=~ -(2*ril*AHAT(ei+ej+ek-el)-2*ril*AHAT(ej+ek)-rij*rik*ril*IHAT(-ei)+ril*(ril*(r~ jl+rkl)-3*rjl*rkl)*IHAT(-el)+(ril^2-2*rjl*rkl)*IHAT(0))/(2*rjl*rkl),IHAT(-3*e~ i-2*el)=-(12*rij*rik*ril^2*rjl*rkl*AHAT(-2*ei+ej+ek)+8*ril*rjl*rkl*(rij*(5*ri~ k+2*ril)+2*rik*ril)*AHAT(-ei+ej+ek)+30*rij^2*rik^2*AHAT(ei+ej+ek-el)-30*rij^2~ *rik^2*AHAT(ej+ek)-(15*rij^3*rik^3+2*rij^2*rjl*rkl*(45*rik^2+20*rik*ril+8*ril~ ^2)+2*rij*rik*ril*rjl*rkl*(20*rik+7*ril)+16*rik^2*ril^2*rjl*rkl)*IHAT(-ei)+15~ *rij^2*rik^2*(ril*(rjl+rkl)+7*rjl*rkl)*IHAT(-el)+ril*(15*rij^2*rik^2+4*rij*rj~ l*rkl*(5*rik+2*ril)+8*rik*ril*rjl*rkl)*IHAT(0))/(30*rij^2*rik^2*ril^4*rjl*rkl~ ),IHAT(-2*ei-ej-2*el)=(4*ril*rjl^2*rkl*AHAT(-ei+ej+ek)-6*rij^2*rik*AHAT(ei+ej~ +ek-el)+6*rij^2*rik*AHAT(ej+ek)+(3*rij^3*rik^2-4*rij*rjl^2*rkl*(3*rik+ril)-10~ *rik*ril*rjl^2*rkl)*IHAT(-ei)+6*rik*ril^3*rkl*IHAT(-ej)-3*rij^2*rik*(ril*(rjl~ +3*rkl)+5*rjl*rkl)*IHAT(-el)+ril*(2*rjl^2*rkl-3*rij^2*rik)*IHAT(0))/(6*rij^2*~ rik*ril^3*rjl^2*rkl),IHAT(-2*ei+ej-2*el)=(4*ril*rkl*AHAT(-ei+ej+ek)-6*rik*AHA~ T(ei+ej+ek-el)+6*rik*AHAT(ej+ek)+(rij*(3*rik^2-12*rik*rkl-4*ril*rkl)+2*rik*ri~ l*rkl)*IHAT(-ei)-3*rik*(ril*(rjl-rkl)+5*rjl*rkl)*IHAT(-el)+ril*(2*rkl-3*rik)*~ IHAT(0))/(6*rik*ril^3*rkl),IHAT(-ei-ej-ek-2*el)=-(2*rij*rik*rjk*AHAT(ei+ej+ek~ -el)-2*rij*rik*rjk*AHAT(ej+ek)-rjk*(rij^2*rik^2+2*rjl^2*rkl^2)*IHAT(-ei)+2*ri~ k*ril^2*rkl^2*IHAT(-ej)-rij*(2*ril^2*rjl^2*IHAT(-ek)-rik*rjk*(3*(ril*(rjl+rkl~ )+rjl*rkl)*IHAT(-el)+ril*IHAT(0))))/(2*rij*rik*ril^2*rjk*rjl^2*rkl^2),IHAT(-e~ i-ej+ek-2*el)=-(2*rij*AHAT(ei+ej+ek-el)-2*rij*AHAT(ej+ek)-rik*(rij^2+2*rjl^2)~ *IHAT(-ei)+2*ril^2*rjk*IHAT(-ej)-rij*((ril*(rjl-3*rkl)-3*rjl*rkl)*IHAT(-el)-r~ il*IHAT(0)))/(2*rij*ril^2*rjl^2),IHAT(-ei+ej+ek-2*el)=-(2*AHAT(ei+ej+ek-el)-2~ *AHAT(ej+ek)-3*rij*rik*IHAT(-ei)+(3*rjl*rkl-ril*(rjl+rkl))*IHAT(-el)+ril*IHAT~ (0))/(2*ril^2),IHAT(-ei+2*ej-2*el)=-(2*rjl*AHAT(ei+ej+ek-el)-2*rjl*AHAT(ej+ek~ )-rij*(2*rij*rkl+rik*rjl)*IHAT(-ei)+rjl*((ril*(rjl-3*rkl)+3*rjl*rkl)*IHAT(-el~ )+ril*IHAT(0)))/(2*ril^2*rkl),IHAT(ei+ej+ek-2*el)=-(2*AHAT(ei+ej+ek-el)-6*AHA~ T(ej+ek)-3*rij*rik*IHAT(-ei)-(ril*(rjl+rkl)+rjl*rkl)*IHAT(-el)+(2*rij+2*rik-3~ *ril)*IHAT(0))/2,IHAT(ei+2*ej-2*el)=-(2*rjl*AHAT(ei+ej+ek-el)-2*(rjl+2*rkl)*A~ HAT(ej+ek)-rij*rik*(rjl+2*rkl)*IHAT(-ei)+rjl*(ril*(rjl-3*rkl)-rjl*rkl)*IHAT(-~ el)+(4*rij*rkl+ril*(rjl-4*rkl))*IHAT(0))/(2*rkl),IHAT(3*ei-2*el)=-(2*ril^2*AH~ AT(ei+ej+ek-el)-2*(ril^2+2*rjl*rkl)*AHAT(ej+ek)-rij*rik*(ril^2+2*rjl*rkl)*IHA~ T(-ei)+ril*(ril*(ril*(rjl+rkl)-5*rjl*rkl)*IHAT(-el)+(ril^2-4*rjl*rkl)*IHAT(0)~ ))/(2*rjl*rkl),IHAT(2*el)=(2*AHAT(ei+ej+ek)+4*(rij+rik-3*ril)*AHAT(ej+ek)+2*r~ ij*rik*(rij+rik-3*ril)*IHAT(-ei)+(3*ril^2-rij*rik)*IHAT(0))/3,IHAT(2*el-ei)=2~ *AHAT(ej+ek)+(rij*rik+ril^2)*IHAT(-ei)-2*ril*IHAT(0),IHAT(ei+2*el)=(6*AHAT(2*~ ei+ej+ek)+4*(2*rij+2*rik-5*ril)*AHAT(ei+ej+ek)+2*(8*rij^2+rij*(7*rik-20*ril)+~ 8*rik^2-20*rik*ril+15*ril^2)*AHAT(ej+ek)+rij*rik*((8*rij^2+rij*(7*rik-20*ril)~ +8*rik^2-20*rik*ril+15*ril^2)*IHAT(-ei)-2*(2*rij+2*rik-5*ril)*IHAT(0)))/15,IH~ AT(2*el-2*ei)=-(2*ril^2*AHAT(-ei+ej+ek)+2*ril*(rij*(3*rik-ril)-rik*ril)*IHAT(~ -ei)+(ril^2-3*rij*rik)*IHAT(0))/(3*rij*rik),IHAT(-ei-ej+2*el)=-ril^2*IHAT(-ei~ )/rij+rjl^2*IHAT(-ej)/rij+IHAT(0),IHAT(-ei+ej+2*el)=(2*AHAT(ei+ej+ek)+2*(2*(r~ ik-3*ril)-rij)*AHAT(ej+ek)-rij*(rij*rik-2*rik^2+3*ril*(2*rik+ril))*IHAT(-ei)+~ (3*ril^2-rij*(rik-6*ril))*IHAT(0))/3,IHAT(ei+ej+2*el)=(30*AHAT(3*ei+ej+ek)+6*~ (2*(3*rik-7*ril)-rij)*AHAT(2*ei+ej+ek)-2*(4*rij^2+rij*(5*rik-14*ril)-24*rik^2~ +7*ril*(8*rik-5*ril))*AHAT(ei+ej+ek)-2*(8*rij^3+rij^2*(9*rik-28*ril)+rij*(16*~ rik^2-42*rik*ril+35*ril^2)-2*rik*(24*rik^2-56*rik*ril+35*ril^2))*AHAT(ej+ek)-~ rij*rik*((8*rij^3+rij^2*(9*rik-28*ril)+rij*(16*rik^2-42*rik*ril+35*ril^2)-2*r~ ik*(24*rik^2-56*rik*ril+35*ril^2))*IHAT(-ei)-(4*rij^2+rij*(5*rik-14*ril)-24*r~ ik^2+56*rik*ril-35*ril^2)*IHAT(0)))/105,IHAT(2*ei+2*el)=(30*AHAT(3*ei+ej+ek)+~ 12*(3*rij+3*rik-7*ril)*AHAT(2*ei+ej+ek)+2*(24*rij^2+rij*(23*rik-56*ril)+24*ri~ k^2-56*rik*ril+35*ril^2)*AHAT(ei+ej+ek)+4*(24*rij^3+4*rij^2*(5*rik-14*ril)+ri~ j*(20*rik^2-49*rik*ril+35*ril^2)+24*rik^3-56*rik^2*ril+35*rik*ril^2)*AHAT(ej+~ ek)+rij*rik*(2*(24*rij^3+4*rij^2*(5*rik-14*ril)+rij*(20*rik^2-49*rik*ril+35*r~ il^2)+24*rik^3-56*rik^2*ril+35*rik*ril^2)*IHAT(-ei)-(24*rij^2+rij*(23*rik-56*~ ril)+24*rik^2-56*rik*ril+35*ril^2)*IHAT(0)))/105,IHAT(2*el-3*ei)=-(6*rij*rik*~ ril^2*AHAT(-2*ei+ej+ek)+4*ril*(2*rik*ril-rij*(5*rik-2*ril))*AHAT(-ei+ej+ek)-(~ rij^2*(15*rik^2-20*rik*ril+8*ril^2)+rij*rik*ril*(7*ril-20*rik)+8*rik^2*ril^2)~ *IHAT(-ei)+2*ril*(2*rik*ril-rij*(5*rik-2*ril))*IHAT(0))/(15*rij^2*rik^2),IHAT~ (-2*ei-ej+2*el)=(2*ril^2*AHAT(-ei+ej+ek)+ril*(2*rij*(3*rik-ril)-5*rik*ril)*IH~ AT(-ei)+3*rik*rjl^2*IHAT(-ej)+ril^2*IHAT(0))/(3*rij^2*rik),IHAT(-2*ei+ej+2*el~ )=(2*ril^2*AHAT(-ei+ej+ek)+6*rik*AHAT(ej+ek)+(rij*(3*rik^2+6*rik*ril-2*ril^2)~ +rik*ril^2)*IHAT(-ei)-(3*rij*rik+ril*(6*rik-ril))*IHAT(0))/(3*rik),IHAT(-ei-e~ j-ek+2*el)=ril^2*IHAT(-ei)/(rij*rik)-rjl^2*IHAT(-ej)/(rij*rjk)+rkl^2*IHAT(-ek~ )/(rik*rjk),IHAT(-ei-ej+ek+2*el)=2*AHAT(ej+ek)+(rij*rik+rik*ril^2/rij)*IHAT(-~ ei)-rjk*rjl^2*IHAT(-ej)/rij+(rij-rik-2*ril)*IHAT(0),IHAT(-ei+ej+ek+2*el)=(6*A~ HAT(2*ei+ej+ek)-2*(rij+rik+10*ril)*AHAT(ei+ej+ek)-2*(2*rij^2-2*rij*(rik+5*ril~ )+2*rik^2-10*rik*ril-15*ril^2)*AHAT(ej+ek)-2*rij*rik*(rij^2-rij*(rik+5*ril)+r~ ik^2-5*rik*ril-15*ril^2)*IHAT(-ei)+(rij^2*rik+rij*(rik^2-20*rik*ril-15*ril^2)~ -15*rik*ril^2)*IHAT(0))/15,IHAT(-ei+2*ej+2*el)=(6*AHAT(2*ei+ej+ek)-4*(3*rij-2~ *rik+5*ril)*AHAT(ei+ej+ek)+2*(3*rij^2+rij*(40*ril-13*rik)+8*rik^2-20*rik*ril+~ 15*ril^2)*AHAT(ej+ek)+rij*((3*rij^2*rik-rij*(13*rik^2-40*rik*ril-15*ril^2)+ri~ k*(8*rik^2-20*rik*ril+15*ril^2))*IHAT(-ei)+2*(3*rij*(rik-5*ril)-2*rik^2+5*rik~ *ril-15*ril^2)*IHAT(0)))/15,IHAT(ei+ej+ek+2*el)=(70*AHAT(4*ei+ej+ek)-10*(rij+~ rik+18*ril)*AHAT(3*ei+ej+ek)-2*(6*rij^2-2*rij*(rik+9*ril)+3*(2*rik^2-6*rik*ri~ l-21*ril^2))*AHAT(2*ei+ej+ek)-2*(8*rij^3-3*rij^2*(rik+8*ril)-3*rij*(rik^2-4*r~ ik*ril-7*ril^2)+rik*(8*rik^2-24*rik*ril+21*ril^2))*AHAT(ei+ej+ek)-4*(8*rij^4-~ 4*rij^3*(rik+6*ril)-3*rij^2*(rik^2-5*rik*ril-7*ril^2)-rij*rik*(4*rik^2-15*rik~ *ril+21*ril^2)+rik^2*(8*rik^2-24*rik*ril+21*ril^2))*AHAT(ej+ek)-rij*rik*(2*(8~ *rij^4-4*rij^3*(rik+6*ril)-3*rij^2*(rik^2-5*rik*ril-7*ril^2)-rij*rik*(4*rik^2~ -15*rik*ril+21*ril^2)+rik^2*(8*rik^2-24*rik*ril+21*ril^2))*IHAT(-ei)-(8*rij^3~ -3*rij^2*(rik+8*ril)-3*rij*(rik^2-4*rik*ril-7*ril^2)+rik*(8*rik^2-24*rik*ril+~ 21*ril^2))*IHAT(0)))/315,IHAT(ei+2*ej+2*el)=(70*AHAT(4*ei+ej+ek)-20*(5*rij-4*~ rik+9*ril)*AHAT(3*ei+ej+ek)+2*(3*rij^2+rij*(144*ril-61*rik)+3*(16*rik^2-36*ri~ k*ril+21*ril^2))*AHAT(2*ei+ej+ek)+4*(2*rij^3+3*rij^2*(rik-3*ril)-3*rij*(14*ri~ k^2-33*rik*ril+21*ril^2)+2*rik*(16*rik^2-36*rik*ril+21*ril^2))*AHAT(ei+ej+ek)~ +2*(8*rij^4+rij^3*(11*rik-36*ril)+9*rij^2*(3*rik^2-8*rik*ril+7*ril^2)-rij*rik~ *(184*rik^2-432*rik*ril+273*ril^2)+8*rik^2*(16*rik^2-36*rik*ril+21*ril^2))*AH~ AT(ej+ek)+rij*rik*((8*rij^4+rij^3*(11*rik-36*ril)+9*rij^2*(3*rik^2-8*rik*ril+~ 7*ril^2)-rij*rik*(184*rik^2-432*rik*ril+273*ril^2)+8*rik^2*(16*rik^2-36*rik*r~ il+21*ril^2))*IHAT(-ei)-2*(2*rij^3+3*rij^2*(rik-3*ril)-3*rij*(14*rik^2-33*rik~ *ril+21*ril^2)+2*rik*(16*rik^2-36*rik*ril+21*ril^2))*IHAT(0)))/315,IHAT(3*ei+~ 2*el)=(70*AHAT(4*ei+ej+ek)+20*(4*rij+4*rik-9*ril)*AHAT(3*ei+ej+ek)+2*(48*rij^~ 2+rij*(47*rik-108*ril)+48*rik^2-108*rik*ril+63*ril^2)*AHAT(2*ei+ej+ek)+4*(32*~ rij^3+6*rij^2*(5*rik-12*ril)+3*rij*(10*rik^2-23*rik*ril+14*ril^2)+32*rik^3-72~ *rik^2*ril+42*rik*ril^2)*AHAT(ei+ej+ek)+2*(128*rij^4+8*rij^3*(13*rik-36*ril)+~ 3*rij^2*(33*rik^2-80*rik*ril+56*ril^2)+rij*rik*(104*rik^2-240*rik*ril+147*ril~ ^2)+128*rik^4-288*rik^3*ril+168*rik^2*ril^2)*AHAT(ej+ek)+rij*rik*((128*rij^4+~ 8*rij^3*(13*rik-36*ril)+3*rij^2*(33*rik^2-80*rik*ril+56*ril^2)+rij*rik*(104*r~ ik^2-240*rik*ril+147*ril^2)+128*rik^4-288*rik^3*ril+168*rik^2*ril^2)*IHAT(-ei~ )-2*(32*rij^3+6*rij^2*(5*rik-12*ril)+3*rij*(10*rik^2-23*rik*ril+14*ril^2)+2*r~ ik*(16*rik^2-36*rik*ril+21*ril^2))*IHAT(0)))/315] "set i=1, n=4, and h=4. The values of m are in table3." table3:=[[0,0,0,0],[-1,0,0,0],[1,0,0,0],[-2,0,0,0],[-1,-1,0,0],[-1,1,0,0],[1,~ 1,0,0],[2,0,0,0],[-3,0,0,0],[-2,-1,0,0],[-2,1,0,0],[-1,-1,-1,0],[-1,-1,1,0],[~ -1,1,1,0],[-1,2,0,0],[1,1,1,0],[1,2,0,0],[3,0,0,0],[-4,0,0,0],[-3,-1,0,0],[-3~ ,1,0,0],[-2,-2,0,0],[-2,-1,-1,0],[-2,-1,1,0],[-2,1,1,0],[-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,2,0],[1,3,0,0],[2,2,0,~ 0],[4,0,0,0]] table3:=[[0,0,0,0],[-1,0,0,0],[1,0,0,0],[-2,0,0,0],[-1,-1,0,0],[-1,1,0,0],[1,~ 1,0,0],[2,0,0,0],[-3,0,0,0],[-2,-1,0,0],[-2,1,0,0],[-1,-1,-1,0],[-1,-1,1,0],[~ -1,1,1,0],[-1,2,0,0],[1,1,1,0],[1,2,0,0],[3,0,0,0],[-4,0,0,0],[-3,-1,0,0],[-3~ ,1,0,0],[-2,-2,0,0],[-2,-1,-1,0],[-2,-1,1,0],[-2,1,1,0],[-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,2,0],[1,3,0,0],[2,2,0,~ 0],[4,0,0,0]] GENERATE(table3,1,4,4) [true,true,true,IHAT(-2*ei)=(2*AHAT(-ei+ej+ek+el)+2*(rij*(rik+ril)+rik*ril)*I~ HAT(-ei)-(rij+rik+ril)*IHAT(0))/(3*rij*rik*ril),IHAT(-ei-ej)=IHAT(-ej)/rij-IH~ AT(-ei)/rij,IHAT(ej-ei)=IHAT(0)-rij*IHAT(-ei),IHAT(ei+ej)=AHAT(ej+ek+el)-(rij~ *rik*ril*IHAT(-ei)+(rij-rik-ril)*IHAT(ei))/2,IHAT(2*ei)=AHAT(ej+ek+el)-(rij*r~ ik*ril*IHAT(-ei)-(rij+rik+ril)*IHAT(ei))/2,IHAT(-3*ei)=(6*rij*rik*ril*AHAT(-2~ *ei+ej+ek+el)+8*(rij*(rik+ril)+rik*ril)*AHAT(-ei+ej+ek+el)+(rij^2*(8*rik^2+7*~ rik*ril+8*ril^2)+7*rij*rik*ril*(rik+ril)+8*rik^2*ril^2)*IHAT(-ei)-2*(2*rij^2*~ (rik+ril)+rij*(2*rik^2+3*rik*ril+2*ril^2)+2*rik*ril*(rik+ril))*IHAT(0))/(15*r~ ij^2*rik^2*ril^2),IHAT(-2*ei-ej)=-(2*AHAT(-ei+ej+ek+el)+(2*rij*(rik+ril)+5*ri~ k*ril)*IHAT(-ei)-3*rik*ril*IHAT(-ej)-(rij+rik+ril)*IHAT(0))/(3*rij^2*rik*ril)~ ,IHAT(ej-2*ei)=-(2*AHAT(-ei+ej+ek+el)+(2*rij*(rik+ril)-rik*ril)*IHAT(-ei)-(ri~ j+rik+ril)*IHAT(0))/(3*rik*ril),IHAT(-ei-ej-ek)=IHAT(-ei)/(rij*rik)-IHAT(-ej)~ /(rij*rjk)+IHAT(-ek)/(rik*rjk),IHAT(-ei-ej+ek)=rik*IHAT(-ei)/rij-rjk*IHAT(-ej~ )/rij,IHAT(-ei+ej+ek)=rij*rik*IHAT(-ei)+IHAT(ei)-(rij+rik)*IHAT(0),IHAT(2*ej-~ ei)=rij^2*IHAT(-ei)+IHAT(ei)-2*rij*IHAT(0),IHAT(ei+ej+ek)=(4*AHAT(ei+ej+ek+el~ )-2*(rij+rik-3*ril)*AHAT(ej+ek+el)+rij*rik*ril*(rij+rik-3*ril)*IHAT(-ei)-(rij~ ^2+2*rij*(ril-rik)+rik^2+2*rik*ril-3*ril^2)*IHAT(ei)+2*rij*rik*ril*IHAT(0))/8~ ,IHAT(ei+2*ej)=(4*AHAT(ei+ej+ek+el)+2*(3*(rik+ril)-5*rij)*AHAT(ej+ek+el)+rij*~ rik*ril*(5*rij-3*(rik+ril))*IHAT(-ei)+(3*rij^2-6*rij*(rik+ril)+3*rik^2+2*rik*~ ril+3*ril^2)*IHAT(ei)+2*rij*rik*ril*IHAT(0))/8,IHAT(3*ei)=(4*AHAT(ei+ej+ek+el~ )+6*(rij+rik+ril)*AHAT(ej+ek+el)-3*rij*rik*ril*(rij+rik+ril)*IHAT(-ei)+(3*rij~ ^2+2*rij*(rik+ril)+3*rik^2+2*rik*ril+3*ril^2)*IHAT(ei)+2*rij*rik*ril*IHAT(0))~ /8,IHAT(-4*ei)=(30*rij^2*rik^2*ril^2*AHAT(-3*ei+ej+ek+el)+36*rij*rik*ril*(rij~ *(rik+ril)+rik*ril)*AHAT(-2*ei+ej+ek+el)+2*(rij^2*(24*rik^2+23*rik*ril+24*ril~ ^2)+23*rij*rik*ril*(rik+ril)+24*rik^2*ril^2)*AHAT(-ei+ej+ek+el)+4*(2*rij^3*(r~ ik+ril)*(6*rik^2-rik*ril+6*ril^2)+rij^2*rik*ril*(10*rik^2+9*rik*ril+10*ril^2)~ +10*rij*rik^2*ril^2*(rik+ril)+12*rik^3*ril^3)*IHAT(-ei)-(rij^3*(24*rik^2+23*r~ ik*ril+24*ril^2)+2*rij^2*(rik+ril)*(12*rik^2+5*rik*ril+12*ril^2)+rij*rik*ril*~ (23*rik^2+34*rik*ril+23*ril^2)+24*rik^2*ril^2*(rik+ril))*IHAT(0))/(105*rij^3*~ rik^3*ril^3),IHAT(-3*ei-ej)=-(6*rij*rik*ril*AHAT(-2*ei+ej+ek+el)+2*(4*rij*(ri~ k+ril)+9*rik*ril)*AHAT(-ei+ej+ek+el)+(rij^2*(8*rik^2+7*rik*ril+8*ril^2)+17*ri~ j*rik*ril*(rik+ril)+33*rik^2*ril^2)*IHAT(-ei)-15*rik^2*ril^2*IHAT(-ej)-(4*rij~ ^2*(rik+ril)+rij*(4*rik^2+11*rik*ril+4*ril^2)+9*rik*ril*(rik+ril))*IHAT(0))/(~ 15*rij^3*rik^2*ril^2),IHAT(ej-3*ei)=-(6*rij*rik*ril*AHAT(-2*ei+ej+ek+el)+2*(4~ *rij*(rik+ril)-rik*ril)*AHAT(-ei+ej+ek+el)+(rij^2*(8*rik^2+7*rik*ril+8*ril^2)~ -3*rij*rik*ril*(rik+ril)-2*rik^2*ril^2)*IHAT(-ei)-(4*rij^2*(rik+ril)+rij*(4*r~ ik^2+rik*ril+4*ril^2)-rik*ril*(rik+ril))*IHAT(0))/(15*rij*rik^2*ril^2),IHAT(-~ 2*ei-2*ej)=(2*rjk*rjl*AHAT(-ei+ej+ek+el)-2*rik*ril*AHAT(ei-ej+ek+el)+2*rjk*rj~ l*(rij*(rik+ril)+4*rik*ril)*IHAT(-ei)+2*rik*ril*(rij*(rjk+rjl)-4*rjk*rjl)*IHA~ T(-ej)-(rij*(rik*ril+rjk*rjl)+rik*(rjk*rjl-ril*(rjk+rjl))+ril*rjk*rjl)*IHAT(0~ ))/(3*rij^3*rik*ril*rjk*rjl),IHAT(-2*ei-ej-ek)=(2*rjk*AHAT(-ei+ej+ek+el)+rjk*~ (rij*(2*rik+5*ril)+5*rik*ril)*IHAT(-ei)-3*rik^2*ril*IHAT(-ej)+3*rij^2*ril*IHA~ T(-ek)-rjk*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik^2*ril*rjk),IHAT(-2*ei-ej+ek)=(~ 2*AHAT(-ei+ej+ek+el)+(rij*(2*rik-ril)+5*rik*ril)*IHAT(-ei)-3*ril*rjk*IHAT(-ej~ )-(rij+rik+ril)*IHAT(0))/(3*rij^2*ril),IHAT(-2*ei+ej+ek)=(2*AHAT(-ei+ej+ek+el~ )+(rij*(2*rik-ril)-rik*ril)*IHAT(-ei)-(rij+rik-2*ril)*IHAT(0))/(3*ril),IHAT(2~ *ej-2*ei)=(2*rij*AHAT(-ei+ej+ek+el)+2*rij*(rij*(rik+ril)-2*rik*ril)*IHAT(-ei)~ -(rij^2+rij*(rik+ril)-3*rik*ril)*IHAT(0))/(3*rik*ril),IHAT(-ei-ej-ek-el)=-IHA~ T(-ei)/(rij*rik*ril)+IHAT(-ej)/(rij*rjk*rjl)-IHAT(-ek)/(rik*rjk*rkl)+IHAT(-el~ )/(ril*rjl*rkl),IHAT(-ei-ej-ek+el)=-ril*IHAT(-ei)/(rij*rik)+rjl*IHAT(-ej)/(ri~ j*rjk)-rkl*IHAT(-ek)/(rik*rjk),IHAT(-ei-ej+ek+el)=-rik*ril*IHAT(-ei)/rij+rjk*~ rjl*IHAT(-ej)/rij+IHAT(0),IHAT(-ei+ej+ek+el)=AHAT(ej+ek+el)-(3*rij*rik*ril*IH~ AT(-ei)+(rij+rik+ril)*IHAT(ei)-2*(rij*(rik+ril)+rik*ril)*IHAT(0))/2,IHAT(ei+e~ j+ek+el)=(16*AHAT(2*ei+ej+ek+el)-4*(rij+rik+ril)*AHAT(ei+ej+ek+el)-2*(3*rij^2~ -2*rij*(rik+ril)+3*rik^2-2*rik*ril+3*ril^2)*AHAT(ej+ek+el)+rij*rik*ril*(3*rij~ ^2-2*rij*(rik+ril)+3*rik^2-2*rik*ril+3*ril^2)*IHAT(-ei)-3*(rij^3-rij^2*(rik+r~ il)-rij*(rik^2-2*rik*ril+ril^2)+(rik+ril)*(rik^2-2*rik*ril+ril^2))*IHAT(ei)-2~ *rij*rik*ril*(rij+rik+ril)*IHAT(0))/48,IHAT(ei+ej+2*ek)=(16*AHAT(2*ei+ej+ek+e~ l)-4*(rij+7*rik-5*ril)*AHAT(ei+ej+ek+el)-2*(3*rij^2+4*rij*(ril-2*rik)-3*rik^2~ +ril*(22*rik-15*ril))*AHAT(ej+ek+el)+rij*rik*ril*(3*rij^2+4*rij*(ril-2*rik)-3~ *rik^2+22*rik*ril-15*ril^2)*IHAT(-ei)-3*(rij^3+rij^2*(ril-3*rik)+3*rij*(rik^2~ -2*rik*ril+ril^2)-rik^3-ril*(3*rik^2-9*rik*ril+5*ril^2))*IHAT(ei)-2*rij*rik*r~ il*(rij+7*rik-5*ril)*IHAT(0))/48,IHAT(ei+3*ej)=(16*AHAT(2*ei+ej+ek+el)+4*(5*(~ rik+ril)-13*rij)*AHAT(ei+ej+ek+el)+2*(33*rij^2-40*rij*(rik+ril)+15*rik^2+14*r~ ik*ril+15*ril^2)*AHAT(ej+ek+el)-rij*rik*ril*(33*rij^2-40*rij*(rik+ril)+15*rik~ ^2+14*rik*ril+15*ril^2)*IHAT(-ei)-3*(5*rij^3-15*rij^2*(rik+ril)+5*rij*(3*rik^~ 2+2*rik*ril+3*ril^2)-(rik+ril)*(5*rik^2-2*rik*ril+5*ril^2))*IHAT(ei)+2*rij*ri~ k*ril*(5*(rik+ril)-13*rij)*IHAT(0))/48,IHAT(2*ei+2*ej)=(16*AHAT(2*ei+ej+ek+el~ )+4*(5*(rik+ril)-7*rij)*AHAT(ei+ej+ek+el)+2*(3*rij^2-22*rij*(rik+ril)+15*rik^~ 2+14*rik*ril+15*ril^2)*AHAT(ej+ek+el)-rij*rik*ril*(3*rij^2-22*rij*(rik+ril)+1~ 5*rik^2+14*rik*ril+15*ril^2)*IHAT(-ei)+3*(rij^3+3*rij^2*(rik+ril)-3*rij*(3*ri~ k^2+2*rik*ril+3*ril^2)+(rik+ril)*(5*rik^2-2*rik*ril+5*ril^2))*IHAT(ei)+2*rij*~ rik*ril*(5*(rik+ril)-7*rij)*IHAT(0))/48,IHAT(4*ei)=(16*AHAT(2*ei+ej+ek+el)+20~ *(rij+rik+ril)*AHAT(ei+ej+ek+el)+2*(15*rij^2+14*rij*(rik+ril)+15*rik^2+14*rik~ *ril+15*ril^2)*AHAT(ej+ek+el)-rij*rik*ril*(15*rij^2+14*rij*(rik+ril)+15*rik^2~ +14*rik*ril+15*ril^2)*IHAT(-ei)+3*(5*rij^3+3*rij^2*(rik+ril)+rij*(3*rik^2+2*r~ ik*ril+3*ril^2)+(rik+ril)*(5*rik^2-2*rik*ril+5*ril^2))*IHAT(ei)+10*rij*rik*ri~ l*(rij+rik+ril)*IHAT(0))/48] "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]] 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) [true,IHAT(-ei-ep)=IHAT(-ep)/rip-IHAT(-ei)/rip,IHAT(ei-ep)=rip*IHAT(-ep)+IHAT~ (0),IHAT(-2*ei-ep)=-(2*rip*AHAT(-ei+ej+ek+el)+(rij*(rik*(3*ril+2*rip)+2*ril*r~ ip)+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*r~ jp)+IHAT(-ep)/(rip*rjp),IHAT(-ei+ej-ep)=rij*IHAT(-ei)/rip+rjp*IHAT(-ep)/rip,I~ HAT(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),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(-e~ i+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*r~ il^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*ri~ k*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*r~ ip*AHAT(-ei+ej+ek+el)+(rij*(rik*(3*ril+2*rip)+2*ril*rip)-rik*ril*rip)*IHAT(-e~ i)+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*r~ il*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,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*r~ ik*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*ri~ l*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*r~ il*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*ri~ l^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*ri~ l*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*ri~ l+4*rip)+4*ril*rip)-rik*ril*rip)*AHAT(-ei+ej+ek+el)+(rij^2*(rik^2*(15*ril^2+1~ 0*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*ri~ j*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*r~ ip)+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*rj~ p*(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+ri~ l)*IHAT(0)))/(3*rij^2*rik^2*ril*rip^2*rjk*rjp*rkp),IHAT(-2*ei-ej+ek-ep)=-(2*r~ ip*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+r~ ik+ril)*IHAT(0))/(3*rij^2*ril*rip^2*rjp),IHAT(-2*ei+ej+ek-ep)=-(2*rip*AHAT(-e~ i+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*ri~ l*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)/(r~ ij*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*rk~ p),IHAT(-ei-ej+ek+el-ep)=rik*ril*IHAT(-ei)/(rij*rip)-rjk*rjl*IHAT(-ej)/(rij*r~ jp)+rkp*rlp*IHAT(-ep)/(rip*rjp),IHAT(-ei+ej+ek+el-ep)=rij*rik*ril*IHAT(-ei)/r~ ip+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*ri~ p-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*ri~ p*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(-e~ i)+(15*rij^2-10*rij*(rik+ril+2*rip)+3*rik^2+2*rik*(ril+2*rip)+3*ril^2+4*ril*r~ ip+8*rip^2)*IHAT(ei)+8*rip*rjp^3*IHAT(-ep)-2*(4*rij^3-12*rij^2*rip+rij*(12*ri~ p^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*r~ ik+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,IHAT(e~ p)=IHAT(ei)-rip*IHAT(0),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,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+r~ ip)*IHAT(0),IHAT(ei+ej+ep)=(4*AHAT(ei+ej+ek+el)-2*(rij-3*rik-3*ril+4*rip)*AHA~ T(ej+ek+el)+rij*rik*ril*(rij-3*rik-3*ril+4*rip)*IHAT(-ei)-(rij^2+2*rij*(rik+r~ il-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)*AH~ AT(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*ri~ k*ril*IHAT(0))/8,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*r~ ik^2*(5*ril-4*rip)+rik*ril*(10*ril-7*rip)-8*ril^2*rip)+rij*rik*ril*(rik*(10*r~ il-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*r~ il*rip*(rik+ril))*IHAT(0))/(15*rij^2*rik^2*ril^2),IHAT(-2*ei-ej+ep)=(2*rip*AH~ AT(-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*ri~ l*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+IHA~ T(0),IHAT(-ei+ej+ek+ep)=AHAT(ej+ek+el)-(rij*rik*(ril+2*rip)*IHAT(-ei)+(rij+ri~ k-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*ri~ p))*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*r~ ij^2-2*rij*(11*rik+11*ril-15*rip)+15*rik^2+2*rik*(7*ril-9*rip)+15*ril^2-18*ri~ l*rip)*AHAT(ej+ek+el)-rij*rik*ril*(3*rij^2-2*rij*(11*rik+11*ril-15*rip)+15*ri~ k^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*r~ il*(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*ri~ l-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*r~ il*(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*ri~ l-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,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*ri~ l-36*rip)-40*ril^2*rip)+8*rij*rik^2*ril^2*(rik*(7*ril-5*rip)-5*ril*rip)-48*ri~ k^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*r~ ik^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*(r~ ik+ril))*IHAT(0))/(15*rij*rik^2*ril^2),IHAT(-2*ei-2*ej+ep)=-(2*rip*rjk*rjl*AH~ AT(-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*rj~ l-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-e~ j+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-ri~ p)+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*ri~ l*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)/(r~ ij*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+r~ il+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)*IH~ AT(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+2~ 4*rip)+rik*ril*(16*rip-7*ril)+3*ril^2*(5*ril-8*rip))*AHAT(ej+ek+el)+rij*rik*r~ il*(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*ri~ p-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)*AH~ AT(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*r~ il+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*ri~ l)-ril*(rik*(95*ril-112*rip)+15*ril*(7*ril-8*rip)))*IHAT(-ei)-3*(5*rij^4+20*r~ ij^3*(rik+ril-2*rip)-30*rij^2*(3*rik^2+2*rik*(ril-2*rip)+ril*(3*ril-4*rip))+2~ 0*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+4~ 3*ril-52*rip)+35*rik^2+2*rik*(17*ril-20*rip)+35*ril^2-40*ril*rip)*IHAT(0))/38~ 4,IHAT(2*ei+2*ej+ep)=(96*AHAT(3*ei+ej+ek+el)-16*(9*rij-7*rik-7*ril+8*rip)*AHA~ T(2*ei+ej+ek+el)+4*(3*rij^2-2*rij*(23*rik+23*ril-28*rip)+35*rik^2+2*rik*(17*r~ il-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*r~ ik^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*ri~ k^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+2~ 3*ril-28*rip)+35*rik^2+2*rik*(17*ril-20*rip)+35*ril^2-40*ril*rip)*IHAT(0))/38~ 4,IHAT(4*ei+ep)=(96*AHAT(3*ei+ej+ek+el)+16*(7*rij+7*rik+7*ril-8*rip)*AHAT(2*e~ i+ej+ek+el)+4*(35*rij^2+2*rij*(17*rik+17*ril-20*rip)+35*rik^2+2*rik*(17*ril-2~ 0*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*ri~ k^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*r~ ip)+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*r~ il-6*rip)+35*ril^4-40*ril^3*rip)*IHAT(ei)+2*rij*rik*ril*(35*rij^2+2*rij*(17*r~ ik+17*ril-20*rip)+35*rik^2+2*rik*(17*ril-20*rip)+35*ril^2-40*ril*rip)*IHAT(0)~ )/384,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)+rj~ p*rkp*rlp)*IHAT(-ep)-rip*(rip-rjp-rkp-rlp)*IHAT(0))/(2*rip*rjp*rkp*rlp),IHAT(~ -ei-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el)+(rij*rik*ril-2*rjp*rkp*rl~ p)*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*rk~ p*rlp),IHAT(ei-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el)+rij*rik*ril*IH~ AT(-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),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*(r~ ik*(3*ril+rip)+ril*rip)-4*rik*ril*rip*rjp*rkp*rlp)*IHAT(-ei)+3*rij*rik*ril*(r~ ij+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),IHA~ T(-ei-ej-2*ep)=-(2*rij*AHAT(ei+ej+ek+el-ep)-2*rij*AHAT(ej+ek+el)+(rij^2*rik*r~ il+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)*IH~ AT(-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)*IH~ AT(-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),IH~ AT(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*r~ kp*rlp)*IHAT(-ep)-(rip^2-rip*(rjp+rkp+rlp)+2*rkp*rlp)*IHAT(0))/(2*rkp*rlp),IH~ AT(2*ei-2*ep)=-(2*rip*AHAT(ei+ej+ek+el-ep)-2*rip*AHAT(ej+ek+el)+rij*rik*ril*r~ ip*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*r~ lp)*IHAT(0))/(2*rjp*rkp*rlp),IHAT(-3*ei-2*ep)=(12*rij*rik*ril*rip^2*rjp*rkp*r~ lp*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)+3~ 0*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*rl~ p)*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)+ri~ k*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*r~ il*AHAT(ej+ek+el)+(3*rij^3*rik^2*ril^2+4*rij*rjp^2*rkp*rlp*(rik*(3*ril+rip)+r~ il*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*r~ lp)*IHAT(-ei)-3*rik*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)+3*rik*ril*(r~ ip*(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*rk~ p*rlp),IHAT(-ei-ej-ek-2*ep)=-(2*rij*rik*rjk*AHAT(ei+ej+ek+el-ep)-2*rij*rik*rj~ k*AHAT(ej+ek+el)+rjk*(rij^2*rik^2*ril-2*rjp^2*rkp^2*rlp)*IHAT(-ei)-rij*rik*rj~ k*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)+2*rik*rip^2*rkp^2*rlp*IHAT(-ej)-ri~ j*(2*rip^2*rjp^2*rlp*IHAT(-ek)-rik*rjk*((rip*(rjp*(rkp+3*rlp)+3*rkp*rlp)+3*rj~ p*rkp*rlp)*IHAT(-ep)-rip*(rip-rjp-rkp-rlp)*IHAT(0))))/(2*rij*rik*rip^2*rjk*rj~ p^2*rkp^2*rlp),IHAT(-ei-ej+ek-2*ep)=-(2*rij*AHAT(ei+ej+ek+el-ep)-2*rij*AHAT(e~ j+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*r~ lp),IHAT(-ei+ej+ek-2*ep)=-(2*AHAT(ei+ej+ek+el-ep)-2*AHAT(ej+ek+el)+rij*rik*(r~ il-2*rlp)*IHAT(-ei)-(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)+(rip*(rjp*(rkp-r~ lp)-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)+r~ ij*(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-rj~ p-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*rl~ p)*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*(r~ jp*(rkp+rlp)-3*rkp*rlp)-rjp*rkp*rlp)*IHAT(-ep)+(4*rij*rkp*rlp-rip*(rip*rjp-rj~ p^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),IHAT(-4*ei-2*ep)=(60*r~ ij^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+e~ k+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)+2~ 4*ril^3*rip^3)-4*rij^2*rik*ril*rip*rjp*rkp*rlp*(rik^2*(105*ril^2+49*ril*rip+2~ 0*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*r~ il*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*ri~ l*(105*ril^2+84*ril*rip+34*rip^2)+2*rik*ril^2*rip*(28*ril+17*rip)+24*ril^3*ri~ p^2)-2*rij*rik*ril*rip*rjp*rkp*rlp*(rik^2*(56*ril+23*rip)+2*rik*ril*(28*ril+1~ 7*rip)+23*ril^2*rip)-48*rik^2*ril^2*rip^2*rjp*rkp*rlp*(rik+ril))*IHAT(0))/(21~ 0*rij^3*rik^3*ril^3*rip^5*rjp*rkp*rlp),IHAT(-3*ei-ej-2*ep)=-(12*rij*rik*ril*r~ ip^2*rjp^2*rkp*rlp*AHAT(-2*ei+ej+ek+el)+4*rip*rjp^2*rkp*rlp*(2*rij*(rik*(5*ri~ l+2*rip)+2*ril*rip)+9*rik*ril*rip)*AHAT(-ei+ej+ek+el)+30*rij^3*rik^2*ril^2*AH~ AT(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*ri~ l+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*(1~ 0*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*ri~ l*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+e~ l-ep)-30*rij*rik^2*ril^2*AHAT(ej+ek+el)+(rij^2*(15*rik^3*ril^3+2*rik^2*rkp*rl~ p*(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*ri~ k^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*r~ lp)*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*(1~ 0*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*rk~ p*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)-1~ 6*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*r~ kp*rlp)+5*rjp*rkp*rlp)*IHAT(-ep)+rip*(3*rij^3*rik*ril*rjk*rjl*(rip-rjp-rkp-rl~ p)-2*rij*rjp*rkp*rlp*(rik*ril*rip^2+rjk*rjl*rjp^2)+2*rjp*rkp*rlp*(rik*(ril*ri~ p^2*(rjk+rjl)-rjk*rjl*rjp^2)-ril*rjk*rjl*rjp^2))*IHAT(0))/(6*rij^3*rik*ril*ri~ p^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*r~ il*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*AHA~ T(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*A~ HAT(ej+ek+el)-(rij*(rik*(3*ril^2-12*ril*rlp-4*rip*rlp)+2*ril*rip*rlp)+2*rik*r~ il*rip*rlp)*IHAT(-ei)+3*ril*(rij+rik+ril-3*rip+rjp+rkp+rlp)*IHAT(ei)-3*ril*(r~ ip*(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*e~ p)=(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*ri~ k^2*ril^2*rjp-8*rik*ril*rip*rkp*rlp)*IHAT(-ei)+3*rik*ril*rjp*(rij+rik+ril-3*r~ ip+rjp+rkp+rlp)*IHAT(ei)-3*rik*ril*rjp*(rip*(rjp*(rkp+rlp)-3*rkp*rlp)+5*rjp*r~ kp*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*A~ HAT(ej+ek+el)+rjk*rjl*rkl*(rij^2*rik^2*ril^2+2*rjp^2*rkp^2*rlp^2)*IHAT(-ei)-r~ ij*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*r~ jk*(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*rk~ p^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*(r~ kp-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+e~ j+ek+el-ep)-2*rij*AHAT(ej+ek+el)+rik*ril*(rij^2+2*rjp^2)*IHAT(-ei)-rij*(rij+r~ ik+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(e~ j+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)*IH~ AT(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)+r~ kp*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*(r~ kp-rlp)+rik*(rkp-3*rlp)+ril*(rkp+rlp)+rip*(4*rlp-3*rkp)+rkp*(rjp+rkp+rlp))*IH~ AT(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)))*I~ HAT(0))/(2*rlp),IHAT(ei+3*ej-2*ep)=-(2*rjp^2*AHAT(ei+ej+ek+el-ep)-2*(rjp^2+rk~ p*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*(r~ jp+rkp+rlp)))*IHAT(0))/(2*rkp*rlp),IHAT(2*ei+2*ej-2*ep)=-(2*rip*rjp*AHAT(ei+e~ j+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*r~ lp+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)*IH~ AT(-ep)-(rip^3-rip^2*(rjp+rkp+rlp)+6*rjp*rkp*rlp)*IHAT(0)))/(2*rjp*rkp*rlp),I~ HAT(2*ep)=AHAT(ej+ek+el)-(rij*rik*ril*IHAT(-ei)-(rij+rik+ril-4*rip)*IHAT(ei)-~ 2*rip^2*IHAT(0))/2,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*IHA~ T(0))/8,IHAT(2*ep-2*ei)=(2*rip^2*AHAT(-ei+ej+ek+el)+2*rip*(rik*ril*rip-rij*(r~ ik*(3*ril-rip)-ril*rip))*IHAT(-ei)+(rij*(3*rik*ril-rip^2)-rip^2*(rik+ril))*IH~ AT(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*ri~ k^3+3*rik^2*(4*rip-ril)-rik*(3*ril^2-8*ril*rip+8*rip^2)-ril*(5*ril^2-12*ril*r~ ip+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+e~ k+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*ri~ k+5*ril-12*rip)*IHAT(0))/48,IHAT(2*ep-3*ei)=(6*rij*rik*ril*rip^2*AHAT(-2*ei+e~ j+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)*IH~ AT(-ei)-3*rik*ril*IHAT(ei)+(rij*(3*rik*ril-rip^2)+rip*(rik*(6*ril-rip)-ril*ri~ p))*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)+r~ ij*rik*(rij*ril+rik*ril-3*ril^2+8*ril*rip+8*rip^2)*IHAT(-ei)-(rij^2-2*rij*(ri~ k-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*AHA~ T(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*ri~ p)+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*r~ ip)+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-6~ 4*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*ri~ p)-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)-r~ il*(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(e~ i+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*r~ ip)+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+24~ 0*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*r~ il*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*ri~ l^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-5~ 6*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)*AHA~ T(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*ri~ j^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*ri~ p+144*rip^2)+105*ril^3-240*ril^2*rip+144*ril*rip^2)*AHAT(ej+ek+el)-rij*rik*ri~ l*(105*rij^3+5*rij^2*(19*rik+19*ril-48*rip)+rij*(95*rik^2+2*rik*(45*ril-112*r~ ip)+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*ri~ l^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*(1~ 7*rik+17*ril-40*rip)+35*rik^2+2*rik*(17*ril-40*rip)+35*ril^2-80*ril*rip+48*ri~ p^2)*IHAT(0))/384,IHAT(2*ep-4*ei)=(30*rij^2*rik^2*ril^2*rip^2*AHAT(-3*ei+ej+e~ k+el)+12*rij*rik*ril*rip*(3*rik*ril*rip-rij*(rik*(7*ril-3*rip)-3*ril*rip))*AH~ AT(-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*r~ ip))+24*rik^2*ril^2*rip^2)*AHAT(-ei+ej+ek+el)+2*(rij^3*(rik^3*(35*ril^2-56*ri~ l*rip+24*rip^2)+rik^2*ril*(35*ril^2-49*ril*rip+20*rip^2)+4*rik*ril^2*rip*(5*r~ ip-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*ri~ p-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*r~ ik*ril^2*rip*(17*rip-28*ril)+24*ril^3*rip^2)-rij*rik*ril*rip*(rik^2*(56*ril-2~ 3*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),IH~ AT(-3*ei+ej+2*ep)=-(6*rij*rik*ril*rip^2*AHAT(-2*ei+ej+ek+el)-2*rip*(2*rij*(ri~ k*(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*r~ il*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)+r~ ik*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*r~ jl*rjp)*IHAT(-ej)-(rij*(rik*ril*rjp^2+rip^2*rjk*rjl)+rik*(rip^2*rjk*rjl-ril*r~ jp^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*ri~ l*rkp^2*IHAT(-ek)-rip^2*rjk*(rij+rik+ril)*IHAT(0))/(3*rij^2*rik^2*ril*rjk),IH~ AT(-2*ei-ej+ek+2*ep)=(2*rip^2*AHAT(-ei+ej+ek+el)+rip*(5*rik*ril*rip-rij*(2*ri~ k*(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-ri~ p^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*(r~ ij+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+ri~ k*(ril^2-36*ril*rip-24*rip^2)-24*ril*rip^2)-24*rik*ril*rip^2)*IHAT(0))/48,IHA~ T(ei+ej+ek+el+2*ep)=(768*AHAT(4*ei+ej+ek+el)-96*(rij+rik+ril+20*rip)*AHAT(3*e~ i+ej+ek+el)-16*(7*rij^2-2*rij*(rik+ril+10*rip)+7*rik^2-2*rik*(ril+10*rip)+7*r~ il^2-20*ril*rip-80*rip^2)*AHAT(2*ei+ej+ek+el)-4*(35*rij^3-rij^2*(11*rik+11*ri~ l+100*rip)-rij*(11*rik^2-2*rik*(3*ril+20*rip)+11*ril^2-40*ril*rip-80*rip^2)+3~ 5*rik^3-rik^2*(11*ril+100*rip)-rik*(11*ril^2-40*ril*rip-80*rip^2)+5*ril*(7*ri~ l^2-20*ril*rip+16*rip^2))*AHAT(ei+ej+ek+el)-2*(105*rij^4-20*rij^3*(2*rik+2*ri~ l+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*ri~ l*rip-120*rip^2)-4*rij*(10*rik^3-rik^2*(6*ril+35*rip)-2*rik*(3*ril^2-15*ril*r~ ip-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*r~ ij^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*(ri~ l^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*ri~ p-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*ri~ l*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*ri~ k-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)*AH~ AT(3*ei+ej+ek+el)+16*(93*rij^2-4*rij*(37*rik+37*ril-85*rip)+63*rik^2+2*rik*(3~ 1*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*r~ il^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+e~ k+el)-2*(45*rij^4+30*rij^3*(3*rik+3*ril-10*rip)-4*rij^2*(391*rik^2+rik*(359*r~ il-955*rip)+391*ril^2-955*ril*rip+660*rip^2)+2*rij*(1155*rik^3+rik^2*(1037*ri~ l-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+6~ 60*rip^2)+2*rij*(1155*rik^3+rik^2*(1037*ril-2650*rip)+rik*(1037*ril^2-2460*ri~ l*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*ri~ l^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*ri~ p^2)+ril^2*(35*ril^2-80*ril*rip+48*rip^2))-63*rik^5+35*rik^4*(4*rip-ril)-10*r~ ik^3*(3*ril^2-8*ril*rip+8*rip^2)-ril*(6*rik^2*(5*ril^2-12*ril*rip+8*rip^2)+ri~ k*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*ri~ k^2+2*rik*(363*ril-860*rip)+749*ril^2-1720*ril*rip+1040*rip^2)-315*rik^3+7*ri~ k^2*(100*rip-43*ril)-rik*(301*ril^2-680*ril*rip+400*rip^2)-5*ril*(63*ril^2-14~ 0*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*r~ ip+400*ril*rip^2)*AHAT(ei+ej+ek+el)+2*(45*rij^4+60*rij^3*(rik+ril-3*rip)+6*ri~ j^2*(19*rik^2+2*rik*(8*ril-25*rip)+19*ril^2-50*ril*rip+40*rip^2)-4*rij*(315*r~ ik^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*r~ il^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*r~ ij^3*(rik+ril-3*rip)+6*rij^2*(19*rik^2+2*rik*(8*ril-25*rip)+19*ril^2-50*ril*r~ ip+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*r~ ij^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*r~ ip^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)+ri~ l^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-1~ 00*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*ri~ k+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+e~ k+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*r~ ip)+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*ri~ k^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*r~ il^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*ri~ p)+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*r~ ip+8*rip^2)+35*ril^4-80*ril^3*rip+48*ril^2*rip^2)+63*rik^5+35*rik^4*(ril-4*ri~ p)+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]