David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 637 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

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

Structure of the cohomology ring

General information

• The cohomology ring is of dimension 3 and depth 1.
• The depth coincides with the Duflot bound.
• The Poincaré series is

  ( − 1) · (t13  −  2·t12  +  2·t11  −  t10  +  2·t9  +  t8  −  2·t7  +  3·t6  −  3·t5  +  3·t4  −  2·t3  +  2·t2  +  1)

  (t  −  1)3 · (t2  +  1) · (t4  +  1) · (t8  +  1)

• The a-invariants are -∞,-9,-3,-3. They were obtained using the filter regular HSOP of the Benson test.

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

The cohomology ring has 15 minimal generators of maximal degree 16:

1. a_1_0, a nilpotent element of degree 1
2. a_1_2, a nilpotent element of degree 1
3. b_1_1, an element of degree 1
4. a_2_3, a nilpotent element of degree 2
5. a_2_4, a nilpotent element of degree 2
6. b_2_5, an element of degree 2
7. b_2_6, an element of degree 2
8. b_5_19, an element of degree 5
9. b_5_20, an element of degree 5
10. a_9_28, a nilpotent element of degree 9
11. b_9_43, an element of degree 9
12. b_9_44, an element of degree 9
13. a_10_37, a nilpotent element of degree 10
14. b_10_52, an element of degree 10
15. c_16_113, a Duflot regular element of degree 16

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 64 minimal relations of maximal degree 20:

1. a_1_0²
2. a_1_0·b_1_1
3. a_1_2·b_1_1 + a_1_0·a_1_2
4. a_2_3·a_1_0
5. a_2_4·b_1_1 + a_2_3·b_1_1 + a_2_3·a_1_2
6. a_2_4·a_1_0 + a_2_3·a_1_2
7. b_1_1³ + b_2_6·b_1_1 + b_2_6·a_1_0 + b_2_5·a_1_0 + a_2_3·a_1_2 + a_1_2³ + a_1_0·a_1_2²
8. a_2_3²
9. a_2_3·a_2_4 + a_2_3·a_1_2² + a_1_2⁴
10. b_2_5·a_1_2² + a_2_4² + a_2_3·a_1_2²
11. b_2_5·b_2_6·a_1_0 + b_2_5²·a_1_0 + a_2_3·b_2_6·a_1_2 + b_2_6·a_1_2³
       + b_2_6·a_1_0·a_1_2² + a_2_3·a_1_2³
12. a_1_0·b_5_19 + a_2_4·b_2_6·a_1_2² + b_2_6·a_1_2⁴
13. a_1_2·b_5_19 + a_2_4·b_2_5·b_2_6 + a_2_4·b_2_5² + a_2_3·b_2_5·b_2_6 + a_2_3·b_2_5²
       + a_2_4²·b_2_5 + a_2_4·b_2_6·a_1_2² + a_2_4·a_1_2⁴
14. b_1_1·b_5_20 + b_1_1·b_5_19 + b_2_5²·b_1_1² + a_2_3·b_2_6² + a_2_3·b_2_5·b_1_1²
       + a_2_3·b_2_5² + a_2_3·b_2_6·a_1_2²
15. a_1_0·b_5_20 + a_2_3·b_2_6·b_1_1² + a_2_3·b_2_6² + a_2_4·b_2_6·a_1_2²
       + a_2_3·b_2_6·a_1_2² + b_2_6·a_1_2⁴
16. b_2_5²·b_2_6·a_1_2 + b_2_5³·a_1_2 + a_2_4·b_5_19 + a_2_3·b_5_19 + a_2_4·b_2_5²·a_1_2
       + a_2_4²·b_2_6·a_1_2 + a_2_4·b_2_6·a_1_2³ + b_2_6·a_1_2⁵
17. a_2_3·b_5_20 + a_2_3·b_5_19 + a_2_3·b_2_5²·b_1_1 + a_2_3·b_2_6²·a_1_2
       + b_2_6²·a_1_2³ + b_2_6²·a_1_0·a_1_2² + a_2_4²·b_2_6·a_1_2 + a_2_4²·b_2_5·a_1_2
       + a_2_4·b_2_6·a_1_2³ + b_2_6·a_1_2⁵
18. a_2_4²·b_2_6²·a_1_2 + a_2_4²·b_2_5·b_2_6·a_1_2 + a_2_4·b_2_6²·a_1_2³
19. a_2_3·b_1_1²·b_5_19 + a_2_3·b_2_6·b_5_19 + a_2_4·a_1_2²·b_5_20
       + a_2_4²·b_2_5·b_2_6·a_1_2 + a_2_4²·b_2_5²·a_1_2 + a_2_4·b_2_6²·a_1_2³
20. b_5_20² + b_5_19² + b_2_5·b_2_6³·b_1_1² + b_2_5·b_2_6⁴ + b_2_5⁴·b_2_6
       + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴ + a_2_3·b_2_5³·b_1_1²
       + a_2_3·b_2_5³·b_2_6 + a_2_4²·b_2_5³ + a_2_4²·a_1_2·b_5_20 + a_2_4³·b_2_5·b_2_6
       + a_2_4³·b_2_5²
21. b_1_1·a_9_28 + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_6³·b_1_1²
       + a_2_3·b_2_5·b_2_6³ + a_2_3·b_2_5²·b_2_6² + a_1_0·a_9_28 + b_2_6·a_1_2³·b_5_20
       + a_2_4³·b_2_6² + a_2_4³·b_2_5·b_2_6 + b_2_6³·a_1_2⁴ + a_2_4·b_2_6²·a_1_2⁴
22. b_1_1·b_9_43 + b_2_5·b_2_6·b_1_1·b_5_19 + b_2_5·b_2_6³·b_1_1²
       + b_2_5²·b_1_1·b_5_19 + b_2_5³·b_2_6·b_1_1² + a_2_3·b_2_6³·b_1_1²
       + a_2_3·b_2_6⁴ + a_2_3·b_2_5²·b_2_6² + a_2_4·b_2_6³·a_1_2² + a_2_4³·b_2_6²
       + a_2_4³·b_2_5·b_2_6 + a_2_4³·b_2_5² + b_2_6³·a_1_2⁴
23. b_5_20² + b_5_19² + b_2_5·b_2_6³·b_1_1² + b_2_5·b_2_6⁴ + b_2_5⁴·b_2_6
       + a_1_0·b_9_43 + a_2_4²·b_2_5³ + a_2_4·b_2_6³·a_1_2² + a_2_4³·b_2_5·b_2_6
       + b_2_6³·a_1_2⁴
24. b_5_20² + b_5_19² + b_2_5·b_2_6³·b_1_1² + b_2_5·b_2_6⁴ + b_2_5⁴·b_2_6
       + b_1_1·a_9_28 + a_1_2·b_9_43 + a_2_4·b_2_6⁴ + a_2_4·b_2_5·b_2_6³
       + a_2_4·b_2_5³·b_2_6 + a_2_4·b_2_5⁴ + a_2_3·b_2_6·b_1_1·b_5_19
       + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴ + a_2_3·b_2_5²·b_2_6²
       + a_2_3·b_2_5³·b_2_6 + a_2_3·b_2_5⁴ + a_2_4·b_2_6·a_1_2·b_5_20
       + a_2_4·b_2_5·a_1_2·b_5_20 + a_2_4²·b_2_6³ + a_2_4²·b_2_5²·b_2_6
       + a_2_4³·b_2_6² + a_2_4³·b_2_5² + a_2_3·b_2_6³·a_1_2²
25. b_5_20² + b_1_1·b_9_44 + b_2_6²·b_1_1·b_5_19 + b_2_5·b_2_6·b_1_1·b_5_19
       + b_2_5·b_2_6³·b_1_1² + b_2_5·b_2_6⁴ + b_2_5²·b_1_1·b_5_19
       + b_2_5³·b_2_6·b_1_1² + b_2_5³·b_2_6² + b_2_5⁴·b_2_6 + b_2_5⁵ + b_1_1·a_9_28
       + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_6⁴ + a_2_3·b_2_5·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6³ + b_2_6·a_1_2³·b_5_20 + a_2_4·b_2_6³·a_1_2²
       + a_2_4³·b_2_6² + a_2_4³·b_2_5·b_2_6 + a_2_4³·b_2_5² + a_2_4·b_2_6²·a_1_2⁴
26. b_5_20² + b_5_19² + b_2_5·b_2_6³·b_1_1² + b_2_5·b_2_6⁴ + b_2_5⁴·b_2_6
       + b_1_1·a_9_28 + a_1_0·b_9_44 + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_6⁴
       + a_2_3·b_2_5·b_2_6³ + a_2_3·b_2_5²·b_2_6² + a_2_4²·b_2_5³
       + b_2_6·a_1_2³·b_5_20 + a_2_4³·b_2_6² + b_2_6³·a_1_2⁴ + a_2_4·b_2_6²·a_1_2⁴
27. b_1_1·a_9_28 + a_1_2·b_9_44 + b_2_6²·a_1_2·b_5_20 + a_2_4·b_2_6⁴
       + a_2_4·b_2_5·b_2_6³ + a_2_4·b_2_5²·b_2_6² + a_2_4·b_2_5³·b_2_6
       + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5³·b_1_1² + a_1_2·a_9_28
       + a_2_4·b_2_6·a_1_2·b_5_20 + a_2_4²·b_2_6³ + a_2_4²·b_2_5·b_2_6²
       + a_2_4²·b_2_5²·b_2_6 + b_2_6·a_1_2³·b_5_20 + a_2_4³·b_2_6² + a_2_4³·b_2_5·b_2_6
       + a_2_4³·b_2_5² + a_2_3·b_2_6³·a_1_2²
28. a_2_3·b_9_43 + a_2_3·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_5·b_2_6³·b_1_1
       + a_2_3·b_2_5²·b_5_19 + a_2_3·b_2_5³·b_2_6·b_1_1 + a_2_3·b_2_6⁴·a_1_2
       + b_2_6⁴·a_1_2³ + b_2_6⁴·a_1_0·a_1_2² + a_2_4·b_2_6·a_1_2²·b_5_20
       + a_2_4²·b_2_5³·a_1_2 + a_2_4³·b_5_20 + a_2_4·b_2_6³·a_1_2³
