David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology approximation of group number 58 of order 243

Based on a computation out to degree 15

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

General information on the group

• The group has 3 minimal generators and exponent 9.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 1.
• It has 4 conjugacy classes of maximal elementary abelian subgroups, which are all of rank 3.

Appoximate structure of the cohomology ring

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Ring generators

There will be more Duflot regular generators.
Out to degree 15, the cohomology ring has 20 minimal generators of maximal degree 14:

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. a_1_2, a nilpotent element of degree 1
4. b_2_2, an element of degree 2
5. b_2_3, an element of degree 2
6. b_2_4, an element of degree 2
7. b_2_5, an element of degree 2
8. b_2_6, an element of degree 2
9. a_3_11, a nilpotent element of degree 3
10. a_3_12, a nilpotent element of degree 3
11. a_7_42, a nilpotent element of degree 7
12. a_7_44, a nilpotent element of degree 7
13. b_8_52, an element of degree 8
14. b_8_53, an element of degree 8
15. b_8_55, an element of degree 8
16. a_13_120, a nilpotent element of degree 13
17. a_13_121, a nilpotent element of degree 13
18. b_14_135, an element of degree 14
19. b_14_137, an element of degree 14
20. b_14_138, an element of degree 14

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Ring relations out to degree 15

Note that there will be further "non-obvious" relations at least out to degree 28

There are 9 "obvious" relations:
   a_1_0², a_1_1², a_1_2², a_3_11², a_3_12², a_7_42², a_7_44², a_13_120², a_13_121²

Apart from that, there are 67 minimal relations of maximal degree 15:

1. a_1_0·a_1_1
2. b_2_3·a_1_0 − b_2_2·a_1_1
3. b_2_4·a_1_1 − b_2_3·a_1_1 − b_2_2·a_1_1
4. b_2_4·a_1_0 − b_2_3·a_1_1 − b_2_2·a_1_1
5. b_2_6·a_1_0 − b_2_5·a_1_1 − b_2_3·a_1_1 + b_2_2·a_1_1
6. b_2_3·b_2_4 − b_2_3² − b_2_2·b_2_3 − b_2_2·a_1_1·a_1_2
7.  − b_2_3² + b_2_2·b_2_4 − b_2_2·b_2_3
8. b_2_4² + b_2_3² + b_2_2·b_2_3 − b_2_3·a_1_1·a_1_2 + b_2_2·a_1_1·a_1_2
9. b_2_4·b_2_5 − b_2_3·b_2_6 − b_2_3·b_2_5 − b_2_3² + b_2_2·b_2_3 + a_1_1·a_3_11
      + b_2_6·a_1_1·a_1_2 − b_2_3·a_1_1·a_1_2 − b_2_2·a_1_1·a_1_2
10. b_2_3·b_2_5 + b_2_3² − b_2_2·b_2_6 − b_2_2·b_2_3 + a_1_0·a_3_11 + b_2_5·a_1_1·a_1_2
       − b_2_3·a_1_1·a_1_2 + b_2_2·a_1_1·a_1_2
11.  − b_2_4·b_2_6 + b_2_4·b_2_5 + a_1_1·a_3_12 + b_2_6·a_1_1·a_1_2 + b_2_5·a_1_1·a_1_2
       + b_2_2·a_1_1·a_1_2
12. b_2_4·b_2_5 − b_2_3·b_2_6 − b_2_2·b_2_6 + a_1_0·a_3_12 + b_2_5·a_1_1·a_1_2
       − b_2_3·a_1_1·a_1_2 − b_2_2·a_1_1·a_1_2
13.  − b_2_4·a_3_11 + b_2_3·a_3_12 − b_2_2·b_2_6·a_1_2 − b_2_2·b_2_6·a_1_1 + b_2_2·b_2_5·a_1_1
       − b_2_2·b_2_4·a_1_2 − b_2_2·b_2_3·a_1_2 − b_2_2·b_2_3·a_1_1 + a_1_1·a_1_2·a_3_12
       − a_1_0·a_1_2·a_3_12
14.  − b_2_3·a_3_11 − b_2_3·b_2_6·a_1_2 + b_2_2·a_3_12 − b_2_2·a_3_11 + b_2_2·b_2_6·a_1_1
       − b_2_2·b_2_5·a_1_1 + b_2_2·b_2_4·a_1_2 + b_2_2·b_2_3·a_1_2 − b_2_2²·a_1_1
15.  − b_2_6·a_3_11 − b_2_6²·a_1_2 + b_2_6²·a_1_1 + b_2_5·a_3_12 − b_2_5·a_3_11
       + b_2_5·b_2_6·a_1_1 + b_2_5²·a_1_1 + b_2_4·a_3_11 + b_2_3·a_3_11 + b_2_2·b_2_6·a_1_1
       + b_2_2·b_2_5·a_1_1 − b_2_2·b_2_4·a_1_2 − b_2_2·b_2_3·a_1_2
16. b_2_4·a_3_12 + b_2_4·a_3_11 − b_2_3·b_2_6·a_1_2 − b_2_2·b_2_6·a_1_2 − b_2_2·b_2_3·a_1_1
       − b_2_2²·a_1_1 + a_1_1·a_1_2·a_3_12 + a_1_0·a_1_2·a_3_12 + a_1_0·a_1_2·a_3_11
17. a_3_11·a_3_12 + b_2_6·a_1_2·a_3_12 − b_2_6·a_1_1·a_3_12 − b_2_5·a_1_2·a_3_12
       + b_2_5·a_1_2·a_3_11 − b_2_5·a_1_0·a_3_12 + b_2_5·a_1_0·a_3_11
       + b_2_5·b_2_6·a_1_1·a_1_2 + b_2_5²·a_1_1·a_1_2 + b_2_3·a_1_2·a_3_12
       + b_2_2·a_1_2·a_3_12 − b_2_2·a_1_2·a_3_11 + b_2_2·a_1_1·a_3_12 − b_2_2·a_1_0·a_3_12
       + b_2_2·a_1_0·a_3_11 − b_2_2·b_2_3·a_1_1·a_1_2
18. b_2_5·b_2_6²·a_1_1 − b_2_5³·a_1_1 + b_2_2·b_2_5·b_2_6·a_1_1 − b_2_2·b_2_5²·a_1_1
19. a_1_1·a_7_42 − b_2_6³·a_1_1·a_1_2 + b_2_5·b_2_6·a_1_1·a_3_12 + b_2_5³·a_1_1·a_1_2
       + b_2_2·b_2_5·a_1_0·a_3_12 − b_2_2·b_2_5·a_1_0·a_3_11 + b_2_2·b_2_5·b_2_6·a_1_1·a_1_2
       + b_2_2·b_2_5²·a_1_1·a_1_2 + b_2_2²·a_1_0·a_3_12 − b_2_2²·a_1_0·a_3_11
       − b_2_2²·b_2_6·a_1_1·a_1_2 + b_2_2²·b_2_5·a_1_1·a_1_2 − b_2_2²·b_2_3·a_1_1·a_1_2
       − b_2_2³·a_1_1·a_1_2
20. a_1_0·a_7_42 + b_2_5²·a_1_0·a_3_12 + b_2_2·b_2_5·a_1_0·a_3_11 − b_2_2²·a_1_1·a_3_12
       + b_2_2²·a_1_0·a_3_12 + b_2_2²·a_1_0·a_3_11 − b_2_2²·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_5·a_1_1·a_1_2 − b_2_2²·b_2_3·a_1_1·a_1_2 − b_2_2³·a_1_1·a_1_2
21. a_1_1·a_7_44 − b_2_6²·a_1_1·a_3_12 − b_2_5·b_2_6·a_1_1·a_3_12 − b_2_5²·a_1_0·a_3_12
       + b_2_5²·a_1_0·a_3_11 + b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_5³·a_1_1·a_1_2
       + b_2_2·b_2_5·a_1_1·a_3_12 − b_2_2·b_2_5·a_1_0·a_3_12 + b_2_2·b_2_5·a_1_0·a_3_11
       + b_2_2·b_2_5·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5²·a_1_1·a_1_2 − b_2_2²·a_1_1·a_3_12
       + b_2_2²·b_2_6·a_1_1·a_1_2 − b_2_2²·b_2_5·a_1_1·a_1_2 + b_2_2²·b_2_3·a_1_1·a_1_2
       + b_2_2³·a_1_1·a_1_2
22. a_1_0·a_7_44 + b_2_5·b_2_6·a_1_1·a_3_12 + b_2_5²·a_1_1·a_3_12 − b_2_5²·a_1_0·a_3_12
       − b_2_5²·a_1_0·a_3_11 + b_2_5²·b_2_6·a_1_1·a_1_2 + b_2_5³·a_1_1·a_1_2
       + b_2_2·b_2_5·a_1_0·a_3_12 − b_2_2·b_2_5·a_1_0·a_3_11 − b_2_2·b_2_5·b_2_6·a_1_1·a_1_2
       + b_2_2²·a_1_1·a_3_12 + b_2_2²·a_1_0·a_3_12 − b_2_2³·a_1_1·a_1_2
23.  − b_2_4·a_7_42 + b_2_3·a_7_44 − b_2_3·a_7_42 + b_2_2·b_2_5·b_2_6·a_3_12
       − b_2_2·b_2_5·b_2_6²·a_1_2 − b_2_2·b_2_5²·a_3_12 + b_2_2·b_2_5²·a_3_11
       + b_2_2·b_2_5²·b_2_6·a_1_2 − b_2_2·b_2_5²·b_2_6·a_1_1 + b_2_2·b_2_5³·a_1_1
       + b_2_2²·b_2_6²·a_1_2 + b_2_2²·b_2_5·a_3_12 − b_2_2²·b_2_5·a_3_11
       + b_2_2²·b_2_5·b_2_6·a_1_2 + b_2_2²·b_2_5·b_2_6·a_1_1 + b_2_2²·b_2_5²·a_1_1
       + b_2_2²·b_2_3·a_3_12 − b_2_2³·a_3_12 + b_2_2³·a_3_11 − b_2_2³·b_2_6·a_1_2
       − b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_3·a_1_2 − b_2_2³·b_2_3·a_1_1
       − b_2_6²·a_1_1·a_1_2·a_3_12 + b_2_5·b_2_6·a_1_1·a_1_2·a_3_12
       − b_2_5²·a_1_1·a_1_2·a_3_12 + b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_1·a_1_2·a_3_12
       + b_2_2²·a_1_0·a_1_2·a_3_12 + b_2_2²·a_1_0·a_1_2·a_3_11
24.  − b_2_3·a_7_42 + b_2_2·a_7_44 + b_2_2·a_7_42 + b_2_2·b_2_5·b_2_6·a_3_12
       − b_2_2·b_2_5·b_2_6²·a_1_2 − b_2_2·b_2_5²·a_3_11 + b_2_2·b_2_5²·b_2_6·a_1_1
       − b_2_2·b_2_5³·a_1_1 + b_2_2²·b_2_5·a_3_11 + b_2_2²·b_2_5·b_2_6·a_1_1
       − b_2_2²·b_2_3·b_2_6·a_1_2 + b_2_2³·a_3_12 − b_2_2³·a_3_11 − b_2_2³·b_2_6·a_1_2
       + b_2_2³·b_2_6·a_1_1 − b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2 + b_2_2³·b_2_3·a_1_2
       + b_2_2³·b_2_3·a_1_1 + b_2_5·b_2_6·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2²·a_1_0·a_1_2·a_3_12
25.  − b_2_6·a_7_42 + b_2_6⁴·a_1_2 + b_2_6⁴·a_1_1 + b_2_5·a_7_44 + b_2_5·a_7_42
       − b_2_5·b_2_6²·a_3_12 − b_2_5·b_2_6³·a_1_2 − b_2_5²·b_2_6·a_3_12
       − b_2_5²·b_2_6²·a_1_2 − b_2_5³·a_3_11 − b_2_5³·b_2_6·a_1_1 + b_2_4·a_7_42
       + b_2_3·a_7_42 + b_2_2·b_2_5²·a_3_11 − b_2_2·b_2_5²·b_2_6·a_1_1 − b_2_2·b_2_5³·a_1_1
       + b_2_2²·b_2_6²·a_1_2 + b_2_2²·b_2_5·a_3_12 − b_2_2²·b_2_5·a_3_11
       + b_2_2²·b_2_5·b_2_6·a_1_1 − b_2_2²·b_2_5²·a_1_1 + b_2_2²·b_2_3·b_2_6·a_1_2
       + b_2_2³·b_2_6·a_1_2 − b_2_2³·b_2_6·a_1_1 − b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2
       − b_2_2³·b_2_3·a_1_2 + b_2_2³·b_2_3·a_1_1 − b_2_2⁴·a_1_1
       − b_2_6²·a_1_1·a_1_2·a_3_12 + b_2_5·b_2_6·a_1_1·a_1_2·a_3_12
       − b_2_5²·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2·b_2_5·a_1_0·a_1_2·a_3_12
       − b_2_2²·a_1_0·a_1_2·a_3_12 − b_2_2²·a_1_0·a_1_2·a_3_11
26. b_2_4·a_7_44 + b_2_2·b_2_5·b_2_6·a_3_12 − b_2_2·b_2_5²·b_2_6·a_1_2
       − b_2_2·b_2_5²·b_2_6·a_1_1 + b_2_2·b_2_5³·a_1_1 + b_2_2²·b_2_6·a_3_12
       + b_2_2²·b_2_6²·a_1_2 + b_2_2²·b_2_5·b_2_6·a_1_2 − b_2_2²·b_2_5·b_2_6·a_1_1
       + b_2_2²·b_2_5²·a_1_1 + b_2_2²·b_2_3·a_3_12 + b_2_2²·b_2_3·b_2_6·a_1_2
       − b_2_2³·b_2_6·a_1_2 − b_2_2³·b_2_6·a_1_1 + b_2_2³·b_2_4·a_1_2 − b_2_2³·b_2_3·a_1_2
       − b_2_6²·a_1_1·a_1_2·a_3_12 − b_2_5·b_2_6·a_1_1·a_1_2·a_3_12
       − b_2_5²·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2·b_2_5·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_0·a_1_2·a_3_11
27. b_8_52·a_1_1 + b_2_5³·b_2_6·a_1_1 − b_2_3·a_7_42 − b_2_2·b_2_5·b_2_6·a_3_12
       + b_2_2·b_2_5²·b_2_6·a_1_1 − b_2_2²·b_2_6²·a_1_2 − b_2_2²·b_2_5·a_3_12
       + b_2_2²·b_2_5·a_3_11 − b_2_2²·b_2_5·b_2_6·a_1_2 + b_2_2²·b_2_5²·a_1_1
       − b_2_2²·b_2_3·b_2_6·a_1_2 − b_2_2³·a_3_12 + b_2_2³·a_3_11 + b_2_2³·b_2_6·a_1_2
       + b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2 + b_2_2³·b_2_3·a_1_2 + b_2_2³·b_2_3·a_1_1
       + b_2_2⁴·a_1_1 + b_2_6²·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_12
       + b_2_5²·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2²·a_1_1·a_1_2·a_3_12 + b_2_2²·a_1_0·a_1_2·a_3_11
28. b_8_52·a_1_0 + b_2_5⁴·a_1_1 − b_2_2·a_7_42 − b_2_2·b_2_5²·a_3_12
       + b_2_2·b_2_5²·b_2_6·a_1_1 − b_2_2²·b_2_5·a_3_11 + b_2_2²·b_2_5²·a_1_1
       + b_2_2²·b_2_3·a_3_12 + b_2_2²·b_2_3·b_2_6·a_1_2 − b_2_2³·a_3_12 − b_2_2³·a_3_11
       + b_2_2³·b_2_6·a_1_2 − b_2_2³·b_2_6·a_1_1 + b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_3·a_1_2
       + b_2_2³·b_2_3·a_1_1 + b_2_5·b_2_6·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2·b_2_5·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_1·a_1_2·a_3_12
       − b_2_2²·a_1_0·a_1_2·a_3_12 − b_2_2²·a_1_0·a_1_2·a_3_11
29. b_8_53·a_1_1 − b_2_5³·b_2_6·a_1_1 − b_2_4·a_7_42 − b_2_3·a_7_42
       − b_2_2·b_2_5·b_2_6²·a_1_2 + b_2_2·b_2_5²·b_2_6·a_1_2 − b_2_2²·b_2_6·a_3_12
       − b_2_2²·b_2_6²·a_1_2 − b_2_2²·b_2_5·a_3_12 + b_2_2²·b_2_5·a_3_11
       + b_2_2²·b_2_5·b_2_6·a_1_1 − b_2_2²·b_2_3·a_3_12 − b_2_2³·a_3_12 + b_2_2³·a_3_11
       − b_2_2³·b_2_6·a_1_2 + b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2 − b_2_2³·b_2_3·a_1_2
       − b_2_2³·b_2_3·a_1_1 + b_2_2⁴·a_1_1 + b_2_6²·a_1_1·a_1_2·a_3_12
       − b_2_5·b_2_6·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_1·a_1_2·a_3_12
       − b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2·b_2_5·a_1_0·a_1_2·a_3_12
       − b_2_2·b_2_5·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_1·a_1_2·a_3_12
       − b_2_2²·a_1_0·a_1_2·a_3_12
30. b_8_53·a_1_0 − b_2_5⁴·a_1_1 − b_2_3·a_7_42 + b_2_2·a_7_42 − b_2_2·b_2_5·b_2_6·a_3_12
       + b_2_2·b_2_5²·a_3_12 + b_2_2·b_2_5²·b_2_6·a_1_1 − b_2_2·b_2_5³·a_1_1
       − b_2_2²·b_2_6²·a_1_2 − b_2_2²·b_2_5·a_3_12 − b_2_2²·b_2_5·a_3_11
       − b_2_2²·b_2_5·b_2_6·a_1_2 + b_2_2²·b_2_5²·a_1_1 − b_2_2²·b_2_3·a_3_12
       + b_2_2²·b_2_3·b_2_6·a_1_2 − b_2_2³·a_3_11 − b_2_2³·b_2_6·a_1_1
       + b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2 − b_2_2³·b_2_3·a_1_2 − b_2_2⁴·a_1_1
       + b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2·b_2_5·a_1_0·a_1_2·a_3_12 − b_2_2·b_2_5·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_1·a_1_2·a_3_12 − b_2_2²·a_1_0·a_1_2·a_3_12
       + b_2_2²·a_1_0·a_1_2·a_3_11
31. b_8_55·a_1_1 − b_2_6⁴·a_1_1 + b_2_5³·b_2_6·a_1_1 − b_2_5⁴·a_1_1 + b_2_4·a_7_42
       + b_2_3·a_7_42 + b_2_2·b_2_5·b_2_6²·a_1_2 − b_2_2·b_2_5²·b_2_6·a_1_2
       + b_2_2·b_2_5²·b_2_6·a_1_1 + b_2_2²·b_2_6·a_3_12 + b_2_2²·b_2_6²·a_1_2
       + b_2_2²·b_2_5·a_3_12 − b_2_2²·b_2_5·a_3_11 + b_2_2²·b_2_3·a_3_12 + b_2_2³·a_3_12
       − b_2_2³·a_3_11 + b_2_2³·b_2_6·a_1_2 − b_2_2³·b_2_6·a_1_1 − b_2_2³·b_2_5·a_1_1
       + b_2_2³·b_2_4·a_1_2 + b_2_2³·b_2_3·a_1_2 − b_2_2³·b_2_3·a_1_1 − b_2_2⁴·a_1_1
       + b_2_6²·a_1_1·a_1_2·a_3_12 + b_2_5·b_2_6·a_1_1·a_1_2·a_3_12
       + b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2²·a_1_1·a_1_2·a_3_12 + b_2_2²·a_1_0·a_1_2·a_3_11
32. b_8_55·a_1_0 + b_2_5³·b_2_6·a_1_1 + b_2_5⁴·a_1_1 − b_2_4·a_7_42 − b_2_3·a_7_42
       − b_2_2·b_2_5·b_2_6²·a_1_2 + b_2_2·b_2_5²·b_2_6·a_1_2 + b_2_2·b_2_5³·a_1_1
       − b_2_2²·b_2_6·a_3_12 − b_2_2²·b_2_6²·a_1_2 − b_2_2²·b_2_5·a_3_12
       + b_2_2²·b_2_5·a_3_11 + b_2_2²·b_2_5·b_2_6·a_1_1 − b_2_2²·b_2_5²·a_1_1
       − b_2_2²·b_2_3·a_3_12 − b_2_2³·a_3_12 + b_2_2³·a_3_11 − b_2_2³·b_2_6·a_1_2
       − b_2_2³·b_2_5·a_1_1 − b_2_2³·b_2_4·a_1_2 − b_2_2³·b_2_3·a_1_2 + b_2_2³·b_2_3·a_1_1
       + b_2_2⁴·a_1_1 − b_2_6²·a_1_1·a_1_2·a_3_12 − b_2_5·b_2_6·a_1_1·a_1_2·a_3_12
       + b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_0·a_1_2·a_3_11
