David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 1801 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 8.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 1.
• It has 3 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) · (t14  −  t12  +  t11  +  2·t9  +  2·t6  −  t5  +  t2  +  t  +  1)

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

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

1. a_1_0, a nilpotent element of degree 1
2. b_1_1, an element of degree 1
3. b_1_2, an element of degree 1
4. b_1_3, an element of degree 1
5. b_2_8, an element of degree 2
6. a_6_23, a nilpotent element of degree 6
7. a_6_27, a nilpotent element of degree 6
8. b_6_29, an element of degree 6
9. b_7_39, an element of degree 7
10. b_9_54, an element of degree 9
11. b_9_55, an element of degree 9
12. b_9_57, an element of degree 9
13. a_14_82, a nilpotent element of degree 14
14. a_14_89, a nilpotent element of degree 14
15. b_14_120, an element of degree 14
16. c_16_149, 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 86 minimal relations of maximal degree 28:

1. a_1_0·b_1_1
2. b_1_1·b_1_2 + a_1_0·b_1_2
3. b_1_1·b_1_3² + b_2_8·b_1_2 + a_1_0³
4. b_2_8·b_1_2·b_1_3² + b_2_8²·b_1_2 + a_1_0·b_1_2²·b_1_3² + a_1_0³·b_1_3²
5. a_6_23·b_1_2
6. b_1_1⁶·b_1_3 + a_6_23·b_1_1
7. a_6_27·a_1_0 + a_6_23·a_1_0 + b_2_8²·a_1_0³
8. b_2_8·b_1_1⁴·b_1_3 + a_6_27·b_1_1
9. b_6_29·b_1_2 + b_2_8³·b_1_2 + a_1_0·b_1_2⁴·b_1_3² + b_2_8·a_1_0³·b_1_3²
10. b_6_29·a_1_0 + b_2_8²·a_1_0·b_1_3² + b_2_8²·a_1_0²·b_1_3 + b_2_8²·a_1_0³
11. b_2_8²·b_1_1³·b_1_3 + a_6_27·b_1_1² + b_2_8·a_6_27 + b_2_8·a_6_23 + b_2_8³·a_1_0²
       + a_6_23·a_1_0² + b_2_8²·a_1_0³·b_1_3
12. b_6_29·b_1_3² + b_2_8²·b_1_3⁴ + b_2_8³·b_1_2·b_1_3 + a_1_0·b_1_2⁵·b_1_3²
       + b_2_8²·a_1_0·b_1_3³ + b_2_8²·a_1_0²·b_1_3² + a_6_23·a_1_0²
13. b_1_2·b_7_39 + a_6_27·b_1_3² + a_6_27·b_1_2·b_1_3 + a_6_27·b_1_2² + a_6_23·b_1_3²
       + b_2_8²·a_1_0²·b_1_3² + a_1_0³·b_1_3⁵ + b_2_8·a_1_0³·b_1_3³
14. b_2_8²·b_1_1³·b_1_3 + a_1_0·b_7_39 + a_6_23·b_1_3² + b_2_8·a_1_0·b_1_3⁵
       + b_2_8·a_6_27 + b_2_8²·a_1_0·b_1_3³ + a_1_0²·b_1_3⁶ + b_2_8·a_1_0²·b_1_3⁴
       + b_2_8³·a_1_0² + a_6_23·a_1_0² + b_2_8²·a_1_0³·b_1_3
15. b_1_1·b_7_39 + b_1_1⁸ + b_6_29·b_1_1² + b_2_8·b_6_29 + b_2_8²·b_1_1³·b_1_3
       + b_2_8²·b_1_1⁴ + b_2_8³·b_1_3² + b_2_8³·b_1_2·b_1_3 + b_2_8³·b_1_1²
       + b_2_8³·a_1_0·b_1_3 + b_2_8³·a_1_0²
16. b_2_8·a_1_0³·b_1_3⁴ + b_2_8²·a_1_0³·b_1_3²
17. b_1_1·b_9_54 + b_1_1¹⁰ + b_6_29·b_1_1³·b_1_3 + b_2_8·b_6_29·b_1_1·b_1_3
       + b_2_8·b_6_29·b_1_1² + b_2_8⁴·b_1_1² + a_6_23·b_1_1⁴ + b_2_8·a_6_27·b_1_1²
       + b_2_8²·a_6_27 + b_2_8²·a_6_23 + b_2_8⁴·a_1_0² + b_2_8²·a_1_0³·b_1_3³
18. b_1_2·b_9_54 + b_2_8⁴·b_1_2·b_1_3 + a_1_0·b_9_55 + a_1_0·b_9_54
       + a_1_0·b_1_2⁶·b_1_3³ + a_6_27·b_1_2·b_1_3³ + a_6_27·b_1_2³·b_1_3
       + a_6_27·b_1_2⁴ + a_6_23·b_1_3⁴ + b_2_8·a_1_0·b_1_3⁷ + b_2_8·a_6_23·b_1_3²
       + b_2_8²·a_1_0·b_1_3⁵ + b_2_8³·a_1_0·b_1_3³ + a_1_0²·b_1_3⁸
       + a_6_23·a_1_0·b_1_3³ + b_2_8³·a_1_0²·b_1_3² + b_2_8⁴·a_1_0²
       + a_1_0³·b_1_3⁷ + a_6_23·a_1_0²·b_1_3² + b_2_8²·a_1_0³·b_1_3³
       + b_2_8³·a_1_0³·b_1_3
19. b_1_2·b_9_54 + b_1_1·b_9_55 + b_2_8·b_6_29·b_1_1·b_1_3 + b_2_8³·b_1_1⁴
       + a_1_0·b_1_2⁶·b_1_3³ + a_6_27·b_1_2·b_1_3³ + a_6_27·b_1_2³·b_1_3
       + a_6_27·b_1_2⁴ + a_6_23·b_1_1⁴ + b_2_8·a_6_27·b_1_1² + b_2_8·a_6_23·b_1_1²
       + b_2_8²·a_6_27 + b_2_8²·a_6_23 + b_2_8⁴·a_1_0² + a_1_0³·b_1_3⁷
       + a_6_23·a_1_0²·b_1_3² + b_2_8·a_6_23·a_1_0² + b_2_8³·a_1_0³·b_1_3
20. b_1_2·b_9_57 + b_1_2·b_9_55 + b_2_8⁴·b_1_2·b_1_3 + a_1_0·b_1_2⁶·b_1_3³
       + a_6_27·b_1_2²·b_1_3²
21. b_1_2·b_9_54 + b_2_8⁴·b_1_2·b_1_3 + a_1_0·b_9_57 + a_1_0·b_1_2⁶·b_1_3³
       + a_6_27·b_1_2·b_1_3³ + a_6_27·b_1_2³·b_1_3 + a_6_27·b_1_2⁴ + a_6_23·b_1_3⁴
       + b_2_8·a_6_27·b_1_1² + b_2_8²·a_6_23 + b_2_8³·a_1_0·b_1_3³ + a_1_0²·b_1_3⁸
       + b_2_8·a_6_23·a_1_0·b_1_3 + b_2_8³·a_1_0²·b_1_3² + a_6_23·a_1_0²·b_1_3²
22. b_1_3²·b_9_57 + b_1_3²·b_9_55 + b_1_3²·b_9_54 + b_2_8·b_9_55 + b_2_8·b_9_54
       + b_2_8·b_1_3⁹ + b_2_8·b_1_1⁹ + b_2_8·b_6_29·b_1_1²·b_1_3 + b_2_8²·b_6_29·b_1_1
       + b_2_8³·b_1_3⁵ + b_2_8⁴·b_1_3³ + b_2_8⁴·b_1_1³ + b_2_8⁵·b_1_1
       + a_1_0·b_1_2⁷·b_1_3³ + a_6_27·b_1_3⁵ + a_6_27·b_1_2·b_1_3⁴
       + a_6_27·b_1_2²·b_1_3³ + a_6_27·b_1_2³·b_1_3² + b_2_8·a_1_0·b_1_3⁸
       + b_2_8²·a_6_23·b_1_1 + b_2_8⁵·a_1_0 + a_1_0²·b_9_54 + a_1_0²·b_1_3⁹
       + b_2_8³·a_1_0²·b_1_3³ + b_2_8⁴·a_1_0²·b_1_3 + a_6_23·a_1_0²·b_1_3³
       + b_2_8³·a_1_0³·b_1_3²
23. a_6_27² + a_6_23²
24. a_6_23·a_6_27 + a_6_23² + b_2_8²·a_6_23·a_1_0²
25. b_2_8·b_6_29·b_1_1³·b_1_3 + a_6_27·b_6_29 + b_2_8²·a_6_23·b_1_3²
       + b_2_8²·a_6_23·a_1_0·b_1_3 + b_2_8⁴·a_1_0²·b_1_3²
       + b_2_8·a_6_23·a_1_0²·b_1_3² + b_2_8²·a_6_23·a_1_0² + b_2_8³·a_1_0³·b_1_3³
       + b_2_8⁴·a_1_0³·b_1_3
26. b_6_29·b_1_1⁵·b_1_3 + a_6_23·b_6_29 + b_2_8²·a_6_23·b_1_3²
       + b_2_8²·a_6_23·a_1_0·b_1_3 + b_2_8²·a_6_23·a_1_0²
27. a_6_23² + b_2_8·a_1_0²·b_1_3⁸ + b_2_8⁴·a_1_0²·b_1_3² + b_2_8⁵·a_1_0²
       + a_1_0³·b_9_54 + a_6_23·a_1_0²·b_1_3⁴ + b_2_8·a_6_23·a_1_0²·b_1_3²
       + b_2_8²·a_6_23·a_1_0² + b_2_8³·a_1_0³·b_1_3³ + b_2_8⁴·a_1_0³·b_1_3
28. b_1_1³·b_9_57 + b_6_29·b_1_1⁵·b_1_3 + b_6_29·b_1_1⁶ + b_6_29² + b_2_8·b_1_1¹⁰
       + b_2_8·b_6_29·b_1_1⁴ + b_2_8³·b_1_1⁶ + b_2_8⁴·b_1_3⁴ + b_2_8⁵·b_1_1²
       + a_6_23·b_1_1⁶ + b_2_8²·a_6_23·b_1_1² + b_2_8³·a_6_27 + b_2_8³·a_6_23
       + b_2_8⁴·a_1_0²·b_1_3² + b_2_8⁵·a_1_0² + b_2_8²·a_6_23·a_1_0²
       + b_2_8⁴·a_1_0³·b_1_3
29. b_2_8²·b_6_29·b_1_1²·b_1_3 + a_6_27·b_7_39 + a_6_23·b_7_39 + a_6_23·b_1_1⁷
       + a_6_23·b_6_29·b_1_1 + b_2_8·a_6_23·b_1_1⁵ + b_2_8²·a_6_23·b_1_1³
       + b_2_8³·a_6_27·b_1_1 + b_2_8²·a_6_23·a_1_0·b_1_3² + b_2_8³·a_1_0²·b_1_3⁵
       + b_2_8³·a_6_23·a_1_0 + b_2_8⁴·a_1_0²·b_1_3³ + a_1_0³·b_1_3¹⁰
       + a_6_23·a_1_0²·b_1_3⁵ + b_2_8²·a_6_23·a_1_0²·b_1_3 + b_2_8⁵·a_1_0³
30. b_2_8²·b_6_29·b_1_1²·b_1_3 + a_6_27·b_7_39 + a_6_27·b_6_29·b_1_1
       + b_2_8·a_1_0·b_1_3¹⁰ + b_2_8·a_6_23·b_1_3⁵ + b_2_8·a_6_23·b_1_1⁵
       + b_2_8²·a_1_0·b_1_3⁸ + b_2_8²·a_6_23·b_1_3³ + b_2_8³·a_6_27·b_1_1
       + b_2_8³·a_6_23·b_1_1 + b_2_8⁴·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0
       + a_1_0²·b_1_3²·b_9_54 + b_2_8·a_1_0²·b_9_54 + b_2_8·a_1_0²·b_1_3⁹
       + b_2_8·a_6_23·a_1_0·b_1_3⁴ + b_2_8²·a_1_0²·b_1_3⁷
       + b_2_8²·a_6_23·a_1_0·b_1_3² + b_2_8³·a_1_0²·b_1_3⁵ + b_2_8⁵·a_1_0²·b_1_3
       + b_2_8·a_6_23·a_1_0²·b_1_3³ + b_2_8²·a_6_23·a_1_0²·b_1_3
31. b_2_8·b_1_3²·b_9_55 + b_2_8·b_1_3²·b_9_54 + b_2_8·b_1_3⁴·b_7_39 + b_2_8²·b_9_55
       + b_2_8²·b_9_54 + b_2_8²·b_1_3²·b_7_39 + b_2_8²·b_1_1⁹ + b_2_8³·b_6_29·b_1_1
       + b_2_8⁴·b_1_3⁵ + b_2_8⁵·b_1_3³ + b_2_8⁵·b_1_1³ + b_2_8⁶·b_1_1
       + a_1_0·b_1_2·b_1_3²·b_9_55 + a_6_27·b_7_39 + a_6_27·b_6_29·b_1_1
       + b_2_8·a_1_0·b_1_3¹⁰ + b_2_8·a_6_23·b_1_1⁵ + b_2_8³·a_1_0·b_1_3⁶
       + b_2_8³·a_6_27·b_1_1 + b_2_8·a_1_0²·b_9_54 + b_2_8⁴·a_1_0²·b_1_3³
       + a_6_23·a_1_0²·b_1_3⁵ + b_2_8·a_6_23·a_1_0²·b_1_3³
       + b_2_8²·a_6_23·a_1_0²·b_1_3 + b_2_8⁴·a_1_0³·b_1_3²
32. b_6_29·b_7_39 + b_6_29·b_1_1⁷ + b_6_29²·b_1_1 + b_2_8·b_1_1²·b_9_57
       + b_2_8·b_6_29·b_1_1⁵ + b_2_8²·b_1_3²·b_7_39 + b_2_8²·b_1_1⁹
       + b_2_8²·b_6_29·b_1_1²·b_1_3 + b_2_8³·b_6_29·b_1_1 + b_2_8⁴·b_1_1⁵
       + b_2_8⁵·b_1_1²·b_1_3 + b_2_8⁶·b_1_2 + b_2_8⁶·b_1_1 + a_6_27·b_6_29·b_1_1
       + b_2_8·a_6_23·b_1_1⁵ + b_2_8²·a_6_23·b_1_3³ + b_2_8³·a_1_0·b_1_3⁶
       + b_2_8³·a_6_27·b_1_1 + b_2_8³·a_6_23·b_1_3 + b_2_8³·a_6_23·b_1_1
       + b_2_8⁴·a_1_0·b_1_3⁴ + b_2_8²·a_1_0²·b_1_3⁷ + b_2_8²·a_6_23·a_1_0·b_1_3²
       + b_2_8³·a_6_23·a_1_0 + b_2_8⁴·a_1_0²·b_1_3³ + b_2_8·a_6_23·a_1_0²·b_1_3³
33. b_7_39² + b_1_1¹⁴ + b_6_29²·b_1_1² + b_2_8·b_1_3¹² + b_2_8²·b_1_3¹⁰
       + b_2_8²·b_1_1·b_9_57 + b_2_8²·b_6_29·b_1_1⁴ + b_2_8³·b_1_3⁸ + b_2_8³·b_1_1⁸
       + b_2_8³·b_6_29·b_1_1² + b_2_8⁴·b_1_1⁶ + b_2_8⁵·b_1_3⁴ + b_2_8⁵·b_1_1⁴
       + b_2_8⁶·b_1_3² + b_2_8⁶·b_1_1·b_1_3 + b_2_8⁶·b_1_1² + b_2_8⁷
       + a_1_0·b_1_3⁴·b_9_54 + a_1_0·b_1_2¹¹·b_1_3² + a_6_23·b_1_3⁸
       + b_2_8·a_1_0·b_1_3¹¹ + b_2_8·a_6_27·b_6_29 + b_2_8·a_6_23·b_1_3⁶
       + b_2_8²·a_1_0·b_9_54 + b_2_8²·a_6_23·b_1_1⁴ + b_2_8³·a_1_0·b_1_3⁷
       + b_2_8³·a_6_27·b_1_1² + b_2_8⁴·a_1_0·b_1_3⁵ + b_2_8⁴·a_6_27
       + b_2_8⁶·a_1_0·b_1_3 + a_6_23·a_1_0·b_1_3⁷ + b_2_8²·a_1_0²·b_1_3⁸
       + b_2_8²·a_6_23·a_1_0·b_1_3³ + b_2_8³·a_6_23·a_1_0·b_1_3
       + b_2_8⁵·a_1_0²·b_1_3² + b_2_8·a_6_23·a_1_0²·b_1_3⁴
       + b_2_8²·a_6_23·a_1_0²·b_1_3² + b_2_8³·a_6_23·a_1_0²
       + b_2_8⁴·a_1_0³·b_1_3³ + b_2_8⁵·a_1_0³·b_1_3
34. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3 + b_2_8·b_6_29²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1
       + b_2_8⁵·b_1_3⁵ + b_2_8⁷·b_1_2 + a_6_23·b_6_29·b_1_1³ + b_2_8·a_6_27·b_7_39
       + b_2_8·a_6_23·b_7_39 + b_2_8·a_6_23·b_1_1⁷ + b_2_8·a_6_23·b_6_29·b_1_1
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_6_23·b_1_1³
       + b_2_8⁴·a_6_27·b_1_1 + b_2_8²·a_1_0²·b_9_54 + b_2_8³·a_6_23·a_1_0·b_1_3²
       + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁴·a_6_23·a_1_0 + b_2_8²·a_6_23·a_1_0²·b_1_3³
       + b_2_8³·a_6_23·a_1_0²·b_1_3 + b_2_8⁵·a_1_0³·b_1_3² + b_2_8⁶·a_1_0³
35. a_6_27·b_9_54 + a_6_23·b_9_54 + a_6_23·b_1_1⁹ + b_2_8·a_6_23·b_7_39
       + b_2_8²·a_1_0·b_1_3¹⁰ + b_2_8²·a_6_23·b_1_3⁵ + b_2_8³·a_1_0·b_1_3⁸
       + b_2_8³·a_6_23·b_1_3³ + b_2_8³·a_6_23·b_1_1³ + b_2_8⁴·a_6_27·b_1_1
       + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁷·a_1_0 + b_2_8·a_1_0²·b_1_3²·b_9_54
       + b_2_8²·a_1_0²·b_1_3⁹ + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8³·a_1_0²·b_1_3⁷
       + b_2_8⁴·a_6_23·a_1_0 + b_2_8⁵·a_1_0²·b_1_3³ + b_2_8⁶·a_1_0²·b_1_3
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8⁶·a_1_0³
36. b_6_29·b_9_55 + b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3⁴·b_7_39 + b_2_8³·b_9_55 + b_2_8³·b_9_54
       + b_2_8³·b_1_3²·b_7_39 + b_2_8³·b_1_1⁹ + b_2_8³·b_6_29·b_1_1³
       + b_2_8⁵·b_1_3⁵ + b_2_8⁶·b_1_3³ + b_2_8⁶·b_1_1³ + b_2_8⁷·b_1_2 + b_2_8⁷·b_1_1
       + a_1_0·b_1_2³·b_1_3²·b_9_55 + b_2_8·a_6_27·b_7_39 + b_2_8·a_6_23·b_7_39
       + b_2_8·a_6_23·b_1_1⁷ + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_6_23·b_1_1³
       + b_2_8⁴·a_6_27·b_1_1 + b_2_8⁴·a_6_23·b_1_1 + b_2_8⁷·a_1_0
       + b_2_8·a_1_0²·b_1_3²·b_9_54 + b_2_8²·a_6_23·a_1_0·b_1_3⁴
       + b_2_8³·a_6_23·a_1_0·b_1_3² + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁴·a_6_23·a_1_0
       + b_2_8·a_6_23·a_1_0²·b_1_3⁵ + b_2_8²·a_6_23·a_1_0²·b_1_3³
       + b_2_8⁵·a_1_0³·b_1_3²
