David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 1478 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 4 minimal generators and exponent 4.
• It is non-abelian.
• It has p-Rank 4.
• Its center has rank 3.
• It has 2 conjugacy classes of maximal elementary abelian subgroups, which are all of rank 4.

Structure of the cohomology ring

General information

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

  t8  −  t7  +  3·t6  +  t5  +  3·t4  +  5·t3  +  t2  +  2·t  +  1

  (t  +  1)2 · (t  −  1)4 · (t2  +  1)3

• The a-invariants are -∞,-∞,-∞,-5,-4. 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 19 minimal generators of maximal degree 5:

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. b_1_2, an element of degree 1
4. b_1_3, an element of degree 1
5. a_3_3, a nilpotent element of degree 3
6. a_3_5, a nilpotent element of degree 3
7. b_3_6, an element of degree 3
8. b_3_8, an element of degree 3
9. b_3_9, an element of degree 3
10. b_3_10, an element of degree 3
11. b_3_11, an element of degree 3
12. b_3_12, an element of degree 3
13. c_4_21, a Duflot regular element of degree 4
14. c_4_22, a Duflot regular element of degree 4
15. c_4_23, a Duflot regular element of degree 4
16. b_5_33, an element of degree 5
17. b_5_34, an element of degree 5
18. b_5_35, an element of degree 5
19. b_5_36, an element of degree 5

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 103 minimal relations of maximal degree 10:

1. a_1_1·b_1_2 + a_1_1² + a_1_0²
2. b_1_2·b_1_3 + b_1_2² + a_1_1·b_1_3 + a_1_0·a_1_1 + a_1_0²
3. a_1_0·b_1_3 + a_1_0·b_1_2 + a_1_1² + a_1_0·a_1_1 + a_1_0²
4. a_1_0·a_1_1²
5. a_1_0²·a_1_1 + a_1_0³
6. a_1_1²·b_1_3 + a_1_0³
7. a_1_1·b_3_8 + a_1_1·b_3_6 + a_1_1·a_3_3 + a_1_0·a_3_3
8. b_1_2·a_3_3 + a_1_0·b_3_8 + a_1_0·b_3_6 + a_1_1·a_3_3 + a_1_0·a_3_3
9. b_1_3·b_3_8 + b_1_3·b_3_6 + b_1_2·b_3_8 + b_1_2·b_3_6 + b_1_3·a_3_3 + b_1_2·a_3_3
      + a_1_1·b_3_6 + a_1_1·b_1_3³
10. b_1_3·b_3_6 + b_1_2·b_3_9 + b_1_2·b_3_8 + b_1_2⁴ + b_1_3·a_3_3 + b_1_2·a_3_3
       + a_1_1·b_1_3³ + a_1_0·b_3_6
11. b_1_3·b_3_6 + b_1_2·b_3_6 + b_1_3·a_3_3 + b_1_2·a_3_3 + a_1_1·b_3_9 + a_1_1·b_3_6
       + a_1_1·b_1_3³ + a_1_0·a_3_3
12. b_1_2·a_3_3 + a_1_1·b_3_6 + a_1_0·b_3_9 + a_1_0·b_1_2³
13. a_1_1·b_3_10 + a_1_1·b_3_6 + a_1_1·a_3_5 + a_1_1·a_3_3 + a_1_0·a_3_5
14. b_1_2·a_3_5 + a_1_0·b_3_10 + a_1_0·b_3_6 + a_1_1·a_3_5 + a_1_0·a_3_5 + a_1_0·a_3_3
15. b_1_3·b_3_10 + b_1_2·b_3_10 + b_1_3·a_3_3 + b_1_2·a_3_3 + a_1_1·b_1_3³ + a_1_1·a_3_3
       + a_1_0·a_3_5
16. b_1_2·b_3_11 + b_1_2·b_3_10 + b_1_3·a_3_3 + b_1_2·a_3_5 + b_1_2·a_3_3 + a_1_1·b_1_3³
       + a_1_0·b_3_6 + a_1_0·b_1_2³ + a_1_0·a_3_3
17. b_1_3·a_3_3 + b_1_2·a_3_3 + a_1_1·b_3_11 + a_1_1·b_3_6 + a_1_1·b_1_3³ + a_1_0·a_3_5
       + a_1_0·a_3_3
18. b_1_2·a_3_5 + a_1_0·b_3_11 + a_1_0·b_3_6 + a_1_1·a_3_5 + a_1_1·a_3_3 + a_1_0·a_3_3
19. b_1_3·b_3_6 + b_1_2·b_3_12 + b_1_2·b_3_8 + b_1_2·b_3_6 + b_1_2⁴ + b_1_3·a_3_5
       + b_1_2·a_3_5 + b_1_2·a_3_3 + a_1_1·b_3_6 + a_1_0·b_3_6 + a_1_1·a_3_5 + a_1_1·a_3_3
       + a_1_0·a_3_3
20. b_1_3·b_3_6 + b_1_2·b_3_6 + b_1_3·a_3_5 + b_1_2·a_3_5 + a_1_1·b_3_12 + a_1_1·a_3_5
       + a_1_1·a_3_3 + a_1_0·a_3_5
21. b_1_2·a_3_3 + a_1_1·b_3_6 + a_1_0·b_3_12 + a_1_0·b_3_6 + a_1_0·b_1_2³ + a_1_1·a_3_5
       + a_1_1·a_3_3
22. a_1_1²·a_3_3
23. a_1_1²·b_3_9 + a_1_0·a_1_1·a_3_5 + a_1_0·a_1_1·a_3_3 + a_1_0²·a_3_5 + a_1_0²·a_3_3
24. a_1_1²·b_3_11 + a_1_1²·a_3_5 + a_1_0·a_1_1·a_3_5 + a_1_0·a_1_1·a_3_3 + a_1_0²·a_3_3
25. a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_10 + a_3_3·b_3_6 + a_3_3²
26. b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_11 + b_3_6·b_3_11 + b_1_2³·b_3_10
       + a_3_5·b_3_10 + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_9 + a_3_3·b_3_8
       + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10 + a_3_3·a_3_5
27. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_9 + b_3_6²
       + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_11
       + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_11 + a_1_1·b_1_3²·b_3_9
       + a_1_0·b_1_2²·b_3_8
28. b_3_10·b_3_12 + b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_6·b_3_10 + b_3_6·b_3_9
       + b_3_6·b_3_8 + b_3_6² + b_1_2³·b_3_6 + a_3_5·b_3_12 + a_3_5·b_3_10 + a_3_5·b_3_9
       + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_5² + a_3_3²
29. b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_6·b_3_12 + b_3_6·b_3_10
       + b_3_6·b_3_9 + b_3_6² + b_1_2³·b_3_10 + a_3_5·b_3_11 + a_3_5·b_3_9 + a_3_5·b_3_8
       + a_3_5·b_3_6 + a_3_3·b_3_6 + a_1_0·b_1_2²·b_3_6 + a_3_5²
30. b_3_10·b_3_11 + b_3_10² + b_3_8·b_3_12 + b_3_8·b_3_9 + b_3_6·b_3_11 + b_3_6·b_3_10
       + b_3_6·b_3_8 + a_3_5·b_3_10 + a_3_5·b_3_9 + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_8
31. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_9 + b_3_6²
       + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11 + a_3_5·b_3_10
       + a_3_3·b_3_12 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_12 + a_1_0·b_1_2²·b_3_8
       + a_3_5² + a_3_3·a_3_5 + a_3_3²
32. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_6·b_3_10 + b_3_6² + b_1_2⁶ + a_3_5·b_3_6 + a_3_3·b_3_9
       + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5 + a_3_3² + c_4_21·b_1_2²
       + c_4_21·a_1_0·b_1_2 + c_4_21·a_1_1²
33. b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6
       + b_1_2⁶ + a_3_3·b_3_9 + a_3_3·b_3_8 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_8
       + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_3² + c_4_21·b_1_2² + c_4_21·a_1_0·a_1_1
       + c_4_21·a_1_0²
34. b_3_10·b_3_11 + b_3_10² + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_10
       + b_3_6·b_3_9 + b_3_6² + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_10 + a_3_5·b_3_8
       + a_3_5·b_3_6 + a_3_3·b_3_11 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5 + c_4_21·a_1_1·b_1_3
35. b_3_11² + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11
       + b_3_6·b_3_9 + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2³·b_3_10 + a_3_5·b_3_11
       + a_3_5·b_3_10 + a_3_3·b_3_12 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_9
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5
       + c_4_21·b_1_3²
36. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8² + b_3_6·b_3_10 + b_3_6² + b_1_2³·b_3_10
       + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_6 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6
       + a_1_1·b_1_3²·b_3_9 + a_3_3·a_3_5 + a_3_3² + c_4_22·b_1_2² + c_4_21·a_1_0·b_1_2
37. b_3_10·b_3_11 + b_3_10² + b_3_6·b_3_11 + b_3_6·b_3_10 + b_3_6² + b_1_2³·b_3_10
       + b_1_2⁶ + a_3_5·b_3_10 + a_3_3·b_3_9 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_3² + c_4_21·b_1_2² + c_4_22·a_1_0·b_1_2
       + c_4_21·a_1_0·a_1_1
38. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_10 + b_3_6·b_3_9
       + b_1_2³·b_3_8 + b_1_2³·b_3_6 + b_1_2⁶ + a_3_5·b_3_6 + a_3_3·b_3_6
       + a_1_0·b_1_2²·b_3_10 + a_3_3·a_3_5 + a_3_3² + c_4_21·b_1_2² + c_4_21·a_1_0·b_1_2
       + c_4_22·a_1_1² + c_4_21·a_1_0·a_1_1