29. b_2_5·b_2_6⁴·a_1_2 + b_2_5⁵·a_1_2 + a_2_4·b_9_43 + a_2_4·b_2_6²·b_5_19
       + a_2_4·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_6²·b_5_19 + a_2_3·b_2_5·b_2_6³·b_1_1
       + a_2_3·b_2_5²·b_5_19 + a_2_3·b_2_5³·b_2_6·b_1_1 + a_2_4·b_2_5·b_2_6³·a_1_2
       + a_2_4²·b_2_6·b_5_20 + a_2_4²·b_2_6·b_5_19 + a_2_4²·b_2_5·b_5_20
       + a_2_4²·b_2_5·b_5_19 + a_2_3·a_9_28 + a_2_3·b_2_6⁴·a_1_2 + a_2_4³·b_5_20
       + a_2_4³·b_5_19 + a_2_4·b_2_6³·a_1_2³
30. b_1_1²·b_9_44 + b_2_6·b_9_44 + b_2_6·b_9_43 + b_2_6³·b_5_20 + b_2_6³·b_5_19
       + b_2_5·b_9_43 + b_2_5·b_2_6²·b_5_19 + b_2_5·b_2_6⁴·b_1_1 + b_2_5²·b_1_1²·b_5_19
       + b_2_5²·b_2_6·b_5_19 + b_2_5³·b_5_19 + b_2_5³·b_2_6²·b_1_1 + b_2_5⁴·b_2_6·b_1_1
       + b_2_6·a_9_28 + b_2_5⁵·a_1_2 + b_2_5⁵·a_1_0 + a_2_4·b_2_6²·b_5_19
       + a_2_4·b_2_5²·b_5_20 + a_2_4·b_2_5²·b_5_19 + a_2_3·b_2_5²·b_2_6²·b_1_1
       + a_2_3·b_2_5³·b_2_6·b_1_1 + a_2_3·b_2_5⁴·b_1_1 + b_2_6²·a_1_2²·b_5_20
       + a_2_4·b_2_5·b_2_6³·a_1_2 + a_2_4²·b_2_6·b_5_19 + a_2_3·a_9_28 + a_2_3·b_2_6⁴·a_1_2
       + a_1_2²·a_9_28 + b_2_6⁴·a_1_0·a_1_2² + a_2_4²·b_2_5³·a_1_2 + a_2_4³·b_5_19
       + b_2_6³·a_1_2⁵
31. b_2_5·b_2_6⁴·a_1_2 + b_2_5⁵·a_1_2 + a_2_4·b_9_44 + a_2_4·b_2_6²·b_5_20
       + a_2_4·b_2_6²·b_5_19 + a_2_4·b_2_5²·b_5_19 + a_2_3·b_9_44 + a_2_3·b_2_5²·b_5_19
       + a_2_3·b_2_5²·b_2_6²·b_1_1 + a_2_4·a_9_28 + a_2_4·b_2_5·b_2_6³·a_1_2
       + a_2_4²·b_2_6·b_5_20 + a_2_4²·b_2_5·b_5_19 + a_2_3·b_2_6⁴·a_1_2
       + a_2_4²·b_2_5³·a_1_2 + a_2_4³·b_5_20
32. a_10_37·b_1_1 + a_2_3·b_2_6⁴·b_1_1 + a_2_3·b_2_5⁴·b_1_1 + a_2_3·a_9_28
       + b_2_6⁴·a_1_0·a_1_2² + b_2_6³·a_1_2⁵
33. a_10_37·a_1_0 + a_2_3·a_9_28 + b_2_6⁴·a_1_0·a_1_2² + b_2_6³·a_1_2⁵
34. a_10_37·a_1_2 + a_2_4·a_9_28 + a_2_4·b_2_5·b_2_6³·a_1_2 + a_2_4·b_2_5⁴·a_1_2
       + a_2_4²·b_2_6·b_5_20 + a_2_4²·b_2_6·b_5_19 + a_2_4²·b_2_5·b_5_20
       + a_2_3·b_2_6⁴·a_1_2 + b_2_6⁴·a_1_2³ + b_2_6⁴·a_1_0·a_1_2²
       + a_2_4·b_2_6·a_1_2²·b_5_20 + a_2_4²·b_2_5³·a_1_2 + a_2_4·b_2_6³·a_1_2³
35. b_1_1²·b_9_44 + b_10_52·b_1_1 + b_2_6²·b_1_1²·b_5_19 + b_2_5·b_2_6·b_1_1²·b_5_19
       + b_2_5²·b_1_1²·b_5_19 + b_2_5³·b_2_6²·b_1_1 + b_2_5⁵·b_1_1 + a_2_3·b_9_44
       + a_2_3·b_2_5·b_2_6³·b_1_1 + a_2_3·b_2_6⁴·a_1_2 + a_2_4·b_2_6·a_1_2²·b_5_20
       + a_2_4²·b_2_5³·a_1_2 + a_2_4³·b_5_19 + a_2_4·b_2_6³·a_1_2³
36. b_10_52·a_1_0 + b_2_5⁵·a_1_0 + a_2_3·a_9_28 + a_2_3·b_2_6⁴·a_1_2
       + a_2_4·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_6³·a_1_2³
37. b_10_52·a_1_2 + b_2_5·b_2_6⁴·a_1_2 + a_2_4·b_2_6²·b_5_20 + a_2_4·b_2_6²·b_5_19
       + a_2_4·b_2_5·b_2_6·b_5_20 + a_2_4·b_2_5²·b_5_19 + a_2_3·b_2_5·b_2_6·b_5_19
       + a_2_3·b_2_5²·b_5_19 + a_2_3·b_2_5²·b_2_6²·b_1_1 + a_2_3·b_2_5³·b_2_6·b_1_1
       + b_2_6²·a_1_2²·b_5_20 + a_2_4·a_9_28 + a_2_4²·b_2_6·b_5_20 + a_2_4²·b_2_5·b_5_20
       + a_2_3·a_9_28 + b_2_6⁴·a_1_0·a_1_2² + a_2_4·b_2_6·a_1_2²·b_5_20
38. a_2_3·a_10_37 + a_2_3·a_1_2·a_9_28 + a_2_3·b_2_6⁴·a_1_2² + a_1_2³·a_9_28
       + a_1_0·a_1_2²·a_9_28 + a_2_4·b_2_6³·a_1_2⁴
39. b_2_5·a_1_2·a_9_28 + a_2_4·a_10_37 + a_2_4·b_2_5·b_2_6·a_1_2·b_5_20
       + a_2_4·b_2_5²·a_1_2·b_5_20 + a_2_4²·b_2_5·b_2_6³ + a_2_4²·b_2_5²·b_2_6²
       + a_2_4²·b_2_5³·b_2_6 + a_2_4²·b_2_5⁴ + a_2_4·b_2_6⁴·a_1_2²
       + a_2_4²·b_2_6·a_1_2·b_5_20 + a_2_4³·b_2_5²·b_2_6 + a_2_4³·b_2_5³
       + a_2_3·a_1_2·a_9_28 + b_2_6⁴·a_1_2⁴
40. a_2_3·b_1_1·b_9_44 + a_2_3·b_10_52 + a_2_3·b_2_6²·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5²·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_2_6² + a_2_3·b_2_5⁴·b_1_1² + a_2_3·b_2_5⁴·b_2_6
       + a_2_3·b_2_5⁵ + a_2_4²·b_2_5·a_1_2·b_5_20 + a_2_4³·b_2_6³
       + a_2_4³·b_2_5·b_2_6² + a_2_4³·b_2_5²·b_2_6 + a_2_4³·b_2_5³
       + a_2_3·a_1_2·a_9_28 + a_2_3·b_2_6⁴·a_1_2² + a_1_2³·a_9_28 + a_1_0·a_1_2²·a_9_28
       + b_2_6⁴·a_1_2⁴ + a_2_4·b_2_6³·a_1_2⁴
41. b_2_5·b_2_6²·a_1_2·b_5_20 + b_2_5³·a_1_2·b_5_20 + a_2_4·b_5_19·b_5_20
       + a_2_4·b_10_52 + a_2_4·b_2_5·b_2_6⁴ + a_2_4·b_2_5²·b_2_6³
       + a_2_4·b_2_5³·b_2_6² + a_2_4·b_2_5⁴·b_2_6 + a_2_4·b_2_5⁵ + a_2_3·b_2_5·b_2_6⁴
       + a_2_3·b_2_5²·b_1_1·b_5_19 + a_2_3·b_2_5²·b_2_6³ + a_2_3·b_2_5⁴·b_2_6
       + a_2_3·b_2_5⁵ + b_2_5·a_1_2·a_9_28 + a_2_4·b_2_6²·a_1_2·b_5_20
       + a_2_4·b_2_5·b_2_6·a_1_2·b_5_20 + a_2_4²·b_2_5²·b_2_6² + a_2_4²·b_2_5⁴
       + a_2_4·b_2_6⁴·a_1_2² + a_2_4³·b_2_5·b_2_6² + a_2_4³·b_2_5²·b_2_6
       + a_2_4³·b_2_5³ + a_1_2³·a_9_28
42. b_2_6³·b_1_1²·b_5_19 + b_2_6⁴·b_5_19 + b_2_5·b_2_6·b_9_43
       + b_2_5·b_2_6²·b_1_1²·b_5_19 + b_2_5·b_2_6³·b_5_19 + b_2_5²·b_9_43
       + b_2_5²·b_2_6·b_1_1²·b_5_19 + b_2_5²·b_2_6⁴·b_1_1 + b_2_5³·b_1_1²·b_5_19
       + b_2_5³·b_2_6·b_5_19 + b_2_5³·b_2_6³·b_1_1 + b_2_5⁴·b_5_19 + b_2_5⁴·b_2_6²·b_1_1
       + b_2_5⁵·b_2_6·b_1_1 + a_2_4·b_2_5·b_2_6²·b_5_20 + a_2_4·b_2_5²·b_2_6·b_5_19
       + a_2_4·b_2_5³·b_5_20 + a_2_3·b_2_5·b_2_6²·b_5_19 + a_2_3·b_2_5²·b_2_6·b_5_19
       + a_2_3·b_2_5³·b_5_19 + a_2_3·b_2_5⁴·b_2_6·b_1_1 + a_2_3·b_2_5⁵·b_1_1
       + a_2_4·b_2_5⁵·a_1_2 + a_2_4²·b_9_43 + a_2_4²·b_2_6²·b_5_20
       + a_2_4²·b_2_5·b_2_6·b_5_20 + a_2_4²·b_2_5²·b_5_19 + a_2_3·b_2_6·a_9_28
       + b_2_6·a_1_2²·a_9_28 + b_2_6⁵·a_1_2³ + b_2_6⁵·a_1_0·a_1_2²
       + a_2_4·b_2_6²·a_1_2²·b_5_20 + a_2_4²·b_2_5⁴·a_1_2 + a_1_2⁴·a_9_28
       + b_2_6⁴·a_1_2⁵
