"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]]

GENERATE(table2,1,4,3)

S0:
IHAT(-el)=IHAT(-el)

S1:
IHAT(-ei-el)=IHAT(-el)/ril-IHAT(-ei)/ril

IHAT(ei-el)=ril*IHAT(-el)+IHAT(0)

S2:
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*IHAT(-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)

S3:
IHAT(-3*ei-el)=(6*rij*rik*ril^2*AHAT(-2*ei+ej+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*ril-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)/(rij*ril)+rjk*IHAT(-ej)/(rij*rjl)
+rkl*IHAT(-el)/(ril*rjl)

IHAT(-ei+ej+ek-el)=-rij*rik*IHAT(-ei)/ril+rjl*rkl*IHAT(-el)/ril+IHAT(0)

IHAT(-ei+2*ej-el)=-rij^2*IHAT(-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

S0:
IHAT(el)=2*AHAT(ej+ek)+rij*rik*IHAT(-ei)-ril*IHAT(0)

S1:
IHAT(el-ei)=IHAT(0)-ril*IHAT(-ei)

IHAT(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)-IHAT(0)))/3

S2:
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(-ei-ej+el)=ril*IHAT(-ei)/rij-rjl*IHAT(-ej)/rij

IHAT(-ei+ej+el)=2*AHAT(ej+ek)+rij*(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))*IHAT(-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)*IHAT(-ei)
-(4*rij+4*rik-5*ril)*IHAT(0)))/15

S3:
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*ril))*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)*IHAT(-ei)+(ril-3*rik)*IHAT(0))/(3*rik)

IHAT(-ei-ej-ek+el)=-ril*IHAT(-ei)/(rij*rik)+rjl*IHAT(-ej)/(rij*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)=(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*rij-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*(rij+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)+rik*(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*rik)+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)+24*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*rij^2+rij*(23*rik-28*ril)+4*rik*(6*rik-7*ril))*IHAT(0)))/105

S0:
IHAT(-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*ril*rjl*rkl)

S1:
IHAT(-ei-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek)
-(rij*rik+2*rjl*rkl)*IHAT(-ei)+(ril*(rjl+rkl)+3*rjl*rkl)*IHAT(-el)
+ril*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)

S2:
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*rjl*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*ril^2*rjl^2*rkl)

IHAT(-ei+ej-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek)
+rij*(2*rkl-rik)*IHAT(-ei)+(ril*(rjl-rkl)+3*rjl*rkl)*IHAT(-el)
+ril*IHAT(0))/(2*ril^2*rkl)

IHAT(ei+ej-2*el)=-(2*AHAT(ei+ej+ek-el)-2*AHAT(ej+ek)-rij*rik*IHAT(-ei)
+(ril*(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*(rjl+rkl)-3*rjl*rkl)*IHAT(-el)
+(ril^2-2*rjl*rkl)*IHAT(0))/(2*rjl*rkl)

S3:
IHAT(-3*ei-2*el)=-(12*rij*rik*ril^2*rjl*rkl*AHAT(-2*ei+ej+ek)
+8*ril*rjl*rkl*(rij*(5*rik+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*rjl*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*AHAT(ei+ej+ek-el)
+6*rik*AHAT(ej+ek)+(rij*(3*rik^2-12*rik*rkl-4*ril*rkl)+2*rik*ril*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*rik*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(-ei-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)-ril*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*AHAT(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)*AHAT(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*AHAT(ei+ej+ek-el)-2*(ril^2+2*rjl*rkl)*AHAT(ej+ek)
-rij*rik*(ril^2+2*rjl*rkl)*IHAT(-ei)
+ril*(ril*(ril*(rjl+rkl)-5*rjl*rkl)*IHAT(-el)
+(ril^2-4*rjl*rkl)*IHAT(0)))/(2*rjl*rkl)

S0:
IHAT(2*el)=(2*AHAT(ei+ej+ek)+4*(rij+rik-3*ril)*AHAT(ej+ek)
+2*rij*rik*(rij+rik-3*ril)*IHAT(-ei)+(3*ril^2-rij*rik)*IHAT(0))/3

S1:
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

S2:
IHAT(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*(rik-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*rik*(24*rik^2-56*rik*ril+35*ril^2))*IHAT(-ei)
-(4*rij^2+rij*(5*rik-14*ril)-24*rik^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*rik^2-56*rik*ril+35*ril^2)*AHAT(ei+ej+ek)
+4*(24*rij^3+4*rij^2*(5*rik-14*ril)+rij*(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*ril^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

S3:
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)*IHAT(-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-ej-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*AHAT(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)+rik^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)+rik*(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*ril-21*ril^2))*AHAT(2*ei+ej+ek)
-2*(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))*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*rik*ril
+21*ril^2))*AHAT(2*ei+ej+ek)
+4*(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))*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))*AHAT(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*ril
+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*rik^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*rik*(16*rik^2-36*rik*ril+21*ril^2))*IHAT(0)))/315