33.  − a_3_12·a_7_42 + a_3_11·a_7_44 − a_3_11·a_7_42 + b_2_6·a_1_2·a_7_44
       − b_2_6³·a_1_2·a_3_12 + b_2_6³·a_1_1·a_3_12 − b_2_6⁴·a_1_1·a_1_2
       + b_2_5·a_1_2·a_7_44 + b_2_5·a_1_2·a_7_42 + b_2_5²·b_2_6·a_1_2·a_3_12
       − b_2_5³·a_1_2·a_3_11 + b_2_5³·a_1_0·a_3_12 − b_2_5³·a_1_0·a_3_11
       − b_2_5³·b_2_6·a_1_1·a_1_2 + b_2_2·b_2_5²·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_1·a_3_12
       + b_2_2·b_2_5²·a_1_0·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_11
       + b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_2²·b_2_6·a_1_2·a_3_12
       − b_2_2²·b_2_5·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_2·a_3_11
       − b_2_2²·b_2_5·a_1_0·a_3_12 + b_2_2²·b_2_5·a_1_0·a_3_11
       − b_2_2²·b_2_5²·a_1_1·a_1_2 − b_2_2²·b_2_3·a_1_2·a_3_12 + b_2_2³·a_1_1·a_3_12
       + b_2_2³·a_1_0·a_3_12 − b_2_2³·a_1_0·a_3_11 − b_2_2³·b_2_6·a_1_1·a_1_2
       + b_2_2³·b_2_5·a_1_1·a_1_2 + b_2_2³·b_2_3·a_1_1·a_1_2
34.  − b_2_4·b_8_52 + b_2_3·b_8_53 − b_2_3·b_8_52 − b_2_2·b_2_5³·b_2_6
       − b_2_2²·b_2_5·b_2_6² + b_2_2²·b_2_5²·b_2_6 − b_2_2³·b_2_6²
       − b_2_2³·b_2_5·b_2_6 − b_2_2³·b_2_3·b_2_6 + b_2_2⁴·b_2_3 − b_2_5³·a_1_1·a_3_12
       + b_2_5³·a_1_0·a_3_12 − b_2_5³·b_2_6·a_1_1·a_1_2 − b_2_2·a_1_2·a_7_44
       − b_2_2·a_1_2·a_7_42 − b_2_2·b_2_5²·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_2·a_3_11
       − b_2_2·b_2_5²·a_1_1·a_3_12 + b_2_2·b_2_5²·a_1_0·a_3_12
       + b_2_2·b_2_5²·a_1_0·a_3_11 + b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_5·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_0·a_3_12
       − b_2_2²·b_2_5²·a_1_1·a_1_2 + b_2_2³·a_1_1·a_3_12 + b_2_2³·a_1_0·a_3_12
       − b_2_2³·a_1_0·a_3_11 + b_2_2³·b_2_6·a_1_1·a_1_2 + b_2_2³·b_2_5·a_1_1·a_1_2
       − b_2_2³·b_2_3·a_1_1·a_1_2 + b_2_2⁴·a_1_1·a_1_2
35.  − b_2_3·b_8_52 + b_2_2·b_8_53 + b_2_2·b_8_52 − b_2_2·b_2_5²·b_2_6² + b_2_2³·b_2_6²
       − b_2_2⁴·b_2_6 + b_2_2⁴·b_2_4 − b_2_2⁴·b_2_3 + b_2_5³·a_1_0·a_3_12
       − b_2_5³·a_1_0·a_3_11 − b_2_2·a_1_2·a_7_42 − b_2_2·b_2_5·b_2_6·a_1_2·a_3_12
       − b_2_2·b_2_5²·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_2·a_3_11
       − b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 + b_2_2·b_2_5³·a_1_1·a_1_2
       − b_2_2²·b_2_6·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_2·a_3_12
       − b_2_2²·b_2_5·a_1_2·a_3_11 − b_2_2²·b_2_5·a_1_1·a_3_12
       − b_2_2²·b_2_5·a_1_0·a_3_11 − b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2
       + b_2_2²·b_2_5²·a_1_1·a_1_2 + b_2_2³·a_1_2·a_3_11 + b_2_2³·a_1_1·a_3_12
       + b_2_2³·a_1_0·a_3_11 + b_2_2³·b_2_6·a_1_1·a_1_2 − b_2_2³·b_2_5·a_1_1·a_1_2
36.  − b_2_6·b_8_52 + b_2_5·b_8_53 + b_2_5·b_8_52 − b_2_5³·b_2_6² + b_2_4·b_8_52
       + b_2_3·b_8_52 + b_2_2²·b_2_5·b_2_6² − b_2_2³·b_2_5·b_2_6 + b_2_2³·b_2_3·b_2_6
       + b_2_2⁴·b_2_4 + b_2_2⁴·b_2_3 − a_3_11·a_7_42 − b_2_6³·a_1_2·a_3_12
       + b_2_6⁴·a_1_1·a_1_2 − b_2_5·a_1_2·a_7_44 + b_2_5·a_1_2·a_7_42
       + b_2_5·b_2_6²·a_1_2·a_3_12 + b_2_5²·b_2_6·a_1_2·a_3_12 + b_2_5³·a_1_2·a_3_12
       + b_2_5³·a_1_2·a_3_11 + b_2_5³·a_1_1·a_3_12 + b_2_3·a_1_2·a_7_44
       + b_2_2·b_2_5·b_2_6·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_2·a_3_11
       + b_2_2·b_2_5²·a_1_1·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_12
       − b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 + b_2_2²·b_2_6·a_1_2·a_3_12
       + b_2_2²·b_2_5·a_1_2·a_3_12 − b_2_2²·b_2_5·a_1_0·a_3_12
       − b_2_2²·b_2_5·a_1_0·a_3_11 + b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2
       + b_2_2²·b_2_3·a_1_2·a_3_12 − b_2_2³·a_1_1·a_3_12 + b_2_2³·b_2_6·a_1_1·a_1_2
       − b_2_2³·b_2_5·a_1_1·a_1_2 + b_2_2³·b_2_3·a_1_1·a_1_2
37. b_2_4·b_8_53 − b_2_2·b_2_5²·b_2_6² − b_2_2·b_2_5³·b_2_6 − b_2_2²·b_2_5·b_2_6²
       + b_2_2²·b_2_5²·b_2_6 − b_2_2³·b_2_5·b_2_6 − b_2_2³·b_2_3·b_2_6 − b_2_2⁴·b_2_6
       + b_2_2⁴·b_2_4 − b_2_5³·a_1_1·a_3_12 − b_2_5³·a_1_0·a_3_12 − b_2_5³·a_1_0·a_3_11
       − b_2_5³·b_2_6·a_1_1·a_1_2 − b_2_3·a_1_2·a_7_44 − b_2_2·a_1_2·a_7_44
       − b_2_2·a_1_2·a_7_42 + b_2_2·b_2_5²·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_1·a_3_12
       + b_2_2·b_2_5²·a_1_0·a_3_12 + b_2_2·b_2_5²·a_1_0·a_3_11 − b_2_2·b_2_5³·a_1_1·a_1_2
       − b_2_2²·b_2_6·a_1_2·a_3_12 − b_2_2²·b_2_5·a_1_2·a_3_11
       + b_2_2²·b_2_5·a_1_1·a_3_12 − b_2_2²·b_2_5·a_1_0·a_3_12
       − b_2_2²·b_2_5·a_1_0·a_3_11 + b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_5²·a_1_1·a_1_2 + b_2_2³·a_1_2·a_3_12 − b_2_2³·a_1_2·a_3_11
       − b_2_2³·a_1_1·a_3_12 + b_2_2³·a_1_0·a_3_12 − b_2_2³·b_2_6·a_1_1·a_1_2
       − b_2_2³·b_2_5·a_1_1·a_1_2 − b_2_2⁴·a_1_1·a_1_2
38. b_2_4·b_8_52 + b_2_3·b_8_55 + b_2_3·b_8_52 − b_2_2·b_2_5³·b_2_6 + b_2_2²·b_2_5²·b_2_6
       − b_2_2³·b_2_3·b_2_6 + b_2_2⁴·b_2_6 + b_2_5³·a_1_1·a_3_12 + b_2_5³·a_1_0·a_3_11
       − b_2_5⁴·a_1_1·a_1_2 − b_2_3·a_1_2·a_7_44 + b_2_2·a_1_2·a_7_44 + b_2_2·a_1_2·a_7_42
       − b_2_2·b_2_5²·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_11
       − b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 + b_2_2·b_2_5³·a_1_1·a_1_2
       + b_2_2²·b_2_5·a_1_2·a_3_11 − b_2_2²·b_2_5·a_1_0·a_3_12
       + b_2_2²·b_2_5·a_1_0·a_3_11 + b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_5²·a_1_1·a_1_2 − b_2_2³·a_1_2·a_3_12 + b_2_2³·a_1_2·a_3_11
       − b_2_2³·a_1_1·a_3_12 + b_2_2³·a_1_0·a_3_12 + b_2_2³·a_1_0·a_3_11
       + b_2_2⁴·a_1_1·a_1_2
39.  − b_2_4·b_8_52 − b_2_3·b_8_52 + b_2_2·b_8_55 − b_2_2·b_2_5²·b_2_6²
       + b_2_2²·b_2_5²·b_2_6 + b_2_2³·b_2_3·b_2_6 − b_2_2⁴·b_2_6 − b_2_5³·a_1_1·a_3_12
       + b_2_5³·a_1_0·a_3_12 + b_2_5³·a_1_0·a_3_11 + b_2_5³·b_2_6·a_1_1·a_1_2
       − b_2_2·a_1_2·a_7_44 − b_2_2·b_2_5·b_2_6·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_2·a_3_12
       − b_2_2·b_2_5²·a_1_2·a_3_11 + b_2_2·b_2_5²·a_1_1·a_3_12
       − b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5³·a_1_1·a_1_2
       − b_2_2²·b_2_6·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_2·a_3_12
       − b_2_2²·b_2_5·a_1_2·a_3_11 − b_2_2²·b_2_5·a_1_1·a_3_12
       + b_2_2²·b_2_5·a_1_0·a_3_12 − b_2_2²·b_2_5·a_1_0·a_3_11
       − b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2 + b_2_2²·b_2_5²·a_1_1·a_1_2
       + b_2_2²·b_2_3·a_1_2·a_3_12 − b_2_2³·a_1_2·a_3_12 − b_2_2³·a_1_1·a_3_12
       − b_2_2³·a_1_0·a_3_12 − b_2_2³·a_1_0·a_3_11 − b_2_2³·b_2_6·a_1_1·a_1_2
       − b_2_2³·b_2_5·a_1_1·a_1_2
40.  − b_2_6·b_8_53 + b_2_5·b_8_55 − b_2_5·b_2_6⁴ − b_2_5²·b_2_6³ − b_2_5⁴·b_2_6
       + b_2_4·b_8_52 + b_2_3·b_8_52 − b_2_2·b_2_5²·b_2_6² − b_2_2·b_2_5³·b_2_6
       + b_2_2²·b_2_5·b_2_6² + b_2_2²·b_2_5²·b_2_6 + b_2_2³·b_2_5·b_2_6
       + b_2_2³·b_2_3·b_2_6 + b_2_2⁴·b_2_6 − a_3_12·a_7_42 − a_3_11·a_7_42
       + b_2_5·a_1_2·a_7_44 − b_2_5·a_1_2·a_7_42 − b_2_5²·b_2_6·a_1_2·a_3_12
       − b_2_5³·a_1_2·a_3_12 + b_2_5³·a_1_0·a_3_12 + b_2_5³·a_1_0·a_3_11
       − b_2_2·a_1_2·a_7_44 − b_2_2·a_1_2·a_7_42 + b_2_2·b_2_5·b_2_6·a_1_2·a_3_12
       + b_2_2·b_2_5²·a_1_1·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_12
       − b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5³·a_1_1·a_1_2
       + b_2_2²·b_2_5·a_1_2·a_3_12 − b_2_2²·b_2_5·a_1_0·a_3_12
       + b_2_2²·b_2_5²·a_1_1·a_1_2 + b_2_2³·a_1_2·a_3_12 − b_2_2³·a_1_2·a_3_11
       − b_2_2³·a_1_0·a_3_11 + b_2_2³·b_2_6·a_1_1·a_1_2 − b_2_2³·b_2_3·a_1_1·a_1_2
       − b_2_2⁴·a_1_1·a_1_2
41. b_2_4·b_8_55 − b_2_2·b_2_5²·b_2_6² − b_2_2·b_2_5³·b_2_6 − b_2_2²·b_2_5²·b_2_6
       − b_2_6³·a_1_1·a_3_12 − b_2_6⁴·a_1_1·a_1_2 − b_2_5³·a_1_0·a_3_12
       − b_2_5³·a_1_0·a_3_11 − b_2_5³·b_2_6·a_1_1·a_1_2 + b_2_5⁴·a_1_1·a_1_2
       + b_2_3·a_1_2·a_7_44 + b_2_2·a_1_2·a_7_44 + b_2_2·a_1_2·a_7_42
       − b_2_2·b_2_5·b_2_6·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_2·a_3_12
       − b_2_2·b_2_5²·a_1_1·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_12
       − b_2_2·b_2_5²·a_1_0·a_3_11 + b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2
       + b_2_2·b_2_5³·a_1_1·a_1_2 + b_2_2²·b_2_6·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_2·a_3_11
       − b_2_2²·b_2_5·a_1_1·a_3_12 + b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2 − b_2_2³·a_1_2·a_3_12
       + b_2_2³·a_1_2·a_3_11 + b_2_2³·a_1_1·a_3_12 − b_2_2³·b_2_6·a_1_1·a_1_2
       + b_2_2³·b_2_3·a_1_1·a_1_2
42. b_2_6·b_8_55 + b_2_6·b_8_53 − b_2_6⁵ − b_2_5·b_2_6⁴ − b_2_5²·b_2_6³
       + b_2_5³·b_2_6² + b_2_2·b_2_5²·b_2_6² − b_2_2²·b_2_5·b_2_6²
       − b_2_2²·b_2_5²·b_2_6 − b_2_2³·b_2_6² + b_2_2³·b_2_3·b_2_6 + a_3_12·a_7_44
       − b_2_6³·a_1_2·a_3_12 − b_2_6⁴·a_1_1·a_1_2 − b_2_5·b_2_6²·a_1_2·a_3_12
       + b_2_5³·a_1_2·a_3_12 − b_2_5³·a_1_2·a_3_11 + b_2_5³·a_1_1·a_3_12
       − b_2_5³·b_2_6·a_1_1·a_1_2 + b_2_3·a_1_2·a_7_44 + b_2_2·b_2_5·b_2_6·a_1_2·a_3_12
       + b_2_2·b_2_5²·a_1_1·a_3_12 − b_2_2·b_2_5²·a_1_0·a_3_12
       − b_2_2·b_2_5²·a_1_0·a_3_11 + b_2_2·b_2_5²·b_2_6·a_1_1·a_1_2
       + b_2_2²·b_2_5·a_1_2·a_3_12 − b_2_2²·b_2_5·a_1_2·a_3_11
       − b_2_2²·b_2_5·a_1_0·a_3_12 + b_2_2²·b_2_5·a_1_0·a_3_11
       − b_2_2²·b_2_5·b_2_6·a_1_1·a_1_2 − b_2_2²·b_2_3·a_1_2·a_3_12 − b_2_2³·a_1_2·a_3_12
       + b_2_2³·a_1_2·a_3_11 + b_2_2³·a_1_1·a_3_12 + b_2_2³·a_1_0·a_3_12
       − b_2_2³·a_1_0·a_3_11 + b_2_2³·b_2_6·a_1_1·a_1_2 − b_2_2³·b_2_5·a_1_1·a_1_2
       + b_2_2³·b_2_3·a_1_1·a_1_2
43. b_8_53·a_3_11 − b_8_52·a_3_12 − b_8_52·a_3_11 + b_2_5·b_8_55·a_1_2 + b_2_5·b_8_53·a_1_2
       + b_2_5·b_8_52·a_1_2 − b_2_5·b_2_6⁴·a_1_2 − b_2_5²·b_2_6³·a_1_2
       − b_2_5³·b_2_6·a_3_12 + b_2_5³·b_2_6²·a_1_2 + b_2_5⁴·a_3_12 − b_2_5⁴·a_3_11
       − b_2_5⁴·b_2_6·a_1_2 + b_2_5⁴·b_2_6·a_1_1 − b_2_5⁵·a_1_1 + b_2_2·b_8_55·a_1_2
       − b_2_2·b_2_6·a_7_44 + b_2_2·b_2_5²·b_2_6·a_3_12 − b_2_2·b_2_5²·b_2_6²·a_1_2
       − b_2_2·b_2_5³·b_2_6·a_1_1 − b_2_2·b_2_3·a_7_44 + b_2_2²·a_7_44 + b_2_2²·a_7_42
       − b_2_2²·b_2_5·b_2_6²·a_1_2 − b_2_2²·b_2_5²·a_3_11 + b_2_2²·b_2_5²·b_2_6·a_1_2
       + b_2_2²·b_2_5²·b_2_6·a_1_1 + b_2_2²·b_2_5³·a_1_1 − b_2_2³·b_2_6·a_3_12
       + b_2_2³·b_2_6²·a_1_2 + b_2_2³·b_2_5·a_3_11 − b_2_2³·b_2_5·b_2_6·a_1_1
       + b_2_2³·b_2_5²·a_1_1 − b_2_2⁴·a_3_12 + b_2_2⁴·a_3_11 + b_2_2⁴·b_2_6·a_1_2
       + b_2_2⁴·b_2_6·a_1_1 + b_2_2⁴·b_2_5·a_1_1 + b_2_2⁴·b_2_3·a_1_2 − b_2_2⁴·b_2_3·a_1_1
       + b_2_2⁵·a_1_1 − a_1_2·a_3_11·a_7_44 + b_2_6³·a_1_1·a_1_2·a_3_12
       − b_2_5³·a_1_1·a_1_2·a_3_12 − b_2_5³·a_1_0·a_1_2·a_3_12
       + b_2_5³·a_1_0·a_1_2·a_3_11 + b_2_2·b_2_5²·a_1_1·a_1_2·a_3_12
       − b_2_2·b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_2·b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2²·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2²·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2³·a_1_1·a_1_2·a_3_12
       − b_2_2³·a_1_0·a_1_2·a_3_12 + b_2_2³·a_1_0·a_1_2·a_3_11
44. b_8_55·a_3_12 + b_8_53·a_3_11 − b_8_52·a_3_12 − b_8_52·a_3_11 − b_2_6⁴·a_3_12
       + b_2_5·b_8_53·a_1_2 + b_2_5·b_8_52·a_1_2 − b_2_5·b_2_6³·a_3_12
       − b_2_5²·b_2_6²·a_3_12 + b_2_5³·b_2_6·a_3_12 − b_2_5³·b_2_6²·a_1_2
       + b_2_5⁴·a_3_12 − b_2_5⁴·a_3_11 + b_2_5⁴·b_2_6·a_1_1 − b_2_5⁵·a_1_1
       − b_2_2·b_8_55·a_1_2 + b_2_2·b_2_6·a_7_44 + b_2_2·b_2_5²·b_2_6·a_3_12
       + b_2_2·b_2_5³·a_3_12 − b_2_2·b_2_5³·a_3_11 − b_2_2·b_2_5⁴·a_1_1
       − b_2_2·b_2_3·a_7_44 + b_2_2²·a_7_44 + b_2_2²·a_7_42 − b_2_2²·b_2_5²·a_3_12
       − b_2_2²·b_2_5²·b_2_6·a_1_2 + b_2_2²·b_2_5²·b_2_6·a_1_1 − b_2_2²·b_2_5³·a_1_1
       + b_2_2³·b_2_6·a_3_12 + b_2_2³·b_2_5·a_3_12 − b_2_2³·b_2_5·b_2_6·a_1_2
       − b_2_2³·b_2_5·b_2_6·a_1_1 − b_2_2³·b_2_5²·a_1_1 − b_2_2⁴·a_3_12 + b_2_2⁴·a_3_11
       − b_2_2⁴·b_2_6·a_1_2 + b_2_2⁴·b_2_6·a_1_1 − b_2_2⁴·b_2_5·a_1_1 + b_2_2⁴·b_2_3·a_1_2
       + b_2_2⁴·b_2_3·a_1_1 − b_2_2⁵·a_1_1 − a_1_2·a_3_11·a_7_44 − a_1_2·a_3_11·a_7_42
       + b_2_6³·a_1_1·a_1_2·a_3_12 + b_2_5³·a_1_1·a_1_2·a_3_12
       − b_2_5³·a_1_0·a_1_2·a_3_12 + b_2_2·b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_2·b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_2²·b_2_5·a_1_1·a_1_2·a_3_12
       − b_2_2²·b_2_5·a_1_0·a_1_2·a_3_12 − b_2_2²·b_2_5·a_1_0·a_1_2·a_3_11
       + b_2_2³·a_1_0·a_1_2·a_3_12
