CHARACTER POLYNOMIAL FOR AN IRREDUCIBLE F_4 REPRESENTATION:

The Character Ch(\Lambda^+) of an irreducible repsresentation V(\Lambda^+) is

Ch(\Lambda^+)=R(u1,u2,u3,u4,s1,s2,s3,s4)=P(u1,u2,u3,u4,s1,s2,s3,s4)/P(u1,u2,u3,u4,0,0,0,0) .

Here, A dominant weight \Lambda^+ is defined by \Lambda^+=s1 \lambda_1 + s2 \lambda_2 + s3 \lambda_3 + s4 \lambda_4 .

P[u1,u2,u3,u4,s1,s2,s3,s4]:= u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)- u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)+ u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)- u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-1-s3)+ u1^(2+s1+s2) u2^(s1-s3) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)- u1^(-2-s2-s3) u2^(s1-s3) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)- u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-1-s3)- u1^(1+s2) u2^(-2-s1-s3) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)- u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-1-s3)+ u1^(1+s2) u2^(3+s1+2 s2) u3^(-3-2 s3-s4) u4^(-1-s3)- u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(-3-2 s3-s4) u4^(-1-s3)+ u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-1-s3)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-1-s3)- u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-1-s3)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-1-s3)+ u1^(1+s2) u2^(-2-s1-s3) u3^(3+2 s2+s4) u4^(-1-s3)- u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(3+2 s2+s4) u4^(-1-s3)+ u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(3+2 s2+s4) u4^(-1-s3)- u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(3+2 s2+s4) u4^(-1-s3)- u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(3+2 s2+s4) u4^(-1-s3)+ u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(3+2 s2+s4) u4^(-1-s3)- u1^(2+s1+s2) u2^(s1-s3) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)+ u1^(-2-s2-s3) u2^(s1-s3) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)- u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)+ u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)+ u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)- u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(5+2 s1+2 s2+s4) u4^(-1-s3)- u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-s3+s4) u4^(-1-s3)+ u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-s3+s4) u4^(-1-s3)- u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(-s3+s4) u4^(-1-s3)+ u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(-s3+s4) u4^(-1-s3)+ u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(-s3+s4) u4^(-1-s3)- u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(-s3+s4) u4^(-1-s3)- u1^(1+s2) u2^(3+s1+2 s2) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)+ u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)+ u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)- u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)- u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)+ u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(-1-s3)+ u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)- u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)+ u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-3-2 s2-s3)+ u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(1+s1) u2^(-1+s1-s2-s3) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-3-2 s2-s3)+ u1^(1+s1) u2^(s1-s2) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)- u1^(-1-s2) u2^(s1-s2) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)+ u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)- u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-3-2 s2-s3)+ u1^(1+s1) u2^(-1+s1-s2-s3) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)- u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)+ u1^(-2-s2-s3) u2^(2+s1+s4) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)- u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)- u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)+ u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(3+2 s1+s4) u4^(-3-2 s2-s3)- u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)+ u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)+ u1^(-1-s2) u2^(3+s1+s3+s4) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)- u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(-1-2 s2+s4) u4^(-3-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)+ u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)- u1^(-2-s2-s3) u2^(2+s1+s4) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)+ u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)- u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(-2-2 s2-s3+s4) u4^(-3-2 s2-s3)- u1^(1+s1) u2^(s1-s2) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)+ u1^(-1-s2) u2^(s1-s2) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)- u1^(-1-s2) u2^(3+s1+s3+s4) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)+ u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)+ u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)- u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(4+2 s1+s3+s4) u4^(-3-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-5-2 s1-2 s2-s3)- u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)- u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(-1-2 s1+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)- u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(-3-2 s1-2 s2+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)- u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)+ u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(-2 s1+s3+s4) u4^(-5-2 s1-2 s2-s3)+u1^(-1-s2) u2^(2+s1+s3) u3^(-3-2 s2-s4) u4^(1+s3)- u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(-3-2 s2-s4) u4^(1+s3)+u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(-3-2 s2-s4) u4^(1+s3)- u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(-3-2 s2-s4) u4^(1+s3)-u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-3-2 s2-s4) u4^(1+s3)+ u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-3-2 s2-s4) u4^(1+s3)-u1^(-2-s1-s2) u2^(-s1+s3) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)+ u1^(2+s2+s3) u2^(-s1+s3) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)-u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)+ u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)+u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)-u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-5-2 s1-2 s2-s4) u4^(1+s3)- u1^(-1-s2) u2^(-3-s1-2 s2) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)+u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)- u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)+u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)+u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)- u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(1+s3)- u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(s3-s4) u4^(1+s3)+u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(s3-s4) u4^(1+s3)- u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(s3-s4) u4^(1+s3)+u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(s3-s4) u4^(1+s3)+ u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(s3-s4) u4^(1+s3)-u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(s3-s4) u4^(1+s3)+ u1^(-1-s2) u2^(-3-s1-2 s2) u3^(3+2 s3+s4) u4^(1+s3)-u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(3+2 s3+s4) u4^(1+s3)+ u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(1+s3)-u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(1+s3)- u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(1+s3)+u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(1+s3)+ u1^(-2-s1-s2) u2^(-s1+s3) u3^(6+2 s2+3 s3+s4) u4^(1+s3)-u1^(2+s2+s3) u2^(-s1+s3) u3^(6+2 s2+3 s3+s4) u4^(1+s3)- u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(1+s3)+u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(1+s3)+u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(1+s3)- u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(1+s3)-u1^(-1-s2) u2^(2+s1+s3) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)+u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)+ u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)-u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)-u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)+ u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(1+s3)+ u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)-u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)-u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)+ u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)+ u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(1+s3)+ u1^(-1-s1) u2^(1-s1+s2+s3) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)-u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)+ u1^(2+s2+s3) u2^(-2-s1-s4) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)-u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)- u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)+u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-3-2 s1-s4) u4^(3+2 s2+s3)-u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(1+2 s2-s4) u4^(3+2 s2+s3)+u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(1+2 s2-s4) u4^(3+2 s2+s3)-u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(1+2 s2-s4) u4^(3+2 s2+s3)+u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(1+2 s2-s4) u4^(3+2 s2+s3)+u1^(1+s2) u2^(-3-s1-s3-s4) u3^(1+2 s2-s4) u4^(3+2 s2+s3)-u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(1+2 s2-s4) u4^(3+2 s2+s3)-u1^(-1-s1) u2^(-s1+s2) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)+u1^(1+s2) u2^(-s1+s2) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)- u1^(1+s2) u2^(-3-s1-s3-s4) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)+u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)+u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)- u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-4-2 s1-s3-s4) u4^(3+2 s2+s3)+ u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)-u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)-u1^(2+s2+s3) u2^(-2-s1-s4) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)+ u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)+u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)-u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(2+2 s2+s3-s4) u4^(3+2 s2+s3)+ u1^(-1-s1) u2^(-s1+s2) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)-u1^(1+s2) u2^(-s1+s2) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)- u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)+u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)+u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)- u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(3+2 s2+s3)- u1^(-1-s1) u2^(1-s1+s2+s3) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)+u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)+ u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)-u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)-u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)+ u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(3+2 s2+s3)+ u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)-u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)-u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)+ u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)- u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(3+2 s2+s3)- u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)+ u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)- u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)- u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)+ u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(3+2 s2+s3)- u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)+u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)-u1^(3+s1+s2+s3) u2^(s1-s4) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)+ u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)+u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)- u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(1+2 s1-s4) u4^(5+2 s1+2 s2+s3)+u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)-u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)-u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)-u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)+ u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(3+2 s1+2 s2-s4) u4^(5+2 s1+2 s2+s3)+ u1^(1+s1) u2^(3+2 s1+s2) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)-u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)+ u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)-u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)-u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)+ u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(2 s1-s3-s4) u4^(5+2 s1+2 s2+s3)- u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)+ u1^(3+s1+s2+s3) u2^(s1-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)-u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)-u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)+ u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(5+2 s1+2 s2+s3)- u1^(1+s1) u2^(3+2 s1+s2) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)+u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)+u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(5+2 s1+2 s2+s3)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)+ u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-11-2 s1-4 s2-3 s3-2 s4)- u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)+u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)+u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)- u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)-u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)+u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(-1-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)- u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)+ u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)- u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-12-2 s1-4 s2-3 s3-3 s4) u4^(-1-s4)- u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-3-s3-2 s4) u4^(-1-s4)+u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-3-s3-2 s4) u4^(-1-s4)+u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(-3-s3-2 s4) u4^(-1-s4)- u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(-3-s3-2 s4) u4^(-1-s4)-u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(-3-s3-2 s4) u4^(-1-s4)+ u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(-3-s3-2 s4) u4^(-1-s4)-u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)+u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)+ u1^(3+s1+s2+s3) u2^(s1-s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)-u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)- u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)+u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(-5-2 s2-s3-2 s4) u4^(-1-s4)+u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)- u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)- u1^(2+s2+s3) u2^(-2-s1-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)+u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)+u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-1-s4)+ u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(s3-s4) u4^(-1-s4)-u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(s3-s4) u4^(-1-s4)+ u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(s3-s4) u4^(-1-s4)-u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(s3-s4) u4^(-1-s4)- u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(s3-s4) u4^(-1-s4)+u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(s3-s4) u4^(-1-s4)- u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(2+2 s2+s3-s4) u4^(-1-s4)+u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(2+2 s2+s3-s4) u4^(-1-s4)+ u1^(2+s2+s3) u2^(-2-s1-s4) u3^(2+2 s2+s3-s4) u4^(-1-s4)-u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(2+2 s2+s3-s4) u4^(-1-s4)- u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(2+2 s2+s3-s4) u4^(-1-s4)+u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(2+2 s2+s3-s4) u4^(-1-s4)+ u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)-u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)-u1^(3+s1+s2+s3) u2^(s1-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)+ u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)+u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)-u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(4+2 s1+2 s2+s3-s4) u4^(-1-s4)- u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-21-4 s1-8 s2-6 s3-3 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-15-4 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-13-2 s1-6 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)+ u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-11-2 s1-4 s2-4 s3-s4) u4^(-10-2 s1-4 s2-3 s3-s4)- u1^(-1-s2) u2^(-3-s1-2 s2) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)+u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)-u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-20-4 s1-8 s2-5 s3-3 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-15-3 s1-6 s2-4 s3-2 s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-19-4 s1-8 s2-5 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-5 s2-3 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-14-4 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-4-s1-2 s2-s3) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-11-2 s1-5 s2-3 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-12-2 s1-6 s2-3 s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-1-s2) u2^(-3-s1-2 s2) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)-u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)- u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-8-2 s1-4 s2-s3-s4) u4^(-9-2 s1-4 s2-2 s3-s4)+ u1^(1+s1) u2^(3+2 s1+s2) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)-u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)+ u1^(2+s1+s2) u2^(s1-s3) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)-u1^(-2-s2-s3) u2^(s1-s3) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)- u1^(1+s1) u2^(-1+s1-s2-s3) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)+u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(1+2 s1-s3) u4^(-5-2 s2-2 s3-s4)+u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-16-2 s1-6 s2-5 s3-3 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-13-2 s1-5 s2-4 s3-2 s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-15-2 s1-6 s2-5 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)-u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)-u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)- u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-5-2 s2-2 s3-s4)+ u1^(1+s1) u2^(-1+s1-s2-s3) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)+u1^(-2-s2-s3) u2^(-9-s1-4 s2-3 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-9-s1-4 s2-3 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)- u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)+u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-8-4 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(2+s1+s2) u2^(s1-s3) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)+ u1^(-2-s2-s3) u2^(s1-s3) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(-2-s2-s3) u2^(-8-s1-3 s2-3 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)+u1^(-6-s1-2 s2-2 s3-s4) u2^(-8-s1-3 s2-3 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)+ u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-6-2 s2-3 s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(1+s1) u2^(3+2 s1+s2) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)+ u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)+u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)+ u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(2 s1-s3-s4) u4^(-5-2 s2-2 s3-s4)-u1^(-1-s1) u2^(-s1+s2) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(1+s2) u2^(-s1+s2) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)-u1^(1+s2) u2^(-2-s1-s3) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)+u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)-u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-3-2 s1-s3) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-18-4 s1-6 s2-5 s3-3 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-14-3 s1-5 s2-4 s3-2 s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-17-4 s1-6 s2-5 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(1+s2) u2^(-3-s1-s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-3-s1-s2-s3) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-11-3 s1-4 s2-3 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-12-4 s1-4 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(1+s2) u2^(-2-s1-s3) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-3-s1-s2-s3) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-2 s1-3 s2-3 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-8-2 s1-2 s2-3 s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-1-s1) u2^(-s1+s2) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)-u1^(1+s2) u2^(-s1+s2) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+u1^(1+s2) u2^(-3-s1-s3-s4) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)- u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-4-2 s1-s3-s4) u4^(-7-2 s1-2 s2-2 s3-s4)+ u1^(1+s2) u2^(3+s1+2 s2) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)-u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)- u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)+u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)+u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)- u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(-2-s3-s4)+u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)-u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)-u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)- u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-13-2 s1-4 s2-4 s3-3 s4) u4^(-2-s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)- u1^(-3-s2-s3-s4) u2^(-9-s1-3 s2-3 s3-2 s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+ u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)-u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)-u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(-7-2 s2-3 s3-2 s4) u4^(-2-s3-s4)-u1^(-6-s1-2 s2-2 s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+u1^(-4-s1-s2-s3-s4) u2^(-10-2 s1-3 s2-3 s3-2 s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)-u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+ u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+ u1^(1+s2) u2^(-3-s1-s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)-u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(-9-2 s1-2 s2-3 s3-2 s4) u4^(-2-s3-s4)+u1^(-3-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-7-s1-2 s2-2 s3-2 s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)- u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)+u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)+ u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)-u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(-3-s3-2 s4) u4^(-2-s3-s4)+ u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(1+2 s2-s4) u4^(-2-s3-s4)-u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(1+2 s2-s4) u4^(-2-s3-s4)+ u1^(4+s1+2 s2+s3) u2^(s2-s4) u3^(1+2 s2-s4) u4^(-2-s3-s4)-u1^(-4-s1-s2-s3-s4) u2^(s2-s4) u3^(1+2 s2-s4) u4^(-2-s3-s4)- u1^(1+s2) u2^(-3-s1-s3-s4) u3^(1+2 s2-s4) u4^(-2-s3-s4)+u1^(-4-s1-s2-s3-s4) u2^(-3-s1-s3-s4) u3^(1+2 s2-s4) u4^(-2-s3-s4)- u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)+u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)-u1^(4+s1+2 s2+s3) u2^(1+s1+s2-s4) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(1+s1+s2-s4) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)+u1^(2+s1+s2) u2^(-1+s1-s3-s4) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)-u1^(-3-s2-s3-s4) u2^(-1+s1-s3-s4) u3^(3+2 s1+2 s2-s4) u4^(-2-s3-s4)- u1^(1+s2) u2^(3+s1+2 s2) u3^(-3-2 s3-s4) u4^(-2-s3-s4)+u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(-3-2 s3-s4) u4^(-2-s3-s4)- u1^(2+s1+s2) u2^(-4-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-2-s3-s4)+u1^(-6-s1-2 s2-2 s3-s4) u2^(-4-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-2-s3-s4)+u1^(1+s2) u2^(-5-s1-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-2-s3-s4)- u1^(-6-s1-2 s2-2 s3-s4) u2^(-5-s1-s2-2 s3-s4) u3^(-3-2 s3-s4) u4^(-2-s3-s4)+ u1^(1+s1) u2^(s1-s2) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)-u1^(-1-s2) u2^(s1-s2) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)+ u1^(-1-s2) u2^(2+s1+s3) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)-u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)- u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)+u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(3+2 s1+s3) u4^(-4-2 s2-s3-s4)-u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)- u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-15-2 s1-6 s2-4 s3-3 s4) u4^(-4-2 s2-s3-s4)+ u1^(-7-s1-3 s2-2 s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-12-2 s1-5 s2-3 s3-2 s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+ u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-13-2 s1-6 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(-10-s1-4 s2-3 s3-2 s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(-9-4 s2-3 s3-2 s4) u4^(-4-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-3-s2-s3-s4) u2^(-8-s1-3 s2-2 s3-2 s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(3+s1+s2+s3) u2^(s1-s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)+u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)+u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(-5-2 s2-s3-2 s4) u4^(-4-2 s2-s3-s4)+ u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)-u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)+u1^(3+s1+s2+s3) u2^(s1-s4) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)- u1^(-3-s2-s3-s4) u2^(s1-s4) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)-u1^(1+s1) u2^(-2+s1-s2-s3-s4) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)+ u1^(-3-s2-s3-s4) u2^(-2+s1-s2-s3-s4) u3^(1+2 s1-s4) u4^(-4-2 s2-s3-s4)-u1^(-1-s2) u2^(2+s1+s3) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)+u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)- u1^(3+s1+s2+s3) u2^(-2-s2-s4) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)+u1^(-5-s1-2 s2-s3-s4) u2^(-2-s2-s4) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)+u1^(-1-s2) u2^(-6-s1-3 s2-s3-s4) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-6-s1-3 s2-s3-s4) u3^(-3-2 s2-s4) u4^(-4-2 s2-s3-s4)- u1^(1+s1) u2^(s1-s2) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)+u1^(-1-s2) u2^(s1-s2) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)- u1^(-1-s2) u2^(-8-s1-4 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)+u1^(-7-s1-3 s2-2 s3-s4) u2^(-8-s1-4 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)+u1^(1+s1) u2^(-6-3 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)- u1^(-7-s1-3 s2-2 s3-s4) u2^(-6-3 s2-2 s3-s4) u3^(-7-4 s2-2 s3-s4) u4^(-4-2 s2-s3-s4)- u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)+u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)-u1^(-2-s1-s2) u2^(-s1+s3) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(2+s2+s3) u2^(-s1+s3) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)+u1^(-1-s1) u2^(1-s1+s2+s3) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)-u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(-1-2 s1+s3) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-17-4 s1-6 s2-4 s3-3 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-13-3 s1-5 s2-3 s3-2 s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-15-4 s1-6 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-12-3 s1-4 s2-3 s3-2 s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-13-4 s1-4 s2-3 s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-9-2 s1-3 s2-2 s3-2 s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(2+s2+s3) u2^(-2-s1-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(-7-2 s1-2 s2-s3-2 s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-1-s1) u2^(1-s1+s2+s3) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)+u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)-u1^(2+s2+s3) u2^(-2-s1-s4) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-4-s1-s2-s3-s4) u2^(-2-s1-s4) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)+u1^(-1-s1) u2^(-5-2 s1-s2-s3-s4) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)-u1^(-4-s1-s2-s3-s4) u2^(-5-2 s1-s2-s3-s4) u3^(-3-2 s1-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-2-s1-s2) u2^(-s1+s3) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)-u1^(2+s2+s3) u2^(-s1+s3) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)+u1^(2+s2+s3) u2^(-3-s1-s2-s4) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-5-s1-2 s2-s3-s4) u2^(-3-s1-s2-s4) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-2-s1-s2) u2^(-7-2 s1-3 s2-s3-s4) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-5-s1-2 s2-s3-s4) u2^(-7-2 s1-3 s2-s3-s4) u3^(-5-2 s1-2 s2-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-2-s1-s2) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-10-3 s1-4 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)- u1^(-1-s1) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-8-2 s1-3 s2-2 s3-s4) u2^(-9-3 s1-3 s2-2 s3-s4) u3^(-11-4 s1-4 s2-2 s3-s4) u4^(-6-2 s1-2 s2-s3-s4)+ u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)-u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)-u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)+ u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)-u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)+u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-9-2 s1-4 s2-3 s3) u4^(1+s4)+ u1^(-2-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-s3+s4) u4^(1+s4)-u1^(-3-s1-s2-s3) u2^(-5-s1-2 s2-2 s3) u3^(-s3+s4) u4^(1+s4)+ u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(-s3+s4) u4^(1+s4)-u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(-s3+s4) u4^(1+s4)- u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(-s3+s4) u4^(1+s4)+u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(-s3+s4) u4^(1+s4)+ u1^(-4-s1-2 s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-2-2 s2-s3+s4) u4^(1+s4)-u1^(-2-s2-s3) u2^(-6-s1-3 s2-2 s3) u3^(-2-2 s2-s3+s4) u4^(1+s4)+u1^(-2-s2-s3) u2^(2+s1+s4) u3^(-2-2 s2-s3+s4) u4^(1+s4)-u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(-2-2 s2-s3+s4) u4^(1+s4)-u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(-2-2 s2-s3+s4) u4^(1+s4)+u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(-2-2 s2-s3+s4) u4^(1+s4)-u1^(-4-s1-2 s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)+ u1^(-3-s1-s2-s3) u2^(-7-2 s1-3 s2-2 s3) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)-u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)+u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)+ u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)-u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(-4-2 s1-2 s2-s3+s4) u4^(1+s4)+u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(3+s3+2 s4) u4^(1+s4)-u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(3+s3+2 s4) u4^(1+s4)- u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(3+s3+2 s4) u4^(1+s4)+u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(3+s3+2 s4) u4^(1+s4)- u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(3+s3+2 s4) u4^(1+s4)+u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(3+s3+2 s4) u4^(1+s4)+u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)-u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)- u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)+u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)+ u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)-u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(5+2 s2+s3+2 s4) u4^(1+s4)-u1^(-2-s2-s3) u2^(2+s1+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)+ u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)+u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)-u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)- u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(1+s4)+ u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)- u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)- u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)+ u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)- u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(1+s4)+ u1^(-1-s2) u2^(-3-s1-2 s2) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)-u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)+ u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)-u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)-u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)+ u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-7-2 s1-4 s2-s3) u4^(2+s3+s4)+u1^(-1-s2) u2^(-5-s1-3 s2-s3) u3^(-1-2 s2+s4) u4^(2+s3+s4)-u1^(-4-s1-2 s2-s3) u2^(-5-s1-3 s2-s3) u3^(-1-2 s2+s4) u4^(2+s3+s4)+ u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(-1-2 s2+s4) u4^(2+s3+s4)-u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(-1-2 s2+s4) u4^(2+s3+s4)- u1^(-1-s2) u2^(3+s1+s3+s4) u3^(-1-2 s2+s4) u4^(2+s3+s4)+u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(-1-2 s2+s4) u4^(2+s3+s4)- u1^(-2-s1-s2) u2^(-6-2 s1-3 s2-s3) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)+u1^(-4-s1-2 s2-s3) u2^(-6-2 s1-3 s2-s3) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)-u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)+ u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)+u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)-u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(-3-2 s1-2 s2+s4) u4^(2+s3+s4)- u1^(-1-s2) u2^(-3-s1-2 s2) u3^(3+2 s3+s4) u4^(2+s3+s4)+u1^(-2-s1-s2) u2^(-3-s1-2 s2) u3^(3+2 s3+s4) u4^(2+s3+s4)- u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(2+s3+s4)+u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(2+s3+s4)+u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(2+s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(3+2 s3+s4) u4^(2+s3+s4)-u1^(-4-s1-2 s2-s3) u2^(-s2+s4) u3^(3+s3+2 s4) u4^(2+s3+s4)+u1^(4+s1+s2+s3+s4) u2^(-s2+s4) u3^(3+s3+2 s4) u4^(2+s3+s4)+u1^(-4-s1-2 s2-s3) u2^(-1-s1-s2+s4) u3^(3+s3+2 s4) u4^(2+s3+s4)-u1^(3+s2+s3+s4) u2^(-1-s1-s2+s4) u3^(3+s3+2 s4) u4^(2+s3+s4)+ u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(3+s3+2 s4) u4^(2+s3+s4)-u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(3+s3+2 s4) u4^(2+s3+s4)-u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)+ u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)+u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)-u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)- u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)+u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(7+2 s2+3 s3+2 s4) u4^(2+s3+s4)+u1^(-1-s2) u2^(3+s1+s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)- u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)- u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)+u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)+u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(2+s3+s4)- u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)+ u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)- u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(2+s3+s4)+ u1^(-1-s1) u2^(-s1+s2) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)-u1^(1+s2) u2^(-s1+s2) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)+ u1^(1+s2) u2^(-2-s1-s3) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)-u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)- u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)+u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-3-2 s1-s3) u4^(4+2 s2+s3+s4)+u1^(-1-s1) u2^(-4-2 s1-s2-s3) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)- u1^(-3-s1-s2-s3) u2^(-4-2 s1-s2-s3) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)+u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)-u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)- u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)+u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(-1-2 s1+s4) u4^(4+2 s2+s3+s4)-u1^(1+s2) u2^(-2-s1-s3) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)+ u1^(-3-s1-s2-s3) u2^(-2-s1-s3) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)-u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)+u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)-u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(3+2 s2+s4) u4^(4+2 s2+s3+s4)- u1^(-1-s1) u2^(-s1+s2) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)+u1^(1+s2) u2^(-s1+s2) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)+ u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)-u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)-u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(7+4 s2+2 s3+s4) u4^(4+2 s2+s3+s4)- u1^(-3-s1-s2-s3) u2^(-s1+s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)+u1^(3+s2+s3+s4) u2^(-s1+s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)+u1^(-3-s1-s2-s3) u2^(2+s2+s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(2+s2+s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)-u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)+u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(5+2 s2+s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)-u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)-u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(9+4 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)- u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(4+2 s2+s3+s4)+ u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)- u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(4+2 s2+s3+s4)- u1^(1+s1) u2^(3+2 s1+s2) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)+u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)- u1^(2+s1+s2) u2^(s1-s3) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)+u1^(-2-s2-s3) u2^(s1-s3) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)+ u1^(1+s1) u2^(-1+s1-s2-s3) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)-u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(1+2 s1-s3) u4^(6+2 s1+2 s2+s3+s4)-u1^(1+s1) u2^(-1+s1-s2-s3) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(-2-s2-s3) u2^(-1+s1-s2-s3) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)-u1^(-2-s2-s3) u2^(2+s1+s4) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)+u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)-u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(3+2 s1+s4) u4^(6+2 s1+2 s2+s3+s4)+u1^(2+s1+s2) u2^(s1-s3) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(-2-s2-s3) u2^(s1-s3) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)+u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)-u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(5+2 s1+2 s2+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(1+s1) u2^(3+2 s1+s2) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)-u1^(2+s1+s2) u2^(3+2 s1+s2) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)-u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(11+4 s1+4 s2+2 s3+s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(-2-s2-s3) u2^(2+s1+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(4+s1+s2+s3+s4) u2^(2+s1+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(-2-s2-s3) u2^(3+s1+s2+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(3+s1+s2+s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(7+2 s1+2 s2+s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(6+2 s1+2 s2+s3+s4)+ u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)-u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)+ u1^(-2-s1-s2) u2^(-s1+s3) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)-u1^(2+s2+s3) u2^(-s1+s3) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)- u1^(-1-s1) u2^(1-s1+s2+s3) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)+u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(-1-2 s1+s3) u4^(5+2 s2+2 s3+s4)- u1^(-1-s1) u2^(-3-2 s1-s2) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)+u1^(-2-s1-s2) u2^(-3-2 s1-s2) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)- u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)+u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)+u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)- u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(-2 s1+s3+s4) u4^(5+2 s2+2 s3+s4)-u1^(-2-s1-s2) u2^(-s1+s3) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+u1^(2+s2+s3) u2^(-s1+s3) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)-u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)-u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(6+2 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(-1-s1) u2^(1-s1+s2+s3) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)-u1^(2+s2+s3) u2^(1-s1+s2+s3) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)-u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(8+4 s2+3 s3+s4) u4^(5+2 s2+2 s3+s4)+ u1^(-2-s1-s2) u2^(1-s1+s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)-u1^(3+s2+s3+s4) u2^(1-s1+s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)-u1^(-2-s1-s2) u2^(4+s2+2 s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(4+s2+2 s3+s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(7+2 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(-1-s1) u2^(2-s1+s2+s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+u1^(3+s2+s3+s4) u2^(2-s1+s2+s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+u1^(-1-s1) u2^(6+3 s2+2 s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(6+3 s2+2 s3+s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(9+4 s2+3 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(5+2 s2+2 s3+s4)- u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)+ u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(5+2 s2+2 s3+s4)- u1^(1+s1) u2^(s1-s2) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)+u1^(-1-s2) u2^(s1-s2) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(-1-s2) u2^(2+s1+s3) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)+u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)+u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(3+2 s1+s3) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(1+s1) u2^(s1-s2) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)-u1^(-1-s2) u2^(s1-s2) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(-1-s2) u2^(3+s1+s3+s4) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)-u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)-u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(4+2 s1+s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(-1-s2) u2^(2+s1+s3) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)-u1^(3+s1+s2+s3) u2^(2+s1+s3) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)-u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(8+2 s1+2 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(1+s1) u2^(4+2 s1+s2+s3) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(3+s1+s2+s3) u2^(4+2 s1+s2+s3) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(12+4 s1+4 s2+3 s3+s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(-1-s2) u2^(3+s1+s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(3+s1+s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(-1-s2) u2^(5+s1+s2+2 s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(5+s1+s2+2 s3+s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(9+2 s1+2 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(1+s1) u2^(5+2 s1+s2+s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(4+s1+s2+s3+s4) u2^(5+2 s1+s2+s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(1+s1) u2^(9+3 s1+3 s2+2 s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(9+3 s1+3 s2+2 s3+s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(13+4 s1+4 s2+3 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(7+2 s1+2 s2+2 s3+s4)- u1^(1+s2) u2^(3+s1+2 s2) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)+u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)+u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(7+2 s1+4 s2+s3) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(1+s2) u2^(3+s1+2 s2) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)-u1^(2+s1+s2) u2^(3+s1+2 s2) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)-u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(8+2 s1+4 s2+s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(1+s2) u2^(5+s1+3 s2+s3) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(5+s1+3 s2+s3) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(12+2 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(2+s1+s2) u2^(6+2 s1+3 s2+s3) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(4+s1+2 s2+s3) u2^(6+2 s1+3 s2+s3) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(14+4 s1+6 s2+3 s3+s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(1+s2) u2^(6+s1+3 s2+s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(6+s1+3 s2+s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(1+s2) u2^(8+s1+4 s2+2 s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(8+s1+4 s2+2 s3+s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(13+2 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(2+s1+s2) u2^(7+2 s1+3 s2+s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(7+2 s1+3 s2+s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(2+s1+s2) u2^(10+3 s1+4 s2+2 s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(10+3 s1+4 s2+2 s3+s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(15+4 s1+6 s2+3 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(9+2 s1+4 s2+2 s3+s4)+ u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(9+2 s1+4 s2+3 s3) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(2+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(3+s1+s2+s3) u2^(5+s1+2 s2+2 s3) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(11+2 s1+4 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(2+s2+s3) u2^(6+s1+3 s2+2 s3) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(4+s1+2 s2+s3) u2^(6+s1+3 s2+2 s3) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(13+2 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(3+s1+s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(7+2 s1+3 s2+2 s3) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(15+4 s1+6 s2+4 s3+s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(2+s2+s3) u2^(8+s1+3 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(8+s1+3 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(2+s2+s3) u2^(9+s1+4 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(9+s1+4 s2+3 s3+s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(15+2 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(3+s1+s2+s3) u2^(9+2 s1+3 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+2 s1+3 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(3+s1+s2+s3) u2^(11+3 s1+4 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(11+3 s1+4 s2+3 s3+s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(17+4 s1+6 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(4+s1+2 s2+s3) u2^(11+2 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(11+2 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(4+s1+2 s2+s3) u2^(12+3 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+5 s2+3 s3+s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(19+4 s1+8 s2+5 s3+2 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(10+2 s1+4 s2+3 s3+s4)- u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(12+2 s1+4 s2+3 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(3+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(4+s1+s2+s3+s4) u2^(7+s1+2 s2+2 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(13+2 s1+4 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(3+s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(5+s1+2 s2+s3+s4) u2^(8+s1+3 s2+2 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(15+2 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(4+s1+s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(5+s1+2 s2+s3+s4) u2^(9+2 s1+3 s2+2 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(17+4 s1+6 s2+4 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(3+s2+s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(9+s1+3 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(3+s2+s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(10+s1+4 s2+3 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(16+2 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(4+s1+s2+s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(10+2 s1+3 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(4+s1+s2+s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(12+3 s1+4 s2+3 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(18+4 s1+6 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(5+s1+2 s2+s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(12+2 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(5+s1+2 s2+s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(13+3 s1+5 s2+3 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(20+4 s1+8 s2+5 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(6+s1+2 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(7+s1+3 s2+2 s3+s4) u2^(13+2 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(6+s1+2 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(8+2 s1+3 s2+2 s3+s4) u2^(14+3 s1+5 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)- u1^(7+s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)+ u1^(8+2 s1+3 s2+2 s3+s4) u2^(15+3 s1+6 s2+4 s3+2 s4) u3^(21+4 s1+8 s2+6 s3+3 s4) u4^(11+2 s1+4 s2+3 s3+2 s4)