37. a_6_27·b_9_54 + a_6_23·b_9_55 + b_2_8·a_1_0·b_1_3¹² + b_2_8·a_6_23·b_7_39
       + b_2_8·a_6_23·b_1_3⁷ + b_2_8·a_6_23·b_6_29·b_1_1 + b_2_8³·a_1_0·b_1_3⁸
       + b_2_8⁴·a_1_0·b_1_3⁶ + b_2_8⁴·a_6_27·b_1_1 + b_2_8⁴·a_6_23·b_1_1
       + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3² + b_2_8⁷·a_1_0
       + a_1_0²·b_1_3⁴·b_9_54 + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8³·a_1_0²·b_1_3⁷
       + b_2_8⁵·a_1_0²·b_1_3³ + b_2_8⁶·a_1_0²·b_1_3 + a_1_0³·b_1_3¹²
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8²·a_6_23·a_1_0²·b_1_3³ + b_2_8³·a_6_23·a_1_0²·b_1_3 + b_2_8⁶·a_1_0³
38. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3 + b_2_8·b_6_29²·b_1_1
       + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1 + b_2_8⁶·b_1_1²·b_1_3 + b_2_8⁷·b_1_2
       + a_6_27·b_9_57 + a_6_27·b_9_55 + a_6_27·b_9_54 + a_6_23·b_6_29·b_1_1³
       + b_2_8·a_6_27·b_7_39 + b_2_8·a_6_23·b_7_39 + b_2_8·a_6_23·b_1_3⁷
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_1_0·b_1_3¹⁰ + b_2_8²·a_6_23·b_1_3⁵
       + b_2_8³·a_1_0·b_1_3⁸ + b_2_8³·a_6_23·b_1_1³ + b_2_8⁵·a_1_0·b_1_3⁴
       + b_2_8⁷·a_1_0 + b_2_8·a_1_0²·b_1_3²·b_9_54 + b_2_8·a_1_0²·b_1_3¹¹
       + b_2_8·a_6_23·a_1_0·b_1_3⁶ + b_2_8⁴·a_1_0²·b_1_3⁵ + a_6_23·a_1_0²·b_1_3⁷
       + b_2_8²·a_6_23·a_1_0²·b_1_3³ + b_2_8³·a_6_23·a_1_0²·b_1_3
       + b_2_8⁵·a_1_0³·b_1_3²
39. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_2_8·b_6_29²·b_1_3 + b_2_8·b_6_29²·b_1_1
       + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1 + b_2_8⁵·b_1_3⁵ + b_2_8⁷·b_1_2
       + a_6_23·b_9_57 + b_2_8·a_1_0·b_1_3¹² + b_2_8·a_6_27·b_7_39 + b_2_8·a_6_23·b_7_39
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_1_0·b_1_3⁸
       + b_2_8³·a_6_23·b_1_3³ + b_2_8⁴·a_1_0·b_1_3⁶ + b_2_8⁵·a_1_0·b_1_3⁴
       + b_2_8⁶·a_1_0·b_1_3² + b_2_8⁷·a_1_0 + a_1_0²·b_1_3⁴·b_9_54
       + b_2_8·a_1_0²·b_1_3¹¹ + b_2_8·a_6_23·a_1_0·b_1_3⁶ + b_2_8²·a_1_0²·b_1_3⁹
       + b_2_8³·a_1_0²·b_1_3⁷ + b_2_8³·a_6_23·a_1_0·b_1_3² + b_2_8⁵·a_1_0²·b_1_3³
       + a_1_0³·b_1_3¹²
40. b_6_29·b_9_55 + b_2_8·b_6_29²·b_1_3 + b_2_8²·b_1_3²·b_9_54 + b_2_8²·b_1_3⁴·b_7_39
       + b_2_8³·b_9_55 + b_2_8³·b_9_54 + b_2_8³·b_1_3²·b_7_39 + b_2_8³·b_1_1⁹
       + b_2_8³·b_6_29·b_1_1³ + b_2_8⁴·b_6_29·b_1_1 + b_2_8⁶·b_1_3³ + b_2_8⁶·b_1_1³
       + b_2_8⁷·b_1_1 + a_1_0·b_1_2⁴·b_1_3·b_9_55 + a_1_0·b_1_2¹¹·b_1_3³ + a_14_82·b_1_2
       + a_6_27·b_9_55 + a_6_27·b_9_54 + a_6_27·b_1_2²·b_1_3⁷ + a_6_27·b_1_2⁵·b_1_3⁴
       + a_6_27·b_1_2⁷·b_1_3² + a_6_27·b_1_2⁸·b_1_3 + a_6_27·b_1_2⁹
       + a_6_23·b_6_29·b_1_1³ + b_2_8·a_1_0·b_1_3¹² + b_2_8·a_6_23·b_7_39
       + b_2_8·a_6_23·b_1_3⁷ + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8³·a_1_0·b_1_3⁸
       + b_2_8³·a_6_23·b_1_1³ + b_2_8⁴·a_1_0·b_1_3⁶ + b_2_8⁴·a_6_27·b_1_1
       + b_2_8⁴·a_6_23·b_1_1 + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3²
       + a_1_0²·b_1_3⁴·b_9_54 + b_2_8·a_1_0²·b_1_3²·b_9_54
       + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8³·a_6_23·a_1_0·b_1_3²
       + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁶·a_1_0²·b_1_3 + a_6_23·a_1_0²·b_1_3⁷
       + b_2_8·a_6_23·a_1_0²·b_1_3⁵ + b_2_8⁶·a_1_0³
41. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3 + b_2_8·b_6_29²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1
       + b_2_8⁵·b_1_3⁵ + b_2_8⁷·b_1_2 + a_1_0·b_1_3⁵·b_9_54 + a_6_23·b_6_29·b_1_1³
       + b_2_8·a_1_0·b_1_3³·b_9_54 + b_2_8·a_1_0·b_1_3¹² + b_2_8·a_6_27·b_7_39
       + b_2_8·a_6_23·b_7_39 + b_2_8·a_6_23·b_1_3⁷ + b_2_8·a_6_23·b_1_1⁷
       + b_2_8·a_6_23·b_6_29·b_1_1 + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_6_23·b_1_3⁵
       + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_1_0·b_1_3⁸ + b_2_8³·a_6_23·b_1_1³
       + b_2_8⁴·a_6_27·b_1_1 + a_1_0²·b_1_3⁴·b_9_54 + a_14_82·a_1_0
       + b_2_8·a_1_0²·b_1_3¹¹ + b_2_8·a_6_23·a_1_0·b_1_3⁶ + b_2_8²·a_1_0²·b_1_3⁹
       + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁵·a_1_0²·b_1_3³
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8²·a_6_23·a_1_0²·b_1_3³ + b_2_8³·a_6_23·a_1_0²·b_1_3
       + b_2_8⁵·a_1_0³·b_1_3²
42. b_2_8⁶·b_1_1²·b_1_3 + a_14_82·b_1_1 + a_6_23·b_1_1⁹ + b_2_8·a_6_23·b_6_29·b_1_1
       + b_2_8²·a_6_23·b_1_1⁵ + b_2_8⁴·a_6_23·b_1_1 + b_2_8²·a_6_23·a_1_0²·b_1_3³
       + b_2_8⁵·a_1_0³·b_1_3²
43. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3 + b_2_8·b_6_29²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1
       + b_2_8⁵·b_1_3⁵ + b_2_8⁷·b_1_2 + a_1_0·b_1_2²·b_1_3³·b_9_55
       + a_1_0·b_1_2⁴·b_1_3·b_9_55 + a_14_89·b_1_2 + a_6_27·b_9_55 + a_6_27·b_9_54
       + a_6_27·b_1_2⁴·b_1_3⁵ + a_6_27·b_1_2⁵·b_1_3⁴ + a_6_27·b_1_2⁸·b_1_3
       + a_6_27·b_1_2⁹ + a_6_23·b_6_29·b_1_1³ + b_2_8·a_1_0·b_1_3¹²
       + b_2_8·a_6_27·b_7_39 + b_2_8·a_6_23·b_1_3⁷ + b_2_8·a_6_23·b_1_1⁷
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_1_0·b_1_3⁸
       + b_2_8⁴·a_1_0·b_1_3⁶ + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3²
       + b_2_8⁷·a_1_0 + a_1_0²·b_1_3⁴·b_9_54 + b_2_8⁴·a_6_23·a_1_0 + b_2_8⁶·a_1_0²·b_1_3
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8·a_6_23·a_1_0²·b_1_3⁵ + b_2_8⁵·a_1_0³·b_1_3²
       + b_2_8⁶·a_1_0³
44. b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3 + b_2_8·b_6_29²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3²·b_9_54 + b_2_8⁴·b_6_29·b_1_1
       + b_2_8⁵·b_1_3⁵ + b_2_8⁷·b_1_2 + a_6_27·b_9_54 + a_6_23·b_6_29·b_1_1³
       + b_2_8·a_1_0·b_1_3³·b_9_54 + b_2_8·a_6_27·b_7_39 + b_2_8·a_6_23·b_1_3⁷
       + b_2_8·a_6_23·b_1_1⁷ + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_1_0·b_1_3¹⁰
       + b_2_8²·a_6_23·b_1_3⁵ + b_2_8²·a_6_23·b_1_1⁵ + b_2_8³·a_6_23·b_1_3³
       + b_2_8⁴·a_6_23·b_1_1 + b_2_8⁶·a_1_0·b_1_3² + b_2_8⁷·a_1_0 + a_14_89·a_1_0
       + b_2_8·a_1_0²·b_1_3²·b_9_54 + b_2_8·a_1_0²·b_1_3¹¹
       + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8³·a_1_0²·b_1_3⁷
       + b_2_8³·a_6_23·a_1_0·b_1_3² + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁴·a_6_23·a_1_0
       + b_2_8⁵·a_1_0²·b_1_3³ + a_1_0³·b_1_3¹² + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8²·a_6_23·a_1_0²·b_1_3³ + b_2_8⁵·a_1_0³·b_1_3²
45. b_2_8²·b_1_1·b_1_3·b_9_57 + b_2_8⁴·b_6_29·b_1_3 + b_2_8⁶·b_1_3³ + a_14_89·b_1_1
       + a_6_23·b_1_1⁹ + a_6_23·b_6_29·b_1_1³ + b_2_8⁶·a_1_0·b_1_3²
       + b_2_8⁶·a_1_0²·b_1_3 + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8³·a_6_23·a_1_0²·b_1_3 + b_2_8⁵·a_1_0³·b_1_3²
46. b_1_2·b_1_3⁵·b_9_55 + b_1_2²·b_1_3⁴·b_9_55 + b_1_2⁶·b_9_55 + b_14_120·b_1_2
       + b_6_29·b_9_55 + b_2_8·b_6_29²·b_1_3 + b_2_8²·b_1_3²·b_9_54
       + b_2_8²·b_1_3⁴·b_7_39 + b_2_8³·b_9_55 + b_2_8³·b_9_54 + b_2_8³·b_1_3²·b_7_39
       + b_2_8³·b_1_1⁹ + b_2_8³·b_6_29·b_1_1³ + b_2_8⁴·b_6_29·b_1_1 + b_2_8⁶·b_1_3³
       + b_2_8⁶·b_1_1³ + b_2_8⁷·b_1_1 + a_1_0·b_1_2⁴·b_1_3·b_9_55 + a_1_0·b_1_2⁵·b_9_55
       + a_6_27·b_9_55 + a_6_27·b_9_54 + a_6_27·b_1_2⁵·b_1_3⁴ + a_6_23·b_6_29·b_1_1³
       + b_2_8·a_1_0·b_1_3¹² + b_2_8·a_6_23·b_7_39 + b_2_8·a_6_23·b_1_3⁷
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8³·a_1_0·b_1_3⁸ + b_2_8³·a_6_23·b_1_1³
       + b_2_8⁴·a_1_0·b_1_3⁶ + b_2_8⁴·a_6_27·b_1_1 + b_2_8⁴·a_6_23·b_1_1
       + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3² + a_1_0²·b_1_3⁴·b_9_54
       + b_2_8·a_1_0²·b_1_3²·b_9_54 + b_2_8²·a_6_23·a_1_0·b_1_3⁴
       + b_2_8³·a_6_23·a_1_0·b_1_3² + b_2_8⁴·a_1_0²·b_1_3⁵ + b_2_8⁶·a_1_0²·b_1_3
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8²·a_6_23·a_1_0²·b_1_3³ + b_2_8⁵·a_1_0³·b_1_3² + b_2_8⁶·a_1_0³
47. b_6_29·b_9_55 + b_6_29·b_9_54 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1²·b_1_3
       + b_2_8·b_6_29²·b_1_1 + b_2_8²·b_1_3⁴·b_7_39 + b_2_8³·b_9_55 + b_2_8³·b_9_54
       + b_2_8³·b_1_3²·b_7_39 + b_2_8³·b_1_1⁹ + b_2_8³·b_6_29·b_1_1³
       + b_2_8⁵·b_1_3⁵ + b_2_8⁶·b_1_3³ + b_2_8⁶·b_1_1³ + b_2_8⁷·b_1_2 + b_2_8⁷·b_1_1
       + a_1_0·b_1_2²·b_1_3³·b_9_55 + a_1_0·b_1_2⁵·b_9_55 + b_14_120·a_1_0 + a_6_27·b_9_54
       + a_6_23·b_1_3⁹ + b_2_8·a_1_0·b_1_3³·b_9_54 + b_2_8·a_6_27·b_7_39
       + b_2_8·a_6_23·b_1_3⁷ + b_2_8·a_6_23·b_1_1⁷ + b_2_8·a_6_23·b_6_29·b_1_1
       + b_2_8²·a_1_0·b_1_3·b_9_54 + b_2_8²·a_6_23·b_1_3⁵ + b_2_8²·a_6_23·b_1_1⁵
       + b_2_8³·a_1_0·b_1_3⁸ + b_2_8³·a_6_23·b_1_3³ + b_2_8⁴·a_6_23·b_1_3
       + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁷·a_1_0 + a_1_0²·b_1_3⁴·b_9_54 + a_1_0²·b_1_3¹³
       + b_2_8·a_1_0²·b_1_3²·b_9_54 + b_2_8·a_1_0²·b_1_3¹¹ + b_2_8²·a_1_0²·b_1_3⁹
       + a_6_23·a_1_0²·b_1_3⁷ + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8³·a_6_23·a_1_0²·b_1_3 + b_2_8⁵·a_1_0³·b_1_3²
48. b_14_120·b_1_1 + b_6_29·b_9_57 + b_6_29·b_1_1⁹ + b_6_29²·b_1_1³
       + b_2_8·b_6_29·b_1_1⁷ + b_2_8·b_6_29²·b_1_3 + b_2_8²·b_1_3⁴·b_7_39
       + b_2_8²·b_1_1²·b_9_57 + b_2_8²·b_1_1¹¹ + b_2_8³·b_1_3²·b_7_39
       + b_2_8³·b_1_3⁹ + b_2_8³·b_6_29·b_1_1³ + b_2_8⁴·b_6_29·b_1_3
       + b_2_8⁴·b_6_29·b_1_1 + b_2_8⁵·b_1_3⁵ + b_2_8⁵·b_1_1⁵ + b_2_8⁶·b_1_3³
       + b_2_8⁶·b_1_1³ + b_2_8⁷·b_1_2 + a_1_0·b_1_2²·b_1_3³·b_9_55
       + a_1_0·b_1_2⁵·b_9_55 + b_2_8·a_6_23·b_7_39 + b_2_8²·a_1_0·b_1_3¹⁰
       + b_2_8³·a_1_0·b_1_3⁸ + b_2_8³·a_6_23·b_1_1³ + b_2_8⁴·a_1_0·b_1_3⁶
       + b_2_8⁴·a_6_23·b_1_3 + b_2_8⁵·a_1_0·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3²
       + b_2_8⁷·a_1_0 + b_2_8²·a_6_23·a_1_0·b_1_3⁴ + b_2_8·a_6_23·a_1_0²·b_1_3⁵
       + b_2_8³·a_6_23·a_1_0²·b_1_3 + b_2_8⁶·a_1_0³
49. b_2_8·b_1_3⁵·b_9_54 + b_2_8²·b_1_3³·b_9_54 + b_2_8²·b_1_3⁵·b_7_39
       + b_2_8²·b_1_3¹² + b_2_8³·b_1_3·b_9_55 + b_2_8³·b_1_3·b_9_54
       + b_2_8³·b_1_3³·b_7_39 + b_2_8³·b_1_3¹⁰ + b_2_8⁴·b_6_29·b_1_1·b_1_3
       + b_2_8⁶·b_1_3⁴ + b_2_8⁷·b_1_2·b_1_3 + b_2_8·a_1_0·b_1_3⁴·b_9_54 + b_2_8·a_14_82
       + b_2_8·a_6_23·b_1_1⁸ + b_2_8²·a_6_23·b_1_3⁶ + b_2_8²·a_6_23·b_6_29
       + b_2_8³·a_1_0·b_9_54 + b_2_8⁴·a_1_0·b_1_3⁷ + b_2_8⁴·a_6_27·b_1_1²
       + b_2_8⁵·a_6_27 + b_2_8⁷·a_1_0·b_1_3 + b_2_8·a_1_0²·b_1_3³·b_9_54
       + b_2_8·a_6_23·a_1_0·b_1_3⁷ + b_2_8²·a_1_0²·b_1_3¹⁰
       + b_2_8³·a_6_23·a_1_0·b_1_3³ + b_2_8⁴·a_6_23·a_1_0·b_1_3 + a_14_89·a_1_0²
       + a_6_23·a_1_0²·b_1_3⁸ + b_2_8²·a_6_23·a_1_0²·b_1_3⁴
       + b_2_8⁵·a_1_0³·b_1_3³ + b_2_8⁶·a_1_0³·b_1_3
50. b_7_39·b_9_55 + b_2_8·b_1_3⁵·b_9_54 + b_2_8·b_1_3⁷·b_7_39 + b_2_8·b_1_3¹⁴
       + b_2_8²·b_1_3³·b_9_54 + b_2_8²·b_1_3⁵·b_7_39 + b_2_8²·b_1_3¹²
       + b_2_8³·b_1_3·b_9_57 + b_2_8³·b_1_3·b_9_55 + b_2_8³·b_1_3·b_9_54
       + b_2_8³·b_1_3³·b_7_39 + b_2_8³·b_1_1¹⁰ + b_2_8³·b_6_29·b_1_1⁴
       + b_2_8⁴·b_1_3·b_7_39 + b_2_8⁴·b_6_29·b_1_1·b_1_3 + b_2_8⁴·b_6_29·b_1_1²
       + b_2_8⁵·b_1_1⁶ + b_2_8⁶·b_1_1⁴ + b_2_8⁷·b_1_2·b_1_3 + a_1_0·b_1_2¹³·b_1_3²
       + a_14_89·b_1_3² + a_14_89·b_1_1² + a_6_27·b_1_3·b_9_55 + a_6_27·b_1_2·b_9_55
       + a_6_27·b_1_2³·b_1_3⁷ + a_6_27·b_1_2⁴·b_1_3⁶ + a_6_27·b_1_2⁷·b_1_3³
       + a_6_27·b_1_2⁸·b_1_3² + a_6_27·b_1_1·b_9_57 + a_6_23·b_1_3¹⁰
       + b_2_8·a_1_0·b_1_3⁴·b_9_54 + b_2_8·a_1_0·b_1_3¹³ + b_2_8·a_14_89 + b_2_8·a_14_82
       + b_2_8·a_6_23·b_1_3⁸ + b_2_8·a_6_23·b_1_1⁸ + b_2_8·a_6_23·b_6_29·b_1_1²
       + b_2_8²·a_6_27·b_6_29 + b_2_8³·a_6_23·b_1_3⁴ + b_2_8⁴·a_1_0·b_1_3⁷
       + b_2_8⁴·a_6_27·b_1_1² + b_2_8⁴·a_6_23·b_1_3² + b_2_8⁴·a_6_23·b_1_1²
       + b_2_8⁵·a_6_23 + b_2_8⁶·a_1_0·b_1_3³ + a_1_0²·b_1_3¹⁴ + a_14_89·a_1_0·b_1_3
       + b_2_8²·a_1_0²·b_1_3·b_9_54 + b_2_8²·a_1_0²·b_1_3¹⁰ + b_2_8⁴·a_1_0²·b_1_3⁶
       + b_2_8⁴·a_6_23·a_1_0·b_1_3 + b_2_8⁶·a_1_0²·b_1_3² + b_2_8⁷·a_1_0²
       + b_2_8³·a_6_23·a_1_0²·b_1_3² + b_2_8⁴·a_6_23·a_1_0²