45. b_8_55·a_3_11 − b_8_53·a_3_12 − b_8_53·a_3_11 − b_8_52·a_3_12 − b_8_52·a_3_11
       + b_2_6⁵·a_1_2 − b_2_6⁵·a_1_1 + b_2_5·b_8_53·a_1_2 + b_2_5·b_8_52·a_1_2
       − b_2_5·b_2_6³·a_3_12 + b_2_5²·b_2_6³·a_1_2 − b_2_5³·b_2_6·a_3_12 + b_2_5⁵·a_1_1
       − b_2_2·b_8_55·a_1_2 + b_2_2·b_2_6·a_7_44 + b_2_2·b_2_5²·b_2_6·a_3_12
       + b_2_2·b_2_5²·b_2_6²·a_1_2 − b_2_2·b_2_5³·b_2_6·a_1_2 − b_2_2·b_2_5⁴·a_1_1
       − b_2_2·b_2_3·a_7_44 + b_2_2²·a_7_44 + b_2_2²·a_7_42 − b_2_2²·b_2_5·b_2_6²·a_1_2
       + b_2_2²·b_2_5²·a_3_12 + b_2_2²·b_2_5²·a_3_11 + b_2_2³·b_2_6·a_3_12
       − b_2_2³·b_2_6²·a_1_2 − b_2_2³·b_2_5·a_3_12 − b_2_2³·b_2_5·a_3_11
       − b_2_2³·b_2_5·b_2_6·a_1_1 − b_2_2³·b_2_5²·a_1_1 − b_2_2³·b_2_3·a_3_12
       − b_2_2³·b_2_3·b_2_6·a_1_2 − b_2_2⁴·b_2_6·a_1_2 − b_2_2⁴·b_2_6·a_1_1
       + b_2_2⁴·b_2_5·a_1_1 + b_2_2⁴·b_2_4·a_1_2 − b_2_2⁴·b_2_3·a_1_2 + b_2_2⁴·b_2_3·a_1_1
       + b_2_2⁵·a_1_1 − a_1_2·a_3_12·a_7_44 − a_1_2·a_3_11·a_7_42
       + b_2_6³·a_1_1·a_1_2·a_3_12 − b_2_5³·a_1_1·a_1_2·a_3_12
       + b_2_5³·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2²·b_2_5·a_1_0·a_1_2·a_3_11 + b_2_2³·a_1_1·a_1_2·a_3_12
       − b_2_2³·a_1_0·a_1_2·a_3_12 − b_2_2³·a_1_0·a_1_2·a_3_11
46. b_2_5·b_2_6²·a_7_44 − b_2_5·b_2_6⁴·a_3_12 + b_2_5²·b_2_6·a_7_44
       − b_2_5²·b_2_6³·a_3_12 + b_2_5²·b_2_6⁴·a_1_2 + b_2_5³·b_2_6²·a_3_12
       − b_2_5³·b_2_6³·a_1_2 − b_2_5⁴·b_2_6·a_3_12 − b_2_5⁴·b_2_6²·a_1_2
       − b_2_5⁵·b_2_6·a_1_1 + b_2_5⁶·a_1_1 + b_2_2·b_2_5·b_2_6·a_7_44
       − b_2_2·b_2_5³·b_2_6²·a_1_2 + b_2_2·b_2_5⁴·b_2_6·a_1_2
       + b_2_2²·b_2_5³·b_2_6·a_1_2 + b_2_2²·b_2_5³·b_2_6·a_1_1 + b_2_2²·b_2_5⁴·a_1_1
       − b_2_2³·b_2_5·b_2_6·a_3_12 − b_2_2³·b_2_5·b_2_6²·a_1_2
       − b_2_2³·b_2_5²·b_2_6·a_1_2 − b_2_2³·b_2_5²·b_2_6·a_1_1 − b_2_2³·b_2_5³·a_1_1
       − b_2_2⁴·b_2_5·b_2_6·a_1_2 + b_2_5⁴·a_1_1·a_1_2·a_3_12 + b_2_5⁴·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5³·a_1_1·a_1_2·a_3_12 − b_2_2·b_2_5³·a_1_0·a_1_2·a_3_12
       − b_2_2·b_2_5³·a_1_0·a_1_2·a_3_11 − b_2_2²·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2³·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2³·b_2_5·a_1_0·a_1_2·a_3_11
47.  − a_7_42·a_7_44 + b_2_6³·a_1_2·a_7_44 + b_2_6⁵·a_1_1·a_3_12 + b_2_5²·a_3_12·a_7_44
       + b_2_5²·a_3_11·a_7_44 + b_2_5²·a_3_11·a_7_42 − b_2_5²·b_2_6·a_1_2·a_7_44
       − b_2_5³·b_2_6²·a_1_2·a_3_12 − b_2_5⁴·b_2_6·a_1_2·a_3_12 − b_2_5⁵·a_1_2·a_3_12
       + b_2_5⁵·a_1_2·a_3_11 + b_2_5⁵·a_1_1·a_3_12 − b_2_5⁵·a_1_0·a_3_12
       + b_2_5⁵·a_1_0·a_3_11 + b_2_5⁵·b_2_6·a_1_1·a_1_2 + b_2_5⁶·a_1_1·a_1_2
       + b_2_2·b_2_5·a_3_11·a_7_42 − b_2_2·b_2_5·b_2_6·a_1_2·a_7_44
       + b_2_2·b_2_5³·b_2_6·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_2·a_3_11 − b_2_2·b_2_5⁴·b_2_6·a_1_1·a_1_2
       + b_2_2²·a_3_11·a_7_44 + b_2_2²·a_3_11·a_7_42 + b_2_2²·b_2_6·a_1_2·a_7_44
       − b_2_2²·b_2_5·a_1_2·a_7_44 − b_2_2²·b_2_5·a_1_2·a_7_42
       − b_2_2²·b_2_5³·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_2·a_3_11
       + b_2_2²·b_2_5³·a_1_1·a_3_12 − b_2_2²·b_2_5³·b_2_6·a_1_1·a_1_2
       + b_2_2²·b_2_5⁴·a_1_1·a_1_2 + b_2_2²·b_2_3·a_1_2·a_7_44 − b_2_2³·a_1_2·a_7_44
       − b_2_2³·a_1_2·a_7_42 + b_2_2³·b_2_5·b_2_6·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_1·a_3_12 + b_2_2³·b_2_5²·b_2_6·a_1_1·a_1_2
       − b_2_2³·b_2_5³·a_1_1·a_1_2 + b_2_2⁴·b_2_6·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_2·a_3_11 − b_2_2⁴·b_2_5·a_1_1·a_3_12
       − b_2_2⁴·b_2_5·b_2_6·a_1_1·a_1_2 − b_2_2⁴·b_2_5²·a_1_1·a_1_2
       − b_2_2⁴·b_2_3·a_1_2·a_3_12 + b_2_2⁵·a_1_1·a_3_12 + b_2_2⁵·b_2_5·a_1_1·a_1_2
48. a_7_42·a_7_44 + a_1_1·a_13_120 − b_2_6³·a_1_2·a_7_44 + b_2_6⁶·a_1_1·a_1_2
       − b_2_5·b_2_6·a_3_12·a_7_44 − b_2_5²·a_3_12·a_7_44 − b_2_5²·b_2_6·a_1_2·a_7_44
       + b_2_5²·b_2_6³·a_1_2·a_3_12 − b_2_5³·b_2_6²·a_1_2·a_3_12 + b_2_5⁵·a_1_2·a_3_12
       − b_2_5⁵·a_1_2·a_3_11 − b_2_5⁵·a_1_1·a_3_12 − b_2_5⁵·a_1_0·a_3_12
       + b_2_5⁵·a_1_0·a_3_11 − b_2_5⁵·b_2_6·a_1_1·a_1_2 − b_2_5⁶·a_1_1·a_1_2
       + b_2_2·b_2_5·a_3_12·a_7_44 − b_2_2·b_2_5·a_3_11·a_7_44 − b_2_2·b_2_5·a_3_11·a_7_42
       − b_2_2·b_2_5·b_2_6·a_1_2·a_7_44 + b_2_2·b_2_5²·a_1_2·a_7_44
       + b_2_2·b_2_5²·a_1_2·a_7_42 + b_2_2·b_2_5³·b_2_6·a_1_2·a_3_12
       + b_2_2·b_2_5⁴·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_2·a_3_11
       + b_2_2·b_2_5⁴·a_1_0·a_3_12 − b_2_2·b_2_5⁴·a_1_0·a_3_11
       − b_2_2·b_2_5⁴·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5⁵·a_1_1·a_1_2
       + b_2_2²·b_2_6·a_1_2·a_7_44 + b_2_2²·b_2_5·a_1_2·a_7_44
       + b_2_2²·b_2_5·a_1_2·a_7_42 + b_2_2²·b_2_5²·b_2_6·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_2·a_3_11
       + b_2_2²·b_2_5³·a_1_1·a_3_12 + b_2_2²·b_2_5³·a_1_0·a_3_12
       − b_2_2²·b_2_5³·a_1_0·a_3_11 + b_2_2²·b_2_5³·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_5⁴·a_1_1·a_1_2 + b_2_2³·a_1_2·a_7_44 + b_2_2³·a_1_2·a_7_42
       − b_2_2³·b_2_5·b_2_6·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_1·a_3_12
       + b_2_2³·b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_2³·b_2_5³·a_1_1·a_1_2
       − b_2_2⁴·b_2_6·a_1_2·a_3_12 + b_2_2⁴·b_2_5·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_1·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_3_11 + b_2_2⁴·b_2_5·b_2_6·a_1_1·a_1_2
       + b_2_2⁴·b_2_3·a_1_2·a_3_12 + b_2_2⁵·a_1_2·a_3_12 − b_2_2⁵·a_1_2·a_3_11
       − b_2_2⁵·a_1_1·a_3_12 − b_2_2⁵·a_1_0·a_3_12 + b_2_2⁵·a_1_0·a_3_11
       − b_2_2⁵·b_2_6·a_1_1·a_1_2 − b_2_2⁵·b_2_3·a_1_1·a_1_2
49. a_1_0·a_13_120 + b_2_5²·a_3_11·a_7_42 + b_2_5³·b_2_6²·a_1_2·a_3_12
       + b_2_5⁴·b_2_6·a_1_2·a_3_12 + b_2_5⁵·a_1_2·a_3_12 − b_2_5⁵·a_1_2·a_3_11
       + b_2_5⁵·a_1_1·a_3_12 + b_2_5⁵·a_1_0·a_3_12 − b_2_5⁵·a_1_0·a_3_11
       − b_2_5⁵·b_2_6·a_1_1·a_1_2 − b_2_5⁶·a_1_1·a_1_2 + b_2_2·b_2_5·a_3_11·a_7_44
       + b_2_2·b_2_5²·a_1_2·a_7_44 + b_2_2·b_2_5²·a_1_2·a_7_42
       + b_2_2·b_2_5⁴·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_2·a_3_11
       − b_2_2·b_2_5⁴·a_1_1·a_3_12 + b_2_2·b_2_5⁴·a_1_0·a_3_12
       + b_2_2·b_2_5⁴·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5⁵·a_1_1·a_1_2 + b_2_2²·a_3_12·a_7_44
       + b_2_2²·a_3_11·a_7_42 + b_2_2²·b_2_6·a_1_2·a_7_44 − b_2_2²·b_2_5·a_1_2·a_7_44
       + b_2_2²·b_2_5²·b_2_6·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_2·a_3_11 + b_2_2²·b_2_5³·a_1_1·a_3_12
       + b_2_2²·b_2_3·a_1_2·a_7_44 − b_2_2³·b_2_5·b_2_6·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_3_11
       + b_2_2³·b_2_5²·b_2_6·a_1_1·a_1_2 − b_2_2⁴·b_2_5·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_1·a_3_12 + b_2_2⁴·b_2_5·a_1_0·a_3_11
       − b_2_2⁴·b_2_5·b_2_6·a_1_1·a_1_2 + b_2_2⁴·b_2_3·a_1_2·a_3_12 + b_2_2⁵·a_1_0·a_3_12
       − b_2_2⁵·a_1_0·a_3_11 + b_2_2⁵·b_2_5·a_1_1·a_1_2 + b_2_2⁶·a_1_1·a_1_2
50. a_7_42·a_7_44 + a_1_1·a_13_121 − b_2_6³·a_1_2·a_7_44 − b_2_6⁵·a_1_1·a_3_12
       − b_2_5·b_2_6·a_3_12·a_7_44 + b_2_5²·a_3_11·a_7_42 − b_2_5³·b_2_6²·a_1_2·a_3_12
       + b_2_5⁴·b_2_6·a_1_2·a_3_12 − b_2_5⁵·a_1_2·a_3_12 + b_2_5⁵·a_1_2·a_3_11
       − b_2_5⁵·a_1_1·a_3_12 − b_2_5⁵·a_1_0·a_3_12 + b_2_5⁵·a_1_0·a_3_11
       − b_2_5⁵·b_2_6·a_1_1·a_1_2 − b_2_5⁶·a_1_1·a_1_2 + b_2_2·b_2_5·a_3_12·a_7_44
       − b_2_2·b_2_5·a_3_11·a_7_44 − b_2_2·b_2_5·a_3_11·a_7_42
       + b_2_2·b_2_5·b_2_6·a_1_2·a_7_44 − b_2_2·b_2_5³·b_2_6·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_2·a_3_11
       + b_2_2·b_2_5⁴·a_1_0·a_3_12 − b_2_2·b_2_5⁴·a_1_0·a_3_11 − b_2_2·b_2_5⁵·a_1_1·a_1_2
       − b_2_2²·a_3_12·a_7_44 + b_2_2²·a_3_11·a_7_44 − b_2_2²·b_2_5·a_1_2·a_7_44
       − b_2_2²·b_2_5·a_1_2·a_7_42 + b_2_2²·b_2_5²·b_2_6·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_2·a_3_12 + b_2_2²·b_2_5³·b_2_6·a_1_1·a_1_2
       − b_2_2²·b_2_3·a_1_2·a_7_44 − b_2_2³·a_1_2·a_7_44 − b_2_2³·a_1_2·a_7_42
       − b_2_2³·b_2_5·b_2_6·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_3_11 + b_2_2³·b_2_5²·b_2_6·a_1_1·a_1_2
       + b_2_2³·b_2_5³·a_1_1·a_1_2 + b_2_2⁴·b_2_5·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_2·a_3_11 − b_2_2⁴·b_2_5·a_1_1·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_3_11
       + b_2_2⁴·b_2_3·a_1_2·a_3_12 + b_2_2⁵·a_1_2·a_3_12 − b_2_2⁵·a_1_2·a_3_11
       − b_2_2⁵·b_2_5·a_1_1·a_1_2 + b_2_2⁵·b_2_3·a_1_1·a_1_2 − b_2_2⁶·a_1_1·a_1_2
51. a_7_42·a_7_44 + a_1_0·a_13_121 − b_2_6³·a_1_2·a_7_44 − b_2_6⁵·a_1_1·a_3_12
       + b_2_5·b_2_6·a_3_12·a_7_44 − b_2_5²·a_3_12·a_7_44 + b_2_5²·a_3_11·a_7_42
       + b_2_5²·b_2_6³·a_1_2·a_3_12 + b_2_5³·b_2_6²·a_1_2·a_3_12 − b_2_5⁵·a_1_2·a_3_12
       + b_2_5⁵·a_1_2·a_3_11 + b_2_5⁵·a_1_1·a_3_12 − b_2_5⁵·a_1_0·a_3_12
       − b_2_5⁵·b_2_6·a_1_1·a_1_2 + b_2_2·b_2_5·a_3_11·a_7_44 − b_2_2·b_2_5·a_3_11·a_7_42
       − b_2_2·b_2_5³·b_2_6·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_2·a_3_11 + b_2_2·b_2_5⁴·a_1_1·a_3_12
       − b_2_2·b_2_5⁴·a_1_0·a_3_12 + b_2_2·b_2_5⁴·a_1_0·a_3_11
       + b_2_2·b_2_5⁴·b_2_6·a_1_1·a_1_2 − b_2_2·b_2_5⁵·a_1_1·a_1_2 + b_2_2²·a_3_12·a_7_44
       + b_2_2²·a_3_11·a_7_44 − b_2_2²·b_2_5·a_1_2·a_7_42
       + b_2_2²·b_2_5²·b_2_6·a_1_2·a_3_12 + b_2_2²·b_2_5³·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_2·a_3_11 − b_2_2²·b_2_5³·a_1_0·a_3_12
       − b_2_2²·b_2_5³·a_1_0·a_3_11 − b_2_2²·b_2_5³·b_2_6·a_1_1·a_1_2
       + b_2_2³·a_1_2·a_7_44 − b_2_2³·a_1_2·a_7_42 − b_2_2³·b_2_5²·a_1_2·a_3_12
       − b_2_2³·b_2_5²·a_1_1·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_3_11 + b_2_2³·b_2_5³·a_1_1·a_1_2
       − b_2_2⁴·b_2_6·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_1·a_3_12
       − b_2_2⁴·b_2_5·a_1_0·a_3_12 + b_2_2⁴·b_2_5·a_1_0·a_3_11
       + b_2_2⁴·b_2_3·a_1_2·a_3_12 − b_2_2⁵·a_1_2·a_3_11 + b_2_2⁵·a_1_1·a_3_12
       − b_2_2⁵·a_1_0·a_3_12 − b_2_2⁵·b_2_6·a_1_1·a_1_2 − b_2_2⁵·b_2_3·a_1_1·a_1_2
       + b_2_2⁶·a_1_1·a_1_2
52. b_8_53·a_7_42 − b_8_52·a_7_44 − b_2_5²·b_8_53·a_3_12 − b_2_5²·b_8_52·a_3_12
       + b_2_5²·b_8_52·a_3_11 + b_2_5³·b_8_55·a_1_2 + b_2_5³·b_8_53·a_1_2
       + b_2_5³·b_8_52·a_1_2 − b_2_5³·b_2_6·a_7_44 + b_2_5³·b_2_6⁴·a_1_2 − b_2_5⁴·a_7_44
       − b_2_5⁴·a_7_42 + b_2_5⁴·b_2_6²·a_3_12 + b_2_5⁵·b_2_6·a_3_12
       − b_2_5⁵·b_2_6²·a_1_2 + b_2_5⁶·a_3_12 − b_2_5⁶·b_2_6·a_1_2 − b_2_5⁶·b_2_6·a_1_1
       + b_2_5⁷·a_1_1 − b_2_2·b_2_5·b_8_52·a_3_11 − b_2_2·b_2_5²·b_2_6·a_7_44
       − b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12 + b_2_2·b_2_5⁵·a_3_11
       + b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2·b_2_5⁶·a_1_1 − b_2_2²·b_8_52·a_3_12
       + b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_55·a_1_2 − b_2_2²·b_2_5·b_8_53·a_1_2
       − b_2_2²·b_2_5·b_8_52·a_1_2 − b_2_2²·b_2_5·b_2_6·a_7_44
       + b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5⁴·a_3_12 + b_2_2²·b_2_5⁴·a_3_11
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁵·a_1_1 + b_2_2³·b_8_55·a_1_2
       + b_2_2³·b_8_53·a_1_2 + b_2_2³·b_8_52·a_1_2 + b_2_2³·b_2_6·a_7_44
       − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42 − b_2_2³·b_2_5²·b_2_6·a_3_12
       + b_2_2³·b_2_5³·a_3_11 − b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_5⁴·a_1_1
       + b_2_2³·b_2_3·a_7_44 + b_2_2⁴·b_2_5·b_2_6·a_3_12 − b_2_2⁴·b_2_5·b_2_6²·a_1_2
       − b_2_2⁴·b_2_5²·a_3_11 + b_2_2⁴·b_2_5²·b_2_6·a_1_1 − b_2_2⁵·b_2_6·a_3_12
       − b_2_2⁵·b_2_6²·a_1_2 − b_2_2⁵·b_2_5·a_3_12 + b_2_2⁵·b_2_5·a_3_11
       − b_2_2⁵·b_2_5·b_2_6·a_1_2 + b_2_2⁵·b_2_5·b_2_6·a_1_1 + b_2_2⁵·b_2_5²·a_1_1
       + b_2_2⁵·b_2_3·b_2_6·a_1_2 + b_2_2⁶·b_2_6·a_1_2 − b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_2 + b_2_2⁶·b_2_3·a_1_1 − b_2_2⁷·a_1_1
       − b_2_6²·a_1_2·a_3_12·a_7_44 − b_2_6⁵·a_1_1·a_1_2·a_3_12
       − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_44 + b_2_5²·a_1_2·a_3_11·a_7_42
       + b_2_5⁵·a_1_0·a_1_2·a_3_12 − b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_44 + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42
       + b_2_2·b_2_5⁴·a_1_1·a_1_2·a_3_12 − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_11·a_7_44
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11 − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12 − b_2_2⁵·a_1_1·a_1_2·a_3_12
       − b_2_2⁵·a_1_0·a_1_2·a_3_12 − b_2_2⁵·a_1_0·a_1_2·a_3_11