39. b_3_10·b_3_11 + b_3_10² + b_3_6·b_3_11 + b_3_6·b_3_10 + b_3_6² + b_1_2³·b_3_10
       + b_1_2⁶ + a_3_5·b_3_10 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_9
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2⁵ + c_4_21·b_1_2²
       + c_4_22·a_1_0·a_1_1
40. b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_6·b_3_10 + b_3_6² + b_1_2⁶ + a_3_5·b_3_6 + a_3_3·b_3_9
       + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5 + c_4_21·b_1_2²
       + c_4_21·a_1_0·b_1_2 + c_4_22·a_1_0²
41. b_3_6·b_3_11 + b_3_6·b_3_10 + b_3_6·b_3_9 + b_3_6·b_3_8 + b_3_6² + b_1_2³·b_3_6
       + a_3_5·b_3_8 + a_3_3·b_3_11 + a_3_3·b_3_6 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5 + a_3_3²
       + c_4_22·a_1_1·b_1_3
42. b_3_9² + b_1_3³·b_3_11 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + b_1_2⁶
       + a_3_5·b_3_11 + a_3_5·b_3_10 + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_12 + a_3_3·b_3_11
       + a_3_3·b_3_9 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_5² + a_3_3·a_3_5
       + c_4_22·b_1_3²
43. b_3_12² + b_3_10² + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_10 + b_1_3³·b_3_11
       + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_6 + b_1_2⁶ + a_3_5·b_3_8 + a_3_3·b_3_11
       + a_3_3·b_3_9 + a_3_3·b_3_8 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_8
       + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_5² + a_3_3·a_3_5 + c_4_23·b_1_2²
       + c_4_21·b_1_2² + c_4_21·a_1_0·b_1_2 + c_4_21·a_1_0·a_1_1
44. b_3_10·b_3_12 + b_3_9·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_9
       + b_3_6² + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11 + a_3_5·b_3_8 + a_3_5·b_3_6
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_5² + a_3_3²
       + c_4_23·a_1_0·b_1_2 + c_4_21·a_1_0·b_1_2 + c_4_21·a_1_0·a_1_1
45. b_3_12² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_6·b_3_11 + b_3_6·b_3_9
       + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2⁶ + a_3_5·b_3_8 + a_3_5·b_3_6
       + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_1·b_1_3²·b_3_9
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + c_4_21·b_1_2²
       + c_4_23·a_1_1²
46. b_3_10·b_3_12 + b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_9 + b_3_8²
       + b_3_6·b_3_10 + b_3_6·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + b_1_2⁶
       + a_3_5·b_3_11 + a_3_5·b_3_8 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6
       + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5
       + a_3_3² + c_4_21·b_1_2² + c_4_21·a_1_0·b_1_2 + c_4_23·a_1_0·a_1_1
47. b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_9 + b_3_6² + b_1_2³·b_3_8 + b_1_2³·b_3_6
       + a_3_3·b_3_9 + a_3_3·b_3_8 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_8
       + a_1_0·b_1_2²·b_3_6 + a_3_5² + c_4_23·a_1_0² + c_4_21·a_1_0·a_1_1
48. b_3_10·b_3_11 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_11 + b_3_6·b_3_10 + b_3_6·b_3_9
       + b_3_6·b_3_8 + b_3_6² + b_1_2·b_5_33 + b_1_2³·b_3_10 + b_1_2³·b_3_6 + b_1_2⁶
       + a_3_5·b_3_6 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_3·a_3_5 + a_3_3² + c_4_21·b_1_2²
       + c_4_23·a_1_1·b_1_3
49. b_3_12² + b_3_10·b_3_12 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_6·b_3_9 + b_3_6²
       + b_1_3³·b_3_11 + b_1_3³·b_3_9 + a_3_5·b_3_11 + a_3_5·b_3_10 + a_3_5·b_3_6 + a_3_3·b_3_11
       + a_3_3·b_3_9 + a_3_3·b_3_8 + a_1_1·b_5_33 + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_8
       + a_3_3·a_3_5 + a_3_3² + c_4_23·a_1_1·b_1_3 + c_4_21·a_1_0·b_1_2 + c_4_21·a_1_0·a_1_1
50. b_3_12² + b_3_10·b_3_12 + b_3_9·b_3_10 + b_3_8² + b_3_6·b_3_10 + b_1_3³·b_3_11
       + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11
       + a_3_5·b_3_6 + a_3_3·b_3_11 + a_3_3·b_3_6 + a_1_0·b_5_33 + a_1_0·b_1_2²·b_3_8
       + a_1_0·b_1_2²·b_3_6 + a_3_5² + a_3_3·a_3_5 + c_4_21·a_1_0·b_1_2
51. b_3_12² + b_3_9·b_3_11 + b_3_9·b_3_10 + b_3_8² + b_3_6·b_3_8 + b_1_3·b_5_33
       + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11
       + a_3_5·b_3_9 + a_3_5·b_3_8 + a_3_3·b_3_12 + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_6
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2⁵ + a_3_5² + a_3_3²
       + c_4_23·b_1_3² + c_4_23·a_1_1·b_1_3
52. b_3_12² + b_3_10·b_3_12 + b_3_8·b_3_9 + b_3_6·b_3_10 + b_3_6² + b_1_3³·b_3_11
       + b_1_3³·b_3_9 + b_1_2·b_5_34 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11
       + a_3_5·b_3_10 + a_3_5·b_3_8 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2⁵ + c_4_23·a_1_1·b_1_3
       + c_4_21·a_1_0·a_1_1
53. b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_8 + b_3_6² + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2⁶
       + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_11 + a_1_1·b_5_34 + a_1_1·b_1_3²·b_3_9
       + a_1_0·b_1_2²·b_3_10 + a_3_5² + c_4_21·b_1_2² + c_4_23·a_1_1·b_1_3
       + c_4_21·a_1_0·b_1_2 + c_4_21·a_1_0·a_1_1
54. b_3_12² + b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8²
       + b_3_6·b_3_10 + b_3_6² + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8
       + b_1_2³·b_3_6 + b_1_2⁶ + a_3_5·b_3_10 + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_8
       + a_1_1·b_1_3²·b_3_9 + a_1_0·b_5_34 + a_3_5² + a_3_3·a_3_5 + a_3_3² + c_4_21·b_1_2²
55. b_3_12² + b_3_11² + b_3_10·b_3_12 + b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_9²
       + b_3_8·b_3_10 + b_3_6·b_3_11 + b_3_6·b_3_10 + b_3_6·b_3_8 + b_3_6² + b_1_3·b_5_34
       + b_1_2³·b_3_10 + a_3_5·b_3_11 + a_3_5·b_3_9 + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_12
       + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_6 + a_3_5² + a_3_3·a_3_5 + a_3_3²
       + c_4_23·b_1_3²
56. b_3_12² + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8² + b_3_6·b_3_9 + b_3_6²
       + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2·b_5_35 + b_1_2⁶ + a_3_5·b_3_11 + a_3_5·b_3_9
       + a_3_5·b_3_6 + a_3_3·b_3_11 + a_3_3·b_3_9 + a_3_3·b_3_8 + a_3_3·b_3_6
       + a_1_1·b_1_3²·b_3_9 + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2⁵ + a_3_3²
       + c_4_21·b_1_2² + c_4_23·a_1_1·b_1_3 + c_4_21·a_1_0·a_1_1
57. b_3_10·b_3_12 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_8² + b_3_6·b_3_8 + b_3_6²
       + b_1_2³·b_3_8 + b_1_2⁶ + a_3_5·b_3_9 + a_3_5·b_3_6 + a_1_1·b_5_35
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_5² + a_3_3·a_3_5
       + c_4_21·b_1_2² + c_4_23·a_1_1·b_1_3
58. b_3_12² + b_3_10·b_3_11 + b_3_10² + b_3_8² + b_3_6² + b_1_3³·b_3_11 + b_1_3³·b_3_9
       + b_1_2³·b_3_8 + b_1_2³·b_3_6 + b_1_2⁶ + a_3_5·b_3_8 + a_3_3·b_3_11 + a_1_0·b_5_35
       + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_1_0·b_1_2⁵ + a_3_5² + a_3_3²
       + c_4_21·b_1_2² + c_4_21·a_1_0·b_1_2
59. b_3_12² + b_3_11·b_3_12 + b_3_9·b_3_12 + b_3_9·b_3_11 + b_1_3·b_5_35 + b_1_3³·b_3_11
       + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2⁶ + a_3_5·b_3_10 + a_3_5·b_3_6
       + a_3_3·b_3_12 + a_3_3·b_3_11 + a_1_0·b_1_2²·b_3_8 + a_1_0·b_1_2²·b_3_6 + a_3_5²
       + a_3_3·a_3_5 + c_4_23·b_1_3²
60. b_3_10·b_3_12 + b_3_8·b_3_10 + b_3_8·b_3_9 + b_3_6·b_3_8 + b_3_6² + b_1_2·b_5_36
       + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2⁶ + a_3_5·b_3_11 + a_3_5·b_3_10 + a_3_5·b_3_8
       + a_3_3·b_3_12 + a_3_3·b_3_11 + a_3_3·b_3_8 + a_1_1·b_1_3²·b_3_9 + a_3_5²
       + c_4_23·a_1_1·b_1_3