51. b_7_39·b_9_57 + b_1_3⁷·b_9_54 + b_6_29·b_1_1·b_9_57 + b_6_29·b_1_1¹⁰
       + b_6_29²·b_1_1⁴ + b_2_8·b_1_3⁵·b_9_54 + b_2_8·b_1_3⁷·b_7_39 + b_2_8·b_1_1¹⁴
       + b_2_8·b_14_120 + b_2_8·b_6_29²·b_1_1² + b_2_8²·b_1_3⁵·b_7_39 + b_2_8²·b_6_29²
       + b_2_8³·b_1_3·b_9_57 + b_2_8³·b_1_3·b_9_54 + b_2_8³·b_1_3¹⁰ + b_2_8³·b_1_1¹⁰
       + b_2_8³·b_6_29·b_1_1⁴ + b_2_8⁴·b_1_3⁸ + b_2_8⁴·b_6_29·b_1_1·b_1_3
       + b_2_8⁴·b_6_29·b_1_1² + b_2_8⁵·b_1_3⁶ + b_2_8⁵·b_6_29 + b_2_8⁶·b_1_3⁴
       + b_2_8⁶·b_1_1⁴ + b_2_8⁷·b_1_2·b_1_3 + a_1_0·b_1_2¹³·b_1_3² + a_14_89·b_1_2²
       + a_14_82·b_1_3² + a_14_82·b_1_2² + a_6_27·b_1_3·b_9_55 + a_6_27·b_1_3¹⁰
       + a_6_27·b_1_2·b_9_55 + a_6_27·b_1_2·b_1_3⁹ + a_6_27·b_1_2²·b_1_3⁸
       + a_6_27·b_1_2⁴·b_1_3⁶ + a_6_27·b_1_2⁵·b_1_3⁵ + a_6_27·b_1_2⁶·b_1_3⁴
       + a_6_27·b_1_2⁷·b_1_3³ + a_6_23·b_1_1¹⁰ + a_6_23·b_6_29·b_1_1⁴
       + b_2_8·a_1_0·b_1_3⁴·b_9_54 + b_2_8·a_14_89 + b_2_8·a_6_23·b_1_3⁸
       + b_2_8·a_6_23·b_1_1⁸ + b_2_8·a_6_23·b_6_29·b_1_1² + b_2_8²·a_1_0·b_1_3²·b_9_54
       + b_2_8²·a_1_0·b_1_3¹¹ + b_2_8²·a_6_23·b_1_3⁶ + b_2_8²·a_6_23·b_1_1⁶
       + b_2_8²·a_6_23·b_6_29 + b_2_8³·a_1_0·b_1_3⁹ + b_2_8³·a_6_23·b_1_1⁴
       + b_2_8⁴·a_6_23·b_1_3² + b_2_8⁵·a_6_27 + b_2_8⁵·a_6_23 + b_2_8⁶·a_1_0·b_1_3³
       + b_2_8⁷·a_1_0·b_1_3 + a_14_89·a_1_0·b_1_3 + a_6_23·a_1_0·b_1_3⁹
       + b_2_8·a_1_0²·b_1_3³·b_9_54 + b_2_8²·a_6_23·a_1_0·b_1_3⁵
       + b_2_8⁴·a_1_0²·b_1_3⁶ + b_2_8⁶·a_1_0²·b_1_3² + a_1_0³·b_1_3¹³
       + a_14_82·a_1_0² + a_6_23·a_1_0²·b_1_3⁸
52. b_7_39·b_9_55 + b_7_39·b_9_54 + b_1_3⁷·b_9_54 + b_1_1¹⁶ + b_6_29·b_1_1¹⁰
       + b_2_8·b_1_3⁵·b_9_54 + b_2_8·b_1_3⁷·b_7_39 + b_2_8·b_6_29²·b_1_1²
       + b_2_8²·b_1_1¹² + b_2_8²·b_6_29² + b_2_8³·b_1_3·b_9_55 + b_2_8³·b_1_3·b_9_54
       + b_2_8³·b_1_3¹⁰ + b_2_8⁴·b_1_1⁸ + b_2_8⁴·b_6_29·b_1_1·b_1_3
       + b_2_8⁴·b_6_29·b_1_1² + b_2_8⁵·b_1_3⁶ + b_2_8⁵·b_1_1⁶ + b_2_8⁵·b_6_29
       + b_2_8⁶·b_1_3⁴ + b_2_8⁷·b_1_2·b_1_3 + b_2_8⁷·b_1_1·b_1_3 + b_2_8⁷·b_1_1²
       + b_14_120·a_1_0·b_1_3 + a_14_82·b_1_3² + a_14_82·b_1_2·b_1_3 + a_14_82·b_1_2²
       + a_6_27·b_1_3¹⁰ + a_6_27·b_1_2·b_1_3⁹ + a_6_27·b_1_2⁴·b_1_3⁶
       + a_6_27·b_1_2⁵·b_1_3⁵ + a_6_27·b_1_2⁸·b_1_3² + a_6_27·b_1_2¹⁰
       + a_6_27·b_1_1·b_9_57 + a_6_23·b_1_3¹⁰ + a_6_23·b_1_1·b_9_57
       + b_2_8·a_6_23·b_6_29·b_1_1² + b_2_8²·a_1_0·b_1_3²·b_9_54
       + b_2_8²·a_1_0·b_1_3¹¹ + b_2_8²·a_6_23·b_1_3⁶ + b_2_8²·a_6_23·b_6_29
       + b_2_8³·a_1_0·b_1_3⁹ + b_2_8³·a_6_23·b_1_1⁴ + b_2_8⁵·a_6_27
       + b_2_8⁶·a_1_0·b_1_3³ + b_2_8⁷·a_1_0·b_1_3 + a_1_0²·b_1_3¹⁴
       + a_14_89·a_1_0·b_1_3 + b_2_8²·a_1_0²·b_1_3·b_9_54 + b_2_8²·a_1_0²·b_1_3¹⁰
       + b_2_8³·a_1_0²·b_1_3⁸ + b_2_8⁴·a_6_23·a_1_0·b_1_3 + b_2_8⁶·a_1_0²·b_1_3²
       + a_14_82·a_1_0² + b_2_8²·a_6_23·a_1_0²·b_1_3⁴ + b_2_8⁶·a_1_0³·b_1_3
53. b_7_39·b_9_55 + b_7_39·b_9_54 + b_1_3⁷·b_9_55 + b_1_2³·b_1_3⁴·b_9_55
       + b_1_2⁵·b_1_3²·b_9_55 + b_1_2⁶·b_1_3·b_9_55 + b_1_2⁷·b_9_55 + b_1_1¹⁶
       + b_14_120·b_1_3² + b_14_120·b_1_2·b_1_3 + b_14_120·b_1_2² + b_6_29·b_1_1¹⁰
       + b_2_8·b_1_3¹⁴ + b_2_8·b_6_29²·b_1_1² + b_2_8²·b_1_1¹² + b_2_8²·b_6_29²
       + b_2_8⁴·b_1_1⁸ + b_2_8⁴·b_6_29·b_1_1² + b_2_8⁵·b_1_3⁶ + b_2_8⁵·b_1_1⁶
       + b_2_8⁵·b_6_29 + b_2_8⁶·b_1_3⁴ + b_2_8⁷·b_1_3² + b_2_8⁷·b_1_1·b_1_3
       + b_2_8⁷·b_1_1² + b_14_120·a_1_0·b_1_2 + a_14_89·b_1_3² + a_14_89·b_1_2²
       + a_14_82·b_1_3² + a_14_82·b_1_2·b_1_3 + a_14_82·b_1_2² + a_6_27·b_1_3·b_9_55
       + a_6_27·b_1_2·b_1_3⁹ + a_6_27·b_1_2²·b_1_3⁸ + a_6_27·b_1_2⁴·b_1_3⁶
       + a_6_27·b_1_2⁵·b_1_3⁵ + a_6_27·b_1_2⁷·b_1_3³ + a_6_27·b_1_2⁹·b_1_3
       + a_6_27·b_1_1·b_9_57 + a_6_23·b_1_1·b_9_57 + b_2_8·a_1_0·b_1_3¹³ + b_2_8·a_14_82
       + b_2_8·a_6_23·b_1_3⁸ + b_2_8·a_6_23·b_1_1⁸ + b_2_8·a_6_23·b_6_29·b_1_1²
       + b_2_8²·a_1_0·b_1_3²·b_9_54 + b_2_8³·a_1_0·b_9_54 + b_2_8³·a_6_23·b_1_1⁴
       + b_2_8⁴·a_1_0·b_1_3⁷ + b_2_8⁴·a_6_27·b_1_1² + b_2_8⁵·a_1_0·b_1_3⁵
       + b_2_8⁷·a_1_0·b_1_3 + a_1_0²·b_1_3¹⁴ + a_14_89·a_1_0·b_1_3 + a_14_82·a_1_0·b_1_3
       + a_6_23·a_1_0·b_1_3⁹ + b_2_8²·a_6_23·a_1_0·b_1_3⁵
       + b_2_8³·a_6_23·a_1_0·b_1_3³ + b_2_8⁴·a_1_0²·b_1_3⁶ + b_2_8⁵·a_1_0²·b_1_3⁴
       + b_2_8⁶·a_1_0²·b_1_3² + a_1_0³·b_1_3¹³ + b_2_8²·a_6_23·a_1_0²·b_1_3⁴
       + b_2_8³·a_6_23·a_1_0²·b_1_3² + b_2_8⁶·a_1_0³·b_1_3
54. b_9_54·b_9_57 + b_9_54·b_9_55 + b_9_54² + b_1_1¹⁸ + b_6_29·b_1_1²·b_1_3·b_9_57
       + b_6_29·b_1_1¹² + b_6_29²·b_1_1⁶ + b_2_8·b_1_1¹⁶ + b_2_8·b_6_29·b_1_3·b_9_57
       + b_2_8·b_6_29·b_1_1·b_9_57 + b_2_8·b_6_29·b_1_1¹⁰ + b_2_8²·b_1_3¹⁴
       + b_2_8²·b_6_29²·b_1_1² + b_2_8³·b_1_3¹² + b_2_8⁴·b_1_3·b_9_57
       + b_2_8⁴·b_1_3·b_9_55 + b_2_8⁴·b_1_3·b_9_54 + b_2_8⁴·b_1_3³·b_7_39
       + b_2_8⁴·b_1_1·b_9_57 + b_2_8⁴·b_6_29·b_1_1⁴ + b_2_8⁵·b_1_3·b_7_39
       + b_2_8⁵·b_1_1⁸ + b_2_8⁶·b_1_3⁶ + b_2_8⁷·b_1_3⁴ + b_2_8⁷·b_1_1⁴
       + b_2_8⁸·b_1_3² + b_2_8⁸·b_1_1·b_1_3 + b_2_8⁸·b_1_1² + a_6_23·b_6_29²
       + b_2_8·a_14_89·b_1_3² + b_2_8·a_14_89·b_1_1² + b_2_8·a_14_82·b_1_3²
       + b_2_8·a_6_27·b_1_1·b_9_57 + b_2_8·a_6_23·b_1_3¹⁰ + b_2_8·a_6_23·b_1_1¹⁰
       + b_2_8²·a_14_89 + b_2_8²·a_14_82 + b_2_8²·a_6_23·b_1_1⁸
       + b_2_8²·a_6_23·b_6_29·b_1_1² + b_2_8³·a_6_23·b_1_3⁶ + b_2_8³·a_6_23·b_1_1⁶
       + b_2_8³·a_6_23·b_6_29 + b_2_8⁴·a_1_0·b_9_54 + b_2_8⁴·a_6_23·b_1_3⁴
       + b_2_8⁵·a_1_0·b_1_3⁷ + b_2_8⁷·a_1_0·b_1_3³ + a_14_89·a_1_0·b_1_3³
       + b_2_8·a_1_0²·b_1_3¹⁴ + b_2_8·a_14_89·a_1_0·b_1_3 + b_2_8·a_6_23·a_1_0·b_1_3⁹
       + b_2_8²·a_1_0²·b_1_3¹² + b_2_8³·a_6_23·a_1_0·b_1_3⁵
       + b_2_8⁷·a_1_0²·b_1_3² + b_2_8⁸·a_1_0² + a_1_0³·b_1_3¹⁵
       + a_14_82·a_1_0²·b_1_3² + a_6_23·a_1_0²·b_1_3¹⁰ + b_2_8·a_14_89·a_1_0²
       + b_2_8·a_14_82·a_1_0² + b_2_8⁵·a_6_23·a_1_0²
55. b_9_55·b_9_57 + b_9_55² + b_9_54² + b_1_3⁹·b_9_54 + b_1_1¹⁸ + b_2_8·b_1_3¹⁶
       + b_2_8·b_14_120·b_1_3² + b_2_8·b_6_29·b_1_3·b_9_57 + b_2_8²·b_6_29²·b_1_1²
       + b_2_8³·b_1_3³·b_9_54 + b_2_8³·b_1_3⁵·b_7_39 + b_2_8³·b_1_3¹²
       + b_2_8³·b_6_29·b_1_1⁶ + b_2_8³·b_6_29² + b_2_8⁴·b_1_3·b_9_57
       + b_2_8⁴·b_1_3·b_9_55 + b_2_8⁴·b_1_3·b_9_54 + b_2_8⁴·b_1_3³·b_7_39
       + b_2_8⁴·b_1_3¹⁰ + b_2_8⁴·b_1_1¹⁰ + b_2_8⁴·b_6_29·b_1_1⁴
       + b_2_8⁵·b_1_3·b_7_39 + b_2_8⁵·b_1_3⁸ + b_2_8⁵·b_6_29·b_1_1·b_1_3
       + b_2_8⁶·b_1_3⁶ + b_2_8⁷·b_1_3⁴ + b_2_8⁸·b_1_3²
       + b_14_120·a_1_0·b_1_2·b_1_3² + a_14_89·b_1_3⁴ + a_14_82·b_1_3⁴
       + a_14_82·b_1_2²·b_1_3² + a_6_27·b_1_3¹² + a_6_27·b_1_2·b_1_3¹¹
       + a_6_27·b_1_2²·b_1_3¹⁰ + a_6_27·b_1_2³·b_1_3⁹ + a_6_27·b_1_2⁸·b_1_3⁴
       + a_6_27·b_1_2⁹·b_1_3³ + a_6_27·b_1_2¹⁰·b_1_3² + a_6_23·b_1_3¹²
       + a_6_23·b_6_29·b_1_1⁶ + a_6_23·b_6_29² + b_2_8·a_1_0·b_1_3¹⁵
       + b_2_8·a_14_89·b_1_3² + b_2_8·a_14_89·b_1_1² + b_2_8·a_6_23·b_1_3¹⁰
       + b_2_8·a_6_23·b_1_1·b_9_57 + b_2_8²·a_1_0·b_1_3¹³ + b_2_8²·a_14_89
       + b_2_8²·a_6_23·b_1_3⁸ + b_2_8²·a_6_23·b_1_1⁸ + b_2_8²·a_6_23·b_6_29·b_1_1²
       + b_2_8³·a_1_0·b_1_3²·b_9_54 + b_2_8³·a_6_23·b_6_29 + b_2_8⁴·a_1_0·b_9_54
       + b_2_8⁴·a_6_23·b_1_1⁴ + b_2_8⁵·a_6_23·b_1_1² + b_2_8⁶·a_1_0·b_1_3⁵
       + b_2_8⁶·a_6_27 + b_2_8⁶·a_6_23 + b_2_8⁷·a_1_0·b_1_3³ + a_1_0²·b_1_3¹⁶
       + a_6_23·a_1_0·b_1_3¹¹ + b_2_8·a_1_0²·b_1_3¹⁴ + b_2_8·a_14_89·a_1_0·b_1_3
       + b_2_8·a_6_23·a_1_0·b_1_3⁹ + b_2_8²·a_1_0²·b_1_3¹²
       + b_2_8²·a_6_23·a_1_0·b_1_3⁷ + b_2_8³·a_1_0²·b_1_3¹⁰
       + b_2_8⁴·a_1_0²·b_1_3⁸ + b_2_8⁶·a_1_0²·b_1_3⁴ + a_1_0³·b_1_3¹⁵
       + a_6_23·a_1_0²·b_1_3¹⁰ + b_2_8·a_14_82·a_1_0² + b_2_8⁴·a_6_23·a_1_0²·b_1_3²
       + b_2_8⁶·a_1_0³·b_1_3³ + a_14_82·a_1_0³·b_1_3
56. b_9_55² + b_9_54² + b_1_2⁶·b_1_3³·b_9_55 + b_1_2⁷·b_1_3²·b_9_55
       + b_1_2⁸·b_1_3·b_9_55 + b_1_2⁹·b_9_55 + b_1_1¹⁸ + b_14_120·b_1_2⁴ + b_2_8·b_1_3¹⁶
       + b_2_8²·b_1_3¹⁴ + b_2_8²·b_6_29²·b_1_1² + b_2_8³·b_1_3¹² + b_2_8⁵·b_1_3⁸
       + b_2_8⁶·b_1_1⁶ + b_2_8⁷·b_1_3⁴ + b_2_8⁸·b_1_1² + b_14_120·a_1_0·b_1_2²·b_1_3
       + a_14_82·b_1_2³·b_1_3 + a_6_27·b_1_2·b_1_3²·b_9_55 + a_6_27·b_1_2²·b_1_3·b_9_55
       + a_6_27·b_1_2³·b_1_3⁹ + a_6_27·b_1_2⁷·b_1_3⁵ + a_6_27·b_1_2⁹·b_1_3³
       + a_6_27·b_1_2¹⁰·b_1_3² + a_6_27·b_1_2¹² + a_6_23·b_1_3¹²
       + b_2_8²·a_1_0·b_1_3¹³ + b_2_8⁴·a_6_23·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3⁵
       + a_14_82·a_1_0·b_1_3³ + a_6_23·a_1_0·b_1_3¹¹ + b_2_8·a_1_0²·b_1_3¹⁴
       + b_2_8·a_14_82·a_1_0·b_1_3 + b_2_8²·a_1_0²·b_1_3³·b_9_54
       + b_2_8³·a_1_0²·b_1_3·b_9_54 + b_2_8⁴·a_1_0²·b_1_3⁸
       + b_2_8⁵·a_6_23·a_1_0·b_1_3 + b_2_8⁶·a_1_0²·b_1_3⁴ + b_2_8⁸·a_1_0²
       + a_14_82·a_1_0²·b_1_3² + b_2_8⁴·a_6_23·a_1_0²·b_1_3²
       + b_2_8⁶·a_1_0³·b_1_3³ + b_2_8⁷·a_1_0³·b_1_3 + a_14_82·a_1_0³·b_1_3
       + c_16_149·b_1_2²
57. b_9_55·b_9_57 + b_9_55² + b_9_54·b_9_55 + b_2_8·b_14_120·b_1_3²
       + b_2_8·b_6_29·b_1_3·b_9_57 + b_2_8²·b_1_3⁷·b_7_39 + b_2_8²·b_1_3¹⁴
       + b_2_8³·b_1_3³·b_9_54 + b_2_8³·b_1_3¹² + b_2_8³·b_1_1¹²
       + b_2_8³·b_6_29·b_1_1⁶ + b_2_8³·b_6_29² + b_2_8⁴·b_1_3·b_9_57
       + b_2_8⁴·b_1_3·b_9_55 + b_2_8⁴·b_1_3·b_9_54 + b_2_8⁴·b_1_3³·b_7_39
       + b_2_8⁴·b_1_3¹⁰ + b_2_8⁴·b_1_1¹⁰ + b_2_8⁵·b_1_3·b_7_39 + b_2_8⁶·b_1_3⁶
       + b_2_8⁷·b_1_1⁴ + b_2_8⁸·b_1_3² + b_2_8⁸·b_1_1·b_1_3 + b_2_8⁸·b_1_1²
       + a_14_82·b_1_2²·b_1_3² + a_14_82·b_1_2⁴ + a_6_27·b_1_3³·b_9_55
       + a_6_27·b_1_2²·b_1_3·b_9_55 + a_6_27·b_1_2³·b_1_3⁹ + a_6_27·b_1_2⁵·b_1_3⁷
       + a_6_27·b_1_2⁶·b_1_3⁶ + a_6_27·b_1_2⁹·b_1_3³ + a_6_27·b_1_2¹¹·b_1_3
       + a_6_27·b_1_2¹² + a_6_23·b_1_1¹² + a_6_23·b_6_29·b_1_1⁶ + a_6_23·b_6_29²
       + b_2_8·a_14_89·b_1_1² + b_2_8·a_14_82·b_1_3² + b_2_8·a_6_27·b_1_1·b_9_57
       + b_2_8·a_6_23·b_1_3¹⁰ + b_2_8·a_6_23·b_1_1·b_9_57 + b_2_8·a_6_23·b_1_1¹⁰
       + b_2_8²·a_14_89 + b_2_8²·a_14_82 + b_2_8²·a_6_23·b_1_3⁸
       + b_2_8²·a_6_23·b_6_29·b_1_1² + b_2_8³·a_1_0·b_1_3¹¹ + b_2_8³·a_6_23·b_1_3⁶
       + b_2_8³·a_6_23·b_1_1⁶ + b_2_8⁴·a_1_0·b_9_54 + b_2_8⁴·a_6_23·b_1_1⁴
       + b_2_8⁵·a_1_0·b_1_3⁷ + b_2_8⁵·a_6_27·b_1_1² + b_2_8⁵·a_6_23·b_1_1²
       + b_2_8⁶·a_6_27 + b_2_8⁷·a_1_0·b_1_3³ + a_6_23·a_1_0·b_1_3¹¹
       + b_2_8·a_1_0²·b_1_3¹⁴ + b_2_8·a_14_89·a_1_0·b_1_3 + b_2_8·a_14_82·a_1_0·b_1_3
       + b_2_8²·a_1_0²·b_1_3¹² + b_2_8³·a_1_0²·b_1_3·b_9_54
       + b_2_8³·a_1_0²·b_1_3¹⁰ + b_2_8⁴·a_1_0²·b_1_3⁸ + b_2_8⁸·a_1_0²
       + a_1_0³·b_1_3¹⁵ + a_14_89·a_1_0²·b_1_3² + a_14_82·a_1_0²·b_1_3²
       + b_2_8·a_14_89·a_1_0² + b_2_8⁴·a_6_23·a_1_0²·b_1_3² + b_2_8⁶·a_1_0³·b_1_3³
       + a_14_82·a_1_0³·b_1_3 + c_16_149·a_1_0·b_1_2