53. b_8_55·a_7_44 − b_8_53·a_7_44 − b_8_52·a_7_44 − b_2_6⁴·a_7_44 − b_2_5·b_2_6⁵·a_3_12
       + b_2_5²·b_8_53·a_3_12 + b_2_5²·b_8_52·a_3_12 − b_2_5²·b_2_6⁴·a_3_12
       + b_2_5²·b_2_6⁵·a_1_2 − b_2_5³·b_8_53·a_1_2 − b_2_5³·b_8_52·a_1_2
       − b_2_5³·b_2_6·a_7_44 + b_2_5³·b_2_6³·a_3_12 − b_2_5³·b_2_6⁴·a_1_2
       − b_2_5⁴·b_2_6²·a_3_12 − b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁶·b_2_6·a_1_1 − b_2_5⁷·a_1_1
       + b_2_2·b_2_5·b_8_53·a_3_12 + b_2_2·b_2_5·b_8_52·a_3_12 + b_2_2·b_2_5²·b_8_55·a_1_2
       − b_2_2·b_2_5²·b_8_53·a_1_2 − b_2_2·b_2_5²·b_8_52·a_1_2
       − b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12 − b_2_2·b_2_5⁵·a_3_11
       − b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2²·b_8_53·a_3_12 + b_2_2²·b_8_52·a_3_12
       − b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 − b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2²·b_2_5⁵·a_1_1
       + b_2_2³·b_8_53·a_1_2 + b_2_2³·b_8_52·a_1_2 − b_2_2³·b_2_6·a_7_44
       − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42 − b_2_2³·b_2_5²·b_2_6²·a_1_2
       + b_2_2³·b_2_5³·a_3_11 − b_2_2³·b_2_5³·b_2_6·a_1_2 + b_2_2³·b_2_5³·b_2_6·a_1_1
       − b_2_2³·b_2_5⁴·a_1_1 + b_2_2⁴·b_2_5²·a_3_12 + b_2_2⁴·b_2_5²·a_3_11
       + b_2_2⁴·b_2_5³·a_1_1 − b_2_2⁵·b_2_6·a_3_12 + b_2_2⁵·b_2_6²·a_1_2
       − b_2_2⁵·b_2_5·a_3_12 + b_2_2⁵·b_2_5·a_3_11 − b_2_2⁵·b_2_5·b_2_6·a_1_2
       + b_2_2⁵·b_2_5·b_2_6·a_1_1 − b_2_2⁵·b_2_3·b_2_6·a_1_2 − b_2_2⁶·b_2_6·a_1_2
       + b_2_2⁶·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_2
       + b_2_5²·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       − b_2_5⁵·a_1_1·a_1_2·a_3_12 + b_2_5⁵·a_1_0·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12
       − b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12 + b_2_2⁵·a_1_0·a_1_2·a_3_12
       + b_2_2⁵·a_1_0·a_1_2·a_3_11
54. b_8_55·a_7_42 − b_8_53·a_7_44 − b_8_53·a_7_42 − b_2_6⁷·a_1_2 − b_2_6⁷·a_1_1
       − b_2_5·b_2_6⁶·a_1_2 + b_2_5²·b_8_52·a_3_12 + b_2_5²·b_8_52·a_3_11
       + b_2_5²·b_2_6⁴·a_3_12 + b_2_5²·b_2_6⁵·a_1_2 − b_2_5³·b_8_53·a_1_2
       − b_2_5³·b_8_52·a_1_2 − b_2_5³·b_2_6·a_7_44 − b_2_5³·b_2_6³·a_3_12
       + b_2_5³·b_2_6⁴·a_1_2 + b_2_5⁴·b_2_6²·a_3_12 + b_2_5⁵·b_2_6·a_3_12
       − b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·b_2_6·a_1_1 − b_2_5⁷·a_1_1
       − b_2_2·b_2_5·b_8_52·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_11 + b_2_2·b_2_5²·b_8_55·a_1_2
       + b_2_2·b_2_5²·b_8_53·a_1_2 + b_2_2·b_2_5²·b_8_52·a_1_2
       + b_2_2·b_2_5²·b_2_6·a_7_44 + b_2_2·b_2_5³·a_7_44 + b_2_2·b_2_5³·a_7_42
       − b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12 + b_2_2·b_2_5⁵·a_3_11
       + b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2·b_2_5⁶·a_1_1 − b_2_2²·b_8_53·a_3_12
       + b_2_2²·b_8_52·a_3_12 + b_2_2²·b_8_52·a_3_11 − b_2_2²·b_2_5·b_8_53·a_1_2
       − b_2_2²·b_2_5·b_8_52·a_1_2 + b_2_2²·b_2_5²·a_7_44 + b_2_2²·b_2_5²·a_7_42
       + b_2_2²·b_2_5³·b_2_6·a_3_12 + b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2³·b_8_55·a_1_2 + b_2_2³·b_2_6·a_7_44
       − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42 − b_2_2³·b_2_5²·b_2_6·a_3_12
       + b_2_2³·b_2_5²·b_2_6²·a_1_2 + b_2_2³·b_2_5³·a_3_12 + b_2_2³·b_2_5³·a_3_11
       + b_2_2³·b_2_5³·b_2_6·a_1_2 − b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_5⁴·a_1_1
       − b_2_2³·b_2_3·a_7_44 + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 − b_2_2⁴·b_2_5·b_2_6²·a_1_2
       + b_2_2⁴·b_2_5²·a_3_11 + b_2_2⁴·b_2_5²·b_2_6·a_1_2 − b_2_2⁴·b_2_5²·b_2_6·a_1_1
       + b_2_2⁴·b_2_5³·a_1_1 − b_2_2⁵·b_2_6·a_3_12 + b_2_2⁵·b_2_6²·a_1_2
       + b_2_2⁵·b_2_5·a_3_11 − b_2_2⁵·b_2_5·b_2_6·a_1_2 + b_2_2⁵·b_2_5·b_2_6·a_1_1
       − b_2_2⁵·b_2_5²·a_1_1 − b_2_2⁵·b_2_3·b_2_6·a_1_2 + b_2_2⁶·a_3_12 − b_2_2⁶·a_3_11
       + b_2_2⁶·b_2_6·a_1_2 − b_2_2⁶·b_2_6·a_1_1 + b_2_2⁶·b_2_3·a_1_2 − b_2_2⁶·b_2_3·a_1_1
       − b_2_2⁷·a_1_1 − b_2_6²·a_1_2·a_3_12·a_7_44 − b_2_6⁵·a_1_1·a_1_2·a_3_12
       − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44 + b_2_5²·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_42
       − b_2_5⁵·a_1_1·a_1_2·a_3_12 + b_2_5⁵·a_1_0·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_11 + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42
       + b_2_2·b_2_5⁴·a_1_1·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_2·a_3_12·a_7_44 + b_2_2²·a_1_2·a_3_11·a_7_44
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11 − b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_1·a_1_2·a_3_12
55. b_8_52·a_7_44 + b_8_52·a_7_42 − b_2_5²·b_8_53·a_3_12 + b_2_5²·b_8_52·a_3_12
       + b_2_5³·b_2_6·a_7_44 + b_2_5³·b_2_6⁴·a_1_2 + b_2_5⁴·a_7_44 + b_2_5⁴·a_7_42
       − b_2_5⁴·b_2_6²·a_3_12 − b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁵·b_2_6·a_3_12
       − b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_11 − b_2_5⁶·b_2_6·a_1_1 + b_2_5⁷·a_1_1
       + b_2_3·a_13_120 − b_2_2·b_2_5·b_8_53·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_12
       + b_2_2·b_2_5·b_8_52·a_3_11 − b_2_2·b_2_5⁴·b_2_6·a_3_12
       + b_2_2·b_2_5⁴·b_2_6²·a_1_2 − b_2_2·b_2_5⁵·a_3_12 − b_2_2·b_2_5⁵·a_3_11
       + b_2_2·b_2_5⁵·b_2_6·a_1_2 − b_2_2·b_2_5⁵·b_2_6·a_1_1 + b_2_2²·b_8_52·a_3_12
       − b_2_2²·b_8_52·a_3_11 − b_2_2²·b_2_5·b_8_53·a_1_2 − b_2_2²·b_2_5·b_8_52·a_1_2
       + b_2_2²·b_2_5·b_2_6·a_7_44 − b_2_2²·b_2_5³·b_2_6·a_3_12
       − b_2_2²·b_2_5³·b_2_6²·a_1_2 − b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2²·b_2_5⁵·a_1_1
       + b_2_2³·b_8_55·a_1_2 + b_2_2³·b_2_6·a_7_44 + b_2_2³·b_2_5²·b_2_6·a_3_12
       − b_2_2³·b_2_5²·b_2_6²·a_1_2 + b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_5⁴·a_1_1
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 − b_2_2⁴·b_2_5·b_2_6·a_3_12 − b_2_2⁴·b_2_5²·a_3_12
       − b_2_2⁴·b_2_5²·b_2_6·a_1_1 − b_2_2⁴·b_2_5³·a_1_1 − b_2_2⁵·b_2_6·a_3_12
       − b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·a_3_11 − b_2_2⁵·b_2_5·b_2_6·a_1_2
       + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12 − b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_2
       + b_2_6²·a_1_2·a_3_12·a_7_44 − b_2_6⁵·a_1_1·a_1_2·a_3_12
       + b_2_5²·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_42 − b_2_5⁵·a_1_1·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_11
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_44 + b_2_2·b_2_5⁴·a_1_1·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_12·a_7_44
       + b_2_2²·a_1_2·a_3_11·a_7_44 + b_2_2²·a_1_2·a_3_11·a_7_42
       + b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12 + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11 + b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       − b_2_2⁵·a_1_0·a_1_2·a_3_11
56. b_8_52·a_7_42 + b_2_5²·b_8_52·a_3_12 − b_2_5²·b_8_52·a_3_11 + b_2_5³·b_2_6⁴·a_1_2
       + b_2_5⁴·a_7_44 + b_2_5⁴·a_7_42 − b_2_5⁴·b_2_6²·a_3_12 − b_2_5⁴·b_2_6³·a_1_2
       − b_2_5⁶·a_3_12 + b_2_5⁶·b_2_6·a_1_1 − b_2_5⁷·a_1_1 + b_2_2·a_13_120
       − b_2_2·b_2_5·b_8_52·a_3_12 + b_2_2·b_2_5²·b_8_55·a_1_2 − b_2_2·b_2_5²·b_2_6·a_7_44
       − b_2_2·b_2_5⁵·a_3_12 − b_2_2·b_2_5⁵·a_3_11 − b_2_2·b_2_5⁵·b_2_6·a_1_2
       + b_2_2·b_2_5⁵·b_2_6·a_1_1 − b_2_2·b_2_5⁶·a_1_1 + b_2_2²·b_8_53·a_3_12
       − b_2_2²·b_2_5·b_8_55·a_1_2 − b_2_2²·b_2_5·b_8_53·a_1_2
       + b_2_2²·b_2_5·b_8_52·a_1_2 + b_2_2²·b_2_5²·a_7_44 + b_2_2²·b_2_5²·a_7_42
       + b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5⁴·a_3_12 + b_2_2²·b_2_5⁴·a_3_11
       − b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2³·b_8_55·a_1_2
       + b_2_2³·b_8_53·a_1_2 + b_2_2³·b_8_52·a_1_2 + b_2_2³·b_2_6·a_7_44
       + b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5²·b_2_6·a_3_12 − b_2_2³·b_2_5³·a_3_11
       + b_2_2³·b_2_5³·b_2_6·a_1_2 + b_2_2³·b_2_5³·b_2_6·a_1_1 − b_2_2³·b_2_5⁴·a_1_1
       − b_2_2³·b_2_3·a_7_44 + b_2_2⁴·b_2_5·b_2_6·a_3_12 − b_2_2⁴·b_2_5²·b_2_6·a_1_2
       − b_2_2⁴·b_2_5²·b_2_6·a_1_1 − b_2_2⁴·b_2_5³·a_1_1 − b_2_2⁵·b_2_6²·a_1_2
       − b_2_2⁵·b_2_5·a_3_11 − b_2_2⁵·b_2_5·b_2_6·a_1_2 − b_2_2⁵·b_2_5·b_2_6·a_1_1
       + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12 + b_2_2⁵·b_2_3·b_2_6·a_1_2
       − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 − b_2_2⁶·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1
       − b_2_2⁶·b_2_3·a_1_2 + b_2_2⁶·b_2_3·a_1_1 + b_2_2⁷·a_1_1
       + b_2_6⁵·a_1_1·a_1_2·a_3_12 + b_2_5·b_2_6·a_1_2·a_3_12·a_7_44
       + b_2_5²·a_1_2·a_3_11·a_7_44 + b_2_5²·a_1_2·a_3_11·a_7_42
       + b_2_5⁵·a_1_1·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_11 + b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 + b_2_2·b_2_5⁴·a_1_1·a_1_2·a_3_12
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12 + b_2_2²·a_1_2·a_3_12·a_7_44
       + b_2_2²·a_1_2·a_3_11·a_7_44 + b_2_2²·a_1_2·a_3_11·a_7_42
       + b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11 − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12 + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       + b_2_2⁵·a_1_1·a_1_2·a_3_12 + b_2_2⁵·a_1_0·a_1_2·a_3_12
57. b_8_53·a_7_44 − b_8_53·a_7_42 + b_8_52·a_7_44 − b_8_52·a_7_42 − b_2_5²·b_8_53·a_3_12
       + b_2_5²·b_8_52·a_3_12 + b_2_5²·b_8_52·a_3_11 + b_2_5³·b_8_53·a_1_2
       + b_2_5³·b_8_52·a_1_2 − b_2_5⁵·b_2_6·a_3_12 − b_2_5⁵·b_2_6²·a_1_2 + b_2_5⁶·a_3_12
       − b_2_5⁶·a_3_11 + b_2_5⁶·b_2_6·a_1_1 − b_2_5⁷·a_1_1 + b_2_4·a_13_120
       + b_2_2·b_2_5·b_8_53·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_11
       − b_2_2·b_2_5²·b_8_55·a_1_2 − b_2_2·b_2_5²·b_8_53·a_1_2
       − b_2_2·b_2_5²·b_8_52·a_1_2 + b_2_2·b_2_5²·b_2_6·a_7_44 − b_2_2·b_2_5⁵·b_2_6·a_1_2
       + b_2_2·b_2_5⁶·a_1_1 + b_2_2²·b_8_53·a_3_12 + b_2_2²·b_8_52·a_3_11
       + b_2_2²·b_2_5·b_8_55·a_1_2 + b_2_2²·b_2_5·b_8_53·a_1_2
       + b_2_2²·b_2_5·b_8_52·a_1_2 + b_2_2²·b_2_5·b_2_6·a_7_44 + b_2_2²·b_2_5²·a_7_44
       + b_2_2²·b_2_5²·a_7_42 + b_2_2²·b_2_5³·b_2_6·a_3_12
       − b_2_2²·b_2_5³·b_2_6²·a_1_2 − b_2_2²·b_2_5⁴·a_3_12
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁴·b_2_6·a_1_1 − b_2_2²·b_2_5⁵·a_1_1
       − b_2_2³·b_8_55·a_1_2 + b_2_2³·b_8_53·a_1_2 + b_2_2³·b_8_52·a_1_2
       − b_2_2³·b_2_5²·b_2_6²·a_1_2 + b_2_2³·b_2_5³·a_3_11
       − b_2_2³·b_2_5³·b_2_6·a_1_2 − b_2_2³·b_2_5³·b_2_6·a_1_1 − b_2_2³·b_2_5⁴·a_1_1
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 + b_2_2⁴·b_2_5·b_2_6·a_3_12 + b_2_2⁴·b_2_5²·a_3_12
       + b_2_2⁴·b_2_5²·a_3_11 − b_2_2⁴·b_2_5²·b_2_6·a_1_1 + b_2_2⁴·b_2_5³·a_1_1
       + b_2_2⁵·b_2_6²·a_1_2 + b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·b_2_6·a_1_1
       + b_2_2⁵·b_2_3·a_3_12 + b_2_2⁵·b_2_3·b_2_6·a_1_2 − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11
       − b_2_2⁶·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_2
       − b_2_2⁷·a_1_1 − b_2_6⁵·a_1_1·a_1_2·a_3_12 − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_42 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_11 + b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_44 − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42
       + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 − b_2_2²·a_1_2·a_3_12·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_44 + b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       − b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11 − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       − b_2_2⁵·a_1_1·a_1_2·a_3_12 − b_2_2⁵·a_1_0·a_1_2·a_3_11
58. b_8_53·a_7_44 − b_8_53·a_7_42 + b_8_52·a_7_44 − b_8_52·a_7_42 − b_2_5²·b_8_53·a_3_12
       + b_2_5²·b_8_52·a_3_12 + b_2_5²·b_8_52·a_3_11 + b_2_5³·b_8_53·a_1_2
       + b_2_5³·b_8_52·a_1_2 − b_2_5⁵·b_2_6·a_3_12 − b_2_5⁵·b_2_6²·a_1_2 + b_2_5⁶·a_3_12
       − b_2_5⁶·a_3_11 + b_2_5⁶·b_2_6·a_1_1 − b_2_5⁷·a_1_1 + b_2_3·a_13_121
       − b_2_2·b_2_5²·b_8_55·a_1_2 + b_2_2·b_2_5²·b_2_6·a_7_44 − b_2_2·b_2_5³·a_7_44
       − b_2_2·b_2_5³·a_7_42 − b_2_2·b_2_5⁵·a_3_12 − b_2_2·b_2_5⁵·a_3_11
       − b_2_2·b_2_5⁵·b_2_6·a_1_2 − b_2_2·b_2_5⁵·b_2_6·a_1_1 + b_2_2·b_2_5⁶·a_1_1
       − b_2_2²·b_8_52·a_3_12 + b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_53·a_1_2
       + b_2_2²·b_2_5·b_8_52·a_1_2 − b_2_2²·b_2_5²·a_7_44 − b_2_2²·b_2_5²·a_7_42
       + b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·a_3_12 − b_2_2²·b_2_5⁴·a_3_11 + b_2_2²·b_2_5⁴·b_2_6·a_1_2
       − b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2³·b_8_55·a_1_2 + b_2_2³·b_2_5·a_7_44
       + b_2_2³·b_2_5·a_7_42 − b_2_2³·b_2_5²·b_2_6·a_3_12 + b_2_2³·b_2_5²·b_2_6²·a_1_2
       + b_2_2³·b_2_5³·a_3_12 + b_2_2³·b_2_5³·b_2_6·a_1_1 − b_2_2³·b_2_5⁴·a_1_1
       − b_2_2³·b_2_3·a_7_44 + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 + b_2_2⁴·b_2_5·b_2_6·a_3_12
       + b_2_2⁴·b_2_5²·b_2_6·a_1_2 + b_2_2⁴·b_2_5²·b_2_6·a_1_1 + b_2_2⁵·b_2_6·a_3_12
       + b_2_2⁵·b_2_6²·a_1_2 − b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·a_3_11
       + b_2_2⁵·b_2_5·b_2_6·a_1_1 + b_2_2⁵·b_2_5²·a_1_1 − b_2_2⁵·b_2_3·a_3_12
       − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_2 + b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_2 − b_2_2⁷·a_1_1
       − b_2_6⁵·a_1_1·a_1_2·a_3_12 − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44
       + b_2_5²·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       + b_2_5²·a_1_2·a_3_11·a_7_42 + b_2_5⁵·a_1_0·a_1_2·a_3_12
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       − b_2_2²·a_1_2·a_3_12·a_7_44 − b_2_2²·a_1_2·a_3_11·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_42 + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12
       − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11 + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_1·a_1_2·a_3_12
