off nat;



procedure delta(ii,jj);begin if ii eq jj then return 1 else return 0; end;


DELTA$


%k:=mat((2,-1),(-1,2));
%k:=mat((2,-2),(-1,2));
%k:=mat((2,-1),(-2,2));
k(1,1):=2;


K(1,1) := 2$

k(2,2):=2;


K(2,2) := 2$

noncom om;


noncom xp;


noncom xm;


noncom h;




for all ii,jj let xp(ii)*om(jj) = 0;



%-------- commutation rules ----------------------------------------
for all ii,jj let xp(ii)*xm(jj) = xm(jj)*xp(ii) + delta(ii,jj)*h(ii);


for all ii,jj let  xp(jj)*h(ii) = h(ii)*xp(jj) - k(jj,ii)*xp(jj);


for all ii,jj let  h(ii)*xm(jj) = xm(jj)*h(ii) - k(jj,ii)*xm(jj);



%-------- highest vector rules ----------------------------------------

for all ii,jj let xp(ii)*om(jj) = 0;


for all ii,jj let om(jj)*xm(ii) = 0;



for all ii,jj let h(ii)*om(jj) = delta(jj,ii)*om(jj);


for all ii let om(ii)*om(ii) = 1;





LP:=AP1*xp(1) + AP2*xp(2);


LP := XP(2)*AP2 + XP(1)*AP1$

LM:=AM1*xm(1) + AM2*xm(2);


LM := XM(2)*AM2 + XM(1)*AM1$



INVMP:=1 - LP + LP**2;


INVMP := XP(2)**2*AP2**2 + XP(2)*XP(1)*AP1*AP2 - XP(2)*AP2 + XP(1)**2
*AP1**2 + XP(1)*XP(2)*AP1*AP2 - XP(1)*AP1 + 1$

MM:=1 + LM + LM**2;


MM := XM(2)**2*AM2**2 + XM(2)*XM(1)*AM1*AM2 + XM(2)*AM2 + XM(1)**2*
AM1**2 + XM(1)*XM(2)*AM1*AM2 + XM(1)*AM1 + 1$



GG1:=OM(1)*INVMP*MM*OM(1);


GG1 :=  - K(1,2)*AP1*AP2*AM1*AM2 - AP1*AM1 + 1$

GG2:=OM(2)*INVMP*MM*OM(2);


GG2 :=  - K(2,1)*AP1*AP2*AM1*AM2 - AP2*AM2 + 1$





xm(kk)*xm(ll);


XM(KK)*XM(LL)$

xp(ii)*xp(jj)*xm(kk)*xm(ll)*om(pp);


0$


om(pp)*xp(ii)*xp(jj)*xm(kk)*xm(ll)*om(pp);


0$


om(pp)*xp(ii)*xm(kk)*xm(ll)*om(pp);


0$


om(pp)*xp(rr)*xp(ii)*xp(jj)*xm(kk)*xm(ll)*om(pp);


0$



om(1)*xp(1)*xm(1)*om(1);


1$

om(1)*xp(2)*xm(2)*om(1);


0$


%------------------------------------------------

for i1:=1:2 do
for i2:=1:2 do
for i3:=1:2 do
for i4:=1:2 do 
for i5:=1:2 do 
for j1:=1:2 do 
for j2:=1:2 do
for j3:=1:2 do 
for j4:=1:2 do 
for j5:=1:2 do 

<< R:=om(1)*xp(1)*xp(i1)*xp(i2)*xp(i3)*xp(i4)*xp(i5)
           *xm(j1)*xm(j2)*xm(j3)*xm(j4)*xm(j5)*xm(1)*om(1);

IF R NEQ 0 THEN write(i1,i2,i3,i4,i5,j1,j2,j3,j4,j5," r:= ",R); >>;


b121111111121:= 24*K(1,2)*( - K(2,1)**4 - 10*K(2,1)**3 - 35*K(2,1)**2 
- 50*K(2,1) - 24)$