61. b_3_12² + b_3_10·b_3_11 + b_3_10² + b_3_9·b_3_10 + b_3_8·b_3_10 + b_3_8·b_3_9
       + b_3_6·b_3_11 + b_3_6·b_3_8 + b_1_3³·b_3_11 + b_1_3³·b_3_9 + b_1_2³·b_3_6
       + a_3_5·b_3_10 + a_3_5·b_3_6 + a_3_3·b_3_12 + a_3_3·b_3_9 + a_1_1·b_5_36 + a_1_0·b_1_2⁵
       + a_3_5² + a_3_3·a_3_5 + a_3_3² + c_4_23·a_1_1·b_1_3
62. b_3_12² + b_3_10·b_3_12 + b_3_9·b_3_10 + b_3_8² + b_3_6·b_3_10 + b_1_3³·b_3_11
       + b_1_3³·b_3_9 + b_1_2³·b_3_10 + b_1_2³·b_3_8 + b_1_2³·b_3_6 + a_3_5·b_3_11
       + a_3_5·b_3_10 + a_3_3·b_3_11 + a_3_3·b_3_8 + a_3_3·b_3_6 + a_1_0·b_5_36
       + a_1_0·b_1_2²·b_3_10 + a_1_0·b_1_2²·b_3_6 + a_3_5² + a_3_3·a_3_5
63. b_3_12² + b_3_11·b_3_12 + b_3_10·b_3_12 + b_3_10² + b_3_9·b_3_11 + b_3_9²
       + b_3_8·b_3_10 + b_3_8² + b_3_6·b_3_10 + b_3_6² + b_1_3·b_5_36 + b_1_3³·b_3_12
       + a_3_5·b_3_8 + a_3_5·b_3_6 + a_3_3·b_3_12 + a_3_3·b_3_9 + a_1_1·b_1_3²·b_3_9
       + a_3_3·a_3_5 + a_3_3² + c_4_23·b_1_3² + c_4_23·a_1_1·b_1_3
64. a_1_1²·b_5_33 + a_1_0²·b_5_34 + a_1_0·a_3_3·a_3_5 + c_4_22·a_1_0³
65. a_3_3·b_5_33 + a_1_1·b_1_3⁴·b_3_11 + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_8
       + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_1_3³
       + c_4_23·a_1_0·b_3_9 + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_6 + c_4_21·a_1_1·b_3_9
       + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6 + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_1·a_3_3
       + c_4_23·a_1_0·a_3_5
66. b_3_8·b_5_33 + b_1_2³·b_5_34 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + a_1_1·b_1_3⁴·b_3_11
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_34 + a_1_0·b_1_2²·b_5_33
       + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·b_1_2·b_3_8
       + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_2·b_3_6 + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_0·b_3_9
       + c_4_23·a_1_0·b_3_6 + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_0·b_1_2³
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6
       + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_3
67. b_3_8·b_5_33 + b_1_2³·b_5_34 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + a_3_3·b_5_34
       + a_1_1·b_1_3⁴·b_3_11 + a_1_0·b_1_2⁴·b_3_8 + c_4_23·b_1_2·b_3_8 + c_4_22·b_1_2·b_3_6
       + c_4_21·b_1_2·b_3_6 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_1·b_1_3³
       + c_4_23·a_1_0·b_3_8 + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_9
       + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_11
       + c_4_21·a_1_1·b_1_3³ + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
68. b_3_11·b_5_34 + b_3_10·b_5_34 + b_3_9·b_5_33 + b_3_8·b_5_33 + b_1_2³·b_5_34 + b_1_2⁸
       + a_3_5·b_5_33 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_11 + a_1_0·b_1_2²·b_5_33
       + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_21·b_1_3·b_3_11 + c_4_21·b_1_2·b_3_10
       + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_9
       + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_9 + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_0·b_3_9
       + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_0·a_3_5 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5
69. b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_33 + b_1_3³·b_5_33
       + b_1_3⁵·b_3_11 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + b_1_2⁸ + a_3_5·b_5_34
       + a_3_5·b_5_33 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9
       + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3⁴
       + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6 + c_4_22·b_1_3⁴
       + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴ + c_4_21·b_1_3·b_3_9 + c_4_23·a_1_1·b_3_11
       + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_6 + c_4_23·a_1_0·b_1_2³
       + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_1·b_1_3³ + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_11
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_5 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_0·a_3_3
70. b_3_10·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_34 + b_1_2⁵·b_3_8 + b_1_2⁸
       + a_1_1·b_1_3⁴·b_3_11 + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_22·b_1_2·b_3_6
       + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2⁴ + c_4_23·a_1_0·b_3_10
       + c_4_23·a_1_0·b_3_8 + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6
       + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_5
       + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5
71. b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_9·b_5_34 + b_3_6·b_5_33 + b_1_3⁵·b_3_11
       + b_1_2³·b_5_34 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_6 + a_1_1·b_1_3²·b_5_33
       + a_1_1·b_1_3⁴·b_3_12 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_11
       + c_4_23·b_1_3·b_3_9 + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2⁴
       + c_4_22·b_1_3·b_3_9 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2·b_3_8
       + c_4_22·b_1_2⁴ + c_4_21·b_1_2·b_3_8 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_3_9
       + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_12
       + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_0·b_3_6 + c_4_21·a_1_1·b_1_3³
       + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_9 + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3
       + c_4_23·a_1_0·a_3_5 + c_4_22·a_1_1·a_3_5 + c_4_22·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_3
72. b_3_10·b_5_33 + b_3_8·b_5_34 + b_3_6·b_5_33 + b_1_2³·b_5_34 + b_1_2⁸
       + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9
       + a_1_0·b_1_2⁴·b_3_8 + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_6 + c_4_22·b_1_2·b_3_10
       + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴ + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2·b_3_6
       + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_6
       + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³
       + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_5
73. b_3_10·b_5_34 + b_3_10·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_33 + b_1_2³·b_5_35
       + b_1_2³·b_5_34 + b_1_2⁵·b_3_6 + b_1_2⁸ + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9
       + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2⁴
       + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴ + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2⁴
       + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_8 + c_4_23·a_1_0·b_3_6
       + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_1_3³ + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3
       + c_4_22·a_1_1·a_3_5 + c_4_22·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_3
74. b_3_6·b_5_33 + b_1_2³·b_5_34 + b_1_2³·b_5_33 + b_1_2⁸ + a_1_1·b_1_3²·b_5_33
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_35 + a_1_0·b_1_2⁷ + c_4_23·b_1_2·b_3_6
       + c_4_23·b_1_2⁴ + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_11
       + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_8
       + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_1_3³
       + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6 + c_4_22·a_1_0·b_1_2³
       + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_0·a_3_5
75. a_3_5·b_5_33 + a_3_3·b_5_35 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_11
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10
       + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_9
       + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_6 + c_4_22·a_1_1·b_3_11
       + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_12
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8
       + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5
       + c_4_21·a_1_0·a_3_3
76. b_3_11·b_5_33 + b_3_10·b_5_35 + b_3_9·b_5_33 + b_3_8·b_5_33 + b_1_3³·b_5_33
       + b_1_3⁵·b_3_9 + b_1_2³·b_5_34 + b_1_2⁵·b_3_10 + b_1_2⁸ + a_1_1·b_1_3⁴·b_3_12
       + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_11
       + c_4_23·b_1_3·b_3_9 + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8
       + c_4_23·b_1_2·b_3_6 + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴
       + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2⁴ + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_3⁴
       + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_12
       + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_1_2³
       + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_8
       + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_0·a_3_5 + c_4_22·a_1_1·a_3_5 + c_4_21·a_1_1·a_3_5
       + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
77. b_3_9·b_5_33 + b_1_3⁵·b_3_11 + b_1_3⁵·b_3_9 + b_1_2⁵·b_3_10 + a_3_5·b_5_35
       + a_3_5·b_5_33 + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2⁴·b_3_8
       + a_1_0·b_1_2⁴·b_3_6 + c_4_23·b_1_3·b_3_9 + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_2·b_3_10
       + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_6
       + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_6 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_0·b_3_10 + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_9
       + c_4_23·a_1_1·a_3_5 + c_4_22·a_1_1·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3
       + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
78. b_3_12·b_5_35 + b_3_12·b_5_33 + b_3_10·b_5_33 + b_3_8·b_5_33 + b_1_3⁵·b_3_9
       + b_1_2³·b_5_33 + b_1_2⁵·b_3_10 + b_1_2⁸ + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2⁴·b_3_10
       + a_1_0·b_1_2⁴·b_3_6 + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_22·b_1_3⁴
       + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴ + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_6
       + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_3_9
       + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_8 + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_11
       + c_4_22·a_1_0·b_3_6 + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³
       + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8 + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3
       + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_1·a_3_5
       + c_4_21·a_1_0·a_3_5
79. b_3_10·b_5_34 + b_3_10·b_5_33 + b_3_9·b_5_33 + b_3_6·b_5_35 + b_1_3⁵·b_3_11
       + b_1_3⁵·b_3_9 + b_1_2³·b_5_33 + b_1_2⁵·b_3_10 + a_1_1·b_1_3⁴·b_3_12
       + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_2·b_3_10
       + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴ + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_8
       + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_6
       + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_9
       + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6 + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_12
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_10
       + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6 + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_5
       + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_0·a_3_5
       + c_4_21·a_1_0·a_3_3
80. b_3_12·b_5_34 + b_3_12·b_5_33 + b_3_11·b_5_33 + b_3_10·b_5_34 + b_3_9·b_5_35
       + b_3_8·b_5_33 + b_1_3³·b_5_33 + b_1_3⁵·b_3_9 + b_1_2³·b_5_34 + b_1_2⁵·b_3_10
       + b_1_2⁸ + a_3_5·b_5_33 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_12 + a_1_0·b_1_2⁷
       + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3·b_3_9 + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_8
       + c_4_23·b_1_2·b_3_6 + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴
       + c_4_22·b_1_2⁴ + c_4_21·b_1_3·b_3_12 + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_3⁴
       + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_11
       + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_11
       + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_8 + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_0·a_3_5
       + c_4_22·a_1_1·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_3
       + c_4_21·a_1_0·a_3_5