59. b_8_52·a_7_44 − b_8_52·a_7_42 − b_2_5²·b_8_53·a_3_12 − b_2_5²·b_8_52·a_3_12
       − b_2_5²·b_8_52·a_3_11 + b_2_5³·b_2_6·a_7_44 − b_2_5³·b_2_6⁴·a_1_2 − b_2_5⁴·a_7_44
       − b_2_5⁴·a_7_42 + b_2_5⁴·b_2_6²·a_3_12 + b_2_5⁴·b_2_6³·a_1_2
       + b_2_5⁵·b_2_6·a_3_12 − b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_12 − b_2_5⁶·a_3_11
       + b_2_2·a_13_121 + b_2_2·b_2_5²·b_2_6·a_7_44 − b_2_2·b_2_5³·a_7_44
       − b_2_2·b_2_5³·a_7_42 − b_2_2·b_2_5⁴·b_2_6·a_3_12 + b_2_2·b_2_5⁴·b_2_6²·a_1_2
       − b_2_2·b_2_5⁵·a_3_12 + b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2·b_2_5⁵·b_2_6·a_1_1
       + b_2_2²·b_8_53·a_3_12 − b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_55·a_1_2
       − b_2_2²·b_2_5·b_8_53·a_1_2 + b_2_2²·b_2_5²·a_7_44 − b_2_2²·b_2_5²·a_7_42
       + b_2_2²·b_2_5³·b_2_6²·a_1_2 − b_2_2²·b_2_5⁴·a_3_12
       − b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁵·a_1_1 + b_2_2³·b_8_53·a_1_2
       + b_2_2³·b_2_5·a_7_44 + b_2_2³·b_2_5²·b_2_6·a_3_12 + b_2_2³·b_2_5²·b_2_6²·a_1_2
       + b_2_2³·b_2_5³·a_3_12 + b_2_2³·b_2_5³·b_2_6·a_1_2 − b_2_2³·b_2_5³·b_2_6·a_1_1
       − b_2_2³·b_2_5⁴·a_1_1 − b_2_2³·b_2_3·a_7_44 + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42
       + b_2_2⁴·b_2_5²·a_3_12 − b_2_2⁴·b_2_5²·a_3_11 − b_2_2⁴·b_2_5²·b_2_6·a_1_2
       − b_2_2⁴·b_2_5²·b_2_6·a_1_1 − b_2_2⁴·b_2_5³·a_1_1 − b_2_2⁵·b_2_6·a_3_12
       − b_2_2⁵·b_2_6²·a_1_2 − b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·b_2_6·a_1_1
       + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12 + b_2_2⁵·b_2_3·b_2_6·a_1_2
       + b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 − b_2_2⁶·b_2_6·a_1_2 − b_2_2⁶·b_2_5·a_1_1
       − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁷·a_1_1 + b_2_6²·a_1_2·a_3_12·a_7_44
       + b_2_5·b_2_6·a_1_2·a_3_12·a_7_44 + b_2_5²·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_42
       + b_2_5⁵·a_1_1·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_11 + b_2_2·b_2_5·a_1_2·a_3_11·a_7_44
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_12·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_44 − b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_1·a_1_2·a_3_12
       + b_2_2⁵·a_1_0·a_1_2·a_3_12 − b_2_2⁵·a_1_0·a_1_2·a_3_11
60.  − b_8_53·a_7_44 − b_8_53·a_7_42 − b_2_6·a_13_120 − b_2_6⁴·a_7_44 − b_2_6⁷·a_1_2
       + b_2_6⁷·a_1_1 + b_2_5·a_13_121 − b_2_5·a_13_120 − b_2_5·b_2_6⁶·a_1_2
       − b_2_5²·b_8_53·a_3_12 − b_2_5²·b_8_52·a_3_12 − b_2_5²·b_8_52·a_3_11
       − b_2_5²·b_2_6⁴·a_3_12 − b_2_5³·b_2_6·a_7_44 − b_2_5³·b_2_6⁴·a_1_2
       − b_2_5⁴·b_2_6²·a_3_12 + b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁵·b_2_6·a_3_12
       + b_2_5⁵·b_2_6²·a_1_2 + b_2_5⁶·a_3_12 + b_2_5⁶·a_3_11 + b_2_5⁶·b_2_6·a_1_2
       + b_2_5⁶·b_2_6·a_1_1 + b_2_2·b_2_5·b_8_52·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_11
       − b_2_2·b_2_5²·b_8_53·a_1_2 + b_2_2·b_2_5²·b_8_52·a_1_2 + b_2_2·b_2_5³·a_7_42
       − b_2_2·b_2_5⁴·b_2_6²·a_1_2 − b_2_2·b_2_5⁵·a_3_12 + b_2_2·b_2_5⁵·a_3_11
       − b_2_2·b_2_5⁵·b_2_6·a_1_1 − b_2_2·b_2_5⁶·a_1_1 − b_2_2²·b_8_53·a_3_12
       + b_2_2²·b_8_52·a_3_12 + b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_55·a_1_2
       − b_2_2²·b_2_5·b_8_53·a_1_2 + b_2_2²·b_2_5·b_8_52·a_1_2
       + b_2_2²·b_2_5·b_2_6·a_7_44 − b_2_2²·b_2_5²·a_7_44 − b_2_2²·b_2_5²·a_7_42
       + b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·a_3_12 − b_2_2²·b_2_5⁴·a_3_11 − b_2_2²·b_2_5⁴·b_2_6·a_1_2
       − b_2_2²·b_2_5⁴·b_2_6·a_1_1 − b_2_2²·b_2_5⁵·a_1_1 + b_2_2³·b_8_55·a_1_2
       − b_2_2³·b_2_6·a_7_44 − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42
       − b_2_2³·b_2_5²·b_2_6·a_3_12 − b_2_2³·b_2_5²·b_2_6²·a_1_2
       − b_2_2³·b_2_5³·a_3_12 − b_2_2³·b_2_5³·a_3_11 − b_2_2³·b_2_5³·b_2_6·a_1_2
       − b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_3·a_7_44 + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42
       − b_2_2⁴·b_2_5·b_2_6·a_3_12 − b_2_2⁴·b_2_5·b_2_6²·a_1_2
       + b_2_2⁴·b_2_5²·b_2_6·a_1_2 − b_2_2⁴·b_2_5³·a_1_1 + b_2_2⁵·b_2_5·a_3_12
       − b_2_2⁵·b_2_5·a_3_11 + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12
       + b_2_2⁵·b_2_3·b_2_6·a_1_2 + b_2_2⁶·a_3_12 − b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁶·b_2_3·a_1_2 − b_2_2⁶·b_2_3·a_1_1 − b_2_2⁷·a_1_1
       + b_2_5²·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       − b_2_5⁵·a_1_1·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_44 + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42
       − b_2_2²·a_1_2·a_3_12·a_7_44 − b_2_2²·a_1_2·a_3_11·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_42 − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       + b_2_2⁵·a_1_1·a_1_2·a_3_12 − b_2_2⁵·a_1_0·a_1_2·a_3_11
61.  − b_8_53·a_7_44 + b_8_53·a_7_42 − b_8_52·a_7_44 + b_8_52·a_7_42 + b_2_5²·b_8_53·a_3_12
       − b_2_5²·b_8_52·a_3_12 − b_2_5²·b_8_52·a_3_11 − b_2_5³·b_8_53·a_1_2
       − b_2_5³·b_8_52·a_1_2 + b_2_5⁵·b_2_6·a_3_12 + b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_12
       + b_2_5⁶·a_3_11 − b_2_5⁶·b_2_6·a_1_1 + b_2_5⁷·a_1_1 + b_2_4·a_13_121
       − b_2_2·b_2_5·b_8_53·a_3_12 + b_2_2·b_2_5·b_8_52·a_3_12 + b_2_2·b_2_5·b_8_52·a_3_11
       − b_2_2·b_2_5²·b_8_53·a_1_2 − b_2_2·b_2_5²·b_8_52·a_1_2
       + b_2_2·b_2_5²·b_2_6·a_7_44 + b_2_2·b_2_5³·a_7_44 + b_2_2·b_2_5³·a_7_42
       − b_2_2·b_2_5⁴·b_2_6·a_3_12 − b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12
       + b_2_2·b_2_5⁵·a_3_11 − b_2_2·b_2_5⁵·b_2_6·a_1_1 + b_2_2·b_2_5⁶·a_1_1
       + b_2_2²·b_8_52·a_3_12 − b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_55·a_1_2
       − b_2_2²·b_2_5·b_8_53·a_1_2 − b_2_2²·b_2_5·b_8_52·a_1_2
       + b_2_2²·b_2_5·b_2_6·a_7_44 + b_2_2²·b_2_5²·a_7_44 + b_2_2²·b_2_5²·a_7_42
       − b_2_2²·b_2_5³·b_2_6·a_3_12 + b_2_2²·b_2_5³·b_2_6²·a_1_2
       − b_2_2²·b_2_5⁴·a_3_12 + b_2_2²·b_2_5⁴·a_3_11 − b_2_2²·b_2_5⁴·b_2_6·a_1_1
       + b_2_2³·b_8_55·a_1_2 − b_2_2³·b_2_6·a_7_44 + b_2_2³·b_2_5·a_7_44
       + b_2_2³·b_2_5·a_7_42 − b_2_2³·b_2_5²·b_2_6·a_3_12 − b_2_2³·b_2_5³·a_3_12
       + b_2_2³·b_2_5³·a_3_11 + b_2_2³·b_2_5³·b_2_6·a_1_2 + b_2_2³·b_2_5³·b_2_6·a_1_1
       − b_2_2³·b_2_5⁴·a_1_1 − b_2_2⁴·a_7_44 − b_2_2⁴·a_7_42 + b_2_2⁴·b_2_5·b_2_6²·a_1_2
       + b_2_2⁴·b_2_5²·a_3_12 + b_2_2⁴·b_2_5²·a_3_11 − b_2_2⁵·b_2_6²·a_1_2
       − b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·b_2_6·a_1_2 − b_2_2⁵·b_2_3·a_3_12
       + b_2_2⁶·a_3_12 − b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1
       − b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_2 + b_2_2⁶·b_2_3·a_1_1
       + b_2_6⁵·a_1_1·a_1_2·a_3_12 + b_2_5·b_2_6·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_44 + b_2_5²·a_1_2·a_3_11·a_7_42
       + b_2_5⁵·a_1_1·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2²·a_1_2·a_3_12·a_7_44 − b_2_2²·a_1_2·a_3_11·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_42 + b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       + b_2_2⁵·a_1_1·a_1_2·a_3_12 + b_2_2⁵·a_1_0·a_1_2·a_3_11
62. b_14_135·a_1_1 − b_8_53·a_7_42 − b_8_52·a_7_42 − b_2_5²·b_8_53·a_3_12
       − b_2_5²·b_8_52·a_3_12 − b_2_5⁷·a_1_1 − b_2_2·b_2_5·b_8_52·a_3_12
       + b_2_2·b_2_5·b_8_52·a_3_11 + b_2_2·b_2_5²·b_8_55·a_1_2 + b_2_2·b_2_5²·b_8_53·a_1_2
       + b_2_2·b_2_5²·b_8_52·a_1_2 − b_2_2·b_2_5⁴·b_2_6·a_3_12 + b_2_2·b_2_5⁵·a_3_12
       − b_2_2·b_2_5⁵·a_3_11 + b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2·b_2_5⁵·b_2_6·a_1_1
       + b_2_2·b_2_5⁶·a_1_1 − b_2_2²·b_8_52·a_3_12 + b_2_2²·b_8_52·a_3_11
       + b_2_2²·b_2_5·b_8_55·a_1_2 − b_2_2²·b_2_5²·a_7_44 − b_2_2²·b_2_5²·a_7_42
       − b_2_2²·b_2_5³·b_2_6·a_3_12 − b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·a_3_11 + b_2_2²·b_2_5⁴·b_2_6·a_1_1 − b_2_2²·b_2_5⁵·a_1_1
       − b_2_2³·b_8_55·a_1_2 − b_2_2³·b_8_53·a_1_2 − b_2_2³·b_8_52·a_1_2
       − b_2_2³·b_2_6·a_7_44 − b_2_2³·b_2_5²·b_2_6²·a_1_2 − b_2_2³·b_2_5³·a_3_12
       − b_2_2³·b_2_5³·b_2_6·a_1_2 − b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_3·a_7_44
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 − b_2_2⁴·b_2_5·b_2_6²·a_1_2
       − b_2_2⁴·b_2_5²·a_3_12 − b_2_2⁴·b_2_5²·b_2_6·a_1_2 + b_2_2⁴·b_2_5³·a_1_1
       − b_2_2⁵·b_2_6²·a_1_2 + b_2_2⁵·b_2_5·a_3_12 + b_2_2⁵·b_2_5·b_2_6·a_1_2
       − b_2_2⁵·b_2_5·b_2_6·a_1_1 + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12
       + b_2_2⁵·b_2_3·b_2_6·a_1_2 − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_5·a_1_1 + b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_1 + b_2_2⁷·a_1_1
       − b_2_5²·a_1_2·a_3_11·a_7_44 + b_2_5⁵·a_1_1·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_12 + b_2_2·b_2_5·a_1_2·a_3_12·a_7_44
       + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_11·a_7_44
       − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11
       + b_2_2⁵·a_1_1·a_1_2·a_3_12 − b_2_2⁵·a_1_0·a_1_2·a_3_12
63. b_14_135·a_1_0 − b_8_52·a_7_42 − b_2_5²·b_8_52·a_3_12 − b_2_5³·b_2_6⁴·a_1_2
       − b_2_5⁴·a_7_44 − b_2_5⁴·a_7_42 + b_2_5⁴·b_2_6²·a_3_12 + b_2_5⁴·b_2_6³·a_1_2
       + b_2_5⁵·b_2_6²·a_1_2 + b_2_5⁶·a_3_11 − b_2_5⁷·a_1_1 − b_2_2·b_2_5·b_8_52·a_3_11
       − b_2_2·b_2_5²·b_2_6·a_7_44 + b_2_2·b_2_5³·a_7_44 + b_2_2·b_2_5⁴·b_2_6·a_3_12
       + b_2_2·b_2_5⁴·b_2_6²·a_1_2 − b_2_2·b_2_5⁵·a_3_12 + b_2_2·b_2_5⁵·a_3_11
       − b_2_2·b_2_5⁵·b_2_6·a_1_2 − b_2_2·b_2_5⁵·b_2_6·a_1_1 − b_2_2·b_2_5⁶·a_1_1
       + b_2_2²·b_8_53·a_3_12 − b_2_2²·b_8_52·a_3_11 + b_2_2²·b_2_5·b_8_55·a_1_2
       − b_2_2²·b_2_5·b_8_53·a_1_2 − b_2_2²·b_2_5·b_8_52·a_1_2
       + b_2_2²·b_2_5·b_2_6·a_7_44 − b_2_2²·b_2_5³·b_2_6²·a_1_2
       + b_2_2²·b_2_5⁴·b_2_6·a_1_1 − b_2_2³·b_8_53·a_1_2 − b_2_2³·b_8_52·a_1_2
       − b_2_2³·b_2_6·a_7_44 − b_2_2³·b_2_5·a_7_44 + b_2_2³·b_2_5·a_7_42
       + b_2_2³·b_2_5³·a_3_11 − b_2_2³·b_2_5⁴·a_1_1 − b_2_2³·b_2_3·a_7_44
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 − b_2_2⁴·b_2_5·b_2_6²·a_1_2
       + b_2_2⁴·b_2_5²·a_3_12 − b_2_2⁴·b_2_5²·a_3_11 − b_2_2⁴·b_2_5²·b_2_6·a_1_1
       − b_2_2⁴·b_2_5³·a_1_1 + b_2_2⁵·b_2_6·a_3_12 − b_2_2⁵·b_2_6²·a_1_2
       − b_2_2⁵·b_2_5·a_3_11 + b_2_2⁵·b_2_5·b_2_6·a_1_2 − b_2_2⁵·b_2_3·a_3_12
       + b_2_2⁵·b_2_3·b_2_6·a_1_2 − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_1
       + b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_2 − b_2_2⁷·a_1_1
       − b_2_6⁵·a_1_1·a_1_2·a_3_12 − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_44 − b_2_5⁵·a_1_1·a_1_2·a_3_12
       + b_2_5⁵·a_1_0·a_1_2·a_3_12 + b_2_5⁵·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_2·a_3_12·a_7_44 + b_2_2·b_2_5·a_1_2·a_3_11·a_7_42
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_12·a_7_44
       − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12
       − b_2_2⁵·a_1_0·a_1_2·a_3_11
64. b_14_137·a_1_1 + b_8_53·a_7_42 + b_8_52·a_7_42 + b_2_5²·b_8_53·a_3_12
       + b_2_5²·b_8_52·a_3_12 + b_2_5⁷·a_1_1 + b_2_2·b_2_5·b_8_52·a_3_12
       − b_2_2·b_2_5·b_8_52·a_3_11 − b_2_2·b_2_5²·b_8_55·a_1_2 − b_2_2·b_2_5²·b_8_53·a_1_2
       − b_2_2·b_2_5²·b_8_52·a_1_2 + b_2_2·b_2_5²·b_2_6·a_7_44 − b_2_2·b_2_5³·a_7_44
       − b_2_2·b_2_5³·a_7_42 + b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12
       − b_2_2·b_2_5⁵·b_2_6·a_1_2 − b_2_2·b_2_5⁵·b_2_6·a_1_1 + b_2_2·b_2_5⁶·a_1_1
       + b_2_2²·b_8_52·a_3_12 − b_2_2²·b_8_52·a_3_11 − b_2_2²·b_2_5·b_8_55·a_1_2
       − b_2_2²·b_2_5·b_2_6·a_7_44 + b_2_2²·b_2_5³·b_2_6·a_3_12 + b_2_2²·b_2_5⁴·a_3_12
       + b_2_2²·b_2_5⁴·a_3_11 − b_2_2²·b_2_5⁴·b_2_6·a_1_2 − b_2_2²·b_2_5⁴·b_2_6·a_1_1
       + b_2_2²·b_2_5⁵·a_1_1 + b_2_2³·b_8_55·a_1_2 + b_2_2³·b_8_53·a_1_2
       + b_2_2³·b_8_52·a_1_2 − b_2_2³·b_2_6·a_7_44 + b_2_2³·b_2_5·a_7_44
       + b_2_2³·b_2_5·a_7_42 + b_2_2³·b_2_5²·b_2_6·a_3_12 + b_2_2³·b_2_5³·a_3_12
       + b_2_2³·b_2_5³·a_3_11 + b_2_2³·b_2_5³·b_2_6·a_1_2 + b_2_2³·b_2_3·a_7_44
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 − b_2_2⁴·b_2_5·b_2_6·a_3_12
       − b_2_2⁴·b_2_5·b_2_6²·a_1_2 + b_2_2⁴·b_2_5²·b_2_6·a_1_2 − b_2_2⁴·b_2_5³·a_1_1
       + b_2_2⁵·b_2_6²·a_1_2 + b_2_2⁵·b_2_5·a_3_11 + b_2_2⁵·b_2_5·b_2_6·a_1_2
       − b_2_2⁵·b_2_5·b_2_6·a_1_1 − b_2_2⁵·b_2_5²·a_1_1 − b_2_2⁵·b_2_3·b_2_6·a_1_2
       − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 + b_2_2⁶·b_2_6·a_1_2 + b_2_2⁶·b_2_6·a_1_1
       − b_2_2⁶·b_2_5·a_1_1 + b_2_2⁶·b_2_4·a_1_2 + b_2_2⁶·b_2_3·a_1_1 + b_2_2⁷·a_1_1
       + b_2_6⁵·a_1_1·a_1_2·a_3_12 + b_2_5²·a_1_2·a_3_11·a_7_44
       + b_2_5⁵·a_1_1·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_11 − b_2_2·b_2_5·a_1_2·a_3_11·a_7_44
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11 + b_2_2²·a_1_2·a_3_12·a_7_44
       − b_2_2²·a_1_2·a_3_11·a_7_42 + b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       + b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12
       − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_0·a_1_2·a_3_12
       + b_2_2⁵·a_1_0·a_1_2·a_3_11
