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

GENERATE(table3,1,4,4)

S0:
IHAT(0)=IHAT(0)

S1:
IHAT(-ei)=IHAT(-ei)

IHAT(ei)=IHAT(ei)

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

IHAT(-ei-ej)=IHAT(-ej)/rij-IHAT(-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*rik*ril*IHAT(-ei)-(rij+rik+ril)*IHAT(ei))/2

S3:
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*rij^2*rik^2*ril^2)

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

S4:
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*(rik+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*rik*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*(rik+ril)+9*rik*ril)*AHAT(-ei+ej+ek+el)
+(rij^2*(8*rik^2+7*rik*ril+8*ril^2)+17*rij*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*rik^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*rjl*(rij*(rik+ril)+4*rik*ril)*IHAT(-ei)
+2*rik*ril*(rij*(rjk+rjl)-4*rjk*rjl)*IHAT(-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*IHAT(-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)=-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)=-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)=AHAT(ej+ek+el)-(3*rij*rik*ril*IHAT(-ei)
+(rij+rik+ril)*IHAT(ei)-2*(rij*(rik+ril)+rik*ril)*IHAT(0))/2

IHAT(ei+ej+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+ril)-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+el)-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*ril*(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*rik*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*rik*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)+15*rik^2+14*rik*ril+15*ril^2)*IHAT(-ei)
+3*(rij^3+3*rij^2*(rik+ril)-3*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*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*rik*ril+3*ril^2)
+(rik+ril)*(5*rik^2-2*rik*ril+5*ril^2))*IHAT(ei)
+10*rij*rik*ril*(rij+rik+ril)*IHAT(0))/48