Small group number 245 of order 64
G = Syl2(U3(4)) is Sylow 2-subgroup of U_3(4)
The Hall-Senior number of this group is 187.
G has 4 minimal generators, rank 2 and exponent 4.
The centre has rank 2.
There is one conjugacy class of maximal elementary abelian
subgroups. Each maximal elementary abelian has rank 2.
This cohomology ring calculation is complete.
Ring structure
| Completion information
| Koszul information
| Restriction information
| Poincaré series
The cohomology ring has 26 generators:
- y1 in degree 1, a nilpotent element
- y2 in degree 1, a nilpotent element
- y3 in degree 1, a nilpotent element
- y4 in degree 1, a nilpotent element
- v1 in degree 4, a nilpotent element
- v2 in degree 4, a nilpotent element
- v3 in degree 4, a nilpotent element
- v4 in degree 4, a nilpotent element
- t1 in degree 6, a nilpotent element
- t2 in degree 6, a nilpotent element
- t3 in degree 6, a nilpotent element
- t4 in degree 6, a nilpotent element
- t5 in degree 6, a nilpotent element
- t6 in degree 6, a nilpotent element
- t7 in degree 6, a nilpotent element
- t8 in degree 6, a nilpotent element
- r1 in degree 8, a regular element
- r2 in degree 8, a regular element
- q1 in degree 9, a nilpotent element
- q2 in degree 9, a nilpotent element
- q3 in degree 9, a nilpotent element
- q4 in degree 9, a nilpotent element
- q5 in degree 9, a nilpotent element
- q6 in degree 9, a nilpotent element
- o1 in degree 11, a nilpotent element
- o2 in degree 11, a nilpotent element
There are 270 minimal relations:
- y42 =
y2.y4
+ y2.y3
+ y1.y4
+ y1.y2
+ y12
- y32 =
y2.y3
+ y22
+ y1.y4
+ y1.y3
- y22.y3 =
y1.y2.y4
+ y1.y2.y3
+ y1.y22
+ y12.y4
- y23 =
y1.y2.y3
+ y1.y22
+ y12.y4
+ y12.y2
+ y13
- y4.v4 =
y2.v4
+ y2.v2
+ y1.v3
+ y1.v2
+ y1.v1
+ y13.y3.y4
+ y13.y2.y4
+ y14.y4
+ y14.y2
+ y15
- y4.v3 =
y2.v2
+ y1.v4
+ y1.v3
+ y1.v2
+ y14.y3
+ y15
- y4.v2 =
y2.v4
+ y1.v1
+ y13.y3.y4
+ y13.y2.y4
+ y14.y2
+ y15
- y4.v1 =
y2.v3
+ y1.v1
+ y13.y3.y4
+ y14.y3
+ y14.y2
+ y15
- y3.v4 =
y2.v4
+ y2.v3
+ y1.v3
+ y13.y3.y4
+ y14.y2
- y3.v3 =
y2.v4
+ y2.v2
+ y1.v4
+ y14.y4
+ y14.y3
+ y14.y2
- y3.v2 =
y2.v2
+ y1.v4
+ y1.v1
+ y14.y3
+ y14.y2
+ y15
- y3.v1 =
y2.v2
+ y1.v3
+ y1.v2
+ y1.v1
+ y13.y2.y4
+ y14.y3
+ y15
- y2.v1 =
y1.v2
+ y14.y3
+ y14.y2
- y13.y2.y3 =
y14.y4
+ y14.y2
- y13.y22 =
y14.y2
- y4.t8 =
y2.t8
+ y2.t4
+ y1.t6
+ y1.t3
+ y1.t1
+ y1.y22.v4
+ y12.y2.v2
+ y13.v4
+ y13.v3
+ y13.v2
+ y13.v1
- y4.t7 =
y2.t8
+ y2.t3
+ y1.t6
+ y1.y22.v4
+ y13.v3
+ y13.v2
+ y13.v1
- y4.t6 =
y2.t4
+ y1.t7
+ y1.t5
+ y1.t3
+ y1.t1
+ y12.y2.v4
+ y13.v4
+ y13.v2
- y4.t5 =
y2.t8
+ y1.t8
+ y1.t4
+ y1.t1
+ y12.y2.v4
+ y12.y2.v3
+ y13.v4
+ y13.v2
- y4.t4 =
y2.t8
+ y2.t7
+ y2.t4
+ y2.t3
+ y1.t8
+ y1.t6
+ y1.t5
+ y1.t4
+ y1.t3
+ y1.t2
+ y12.y2.v3
+ y13.v4
+ y13.v2
- y4.t3 =
y2.t7
+ y2.t3
+ y1.t8
+ y1.t7
+ y1.t6
+ y1.t5
+ y1.t2
+ y1.y22.v4
+ y12.y2.v4
+ y12.y2.v3
+ y13.v4
+ y13.v2
+ y13.v1
- y4.t2 =
y2.t4
+ y1.t6
+ y1.t4
+ y1.t3
+ y13.v3
- y4.t1 =
y2.t3
+ y1.t5
+ y1.t4
+ y1.t2
+ y1.y22.v4
+ y12.y2.v4
+ y13.v4
- y3.t8 =
y2.t8
+ y2.t7
+ y2.t4
+ y2.t3
+ y1.t8
+ y1.t7
+ y1.t6
+ y1.t5
+ y1.t4
+ y1.t3
+ y1.t1
+ y1.y22.v4
+ y13.v4
+ y13.v1
- y3.t7 =
y2.t8
+ y2.t3
+ y1.t7
+ y1.t5
+ y1.t4
+ y1.t3
+ y1.t2
+ y13.v4
- y3.t6 =
y2.t3
+ y1.t8
+ y1.t6
+ y1.t5
+ y1.t3
+ y1.t2
+ y1.y22.v4
+ y12.y2.v2
+ y13.v4
+ y13.v2
+ y13.v1
- y3.t5 =
y2.t4
+ y2.t3
+ y1.t7
+ y1.t3
+ y1.t2
+ y1.t1
+ y1.y22.v4
+ y12.y2.v3
+ y12.y2.v2
+ y13.v4
+ y13.v2
+ y13.v1
- y3.t4 =
y2.t4
+ y2.t3
+ y1.t6
+ y1.t3
+ y12.y2.v3
+ y13.v4
- y3.t3 =
y2.t4
+ y1.t5
+ y1.t2
+ y1.y22.v4
+ y13.v4
+ y13.v2
+ y13.v1
- y3.t2 =
y1.t5
+ y1.y22.v4
+ y12.y2.v3
+ y12.y2.v2
+ y13.v4
- y3.t1 =
y1.t5
+ y1.t4
+ y1.t3
+ y1.y22.v4
+ y12.y2.v4
+ y12.y2.v3
+ y13.v1
- y2.t6 =
y2.t4
+ y2.t3
+ y1.t6
+ y1.t4
+ y1.t3
+ y1.t1
+ y1.y22.v4
+ y13.v3
- y2.t5 =
y2.t4
+ y1.t6
+ y1.t5
+ y1.t3
+ y12.y2.v4
+ y12.y2.v3
+ y12.y2.v2
+ y13.v4
+ y13.v3
+ y13.v1
- y2.t2 =
y1.t5
+ y1.t4
+ y1.t2
+ y1.t1
+ y13.v4
- y2.t1 =
y1.t2
+ y1.t1
+ y12.y2.v4
+ y12.y2.v3
+ y13.v4
+ y13.v3
+ y13.v1
- v42 =
0
- v3.v4 =
y13.y2.v4
+ y13.y2.v3
+ y14.v4
+ y14.v3
- v32 =
0
- v2.v4 =
y13.y2.v2
+ y14.v4
+ y14.v3
+ y14.v2
+ y14.v1
- v2.v3 =
y13.y2.v3
+ y14.v1
- v22 =
0
- v1.v4 =
y12.y22.v4
+ y13.y2.v2
+ y14.v4
+ y14.v2
- v1.v3 =
y13.y2.v4
+ y13.y2.v2
+ y14.v4
- v1.v2 =
y13.y2.v3
+ y13.y2.v2
+ y14.v4
+ y14.v3
- v12 =
0
- y13.t5 =
y13.t4
+ y13.t2
+ y13.t1
- v4.t8 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q5
+ y14.t2
+ y14.t1
+ y22.r2
+ y22.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y12.r2
+ y12.r1
- v4.t7 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q2
+ y1.q1
+ y14.t4
+ y22.r2
+ y22.r1
+ y1.y4.r2
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v4.t6 =
y2.q3
+ y1.q3
+ y1.q2
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y2.r1
- v4.t5 =
y2.q4
+ y1.q5
+ y1.q3
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r2
+ y1.y4.r1
+ y1.y2.r2
+ y1.y2.r1
- v4.t4 =
y1.q6
+ y1.q5
+ y1.q4
+ y1.q3
+ y14.t2
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
- v4.t3 =
y2.q4
+ y2.q3
+ y1.q5
+ y1.q4
+ y1.q3
+ y14.t3
+ y14.t2
+ y22.r2
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v4.t2 =
y2.q3
+ y1.q6
+ y1.q5
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r1
+ y1.y3.r1
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v4.t1 =
y2.q3
+ y1.q6
+ y1.q5
+ y1.q4
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
- v3.t8 =
y2.q3
+ y1.q5
+ y14.t3
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y2.r1
- v3.t7 =
y2.q4
+ y2.q3
+ y1.q4
+ y1.q3
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y22.r2
+ y22.r1
+ y12.r2
+ y12.r1
- v3.t6 =
y1.q6
+ y1.q5
+ y1.q4
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y1.y4.r2
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
- v3.t5 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q4
+ y1.q1
+ y14.t1
+ y22.r2
+ y22.r1
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r1
- v3.t4 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q5
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y22.r2
+ y22.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y12.r2
+ y12.r1
- v3.t3 =
y2.q3
+ y1.q6
+ y1.q4
+ y14.t4
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y3.r1
+ y1.y2.r2
- v3.t2 =
y2.q3
+ y1.q6
+ y1.q5
+ y1.q4
+ y1.q3
+ y14.t4
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
- v3.t1 =
y1.q6
+ y1.q4
+ y1.q3
+ y1.q2
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
- v2.t8 =
y2.q4
+ y1.q6
+ y1.q5
+ y1.q3
+ y14.t4
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r2
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v2.t7 =
y2.q4
+ y1.q6
+ y1.q5
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r2
+ y1.y4.r1
+ y1.y3.r1
+ y1.y2.r2
+ y12.r2
+ y12.r1
- v2.t6 =
y1.q5
+ y1.q4
+ y1.q2
+ y1.q1
+ y14.t2
+ y1.y4.r1
+ y1.y2.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v2.t5 =
y2.q3
+ y1.q5
+ y1.q4
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r1
+ y1.y2.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v2.t4 =
y2.q3
+ y1.q6
+ y1.q2
+ y1.q1
+ y14.t3
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y3.r2
+ y1.y3.r1
+ y12.r2
+ y12.r1
- v2.t3 =
y2.q3
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r1
+ y1.y3.r2
- v2.t2 =
y1.q5
+ y1.q1
+ y14.t3
+ y14.t2
+ y1.y4.r2
+ y1.y2.r1
- v2.t1 =
y1.q5
+ y1.q2
+ y1.q1
+ y14.t3
+ y14.t2
+ y14.t1
+ y1.y4.r2
+ y1.y2.r1
- v1.t8 =
y2.q4
+ y1.q4
+ y1.q2
+ y14.t4
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r2
+ y1.y4.r2
+ y1.y4.r1
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v1.t7 =
y2.q3
+ y1.q6
+ y1.q5
+ y1.q2
+ y14.t4
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r1
+ y12.r2
+ y12.r1
- v1.t6 =
y2.q3
+ y1.q1
+ y14.t3
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r1
+ y1.y3.r2
- v1.t5 =
y2.q3
+ y1.q3
+ y1.q1
+ y14.t4
+ y14.t3
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y3.r2
+ y1.y2.r1
- v1.t4 =
y2.q3
+ y1.q3
+ y1.q2
+ y1.q1
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r1
+ y1.y4.r2
+ y1.y3.r2
+ y1.y2.r1
- v1.t3 =
y1.q6
+ y1.q5
+ y1.q4
+ y1.q3
+ y14.t4
+ y14.t2
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
- v1.t2 =
y1.q5
+ y1.q2
+ y14.t3
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y2.r1
- v1.t1 =
y1.q1
+ y14.t3
+ y14.t2
+ y14.t1
+ y1.y4.r1
+ y1.y3.r2
- y4.q6 =
y2.q4
+ y2.q3
+ y1.q5
+ y1.q3
+ y1.q1
+ y14.t3
+ y14.t1
+ y3.y4.r1
+ y2.y4.r2
+ y2.y4.r1
+ y2.y3.r2
+ y2.y3.r1
+ y22.r2
+ y22.r1
+ y1.y4.r1
+ y12.r2
+ y12.r1
- y4.q5 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q1
+ y14.t3
+ y14.t2
+ y14.t1
+ y3.y4.r2
+ y2.y4.r2
+ y2.y3.r2
+ y2.y3.r1
+ y22.r2
+ y22.r1
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
- y4.q4 =
y1.q6
+ y1.q5
+ y1.q4
+ y1.q2
+ y1.q1
+ y14.t3
+ y14.t2
+ y2.y4.r1
+ y2.y3.r2
+ y2.y3.r1
+ y1.y4.r2
+ y1.y3.r1
+ y12.r2
+ y12.r1
- y4.q3 =
y1.q5
+ y1.q1
+ y14.t2
+ y2.y4.r2
+ y2.y3.r2
+ y2.y3.r1
+ y1.y4.r1
+ y1.y2.r2
+ y12.r2
+ y12.r1
- y4.q2 =
y2.q4
+ y1.q6
+ y1.q5
+ y1.q4
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y22.r2
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
- y4.q1 =
y2.q3
+ y1.q5
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t2
+ y3.y4.r2
+ y2.y4.r2
+ y2.y3.r1
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y12.r1
- y3.q6 =
y1.q6
+ y1.q5
+ y1.q1
+ y14.t3
+ y3.y4.r2
+ y3.y4.r1
+ y2.y3.r1
+ y22.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r1
+ y12.r2
+ y12.r1
- y3.q5 =
y2.q3
+ y1.q6
+ y1.q3
+ y1.q1
+ y14.t4
+ y14.t2
+ y3.y4.r2
+ y3.y4.r1
+ y2.y4.r2
+ y2.y4.r1
+ y2.y3.r2
+ y2.y3.r1
+ y22.r2
+ y22.r1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r1
+ y1.y2.r1
+ y12.r2
+ y12.r1
- y3.q4 =
y2.q4
+ y2.q3
+ y1.q6
+ y1.q5
+ y1.q4
+ y1.q3
+ y1.q2
+ y14.t3
+ y3.y4.r2
+ y3.y4.r1
+ y2.y3.r2
+ y22.r2
+ y22.r1
+ y1.y2.r1
- y3.q3 =
y2.q4
+ y1.q5
+ y1.q4
+ y1.q3
+ y1.q2
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y3.y4.r2
+ y3.y4.r1
+ y2.y4.r2
+ y2.y4.r1
+ y2.y3.r1
+ y22.r2
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y2.r1
+ y12.r2
+ y12.r1
- y3.q2 =
y1.q6
+ y14.t4
+ y14.t3
+ y14.t1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r1
+ y12.r2
+ y12.r1
- y3.q1 =
y1.q6
+ y1.q5
+ y1.q4
+ y1.q3
+ y1.q2
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y3.y4.r1
+ y2.y3.r2
+ y22.r2
+ y1.y4.r2
+ y1.y3.r1
+ y1.y2.r2
- y2.q6 =
y2.q4
+ y1.q6
+ y1.q4
+ y1.q2
+ y14.t3
+ y14.t2
+ y14.t1
+ y2.y3.r1
+ y22.r2
+ y1.y3.r1
+ y1.y2.r2
- y2.q5 =
y1.q6
+ y1.q4
+ y1.q1
+ y14.t4
+ y14.t3
+ y14.t2
+ y14.t1
+ y2.y4.r2
+ y2.y4.r1
+ y2.y3.r2
+ y22.r1
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
- y2.q2 =
y1.q6
+ y1.q5
+ y1.q4
+ y14.t4
+ y14.t3
+ y14.t1
+ y1.y4.r2
+ y1.y4.r1
+ y1.y3.r2
+ y1.y3.r1
+ y1.y2.r2
+ y1.y2.r1
- y2.q1 =
y1.q5
+ y1.q2
+ y1.q1
+ y14.t4
+ y14.t2
+ y14.t1
+ y2.y4.r1
+ y2.y3.r2
+ y1.y4.r2
+ y1.y2.r1
- t82 =
y12.y2.y4.r2
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r1
+ y13.y2.r2
- t7.t8 =
y12.y2.q4
+ y13.q6
+ y13.q5
+ y13.q4
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y13.y4.r1
+ y13.y3.r1
+ y13.y2.r1
+ y14.r1
- t72 =
y12.y2.y4.r1
+ y12.y2.y3.r2
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r1
- t6.t8 =
y13.q6
+ y13.q5
+ y13.q3
+ y12.y3.y4.r2
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r2
+ y12.y22.r2
+ y13.y3.r2
+ y13.y2.r2
+ y14.r2
- t6.t7 =
y12.y2.q4
+ y13.q6
+ y13.q4
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r2
+ y13.y2.r2
+ y14.r2
+ y14.r1
- t62 =
y12.y2.y4.r2
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r1
+ y13.y2.r2
+ y14.r1
- t5.t8 =
y12.y2.q4
+ y13.q6
+ y13.q3
+ y13.q2
+ y13.q1
+ y12.y2.y4.r2
+ y12.y2.y3.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y2.r2
+ y13.y2.r1
+ y14.r2
+ y14.r1
- t5.t7 =
y12.y2.q4
+ y13.q6
+ y13.q5
+ y13.q4
+ y13.q3
+ y12.y3.y4.r2
+ y12.y2.y4.r2
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r2
+ y14.r1
- t5.t6 =
y12.y2.q4
+ y13.q5
+ y13.q4
+ y13.q3
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r1
+ y13.y3.r1
- t52 =
y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r2
+ y13.y4.r1
+ y13.y3.r2
+ y13.y2.r2
+ y13.y2.r1
- t4.t8 =
y13.q6
+ y13.q4
+ y13.q2
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r1
+ y14.r2
+ y14.r1
- t4.t7 =
y12.y2.q4
+ y12.y2.q3
+ y13.q5
+ y13.q3
+ y12.y2.y3.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y14.r2
- t4.t6 =
y12.y2.q4
+ y12.y2.q3
+ y13.q6
+ y13.q4
+ y13.q3
+ y13.q2
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y3.r1
+ y13.y4.r1
+ y13.y3.r2
+ y13.y2.r2
- t4.t5 =
y13.q6
+ y13.q5
+ y13.q4
+ y13.q3
+ y13.q1
+ y12.y3.y4.r2
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y22.r2
+ y13.y2.r2
+ y13.y2.r1
+ y14.r2
- t42 =
y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r1
+ y13.y3.r2
+ y13.y2.r2
+ y13.y2.r1
+ y14.r2
- t3.t8 =
y13.q5
+ y13.q4
+ y13.q3
+ y12.y3.y4.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y2.r2
+ y14.r1
- t3.t7 =
y12.y2.q4
+ y12.y2.q3
+ y13.q3
+ y13.q2
+ y13.q1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r2
+ y12.y22.r1
+ y14.r1
- t3.t6 =
y12.y2.q4
+ y13.q6
+ y13.q5
+ y13.q4
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y3.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r2
- t3.t5 =
y12.y2.q3
+ y13.q6
+ y13.q5
+ y13.q4
+ y13.q3
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y2.r2
+ y14.r1
- t3.t4 =
y13.q6
+ y13.q5
+ y13.q3
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y3.r2
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r1
- t32 =
y12.y2.y4.r1
+ y12.y2.y3.r2
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r1
+ y14.r2
- t2.t8 =
y13.q4
+ y13.q2
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r2
+ y14.r1
- t2.t7 =
y13.q3
+ y13.q1
+ y12.y3.y4.r2
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y22.r1
+ y13.y3.r1
- t2.t6 =
y12.y2.q3
+ y13.q2
+ y13.q1
+ y12.y3.y4.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y2.r1
+ y14.r2
- t2.t5 =
y12.y2.q4
+ y13.q6
+ y13.q3
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r2
+ y14.r1
- t2.t4 =
y12.y2.q4
+ y12.y2.q3
+ y13.q5
+ y13.q4
+ y13.q1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y13.y3.r2
+ y13.y2.r2
+ y13.y2.r1
- t2.t3 =
y12.y2.q3
+ y13.q6
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r1
+ y13.y3.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r1
- t22 =
y12.y22.r2
+ y12.y22.r1
+ y14.r2
- t1.t8 =
y13.q6
+ y13.q5
+ y13.q3
+ y12.y3.y4.r2
+ y12.y2.y3.r1
+ y13.y4.r2
+ y13.y4.r1
+ y13.y2.r2
+ y14.r1
- t1.t7 =
y12.y2.q4
+ y12.y2.q3
+ y13.q5
+ y13.q4
+ y13.q3
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r1
+ y13.y4.r2
+ y13.y2.r1
- t1.t6 =
y12.y2.q3
+ y13.q3
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y13.y3.r1
+ y13.y2.r2
+ y13.y2.r1
+ y14.r2
- t1.t5 =
y12.y2.q4
+ y12.y2.q3
+ y13.q2
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r1
+ y13.y2.r2
+ y14.r1
- t1.t4 =
y12.y2.q3
+ y13.q4
+ y13.q3
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y2.y3.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r1
+ y13.y2.r2
+ y14.r2
+ y14.r1
- t1.t3 =
y12.y2.q3
+ y13.q6
+ y13.q5
+ y13.q4
+ y13.q3
+ y13.q1
+ y12.y2.y4.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y13.y3.r2
+ y13.y2.r2
+ y14.r1
- t1.t2 =
y13.q4
+ y13.q3
+ y13.q2
+ y12.y2.y3.r1
+ y13.y4.r1
+ y13.y2.r1
+ y14.r1
- t12 =
y12.y22.r1
+ y14.r2
+ y14.r1
- y4.o2 =
y12.y2.q4
+ y12.y2.q3
+ y13.q6
+ y13.q4
+ y13.q2
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y4.r2
+ y12.y2.y3.r1
+ y12.y22.r2
+ y13.y3.r2
+ y13.y3.r1
- y4.o1 =
y12.y2.q4
+ y12.y2.q3
+ y13.q6
+ y12.y2.y4.r2
+ y12.y2.y4.r1
+ y12.y22.r2
+ y13.y4.r2
+ y13.y2.r2
+ y14.r2
+ y14.r1
- y3.o2 =
y12.y2.q4
+ y12.y2.q3
+ y13.q4
+ y13.q3
+ y12.y3.y4.r1
+ y12.y2.y3.r2
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r1
+ y14.r2
+ y14.r1
- y3.o1 =
y13.q3
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y3.r2
+ y13.y4.r2
+ y13.y4.r1
+ y13.y3.r2
+ y13.y2.r1
+ y14.r1
- y2.o2 =
y13.q6
+ y13.q4
+ y13.q3
+ y13.q2
+ y13.q1
+ y12.y2.y4.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y2.r2
+ y13.y2.r1
+ y14.r1
- y2.o1 =
y12.y2.q4
+ y12.y2.q3
+ y13.q6
+ y13.q3
+ y13.q1
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y13.y3.r2
+ y13.y2.r2
+ y13.y2.r1
+ y14.r2
+ y14.r1
- y1.o2 =
y12.y2.q4
+ y12.y2.q3
+ y13.q5
+ y13.q2
+ y12.y3.y4.r1
+ y12.y2.y4.r1
+ y12.y2.y3.r1
+ y12.y22.r2
+ y12.y22.r1
+ y13.y4.r2
+ y13.y3.r2
+ y13.y3.r1
- y1.o1 =
y12.y2.q4
+ y13.q4
+ y13.q3
+ y13.q2
+ y12.y2.y4.r2
+ y12.y22.r2
+ y13.y3.r1
+ y13.y2.r2
+ y14.r2
- v4.q6 =
y14.q4
+ y14.q3
+ y2.v4.r2
+ y2.v3.r1
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v4.r1
+ y1.v3.r2
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y4.r1
+ y14.y2.r1
- v4.q5 =
y14.q1
+ y2.v3.r2
+ y2.v2.r2
+ y2.v2.r1
+ y1.v3.r1
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y3.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v4.q4 =
y14.q4
+ y2.v4.r1
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v4.r1
+ y1.v3.r2
+ y1.v3.r1
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y2.r1
- v4.q3 =
y14.q3
+ y14.q2
+ y14.q1
+ y2.v4.r2
+ y2.v2.r2
+ y2.v2.r1
+ y1.v3.r2
+ y1.v3.r1
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r1
+ y14.y3.r2
+ y14.y2.r2
+ y15.r2
+ y15.r1
- v4.q2 =
y14.q4
+ y14.q3
+ y14.q2
+ y14.q1
+ y14.y4.r1
+ y14.y3.r2
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v4.q1 =
y14.q2
+ y14.q1
+ y2.v4.r2
+ y2.v4.r1
+ y2.v3.r2
+ y2.v2.r1
+ y1.v3.r2
+ y1.v3.r1
+ y1.v2.r1
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r1
+ y14.y3.r2
+ y14.y2.r2
+ y14.y2.r1
+ y15.r1
- v3.q6 =
y14.q4
+ y14.q3
+ y14.q1
+ y2.v4.r1
+ y2.v2.r2
+ y1.v4.r2
+ y1.v2.r2
+ y1.v2.r1
+ y14.y2.r2
- v3.q5 =
y14.q3
+ y14.q1
+ y2.v4.r2
+ y2.v3.r1
+ y2.v2.r1
+ y1.v4.r1
+ y1.v3.r2
+ y1.v3.r1
+ y1.v2.r2
+ y1.v2.r1
+ y14.y3.r2
+ y14.y3.r1
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v3.q4 =
y14.q4
+ y14.q1
+ y2.v3.r2
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v4.r1
+ y1.v2.r2
+ y1.v2.r1
+ y14.y4.r2
+ y14.y3.r1
+ y14.y2.r2
- v3.q3 =
y14.q3
+ y14.q1
+ y2.v3.r1
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v4.r1
+ y1.v3.r2
+ y1.v3.r1
+ y1.v2.r2
+ y1.v2.r1
+ y14.y4.r2
+ y14.y3.r1
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v3.q2 =
y14.q4
+ y14.q3
+ y14.q2
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v3.q1 =
y14.q3
+ y2.v4.r2
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v4.r1
+ y1.v3.r1
+ y1.v2.r1
+ y14.y4.r1
+ y14.y3.r2
+ y14.y3.r1
+ y14.y2.r2
+ y14.y2.r1
+ y15.r1
- v2.q6 =
y14.q3
+ y2.v4.r2
+ y2.v4.r1
+ y2.v2.r1
+ y1.v4.r1
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y4.r1
+ y14.y3.r1
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
- v2.q5 =
y14.q3
+ y14.q1
+ y2.v4.r2
+ y2.v4.r1
+ y2.v2.r2
+ y2.v2.r1
+ y1.v4.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y15.r1
- v2.q4 =
y14.q4
+ y14.q1
+ y2.v4.r2
+ y2.v4.r1
+ y2.v2.r2
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y3.r2
+ y14.y2.r1
- v2.q3 =
y14.q4
+ y14.q3
+ y14.q1
+ y2.v4.r2
+ y2.v4.r1
+ y2.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r1
+ y14.y3.r2
- v2.q2 =
y14.q2
+ y14.q1
+ y14.y4.r1
+ y14.y3.r2
- v2.q1 =
y14.q4
+ y14.q2
+ y2.v4.r1
+ y2.v2.r2
+ y1.v4.r2
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r1
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y4.r1
+ y14.y3.r2
+ y14.y2.r1
- v1.q6 =
y14.q4
+ y14.q3
+ y2.v3.r2
+ y2.v3.r1
+ y2.v2.r1
+ y1.v3.r1
+ y1.v2.r1
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r1
+ y14.y3.r2
+ y15.r1
- v1.q5 =
y14.q4
+ y14.q3
+ y14.q2
+ y2.v3.r2
+ y2.v3.r1
+ y2.v2.r2
+ y1.v3.r2
+ y1.v2.r2
+ y1.v2.r1
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y14.y2.r1
+ y15.r2
- v1.q4 =
y14.q1
+ y2.v3.r2
+ y2.v3.r1
+ y1.v2.r2
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y14.y4.r1
+ y14.y3.r2
+ y14.y3.r1
+ y14.y2.r1
+ y15.r2
+ y15.r1
- v1.q3 =
y14.q4
+ y14.q3
+ y14.q1
+ y2.v3.r2
+ y2.v3.r1
+ y1.v2.r1
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r2
+ y13.y3.y4.r1
+ y14.y4.r1
+ y14.y2.r1
- v1.q2 =
y14.q4
+ y14.y4.r2
+ y14.y4.r1
+ y14.y2.r2
+ y15.r2
+ y15.r1
- v1.q1 =
y14.q3
+ y14.q2
+ y2.v3.r1
+ y2.v2.r2
+ y1.v3.r2
+ y1.v2.r2
+ y1.v1.r2
+ y1.v1.r1
+ y13.y3.y4.r1
+ y13.y2.y4.r2
+ y14.y4.r2
+ y14.y4.r1
+ y14.y3.r2
+ y14.y3.r1
+ y15.r2
+ y15.r1
- t8.q6 =
y2.t8.r2
+ y2.t7.r1
+ y2.t4.r2
+ y2.t3.r1
+ y1.t8.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t5.r1
+ y1.t4.r1
+ y1.t3.r2
+ y1.t1.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r2
+ y13.v1.r1
- t8.q5 =
y2.t7.r2
+ y2.t4.r1
+ y2.t3.r2
+ y1.t8.r2
+ y1.t7.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r2
+ y1.t3.r1
+ y1.t1.r1
+ y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v2.r2
+ y13.v1.r2
+ y13.v1.r1
- t8.q4 =
y2.t8.r1
+ y2.t4.r2
+ y2.t4.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t1.r2
+ y1.t1.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r2
+ y13.v1.r1
- t8.q3 =
y2.t8.r2
+ y2.t4.r2
+ y2.t4.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v1.r2
+ y13.v1.r1
- t8.q2 =
y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y13.v4.r1
+ y13.v3.r2
+ y13.v2.r2
- t8.q1 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t4.r2
+ y2.t4.r1
+ y2.t3.r2
+ y1.t8.r2
+ y1.t7.r2
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r2
+ y1.t3.r2
+ y1.t3.r1
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v2.r1
+ y13.v1.r2
+ y13.v1.r1
- t7.q6 =
y2.t8.r2
+ y2.t3.r2
+ y1.t7.r2
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r1
+ y1.t3.r1
+ y1.t2.r1
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r1
- t7.q5 =
y2.t8.r1
+ y2.t7.r1
+ y2.t3.r1
+ y1.t7.r2
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r2
+ y1.t3.r2
+ y1.t2.r2
+ y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r1
+ y13.v2.r1
- t7.q4 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t3.r2
+ y2.t3.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.y22.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
- t7.q3 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r1
+ y2.t3.r2
+ y2.t3.r1
+ y1.t6.r2
+ y1.t6.r1
+ y12.y2.v3.r2
+ y13.v3.r2
+ y13.v3.r1
+ y13.v1.r1
- t7.q2 =
y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v1.r1
- t7.q1 =
y2.t8.r2
+ y2.t8.r1
+ y2.t3.r2
+ y2.t3.r1
+ y1.t7.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r2
+ y1.t3.r2
+ y1.t2.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r1
+ y13.v2.r1
+ y13.v1.r2
- t6.q6 =
y2.t4.r2
+ y2.t4.r1
+ y2.t3.r1
+ y1.t8.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t5.r2
+ y1.t3.r2
+ y1.t2.r1
+ y1.t1.r2
+ y1.t1.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y13.v3.r2
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r1
- t6.q5 =
y2.t4.r2
+ y2.t3.r2
+ y2.t3.r1
+ y1.t8.r2
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r1
+ y1.t2.r2
+ y1.t1.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v2.r1
+ y13.v1.r2
- t6.q4 =
y2.t4.r1
+ y2.t3.r2
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t3.r1
+ y1.t1.r1
+ y12.y2.v4.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r1
- t6.q3 =
y2.t4.r2
+ y2.t3.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r1
+ y1.t3.r2
+ y1.t1.r2
+ y12.y2.v4.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v3.r2
+ y13.v2.r2
+ y13.v1.r2
+ y13.v1.r1
- t6.q2 =
y1.y22.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y13.v4.r2
+ y13.v2.r1
+ y13.v1.r2
- t6.q1 =
y2.t4.r1
+ y2.t3.r2
+ y1.t8.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t5.r2
+ y1.t5.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t1.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v1.r2
+ y13.v1.r1
- t5.q6 =
y2.t8.r2
+ y2.t8.r1
+ y2.t4.r1
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r1
+ y1.t2.r1
+ y1.t1.r2
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v1.r2
- t5.q5 =
y2.t8.r2
+ y2.t8.r1
+ y2.t4.r2
+ y2.t4.r1
+ y2.t3.r2
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t1.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v3.r2
+ y13.v2.r2
+ y13.v1.r2
- t5.q4 =
y2.t8.r2
+ y2.t8.r1
+ y2.t4.r2
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v2.r2
+ y13.v1.r2
- t5.q3 =
y2.t8.r2
+ y2.t8.r1
+ y2.t4.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r1
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v2.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v1.r1
- t5.q2 =
y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r1
- t5.q1 =
y2.t8.r1
+ y2.t4.r2
+ y2.t3.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t2.r2
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v1.r2
- t4.q6 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t7.r1
+ y2.t4.r2
+ y2.t3.r2
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r2
+ y1.t5.r2
+ y1.t5.r1
+ y1.t3.r2
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v2.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r2
- t4.q5 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t7.r1
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
- t4.q4 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t7.r1
+ y2.t4.r1
+ y2.t3.r2
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v2.r2
+ y13.v1.r2
+ y13.v1.r1
- t4.q3 =
y2.t8.r2
+ y2.t8.r1
+ y2.t7.r2
+ y2.t7.r1
+ y2.t4.r2
+ y2.t3.r2
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v1.r2
- t4.q2 =
y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r2
- t4.q1 =
y2.t8.r1
+ y2.t7.r1
+ y2.t4.r2
+ y2.t4.r1
+ y2.t3.r2
+ y2.t3.r1
+ y1.t8.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v1.r1
- t3.q6 =
y2.t7.r2
+ y2.t7.r1
+ y2.t4.r1
+ y2.t3.r2
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
- t3.q5 =
y2.t7.r2
+ y2.t7.r1
+ y2.t4.r2
+ y2.t3.r2
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t2.r1
+ y12.y2.v3.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v1.r2
+ y13.v1.r1
- t3.q4 =
y2.t7.r2
+ y2.t7.r1
+ y2.t3.r1
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y12.y2.v4.r1
+ y12.y2.v3.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r2
+ y13.v1.r2
+ y13.v1.r1
- t3.q3 =
y2.t7.r2
+ y2.t7.r1
+ y2.t3.r2
+ y1.t8.r2
+ y1.t8.r1
+ y1.t7.r2
+ y1.t7.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v1.r2
+ y13.v1.r1
- t3.q2 =
y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r1
- t3.q1 =
y2.t7.r1
+ y2.t4.r2
+ y2.t3.r1
+ y1.t8.r1
+ y1.t7.r1
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r2
+ y13.v3.r1
- t2.q6 =
y2.t4.r2
+ y2.t4.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v3.r2
+ y13.v2.r1
- t2.q5 =
y2.t4.r2
+ y2.t4.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r1
+ y1.t1.r1
+ y1.y22.v4.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v3.r2
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r1
- t2.q4 =
y2.t4.r2
+ y2.t4.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r1
+ y1.t1.r2
+ y1.y22.v4.r2
+ y12.y2.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r1
+ y13.v3.r2
+ y13.v2.r1
+ y13.v1.r1
- t2.q3 =
y2.t4.r2
+ y2.t4.r1
+ y1.t6.r2
+ y1.t6.r1
+ y1.t5.r1
+ y1.t4.r2
+ y1.t3.r2
+ y1.t3.r1
+ y1.t2.r1
+ y1.t1.r1
+ y1.y22.v4.r1
+ y12.y2.v4.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r2
+ y13.v1.r1
- t2.q2 =
y12.y2.v3.r2
+ y12.y2.v2.r2
+ y13.v4.r2
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r2
+ y13.v1.r1
- t2.q1 =
y2.t4.r1
+ y1.t6.r1
+ y1.t5.r2
+ y1.t4.r1
+ y1.t3.r1
+ y1.y22.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r2
+ y13.v1.r2
- t1.q6 =
y2.t3.r2
+ y2.t3.r1
+ y1.t5.r2
+ y1.t4.r2
+ y1.t3.r1
+ y1.t2.r2
+ y1.t2.r1
+ y1.t1.r2
+ y1.t1.r1
+ y1.y22.v4.r2
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r2
- t1.q5 =
y2.t3.r2
+ y2.t3.r1
+ y1.t5.r1
+ y1.t4.r1
+ y1.t3.r2
+ y1.t2.r2
+ y1.t1.r1
+ y1.y22.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r2
+ y13.v4.r1
+ y13.v3.r1
+ y13.v2.r2
- t1.q4 =
y2.t3.r2
+ y2.t3.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t2.r1
+ y1.t1.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r2
+ y13.v3.r2
+ y13.v3.r1
- t1.q3 =
y2.t3.r2
+ y2.t3.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t2.r2
+ y1.t1.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v3.r2
- t1.q2 =
y12.y2.v2.r2
+ y13.v1.r1
- t1.q1 =
y2.t3.r1
+ y1.t5.r2
+ y1.t5.r1
+ y1.t4.r2
+ y1.t4.r1
+ y1.t3.r2
+ y1.t2.r1
+ y1.y22.v4.r2
+ y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v1.r1
- v4.o2 =
y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v2.r1
+ y13.v3.r1
+ y13.v1.r1
- v4.o1 =
y1.y22.v4.r1
+ y12.y2.v4.r2
+ y12.y2.v4.r1
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v3.r1
+ y13.v1.r1
- v3.o2 =
y1.y22.v4.r1
+ y12.y2.v3.r2
+ y12.y2.v3.r1
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v2.r1
- v3.o1 =
y12.y2.v3.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r1
- v2.o2 =
y12.y2.v4.r1
+ y12.y2.v2.r2
+ y13.v3.r1
+ y13.v2.r1
+ y13.v1.r1
- v2.o1 =
y1.y22.v4.r1
+ y12.y2.v2.r2
+ y12.y2.v2.r1
+ y13.v4.r1
+ y13.v1.r1
- v1.o2 =
y1.y22.v4.r1
+ y12.y2.v2.r1
+ y13.v2.r2
+ y13.v2.r1
- v1.o1 =
y12.y2.v4.r1
+ y12.y2.v2.r1
+ y13.v3.r1
+ y13.v2.r2
+ y13.v2.r1
+ y13.v1.r1
- t8.o2 =
y13.t8.r2
+ y13.t7.r1
+ y13.t6.r1
+ y13.t3.r2
+ y13.t3.r1
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
+ y13.t1.r1
- t8.o1 =
y13.t8.r2
+ y13.t7.r1
+ y13.t4.r1
+ y13.t3.r2
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
+ y13.t1.r1
- t7.o2 =
y13.t8.r2
+ y13.t7.r1
+ y13.t6.r2
+ y13.t6.r1
+ y13.t4.r2
+ y13.t4.r1
+ y13.t3.r2
+ y13.t3.r1
+ y13.t2.r2
- t7.o1 =
y13.t8.r2
+ y13.t6.r2
+ y13.t4.r2
+ y13.t3.r2
+ y13.t3.r1
+ y13.t2.r2
+ y13.t1.r1
- t6.o2 =
y13.t7.r2
+ y13.t4.r2
+ y13.t3.r2
+ y13.t2.r2
+ y13.t2.r1
- t6.o1 =
y13.t8.r1
+ y13.t7.r2
+ y13.t7.r1
+ y13.t4.r2
+ y13.t4.r1
+ y13.t3.r2
+ y13.t3.r1
+ y13.t2.r2
+ y13.t1.r1
- t5.o2 =
y13.t7.r2
+ y13.t7.r1
+ y13.t6.r2
+ y13.t6.r1
+ y13.t4.r2
+ y13.t3.r2
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
- t5.o1 =
y13.t7.r2
+ y13.t7.r1
+ y13.t6.r2
+ y13.t6.r1
+ y13.t4.r2
+ y13.t3.r2
+ y13.t2.r2
+ y13.t1.r2
- t4.o2 =
y13.t8.r1
+ y13.t7.r2
+ y13.t6.r1
+ y13.t2.r1
+ y13.t1.r1
- t4.o1 =
y13.t7.r2
+ y13.t7.r1
+ y13.t6.r1
+ y13.t3.r1
- t3.o2 =
y13.t7.r1
+ y13.t6.r2
+ y13.t6.r1
+ y13.t3.r1
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
- t3.o1 =
y13.t8.r1
+ y13.t6.r2
+ y13.t6.r1
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
- t2.o2 =
y13.t8.r1
+ y13.t6.r1
+ y13.t4.r1
+ y13.t1.r1
- t2.o1 =
y13.t8.r1
+ y13.t6.r1
+ y13.t3.r1
+ y13.t2.r1
- t1.o2 =
y13.t8.r1
+ y13.t7.r1
+ y13.t6.r1
+ y13.t2.r2
+ y13.t2.r1
+ y13.t1.r2
- t1.o1 =
y13.t7.r1
+ y13.t4.r1
+ y13.t2.r2
+ y13.t1.r2
- q62 =
y2.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y22.r12
+ y1.y4.r22
+ y1.y3.r12
+ y1.y2.r22
+ y1.y2.r12
- q5.q6 =
y2.r1.q4
+ y2.r1.q3
+ y1.r2.q5
+ y1.r2.q3
+ y1.r2.q1
+ y1.r1.q6
+ y1.r1.q4
+ y1.r1.q2
+ y1.r1.q1
+ y14.t4.r1
+ y14.t3.r2
+ y14.t3.r1
+ y14.t2.r2
+ y14.t2.r1
+ y14.t1.r1
+ y3.y4.r22
+ y3.y4.r12
+ y2.y4.r22
+ y2.y4.r1.r2
+ y2.y3.r22
+ y2.y3.r1.r2
+ y22.r12
+ y1.y4.r12
+ y1.y3.r22
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r22
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r22
+ y12.r12
- q52 =
y2.y4.r22
+ y2.y4.r12
+ y2.y3.r12
+ y22.r22
+ y22.r12
+ y1.y4.r12
+ y1.y3.r22
+ y1.y2.r22
+ y1.y2.r12
+ y12.r22
+ y12.r12
- q4.q6 =
y2.r2.q3
+ y1.r2.q6
+ y1.r2.q4
+ y1.r2.q3
+ y1.r1.q6
+ y1.r1.q5
+ y1.r1.q4
+ y14.t3.r2
+ y14.t3.r1
+ y14.t2.r1
+ y14.t1.r1
+ y3.y4.r1.r2
+ y3.y4.r12
+ y2.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y2.y3.r1.r2
+ y2.y3.r12
+ y22.r1.r2
+ y1.y3.r1.r2
+ y1.y2.r22
+ y1.y2.r1.r2
- q4.q5 =
y2.r1.q3
+ y1.r2.q5
+ y1.r2.q4
+ y1.r2.q3
+ y1.r2.q1
+ y1.r1.q4
+ y1.r1.q2
+ y14.t4.r2
+ y14.t2.r2
+ y14.t1.r1
+ y3.y4.r22
+ y3.y4.r1.r2
+ y2.y4.r1.r2
+ y2.y4.r12
+ y2.y3.r12
+ y22.r1.r2
+ y22.r12
+ y1.y4.r22
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r22
+ y1.y3.r1.r2
- q42 =
y2.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y2.y3.r12
+ y22.r22
+ y1.y4.r22
+ y1.y4.r12
+ y1.y2.r22
+ y1.y2.r12
- q3.q6 =
y2.r2.q4
+ y2.r2.q3
+ y2.r1.q4
+ y2.r1.q3
+ y1.r1.q6
+ y1.r1.q5
+ y1.r1.q3
+ y14.t4.r1
+ y14.t3.r2
+ y14.t3.r1
+ y14.t2.r2
+ y14.t2.r1
+ y14.t1.r2
+ y14.t1.r1
+ y3.y4.r1.r2
+ y3.y4.r12
+ y2.y4.r22
+ y2.y4.r1.r2
+ y2.y3.r22
+ y22.r22
+ y22.r12
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r22
+ y12.r1.r2
- q3.q5 =
y2.r2.q3
+ y2.r1.q4
+ y1.r2.q6
+ y1.r2.q4
+ y1.r2.q3
+ y1.r2.q2
+ y1.r1.q5
+ y1.r1.q4
+ y1.r1.q1
+ y14.t4.r2
+ y14.t4.r1
+ y14.t2.r2
+ y14.t2.r1
+ y3.y4.r22
+ y3.y4.r1.r2
+ y2.y3.r22
+ y2.y3.r1.r2
+ y2.y3.r12
+ y22.r12
+ y1.y4.r1.r2
+ y1.y3.r1.r2
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r22
+ y12.r1.r2
- q3.q4 =
y2.r2.q3
+ y2.r1.q4
+ y1.r2.q6
+ y1.r2.q4
+ y1.r2.q3
+ y1.r2.q2
+ y1.r1.q6
+ y1.r1.q4
+ y1.r1.q3
+ y1.r1.q2
+ y14.t3.r2
+ y14.t3.r1
+ y2.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y2.y3.r12
+ y22.r1.r2
+ y1.y4.r22
+ y1.y4.r12
+ y1.y3.r1.r2
+ y1.y3.r12
+ y12.r22
+ y12.r12
- q32 =
y2.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y2.y3.r12
+ y22.r12
+ y1.y4.r22
+ y1.y4.r12
+ y1.y2.r22
+ y1.y2.r12
+ y12.r22
+ y12.r12
- q2.q6 =
y2.r2.q4
+ y2.r1.q4
+ y1.r2.q6
+ y1.r2.q5
+ y1.r2.q4
+ y1.r2.q2
+ y1.r1.q5
+ y1.r1.q4
+ y1.r1.q2
+ y14.t4.r1
+ y14.t3.r1
+ y14.t1.r2
+ y2.y4.r22
+ y2.y4.r12
+ y22.r22
+ y22.r1.r2
+ y1.y4.r22
+ y1.y4.r1.r2
+ y1.y3.r22
+ y12.r1.r2
+ y12.r12
- q2.q5 =
y2.r2.q4
+ y2.r1.q4
+ y1.r2.q5
+ y1.r2.q4
+ y14.t4.r2
+ y14.t4.r1
+ y14.t3.r2
+ y14.t3.r1
+ y2.y4.r22
+ y2.y4.r12
+ y22.r22
+ y22.r1.r2
+ y1.y3.r22
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r22
+ y12.r1.r2
- q2.q4 =
y2.r2.q4
+ y2.r1.q4
+ y1.r2.q2
+ y1.r1.q6
+ y1.r1.q5
+ y1.r1.q4
+ y1.r1.q2
+ y14.t4.r2
+ y14.t3.r2
+ y14.t1.r1
+ y2.y4.r22
+ y2.y4.r12
+ y22.r22
+ y22.r1.r2
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r22
+ y1.y2.r1.r2
- q2.q3 =
y2.r2.q4
+ y2.r1.q4
+ y1.r2.q6
+ y1.r2.q5
+ y1.r2.q4
+ y14.t4.r1
+ y14.t3.r1
+ y14.t1.r2
+ y2.y4.r22
+ y2.y4.r12
+ y22.r22
+ y22.r1.r2
+ y1.y4.r22
+ y1.y4.r1.r2
+ y1.y3.r22
+ y1.y3.r1.r2
+ y1.y2.r1.r2
+ y1.y2.r12
- q22 =
0
- q1.q6 =
y2.r2.q3
+ y2.r1.q4
+ y1.r2.q6
+ y1.r2.q2
+ y1.r2.q1
+ y1.r1.q6
+ y1.r1.q5
+ y1.r1.q4
+ y1.r1.q1
+ y14.t4.r2
+ y14.t3.r2
+ y14.t2.r2
+ y3.y4.r22
+ y3.y4.r1.r2
+ y3.y4.r12
+ y2.y4.r22
+ y2.y4.r1.r2
+ y2.y3.r12
+ y22.r1.r2
+ y1.y4.r22
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r22
+ y12.r12
- q1.q5 =
y2.r1.q4
+ y1.r2.q4
+ y1.r1.q6
+ y1.r1.q1
+ y14.t4.r2
+ y14.t3.r2
+ y14.t3.r1
+ y14.t2.r2
+ y14.t2.r1
+ y14.t1.r2
+ y3.y4.r22
+ y2.y4.r12
+ y2.y3.r22
+ y2.y3.r12
+ y22.r22
+ y22.r1.r2
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r22
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r22
+ y12.r22
+ y12.r1.r2
- q1.q4 =
y2.r2.q4
+ y2.r1.q3
+ y1.r2.q6
+ y1.r2.q5
+ y1.r2.q4
+ y1.r2.q3
+ y1.r2.q2
+ y1.r2.q1
+ y1.r1.q6
+ y1.r1.q4
+ y1.r1.q1
+ y14.t4.r1
+ y14.t3.r2
+ y14.t3.r1
+ y14.t1.r2
+ y3.y4.r22
+ y3.y4.r1.r2
+ y2.y4.r22
+ y2.y3.r22
+ y2.y3.r1.r2
+ y2.y3.r12
+ y22.r22
+ y22.r12
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r22
+ y1.y3.r1.r2
+ y1.y3.r12
+ y1.y2.r1.r2
+ y1.y2.r12
+ y12.r1.r2
+ y12.r12
- q1.q3 =
y2.r2.q4
+ y2.r2.q3
+ y2.r1.q3
+ y1.r2.q4
+ y1.r2.q3
+ y1.r2.q1
+ y1.r1.q5
+ y1.r1.q1
+ y14.t3.r2
+ y14.t2.r1
+ y14.t1.r2
+ y14.t1.r1
+ y3.y4.r22
+ y3.y4.r1.r2
+ y2.y4.r12
+ y2.y3.r12
+ y22.r22
+ y22.r1.r2
+ y22.r12
+ y1.y4.r1.r2
+ y1.y4.r12
+ y1.y3.r22
+ y1.y2.r1.r2
+ y12.r22
+ y12.r12
- q1.q2 =
y2.r1.q4
+ y1.r2.q6
+ y1.r1.q6
+ y1.r1.q5
+ y1.r1.q4
+ y14.t4.r2
+ y14.t3.r2
+ y14.t1.r2
+ y14.t1.r1
+ y2.y4.r1.r2
+ y2.y4.r12
+ y22.r1.r2
+ y1.y4.r22
+ y1.y4.r12
+ y1.y3.r12
+ y12.r22
+ y12.r1.r2
- q12 =
y2.y4.r12
+ y2.y3.r22
+ y2.y3.r12
+ y22.r22
+ y1.y4.r22
+ y1.y4.r12
+ y1.y3.r22
+ y1.y2.r12
+ y12.r12
- q6.o2 =
y12.y2.r2.q4
+ y12.y2.r1.q4
+ y13.r2.q5
+ y13.r2.q2
+ y13.r2.q1
+ y13.r1.q5
+ y13.r1.q4
+ y12.y3.y4.r12
+ y12.y2.y3.r1.r2
+ y12.y22.r22
+ y12.y22.r12
+ y13.y4.r22
+ y13.y4.r12
+ y13.y3.r12
+ y13.y2.r12
+ y14.r1.r2
+ y14.r12
- q6.o1 =
y12.y2.r2.q4
+ y12.y2.r2.q3
+ y13.r2.q3
+ y13.r1.q3
+ y12.y3.y4.r12
+ y12.y2.y4.r22
+ y12.y2.y4.r1.r2
+ y12.y2.y3.r1.r2
+ y12.y22.r22
+ y12.y22.r12
+ y13.y4.r22
+ y13.y4.r1.r2
+ y13.y4.r12
+ y14.r1.r2
- q5.o2 =
y12.y2.r1.q4
+ y13.r2.q4
+ y13.r2.q3
+ y13.r2.q2
+ y13.r1.q6
+ y13.r1.q1
+ y12.y3.y4.r12
+ y12.y2.y4.r22
+ y12.y2.y3.r22
+ y12.y2.y3.r1.r2
+ y12.y2.y3.r12
+ y12.y22.r1.r2
+ y13.y4.r1.r2
+ y13.y4.r12
+ y13.y3.r1.r2
+ y13.y2.r22
+ y13.y2.r1.r2
+ y14.r22
- q5.o1 =
y12.y2.r2.q4
+ y12.y2.r2.q3
+ y12.y2.r1.q4
+ y12.y2.r1.q3
+ y13.r2.q4
+ y13.r2.q3
+ y13.r1.q4
+ y13.r1.q3
+ y13.r1.q1
+ y12.y3.y4.r1.r2
+ y12.y3.y4.r12
+ y12.y2.y4.r22
+ y12.y2.y3.r22
+ y12.y22.r22
+ y12.y22.r12
+ y13.y4.r12
+ y13.y2.r1.r2
+ y14.r22
+ y14.r1.r2
+ y14.r12
- q4.o2 =
y12.y2.r2.q4
+ y13.r2.q5
+ y13.r2.q3
+ y13.r2.q2
+ y13.r1.q5
+ y13.r1.q4
+ y13.r1.q3
+ y13.r1.q2
+ y13.r1.q1
+ y12.y2.y4.r12
+ y12.y22.r12
+ y13.y4.r1.r2
+ y13.y3.r22
+ y13.y3.r12
+ y13.y2.r12
+ y14.r12
- q4.o1 =
y12.y2.r1.q4
+ y13.r2.q4
+ y13.r2.q2
+ y13.r2.q1
+ y13.r1.q6
+ y13.r1.q5
+ y12.y3.y4.r1.r2
+ y12.y2.y4.r22
+ y12.y2.y4.r1.r2
+ y12.y2.y4.r12
+ y12.y22.r22
+ y12.y22.r1.r2
+ y12.y22.r12
+ y13.y4.r22
+ y13.y4.r12
+ y13.y3.r22
+ y13.y3.r12
+ y13.y2.r12
+ y14.r22
+ y14.r1.r2
- q3.o2 =
y12.y2.r2.q4
+ y12.y2.r1.q4
+ y12.y2.r1.q3
+ y13.r2.q6
+ y13.r2.q4
+ y13.r2.q2
+ y13.r2.q1
+ y13.r1.q6
+ y13.r1.q5
+ y13.r1.q3
+ y13.r1.q2
+ y13.r1.q1
+ y12.y3.y4.r1.r2
+ y12.y3.y4.r12
+ y12.y2.y4.r12
+ y12.y2.y3.r1.r2
+ y12.y2.y3.r12
+ y12.y22.r22
+ y12.y22.r1.r2
+ y12.y22.r12
+ y13.y4.r1.r2
+ y13.y4.r12
+ y13.y3.r22
+ y13.y3.r1.r2
+ y13.y2.r1.r2
+ y14.r1.r2
- q3.o1 =
y12.y2.r2.q4
+ y12.y2.r1.q4
+ y13.r2.q6
+ y13.r1.q6
+ y13.r1.q3
+ y13.r1.q1
+ y12.y3.y4.r12
+ y12.y2.y4.r12
+ y12.y22.r22
+ y12.y22.r1.r2
+ y13.y4.r22
+ y13.y4.r12
+ y13.y3.r1.r2
+ y13.y3.r12
+ y13.y2.r22
+ y13.y2.r1.r2
+ y14.r22
+ y14.r12
- q2.o2 =
y12.y2.r1.q4
+ y12.y2.r1.q3
+ y13.r2.q6
+ y13.r2.q5
+ y13.r2.q4
+ y13.r1.q6
+ y13.r1.q4
+ y12.y22.r1.r2
+ y12.y22.r12
+ y13.y4.r22
+ y13.y4.r1.r2
+ y13.y3.r22
+ y13.y3.r1.r2
+ y13.y3.r12
+ y13.y2.r22
+ y13.y2.r1.r2
+ y13.y2.r12
- q2.o1 =
y13.r2.q6
+ y13.r2.q5
+ y13.r2.q4
+ y13.r1.q6
+ y13.r1.q4
+ y13.r1.q3
+ y13.r1.q1
+ y13.y4.r22
+ y13.y3.r22
+ y13.y3.r12
+ y13.y2.r22
+ y13.y2.r12
- q1.o2 =
y12.y2.r2.q4
+ y12.y2.r2.q3
+ y12.y2.r1.q3
+ y13.r2.q5
+ y13.r2.q4
+ y13.r2.q3
+ y13.r2.q2
+ y13.r2.q1
+ y13.r1.q5
+ y13.r1.q1
+ y12.y3.y4.r1.r2
+ y12.y3.y4.r12
+ y12.y2.y4.r12
+ y12.y2.y3.r22
+ y12.y2.y3.r12
+ y12.y22.r22
+ y12.y22.r1.r2
+ y13.y4.r22
+ y13.y4.r12
+ y13.y2.r1.r2
+ y14.r22
+ y14.r1.r2
- q1.o1 =
y12.y2.r1.q4
+ y12.y2.r1.q3
+ y13.r2.q5
+ y13.r2.q3
+ y13.r2.q2
+ y13.r1.q5
+ y13.r1.q3
+ y13.r1.q1
+ y12.y3.y4.r1.r2
+ y12.y2.y4.r1.r2
+ y12.y2.y4.r12
+ y12.y2.y3.r22
+ y12.y22.r1.r2
+ y13.y4.r1.r2
+ y13.y3.r22
+ y13.y3.r12
+ y13.y2.r1.r2
+ y14.r1.r2
- o22 =
0
- o1.o2 =
y15.r1.q4
- o12 =
0
A minimal Gröbner basis for the relations ideal
consists of this minimal generating set, together with the
following redundant relations:
- y1.y2.y3.y4 =
y12.y3.y4
+ y12.y2.y3
+ y12.y22
+ y14
- y1.y22.y4 =
y12.y3.y4
+ y12.y2.y4
+ y12.y2.y3
+ y12.y22
+ y13.y4
+ y13.y3
- y22.v3 =
y1.y2.v4
+ y12.v2
+ y12.v1
- y22.v2 =
y1.y2.v3
+ y12.v4
+ y12.v2
+ y12.v1
- y14.y3.y4 =
0
- y14.y2.y4 =
0
- y15.y4 =
0
- y15.y3 =
0
- y15.y2 =
0
- y16 =
0
- y22.t8 =
y12.t8
+ y12.t5
+ y12.y22.v4
+ y13.y2.v4
+ y14.v4
- y22.t7 =
y12.t8
+ y12.t3
+ y12.t2
+ y13.y2.v3
+ y14.v4
+ y14.v2
+ y14.v1
- y22.t4 =
y12.t8
+ y12.t5
+ y12.t4
+ y12.t1
+ y14.v3
+ y14.v2
+ y14.v1
- y22.t3 =
y12.t7
+ y12.t6
+ y12.t5
+ y12.t4
+ y12.t2
+ y12.y22.v4
+ y13.y2.v2
+ y14.v2
- y1.y2.t8 =
y12.t8
+ y12.t5
+ y12.t4
+ y12.t3
+ y14.v3
- y1.y2.t7 =
y12.t8
+ y12.t6
+ y12.t5
+ y12.t3
+ y12.t1
+ y13.y2.v4
+ y13.y2.v3
+ y13.y2.v2
+ y14.v4
- y1.y2.t4 =
y12.t7
+ y12.t5
+ y12.t4
+ y12.t2
+ y12.t1
+ y12.y22.v4
+ y14.v3
+ y14.v2
+ y14.v1
- y1.y2.t3 =
y12.t6
+ y12.t5
+ y12.t4
+ y12.y22.v4
+ y13.y2.v3
+ y13.y2.v2
+ y14.v4
+ y14.v2
- y14.y2.v4 =
0
- y14.y2.v3 =
0
- y14.y2.v2 =
0
- y15.v4 =
0
- y15.v3 =
0
- y15.v2 =
0
- y15.v1 =
0
- y14.t8 =
y14.t2
+ y14.t1
- y14.t7 =
y14.t2
+ y14.t1
- y14.t6 =
y14.t4
+ y14.t3
- y22.q4 =
y12.q4
+ y12.q3
+ y22.y4.r2
+ y22.y4.r1
+ y1.y2.y3.r2
+ y1.y22.r1
+ y12.y4.r2
+ y12.y2.r1
+ y13.r1
- y22.q3 =
y12.q4
+ y22.y4.r2
+ y22.y4.r1
+ y1.y2.y3.r1
+ y1.y22.r1
+ y12.y4.r2
+ y12.y2.r2
+ y12.y2.r1
+ y13.r2
- y15.t4 =
0
- y15.t3 =
0
- y15.t2 =
0
- y15.t1 =
0
- y13.y2.q4 =
y14.q4
+ y14.q2
+ y14.q1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y3.r2
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- y13.y2.q3 =
y14.q4
+ y14.q2
+ y14.q1
+ y13.y2.y4.r2
+ y13.y2.y4.r1
+ y14.y4.r2
+ y14.y3.r2
+ y14.y2.r2
+ y14.y2.r1
+ y15.r2
+ y15.r1
- y14.q6 =
y14.q4
+ y14.q2
+ y14.q1
+ y14.y4.r1
+ y14.y3.r2
+ y14.y3.r1
+ y14.y2.r2
- y14.q5 =
y14.q1
+ y14.y4.r2
+ y14.y2.r1
- y15.q3 =
0
- y15.q2 =
0
- y15.q1 =
0
This cohomology ring was obtained from a calculation
out to degree 22. The cohomology ring approximation
is stable from degree 22 onwards, and
Benson's tests detect stability from degree 22
onwards.
This cohomology ring has dimension 2 and depth 2.
Here is a homogeneous system of parameters:
- h1 =
r1
in degree 8
- h2 =
r2
in degree 8
The first
2 terms h1, h2 form
a regular sequence of maximum length.
The first
2 terms h1, h2 form
a complete Duflot regular sequence.
That is, their restrictions to the greatest central elementary abelian
subgroup form a regular sequence of maximal length.
Data for Benson's test:
-
Raw filter degree type:
-1, -1, 14.
-
Filter degree type:
-1, -2, -2.
-
α = 0
-
The system of parameters is very strongly quasi-regular.
-
The regularity conjecture is satisfied.
A basis for R/(h1, h2) is as follows.
-
1
in degree 0
-
y4
in degree 1
-
y3
in degree 1
-
y2
in degree 1
-
y1
in degree 1
-
y3.y4
in degree 2
-
y2.y4
in degree 2
-
y2.y3
in degree 2
-
y22
in degree 2
-
y1.y4
in degree 2
-
y1.y3
in degree 2
-
y1.y2
in degree 2
-
y12
in degree 2
-
y2.y3.y4
in degree 3
-
y22.y4
in degree 3
-
y1.y3.y4
in degree 3
-
y1.y2.y4
in degree 3
-
y1.y2.y3
in degree 3
-
y1.y22
in degree 3
-
y12.y4
in degree 3
-
y12.y3
in degree 3
-
y12.y2
in degree 3
-
y13
in degree 3
-
v4
in degree 4
-
v3
in degree 4
-
v2
in degree 4
-
v1
in degree 4
-
y12.y3.y4
in degree 4
-
y12.y2.y4
in degree 4
-
y12.y2.y3
in degree 4
-
y12.y22
in degree 4
-
y13.y4
in degree 4
-
y13.y3
in degree 4
-
y13.y2
in degree 4
-
y14
in degree 4
-
y2.v4
in degree 5
-
y2.v3
in degree 5
-
y2.v2
in degree 5
-
y1.v4
in degree 5
-
y1.v3
in degree 5
-
y1.v2
in degree 5
-
y1.v1
in degree 5
-
y13.y3.y4
in degree 5
-
y13.y2.y4
in degree 5
-
y14.y4
in degree 5
-
y14.y3
in degree 5
-
y14.y2
in degree 5
-
y15
in degree 5
-
t8
in degree 6
-
t7
in degree 6
-
t6
in degree 6
-
t5
in degree 6
-
t4
in degree 6
-
t3
in degree 6
-
t2
in degree 6
-
t1
in degree 6
-
y22.v4
in degree 6
-
y1.y2.v4
in degree 6
-
y1.y2.v3
in degree 6
-
y1.y2.v2
in degree 6
-
y12.v4
in degree 6
-
y12.v3
in degree 6
-
y12.v2
in degree 6
-
y12.v1
in degree 6
-
y2.t8
in degree 7
-
y2.t7
in degree 7
-
y2.t4
in degree 7
-
y2.t3
in degree 7
-
y1.t8
in degree 7
-
y1.t7
in degree 7
-
y1.t6
in degree 7
-
y1.t5
in degree 7
-
y1.t4
in degree 7
-
y1.t3
in degree 7
-
y1.t2
in degree 7
-
y1.t1
in degree 7
-
y1.y22.v4
in degree 7
-
y12.y2.v4
in degree 7
-
y12.y2.v3
in degree 7
-
y12.y2.v2
in degree 7
-
y13.v4
in degree 7
-
y13.v3
in degree 7
-
y13.v2
in degree 7
-
y13.v1
in degree 7
-
y12.t8
in degree 8
-
y12.t7
in degree 8
-
y12.t6
in degree 8
-
y12.t5
in degree 8
-
y12.t4
in degree 8
-
y12.t3
in degree 8
-
y12.t2
in degree 8
-
y12.t1
in degree 8
-
y12.y22.v4
in degree 8
-
y13.y2.v4
in degree 8
-
y13.y2.v3
in degree 8
-
y13.y2.v2
in degree 8
-
y14.v4
in degree 8
-
y14.v3
in degree 8
-
y14.v2
in degree 8
-
y14.v1
in degree 8
-
q6
in degree 9
-
q5
in degree 9
-
q4
in degree 9
-
q3
in degree 9
-
q2
in degree 9
-
q1
in degree 9
-
y13.t8
in degree 9
-
y13.t7
in degree 9
-
y13.t6
in degree 9
-
y13.t4
in degree 9
-
y13.t3
in degree 9
-
y13.t2
in degree 9
-
y13.t1
in degree 9
-
y2.q4
in degree 10
-
y2.q3
in degree 10
-
y1.q6
in degree 10
-
y1.q5
in degree 10
-
y1.q4
in degree 10
-
y1.q3
in degree 10
-
y1.q2
in degree 10
-
y1.q1
in degree 10
-
y14.t4
in degree 10
-
y14.t3
in degree 10
-
y14.t2
in degree 10
-
y14.t1
in degree 10
-
o2
in degree 11
-
o1
in degree 11
-
y1.y2.q4
in degree 11
-
y1.y2.q3
in degree 11
-
y12.q6
in degree 11
-
y12.q5
in degree 11
-
y12.q4
in degree 11
-
y12.q3
in degree 11
-
y12.q2
in degree 11
-
y12.q1
in degree 11
-
y12.y2.q4
in degree 12
-
y12.y2.q3
in degree 12
-
y13.q6
in degree 12
-
y13.q5
in degree 12
-
y13.q4
in degree 12
-
y13.q3
in degree 12
-
y13.q2
in degree 12
-
y13.q1
in degree 12
-
y14.q4
in degree 13
-
y14.q3
in degree 13
-
y14.q2
in degree 13
-
y14.q1
in degree 13
-
y15.q4
in degree 14
Restriction to special subgroup number 1, which is 4gp2
- y1 restricts to
0
- y2 restricts to
0
- y3 restricts to
0
- y4 restricts to
0
- v1 restricts to
0
- v2 restricts to
0
- v3 restricts to
0
- v4 restricts to
0
- t1 restricts to
0
- t2 restricts to
0
- t3 restricts to
0
- t4 restricts to
0
- t5 restricts to
0
- t6 restricts to
0
- t7 restricts to
0
- t8 restricts to
0
- r1 restricts to
y28
- r2 restricts to
y18
- q1 restricts to
0
- q2 restricts to
0
- q3 restricts to
0
- q4 restricts to
0
- q5 restricts to
0
- q6 restricts to
0
- o1 restricts to
0
- o2 restricts to
0
(1 + 4t + 8t2
+ 10t3 + 12t4 + 13t5
+ 16t6 + 20t7 + 16t8
+ 13t9 + 12t10 + 10t11
+ 8t12 + 4t13 + t14) /
(1 - t8)2
Back to the groups of order 64