65. b_14_137·a_1_0 − b_8_53·a_7_44 − b_8_53·a_7_42 − b_8_52·a_7_44 + b_8_52·a_7_42
       + b_2_5²·b_8_53·a_3_12 + b_2_5²·b_8_52·a_3_12 − b_2_5²·b_8_52·a_3_11
       − b_2_5³·b_2_6⁴·a_1_2 − b_2_5⁴·a_7_44 − b_2_5⁴·a_7_42 + b_2_5⁴·b_2_6²·a_3_12
       + b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁵·b_2_6·a_3_12 − b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_12
       − b_2_5⁶·a_3_11 + b_2_5⁶·b_2_6·a_1_1 − b_2_2·b_2_5·b_8_53·a_3_12
       − b_2_2·b_2_5·b_8_52·a_3_12 − b_2_2·b_2_5·b_8_52·a_3_11 + b_2_2·b_2_5²·b_8_55·a_1_2
       + b_2_2·b_2_5²·b_8_53·a_1_2 + b_2_2·b_2_5²·b_8_52·a_1_2
       + b_2_2·b_2_5²·b_2_6·a_7_44 + b_2_2·b_2_5³·a_7_44 − b_2_2·b_2_5³·a_7_42
       + b_2_2·b_2_5⁴·b_2_6·a_3_12 − b_2_2·b_2_5⁴·b_2_6²·a_1_2 − b_2_2·b_2_5⁵·a_3_11
       + b_2_2·b_2_5⁵·b_2_6·a_1_2 − b_2_2·b_2_5⁵·b_2_6·a_1_1 + b_2_2·b_2_5⁶·a_1_1
       − b_2_2²·b_8_53·a_3_12 − b_2_2²·b_2_5·b_8_55·a_1_2 − b_2_2²·b_2_5·b_8_53·a_1_2
       − b_2_2²·b_2_5·b_8_52·a_1_2 + b_2_2²·b_2_5·b_2_6·a_7_44 − b_2_2²·b_2_5²·a_7_42
       − b_2_2²·b_2_5⁴·a_3_12 − b_2_2²·b_2_5⁴·a_3_11 + b_2_2²·b_2_5⁴·b_2_6·a_1_1
       + b_2_2²·b_2_5⁵·a_1_1 + b_2_2³·b_8_55·a_1_2 − b_2_2³·b_8_53·a_1_2
       − b_2_2³·b_8_52·a_1_2 − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42
       − b_2_2³·b_2_5²·b_2_6·a_3_12 + b_2_2³·b_2_5²·b_2_6²·a_1_2
       − b_2_2³·b_2_5³·a_3_12 − b_2_2³·b_2_5³·b_2_6·a_1_1 + b_2_2³·b_2_3·a_7_44
       + b_2_2⁴·a_7_44 + b_2_2⁴·a_7_42 + b_2_2⁴·b_2_5·b_2_6²·a_1_2
       − b_2_2⁴·b_2_5²·a_3_12 + b_2_2⁴·b_2_5²·b_2_6·a_1_1 − b_2_2⁴·b_2_5³·a_1_1
       + b_2_2⁵·b_2_6·a_3_12 + b_2_2⁵·b_2_6²·a_1_2 + b_2_2⁵·b_2_5·a_3_12
       − b_2_2⁵·b_2_5·b_2_6·a_1_2 − b_2_2⁵·b_2_5·b_2_6·a_1_1 − b_2_2⁵·b_2_3·a_3_12
       − b_2_2⁶·a_3_12 + b_2_2⁶·a_3_11 − b_2_2⁶·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1
       − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_1 + b_2_6⁵·a_1_1·a_1_2·a_3_12
       − b_2_5·b_2_6·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_12·a_7_44
       + b_2_5²·a_1_2·a_3_11·a_7_44 + b_2_5⁵·a_1_1·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_11
       + b_2_2·b_2_5·a_1_2·a_3_12·a_7_44 − b_2_2·b_2_5·a_1_2·a_3_11·a_7_44
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12 − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_2·a_3_12·a_7_44 − b_2_2²·a_1_2·a_3_11·a_7_44
       − b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12 + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11 + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_1·a_1_2·a_3_12
66. b_14_138·a_1_1 − b_8_53·a_7_44 − b_8_52·a_7_44 − b_2_6⁷·a_1_1 − b_2_5²·b_8_53·a_3_12
       − b_2_5²·b_8_52·a_3_11 + b_2_5⁵·b_2_6·a_3_12 + b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_12
       + b_2_5⁶·a_3_11 − b_2_5⁷·a_1_1 − b_2_2·b_2_5·b_8_53·a_3_12
       − b_2_2·b_2_5·b_8_52·a_3_11 + b_2_2·b_2_5³·a_7_44 + b_2_2·b_2_5³·a_7_42
       + b_2_2·b_2_5⁴·b_2_6·a_3_12 − b_2_2·b_2_5⁵·a_3_11 + b_2_2·b_2_5⁵·b_2_6·a_1_2
       + b_2_2·b_2_5⁶·a_1_1 + b_2_2²·b_8_53·a_3_12 + b_2_2²·b_8_52·a_3_12
       − b_2_2²·b_2_5·b_2_6·a_7_44 + b_2_2²·b_2_5³·b_2_6·a_3_12 + b_2_2²·b_2_5⁴·a_3_11
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2²·b_2_5⁵·a_1_1
       − b_2_2³·b_8_55·a_1_2 + b_2_2³·b_8_53·a_1_2 + b_2_2³·b_8_52·a_1_2
       + b_2_2³·b_2_6·a_7_44 − b_2_2³·b_2_5·a_7_44 − b_2_2³·b_2_5·a_7_42
       − b_2_2³·b_2_5²·b_2_6·a_3_12 − b_2_2³·b_2_5²·b_2_6²·a_1_2
       + b_2_2³·b_2_5³·a_3_11 − b_2_2³·b_2_5³·b_2_6·a_1_2 − b_2_2³·b_2_5⁴·a_1_1
       − b_2_2³·b_2_3·a_7_44 + b_2_2⁴·b_2_5·b_2_6·a_3_12 + b_2_2⁴·b_2_5·b_2_6²·a_1_2
       − b_2_2⁴·b_2_5²·a_3_12 − b_2_2⁴·b_2_5²·b_2_6·a_1_2 + b_2_2⁴·b_2_5²·b_2_6·a_1_1
       − b_2_2⁴·b_2_5³·a_1_1 + b_2_2⁵·b_2_6·a_3_12 + b_2_2⁵·b_2_6²·a_1_2
       + b_2_2⁵·b_2_5·a_3_12 − b_2_2⁵·b_2_5·a_3_11 − b_2_2⁵·b_2_5·b_2_6·a_1_2
       − b_2_2⁵·b_2_5·b_2_6·a_1_1 + b_2_2⁵·b_2_5²·a_1_1 + b_2_2⁵·b_2_3·a_3_12
       + b_2_2⁵·b_2_3·b_2_6·a_1_2 + b_2_2⁶·b_2_6·a_1_2 − b_2_2⁶·b_2_5·a_1_1
       + b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_2 − b_2_2⁶·b_2_3·a_1_1
       + b_2_6⁵·a_1_1·a_1_2·a_3_12 − b_2_5²·a_1_2·a_3_11·a_7_42
       − b_2_5⁵·a_1_1·a_1_2·a_3_12 + b_2_5⁵·a_1_0·a_1_2·a_3_11
       − b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_11
       − b_2_2²·a_1_2·a_3_11·a_7_42 − b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       + b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_12 − b_2_2²·b_2_5³·a_1_0·a_1_2·a_3_11
       − b_2_2³·b_2_5²·a_1_1·a_1_2·a_3_12 + b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 + b_2_2⁵·a_1_0·a_1_2·a_3_12
67. b_14_138·a_1_0 − b_8_53·a_7_42 − b_2_5²·b_8_53·a_3_12 + b_2_5³·b_2_6⁴·a_1_2
       + b_2_5⁴·a_7_44 + b_2_5⁴·a_7_42 − b_2_5⁴·b_2_6²·a_3_12 − b_2_5⁴·b_2_6³·a_1_2
       − b_2_5⁵·b_2_6²·a_1_2 − b_2_5⁶·a_3_11 + b_2_5⁷·a_1_1 − b_2_2·b_2_5·b_8_52·a_3_12
       − b_2_2·b_2_5·b_8_52·a_3_11 + b_2_2·b_2_5²·b_8_55·a_1_2 + b_2_2·b_2_5²·b_8_53·a_1_2
       + b_2_2·b_2_5²·b_8_52·a_1_2 − b_2_2·b_2_5²·b_2_6·a_7_44 + b_2_2·b_2_5³·a_7_42
       + b_2_2·b_2_5⁴·b_2_6·a_3_12 + b_2_2·b_2_5⁴·b_2_6²·a_1_2 + b_2_2·b_2_5⁵·a_3_12
       + b_2_2·b_2_5⁵·a_3_11 − b_2_2·b_2_5⁵·b_2_6·a_1_2 + b_2_2·b_2_5⁶·a_1_1
       − b_2_2²·b_8_53·a_3_12 − b_2_2²·b_8_52·a_3_12 − b_2_2²·b_8_52·a_3_11
       + b_2_2²·b_2_5·b_8_53·a_1_2 + b_2_2²·b_2_5·b_8_52·a_1_2
       − b_2_2²·b_2_5·b_2_6·a_7_44 + b_2_2²·b_2_5²·a_7_42 + b_2_2²·b_2_5³·b_2_6·a_3_12
       − b_2_2²·b_2_5³·b_2_6²·a_1_2 − b_2_2²·b_2_5⁴·a_3_11
       + b_2_2²·b_2_5⁴·b_2_6·a_1_2 + b_2_2²·b_2_5⁴·b_2_6·a_1_1 + b_2_2²·b_2_5⁵·a_1_1
       − b_2_2³·b_8_55·a_1_2 − b_2_2³·b_2_6·a_7_44 + b_2_2³·b_2_5·a_7_44
       + b_2_2³·b_2_5·a_7_42 + b_2_2³·b_2_5³·a_3_12 + b_2_2³·b_2_5³·a_3_11
       − b_2_2³·b_2_5³·b_2_6·a_1_1 − b_2_2³·b_2_5⁴·a_1_1 + b_2_2³·b_2_3·a_7_44
       + b_2_2⁴·b_2_5·b_2_6·a_3_12 + b_2_2⁴·b_2_5²·a_3_12 − b_2_2⁴·b_2_5²·a_3_11
       + b_2_2⁴·b_2_5²·b_2_6·a_1_2 − b_2_2⁴·b_2_5²·b_2_6·a_1_1 + b_2_2⁵·b_2_6·a_3_12
       − b_2_2⁵·b_2_6²·a_1_2 − b_2_2⁵·b_2_5·a_3_12 + b_2_2⁵·b_2_5·a_3_11
       − b_2_2⁵·b_2_5·b_2_6·a_1_2 − b_2_2⁵·b_2_5·b_2_6·a_1_1 − b_2_2⁶·b_2_5·a_1_1
       − b_2_2⁶·b_2_4·a_1_2 − b_2_2⁶·b_2_3·a_1_2 − b_2_2⁶·b_2_3·a_1_1
       + b_2_5·b_2_6·a_1_2·a_3_12·a_7_44 − b_2_5²·a_1_2·a_3_11·a_7_44
       − b_2_5²·a_1_2·a_3_11·a_7_42 + b_2_5⁵·a_1_1·a_1_2·a_3_12
       − b_2_5⁵·a_1_0·a_1_2·a_3_12 − b_2_5⁵·a_1_0·a_1_2·a_3_11
       − b_2_2·b_2_5·a_1_2·a_3_11·a_7_42 + b_2_2·b_2_5⁴·a_1_0·a_1_2·a_3_12
       + b_2_2²·a_1_2·a_3_12·a_7_44 − b_2_2²·a_1_2·a_3_11·a_7_44
       + b_2_2²·a_1_2·a_3_11·a_7_42 − b_2_2²·b_2_5³·a_1_1·a_1_2·a_3_12
       − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_12 − b_2_2³·b_2_5²·a_1_0·a_1_2·a_3_11
       + b_2_2⁴·b_2_5·a_1_1·a_1_2·a_3_12 − b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_12
       + b_2_2⁴·b_2_5·a_1_0·a_1_2·a_3_11 − b_2_2⁵·a_1_0·a_1_2·a_3_12
       − b_2_2⁵·a_1_0·a_1_2·a_3_11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Data used for Benson′s test

• The computation is incomplete, Benson′s criterion does not apply up to degree 15.
• The following will eventually be part of a filter regular homogeneous system of parameters:
  1. b_2_6⁶ + b_2_5²·b_2_6⁴ + b_2_5⁴·b_2_6² + b_2_5⁶ + b_2_2²·b_2_5²·b_2_6²
        − b_2_2²·b_2_5³·b_2_6 + b_2_2²·b_2_5⁴ − b_2_2⁴·b_2_6² + b_2_2⁴·b_2_5·b_2_6
        + b_2_2⁴·b_2_5² + b_2_2⁶, an element of degree 12
• We need to lift more Dickson invariants.
• We need to find more Duflot regular generators.

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Restriction maps

Restriction map to the greatest central el. ab. subgp., which is of rank 1

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. b_2_2 → 0, an element of degree 2
5. b_2_3 → 0, an element of degree 2
6. b_2_4 → 0, an element of degree 2
7. b_2_5 → 0, an element of degree 2
8. b_2_6 → 0, an element of degree 2
9. a_3_11 → 0, an element of degree 3
10. a_3_12 → 0, an element of degree 3
11. a_7_42 → 0, an element of degree 7
12. a_7_44 → 0, an element of degree 7
13. b_8_52 → 0, an element of degree 8
14. b_8_53 → 0, an element of degree 8
15. b_8_55 → 0, an element of degree 8
16. a_13_120 → 0, an element of degree 13
17. a_13_121 → 0, an element of degree 13
18. b_14_135 → 0, an element of degree 14
19. b_14_137 → 0, an element of degree 14
20. b_14_138 → 0, an element of degree 14

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 → a_1_1, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → a_1_2, an element of degree 1
4. b_2_2 → c_2_4, an element of degree 2
5. b_2_3 → 0, an element of degree 2
6. b_2_4 → 0, an element of degree 2
7. b_2_5 → c_2_5, an element of degree 2
8. b_2_6 →  − a_1_0·a_1_1, an element of degree 2
9. a_3_11 → c_2_4·a_1_0 − c_2_3·a_1_1, an element of degree 3
10. a_3_12 → c_2_4·a_1_0 − c_2_3·a_1_1, an element of degree 3
11. a_7_42 →  − c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_4²·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_0
       − c_2_4²·c_2_5·a_1_0 + c_2_4³·a_1_0 + c_2_3·c_2_5²·a_1_1 + c_2_3·c_2_4·c_2_5·a_1_1
       − c_2_3³·a_1_1, an element of degree 7
12. a_7_44 → c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_4·c_2_5·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_0
       − c_2_4³·a_1_0 + c_2_3·c_2_5²·a_1_1 + c_2_3³·a_1_1, an element of degree 7
13. b_8_52 →  − c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_0·a_1_1 − c_2_4²·c_2_5·a_1_0·a_1_2
       + c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_4³·a_1_0·a_1_2 − c_2_4³·a_1_0·a_1_1
       + c_2_3·c_2_4·c_2_5·a_1_1·a_1_2 + c_2_3·c_2_4²·a_1_1·a_1_2 + c_2_3·c_2_4³
       − c_2_3³·c_2_4, an element of degree 8
14. b_8_53 → c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_4·c_2_5²·a_1_0·a_1_1
       − c_2_4²·c_2_5·a_1_0·a_1_2 + c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_4³·a_1_0·a_1_2
       + c_2_4³·a_1_0·a_1_1 + c_2_3·c_2_5²·a_1_1·a_1_2 + c_2_3·c_2_4·c_2_5·a_1_1·a_1_2
       + c_2_3·c_2_4²·a_1_1·a_1_2 + c_2_3³·a_1_1·a_1_2 − c_2_3·c_2_4³ + c_2_3³·c_2_4, an element of degree 8
15. b_8_55 →  − c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_4·c_2_5²·a_1_0·a_1_1
       + c_2_3·c_2_5²·a_1_1·a_1_2 + c_2_3·c_2_4²·a_1_1·a_1_2 − c_2_3³·a_1_1·a_1_2, an element of degree 8
16. a_13_120 → c_2_5⁵·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5⁴·a_1_0·a_1_1·a_1_2
       + c_2_4³·c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_4⁵·a_1_0·a_1_1·a_1_2
       + c_2_3·c_2_4²·c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_3·c_2_4³·c_2_5·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_4·c_2_5·a_1_0·a_1_1·a_1_2
       − c_2_4²·c_2_5⁴·a_1_0 − c_2_4⁵·c_2_5·a_1_0 + c_2_3·c_2_4·c_2_5⁴·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_0 + c_2_3·c_2_4⁴·c_2_5·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_1
       − c_2_3·c_2_4⁴·c_2_5·a_1_0 − c_2_3²·c_2_4²·c_2_5²·a_1_1
       + c_2_3²·c_2_4³·c_2_5·a_1_1 − c_2_3²·c_2_4⁴·a_1_1 − c_2_3³·c_2_4·c_2_5²·a_1_0
       − c_2_3³·c_2_4²·c_2_5·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_1
       + c_2_3³·c_2_4²·c_2_5·a_1_0 + c_2_3⁴·c_2_5²·a_1_1 − c_2_3⁴·c_2_4·c_2_5·a_1_1
       − c_2_3⁴·c_2_4²·a_1_1 − c_2_3⁶·a_1_1, an element of degree 13
17. a_13_121 →  − c_2_5⁵·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5⁴·a_1_0·a_1_1·a_1_2
       + c_2_4²·c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_3·c_2_4²·c_2_5²·a_1_0·a_1_1·a_1_2
       + c_2_3·c_2_4⁴·a_1_0·a_1_1·a_1_2 − c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_4²·a_1_0·a_1_1·a_1_2 + c_2_4·c_2_5⁵·a_1_0 − c_2_4³·c_2_5³·a_1_0
       + c_2_4⁴·c_2_5²·a_1_0 + c_2_4⁶·a_1_0 − c_2_3·c_2_5⁵·a_1_1
       + c_2_3·c_2_4²·c_2_5³·a_1_1 + c_2_3·c_2_4³·c_2_5²·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_0 − c_2_3·c_2_4⁴·c_2_5·a_1_2 + c_2_3·c_2_4⁴·c_2_5·a_1_1
       − c_2_3·c_2_4⁴·c_2_5·a_1_0 + c_2_3·c_2_4⁵·a_1_2 − c_2_3·c_2_4⁵·a_1_1
       + c_2_3·c_2_4⁵·a_1_0 − c_2_3²·c_2_4²·c_2_5²·a_1_1 + c_2_3²·c_2_4³·c_2_5·a_1_1
       + c_2_3²·c_2_4⁴·a_1_1 + c_2_3³·c_2_4·c_2_5²·a_1_1 − c_2_3³·c_2_4·c_2_5²·a_1_0
       + c_2_3³·c_2_4²·c_2_5·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_1
       + c_2_3³·c_2_4²·c_2_5·a_1_0 − c_2_3³·c_2_4³·a_1_2 − c_2_3³·c_2_4³·a_1_0
       + c_2_3⁴·c_2_5²·a_1_1 − c_2_3⁴·c_2_4·c_2_5·a_1_1 − c_2_3⁶·a_1_1, an element of degree 13
18. b_14_135 →  − c_2_4·c_2_5⁵·a_1_0·a_1_1 + c_2_4²·c_2_5⁴·a_1_0·a_1_2
       + c_2_4²·c_2_5⁴·a_1_0·a_1_1 + c_2_4³·c_2_5³·a_1_0·a_1_2
       + c_2_4⁴·c_2_5²·a_1_0·a_1_2 − c_2_4⁴·c_2_5²·a_1_0·a_1_1
       + c_2_4⁵·c_2_5·a_1_0·a_1_2 + c_2_4⁵·c_2_5·a_1_0·a_1_1
       − c_2_3·c_2_4·c_2_5⁴·a_1_1·a_1_2 − c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2 − c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2
       + c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_2
       + c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_1 + c_2_3·c_2_4⁵·a_1_1·a_1_2
       − c_2_3·c_2_4⁵·a_1_0·a_1_2 + c_2_3·c_2_4⁵·a_1_0·a_1_1
       + c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 + c_2_3²·c_2_4³·c_2_5·a_1_1·a_1_2
       − c_2_3³·c_2_5³·a_1_1·a_1_2 + c_2_3³·c_2_5³·a_1_0·a_1_1
       + c_2_3³·c_2_4·c_2_5²·a_1_1·a_1_2 + c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2
       − c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_3³·c_2_4³·a_1_1·a_1_2
       + c_2_3³·c_2_4³·a_1_0·a_1_2 − c_2_3³·c_2_4³·a_1_0·a_1_1
       − c_2_3⁴·c_2_5²·a_1_1·a_1_2 − c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2
       + c_2_3⁴·c_2_4²·a_1_1·a_1_2 − c_2_3⁶·a_1_1·a_1_2 + c_2_3·c_2_4³·c_2_5³
       + c_2_3·c_2_4⁵·c_2_5 + c_2_3²·c_2_4⁵ − c_2_3³·c_2_4·c_2_5³
       − c_2_3³·c_2_4³·c_2_5 + c_2_3⁴·c_2_4³ + c_2_3⁶·c_2_4, an element of degree 14
19. b_14_137 → c_2_4·c_2_5⁵·a_1_0·a_1_1 + c_2_4²·c_2_5⁴·a_1_0·a_1_2
       + c_2_4⁴·c_2_5²·a_1_0·a_1_2 + c_2_4⁴·c_2_5²·a_1_0·a_1_1
       + c_2_4⁵·c_2_5·a_1_0·a_1_2 + c_2_4⁵·c_2_5·a_1_0·a_1_1 + c_2_4⁶·a_1_0·a_1_2
       − c_2_4⁶·a_1_0·a_1_1 − c_2_3·c_2_4·c_2_5⁴·a_1_1·a_1_2
       + c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2 − c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2
       − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_2 + c_2_3·c_2_4⁵·a_1_1·a_1_2
       + c_2_3·c_2_4⁵·a_1_0·a_1_2 − c_2_3·c_2_4⁵·a_1_0·a_1_1
       − c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 + c_2_3²·c_2_4³·c_2_5·a_1_1·a_1_2
       − c_2_3²·c_2_4⁴·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_1·a_1_2
       + c_2_3³·c_2_5³·a_1_0·a_1_1 − c_2_3³·c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2
       + c_2_3³·c_2_4³·a_1_1·a_1_2 − c_2_3³·c_2_4³·a_1_0·a_1_2
       + c_2_3³·c_2_4³·a_1_0·a_1_1 + c_2_3⁴·c_2_5²·a_1_1·a_1_2
       − c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2 + c_2_3⁴·c_2_4²·a_1_1·a_1_2
       − c_2_3·c_2_4³·c_2_5³ + c_2_3·c_2_4⁴·c_2_5² + c_2_3²·c_2_4⁵
       + c_2_3³·c_2_4·c_2_5³ − c_2_3³·c_2_4²·c_2_5² + c_2_3⁴·c_2_4³ + c_2_3⁶·c_2_4, an element of degree 14