43. b_5_19·b_9_43 + b_2_5·b_2_6·b_1_1·b_9_44 + b_2_5²·b_1_1·b_9_44
       + b_2_5²·b_2_6⁴·b_1_1² + b_2_5²·b_2_6⁵ + b_2_5³·b_2_6·b_1_1·b_5_19
       + b_2_5⁴·b_1_1·b_5_19 + b_2_5⁴·b_2_6²·b_1_1² + b_2_5⁴·b_2_6³
       + b_2_5⁵·b_2_6·b_1_1² + b_2_5⁵·b_2_6² + b_2_5⁶·b_1_1² + b_2_5⁷
       + a_2_4·b_2_5·b_5_19·b_5_20 + a_2_4·b_2_5·b_10_52 + a_2_4·b_2_5²·b_2_6⁴
       + a_2_4·b_2_5³·b_2_6³ + a_2_4·b_2_5⁶ + a_2_3·b_2_5²·b_2_6⁴ + a_2_3·b_2_5⁶
       + a_2_4·b_2_5·a_10_37 + a_2_4²·b_2_5·b_2_6⁴ + a_2_4²·b_2_5²·b_2_6³
       + a_2_4²·b_2_5⁴·b_2_6 + a_2_4·b_2_6·a_1_2·a_9_28 + a_2_4²·b_2_5·b_2_6·a_1_2·b_5_20
       + a_2_4²·b_2_5²·a_1_2·b_5_20 + a_2_4³·b_2_5⁴ + a_2_3·b_2_6⁵·a_1_2²
       + b_2_6·a_1_0·a_1_2²·a_9_28 + b_2_6⁵·a_1_2⁴ + a_2_4·b_2_6⁴·a_1_2⁴
       + a_1_2⁵·a_9_28
44. b_5_19·b_9_43 + b_2_5·b_2_6·b_1_1·b_9_44 + b_2_5²·b_1_1·b_9_44
       + b_2_5²·b_2_6⁴·b_1_1² + b_2_5²·b_2_6⁵ + b_2_5³·b_2_6·b_1_1·b_5_19
       + b_2_5⁴·b_1_1·b_5_19 + b_2_5⁴·b_2_6²·b_1_1² + b_2_5⁴·b_2_6³
       + b_2_5⁵·b_2_6·b_1_1² + b_2_5⁵·b_2_6² + b_2_5⁶·b_1_1² + b_2_5⁷ + b_5_19·a_9_28
       + b_2_5·b_2_6·a_10_37 + b_2_5²·a_10_37 + a_2_4·b_2_5²·b_2_6⁴
       + a_2_4·b_2_5⁴·b_2_6² + a_2_4·b_2_5⁵·b_2_6 + a_2_4·b_2_5⁶ + a_2_3·b_2_6·b_10_52
       + a_2_3·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5·b_2_6²·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6⁵ + a_2_3·b_2_5²·b_2_6·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_1_1·b_5_19 + a_2_4·b_2_5·a_10_37 + a_2_4²·b_2_6⁵
       + a_2_4²·b_2_5²·b_2_6³ + a_2_4²·b_2_5⁴·b_2_6 + a_2_4·b_2_6·a_1_2·a_9_28
       + a_2_4²·b_2_5·b_2_6·a_1_2·b_5_20 + a_2_4³·b_2_5²·b_2_6²
       + a_2_3·b_2_6·a_1_2·a_9_28 + a_2_3·b_2_6⁵·a_1_2² + b_2_6·a_1_0·a_1_2²·a_9_28
       + b_2_6⁵·a_1_2⁴ + a_2_4·a_1_2³·a_9_28
45. b_5_20·b_9_44 + b_5_19·b_9_44 + b_5_19·b_9_43 + b_2_6²·b_5_19·b_5_20 + b_2_6²·b_10_52
       + b_2_5·b_2_6·b_1_1·b_9_44 + b_2_5²·b_1_1·b_9_44 + b_2_5²·b_10_52
       + b_2_5²·b_2_6⁴·b_1_1² + b_2_5²·b_2_6⁵ + b_2_5³·b_2_6⁴
       + b_2_5⁵·b_2_6·b_1_1² + b_2_5⁶·b_1_1² + b_5_20·a_9_28 + b_2_6²·a_10_37
       + b_2_6⁴·a_1_2·b_5_20 + b_2_5·b_2_6·a_10_37 + a_2_4·b_2_6·b_10_52
       + a_2_4·b_2_5·b_2_6⁵ + a_2_4·b_2_5³·b_2_6³ + a_2_4·b_2_5⁶
       + a_2_3·b_2_6⁵·b_1_1² + a_2_3·b_2_5·b_10_52 + a_2_3·b_2_5·b_2_6⁵
       + a_2_3·b_2_5³·b_2_6³ + a_2_3·b_2_5⁵·b_1_1² + b_2_6⁶·a_1_2²
       + a_2_4·b_2_6·a_10_37 + a_2_4·b_2_6³·a_1_2·b_5_20 + a_2_4·b_2_5·a_10_37
       + a_2_4²·b_5_19·b_5_20 + a_2_4²·b_2_5·b_2_6⁴ + a_2_4²·b_2_5²·b_2_6³
       + a_2_4²·b_2_5³·b_2_6² + a_2_4·b_2_6·a_1_2·a_9_28 + a_2_4²·b_2_5²·a_1_2·b_5_20
       + a_2_4³·b_2_5²·b_2_6² + a_2_4³·b_2_5⁴ + b_2_6·a_1_0·a_1_2²·a_9_28
       + b_2_6⁵·a_1_2⁴ + a_2_4·a_1_2³·a_9_28 + a_2_4·b_2_6⁴·a_1_2⁴ + a_1_2⁵·a_9_28
46. b_5_20·b_9_44 + b_5_20·b_9_43 + b_5_19·b_9_44 + b_2_6²·b_5_19·b_5_20
       + b_2_6²·b_1_1·b_9_44 + b_2_6⁴·b_1_1·b_5_19 + b_2_5·b_2_6·b_1_1·b_9_44
       + b_2_5·b_2_6³·b_1_1·b_5_19 + b_2_5·b_2_6⁵·b_1_1² + b_2_5·b_2_6⁶
       + b_2_5²·b_5_19·b_5_20 + b_2_5²·b_10_52 + b_2_5²·b_2_6⁴·b_1_1² + b_2_5²·b_2_6⁵
       + b_2_5³·b_2_6³·b_1_1² + b_2_5⁴·b_1_1·b_5_19 + b_2_5⁵·b_2_6·b_1_1²
       + b_2_5⁶·b_1_1² + b_2_5⁷ + b_5_20·a_9_28 + b_2_5·b_2_6·a_10_37
       + a_2_4·b_2_5·b_5_19·b_5_20 + a_2_3·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_6⁵·b_1_1²
       + a_2_3·b_2_6⁶ + a_2_3·b_2_5²·b_2_6⁴ + a_2_3·b_2_5³·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_2_6³ + a_2_3·b_2_5⁴·b_2_6² + a_2_3·b_2_5⁵·b_1_1²
       + a_2_3·b_2_5⁶ + b_2_6²·a_1_0·a_9_28 + a_2_4·b_2_5·a_10_37 + a_2_4²·b_10_52
       + a_2_4²·b_2_5·b_2_6⁴ + a_2_4²·b_2_5³·b_2_6² + a_2_4²·b_2_5⁵
       + a_2_4·b_2_6·a_1_2·a_9_28 + a_2_4²·a_10_37 + a_2_4²·b_2_5·b_2_6·a_1_2·b_5_20
       + a_2_4²·b_2_5²·a_1_2·b_5_20 + a_2_4³·b_2_5³·b_2_6 + a_2_3·b_2_6⁵·a_1_2²
       + b_2_6·a_1_2³·a_9_28 + b_2_6·a_1_0·a_1_2²·a_9_28 + a_1_2⁵·a_9_28
47. a_10_37·b_5_19 + b_2_5²·b_2_6·a_9_28 + b_2_5³·a_9_28 + a_2_4·b_2_5²·b_9_43
       + a_2_4·b_2_5²·b_2_6²·b_5_20 + a_2_4·b_2_5²·b_2_6²·b_5_19
       + a_2_4·b_2_5³·b_2_6·b_5_19 + a_2_4·b_2_5⁴·b_5_20 + a_2_3·b_2_6⁴·b_5_19
       + a_2_3·b_2_5²·b_2_6²·b_5_19 + a_2_3·b_2_5²·b_2_6⁴·b_1_1
       + a_2_3·b_2_5³·b_2_6·b_5_19 + a_2_3·b_2_5³·b_2_6³·b_1_1 + a_2_3·b_2_5⁴·b_5_19
       + a_2_3·b_2_5⁴·b_2_6²·b_1_1 + a_2_3·b_2_5⁶·b_1_1 + a_2_4·b_2_5²·a_9_28
       + a_2_4·b_2_5⁶·a_1_2 + a_2_4²·b_2_6·b_9_43 + a_2_4²·b_2_5·b_2_6²·b_5_20
       + a_2_4²·b_2_5²·b_2_6·b_5_20 + a_2_4³·b_2_5·b_2_6·b_5_20 + a_2_4·b_2_6⁵·a_1_2³
       + a_2_4·a_1_2⁴·a_9_28