58. b_9_54² + b_1_1¹⁸ + b_2_8²·b_1_3¹⁴ + b_2_8²·b_6_29²·b_1_1²
       + b_2_8³·b_1_3¹² + b_2_8⁴·b_1_3¹⁰ + b_2_8⁶·b_1_3⁶ + b_2_8⁷·b_1_3⁴
       + b_2_8⁸·b_1_1² + b_2_8²·a_6_23·b_1_3⁸ + b_2_8⁴·a_1_0·b_1_3⁹
       + b_2_8⁴·a_6_23·b_1_3⁴ + b_2_8⁶·a_1_0·b_1_3⁵ + b_2_8·a_6_23·a_1_0·b_1_3⁹
       + b_2_8²·a_6_23·a_1_0·b_1_3⁷ + b_2_8³·a_1_0²·b_1_3·b_9_54
       + b_2_8⁵·a_1_0²·b_1_3⁶ + b_2_8⁷·a_1_0²·b_1_3² + a_14_89·a_1_0²·b_1_3²
       + a_14_82·a_1_0²·b_1_3² + b_2_8·a_14_82·a_1_0² + b_2_8⁵·a_6_23·a_1_0²
       + b_2_8⁶·a_1_0³·b_1_3³ + c_16_149·a_1_0²
59. b_9_57² + b_9_55² + b_9_54² + b_1_1¹⁸ + b_6_29·b_1_1¹² + b_6_29²·b_1_1⁶
       + b_2_8·b_6_29·b_1_1¹⁰ + b_2_8²·b_1_3¹⁴ + b_2_8²·b_1_1¹⁴
       + b_2_8²·b_6_29·b_1_1⁸ + b_2_8³·b_1_3¹² + b_2_8³·b_1_1¹² + b_2_8⁴·b_1_3¹⁰
       + b_2_8⁴·b_1_1·b_9_57 + b_2_8⁵·b_1_3⁸ + b_2_8⁵·b_1_1⁸ + b_2_8⁶·b_1_3⁶
       + b_2_8⁶·b_1_1⁶ + b_2_8⁷·b_1_3⁴ + b_2_8⁷·b_1_1⁴ + b_2_8⁸·b_1_3²
       + b_2_8⁸·b_1_1·b_1_3 + b_2_8⁹ + a_6_23·b_6_29² + b_2_8·a_6_27·b_1_1·b_9_57
       + b_2_8·a_6_23·b_1_1·b_9_57 + b_2_8·a_6_23·b_1_1¹⁰ + b_2_8·a_6_23·b_6_29·b_1_1⁴
       + b_2_8²·a_1_0·b_1_3⁴·b_9_54 + b_2_8²·a_6_23·b_1_3⁸ + b_2_8²·a_6_23·b_1_1⁸
       + b_2_8³·a_1_0·b_1_3¹¹ + b_2_8³·a_6_27·b_6_29 + b_2_8³·a_6_23·b_1_3⁶
       + b_2_8³·a_6_23·b_6_29 + b_2_8⁴·a_1_0·b_9_54 + b_2_8⁴·a_6_23·b_1_3⁴
       + b_2_8⁴·a_6_23·b_1_1⁴ + b_2_8⁵·a_1_0·b_1_3⁷ + b_2_8⁵·a_6_23·b_1_3²
       + b_2_8⁵·a_6_23·b_1_1² + b_2_8⁶·a_1_0·b_1_3⁵ + b_2_8⁶·a_6_23
       + b_2_8⁸·a_1_0·b_1_3 + b_2_8·a_1_0²·b_1_3¹⁴ + b_2_8²·a_1_0²·b_1_3¹²
       + b_2_8²·a_6_23·a_1_0·b_1_3⁷ + b_2_8³·a_1_0²·b_1_3¹⁰
       + b_2_8⁴·a_1_0²·b_1_3⁸ + b_2_8⁴·a_6_23·a_1_0·b_1_3³ + b_2_8⁵·a_1_0²·b_1_3⁶
       + b_2_8⁶·a_1_0²·b_1_3⁴ + a_6_23·a_1_0²·b_1_3¹⁰ + b_2_8⁵·a_6_23·a_1_0²
       + b_2_8⁶·a_1_0³·b_1_3³ + a_14_82·a_1_0³·b_1_3 + c_16_149·b_1_1²
60. b_2_8⁶·b_6_29·b_1_1·b_1_3 + b_2_8⁹·b_1_2·b_1_3 + b_6_29·a_14_82
       + a_6_23·b_6_29·b_1_1⁸ + b_2_8·a_6_23·b_6_29² + b_2_8²·a_14_82·b_1_3²
       + b_2_8²·a_6_23·b_6_29·b_1_1⁴ + b_2_8⁴·a_6_23·b_6_29 + b_2_8⁵·a_6_23·b_1_3⁴
       + b_2_8⁶·a_6_23·b_1_3² + b_2_8²·a_14_82·a_1_0·b_1_3 + b_2_8⁶·a_6_23·a_1_0·b_1_3
       + b_2_8²·a_14_82·a_1_0² + b_2_8⁶·a_6_23·a_1_0² + b_2_8⁷·a_1_0³·b_1_3³
       + b_2_8⁸·a_1_0³·b_1_3 + b_2_8·a_14_82·a_1_0³·b_1_3
61. a_6_27·a_14_82 + a_6_23·a_14_82 + b_2_8²·a_14_82·a_1_0²
62. b_2_8²·b_6_29·b_1_3·b_9_57 + b_2_8⁴·b_1_3⁵·b_7_39 + b_2_8⁵·b_1_3³·b_7_39
       + b_2_8⁵·b_1_3¹⁰ + b_2_8⁹·b_1_1·b_1_3 + b_6_29·a_14_89 + b_6_29·a_14_82
       + a_6_23·b_6_29²·b_1_1² + b_2_8·a_6_23·b_6_29² + b_2_8²·a_14_89·b_1_3²
       + b_2_8²·a_14_89·b_1_1² + b_2_8²·a_14_82·b_1_3² + b_2_8²·a_6_23·b_1_1¹⁰
       + b_2_8⁴·a_6_27·b_6_29 + b_2_8⁴·a_6_23·b_1_3⁶ + b_2_8⁵·a_6_23·b_1_1⁴
       + b_2_8⁶·a_1_0·b_1_3⁷ + b_2_8⁶·a_6_27·b_1_1² + b_2_8²·a_14_89·a_1_0·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3 + b_2_8³·a_1_0²·b_1_3³·b_9_54
       + b_2_8⁴·a_1_0²·b_1_3·b_9_54 + b_2_8⁴·a_1_0²·b_1_3¹⁰ + b_2_8⁵·a_1_0²·b_1_3⁸
       + b_2_8⁸·a_1_0²·b_1_3² + b_2_8²·a_14_89·a_1_0² + b_2_8²·a_14_82·a_1_0²
       + b_2_8⁵·a_6_23·a_1_0²·b_1_3² + b_2_8⁶·a_6_23·a_1_0² + b_2_8⁸·a_1_0³·b_1_3
63. b_2_8⁶·b_6_29·b_1_1·b_1_3 + b_2_8⁹·b_1_2·b_1_3 + b_6_29·a_14_82
       + a_6_23·b_6_29·b_1_1⁸ + b_2_8·a_6_23·b_6_29² + b_2_8²·a_14_82·b_1_3²
       + b_2_8²·a_6_23·b_6_29·b_1_1⁴ + b_2_8⁴·a_6_23·b_6_29 + b_2_8⁵·a_6_23·b_1_3⁴
       + b_2_8⁶·a_6_23·b_1_3² + a_14_89·a_1_0·b_1_3⁵ + a_6_27·a_14_82
       + b_2_8·a_1_0²·b_1_3¹⁶ + b_2_8·a_14_89·a_1_0·b_1_3³
       + b_2_8·a_14_82·a_1_0·b_1_3³ + b_2_8·a_6_23·a_1_0·b_1_3¹¹
       + b_2_8²·a_14_82·a_1_0·b_1_3 + b_2_8²·a_6_23·a_1_0·b_1_3⁹
       + b_2_8⁵·a_6_23·a_1_0·b_1_3³ + b_2_8⁶·a_6_23·a_1_0·b_1_3
       + b_2_8⁸·a_1_0²·b_1_3² + b_2_8⁹·a_1_0² + a_1_0³·b_1_3¹⁷
       + a_14_89·a_1_0²·b_1_3⁴ + a_6_23·a_1_0²·b_1_3¹²
       + b_2_8·a_14_82·a_1_0²·b_1_3² + b_2_8²·a_14_89·a_1_0²
       + b_2_8²·a_14_82·a_1_0² + b_2_8⁶·a_6_23·a_1_0² + b_2_8⁷·a_1_0³·b_1_3³
       + b_2_8⁸·a_1_0³·b_1_3
64. a_6_27·a_14_89 + a_6_23·a_14_89 + b_2_8²·a_14_89·a_1_0²
65. b_2_8·b_6_29·b_1_1²·b_1_3·b_9_57 + a_6_27·b_1_3⁵·b_9_55
       + a_6_27·b_1_2·b_1_3⁴·b_9_55 + a_6_27·b_1_2⁵·b_9_55 + a_6_27·b_14_120
       + b_2_8·a_6_23·b_6_29·b_1_1⁶ + b_2_8·a_6_23·b_6_29² + b_2_8²·a_6_27·b_1_1·b_9_57
       + b_2_8²·a_6_23·b_1_3¹⁰ + b_2_8²·a_6_23·b_6_29·b_1_1⁴ + b_2_8³·a_6_23·b_1_3⁸
       + b_2_8³·a_6_23·b_1_1⁸ + b_2_8⁴·a_1_0·b_1_3¹¹ + b_2_8⁴·a_6_27·b_6_29
       + b_2_8⁴·a_6_23·b_1_3⁶ + b_2_8⁴·a_6_23·b_6_29 + b_2_8⁵·a_1_0·b_1_3⁹
       + b_2_8⁶·a_6_23·b_1_3² + b_2_8⁶·a_6_23·b_1_1² + b_2_8⁷·a_1_0·b_1_3⁵
       + b_2_8⁷·a_6_23 + b_2_8⁹·a_1_0·b_1_3 + a_6_27·a_14_89 + a_6_27·a_14_82
       + b_2_8·a_1_0²·b_1_3¹⁶ + b_2_8·a_14_89·a_1_0·b_1_3³
       + b_2_8·a_6_23·a_1_0·b_1_3¹¹ + b_2_8²·a_14_89·a_1_0·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3 + b_2_8³·a_1_0²·b_1_3³·b_9_54
       + b_2_8³·a_6_23·a_1_0·b_1_3⁷ + b_2_8⁴·a_6_23·a_1_0·b_1_3⁵
       + b_2_8⁵·a_1_0²·b_1_3⁸ + b_2_8⁵·a_6_23·a_1_0·b_1_3³ + b_2_8⁷·a_1_0²·b_1_3⁴
       + b_2_8⁹·a_1_0² + b_2_8·a_14_89·a_1_0²·b_1_3² + b_2_8²·a_14_82·a_1_0²
       + b_2_8⁷·a_1_0³·b_1_3³ + b_2_8⁸·a_1_0³·b_1_3
66. b_6_29³·b_1_1·b_1_3 + b_2_8⁹·b_1_2·b_1_3 + a_6_23·b_14_120 + a_6_23·b_6_29·b_1_1⁸
       + b_2_8·a_1_0·b_1_3¹⁷ + b_2_8·a_6_23·b_6_29² + b_2_8²·a_6_23·b_1_3¹⁰
       + b_2_8²·a_6_23·b_1_1·b_9_57 + b_2_8²·a_6_23·b_1_1¹⁰
       + b_2_8³·a_1_0·b_1_3⁴·b_9_54 + b_2_8⁴·a_1_0·b_1_3¹¹ + b_2_8⁴·a_6_27·b_6_29
       + b_2_8⁴·a_6_23·b_6_29 + b_2_8⁵·a_1_0·b_1_3⁹ + b_2_8⁵·a_6_23·b_1_1⁴
       + b_2_8⁶·a_6_27·b_1_1² + b_2_8⁶·a_6_23·b_1_3² + b_2_8⁶·a_6_23·b_1_1²
       + b_2_8⁷·a_1_0·b_1_3⁵ + b_2_8⁷·a_6_23 + b_2_8⁹·a_1_0·b_1_3
       + a_14_89·a_1_0·b_1_3⁵ + a_6_27·a_14_89 + a_6_27·a_14_82 + b_2_8·a_1_0²·b_1_3¹⁶
       + b_2_8·a_14_89·a_1_0·b_1_3³ + b_2_8·a_14_82·a_1_0·b_1_3³
       + b_2_8²·a_14_89·a_1_0·b_1_3 + b_2_8²·a_6_23·a_1_0·b_1_3⁹
       + b_2_8³·a_6_23·a_1_0·b_1_3⁷ + b_2_8⁴·a_6_23·a_1_0·b_1_3⁵
       + b_2_8⁵·a_1_0²·b_1_3⁸ + b_2_8⁵·a_6_23·a_1_0·b_1_3³ + b_2_8⁷·a_1_0²·b_1_3⁴
       + b_2_8⁸·a_1_0²·b_1_3² + a_14_82·a_1_0²·b_1_3⁴ + a_6_23·a_1_0²·b_1_3¹²
       + b_2_8·a_14_89·a_1_0²·b_1_3² + b_2_8·a_14_82·a_1_0²·b_1_3²
       + b_2_8²·a_14_89·a_1_0² + b_2_8²·a_14_82·a_1_0²
67. b_2_8⁶·b_6_29·b_1_1·b_1_3 + b_2_8⁹·b_1_2·b_1_3 + b_6_29·a_14_82
       + a_6_23·b_6_29·b_1_1⁸ + b_2_8·a_6_23·b_6_29² + b_2_8²·a_14_82·b_1_3²
       + b_2_8²·a_6_23·b_6_29·b_1_1⁴ + b_2_8⁴·a_1_0·b_1_3²·b_9_54
       + b_2_8⁴·a_6_23·b_6_29 + b_2_8⁵·a_1_0·b_9_54 + b_2_8⁵·a_1_0·b_1_3⁹
       + b_2_8⁷·a_1_0·b_1_3⁵ + a_14_89·a_1_0·b_1_3⁵ + a_6_27·a_14_89 + a_6_27·a_14_82
       + b_2_8·a_1_0²·b_1_3¹⁶ + b_2_8²·a_14_82·a_1_0·b_1_3
       + b_2_8²·a_6_23·a_1_0·b_1_3⁹ + b_2_8³·a_1_0²·b_1_3³·b_9_54
       + b_2_8³·a_1_0²·b_1_3¹² + b_2_8³·a_6_23·a_1_0·b_1_3⁷
       + b_2_8⁴·a_1_0²·b_1_3·b_9_54 + b_2_8⁵·a_6_23·a_1_0·b_1_3³
       + b_2_8⁷·a_1_0²·b_1_3⁴ + a_1_0³·b_1_3¹⁷ + b_2_8·a_14_89·a_1_0²·b_1_3²
       + b_2_8·a_14_82·a_1_0²·b_1_3² + b_2_8⁶·a_6_23·a_1_0² + b_2_8⁸·a_1_0³·b_1_3
       + c_16_149·a_1_0⁴
68. b_6_29·b_1_1¹⁴ + b_6_29·b_14_120 + b_6_29²·b_1_1⁸ + b_6_29³·b_1_1·b_1_3
       + b_2_8·b_6_29·b_1_1²·b_1_3·b_9_57 + b_2_8·b_6_29·b_1_1¹² + b_2_8·b_6_29³
       + b_2_8²·b_14_120·b_1_3² + b_2_8²·b_6_29·b_1_1·b_9_57 + b_2_8³·b_1_1¹⁴
       + b_2_8⁴·b_6_29·b_1_1⁶ + b_2_8⁵·b_1_1·b_9_57 + b_2_8⁵·b_6_29·b_1_1⁴
       + b_2_8⁷·b_1_3⁶ + b_2_8⁹·b_1_2·b_1_3 + b_2_8⁹·b_1_1·b_1_3
       + b_14_120·a_1_0·b_1_2³·b_1_3² + b_6_29·a_14_82 + a_6_23·b_6_29·b_1_1⁸
       + b_2_8·a_6_23·b_1_1¹² + b_2_8·a_6_23·b_6_29·b_1_1⁶ + b_2_8²·a_14_82·b_1_3²
       + b_2_8²·a_6_27·b_1_1·b_9_57 + b_2_8²·a_6_23·b_1_3¹⁰ + b_2_8³·a_6_23·b_1_1⁸
       + b_2_8³·a_6_23·b_6_29·b_1_1² + b_2_8⁴·a_1_0·b_1_3²·b_9_54
       + b_2_8⁴·a_1_0·b_1_3¹¹ + b_2_8⁴·a_6_27·b_6_29 + b_2_8⁵·a_1_0·b_1_3⁹
       + b_2_8⁵·a_6_23·b_1_1⁴ + b_2_8⁶·a_6_27·b_1_1² + b_2_8⁸·a_1_0·b_1_3³
       + b_2_8⁹·a_1_0·b_1_3 + b_2_8²·a_1_0²·b_1_3¹⁴ + b_2_8²·a_14_89·a_1_0·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3 + b_2_8²·a_6_23·a_1_0·b_1_3⁹
       + b_2_8³·a_1_0²·b_1_3¹² + b_2_8³·a_6_23·a_1_0·b_1_3⁷
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁵ + b_2_8⁵·a_1_0²·b_1_3⁸
       + b_2_8⁵·a_6_23·a_1_0·b_1_3³ + b_2_8⁶·a_1_0²·b_1_3⁶
       + b_2_8⁶·a_6_23·a_1_0·b_1_3 + b_2_8⁹·a_1_0² + b_2_8²·a_14_89·a_1_0²
       + b_2_8⁵·a_6_23·a_1_0²·b_1_3² + b_2_8⁸·a_1_0³·b_1_3 + c_16_149·b_1_1⁴
69. b_1_3¹²·b_9_54 + b_2_8·b_1_3¹⁹ + b_2_8·b_14_120·b_1_3⁵ + b_2_8²·b_1_3¹⁷
       + b_2_8³·b_1_3⁸·b_7_39 + b_2_8³·b_1_3¹⁵ + b_2_8³·b_14_120·b_1_3
       + b_2_8⁴·b_1_3⁴·b_9_54 + b_2_8⁴·b_1_3¹³ + b_2_8⁵·b_1_3²·b_9_54 + b_2_8⁶·b_9_55
       + b_2_8⁶·b_1_3²·b_7_39 + b_2_8⁶·b_1_3⁹ + b_2_8⁷·b_6_29·b_1_3 + b_2_8⁸·b_1_3⁵
       + b_2_8⁹·b_1_3³ + b_2_8⁹·b_1_1³ + b_2_8¹⁰·b_1_3 + b_2_8¹⁰·b_1_2 + a_14_89·b_7_39
       + a_14_89·b_1_3⁷ + a_14_82·b_7_39 + a_14_82·b_1_3⁷ + a_14_82·b_1_2⁶·b_1_3
       + b_6_29·a_14_89·b_1_1 + a_6_27·b_1_3¹⁵ + a_6_27·b_1_2·b_1_3¹⁴
       + a_6_27·b_1_2²·b_1_3¹³ + a_6_27·b_1_2⁵·b_1_3·b_9_55 + a_6_27·b_1_2⁶·b_1_3⁹
       + a_6_27·b_1_2⁷·b_1_3⁸ + a_6_27·b_1_2¹⁰·b_1_3⁵ + a_6_27·b_1_2¹²·b_1_3³
       + a_6_27·b_1_2¹³·b_1_3² + a_6_27·b_1_2¹⁴·b_1_3 + a_6_23·b_1_3¹⁵
       + b_2_8·a_14_89·b_1_3⁵ + b_2_8·a_6_23·b_6_29·b_1_1⁷ + b_2_8²·a_14_89·b_1_3³
       + b_2_8²·a_6_23·b_1_3¹¹ + b_2_8²·a_6_23·b_1_1¹¹
       + b_2_8²·a_6_23·b_6_29·b_1_1⁵ + b_2_8³·a_1_0·b_1_3¹⁴ + b_2_8³·a_14_89·b_1_3
       + b_2_8³·a_14_89·b_1_1 + b_2_8³·a_14_82·b_1_1 + b_2_8³·a_6_27·b_9_57
       + b_2_8³·a_6_23·b_9_57 + b_2_8³·a_6_23·b_1_1⁹ + b_2_8³·a_6_23·b_6_29·b_1_1³
       + b_2_8⁴·a_1_0·b_1_3¹² + b_2_8⁴·a_6_23·b_1_3⁷ + b_2_8⁴·a_6_23·b_1_1⁷
       + b_2_8⁵·a_1_0·b_1_3¹⁰ + b_2_8⁶·a_1_0·b_1_3⁸ + b_2_8⁶·a_6_23·b_1_3³
       + b_2_8⁶·a_6_23·b_1_1³ + b_2_8¹⁰·a_1_0 + a_1_0²·b_1_3¹⁹ + a_6_23·a_1_0·b_1_3¹⁴
       + a_6_23·a_14_82·b_1_3 + b_2_8·a_14_89·a_1_0·b_1_3⁴ + b_2_8²·a_1_0²·b_1_3¹⁵
       + b_2_8²·a_14_82·a_1_0·b_1_3² + b_2_8²·a_6_23·a_1_0·b_1_3¹⁰
       + b_2_8³·a_1_0²·b_1_3⁴·b_9_54 + b_2_8³·a_14_89·a_1_0 + b_2_8⁴·a_1_0²·b_1_3¹¹
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁶ + b_2_8⁵·a_6_23·a_1_0·b_1_3⁴
       + b_2_8⁷·a_1_0²·b_1_3⁵ + b_2_8⁷·a_6_23·a_1_0 + a_6_23·a_1_0²·b_1_3¹³
       + a_6_23·a_14_89·a_1_0 + a_6_23·a_14_82·a_1_0 + b_2_8·a_14_82·a_1_0²·b_1_3³
       + b_2_8²·a_14_89·a_1_0²·b_1_3 + b_2_8²·a_14_82·a_1_0²·b_1_3
       + b_2_8⁵·a_6_23·a_1_0²·b_1_3³ + b_2_8²·a_14_82·a_1_0³
       + c_16_149·a_1_0³·b_1_3² + b_2_8·c_16_149·a_1_0³