81. b_3_11·b_5_33 + b_3_10·b_5_34 + b_3_10·b_5_33 + b_3_8·b_5_35 + b_1_3³·b_5_33
       + b_1_3⁵·b_3_11 + b_1_2³·b_5_34 + b_1_2⁵·b_3_6 + a_1_1·b_1_3⁴·b_3_11
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁴·b_3_8
       + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_6
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_3·b_3_9
       + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2·b_3_6 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_11
       + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_8 + c_4_22·a_1_1·b_3_12
       + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_9
       + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6 + c_4_23·a_1_0·a_3_5 + c_4_21·a_1_1·a_3_3
82. b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_9·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_33
       + b_1_3³·b_5_33 + b_1_3⁵·b_3_9 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + b_1_2⁸ + a_3_5·b_5_33
       + a_1_1·b_1_3²·b_5_35 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_12
       + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_6 + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6
       + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2⁴
       + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_6
       + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_10
       + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_8 + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8
       + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
83. b_3_12·b_5_33 + b_3_11·b_5_35 + b_3_10·b_5_34 + b_3_6·b_5_33 + b_1_3³·b_5_35
       + b_1_3⁵·b_3_11 + b_1_2³·b_5_34 + b_1_2⁵·b_3_8 + a_1_1·b_1_3²·b_5_33
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2⁴·b_3_10 + c_4_23·b_1_3·b_3_12
       + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_3·b_3_12
       + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_2·b_3_10 + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_9
       + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_9
       + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_1_3³
       + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_9
       + c_4_21·a_1_0·b_3_8 + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
84. b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_9·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_33
       + b_1_3³·b_5_33 + b_1_3⁵·b_3_9 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + b_1_2⁸ + a_3_5·b_5_33
       + a_3_3·b_5_36 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9
       + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_6 + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6
       + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2⁴
       + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_6
       + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_1_3³
       + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_6 + c_4_23·a_1_0·b_1_2³
       + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_0·b_3_10
       + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6 + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_1_3³
       + c_4_21·a_1_0·b_3_6 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3
85. b_3_10·b_5_36 + b_3_9·b_5_33 + b_3_6·b_5_33 + b_1_3⁵·b_3_11 + b_1_3⁵·b_3_9
       + b_1_2⁵·b_3_8 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_11
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10
       + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_2·b_3_6 + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_3⁴
       + c_4_21·b_1_2·b_3_6 + c_4_23·a_1_1·b_1_3³ + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_8
       + c_4_22·a_1_1·b_3_12 + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_1·b_1_3³
       + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_3
       + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_1·a_3_3
86. b_3_12·b_5_34 + b_3_12·b_5_33 + b_3_11·b_5_36 + b_3_11·b_5_35 + b_3_11·b_5_33
       + b_3_10·b_5_33 + b_3_6·b_5_33 + b_1_3⁵·b_3_11 + b_1_2³·b_5_33 + b_1_2⁵·b_3_10
       + b_1_2⁵·b_3_8 + b_1_2⁸ + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_12
       + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_33
       + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_12
       + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2·b_3_8
       + c_4_22·b_1_2⁴ + c_4_21·b_1_3·b_3_12 + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_2·b_3_10
       + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_9 + c_4_23·a_1_1·b_1_3³
       + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_6 + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_0·b_3_10
       + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_12
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_9
       + c_4_21·a_1_0·b_3_6 + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_0·a_3_5
       + c_4_21·a_1_0·a_3_5 + c_4_21·a_1_0·a_3_3
87. b_3_9·b_5_33 + b_3_8·b_5_33 + b_3_6·b_5_33 + b_1_3⁵·b_3_11 + b_1_3⁵·b_3_9
       + b_1_2³·b_5_33 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + b_1_2⁸ + a_3_5·b_5_36
       + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_33
       + a_1_0·b_1_2⁴·b_3_8 + c_4_23·b_1_3·b_3_9 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_2·b_3_10 + c_4_21·b_1_3⁴
       + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_8
       + c_4_23·a_1_0·b_3_6 + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_21·a_1_1·b_3_12
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_5
       + c_4_22·a_1_1·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3 + c_4_21·a_1_1·a_3_5
88. b_3_12·b_5_36 + b_3_12·b_5_34 + b_3_11·b_5_35 + b_3_9·b_5_33 + b_3_6·b_5_33
       + b_1_3⁵·b_3_9 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_6 + a_1_1·b_1_3⁴·b_3_12
       + a_1_1·b_1_3⁴·b_3_11 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁴·b_3_8
       + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_8
       + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12
       + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_9 + c_4_23·a_1_0·b_3_6
       + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6 + c_4_21·a_1_1·b_3_12
       + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_1·b_1_3³
       + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_0·a_3_3 + c_4_21·a_1_0·a_3_3
89. b_3_8·b_5_33 + b_3_6·b_5_36 + b_3_6·b_5_33 + b_1_2⁵·b_3_8 + a_3_5·b_5_33
       + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷
       + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6 + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_6
       + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_8
       + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_3_9
       + c_4_22·a_1_0·b_1_2³ + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_9
       + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_1_2³ + c_4_23·a_1_1·a_3_5
       + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3
       + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5
90. b_3_12·b_5_34 + b_3_11·b_5_35 + b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_9·b_5_36
       + b_3_9·b_5_33 + b_1_3⁵·b_3_11 + b_1_2³·b_5_34 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6 + b_1_2⁸
       + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_11 + a_1_1·b_1_3⁴·b_3_9
       + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_12 + c_4_23·b_1_2·b_3_10
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_12 + c_4_22·b_1_3·b_3_9 + c_4_22·b_1_3⁴
       + c_4_22·b_1_2·b_3_10 + c_4_22·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_10 + c_4_21·b_1_2·b_3_6
       + c_4_23·a_1_0·b_3_10 + c_4_22·a_1_1·b_3_9 + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_1_2³
       + c_4_21·a_1_1·b_3_12 + c_4_21·a_1_1·b_3_11 + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_0·b_3_10
       + c_4_21·a_1_0·b_3_6 + c_4_23·a_1_1·a_3_5 + c_4_22·a_1_1·a_3_5 + c_4_21·a_1_0·a_3_5
       + c_4_21·a_1_0·a_3_3
91. b_3_9·b_5_33 + b_3_8·b_5_36 + b_3_8·b_5_33 + b_1_3⁵·b_3_11 + b_1_3⁵·b_3_9
       + b_1_2³·b_5_34 + b_1_2³·b_5_33 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_8 + b_1_2⁸
       + a_3_5·b_5_33 + a_1_1·b_1_3²·b_5_33 + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_11
       + a_1_1·b_1_3⁴·b_3_9 + a_1_0·b_1_2²·b_5_33 + a_1_0·b_1_2⁴·b_3_10
       + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷ + c_4_23·b_1_3·b_3_9
       + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_11 + c_4_22·b_1_2·b_3_10
       + c_4_22·b_1_2·b_3_8 + c_4_22·b_1_2⁴ + c_4_21·b_1_3⁴ + c_4_21·b_1_2·b_3_8
       + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_1·b_1_3³
       + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_12
       + c_4_22·a_1_1·b_3_11 + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_1_2³
       + c_4_21·a_1_1·b_3_9 + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_3_8
       + c_4_21·a_1_0·b_3_6 + c_4_23·a_1_1·a_3_5 + c_4_23·a_1_1·a_3_3 + c_4_23·a_1_0·a_3_3
       + c_4_22·a_1_1·a_3_3 + c_4_21·a_1_1·a_3_5 + c_4_21·a_1_0·a_3_5
92. b_3_11·b_5_33 + b_3_10·b_5_33 + b_3_8·b_5_33 + b_1_3³·b_5_33 + b_1_3⁵·b_3_11
       + b_1_2³·b_5_34 + b_1_2³·b_5_33 + b_1_2⁵·b_3_10 + b_1_2⁵·b_3_8 + b_1_2⁵·b_3_6
       + a_3_5·b_5_33 + a_1_1·b_1_3²·b_5_36 + a_1_1·b_1_3⁴·b_3_12 + a_1_0·b_1_2²·b_5_33
       + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷
       + c_4_23·b_1_3·b_3_11 + c_4_23·b_1_3⁴ + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_6 + c_4_22·b_1_2⁴
       + c_4_21·b_1_3·b_3_9 + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2⁴ + c_4_23·a_1_1·b_3_12
       + c_4_23·a_1_1·b_3_11 + c_4_23·a_1_0·b_3_10 + c_4_23·a_1_0·b_3_9 + c_4_22·a_1_1·b_3_11
       + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_9 + c_4_22·a_1_0·b_3_8 + c_4_22·a_1_0·b_3_6
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_9 + c_4_21·a_1_0·b_1_2³
       + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_3 + c_4_22·a_1_0·a_3_5 + c_4_22·a_1_0·a_3_3
       + c_4_21·a_1_0·a_3_3