b121112111221:= 12*K(1,2)*( - K(2,1)**3*K(1,2) - K(2,1)**3 - 6*K(2,1)
**2*K(1,2) - 6*K(2,1)**2 - 11*K(2,1)*K(1,2) - 11*K(2,1) - 6*K(1,2)
 - 6)$

b121112112121:= 12*K(1,2)*( - K(2,1)**3*K(1,2) - K(2,1)**3 - 6*K(2,1)
**2*K(1,2) - 6*K(2,1)**2 - 11*K(2,1)*K(1,2) - 11*K(2,1) - 6*K(1,2)
 - 6)$

b121112121121:= 6*K(1,2)*( - 3*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 18*K(2
,1)**2*K(1,2) - 12*K(2,1)**2 - 33*K(2,1)*K(1,2) - 22*K(2,1) - 
18*K(1,2) - 12)$

b121112211121:= 12*K(1,2)*( - 2*K(2,1)**3*K(1,2) - K(2,1)**3 - 12*K(2,
1)**2*K(1,2) - 6*K(2,1)**2 - 22*K(2,1)*K(1,2) - 11*K(2,1) - 12*
K(1,2) - 6)$

b121121111221:= 12*K(1,2)*( - 2*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 9*K(2
,1)**2*K(1,2) - 9*K(2,1)**2 - 13*K(2,1)*K(1,2) - 13*K(2,1) - 6*
K(1,2) - 6)$

b121121112121:= 4*K(1,2)*( - 5*K(2,1)**3*K(1,2) - 5*K(2,1)**3 - 24*K(2
,1)**2*K(1,2) - 24*K(2,1)**2 - 37*K(2,1)*K(1,2) - 37*K(2,1) - 
18*K(1,2) - 18)$

b121121121121:= 2*K(1,2)*( - 10*K(2,1)**3*K(1,2) - 8*K(2,1)**3 - 53*K(
2,1)**2*K(1,2) - 42*K(2,1)**2 - 89*K(2,1)*K(1,2) - 70*K(2,1) - 
46*K(1,2) - 36)$

b121121211121:= 6*K(1,2)*( - 3*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 18*K(2
,1)**2*K(1,2) - 12*K(2,1)**2 - 33*K(2,1)*K(1,2) - 22*K(2,1) - 
18*K(1,2) - 12)$

b121122112221:= 12*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 3*K(2,1)**2*K(1,2)
 - 2*K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 9*K(2,1)*K(1,2) - 6*K(2,1) -
 2*K(1,2)**2 - 6*K(1,2) - 4)$

b121122121221:= 8*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,2
) - 3*K(2,1)**2 - 6*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 9*K(2,1)
 - 4*K(1,2)**2 - 10*K(1,2) - 6)$

b121122122121:= 8*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,2
) - 3*K(2,1)**2 - 6*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 9*K(2,1)
 - 4*K(1,2)**2 - 10*K(1,2) - 6)$

b121122211221:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 2*K(2,1)**2*K(1,2)
 - K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 3*K(2,1) - 2
*K(1,2)**2 - 4*K(1,2) - 2)$

b121122212121:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 2*K(2,1)**2*K(1,2)
 - K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 3*K(2,1) - 2
*K(1,2)**2 - 4*K(1,2) - 2)$

b121122221121:= 12*K(1,2)*( - 3*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,
2) - 2*K(2,1)**2 - 9*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 6*K(
2,1) - 6*K(1,2)**2 - 10*K(1,2) - 4)$

b121211111221:= 24*K(1,2)*( - 2*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 7*K(2
,1)**2*K(1,2) - 7*K(2,1)**2 - 8*K(2,1)*K(1,2) - 8*K(2,1) - 3*K(
1,2) - 3)$

b121211112121:= 8*K(1,2)*( - 4*K(2,1)**3*K(1,2) - 4*K(2,1)**3 - 16*K(2
,1)**2*K(1,2) - 16*K(2,1)**2 - 21*K(2,1)*K(1,2) - 21*K(2,1) - 9
*K(1,2) - 9)$