70. b_1_3¹²·b_9_54 + b_2_8·b_1_3¹⁹ + b_2_8·b_14_120·b_1_3⁵ + b_2_8²·b_1_3¹⁷
       + b_2_8³·b_1_3¹⁵ + b_2_8⁴·b_1_3⁶·b_7_39 + b_2_8⁷·b_1_3⁷ + b_2_8⁷·b_6_29·b_1_3
       + b_2_8⁸·b_1_3⁵ + b_2_8⁹·b_1_3³ + b_2_8¹⁰·b_1_2 + a_14_89·b_1_3⁷
       + a_14_82·b_7_39 + a_14_82·b_1_3⁷ + a_14_82·b_1_2⁶·b_1_3 + a_6_27·b_1_3¹⁵
       + a_6_27·b_1_2·b_1_3¹⁴ + a_6_27·b_1_2²·b_1_3¹³ + a_6_27·b_1_2⁵·b_1_3·b_9_55
       + a_6_27·b_1_2⁶·b_1_3⁹ + a_6_27·b_1_2⁷·b_1_3⁸ + a_6_27·b_1_2¹⁰·b_1_3⁵
       + a_6_27·b_1_2¹²·b_1_3³ + a_6_27·b_1_2¹³·b_1_3² + a_6_27·b_1_2¹⁴·b_1_3
       + a_6_23·b_1_3¹⁵ + a_6_23·b_1_1¹⁵ + a_6_23·b_6_29·b_1_1⁹ + b_2_8·a_14_89·b_1_3⁵
       + b_2_8·a_14_82·b_1_3⁵ + b_2_8·a_6_23·b_1_3¹³ + b_2_8·a_6_23·b_6_29²·b_1_1
       + b_2_8²·a_14_89·b_1_3³ + b_2_8²·a_14_82·b_1_3³ + b_2_8²·a_6_23·b_1_1²·b_9_57
       + b_2_8³·a_14_82·b_1_1 + b_2_8³·a_6_23·b_1_3⁹ + b_2_8³·a_6_23·b_1_1⁹
       + b_2_8³·a_6_23·b_6_29·b_1_1³ + b_2_8⁴·a_6_27·b_7_39
       + b_2_8⁴·a_6_23·b_6_29·b_1_1 + b_2_8⁵·a_1_0·b_1_3·b_9_54 + b_2_8⁵·a_1_0·b_1_3¹⁰
       + b_2_8⁶·a_1_0·b_1_3⁸ + b_2_8⁹·a_1_0·b_1_3² + a_1_0²·b_1_3¹⁹
       + a_6_23·a_14_89·b_1_3 + a_6_23·a_14_82·b_1_3 + b_2_8·a_1_0²·b_1_3¹⁷
       + b_2_8·a_14_89·a_1_0·b_1_3⁴ + b_2_8·a_14_82·a_1_0·b_1_3⁴
       + b_2_8·a_6_23·a_1_0·b_1_3¹² + b_2_8²·a_1_0²·b_1_3¹⁵
       + b_2_8²·a_14_89·a_1_0·b_1_3² + b_2_8²·a_6_23·a_1_0·b_1_3¹⁰
       + b_2_8³·a_1_0²·b_1_3⁴·b_9_54 + b_2_8³·a_1_0²·b_1_3¹³ + b_2_8³·a_14_89·a_1_0
       + b_2_8³·a_14_82·a_1_0 + b_2_8³·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_1_0²·b_9_54
       + b_2_8⁶·a_1_0²·b_1_3⁷ + b_2_8⁷·a_1_0²·b_1_3⁵ + a_1_0³·b_1_3¹⁸
       + b_2_8²·a_14_89·a_1_0²·b_1_3 + b_2_8²·a_14_82·a_1_0²·b_1_3
       + b_2_8⁵·a_6_23·a_1_0²·b_1_3³ + b_2_8⁸·a_1_0³·b_1_3² + b_2_8⁹·a_1_0³
       + b_2_8²·a_14_82·a_1_0³ + c_16_149·a_1_0⁴·b_1_3
71. b_14_120·b_7_39 + b_6_29²·b_1_1⁹ + b_6_29³·b_1_1³ + b_2_8·b_1_3¹⁹
       + b_2_8·b_14_120·b_1_3⁵ + b_2_8·b_6_29³·b_1_1 + b_2_8²·b_1_3¹⁷
       + b_2_8²·b_1_1¹⁷ + b_2_8²·b_6_29·b_1_1²·b_9_57 + b_2_8²·b_6_29·b_1_1¹¹
       + b_2_8²·b_6_29²·b_1_1⁵ + b_2_8³·b_14_120·b_1_3 + b_2_8⁴·b_1_3⁴·b_9_54
       + b_2_8⁴·b_1_3⁶·b_7_39 + b_2_8⁴·b_1_3¹³ + b_2_8⁴·b_6_29²·b_1_1
       + b_2_8⁵·b_1_3²·b_9_54 + b_2_8⁵·b_1_3⁴·b_7_39 + b_2_8⁵·b_1_3¹¹ + b_2_8⁶·b_9_57
       + b_2_8⁶·b_9_55 + b_2_8⁶·b_9_54 + b_2_8⁶·b_1_3⁹ + b_2_8⁶·b_6_29·b_1_1³
       + b_2_8⁷·b_1_1⁷ + b_2_8⁷·b_6_29·b_1_1 + b_2_8⁹·b_1_3³ + b_2_8⁹·b_1_1³
       + b_2_8¹⁰·b_1_1 + b_14_120·a_1_0·b_1_2⁴·b_1_3² + a_14_89·b_7_39 + a_14_89·b_1_3⁷
       + a_14_82·b_7_39 + a_14_82·b_1_2⁵·b_1_3² + b_6_29·a_14_89·b_1_1
       + a_6_27·b_1_2²·b_1_3⁴·b_9_55 + a_6_27·b_1_2³·b_1_3¹² + a_6_27·b_1_2⁴·b_1_3¹¹
       + a_6_27·b_1_2⁵·b_1_3·b_9_55 + a_6_27·b_1_2⁶·b_9_55 + a_6_27·b_1_2⁶·b_1_3⁹
       + a_6_27·b_1_2⁷·b_1_3⁸ + a_6_27·b_1_2⁸·b_1_3⁷ + a_6_27·b_1_2⁹·b_1_3⁶
       + a_6_27·b_1_2¹¹·b_1_3⁴ + a_6_27·b_1_2¹²·b_1_3³ + a_6_27·b_1_2¹³·b_1_3²
       + a_6_23·b_1_3¹⁵ + a_6_23·b_6_29·b_9_57 + a_6_23·b_6_29·b_1_1⁹
       + b_2_8·a_1_0·b_1_3¹⁸ + b_2_8·a_14_89·b_1_3⁵ + b_2_8·a_6_23·b_1_3¹³
       + b_2_8²·a_1_0·b_1_3¹⁶ + b_2_8²·a_6_23·b_1_3¹¹ + b_2_8²·a_6_23·b_1_1¹¹
       + b_2_8²·a_6_23·b_6_29·b_1_1⁵ + b_2_8³·a_14_89·b_1_1 + b_2_8³·a_14_82·b_1_3
       + b_2_8³·a_6_23·b_9_57 + b_2_8⁴·a_1_0·b_1_3¹² + b_2_8⁴·a_6_27·b_7_39
       + b_2_8⁵·a_1_0·b_1_3¹⁰ + b_2_8⁵·a_6_23·b_1_3⁵ + b_2_8⁵·a_6_23·b_1_1⁵
       + b_2_8⁶·a_1_0·b_1_3⁸ + b_2_8⁶·a_6_23·b_1_3³ + b_2_8⁶·a_6_23·b_1_1³
       + b_2_8⁷·a_1_0·b_1_3⁶ + b_2_8⁷·a_6_27·b_1_1 + b_2_8⁷·a_6_23·b_1_3
       + b_2_8⁷·a_6_23·b_1_1 + b_2_8⁸·a_1_0·b_1_3⁴ + b_2_8¹⁰·a_1_0 + a_1_0²·b_1_3¹⁹
       + a_6_23·a_1_0·b_1_3¹⁴ + b_2_8·a_14_89·a_1_0·b_1_3⁴
       + b_2_8·a_14_82·a_1_0·b_1_3⁴ + b_2_8²·a_1_0²·b_1_3¹⁵
       + b_2_8²·a_14_89·a_1_0·b_1_3² + b_2_8²·a_14_82·a_1_0·b_1_3²
       + b_2_8³·a_1_0²·b_1_3⁴·b_9_54 + b_2_8⁵·a_1_0²·b_9_54 + b_2_8⁵·a_1_0²·b_1_3⁹
       + b_2_8⁵·a_6_23·a_1_0·b_1_3⁴ + b_2_8⁷·a_6_23·a_1_0 + b_2_8⁸·a_1_0²·b_1_3³
       + a_6_23·a_1_0²·b_1_3¹³ + a_6_23·a_14_89·a_1_0 + a_6_23·a_14_82·a_1_0
       + b_2_8·a_14_89·a_1_0²·b_1_3³ + b_2_8²·a_14_89·a_1_0²·b_1_3
       + b_2_8²·a_14_82·a_1_0²·b_1_3 + b_2_8⁵·a_6_23·a_1_0²·b_1_3³
       + b_2_8⁶·a_6_23·a_1_0²·b_1_3 + b_2_8²·a_14_82·a_1_0³ + c_16_149·b_1_1⁵
       + b_2_8·c_16_149·b_1_1³
72. a_14_82·b_9_57 + a_14_82·b_9_55 + a_14_82·b_9_54 + a_6_23·b_1_1¹⁷
       + a_6_23·b_6_29·b_1_1¹¹ + a_6_23·b_6_29²·b_1_1⁵ + b_2_8·a_14_82·b_7_39
       + b_2_8·a_14_82·b_1_3⁷ + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8²·a_6_23·b_1_1¹³
       + b_2_8²·a_6_23·b_6_29·b_1_1⁷ + b_2_8²·a_6_23·b_6_29²·b_1_1
       + b_2_8³·a_14_82·b_1_3³ + b_2_8³·a_6_23·b_1_1²·b_9_57 + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8⁴·a_1_0·b_1_3¹⁴ + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_6_23·b_9_57
       + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁴·a_6_23·b_6_29·b_1_1³ + b_2_8⁵·a_1_0·b_1_3¹²
       + b_2_8⁵·a_6_23·b_7_39 + b_2_8⁵·a_6_23·b_6_29·b_1_1 + b_2_8⁷·a_1_0·b_1_3⁸
       + b_2_8⁷·a_6_23·b_1_1³ + b_2_8⁹·a_1_0·b_1_3⁴ + a_6_23·a_14_82·b_1_3³
       + b_2_8·a_14_82·a_1_0·b_1_3⁶ + b_2_8·a_6_23·a_14_82·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3⁴ + b_2_8⁴·a_1_0²·b_1_3¹³ + b_2_8⁴·a_14_82·a_1_0
       + b_2_8⁶·a_1_0²·b_1_3⁹ + b_2_8⁷·a_6_23·a_1_0·b_1_3² + b_2_8⁸·a_1_0²·b_1_3⁵
       + b_2_8⁹·a_1_0²·b_1_3³ + a_14_82·a_1_0²·b_1_3⁷
       + b_2_8·a_14_82·a_1_0²·b_1_3⁵ + b_2_8·a_6_23·a_14_82·a_1_0
       + b_2_8²·a_14_89·a_1_0²·b_1_3³ + b_2_8⁷·a_6_23·a_1_0²·b_1_3
73. a_14_89·b_9_57 + a_14_89·b_9_55 + a_14_89·b_9_54 + a_14_82·b_9_57 + a_14_82·b_9_55
       + a_14_82·b_9_54 + a_6_23·b_6_29·b_1_1²·b_9_57 + a_6_23·b_6_29·b_1_1¹¹
       + b_2_8·a_14_89·b_7_39 + b_2_8·a_14_89·b_1_3⁷ + b_2_8·a_14_82·b_7_39
       + b_2_8·a_14_82·b_1_3⁷ + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8²·a_6_23·b_1_1¹³
       + b_2_8³·a_14_89·b_1_3³ + b_2_8³·a_14_82·b_1_3³ + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8⁴·a_1_0·b_1_3¹⁴ + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_14_82·b_1_1
       + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁵·a_6_27·b_7_39 + b_2_8⁵·a_6_23·b_7_39
       + b_2_8⁶·a_1_0·b_1_3¹⁰ + b_2_8⁶·a_6_23·b_1_3⁵ + b_2_8⁷·a_1_0·b_1_3⁸
       + b_2_8⁷·a_6_23·b_1_1³ + b_2_8⁸·a_1_0·b_1_3⁶ + b_2_8⁹·a_1_0·b_1_3⁴
       + b_2_8¹⁰·a_1_0·b_1_3² + a_6_23·a_14_82·b_1_3³ + b_2_8·a_6_23·a_1_0·b_1_3¹⁴
       + b_2_8·a_6_23·a_14_89·b_1_3 + b_2_8·a_6_23·a_14_82·b_1_3
       + b_2_8²·a_14_89·a_1_0·b_1_3⁴ + b_2_8²·a_14_82·a_1_0·b_1_3⁴
       + b_2_8³·a_1_0²·b_1_3¹⁵ + b_2_8³·a_6_23·a_1_0·b_1_3¹⁰ + b_2_8⁴·a_14_89·a_1_0
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_6_23·a_1_0·b_1_3⁶
       + b_2_8⁷·a_1_0²·b_1_3⁷ + b_2_8⁸·a_1_0²·b_1_3⁵ + b_2_8¹⁰·a_1_0²·b_1_3
       + a_14_82·a_1_0²·b_1_3⁷ + a_6_23·a_1_0²·b_1_3¹⁵ + a_6_23·a_14_89·a_1_0·b_1_3²
       + b_2_8·a_6_23·a_14_89·a_1_0 + b_2_8³·a_14_89·a_1_0²·b_1_3
       + b_2_8⁶·a_6_23·a_1_0²·b_1_3³ + b_2_8⁹·a_1_0³·b_1_3²
       + b_2_8³·a_14_82·a_1_0³ + b_2_8²·c_16_149·b_1_1²·b_1_3
74. b_14_120·b_9_57 + b_14_120·b_9_55 + b_6_29²·b_1_1²·b_9_57 + b_2_8·b_6_29²·b_9_57
       + b_2_8·b_6_29²·b_1_1⁹ + b_2_8²·b_6_29·b_1_1¹³ + b_2_8²·b_6_29²·b_1_1⁷
       + b_2_8³·b_1_3¹⁷ + b_2_8³·b_1_1¹⁷ + b_2_8³·b_6_29²·b_1_1⁵
       + b_2_8⁴·b_14_120·b_1_3 + b_2_8⁴·b_6_29·b_1_1⁹ + b_2_8⁵·b_1_3⁶·b_7_39
       + b_2_8⁵·b_1_1¹³ + b_2_8⁵·b_6_29·b_1_1⁷ + b_2_8⁵·b_6_29²·b_1_1
       + b_2_8⁶·b_1_1²·b_9_57 + b_2_8⁷·b_9_55 + b_2_8⁷·b_9_54 + b_2_8⁷·b_1_3⁹
       + b_2_8⁷·b_1_1⁹ + b_2_8⁷·b_6_29·b_1_1³ + b_2_8⁸·b_7_39 + b_2_8⁸·b_1_3⁷
       + b_2_8⁸·b_6_29·b_1_1 + b_2_8¹⁰·b_1_3³ + b_2_8¹⁰·b_1_1³ + b_2_8¹¹·b_1_2
       + b_2_8¹¹·b_1_1 + b_14_120·a_1_0·b_1_2⁷·b_1_3 + a_14_89·b_9_54 + a_14_82·b_9_54
       + a_14_82·b_1_3²·b_7_39 + a_14_82·b_1_2⁷·b_1_3² + a_14_82·b_1_2⁹
       + a_6_27·b_1_2⁶·b_1_3²·b_9_55 + a_6_27·b_1_2⁸·b_9_55 + a_6_27·b_1_2⁸·b_1_3⁹
       + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶ + a_6_27·b_1_2¹⁴·b_1_3³
       + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷ + a_6_27·b_14_120·b_1_2·b_1_3²
       + a_6_23·b_6_29·b_1_1¹¹ + a_6_23·b_6_29²·b_1_1⁵ + b_2_8·a_1_0·b_1_3²⁰
       + b_2_8·a_14_89·b_1_3⁷ + b_2_8·a_14_82·b_7_39 + b_2_8·b_6_29·a_14_89·b_1_1
       + b_2_8·a_6_23·b_1_1¹⁵ + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8·a_6_23·b_6_29·b_1_1⁹
       + b_2_8²·a_1_0·b_1_3¹⁸ + b_2_8²·a_14_82·b_1_3⁵ + b_2_8²·a_6_23·b_1_1¹³
       + b_2_8²·a_6_23·b_6_29·b_1_1⁷ + b_2_8²·a_6_23·b_6_29²·b_1_1
       + b_2_8³·a_1_0·b_1_3¹⁶ + b_2_8³·a_14_89·b_1_3³ + b_2_8³·a_14_82·b_1_3³
       + b_2_8³·a_6_23·b_1_1²·b_9_57 + b_2_8⁴·a_14_89·b_1_3 + b_2_8⁴·a_6_27·b_9_57
       + b_2_8⁴·a_6_23·b_9_57 + b_2_8⁵·a_1_0·b_1_3¹² + b_2_8⁵·a_6_27·b_7_39
       + b_2_8⁵·a_6_23·b_7_39 + b_2_8⁵·a_6_23·b_1_3⁷ + b_2_8⁵·a_6_23·b_6_29·b_1_1
       + b_2_8⁶·a_6_23·b_1_3⁵ + b_2_8⁷·a_1_0·b_1_3⁸ + b_2_8⁸·a_6_23·b_1_3
       + b_2_8⁸·a_6_23·b_1_1 + b_2_8¹¹·a_1_0 + a_6_23·a_1_0·b_1_3¹⁶
       + a_6_23·a_14_82·b_1_3³ + b_2_8·a_1_0²·b_1_3¹⁹ + b_2_8·a_14_82·a_1_0·b_1_3⁶
       + b_2_8·a_6_23·a_1_0·b_1_3¹⁴ + b_2_8·a_6_23·a_14_89·b_1_3
       + b_2_8·a_6_23·a_14_82·b_1_3 + b_2_8²·a_1_0²·b_1_3¹⁷
       + b_2_8²·a_14_89·a_1_0·b_1_3⁴ + b_2_8²·a_14_82·a_1_0·b_1_3⁴
       + b_2_8⁴·a_1_0²·b_1_3¹³ + b_2_8⁴·a_14_89·a_1_0 + b_2_8⁴·a_14_82·a_1_0
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_1_0²·b_1_3¹¹ + b_2_8⁶·a_1_0²·b_9_54
       + b_2_8⁷·a_1_0²·b_1_3⁷ + b_2_8⁸·a_1_0²·b_1_3⁵ + b_2_8⁸·a_6_23·a_1_0
       + b_2_8¹⁰·a_1_0²·b_1_3 + a_14_82·a_1_0²·b_1_3⁷ + a_6_23·a_14_82·a_1_0·b_1_3²
       + b_2_8·a_6_23·a_14_89·a_1_0 + b_2_8⁷·a_6_23·a_1_0²·b_1_3
       + b_2_8⁹·a_1_0³·b_1_3² + b_6_29·c_16_149·b_1_1 + b_2_8·c_16_149·b_1_1⁵
       + b_2_8²·c_16_149·b_1_1³ + b_2_8³·c_16_149·b_1_2 + c_16_149·a_1_0²·b_1_3⁵
       + b_2_8·c_16_149·a_1_0²·b_1_3³ + b_2_8²·c_16_149·a_1_0²·b_1_3