48. b_10_52·b_5_20 + b_10_52·b_5_19 + b_2_5·b_2_6²·b_9_43 + b_2_5·b_2_6⁴·b_5_20
       + b_2_5·b_2_6⁴·b_5_19 + b_2_5²·b_2_6·b_9_44 + b_2_5²·b_2_6·b_9_43
       + b_2_5²·b_2_6²·b_1_1²·b_5_19 + b_2_5²·b_2_6³·b_5_20 + b_2_5²·b_2_6⁵·b_1_1
       + b_2_5³·b_2_6²·b_5_20 + b_2_5⁴·b_1_1²·b_5_19 + b_2_5⁴·b_2_6·b_5_19
       + b_2_5⁵·b_5_20 + b_2_5⁵·b_5_19 + b_2_5⁵·b_2_6²·b_1_1 + a_10_37·b_5_20
       + b_2_5³·a_9_28 + b_2_5⁷·a_1_2 + b_2_5⁷·a_1_0 + a_2_4·b_2_6²·b_9_43
       + a_2_4·b_2_5·b_2_6³·b_5_20 + a_2_4·b_2_5²·b_9_43 + a_2_4·b_2_5²·b_2_6²·b_5_19
       + a_2_4·b_2_5³·b_2_6·b_5_20 + a_2_4·b_2_5⁴·b_5_20 + a_2_4·b_2_5⁴·b_5_19
       + a_2_3·b_2_6²·b_9_44 + a_2_3·b_2_5·b_2_6·b_9_44 + a_2_3·b_2_5²·b_2_6²·b_5_19
       + a_2_3·b_2_5²·b_2_6⁴·b_1_1 + a_2_3·b_2_5³·b_2_6·b_5_19 + a_2_3·b_2_5⁴·b_5_19
       + a_2_3·b_2_5⁴·b_2_6²·b_1_1 + a_2_3·b_2_5⁵·b_2_6·b_1_1 + b_2_6⁴·a_1_2²·b_5_20
       + a_2_4·b_2_5²·a_9_28 + a_2_4·b_2_5⁶·a_1_2 + a_2_4²·b_2_6·b_9_43
       + a_2_4²·b_2_6³·b_5_20 + a_2_4²·b_2_5·b_2_6²·b_5_19 + a_2_4²·b_2_5³·b_5_20
       + a_2_4²·b_2_5⁵·a_1_2 + a_2_4³·b_2_5·b_2_6·b_5_20 + a_2_4³·b_2_5²·b_5_20
       + a_2_4·b_2_6·a_1_2²·a_9_28 + a_2_3·b_2_6·a_1_2²·a_9_28 + b_2_6⁵·a_1_2⁵
49. b_2_6·b_1_1·b_5_19·b_9_44 + b_2_6·b_10_52·b_5_19 + b_2_6⁴·b_9_44 + b_2_6⁴·b_9_43
       + b_2_6⁶·b_5_20 + b_2_5·b_2_6³·b_9_44 + b_2_5·b_2_6³·b_9_43 + b_2_5·b_2_6⁵·b_5_20
       + b_2_5·b_2_6⁷·b_1_1 + b_2_5²·b_2_6²·b_9_44 + b_2_5²·b_2_6²·b_9_43
       + b_2_5²·b_2_6⁴·b_5_19 + b_2_5³·b_2_6²·b_1_1²·b_5_19 + b_2_5³·b_2_6⁵·b_1_1
       + b_2_5⁴·b_9_43 + b_2_5⁴·b_2_6·b_1_1²·b_5_19 + b_2_5⁴·b_2_6²·b_5_20
       + b_2_5⁴·b_2_6⁴·b_1_1 + b_2_5⁵·b_1_1²·b_5_19 + b_2_5⁵·b_2_6·b_5_19
       + b_2_5⁵·b_2_6³·b_1_1 + b_2_5⁶·b_5_19 + b_2_6⁴·a_9_28 + b_2_5·b_2_6³·a_9_28
       + b_2_5³·b_2_6·a_9_28 + b_2_5⁸·a_1_2 + b_2_5⁸·a_1_0 + a_2_4·b_2_5·b_2_6²·b_9_43
       + a_2_4·b_2_5²·b_2_6·b_9_43 + a_2_4·b_2_5³·b_2_6²·b_5_19 + a_2_4·b_2_5⁵·b_5_20
       + a_2_4·b_2_5⁵·b_5_19 + a_2_3·b_10_52·b_5_19 + a_2_3·b_2_6³·b_9_44
       + a_2_3·b_2_5·b_2_6²·b_9_44 + a_2_3·b_2_5·b_2_6⁴·b_5_19
       + a_2_3·b_2_5²·b_2_6·b_9_44 + a_2_3·b_2_5²·b_2_6³·b_5_19
       + a_2_3·b_2_5²·b_2_6⁵·b_1_1 + a_2_3·b_2_5⁴·b_2_6³·b_1_1 + a_2_3·b_2_5⁵·b_5_19
       + a_2_3·b_2_5⁶·b_2_6·b_1_1 + b_2_6⁵·a_1_2²·b_5_20 + a_2_4·b_2_5²·b_2_6·a_9_28
       + a_2_4·b_2_5⁷·a_1_2 + a_2_4²·b_2_5²·b_2_6²·b_5_19 + a_2_4²·b_2_5³·b_2_6·b_5_20
       + a_2_4²·b_2_5³·b_2_6·b_5_19 + a_2_4²·b_2_5⁴·b_5_19 + a_2_3·b_2_6³·a_9_28
       + a_2_3·b_2_6⁷·a_1_2 + b_2_6⁷·a_1_2³ + a_2_4·a_1_2·b_5_20·a_9_28
       + a_2_4²·b_2_6²·a_9_28 + a_2_4²·b_2_5·b_2_6·a_9_28 + a_2_4²·b_2_5²·a_9_28
       + a_2_4²·b_2_5⁶·a_1_2 + a_2_4³·b_2_5²·b_2_6·b_5_20 + a_2_4·b_2_6²·a_1_2²·a_9_28
       + a_2_3·b_2_6²·a_1_2²·a_9_28 + b_2_6⁶·a_1_2⁵
50. b_9_43² + b_2_5·b_2_6⁷·b_1_1² + b_2_5·b_2_6⁸ + b_2_5²·b_2_6²·b_1_1·b_9_44
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5²·b_2_6⁶·b_1_1²
       + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5³·b_2_6⁵·b_1_1² + b_2_5³·b_2_6⁶
       + b_2_5⁴·b_1_1·b_9_44 + b_2_5⁵·b_2_6·b_1_1·b_5_19 + b_2_5⁶·b_1_1·b_5_19
       + b_2_5⁶·b_2_6²·b_1_1² + b_2_5⁷·b_2_6² + b_2_5⁹ + a_2_3·b_2_6⁷·b_1_1²
       + a_2_3·b_2_6⁸ + a_2_3·b_2_5³·b_2_6²·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴
       + a_2_3·b_2_5⁵·b_1_1·b_5_19 + a_2_3·b_2_5⁶·b_2_6² + a_2_3·b_2_5⁷·b_1_1²
       + a_2_3·b_2_5⁷·b_2_6 + a_2_4²·b_2_5⁴·b_2_6³ + a_2_4²·b_2_5⁵·b_2_6²
       + a_2_4²·b_2_5⁶·b_2_6 + a_2_4²·b_2_5⁴·a_1_2·b_5_20 + a_2_4³·b_2_5⁴·b_2_6²
       + a_2_4³·b_2_5⁵·b_2_6 + b_2_6²·a_1_2⁵·a_9_28
51. a_9_28·b_9_44 + a_9_28·b_9_43 + b_2_6²·b_5_20·a_9_28 + b_2_5²·b_2_6²·a_10_37
       + b_2_5⁴·a_10_37 + a_2_4·b_2_5²·b_2_6·b_10_52 + a_2_4·b_2_5³·b_5_19·b_5_20
       + a_2_4·b_2_5⁵·b_2_6³ + a_2_4·b_2_5⁶·b_2_6² + a_2_4·b_2_5⁸
       + a_2_3·b_2_6·b_5_19·b_9_44 + a_2_3·b_2_5·b_2_6⁴·b_1_1·b_5_19 + a_2_3·b_2_5·b_2_6⁷
       + a_2_3·b_2_5²·b_2_6·b_10_52 + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19
       + a_2_3·b_2_5²·b_2_6⁶ + a_2_3·b_2_5³·b_10_52 + a_2_3·b_2_5³·b_2_6²·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_2_6⁵ + a_2_3·b_2_5⁴·b_2_6⁴ + a_2_3·b_2_5⁵·b_1_1·b_5_19
       + a_2_3·b_2_5⁵·b_2_6³ + a_2_3·b_2_5⁷·b_2_6 + a_9_28² + a_2_4·b_2_5·b_5_20·a_9_28
       + a_2_4·b_2_5·b_2_6²·a_10_37 + a_2_4·b_2_5²·b_2_6·a_10_37 + a_2_4·b_2_5³·a_10_37
       + a_2_4²·b_2_5·b_2_6·b_10_52 + a_2_4²·b_2_5·b_2_6⁶ + a_2_4²·b_2_5⁵·b_2_6²
       + a_2_4²·b_2_5⁶·b_2_6 + b_2_6·a_1_2²·b_5_20·a_9_28 + a_2_4·b_2_6⁷·a_1_2²
       + a_2_4²·b_5_20·a_9_28 + a_2_4²·b_2_5·b_2_6·a_10_37 + a_2_4²·b_2_5²·a_10_37
       + a_2_4²·b_2_5⁴·a_1_2·b_5_20 + a_2_4³·b_2_5·b_5_19·b_5_20
       + a_2_4³·b_2_5⁴·b_2_6² + a_2_4³·b_2_5⁶ + b_2_6⁷·a_1_2⁴
       + a_2_4·b_2_6⁶·a_1_2⁴