b121211121121:= 4*K(1,2)*( - 5*K(2,1)**3*K(1,2) - 5*K(2,1)**3 - 24*K(2
,1)**2*K(1,2) - 24*K(2,1)**2 - 37*K(2,1)*K(1,2) - 37*K(2,1) - 
18*K(1,2) - 18)$

b121211211121:= 12*K(1,2)*( - K(2,1)**3*K(1,2) - K(2,1)**3 - 6*K(2,1)
**2*K(1,2) - 6*K(2,1)**2 - 11*K(2,1)*K(1,2) - 11*K(2,1) - 6*K(1,2)
 - 6)$

b121212112221:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 3*K(2,1)**2*K(1,2)
 - 2*K(2,1)**2 - 2*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 4*K(2,1) -
 K(1,2)**2 - 3*K(1,2) - 2)$

b121212121221:= 4*K(1,2)*( - 7*K(2,1)**2*K(1,2)**2 - 18*K(2,1)**2*K(1,
2) - 11*K(2,1)**2 - 15*K(2,1)*K(1,2)**2 - 38*K(2,1)*K(1,2) - 23
*K(2,1) - 8*K(1,2)**2 - 20*K(1,2) - 12)$

b121212122121:= 4*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 15*K(2,1)**2*K(1,
2) - 9*K(2,1)**2 - 14*K(2,1)*K(1,2)**2 - 35*K(2,1)*K(1,2) - 21*
K(2,1) - 8*K(1,2)**2 - 20*K(1,2) - 12)$

b121212211221:= 8*K(1,2)*( - 4*K(2,1)**2*K(1,2)**2 - 9*K(2,1)**2*K(1,2
) - 5*K(2,1)**2 - 9*K(2,1)*K(1,2)**2 - 20*K(2,1)*K(1,2) - 11*K(2,1
) - 5*K(1,2)**2 - 11*K(1,2) - 6)$

b121212212121:= 2*K(1,2)*( - 13*K(2,1)**2*K(1,2)**2 - 29*K(2,1)**2*K(1
,2) - 16*K(2,1)**2 - 33*K(2,1)*K(1,2)**2 - 73*K(2,1)*K(1,2) - 
40*K(2,1) - 20*K(1,2)**2 - 44*K(1,2) - 24)$

b121212221121:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 2*K(2,1)**2*K(1,2)
 - K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 3*K(2,1) - 2
*K(1,2)**2 - 4*K(1,2) - 2)$

b121221112221:= 12*K(1,2)*( - 3*K(2,1)**2*K(1,2)**2 - 9*K(2,1)**2*K(1,
2) - 6*K(2,1)**2 - 5*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 10*K
(2,1) - 2*K(1,2)**2 - 6*K(1,2) - 4)$

b121221121221:= 6*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 16*K(2,1)**2*K(1,
2) - 10*K(2,1)**2 - 11*K(2,1)*K(1,2)**2 - 29*K(2,1)*K(1,2) - 18
*K(2,1) - 5*K(1,2)**2 - 13*K(1,2) - 8)$

b121221122121:= 6*K(1,2)*( - 5*K(2,1)**2*K(1,2)**2 - 13*K(2,1)**2*K(1,
2) - 8*K(2,1)**2 - 10*K(2,1)*K(1,2)**2 - 26*K(2,1)*K(1,2) - 16*
K(2,1) - 5*K(1,2)**2 - 13*K(1,2) - 8)$

b121221211221:= 16*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,
2) - 3*K(2,1)**2 - 4*K(2,1)*K(1,2)**2 - 10*K(2,1)*K(1,2) - 6*K(
2,1) - 2*K(1,2)**2 - 5*K(1,2) - 3)$

b121221212121:= 4*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 15*K(2,1)**2*K(1,
2) - 9*K(2,1)**2 - 14*K(2,1)*K(1,2)**2 - 35*K(2,1)*K(1,2) - 21*
K(2,1) - 8*K(1,2)**2 - 20*K(1,2) - 12)$