75. b_14_120·b_9_57 + b_14_120·b_9_55 + b_6_29²·b_1_1²·b_9_57 + b_2_8·b_6_29²·b_9_57
       + b_2_8·b_6_29²·b_1_1⁹ + b_2_8²·b_6_29·b_1_1¹³ + b_2_8²·b_6_29²·b_1_1⁷
       + b_2_8³·b_1_3¹⁷ + b_2_8³·b_1_1¹⁷ + b_2_8³·b_6_29²·b_1_1⁵
       + b_2_8⁴·b_14_120·b_1_3 + b_2_8⁴·b_6_29·b_1_1⁹ + b_2_8⁵·b_1_3⁶·b_7_39
       + b_2_8⁵·b_1_1¹³ + b_2_8⁵·b_6_29·b_1_1⁷ + b_2_8⁵·b_6_29²·b_1_1
       + b_2_8⁶·b_1_1²·b_9_57 + b_2_8⁷·b_9_55 + b_2_8⁷·b_9_54 + b_2_8⁷·b_1_3⁹
       + b_2_8⁷·b_1_1⁹ + b_2_8⁷·b_6_29·b_1_1³ + b_2_8⁸·b_7_39 + b_2_8⁸·b_1_3⁷
       + b_2_8⁸·b_6_29·b_1_1 + b_2_8¹⁰·b_1_3³ + b_2_8¹⁰·b_1_1³ + b_2_8¹¹·b_1_2
       + b_2_8¹¹·b_1_1 + b_14_120·a_1_0·b_1_2⁷·b_1_3 + a_14_89·b_9_54 + a_14_82·b_9_57
       + a_14_82·b_9_55 + a_14_82·b_9_54 + a_14_82·b_1_3²·b_7_39 + a_14_82·b_1_2⁷·b_1_3²
       + a_14_82·b_1_2⁹ + a_6_27·b_1_2⁶·b_1_3²·b_9_55 + a_6_27·b_1_2⁸·b_9_55
       + a_6_27·b_1_2⁸·b_1_3⁹ + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶
       + a_6_27·b_1_2¹⁴·b_1_3³ + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷
       + a_6_27·b_14_120·b_1_2·b_1_3² + b_2_8·a_1_0·b_1_3²⁰ + b_2_8·b_6_29·a_14_89·b_1_1
       + b_2_8·a_6_23·b_1_1¹⁵ + b_2_8·a_6_23·b_6_29·b_1_1⁹ + b_2_8²·a_14_89·b_1_3⁵
       + b_2_8²·a_14_82·b_1_3⁵ + b_2_8²·a_6_23·b_1_3¹³ + b_2_8²·a_6_23·b_1_1¹³
       + b_2_8²·a_6_23·b_6_29²·b_1_1 + b_2_8³·a_1_0·b_1_3¹⁶ + b_2_8³·a_14_89·b_1_3³
       + b_2_8³·a_6_23·b_1_3¹¹ + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8³·a_6_23·b_6_29·b_1_1⁵ + b_2_8⁴·a_1_0·b_1_3¹⁴ + b_2_8⁴·a_14_89·b_1_3
       + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_14_82·b_1_1 + b_2_8⁴·a_6_27·b_9_57
       + b_2_8⁴·a_6_23·b_6_29·b_1_1³ + b_2_8⁵·a_6_23·b_7_39 + b_2_8⁵·a_6_23·b_1_3⁷
       + b_2_8⁵·a_6_23·b_1_1⁷ + b_2_8⁶·a_1_0·b_1_3·b_9_54 + b_2_8⁷·a_1_0·b_1_3⁸
       + b_2_8⁷·a_6_23·b_1_3³ + b_2_8⁸·a_1_0·b_1_3⁶ + b_2_8⁸·a_6_27·b_1_1
       + b_2_8⁸·a_6_23·b_1_3 + b_2_8⁸·a_6_23·b_1_1 + b_2_8¹⁰·a_1_0·b_1_3²
       + b_2_8¹¹·a_1_0 + a_6_23·a_1_0·b_1_3¹⁶ + b_2_8·a_6_23·a_1_0·b_1_3¹⁴
       + b_2_8·a_6_23·a_14_82·b_1_3 + b_2_8²·a_1_0²·b_1_3¹⁷
       + b_2_8³·a_14_89·a_1_0·b_1_3² + b_2_8³·a_14_82·a_1_0·b_1_3²
       + b_2_8³·a_6_23·a_1_0·b_1_3¹⁰ + b_2_8⁴·a_14_82·a_1_0 + b_2_8⁵·a_1_0²·b_1_3¹¹
       + b_2_8⁶·a_1_0²·b_9_54 + b_2_8⁶·a_1_0²·b_1_3⁹ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁴
       + b_2_8⁷·a_6_23·a_1_0·b_1_3² + b_2_8⁸·a_1_0²·b_1_3⁵ + a_14_82·a_1_0²·b_1_3⁷
       + b_2_8³·a_14_89·a_1_0²·b_1_3 + b_2_8⁶·a_6_23·a_1_0²·b_1_3³
       + b_2_8⁹·a_1_0³·b_1_3² + b_2_8³·a_14_82·a_1_0³ + b_6_29·c_16_149·b_1_1
       + b_2_8·c_16_149·b_1_1⁵ + b_2_8²·c_16_149·b_1_1³ + b_2_8³·c_16_149·b_1_2
       + b_2_8²·c_16_149·a_1_0²·b_1_3 + c_16_149·a_1_0³·b_1_3⁴
       + b_2_8²·c_16_149·a_1_0³
76. b_14_120·a_1_0·b_1_2⁷·b_1_3 + a_14_89·b_9_55 + a_14_89·b_9_54
       + a_14_89·b_1_3²·b_7_39 + a_14_82·b_9_55 + a_14_82·b_9_54 + a_14_82·b_1_3²·b_7_39
       + a_14_82·b_1_2⁷·b_1_3² + a_14_82·b_1_2⁹ + a_6_27·b_1_2⁶·b_1_3²·b_9_55
       + a_6_27·b_1_2⁷·b_1_3·b_9_55 + a_6_27·b_1_2⁸·b_9_55 + a_6_27·b_1_2⁸·b_1_3⁹
       + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶ + a_6_27·b_1_2¹⁴·b_1_3³
       + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷ + a_6_27·b_14_120·b_1_2·b_1_3²
       + a_6_27·b_14_120·b_1_2²·b_1_3 + a_6_23·b_6_29·b_1_1¹¹
       + b_2_8·b_6_29·a_14_89·b_1_1 + b_2_8²·a_6_23·b_1_1¹³
       + b_2_8²·a_6_23·b_6_29·b_1_1⁷ + b_2_8³·a_14_89·b_1_3³
       + b_2_8³·a_14_82·b_1_3³ + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8³·a_6_23·b_6_29·b_1_1⁵ + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_14_82·b_1_1
       + b_2_8⁴·a_6_27·b_9_57 + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁵·a_1_0·b_1_3¹²
       + b_2_8⁵·a_6_23·b_6_29·b_1_1 + b_2_8⁶·a_6_23·b_1_1⁵ + b_2_8⁷·a_1_0·b_1_3⁸
       + b_2_8⁷·a_6_23·b_1_3³ + b_2_8⁸·a_1_0·b_1_3⁶ + b_2_8⁸·a_6_27·b_1_1
       + b_2_8⁹·a_1_0·b_1_3⁴ + b_2_8¹⁰·a_1_0·b_1_3² + b_2_8¹¹·a_1_0
       + a_6_23·a_14_82·b_1_3³ + b_2_8·a_6_23·a_1_0·b_1_3¹⁴ + b_2_8³·a_1_0²·b_1_3¹⁵
       + b_2_8³·a_14_89·a_1_0·b_1_3² + b_2_8³·a_14_82·a_1_0·b_1_3²
       + b_2_8³·a_6_23·a_1_0·b_1_3¹⁰ + b_2_8⁴·a_1_0²·b_1_3¹³ + b_2_8⁴·a_14_89·a_1_0
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_6_23·a_1_0·b_1_3⁶
       + b_2_8⁶·a_1_0²·b_1_3⁹ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁴
       + b_2_8⁷·a_6_23·a_1_0·b_1_3² + b_2_8⁸·a_6_23·a_1_0 + a_6_23·a_1_0²·b_1_3¹⁵
       + a_6_23·a_14_89·a_1_0·b_1_3² + a_6_23·a_14_82·a_1_0·b_1_3²
       + b_2_8³·a_14_89·a_1_0²·b_1_3 + b_2_8³·a_14_82·a_1_0²·b_1_3
       + b_2_8⁷·a_6_23·a_1_0²·b_1_3 + b_2_8⁹·a_1_0³·b_1_3² + b_2_8¹⁰·a_1_0³
       + c_16_149·a_1_0·b_1_2³·b_1_3³ + c_16_149·a_1_0·b_1_2⁴·b_1_3²
77. a_14_89·b_9_55 + a_14_89·b_9_54 + a_14_89·b_1_3²·b_7_39 + a_14_82·b_9_57
       + a_14_82·b_9_55 + a_14_82·b_9_54 + a_6_27·b_1_2⁵·b_1_3³·b_9_55
       + a_6_27·b_1_2⁶·b_1_3²·b_9_55 + a_6_27·b_1_2⁸·b_9_55 + a_6_23·b_6_29²·b_1_1⁵
       + b_2_8·a_14_82·b_7_39 + b_2_8·a_14_82·b_1_3⁷ + b_2_8·b_6_29·a_14_89·b_1_1
       + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8²·a_6_23·b_1_1¹³ + b_2_8³·a_14_89·b_1_3³
       + b_2_8³·a_14_82·b_1_3³ + b_2_8³·a_6_23·b_1_1²·b_9_57 + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8⁴·a_1_0·b_1_3¹⁴ + b_2_8⁴·a_6_27·b_9_57 + b_2_8⁴·a_6_23·b_9_57
       + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁵·a_6_27·b_7_39 + b_2_8⁶·a_6_23·b_1_1⁵
       + b_2_8⁷·a_6_23·b_1_3³ + b_2_8⁷·a_6_23·b_1_1³ + b_2_8⁸·a_1_0·b_1_3⁶
       + b_2_8⁸·a_6_27·b_1_1 + b_2_8¹⁰·a_1_0·b_1_3² + b_2_8¹¹·a_1_0
       + a_6_23·a_14_82·b_1_3³ + b_2_8·a_6_23·a_1_0·b_1_3¹⁴ + b_2_8·a_6_23·a_14_82·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3⁴ + b_2_8³·a_1_0²·b_1_3¹⁵
       + b_2_8³·a_14_89·a_1_0·b_1_3² + b_2_8³·a_6_23·a_1_0·b_1_3¹⁰
       + b_2_8⁴·a_14_89·a_1_0 + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸
       + b_2_8⁵·a_6_23·a_1_0·b_1_3⁶ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁴
       + b_2_8⁷·a_6_23·a_1_0·b_1_3² + a_14_82·a_1_0²·b_1_3⁷ + a_6_23·a_1_0²·b_1_3¹⁵
       + a_6_23·a_14_89·a_1_0·b_1_3² + a_6_23·a_14_82·a_1_0·b_1_3²
       + b_2_8·a_14_82·a_1_0²·b_1_3⁵ + b_2_8²·a_14_82·a_1_0²·b_1_3³
       + b_2_8³·a_14_89·a_1_0²·b_1_3 + b_2_8⁶·a_6_23·a_1_0²·b_1_3³
       + b_2_8⁷·a_6_23·a_1_0²·b_1_3 + b_2_8⁹·a_1_0³·b_1_3² + b_2_8¹⁰·a_1_0³
       + c_16_149·a_1_0·b_1_2³·b_1_3³ + c_16_149·a_1_0·b_1_2⁵·b_1_3
       + a_6_27·c_16_149·b_1_2
78. b_14_120·b_9_55 + b_14_120·b_1_2⁴·b_1_3⁵ + b_14_120·b_1_2⁵·b_1_3⁴
       + b_14_120·b_1_2⁶·b_1_3³ + b_14_120·b_1_2⁷·b_1_3² + b_14_120·b_1_2⁸·b_1_3
       + b_2_8·b_1_3²¹ + b_2_8²·b_14_120·b_1_3⁵ + b_2_8³·b_14_120·b_1_3³
       + b_2_8³·b_6_29·b_1_1²·b_9_57 + b_2_8³·b_6_29·b_1_1¹¹
       + b_2_8³·b_6_29²·b_1_1⁵ + b_2_8⁴·b_1_3¹⁵ + b_2_8⁴·b_14_120·b_1_3
       + b_2_8⁴·b_6_29·b_1_1⁹ + b_2_8⁵·b_1_1¹³ + b_2_8⁵·b_6_29·b_1_1⁷
       + b_2_8⁵·b_6_29²·b_1_1 + b_2_8⁶·b_1_3²·b_9_54 + b_2_8⁶·b_1_1¹¹
       + b_2_8⁷·b_1_3²·b_7_39 + b_2_8⁷·b_1_3⁹ + b_2_8⁷·b_6_29·b_1_1³
       + b_2_8⁹·b_1_1⁵ + b_2_8¹⁰·b_1_3³ + b_2_8¹⁰·b_1_1³ + b_2_8¹¹·b_1_3
       + b_2_8¹¹·b_1_2 + b_14_120·a_1_0·b_1_2⁸ + a_14_89·b_9_54 + a_14_82·b_9_55
       + a_14_82·b_9_54 + a_14_82·b_1_2⁷·b_1_3² + a_6_27·b_1_2³·b_1_3¹⁴
       + a_6_27·b_1_2⁴·b_1_3⁴·b_9_55 + a_6_27·b_1_2⁵·b_1_3³·b_9_55
       + a_6_27·b_1_2⁵·b_1_3¹² + a_6_27·b_1_2⁷·b_1_3·b_9_55 + a_6_27·b_1_2⁸·b_9_55
       + a_6_27·b_1_2⁹·b_1_3⁸ + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶
       + a_6_27·b_1_2¹²·b_1_3⁵ + a_6_27·b_1_2¹³·b_1_3⁴ + a_6_27·b_1_2¹⁴·b_1_3³
       + a_6_27·b_1_2¹⁵·b_1_3² + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷
       + a_6_27·b_14_120·b_1_2²·b_1_3 + a_6_27·b_14_120·b_1_2³ + a_6_23·b_1_3¹⁷
       + a_6_23·b_6_29·b_1_1²·b_9_57 + a_6_23·b_6_29²·b_1_1⁵ + b_2_8·a_1_0·b_1_3²⁰
       + b_2_8·a_14_89·b_7_39 + b_2_8·a_6_27·b_6_29·b_9_57 + b_2_8·a_6_23·b_1_1¹⁵
       + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8²·a_14_89·b_1_3⁵ + b_2_8²·a_6_23·b_1_3¹³
       + b_2_8²·a_6_23·b_6_29·b_1_1⁷ + b_2_8²·a_6_23·b_6_29²·b_1_1
       + b_2_8³·a_14_89·b_1_3³ + b_2_8³·a_14_82·b_1_3³ + b_2_8³·a_6_23·b_1_1¹¹
       + b_2_8³·a_6_23·b_6_29·b_1_1⁵ + b_2_8⁴·a_1_0·b_1_3¹⁴ + b_2_8⁴·a_14_89·b_1_1
       + b_2_8⁴·a_14_82·b_1_3 + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁵·a_6_27·b_7_39
       + b_2_8⁵·a_6_23·b_6_29·b_1_1 + b_2_8⁶·a_1_0·b_1_3·b_9_54 + b_2_8⁶·a_6_23·b_1_3⁵
       + b_2_8⁷·a_1_0·b_1_3⁸ + b_2_8⁷·a_6_23·b_1_1³ + b_2_8⁸·a_6_23·b_1_3
       + b_2_8⁹·a_1_0·b_1_3⁴ + b_2_8¹⁰·a_1_0·b_1_3² + b_2_8¹¹·a_1_0
       + a_14_82·a_1_0·b_1_3⁸ + a_6_23·a_1_0·b_1_3¹⁶ + a_6_23·a_14_82·b_1_3³
       + b_2_8²·a_14_82·a_1_0·b_1_3⁴ + b_2_8³·a_14_89·a_1_0·b_1_3²
       + b_2_8³·a_6_23·a_1_0·b_1_3¹⁰ + b_2_8⁴·a_14_82·a_1_0
       + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_1_0²·b_1_3¹¹
       + b_2_8⁶·a_1_0²·b_1_3⁹ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁴ + b_2_8⁸·a_1_0²·b_1_3⁵
       + b_2_8⁸·a_6_23·a_1_0 + b_2_8¹⁰·a_1_0²·b_1_3 + a_6_23·a_14_82·a_1_0·b_1_3²
       + b_2_8·a_6_23·a_14_89·a_1_0 + b_2_8³·a_14_82·a_1_0²·b_1_3
       + c_16_149·b_1_2²·b_1_3⁵ + c_16_149·b_1_2³·b_1_3⁴ + c_16_149·b_1_2⁷
       + c_16_149·a_1_0·b_1_2⁶ + a_6_27·c_16_149·b_1_1 + b_2_8²·c_16_149·a_1_0²·b_1_3
       + b_2_8·c_16_149·a_1_0³·b_1_3²
79. b_14_120·b_9_57 + b_14_120·b_9_55 + b_6_29²·b_1_1²·b_9_57 + b_2_8·b_6_29²·b_9_57
       + b_2_8·b_6_29²·b_1_1⁹ + b_2_8²·b_6_29·b_1_1¹³ + b_2_8²·b_6_29²·b_1_1⁷
       + b_2_8³·b_1_3¹⁷ + b_2_8³·b_1_1¹⁷ + b_2_8³·b_6_29²·b_1_1⁵
       + b_2_8⁴·b_14_120·b_1_3 + b_2_8⁴·b_6_29·b_1_1⁹ + b_2_8⁵·b_1_3⁶·b_7_39
       + b_2_8⁵·b_1_1¹³ + b_2_8⁵·b_6_29·b_1_1⁷ + b_2_8⁵·b_6_29²·b_1_1
       + b_2_8⁶·b_1_1²·b_9_57 + b_2_8⁷·b_9_55 + b_2_8⁷·b_9_54 + b_2_8⁷·b_1_3⁹
       + b_2_8⁷·b_1_1⁹ + b_2_8⁷·b_6_29·b_1_1³ + b_2_8⁸·b_7_39 + b_2_8⁸·b_1_3⁷
       + b_2_8⁸·b_6_29·b_1_1 + b_2_8¹⁰·b_1_3³ + b_2_8¹⁰·b_1_1³ + b_2_8¹¹·b_1_2
       + b_2_8¹¹·b_1_1 + b_14_120·a_1_0·b_1_2⁷·b_1_3 + a_14_89·b_1_3²·b_7_39
       + a_14_82·b_1_3²·b_7_39 + a_14_82·b_1_2⁷·b_1_3² + a_14_82·b_1_2⁹
       + a_6_27·b_1_2⁶·b_1_3²·b_9_55 + a_6_27·b_1_2⁸·b_9_55 + a_6_27·b_1_2⁸·b_1_3⁹
       + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶ + a_6_27·b_1_2¹⁴·b_1_3³
       + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷ + a_6_27·b_14_120·b_1_2·b_1_3²
       + a_6_23·b_6_29²·b_1_1⁵ + b_2_8·a_1_0·b_1_3²⁰ + b_2_8·a_14_89·b_1_3⁷
       + b_2_8·a_14_82·b_7_39 + b_2_8·a_6_23·b_1_3¹⁵ + b_2_8·a_6_23·b_1_1¹⁵
       + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8·a_6_23·b_6_29·b_1_1⁹
       + b_2_8²·a_14_89·b_1_3⁵ + b_2_8²·a_14_82·b_1_3⁵ + b_2_8²·a_6_23·b_1_3¹³
       + b_2_8²·a_6_23·b_6_29²·b_1_1 + b_2_8³·a_14_89·b_1_3³ + b_2_8³·a_14_82·b_1_3³
       + b_2_8³·a_6_23·b_1_1²·b_9_57 + b_2_8³·a_6_23·b_1_1¹¹ + b_2_8⁴·a_1_0·b_1_3¹⁴
       + b_2_8⁴·a_14_89·b_1_3 + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_14_82·b_1_3
       + b_2_8⁴·a_14_82·b_1_1 + b_2_8⁴·a_6_27·b_9_57 + b_2_8⁴·a_6_23·b_9_57
       + b_2_8⁴·a_6_23·b_1_3⁹ + b_2_8⁴·a_6_23·b_1_1⁹ + b_2_8⁴·a_6_23·b_6_29·b_1_1³
       + b_2_8⁵·a_1_0·b_1_3¹² + b_2_8⁵·a_6_23·b_6_29·b_1_1 + b_2_8⁶·a_1_0·b_1_3¹⁰
       + b_2_8⁷·a_1_0·b_1_3⁸ + b_2_8⁸·a_6_27·b_1_1 + b_2_8⁸·a_6_23·b_1_1
       + b_2_8⁹·a_1_0·b_1_3⁴ + b_2_8¹⁰·a_1_0·b_1_3² + b_2_8¹¹·a_1_0
       + a_6_23·a_14_82·b_1_3³ + b_2_8·a_1_0²·b_1_3¹⁹ + b_2_8·a_6_23·a_14_89·b_1_3
       + b_2_8·a_6_23·a_14_82·b_1_3 + b_2_8²·a_1_0²·b_1_3¹⁷
       + b_2_8²·a_14_89·a_1_0·b_1_3⁴ + b_2_8²·a_14_82·a_1_0·b_1_3⁴
       + b_2_8³·a_1_0²·b_1_3¹⁵ + b_2_8³·a_14_89·a_1_0·b_1_3²
       + b_2_8³·a_14_82·a_1_0·b_1_3² + b_2_8⁴·a_1_0²·b_1_3¹³ + b_2_8⁴·a_14_89·a_1_0
       + b_2_8⁴·a_14_82·a_1_0 + b_2_8⁴·a_6_23·a_1_0·b_1_3⁸ + b_2_8⁵·a_1_0²·b_1_3¹¹
       + b_2_8⁶·a_1_0²·b_9_54 + b_2_8⁶·a_1_0²·b_1_3⁹ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁴
       + b_2_8⁷·a_1_0²·b_1_3⁷ + b_2_8⁹·a_1_0²·b_1_3³ + a_1_0³·b_1_3²⁰
       + a_14_82·a_1_0²·b_1_3⁷ + a_6_23·a_14_89·a_1_0·b_1_3²
       + b_2_8·a_6_23·a_14_82·a_1_0 + b_2_8²·a_14_82·a_1_0²·b_1_3³
       + b_2_8³·a_14_89·a_1_0²·b_1_3 + b_2_8³·a_14_82·a_1_0²·b_1_3
       + b_2_8⁶·a_6_23·a_1_0²·b_1_3³ + b_2_8⁷·a_6_23·a_1_0²·b_1_3
       + b_2_8⁹·a_1_0³·b_1_3² + b_6_29·c_16_149·b_1_1 + b_2_8·c_16_149·b_1_1⁵
       + b_2_8²·c_16_149·b_1_1³ + b_2_8³·c_16_149·b_1_2 + a_6_23·c_16_149·a_1_0
       + b_2_8·c_16_149·a_1_0²·b_1_3³ + b_2_8²·c_16_149·a_1_0²·b_1_3
       + b_2_8·c_16_149·a_1_0³·b_1_3²