20. b_14_138 → c_2_4·c_2_5⁵·a_1_0·a_1_2 − c_2_4·c_2_5⁵·a_1_0·a_1_1 + c_2_4²·c_2_5⁴·a_1_0·a_1_2
       + c_2_4³·c_2_5³·a_1_0·a_1_2 − c_2_4⁵·c_2_5·a_1_0·a_1_2 + c_2_4⁶·a_1_0·a_1_2
       − c_2_4⁶·a_1_0·a_1_1 − c_2_3·c_2_5⁵·a_1_1·a_1_2 − c_2_3·c_2_4·c_2_5⁴·a_1_1·a_1_2
       + c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2 + c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2 + c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2
       − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_1 − c_2_3·c_2_4⁵·a_1_0·a_1_2
       − c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 − c_2_3²·c_2_4⁴·a_1_1·a_1_2
       + c_2_3³·c_2_5³·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_0·a_1_1
       − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1
       − c_2_3³·c_2_4³·a_1_1·a_1_2 + c_2_3³·c_2_4³·a_1_0·a_1_2
       + c_2_3⁴·c_2_5²·a_1_1·a_1_2 + c_2_3⁶·a_1_1·a_1_2 − c_2_3·c_2_4³·c_2_5³
       − c_2_3·c_2_4⁴·c_2_5² − c_2_3²·c_2_4⁵ + c_2_3³·c_2_4·c_2_5³
       + c_2_3³·c_2_4²·c_2_5² − c_2_3⁴·c_2_4³ − c_2_3⁶·c_2_4, an element of degree 14

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → a_1_1, an element of degree 1
4. b_2_2 → 0, an element of degree 2
5. b_2_3 → 0, an element of degree 2
6. b_2_4 → 0, an element of degree 2
7. b_2_5 → c_2_4, an element of degree 2
8. b_2_6 →  − a_1_1·a_1_2 − c_2_5, an element of degree 2
9. a_3_11 → c_2_5·a_1_1 − c_2_4·a_1_2, an element of degree 3
10. a_3_12 → c_2_5·a_1_2 + c_2_5·a_1_1 − c_2_4·a_1_2, an element of degree 3
11. a_7_42 →  − c_2_5³·a_1_1 − c_2_4²·c_2_5·a_1_2 + c_2_4²·c_2_5·a_1_1, an element of degree 7
12. a_7_44 → c_2_5³·a_1_2 + c_2_5³·a_1_1 − c_2_4·c_2_5²·a_1_2 − c_2_4·c_2_5²·a_1_1
       − c_2_4²·c_2_5·a_1_2 − c_2_4³·a_1_2, an element of degree 7
13. b_8_52 →  − c_2_5³·a_1_1·a_1_2 − c_2_4³·a_1_1·a_1_2 + c_2_4³·c_2_5, an element of degree 8
14. b_8_53 → c_2_5³·a_1_1·a_1_2 + c_2_4²·c_2_5·a_1_1·a_1_2 − c_2_4³·a_1_1·a_1_2 − c_2_4³·c_2_5, an element of degree 8
15. b_8_55 → c_2_5³·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_1·a_1_2 − c_2_4³·a_1_1·a_1_2 + c_2_5⁴
       − c_2_4·c_2_5³ + c_2_4²·c_2_5² − c_2_4³·c_2_5, an element of degree 8
16. a_13_120 → c_2_4⁵·a_1_0·a_1_1·a_1_2 + c_2_5⁶·a_1_2 − c_2_4²·c_2_5⁴·a_1_1
       + c_2_4³·c_2_5³·a_1_2 + c_2_4³·c_2_5³·a_1_0 − c_2_4⁵·c_2_5·a_1_2
       + c_2_4⁵·c_2_5·a_1_1 − c_2_4⁵·c_2_5·a_1_0 − c_2_3·c_2_4²·c_2_5³·a_1_1
       + c_2_3·c_2_4⁵·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_1 − c_2_3³·c_2_4³·a_1_2, an element of degree 13
17. a_13_121 →  − c_2_4²·c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_4⁵·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5⁵·a_1_1
       + c_2_4²·c_2_5⁴·a_1_2 − c_2_4²·c_2_5⁴·a_1_1 − c_2_4²·c_2_5⁴·a_1_0
       + c_2_4³·c_2_5³·a_1_2 + c_2_4³·c_2_5³·a_1_1 + c_2_4³·c_2_5³·a_1_0
       + c_2_4⁴·c_2_5²·a_1_2 − c_2_4⁴·c_2_5²·a_1_1 + c_2_4⁴·c_2_5²·a_1_0
       + c_2_4⁵·c_2_5·a_1_2 − c_2_4⁵·c_2_5·a_1_0 − c_2_4⁶·a_1_2 + c_2_3·c_2_4·c_2_5⁴·a_1_1
       − c_2_3·c_2_4²·c_2_5³·a_1_1 − c_2_3·c_2_4⁴·c_2_5·a_1_2 + c_2_3·c_2_4⁵·a_1_2
       − c_2_3³·c_2_4·c_2_5²·a_1_1 + c_2_3³·c_2_4²·c_2_5·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_1 − c_2_3³·c_2_4³·a_1_2, an element of degree 13
18. b_14_135 → c_2_5⁶·a_1_1·a_1_2 + c_2_4³·c_2_5³·a_1_0·a_1_1 + c_2_4⁴·c_2_5²·a_1_1·a_1_2
       + c_2_4⁵·c_2_5·a_1_0·a_1_1 + c_2_4⁶·a_1_1·a_1_2 + c_2_4⁶·a_1_0·a_1_2
       + c_2_3·c_2_4⁵·a_1_1·a_1_2 + c_2_3³·c_2_4³·a_1_1·a_1_2 + c_2_4²·c_2_5⁵
       + c_2_4³·c_2_5⁴ − c_2_4⁶·c_2_5, an element of degree 14
19. b_14_137 →  − c_2_4²·c_2_5⁴·a_1_1·a_1_2 − c_2_4²·c_2_5⁴·a_1_0·a_1_2
       + c_2_4³·c_2_5³·a_1_1·a_1_2 − c_2_4³·c_2_5³·a_1_0·a_1_1
       − c_2_4⁴·c_2_5²·a_1_1·a_1_2 − c_2_4⁴·c_2_5²·a_1_0·a_1_2
       + c_2_4⁵·c_2_5·a_1_1·a_1_2 − c_2_4⁵·c_2_5·a_1_0·a_1_1 + c_2_4⁶·a_1_1·a_1_2
       + c_2_4⁶·a_1_0·a_1_2 + c_2_3·c_2_4·c_2_5⁴·a_1_1·a_1_2
       − c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2 − c_2_3·c_2_4⁵·a_1_1·a_1_2
       − c_2_3³·c_2_4·c_2_5²·a_1_1·a_1_2 − c_2_4⁴·c_2_5³ − c_2_4⁵·c_2_5²
       + c_2_4⁶·c_2_5, an element of degree 14
20. b_14_138 →  − c_2_4·c_2_5⁵·a_1_1·a_1_2 − c_2_4²·c_2_5⁴·a_1_1·a_1_2
       + c_2_4²·c_2_5⁴·a_1_0·a_1_1 − c_2_4³·c_2_5³·a_1_1·a_1_2
       − c_2_4³·c_2_5³·a_1_0·a_1_2 − c_2_4³·c_2_5³·a_1_0·a_1_1
       + c_2_4⁴·c_2_5²·a_1_1·a_1_2 − c_2_4⁵·c_2_5·a_1_1·a_1_2 − c_2_4⁵·c_2_5·a_1_0·a_1_1
       − c_2_4⁶·a_1_0·a_1_2 + c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2 − c_2_3·c_2_4⁵·a_1_1·a_1_2
       − c_2_3³·c_2_4³·a_1_1·a_1_2 − c_2_5⁷ + c_2_4²·c_2_5⁵ − c_2_4⁴·c_2_5³
       − c_2_4⁵·c_2_5² + c_2_4⁶·c_2_5, an element of degree 14

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 → a_1_1, an element of degree 1
2. a_1_1 → a_1_1, an element of degree 1
3. a_1_2 →  − a_1_2, an element of degree 1
4. b_2_2 → c_2_4, an element of degree 2
5. b_2_3 → a_1_1·a_1_2 + c_2_4, an element of degree 2
6. b_2_4 →  − c_2_4, an element of degree 2
7. b_2_5 →  − c_2_5, an element of degree 2
8. b_2_6 →  − a_1_1·a_1_2 − a_1_0·a_1_1 − c_2_5, an element of degree 2
9. a_3_11 → c_2_4·a_1_2 + c_2_4·a_1_0 − c_2_3·a_1_1, an element of degree 3
10. a_3_12 →  − a_1_0·a_1_1·a_1_2 + c_2_5·a_1_2 − c_2_4·a_1_2 + c_2_4·a_1_1 − c_2_4·a_1_0 + c_2_3·a_1_1, an element of degree 3
11. a_7_42 →  − c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_5³·a_1_2 + c_2_5³·a_1_1 + c_2_4·c_2_5²·a_1_2
       − c_2_4·c_2_5²·a_1_1 + c_2_4·c_2_5²·a_1_0 − c_2_4²·c_2_5·a_1_1 + c_2_4²·c_2_5·a_1_0
       − c_2_4³·a_1_1 − c_2_4³·a_1_0 − c_2_3·c_2_5²·a_1_1 − c_2_3·c_2_4·c_2_5·a_1_1
       − c_2_3·c_2_4²·a_1_1 − c_2_3³·a_1_1, an element of degree 7
12. a_7_44 → c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_4²·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_2
       + c_2_4·c_2_5²·a_1_1 − c_2_4·c_2_5²·a_1_0 − c_2_4²·c_2_5·a_1_2 + c_2_4²·c_2_5·a_1_0
       + c_2_4³·a_1_2 + c_2_4³·a_1_1 − c_2_4³·a_1_0 + c_2_3·c_2_5²·a_1_1
       − c_2_3·c_2_4·c_2_5·a_1_1 + c_2_3·c_2_4²·a_1_1, an element of degree 7
13. b_8_52 → c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_4·c_2_5²·a_1_0·a_1_1
       + c_2_4²·c_2_5·a_1_0·a_1_2 + c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_4³·a_1_1·a_1_2
       − c_2_4³·a_1_0·a_1_2 − c_2_4³·a_1_0·a_1_1 + c_2_3·c_2_5²·a_1_1·a_1_2
       − c_2_3·c_2_4·c_2_5·a_1_1·a_1_2 + c_2_3·c_2_4²·a_1_1·a_1_2 − c_2_5⁴ − c_2_4·c_2_5³
       − c_2_4²·c_2_5² − c_2_4³·c_2_5 + c_2_4⁴ + c_2_3·c_2_4³ − c_2_3³·c_2_4, an element of degree 8
14. b_8_53 → c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_1·a_1_2 + c_2_4²·c_2_5·a_1_1·a_1_2
       + c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_4³·a_1_0·a_1_2 − c_2_4³·a_1_0·a_1_1
       + c_2_3·c_2_4²·a_1_1·a_1_2 + c_2_3³·a_1_1·a_1_2 + c_2_5⁴ − c_2_4²·c_2_5²
       − c_2_4³·c_2_5 − c_2_4⁴, an element of degree 8
15. b_8_55 → c_2_5³·a_1_0·a_1_1 + c_2_4·c_2_5²·a_1_1·a_1_2 + c_2_4·c_2_5²·a_1_0·a_1_2
       + c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_4³·a_1_1·a_1_2 − c_2_4³·a_1_0·a_1_2
       + c_2_4³·a_1_0·a_1_1 − c_2_3·c_2_5²·a_1_1·a_1_2 − c_2_3·c_2_4²·a_1_1·a_1_2
       − c_2_3³·a_1_1·a_1_2 + c_2_5⁴ + c_2_4·c_2_5³, an element of degree 8
16. a_13_120 → c_2_5⁵·a_1_0·a_1_1·a_1_2 + c_2_4³·c_2_5²·a_1_0·a_1_1·a_1_2
       − c_2_4⁴·c_2_5·a_1_0·a_1_1·a_1_2 − c_2_4⁵·a_1_0·a_1_1·a_1_2
       − c_2_3·c_2_4²·c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_3·c_2_4³·c_2_5·a_1_0·a_1_1·a_1_2
       − c_2_3·c_2_4⁴·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_4·c_2_5·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_4²·a_1_0·a_1_1·a_1_2
       + c_2_4·c_2_5⁵·a_1_0 − c_2_4²·c_2_5⁴·a_1_2 − c_2_4²·c_2_5⁴·a_1_1
       − c_2_4²·c_2_5⁴·a_1_0 + c_2_4³·c_2_5³·a_1_2 + c_2_4³·c_2_5³·a_1_0
       + c_2_4⁴·c_2_5²·a_1_2 − c_2_4⁵·c_2_5·a_1_2 − c_2_4⁵·c_2_5·a_1_0 + c_2_4⁶·a_1_2
       + c_2_4⁶·a_1_1 + c_2_4⁶·a_1_0 − c_2_3·c_2_5⁵·a_1_1 + c_2_3·c_2_4·c_2_5⁴·a_1_1
       − c_2_3·c_2_4²·c_2_5³·a_1_1 + c_2_3·c_2_4³·c_2_5²·a_1_0
       − c_2_3·c_2_4⁴·c_2_5·a_1_1 + c_2_3·c_2_4⁵·a_1_2 − c_2_3·c_2_4⁵·a_1_1
       + c_2_3·c_2_4⁵·a_1_0 − c_2_3²·c_2_4²·c_2_5²·a_1_1 + c_2_3²·c_2_4⁴·a_1_1
       − c_2_3³·c_2_4·c_2_5²·a_1_0 − c_2_3³·c_2_4²·c_2_5·a_1_1 − c_2_3³·c_2_4³·a_1_2
       − c_2_3³·c_2_4³·a_1_0 + c_2_3⁴·c_2_5²·a_1_1 − c_2_3⁶·a_1_1, an element of degree 13
17. a_13_121 → c_2_5⁵·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5⁴·a_1_0·a_1_1·a_1_2
       + c_2_4²·c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_4³·c_2_5²·a_1_0·a_1_1·a_1_2
       + c_2_4⁴·c_2_5·a_1_0·a_1_1·a_1_2 − c_2_4⁵·a_1_0·a_1_1·a_1_2
       + c_2_3·c_2_4²·c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_3·c_2_4⁴·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_4²·a_1_0·a_1_1·a_1_2
       + c_2_5⁶·a_1_2 − c_2_4·c_2_5⁵·a_1_2 + c_2_4·c_2_5⁵·a_1_1 − c_2_4²·c_2_5⁴·a_1_1
       + c_2_4²·c_2_5⁴·a_1_0 − c_2_4³·c_2_5³·a_1_2 + c_2_4³·c_2_5³·a_1_1
       − c_2_4³·c_2_5³·a_1_0 − c_2_4⁴·c_2_5²·a_1_2 + c_2_4⁵·c_2_5·a_1_1
       + c_2_4⁵·c_2_5·a_1_0 − c_2_4⁶·a_1_1 − c_2_4⁶·a_1_0 − c_2_3·c_2_4·c_2_5⁴·a_1_1
       − c_2_3·c_2_4³·c_2_5²·a_1_2 − c_2_3·c_2_4³·c_2_5²·a_1_1
       − c_2_3·c_2_4³·c_2_5²·a_1_0 + c_2_3·c_2_4⁴·c_2_5·a_1_2 − c_2_3·c_2_4⁵·a_1_1
       + c_2_3·c_2_4⁵·a_1_0 + c_2_3²·c_2_4²·c_2_5²·a_1_1 + c_2_3³·c_2_5³·a_1_1
       + c_2_3³·c_2_4·c_2_5²·a_1_2 + c_2_3³·c_2_4·c_2_5²·a_1_1
       + c_2_3³·c_2_4·c_2_5²·a_1_0 − c_2_3³·c_2_4²·c_2_5·a_1_2
       − c_2_3³·c_2_4²·c_2_5·a_1_1 − c_2_3³·c_2_4³·a_1_1 − c_2_3³·c_2_4³·a_1_0
       − c_2_3⁴·c_2_5²·a_1_1 − c_2_3⁴·c_2_4²·a_1_1 + c_2_3⁶·a_1_1, an element of degree 13
18. b_14_135 →  − c_2_5⁶·a_1_1·a_1_2 − c_2_4·c_2_5⁵·a_1_0·a_1_2 + c_2_4·c_2_5⁵·a_1_0·a_1_1
       + c_2_4²·c_2_5⁴·a_1_1·a_1_2 − c_2_4²·c_2_5⁴·a_1_0·a_1_1
       − c_2_4³·c_2_5³·a_1_1·a_1_2 + c_2_4³·c_2_5³·a_1_0·a_1_2
       + c_2_4³·c_2_5³·a_1_0·a_1_1 + c_2_4⁴·c_2_5²·a_1_1·a_1_2
       + c_2_4⁴·c_2_5²·a_1_0·a_1_2 − c_2_4⁴·c_2_5²·a_1_0·a_1_1
       + c_2_4⁵·c_2_5·a_1_1·a_1_2 − c_2_4⁶·a_1_1·a_1_2 − c_2_4⁶·a_1_0·a_1_1
       + c_2_3·c_2_5⁵·a_1_1·a_1_2 + c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       − c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2 + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2
       + c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_2
       + c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_1 − c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2
       + c_2_3²·c_2_4³·c_2_5·a_1_1·a_1_2 + c_2_3²·c_2_4⁴·a_1_1·a_1_2
       − c_2_3³·c_2_5³·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_0·a_1_1
       − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1
       + c_2_3⁴·c_2_5²·a_1_1·a_1_2 − c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2
       + c_2_3⁴·c_2_4²·a_1_1·a_1_2 + c_2_3⁶·a_1_1·a_1_2 − c_2_5⁷ + c_2_4³·c_2_5⁴
       + c_2_4⁵·c_2_5² + c_2_4⁶·c_2_5 + c_2_4⁷ − c_2_3·c_2_4⁴·c_2_5²
       − c_2_3·c_2_4⁵·c_2_5 − c_2_3·c_2_4⁶ + c_2_3²·c_2_4⁵ + c_2_3³·c_2_4²·c_2_5²
       + c_2_3³·c_2_4³·c_2_5 + c_2_3³·c_2_4⁴ + c_2_3⁴·c_2_4³ + c_2_3⁶·c_2_4, an element of degree 14
19. b_14_137 → c_2_5⁶·a_1_0·a_1_1 − c_2_4·c_2_5⁵·a_1_1·a_1_2 + c_2_4·c_2_5⁵·a_1_0·a_1_2
       − c_2_4·c_2_5⁵·a_1_0·a_1_1 + c_2_4³·c_2_5³·a_1_1·a_1_2
       − c_2_4³·c_2_5³·a_1_0·a_1_1 + c_2_4⁴·c_2_5²·a_1_0·a_1_1
       + c_2_4⁵·c_2_5·a_1_1·a_1_2 − c_2_4⁵·c_2_5·a_1_0·a_1_2 + c_2_4⁵·c_2_5·a_1_0·a_1_1
       + c_2_4⁶·a_1_1·a_1_2 − c_2_4⁶·a_1_0·a_1_2 + c_2_4⁶·a_1_0·a_1_1
       − c_2_3·c_2_5⁵·a_1_1·a_1_2 + c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2
       − c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1 − c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2
       + c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_1
       − c_2_3·c_2_4⁵·a_1_1·a_1_2 + c_2_3·c_2_4⁵·a_1_0·a_1_2
       + c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 − c_2_3²·c_2_4³·c_2_5·a_1_1·a_1_2
       + c_2_3²·c_2_4⁴·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_1·a_1_2
       + c_2_3³·c_2_5³·a_1_0·a_1_1 + c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_3³·c_2_4³·a_1_1·a_1_2
       − c_2_3³·c_2_4³·a_1_0·a_1_2 − c_2_3⁴·c_2_5²·a_1_1·a_1_2
       + c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2 − c_2_3⁶·a_1_1·a_1_2 + c_2_5⁷ − c_2_4³·c_2_5⁴
       + c_2_4⁵·c_2_5² − c_2_3·c_2_4³·c_2_5³ − c_2_3·c_2_4⁴·c_2_5²
       − c_2_3·c_2_4⁵·c_2_5 − c_2_3·c_2_4⁶ − c_2_3²·c_2_4⁵ + c_2_3³·c_2_4·c_2_5³
       + c_2_3³·c_2_4²·c_2_5² + c_2_3³·c_2_4³·c_2_5 + c_2_3³·c_2_4⁴
       − c_2_3⁴·c_2_4³ − c_2_3⁶·c_2_4, an element of degree 14