b121221221121:= 8*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,2
) - 3*K(2,1)**2 - 6*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 9*K(2,1)
 - 4*K(1,2)**2 - 10*K(1,2) - 6)$

b121222122221:= 24*K(1,2)*( - K(2,1)*K(1,2)**3 - 6*K(2,1)*K(1,2)**2 - 
11*K(2,1)*K(1,2) - 6*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1,2) 
- 6)$

b121222212221:= 36*K(1,2)*( - K(2,1)*K(1,2)**3 - 5*K(2,1)*K(1,2)**2 - 
8*K(2,1)*K(1,2) - 4*K(2,1) - K(1,2)**3 - 5*K(1,2)**2 - 8*K(1,2) - 
4)$

b121222221221:= 24*K(1,2)*( - 2*K(2,1)*K(1,2)**3 - 9*K(2,1)*K(1,2)**2 
- 13*K(2,1)*K(1,2) - 6*K(2,1) - 2*K(1,2)**3 - 9*K(1,2)**2 - 13*K(1
,2) - 6)$

b121222222121:= 24*K(1,2)*( - 2*K(2,1)*K(1,2)**3 - 9*K(2,1)*K(1,2)**2 
- 13*K(2,1)*K(1,2) - 6*K(2,1) - 2*K(1,2)**3 - 9*K(1,2)**2 - 13*K(1
,2) - 6)$

b122111111221:= 24*K(1,2)*( - 4*K(2,1)**3*K(1,2) - 4*K(2,1)**3 - 12*K(
2,1)**2*K(1,2) - 12*K(2,1)**2 - 11*K(2,1)*K(1,2) - 11*K(2,1) - 
3*K(1,2) - 3)$

b122111112121:= 24*K(1,2)*( - 2*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 7*K(2
,1)**2*K(1,2) - 7*K(2,1)**2 - 8*K(2,1)*K(1,2) - 8*K(2,1) - 3*K(
1,2) - 3)$

b122111121121:= 12*K(1,2)*( - 2*K(2,1)**3*K(1,2) - 2*K(2,1)**3 - 9*K(2
,1)**2*K(1,2) - 9*K(2,1)**2 - 13*K(2,1)*K(1,2) - 13*K(2,1) - 6*
K(1,2) - 6)$

b122111211121:= 12*K(1,2)*( - K(2,1)**3*K(1,2) - K(2,1)**3 - 6*K(2,1)
**2*K(1,2) - 6*K(2,1)**2 - 11*K(2,1)*K(1,2) - 11*K(2,1) - 6*K(1,2)
 - 6)$

b122112112221:= 24*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 6*K(2,1)**2*K(1,
2) - 4*K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 9*K(2,1)*K(1,2) - 6*K(2
,1) - K(1,2)**2 - 3*K(1,2) - 2)$

b122112121221:= 16*K(1,2)*( - 3*K(2,1)**2*K(1,2)**2 - 8*K(2,1)**2*K(1,
2) - 5*K(2,1)**2 - 5*K(2,1)*K(1,2)**2 - 13*K(2,1)*K(1,2) - 8*K(
2,1) - 2*K(1,2)**2 - 5*K(1,2) - 3)$

b122112122121:= 16*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,
2) - 3*K(2,1)**2 - 4*K(2,1)*K(1,2)**2 - 10*K(2,1)*K(1,2) - 6*K(
2,1) - 2*K(1,2)**2 - 5*K(1,2) - 3)$

b122112211221:= 8*K(1,2)*( - 7*K(2,1)**2*K(1,2)**2 - 16*K(2,1)**2*K(1,
2) - 9*K(2,1)**2 - 12*K(2,1)*K(1,2)**2 - 27*K(2,1)*K(1,2) - 15*
K(2,1) - 5*K(1,2)**2 - 11*K(1,2) - 6)$

b122112212121:= 8*K(1,2)*( - 4*K(2,1)**2*K(1,2)**2 - 9*K(2,1)**2*K(1,2
) - 5*K(2,1)**2 - 9*K(2,1)*K(1,2)**2 - 20*K(2,1)*K(1,2) - 11*K(2,1
) - 5*K(1,2)**2 - 11*K(1,2) - 6)$