80. b_14_120·b_9_57 + b_14_120·b_9_54 + b_14_120·b_1_2⁴·b_1_3⁵
       + b_14_120·b_1_2⁵·b_1_3⁴ + b_14_120·b_1_2⁶·b_1_3³ + b_14_120·b_1_2⁷·b_1_3²
       + b_14_120·b_1_2⁸·b_1_3 + b_2_8·b_1_3²¹ + b_2_8·b_14_120·b_1_3⁷
       + b_2_8·b_6_29²·b_9_57 + b_2_8·b_6_29³·b_1_1³ + b_2_8²·b_1_3¹⁹
       + b_2_8²·b_1_1¹⁹ + b_2_8²·b_6_29³·b_1_1 + b_2_8³·b_1_3¹⁷ + b_2_8³·b_1_1¹⁷
       + b_2_8³·b_6_29²·b_1_1⁵ + b_2_8⁴·b_1_3¹⁵ + b_2_8⁴·b_1_1¹⁵
       + b_2_8⁴·b_6_29·b_9_57 + b_2_8⁴·b_6_29·b_1_1⁹ + b_2_8⁵·b_1_3¹³
       + b_2_8⁵·b_6_29²·b_1_1 + b_2_8⁶·b_1_3¹¹ + b_2_8⁶·b_1_1²·b_9_57
       + b_2_8⁶·b_6_29·b_1_1⁵ + b_2_8⁷·b_9_55 + b_2_8⁷·b_1_3⁹ + b_2_8⁷·b_1_1⁹
       + b_2_8⁷·b_6_29·b_1_1³ + b_2_8⁸·b_7_39 + b_2_8⁸·b_1_1⁷ + b_2_8⁸·b_6_29·b_1_1
       + b_2_8¹¹·b_1_3 + b_14_120·a_1_0·b_1_2⁷·b_1_3 + b_14_120·a_1_0·b_1_2⁸
       + a_14_89·b_9_55 + a_14_89·b_1_3²·b_7_39 + a_14_82·b_9_57 + a_14_82·b_9_55
       + a_14_82·b_9_54 + a_14_82·b_1_3²·b_7_39 + a_14_82·b_1_2⁷·b_1_3²
       + a_6_27·b_1_2³·b_1_3¹⁴ + a_6_27·b_1_2⁴·b_1_3⁴·b_9_55
       + a_6_27·b_1_2⁵·b_1_3³·b_9_55 + a_6_27·b_1_2⁵·b_1_3¹² + a_6_27·b_1_2⁸·b_9_55
       + a_6_27·b_1_2⁹·b_1_3⁸ + a_6_27·b_1_2¹⁰·b_1_3⁷ + a_6_27·b_1_2¹¹·b_1_3⁶
       + a_6_27·b_1_2¹²·b_1_3⁵ + a_6_27·b_1_2¹³·b_1_3⁴ + a_6_27·b_1_2¹⁴·b_1_3³
       + a_6_27·b_1_2¹⁵·b_1_3² + a_6_27·b_1_2¹⁶·b_1_3 + a_6_27·b_1_2¹⁷
       + a_6_27·b_14_120·b_1_3³ + a_6_27·b_14_120·b_1_2²·b_1_3 + a_6_23·b_1_3¹⁷
       + a_6_23·b_1_1¹⁷ + a_6_23·b_6_29·b_1_1²·b_9_57 + a_6_23·b_6_29·b_1_1¹¹
       + a_6_23·b_6_29²·b_1_1⁵ + b_2_8·a_1_0·b_1_3²⁰ + b_2_8·a_14_89·b_7_39
       + b_2_8·a_14_82·b_7_39 + b_2_8·a_14_82·b_1_3⁷ + b_2_8·b_6_29·a_14_89·b_1_1
       + b_2_8·a_6_23·b_1_1¹⁵ + b_2_8·a_6_23·b_6_29·b_9_57 + b_2_8·a_6_23·b_6_29·b_1_1⁹
       + b_2_8²·a_1_0·b_1_3¹⁸ + b_2_8²·a_14_82·b_1_3⁵ + b_2_8²·a_6_23·b_1_3¹³
       + b_2_8²·a_6_23·b_1_1¹³ + b_2_8²·a_6_23·b_6_29·b_1_1⁷
       + b_2_8²·a_6_23·b_6_29²·b_1_1 + b_2_8³·a_1_0·b_1_3¹⁶ + b_2_8³·a_14_89·b_1_3³
       + b_2_8³·a_6_23·b_1_3¹¹ + b_2_8³·a_6_23·b_1_1¹¹ + b_2_8⁴·a_1_0·b_1_3¹⁴
       + b_2_8⁴·a_14_89·b_1_1 + b_2_8⁴·a_6_27·b_9_57 + b_2_8⁴·a_6_23·b_1_1⁹
       + b_2_8⁵·a_6_23·b_1_3⁷ + b_2_8⁵·a_6_23·b_1_1⁷ + b_2_8⁵·a_6_23·b_6_29·b_1_1
       + b_2_8⁶·a_1_0·b_1_3·b_9_54 + b_2_8⁶·a_6_23·b_1_3⁵ + b_2_8⁷·a_6_23·b_1_3³
       + b_2_8⁸·a_6_23·b_1_3 + b_2_8¹¹·a_1_0 + a_14_82·a_1_0·b_1_3⁸
       + a_6_23·a_14_82·b_1_3³ + b_2_8·a_1_0²·b_1_3¹⁹ + b_2_8·a_6_23·a_1_0·b_1_3¹⁴
       + b_2_8·a_6_23·a_14_89·b_1_3 + b_2_8·a_6_23·a_14_82·b_1_3
       + b_2_8²·a_14_82·a_1_0·b_1_3⁴ + b_2_8²·a_6_23·a_1_0·b_1_3¹²
       + b_2_8⁴·a_14_89·a_1_0 + b_2_8⁶·a_1_0²·b_9_54 + b_2_8⁶·a_1_0²·b_1_3⁹
       + b_2_8⁷·a_1_0²·b_1_3⁷ + b_2_8⁷·a_6_23·a_1_0·b_1_3² + b_2_8¹⁰·a_1_0²·b_1_3
       + a_1_0³·b_1_3²⁰ + a_14_82·a_1_0²·b_1_3⁷ + a_6_23·a_1_0²·b_1_3¹⁵
       + a_6_23·a_14_89·a_1_0·b_1_3² + b_2_8²·a_14_82·a_1_0²·b_1_3³
       + b_2_8⁶·a_6_23·a_1_0²·b_1_3³ + b_2_8⁷·a_6_23·a_1_0²·b_1_3
       + b_2_8⁹·a_1_0³·b_1_3² + b_2_8¹⁰·a_1_0³ + b_2_8³·a_14_82·a_1_0³
       + c_16_149·b_1_2²·b_1_3⁵ + c_16_149·b_1_2³·b_1_3⁴ + c_16_149·b_1_2⁷
       + c_16_149·b_1_1⁷ + b_6_29·c_16_149·b_1_1 + b_2_8²·c_16_149·b_1_1³
       + b_2_8³·c_16_149·b_1_2 + a_6_23·c_16_149·b_1_1 + b_2_8²·c_16_149·a_1_0²·b_1_3
81. a_14_82² + b_2_8·a_6_23·a_1_0·b_1_3¹⁹ + b_2_8²·a_1_0²·b_1_3²²
       + b_2_8²·a_14_82·a_1_0·b_1_3⁹ + b_2_8³·a_14_82·a_1_0·b_1_3⁷
       + b_2_8³·a_6_23·a_1_0·b_1_3¹⁵ + b_2_8⁴·a_1_0²·b_1_3¹⁸
       + b_2_8⁵·a_6_23·a_1_0·b_1_3¹¹ + b_2_8⁷·a_1_0²·b_1_3¹²
       + b_2_8⁷·a_6_23·a_1_0·b_1_3⁷ + b_2_8⁹·a_1_0²·b_1_3⁸
       + b_2_8¹⁰·a_1_0²·b_1_3⁶ + b_2_8¹²·a_1_0²·b_1_3² + b_2_8¹³·a_1_0²
       + a_14_82·a_1_0²·b_1_3¹² + a_6_23·a_14_82·a_1_0·b_1_3⁷
       + b_2_8·a_6_23·a_14_82·a_1_0·b_1_3⁵ + b_2_8²·a_14_82·a_1_0²·b_1_3⁸
       + b_2_8⁹·a_6_23·a_1_0²·b_1_3² + b_2_8¹⁰·a_6_23·a_1_0²
       + b_2_8¹¹·a_1_0³·b_1_3³ + b_2_8¹²·a_1_0³·b_1_3 + b_2_8⁵·a_14_82·a_1_0³·b_1_3
       + c_16_149·a_1_0²·b_1_3¹⁰ + b_2_8²·c_16_149·a_1_0²·b_1_3⁶
82. a_14_89·b_14_120 + a_14_82·b_1_3⁷·b_7_39 + a_14_82·b_1_2⁴·b_1_3·b_9_55
       + a_14_82·b_14_120 + a_6_27·b_1_2⁹·b_1_3⁴·b_9_55 + a_6_27·b_1_2¹⁰·b_1_3³·b_9_55
       + a_6_27·b_1_2¹¹·b_1_3²·b_9_55 + a_6_27·b_1_2¹²·b_1_3·b_9_55
       + a_6_27·b_14_120·b_1_2·b_1_3⁷ + a_6_27·b_14_120·b_1_2³·b_1_3⁵
       + a_6_27·b_14_120·b_1_2⁵·b_1_3³ + a_6_23·b_6_29²·b_1_1·b_9_57
       + a_6_23·b_6_29²·b_1_1¹⁰ + a_6_23·b_6_29³·b_1_1⁴ + b_2_8·a_6_23·b_1_3²⁰
       + b_2_8·a_6_23·b_6_29·b_14_120 + b_2_8·a_6_23·b_6_29²·b_1_1⁸
       + b_2_8²·a_1_0·b_1_3²³ + b_2_8²·a_14_82·b_1_3¹⁰ + b_2_8²·a_6_23·b_1_3¹⁸
       + b_2_8²·a_6_23·b_6_29·b_1_1¹² + b_2_8²·a_6_23·b_6_29²·b_1_1⁶
       + b_2_8²·a_6_23·b_6_29³ + b_2_8³·a_1_0·b_1_3²¹ + b_2_8³·a_14_89·b_1_3·b_7_39
       + b_2_8³·a_14_82·b_1_3·b_7_39 + b_2_8³·a_6_23·b_6_29·b_1_1¹⁰
       + b_2_8³·a_6_23·b_6_29²·b_1_1⁴ + b_2_8⁴·a_14_82·b_1_3⁶
       + b_2_8⁴·a_6_23·b_1_3¹⁴ + b_2_8⁴·a_6_23·b_1_1¹⁴
       + b_2_8⁴·a_6_23·b_6_29²·b_1_1² + b_2_8⁵·a_6_23·b_1_1¹²
       + b_2_8⁵·a_6_23·b_6_29² + b_2_8⁶·a_1_0·b_1_3¹⁵ + b_2_8⁶·a_14_89·b_1_3²
       + b_2_8⁶·a_14_89·b_1_1² + b_2_8⁶·a_14_82·b_1_3² + b_2_8⁶·a_6_23·b_1_3¹⁰
       + b_2_8⁶·a_6_23·b_1_1·b_9_57 + b_2_8⁶·a_6_23·b_1_1¹⁰ + b_2_8⁷·a_14_89
       + b_2_8⁷·a_14_82 + b_2_8⁷·a_6_23·b_1_3⁸ + b_2_8⁷·a_6_23·b_1_1⁸
       + b_2_8⁸·a_6_23·b_1_3⁶ + b_2_8⁹·a_1_0·b_9_54 + b_2_8⁹·a_1_0·b_1_3⁹
       + b_2_8⁹·a_6_23·b_1_1⁴ + b_2_8¹⁰·a_1_0·b_1_3⁷ + b_2_8¹⁰·a_6_27·b_1_1²
       + b_2_8¹⁰·a_6_23·b_1_1² + b_2_8¹¹·a_1_0·b_1_3⁵ + b_2_8¹²·a_1_0·b_1_3³
       + a_14_82·a_14_89 + a_6_23·a_1_0·b_1_3²¹ + b_2_8²·a_1_0²·b_1_3²²
       + b_2_8²·a_14_82·a_1_0·b_1_3⁹ + b_2_8²·a_6_23·a_1_0·b_1_3¹⁷
       + b_2_8³·a_1_0²·b_1_3²⁰ + b_2_8³·a_6_23·a_14_89·b_1_3²
       + b_2_8⁶·a_1_0²·b_1_3¹⁴ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁹
       + b_2_8⁷·a_6_23·a_1_0·b_1_3⁷ + b_2_8⁸·a_1_0²·b_1_3·b_9_54
       + b_2_8⁸·a_6_23·a_1_0·b_1_3⁵ + b_2_8⁹·a_1_0²·b_1_3⁸
       + b_2_8⁹·a_6_23·a_1_0·b_1_3³ + b_2_8¹⁰·a_1_0²·b_1_3⁶
       + b_2_8¹¹·a_1_0²·b_1_3⁴ + b_2_8¹²·a_1_0²·b_1_3² + b_2_8¹³·a_1_0²
       + a_1_0³·b_1_3²⁵ + a_14_82·a_1_0²·b_1_3¹² + a_6_23·a_14_82·a_1_0·b_1_3⁷
       + b_2_8·a_6_23·a_14_82·a_1_0·b_1_3⁵ + b_2_8²·a_14_82·a_1_0²·b_1_3⁸
       + b_2_8³·a_14_82·a_1_0²·b_1_3⁶ + b_2_8⁵·a_14_82·a_1_0²·b_1_3²
       + b_2_8⁶·a_14_82·a_1_0² + b_2_8⁹·a_6_23·a_1_0²·b_1_3²
       + b_2_8⁵·a_14_82·a_1_0³·b_1_3 + b_2_8²·b_6_29·c_16_149·b_1_1·b_1_3
       + b_2_8⁵·c_16_149·b_1_2·b_1_3 + a_6_27·c_16_149·b_1_2⁵·b_1_3
       + b_2_8²·a_6_23·c_16_149·b_1_1² + b_2_8·c_16_149·a_1_0²·b_1_3⁸
       + b_2_8²·a_6_23·c_16_149·a_1_0·b_1_3 + b_2_8⁴·c_16_149·a_1_0²·b_1_3²
       + b_2_8⁵·c_16_149·a_1_0² + c_16_149·a_1_0³·b_9_54
       + b_2_8³·c_16_149·a_1_0³·b_1_3³
83. b_14_120·b_1_2⁴·b_1_3¹⁰ + b_14_120·b_1_2¹⁰·b_1_3⁴ + b_14_120·b_1_2¹¹·b_1_3³
       + b_14_120·b_1_2¹²·b_1_3² + b_14_120·b_1_2¹³·b_1_3 + b_14_120²
       + b_6_29³·b_1_1·b_9_57 + b_6_29³·b_1_1¹⁰ + b_6_29⁴·b_1_1⁴ + b_2_8·b_1_3²⁶
       + b_2_8·b_6_29²·b_14_120 + b_2_8·b_6_29³·b_1_1⁸ + b_2_8·b_6_29⁴·b_1_1²
       + b_2_8²·b_6_29³·b_1_1⁶ + b_2_8³·b_6_29²·b_1_1¹⁰ + b_2_8⁴·b_1_1²⁰
       + b_2_8⁴·b_6_29²·b_1_1⁸ + b_2_8⁴·b_6_29³·b_1_1² + b_2_8⁵·b_1_3¹⁸
       + b_2_8⁵·b_14_120·b_1_3⁴ + b_2_8⁵·b_6_29·b_1_1¹² + b_2_8⁶·b_6_29·b_1_1·b_9_57
       + b_2_8⁶·b_6_29·b_1_1¹⁰ + b_2_8⁷·b_1_3¹⁴ + b_2_8⁷·b_6_29·b_1_1⁸
       + b_2_8⁷·b_6_29²·b_1_1² + b_2_8⁸·b_1_3¹² + b_2_8⁸·b_6_29² + b_2_8⁹·b_1_3¹⁰
       + b_2_8⁹·b_1_1¹⁰ + b_2_8¹⁰·b_6_29·b_1_1² + b_2_8¹¹·b_1_3⁶ + b_2_8¹¹·b_1_1⁶
       + b_2_8¹²·b_1_3⁴ + b_2_8¹²·b_1_1⁴ + b_2_8¹³·b_1_3² + b_2_8¹³·b_1_1²
       + b_2_8¹⁴ + b_14_120·a_1_0·b_1_2¹³ + a_14_82·b_1_2⁴·b_1_3·b_9_55
       + a_14_82·b_1_2⁵·b_9_55 + a_14_82·b_1_2¹²·b_1_3² + a_14_82·b_1_2¹³·b_1_3
       + a_14_82·b_1_2¹⁴ + a_6_27·b_1_2³·b_1_3¹⁹ + a_6_27·b_1_2⁴·b_1_3¹⁸
       + a_6_27·b_1_2⁵·b_1_3¹⁷ + a_6_27·b_1_2⁶·b_1_3¹⁶ + a_6_27·b_1_2⁹·b_1_3⁴·b_9_55
       + a_6_27·b_1_2¹⁰·b_1_3¹² + a_6_27·b_1_2¹¹·b_1_3²·b_9_55
       + a_6_27·b_1_2¹¹·b_1_3¹¹ + a_6_27·b_1_2¹²·b_1_3·b_9_55
       + a_6_27·b_1_2¹²·b_1_3¹⁰ + a_6_27·b_1_2¹³·b_1_3⁹ + a_6_27·b_1_2¹⁸·b_1_3⁴
       + a_6_27·b_1_2²⁰·b_1_3² + a_6_27·b_1_2²¹·b_1_3 + a_6_27·b_14_120·b_1_2·b_1_3⁷
       + a_6_27·b_14_120·b_1_2²·b_1_3⁶ + a_6_27·b_14_120·b_1_2⁸ + a_6_23·b_1_3²²
       + b_2_8·a_6_23·b_6_29·b_14_120 + b_2_8·a_6_23·b_6_29³·b_1_1²
       + b_2_8²·a_1_0·b_1_3²³ + b_2_8²·a_6_23·b_1_3¹⁸
       + b_2_8²·a_6_23·b_6_29²·b_1_1⁶ + b_2_8²·a_6_23·b_6_29³
       + b_2_8³·a_6_23·b_6_29·b_1_1¹⁰ + b_2_8⁴·b_6_29·a_14_82
       + b_2_8⁴·a_6_23·b_6_29²·b_1_1² + b_2_8⁵·a_6_23·b_1_3¹²
       + b_2_8⁶·a_14_82·b_1_3² + b_2_8⁶·a_6_27·b_1_1·b_9_57 + b_2_8⁶·a_6_23·b_1_3¹⁰
       + b_2_8⁶·a_6_23·b_1_1¹⁰ + b_2_8⁷·a_6_23·b_1_3⁸ + b_2_8⁷·a_6_23·b_6_29·b_1_1²
       + b_2_8⁸·a_1_0·b_1_3¹¹ + b_2_8⁸·a_6_27·b_6_29 + b_2_8⁸·a_6_23·b_1_1⁶
       + b_2_8⁹·a_1_0·b_9_54 + b_2_8⁹·a_6_23·b_1_3⁴ + b_2_8¹⁰·a_6_23·b_1_1²
       + b_2_8¹¹·a_1_0·b_1_3⁵ + b_2_8¹¹·a_6_27 + b_2_8¹¹·a_6_23 + a_14_89²
       + a_14_82·a_1_0·b_1_3¹³ + a_6_23·a_1_0·b_1_3²¹ + b_2_8·a_14_82·a_1_0·b_1_3¹¹
       + b_2_8²·a_14_82·a_1_0·b_1_3⁹ + b_2_8²·a_6_23·a_1_0·b_1_3¹⁷
       + b_2_8³·a_14_82·a_1_0·b_1_3⁷ + b_2_8³·a_6_23·a_1_0·b_1_3¹⁵
       + b_2_8³·a_6_23·a_14_89·b_1_3² + b_2_8⁴·a_1_0²·b_1_3¹⁸
       + b_2_8⁴·a_14_82·a_1_0·b_1_3⁵ + b_2_8⁴·a_6_23·a_1_0·b_1_3¹³
       + b_2_8⁴·a_6_23·a_14_89 + b_2_8⁶·a_1_0²·b_1_3¹⁴ + b_2_8⁶·a_14_82·a_1_0·b_1_3
       + b_2_8⁷·a_6_23·a_1_0·b_1_3⁷ + b_2_8⁸·a_1_0²·b_1_3·b_9_54
       + b_2_8⁸·a_6_23·a_1_0·b_1_3⁵ + b_2_8⁹·a_6_23·a_1_0·b_1_3³
       + b_2_8¹⁰·a_6_23·a_1_0·b_1_3 + b_2_8¹³·a_1_0² + a_14_82·a_1_0²·b_1_3¹²
       + a_6_23·a_1_0²·b_1_3²⁰ + b_2_8³·a_14_82·a_1_0²·b_1_3⁶
       + b_2_8³·a_6_23·a_14_89·a_1_0·b_1_3 + b_2_8³·a_6_23·a_14_82·a_1_0·b_1_3
       + b_2_8⁹·a_6_23·a_1_0²·b_1_3² + b_2_8¹¹·a_1_0³·b_1_3³
       + b_2_8¹²·a_1_0³·b_1_3 + c_16_149·b_1_2²·b_1_3¹⁰ + c_16_149·b_1_2⁴·b_1_3⁸
       + c_16_149·b_1_2¹² + b_6_29·c_16_149·b_1_1⁶ + b_6_29²·c_16_149
       + b_2_8·b_6_29·c_16_149·b_1_1⁴ + b_2_8³·c_16_149·b_1_1⁶
       + b_2_8⁴·c_16_149·b_1_3⁴ + c_16_149·a_1_0·b_1_2⁸·b_1_3³
       + c_16_149·a_1_0·b_1_2¹⁰·b_1_3 + a_6_27·c_16_149·b_1_2⁵·b_1_3
       + a_6_27·c_16_149·b_1_2⁶ + b_2_8·a_6_23·c_16_149·b_1_1⁴