52. b_9_43·b_9_44 + b_2_6⁴·b_1_1·b_9_44 + b_2_6⁴·b_10_52 + b_2_6⁶·b_1_1·b_5_19
       + b_2_5·b_2_6·b_5_19·b_9_44 + b_2_5·b_2_6³·b_1_1·b_9_44 + b_2_5·b_2_6⁵·b_1_1·b_5_19
       + b_2_5²·b_5_19·b_9_44 + b_2_5²·b_2_6²·b_5_19·b_5_20 + b_2_5²·b_2_6²·b_10_52
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5²·b_2_6⁶·b_1_1² + b_2_5²·b_2_6⁷
       + b_2_5³·b_2_6·b_10_52 + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5³·b_2_6⁶
       + b_2_5⁴·b_2_6⁴·b_1_1² + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6·b_1_1·b_5_19
       + b_2_5⁶·b_2_6²·b_1_1² + b_2_5⁷·b_2_6·b_1_1² + b_2_5⁷·b_2_6² + b_2_5⁸·b_2_6
       + a_9_28·b_9_44 + b_2_6²·b_5_20·a_9_28 + b_2_6⁴·a_10_37 + b_2_6⁶·a_1_2·b_5_20
       + b_2_5²·b_2_6²·a_10_37 + b_2_5³·b_2_6·a_10_37 + a_2_4·b_2_6³·b_10_52
       + a_2_4·b_2_5·b_2_6²·b_10_52 + a_2_4·b_2_5·b_2_6⁷ + a_2_4·b_2_5²·b_2_6·b_10_52
       + a_2_4·b_2_5³·b_10_52 + a_2_4·b_2_5⁴·b_2_6⁴ + a_2_4·b_2_5⁵·b_2_6³
       + a_2_4·b_2_5⁸ + a_2_3·b_2_6·b_5_19·b_9_44 + a_2_3·b_2_6⁵·b_1_1·b_5_19
       + a_2_3·b_2_6⁷·b_1_1² + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_2_6²·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6·b_1_1·b_5_19
       + a_2_3·b_2_5⁵·b_1_1·b_5_19 + a_2_3·b_2_5⁶·b_2_6² + a_2_3·b_2_5⁷·b_1_1²
       + a_2_3·b_2_5⁷·b_2_6 + a_9_28² + b_2_6⁴·a_1_0·a_9_28 + b_2_6⁸·a_1_2²
       + a_2_4·b_2_6³·a_10_37 + a_2_4·b_2_5·b_5_20·a_9_28 + a_2_4·b_2_5³·a_10_37
       + a_2_4²·b_2_6²·b_10_52 + a_2_4²·b_2_5²·b_10_52 + a_2_4²·b_2_5²·b_2_6⁵
       + a_2_4²·b_2_5³·b_2_6⁴ + a_2_4²·b_2_5⁷ + b_2_6·a_1_2²·b_5_20·a_9_28
       + a_2_4·b_2_6³·a_1_2·a_9_28 + a_2_4·b_2_6⁷·a_1_2² + a_2_4²·b_2_5·b_2_6·a_10_37
       + a_2_4³·b_2_5·b_5_19·b_5_20 + a_2_4³·b_2_5⁵·b_2_6 + a_2_4³·b_2_5⁶
       + a_2_3·b_2_6³·a_1_2·a_9_28 + a_2_3·b_2_6⁷·a_1_2² + b_2_6³·a_1_2³·a_9_28
       + b_2_6³·a_1_0·a_1_2²·a_9_28 + b_2_6⁷·a_1_2⁴ + a_2_4·b_2_6⁶·a_1_2⁴
53. b_9_44² + b_9_43² + b_2_6⁶·b_1_1·b_5_19 + b_2_5·b_2_6⁸
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5³·b_2_6⁶ + b_2_5⁴·b_1_1·b_9_44
       + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6·b_1_1·b_5_19 + b_2_5⁶·b_1_1·b_5_19 + b_2_5⁹
       + a_2_3·b_2_6·b_5_19·b_9_44 + a_2_3·b_2_6⁵·b_1_1·b_5_19 + a_2_3·b_2_6⁸
       + a_2_3·b_2_5·b_2_6²·b_10_52 + a_2_3·b_2_5·b_2_6⁴·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6⁷ + a_2_3·b_2_5²·b_2_6⁶ + a_2_3·b_2_5³·b_10_52
       + a_2_3·b_2_5³·b_2_6²·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴
       + a_2_3·b_2_5⁵·b_1_1·b_5_19 + a_2_3·b_2_5⁵·b_2_6³ + a_2_3·b_2_5⁶·b_2_6²
       + a_2_3·b_2_5⁷·b_2_6 + a_2_3·b_2_5⁸ + a_9_28² + a_2_4²·b_2_5⁵·b_2_6²
       + a_2_4²·b_2_5⁶·b_2_6 + a_2_4²·b_2_5⁴·a_1_2·b_5_20 + a_2_4³·b_2_5⁴·b_2_6²
       + a_2_4³·b_2_5⁵·b_2_6 + b_2_6³·a_1_0·a_1_2²·a_9_28 + b_2_6²·a_1_2⁵·a_9_28
       + c_16_113·b_1_1²
54. b_9_43·b_9_44 + b_2_6⁴·b_1_1·b_9_44 + b_2_6⁴·b_10_52 + b_2_6⁶·b_1_1·b_5_19
       + b_2_5·b_2_6·b_5_19·b_9_44 + b_2_5·b_2_6³·b_1_1·b_9_44 + b_2_5·b_2_6⁵·b_1_1·b_5_19
       + b_2_5²·b_5_19·b_9_44 + b_2_5²·b_2_6²·b_5_19·b_5_20 + b_2_5²·b_2_6²·b_10_52
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5²·b_2_6⁶·b_1_1² + b_2_5²·b_2_6⁷
       + b_2_5³·b_2_6·b_10_52 + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5³·b_2_6⁶
       + b_2_5⁴·b_2_6⁴·b_1_1² + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6·b_1_1·b_5_19
       + b_2_5⁶·b_2_6²·b_1_1² + b_2_5⁷·b_2_6·b_1_1² + b_2_5⁷·b_2_6² + b_2_5⁸·b_2_6
       + a_9_28·b_9_44 + a_9_28·b_9_43 + b_2_6²·b_5_20·a_9_28 + b_2_6⁶·a_1_2·b_5_20
       + b_2_5·b_2_6³·a_10_37 + b_2_5²·b_2_6²·a_10_37 + b_2_5⁴·a_10_37
       + a_2_4·b_2_5·b_2_6⁷ + a_2_4·b_2_5²·b_2_6·b_10_52 + a_2_4·b_2_5³·b_5_19·b_5_20
       + a_2_4·b_2_5⁴·b_2_6⁴ + a_2_4·b_2_5⁵·b_2_6³ + a_2_4·b_2_5⁷·b_2_6
       + a_2_4·b_2_5⁸ + a_2_3·b_2_6·b_5_19·b_9_44 + a_2_3·b_2_6³·b_10_52
       + a_2_3·b_2_6⁵·b_1_1·b_5_19 + a_2_3·b_2_6⁷·b_1_1² + a_2_3·b_2_6⁸
       + a_2_3·b_2_5²·b_2_6·b_10_52 + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19
       + a_2_3·b_2_5²·b_2_6⁶ + a_2_3·b_2_5³·b_2_6⁵ + a_2_3·b_2_5⁵·b_2_6³
       + a_2_3·b_2_5⁷·b_1_1² + a_2_3·b_2_5⁷·b_2_6 + a_2_3·b_2_5⁸ + a_9_28²
       + a_2_4·b_2_6·b_5_20·a_9_28 + a_2_4·b_2_6³·a_10_37 + a_2_4·b_2_5·b_2_6²·a_10_37
       + a_2_4·b_2_5²·b_2_6·a_10_37 + a_2_4·b_2_5³·a_10_37 + a_2_4²·b_2_6⁷
       + a_2_4²·b_2_5·b_2_6⁶ + a_2_4²·b_2_5³·b_2_6⁴ + a_2_4²·b_2_5⁵·b_2_6²
       + a_2_4·b_2_6⁷·a_1_2² + a_2_4²·b_2_6²·a_10_37 + a_2_4²·b_2_5·b_2_6·a_10_37
       + a_2_4³·b_2_5·b_5_19·b_5_20 + a_2_4³·b_2_5⁵·b_2_6 + a_2_4³·b_2_5⁶
       + a_2_3·b_2_6⁷·a_1_2² + b_2_6³·a_1_2³·a_9_28 + b_2_6³·a_1_0·a_1_2²·a_9_28
       + b_2_6⁷·a_1_2⁴ + c_16_113·a_1_0·a_1_2
55. b_9_43·b_9_44 + b_2_6⁴·b_1_1·b_9_44 + b_2_6⁴·b_10_52 + b_2_6⁶·b_1_1·b_5_19
       + b_2_5·b_2_6·b_5_19·b_9_44 + b_2_5·b_2_6³·b_1_1·b_9_44 + b_2_5·b_2_6⁵·b_1_1·b_5_19
       + b_2_5²·b_5_19·b_9_44 + b_2_5²·b_2_6²·b_5_19·b_5_20 + b_2_5²·b_2_6²·b_10_52
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5²·b_2_6⁶·b_1_1² + b_2_5²·b_2_6⁷
       + b_2_5³·b_2_6·b_10_52 + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5³·b_2_6⁶
       + b_2_5⁴·b_2_6⁴·b_1_1² + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6·b_1_1·b_5_19
       + b_2_5⁶·b_2_6²·b_1_1² + b_2_5⁷·b_2_6·b_1_1² + b_2_5⁷·b_2_6² + b_2_5⁸·b_2_6
       + a_9_28·b_9_43 + b_2_6⁴·a_10_37 + b_2_6⁶·a_1_2·b_5_20 + b_2_5³·b_2_6·a_10_37
       + b_2_5⁴·a_10_37 + a_2_4·b_2_6³·b_10_52 + a_2_4·b_2_5·b_2_6²·b_10_52
       + a_2_4·b_2_5·b_2_6⁷ + a_2_4·b_2_5³·b_5_19·b_5_20 + a_2_4·b_2_5³·b_10_52
       + a_2_4·b_2_5⁴·b_2_6⁴ + a_2_4·b_2_5⁶·b_2_6² + a_2_3·b_2_6⁵·b_1_1·b_5_19
       + a_2_3·b_2_6⁸ + a_2_3·b_2_5·b_2_6⁴·b_1_1·b_5_19 + a_2_3·b_2_5·b_2_6⁷
       + a_2_3·b_2_5²·b_2_6·b_10_52 + a_2_3·b_2_5²·b_2_6⁶ + a_2_3·b_2_5³·b_10_52
       + a_2_3·b_2_5³·b_2_6⁵ + a_2_3·b_2_5⁴·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴
       + a_2_3·b_2_5⁵·b_2_6³ + a_2_3·b_2_5⁶·b_2_6² + a_2_3·b_2_5⁷·b_2_6 + a_9_28²
       + b_2_6⁴·a_1_2·a_9_28 + a_2_4·b_2_6³·a_10_37 + a_2_4·b_2_6⁵·a_1_2·b_5_20
       + a_2_4·b_2_5²·b_2_6·a_10_37 + a_2_4·b_2_5⁵·a_1_2·b_5_20 + a_2_4²·b_2_5³·b_2_6⁴
       + a_2_4²·b_2_5⁴·b_2_6³ + a_2_4²·b_2_5⁵·b_2_6² + a_2_4²·b_2_5⁷
       + b_2_6·a_1_2²·b_5_20·a_9_28 + a_2_4³·b_2_5·b_5_19·b_5_20
       + a_2_4³·b_2_5⁴·b_2_6² + a_2_4³·b_2_5⁵·b_2_6 + a_2_3·b_2_6³·a_1_2·a_9_28
       + a_2_3·b_2_6⁷·a_1_2² + a_2_4·b_2_6²·a_1_2³·a_9_28 + b_2_6²·a_1_2⁵·a_9_28
       + c_16_113·a_1_2²