b122112221121:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 2*K(2,1)**2*K(1,2)
 - K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 3*K(2,1) - 2
*K(1,2)**2 - 4*K(1,2) - 2)$

b122121112221:= 12*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 18*K(2,1)**2*K(1
,2) - 12*K(2,1)**2 - 7*K(2,1)*K(1,2)**2 - 21*K(2,1)*K(1,2) - 14
*K(2,1) - 2*K(1,2)**2 - 6*K(1,2) - 4)$

b122121121221:= 6*K(1,2)*( - 10*K(2,1)**2*K(1,2)**2 - 28*K(2,1)**2*K(1
,2) - 18*K(2,1)**2 - 14*K(2,1)*K(1,2)**2 - 38*K(2,1)*K(1,2) - 
24*K(2,1) - 5*K(1,2)**2 - 13*K(1,2) - 8)$

b122121122121:= 6*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 16*K(2,1)**2*K(1,
2) - 10*K(2,1)**2 - 11*K(2,1)*K(1,2)**2 - 29*K(2,1)*K(1,2) - 18
*K(2,1) - 5*K(1,2)**2 - 13*K(1,2) - 8)$

b122121211221:= 16*K(1,2)*( - 3*K(2,1)**2*K(1,2)**2 - 8*K(2,1)**2*K(1,
2) - 5*K(2,1)**2 - 5*K(2,1)*K(1,2)**2 - 13*K(2,1)*K(1,2) - 8*K(
2,1) - 2*K(1,2)**2 - 5*K(1,2) - 3)$

b122121212121:= 4*K(1,2)*( - 7*K(2,1)**2*K(1,2)**2 - 18*K(2,1)**2*K(1,
2) - 11*K(2,1)**2 - 15*K(2,1)*K(1,2)**2 - 38*K(2,1)*K(1,2) - 23
*K(2,1) - 8*K(1,2)**2 - 20*K(1,2) - 12)$

b122121221121:= 8*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 5*K(2,1)**2*K(1,2
) - 3*K(2,1)**2 - 6*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 9*K(2,1)
 - 4*K(1,2)**2 - 10*K(1,2) - 6)$

b122122122221:= 24*K(1,2)*( - 2*K(2,1)*K(1,2)**3 - 12*K(2,1)*K(1,2)**2
 - 22*K(2,1)*K(1,2) - 12*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1
,2) - 6)$

b122122212221:= 12*K(1,2)*( - 5*K(2,1)*K(1,2)**3 - 26*K(2,1)*K(1,2)**2
 - 43*K(2,1)*K(1,2) - 22*K(2,1) - 3*K(1,2)**3 - 15*K(1,2)**2 - 24*
K(1,2) - 12)$

b122122221221:= 8*K(1,2)*( - 8*K(2,1)*K(1,2)**3 - 38*K(2,1)*K(1,2)**2 
- 58*K(2,1)*K(1,2) - 28*K(2,1) - 6*K(1,2)**3 - 27*K(1,2)**2 - 39*K
(1,2) - 18)$

b122122222121:= 24*K(1,2)*( - 2*K(2,1)*K(1,2)**3 - 9*K(2,1)*K(1,2)**2 
- 13*K(2,1)*K(1,2) - 6*K(2,1) - 2*K(1,2)**3 - 9*K(1,2)**2 - 13*K(1
,2) - 6)$

b122211112221:= 12*K(1,2)*( - 9*K(2,1)**2*K(1,2)**2 - 27*K(2,1)**2*K(1
,2) - 18*K(2,1)**2 - 9*K(2,1)*K(1,2)**2 - 27*K(2,1)*K(1,2) - 18
*K(2,1) - 2*K(1,2)**2 - 6*K(1,2) - 4)$

b122211121221:= 12*K(1,2)*( - 6*K(2,1)**2*K(1,2)**2 - 18*K(2,1)**2*K(1
,2) - 12*K(2,1)**2 - 7*K(2,1)*K(1,2)**2 - 21*K(2,1)*K(1,2) - 14
*K(2,1) - 2*K(1,2)**2 - 6*K(1,2) - 4)$