93. b_3_12·b_5_34 + b_3_10·b_5_33 + b_3_6·b_5_33 + b_1_3³·b_5_36 + b_1_3³·b_5_33
       + b_1_3⁵·b_3_12 + b_1_3⁵·b_3_9 + b_1_2³·b_5_33 + b_1_2⁵·b_3_8 + a_3_5·b_5_33
       + a_1_1·b_1_3⁴·b_3_12 + a_1_1·b_1_3⁴·b_3_11 + a_1_0·b_1_2²·b_5_33
       + a_1_0·b_1_2⁴·b_3_10 + a_1_0·b_1_2⁴·b_3_8 + a_1_0·b_1_2⁴·b_3_6 + a_1_0·b_1_2⁷
       + c_4_23·b_1_3·b_3_12 + c_4_23·b_1_2·b_3_10 + c_4_23·b_1_2·b_3_8 + c_4_23·b_1_2·b_3_6
       + c_4_23·b_1_2⁴ + c_4_22·b_1_3·b_3_12 + c_4_22·b_1_3⁴ + c_4_22·b_1_2·b_3_10
       + c_4_22·b_1_2·b_3_8 + c_4_22·b_1_2·b_3_6 + c_4_21·b_1_3·b_3_12 + c_4_21·b_1_2·b_3_10
       + c_4_21·b_1_2·b_3_8 + c_4_21·b_1_2·b_3_6 + c_4_23·a_1_1·b_3_12 + c_4_23·a_1_1·b_3_11
       + c_4_23·a_1_0·b_3_8 + c_4_23·a_1_0·b_1_2³ + c_4_22·a_1_1·b_3_12
       + c_4_22·a_1_1·b_1_3³ + c_4_22·a_1_0·b_3_10 + c_4_22·a_1_0·b_3_9 + c_4_21·a_1_1·b_3_9
       + c_4_21·a_1_1·b_1_3³ + c_4_21·a_1_0·b_3_10 + c_4_21·a_1_0·b_3_8 + c_4_21·a_1_0·b_3_6
       + c_4_23·a_1_0·a_3_5 + c_4_23·a_1_0·a_3_3 + c_4_22·a_1_1·a_3_5 + c_4_21·a_1_1·a_3_5
       + c_4_21·a_1_1·a_3_3 + c_4_21·a_1_0·a_3_5
94. b_5_33² + b_1_3⁵·b_5_33 + b_1_3⁷·b_3_11 + b_1_3⁷·b_3_9 + b_1_2⁵·b_5_34
       + b_1_2⁷·b_3_10 + b_1_2⁷·b_3_8 + b_1_2¹⁰ + a_1_1·b_1_3⁴·b_5_33
       + a_1_1·b_1_3⁶·b_3_11 + a_1_1·b_1_3⁶·b_3_9 + a_1_0·b_1_2⁴·b_5_34
       + a_1_0·b_1_2⁴·b_5_33 + a_1_0·b_1_2⁶·b_3_8 + c_4_23·b_1_3⁶ + c_4_22·b_1_3³·b_3_11
       + c_4_22·b_1_3³·b_3_9 + c_4_22·b_1_2³·b_3_8 + c_4_22·b_1_2³·b_3_6
       + c_4_21·b_1_3³·b_3_11 + c_4_21·b_1_3⁶ + c_4_21·b_1_2³·b_3_10
       + c_4_21·b_1_2³·b_3_8 + c_4_21·b_1_2³·b_3_6 + c_4_23·a_1_0·b_1_2⁵
       + c_4_22·a_1_1·b_1_3²·b_3_12 + c_4_22·a_1_1·b_1_3²·b_3_9
       + c_4_22·a_1_0·b_1_2²·b_3_10 + c_4_22·a_1_0·b_1_2²·b_3_6
       + c_4_21·a_1_1·b_1_3²·b_3_12 + c_4_21·a_1_1·b_1_3²·b_3_11
       + c_4_21·a_1_1·b_1_3²·b_3_9 + c_4_21·a_1_1·b_1_3⁵ + c_4_21·a_1_0·b_1_2²·b_3_8
       + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_23²·b_1_3² + c_4_21·c_4_22·b_1_3²
       + c_4_21²·b_1_2² + c_4_23²·a_1_1² + c_4_23²·a_1_0² + c_4_22²·a_1_1²
       + c_4_22²·a_1_0² + c_4_21²·a_1_0²
95. b_5_34² + b_1_3⁷·b_3_11 + b_1_3⁷·b_3_9 + b_1_2⁵·b_5_34 + b_1_2⁷·b_3_6
       + a_1_1·b_1_3⁶·b_3_12 + a_1_1·b_1_3⁶·b_3_9 + a_1_0·b_1_2⁴·b_5_35
       + a_1_0·b_1_2⁶·b_3_10 + a_1_0·b_1_2⁶·b_3_8 + c_4_23·b_1_2³·b_3_8
       + c_4_23·b_1_2³·b_3_6 + c_4_22·b_1_2³·b_3_10 + c_4_22·b_1_2³·b_3_8 + c_4_21·b_1_3⁶
       + c_4_23·a_1_0·b_1_2²·b_3_10 + c_4_23·a_1_0·b_1_2²·b_3_8
       + c_4_23·a_1_0·b_1_2²·b_3_6 + c_4_23·a_1_0·b_1_2⁵ + c_4_22·a_1_0·b_1_2⁵
       + c_4_23²·b_1_3² + c_4_23²·b_1_2² + c_4_22·c_4_23·b_1_2² + c_4_22²·b_1_3²
       + c_4_22²·b_1_2² + c_4_21²·b_1_3² + c_4_21²·b_1_2² + c_4_23²·a_1_1²
       + c_4_22·c_4_23·a_1_1² + c_4_21·c_4_23·a_1_0² + c_4_21·c_4_22·a_1_1²
       + c_4_21·c_4_22·a_1_0² + c_4_21²·a_1_1²
96. b_5_36² + b_1_3⁵·b_5_33 + b_1_3⁷·b_3_11 + b_1_3⁷·b_3_9 + b_1_2⁵·b_5_33
       + b_1_2⁷·b_3_10 + a_1_1·b_1_3⁴·b_5_35 + a_1_1·b_1_3⁶·b_3_12 + a_1_1·b_1_3⁶·b_3_9
       + a_1_0·b_1_2⁶·b_3_8 + c_4_23·b_1_3⁶ + c_4_23·b_1_2⁶ + c_4_22·b_1_3³·b_3_11
       + c_4_22·b_1_3³·b_3_9 + c_4_22·b_1_2³·b_3_10 + c_4_22·b_1_2³·b_3_8
       + c_4_22·b_1_2³·b_3_6 + c_4_21·b_1_3³·b_3_9 + c_4_21·b_1_2³·b_3_8
       + c_4_21·b_1_2³·b_3_6 + c_4_21·b_1_2⁶ + c_4_22·a_1_1·b_1_3²·b_3_12
       + c_4_22·a_1_1·b_1_3²·b_3_9 + c_4_22·a_1_1·b_1_3⁵ + c_4_22·a_1_0·b_1_2²·b_3_10
       + c_4_22·a_1_0·b_1_2²·b_3_6 + c_4_22·a_1_0·b_1_2⁵ + c_4_21·a_1_1·b_1_3²·b_3_12
       + c_4_21·a_1_1·b_1_3²·b_3_9 + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_23²·b_1_3²
       + c_4_23²·b_1_2² + c_4_22²·b_1_3² + c_4_21·c_4_22·b_1_3²
       + c_4_21·c_4_22·b_1_2² + c_4_22·c_4_23·a_1_0² + c_4_21·c_4_23·a_1_1²
       + c_4_21·c_4_22·a_1_0² + c_4_21²·a_1_1²
97. b_5_35·b_5_36 + b_5_35² + b_5_34·b_5_36 + b_5_34² + b_1_3⁷·b_3_9
       + b_1_2²·b_3_6·b_5_34 + b_1_2⁵·b_5_34 + b_1_2⁷·b_3_8 + b_1_2⁷·b_3_6 + b_1_2¹⁰
       + a_1_1·b_1_3·b_3_9·b_5_35 + a_1_1·b_1_3⁴·b_5_33 + a_1_1·b_1_3⁶·b_3_9
       + c_4_23·b_1_3·b_5_35 + c_4_23·b_1_3³·b_3_11 + c_4_23·b_1_2·b_5_35 + c_4_23·b_1_2⁶
       + c_4_22·b_1_3·b_5_35 + c_4_22·b_1_3·b_5_33 + c_4_22·b_1_3⁶ + c_4_22·b_1_2·b_5_34
       + c_4_22·b_1_2·b_5_33 + c_4_22·b_1_2³·b_3_10 + c_4_22·b_1_2³·b_3_8 + c_4_22·b_1_2⁶
       + c_4_21·b_1_3·b_5_36 + c_4_21·b_1_3⁶ + c_4_21·b_1_2³·b_3_10 + c_4_21·b_1_2³·b_3_8
       + c_4_23·a_1_1·b_5_35 + c_4_23·a_1_1·b_1_3²·b_3_12 + c_4_23·a_1_1·b_1_3²·b_3_11
       + c_4_23·a_1_1·b_1_3⁵ + c_4_23·a_1_0·b_5_34 + c_4_23·a_1_0·b_1_2²·b_3_10
       + c_4_23·a_1_0·b_1_2⁵ + c_4_22·a_1_1·b_1_3²·b_3_11 + c_4_22·a_1_0·b_1_2²·b_3_10
       + c_4_22·a_1_0·b_1_2²·b_3_8 + c_4_21·a_1_1·b_5_36 + c_4_21·a_1_0·b_5_33
       + c_4_21·a_1_0·b_1_2²·b_3_10 + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_23·a_3_3·a_3_5
       + c_4_23²·b_1_3² + c_4_22·c_4_23·b_1_3² + c_4_21·c_4_23·b_1_2²
       + c_4_21²·b_1_3² + c_4_21²·b_1_2² + c_4_22·c_4_23·a_1_1·b_1_3
       + c_4_22·c_4_23·a_1_0·b_1_2 + c_4_22²·a_1_1·b_1_3 + c_4_21·c_4_23·a_1_1·b_1_3
       + c_4_21·c_4_23·a_1_0·b_1_2 + c_4_21·c_4_22·a_1_0·b_1_2 + c_4_21²·a_1_0·b_1_2
       + c_4_23²·a_1_1² + c_4_23²·a_1_0·a_1_1 + c_4_23²·a_1_0²
       + c_4_22·c_4_23·a_1_0·a_1_1 + c_4_22·c_4_23·a_1_0² + c_4_22²·a_1_0·a_1_1
       + c_4_22²·a_1_0² + c_4_21·c_4_22·a_1_0·a_1_1