56. a_10_37·b_9_44 + a_10_37·b_9_43 + b_2_6²·a_10_37·b_5_20 + b_2_5³·b_2_6²·a_9_28
       + b_2_5⁵·a_9_28 + a_2_4·b_2_5³·b_2_6·b_9_43 + a_2_4·b_2_5³·b_2_6³·b_5_20
       + a_2_4·b_2_5⁴·b_2_6²·b_5_20 + a_2_4·b_2_5⁵·b_2_6·b_5_20
       + a_2_4·b_2_5⁵·b_2_6·b_5_19 + a_2_4·b_2_5⁶·b_5_20 + a_2_4·b_2_5⁶·b_5_19
       + a_2_3·b_2_6⁴·b_9_44 + a_2_3·b_2_6⁶·b_5_19 + a_2_3·b_2_5·b_2_6⁵·b_5_19
       + a_2_3·b_2_5·b_2_6⁷·b_1_1 + a_2_3·b_2_5²·b_2_6⁴·b_5_19
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5⁴·b_9_44 + a_2_3·b_2_5⁴·b_2_6²·b_5_19
       + a_2_3·b_2_5⁵·b_2_6·b_5_19 + a_2_3·b_2_5⁶·b_5_19 + a_2_3·b_2_5⁷·b_2_6·b_1_1
       + a_2_3·b_2_5⁸·b_1_1 + a_10_37·a_9_28 + a_2_4·b_2_5·a_10_37·b_5_20
       + a_2_4·b_2_5²·b_2_6²·a_9_28 + a_2_4·b_2_5⁴·a_9_28 + a_2_4·b_2_5⁸·a_1_2
       + a_2_4²·b_2_5·b_2_6²·b_9_43 + a_2_4²·b_2_5³·b_9_43
       + a_2_4²·b_2_5³·b_2_6²·b_5_19 + a_2_4²·b_2_5⁴·b_2_6·b_5_20
       + a_2_4²·b_2_5⁵·b_5_20 + a_2_4²·b_2_5⁵·b_5_19 + a_2_3·b_2_6⁴·a_9_28
       + a_2_4·b_2_6·a_1_2·b_5_20·a_9_28 + a_2_4²·a_10_37·b_5_20 + a_2_4²·b_2_5³·a_9_28
       + a_2_4³·b_2_5²·b_2_6²·b_5_20 + a_2_4·b_2_6⁷·a_1_2³ + b_2_6⁷·a_1_2⁵
       + a_2_4·b_2_6²·a_1_2⁴·a_9_28
57. b_10_52·b_9_43 + b_2_5·b_2_6·b_10_52·b_5_19 + b_2_5·b_2_6⁴·b_9_44
       + b_2_5·b_2_6⁶·b_5_19 + b_2_5²·b_10_52·b_5_19 + b_2_5²·b_2_6⁵·b_5_19
       + b_2_5³·b_2_6²·b_9_44 + b_2_5³·b_2_6²·b_9_43 + b_2_5³·b_2_6⁴·b_5_20
       + b_2_5³·b_2_6⁴·b_5_19 + b_2_5⁴·b_2_6·b_9_43 + b_2_5⁵·b_9_43
       + b_2_5⁵·b_2_6²·b_5_20 + b_2_5⁷·b_5_19 + a_10_37·b_9_43 + b_2_5·b_2_6⁴·a_9_28
       + b_2_5⁵·a_9_28 + a_2_4·b_2_6⁶·b_5_20 + a_2_4·b_2_5⁴·b_2_6²·b_5_20
       + a_2_4·b_2_5⁴·b_2_6²·b_5_19 + a_2_4·b_2_5⁵·b_2_6·b_5_20
       + a_2_4·b_2_5⁵·b_2_6·b_5_19 + a_2_4·b_2_5⁶·b_5_20 + a_2_4·b_2_5⁶·b_5_19
       + a_2_3·b_2_6⁶·b_5_19 + a_2_3·b_2_5·b_2_6³·b_9_44 + a_2_3·b_2_5²·b_2_6²·b_9_44
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5³·b_2_6·b_9_44
       + a_2_3·b_2_5³·b_2_6³·b_5_19 + a_2_3·b_2_5³·b_2_6⁵·b_1_1
       + a_2_3·b_2_5⁴·b_2_6²·b_5_19 + a_2_3·b_2_5⁶·b_5_19 + a_2_3·b_2_5⁸·b_1_1
       + a_2_4·b_2_6⁸·a_1_2 + a_2_4·b_2_5³·b_2_6·a_9_28 + a_2_4·b_2_5⁴·a_9_28
       + a_2_4²·b_2_5·b_2_6⁴·b_5_20 + a_2_4²·b_2_5²·b_2_6·b_9_43
       + a_2_4²·b_2_5²·b_2_6³·b_5_20 + a_2_4²·b_2_5³·b_9_43
       + a_2_4²·b_2_5³·b_2_6²·b_5_20 + a_2_4²·b_2_5⁴·b_2_6·b_5_20
       + a_2_4²·b_2_5⁴·b_2_6·b_5_19 + a_2_4²·b_2_5⁵·b_5_20 + a_2_3·b_2_6⁴·a_9_28
       + b_2_6⁴·a_1_0·a_1_2·a_9_28 + a_2_4²·a_10_37·b_5_20 + a_2_4²·b_2_5³·a_9_28
       + a_2_4²·b_2_5⁷·a_1_2 + a_2_4³·b_2_5²·b_2_6²·b_5_20 + a_2_4³·b_2_5⁴·b_5_20
       + a_2_4³·b_2_5⁴·b_5_19 + a_2_4·b_2_6³·a_1_2²·a_9_28
       + a_2_4·b_2_6²·a_1_2⁴·a_9_28
58. b_10_52·a_9_28 + a_10_37·b_9_43 + b_2_6²·a_10_37·b_5_20 + b_2_5·b_2_6·a_10_37·b_5_20
       + b_2_5³·b_2_6²·a_9_28 + a_2_4·b_2_5³·b_2_6³·b_5_20
       + a_2_4·b_2_5⁴·b_2_6²·b_5_20 + a_2_4·b_2_5⁴·b_2_6²·b_5_19
       + a_2_4·b_2_5⁵·b_2_6·b_5_20 + a_2_4·b_2_5⁶·b_5_20 + a_2_4·b_2_5⁶·b_5_19
       + a_2_3·b_2_6·b_10_52·b_5_19 + a_2_3·b_2_6⁴·b_9_44 + a_2_3·b_2_5·b_2_6³·b_9_44
       + a_2_3·b_2_5·b_2_6⁷·b_1_1 + a_2_3·b_2_5²·b_2_6²·b_9_44
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5⁵·b_2_6·b_5_19
       + a_2_3·b_2_5⁵·b_2_6³·b_1_1 + a_2_3·b_2_5⁶·b_5_19 + a_2_3·b_2_5⁶·b_2_6²·b_1_1
       + a_2_3·b_2_5⁸·b_1_1 + a_10_37·a_9_28 + b_2_6²·a_1_2·b_5_20·a_9_28
       + b_2_6⁶·a_1_2²·b_5_20 + a_2_4·b_2_6·a_10_37·b_5_20 + a_2_4·b_2_6⁸·a_1_2
       + a_2_4·b_2_5·a_10_37·b_5_20 + a_2_4·b_2_5⁴·a_9_28 + a_2_4·b_2_5⁸·a_1_2
       + a_2_4²·b_2_5³·b_9_43 + a_2_4²·b_2_5³·b_2_6²·b_5_19 + a_2_4²·b_2_5⁵·b_5_20
       + a_2_4²·b_2_5⁵·b_5_19 + a_2_3·b_2_6⁴·a_9_28 + b_2_6⁴·a_1_2²·a_9_28
       + b_2_6⁴·a_1_0·a_1_2·a_9_28 + a_2_4²·b_2_5·b_2_6²·a_9_28
       + a_2_4²·b_2_5²·b_2_6·a_9_28 + a_2_4²·b_2_5⁷·a_1_2 + a_2_4³·b_2_5³·b_2_6·b_5_20
       + a_2_4³·b_2_5⁴·b_5_19 + a_2_4·b_2_6³·a_1_2²·a_9_28 + a_2_4·b_2_6⁷·a_1_2³
       + b_2_6⁷·a_1_2⁵