84. a_14_89² + a_14_82·a_14_89 + b_2_8·a_14_82·a_1_0·b_1_3¹¹
       + b_2_8·a_6_23·a_14_82·b_1_3⁶ + b_2_8²·a_14_82·a_1_0·b_1_3⁹
       + b_2_8²·a_6_23·a_1_0·b_1_3¹⁷ + b_2_8²·a_6_23·a_14_82·b_1_3⁴
       + b_2_8³·a_14_82·a_1_0·b_1_3⁷ + b_2_8³·a_6_23·a_1_0·b_1_3¹⁵
       + b_2_8⁴·a_1_0²·b_1_3¹⁸ + b_2_8⁴·a_14_82·a_1_0·b_1_3⁵ + b_2_8⁴·a_6_23·a_14_89
       + b_2_8⁵·a_1_0²·b_1_3¹⁶ + b_2_8⁶·a_1_0²·b_1_3¹⁴ + b_2_8⁶·a_14_82·a_1_0·b_1_3
       + b_2_8⁸·a_1_0²·b_1_3¹⁰ + b_2_8¹⁰·a_1_0²·b_1_3⁶ + b_2_8¹⁰·a_6_23·a_1_0·b_1_3
       + b_2_8¹²·a_1_0²·b_1_3² + b_2_8¹³·a_1_0² + a_14_82·a_1_0²·b_1_3¹²
       + b_2_8·a_14_82·a_1_0²·b_1_3¹⁰ + b_2_8²·a_14_82·a_1_0²·b_1_3⁸
       + b_2_8³·a_14_82·a_1_0²·b_1_3⁶ + b_2_8³·a_6_23·a_14_89·a_1_0·b_1_3
       + b_2_8³·a_6_23·a_14_82·a_1_0·b_1_3 + b_2_8⁴·a_14_89·a_1_0²·b_1_3⁴
       + b_2_8⁹·a_6_23·a_1_0²·b_1_3² + b_2_8¹¹·a_1_0³·b_1_3³
       + b_2_8¹²·a_1_0³·b_1_3 + b_2_8⁵·a_14_82·a_1_0³·b_1_3
       + a_6_23·c_16_149·a_1_0·b_1_3⁵ + b_2_8·a_6_23·c_16_149·a_1_0·b_1_3³
       + b_2_8⁴·c_16_149·a_1_0²·b_1_3² + b_2_8⁵·c_16_149·a_1_0²
       + c_16_149·a_1_0³·b_9_54 + b_2_8·a_6_23·c_16_149·a_1_0²·b_1_3²
       + b_2_8³·c_16_149·a_1_0³·b_1_3³ + b_2_8⁴·c_16_149·a_1_0³·b_1_3
85. a_14_89² + b_2_8²·a_1_0²·b_1_3²² + b_2_8²·a_6_23·a_1_0·b_1_3¹⁷
       + b_2_8³·a_14_82·a_1_0·b_1_3⁷ + b_2_8³·a_6_23·a_1_0·b_1_3¹⁵
       + b_2_8⁵·a_6_23·a_1_0·b_1_3¹¹ + b_2_8⁶·a_1_0²·b_1_3¹⁴
       + b_2_8⁶·a_14_82·a_1_0·b_1_3 + b_2_8⁷·a_6_23·a_1_0·b_1_3⁷
       + b_2_8⁹·a_1_0²·b_1_3⁸ + b_2_8⁹·a_6_23·a_1_0·b_1_3³
       + b_2_8¹⁰·a_1_0²·b_1_3⁶ + b_2_8¹⁰·a_6_23·a_1_0·b_1_3 + b_2_8¹¹·a_1_0²·b_1_3⁴
       + b_2_8¹²·a_1_0²·b_1_3² + b_2_8¹³·a_1_0² + b_2_8·a_14_82·a_1_0²·b_1_3¹⁰
       + b_2_8·a_6_23·a_14_82·a_1_0·b_1_3⁵ + b_2_8²·a_14_82·a_1_0²·b_1_3⁸
       + b_2_8²·a_6_23·a_14_82·a_1_0·b_1_3³ + b_2_8³·a_6_23·a_14_82·a_1_0·b_1_3
       + b_2_8⁴·a_14_89·a_1_0²·b_1_3⁴ + b_2_8⁵·a_14_89·a_1_0²·b_1_3²
       + b_2_8⁵·a_14_82·a_1_0²·b_1_3² + b_2_8¹⁰·a_6_23·a_1_0²
       + b_2_8¹²·a_1_0³·b_1_3 + b_2_8⁵·a_14_82·a_1_0³·b_1_3
       + b_2_8·c_16_149·a_1_0²·b_1_3⁸ + b_2_8²·c_16_149·a_1_0²·b_1_3⁶
       + b_2_8⁴·c_16_149·a_1_0²·b_1_3² + b_2_8⁵·c_16_149·a_1_0²
       + c_16_149·a_1_0³·b_9_54 + a_6_23·c_16_149·a_1_0²·b_1_3⁴
       + b_2_8·a_6_23·c_16_149·a_1_0²·b_1_3² + b_2_8²·a_6_23·c_16_149·a_1_0²
       + b_2_8³·c_16_149·a_1_0³·b_1_3³ + b_2_8⁴·c_16_149·a_1_0³·b_1_3
86. b_14_120·b_1_2⁴·b_1_3¹⁰ + b_14_120·b_1_2¹⁰·b_1_3⁴ + b_14_120·b_1_2¹¹·b_1_3³
       + b_14_120·b_1_2¹²·b_1_3² + b_14_120·b_1_2¹³·b_1_3 + b_14_120²
       + b_6_29³·b_1_1·b_9_57 + b_6_29³·b_1_1¹⁰ + b_6_29⁴·b_1_1⁴ + b_2_8·b_1_3²⁶
       + b_2_8·b_6_29²·b_14_120 + b_2_8·b_6_29³·b_1_1⁸ + b_2_8·b_6_29⁴·b_1_1²
       + b_2_8²·b_6_29³·b_1_1⁶ + b_2_8³·b_6_29²·b_1_1¹⁰ + b_2_8⁴·b_1_1²⁰
       + b_2_8⁴·b_6_29²·b_1_1⁸ + b_2_8⁴·b_6_29³·b_1_1² + b_2_8⁵·b_1_3¹⁸
       + b_2_8⁵·b_14_120·b_1_3⁴ + b_2_8⁵·b_6_29·b_1_1¹² + b_2_8⁶·b_6_29·b_1_1·b_9_57
       + b_2_8⁶·b_6_29·b_1_1¹⁰ + b_2_8⁷·b_1_3¹⁴ + b_2_8⁷·b_6_29·b_1_1⁸
       + b_2_8⁷·b_6_29²·b_1_1² + b_2_8⁸·b_1_3¹² + b_2_8⁸·b_6_29² + b_2_8⁹·b_1_3¹⁰
       + b_2_8⁹·b_1_1¹⁰ + b_2_8¹⁰·b_6_29·b_1_1² + b_2_8¹¹·b_1_3⁶ + b_2_8¹¹·b_1_1⁶
       + b_2_8¹²·b_1_3⁴ + b_2_8¹²·b_1_1⁴ + b_2_8¹³·b_1_3² + b_2_8¹³·b_1_1²
       + b_2_8¹⁴ + b_14_120·a_1_0·b_1_2¹³ + a_14_82·b_1_3⁷·b_7_39
       + a_14_82·b_1_2⁵·b_9_55 + a_14_82·b_1_2¹²·b_1_3² + a_14_82·b_1_2¹³·b_1_3
       + a_14_82·b_1_2¹⁴ + a_14_82·b_14_120 + a_6_27·b_1_2³·b_1_3¹⁹
       + a_6_27·b_1_2⁴·b_1_3¹⁸ + a_6_27·b_1_2⁵·b_1_3¹⁷ + a_6_27·b_1_2⁶·b_1_3¹⁶
       + a_6_27·b_1_2¹⁰·b_1_3³·b_9_55 + a_6_27·b_1_2¹⁰·b_1_3¹²
       + a_6_27·b_1_2¹¹·b_1_3¹¹ + a_6_27·b_1_2¹²·b_1_3¹⁰ + a_6_27·b_1_2¹³·b_1_3⁹
       + a_6_27·b_1_2¹⁸·b_1_3⁴ + a_6_27·b_1_2²⁰·b_1_3² + a_6_27·b_1_2²¹·b_1_3
       + a_6_27·b_14_120·b_1_2²·b_1_3⁶ + a_6_27·b_14_120·b_1_2³·b_1_3⁵
       + a_6_27·b_14_120·b_1_2⁶·b_1_3² + a_6_23·b_1_3²² + a_6_23·b_6_29²·b_1_1·b_9_57
       + b_2_8·a_14_82·b_1_3⁵·b_7_39 + b_2_8·a_14_82·b_1_3¹²
       + b_2_8·a_6_23·b_6_29·b_14_120 + b_2_8·a_6_23·b_6_29²·b_1_1⁸
       + b_2_8²·a_1_0·b_1_3²³ + b_2_8²·a_14_82·b_1_3³·b_7_39
       + b_2_8²·a_14_82·b_1_3¹⁰ + b_2_8²·a_6_23·b_1_3¹⁸ + b_2_8²·a_6_23·b_1_1¹⁸
       + b_2_8²·a_6_23·b_6_29³ + b_2_8³·a_6_23·b_6_29·b_1_1·b_9_57
       + b_2_8⁴·a_14_89·b_1_3⁶ + b_2_8⁴·b_6_29·a_14_89 + b_2_8⁴·a_6_23·b_14_120
       + b_2_8⁴·a_6_23·b_6_29·b_1_1⁸ + b_2_8⁵·a_14_89·b_1_3⁴
       + b_2_8⁵·a_6_23·b_1_1¹² + b_2_8⁶·a_14_89·b_1_3² + b_2_8⁶·a_14_82·b_1_3²
       + b_2_8⁶·a_6_27·b_1_1·b_9_57 + b_2_8⁶·a_6_23·b_1_3¹⁰ + b_2_8⁶·a_6_23·b_1_1¹⁰
       + b_2_8⁶·a_6_23·b_6_29·b_1_1⁴ + b_2_8⁷·a_14_82 + b_2_8⁷·a_6_23·b_1_3⁸
       + b_2_8⁷·a_6_23·b_1_1⁸ + b_2_8⁸·a_1_0·b_1_3¹¹ + b_2_8⁸·a_6_27·b_6_29
       + b_2_8⁸·a_6_23·b_1_3⁶ + b_2_8⁸·a_6_23·b_6_29 + b_2_8⁹·a_1_0·b_9_54
       + b_2_8⁹·a_6_23·b_1_3⁴ + b_2_8¹¹·a_6_23 + b_2_8¹²·a_1_0·b_1_3³ + a_14_89²
       + a_14_82·a_1_0·b_1_3¹³ + a_14_82·a_14_89 + a_6_23·a_1_0·b_1_3²¹
       + b_2_8·a_6_23·a_14_82·b_1_3⁶ + b_2_8²·a_6_23·a_1_0·b_1_3¹⁷
       + b_2_8²·a_6_23·a_14_82·b_1_3⁴ + b_2_8³·a_14_82·a_1_0·b_1_3⁷
       + b_2_8³·a_6_23·a_14_89·b_1_3² + b_2_8⁴·a_1_0²·b_1_3¹⁸
       + b_2_8⁴·a_6_23·a_1_0·b_1_3¹³ + b_2_8⁴·a_6_23·a_14_82
       + b_2_8⁵·a_6_23·a_1_0·b_1_3¹¹ + b_2_8⁶·a_6_23·a_1_0·b_1_3⁹
       + b_2_8⁸·a_1_0²·b_1_3¹⁰ + b_2_8⁹·a_1_0²·b_1_3⁸ + b_2_8¹³·a_1_0²
       + a_6_23·a_1_0²·b_1_3²⁰ + a_6_23·a_14_82·a_1_0·b_1_3⁷
       + b_2_8·a_14_82·a_1_0²·b_1_3¹⁰ + b_2_8³·a_14_82·a_1_0²·b_1_3⁶
       + b_2_8³·a_6_23·a_14_89·a_1_0·b_1_3 + b_2_8³·a_6_23·a_14_82·a_1_0·b_1_3
       + b_2_8⁵·a_14_82·a_1_0²·b_1_3² + b_2_8⁶·a_14_89·a_1_0²
       + b_2_8⁶·a_14_82·a_1_0² + b_2_8⁹·a_6_23·a_1_0²·b_1_3²
       + b_2_8⁵·a_14_82·a_1_0³·b_1_3 + c_16_149·b_1_2²·b_1_3¹⁰
       + c_16_149·b_1_2⁴·b_1_3⁸ + c_16_149·b_1_2¹² + b_6_29·c_16_149·b_1_1⁶
       + b_6_29²·c_16_149 + b_2_8·b_6_29·c_16_149·b_1_1⁴ + b_2_8³·c_16_149·b_1_1⁶
       + b_2_8⁴·c_16_149·b_1_3⁴ + a_6_27·c_16_149·b_1_2·b_1_3⁵
       + a_6_27·c_16_149·b_1_2²·b_1_3⁴ + a_6_23·c_16_149·b_1_1⁶
       + b_2_8²·c_16_149·a_1_0²·b_1_3⁶ + b_2_8³·c_16_149·a_1_0²·b_1_3⁴
       + c_16_149·a_1_0³·b_1_3⁹ + b_2_8⁴·c_16_149·a_1_0³·b_1_3

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 28.
• 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_149, a Duflot regular element of degree 16
  2. b_1_3⁴ + b_1_2²·b_1_3² + b_1_2⁴ + b_1_1³·b_1_3 + b_1_1⁴ + b_2_8·b_1_3²
        + b_2_8², an element of degree 4
  3. b_1_2²·b_1_3⁴ + b_1_2⁴·b_1_3² + b_2_8·b_1_3⁴ + b_2_8²·b_1_3²
        + b_2_8²·b_1_2·b_1_3 + b_2_8²·b_1_1², an element of degree 6
• The Raw Filter Degree Type of that HSOP is [-1, 5, 16, 23].
• 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. b_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. b_2_8 → 0, an element of degree 2
6. a_6_23 → 0, an element of degree 6
7. a_6_27 → 0, an element of degree 6
8. b_6_29 → 0, an element of degree 6
9. b_7_39 → 0, an element of degree 7
10. b_9_54 → 0, an element of degree 9
11. b_9_55 → 0, an element of degree 9
12. b_9_57 → 0, an element of degree 9
13. a_14_82 → 0, an element of degree 14
14. a_14_89 → 0, an element of degree 14
15. b_14_120 → 0, an element of degree 14
16. c_16_149 → 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. b_1_1 → 0, an element of degree 1
3. b_1_2 → c_1_1, an element of degree 1
4. b_1_3 → c_1_2, an element of degree 1
5. b_2_8 → 0, an element of degree 2
6. a_6_23 → 0, an element of degree 6
7. a_6_27 → 0, an element of degree 6
8. b_6_29 → 0, an element of degree 6
9. b_7_39 → 0, an element of degree 7
10. b_9_54 → 0, an element of degree 9
11. b_9_55 → 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² + c_1_0⁴·c_1_1⁵ + c_1_0⁸·c_1_1, an element of degree 9
12. b_9_57 → 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² + c_1_0⁴·c_1_1⁵ + c_1_0⁸·c_1_1, an element of degree 9
13. a_14_82 → 0, an element of degree 14
14. a_14_89 → 0, an element of degree 14
15. b_14_120 → 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⁶ + 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⁸ + 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²
       + 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 14
16. c_16_149 → 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³ + 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² + 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_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¹⁶, 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. b_1_1 → 0, an element of degree 1
3. b_1_2 → 0, an element of degree 1
4. b_1_3 → c_1_1, an element of degree 1
5. b_2_8 → c_1_2², an element of degree 2
6. a_6_23 → 0, an element of degree 6
7. a_6_27 → 0, an element of degree 6
8. b_6_29 → c_1_1²·c_1_2⁴, an element of degree 6
9. b_7_39 → 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, an element of degree 7
10. b_9_54 → 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², an element of degree 9
11. b_9_55 → c_1_1³·c_1_2⁶ + c_1_1⁴·c_1_2⁵ + c_1_1⁵·c_1_2⁴ + c_1_1⁸·c_1_2, an element of degree 9
12. b_9_57 → 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, an element of degree 9
13. a_14_82 → 0, an element of degree 14
14. a_14_89 → 0, an element of degree 14
15. b_14_120 → 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, an element of degree 14
16. c_16_149 → 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_2⁸ + c_1_0⁸·c_1_1⁴·c_1_2⁴
       + c_1_0⁸·c_1_1⁸ + 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. b_1_1 → c_1_1, 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. b_2_8 → c_1_2² + c_1_1·c_1_2, an element of degree 2
6. a_6_23 → 0, an element of degree 6
7. a_6_27 → 0, an element of degree 6
8. b_6_29 → 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 6
9. b_7_39 → 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_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 7
10. b_9_54 → 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_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
11. b_9_55 → c_1_1³·c_1_2⁶ + c_1_1⁴·c_1_2⁵ + c_1_1⁵·c_1_2⁴ + c_1_1⁶·c_1_2³, an element of degree 9
12. b_9_57 → 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_14_82 → 0, an element of degree 14
14. a_14_89 → 0, an element of degree 14
15. b_14_120 → 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_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_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⁵ + 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_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
       + c_1_0⁸·c_1_1⁶ + c_1_0¹⁰·c_1_1⁴ + c_1_0¹²·c_1_1², an element of degree 14
16. c_16_149 → 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⁶ + 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⁶·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_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