98. b_5_35² + b_5_33·b_5_34 + b_1_3⁵·b_5_33 + b_1_3⁷·b_3_11 + b_1_3⁷·b_3_9
       + b_1_2²·b_3_6·b_5_34 + b_1_2⁵·b_5_35 + b_1_2⁵·b_5_33 + b_1_2⁷·b_3_6
       + a_1_1·b_1_3·b_3_9·b_5_35 + a_1_1·b_1_3⁴·b_5_33 + a_1_1·b_1_3⁶·b_3_11
       + a_1_0·b_1_2⁶·b_3_6 + a_1_0·b_1_2⁹ + c_4_23·b_1_3·b_5_33 + c_4_23·b_1_3³·b_3_11
       + c_4_23·b_1_3⁶ + c_4_23·b_1_2·b_5_34 + c_4_23·b_1_2·b_5_33 + c_4_22·b_1_3·b_5_33
       + c_4_22·b_1_2·b_5_35 + c_4_22·b_1_2³·b_3_10 + c_4_22·b_1_2³·b_3_6
       + c_4_21·b_1_3·b_5_33 + c_4_21·b_1_3⁶ + c_4_21·b_1_2·b_5_34 + c_4_21·b_1_2·b_5_33
       + c_4_21·b_1_2³·b_3_10 + c_4_21·b_1_2³·b_3_8 + c_4_23·a_1_1·b_5_35
       + c_4_23·a_1_1·b_5_33 + c_4_23·a_1_1·b_1_3²·b_3_12 + c_4_23·a_1_0·b_5_34
       + c_4_23·a_1_0·b_1_2²·b_3_10 + c_4_23·a_1_0·b_1_2²·b_3_8 + c_4_23·a_1_0·b_1_2⁵
       + c_4_22·a_1_1·b_5_36 + c_4_22·a_1_1·b_5_35 + c_4_22·a_1_1·b_1_3²·b_3_11
       + c_4_22·a_1_1·b_1_3²·b_3_9 + c_4_22·a_1_1·b_1_3⁵ + c_4_22·a_1_0·b_5_35
       + c_4_22·a_1_0·b_1_2²·b_3_8 + c_4_22·a_1_0·b_1_2²·b_3_6 + c_4_21·a_1_1·b_5_36
       + c_4_21·a_1_1·b_5_35 + c_4_21·a_1_1·b_5_33 + c_4_21·a_1_1·b_1_3²·b_3_12
       + c_4_21·a_1_0·b_1_2²·b_3_8 + c_4_23·a_3_3·a_3_5 + c_4_22·a_3_3·a_3_5
       + c_4_21·a_3_3·a_3_5 + c_4_23²·b_1_3² + c_4_21·c_4_23·b_1_2²
       + c_4_21·c_4_22·b_1_3² + c_4_21·c_4_22·b_1_2² + c_4_22·c_4_23·a_1_1·b_1_3
       + c_4_22·c_4_23·a_1_0·b_1_2 + c_4_22²·a_1_1·b_1_3 + c_4_21·c_4_22·a_1_1·b_1_3
       + c_4_21²·a_1_1·b_1_3 + c_4_22·c_4_23·a_1_1² + c_4_22·c_4_23·a_1_0²
       + c_4_22²·a_1_1² + c_4_22²·a_1_0² + c_4_21·c_4_23·a_1_1²
       + c_4_21·c_4_23·a_1_0·a_1_1 + c_4_21·c_4_23·a_1_0² + c_4_21·c_4_22·a_1_1²
       + c_4_21·c_4_22·a_1_0² + c_4_21²·a_1_1² + c_4_21²·a_1_0·a_1_1
99. b_5_35·b_5_36 + b_5_34·b_5_36 + b_5_33·b_5_35 + b_5_33² + b_1_3²·b_3_9·b_5_35
       + b_1_3⁵·b_5_35 + b_1_3⁵·b_5_33 + b_1_2²·b_3_6·b_5_34 + b_1_2⁵·b_5_33
       + b_1_2⁷·b_3_10 + b_1_2⁷·b_3_8 + a_1_1·b_1_3⁴·b_5_35 + a_1_1·b_1_3⁴·b_5_33
       + a_1_1·b_1_3⁶·b_3_11 + a_1_0·b_1_2⁴·b_5_33 + a_1_0·b_1_2⁶·b_3_10
       + a_1_0·b_1_2⁶·b_3_6 + a_1_0·b_1_2⁹ + c_4_23·b_1_3·b_5_33 + c_4_23·b_1_3³·b_3_11
       + c_4_23·b_1_3³·b_3_9 + c_4_23·b_1_2·b_5_35 + c_4_23·b_1_2³·b_3_10
       + c_4_22·b_1_3·b_5_36 + c_4_22·b_1_3·b_5_35 + c_4_22·b_1_3³·b_3_12
       + c_4_22·b_1_3³·b_3_11 + c_4_22·b_1_3³·b_3_9 + c_4_22·b_1_2·b_5_34
       + c_4_22·b_1_2³·b_3_8 + c_4_22·b_1_2³·b_3_6 + c_4_22·b_1_2⁶ + c_4_21·b_1_3·b_5_35
       + c_4_21·b_1_2·b_5_34 + c_4_21·b_1_2³·b_3_8 + c_4_21·b_1_2⁶
       + c_4_23·a_1_1·b_1_3²·b_3_12 + c_4_23·a_1_1·b_1_3²·b_3_11
       + c_4_23·a_1_1·b_1_3²·b_3_9 + c_4_23·a_1_1·b_1_3⁵ + c_4_23·a_1_0·b_5_35
       + c_4_23·a_1_0·b_5_34 + c_4_23·a_1_0·b_5_33 + c_4_23·a_1_0·b_1_2²·b_3_8
       + c_4_22·a_1_1·b_5_33 + c_4_22·a_1_0·b_5_34 + c_4_22·a_1_0·b_5_33
       + c_4_22·a_1_0·b_1_2²·b_3_8 + c_4_22·a_1_0·b_1_2²·b_3_6 + c_4_22·a_1_0·b_1_2⁵
       + c_4_21·a_1_1·b_5_36 + c_4_21·a_1_1·b_5_35 + c_4_21·a_1_1·b_5_33
       + c_4_21·a_1_1·b_1_3²·b_3_12 + c_4_21·a_1_1·b_1_3²·b_3_9 + c_4_21·a_1_1·b_1_3⁵
       + c_4_21·a_1_0·b_1_2²·b_3_10 + c_4_21·a_1_0·b_1_2²·b_3_8 + c_4_23·a_3_3·a_3_5
       + c_4_21·a_3_3·a_3_5 + c_4_23²·b_1_3² + c_4_23²·b_1_2² + c_4_22·c_4_23·b_1_3²
       + c_4_22·c_4_23·b_1_2² + c_4_22²·b_1_2² + c_4_21·c_4_23·b_1_2²
       + c_4_21²·b_1_2² + c_4_23²·a_1_1·b_1_3 + c_4_22·c_4_23·a_1_1·b_1_3
       + c_4_21·c_4_23·a_1_1·b_1_3 + c_4_21·c_4_23·a_1_0·b_1_2 + c_4_21·c_4_22·a_1_1·b_1_3
       + c_4_21·c_4_22·a_1_0·b_1_2 + c_4_23²·a_1_1² + c_4_22·c_4_23·a_1_1²
       + c_4_22·c_4_23·a_1_0·a_1_1 + c_4_22·c_4_23·a_1_0² + c_4_22²·a_1_1²
       + c_4_21·c_4_23·a_1_0·a_1_1 + c_4_21·c_4_22·a_1_1² + c_4_21·c_4_22·a_1_0·a_1_1
       + c_4_21²·a_1_0²
