Solution 18 to problem e3null
Expressions |
Parameters |
Relevance |
Back to problem e3null
Expressions
The solution is given through the following expressions:
b22=0
b31=0
b32=0
c12=0
c13=0
c22=0
c23=0
1 2
- ---*b33
4
c33=-------------
a22
2
- 2*a22 *m2 + 2*a22*a33*m2
n2=-----------------------------
a22*b33 + a33*b33
n3=0
1 1
- ---*a22*b33*n1 - ---*a33*b33*n1
2 2
m1=------------------------------------
2
a22 - a22*a33
m3=0
r6=0
2 2 2 2
a22 *m2*q1 - 2*a22*a33*m2*q1 + a33 *m2*q1 - k1*m2*n1 + k10*m2*n1
r5=--------------------------------------------------------------------
3 2 2 3
a22 - a22 *a33 - a22*a33 + a33
1 6 5 1 4 2
r4=( - ---*a22 *b33*n1*q1 - a22 *a33*b33*n1*q1 + ---*a22 *a33 *b33*n1*q1
2 2
1 4 3 1 4 3 3 3
+ ---*a22 *b33*k1*n1 - ---*a22 *b33*k10*n1 + 2*a22 *a33 *b33*n1*q1
2 2
3 3 3 3 1 2 4
+ 2*a22 *a33*b33*k1*n1 - 2*a22 *a33*b33*k10*n1 + ---*a22 *a33 *b33*n1*q1
2
2 2 3 2 2 3 5
+ 3*a22 *a33 *b33*k1*n1 - 3*a22 *a33 *b33*k10*n1 - a22*a33 *b33*n1*q1
3 3 3 3 1 6
+ 2*a22*a33 *b33*k1*n1 - 2*a22*a33 *b33*k10*n1 - ---*a33 *b33*n1*q1
2
1 4 3 1 4 3 8 7
+ ---*a33 *b33*k1*n1 - ---*a33 *b33*k10*n1 )/(a22 + a22 *a33
2 2
6 2 5 3 4 4 3 5 2 6
- 3*a22 *a33 - 3*a22 *a33 + 3*a22 *a33 + 3*a22 *a33 - a22 *a33
7
- a22*a33 )
r3=0
3 2 2 2
r2=( - 2*a22 *m2*q1 + 4*a22 *a33*m2*q1 - 2*a22*a33 *m2*q1 + 2*a22*k1*m2*n1
2 3 2 2 3
- 2*a22*k10*m2*n1 )/(a22 *b33 - a22 *a33*b33 - a22*a33 *b33 + a33 *b33)
6 5 4 2 4 3 4 3
r1=(a22 *n1*q1 + 2*a22 *a33*n1*q1 - a22 *a33 *n1*q1 - a22 *k1*n1 + a22 *k10*n1
3 3 3 3 3 3
- 4*a22 *a33 *n1*q1 - 4*a22 *a33*k1*n1 + 4*a22 *a33*k10*n1
2 4 2 2 3 2 2 3
- a22 *a33 *n1*q1 - 6*a22 *a33 *k1*n1 + 6*a22 *a33 *k10*n1
5 3 3 3 3 6
+ 2*a22*a33 *n1*q1 - 4*a22*a33 *k1*n1 + 4*a22*a33 *k10*n1 + a33 *n1*q1
4 3 4 3 7 6 5 2 4 3
- a33 *k1*n1 + a33 *k10*n1 )/(a22 + a22 *a33 - 3*a22 *a33 - 3*a22 *a33
3 4 2 5 6 7
+ 3*a22 *a33 + 3*a22 *a33 - a22*a33 - a33 )
q19=0
q18=0
2 2 2
a22 *b33*q1 - 2*a22*a33*b33*q1 + a33 *b33*q1 + b33*k10*n1
q17=------------------------------------------------------------
3 2 2
a22 - 2*a22 *a33 + a22*a33
q16=0
q15=0
1 4 2 4 2 4 2 3 2
q14=(---*a22 *b33 *q1 + a22 *k1*m2 + a22 *k10*m2 - 2*a22 *a33*k1*m2
4
3 2 1 2 2 2 2 2 2
- 2*a22 *a33*k10*m2 - ---*a22 *a33 *b33 *q1 + a22 *a33 *k1*m2
2
2 2 2 1 2 2 2 1 2 2 2
+ a22 *a33 *k10*m2 - ---*a22 *b33 *k1*n1 + ---*a22 *b33 *k10*n1
4 4
1 2 2 1 2 2 1 4 2
- ---*a22*a33*b33 *k1*n1 + ---*a22*a33*b33 *k10*n1 + ---*a33 *b33 *q1
2 2 4
1 2 2 2 1 2 2 2 6 4 2
- ---*a33 *b33 *k1*n1 + ---*a33 *b33 *k10*n1 )/(a22 - 2*a22 *a33
4 4
2 4
+ a22 *a33 )
- b33*k1*m2*n1 - b33*k10*m2*n1
q13=---------------------------------
3 2
a22 - a22*a33
q12=0
4 2 3 2 2 2 2
q11=( - 4*a22 *k1*m2 + 8*a22 *a33*k1*m2 - 4*a22 *a33 *k1*m2
2 2 2 2 2 2 2 2 5
+ a22 *b33 *k1*n1 + 2*a22*a33*b33 *k1*n1 + a33 *b33 *k1*n1 )/(a22 *b33
3 2 4
- 2*a22 *a33 *b33 + a22*a33 *b33)
2*k1*m2*n1
q10=-------------
2 2
a22 - a33
q9
1 2 2 1 2 1 2 2 1 2 2
---*a22 *b33 *q1 - ---*a22*a33*b33 *q1 + ---*a33 *b33 *q1 + ---*b33 *k10*n1
4 2 4 2
=------------------------------------------------------------------------------
4 3 2 2
a22 - 2*a22 *a33 + a22 *a33
q8=0
2*k1*m2*n1
q7=-------------
2 2
a22 - a33
q5=0
q4=0
4 2 4 2 4 2 3 2
q3=(a22 *b33 *q1 + 4*a22 *k1*m2 - 4*a22 *k10*m2 - 8*a22 *a33*k1*m2
3 2 2 2 2 2 2 2
+ 8*a22 *a33*k10*m2 - 2*a22 *a33 *b33 *q1 + 4*a22 *a33 *k1*m2
2 2 2 2 2 2 2 2 2
- 4*a22 *a33 *k10*m2 - a22 *b33 *k1*n1 + a22 *b33 *k10*n1
2 2 2 2 4 2
- 2*a22*a33*b33 *k1*n1 + 2*a22*a33*b33 *k10*n1 + a33 *b33 *q1
2 2 2 2 2 2 4 2 2 2 2
- a33 *b33 *k1*n1 + a33 *b33 *k10*n1 )/(a22 *b33 - 2*a22 *a33 *b33
4 2
+ a33 *b33 )
- 4*a22*k1*m2*n1 + 4*a22*k10*m2*n1
q2=-------------------------------------
2 2
a22 *b33 - a33 *b33
p50=0
p49
4 3 1 3 1 3
- 2*a22 *m2*p16 + 2*a22 *a33*m2*p16 - ---*b33 *k1*m2*n1 - ---*b33 *k10*m2*n1
2 4
=-------------------------------------------------------------------------------
3 2
a22 *b33*n1 + a22 *a33*b33*n1
4 3 1 3 1 3
a22 *p16 - a22 *a33*p16 + ---*b33 *k1*n1 + ---*b33 *k10*n1
4 8
p48=------------------------------------------------------------
4 3
a22 - a22 *a33
p47=0
6 5 4 2 3 3
p46=(4*a22 *m2*p16 - 4*a22 *a33*m2*p16 - 4*a22 *a33 *m2*p16 + 4*a22 *a33 *m2*p16
2 3 1 2 3 2 3
+ a22 *b33 *k1*m2*n1 - ---*a22 *b33 *k10*m2*n1 - a33 *b33 *k1*m2*n1
2
1 2 3 4 2 3 2
+ ---*a33 *b33 *k10*m2*n1)/(a22 *b33 *n1 + a22 *a33*b33 *n1
2
2 2 2 3 2
- a22 *a33 *b33 *n1 - a22*a33 *b33 *n1)
4 3 1 3 1 3
- 2*a22 *p16 + 2*a22 *a33*p16 - ---*b33 *k1*n1 + ---*b33 *k10*n1
2 4
p45=-------------------------------------------------------------------
3 2
a22 *b33 - a22 *a33*b33
p44=0
p43=0
2*b33*k1*m2 + b33*k10*m2
p42=--------------------------
2
a22 + a22*a33
p41=0
p40=0
p39=0
4 3 3 1 3
2*a22 *p16 - 2*a22 *a33*p16 - b33 *k1*n1 - ---*b33 *k10*n1
2
p38=------------------------------------------------------------
3 2
a22 *b33 - a22 *a33*b33
p37=0
p36=0
- 4*k1*m2 + 2*k10*m2
p35=-----------------------
a22 + a33
1
3*b33*k1*n1 - ---*b33*k10*n1
2
p34=------------------------------
2
a22 - a22*a33
p33=0
p32=0
p31=0
2
- 2*a22 *m2*p16 + 2*a22*a33*m2*p16
p30=-------------------------------------
a22*b33*n1 + a33*b33*n1
p29=p16
p28=0
3 2
4*a22 *m2*p16 - 4*a22 *a33*m2*p16
p27=-----------------------------------
2 2
a22*b33 *n1 + a33*b33 *n1
- 2*a22*p16
p26=--------------
b33
2
- 2*a22 *m2*p16 + 2*a22*a33*m2*p16
p25=-------------------------------------
a22*b33*n1 + a33*b33*n1
p24=0
2*a22*p16
p23=-----------
b33
k10*m2
p22=-----------
a22 + a33
p21=0
p20=0
2*k1*m2 + k10*m2
p19=------------------
a22 + a33
1
b33*k1*n1 + ---*b33*k10*n1
2
p18=----------------------------
2
a22 - a22*a33
2*k1*m2 + k10*m2
p17=------------------
a22 + a33
p15=0
3 2
4*a22 *m2*p16 - 4*a22 *a33*m2*p16
p14=-----------------------------------
2 2
a22*b33 *n1 + a33*b33 *n1
1
- ---*b33*k10*n1
2
p13=-------------------
2
a22 - a22*a33
p12=0
1
- b33*k1*n1 - ---*b33*k10*n1
2
p11=-------------------------------
2
a22 - a22*a33
p10=0
- 2*a22*k10*m2
p9=-------------------
a22*b33 + a33*b33
k10*n1
p8=-----------
a22 - a33
p7=0
p6=0
p5=0
- 4*a22*k1*m2 + 2*a22*k10*m2
p4=-------------------------------
a22*b33 + a33*b33
2*k1*n1 - k10*n1
p3=------------------
a22 - a33
- 4*a22*k1*m2 + 2*a22*k10*m2
p2=-------------------------------
a22*b33 + a33*b33
2*k1*n1 - k10*n1
p1=------------------
a22 - a33
k104=0
k103=0
4 3 1 3
- 2*a22 *p16 + 2*a22 *a33*p16 - ---*b33 *k1*n1
2
k102=-------------------------------------------------
3
a22 *n1
k101=0
k100=0
1 4 1 3 1 4
- ---*a22 *b33*p16 + ---*a22 *a33*b33*p16 - ---*b33 *k1*n1
2 2 8
k99=-------------------------------------------------------------
4
a22 *n1
k98=0
k97=0
k96=0
k95=0
1 4 1 3 1 4
- ---*a22 *b33*p16 + ---*a22 *a33*b33*p16 - ---*b33 *k1*n1
2 2 8
k94=-------------------------------------------------------------
4
a22 *n1
k93=0
k92=0
4 3 3 1 3
- 2*a22 *p16 + 2*a22 *a33*p16 + b33 *k1*n1 - ---*b33 *k10*n1
4
k91=---------------------------------------------------------------
2
a22 *b33*n1
k90=0
k89=0
4 3 1 3
- 2*a22 *p16 + 2*a22 *a33*p16 - ---*b33 *k1*n1
2
k88=-------------------------------------------------
2
a22 *b33*n1
k87=0
4 3 1 3
- 2*a22 *p16 + 2*a22 *a33*p16 - ---*b33 *k1*n1
2
k86=-------------------------------------------------
2
a22 *b33*n1
k85=0
k84=0
- 2*a22*p16 + 2*a33*p16
k83=--------------------------
n1
k82=0
k81=0
k80=0
k79=0
k78=0
k77=0
2
- 4*a22 *p16 + 4*a22*a33*p16
k76=-------------------------------
b33*n1
k75=0
k74=0
k73=0
k72=0
k71=0
- 2*a22*p16 + 2*a33*p16
k70=--------------------------
n1
k69=0
k68=0
k67=0
k66=0
b33*k10
k65=---------
a22
k64=0
k63=0
2*b33*k1
k62=----------
a22
k61=0
2*b33*k1
k60=----------
a22
k59=0
k58=0
k57=0
k56=0
1 4 1 3 1 4
- ---*a22 *b33*p16 + ---*a22 *a33*b33*p16 - ----*b33 *k1*n1
2 2 16
k55=--------------------------------------------------------------
4
a22 *n1
k54=0
k53=0
k52=0
k51=0
4 3 1 4
- a22 *b33*p16 + a22 *a33*b33*p16 - ---*b33 *k1*n1
8
k50=-----------------------------------------------------
4
a22 *n1
k49=0
k48=0
k47=0
k46=0
k45=0
2
- 4*a22 *p16 + 4*a22*a33*p16
k44=-------------------------------
b33*n1
k43=0
2
- 2*a22 *p16 + 2*a22*a33*p16
k42=-------------------------------
b33*n1
k41=0
k40=0
k39=0
k38=0
k37=0
k36=0
k35=0
k34=0
k33=0
k32=0
k31=0
k30=0
k29=0
k28=0
k27=0
k26=0
1 4 1 3 1 4
- ---*a22 *b33*p16 + ---*a22 *a33*b33*p16 - ----*b33 *k1*n1
2 2 16
k25=--------------------------------------------------------------
4
a22 *n1
k24=0
k23=0
k21=0
2
- 2*a22 *p16 + 2*a22*a33*p16
k20=-------------------------------
b33*n1
k19=0
k18=0
k17=0
k16=0
k14=0
k13=0
k12=k10
k11=0
k9=0
k8=0
k7=0
k6=0
k5=k1
k4=0
k3=2*k1
k2=0
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
q1,p16,k10,k1,n1,m2,b33,a33,a22
Relevance for the application:
The following expression INT is a first
integral for the Hamiltonian HAM:
4 2 4 2 4 3 2
HAM=(4*a22 *b33*u1 + 4*a22 *b33*u2 - 8*a22 *m2*u2 + 4*a22 *a33*b33*u3
3 3 2 3
+ 16*a22 *a33*m2*u2 + 4*a22 *b33 *u3*v3 + 4*a22 *b33*m2*v2
3 2 2 2 2 2 2
+ 4*a22 *b33*n1*u1 - 4*a22 *a33 *b33*u1 - 4*a22 *a33 *b33*u2
2 2 2 3 2 2 2
- 8*a22 *a33 *m2*u2 - a22 *b33 *v3 - 2*a22 *b33 *n1*v1
3 2 2 2 2
- 4*a22*a33 *b33*u3 - 4*a22*a33 *b33 *u3*v3 - 4*a22*a33 *b33*m2*v2
2 2 2 3 2
- 4*a22*a33 *b33*n1*u1 - 4*a22*a33*b33 *n1*v1 + a33 *b33 *v3
2 2 2 2
- 2*a33 *b33 *n1*v1)/(4*a22*b33*(a22 - a33 ))
11 2 2 11 2 2
INT=( - 32*a22 *b33*p16*u1 *v2 - 32*a22 *b33*p16*u1 *v3
11 2 2 11 2 2
- 32*a22 *b33*p16*u2 *v1 - 64*a22 *b33*p16*u2 *v2
11 2 2 11
- 32*a22 *b33*p16*u2 *v3 - 64*a22 *b33*p16*u2*u3*v2*v3
11 2 2 11 2
- 32*a22 *b33*p16*u3 *v3 + 64*a22 *m2*p16*u2*v1
11 2 11 2
+ 64*a22 *m2*p16*u2*v2 + 64*a22 *m2*p16*u2*v3
10 2 2 10 2 2
+ 64*a22 *a33*b33*p16*u1 *v2 + 64*a22 *a33*b33*p16*u1 *v3
10 2 2 10 2 2
+ 64*a22 *a33*b33*p16*u2 *v1 + 128*a22 *a33*b33*p16*u2 *v2
10 2 2 10
+ 64*a22 *a33*b33*p16*u2 *v3 + 128*a22 *a33*b33*p16*u2*u3*v2*v3
10 2 2 10 2
+ 64*a22 *a33*b33*p16*u3 *v3 - 192*a22 *a33*m2*p16*u2*v1
10 2 10 2
- 192*a22 *a33*m2*p16*u2*v2 - 192*a22 *a33*m2*p16*u2*v3
10 2 2 10 2 2
- 32*a22 *b33 *p16*u3*v1 *v3 - 32*a22 *b33 *p16*u3*v2 *v3
10 2 3 10 2
- 32*a22 *b33 *p16*u3*v3 - 32*a22 *b33*m2*p16*v1 *v2
10 3 10 2
- 32*a22 *b33*m2*p16*v2 - 32*a22 *b33*m2*p16*v2*v3
10 2 10 2
- 32*a22 *b33*n1*p16*u1*v2 - 32*a22 *b33*n1*p16*u1*v3
10 10
+ 32*a22 *b33*n1*p16*u2*v1*v2 + 32*a22 *b33*n1*p16*u3*v1*v3
9 2 2 2 9 2 2 2
+ 32*a22 *a33 *b33*p16*u1 *v2 + 32*a22 *a33 *b33*p16*u1 *v3
9 2 2 2 9 2 2 2
+ 32*a22 *a33 *b33*p16*u2 *v1 + 64*a22 *a33 *b33*p16*u2 *v2
9 2 2 2 9 2
+ 32*a22 *a33 *b33*p16*u2 *v3 + 64*a22 *a33 *b33*p16*u2*u3*v2*v3
9 2 2 2 9 2 2
+ 32*a22 *a33 *b33*p16*u3 *v3 + 128*a22 *a33 *m2*p16*u2*v1
9 2 2 9 2 2
+ 128*a22 *a33 *m2*p16*u2*v2 + 128*a22 *a33 *m2*p16*u2*v3
9 2 2 9 2 2
+ 64*a22 *a33*b33 *p16*u3*v1 *v3 + 64*a22 *a33*b33 *p16*u3*v2 *v3
9 2 3 9 2
+ 64*a22 *a33*b33 *p16*u3*v3 + 96*a22 *a33*b33*m2*p16*v1 *v2
9 3 9 2
+ 96*a22 *a33*b33*m2*p16*v2 + 96*a22 *a33*b33*m2*p16*v2*v3
9 2 9 2
+ 32*a22 *a33*b33*n1*p16*u1*v2 + 32*a22 *a33*b33*n1*p16*u1*v3
9 9
- 32*a22 *a33*b33*n1*p16*u2*v1*v2 - 32*a22 *a33*b33*n1*p16*u3*v1*v3
9 3 4 9 3 2 2 9 3 2 2
- 8*a22 *b33 *p16*v1 - 16*a22 *b33 *p16*v1 *v2 - 8*a22 *b33 *p16*v1 *v3
9 3 4 9 3 2 2 9 2 4
- 8*a22 *b33 *p16*v2 - 8*a22 *b33 *p16*v2 *v3 + 16*a22 *b33 *k1*n1*u1
9 2 2 2 9 2 4
+ 32*a22 *b33 *k1*n1*u1 *u2 + 16*a22 *b33 *k1*n1*u2
9 2 2 2 9 2 2 2
+ 16*a22 *b33 *k10*n1*u1 *u3 + 16*a22 *b33 *k10*n1*u2 *u3
9 2 3 9 2 2
+ 16*a22 *b33 *n1*p16*v1 + 16*a22 *b33 *n1*p16*v1*v2
9 2 2 9 2 2
+ 16*a22 *b33 *n1*p16*v1*v3 + 16*a22 *b33 *n1*q1*u1
9 2 2 9 2
+ 16*a22 *b33 *n1*q1*u2 - 64*a22 *b33*k1*m2*n1*u1 *u2
9 3 9 2
- 64*a22 *b33*k1*m2*n1*u2 + 32*a22 *b33*k10*m2*n1*u1 *u2
9 3 9 2
+ 32*a22 *b33*k10*m2*n1*u2 - 32*a22 *b33*k10*m2*n1*u2*u3
9 9 2 2 9 2 2
- 32*a22 *b33*m2*n1*q1*u2 + 64*a22 *k1*m2 *n1*u2 - 64*a22 *k10*m2 *n1*u2
8 3 2 2 8 3 2 2
- 128*a22 *a33 *b33*p16*u1 *v2 - 128*a22 *a33 *b33*p16*u1 *v3
8 3 2 2 8 3 2 2
- 128*a22 *a33 *b33*p16*u2 *v1 - 256*a22 *a33 *b33*p16*u2 *v2
8 3 2 2 8 3
- 128*a22 *a33 *b33*p16*u2 *v3 - 256*a22 *a33 *b33*p16*u2*u3*v2*v3
8 3 2 2 8 3 2
- 128*a22 *a33 *b33*p16*u3 *v3 + 128*a22 *a33 *m2*p16*u2*v1
8 3 2 8 3 2
+ 128*a22 *a33 *m2*p16*u2*v2 + 128*a22 *a33 *m2*p16*u2*v3
8 2 2 2 8 2 2 2
+ 32*a22 *a33 *b33 *p16*u3*v1 *v3 + 32*a22 *a33 *b33 *p16*u3*v2 *v3
8 2 2 3 8 2 2
+ 32*a22 *a33 *b33 *p16*u3*v3 - 64*a22 *a33 *b33*m2*p16*v1 *v2
8 2 3 8 2 2
- 64*a22 *a33 *b33*m2*p16*v2 - 64*a22 *a33 *b33*m2*p16*v2*v3
8 2 2 8 2 2
+ 64*a22 *a33 *b33*n1*p16*u1*v2 + 64*a22 *a33 *b33*n1*p16*u1*v3
8 2 8 2
- 64*a22 *a33 *b33*n1*p16*u2*v1*v2 - 64*a22 *a33 *b33*n1*p16*u3*v1*v3
8 3 4 8 3 2 2
+ 16*a22 *a33*b33 *p16*v1 + 32*a22 *a33*b33 *p16*v1 *v2
8 3 2 2 8 3 4
+ 16*a22 *a33*b33 *p16*v1 *v3 + 16*a22 *a33*b33 *p16*v2
8 3 2 2 8 2 4
+ 16*a22 *a33*b33 *p16*v2 *v3 - 16*a22 *a33*b33 *k1*n1*u1
8 2 2 2 8 2 4
- 32*a22 *a33*b33 *k1*n1*u1 *u2 - 16*a22 *a33*b33 *k1*n1*u2
8 2 2 2 8 2 2 2
- 16*a22 *a33*b33 *k10*n1*u1 *u3 - 16*a22 *a33*b33 *k10*n1*u2 *u3
8 2 3 8 2 2
- 16*a22 *a33*b33 *n1*p16*v1 - 16*a22 *a33*b33 *n1*p16*v1*v2
8 2 2 8 2 2
- 16*a22 *a33*b33 *n1*p16*v1*v3 - 16*a22 *a33*b33 *n1*q1*u1
8 2 2 8 2
- 16*a22 *a33*b33 *n1*q1*u2 + 128*a22 *a33*b33*k1*m2*n1*u1 *u2
8 3 8 2
+ 128*a22 *a33*b33*k1*m2*n1*u2 - 64*a22 *a33*b33*k10*m2*n1*u1 *u2
8 3 8 2
- 64*a22 *a33*b33*k10*m2*n1*u2 + 64*a22 *a33*b33*k10*m2*n1*u2*u3
8 8 2 2
+ 64*a22 *a33*b33*m2*n1*q1*u2 - 192*a22 *a33*k1*m2 *n1*u2
8 2 2 8 3 2
+ 192*a22 *a33*k10*m2 *n1*u2 + 32*a22 *b33 *k1*n1*u1 *u3*v3
8 3 2 8 3 3
+ 32*a22 *b33 *k1*n1*u2 *u3*v3 + 16*a22 *b33 *k10*n1*u3 *v3
8 3 8 2 2
+ 16*a22 *b33 *n1*q1*u3*v3 + 32*a22 *b33 *k1*m2*n1*u1 *v2
8 2 2 8 2
+ 32*a22 *b33 *k1*m2*n1*u2 *v2 - 64*a22 *b33 *k1*m2*n1*u2*u3*v3
8 2 2 3 8 2 2 2
+ 32*a22 *b33 *k1*n1 *u1 + 32*a22 *b33 *k1*n1 *u1*u2
8 2 2 8 2 2
+ 16*a22 *b33 *k10*m2*n1*u1 *v2 + 16*a22 *b33 *k10*m2*n1*u2 *v2
8 2 8 2 2
+ 32*a22 *b33 *k10*m2*n1*u2*u3*v3 + 16*a22 *b33 *k10*m2*n1*u3 *v2
8 2 2 3 8 2 2 2
- 16*a22 *b33 *k10*n1 *u1 - 16*a22 *b33 *k10*n1 *u1*u2
8 2 2 2 8 2
+ 16*a22 *b33 *k10*n1 *u1*u3 + 16*a22 *b33 *m2*n1*q1*v2
8 2 2 8 2
+ 16*a22 *b33 *n1 *q1*u1 - 64*a22 *b33*k1*m2 *n1*u2*v2
8 2 8 2
- 64*a22 *b33*k1*m2*n1 *u1*u2 + 64*a22 *b33*k10*m2*n1 *u1*u2
7 4 2 2 7 4 2 2
+ 32*a22 *a33 *b33*p16*u1 *v2 + 32*a22 *a33 *b33*p16*u1 *v3
7 4 2 2 7 4 2 2
+ 32*a22 *a33 *b33*p16*u2 *v1 + 64*a22 *a33 *b33*p16*u2 *v2
7 4 2 2 7 4
+ 32*a22 *a33 *b33*p16*u2 *v3 + 64*a22 *a33 *b33*p16*u2*u3*v2*v3
7 4 2 2 7 4 2
+ 32*a22 *a33 *b33*p16*u3 *v3 - 192*a22 *a33 *m2*p16*u2*v1
7 4 2 7 4 2
- 192*a22 *a33 *m2*p16*u2*v2 - 192*a22 *a33 *m2*p16*u2*v3
7 3 2 2 7 3 2 2
- 128*a22 *a33 *b33 *p16*u3*v1 *v3 - 128*a22 *a33 *b33 *p16*u3*v2 *v3
7 3 2 3 7 3 2
- 128*a22 *a33 *b33 *p16*u3*v3 - 64*a22 *a33 *b33*m2*p16*v1 *v2
7 3 3 7 3 2
- 64*a22 *a33 *b33*m2*p16*v2 - 64*a22 *a33 *b33*m2*p16*v2*v3
7 3 2 7 3 2
- 64*a22 *a33 *b33*n1*p16*u1*v2 - 64*a22 *a33 *b33*n1*p16*u1*v3
7 3 7 3
+ 64*a22 *a33 *b33*n1*p16*u2*v1*v2 + 64*a22 *a33 *b33*n1*p16*u3*v1*v3
7 2 3 4 7 2 3 2 2
+ 8*a22 *a33 *b33 *p16*v1 + 16*a22 *a33 *b33 *p16*v1 *v2
7 2 3 2 2 7 2 3 4
+ 8*a22 *a33 *b33 *p16*v1 *v3 + 8*a22 *a33 *b33 *p16*v2
7 2 3 2 2 7 2 2 4
+ 8*a22 *a33 *b33 *p16*v2 *v3 - 32*a22 *a33 *b33 *k1*n1*u1
7 2 2 2 2 7 2 2 4
- 64*a22 *a33 *b33 *k1*n1*u1 *u2 - 32*a22 *a33 *b33 *k1*n1*u2
7 2 2 2 2 7 2 2 2 2
- 32*a22 *a33 *b33 *k10*n1*u1 *u3 - 32*a22 *a33 *b33 *k10*n1*u2 *u3
7 2 2 3 7 2 2 2
- 32*a22 *a33 *b33 *n1*p16*v1 - 32*a22 *a33 *b33 *n1*p16*v1*v2
7 2 2 2 7 2 2 2
- 32*a22 *a33 *b33 *n1*p16*v1*v3 - 32*a22 *a33 *b33 *n1*q1*u1
7 2 2 2 7 2 2 2
- 32*a22 *a33 *b33 *n1*q1*u2 + 192*a22 *a33 *k1*m2 *n1*u2
7 2 2 2 7 3 2
- 192*a22 *a33 *k10*m2 *n1*u2 - 32*a22 *a33*b33 *k1*n1*u1 *u3*v3
7 3 2 7 3 3
- 32*a22 *a33*b33 *k1*n1*u2 *u3*v3 - 16*a22 *a33*b33 *k10*n1*u3 *v3
7 3 7 2 2
- 16*a22 *a33*b33 *n1*q1*u3*v3 - 64*a22 *a33*b33 *k1*m2*n1*u1 *v2
7 2 2 7 2
- 64*a22 *a33*b33 *k1*m2*n1*u2 *v2 + 128*a22 *a33*b33 *k1*m2*n1*u2*u3*v3
7 2 2 7 2 2
- 32*a22 *a33*b33 *k10*m2*n1*u1 *v2 - 32*a22 *a33*b33 *k10*m2*n1*u2 *v2
7 2 7 2 2
- 64*a22 *a33*b33 *k10*m2*n1*u2*u3*v3 - 32*a22 *a33*b33 *k10*m2*n1*u3 *v2
7 2 7 2
- 32*a22 *a33*b33 *m2*n1*q1*v2 + 192*a22 *a33*b33*k1*m2 *n1*u2*v2
7 2 7 2
+ 64*a22 *a33*b33*k1*m2*n1 *u1*u2 - 64*a22 *a33*b33*k10*m2*n1 *u1*u2
7 4 2 2 7 4 2 2
- 8*a22 *b33 *k1*n1*u1 *v3 - 8*a22 *b33 *k1*n1*u2 *v3
7 4 2 2 7 4 2 2
+ 16*a22 *b33 *k1*n1*u3 *v3 - 4*a22 *b33 *k10*n1*u3 *v3
7 4 2 7 4 2
+ 4*a22 *b33 *n1*q1*v1 + 4*a22 *b33 *n1*q1*v2
7 3 2 7 3
+ 16*a22 *b33 *k1*m2*n1*u2*v3 + 32*a22 *b33 *k1*m2*n1*u3*v2*v3
7 3 2 7 3 2
+ 16*a22 *b33 *k1*n1 *u1*u2*v2 + 48*a22 *b33 *k1*n1 *u1*u3*v3
7 3 2 2 7 3 2
- 16*a22 *b33 *k1*n1 *u2 *v1 - 8*a22 *b33 *k10*m2*n1*u2*v3
7 3 7 3 2
+ 16*a22 *b33 *k10*m2*n1*u3*v2*v3 + 8*a22 *b33 *k10*n1 *u1*u2*v2
7 3 2 7 3 2 2
- 8*a22 *b33 *k10*n1 *u1*u3*v3 - 8*a22 *b33 *k10*n1 *u2 *v1
7 3 2 2 7 3 2
- 8*a22 *b33 *k10*n1 *u3 *v1 - 8*a22 *b33 *n1 *q1*v1
7 2 2 2 7 2 2
+ 16*a22 *b33 *k1*m2 *n1*v2 + 32*a22 *b33 *k1*m2*n1 *u1*v2
7 2 2 7 2 3 2
+ 32*a22 *b33 *k1*m2*n1 *u2*v1 - 16*a22 *b33 *k1*n1 *u2
7 2 2 2 7 2 3 2
+ 16*a22 *b33 *k10*m2 *n1*v2 + 16*a22 *b33 *k10*n1 *u2
7 3 7 3
+ 32*a22 *b33*k1*m2*n1 *u2 - 32*a22 *b33*k10*m2*n1 *u2
6 5 2 2 6 5 2 2
+ 64*a22 *a33 *b33*p16*u1 *v2 + 64*a22 *a33 *b33*p16*u1 *v3
6 5 2 2 6 5 2 2
+ 64*a22 *a33 *b33*p16*u2 *v1 + 128*a22 *a33 *b33*p16*u2 *v2
6 5 2 2 6 5
+ 64*a22 *a33 *b33*p16*u2 *v3 + 128*a22 *a33 *b33*p16*u2*u3*v2*v3
6 5 2 2 6 5 2
+ 64*a22 *a33 *b33*p16*u3 *v3 + 64*a22 *a33 *m2*p16*u2*v1
6 5 2 6 5 2
+ 64*a22 *a33 *m2*p16*u2*v2 + 64*a22 *a33 *m2*p16*u2*v3
6 4 2 2 6 4 2 2
+ 32*a22 *a33 *b33 *p16*u3*v1 *v3 + 32*a22 *a33 *b33 *p16*u3*v2 *v3
6 4 2 3 6 4 2
+ 32*a22 *a33 *b33 *p16*u3*v3 + 96*a22 *a33 *b33*m2*p16*v1 *v2
6 4 3 6 4 2
+ 96*a22 *a33 *b33*m2*p16*v2 + 96*a22 *a33 *b33*m2*p16*v2*v3
6 4 2 6 4 2
- 32*a22 *a33 *b33*n1*p16*u1*v2 - 32*a22 *a33 *b33*n1*p16*u1*v3
6 4 6 4
+ 32*a22 *a33 *b33*n1*p16*u2*v1*v2 + 32*a22 *a33 *b33*n1*p16*u3*v1*v3
6 3 3 4 6 3 3 2 2
- 32*a22 *a33 *b33 *p16*v1 - 64*a22 *a33 *b33 *p16*v1 *v2
6 3 3 2 2 6 3 3 4
- 32*a22 *a33 *b33 *p16*v1 *v3 - 32*a22 *a33 *b33 *p16*v2
6 3 3 2 2 6 3 2 4
- 32*a22 *a33 *b33 *p16*v2 *v3 + 32*a22 *a33 *b33 *k1*n1*u1
6 3 2 2 2 6 3 2 4
+ 64*a22 *a33 *b33 *k1*n1*u1 *u2 + 32*a22 *a33 *b33 *k1*n1*u2
6 3 2 2 2 6 3 2 2 2
+ 32*a22 *a33 *b33 *k10*n1*u1 *u3 + 32*a22 *a33 *b33 *k10*n1*u2 *u3
6 3 2 3 6 3 2 2
+ 32*a22 *a33 *b33 *n1*p16*v1 + 32*a22 *a33 *b33 *n1*p16*v1*v2
6 3 2 2 6 3 2 2
+ 32*a22 *a33 *b33 *n1*p16*v1*v3 + 32*a22 *a33 *b33 *n1*q1*u1
6 3 2 2 6 3 2
+ 32*a22 *a33 *b33 *n1*q1*u2 - 128*a22 *a33 *b33*k1*m2*n1*u1 *u2
6 3 3 6 3 2
- 128*a22 *a33 *b33*k1*m2*n1*u2 + 64*a22 *a33 *b33*k10*m2*n1*u1 *u2
6 3 3 6 3 2
+ 64*a22 *a33 *b33*k10*m2*n1*u2 - 64*a22 *a33 *b33*k10*m2*n1*u2*u3
6 3 6 3 2 2
- 64*a22 *a33 *b33*m2*n1*q1*u2 - 64*a22 *a33 *k1*m2 *n1*u2
6 3 2 2 6 2 3 2
+ 64*a22 *a33 *k10*m2 *n1*u2 - 64*a22 *a33 *b33 *k1*n1*u1 *u3*v3
6 2 3 2 6 2 3 3
- 64*a22 *a33 *b33 *k1*n1*u2 *u3*v3 - 32*a22 *a33 *b33 *k10*n1*u3 *v3
6 2 3 6 2 2 2 3
- 32*a22 *a33 *b33 *n1*q1*u3*v3 - 64*a22 *a33 *b33 *k1*n1 *u1
6 2 2 2 2 6 2 2 2 3
- 64*a22 *a33 *b33 *k1*n1 *u1*u2 + 32*a22 *a33 *b33 *k10*n1 *u1
6 2 2 2 2 6 2 2 2 2
+ 32*a22 *a33 *b33 *k10*n1 *u1*u2 - 32*a22 *a33 *b33 *k10*n1 *u1*u3
6 2 2 2 6 2 2
- 32*a22 *a33 *b33 *n1 *q1*u1 - 192*a22 *a33 *b33*k1*m2 *n1*u2*v2
6 2 2 6 2 2
+ 64*a22 *a33 *b33*k1*m2*n1 *u1*u2 - 64*a22 *a33 *b33*k10*m2*n1 *u1*u2
6 4 2 2 6 4 2 2
+ 8*a22 *a33*b33 *k1*n1*u1 *v3 + 8*a22 *a33*b33 *k1*n1*u2 *v3
6 4 2 2 6 4 2 2
- 16*a22 *a33*b33 *k1*n1*u3 *v3 + 4*a22 *a33*b33 *k10*n1*u3 *v3
6 4 2 6 4 2
- 4*a22 *a33*b33 *n1*q1*v1 - 4*a22 *a33*b33 *n1*q1*v2
6 3 2 6 3
- 32*a22 *a33*b33 *k1*m2*n1*u2*v3 - 64*a22 *a33*b33 *k1*m2*n1*u3*v2*v3
6 3 2 6 3
+ 16*a22 *a33*b33 *k10*m2*n1*u2*v3 - 32*a22 *a33*b33 *k10*m2*n1*u3*v2*v3
6 2 2 2 6 2 2
- 48*a22 *a33*b33 *k1*m2 *n1*v2 - 32*a22 *a33*b33 *k1*m2*n1 *u1*v2
6 2 2 6 2 3 2
- 32*a22 *a33*b33 *k1*m2*n1 *u2*v1 - 16*a22 *a33*b33 *k1*n1 *u2
6 2 2 2 6 2 3 2
- 48*a22 *a33*b33 *k10*m2 *n1*v2 + 16*a22 *a33*b33 *k10*n1 *u2
6 5 3 6 4 2
- 8*a22 *b33 *k1*n1*u3*v3 - 8*a22 *b33 *k1*m2*n1*v2*v3
6 4 2 2 6 4 2
- 8*a22 *b33 *k1*n1 *u1*v3 - 16*a22 *b33 *k1*n1 *u3*v1*v3
6 4 2 6 4 2 2
- 4*a22 *b33 *k10*m2*n1*v2*v3 + 4*a22 *b33 *k10*n1 *u1*v3
6 4 2 6 3 2
- 8*a22 *b33 *k10*n1 *u3*v1*v3 - 16*a22 *b33 *k1*m2*n1 *v1*v2
6 3 3 6 3 2
+ 16*a22 *b33 *k1*n1 *u2*v2 - 16*a22 *b33 *k10*m2*n1 *v1*v2
6 3 3 6 2 3
+ 16*a22 *b33 *k10*n1 *u3*v3 - 16*a22 *b33 *k1*m2*n1 *v2
6 2 4 6 2 3
- 16*a22 *b33 *k1*n1 *u1 + 16*a22 *b33 *k10*m2*n1 *v2
6 2 4 5 6 2 2
+ 16*a22 *b33 *k10*n1 *u1 - 32*a22 *a33 *b33*p16*u1 *v2
5 6 2 2 5 6 2 2
- 32*a22 *a33 *b33*p16*u1 *v3 - 32*a22 *a33 *b33*p16*u2 *v1
5 6 2 2 5 6 2 2
- 64*a22 *a33 *b33*p16*u2 *v2 - 32*a22 *a33 *b33*p16*u2 *v3
5 6 5 6 2 2
- 64*a22 *a33 *b33*p16*u2*u3*v2*v3 - 32*a22 *a33 *b33*p16*u3 *v3
5 5 2 2 5 5 2 2
+ 64*a22 *a33 *b33 *p16*u3*v1 *v3 + 64*a22 *a33 *b33 *p16*u3*v2 *v3
5 5 2 3 5 5 2
+ 64*a22 *a33 *b33 *p16*u3*v3 - 32*a22 *a33 *b33*m2*p16*v1 *v2
5 5 3 5 5 2
- 32*a22 *a33 *b33*m2*p16*v2 - 32*a22 *a33 *b33*m2*p16*v2*v3
5 5 2 5 5 2
+ 32*a22 *a33 *b33*n1*p16*u1*v2 + 32*a22 *a33 *b33*n1*p16*u1*v3
5 5 5 5
- 32*a22 *a33 *b33*n1*p16*u2*v1*v2 - 32*a22 *a33 *b33*n1*p16*u3*v1*v3
5 4 3 4 5 4 3 2 2
+ 8*a22 *a33 *b33 *p16*v1 + 16*a22 *a33 *b33 *p16*v1 *v2
5 4 3 2 2 5 4 3 4
+ 8*a22 *a33 *b33 *p16*v1 *v3 + 8*a22 *a33 *b33 *p16*v2
5 4 3 2 2 5 4 2 4
+ 8*a22 *a33 *b33 *p16*v2 *v3 + 16*a22 *a33 *b33 *k1*n1*u1
5 4 2 2 2 5 4 2 4
+ 32*a22 *a33 *b33 *k1*n1*u1 *u2 + 16*a22 *a33 *b33 *k1*n1*u2
5 4 2 2 2 5 4 2 2 2
+ 16*a22 *a33 *b33 *k10*n1*u1 *u3 + 16*a22 *a33 *b33 *k10*n1*u2 *u3
5 4 2 3 5 4 2 2
+ 16*a22 *a33 *b33 *n1*p16*v1 + 16*a22 *a33 *b33 *n1*p16*v1*v2
5 4 2 2 5 4 2 2
+ 16*a22 *a33 *b33 *n1*p16*v1*v3 + 16*a22 *a33 *b33 *n1*q1*u1
5 4 2 2 5 4 2
+ 16*a22 *a33 *b33 *n1*q1*u2 + 64*a22 *a33 *b33*k1*m2*n1*u1 *u2
5 4 3 5 4 2
+ 64*a22 *a33 *b33*k1*m2*n1*u2 - 32*a22 *a33 *b33*k10*m2*n1*u1 *u2
5 4 3 5 4 2
- 32*a22 *a33 *b33*k10*m2*n1*u2 + 32*a22 *a33 *b33*k10*m2*n1*u2*u3
5 4 5 3 3 2
+ 32*a22 *a33 *b33*m2*n1*q1*u2 + 64*a22 *a33 *b33 *k1*n1*u1 *u3*v3
5 3 3 2 5 3 3 3
+ 64*a22 *a33 *b33 *k1*n1*u2 *u3*v3 + 32*a22 *a33 *b33 *k10*n1*u3 *v3
5 3 3 5 3 2 2
+ 32*a22 *a33 *b33 *n1*q1*u3*v3 + 64*a22 *a33 *b33 *k1*m2*n1*u1 *v2
5 3 2 2 5 3 2
+ 64*a22 *a33 *b33 *k1*m2*n1*u2 *v2 - 128*a22 *a33 *b33 *k1*m2*n1*u2*u3*v3
5 3 2 2 5 3 2 2
+ 32*a22 *a33 *b33 *k10*m2*n1*u1 *v2 + 32*a22 *a33 *b33 *k10*m2*n1*u2 *v2
5 3 2
+ 64*a22 *a33 *b33 *k10*m2*n1*u2*u3*v3
5 3 2 2 5 3 2
+ 32*a22 *a33 *b33 *k10*m2*n1*u3 *v2 + 32*a22 *a33 *b33 *m2*n1*q1*v2
5 3 2 5 3 2
+ 64*a22 *a33 *b33*k1*m2 *n1*u2*v2 - 64*a22 *a33 *b33*k1*m2*n1 *u1*u2
5 3 2 5 2 4 2 2
+ 64*a22 *a33 *b33*k10*m2*n1 *u1*u2 + 16*a22 *a33 *b33 *k1*n1*u1 *v3
5 2 4 2 2 5 2 4 2 2
+ 16*a22 *a33 *b33 *k1*n1*u2 *v3 - 32*a22 *a33 *b33 *k1*n1*u3 *v3
5 2 4 2 2 5 2 4 2
+ 8*a22 *a33 *b33 *k10*n1*u3 *v3 - 8*a22 *a33 *b33 *n1*q1*v1
5 2 4 2 5 2 3 2
- 8*a22 *a33 *b33 *n1*q1*v2 - 32*a22 *a33 *b33 *k1*n1 *u1*u2*v2
5 2 3 2 5 2 3 2 2
- 96*a22 *a33 *b33 *k1*n1 *u1*u3*v3 + 32*a22 *a33 *b33 *k1*n1 *u2 *v1
5 2 3 2 5 2 3 2
- 16*a22 *a33 *b33 *k10*n1 *u1*u2*v2 + 16*a22 *a33 *b33 *k10*n1 *u1*u3*v3
5 2 3 2 2 5 2 3 2 2
+ 16*a22 *a33 *b33 *k10*n1 *u2 *v1 + 16*a22 *a33 *b33 *k10*n1 *u3 *v1
5 2 3 2 5 2 2 2 2
+ 16*a22 *a33 *b33 *n1 *q1*v1 + 48*a22 *a33 *b33 *k1*m2 *n1*v2
5 2 2 2 5 2 2 2
- 32*a22 *a33 *b33 *k1*m2*n1 *u1*v2 - 32*a22 *a33 *b33 *k1*m2*n1 *u2*v1
5 2 2 3 2 5 2 2 2 2
+ 16*a22 *a33 *b33 *k1*n1 *u2 + 48*a22 *a33 *b33 *k10*m2 *n1*v2
5 2 2 3 2 5 2 3
- 16*a22 *a33 *b33 *k10*n1 *u2 - 32*a22 *a33 *b33*k1*m2*n1 *u2
5 2 3 5 5 3
+ 32*a22 *a33 *b33*k10*m2*n1 *u2 + 8*a22 *a33*b33 *k1*n1*u3*v3
5 4 2 5 4 2
+ 16*a22 *a33*b33 *k1*m2*n1*v2*v3 + 8*a22 *a33*b33 *k10*m2*n1*v2*v3
5 3 2 5 3 3
+ 16*a22 *a33*b33 *k1*m2*n1 *v1*v2 + 16*a22 *a33*b33 *k1*n1 *u2*v2
5 3 2 5 3 3
+ 16*a22 *a33*b33 *k10*m2*n1 *v1*v2 + 16*a22 *a33*b33 *k10*n1 *u3*v3
5 2 4 5 2 4
- 32*a22 *a33*b33 *k1*n1 *u1 + 32*a22 *a33*b33 *k10*n1 *u1
5 6 4 5 6 2 2
- a22 *b33 *k1*n1*v1 - 2*a22 *b33 *k1*n1*v1 *v2
5 6 2 2 5 6 4
- 2*a22 *b33 *k1*n1*v1 *v3 - a22 *b33 *k1*n1*v2
5 6 2 2 5 5 2 2
- 2*a22 *b33 *k1*n1*v2 *v3 + 4*a22 *b33 *k1*n1 *v1*v3
5 5 2 2 5 4 3 2
+ 2*a22 *b33 *k10*n1 *v1*v3 - 4*a22 *b33 *k1*n1 *v2
5 4 3 2 5 4 3 2
+ 8*a22 *b33 *k10*n1 *v1 + 4*a22 *b33 *k10*n1 *v2
5 3 4 5 3 4
+ 8*a22 *b33 *k1*n1 *v1 - 8*a22 *b33 *k10*n1 *v1
4 6 2 2 4 6 2 2
- 32*a22 *a33 *b33 *p16*u3*v1 *v3 - 32*a22 *a33 *b33 *p16*u3*v2 *v3
4 6 2 3 4 5 3 4
- 32*a22 *a33 *b33 *p16*u3*v3 + 16*a22 *a33 *b33 *p16*v1
4 5 3 2 2 4 5 3 2 2
+ 32*a22 *a33 *b33 *p16*v1 *v2 + 16*a22 *a33 *b33 *p16*v1 *v3
4 5 3 4 4 5 3 2 2
+ 16*a22 *a33 *b33 *p16*v2 + 16*a22 *a33 *b33 *p16*v2 *v3
4 5 2 4 4 5 2 2 2
- 16*a22 *a33 *b33 *k1*n1*u1 - 32*a22 *a33 *b33 *k1*n1*u1 *u2
4 5 2 4 4 5 2 2 2
- 16*a22 *a33 *b33 *k1*n1*u2 - 16*a22 *a33 *b33 *k10*n1*u1 *u3
4 5 2 2 2 4 5 2 3
- 16*a22 *a33 *b33 *k10*n1*u2 *u3 - 16*a22 *a33 *b33 *n1*p16*v1
4 5 2 2 4 5 2 2
- 16*a22 *a33 *b33 *n1*p16*v1*v2 - 16*a22 *a33 *b33 *n1*p16*v1*v3
4 5 2 2 4 5 2 2
- 16*a22 *a33 *b33 *n1*q1*u1 - 16*a22 *a33 *b33 *n1*q1*u2
4 4 3 2 4 4 3 2
+ 32*a22 *a33 *b33 *k1*n1*u1 *u3*v3 + 32*a22 *a33 *b33 *k1*n1*u2 *u3*v3
4 4 3 3 4 4 3
+ 16*a22 *a33 *b33 *k10*n1*u3 *v3 + 16*a22 *a33 *b33 *n1*q1*u3*v3
4 4 2 2 4 4 2 2
- 32*a22 *a33 *b33 *k1*m2*n1*u1 *v2 - 32*a22 *a33 *b33 *k1*m2*n1*u2 *v2
4 4 2 4 4 2 2 3
+ 64*a22 *a33 *b33 *k1*m2*n1*u2*u3*v3 + 32*a22 *a33 *b33 *k1*n1 *u1
4 4 2 2 2 4 4 2 2
+ 32*a22 *a33 *b33 *k1*n1 *u1*u2 - 16*a22 *a33 *b33 *k10*m2*n1*u1 *v2
4 4 2 2
- 16*a22 *a33 *b33 *k10*m2*n1*u2 *v2
4 4 2
- 32*a22 *a33 *b33 *k10*m2*n1*u2*u3*v3
4 4 2 2 4 4 2 2 3
- 16*a22 *a33 *b33 *k10*m2*n1*u3 *v2 - 16*a22 *a33 *b33 *k10*n1 *u1
4 4 2 2 2 4 4 2 2 2
- 16*a22 *a33 *b33 *k10*n1 *u1*u2 + 16*a22 *a33 *b33 *k10*n1 *u1*u3
4 4 2 4 4 2 2
- 16*a22 *a33 *b33 *m2*n1*q1*v2 + 16*a22 *a33 *b33 *n1 *q1*u1
4 3 4 2 2 4 3 4 2 2
- 16*a22 *a33 *b33 *k1*n1*u1 *v3 - 16*a22 *a33 *b33 *k1*n1*u2 *v3
4 3 4 2 2 4 3 4 2 2
+ 32*a22 *a33 *b33 *k1*n1*u3 *v3 - 8*a22 *a33 *b33 *k10*n1*u3 *v3
4 3 4 2 4 3 4 2
+ 8*a22 *a33 *b33 *n1*q1*v1 + 8*a22 *a33 *b33 *n1*q1*v2
4 3 3 2 4 3 3
+ 32*a22 *a33 *b33 *k1*m2*n1*u2*v3 + 64*a22 *a33 *b33 *k1*m2*n1*u3*v2*v3
4 3 3 2
- 16*a22 *a33 *b33 *k10*m2*n1*u2*v3
4 3 3 4 3 2 2 2
+ 32*a22 *a33 *b33 *k10*m2*n1*u3*v2*v3 - 16*a22 *a33 *b33 *k1*m2 *n1*v2
4 3 2 2 4 3 2 2
+ 32*a22 *a33 *b33 *k1*m2*n1 *u1*v2 + 32*a22 *a33 *b33 *k1*m2*n1 *u2*v1
4 3 2 3 2 4 3 2 2 2
+ 16*a22 *a33 *b33 *k1*n1 *u2 - 16*a22 *a33 *b33 *k10*m2 *n1*v2
4 3 2 3 2 4 2 5 3
- 16*a22 *a33 *b33 *k10*n1 *u2 + 16*a22 *a33 *b33 *k1*n1*u3*v3
4 2 4 2 2 4 2 4 2
+ 16*a22 *a33 *b33 *k1*n1 *u1*v3 + 32*a22 *a33 *b33 *k1*n1 *u3*v1*v3
4 2 4 2 2 4 2 4 2
- 8*a22 *a33 *b33 *k10*n1 *u1*v3 + 16*a22 *a33 *b33 *k10*n1 *u3*v1*v3
4 2 3 2 4 2 3 3
+ 16*a22 *a33 *b33 *k1*m2*n1 *v1*v2 - 16*a22 *a33 *b33 *k1*n1 *u2*v2
4 2 3 2 4 2 3 3
+ 16*a22 *a33 *b33 *k10*m2*n1 *v1*v2 - 16*a22 *a33 *b33 *k10*n1 *u3*v3
4 2 2 3 4 2 2 4
+ 16*a22 *a33 *b33 *k1*m2*n1 *v2 - 16*a22 *a33 *b33 *k1*n1 *u1
4 2 2 3 4 2 2 4
- 16*a22 *a33 *b33 *k10*m2*n1 *v2 + 16*a22 *a33 *b33 *k10*n1 *u1
4 6 4 4 6 2 2
+ a22 *a33*b33 *k1*n1*v1 + 2*a22 *a33*b33 *k1*n1*v1 *v2
4 6 2 2 4 6 4
+ 2*a22 *a33*b33 *k1*n1*v1 *v3 + a22 *a33*b33 *k1*n1*v2
4 6 2 2 4 4 3 2
+ 2*a22 *a33*b33 *k1*n1*v2 *v3 - 4*a22 *a33*b33 *k1*n1 *v2
4 4 3 2 4 4 3 2
+ 8*a22 *a33*b33 *k10*n1 *v1 + 4*a22 *a33*b33 *k10*n1 *v2
4 3 4 4 3 4
+ 16*a22 *a33*b33 *k1*n1 *v1 - 16*a22 *a33*b33 *k10*n1 *v1
3 6 3 4 3 6 3 2 2
- 8*a22 *a33 *b33 *p16*v1 - 16*a22 *a33 *b33 *p16*v1 *v2
3 6 3 2 2 3 6 3 4
- 8*a22 *a33 *b33 *p16*v1 *v3 - 8*a22 *a33 *b33 *p16*v2
3 6 3 2 2 3 5 3 2
- 8*a22 *a33 *b33 *p16*v2 *v3 - 32*a22 *a33 *b33 *k1*n1*u1 *u3*v3
3 5 3 2 3 5 3 3
- 32*a22 *a33 *b33 *k1*n1*u2 *u3*v3 - 16*a22 *a33 *b33 *k10*n1*u3 *v3
3 5 3 3 4 4 2 2
- 16*a22 *a33 *b33 *n1*q1*u3*v3 - 8*a22 *a33 *b33 *k1*n1*u1 *v3
3 4 4 2 2 3 4 4 2 2
- 8*a22 *a33 *b33 *k1*n1*u2 *v3 + 16*a22 *a33 *b33 *k1*n1*u3 *v3
3 4 4 2 2 3 4 4 2
- 4*a22 *a33 *b33 *k10*n1*u3 *v3 + 4*a22 *a33 *b33 *n1*q1*v1
3 4 4 2 3 4 3 2
+ 4*a22 *a33 *b33 *n1*q1*v2 - 16*a22 *a33 *b33 *k1*m2*n1*u2*v3
3 4 3 3 4 3 2
- 32*a22 *a33 *b33 *k1*m2*n1*u3*v2*v3 + 16*a22 *a33 *b33 *k1*n1 *u1*u2*v2
3 4 3 2 3 4 3 2 2
+ 48*a22 *a33 *b33 *k1*n1 *u1*u3*v3 - 16*a22 *a33 *b33 *k1*n1 *u2 *v1
3 4 3 2 3 4 3
+ 8*a22 *a33 *b33 *k10*m2*n1*u2*v3 - 16*a22 *a33 *b33 *k10*m2*n1*u3*v2*v3
3 4 3 2 3 4 3 2
+ 8*a22 *a33 *b33 *k10*n1 *u1*u2*v2 - 8*a22 *a33 *b33 *k10*n1 *u1*u3*v3
3 4 3 2 2 3 4 3 2 2
- 8*a22 *a33 *b33 *k10*n1 *u2 *v1 - 8*a22 *a33 *b33 *k10*n1 *u3 *v1
3 4 3 2 3 3 5 3
- 8*a22 *a33 *b33 *n1 *q1*v1 - 16*a22 *a33 *b33 *k1*n1*u3*v3
3 3 4 2 3 3 4 2
- 16*a22 *a33 *b33 *k1*m2*n1*v2*v3 - 8*a22 *a33 *b33 *k10*m2*n1*v2*v3
3 3 3 2 3 3 3 3
- 16*a22 *a33 *b33 *k1*m2*n1 *v1*v2 - 16*a22 *a33 *b33 *k1*n1 *u2*v2
3 3 3 2 3 3 3 3
- 16*a22 *a33 *b33 *k10*m2*n1 *v1*v2 - 16*a22 *a33 *b33 *k10*n1 *u3*v3
3 2 6 4 3 2 6 2 2
+ 2*a22 *a33 *b33 *k1*n1*v1 + 4*a22 *a33 *b33 *k1*n1*v1 *v2
3 2 6 2 2 3 2 6 4
+ 4*a22 *a33 *b33 *k1*n1*v1 *v3 + 2*a22 *a33 *b33 *k1*n1*v2
3 2 6 2 2 3 2 5 2 2
+ 4*a22 *a33 *b33 *k1*n1*v2 *v3 - 8*a22 *a33 *b33 *k1*n1 *v1*v3
3 2 5 2 2 3 2 4 3 2
- 4*a22 *a33 *b33 *k10*n1 *v1*v3 + 4*a22 *a33 *b33 *k1*n1 *v2
3 2 4 3 2 3 2 4 3 2
- 8*a22 *a33 *b33 *k10*n1 *v1 - 4*a22 *a33 *b33 *k10*n1 *v2
3 2 3 4 3 2 3 4
+ 8*a22 *a33 *b33 *k1*n1 *v1 - 8*a22 *a33 *b33 *k10*n1 *v1
2 5 4 2 2 2 5 4 2 2
+ 8*a22 *a33 *b33 *k1*n1*u1 *v3 + 8*a22 *a33 *b33 *k1*n1*u2 *v3
2 5 4 2 2 2 5 4 2 2
- 16*a22 *a33 *b33 *k1*n1*u3 *v3 + 4*a22 *a33 *b33 *k10*n1*u3 *v3
2 5 4 2 2 5 4 2
- 4*a22 *a33 *b33 *n1*q1*v1 - 4*a22 *a33 *b33 *n1*q1*v2
2 4 5 3 2 4 4 2
- 8*a22 *a33 *b33 *k1*n1*u3*v3 + 8*a22 *a33 *b33 *k1*m2*n1*v2*v3
2 4 4 2 2 2 4 4 2
- 8*a22 *a33 *b33 *k1*n1 *u1*v3 - 16*a22 *a33 *b33 *k1*n1 *u3*v1*v3
2 4 4 2 2 4 4 2 2
+ 4*a22 *a33 *b33 *k10*m2*n1*v2*v3 + 4*a22 *a33 *b33 *k10*n1 *u1*v3
2 4 4 2 2 3 6 4
- 8*a22 *a33 *b33 *k10*n1 *u3*v1*v3 - 2*a22 *a33 *b33 *k1*n1*v1
2 3 6 2 2 2 3 6 2 2
- 4*a22 *a33 *b33 *k1*n1*v1 *v2 - 4*a22 *a33 *b33 *k1*n1*v1 *v3
2 3 6 4 2 3 6 2 2
- 2*a22 *a33 *b33 *k1*n1*v2 - 4*a22 *a33 *b33 *k1*n1*v2 *v3
2 3 4 3 2 2 3 4 3 2
+ 4*a22 *a33 *b33 *k1*n1 *v2 - 8*a22 *a33 *b33 *k10*n1 *v1
2 3 4 3 2 5 5 3
- 4*a22 *a33 *b33 *k10*n1 *v2 + 8*a22*a33 *b33 *k1*n1*u3*v3
4 6 4 4 6 2 2
- a22*a33 *b33 *k1*n1*v1 - 2*a22*a33 *b33 *k1*n1*v1 *v2
4 6 2 2 4 6 4
- 2*a22*a33 *b33 *k1*n1*v1 *v3 - a22*a33 *b33 *k1*n1*v2
4 6 2 2 4 5 2 2
- 2*a22*a33 *b33 *k1*n1*v2 *v3 + 4*a22*a33 *b33 *k1*n1 *v1*v3
4 5 2 2 5 6 4
+ 2*a22*a33 *b33 *k10*n1 *v1*v3 + a33 *b33 *k1*n1*v1
5 6 2 2 5 6 2 2
+ 2*a33 *b33 *k1*n1*v1 *v2 + 2*a33 *b33 *k1*n1*v1 *v3
5 6 4 5 6 2 2 4 2
+ a33 *b33 *k1*n1*v2 + 2*a33 *b33 *k1*n1*v2 *v3 )/(16*a22 *b33 *n1
5 4 3 2 2 3 4 5
*(a22 - a22 *a33 - 2*a22 *a33 + 2*a22 *a33 + a22*a33 - a33 ))
And again in machine readable form:
HAM=(4*a22**4*b33*u1**2 + 4*a22**4*b33*u2**2 - 8*a22**4*m2*u2 + 4*a22**3*a33*b33
*u3**2 + 16*a22**3*a33*m2*u2 + 4*a22**3*b33**2*u3*v3 + 4*a22**3*b33*m2*v2 + 4*
a22**3*b33*n1*u1 - 4*a22**2*a33**2*b33*u1**2 - 4*a22**2*a33**2*b33*u2**2 - 8*a22
**2*a33**2*m2*u2 - a22**2*b33**3*v3**2 - 2*a22**2*b33**2*n1*v1 - 4*a22*a33**3*
b33*u3**2 - 4*a22*a33**2*b33**2*u3*v3 - 4*a22*a33**2*b33*m2*v2 - 4*a22*a33**2*
b33*n1*u1 - 4*a22*a33*b33**2*n1*v1 + a33**2*b33**3*v3**2 - 2*a33**2*b33**2*n1*v1
)/(4*a22*b33*(a22**2 - a33**2))$
INT=( - 32*a22**11*b33*p16*u1**2*v2**2 - 32*a22**11*b33*p16*u1**2*v3**2 - 32*a22
**11*b33*p16*u2**2*v1**2 - 64*a22**11*b33*p16*u2**2*v2**2 - 32*a22**11*b33*p16*
u2**2*v3**2 - 64*a22**11*b33*p16*u2*u3*v2*v3 - 32*a22**11*b33*p16*u3**2*v3**2 +
64*a22**11*m2*p16*u2*v1**2 + 64*a22**11*m2*p16*u2*v2**2 + 64*a22**11*m2*p16*u2*
v3**2 + 64*a22**10*a33*b33*p16*u1**2*v2**2 + 64*a22**10*a33*b33*p16*u1**2*v3**2
+ 64*a22**10*a33*b33*p16*u2**2*v1**2 + 128*a22**10*a33*b33*p16*u2**2*v2**2 + 64*
a22**10*a33*b33*p16*u2**2*v3**2 + 128*a22**10*a33*b33*p16*u2*u3*v2*v3 + 64*a22**
10*a33*b33*p16*u3**2*v3**2 - 192*a22**10*a33*m2*p16*u2*v1**2 - 192*a22**10*a33*
m2*p16*u2*v2**2 - 192*a22**10*a33*m2*p16*u2*v3**2 - 32*a22**10*b33**2*p16*u3*v1
**2*v3 - 32*a22**10*b33**2*p16*u3*v2**2*v3 - 32*a22**10*b33**2*p16*u3*v3**3 - 32
*a22**10*b33*m2*p16*v1**2*v2 - 32*a22**10*b33*m2*p16*v2**3 - 32*a22**10*b33*m2*
p16*v2*v3**2 - 32*a22**10*b33*n1*p16*u1*v2**2 - 32*a22**10*b33*n1*p16*u1*v3**2 +
32*a22**10*b33*n1*p16*u2*v1*v2 + 32*a22**10*b33*n1*p16*u3*v1*v3 + 32*a22**9*a33
**2*b33*p16*u1**2*v2**2 + 32*a22**9*a33**2*b33*p16*u1**2*v3**2 + 32*a22**9*a33**
2*b33*p16*u2**2*v1**2 + 64*a22**9*a33**2*b33*p16*u2**2*v2**2 + 32*a22**9*a33**2*
b33*p16*u2**2*v3**2 + 64*a22**9*a33**2*b33*p16*u2*u3*v2*v3 + 32*a22**9*a33**2*
b33*p16*u3**2*v3**2 + 128*a22**9*a33**2*m2*p16*u2*v1**2 + 128*a22**9*a33**2*m2*
p16*u2*v2**2 + 128*a22**9*a33**2*m2*p16*u2*v3**2 + 64*a22**9*a33*b33**2*p16*u3*
v1**2*v3 + 64*a22**9*a33*b33**2*p16*u3*v2**2*v3 + 64*a22**9*a33*b33**2*p16*u3*v3
**3 + 96*a22**9*a33*b33*m2*p16*v1**2*v2 + 96*a22**9*a33*b33*m2*p16*v2**3 + 96*
a22**9*a33*b33*m2*p16*v2*v3**2 + 32*a22**9*a33*b33*n1*p16*u1*v2**2 + 32*a22**9*
a33*b33*n1*p16*u1*v3**2 - 32*a22**9*a33*b33*n1*p16*u2*v1*v2 - 32*a22**9*a33*b33*
n1*p16*u3*v1*v3 - 8*a22**9*b33**3*p16*v1**4 - 16*a22**9*b33**3*p16*v1**2*v2**2 -
8*a22**9*b33**3*p16*v1**2*v3**2 - 8*a22**9*b33**3*p16*v2**4 - 8*a22**9*b33**3*
p16*v2**2*v3**2 + 16*a22**9*b33**2*k1*n1*u1**4 + 32*a22**9*b33**2*k1*n1*u1**2*u2
**2 + 16*a22**9*b33**2*k1*n1*u2**4 + 16*a22**9*b33**2*k10*n1*u1**2*u3**2 + 16*
a22**9*b33**2*k10*n1*u2**2*u3**2 + 16*a22**9*b33**2*n1*p16*v1**3 + 16*a22**9*b33
**2*n1*p16*v1*v2**2 + 16*a22**9*b33**2*n1*p16*v1*v3**2 + 16*a22**9*b33**2*n1*q1*
u1**2 + 16*a22**9*b33**2*n1*q1*u2**2 - 64*a22**9*b33*k1*m2*n1*u1**2*u2 - 64*a22
**9*b33*k1*m2*n1*u2**3 + 32*a22**9*b33*k10*m2*n1*u1**2*u2 + 32*a22**9*b33*k10*m2
*n1*u2**3 - 32*a22**9*b33*k10*m2*n1*u2*u3**2 - 32*a22**9*b33*m2*n1*q1*u2 + 64*
a22**9*k1*m2**2*n1*u2**2 - 64*a22**9*k10*m2**2*n1*u2**2 - 128*a22**8*a33**3*b33*
p16*u1**2*v2**2 - 128*a22**8*a33**3*b33*p16*u1**2*v3**2 - 128*a22**8*a33**3*b33*
p16*u2**2*v1**2 - 256*a22**8*a33**3*b33*p16*u2**2*v2**2 - 128*a22**8*a33**3*b33*
p16*u2**2*v3**2 - 256*a22**8*a33**3*b33*p16*u2*u3*v2*v3 - 128*a22**8*a33**3*b33*
p16*u3**2*v3**2 + 128*a22**8*a33**3*m2*p16*u2*v1**2 + 128*a22**8*a33**3*m2*p16*
u2*v2**2 + 128*a22**8*a33**3*m2*p16*u2*v3**2 + 32*a22**8*a33**2*b33**2*p16*u3*v1
**2*v3 + 32*a22**8*a33**2*b33**2*p16*u3*v2**2*v3 + 32*a22**8*a33**2*b33**2*p16*
u3*v3**3 - 64*a22**8*a33**2*b33*m2*p16*v1**2*v2 - 64*a22**8*a33**2*b33*m2*p16*v2
**3 - 64*a22**8*a33**2*b33*m2*p16*v2*v3**2 + 64*a22**8*a33**2*b33*n1*p16*u1*v2**
2 + 64*a22**8*a33**2*b33*n1*p16*u1*v3**2 - 64*a22**8*a33**2*b33*n1*p16*u2*v1*v2
- 64*a22**8*a33**2*b33*n1*p16*u3*v1*v3 + 16*a22**8*a33*b33**3*p16*v1**4 + 32*a22
**8*a33*b33**3*p16*v1**2*v2**2 + 16*a22**8*a33*b33**3*p16*v1**2*v3**2 + 16*a22**
8*a33*b33**3*p16*v2**4 + 16*a22**8*a33*b33**3*p16*v2**2*v3**2 - 16*a22**8*a33*
b33**2*k1*n1*u1**4 - 32*a22**8*a33*b33**2*k1*n1*u1**2*u2**2 - 16*a22**8*a33*b33
**2*k1*n1*u2**4 - 16*a22**8*a33*b33**2*k10*n1*u1**2*u3**2 - 16*a22**8*a33*b33**2
*k10*n1*u2**2*u3**2 - 16*a22**8*a33*b33**2*n1*p16*v1**3 - 16*a22**8*a33*b33**2*
n1*p16*v1*v2**2 - 16*a22**8*a33*b33**2*n1*p16*v1*v3**2 - 16*a22**8*a33*b33**2*n1
*q1*u1**2 - 16*a22**8*a33*b33**2*n1*q1*u2**2 + 128*a22**8*a33*b33*k1*m2*n1*u1**2
*u2 + 128*a22**8*a33*b33*k1*m2*n1*u2**3 - 64*a22**8*a33*b33*k10*m2*n1*u1**2*u2 -
64*a22**8*a33*b33*k10*m2*n1*u2**3 + 64*a22**8*a33*b33*k10*m2*n1*u2*u3**2 + 64*
a22**8*a33*b33*m2*n1*q1*u2 - 192*a22**8*a33*k1*m2**2*n1*u2**2 + 192*a22**8*a33*
k10*m2**2*n1*u2**2 + 32*a22**8*b33**3*k1*n1*u1**2*u3*v3 + 32*a22**8*b33**3*k1*n1
*u2**2*u3*v3 + 16*a22**8*b33**3*k10*n1*u3**3*v3 + 16*a22**8*b33**3*n1*q1*u3*v3 +
32*a22**8*b33**2*k1*m2*n1*u1**2*v2 + 32*a22**8*b33**2*k1*m2*n1*u2**2*v2 - 64*
a22**8*b33**2*k1*m2*n1*u2*u3*v3 + 32*a22**8*b33**2*k1*n1**2*u1**3 + 32*a22**8*
b33**2*k1*n1**2*u1*u2**2 + 16*a22**8*b33**2*k10*m2*n1*u1**2*v2 + 16*a22**8*b33**
2*k10*m2*n1*u2**2*v2 + 32*a22**8*b33**2*k10*m2*n1*u2*u3*v3 + 16*a22**8*b33**2*
k10*m2*n1*u3**2*v2 - 16*a22**8*b33**2*k10*n1**2*u1**3 - 16*a22**8*b33**2*k10*n1
**2*u1*u2**2 + 16*a22**8*b33**2*k10*n1**2*u1*u3**2 + 16*a22**8*b33**2*m2*n1*q1*
v2 + 16*a22**8*b33**2*n1**2*q1*u1 - 64*a22**8*b33*k1*m2**2*n1*u2*v2 - 64*a22**8*
b33*k1*m2*n1**2*u1*u2 + 64*a22**8*b33*k10*m2*n1**2*u1*u2 + 32*a22**7*a33**4*b33*
p16*u1**2*v2**2 + 32*a22**7*a33**4*b33*p16*u1**2*v3**2 + 32*a22**7*a33**4*b33*
p16*u2**2*v1**2 + 64*a22**7*a33**4*b33*p16*u2**2*v2**2 + 32*a22**7*a33**4*b33*
p16*u2**2*v3**2 + 64*a22**7*a33**4*b33*p16*u2*u3*v2*v3 + 32*a22**7*a33**4*b33*
p16*u3**2*v3**2 - 192*a22**7*a33**4*m2*p16*u2*v1**2 - 192*a22**7*a33**4*m2*p16*
u2*v2**2 - 192*a22**7*a33**4*m2*p16*u2*v3**2 - 128*a22**7*a33**3*b33**2*p16*u3*
v1**2*v3 - 128*a22**7*a33**3*b33**2*p16*u3*v2**2*v3 - 128*a22**7*a33**3*b33**2*
p16*u3*v3**3 - 64*a22**7*a33**3*b33*m2*p16*v1**2*v2 - 64*a22**7*a33**3*b33*m2*
p16*v2**3 - 64*a22**7*a33**3*b33*m2*p16*v2*v3**2 - 64*a22**7*a33**3*b33*n1*p16*
u1*v2**2 - 64*a22**7*a33**3*b33*n1*p16*u1*v3**2 + 64*a22**7*a33**3*b33*n1*p16*u2
*v1*v2 + 64*a22**7*a33**3*b33*n1*p16*u3*v1*v3 + 8*a22**7*a33**2*b33**3*p16*v1**4
+ 16*a22**7*a33**2*b33**3*p16*v1**2*v2**2 + 8*a22**7*a33**2*b33**3*p16*v1**2*v3
**2 + 8*a22**7*a33**2*b33**3*p16*v2**4 + 8*a22**7*a33**2*b33**3*p16*v2**2*v3**2
- 32*a22**7*a33**2*b33**2*k1*n1*u1**4 - 64*a22**7*a33**2*b33**2*k1*n1*u1**2*u2**
2 - 32*a22**7*a33**2*b33**2*k1*n1*u2**4 - 32*a22**7*a33**2*b33**2*k10*n1*u1**2*
u3**2 - 32*a22**7*a33**2*b33**2*k10*n1*u2**2*u3**2 - 32*a22**7*a33**2*b33**2*n1*
p16*v1**3 - 32*a22**7*a33**2*b33**2*n1*p16*v1*v2**2 - 32*a22**7*a33**2*b33**2*n1
*p16*v1*v3**2 - 32*a22**7*a33**2*b33**2*n1*q1*u1**2 - 32*a22**7*a33**2*b33**2*n1
*q1*u2**2 + 192*a22**7*a33**2*k1*m2**2*n1*u2**2 - 192*a22**7*a33**2*k10*m2**2*n1
*u2**2 - 32*a22**7*a33*b33**3*k1*n1*u1**2*u3*v3 - 32*a22**7*a33*b33**3*k1*n1*u2
**2*u3*v3 - 16*a22**7*a33*b33**3*k10*n1*u3**3*v3 - 16*a22**7*a33*b33**3*n1*q1*u3
*v3 - 64*a22**7*a33*b33**2*k1*m2*n1*u1**2*v2 - 64*a22**7*a33*b33**2*k1*m2*n1*u2
**2*v2 + 128*a22**7*a33*b33**2*k1*m2*n1*u2*u3*v3 - 32*a22**7*a33*b33**2*k10*m2*
n1*u1**2*v2 - 32*a22**7*a33*b33**2*k10*m2*n1*u2**2*v2 - 64*a22**7*a33*b33**2*k10
*m2*n1*u2*u3*v3 - 32*a22**7*a33*b33**2*k10*m2*n1*u3**2*v2 - 32*a22**7*a33*b33**2
*m2*n1*q1*v2 + 192*a22**7*a33*b33*k1*m2**2*n1*u2*v2 + 64*a22**7*a33*b33*k1*m2*n1
**2*u1*u2 - 64*a22**7*a33*b33*k10*m2*n1**2*u1*u2 - 8*a22**7*b33**4*k1*n1*u1**2*
v3**2 - 8*a22**7*b33**4*k1*n1*u2**2*v3**2 + 16*a22**7*b33**4*k1*n1*u3**2*v3**2 -
4*a22**7*b33**4*k10*n1*u3**2*v3**2 + 4*a22**7*b33**4*n1*q1*v1**2 + 4*a22**7*b33
**4*n1*q1*v2**2 + 16*a22**7*b33**3*k1*m2*n1*u2*v3**2 + 32*a22**7*b33**3*k1*m2*n1
*u3*v2*v3 + 16*a22**7*b33**3*k1*n1**2*u1*u2*v2 + 48*a22**7*b33**3*k1*n1**2*u1*u3
*v3 - 16*a22**7*b33**3*k1*n1**2*u2**2*v1 - 8*a22**7*b33**3*k10*m2*n1*u2*v3**2 +
16*a22**7*b33**3*k10*m2*n1*u3*v2*v3 + 8*a22**7*b33**3*k10*n1**2*u1*u2*v2 - 8*a22
**7*b33**3*k10*n1**2*u1*u3*v3 - 8*a22**7*b33**3*k10*n1**2*u2**2*v1 - 8*a22**7*
b33**3*k10*n1**2*u3**2*v1 - 8*a22**7*b33**3*n1**2*q1*v1 + 16*a22**7*b33**2*k1*m2
**2*n1*v2**2 + 32*a22**7*b33**2*k1*m2*n1**2*u1*v2 + 32*a22**7*b33**2*k1*m2*n1**2
*u2*v1 - 16*a22**7*b33**2*k1*n1**3*u2**2 + 16*a22**7*b33**2*k10*m2**2*n1*v2**2 +
16*a22**7*b33**2*k10*n1**3*u2**2 + 32*a22**7*b33*k1*m2*n1**3*u2 - 32*a22**7*b33
*k10*m2*n1**3*u2 + 64*a22**6*a33**5*b33*p16*u1**2*v2**2 + 64*a22**6*a33**5*b33*
p16*u1**2*v3**2 + 64*a22**6*a33**5*b33*p16*u2**2*v1**2 + 128*a22**6*a33**5*b33*
p16*u2**2*v2**2 + 64*a22**6*a33**5*b33*p16*u2**2*v3**2 + 128*a22**6*a33**5*b33*
p16*u2*u3*v2*v3 + 64*a22**6*a33**5*b33*p16*u3**2*v3**2 + 64*a22**6*a33**5*m2*p16
*u2*v1**2 + 64*a22**6*a33**5*m2*p16*u2*v2**2 + 64*a22**6*a33**5*m2*p16*u2*v3**2
+ 32*a22**6*a33**4*b33**2*p16*u3*v1**2*v3 + 32*a22**6*a33**4*b33**2*p16*u3*v2**2
*v3 + 32*a22**6*a33**4*b33**2*p16*u3*v3**3 + 96*a22**6*a33**4*b33*m2*p16*v1**2*
v2 + 96*a22**6*a33**4*b33*m2*p16*v2**3 + 96*a22**6*a33**4*b33*m2*p16*v2*v3**2 -
32*a22**6*a33**4*b33*n1*p16*u1*v2**2 - 32*a22**6*a33**4*b33*n1*p16*u1*v3**2 + 32
*a22**6*a33**4*b33*n1*p16*u2*v1*v2 + 32*a22**6*a33**4*b33*n1*p16*u3*v1*v3 - 32*
a22**6*a33**3*b33**3*p16*v1**4 - 64*a22**6*a33**3*b33**3*p16*v1**2*v2**2 - 32*
a22**6*a33**3*b33**3*p16*v1**2*v3**2 - 32*a22**6*a33**3*b33**3*p16*v2**4 - 32*
a22**6*a33**3*b33**3*p16*v2**2*v3**2 + 32*a22**6*a33**3*b33**2*k1*n1*u1**4 + 64*
a22**6*a33**3*b33**2*k1*n1*u1**2*u2**2 + 32*a22**6*a33**3*b33**2*k1*n1*u2**4 +
32*a22**6*a33**3*b33**2*k10*n1*u1**2*u3**2 + 32*a22**6*a33**3*b33**2*k10*n1*u2**
2*u3**2 + 32*a22**6*a33**3*b33**2*n1*p16*v1**3 + 32*a22**6*a33**3*b33**2*n1*p16*
v1*v2**2 + 32*a22**6*a33**3*b33**2*n1*p16*v1*v3**2 + 32*a22**6*a33**3*b33**2*n1*
q1*u1**2 + 32*a22**6*a33**3*b33**2*n1*q1*u2**2 - 128*a22**6*a33**3*b33*k1*m2*n1*
u1**2*u2 - 128*a22**6*a33**3*b33*k1*m2*n1*u2**3 + 64*a22**6*a33**3*b33*k10*m2*n1
*u1**2*u2 + 64*a22**6*a33**3*b33*k10*m2*n1*u2**3 - 64*a22**6*a33**3*b33*k10*m2*
n1*u2*u3**2 - 64*a22**6*a33**3*b33*m2*n1*q1*u2 - 64*a22**6*a33**3*k1*m2**2*n1*u2
**2 + 64*a22**6*a33**3*k10*m2**2*n1*u2**2 - 64*a22**6*a33**2*b33**3*k1*n1*u1**2*
u3*v3 - 64*a22**6*a33**2*b33**3*k1*n1*u2**2*u3*v3 - 32*a22**6*a33**2*b33**3*k10*
n1*u3**3*v3 - 32*a22**6*a33**2*b33**3*n1*q1*u3*v3 - 64*a22**6*a33**2*b33**2*k1*
n1**2*u1**3 - 64*a22**6*a33**2*b33**2*k1*n1**2*u1*u2**2 + 32*a22**6*a33**2*b33**
2*k10*n1**2*u1**3 + 32*a22**6*a33**2*b33**2*k10*n1**2*u1*u2**2 - 32*a22**6*a33**
2*b33**2*k10*n1**2*u1*u3**2 - 32*a22**6*a33**2*b33**2*n1**2*q1*u1 - 192*a22**6*
a33**2*b33*k1*m2**2*n1*u2*v2 + 64*a22**6*a33**2*b33*k1*m2*n1**2*u1*u2 - 64*a22**
6*a33**2*b33*k10*m2*n1**2*u1*u2 + 8*a22**6*a33*b33**4*k1*n1*u1**2*v3**2 + 8*a22
**6*a33*b33**4*k1*n1*u2**2*v3**2 - 16*a22**6*a33*b33**4*k1*n1*u3**2*v3**2 + 4*
a22**6*a33*b33**4*k10*n1*u3**2*v3**2 - 4*a22**6*a33*b33**4*n1*q1*v1**2 - 4*a22**
6*a33*b33**4*n1*q1*v2**2 - 32*a22**6*a33*b33**3*k1*m2*n1*u2*v3**2 - 64*a22**6*
a33*b33**3*k1*m2*n1*u3*v2*v3 + 16*a22**6*a33*b33**3*k10*m2*n1*u2*v3**2 - 32*a22
**6*a33*b33**3*k10*m2*n1*u3*v2*v3 - 48*a22**6*a33*b33**2*k1*m2**2*n1*v2**2 - 32*
a22**6*a33*b33**2*k1*m2*n1**2*u1*v2 - 32*a22**6*a33*b33**2*k1*m2*n1**2*u2*v1 -
16*a22**6*a33*b33**2*k1*n1**3*u2**2 - 48*a22**6*a33*b33**2*k10*m2**2*n1*v2**2 +
16*a22**6*a33*b33**2*k10*n1**3*u2**2 - 8*a22**6*b33**5*k1*n1*u3*v3**3 - 8*a22**6
*b33**4*k1*m2*n1*v2*v3**2 - 8*a22**6*b33**4*k1*n1**2*u1*v3**2 - 16*a22**6*b33**4
*k1*n1**2*u3*v1*v3 - 4*a22**6*b33**4*k10*m2*n1*v2*v3**2 + 4*a22**6*b33**4*k10*n1
**2*u1*v3**2 - 8*a22**6*b33**4*k10*n1**2*u3*v1*v3 - 16*a22**6*b33**3*k1*m2*n1**2
*v1*v2 + 16*a22**6*b33**3*k1*n1**3*u2*v2 - 16*a22**6*b33**3*k10*m2*n1**2*v1*v2 +
16*a22**6*b33**3*k10*n1**3*u3*v3 - 16*a22**6*b33**2*k1*m2*n1**3*v2 - 16*a22**6*
b33**2*k1*n1**4*u1 + 16*a22**6*b33**2*k10*m2*n1**3*v2 + 16*a22**6*b33**2*k10*n1
**4*u1 - 32*a22**5*a33**6*b33*p16*u1**2*v2**2 - 32*a22**5*a33**6*b33*p16*u1**2*
v3**2 - 32*a22**5*a33**6*b33*p16*u2**2*v1**2 - 64*a22**5*a33**6*b33*p16*u2**2*v2
**2 - 32*a22**5*a33**6*b33*p16*u2**2*v3**2 - 64*a22**5*a33**6*b33*p16*u2*u3*v2*
v3 - 32*a22**5*a33**6*b33*p16*u3**2*v3**2 + 64*a22**5*a33**5*b33**2*p16*u3*v1**2
*v3 + 64*a22**5*a33**5*b33**2*p16*u3*v2**2*v3 + 64*a22**5*a33**5*b33**2*p16*u3*
v3**3 - 32*a22**5*a33**5*b33*m2*p16*v1**2*v2 - 32*a22**5*a33**5*b33*m2*p16*v2**3
- 32*a22**5*a33**5*b33*m2*p16*v2*v3**2 + 32*a22**5*a33**5*b33*n1*p16*u1*v2**2 +
32*a22**5*a33**5*b33*n1*p16*u1*v3**2 - 32*a22**5*a33**5*b33*n1*p16*u2*v1*v2 -
32*a22**5*a33**5*b33*n1*p16*u3*v1*v3 + 8*a22**5*a33**4*b33**3*p16*v1**4 + 16*a22
**5*a33**4*b33**3*p16*v1**2*v2**2 + 8*a22**5*a33**4*b33**3*p16*v1**2*v3**2 + 8*
a22**5*a33**4*b33**3*p16*v2**4 + 8*a22**5*a33**4*b33**3*p16*v2**2*v3**2 + 16*a22
**5*a33**4*b33**2*k1*n1*u1**4 + 32*a22**5*a33**4*b33**2*k1*n1*u1**2*u2**2 + 16*
a22**5*a33**4*b33**2*k1*n1*u2**4 + 16*a22**5*a33**4*b33**2*k10*n1*u1**2*u3**2 +
16*a22**5*a33**4*b33**2*k10*n1*u2**2*u3**2 + 16*a22**5*a33**4*b33**2*n1*p16*v1**
3 + 16*a22**5*a33**4*b33**2*n1*p16*v1*v2**2 + 16*a22**5*a33**4*b33**2*n1*p16*v1*
v3**2 + 16*a22**5*a33**4*b33**2*n1*q1*u1**2 + 16*a22**5*a33**4*b33**2*n1*q1*u2**
2 + 64*a22**5*a33**4*b33*k1*m2*n1*u1**2*u2 + 64*a22**5*a33**4*b33*k1*m2*n1*u2**3
- 32*a22**5*a33**4*b33*k10*m2*n1*u1**2*u2 - 32*a22**5*a33**4*b33*k10*m2*n1*u2**
3 + 32*a22**5*a33**4*b33*k10*m2*n1*u2*u3**2 + 32*a22**5*a33**4*b33*m2*n1*q1*u2 +
64*a22**5*a33**3*b33**3*k1*n1*u1**2*u3*v3 + 64*a22**5*a33**3*b33**3*k1*n1*u2**2
*u3*v3 + 32*a22**5*a33**3*b33**3*k10*n1*u3**3*v3 + 32*a22**5*a33**3*b33**3*n1*q1
*u3*v3 + 64*a22**5*a33**3*b33**2*k1*m2*n1*u1**2*v2 + 64*a22**5*a33**3*b33**2*k1*
m2*n1*u2**2*v2 - 128*a22**5*a33**3*b33**2*k1*m2*n1*u2*u3*v3 + 32*a22**5*a33**3*
b33**2*k10*m2*n1*u1**2*v2 + 32*a22**5*a33**3*b33**2*k10*m2*n1*u2**2*v2 + 64*a22
**5*a33**3*b33**2*k10*m2*n1*u2*u3*v3 + 32*a22**5*a33**3*b33**2*k10*m2*n1*u3**2*
v2 + 32*a22**5*a33**3*b33**2*m2*n1*q1*v2 + 64*a22**5*a33**3*b33*k1*m2**2*n1*u2*
v2 - 64*a22**5*a33**3*b33*k1*m2*n1**2*u1*u2 + 64*a22**5*a33**3*b33*k10*m2*n1**2*
u1*u2 + 16*a22**5*a33**2*b33**4*k1*n1*u1**2*v3**2 + 16*a22**5*a33**2*b33**4*k1*
n1*u2**2*v3**2 - 32*a22**5*a33**2*b33**4*k1*n1*u3**2*v3**2 + 8*a22**5*a33**2*b33
**4*k10*n1*u3**2*v3**2 - 8*a22**5*a33**2*b33**4*n1*q1*v1**2 - 8*a22**5*a33**2*
b33**4*n1*q1*v2**2 - 32*a22**5*a33**2*b33**3*k1*n1**2*u1*u2*v2 - 96*a22**5*a33**
2*b33**3*k1*n1**2*u1*u3*v3 + 32*a22**5*a33**2*b33**3*k1*n1**2*u2**2*v1 - 16*a22
**5*a33**2*b33**3*k10*n1**2*u1*u2*v2 + 16*a22**5*a33**2*b33**3*k10*n1**2*u1*u3*
v3 + 16*a22**5*a33**2*b33**3*k10*n1**2*u2**2*v1 + 16*a22**5*a33**2*b33**3*k10*n1
**2*u3**2*v1 + 16*a22**5*a33**2*b33**3*n1**2*q1*v1 + 48*a22**5*a33**2*b33**2*k1*
m2**2*n1*v2**2 - 32*a22**5*a33**2*b33**2*k1*m2*n1**2*u1*v2 - 32*a22**5*a33**2*
b33**2*k1*m2*n1**2*u2*v1 + 16*a22**5*a33**2*b33**2*k1*n1**3*u2**2 + 48*a22**5*
a33**2*b33**2*k10*m2**2*n1*v2**2 - 16*a22**5*a33**2*b33**2*k10*n1**3*u2**2 - 32*
a22**5*a33**2*b33*k1*m2*n1**3*u2 + 32*a22**5*a33**2*b33*k10*m2*n1**3*u2 + 8*a22
**5*a33*b33**5*k1*n1*u3*v3**3 + 16*a22**5*a33*b33**4*k1*m2*n1*v2*v3**2 + 8*a22**
5*a33*b33**4*k10*m2*n1*v2*v3**2 + 16*a22**5*a33*b33**3*k1*m2*n1**2*v1*v2 + 16*
a22**5*a33*b33**3*k1*n1**3*u2*v2 + 16*a22**5*a33*b33**3*k10*m2*n1**2*v1*v2 + 16*
a22**5*a33*b33**3*k10*n1**3*u3*v3 - 32*a22**5*a33*b33**2*k1*n1**4*u1 + 32*a22**5
*a33*b33**2*k10*n1**4*u1 - a22**5*b33**6*k1*n1*v1**4 - 2*a22**5*b33**6*k1*n1*v1
**2*v2**2 - 2*a22**5*b33**6*k1*n1*v1**2*v3**2 - a22**5*b33**6*k1*n1*v2**4 - 2*
a22**5*b33**6*k1*n1*v2**2*v3**2 + 4*a22**5*b33**5*k1*n1**2*v1*v3**2 + 2*a22**5*
b33**5*k10*n1**2*v1*v3**2 - 4*a22**5*b33**4*k1*n1**3*v2**2 + 8*a22**5*b33**4*k10
*n1**3*v1**2 + 4*a22**5*b33**4*k10*n1**3*v2**2 + 8*a22**5*b33**3*k1*n1**4*v1 - 8
*a22**5*b33**3*k10*n1**4*v1 - 32*a22**4*a33**6*b33**2*p16*u3*v1**2*v3 - 32*a22**
4*a33**6*b33**2*p16*u3*v2**2*v3 - 32*a22**4*a33**6*b33**2*p16*u3*v3**3 + 16*a22
**4*a33**5*b33**3*p16*v1**4 + 32*a22**4*a33**5*b33**3*p16*v1**2*v2**2 + 16*a22**
4*a33**5*b33**3*p16*v1**2*v3**2 + 16*a22**4*a33**5*b33**3*p16*v2**4 + 16*a22**4*
a33**5*b33**3*p16*v2**2*v3**2 - 16*a22**4*a33**5*b33**2*k1*n1*u1**4 - 32*a22**4*
a33**5*b33**2*k1*n1*u1**2*u2**2 - 16*a22**4*a33**5*b33**2*k1*n1*u2**4 - 16*a22**
4*a33**5*b33**2*k10*n1*u1**2*u3**2 - 16*a22**4*a33**5*b33**2*k10*n1*u2**2*u3**2
- 16*a22**4*a33**5*b33**2*n1*p16*v1**3 - 16*a22**4*a33**5*b33**2*n1*p16*v1*v2**2
- 16*a22**4*a33**5*b33**2*n1*p16*v1*v3**2 - 16*a22**4*a33**5*b33**2*n1*q1*u1**2
- 16*a22**4*a33**5*b33**2*n1*q1*u2**2 + 32*a22**4*a33**4*b33**3*k1*n1*u1**2*u3*
v3 + 32*a22**4*a33**4*b33**3*k1*n1*u2**2*u3*v3 + 16*a22**4*a33**4*b33**3*k10*n1*
u3**3*v3 + 16*a22**4*a33**4*b33**3*n1*q1*u3*v3 - 32*a22**4*a33**4*b33**2*k1*m2*
n1*u1**2*v2 - 32*a22**4*a33**4*b33**2*k1*m2*n1*u2**2*v2 + 64*a22**4*a33**4*b33**
2*k1*m2*n1*u2*u3*v3 + 32*a22**4*a33**4*b33**2*k1*n1**2*u1**3 + 32*a22**4*a33**4*
b33**2*k1*n1**2*u1*u2**2 - 16*a22**4*a33**4*b33**2*k10*m2*n1*u1**2*v2 - 16*a22**
4*a33**4*b33**2*k10*m2*n1*u2**2*v2 - 32*a22**4*a33**4*b33**2*k10*m2*n1*u2*u3*v3
- 16*a22**4*a33**4*b33**2*k10*m2*n1*u3**2*v2 - 16*a22**4*a33**4*b33**2*k10*n1**2
*u1**3 - 16*a22**4*a33**4*b33**2*k10*n1**2*u1*u2**2 + 16*a22**4*a33**4*b33**2*
k10*n1**2*u1*u3**2 - 16*a22**4*a33**4*b33**2*m2*n1*q1*v2 + 16*a22**4*a33**4*b33
**2*n1**2*q1*u1 - 16*a22**4*a33**3*b33**4*k1*n1*u1**2*v3**2 - 16*a22**4*a33**3*
b33**4*k1*n1*u2**2*v3**2 + 32*a22**4*a33**3*b33**4*k1*n1*u3**2*v3**2 - 8*a22**4*
a33**3*b33**4*k10*n1*u3**2*v3**2 + 8*a22**4*a33**3*b33**4*n1*q1*v1**2 + 8*a22**4
*a33**3*b33**4*n1*q1*v2**2 + 32*a22**4*a33**3*b33**3*k1*m2*n1*u2*v3**2 + 64*a22
**4*a33**3*b33**3*k1*m2*n1*u3*v2*v3 - 16*a22**4*a33**3*b33**3*k10*m2*n1*u2*v3**2
+ 32*a22**4*a33**3*b33**3*k10*m2*n1*u3*v2*v3 - 16*a22**4*a33**3*b33**2*k1*m2**2
*n1*v2**2 + 32*a22**4*a33**3*b33**2*k1*m2*n1**2*u1*v2 + 32*a22**4*a33**3*b33**2*
k1*m2*n1**2*u2*v1 + 16*a22**4*a33**3*b33**2*k1*n1**3*u2**2 - 16*a22**4*a33**3*
b33**2*k10*m2**2*n1*v2**2 - 16*a22**4*a33**3*b33**2*k10*n1**3*u2**2 + 16*a22**4*
a33**2*b33**5*k1*n1*u3*v3**3 + 16*a22**4*a33**2*b33**4*k1*n1**2*u1*v3**2 + 32*
a22**4*a33**2*b33**4*k1*n1**2*u3*v1*v3 - 8*a22**4*a33**2*b33**4*k10*n1**2*u1*v3
**2 + 16*a22**4*a33**2*b33**4*k10*n1**2*u3*v1*v3 + 16*a22**4*a33**2*b33**3*k1*m2
*n1**2*v1*v2 - 16*a22**4*a33**2*b33**3*k1*n1**3*u2*v2 + 16*a22**4*a33**2*b33**3*
k10*m2*n1**2*v1*v2 - 16*a22**4*a33**2*b33**3*k10*n1**3*u3*v3 + 16*a22**4*a33**2*
b33**2*k1*m2*n1**3*v2 - 16*a22**4*a33**2*b33**2*k1*n1**4*u1 - 16*a22**4*a33**2*
b33**2*k10*m2*n1**3*v2 + 16*a22**4*a33**2*b33**2*k10*n1**4*u1 + a22**4*a33*b33**
6*k1*n1*v1**4 + 2*a22**4*a33*b33**6*k1*n1*v1**2*v2**2 + 2*a22**4*a33*b33**6*k1*
n1*v1**2*v3**2 + a22**4*a33*b33**6*k1*n1*v2**4 + 2*a22**4*a33*b33**6*k1*n1*v2**2
*v3**2 - 4*a22**4*a33*b33**4*k1*n1**3*v2**2 + 8*a22**4*a33*b33**4*k10*n1**3*v1**
2 + 4*a22**4*a33*b33**4*k10*n1**3*v2**2 + 16*a22**4*a33*b33**3*k1*n1**4*v1 - 16*
a22**4*a33*b33**3*k10*n1**4*v1 - 8*a22**3*a33**6*b33**3*p16*v1**4 - 16*a22**3*
a33**6*b33**3*p16*v1**2*v2**2 - 8*a22**3*a33**6*b33**3*p16*v1**2*v3**2 - 8*a22**
3*a33**6*b33**3*p16*v2**4 - 8*a22**3*a33**6*b33**3*p16*v2**2*v3**2 - 32*a22**3*
a33**5*b33**3*k1*n1*u1**2*u3*v3 - 32*a22**3*a33**5*b33**3*k1*n1*u2**2*u3*v3 - 16
*a22**3*a33**5*b33**3*k10*n1*u3**3*v3 - 16*a22**3*a33**5*b33**3*n1*q1*u3*v3 - 8*
a22**3*a33**4*b33**4*k1*n1*u1**2*v3**2 - 8*a22**3*a33**4*b33**4*k1*n1*u2**2*v3**
2 + 16*a22**3*a33**4*b33**4*k1*n1*u3**2*v3**2 - 4*a22**3*a33**4*b33**4*k10*n1*u3
**2*v3**2 + 4*a22**3*a33**4*b33**4*n1*q1*v1**2 + 4*a22**3*a33**4*b33**4*n1*q1*v2
**2 - 16*a22**3*a33**4*b33**3*k1*m2*n1*u2*v3**2 - 32*a22**3*a33**4*b33**3*k1*m2*
n1*u3*v2*v3 + 16*a22**3*a33**4*b33**3*k1*n1**2*u1*u2*v2 + 48*a22**3*a33**4*b33**
3*k1*n1**2*u1*u3*v3 - 16*a22**3*a33**4*b33**3*k1*n1**2*u2**2*v1 + 8*a22**3*a33**
4*b33**3*k10*m2*n1*u2*v3**2 - 16*a22**3*a33**4*b33**3*k10*m2*n1*u3*v2*v3 + 8*a22
**3*a33**4*b33**3*k10*n1**2*u1*u2*v2 - 8*a22**3*a33**4*b33**3*k10*n1**2*u1*u3*v3
- 8*a22**3*a33**4*b33**3*k10*n1**2*u2**2*v1 - 8*a22**3*a33**4*b33**3*k10*n1**2*
u3**2*v1 - 8*a22**3*a33**4*b33**3*n1**2*q1*v1 - 16*a22**3*a33**3*b33**5*k1*n1*u3
*v3**3 - 16*a22**3*a33**3*b33**4*k1*m2*n1*v2*v3**2 - 8*a22**3*a33**3*b33**4*k10*
m2*n1*v2*v3**2 - 16*a22**3*a33**3*b33**3*k1*m2*n1**2*v1*v2 - 16*a22**3*a33**3*
b33**3*k1*n1**3*u2*v2 - 16*a22**3*a33**3*b33**3*k10*m2*n1**2*v1*v2 - 16*a22**3*
a33**3*b33**3*k10*n1**3*u3*v3 + 2*a22**3*a33**2*b33**6*k1*n1*v1**4 + 4*a22**3*
a33**2*b33**6*k1*n1*v1**2*v2**2 + 4*a22**3*a33**2*b33**6*k1*n1*v1**2*v3**2 + 2*
a22**3*a33**2*b33**6*k1*n1*v2**4 + 4*a22**3*a33**2*b33**6*k1*n1*v2**2*v3**2 - 8*
a22**3*a33**2*b33**5*k1*n1**2*v1*v3**2 - 4*a22**3*a33**2*b33**5*k10*n1**2*v1*v3
**2 + 4*a22**3*a33**2*b33**4*k1*n1**3*v2**2 - 8*a22**3*a33**2*b33**4*k10*n1**3*
v1**2 - 4*a22**3*a33**2*b33**4*k10*n1**3*v2**2 + 8*a22**3*a33**2*b33**3*k1*n1**4
*v1 - 8*a22**3*a33**2*b33**3*k10*n1**4*v1 + 8*a22**2*a33**5*b33**4*k1*n1*u1**2*
v3**2 + 8*a22**2*a33**5*b33**4*k1*n1*u2**2*v3**2 - 16*a22**2*a33**5*b33**4*k1*n1
*u3**2*v3**2 + 4*a22**2*a33**5*b33**4*k10*n1*u3**2*v3**2 - 4*a22**2*a33**5*b33**
4*n1*q1*v1**2 - 4*a22**2*a33**5*b33**4*n1*q1*v2**2 - 8*a22**2*a33**4*b33**5*k1*
n1*u3*v3**3 + 8*a22**2*a33**4*b33**4*k1*m2*n1*v2*v3**2 - 8*a22**2*a33**4*b33**4*
k1*n1**2*u1*v3**2 - 16*a22**2*a33**4*b33**4*k1*n1**2*u3*v1*v3 + 4*a22**2*a33**4*
b33**4*k10*m2*n1*v2*v3**2 + 4*a22**2*a33**4*b33**4*k10*n1**2*u1*v3**2 - 8*a22**2
*a33**4*b33**4*k10*n1**2*u3*v1*v3 - 2*a22**2*a33**3*b33**6*k1*n1*v1**4 - 4*a22**
2*a33**3*b33**6*k1*n1*v1**2*v2**2 - 4*a22**2*a33**3*b33**6*k1*n1*v1**2*v3**2 - 2
*a22**2*a33**3*b33**6*k1*n1*v2**4 - 4*a22**2*a33**3*b33**6*k1*n1*v2**2*v3**2 + 4
*a22**2*a33**3*b33**4*k1*n1**3*v2**2 - 8*a22**2*a33**3*b33**4*k10*n1**3*v1**2 -
4*a22**2*a33**3*b33**4*k10*n1**3*v2**2 + 8*a22*a33**5*b33**5*k1*n1*u3*v3**3 -
a22*a33**4*b33**6*k1*n1*v1**4 - 2*a22*a33**4*b33**6*k1*n1*v1**2*v2**2 - 2*a22*
a33**4*b33**6*k1*n1*v1**2*v3**2 - a22*a33**4*b33**6*k1*n1*v2**4 - 2*a22*a33**4*
b33**6*k1*n1*v2**2*v3**2 + 4*a22*a33**4*b33**5*k1*n1**2*v1*v3**2 + 2*a22*a33**4*
b33**5*k10*n1**2*v1*v3**2 + a33**5*b33**6*k1*n1*v1**4 + 2*a33**5*b33**6*k1*n1*v1
**2*v2**2 + 2*a33**5*b33**6*k1*n1*v1**2*v3**2 + a33**5*b33**6*k1*n1*v2**4 + 2*
a33**5*b33**6*k1*n1*v2**2*v3**2)/(16*a22**4*b33**2*n1*(a22**5 - a22**4*a33 - 2*
a22**3*a33**2 + 2*a22**2*a33**3 + a22*a33**4 - a33**5))$