59. b_10_52·b_9_44 + b_10_52·b_9_43 + b_2_6²·b_10_52·b_5_19 + b_2_6⁵·b_9_44
       + b_2_6⁵·b_9_43 + b_2_6⁷·b_5_20 + b_2_6⁷·b_5_19 + b_2_5·b_2_6⁴·b_9_44
       + b_2_5·b_2_6⁴·b_9_43 + b_2_5·b_2_6⁶·b_5_19 + b_2_5²·b_1_1·b_5_19·b_9_44
       + b_2_5²·b_10_52·b_5_19 + b_2_5²·b_2_6³·b_9_44 + b_2_5²·b_2_6⁵·b_5_20
       + b_2_5²·b_2_6⁵·b_5_19 + b_2_5²·b_2_6⁷·b_1_1 + b_2_5³·b_2_6²·b_9_44
       + b_2_5³·b_2_6²·b_9_43 + b_2_5³·b_2_6⁴·b_5_20 + b_2_5³·b_2_6⁴·b_5_19
       + b_2_5⁴·b_2_6²·b_1_1²·b_5_19 + b_2_5⁴·b_2_6³·b_5_19 + b_2_5⁴·b_2_6⁵·b_1_1
       + b_2_5⁵·b_9_44 + b_2_5⁵·b_2_6²·b_5_20 + b_2_5⁵·b_2_6²·b_5_19
       + b_2_5⁶·b_1_1²·b_5_19 + b_2_6⁵·a_9_28 + b_2_5·b_2_6·a_10_37·b_5_20
       + b_2_5²·b_2_6³·a_9_28 + a_2_4·b_2_6⁴·b_9_43 + a_2_4·b_2_5²·b_2_6²·b_9_43
       + a_2_4·b_2_5⁴·b_2_6²·b_5_20 + a_2_4·b_2_5⁴·b_2_6²·b_5_19 + a_2_4·b_2_5⁶·b_5_20
       + a_2_3·b_2_6⁶·b_5_19 + a_2_3·b_2_6⁸·b_1_1 + a_2_3·b_2_5·b_10_52·b_5_19
       + a_2_3·b_2_5·b_2_6⁵·b_5_19 + a_2_3·b_2_5·b_2_6⁷·b_1_1
       + a_2_3·b_2_5²·b_2_6²·b_9_44 + a_2_3·b_2_5²·b_2_6⁴·b_5_19
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5³·b_2_6·b_9_44
       + a_2_3·b_2_5⁴·b_2_6²·b_5_19 + a_2_3·b_2_5⁵·b_2_6·b_5_19
       + a_2_3·b_2_5⁵·b_2_6³·b_1_1 + a_10_37·a_9_28 + b_2_6²·a_1_2·b_5_20·a_9_28
       + b_2_6⁶·a_1_2²·b_5_20 + a_2_4·b_2_5·a_10_37·b_5_20 + a_2_4·b_2_5·b_2_6³·a_9_28
       + a_2_4·b_2_5³·b_2_6·a_9_28 + a_2_4·b_2_5⁸·a_1_2 + a_2_4²·b_2_5·b_2_6⁴·b_5_20
       + a_2_4²·b_2_5³·b_9_43 + a_2_4²·b_2_5³·b_2_6²·b_5_19
       + a_2_4²·b_2_5⁴·b_2_6·b_5_20 + a_2_4²·b_2_5⁵·b_5_19 + a_1_2·a_9_28²
       + b_2_6⁴·a_1_2²·a_9_28 + b_2_6⁴·a_1_0·a_1_2·a_9_28 + b_2_6⁸·a_1_2³
       + b_2_6⁸·a_1_0·a_1_2² + a_2_4²·a_10_37·b_5_20 + a_2_4²·b_2_5·b_2_6²·a_9_28
       + a_2_4²·b_2_5⁷·a_1_2 + a_2_4³·b_2_5⁴·b_5_20 + a_2_4³·b_2_5⁴·b_5_19
       + a_2_4·b_2_6⁷·a_1_2³ + b_2_6⁷·a_1_2⁵ + a_2_4·b_2_6²·a_1_2⁴·a_9_28
       + b_2_6·c_16_113·b_1_1 + b_2_6·c_16_113·a_1_0 + b_2_5·c_16_113·a_1_0
       + a_2_3·c_16_113·b_1_1 + c_16_113·a_1_0·a_1_2²
60. a_10_37·b_9_43 + b_2_5·b_2_6⁴·a_9_28 + b_2_5²·b_2_6³·a_9_28 + b_2_5⁴·b_2_6·a_9_28
       + b_2_5⁵·a_9_28 + a_2_4·b_2_5·b_2_6³·b_9_43 + a_2_4·b_2_5·b_2_6⁵·b_5_20
       + a_2_4·b_2_5²·b_2_6²·b_9_43 + a_2_4·b_2_5³·b_2_6·b_9_43
       + a_2_4·b_2_5³·b_2_6³·b_5_20 + a_2_4·b_2_5⁴·b_9_43 + a_2_4·b_2_5⁴·b_2_6²·b_5_20
       + a_2_4·b_2_5⁶·b_5_20 + a_2_3·b_2_5·b_2_6⁵·b_5_19 + a_2_3·b_2_5²·b_2_6⁴·b_5_19
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5³·b_2_6³·b_5_19
       + a_2_3·b_2_5³·b_2_6⁵·b_1_1 + a_2_3·b_2_5⁶·b_5_19 + a_2_3·b_2_5⁷·b_2_6·b_1_1
       + a_2_3·b_2_5⁸·b_1_1 + a_2_4·b_2_6·a_10_37·b_5_20 + a_2_4·b_2_6⁸·a_1_2
       + a_2_4·b_2_5·a_10_37·b_5_20 + a_2_4·b_2_5·b_2_6³·a_9_28
       + a_2_4·b_2_5³·b_2_6·a_9_28 + a_2_4·b_2_5⁴·a_9_28 + a_2_4·b_2_5⁸·a_1_2
       + a_2_4²·b_2_6³·b_9_43 + a_2_4²·b_2_6⁵·b_5_20 + a_2_4²·b_2_5·b_2_6²·b_9_43
       + a_2_4²·b_2_5·b_2_6⁴·b_5_20 + a_2_4²·b_2_5²·b_2_6·b_9_43
       + a_2_4²·b_2_5²·b_2_6³·b_5_20 + a_2_4²·b_2_5³·b_9_43
       + a_2_4²·b_2_5⁴·b_2_6·b_5_20 + a_2_4²·b_2_5⁴·b_2_6·b_5_19
       + a_2_4²·b_2_5⁵·b_5_19 + a_1_2·a_9_28² + b_2_6⁴·a_1_2²·a_9_28
       + b_2_6⁸·a_1_0·a_1_2² + a_2_4·b_2_6·a_1_2·b_5_20·a_9_28 + a_2_4²·b_2_6³·a_9_28
       + a_2_4²·b_2_5·b_2_6²·a_9_28 + a_2_4²·b_2_5³·a_9_28 + a_2_4²·b_2_5⁷·a_1_2
       + a_2_4³·b_2_5²·b_2_6²·b_5_20 + a_2_4·b_2_6⁷·a_1_2³ + b_2_6³·a_1_2⁴·a_9_28
       + b_2_6⁷·a_1_2⁵ + a_2_4·b_2_6²·a_1_2⁴·a_9_28 + a_2_3·c_16_113·a_1_2
       + c_16_113·a_1_2³
61. a_10_37·a_9_28 + a_2_4·b_2_6·a_10_37·b_5_20 + a_2_4·b_2_6⁴·a_9_28
       + a_2_4·b_2_6⁸·a_1_2 + a_2_4·b_2_5·a_10_37·b_5_20 + a_2_4·b_2_5·b_2_6³·a_9_28
       + a_2_4·b_2_5³·b_2_6·a_9_28 + a_2_4·b_2_5⁴·a_9_28 + a_2_4·b_2_5⁸·a_1_2
       + a_2_4²·b_2_6⁵·b_5_20 + a_2_4²·b_2_5·b_2_6²·b_9_43
       + a_2_4²·b_2_5²·b_2_6·b_9_43 + a_2_4²·b_2_5²·b_2_6³·b_5_20
       + a_2_4²·b_2_5³·b_9_43 + a_2_4²·b_2_5³·b_2_6²·b_5_20
       + a_2_4²·b_2_5⁴·b_2_6·b_5_20 + a_1_2·a_9_28² + b_2_6⁸·a_1_0·a_1_2²
       + a_2_4²·a_10_37·b_5_20 + a_2_4²·b_2_6³·a_9_28 + a_2_4²·b_2_5³·a_9_28
       + a_2_4³·b_2_5²·b_2_6²·b_5_20 + a_2_4³·b_2_5⁴·b_5_20 + a_2_4·b_2_6⁷·a_1_2³
       + a_2_3·b_2_6³·a_1_2²·a_9_28 + b_2_6³·a_1_2⁴·a_9_28 + a_2_4·c_16_113·a_1_2
       + c_16_113·a_1_2³
62. b_10_52² + b_2_6⁵·b_1_1·b_9_44 + b_2_5·b_2_6⁶·b_1_1·b_5_19
       + b_2_5·b_2_6⁸·b_1_1² + b_2_5²·b_2_6⁷·b_1_1² + b_2_5³·b_2_6⁶·b_1_1²
       + b_2_5⁴·b_2_6·b_1_1·b_9_44 + b_2_5⁴·b_2_6⁶ + b_2_5⁵·b_2_6²·b_1_1·b_5_19
       + b_2_5⁵·b_2_6⁵ + b_2_5⁶·b_2_6·b_1_1·b_5_19 + b_2_5⁶·b_2_6³·b_1_1²
       + b_2_5⁶·b_2_6⁴ + b_2_5⁷·b_2_6²·b_1_1² + b_2_5⁷·b_2_6³ + b_2_5⁹·b_1_1²
       + b_2_5¹⁰ + a_2_3·b_2_6²·b_5_19·b_9_44 + a_2_3·b_2_6⁶·b_1_1·b_5_19 + a_2_3·b_2_6⁹
       + a_2_3·b_2_5·b_2_6³·b_10_52 + a_2_3·b_2_5·b_2_6⁸ + a_2_3·b_2_5³·b_2_6·b_10_52
       + a_2_3·b_2_5³·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁵
       + a_2_3·b_2_5⁵·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5⁵·b_2_6⁴ + a_2_3·b_2_5⁶·b_2_6³
       + a_2_3·b_2_5⁷·b_2_6² + a_2_3·b_2_5⁸·b_1_1² + a_10_37² + b_2_6·a_9_28²
       + b_2_6⁵·a_1_2·a_9_28 + b_2_6⁹·a_1_2² + a_2_4·b_2_6⁶·a_1_2·b_5_20
       + a_2_4·b_2_5·b_2_6³·a_10_37 + a_2_4·b_2_5⁶·a_1_2·b_5_20 + a_2_4²·b_2_6³·b_10_52
       + a_2_4²·b_2_6⁸ + a_2_4²·b_2_5·b_2_6²·b_10_52 + a_2_4²·b_2_5·b_2_6⁷
       + a_2_4²·b_2_5²·b_2_6·b_10_52 + a_2_4²·b_2_5²·b_2_6⁶
       + a_2_4²·b_2_5³·b_5_19·b_5_20 + a_2_4²·b_2_5³·b_2_6⁵
       + b_2_6²·a_1_2²·b_5_20·a_9_28 + a_2_4·b_2_6⁴·a_1_2·a_9_28 + a_2_4·b_2_6⁸·a_1_2²
       + a_2_4²·b_2_6·b_5_20·a_9_28 + a_2_4²·b_2_5²·b_2_6·a_10_37 + a_2_4³·b_2_5⁶·b_2_6
       + b_2_6⁴·a_1_2³·a_9_28 + a_2_4·b_2_6³·a_1_2³·a_9_28 + a_2_4·b_2_6⁷·a_1_2⁴
       + b_2_6·c_16_113·b_1_1² + b_2_6·c_16_113·a_1_2²