100. b_5_35·b_5_36 + b_5_35² + b_5_33·b_5_36 + b_5_33·b_5_35 + b_5_33²
        + b_1_3²·b_3_9·b_5_35 + b_1_3⁵·b_5_33 + b_1_3⁷·b_3_11 + b_1_3⁷·b_3_9
        + b_1_2²·b_3_6·b_5_34 + b_1_2⁵·b_5_33 + a_1_1·b_1_3⁴·b_5_35 + a_1_1·b_1_3⁶·b_3_11
        + a_1_0·b_1_2·b_3_6·b_5_34 + a_1_0·b_1_2⁴·b_5_33 + a_1_0·b_1_2⁶·b_3_10
        + a_1_0·b_1_2⁶·b_3_6 + c_4_23·b_1_3³·b_3_9 + c_4_23·b_1_3⁶ + c_4_23·b_1_2·b_5_35
        + c_4_23·b_1_2·b_5_33 + c_4_23·b_1_2³·b_3_10 + c_4_23·b_1_2³·b_3_8
        + c_4_23·b_1_2³·b_3_6 + c_4_23·b_1_2⁶ + c_4_22·b_1_3·b_5_35 + c_4_22·b_1_3·b_5_33
        + c_4_22·b_1_2³·b_3_10 + c_4_22·b_1_2³·b_3_6 + c_4_21·b_1_3³·b_3_11
        + c_4_21·b_1_3³·b_3_9 + c_4_21·b_1_3⁶ + c_4_21·b_1_2·b_5_35 + c_4_21·b_1_2·b_5_34
        + c_4_21·b_1_2³·b_3_8 + c_4_21·b_1_2³·b_3_6 + c_4_23·a_1_1·b_5_36
        + c_4_23·a_1_1·b_5_35 + c_4_23·a_1_0·b_5_35 + c_4_23·a_1_0·b_1_2²·b_3_8
        + c_4_23·a_1_0·b_1_2²·b_3_6 + c_4_22·a_1_1·b_5_35 + c_4_22·a_1_1·b_5_33
        + c_4_22·a_1_1·b_1_3²·b_3_9 + c_4_22·a_1_1·b_1_3⁵ + c_4_22·a_1_0·b_1_2²·b_3_10
        + c_4_22·a_1_0·b_1_2⁵ + c_4_21·a_1_1·b_5_33 + c_4_21·a_1_1·b_1_3²·b_3_11
        + c_4_21·a_1_1·b_1_3²·b_3_9 + c_4_21·a_1_0·b_5_34 + c_4_21·a_1_0·b_5_33
        + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_22·a_3_3·a_3_5 + c_4_23²·b_1_3²
        + c_4_21·c_4_22·b_1_3² + c_4_21²·b_1_2² + c_4_23²·a_1_0·b_1_2
        + c_4_22·c_4_23·a_1_1·b_1_3 + c_4_21·c_4_23·a_1_1·b_1_3 + c_4_21·c_4_23·a_1_0·b_1_2
        + c_4_21·c_4_22·a_1_1·b_1_3 + c_4_21·c_4_22·a_1_0·b_1_2 + c_4_21²·a_1_1·b_1_3
        + c_4_21²·a_1_0·b_1_2 + c_4_23²·a_1_1² + c_4_23²·a_1_0·a_1_1
        + c_4_22·c_4_23·a_1_0² + c_4_22²·a_1_0² + c_4_21·c_4_23·a_1_1²
        + c_4_21·c_4_23·a_1_0² + c_4_21·c_4_22·a_1_1² + c_4_21·c_4_22·a_1_0·a_1_1
        + c_4_21·c_4_22·a_1_0² + c_4_21²·a_1_0·a_1_1 + c_4_21²·a_1_0²
101. b_5_34·b_5_36 + b_5_34·b_5_35 + b_5_34² + b_5_33·b_5_35 + b_1_3⁵·b_5_35
        + b_1_3⁵·b_5_33 + b_1_2⁵·b_5_35 + b_1_2⁵·b_5_34 + b_1_2⁵·b_5_33 + b_1_2⁷·b_3_10
        + b_1_2⁷·b_3_8 + b_1_2⁷·b_3_6 + b_1_2¹⁰ + a_1_1·b_1_3⁴·b_5_35 + a_1_1·b_1_3⁶·b_3_9
        + a_1_0·b_1_2·b_3_6·b_5_34 + a_1_0·b_1_2⁶·b_3_8 + a_1_0·b_1_2⁹ + c_4_23·b_1_3·b_5_36
        + c_4_23·b_1_3·b_5_33 + c_4_23·b_1_2·b_5_35 + c_4_23·b_1_2·b_5_34 + c_4_23·b_1_2·b_5_33
        + c_4_23·b_1_2³·b_3_8 + c_4_23·b_1_2³·b_3_6 + c_4_23·b_1_2⁶ + c_4_22·b_1_3·b_5_35
        + c_4_22·b_1_3·b_5_33 + c_4_22·b_1_2·b_5_34 + c_4_22·b_1_2³·b_3_10
        + c_4_22·b_1_2³·b_3_8 + c_4_22·b_1_2³·b_3_6 + c_4_21·b_1_3³·b_3_11
        + c_4_21·b_1_3³·b_3_9 + c_4_21·b_1_2·b_5_35 + c_4_21·b_1_2·b_5_34
        + c_4_23·a_1_1·b_5_33 + c_4_23·a_1_0·b_5_35 + c_4_23·a_1_0·b_5_33
        + c_4_23·a_1_0·b_1_2²·b_3_10 + c_4_23·a_1_0·b_1_2²·b_3_6 + c_4_22·a_1_1·b_5_33
        + c_4_22·a_1_1·b_1_3²·b_3_12 + c_4_22·a_1_1·b_1_3²·b_3_11
        + c_4_22·a_1_1·b_1_3²·b_3_9 + c_4_22·a_1_0·b_5_35 + c_4_22·a_1_0·b_1_2²·b_3_6
        + c_4_22·a_1_0·b_1_2⁵ + c_4_21·a_1_1·b_5_33 + c_4_21·a_1_1·b_1_3²·b_3_12
        + c_4_21·a_1_1·b_1_3⁵ + c_4_21·a_1_0·b_5_34 + c_4_21·a_1_0·b_1_2²·b_3_10
        + c_4_21·a_1_0·b_1_2²·b_3_8 + c_4_21²·b_1_3² + c_4_21²·b_1_2²
        + c_4_23²·a_1_0·b_1_2 + c_4_22·c_4_23·a_1_1·b_1_3 + c_4_22²·a_1_1·b_1_3
        + c_4_21·c_4_23·a_1_1·b_1_3 + c_4_21·c_4_23·a_1_0·b_1_2 + c_4_21·c_4_22·a_1_0·b_1_2
        + c_4_23²·a_1_1² + c_4_23²·a_1_0·a_1_1 + c_4_23²·a_1_0² + c_4_22·c_4_23·a_1_1²
        + c_4_22²·a_1_0·a_1_1 + c_4_22²·a_1_0² + c_4_21·c_4_23·a_1_1²
        + c_4_21·c_4_23·a_1_0·a_1_1 + c_4_21·c_4_23·a_1_0² + c_4_21·c_4_22·a_1_0·a_1_1
        + c_4_21²·a_1_0²
102. b_5_35² + b_5_34² + b_5_33² + b_1_3⁵·b_5_33 + b_1_3⁷·b_3_9 + b_1_2⁵·b_5_35
        + b_1_2⁵·b_5_33 + b_1_2⁷·b_3_10 + b_1_2⁷·b_3_8 + b_1_2⁷·b_3_6 + b_1_2¹⁰
        + a_1_1·b_1_3⁴·b_5_36 + a_1_1·b_1_3⁴·b_5_35 + a_1_1·b_1_3⁶·b_3_11
        + a_1_1·b_1_3⁶·b_3_9 + a_1_0·b_1_2⁶·b_3_10 + a_1_0·b_1_2⁶·b_3_6 + c_4_23·b_1_3⁶
        + c_4_23·b_1_2³·b_3_10 + c_4_23·b_1_2³·b_3_8 + c_4_23·b_1_2³·b_3_6
        + c_4_22·b_1_3³·b_3_11 + c_4_22·b_1_3³·b_3_9 + c_4_22·b_1_3⁶ + c_4_22·b_1_2³·b_3_6
        + c_4_21·b_1_3³·b_3_11 + c_4_21·b_1_3³·b_3_9 + c_4_21·b_1_3⁶ + c_4_21·b_1_2³·b_3_6
        + c_4_21·b_1_2⁶ + c_4_23·a_1_1·b_1_3⁵ + c_4_23·a_1_0·b_1_2²·b_3_10
        + c_4_23·a_1_0·b_1_2²·b_3_8 + c_4_23·a_1_0·b_1_2²·b_3_6
        + c_4_22·a_1_1·b_1_3²·b_3_11 + c_4_22·a_1_0·b_1_2²·b_3_10
        + c_4_22·a_1_0·b_1_2²·b_3_6 + c_4_21·a_1_1·b_1_3²·b_3_11 + c_4_21·a_1_1·b_1_3⁵
        + c_4_21·a_1_0·b_1_2²·b_3_10 + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_21·a_1_0·b_1_2⁵
        + c_4_23²·b_1_3² + c_4_23²·b_1_2² + c_4_22·c_4_23·b_1_2² + c_4_22²·b_1_3²
        + c_4_22²·b_1_2² + c_4_21·c_4_23·b_1_2² + c_4_21²·b_1_3²
        + c_4_22·c_4_23·a_1_0² + c_4_22²·a_1_1² + c_4_21·c_4_22·a_1_1²
        + c_4_21²·a_1_1² + c_4_21²·a_1_0²