20. b_14_138 →  − c_2_5⁶·a_1_1·a_1_2 + c_2_4·c_2_5⁵·a_1_1·a_1_2 − c_2_4·c_2_5⁵·a_1_0·a_1_2
       + c_2_4·c_2_5⁵·a_1_0·a_1_1 + c_2_4²·c_2_5⁴·a_1_1·a_1_2
       − c_2_4²·c_2_5⁴·a_1_0·a_1_1 + c_2_4³·c_2_5³·a_1_1·a_1_2
       − c_2_4³·c_2_5³·a_1_0·a_1_2 + c_2_4⁴·c_2_5²·a_1_1·a_1_2
       + c_2_4⁴·c_2_5²·a_1_0·a_1_2 + c_2_4⁵·c_2_5·a_1_1·a_1_2 + c_2_4⁵·c_2_5·a_1_0·a_1_2
       − c_2_4⁵·c_2_5·a_1_0·a_1_1 + c_2_4⁶·a_1_1·a_1_2 − c_2_4⁶·a_1_0·a_1_1
       + c_2_3·c_2_5⁵·a_1_1·a_1_2 − c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2
       + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2 + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_1
       − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_0·a_1_1
       − c_2_3·c_2_4⁵·a_1_1·a_1_2 − c_2_3·c_2_4⁵·a_1_0·a_1_2 + c_2_3·c_2_4⁵·a_1_0·a_1_1
       − c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 + c_2_3²·c_2_4³·c_2_5·a_1_1·a_1_2
       − c_2_3³·c_2_5³·a_1_1·a_1_2 − c_2_3³·c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2 − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_1
       − c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_3³·c_2_4³·a_1_1·a_1_2
       + c_2_3³·c_2_4³·a_1_0·a_1_2 − c_2_3³·c_2_4³·a_1_0·a_1_1
       + c_2_3⁴·c_2_5²·a_1_1·a_1_2 − c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2
       + c_2_3⁴·c_2_4²·a_1_1·a_1_2 − c_2_3⁶·a_1_1·a_1_2 + c_2_5⁷ + c_2_4·c_2_5⁶
       + c_2_4²·c_2_5⁵ − c_2_4³·c_2_5⁴ + c_2_4⁴·c_2_5³ + c_2_4⁷
       + c_2_3·c_2_4³·c_2_5³ + c_2_3·c_2_4⁴·c_2_5² − c_2_3·c_2_4⁵·c_2_5
       − c_2_3³·c_2_4·c_2_5³ − c_2_3³·c_2_4²·c_2_5² + c_2_3³·c_2_4³·c_2_5, an element of degree 14

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 →  − a_1_2, an element of degree 1
2. a_1_1 → a_1_2, an element of degree 1
3. a_1_2 → a_1_1, an element of degree 1
4. b_2_2 →  − c_2_5, an element of degree 2
5. b_2_3 → a_1_1·a_1_2 + c_2_5, an element of degree 2
6. b_2_4 →  − a_1_1·a_1_2, an element of degree 2
7. b_2_5 → c_2_4, an element of degree 2
8. b_2_6 → a_1_0·a_1_2 + c_2_5 − c_2_4, an element of degree 2
9. a_3_11 → c_2_5·a_1_1 − c_2_5·a_1_0 + c_2_3·a_1_2, an element of degree 3
10. a_3_12 →  − a_1_0·a_1_1·a_1_2 + c_2_5·a_1_2 + c_2_5·a_1_1 − c_2_4·a_1_2 + c_2_4·a_1_1, an element of degree 3
11. a_7_42 → c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_4·c_2_5·a_1_0·a_1_1·a_1_2 + c_2_5³·a_1_2
       − c_2_5³·a_1_1 + c_2_5³·a_1_0 + c_2_4·c_2_5²·a_1_2 − c_2_4·c_2_5²·a_1_1
       − c_2_4·c_2_5²·a_1_0 − c_2_4²·c_2_5·a_1_1 − c_2_4³·a_1_1 + c_2_3·c_2_5²·a_1_2
       + c_2_3·c_2_4·c_2_5·a_1_2 + c_2_3³·a_1_2, an element of degree 7
12. a_7_44 → c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5·a_1_0·a_1_1·a_1_2 + c_2_5³·a_1_2
       + c_2_5³·a_1_1 + c_2_4·c_2_5²·a_1_2 − c_2_4·c_2_5²·a_1_1 + c_2_4·c_2_5²·a_1_0
       + c_2_4²·c_2_5·a_1_1 − c_2_4²·c_2_5·a_1_0 + c_2_4³·a_1_2 + c_2_4³·a_1_1
       − c_2_3·c_2_5²·a_1_2 − c_2_3·c_2_4·c_2_5·a_1_2 + c_2_3·c_2_4²·a_1_2 + c_2_3³·a_1_2, an element of degree 7
13. b_8_52 → c_2_5³·a_1_1·a_1_2 + c_2_5³·a_1_0·a_1_2 − c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_4·c_2_5²·a_1_0·a_1_2 − c_2_4·c_2_5²·a_1_0·a_1_1 + c_2_4²·c_2_5·a_1_1·a_1_2
       + c_2_4²·c_2_5·a_1_0·a_1_2 + c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_4³·a_1_1·a_1_2
       + c_2_4³·a_1_0·a_1_2 − c_2_3·c_2_4·c_2_5·a_1_1·a_1_2 + c_2_3·c_2_4²·a_1_1·a_1_2
       + c_2_4²·c_2_5² + c_2_4⁴ − c_2_3·c_2_5³ + c_2_3³·c_2_5, an element of degree 8
14. b_8_53 →  − c_2_5³·a_1_0·a_1_2 + c_2_5³·a_1_0·a_1_1 + c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_4·c_2_5²·a_1_0·a_1_2 − c_2_4·c_2_5²·a_1_0·a_1_1 + c_2_4²·c_2_5·a_1_1·a_1_2
       − c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_4³·a_1_1·a_1_2 + c_2_3·c_2_5²·a_1_1·a_1_2
       − c_2_3·c_2_4·c_2_5·a_1_1·a_1_2 − c_2_3·c_2_4²·a_1_1·a_1_2 + c_2_4²·c_2_5²
       + c_2_4³·c_2_5 − c_2_4⁴ − c_2_3·c_2_5³ + c_2_3³·c_2_5, an element of degree 8
15. b_8_55 →  − c_2_5³·a_1_0·a_1_2 + c_2_4·c_2_5²·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_0·a_1_2
       − c_2_4·c_2_5²·a_1_0·a_1_1 − c_2_4²·c_2_5·a_1_1·a_1_2 − c_2_4²·c_2_5·a_1_0·a_1_2
       + c_2_4²·c_2_5·a_1_0·a_1_1 − c_2_4³·a_1_1·a_1_2 − c_2_4³·a_1_0·a_1_2
       − c_2_3·c_2_5²·a_1_1·a_1_2 − c_2_3·c_2_4·c_2_5·a_1_1·a_1_2
       + c_2_3·c_2_4²·a_1_1·a_1_2 + c_2_3³·a_1_1·a_1_2 + c_2_5⁴ − c_2_4·c_2_5³
       + c_2_4²·c_2_5² + c_2_3·c_2_5³ − c_2_3³·c_2_5, an element of degree 8
16. a_13_120 → c_2_5⁵·a_1_0·a_1_1·a_1_2 − c_2_4·c_2_5⁴·a_1_0·a_1_1·a_1_2
       + c_2_4³·c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_4⁴·c_2_5·a_1_0·a_1_1·a_1_2
       − c_2_4⁵·a_1_0·a_1_1·a_1_2 + c_2_3·c_2_5⁴·a_1_0·a_1_1·a_1_2
       − c_2_3·c_2_4·c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_3·c_2_4²·c_2_5²·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_4·c_2_5·a_1_0·a_1_1·a_1_2
       − c_2_3³·c_2_4²·a_1_0·a_1_1·a_1_2 − c_2_5⁶·a_1_0 + c_2_4·c_2_5⁵·a_1_2
       − c_2_4·c_2_5⁵·a_1_0 + c_2_4²·c_2_5⁴·a_1_2 + c_2_4²·c_2_5⁴·a_1_1
       − c_2_4²·c_2_5⁴·a_1_0 − c_2_4³·c_2_5³·a_1_1 − c_2_4³·c_2_5³·a_1_0
       + c_2_4⁴·c_2_5²·a_1_1 − c_2_4⁴·c_2_5²·a_1_0 + c_2_4⁵·c_2_5·a_1_2
       − c_2_4⁵·c_2_5·a_1_1 − c_2_4⁵·c_2_5·a_1_0 + c_2_4⁶·a_1_1 − c_2_3·c_2_5⁵·a_1_2
       + c_2_3·c_2_5⁵·a_1_1 − c_2_3·c_2_5⁵·a_1_0 + c_2_3·c_2_4·c_2_5⁴·a_1_1
       + c_2_3·c_2_4·c_2_5⁴·a_1_0 − c_2_3·c_2_4²·c_2_5³·a_1_1
       − c_2_3·c_2_4²·c_2_5³·a_1_0 + c_2_3·c_2_4⁴·c_2_5·a_1_2 + c_2_3·c_2_4⁵·a_1_2
       − c_2_3²·c_2_5⁴·a_1_2 − c_2_3²·c_2_4·c_2_5³·a_1_2 + c_2_3²·c_2_4²·c_2_5²·a_1_2
       − c_2_3³·c_2_5³·a_1_2 − c_2_3³·c_2_5³·a_1_1 + c_2_3³·c_2_5³·a_1_0
       + c_2_3³·c_2_4·c_2_5²·a_1_2 − c_2_3³·c_2_4·c_2_5²·a_1_1
       − c_2_3³·c_2_4·c_2_5²·a_1_0 + c_2_3³·c_2_4²·c_2_5·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_1 + c_2_3³·c_2_4²·c_2_5·a_1_0 + c_2_3³·c_2_4³·a_1_2
       + c_2_3⁴·c_2_4·c_2_5·a_1_2 − c_2_3⁴·c_2_4²·a_1_2 + c_2_3⁶·a_1_2, an element of degree 13
17. a_13_121 →  − c_2_5⁵·a_1_0·a_1_1·a_1_2 + c_2_4·c_2_5⁴·a_1_0·a_1_1·a_1_2
       + c_2_4²·c_2_5³·a_1_0·a_1_1·a_1_2 − c_2_4³·c_2_5²·a_1_0·a_1_1·a_1_2
       − c_2_4⁵·a_1_0·a_1_1·a_1_2 − c_2_3·c_2_5⁴·a_1_0·a_1_1·a_1_2
       − c_2_3·c_2_4·c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_3³·c_2_5²·a_1_0·a_1_1·a_1_2
       + c_2_3³·c_2_4·c_2_5·a_1_0·a_1_1·a_1_2 − c_2_5⁶·a_1_2 − c_2_5⁶·a_1_1
       + c_2_4·c_2_5⁵·a_1_2 + c_2_4·c_2_5⁵·a_1_1 + c_2_4·c_2_5⁵·a_1_0
       − c_2_4²·c_2_5⁴·a_1_2 + c_2_4²·c_2_5⁴·a_1_1 − c_2_4³·c_2_5³·a_1_0
       + c_2_4⁴·c_2_5²·a_1_0 + c_2_4⁵·c_2_5·a_1_2 + c_2_4⁵·c_2_5·a_1_1
       + c_2_4⁵·c_2_5·a_1_0 − c_2_4⁶·a_1_2 + c_2_4⁶·a_1_1 − c_2_3·c_2_5⁵·a_1_2
       − c_2_3·c_2_5⁵·a_1_1 + c_2_3·c_2_4·c_2_5⁴·a_1_2 + c_2_3·c_2_4·c_2_5⁴·a_1_1
       + c_2_3·c_2_4·c_2_5⁴·a_1_0 + c_2_3·c_2_4²·c_2_5³·a_1_1 − c_2_3·c_2_4⁴·c_2_5·a_1_2
       − c_2_3·c_2_4⁵·a_1_2 − c_2_3²·c_2_4·c_2_5³·a_1_2 + c_2_3³·c_2_5³·a_1_2
       + c_2_3³·c_2_5³·a_1_1 + c_2_3³·c_2_4·c_2_5²·a_1_2 − c_2_3³·c_2_4·c_2_5²·a_1_1
       − c_2_3³·c_2_4·c_2_5²·a_1_0 − c_2_3³·c_2_4²·c_2_5·a_1_1 + c_2_3³·c_2_4³·a_1_2
       + c_2_3⁴·c_2_4·c_2_5·a_1_2, an element of degree 13
18. b_14_135 →  − c_2_5⁶·a_1_0·a_1_2 − c_2_5⁶·a_1_0·a_1_1 + c_2_4·c_2_5⁵·a_1_1·a_1_2
       − c_2_4·c_2_5⁵·a_1_0·a_1_2 + c_2_4²·c_2_5⁴·a_1_1·a_1_2
       − c_2_4²·c_2_5⁴·a_1_0·a_1_2 + c_2_4²·c_2_5⁴·a_1_0·a_1_1
       − c_2_4³·c_2_5³·a_1_1·a_1_2 + c_2_4⁴·c_2_5²·a_1_1·a_1_2
       − c_2_4⁵·c_2_5·a_1_0·a_1_2 + c_2_4⁶·a_1_1·a_1_2 − c_2_4⁶·a_1_0·a_1_2
       − c_2_3·c_2_5⁵·a_1_1·a_1_2 + c_2_3·c_2_5⁵·a_1_0·a_1_2 − c_2_3·c_2_5⁵·a_1_0·a_1_1
       + c_2_3·c_2_4·c_2_5⁴·a_1_0·a_1_1 − c_2_3·c_2_4²·c_2_5³·a_1_1·a_1_2
       + c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_2 + c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       − c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2 + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2
       + c_2_3²·c_2_5⁴·a_1_1·a_1_2 + c_2_3²·c_2_4·c_2_5³·a_1_1·a_1_2
       + c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_0·a_1_2
       + c_2_3³·c_2_5³·a_1_0·a_1_1 − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_1
       − c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2 − c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2
       − c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1 + c_2_3³·c_2_4³·a_1_1·a_1_2
       − c_2_3³·c_2_4³·a_1_0·a_1_2 − c_2_3⁴·c_2_4·c_2_5·a_1_1·a_1_2
       − c_2_3⁴·c_2_4²·a_1_1·a_1_2 − c_2_3⁶·a_1_1·a_1_2 − c_2_5⁷ − c_2_4·c_2_5⁶
       − c_2_4²·c_2_5⁵ − c_2_4³·c_2_5⁴ + c_2_4⁴·c_2_5³ − c_2_4⁵·c_2_5²
       + c_2_4⁶·c_2_5 + c_2_4⁷ − c_2_3·c_2_5⁶ − c_2_3·c_2_4·c_2_5⁵
       − c_2_3·c_2_4²·c_2_5⁴ + c_2_3·c_2_4³·c_2_5³ − c_2_3²·c_2_5⁵ + c_2_3³·c_2_5⁴
       + c_2_3³·c_2_4·c_2_5³ + c_2_3³·c_2_4²·c_2_5² − c_2_3³·c_2_4³·c_2_5
       − c_2_3⁴·c_2_5³ − c_2_3⁶·c_2_5, an element of degree 14
19. b_14_137 → c_2_5⁶·a_1_1·a_1_2 − c_2_5⁶·a_1_0·a_1_1 + c_2_4·c_2_5⁵·a_1_1·a_1_2
       − c_2_4·c_2_5⁵·a_1_0·a_1_2 − c_2_4²·c_2_5⁴·a_1_1·a_1_2
       + c_2_4²·c_2_5⁴·a_1_0·a_1_2 − c_2_4²·c_2_5⁴·a_1_0·a_1_1
       + c_2_4³·c_2_5³·a_1_1·a_1_2 − c_2_4³·c_2_5³·a_1_0·a_1_1
       + c_2_4⁴·c_2_5²·a_1_1·a_1_2 − c_2_4⁴·c_2_5²·a_1_0·a_1_2
       − c_2_4⁴·c_2_5²·a_1_0·a_1_1 − c_2_4⁵·c_2_5·a_1_1·a_1_2 + c_2_4⁵·c_2_5·a_1_0·a_1_1
       + c_2_4⁶·a_1_1·a_1_2 + c_2_3·c_2_5⁵·a_1_0·a_1_2 + c_2_3·c_2_5⁵·a_1_0·a_1_1
       + c_2_3·c_2_4·c_2_5⁴·a_1_0·a_1_2 − c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_1
       + c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2 − c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2
       − c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2 + c_2_3·c_2_4⁵·a_1_1·a_1_2
       − c_2_3²·c_2_5⁴·a_1_1·a_1_2 − c_2_3²·c_2_4²·c_2_5²·a_1_1·a_1_2
       − c_2_3³·c_2_5³·a_1_1·a_1_2 − c_2_3³·c_2_5³·a_1_0·a_1_2
       − c_2_3³·c_2_5³·a_1_0·a_1_1 − c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2
       − c_2_3³·c_2_4²·c_2_5·a_1_1·a_1_2 + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_1
       + c_2_3³·c_2_4³·a_1_1·a_1_2 + c_2_3³·c_2_4³·a_1_0·a_1_2
       + c_2_3⁴·c_2_4²·a_1_1·a_1_2 + c_2_3⁶·a_1_1·a_1_2 + c_2_5⁷ + c_2_4³·c_2_5⁴
       + c_2_4⁵·c_2_5² − c_2_4⁶·c_2_5 − c_2_4⁷ − c_2_3·c_2_5⁶ − c_2_3·c_2_4·c_2_5⁵
       − c_2_3·c_2_4²·c_2_5⁴ − c_2_3·c_2_4³·c_2_5³ + c_2_3²·c_2_5⁵ + c_2_3³·c_2_5⁴
       + c_2_3³·c_2_4·c_2_5³ + c_2_3³·c_2_4²·c_2_5² + c_2_3³·c_2_4³·c_2_5
       + c_2_3⁴·c_2_5³ + c_2_3⁶·c_2_5, an element of degree 14
20. b_14_138 →  − c_2_5⁶·a_1_1·a_1_2 + c_2_4·c_2_5⁵·a_1_1·a_1_2 − c_2_4·c_2_5⁵·a_1_0·a_1_2
       − c_2_4²·c_2_5⁴·a_1_1·a_1_2 + c_2_4³·c_2_5³·a_1_1·a_1_2
       + c_2_4³·c_2_5³·a_1_0·a_1_2 − c_2_4³·c_2_5³·a_1_0·a_1_1
       − c_2_4⁴·c_2_5²·a_1_1·a_1_2 − c_2_4⁴·c_2_5²·a_1_0·a_1_1
       + c_2_4⁵·c_2_5·a_1_0·a_1_1 − c_2_4⁶·a_1_1·a_1_2 − c_2_4⁶·a_1_0·a_1_2
       + c_2_3·c_2_5⁵·a_1_1·a_1_2 − c_2_3·c_2_5⁵·a_1_0·a_1_2
       + c_2_3·c_2_4·c_2_5⁴·a_1_1·a_1_2 − c_2_3·c_2_4·c_2_5⁴·a_1_0·a_1_2
       − c_2_3·c_2_4²·c_2_5³·a_1_0·a_1_2 − c_2_3·c_2_4³·c_2_5²·a_1_1·a_1_2
       + c_2_3·c_2_4³·c_2_5²·a_1_0·a_1_2 − c_2_3·c_2_4⁴·c_2_5·a_1_1·a_1_2
       + c_2_3·c_2_4⁵·a_1_1·a_1_2 + c_2_3²·c_2_5⁴·a_1_1·a_1_2
       − c_2_3³·c_2_5³·a_1_1·a_1_2 + c_2_3³·c_2_5³·a_1_0·a_1_2
       − c_2_3³·c_2_4·c_2_5²·a_1_1·a_1_2 + c_2_3³·c_2_4·c_2_5²·a_1_0·a_1_2
       + c_2_3³·c_2_4²·c_2_5·a_1_0·a_1_2 − c_2_3³·c_2_4³·a_1_0·a_1_2
       + c_2_3⁴·c_2_5²·a_1_1·a_1_2 + c_2_3⁶·a_1_1·a_1_2 + c_2_5⁷ − c_2_4⁵·c_2_5²
       − c_2_4⁶·c_2_5 − c_2_4⁷ − c_2_3·c_2_4·c_2_5⁵ − c_2_3·c_2_4³·c_2_5³
       − c_2_3²·c_2_5⁵ + c_2_3³·c_2_4·c_2_5³ + c_2_3³·c_2_4³·c_2_5 − c_2_3⁴·c_2_5³
       − c_2_3⁶·c_2_5, an element of degree 14

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243