63. a_10_37·b_10_52 + b_2_5·b_2_6²·b_5_20·a_9_28 + b_2_5·b_2_6⁴·a_10_37
       + b_2_5²·b_2_6·b_5_20·a_9_28 + b_2_5²·b_2_6³·a_10_37 + b_2_5³·b_2_6²·a_10_37
       + b_2_5⁴·b_2_6·a_10_37 + b_2_5⁵·a_10_37 + a_2_4·b_2_5·b_2_6³·b_10_52
       + a_2_4·b_2_5²·b_2_6²·b_10_52 + a_2_4·b_2_5³·b_2_6·b_10_52 + a_2_4·b_2_5⁴·b_10_52
       + a_2_4·b_2_5⁴·b_2_6⁵ + a_2_4·b_2_5⁵·b_2_6⁴ + a_2_4·b_2_5⁸·b_2_6
       + a_2_4·b_2_5⁹ + a_2_3·b_2_6⁴·b_10_52 + a_2_3·b_2_5·b_2_6⁵·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6⁸ + a_2_3·b_2_5²·b_2_6⁷ + a_2_3·b_2_5³·b_2_6·b_10_52
       + a_2_3·b_2_5³·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁵
       + a_2_3·b_2_5⁷·b_2_6² + a_10_37² + a_2_4·b_2_6²·b_5_20·a_9_28
       + a_2_4·b_2_6⁶·a_1_2·b_5_20 + a_2_4·b_2_5²·b_2_6²·a_10_37 + a_2_4·b_2_5⁴·a_10_37
       + a_2_4·b_2_5⁶·a_1_2·b_5_20 + a_2_4²·b_2_6³·b_10_52
       + a_2_4²·b_2_5·b_2_6²·b_10_52 + a_2_4²·b_2_5·b_2_6⁷ + a_2_4²·b_2_5²·b_2_6⁶
       + a_2_4²·b_2_5³·b_5_19·b_5_20 + a_2_4²·b_2_5³·b_2_6⁵ + a_2_4²·b_2_5⁷·b_2_6
       + a_2_4·b_2_6⁴·a_1_2·a_9_28 + a_2_4·b_2_6⁸·a_1_2² + a_2_4²·b_2_6·b_5_20·a_9_28
       + a_2_4²·b_2_5²·b_2_6·a_10_37 + a_2_4²·b_2_5³·a_10_37
       + a_2_4²·b_2_5⁵·a_1_2·b_5_20 + a_2_4³·b_2_5⁵·b_2_6² + a_2_4³·b_2_5⁶·b_2_6
       + a_2_4³·b_2_5⁷ + a_2_3·b_2_6⁴·a_1_2·a_9_28 + a_1_2²·a_9_28²
       + b_2_6⁴·a_1_2³·a_9_28 + a_2_4·b_2_6⁷·a_1_2⁴ + b_2_6³·a_1_2⁵·a_9_28
       + a_2_3·c_16_113·a_1_2²
64. a_10_37² + a_2_4·b_2_6⁴·a_10_37 + a_2_4·b_2_5²·b_2_6²·a_10_37 + a_2_4²·b_2_6⁸
       + a_2_4²·b_2_5·b_2_6⁷ + a_2_4²·b_2_5²·b_2_6⁶ + a_2_4²·b_2_5³·b_5_19·b_5_20
       + a_2_4²·b_2_5⁴·b_2_6⁴ + a_2_4²·b_2_5⁵·b_2_6³ + a_2_4²·b_2_5⁸
       + a_2_4²·b_2_6·b_5_20·a_9_28 + a_2_4²·b_2_6³·a_10_37 + a_2_4²·b_2_5·b_5_20·a_9_28
       + a_2_4²·b_2_5·b_2_6²·a_10_37 + a_2_4²·b_2_5²·b_2_6·a_10_37
       + a_2_4²·b_2_5⁵·a_1_2·b_5_20 + a_2_4³·b_2_5²·b_5_19·b_5_20 + a_2_4³·b_2_5⁷
       + a_2_3·b_2_6⁴·a_1_2·a_9_28 + b_2_6⁴·a_1_2³·a_9_28 + b_2_6⁸·a_1_2⁴
       + a_2_4·b_2_6³·a_1_2³·a_9_28 + b_2_6³·a_1_2⁵·a_9_28 + a_2_4²·c_16_113

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Data used for Benson′s test

• Benson′s completion test succeeded in degree 20.
• The completion test was perfect: It applied in the last degree in which a generator or relation was found.
• The following is a filter regular homogeneous system of parameters:
  1. c_16_113, a Duflot regular element of degree 16
  2. b_2_6² + b_2_5·b_1_1² + b_2_5·b_2_6 + b_2_5², an element of degree 4
  3. b_2_6, an element of degree 2
• The Raw Filter Degree Type of that HSOP is [-1, 7, 17, 19].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -3].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

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_2 → 0, an element of degree 1
3. b_1_1 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → 0, an element of degree 2
7. b_2_6 → 0, an element of degree 2
8. b_5_19 → 0, an element of degree 5
9. b_5_20 → 0, an element of degree 5
10. a_9_28 → 0, an element of degree 9
11. b_9_43 → 0, an element of degree 9
12. b_9_44 → 0, an element of degree 9
13. a_10_37 → 0, an element of degree 10
14. b_10_52 → 0, an element of degree 10
15. c_16_113 → c_1_0¹⁶, an element of degree 16

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

1. a_1_0 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_1 → c_1_1, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → c_1_2² + c_1_1·c_1_2, an element of degree 2
7. b_2_6 → c_1_1², an element of degree 2
8. b_5_19 → c_1_2⁵ + c_1_1·c_1_2⁴ + c_1_1²·c_1_2³ + c_1_1⁴·c_1_2 + c_1_0²·c_1_1³
      + c_1_0⁴·c_1_1, an element of degree 5
9. b_5_20 → c_1_2⁵ + c_1_1²·c_1_2³ + c_1_1³·c_1_2² + c_1_1⁴·c_1_2 + c_1_0²·c_1_1³
      + c_1_0⁴·c_1_1, an element of degree 5
10. a_9_28 → 0, an element of degree 9
11. b_9_43 → c_1_2⁹ + c_1_1·c_1_2⁸ + c_1_1²·c_1_2⁷ + c_1_1⁴·c_1_2⁵ + c_1_1⁶·c_1_2³
       + c_1_1⁸·c_1_2 + c_1_0²·c_1_1³·c_1_2⁴ + c_1_0²·c_1_1⁶·c_1_2
       + c_1_0⁴·c_1_1·c_1_2⁴ + c_1_0⁴·c_1_1⁴·c_1_2, an element of degree 9
12. b_9_44 → c_1_1²·c_1_2⁷ + c_1_1³·c_1_2⁶ + c_1_1⁶·c_1_2³ + c_1_1⁸·c_1_2
       + c_1_0²·c_1_1³·c_1_2⁴ + c_1_0²·c_1_1⁶·c_1_2 + c_1_0²·c_1_1⁷
       + c_1_0⁴·c_1_1·c_1_2⁴ + c_1_0⁴·c_1_1⁴·c_1_2 + c_1_0⁸·c_1_1, an element of degree 9
13. a_10_37 → 0, an element of degree 10
14. b_10_52 → c_1_2¹⁰ + c_1_1²·c_1_2⁸ + c_1_1⁵·c_1_2⁵ + c_1_1⁶·c_1_2⁴ + c_1_1⁷·c_1_2³
       + c_1_1⁸·c_1_2² + c_1_0⁴·c_1_1⁶ + c_1_0⁸·c_1_1², an element of degree 10
15. c_16_113 → c_1_1³·c_1_2¹³ + c_1_1⁴·c_1_2¹² + c_1_1⁵·c_1_2¹¹ + c_1_1⁶·c_1_2¹⁰
       + c_1_1⁷·c_1_2⁹ + c_1_1⁸·c_1_2⁸ + c_1_1⁹·c_1_2⁷ + c_1_1¹⁰·c_1_2⁶
       + c_1_1¹¹·c_1_2⁵ + c_1_1¹²·c_1_2⁴ + c_1_1¹³·c_1_2³ + c_1_1¹⁴·c_1_2²
       + c_1_0²·c_1_1⁶·c_1_2⁸ + c_1_0²·c_1_1¹²·c_1_2² + c_1_0²·c_1_1¹⁴
       + c_1_0⁴·c_1_1⁸·c_1_2⁴ + c_1_0⁴·c_1_1¹⁰·c_1_2² + c_1_0⁸·c_1_2⁸
       + c_1_0⁸·c_1_1⁴·c_1_2⁴ + c_1_0¹⁶, an element of degree 16

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

1. a_1_0 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_1 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → c_1_1², an element of degree 2
7. b_2_6 → c_1_2², an element of degree 2
8. b_5_19 → c_1_1³·c_1_2² + c_1_1⁵, an element of degree 5
9. b_5_20 → c_1_1·c_1_2⁴ + c_1_1³·c_1_2² + c_1_1⁴·c_1_2 + c_1_1⁵, an element of degree 5
10. a_9_28 → 0, an element of degree 9
11. b_9_43 → c_1_1·c_1_2⁸ + c_1_1³·c_1_2⁶ + c_1_1⁷·c_1_2² + c_1_1⁹, an element of degree 9
12. b_9_44 → c_1_1⁴·c_1_2⁵ + c_1_1⁷·c_1_2², an element of degree 9
13. a_10_37 → 0, an element of degree 10
14. b_10_52 → c_1_1⁴·c_1_2⁶ + c_1_1⁵·c_1_2⁵ + c_1_1⁶·c_1_2⁴ + c_1_1⁷·c_1_2³ + c_1_1¹⁰, an element of degree 10
15. c_16_113 → c_1_1²·c_1_2¹⁴ + c_1_1⁷·c_1_2⁹ + c_1_1¹¹·c_1_2⁵ + c_1_1¹³·c_1_2³
       + c_1_1¹⁴·c_1_2² + c_1_1¹⁵·c_1_2 + c_1_0⁴·c_1_1⁴·c_1_2⁸
       + c_1_0⁴·c_1_1⁸·c_1_2⁴ + c_1_0⁸·c_1_2⁸ + c_1_0⁸·c_1_1⁴·c_1_2⁴
       + c_1_0⁸·c_1_1⁸ + c_1_0¹⁶, an element of degree 16

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128