103. b_5_35² + b_5_34·b_5_35 + b_5_33² + b_1_3²·b_3_9·b_5_35 + b_1_3⁵·b_5_36
        + b_1_3⁵·b_5_35 + b_1_3⁷·b_3_12 + b_1_3⁷·b_3_11 + b_1_2⁵·b_5_33 + b_1_2⁷·b_3_10
        + b_1_2⁷·b_3_6 + a_1_1·b_1_3·b_3_9·b_5_35 + a_1_1·b_1_3⁴·b_5_35
        + a_1_1·b_1_3⁴·b_5_33 + a_1_0·b_1_2⁶·b_3_10 + a_1_0·b_1_2⁶·b_3_8
        + c_4_23·b_1_3·b_5_35 + c_4_23·b_1_3³·b_3_11 + c_4_23·b_1_3³·b_3_9
        + c_4_23·b_1_2·b_5_35 + c_4_23·b_1_2·b_5_34 + c_4_23·b_1_2·b_5_33 + c_4_22·b_1_3·b_5_35
        + c_4_22·b_1_3³·b_3_12 + c_4_22·b_1_3³·b_3_9 + c_4_22·b_1_3⁶ + c_4_22·b_1_2·b_5_33
        + c_4_22·b_1_2⁶ + c_4_21·b_1_3·b_5_35 + c_4_21·b_1_3³·b_3_12 + c_4_21·b_1_3³·b_3_11
        + c_4_21·b_1_3⁶ + c_4_21·b_1_2·b_5_35 + c_4_21·b_1_2³·b_3_10 + c_4_21·b_1_2³·b_3_8
        + c_4_21·b_1_2⁶ + c_4_23·a_1_1·b_5_33 + c_4_23·a_1_1·b_1_3²·b_3_12
        + c_4_23·a_1_1·b_1_3²·b_3_11 + c_4_23·a_1_1·b_1_3⁵ + c_4_23·a_1_0·b_5_34
        + c_4_23·a_1_0·b_5_33 + c_4_23·a_1_0·b_1_2²·b_3_6 + c_4_23·a_1_0·b_1_2⁵
        + c_4_22·a_1_1·b_5_35 + c_4_22·a_1_1·b_5_33 + c_4_22·a_1_1·b_1_3²·b_3_11
        + c_4_22·a_1_0·b_5_33 + c_4_22·a_1_0·b_1_2²·b_3_10 + c_4_21·a_1_1·b_5_35
        + c_4_21·a_1_1·b_1_3²·b_3_12 + c_4_21·a_1_0·b_1_2²·b_3_8
        + c_4_21·a_1_0·b_1_2²·b_3_6 + c_4_21·a_1_0·b_1_2⁵ + c_4_22·a_3_3·a_3_5
        + c_4_23²·b_1_2² + c_4_21·c_4_22·b_1_2² + c_4_21²·b_1_2²
        + c_4_22·c_4_23·a_1_1·b_1_3 + c_4_22·c_4_23·a_1_0·b_1_2 + c_4_21·c_4_23·a_1_1·b_1_3
        + c_4_21·c_4_23·a_1_0·b_1_2 + c_4_21·c_4_22·a_1_1·b_1_3 + c_4_21·c_4_22·a_1_0·b_1_2
        + c_4_23²·a_1_0² + c_4_22·c_4_23·a_1_1² + c_4_22·c_4_23·a_1_0²
        + c_4_22²·a_1_1² + c_4_21·c_4_23·a_1_1² + c_4_21·c_4_23·a_1_0²
        + c_4_21·c_4_22·a_1_1² + c_4_21·c_4_22·a_1_0·a_1_1 + c_4_21·c_4_22·a_1_0²
        + c_4_21²·a_1_0²

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 10.
• 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_4_21, a Duflot regular element of degree 4
  2. c_4_22, a Duflot regular element of degree 4
  3. c_4_23, a Duflot regular element of degree 4
  4. b_1_3², an element of degree 2
• The Raw Filter Degree Type of that HSOP is [-1, -1, -1, 7, 10].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -4, -4].

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 3

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. b_1_2 → 0, an element of degree 1
4. b_1_3 → 0, an element of degree 1
5. a_3_3 → 0, an element of degree 3
6. a_3_5 → 0, an element of degree 3
7. b_3_6 → 0, an element of degree 3
8. b_3_8 → 0, an element of degree 3
9. b_3_9 → 0, an element of degree 3
10. b_3_10 → 0, an element of degree 3
11. b_3_11 → 0, an element of degree 3
12. b_3_12 → 0, an element of degree 3
13. c_4_21 → c_1_2⁴ + c_1_1⁴, an element of degree 4
14. c_4_22 → c_1_1⁴, an element of degree 4
15. c_4_23 → c_1_2⁴ + c_1_0⁴, an element of degree 4
16. b_5_33 → 0, an element of degree 5
17. b_5_34 → 0, an element of degree 5
18. b_5_35 → 0, an element of degree 5
19. b_5_36 → 0, an element of degree 5

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. b_1_2 → 0, an element of degree 1
4. b_1_3 → c_1_3, an element of degree 1
5. a_3_3 → 0, an element of degree 3
6. a_3_5 → 0, an element of degree 3
7. b_3_6 → 0, an element of degree 3
8. b_3_8 → 0, an element of degree 3
9. b_3_9 → c_1_1·c_1_3² + c_1_1²·c_1_3, an element of degree 3
10. b_3_10 → 0, an element of degree 3
11. b_3_11 → c_1_2²·c_1_3 + c_1_1·c_1_3² + c_1_1²·c_1_3, an element of degree 3
12. b_3_12 → c_1_2·c_1_3², an element of degree 3
13. c_4_21 → c_1_2²·c_1_3² + c_1_2⁴ + c_1_1²·c_1_3² + c_1_1⁴, an element of degree 4
14. c_4_22 → c_1_2²·c_1_3² + c_1_1·c_1_3³ + c_1_1⁴, an element of degree 4
15. c_4_23 → c_1_2⁴ + c_1_0²·c_1_3² + c_1_0⁴, an element of degree 4
16. b_5_33 → c_1_2⁴·c_1_3 + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_3³ + c_1_1²·c_1_2²·c_1_3
       + c_1_1⁴·c_1_3 + c_1_0²·c_1_3³ + c_1_0⁴·c_1_3, an element of degree 5
17. b_5_34 → c_1_2²·c_1_3³ + c_1_0²·c_1_3³ + c_1_0⁴·c_1_3, an element of degree 5
18. b_5_35 → c_1_2³·c_1_3² + c_1_2⁴·c_1_3 + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_3³
       + c_1_1²·c_1_2²·c_1_3 + c_1_1⁴·c_1_3 + c_1_0²·c_1_3³ + c_1_0⁴·c_1_3, an element of degree 5
19. b_5_36 → c_1_2·c_1_3⁴ + c_1_2²·c_1_3³ + c_1_2³·c_1_3² + c_1_2⁴·c_1_3
       + c_1_1·c_1_2·c_1_3³ + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_2·c_1_3²
       + c_1_1²·c_1_2²·c_1_3 + c_1_0²·c_1_3³ + c_1_0⁴·c_1_3, an element of degree 5

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. b_1_2 → c_1_3, an element of degree 1
4. b_1_3 → c_1_3, an element of degree 1
5. a_3_3 → 0, an element of degree 3
6. a_3_5 → 0, an element of degree 3
7. b_3_6 → c_1_3³ + c_1_2·c_1_3² + c_1_2²·c_1_3 + c_1_1·c_1_3² + c_1_1²·c_1_3, an element of degree 3
8. b_3_8 → c_1_2·c_1_3² + c_1_2²·c_1_3 + c_1_0·c_1_3², an element of degree 3
9. b_3_9 → c_1_1·c_1_3² + c_1_1²·c_1_3 + c_1_0·c_1_3², an element of degree 3
10. b_3_10 → c_1_3³ + c_1_1·c_1_3² + c_1_1²·c_1_3 + c_1_0·c_1_3² + c_1_0²·c_1_3, an element of degree 3
11. b_3_11 → c_1_3³ + c_1_1·c_1_3² + c_1_1²·c_1_3 + c_1_0·c_1_3² + c_1_0²·c_1_3, an element of degree 3
12. b_3_12 → c_1_3³ + c_1_2·c_1_3² + c_1_2²·c_1_3 + c_1_0·c_1_3², an element of degree 3
13. c_4_21 → c_1_3⁴ + c_1_2²·c_1_3² + c_1_2⁴ + c_1_1·c_1_3³ + c_1_1⁴ + c_1_0·c_1_3³
       + c_1_0²·c_1_3², an element of degree 4
14. c_4_22 → c_1_1·c_1_3³ + c_1_1⁴ + c_1_0·c_1_3³ + c_1_0²·c_1_3², an element of degree 4
15. c_4_23 → c_1_3⁴ + c_1_2·c_1_3³ + c_1_2⁴ + c_1_1·c_1_3³ + c_1_1²·c_1_3² + c_1_0⁴, an element of degree 4
16. b_5_33 → c_1_1·c_1_2·c_1_3³ + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_2·c_1_3²
       + c_1_1²·c_1_2²·c_1_3 + c_1_0·c_1_2·c_1_3³ + c_1_0·c_1_2²·c_1_3²
       + c_1_0·c_1_1·c_1_3³ + c_1_0·c_1_1²·c_1_3² + c_1_0²·c_1_3³ + c_1_0⁴·c_1_3, an element of degree 5
17. b_5_34 → c_1_1·c_1_2·c_1_3³ + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_2·c_1_3²
       + c_1_1²·c_1_2²·c_1_3 + c_1_0·c_1_2·c_1_3³ + c_1_0·c_1_2²·c_1_3²
       + c_1_0·c_1_1·c_1_3³ + c_1_0·c_1_1²·c_1_3² + c_1_0²·c_1_1·c_1_3²
       + c_1_0²·c_1_1²·c_1_3 + c_1_0³·c_1_3², an element of degree 5
18. b_5_35 → c_1_2·c_1_3⁴ + c_1_2²·c_1_3³ + c_1_1·c_1_3⁴ + c_1_1⁴·c_1_3 + c_1_0²·c_1_3³
       + c_1_0²·c_1_2·c_1_3² + c_1_0²·c_1_2²·c_1_3 + c_1_0²·c_1_1·c_1_3²
       + c_1_0²·c_1_1²·c_1_3 + c_1_0⁴·c_1_3, an element of degree 5
19. b_5_36 → c_1_1²·c_1_3³ + c_1_1⁴·c_1_3 + c_1_0²·c_1_3³, an element of degree 5

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128