b122211122121:= 12*K(1,2)*( - 3*K(2,1)**2*K(1,2)**2 - 9*K(2,1)**2*K(1,
2) - 6*K(2,1)**2 - 5*K(2,1)*K(1,2)**2 - 15*K(2,1)*K(1,2) - 10*K
(2,1) - 2*K(1,2)**2 - 6*K(1,2) - 4)$

b122211211221:= 24*K(1,2)*( - 2*K(2,1)**2*K(1,2)**2 - 6*K(2,1)**2*K(1,
2) - 4*K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 9*K(2,1)*K(1,2) - 6*K(2
,1) - K(1,2)**2 - 3*K(1,2) - 2)$

b122211212121:= 24*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 3*K(2,1)**2*K(1,2)
 - 2*K(2,1)**2 - 2*K(2,1)*K(1,2)**2 - 6*K(2,1)*K(1,2) - 4*K(2,1) -
 K(1,2)**2 - 3*K(1,2) - 2)$

b122211221121:= 12*K(1,2)*( - K(2,1)**2*K(1,2)**2 - 3*K(2,1)**2*K(1,2)
 - 2*K(2,1)**2 - 3*K(2,1)*K(1,2)**2 - 9*K(2,1)*K(1,2) - 6*K(2,1) -
 2*K(1,2)**2 - 6*K(1,2) - 4)$

b122212122221:= 24*K(1,2)*( - 3*K(2,1)*K(1,2)**3 - 18*K(2,1)*K(1,2)**2
 - 33*K(2,1)*K(1,2) - 18*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1
,2) - 6)$

b122212212221:= 6*K(1,2)*( - 12*K(2,1)*K(1,2)**3 - 66*K(2,1)*K(1,2)**2
 - 114*K(2,1)*K(1,2) - 60*K(2,1) - 5*K(1,2)**3 - 27*K(1,2)**2 - 46
*K(1,2) - 24)$

b122212221221:= 12*K(1,2)*( - 5*K(2,1)*K(1,2)**3 - 26*K(2,1)*K(1,2)**2
 - 43*K(2,1)*K(1,2) - 22*K(2,1) - 3*K(1,2)**3 - 15*K(1,2)**2 - 24*
K(1,2) - 12)$

b122212222121:= 36*K(1,2)*( - K(2,1)*K(1,2)**3 - 5*K(2,1)*K(1,2)**2 - 
8*K(2,1)*K(1,2) - 4*K(2,1) - K(1,2)**3 - 5*K(1,2)**2 - 8*K(1,2) - 
4)$

b122221122221:= 24*K(1,2)*( - 4*K(2,1)*K(1,2)**3 - 24*K(2,1)*K(1,2)**2
 - 44*K(2,1)*K(1,2) - 24*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1
,2) - 6)$

b122221212221:= 24*K(1,2)*( - 3*K(2,1)*K(1,2)**3 - 18*K(2,1)*K(1,2)**2
 - 33*K(2,1)*K(1,2) - 18*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1
,2) - 6)$

b122221221221:= 24*K(1,2)*( - 2*K(2,1)*K(1,2)**3 - 12*K(2,1)*K(1,2)**2
 - 22*K(2,1)*K(1,2) - 12*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1
,2) - 6)$

b122221222121:= 24*K(1,2)*( - K(2,1)*K(1,2)**3 - 6*K(2,1)*K(1,2)**2 - 
11*K(2,1)*K(1,2) - 6*K(2,1) - K(1,2)**3 - 6*K(1,2)**2 - 11*K(1,2) 
- 6)$

b122222222221:= 120*K(1,2)*( - K(1,2)**4 - 10*K(1,2)**3 - 35*K(1,2)**2
 - 50*K(1,2) - 24)$

%write(i1,i2,i3,i4,i5,j1,j2,j3,j4,j5,"1:= ",R); >>;

shut b1b1rgen;