David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 931 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 is also known as Syl2(M22), the Sylow 2-subgroup of Mathieu Group M_22.
• The group has 3 minimal generators and exponent 8.
• It is non-abelian.
• It has p-Rank 4.
• Its center has rank 1.
• It has 4 conjugacy classes of maximal elementary abelian subgroups, which are of rank 3, 3, 4 and 4, respectively.

Structure of the cohomology ring

General information

• The cohomology ring is of dimension 4 and depth 2.
• The depth exceeds the Duflot bound, which is 1.
• The Poincaré series is

  t10  −  2·t9  +  2·t8  −  t7  +  t6  +  2·t4  −  t3  +  t2  +  1

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

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

1. b_1_0, an element of degree 1
2. b_1_1, an element of degree 1
3. b_1_2, an element of degree 1
4. b_2_4, an element of degree 2
5. b_2_5, an element of degree 2
6. b_3_8, an element of degree 3
7. b_4_9, an element of degree 4
8. b_4_10, an element of degree 4
9. b_4_13, an element of degree 4
10. b_5_19, an element of degree 5
11. b_5_20, an element of degree 5
12. b_5_21, an element of degree 5
13. b_6_30, an element of degree 6
14. b_6_31, an element of degree 6
15. b_7_41, an element of degree 7
16. b_8_53, an element of degree 8
17. b_8_54, an element of degree 8
18. c_8_55, a Duflot regular element of degree 8

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 16:

1. b_1_0·b_1_1
2. b_1_0·b_1_2
3. b_1_1·b_1_2² + b_1_1²·b_1_2
4. b_1_1·b_1_2² + b_2_4·b_1_2
5. b_1_1·b_1_2² + b_2_5·b_1_1
6. b_2_4·b_1_1·b_1_2
7. b_2_4·b_2_5
8. b_1_0·b_3_8
9. b_1_1·b_1_2·b_3_8
10. b_1_2²·b_3_8 + b_4_9·b_1_2
11. b_4_9·b_1_0
12. b_4_10·b_1_0
13. b_4_10·b_1_1
14. b_4_13·b_1_0
15. b_2_5·b_1_2·b_3_8 + b_2_5·b_4_9
16. b_2_4·b_4_10
17. b_1_2·b_5_19 + b_4_13·b_1_2² + b_4_13·b_1_1·b_1_2 + b_2_5·b_1_2·b_3_8
18. b_1_1·b_5_19 + b_1_1³·b_3_8 + b_4_13·b_1_1·b_1_2 + b_4_13·b_1_1²
19. b_1_0·b_5_20 + b_1_0·b_5_19
20. b_3_8² + b_1_2·b_5_21 + b_1_1·b_5_20 + b_4_13·b_1_1·b_1_2 + b_4_9·b_1_2²
       + b_2_5·b_1_2·b_3_8 + b_2_5·b_4_13 + b_2_5·b_4_10 + b_2_4·b_4_13
21. b_1_0·b_5_21 + b_1_0·b_5_19
22. b_1_2·b_5_20 + b_1_1·b_5_21 + b_1_1³·b_3_8 + b_4_13·b_1_1·b_1_2 + b_4_13·b_1_1²
       + b_4_9·b_1_2² + b_2_4·b_1_1·b_3_8
23. b_1_1·b_1_2·b_5_21 + b_2_5·b_5_20 + b_2_5·b_5_19 + b_2_5·b_4_13·b_1_2
       + b_2_5·b_4_9·b_1_2 + b_2_5²·b_3_8 + b_2_4·b_4_13·b_1_2
24. b_2_5·b_5_20 + b_2_5·b_5_19 + b_2_5·b_4_13·b_1_2 + b_2_5·b_4_9·b_1_2 + b_2_5²·b_3_8
       + b_2_4·b_5_21 + b_2_4·b_5_19 + b_2_4²·b_3_8
25. b_1_1²·b_5_21 + b_1_1⁴·b_3_8 + b_4_13·b_1_1³ + b_2_5·b_5_20 + b_2_5·b_5_19
       + b_2_5·b_4_13·b_1_2 + b_2_5·b_4_9·b_1_2 + b_2_5²·b_3_8 + b_2_4·b_1_1²·b_3_8
       + b_2_4·b_4_13·b_1_2
26. b_6_30·b_1_2 + b_4_13·b_1_2³ + b_2_5·b_5_20 + b_2_5·b_5_19 + b_2_5²·b_3_8
       + b_2_4·b_4_13·b_1_2
27. b_6_30·b_1_0 + b_2_4·b_5_19 + b_2_4·b_1_1²·b_3_8 + b_2_4·b_4_13·b_1_2
       + b_2_4·b_4_13·b_1_1
28. b_1_2²·b_5_21 + b_1_1⁴·b_3_8 + b_6_30·b_1_1 + b_4_13·b_1_1³ + b_4_9·b_3_8
       + b_4_9·b_1_2³ + b_4_9·b_1_1³ + b_2_5·b_5_20 + b_2_5·b_5_19 + b_2_5·b_4_10·b_1_2
       + b_2_5²·b_3_8 + b_2_4·b_5_20 + b_2_4·b_5_19 + b_2_4·b_4_13·b_1_2
29. b_6_31·b_1_2 + b_4_10·b_3_8 + b_4_10·b_1_2³ + b_4_9·b_1_2³ + b_2_5·b_5_21
       + b_2_5·b_5_20 + b_2_5·b_4_13·b_1_2 + b_2_5·b_4_9·b_1_2 + b_2_5²·b_3_8
30. b_6_31·b_1_0 + b_2_5·b_5_19 + b_2_5·b_4_13·b_1_2 + b_2_5²·b_3_8 + b_2_4·b_5_19
       + b_2_4·b_1_1²·b_3_8 + b_2_4·b_4_13·b_1_1
31. b_1_2²·b_5_21 + b_1_1²·b_5_20 + b_6_31·b_1_1 + b_4_9·b_3_8 + b_4_9·b_1_2³
       + b_2_5·b_5_20 + b_2_5·b_5_19 + b_2_5·b_4_10·b_1_2 + b_2_5²·b_3_8 + b_2_4·b_5_20
       + b_2_4·b_5_19 + b_2_4·b_4_9·b_1_1
32. b_4_10·b_1_2·b_3_8 + b_4_9·b_4_10
33. b_4_13·b_1_2⁴ + b_4_10·b_1_2⁴ + b_4_10² + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴
       + b_2_5·b_4_10·b_1_2² + b_2_5·b_4_9·b_1_2² + b_2_5²·b_4_13 + b_2_5²·b_4_10
34. b_2_4·b_1_1·b_5_21 + b_2_4·b_1_1³·b_3_8 + b_2_4·b_4_13·b_1_1² + b_2_4²·b_1_1·b_3_8
35. b_4_13·b_1_2⁴ + b_4_10·b_1_2⁴ + b_4_10² + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴
       + b_2_5·b_6_30 + b_2_5·b_4_13·b_1_2² + b_2_5·b_4_10·b_1_2² + b_2_5·b_4_9·b_1_2²
       + b_2_5²·b_4_10 + b_2_5²·b_4_9
36. b_3_8·b_5_19 + b_6_30·b_1_1² + b_4_13·b_1_2·b_3_8 + b_4_13·b_1_2⁴
       + b_4_13·b_1_1·b_3_8 + b_4_10·b_1_2⁴ + b_4_10² + b_4_9·b_1_2⁴ + b_4_9·b_1_1·b_3_8
       + b_4_9·b_1_1⁴ + b_4_9² + b_2_5·b_1_2·b_5_21 + b_2_5·b_4_10·b_1_2² + b_2_5²·b_4_9
       + b_2_4·b_1_1·b_5_20 + b_2_4·b_4_13·b_1_1² + b_2_4·b_4_9·b_1_1² + b_2_4²·b_4_13
37. b_2_4·b_1_1·b_5_20 + b_2_4·b_1_1³·b_3_8 + b_2_4·b_6_31 + b_2_4·b_6_30
       + b_2_4·b_4_13·b_1_1² + b_2_4·b_4_9·b_1_1² + b_2_4²·b_4_9
38. b_3_8·b_5_19 + b_6_31·b_1_1² + b_4_13·b_1_2·b_3_8 + b_4_13·b_1_2⁴
       + b_4_13·b_1_1·b_3_8 + b_4_10·b_1_2⁴ + b_4_10² + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴
       + b_4_9·b_1_1·b_3_8 + b_2_5·b_1_2·b_5_21 + b_2_5·b_4_10·b_1_2² + b_2_5²·b_4_9
       + b_2_4·b_1_1·b_5_20 + b_2_4·b_1_1³·b_3_8 + b_2_4·b_4_9·b_1_1²
39. b_3_8·b_5_21 + b_3_8·b_5_19 + b_1_2·b_7_41 + b_4_13·b_1_2·b_3_8 + b_4_10·b_1_2·b_3_8
       + b_4_10·b_4_13 + b_4_10² + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴ + b_2_5·b_4_10·b_1_2²
       + b_2_4·b_1_1·b_5_20 + b_2_4²·b_4_13
40. b_1_0·b_7_41 + b_1_0³·b_5_19 + b_2_5·b_1_0·b_5_19
41. b_3_8·b_5_20 + b_3_8·b_5_19 + b_1_1·b_7_41 + b_4_13·b_1_2⁴ + b_4_13·b_1_1⁴
       + b_4_10·b_1_2⁴ + b_4_10² + b_4_9·b_1_2⁴ + b_4_9·b_1_1·b_3_8 + b_4_9·b_4_13
       + b_2_5·b_1_2·b_5_21 + b_2_5·b_4_10·b_1_2² + b_2_5²·b_4_9 + b_2_4·b_4_9·b_1_1²
42. b_4_10·b_5_19 + b_4_10·b_4_13·b_1_2 + b_2_5·b_4_10·b_3_8
43. b_4_9·b_5_19 + b_4_9·b_1_1²·b_3_8 + b_4_9·b_4_13·b_1_2 + b_4_9·b_4_13·b_1_1
       + b_2_5·b_4_9·b_3_8
44. b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8 + b_4_13²·b_1_2 + b_4_13²·b_1_1 + b_4_10·b_5_20
       + b_4_9·b_4_10·b_1_2 + b_2_5·b_4_13·b_3_8
45. b_1_2²·b_7_41 + b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8 + b_4_13²·b_1_2 + b_4_13²·b_1_1
       + b_4_10·b_4_13·b_1_2 + b_4_10²·b_1_2 + b_4_9·b_5_21 + b_4_9·b_1_2⁵
       + b_4_9·b_1_1²·b_3_8 + b_4_9·b_4_13·b_1_1 + b_4_9·b_4_10·b_1_2 + b_4_9²·b_1_2
       + b_2_5·b_4_13·b_3_8 + b_2_5·b_4_10·b_1_2³ + b_2_5·b_4_9·b_3_8 + b_2_4·b_4_9·b_3_8
46. b_1_1·b_1_2·b_7_41 + b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8 + b_4_13²·b_1_2
       + b_4_13²·b_1_1 + b_2_5·b_4_13·b_3_8
47. b_6_30·b_3_8 + b_6_30·b_1_1³ + b_4_13·b_1_1²·b_3_8 + b_4_9·b_5_20 + b_4_9·b_1_1⁵
       + b_4_9·b_4_13·b_1_2 + b_4_9²·b_1_2 + b_4_9²·b_1_1 + b_2_5·b_4_13·b_3_8
       + b_2_5·b_4_9·b_3_8 + b_2_4·b_7_41 + b_2_4·b_1_0²·b_5_19 + b_2_4·b_6_31·b_1_1
       + b_2_4·b_4_9·b_1_1³ + b_2_4²·b_5_20 + b_2_4²·b_5_19 + b_2_4²·b_4_13·b_1_1
48. b_1_1²·b_7_41 + b_6_31·b_3_8 + b_6_30·b_3_8 + b_4_13·b_1_1⁵ + b_4_10·b_5_21
       + b_4_9·b_4_13·b_1_2 + b_4_9·b_4_13·b_1_1 + b_4_9²·b_1_2 + b_2_5·b_7_41
       + b_2_5·b_1_0²·b_5_19 + b_2_5·b_4_9·b_1_2³ + b_2_5²·b_5_19 + b_2_5²·b_4_13·b_1_2
       + b_2_5²·b_4_10·b_1_2 + b_2_5³·b_3_8 + b_2_4·b_4_9·b_3_8 + b_2_4·b_4_9·b_1_1³
49. b_8_53·b_1_2 + b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8 + b_4_13²·b_1_2 + b_4_13²·b_1_1
       + b_4_10·b_5_21 + b_4_9·b_5_21 + b_4_9·b_1_1²·b_3_8 + b_4_9·b_4_13·b_1_2
       + b_4_9·b_4_13·b_1_1 + b_4_9·b_4_10·b_1_2 + b_4_9²·b_1_2 + b_2_5·b_4_10·b_3_8
       + b_2_5·b_4_9·b_3_8 + b_2_5·b_4_9·b_1_2³ + b_2_5²·b_5_21 + b_2_5²·b_5_19
       + b_2_5²·b_4_9·b_1_2 + b_2_4·b_4_9·b_3_8
50. b_8_53·b_1_0 + b_2_5²·b_5_19 + b_2_5²·b_4_13·b_1_2 + b_2_5³·b_3_8 + b_2_4²·b_5_19
       + b_2_4²·b_1_1²·b_3_8 + b_2_4²·b_4_13·b_1_1
51. b_8_53·b_1_1 + b_6_31·b_3_8 + b_6_30·b_3_8 + b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8
       + b_4_13²·b_1_2 + b_4_13²·b_1_1 + b_4_10·b_5_21 + b_4_9·b_5_20 + b_4_9·b_1_1²·b_3_8
       + b_4_9·b_1_1⁵ + b_4_9·b_4_13·b_1_2 + b_4_9²·b_1_1 + b_2_5·b_7_41
       + b_2_5·b_1_0²·b_5_19 + b_2_5·b_4_13·b_3_8 + b_2_5·b_4_9·b_1_2³ + b_2_5²·b_5_19
       + b_2_5²·b_4_13·b_1_2 + b_2_5²·b_4_10·b_1_2 + b_2_5³·b_3_8 + b_2_4·b_6_31·b_1_1
       + b_2_4·b_6_30·b_1_1 + b_2_4·b_4_13·b_3_8 + b_2_4·b_4_9·b_1_1³ + b_2_4²·b_5_20
       + b_2_4²·b_5_19 + b_2_4²·b_4_13·b_1_1 + b_2_4²·b_4_9·b_1_1
52. b_8_54·b_1_2 + b_4_13·b_5_19 + b_4_13·b_1_1²·b_3_8 + b_4_13²·b_1_1
       + b_4_10·b_4_13·b_1_2 + b_2_5·b_4_13·b_3_8 + b_2_5·b_4_10·b_3_8 + b_2_5·b_4_10·b_1_2³
       + b_2_5·b_4_9·b_3_8 + b_2_5·b_4_9·b_1_2³ + b_2_5²·b_5_21 + b_2_5²·b_5_19
       + b_2_5²·b_4_13·b_1_2 + b_2_5²·b_4_10·b_1_2 + b_2_5²·b_4_9·b_1_2
53. b_1_0⁴·b_5_19 + b_8_54·b_1_0 + b_2_5²·b_5_19 + b_2_5²·b_4_13·b_1_2 + b_2_5³·b_3_8
       + b_2_4²·b_5_19 + b_2_4²·b_1_1²·b_3_8 + b_2_4²·b_4_13·b_1_1
54. b_8_54·b_1_1 + b_4_13·b_5_19 + b_4_13²·b_1_2 + b_4_9·b_5_20 + b_4_9·b_1_1⁵
       + b_4_9·b_4_13·b_1_1 + b_4_9²·b_1_2 + b_2_5·b_4_13·b_3_8 + b_2_4·b_6_31·b_1_1
       + b_2_4·b_4_13·b_3_8 + b_2_4·b_4_9·b_1_1³
55. b_4_10·b_6_30 + b_4_10·b_4_13·b_1_2² + b_2_5·b_4_10·b_4_13 + b_2_5·b_4_9·b_4_10
56. b_5_19·b_5_21 + b_5_19² + b_4_13·b_1_2·b_5_21 + b_4_13·b_1_1·b_5_21
       + b_4_13·b_1_1³·b_3_8 + b_4_13²·b_1_2² + b_4_13²·b_1_1² + b_4_10·b_1_2·b_5_21
       + b_4_9·b_1_1·b_5_20 + b_4_9·b_1_1³·b_3_8 + b_4_9·b_6_31 + b_4_9·b_6_30
       + b_4_9·b_4_13·b_1_2² + b_4_9·b_4_13·b_1_1² + b_4_9²·b_1_2² + b_4_9²·b_1_1²
       + b_2_5·b_4_10·b_4_13 + b_2_5·b_4_10² + b_2_5·b_4_9·b_4_10 + b_2_5·b_4_9²
       + b_2_4·b_6_30·b_1_1² + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9·b_1_1⁴
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_6_30 + b_2_4³·b_4_13
       + b_2_4³·b_4_9
57. b_5_19·b_5_21 + b_5_19² + b_4_13·b_1_2·b_5_21 + b_4_13·b_1_1·b_5_21
       + b_4_13·b_1_1³·b_3_8 + b_4_13²·b_1_2² + b_4_13²·b_1_1² + b_2_5·b_1_2·b_7_41
       + b_2_5·b_4_10·b_4_13 + b_2_5·b_4_10² + b_2_5·b_4_9·b_1_2⁴ + b_2_5·b_4_9·b_4_10
       + b_2_5·b_4_9² + b_2_5²·b_4_10·b_1_2² + b_2_4·b_6_30·b_1_1²
       + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9·b_1_1⁴ + b_2_4·b_4_9²
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_6_30 + b_2_4³·b_4_13
       + b_2_4³·b_4_9
58. b_5_19·b_5_20 + b_5_19² + b_6_31·b_1_1·b_3_8 + b_6_30·b_1_1⁴ + b_4_13·b_1_1·b_5_21
       + b_4_13·b_1_1·b_5_20 + b_4_13·b_1_1³·b_3_8 + b_4_13²·b_1_2² + b_4_13²·b_1_1·b_1_2
       + b_4_9·b_1_1·b_5_20 + b_4_9·b_1_1³·b_3_8 + b_4_9·b_1_1⁶ + b_4_9·b_4_13·b_1_2²
       + b_4_9²·b_1_1² + b_2_5·b_4_9² + b_2_5²·b_1_2·b_5_21 + b_2_5²·b_4_9·b_1_2²
       + b_2_5³·b_4_13 + b_2_5³·b_4_10 + b_2_5³·b_4_9 + b_2_4·b_1_1·b_7_41
       + b_2_4·b_6_30·b_1_1² + b_2_4·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_9·b_1_1·b_3_8
       + b_2_4·b_4_9² + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_6_30
       + b_2_4²·b_4_9·b_1_1² + b_2_4³·b_4_13 + b_2_4³·b_4_9
59. b_5_21² + b_5_20² + b_5_19·b_5_20 + b_5_19² + b_3_8·b_7_41 + b_4_13·b_1_1·b_5_20
       + b_4_13·b_1_1³·b_3_8 + b_4_13·b_6_31 + b_4_13²·b_1_2² + b_4_10·b_1_2·b_5_21
       + b_4_10·b_6_31 + b_4_10·b_4_13·b_1_2² + b_4_10²·b_1_2² + b_4_9·b_1_1·b_5_20
       + b_4_9²·b_1_2² + b_2_5·b_4_13² + b_2_5·b_4_10² + b_2_5·b_4_9·b_4_13
       + b_2_5·b_4_9·b_4_10 + b_2_5·b_4_9² + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4²·b_1_1³·b_3_8
       + b_2_4²·b_6_31 + b_2_4²·b_6_30 + b_2_4²·b_4_13·b_1_1² + b_2_4²·b_4_9·b_1_1²
       + b_2_4³·b_4_13 + b_2_4³·b_4_9
60. b_5_21² + b_5_19² + b_4_13·b_1_2·b_5_21 + b_4_13²·b_1_1·b_1_2 + b_4_10·b_1_2·b_5_21
       + b_4_10·b_1_2⁶ + b_4_10²·b_1_2² + b_4_9·b_1_2·b_5_21 + b_4_9·b_1_2⁶
       + b_4_9·b_4_13·b_1_2² + b_4_9·b_4_10·b_1_2² + b_2_5·b_4_13²
       + b_2_5·b_4_9·b_1_2⁴ + b_2_5·b_4_9·b_4_13 + b_2_5·b_4_9² + b_2_5²·b_1_2·b_5_21
       + b_2_5²·b_4_10·b_1_2² + b_2_5³·b_4_13 + b_2_5³·b_4_10 + b_2_5³·b_4_9
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_6_30 + b_2_4²·b_4_13·b_1_1²
       + b_2_4²·b_4_9·b_1_1² + b_2_4³·b_4_13 + b_2_4³·b_4_9 + c_8_55·b_1_2²
61. b_5_20·b_5_21 + b_5_19² + b_6_31·b_1_1·b_3_8 + b_6_30·b_1_1⁴ + b_4_13·b_1_1·b_5_20
       + b_4_13²·b_1_2² + b_4_13²·b_1_1² + b_4_9·b_1_2·b_5_21 + b_4_9·b_1_1·b_5_20
       + b_4_9·b_1_1³·b_3_8 + b_4_9·b_1_1⁶ + b_4_9²·b_1_1² + b_2_5²·b_1_2·b_5_21
       + b_2_5²·b_4_9·b_1_2² + b_2_5³·b_4_13 + b_2_5³·b_4_10 + b_2_5³·b_4_9
       + b_2_4·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_13·b_1_1⁴ + b_2_4·b_4_9·b_1_1·b_3_8
       + b_2_4·b_4_9·b_1_1⁴ + b_2_4·b_4_9·b_4_13 + c_8_55·b_1_1·b_1_2
62. b_5_20² + b_5_19² + b_6_30·b_1_1⁴ + b_4_13·b_1_1·b_5_20 + b_4_13·b_1_1⁶
       + b_4_13²·b_1_2² + b_4_9·b_1_1·b_5_20 + b_4_9·b_1_1³·b_3_8 + b_4_9·b_1_1⁶
       + b_4_9²·b_1_2² + b_2_5²·b_1_2·b_5_21 + b_2_5²·b_4_9·b_1_2² + b_2_5³·b_4_13
       + b_2_5³·b_4_10 + b_2_5³·b_4_9 + b_2_4·b_6_30·b_1_1² + b_2_4·b_4_13·b_1_1·b_3_8
       + b_2_4·b_4_13·b_1_1⁴ + b_2_4·b_4_13² + b_2_4·b_4_9·b_1_1⁴ + c_8_55·b_1_1²
63. b_5_19·b_5_21 + b_5_19² + b_4_13·b_1_2·b_5_21 + b_4_13·b_1_1·b_5_21
       + b_4_13·b_1_1³·b_3_8 + b_4_13²·b_1_2² + b_4_13²·b_1_1² + b_4_10·b_6_31
       + b_4_10²·b_1_2² + b_4_9·b_1_2·b_5_21 + b_4_9·b_4_13·b_1_2² + b_2_5·b_8_53
       + b_2_5·b_4_10·b_4_13 + b_2_5·b_4_9·b_4_10 + b_2_5·b_4_9² + b_2_5²·b_6_31
       + b_2_5²·b_4_10·b_1_2² + b_2_5³·b_4_9 + b_2_4·b_6_30·b_1_1²
       + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9·b_1_1⁴ + b_2_4·b_4_9²
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_6_30 + b_2_4³·b_4_13
       + b_2_4³·b_4_9
64. b_6_31·b_1_1·b_3_8 + b_6_30·b_1_1⁴ + b_4_13·b_1_1³·b_3_8 + b_4_9·b_1_1·b_5_20
       + b_4_9·b_1_1⁶ + b_4_9·b_6_30 + b_4_9·b_4_13·b_1_2² + b_4_9·b_4_13·b_1_1²
       + b_2_5·b_4_9·b_4_13 + b_2_5·b_4_9² + b_2_4·b_8_53 + b_2_4·b_4_13·b_1_1·b_3_8
       + b_2_4·b_4_13·b_1_1⁴ + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9²
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31 + b_2_4²·b_4_13·b_1_1² + b_2_4³·b_4_13
       + b_2_4³·b_4_9
65. b_2_5·b_1_0³·b_5_19 + b_2_5·b_8_54 + b_2_5·b_4_13² + b_2_5·b_4_10·b_4_13
       + b_2_5²·b_1_2·b_5_21 + b_2_5²·b_6_31 + b_2_5²·b_4_9·b_1_2²
66. b_5_19·b_5_20 + b_5_19² + b_4_13·b_1_1·b_5_21 + b_4_13·b_1_1·b_5_20
       + b_4_13²·b_1_2² + b_4_13²·b_1_1·b_1_2 + b_4_9·b_1_1³·b_3_8 + b_4_9·b_6_30
       + b_4_9·b_4_13·b_1_1² + b_4_9²·b_1_1² + b_2_5·b_4_9·b_4_13 + b_2_5²·b_1_2·b_5_21
       + b_2_5²·b_4_9·b_1_2² + b_2_5³·b_4_13 + b_2_5³·b_4_10 + b_2_5³·b_4_9
       + b_2_4·b_1_0³·b_5_19 + b_2_4·b_8_54 + b_2_4·b_6_30·b_1_1²
       + b_2_4·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_13² + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9²
       + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_30 + b_2_4²·b_4_9·b_1_1² + b_2_4³·b_4_13
       + b_2_4³·b_4_9
67. b_5_19² + b_8_54·b_1_0² + b_6_30·b_1_1⁴ + b_4_13²·b_1_2² + b_4_13²·b_1_1²
       + b_4_9·b_1_1³·b_3_8 + b_4_9·b_1_1⁶ + b_4_9²·b_1_1² + b_2_5·b_1_0³·b_5_19
       + b_2_5²·b_1_2·b_5_21 + b_2_5²·b_4_9·b_1_2² + b_2_5³·b_4_13 + b_2_5³·b_4_10
       + b_2_5³·b_4_9 + b_2_4·b_6_30·b_1_1² + b_2_4·b_4_13·b_1_1⁴
       + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4·b_4_9² + b_2_4²·b_1_1³·b_3_8 + b_2_4²·b_6_31
       + b_2_4²·b_6_30 + b_2_4³·b_4_13 + b_2_4³·b_4_9 + c_8_55·b_1_0²
68. b_6_31·b_5_20 + b_6_31·b_5_19 + b_6_30·b_5_20 + b_6_30·b_5_19 + b_6_30·b_1_1⁵
       + b_4_13·b_1_1⁴·b_3_8 + b_4_13·b_1_1⁷ + b_4_13·b_6_31·b_1_1 + b_4_13·b_6_30·b_1_1
       + b_4_13²·b_1_2³ + b_4_13²·b_1_1³ + b_4_10·b_4_13·b_3_8 + b_4_10·b_4_13·b_1_2³
       + b_4_9·b_1_1⁷ + b_4_9·b_4_10·b_3_8 + b_4_9·b_4_10·b_1_2³ + b_4_9²·b_1_2³
       + b_2_5·b_4_13·b_5_21 + b_2_5·b_4_10·b_5_21 + b_2_5·b_4_9·b_5_21 + b_2_5²·b_7_41
       + b_2_5²·b_1_0²·b_5_19 + b_2_5²·b_4_13·b_3_8 + b_2_5²·b_4_9·b_3_8
       + b_2_5²·b_4_9·b_1_2³ + b_2_5³·b_5_19 + b_2_5³·b_4_13·b_1_2 + b_2_5³·b_4_10·b_1_2
       + b_2_5⁴·b_3_8 + b_2_4·b_6_30·b_1_1³ + b_2_4·b_4_13·b_5_21 + b_2_4·b_4_13·b_1_1⁵
       + b_2_4·b_4_13²·b_1_2 + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1²·b_3_8
       + b_2_4·b_4_9·b_1_1⁵ + b_2_4²·b_4_13·b_3_8 + c_8_55·b_1_1³
69. b_6_31·b_5_21 + b_6_31·b_5_19 + b_6_30·b_5_21 + b_6_30·b_5_19 + b_4_10·b_7_41
       + b_4_10·b_4_13·b_3_8 + b_4_10·b_4_13·b_1_2³ + b_4_10²·b_1_2³ + b_4_9·b_4_10·b_3_8
       + b_2_5·b_4_10·b_5_21 + b_2_5·b_4_10·b_1_2⁵ + b_2_5·b_4_10·b_4_13·b_1_2
       + b_2_5·b_4_9·b_1_2⁵ + b_2_5·b_4_9²·b_1_2 + b_2_5²·b_4_13·b_3_8
       + b_2_5²·b_4_13·b_1_2³ + b_2_5²·b_4_10·b_3_8 + b_2_5²·b_4_10·b_1_2³
       + b_2_5²·b_4_9·b_3_8 + b_2_5³·b_5_21 + b_2_5³·b_5_19 + b_2_5³·b_4_13·b_1_2
       + b_2_5³·b_4_9·b_1_2 + b_2_4·b_6_31·b_3_8 + b_2_4·b_6_30·b_1_1³
       + b_2_4·b_4_13·b_1_1²·b_3_8 + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1⁵
       + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_7_41 + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_6_31·b_1_1
       + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_5_20 + b_2_4³·b_5_19 + b_2_4³·b_4_13·b_1_1
       + b_2_5·c_8_55·b_1_2
70. b_6_30·b_5_21 + b_6_30·b_5_19 + b_4_13·b_1_1⁴·b_3_8 + b_4_13·b_6_30·b_1_1
       + b_4_13²·b_1_2³ + b_4_13²·b_1_1³ + b_4_9·b_4_13·b_3_8 + b_4_9·b_4_13·b_1_2³
       + b_4_9·b_4_13·b_1_1³ + b_2_5·b_4_13·b_5_21 + b_2_5·b_4_10·b_4_13·b_1_2
       + b_2_5·b_4_9·b_5_21 + b_2_5·b_4_9·b_4_13·b_1_2 + b_2_5²·b_4_13·b_3_8
       + b_2_5²·b_4_9·b_3_8 + b_2_4·b_6_30·b_1_1³ + b_2_4·b_4_13·b_5_20
       + b_2_4·b_4_13²·b_1_1 + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1⁵
       + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_7_41 + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_6_31·b_1_1
       + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_5_20 + b_2_4³·b_5_19 + b_2_4³·b_4_13·b_1_1
       + b_2_4·c_8_55·b_1_2
71. b_6_30·b_5_21 + b_6_30·b_5_20 + b_4_13²·b_1_2³ + b_4_10·b_1_2⁷
       + b_4_10·b_4_13·b_3_8 + b_4_10²·b_1_2³ + b_4_9·b_7_41 + b_4_9·b_1_2⁷
       + b_4_9·b_6_31·b_1_1 + b_4_9·b_6_30·b_1_1 + b_4_9·b_4_13·b_1_2³
       + b_4_9·b_4_13·b_1_1³ + b_4_9·b_4_10·b_1_2³ + b_4_9²·b_1_1³
       + b_2_5·b_4_13²·b_1_2 + b_2_5·b_4_10·b_5_21 + b_2_5·b_4_10·b_4_13·b_1_2
       + b_2_5·b_4_10²·b_1_2 + b_2_5·b_4_9·b_5_21 + b_2_5·b_4_9·b_1_2⁵
       + b_2_5·b_4_9·b_4_10·b_1_2 + b_2_5²·b_4_10·b_1_2³ + b_2_5²·b_4_9·b_3_8
       + b_2_5²·b_4_9·b_1_2³ + b_2_4·b_6_30·b_1_1³ + b_2_4·b_4_13·b_5_21
       + b_2_4·b_4_13·b_5_20 + b_2_4·b_4_13·b_1_1⁵ + b_2_4·b_4_13²·b_1_2
       + b_2_4·b_4_9·b_1_1²·b_3_8 + b_2_4·b_4_9·b_1_1⁵ + b_2_4·b_4_9·b_4_13·b_1_1
       + b_2_4²·b_7_41 + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_6_30·b_1_1 + b_2_4²·b_4_13·b_3_8
       + b_2_4²·b_4_9·b_3_8 + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_4_9·b_1_1 + c_8_55·b_1_2³
       + b_2_4·c_8_55·b_1_1
72. b_8_53·b_3_8 + b_6_31·b_5_20 + b_6_31·b_5_19 + b_6_30·b_5_21 + b_6_30·b_5_20
       + b_4_13²·b_1_2³ + b_4_10·b_7_41 + b_4_10·b_4_13·b_1_2³ + b_4_10²·b_1_2³
       + b_4_9·b_7_41 + b_4_9·b_1_1⁴·b_3_8 + b_4_9·b_6_30·b_1_1 + b_4_9·b_4_13·b_3_8
       + b_4_9·b_4_13·b_1_1³ + b_4_9·b_4_10·b_3_8 + b_4_9·b_4_10·b_1_2³ + b_4_9²·b_1_1³
       + b_2_5·b_4_13·b_5_21 + b_2_5·b_4_10·b_5_21 + b_2_5·b_4_9·b_4_13·b_1_2
       + b_2_5·b_4_9²·b_1_2 + b_2_5²·b_4_10·b_3_8 + b_2_4·b_6_31·b_3_8
       + b_2_4·b_6_30·b_1_1³ + b_2_4·b_4_13·b_1_1²·b_3_8 + b_2_4·b_4_13²·b_1_2
       + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1²·b_3_8 + b_2_4·b_4_9·b_1_1⁵
       + b_2_4²·b_7_41 + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_6_31·b_1_1 + b_2_4²·b_4_9·b_3_8
       + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_5_20 + b_2_4³·b_5_19 + b_2_4³·b_4_13·b_1_1
73. b_6_31·b_5_19 + b_6_30·b_5_19 + b_4_13·b_6_31·b_1_1 + b_4_13·b_6_30·b_1_1
       + b_4_13²·b_1_2³ + b_4_10·b_4_13·b_3_8 + b_4_10·b_4_13·b_1_2³ + b_4_9·b_6_30·b_1_1
       + b_4_9·b_4_13·b_1_2³ + b_4_9·b_4_13·b_1_1³ + b_4_9²·b_1_1³ + b_2_5·b_8_54·b_1_0
       + b_2_5·b_4_13·b_5_21 + b_2_5·b_4_10·b_5_21 + b_2_5·b_4_9²·b_1_2 + b_2_5²·b_7_41
       + b_2_5²·b_4_13·b_3_8 + b_2_5²·b_4_9·b_1_2³ + b_2_5³·b_5_19 + b_2_5³·b_4_13·b_1_2
       + b_2_5³·b_4_10·b_1_2 + b_2_5⁴·b_3_8 + b_2_4·b_6_30·b_1_1³
       + b_2_4·b_4_13·b_1_1²·b_3_8 + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1⁵
       + b_2_4·b_4_9·b_4_13·b_1_1 + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_6_31·b_1_1
       + b_2_4²·b_4_13·b_3_8 + b_2_4²·b_4_13·b_1_1³ + b_2_4²·b_4_9·b_3_8
       + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_5_20 + b_2_4³·b_5_19 + b_2_4³·b_4_13·b_1_1
       + b_2_4³·b_4_9·b_1_1 + b_2_5·c_8_55·b_1_0
74. b_6_30·b_5_19 + b_6_30·b_1_1⁵ + b_4_13·b_1_1⁴·b_3_8 + b_4_13·b_6_30·b_1_1
       + b_4_13²·b_1_2³ + b_4_9·b_1_1⁴·b_3_8 + b_4_9·b_1_1⁷ + b_4_9·b_6_31·b_1_1
       + b_4_9·b_6_30·b_1_1 + b_4_9·b_4_13·b_1_1³ + b_2_5·b_4_13²·b_1_2
       + b_2_5²·b_4_13·b_3_8 + b_2_5²·b_4_9·b_3_8 + b_2_4·b_8_54·b_1_0 + b_2_4·b_6_31·b_3_8
       + b_2_4·b_4_13·b_5_21 + b_2_4·b_4_13·b_1_1⁵ + b_2_4·b_4_13²·b_1_1
       + b_2_4·b_4_9·b_5_20 + b_2_4·b_4_9·b_1_1⁵ + b_2_4·b_4_9·b_4_13·b_1_1
       + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_7_41 + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_4_13·b_3_8
       + b_2_4²·b_4_13·b_1_1³ + b_2_4³·b_4_9·b_1_1 + b_2_4·c_8_55·b_1_0
75. b_8_54·b_3_8 + b_6_30·b_5_21 + b_6_30·b_5_19 + b_4_13·b_1_1⁴·b_3_8 + b_4_13²·b_3_8
       + b_4_13²·b_1_1³ + b_4_10·b_1_2⁷ + b_4_10²·b_1_2³ + b_4_9·b_7_41 + b_4_9·b_1_2⁷
       + b_4_9·b_1_1⁴·b_3_8 + b_4_9·b_6_31·b_1_1 + b_4_9·b_4_13·b_1_1³
       + b_4_9·b_4_10·b_1_2³ + b_2_5·b_4_10·b_4_13·b_1_2 + b_2_5·b_4_10²·b_1_2
       + b_2_5·b_4_9·b_1_2⁵ + b_2_5·b_4_9·b_4_13·b_1_2 + b_2_5·b_4_9·b_4_10·b_1_2
       + b_2_5·b_4_9²·b_1_2 + b_2_5²·b_7_41 + b_2_5²·b_1_0²·b_5_19
       + b_2_5²·b_4_10·b_1_2³ + b_2_5²·b_4_9·b_3_8 + b_2_5³·b_5_19 + b_2_5³·b_4_13·b_1_2
       + b_2_5³·b_4_10·b_1_2 + b_2_5⁴·b_3_8 + b_2_4·b_6_31·b_3_8 + b_2_4·b_6_30·b_1_1³
       + b_2_4·b_4_13·b_5_21 + b_2_4·b_4_13·b_5_20 + b_2_4·b_4_13·b_1_1²·b_3_8
       + b_2_4·b_4_13²·b_1_2 + b_2_4·b_4_13²·b_1_1 + b_2_4·b_4_9·b_1_1⁵
       + b_2_4·b_4_9·b_4_13·b_1_1 + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_7_41
       + b_2_4²·b_1_0²·b_5_19 + b_2_4²·b_6_31·b_1_1 + b_2_4²·b_4_13·b_3_8
       + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_5_20 + b_2_4³·b_5_19 + b_2_4³·b_4_13·b_1_1
       + c_8_55·b_1_2³
76. b_6_30² + b_4_13·b_1_1⁸ + b_4_13·b_6_30·b_1_1² + b_4_13²·b_1_1⁴
       + b_4_10²·b_1_2⁴ + b_4_10²·b_4_13 + b_4_10³ + b_4_9·b_6_30·b_1_1²
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_13·b_1_1·b_3_8 + b_4_9·b_4_13·b_1_1⁴
       + b_4_9·b_4_10² + b_4_9²·b_1_2⁴ + b_4_9²·b_1_1⁴ + b_4_9²·b_4_10 + b_4_9³
       + b_2_5·b_4_10·b_4_13·b_1_2² + b_2_5·b_4_10²·b_1_2²
       + b_2_5·b_4_9·b_4_13·b_1_2² + b_2_5·b_4_9²·b_1_2² + b_2_5²·b_4_10²
       + b_2_5²·b_4_9·b_4_13 + b_2_5²·b_4_9·b_4_10 + b_2_5²·b_4_9² + b_2_4·b_4_13·b_6_31
       + b_2_4·b_4_13·b_6_30 + b_2_4·b_4_9·b_1_1³·b_3_8 + b_2_4·b_4_9·b_1_1⁶
       + b_2_4·b_4_9·b_6_30 + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_1_0³·b_5_19
       + b_2_4²·b_6_30·b_1_1² + b_2_4²·b_4_13·b_1_1·b_3_8 + b_2_4²·b_4_13²
       + b_2_4²·b_4_9·b_1_1·b_3_8 + b_2_4³·b_6_30 + b_2_4³·b_4_13·b_1_1²
       + b_2_4³·b_4_9·b_1_1² + c_8_55·b_1_1⁴ + b_2_4²·c_8_55
77. b_6_30·b_6_31 + b_6_30² + b_4_10²·b_4_13 + b_4_9·b_1_1·b_7_41 + b_4_9·b_6_30·b_1_1²
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_13·b_1_1⁴ + b_4_9·b_4_10·b_4_13
       + b_4_9²·b_1_2·b_3_8 + b_4_9³ + b_2_5·b_4_13·b_1_2·b_5_21 + b_2_5·b_4_13·b_6_31
       + b_2_5·b_4_13²·b_1_2² + b_2_5·b_4_10·b_4_13·b_1_2² + b_2_5·b_4_9·b_6_31
       + b_2_5·b_4_9·b_4_13·b_1_2² + b_2_5²·b_4_10·b_4_13 + b_2_5²·b_4_9·b_4_13
       + b_2_5²·b_4_9² + b_2_4·b_4_13·b_1_1³·b_3_8 + b_2_4·b_4_13·b_1_1⁶
       + b_2_4·b_4_13·b_6_31 + b_2_4·b_4_13·b_6_30 + b_2_4·b_4_9·b_1_1³·b_3_8
       + b_2_4·b_4_9·b_6_31 + b_2_4²·b_4_9·b_1_1·b_3_8 + b_2_4²·b_4_9·b_1_1⁴
       + b_2_4³·b_1_1³·b_3_8 + b_2_4³·b_6_31 + b_2_4³·b_6_30 + b_2_4⁴·b_4_13
       + b_2_4⁴·b_4_9 + b_2_4·c_8_55·b_1_1²
78. b_4_10·b_1_2·b_7_41 + b_4_10·b_8_53 + b_4_10²·b_4_13 + b_4_10³ + b_4_9·b_1_2·b_7_41
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_10·b_1_2⁴ + b_4_9²·b_1_2·b_3_8
       + b_4_9²·b_1_2⁴ + b_2_5·b_4_13·b_6_31 + b_2_5·b_4_13²·b_1_2²
       + b_2_5·b_4_10·b_4_13·b_1_2² + b_2_5·b_4_9·b_1_2·b_5_21 + b_2_5·b_4_9·b_6_31
       + b_2_5²·b_1_2·b_7_41 + b_2_5²·b_4_13² + b_2_5²·b_4_10·b_4_13
       + b_2_5²·b_4_9·b_1_2⁴ + b_2_5²·b_4_9·b_4_10 + b_2_5³·b_4_10·b_1_2²
79. b_5_21·b_7_41 + b_5_20·b_7_41 + b_6_30·b_6_31 + b_6_30² + b_4_13·b_1_1⁸
       + b_4_13·b_8_53 + b_4_13²·b_1_2·b_3_8 + b_4_13²·b_1_1·b_3_8 + b_4_10·b_1_2·b_7_41
       + b_4_10³ + b_4_9·b_1_2·b_7_41 + b_4_9·b_8_53 + b_4_9·b_6_30·b_1_1²
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_13·b_1_1⁴ + b_4_9·b_4_13² + b_4_9·b_4_10²
       + b_2_5·b_4_13·b_1_2·b_5_21 + b_2_5·b_4_13²·b_1_2² + b_2_5·b_4_10·b_1_2⁶
       + b_2_5·b_4_10²·b_1_2² + b_2_5·b_4_9·b_1_2·b_5_21 + b_2_5·b_4_9·b_1_2⁶
       + b_2_5·b_4_9·b_4_10·b_1_2² + b_2_5²·b_1_2·b_7_41 + b_2_5²·b_4_9·b_4_13
       + b_2_5²·b_4_9² + b_2_5³·b_1_2·b_5_21 + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_10
       + b_2_5⁴·b_4_9 + b_2_4·b_4_13·b_1_1³·b_3_8 + b_2_4·b_4_13·b_6_30
       + b_2_4·b_4_9·b_1_1³·b_3_8 + b_2_4·b_4_9·b_1_1⁶ + b_2_4·b_4_9·b_6_31
       + b_2_4·b_4_9·b_4_13·b_1_1² + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_8_53
       + b_2_4²·b_4_13·b_1_1⁴ + b_2_4²·b_4_9·b_1_1·b_3_8 + b_2_4²·b_4_9·b_4_13
       + b_2_4³·b_1_1³·b_3_8 + b_2_4³·b_6_31 + b_2_4³·b_4_13·b_1_1² + b_2_4⁴·b_4_13
       + b_2_4⁴·b_4_9 + c_8_55·b_1_2·b_3_8 + c_8_55·b_1_1·b_3_8 + c_8_55·b_1_1⁴
       + b_2_5·c_8_55·b_1_2²
80. b_5_19·b_7_41 + b_8_54·b_1_0⁴ + b_6_31² + b_6_30² + b_4_13·b_1_2·b_7_41
       + b_4_13·b_1_1·b_7_41 + b_4_13·b_6_30·b_1_1² + b_4_13²·b_1_1⁴ + b_4_10²·b_4_13
       + b_4_10³ + b_4_9·b_1_2·b_7_41 + b_4_9·b_6_30·b_1_1² + b_4_9·b_4_13·b_1_2·b_3_8
       + b_4_9·b_4_13·b_1_1⁴ + b_4_9·b_4_10·b_4_13 + b_4_9²·b_1_2·b_3_8 + b_4_9²·b_1_2⁴
       + b_4_9²·b_4_13 + b_4_9²·b_4_10 + b_4_9³ + b_2_5·b_4_13·b_6_31
       + b_2_5·b_4_13²·b_1_2² + b_2_5·b_4_10·b_1_2⁶ + b_2_5·b_4_9·b_1_2·b_5_21
       + b_2_5·b_4_9·b_1_2⁶ + b_2_5·b_4_9·b_4_13·b_1_2² + b_2_5²·b_8_53
       + b_2_5²·b_4_13² + b_2_5²·b_4_10·b_1_2⁴ + b_2_5²·b_4_10²
       + b_2_5²·b_4_9·b_4_13 + b_2_5³·b_4_13·b_1_2² + b_2_5⁴·b_4_13
       + b_2_4·b_6_30·b_1_1⁴ + b_2_4·b_4_13²·b_1_1² + b_2_4·b_4_9·b_1_1⁶
       + b_2_4·b_4_9·b_6_31 + b_2_4·b_4_9·b_6_30 + b_2_4·b_4_9·b_4_13·b_1_1²
       + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_6_30·b_1_1² + b_2_4²·b_4_13·b_1_1·b_3_8
       + b_2_4²·b_4_13·b_1_1⁴ + b_2_4²·b_4_13² + b_2_4²·b_4_9·b_1_1·b_3_8
       + b_2_4²·b_4_9·b_4_13 + b_2_4²·b_4_9² + b_2_4³·b_1_1³·b_3_8 + b_2_4³·b_6_31
       + b_2_4³·b_6_30 + b_2_4⁴·b_4_13 + b_2_4⁴·b_4_9 + c_8_55·b_1_0⁴
       + b_2_5·c_8_55·b_1_2² + b_2_5·c_8_55·b_1_0² + b_2_5²·c_8_55
81. b_6_31² + b_6_30·b_1_1⁶ + b_6_30² + b_4_13·b_1_1⁸ + b_4_13·b_6_30·b_1_1²
       + b_4_10²·b_4_13 + b_4_10³ + b_4_9·b_1_2·b_7_41 + b_4_9·b_1_1⁸
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_13·b_1_1·b_3_8 + b_4_9·b_4_10·b_4_13
       + b_4_9²·b_1_2·b_3_8 + b_4_9²·b_1_2⁴ + b_4_9²·b_1_1⁴ + b_4_9²·b_4_13
       + b_4_9²·b_4_10 + b_4_9³ + b_2_5·b_4_13·b_1_2·b_5_21 + b_2_5·b_4_10·b_4_13·b_1_2²
       + b_2_5·b_4_10²·b_1_2² + b_2_5·b_4_9·b_1_2·b_5_21 + b_2_5·b_4_9·b_4_10·b_1_2²
       + b_2_5²·b_1_2·b_7_41 + b_2_5²·b_8_54 + b_2_5²·b_4_10·b_1_2⁴
       + b_2_5²·b_4_10·b_4_13 + b_2_5²·b_4_10² + b_2_5²·b_4_9·b_4_13
       + b_2_5²·b_4_9·b_4_10 + b_2_5²·b_4_9² + b_2_5³·b_1_0·b_5_19
       + b_2_5³·b_4_13·b_1_2² + b_2_5³·b_4_10·b_1_2² + b_2_5³·b_4_9·b_1_2²
       + b_2_5⁴·b_4_10 + b_2_4·b_6_30·b_1_1⁴ + b_2_4·b_4_13·b_1_1⁶ + b_2_4·b_4_13·b_6_31
       + b_2_4·b_4_13·b_6_30 + b_2_4·b_4_9·b_1_1³·b_3_8 + b_2_4·b_4_9·b_1_1⁶
       + b_2_4·b_4_9·b_4_13·b_1_1² + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_4_13²
       + b_2_4²·b_4_9² + c_8_55·b_1_1⁴ + b_2_5²·c_8_55
82. b_5_21·b_7_41 + b_5_20·b_7_41 + b_6_30·b_1_1⁶ + b_6_30·b_6_31 + b_6_30²
       + b_4_13·b_8_53 + b_4_13·b_6_30·b_1_1² + b_4_13²·b_1_2·b_3_8 + b_4_13²·b_1_1·b_3_8
       + b_4_10²·b_4_13 + b_4_9·b_1_1·b_7_41 + b_4_9·b_1_1⁸ + b_4_9·b_6_30·b_1_1²
       + b_4_9·b_4_13·b_1_2·b_3_8 + b_4_9·b_4_13·b_1_1·b_3_8 + b_4_9·b_4_13²
       + b_4_9·b_4_10·b_1_2⁴ + b_4_9·b_4_10·b_4_13 + b_4_9·b_4_10² + b_4_9²·b_1_2⁴
       + b_4_9²·b_1_1⁴ + b_4_9²·b_4_13 + b_4_9²·b_4_10 + b_2_5·b_4_13²·b_1_2²
       + b_2_5·b_4_10·b_1_2⁶ + b_2_5·b_4_9·b_1_2·b_5_21 + b_2_5·b_4_9·b_1_2⁶
       + b_2_5·b_4_9·b_4_13·b_1_2² + b_2_5·b_4_9²·b_1_2² + b_2_5²·b_4_13²
       + b_2_5²·b_4_10² + b_2_5²·b_4_9·b_1_2⁴ + b_2_5²·b_4_9·b_4_13
       + b_2_5²·b_4_9·b_4_10 + b_2_5²·b_4_9² + b_2_5³·b_1_2·b_5_21
       + b_2_5³·b_4_10·b_1_2² + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_10 + b_2_5⁴·b_4_9
       + b_2_4·b_6_30·b_1_1⁴ + b_2_4·b_4_13·b_1_1⁶ + b_2_4·b_4_13²·b_1_1²
       + b_2_4·b_4_9·b_6_31 + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_1_0³·b_5_19 + b_2_4²·b_8_54
       + b_2_4²·b_8_53 + b_2_4²·b_6_30·b_1_1² + b_2_4²·b_4_13·b_1_1⁴
       + b_2_4²·b_4_9·b_4_13 + b_2_4²·b_4_9² + b_2_4³·b_6_31 + b_2_4³·b_6_30
       + b_2_4³·b_4_13·b_1_1² + b_2_4³·b_4_9·b_1_1² + c_8_55·b_1_2·b_3_8
       + c_8_55·b_1_1·b_3_8 + b_2_5·c_8_55·b_1_2²
83. b_5_20·b_7_41 + b_5_19·b_7_41 + b_6_30·b_1_1⁶ + b_4_13·b_1_2·b_7_41
       + b_4_13·b_1_1·b_7_41 + b_4_13·b_8_54 + b_4_13·b_6_30·b_1_1² + b_4_13²·b_1_2·b_3_8
       + b_4_13²·b_1_1⁴ + b_4_13³ + b_4_10·b_4_13² + b_4_9·b_1_2·b_7_41 + b_4_9·b_1_1⁸
       + b_4_9·b_4_13·b_1_1⁴ + b_4_9·b_4_13² + b_4_9²·b_1_2·b_3_8 + b_4_9²·b_1_1⁴
       + b_4_9³ + b_2_5·b_4_13²·b_1_2² + b_2_5·b_4_10·b_1_2⁶
       + b_2_5·b_4_10·b_4_13·b_1_2² + b_2_5·b_4_10²·b_1_2² + b_2_5·b_4_9·b_1_2⁶
       + b_2_5·b_4_9·b_4_10·b_1_2² + b_2_5²·b_1_2·b_7_41 + b_2_5²·b_8_53
       + b_2_5²·b_4_9·b_4_10 + b_2_5²·b_4_9² + b_2_5³·b_1_2·b_5_21 + b_2_5³·b_6_31
       + b_2_5³·b_4_10·b_1_2² + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_10
       + b_2_4·b_4_13·b_1_1³·b_3_8 + b_2_4·b_4_13·b_1_1⁶ + b_2_4·b_4_13·b_6_31
       + b_2_4·b_4_9·b_1_1³·b_3_8 + b_2_4·b_4_9·b_1_1⁶ + b_2_4·b_4_9·b_6_30
       + b_2_4²·b_8_53 + b_2_4²·b_6_30·b_1_1² + b_2_4²·b_4_13·b_1_1·b_3_8
       + b_2_4²·b_4_13² + b_2_4²·b_4_9·b_1_1·b_3_8 + b_2_4²·b_4_9·b_4_13 + b_2_4³·b_6_30
       + b_2_4³·b_4_13·b_1_1² + c_8_55·b_1_1·b_3_8 + b_2_5·c_8_55·b_1_2²
84. b_4_10·b_8_54 + b_4_10·b_4_13² + b_4_10²·b_4_13 + b_2_5·b_4_10²·b_1_2²
       + b_2_5·b_4_9·b_1_2·b_5_21 + b_2_5·b_4_9·b_6_31 + b_2_5·b_4_9·b_4_13·b_1_2²
       + b_2_5·b_4_9·b_4_10·b_1_2² + b_2_5·b_4_9²·b_1_2² + b_2_5²·b_8_53
       + b_2_5²·b_4_10² + b_2_5²·b_4_9·b_4_13 + b_2_5²·b_4_9² + b_2_5³·b_6_31
       + b_2_5³·b_4_10·b_1_2² + b_2_5⁴·b_4_9
85. b_5_21·b_7_41 + b_5_20·b_7_41 + b_6_30·b_6_31 + b_6_30² + b_4_13·b_1_1⁸
       + b_4_13·b_8_53 + b_4_13²·b_1_2·b_3_8 + b_4_13²·b_1_1·b_3_8 + b_4_10²·b_4_13
       + b_4_9·b_1_1·b_7_41 + b_4_9·b_8_54 + b_4_9·b_6_30·b_1_1² + b_4_9·b_4_13·b_1_1·b_3_8
       + b_4_9·b_4_10·b_1_2⁴ + b_4_9·b_4_10² + b_4_9²·b_1_2·b_3_8 + b_4_9²·b_1_2⁴
       + b_4_9²·b_1_1·b_3_8 + b_4_9²·b_4_10 + b_4_9³ + b_2_5·b_4_13²·b_1_2²
       + b_2_5·b_4_10·b_1_2⁶ + b_2_5·b_4_9·b_1_2⁶ + b_2_5·b_4_9·b_6_31
       + b_2_5·b_4_9·b_4_13·b_1_2² + b_2_5²·b_4_13² + b_2_5²·b_4_10²
       + b_2_5²·b_4_9·b_1_2⁴ + b_2_5²·b_4_9·b_4_13 + b_2_5²·b_4_9·b_4_10
       + b_2_5²·b_4_9² + b_2_5³·b_1_2·b_5_21 + b_2_5³·b_4_10·b_1_2² + b_2_5⁴·b_4_13
       + b_2_5⁴·b_4_10 + b_2_5⁴·b_4_9 + b_2_4·b_4_13·b_1_1³·b_3_8 + b_2_4·b_4_13·b_6_30
       + b_2_4·b_4_9·b_1_1⁶ + b_2_4·b_4_9·b_6_31 + b_2_4·b_4_9²·b_1_1² + b_2_4²·b_8_53
       + b_2_4²·b_4_13·b_1_1⁴ + b_2_4²·b_4_9·b_1_1·b_3_8 + b_2_4²·b_4_9²
       + b_2_4³·b_1_1³·b_3_8 + b_2_4³·b_6_31 + b_2_4³·b_4_13·b_1_1² + b_2_4⁴·b_4_13
       + b_2_4⁴·b_4_9 + c_8_55·b_1_2·b_3_8 + c_8_55·b_1_1·b_3_8 + c_8_55·b_1_1⁴
       + b_2_5·c_8_55·b_1_2²
86. b_8_53·b_5_21 + b_8_53·b_5_20 + b_4_13·b_1_1⁹ + b_4_13·b_6_31·b_3_8
       + b_4_13·b_6_30·b_1_1³ + b_4_10·b_4_13²·b_1_2 + b_4_10²·b_1_2⁵ + b_4_10³·b_1_2
       + b_4_9·b_6_30·b_1_1³ + b_4_9·b_4_13·b_5_20 + b_4_9·b_4_13·b_1_1²·b_3_8
       + b_4_9·b_4_13²·b_1_2 + b_4_9·b_4_13²·b_1_1 + b_4_9·b_4_10·b_4_13·b_1_2
       + b_4_9·b_4_10²·b_1_2 + b_4_9²·b_5_20 + b_4_9²·b_1_2⁵ + b_4_9²·b_1_1²·b_3_8
       + b_4_9²·b_4_13·b_1_2 + b_4_9²·b_4_13·b_1_1 + b_4_9²·b_4_10·b_1_2 + b_4_9³·b_1_1
       + b_2_5·b_4_10·b_7_41 + b_2_5·b_4_10·b_1_2⁷ + b_2_5·b_4_10·b_4_13·b_1_2³
       + b_2_5·b_4_10²·b_1_2³ + b_2_5·b_4_9·b_1_2⁷ + b_2_5·b_4_9·b_4_13·b_3_8
       + b_2_5·b_4_9·b_4_13·b_1_2³ + b_2_5·b_4_9²·b_3_8 + b_2_5·b_4_9²·b_1_2³
       + b_2_5²·b_4_13·b_5_21 + b_2_5²·b_4_13²·b_1_2 + b_2_5²·b_4_10·b_1_2⁵
       + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_9·b_4_10·b_1_2 + b_2_5³·b_7_41
       + b_2_5³·b_1_0²·b_5_19 + b_2_5³·b_4_13·b_3_8 + b_2_5³·b_4_13·b_1_2³
       + b_2_5³·b_4_10·b_3_8 + b_2_5⁴·b_5_21 + b_2_5⁴·b_4_10·b_1_2 + b_2_5⁴·b_4_9·b_1_2
       + b_2_5⁵·b_3_8 + b_2_4·b_6_30·b_1_1⁵ + b_2_4·b_4_13·b_6_30·b_1_1
       + b_2_4·b_4_13²·b_3_8 + b_2_4·b_4_9·b_6_31·b_1_1 + b_2_4·b_4_9·b_4_13·b_1_1³
       + b_2_4·b_4_9²·b_1_1³ + b_2_4²·b_4_13·b_1_1²·b_3_8 + b_2_4²·b_4_13·b_1_1⁵
       + b_2_4²·b_4_9·b_1_1²·b_3_8 + b_2_4²·b_4_9·b_4_13·b_1_1 + b_2_4³·b_7_41
       + b_2_4³·b_1_0²·b_5_19 + b_2_4³·b_6_31·b_1_1 + b_2_4³·b_6_30·b_1_1
       + b_2_4³·b_4_13·b_3_8 + b_2_4³·b_4_13·b_1_1³ + b_2_4⁴·b_5_20 + b_2_4⁴·b_5_19
       + b_2_4⁴·b_4_13·b_1_1 + c_8_55·b_1_1²·b_3_8 + c_8_55·b_1_1⁵ + b_4_10·c_8_55·b_1_2
       + b_4_9·c_8_55·b_1_2 + b_4_9·c_8_55·b_1_1 + b_2_5·c_8_55·b_1_2³
       + b_2_5²·c_8_55·b_1_2 + b_2_4²·c_8_55·b_1_1
87. b_8_53·b_5_21 + b_8_53·b_5_19 + b_4_10·b_4_13·b_5_20 + b_4_10·b_4_13²·b_1_2
       + b_4_10²·b_1_2⁵ + b_4_10³·b_1_2 + b_4_9·b_4_13·b_5_21 + b_4_9·b_4_13·b_1_1²·b_3_8
       + b_4_9·b_4_13²·b_1_1 + b_4_9·b_4_10·b_5_21 + b_4_9·b_4_10·b_4_13·b_1_2
       + b_4_9·b_4_10²·b_1_2 + b_4_9²·b_5_21 + b_4_9²·b_1_2⁵ + b_4_9²·b_1_1²·b_3_8
       + b_4_9²·b_4_13·b_1_2 + b_4_9²·b_4_13·b_1_1 + b_2_5·b_4_13·b_7_41
       + b_2_5·b_4_10·b_4_13·b_3_8 + b_2_5·b_4_10·b_4_13·b_1_2³ + b_2_5·b_4_10²·b_1_2³
       + b_2_5·b_4_9·b_4_13·b_3_8 + b_2_5·b_4_9·b_4_13·b_1_2³ + b_2_5·b_4_9·b_4_10·b_3_8
       + b_2_5·b_4_9·b_4_10·b_1_2³ + b_2_5·b_4_9²·b_1_2³ + b_2_5²·b_4_10·b_5_21
       + b_2_5²·b_4_10·b_1_2⁵ + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_10²·b_1_2
       + b_2_5²·b_4_9·b_5_21 + b_2_5²·b_4_9·b_1_2⁵ + b_2_5²·b_4_9²·b_1_2
       + b_2_5³·b_4_13·b_1_2³ + b_2_5³·b_4_10·b_1_2³ + b_2_5⁴·b_5_21 + b_2_5⁴·b_5_19
       + b_2_5⁴·b_4_13·b_1_2 + b_2_5⁴·b_4_9·b_1_2 + b_2_4·b_6_30·b_1_1⁵
       + b_2_4·b_4_13·b_1_1⁷ + b_2_4·b_4_13·b_6_31·b_1_1 + b_2_4·b_4_9·b_7_41
       + b_2_4·b_4_9·b_1_1⁷ + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1³
       + b_2_4²·b_6_31·b_3_8 + b_2_4²·b_6_30·b_1_1³ + b_2_4²·b_4_13·b_5_20
       + b_2_4²·b_4_13·b_1_1⁵ + b_2_4²·b_4_9·b_1_1²·b_3_8 + b_2_4²·b_4_9·b_1_1⁵
       + b_2_4²·b_4_9·b_4_13·b_1_1 + b_2_4²·b_4_9²·b_1_1 + b_2_4³·b_4_9·b_3_8
       + b_4_10·c_8_55·b_1_2 + b_4_9·c_8_55·b_1_2 + b_2_5²·c_8_55·b_1_2
       + b_2_4·c_8_55·b_1_1³
88. b_8_54·b_5_21 + b_8_54·b_5_20 + b_4_13·b_6_31·b_3_8 + b_4_13·b_6_30·b_1_1³
       + b_4_13²·b_5_21 + b_4_13²·b_5_20 + b_4_13²·b_1_1²·b_3_8 + b_4_10·b_4_13·b_5_20
       + b_4_9·b_6_31·b_3_8 + b_4_9·b_4_10·b_5_21 + b_4_9²·b_4_13·b_1_2
       + b_4_9²·b_4_13·b_1_1 + b_4_9³·b_1_2 + b_2_5·b_4_13·b_7_41 + b_2_5·b_4_13²·b_3_8
       + b_2_5·b_4_10·b_7_41 + b_2_5·b_4_10·b_1_2⁷ + b_2_5·b_4_9·b_7_41
       + b_2_5·b_4_9·b_1_2⁷ + b_2_5·b_4_9·b_4_13·b_1_2³ + b_2_5·b_4_9·b_4_10·b_3_8
       + b_2_5·b_4_9·b_4_10·b_1_2³ + b_2_5²·b_4_13²·b_1_2 + b_2_5²·b_4_10·b_1_2⁵
       + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_10²·b_1_2 + b_2_5²·b_4_9·b_4_13·b_1_2
       + b_2_5²·b_4_9·b_4_10·b_1_2 + b_2_5³·b_7_41 + b_2_5³·b_1_0²·b_5_19
       + b_2_5³·b_4_13·b_1_2³ + b_2_5³·b_4_10·b_3_8 + b_2_5⁴·b_5_21
       + b_2_5⁴·b_4_10·b_1_2 + b_2_5⁴·b_4_9·b_1_2 + b_2_5⁵·b_3_8 + b_2_4·b_6_30·b_1_1⁵
       + b_2_4·b_4_13·b_1_1⁷ + b_2_4·b_4_13·b_6_30·b_1_1 + b_2_4·b_4_13²·b_1_1³
       + b_2_4·b_4_9·b_7_41 + b_2_4·b_4_9·b_1_1⁷ + b_2_4·b_4_9·b_6_30·b_1_1
       + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1³ + b_2_4·b_4_9²·b_3_8
       + b_2_4·b_4_9²·b_1_1³ + b_2_4²·b_6_31·b_3_8 + b_2_4²·b_6_30·b_1_1³
       + b_2_4²·b_4_13·b_5_20 + b_2_4²·b_4_13·b_1_1²·b_3_8 + b_2_4²·b_4_9·b_1_1²·b_3_8
       + b_2_4²·b_4_9·b_1_1⁵ + b_2_4³·b_6_31·b_1_1 + b_2_4³·b_6_30·b_1_1
       + b_2_4³·b_4_9·b_3_8 + b_2_4⁴·b_5_20 + b_2_4⁴·b_5_19 + b_2_4⁴·b_4_13·b_1_1
       + b_2_4⁴·b_4_9·b_1_1 + b_4_9·c_8_55·b_1_1 + b_2_5·c_8_55·b_1_2³
       + b_2_5²·c_8_55·b_1_2 + b_2_4·c_8_55·b_1_1³ + b_2_4²·c_8_55·b_1_1
89. b_8_54·b_5_21 + b_8_54·b_5_19 + b_4_13²·b_5_21 + b_4_13²·b_1_1²·b_3_8
       + b_4_13³·b_1_2 + b_4_13³·b_1_1 + b_4_10·b_4_13·b_5_21 + b_4_10·b_4_13·b_5_20
       + b_4_10·b_4_13²·b_1_2 + b_4_9·b_4_10·b_4_13·b_1_2 + b_2_5·b_4_13²·b_3_8
       + b_2_5·b_4_10·b_7_41 + b_2_5·b_4_10·b_1_2⁷ + b_2_5·b_4_10·b_4_13·b_1_2³
       + b_2_5·b_4_9·b_1_2⁷ + b_2_5·b_4_9·b_4_13·b_3_8 + b_2_5·b_4_9·b_4_13·b_1_2³
       + b_2_5²·b_4_13·b_5_21 + b_2_5²·b_4_13²·b_1_2 + b_2_5²·b_4_10·b_5_21
       + b_2_5²·b_4_10·b_1_2⁵ + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_10²·b_1_2
       + b_2_5²·b_4_9·b_4_10·b_1_2 + b_2_5²·b_4_9²·b_1_2 + b_2_5³·b_4_13·b_1_2³
       + b_2_5³·b_4_10·b_3_8 + b_2_5³·b_4_9·b_1_2³ + b_2_5⁴·b_5_21 + b_2_5⁴·b_5_19
       + b_2_5⁴·b_4_13·b_1_2 + b_2_5⁴·b_4_9·b_1_2 + b_2_4·b_4_13·b_6_30·b_1_1
       + b_2_4·b_4_9·b_7_41 + b_2_4·b_4_9·b_6_31·b_1_1 + b_2_4·b_4_9·b_6_30·b_1_1
       + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1³ + b_2_4·b_4_9²·b_3_8
       + b_2_4·b_4_9²·b_1_1³ + b_2_4²·b_6_31·b_3_8 + b_2_4²·b_4_13²·b_1_1
       + b_2_4²·b_4_9·b_1_1²·b_3_8 + b_2_5·c_8_55·b_1_2³ + b_2_5²·c_8_55·b_1_2
90. b_8_54·b_5_21 + b_8_54·b_1_0⁵ + b_8_53·b_5_21 + b_6_31·b_7_41 + b_6_30·b_7_41
       + b_4_13·b_1_1⁹ + b_4_13·b_6_30·b_1_1³ + b_4_13²·b_5_21 + b_4_10·b_4_13·b_5_21
       + b_4_10·b_4_13·b_5_20 + b_4_10·b_4_13²·b_1_2 + b_4_10³·b_1_2 + b_4_9·b_6_31·b_3_8
       + b_4_9·b_6_30·b_1_1³ + b_4_9·b_4_13·b_5_20 + b_4_9·b_4_13·b_1_1²·b_3_8
       + b_4_9·b_4_10·b_5_21 + b_4_9·b_4_10·b_1_2⁵ + b_4_9·b_4_10·b_4_13·b_1_2
       + b_4_9·b_4_10²·b_1_2 + b_4_9²·b_5_20 + b_4_9²·b_1_2⁵ + b_4_9²·b_4_13·b_1_1
       + b_4_9³·b_1_1 + b_2_5·b_4_13²·b_3_8 + b_2_5·b_4_10·b_4_13·b_1_2³
       + b_2_5·b_4_10²·b_1_2³ + b_2_5·b_4_9·b_4_13·b_3_8 + b_2_5·b_4_9·b_4_13·b_1_2³
       + b_2_5·b_4_9·b_4_10·b_3_8 + b_2_5·b_4_9·b_4_10·b_1_2³ + b_2_5·b_4_9²·b_3_8
       + b_2_5²·b_4_13·b_5_21 + b_2_5²·b_4_10·b_5_21 + b_2_5²·b_4_10·b_4_13·b_1_2
       + b_2_5²·b_4_10²·b_1_2 + b_2_5²·b_4_9·b_5_21 + b_2_5²·b_4_9·b_4_13·b_1_2
       + b_2_5²·b_4_9²·b_1_2 + b_2_5³·b_7_41 + b_2_5³·b_1_0²·b_5_19
       + b_2_5³·b_4_10·b_3_8 + b_2_5³·b_4_9·b_3_8 + b_2_5³·b_4_9·b_1_2³
       + b_2_5⁴·b_4_10·b_1_2 + b_2_4·b_4_13·b_1_1⁷ + b_2_4·b_4_13²·b_3_8
       + b_2_4·b_4_9·b_1_1⁷ + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9²·b_3_8
       + b_2_4²·b_6_31·b_3_8 + b_2_4²·b_6_30·b_1_1³ + b_2_4²·b_4_13·b_5_20
       + b_2_4²·b_4_13·b_1_1⁵ + b_2_4²·b_4_9·b_5_20 + b_2_4²·b_4_9·b_1_1⁵
       + b_2_4²·b_4_9·b_4_13·b_1_1 + b_2_4²·b_4_9²·b_1_1 + b_2_4³·b_7_41
       + b_2_4³·b_1_0²·b_5_19 + b_2_4³·b_4_13·b_3_8 + b_2_4³·b_4_13·b_1_1³
       + b_2_4³·b_4_9·b_3_8 + b_2_4⁴·b_4_9·b_1_1 + c_8_55·b_1_1²·b_3_8 + c_8_55·b_1_1⁵
       + c_8_55·b_1_0⁵ + b_4_9·c_8_55·b_1_2 + b_2_5·c_8_55·b_3_8 + b_2_5·c_8_55·b_1_0³
       + b_2_5²·c_8_55·b_1_0 + b_2_4·c_8_55·b_1_1³
91. b_6_31·b_7_41 + b_6_30·b_7_41 + b_4_13·b_1_1⁹ + b_4_13·b_6_31·b_3_8
       + b_4_13·b_6_30·b_1_1³ + b_4_10²·b_1_2⁵ + b_4_9·b_6_31·b_3_8
       + b_4_9·b_6_30·b_1_1³ + b_4_9·b_4_13²·b_1_2 + b_4_9·b_4_13²·b_1_1
       + b_4_9·b_4_10·b_1_2⁵ + b_4_9·b_4_10·b_4_13·b_1_2 + b_4_9²·b_5_21
       + b_4_9²·b_4_13·b_1_1 + b_4_9³·b_1_2 + b_4_9³·b_1_1 + b_2_5·b_8_54·b_1_0³
       + b_2_5·b_4_13²·b_3_8 + b_2_5·b_4_9·b_4_13·b_3_8 + b_2_5·b_4_9·b_4_10·b_1_2³
       + b_2_5·b_4_9²·b_3_8 + b_2_5²·b_4_10·b_5_21 + b_2_5²·b_4_9·b_5_21
       + b_2_5²·b_4_9·b_4_13·b_1_2 + b_2_5²·b_4_9²·b_1_2 + b_2_5³·b_7_41
       + b_2_5³·b_4_13·b_3_8 + b_2_5³·b_4_10·b_3_8 + b_2_5³·b_4_9·b_3_8
       + b_2_5³·b_4_9·b_1_2³ + b_2_5⁴·b_4_10·b_1_2 + b_2_4·b_6_30·b_1_1⁵
       + b_2_4·b_4_13·b_7_41 + b_2_4·b_4_13·b_6_31·b_1_1 + b_2_4·b_4_13·b_6_30·b_1_1
       + b_2_4·b_4_13²·b_3_8 + b_2_4·b_4_13²·b_1_1³ + b_2_4·b_4_9²·b_3_8
       + b_2_4²·b_6_31·b_3_8 + b_2_4²·b_6_30·b_1_1³ + b_2_4²·b_4_13·b_5_20
       + b_2_4²·b_4_9·b_5_20 + b_2_4²·b_4_9·b_1_1²·b_3_8 + b_2_4²·b_4_9·b_1_1⁵
       + b_2_4³·b_7_41 + b_2_4³·b_1_0²·b_5_19 + b_2_4³·b_6_31·b_1_1 + b_2_4³·b_4_9·b_3_8
       + b_2_4³·b_4_9·b_1_1³ + b_2_4⁴·b_5_20 + b_2_4⁴·b_5_19 + b_2_4⁴·b_4_13·b_1_1
       + c_8_55·b_1_1²·b_3_8 + c_8_55·b_1_1⁵ + b_4_10·c_8_55·b_1_2 + b_2_5·c_8_55·b_3_8
       + b_2_5·c_8_55·b_1_0³ + b_2_5²·c_8_55·b_1_0
92. b_6_30·b_7_41 + b_4_13·b_6_30·b_1_1³ + b_4_10·b_4_13·b_5_20 + b_4_10·b_4_13²·b_1_2
       + b_4_10²·b_4_13·b_1_2 + b_4_9·b_4_13·b_5_21 + b_4_9·b_4_13·b_1_1⁵
       + b_4_9·b_4_13²·b_1_1 + b_4_9·b_4_10·b_1_2⁵ + b_4_9·b_4_10²·b_1_2 + b_4_9²·b_5_20
       + b_4_9²·b_1_2⁵ + b_4_9²·b_1_1²·b_3_8 + b_4_9²·b_4_13·b_1_2
       + b_4_9²·b_4_13·b_1_1 + b_4_9³·b_1_1 + b_2_5·b_4_13·b_7_41
       + b_2_5·b_4_10·b_4_13·b_1_2³ + b_2_5·b_4_9·b_7_41 + b_2_5·b_4_9·b_4_13·b_3_8
       + b_2_5·b_4_9·b_4_10·b_1_2³ + b_2_5·b_4_9²·b_1_2³ + b_2_5²·b_4_9·b_4_13·b_1_2
       + b_2_5²·b_4_9·b_4_10·b_1_2 + b_2_4·b_8_54·b_1_0³ + b_2_4·b_4_13·b_7_41
       + b_2_4·b_4_13·b_6_31·b_1_1 + b_2_4·b_4_13·b_6_30·b_1_1 + b_2_4·b_4_9·b_6_31·b_1_1
       + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1³ + b_2_4²·b_6_31·b_3_8
       + b_2_4²·b_6_30·b_1_1³ + b_2_4²·b_4_13·b_1_1²·b_3_8 + b_2_4²·b_4_13²·b_1_1
       + b_2_4²·b_4_9·b_5_20 + b_2_4²·b_4_9·b_1_1²·b_3_8 + b_2_4²·b_4_9·b_1_1⁵
       + b_2_4³·b_6_31·b_1_1 + b_2_4³·b_4_13·b_3_8 + b_2_4³·b_4_13·b_1_1³
       + b_2_4³·b_4_9·b_1_1³ + b_2_4⁴·b_5_20 + b_2_4⁴·b_5_19 + b_2_4⁴·b_4_13·b_1_1
       + b_2_4⁴·b_4_9·b_1_1 + b_4_9·c_8_55·b_1_1 + b_2_4·c_8_55·b_3_8 + b_2_4·c_8_55·b_1_0³
93. b_8_53·b_5_21 + b_4_13·b_6_31·b_3_8 + b_4_13·b_6_30·b_1_1³ + b_4_13²·b_1_1²·b_3_8
       + b_4_10·b_4_13·b_5_20 + b_4_10·b_4_13²·b_1_2 + b_4_10²·b_1_2⁵ + b_4_10³·b_1_2
       + b_4_9·b_6_31·b_3_8 + b_4_9·b_6_30·b_1_1³ + b_4_9·b_4_13·b_1_1²·b_3_8
       + b_4_9·b_4_13·b_1_1⁵ + b_4_9·b_4_13²·b_1_2 + b_4_9·b_4_10²·b_1_2 + b_4_9²·b_5_21
       + b_4_9²·b_1_2⁵ + b_4_9²·b_1_1²·b_3_8 + b_4_9²·b_1_1⁵ + b_4_9²·b_4_13·b_1_2
       + b_4_9²·b_4_13·b_1_1 + b_4_9³·b_1_2 + b_2_5·b_4_10·b_7_41 + b_2_5·b_4_10·b_1_2⁷
       + b_2_5·b_4_10·b_4_13·b_1_2³ + b_2_5·b_4_10²·b_1_2³ + b_2_5·b_4_9·b_7_41
       + b_2_5·b_4_9·b_1_2⁷ + b_2_5·b_4_9·b_4_13·b_3_8 + b_2_5·b_4_9·b_4_13·b_1_2³
       + b_2_5·b_4_9·b_4_10·b_3_8 + b_2_5·b_4_9²·b_3_8 + b_2_5·b_4_9²·b_1_2³
       + b_2_5²·b_8_54·b_1_0 + b_2_5²·b_4_13·b_5_21 + b_2_5²·b_4_13²·b_1_2
       + b_2_5²·b_4_10·b_1_2⁵ + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_9·b_5_21
       + b_2_5²·b_4_9·b_4_13·b_1_2 + b_2_5²·b_4_9²·b_1_2 + b_2_5³·b_7_41
       + b_2_5³·b_4_13·b_3_8 + b_2_5³·b_4_13·b_1_2³ + b_2_5³·b_4_10·b_3_8
       + b_2_5³·b_4_9·b_3_8 + b_2_5⁴·b_5_21 + b_2_5⁴·b_4_10·b_1_2 + b_2_5⁴·b_4_9·b_1_2
       + b_2_5⁵·b_3_8 + b_2_4·b_4_13·b_7_41 + b_2_4·b_4_13·b_1_1⁷
       + b_2_4·b_4_13·b_6_30·b_1_1 + b_2_4·b_4_13²·b_3_8 + b_2_4·b_4_13²·b_1_1³
       + b_2_4·b_4_9·b_6_31·b_1_1 + b_2_4·b_4_9·b_4_13·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1³
       + b_2_4·b_4_9²·b_3_8 + b_2_4·b_4_9²·b_1_1³ + b_2_4²·b_8_54·b_1_0
       + b_2_4²·b_6_30·b_1_1³ + b_2_4²·b_4_13·b_5_20 + b_2_4²·b_4_13·b_1_1²·b_3_8
       + b_2_4²·b_4_9·b_4_13·b_1_1 + b_2_4²·b_4_9²·b_1_1 + b_2_4³·b_7_41
       + b_2_4³·b_1_0²·b_5_19 + b_2_4³·b_4_13·b_1_1³ + b_2_4³·b_4_9·b_3_8
       + b_2_4⁴·b_4_9·b_1_1 + b_4_10·c_8_55·b_1_2 + b_4_9·c_8_55·b_1_2
       + b_2_5·c_8_55·b_1_2³ + b_2_5²·c_8_55·b_1_2 + b_2_5²·c_8_55·b_1_0
       + b_2_4·c_8_55·b_1_1³ + b_2_4²·c_8_55·b_1_0
94. b_7_41² + b_8_54·b_1_0⁶ + b_4_13·b_1_1¹⁰ + b_4_13²·b_1_2·b_5_21
       + b_4_13²·b_1_1³·b_3_8 + b_4_13²·b_1_1⁶ + b_4_13³·b_1_1·b_1_2 + b_4_10³·b_1_2²
       + b_4_9·b_6_30·b_1_1⁴ + b_4_9·b_4_13·b_1_1⁶ + b_4_9·b_4_13²·b_1_2²
       + b_4_9·b_4_13²·b_1_1² + b_4_9·b_4_10²·b_1_2² + b_4_9²·b_1_2·b_5_21
       + b_4_9²·b_1_2⁶ + b_4_9²·b_1_1·b_5_20 + b_4_9²·b_1_1³·b_3_8
       + b_4_9²·b_4_13·b_1_1² + b_4_9³·b_1_2² + b_2_5·b_8_54·b_1_0⁴
       + b_2_5·b_4_13·b_1_2·b_7_41 + b_2_5·b_4_13³ + b_2_5·b_4_10·b_4_13²
       + b_2_5·b_4_10²·b_1_2⁴ + b_2_5·b_4_9·b_1_2·b_7_41 + b_2_5·b_4_9·b_4_13²
       + b_2_5·b_4_9·b_4_10·b_1_2⁴ + b_2_5·b_4_9·b_4_10·b_4_13 + b_2_5·b_4_9·b_4_10²
       + b_2_5·b_4_9²·b_1_2⁴ + b_2_5·b_4_9²·b_4_13 + b_2_5·b_4_9²·b_4_10 + b_2_5·b_4_9³
       + b_2_5²·b_8_54·b_1_0² + b_2_5²·b_4_13·b_1_2·b_5_21 + b_2_5²·b_4_13·b_6_31
       + b_2_5²·b_4_13²·b_1_2² + b_2_5²·b_4_10·b_1_2⁶ + b_2_5²·b_4_9·b_1_2·b_5_21
       + b_2_5²·b_4_9·b_1_2⁶ + b_2_5²·b_4_9·b_6_31 + b_2_5²·b_4_9·b_4_13·b_1_2²
       + b_2_5³·b_8_53 + b_2_5³·b_4_10·b_4_13 + b_2_5³·b_4_10² + b_2_5³·b_4_9·b_1_2⁴
       + b_2_5³·b_4_9² + b_2_5⁴·b_1_2·b_5_21 + b_2_5⁴·b_6_31 + b_2_5⁵·b_4_13
       + b_2_5⁵·b_4_10 + b_2_4·b_4_13·b_8_53 + b_2_4·b_4_13²·b_1_1·b_3_8
       + b_2_4·b_4_13²·b_1_1⁴ + b_2_4·b_4_9·b_1_1⁸ + b_2_4·b_4_9·b_8_53
       + b_2_4·b_4_9·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1⁴
       + b_2_4·b_4_9²·b_1_1·b_3_8 + b_2_4·b_4_9²·b_4_13 + b_2_4·b_4_9³
       + b_2_4²·b_6_30·b_1_1⁴ + b_2_4²·b_4_13·b_1_1³·b_3_8 + b_2_4²·b_4_13·b_6_31
       + b_2_4²·b_4_13²·b_1_1² + b_2_4²·b_4_9·b_6_30 + b_2_4²·b_4_9·b_4_13·b_1_1²
       + b_2_4³·b_6_30·b_1_1² + b_2_4³·b_4_13·b_1_1⁴ + b_2_4³·b_4_9·b_1_1⁴
       + c_8_55·b_1_2·b_5_21 + c_8_55·b_1_1·b_5_20 + c_8_55·b_1_1⁶ + c_8_55·b_1_0⁶
       + b_4_13·c_8_55·b_1_2² + b_4_13·c_8_55·b_1_1·b_1_2 + b_4_13·c_8_55·b_1_1²
       + b_4_10·c_8_55·b_1_2² + b_4_9·c_8_55·b_1_1² + b_2_5·b_4_13·c_8_55
       + b_2_5·b_4_10·c_8_55 + b_2_5·b_4_9·c_8_55 + b_2_5²·c_8_55·b_1_2²
       + b_2_5²·c_8_55·b_1_0² + b_2_4·b_4_13·c_8_55 + b_2_4²·c_8_55·b_1_1²
95. b_6_31·b_8_53 + b_6_30·b_8_53 + b_4_13·b_1_1¹⁰ + b_4_13²·b_1_1³·b_3_8
       + b_4_10·b_4_13²·b_1_2² + b_4_10²·b_1_2⁶ + b_4_10³·b_1_2²
       + b_4_9·b_6_30·b_1_1⁴ + b_4_9·b_4_13·b_1_2·b_5_21 + b_4_9·b_4_13·b_1_1·b_5_20
       + b_4_9·b_4_13·b_1_1⁶ + b_4_9·b_4_13·b_6_31 + b_4_9·b_4_13²·b_1_1²
       + b_4_9·b_4_10²·b_1_2² + b_4_9²·b_1_2·b_5_21 + b_4_9²·b_1_2⁶
       + b_4_9²·b_1_1·b_5_20 + b_4_9²·b_1_1³·b_3_8 + b_4_9²·b_1_1⁶ + b_4_9²·b_6_31
       + b_4_9²·b_4_13·b_1_2² + b_4_9²·b_4_10·b_1_2² + b_2_5·b_4_13·b_1_2·b_7_41
       + b_2_5·b_4_13·b_8_53 + b_2_5·b_4_10·b_4_13² + b_2_5·b_4_10²·b_1_2⁴
       + b_2_5·b_4_10²·b_4_13 + b_2_5·b_4_10³ + b_2_5·b_4_9·b_1_2·b_7_41
       + b_2_5·b_4_9·b_4_13² + b_2_5·b_4_9²·b_4_10 + b_2_5²·b_4_13·b_6_31
       + b_2_5²·b_4_10²·b_1_2² + b_2_5²·b_4_9·b_6_31 + b_2_5²·b_4_9·b_4_13·b_1_2²
       + b_2_5³·b_1_2·b_7_41 + b_2_5³·b_8_54 + b_2_5³·b_4_13² + b_2_5³·b_4_10·b_1_2⁴
       + b_2_5³·b_4_10·b_4_13 + b_2_5³·b_4_9·b_4_13 + b_2_5³·b_4_9²
       + b_2_5⁴·b_1_0·b_5_19 + b_2_5⁴·b_4_13·b_1_2² + b_2_5⁴·b_4_10·b_1_2²
       + b_2_5⁴·b_4_9·b_1_2² + b_2_5⁵·b_4_10 + b_2_4·b_4_13·b_1_1⁸ + b_2_4·b_4_13·b_8_53
       + b_2_4·b_4_13²·b_1_1⁴ + b_2_4·b_4_9·b_1_1⁸ + b_2_4·b_4_9·b_4_13·b_1_1·b_3_8
       + b_2_4·b_4_9²·b_4_13 + b_2_4·b_4_9³ + b_2_4²·b_4_13·b_1_1³·b_3_8
       + b_2_4²·b_4_13·b_6_30 + b_2_4²·b_4_13²·b_1_1² + b_2_4²·b_4_9·b_1_1³·b_3_8
       + b_2_4²·b_4_9·b_4_13·b_1_1² + b_2_4²·b_4_9²·b_1_1² + b_2_4³·b_1_0³·b_5_19
       + b_2_4³·b_8_54 + b_2_4³·b_4_13·b_1_1·b_3_8 + b_2_4³·b_4_13·b_1_1⁴
       + b_2_4³·b_4_13² + b_2_4³·b_4_9·b_1_1·b_3_8 + b_2_4³·b_4_9·b_1_1⁴
       + b_2_4³·b_4_9² + b_2_4⁴·b_1_1³·b_3_8 + b_2_4⁴·b_6_30 + b_2_4⁴·b_4_9·b_1_1²
       + b_2_4⁵·b_4_13 + b_2_4⁵·b_4_9 + c_8_55·b_1_1³·b_3_8 + c_8_55·b_1_1⁶
       + b_4_10·c_8_55·b_1_2² + b_4_9·c_8_55·b_1_2² + b_4_9·c_8_55·b_1_1²
       + b_2_5·b_4_10·c_8_55 + b_2_5·b_4_9·c_8_55 + b_2_5³·c_8_55 + b_2_4·c_8_55·b_1_1⁴
       + b_2_4²·c_8_55·b_1_1²
96. b_6_31·b_8_53 + b_4_10·b_4_13²·b_1_2² + b_4_10²·b_1_2⁶ + b_4_10³·b_1_2²
       + b_4_9·b_4_13·b_1_1·b_5_20 + b_4_9·b_4_13·b_1_1³·b_3_8 + b_4_9·b_4_13²·b_1_2²
       + b_4_9·b_4_10·b_4_13·b_1_2² + b_4_9·b_4_10²·b_1_2² + b_4_9²·b_1_2·b_5_21
       + b_4_9²·b_1_2⁶ + b_4_9²·b_6_31 + b_4_9²·b_6_30 + b_4_9²·b_4_13·b_1_1²
       + b_4_9²·b_4_10·b_1_2² + b_4_9³·b_1_1² + b_2_5·b_4_10·b_4_13²
       + b_2_5·b_4_10²·b_1_2⁴ + b_2_5·b_4_10²·b_4_13 + b_2_5·b_4_10³
       + b_2_5·b_4_9·b_1_2·b_7_41 + b_2_5·b_4_9·b_8_53 + b_2_5·b_4_9·b_4_13²
       + b_2_5·b_4_9·b_4_10·b_4_13 + b_2_5·b_4_9²·b_4_13 + b_2_5·b_4_9²·b_4_10
       + b_2_5·b_4_9³ + b_2_5²·b_4_13·b_1_2·b_5_21 + b_2_5²·b_4_13·b_6_31
       + b_2_5²·b_4_13²·b_1_2² + b_2_5²·b_4_10·b_4_13·b_1_2²
       + b_2_5²·b_4_10²·b_1_2² + b_2_5²·b_4_9·b_6_31 + b_2_5³·b_1_2·b_7_41
       + b_2_5³·b_8_54 + b_2_5³·b_4_13² + b_2_5³·b_4_10·b_1_2⁴ + b_2_5³·b_4_10·b_4_13
       + b_2_5³·b_4_9² + b_2_5⁴·b_1_0·b_5_19 + b_2_5⁴·b_4_13·b_1_2²
       + b_2_5⁴·b_4_10·b_1_2² + b_2_5⁴·b_4_9·b_1_2² + b_2_5⁵·b_4_10
       + b_2_4·b_4_13·b_8_54 + b_2_4·b_4_13·b_8_53 + b_2_4·b_4_13·b_6_30·b_1_1²
       + b_2_4·b_4_13²·b_1_1⁴ + b_2_4·b_4_13³ + b_2_4·b_4_9·b_6_30·b_1_1²
       + b_2_4·b_4_9·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1⁴
       + b_2_4·b_4_9·b_4_13² + b_2_4·b_4_9³ + b_2_4²·b_4_13·b_6_31
       + b_2_4²·b_4_13·b_6_30 + b_2_4²·b_4_9²·b_1_1² + b_2_4³·b_1_0³·b_5_19
       + b_2_4³·b_8_53 + b_2_4³·b_6_30·b_1_1² + b_2_4³·b_4_13·b_1_1·b_3_8
       + b_2_4³·b_4_13·b_1_1⁴ + b_2_4³·b_4_13² + b_2_4³·b_4_9·b_1_1·b_3_8
       + b_2_4³·b_4_9² + b_2_4⁴·b_1_1³·b_3_8 + b_2_4⁴·b_6_31 + b_2_4⁴·b_6_30
       + b_2_4⁴·b_4_9·b_1_1² + b_2_4⁵·b_4_13 + b_2_4⁵·b_4_9 + b_4_10·c_8_55·b_1_2²
       + b_4_9·c_8_55·b_1_2² + b_2_5·b_4_10·c_8_55 + b_2_5·b_4_9·c_8_55 + b_2_5³·c_8_55
       + b_2_4·c_8_55·b_1_1·b_3_8 + b_2_4·b_4_9·c_8_55 + b_2_4³·c_8_55
97. b_7_41² + b_8_54·b_1_0⁶ + b_6_31·b_8_54 + b_6_31·b_8_53 + b_4_13·b_6_30·b_1_1⁴
       + b_4_13²·b_1_2·b_5_21 + b_4_13²·b_1_1³·b_3_8 + b_4_13²·b_1_1⁶ + b_4_13²·b_6_31
       + b_4_13³·b_1_1·b_1_2 + b_4_10·b_4_13²·b_1_2² + b_4_10²·b_1_2⁶
       + b_4_10²·b_4_13·b_1_2² + b_4_9·b_4_13·b_1_2·b_5_21 + b_4_9·b_4_13·b_1_1³·b_3_8
       + b_4_9·b_4_13·b_1_1⁶ + b_4_9·b_4_13²·b_1_2² + b_4_9·b_4_10·b_4_13·b_1_2²
       + b_4_9²·b_1_1³·b_3_8 + b_4_9²·b_6_31 + b_4_9²·b_4_13·b_1_2²
       + b_4_9²·b_4_13·b_1_1² + b_4_9²·b_4_10·b_1_2² + b_4_9³·b_1_2²
       + b_2_5·b_4_13·b_8_53 + b_2_5·b_4_13³ + b_2_5·b_4_10²·b_1_2⁴ + b_2_5·b_4_10³
       + b_2_5·b_4_9²·b_1_2⁴ + b_2_5·b_4_9²·b_4_13 + b_2_5²·b_4_13·b_6_31
       + b_2_5²·b_4_13²·b_1_2² + b_2_5²·b_4_10²·b_1_2²
       + b_2_5²·b_4_9·b_4_10·b_1_2² + b_2_5³·b_8_53 + b_2_5³·b_4_13²
       + b_2_5³·b_4_10·b_4_13 + b_2_5³·b_4_9·b_4_13 + b_2_5³·b_4_9²
       + b_2_5⁴·b_1_0·b_5_19 + b_2_5⁴·b_6_31 + b_2_5⁴·b_4_10·b_1_2² + b_2_5⁵·b_4_9
       + b_2_4·b_8_54·b_1_0⁴ + b_2_4·b_4_13·b_8_53 + b_2_4·b_4_13·b_6_30·b_1_1²
       + b_2_4·b_4_13²·b_1_1⁴ + b_2_4·b_4_9·b_8_53 + b_2_4·b_4_9·b_6_30·b_1_1²
       + b_2_4·b_4_9·b_4_13·b_1_1·b_3_8 + b_2_4·b_4_9³ + b_2_4²·b_6_30·b_1_1⁴
       + b_2_4²·b_4_13·b_1_1³·b_3_8 + b_2_4²·b_4_13·b_1_1⁶ + b_2_4²·b_4_13·b_6_31
       + b_2_4²·b_4_13·b_6_30 + b_2_4²·b_4_13²·b_1_1² + b_2_4²·b_4_9·b_1_1³·b_3_8
       + b_2_4²·b_4_9·b_1_1⁶ + b_2_4²·b_4_9·b_6_31 + b_2_4³·b_8_53
       + b_2_4³·b_4_13·b_1_1·b_3_8 + b_2_4³·b_4_13·b_1_1⁴ + b_2_4³·b_4_13²
       + b_2_4³·b_4_9·b_1_1·b_3_8 + b_2_4³·b_4_9·b_1_1⁴ + b_2_4³·b_4_9·b_4_13
       + b_2_4⁴·b_6_30 + b_2_4⁴·b_4_13·b_1_1² + c_8_55·b_1_2·b_5_21 + c_8_55·b_1_1·b_5_20
       + c_8_55·b_1_1³·b_3_8 + c_8_55·b_1_0⁶ + b_4_13·c_8_55·b_1_2²
       + b_4_13·c_8_55·b_1_1·b_1_2 + b_4_13·c_8_55·b_1_1² + b_4_9·c_8_55·b_1_2²
       + b_2_5·c_8_55·b_1_0⁴ + b_2_5·b_4_13·c_8_55 + b_2_5²·c_8_55·b_1_0²
       + b_2_4·c_8_55·b_1_1·b_3_8 + b_2_4·c_8_55·b_1_0⁴ + b_2_4·b_4_13·c_8_55
       + b_2_4²·c_8_55·b_1_1²
98. b_6_30·b_8_54 + b_6_30·b_8_53 + b_4_13·b_6_30·b_1_1⁴ + b_4_13²·b_1_1³·b_3_8
       + b_4_13²·b_6_30 + b_4_10·b_4_13²·b_1_2² + b_4_9·b_6_30·b_1_1⁴
       + b_4_9·b_4_13·b_1_2·b_5_21 + b_4_9·b_4_13·b_1_1³·b_3_8 + b_4_9·b_4_13·b_6_31
       + b_4_9·b_4_13·b_6_30 + b_4_9·b_4_13²·b_1_1² + b_4_9·b_4_10·b_4_13·b_1_2²
       + b_4_9²·b_1_1³·b_3_8 + b_4_9²·b_1_1⁶ + b_4_9²·b_6_30 + b_4_9²·b_4_13·b_1_2²
       + b_4_9²·b_4_13·b_1_1² + b_2_5·b_4_13·b_1_2·b_7_41 + b_2_5·b_4_13·b_8_53
       + b_2_5·b_4_10·b_4_13² + b_2_5·b_4_10²·b_1_2⁴ + b_2_5·b_4_10³
       + b_2_5·b_4_9·b_8_53 + b_2_5·b_4_9·b_4_13² + b_2_5·b_4_9·b_4_10·b_4_13
       + b_2_5·b_4_9·b_4_10² + b_2_5·b_4_9²·b_1_2⁴ + b_2_5·b_4_9²·b_4_13
       + b_2_5·b_4_9²·b_4_10 + b_2_5²·b_4_13·b_1_2·b_5_21 + b_2_5²·b_4_13·b_6_31
       + b_2_5²·b_4_13²·b_1_2² + b_2_5²·b_4_10²·b_1_2² + b_2_5²·b_4_9·b_1_2·b_5_21
       + b_2_5²·b_4_9·b_6_31 + b_2_5²·b_4_9·b_4_13·b_1_2² + b_2_5³·b_4_10·b_4_13
       + b_2_5³·b_4_10² + b_2_5³·b_4_9·b_4_13 + b_2_5³·b_4_9·b_4_10
       + b_2_4·b_8_54·b_1_0⁴ + b_2_4·b_4_13·b_1_1⁸ + b_2_4·b_4_13²·b_1_1⁴
       + b_2_4·b_4_9·b_8_53 + b_2_4·b_4_9·b_6_30·b_1_1² + b_2_4·b_4_9²·b_1_1·b_3_8
       + b_2_4·b_4_9³ + b_2_4²·b_4_13·b_1_1³·b_3_8 + b_2_4²·b_4_13²·b_1_1²
       + b_2_4²·b_4_9·b_1_1³·b_3_8 + b_2_4²·b_4_9·b_1_1⁶ + b_2_4²·b_4_9·b_6_30
       + b_2_4²·b_4_9²·b_1_1² + b_2_4³·b_8_53 + b_2_4³·b_4_13·b_1_1⁴
       + b_2_4³·b_4_13² + b_2_4³·b_4_9·b_4_13 + b_2_4³·b_4_9² + b_2_4⁴·b_1_1³·b_3_8
       + b_2_4⁴·b_6_31 + b_2_4⁴·b_4_13·b_1_1² + b_2_4⁵·b_4_13 + b_2_4⁵·b_4_9
       + b_4_9·c_8_55·b_1_1² + b_2_4·c_8_55·b_1_1·b_3_8 + b_2_4·c_8_55·b_1_1⁴
       + b_2_4·c_8_55·b_1_0⁴
99. b_8_54·b_7_41 + b_8_54·b_1_0⁷ + b_8_53·b_7_41 + b_4_13·b_6_30·b_1_1⁵
       + b_4_13²·b_7_41 + b_4_13²·b_1_1⁷ + b_4_13³·b_1_2³ + b_4_13³·b_1_1³
       + b_4_10·b_4_13·b_7_41 + b_4_10²·b_1_2⁷ + b_4_10²·b_4_13·b_1_2³
       + b_4_10³·b_1_2³ + b_4_9·b_4_13·b_1_1⁴·b_3_8 + b_4_9·b_4_13·b_1_1⁷
       + b_4_9·b_4_13·b_6_31·b_1_1 + b_4_9·b_4_13·b_6_30·b_1_1 + b_4_9·b_4_13²·b_3_8
       + b_4_9·b_4_13²·b_1_2³ + b_4_9·b_4_13²·b_1_1³ + b_4_9·b_4_10²·b_1_2³
       + b_4_9²·b_1_2⁷ + b_4_9²·b_6_30·b_1_1 + b_4_9²·b_4_13·b_1_1³ + b_4_9³·b_1_1³
       + b_2_5·b_4_13²·b_5_21 + b_2_5·b_4_10²·b_1_2⁵ + b_2_5·b_4_9·b_4_13·b_5_21
       + b_2_5·b_4_9·b_4_13²·b_1_2 + b_2_5·b_4_9·b_4_10·b_5_21 + b_2_5·b_4_9·b_4_10²·b_1_2
       + b_2_5·b_4_9²·b_4_13·b_1_2 + b_2_5²·b_8_54·b_1_0³ + b_2_5²·b_4_13·b_7_41
       + b_2_5²·b_4_13²·b_3_8 + b_2_5²·b_4_10²·b_1_2³ + b_2_5²·b_4_9·b_7_41
       + b_2_5²·b_4_9·b_4_13·b_1_2³ + b_2_5²·b_4_9·b_4_10·b_3_8 + b_2_5²·b_4_9²·b_3_8
       + b_2_5³·b_8_54·b_1_0 + b_2_5³·b_4_10²·b_1_2 + b_2_5³·b_4_9·b_5_21
       + b_2_5³·b_4_9·b_4_13·b_1_2 + b_2_5³·b_4_9·b_4_10·b_1_2 + b_2_5⁴·b_1_0²·b_5_19
       + b_2_5⁴·b_4_13·b_3_8 + b_2_5⁴·b_4_10·b_3_8 + b_2_5⁴·b_4_9·b_3_8 + b_2_5⁵·b_5_19
       + b_2_5⁵·b_4_13·b_1_2 + b_2_5⁶·b_3_8 + b_2_4·b_4_13·b_1_1⁹
       + b_2_4·b_4_13·b_6_31·b_3_8 + b_2_4·b_4_13·b_6_30·b_1_1³ + b_2_4·b_4_13²·b_5_20
       + b_2_4·b_4_13²·b_1_1⁵ + b_2_4·b_4_13³·b_1_2 + b_2_4·b_4_9·b_6_30·b_1_1³
       + b_2_4·b_4_9·b_4_13·b_5_20 + b_2_4·b_4_9·b_4_13·b_1_1⁵
       + b_2_4·b_4_9·b_4_13²·b_1_1 + b_2_4·b_4_9²·b_5_20 + b_2_4·b_4_9³·b_1_1
       + b_2_4²·b_4_13·b_7_41 + b_2_4²·b_4_13·b_1_1⁷ + b_2_4²·b_4_13²·b_1_1³
       + b_2_4²·b_4_9·b_7_41 + b_2_4²·b_4_9·b_1_1⁷ + b_2_4²·b_4_9²·b_1_1³
       + b_2_4³·b_6_30·b_1_1³ + b_2_4³·b_4_13·b_5_20 + b_2_4³·b_4_13·b_1_1²·b_3_8
       + b_2_4³·b_4_13·b_1_1⁵ + b_2_4³·b_4_13²·b_1_1 + b_2_4³·b_4_9·b_1_1⁵
       + c_8_55·b_1_1⁴·b_3_8 + c_8_55·b_1_0⁷ + b_6_31·c_8_55·b_1_1 + b_4_13·c_8_55·b_1_2³
       + b_4_10·c_8_55·b_3_8 + b_4_9·c_8_55·b_3_8 + b_2_5·c_8_55·b_1_0⁵
       + b_2_5·b_4_13·c_8_55·b_1_2 + b_2_5·b_4_10·c_8_55·b_1_2 + b_2_5·b_4_9·c_8_55·b_1_2
       + b_2_4·c_8_55·b_5_21 + b_2_4·c_8_55·b_5_20 + b_2_4·c_8_55·b_1_1⁵
       + b_2_4·b_4_13·c_8_55·b_1_2 + b_2_4·b_4_13·c_8_55·b_1_1 + b_2_4·b_4_9·c_8_55·b_1_1
       + b_2_4²·c_8_55·b_3_8 + b_2_4²·c_8_55·b_1_1³
100. b_8_53·b_7_41 + b_4_13·b_6_30·b_1_1⁵ + b_4_13²·b_1_1⁷ + b_4_13²·b_6_30·b_1_1
        + b_4_10·b_4_13²·b_3_8 + b_4_9·b_4_13·b_7_41 + b_4_9·b_4_13·b_1_1⁴·b_3_8
        + b_4_9·b_4_13·b_1_1⁷ + b_4_9·b_4_10·b_4_13·b_1_2³ + b_4_9²·b_6_31·b_1_1
        + b_4_9²·b_4_10·b_1_2³ + b_4_9³·b_1_2³ + b_4_9³·b_1_1³
        + b_2_5·b_4_10·b_4_13·b_5_21 + b_2_5·b_4_10·b_4_13²·b_1_2 + b_2_5·b_4_10²·b_1_2⁵
        + b_2_5·b_4_9·b_4_13·b_5_21 + b_2_5·b_4_9·b_4_13²·b_1_2 + b_2_5·b_4_9²·b_5_21
        + b_2_5·b_4_9²·b_4_10·b_1_2 + b_2_5²·b_8_54·b_1_0³ + b_2_5²·b_4_13·b_7_41
        + b_2_5²·b_4_10·b_1_2⁷ + b_2_5²·b_4_10·b_4_13·b_1_2³ + b_2_5²·b_4_9·b_7_41
        + b_2_5²·b_4_9·b_1_2⁷ + b_2_5²·b_4_9·b_4_13·b_3_8 + b_2_5²·b_4_9·b_4_13·b_1_2³
        + b_2_5²·b_4_9·b_4_10·b_1_2³ + b_2_5³·b_4_10·b_5_21 + b_2_5³·b_4_10·b_4_13·b_1_2
        + b_2_5³·b_4_9·b_5_21 + b_2_5³·b_4_9·b_1_2⁵ + b_2_5⁴·b_7_41
        + b_2_5⁴·b_4_10·b_1_2³ + b_2_5⁵·b_4_10·b_1_2 + b_2_4·b_4_13·b_6_30·b_1_1³
        + b_2_4·b_4_13²·b_5_21 + b_2_4·b_4_9·b_6_31·b_3_8 + b_2_4·b_4_9·b_6_30·b_1_1³
        + b_2_4·b_4_9·b_4_13·b_1_1⁵ + b_2_4·b_4_9²·b_1_1²·b_3_8 + b_2_4·b_4_9²·b_1_1⁵
        + b_2_4²·b_8_54·b_1_0³ + b_2_4²·b_6_30·b_1_1⁵ + b_2_4²·b_4_13·b_7_41
        + b_2_4²·b_4_13·b_1_1⁷ + b_2_4²·b_4_13·b_6_31·b_1_1 + b_2_4²·b_4_13·b_6_30·b_1_1
        + b_2_4²·b_4_9·b_1_1⁷ + b_2_4²·b_4_9·b_6_31·b_1_1 + b_2_4²·b_4_9²·b_3_8
        + b_2_4³·b_6_30·b_1_1³ + b_2_4³·b_4_13·b_5_20 + b_2_4³·b_4_13·b_1_1²·b_3_8
        + b_2_4³·b_4_13·b_1_1⁵ + b_2_4³·b_4_9·b_1_1⁵ + b_2_4³·b_4_9·b_4_13·b_1_1
        + b_2_4³·b_4_9²·b_1_1 + b_2_4⁴·b_7_41 + b_2_4⁴·b_1_0²·b_5_19
        + b_2_4⁴·b_4_13·b_3_8 + b_2_4⁴·b_4_13·b_1_1³ + b_2_4⁴·b_4_9·b_3_8
        + b_2_4⁵·b_4_9·b_1_1 + b_6_31·c_8_55·b_1_1 + b_6_30·c_8_55·b_1_1
        + b_4_13·c_8_55·b_1_1³ + b_4_10·c_8_55·b_3_8 + b_4_9·c_8_55·b_3_8
        + b_2_5·b_4_13·c_8_55·b_1_2 + b_2_5²·c_8_55·b_3_8 + b_2_5²·c_8_55·b_1_2³
        + b_2_5²·c_8_55·b_1_0³ + b_2_5³·c_8_55·b_1_0 + b_2_4·c_8_55·b_5_21
        + b_2_4·c_8_55·b_5_19 + b_2_4·c_8_55·b_1_1²·b_3_8 + b_2_4²·c_8_55·b_1_1³
        + b_2_4²·c_8_55·b_1_0³
101. b_8_54·b_1_0⁸ + b_8_54² + b_4_13²·b_6_30·b_1_1² + b_4_13⁴ + b_4_10³·b_1_2⁴
        + b_4_10⁴ + b_4_9·b_4_13·b_1_2·b_7_41 + b_4_9·b_4_13·b_8_54 + b_4_9·b_4_13²·b_1_1⁴
        + b_4_9·b_4_13³ + b_4_9·b_4_10²·b_1_2⁴ + b_4_9·b_4_10²·b_4_13
        + b_4_9²·b_1_1·b_7_41 + b_4_9²·b_1_1⁸ + b_4_9²·b_8_53 + b_4_9²·b_4_13·b_1_1⁴
        + b_4_9²·b_4_10·b_4_13 + b_4_9²·b_4_10² + b_4_9³·b_1_1·b_3_8 + b_4_9³·b_1_1⁴
        + b_4_9³·b_4_13 + b_2_5·b_8_54·b_1_0⁶ + b_2_5·b_4_13²·b_1_2·b_5_21
        + b_2_5·b_4_10·b_4_13²·b_1_2² + b_2_5·b_4_10²·b_1_2⁶
        + b_2_5·b_4_10²·b_4_13·b_1_2² + b_2_5·b_4_9·b_4_13·b_1_2·b_5_21
        + b_2_5·b_4_9·b_4_13·b_6_31 + b_2_5·b_4_9·b_4_13²·b_1_2²
        + b_2_5·b_4_9·b_4_10²·b_1_2² + b_2_5·b_4_9²·b_1_2·b_5_21 + b_2_5·b_4_9²·b_1_2⁶
        + b_2_5·b_4_9²·b_6_31 + b_2_5·b_4_9²·b_4_13·b_1_2²
        + b_2_5·b_4_9²·b_4_10·b_1_2² + b_2_5²·b_4_13³ + b_2_5²·b_4_10·b_4_13²
        + b_2_5²·b_4_10²·b_1_2⁴ + b_2_5²·b_4_9·b_4_10² + b_2_5²·b_4_9²·b_1_2⁴
        + b_2_5²·b_4_9²·b_4_10 + b_2_5²·b_4_9³ + b_2_5³·b_8_54·b_1_0²
        + b_2_5³·b_4_13·b_1_2·b_5_21 + b_2_5³·b_4_9·b_1_2·b_5_21
        + b_2_5³·b_4_9·b_4_10·b_1_2² + b_2_5³·b_4_9²·b_1_2² + b_2_5⁴·b_1_2·b_7_41
        + b_2_5⁴·b_8_54 + b_2_5⁴·b_4_13² + b_2_5⁴·b_4_10·b_1_2⁴ + b_2_5⁴·b_4_10·b_4_13
        + b_2_5⁴·b_4_10² + b_2_5⁴·b_4_9² + b_2_5⁵·b_4_13·b_1_2²
        + b_2_5⁵·b_4_10·b_1_2² + b_2_5⁵·b_4_9·b_1_2² + b_2_5⁶·b_4_10
        + b_2_4·b_4_13²·b_6_30 + b_2_4·b_4_13³·b_1_1² + b_2_4·b_4_9·b_4_13·b_6_31
        + b_2_4·b_4_9²·b_4_13·b_1_1² + b_2_4²·b_4_13·b_1_1⁸
        + b_2_4²·b_4_13·b_6_30·b_1_1² + b_2_4²·b_4_13²·b_1_1⁴ + b_2_4²·b_4_13³
        + b_2_4²·b_4_9·b_8_54 + b_2_4²·b_4_9·b_6_30·b_1_1²
        + b_2_4²·b_4_9·b_4_13·b_1_1⁴ + b_2_4²·b_4_9²·b_1_1·b_3_8 + b_2_4²·b_4_9³
        + b_2_4³·b_4_13·b_1_1³·b_3_8 + b_2_4³·b_4_13·b_6_30 + b_2_4³·b_4_13²·b_1_1²
        + b_2_4³·b_4_9·b_1_1⁶ + b_2_4³·b_4_9·b_6_30 + b_2_4³·b_4_9·b_4_13·b_1_1²
        + b_2_4⁴·b_8_54 + b_2_4⁴·b_4_13·b_1_1·b_3_8 + b_2_4⁴·b_4_9·b_4_13 + b_2_4⁴·b_4_9²
        + b_2_4⁵·b_1_1³·b_3_8 + b_2_4⁵·b_4_13·b_1_1² + b_2_4⁶·b_4_13 + b_2_4⁶·b_4_9
        + c_8_55·b_1_0⁸ + b_4_10²·c_8_55 + b_4_9²·c_8_55 + b_2_5·b_4_10·c_8_55·b_1_2²
        + b_2_5·b_4_9·c_8_55·b_1_2² + b_2_5²·b_4_13·c_8_55 + b_2_5²·b_4_10·c_8_55
        + b_2_5⁴·c_8_55 + b_2_4²·c_8_55·b_1_1⁴ + b_2_4⁴·c_8_55
102. b_8_53² + b_4_9·b_4_13·b_1_2·b_7_41 + b_4_9·b_4_13·b_8_54
        + b_4_9·b_4_13²·b_1_1·b_3_8 + b_4_9·b_4_13³ + b_4_9·b_4_10²·b_4_13
        + b_4_9²·b_1_1⁸ + b_4_9²·b_8_54 + b_4_9²·b_8_53 + b_4_9²·b_6_30·b_1_1²
        + b_4_9²·b_4_13·b_1_1⁴ + b_4_9²·b_4_10·b_1_2⁴ + b_4_9²·b_4_10²
        + b_4_9³·b_1_2⁴ + b_4_9³·b_1_1·b_3_8 + b_4_9³·b_1_1⁴ + b_4_9³·b_4_13 + b_4_9⁴
        + b_2_5·b_4_13²·b_1_2·b_5_21 + b_2_5·b_4_10·b_4_13²·b_1_2²
        + b_2_5·b_4_10²·b_1_2⁶ + b_2_5·b_4_10³·b_1_2² + b_2_5·b_4_9·b_4_10²·b_1_2²
        + b_2_5·b_4_9²·b_1_2⁶ + b_2_5·b_4_9²·b_4_13·b_1_2² + b_2_5·b_4_9³·b_1_2²
        + b_2_5²·b_4_13³ + b_2_5²·b_4_10·b_4_13² + b_2_5²·b_4_9·b_8_53
        + b_2_5²·b_4_9·b_4_10² + b_2_5²·b_4_9²·b_1_2⁴ + b_2_5²·b_4_9²·b_4_13
        + b_2_5³·b_4_13·b_1_2·b_5_21 + b_2_5³·b_4_13·b_6_31 + b_2_5³·b_4_13²·b_1_2²
        + b_2_5³·b_4_10·b_4_13·b_1_2² + b_2_5³·b_4_10²·b_1_2²
        + b_2_5³·b_4_9·b_1_2·b_5_21 + b_2_5³·b_4_9·b_4_13·b_1_2²
        + b_2_5³·b_4_9·b_4_10·b_1_2² + b_2_5³·b_4_9²·b_1_2² + b_2_5⁴·b_1_2·b_7_41
        + b_2_5⁴·b_8_54 + b_2_5⁴·b_8_53 + b_2_5⁴·b_4_13² + b_2_5⁴·b_4_10·b_1_2⁴
        + b_2_5⁴·b_4_10² + b_2_5⁵·b_1_0·b_5_19 + b_2_5⁵·b_6_31 + b_2_5⁵·b_4_13·b_1_2²
        + b_2_5⁵·b_4_9·b_1_2² + b_2_5⁶·b_4_10 + b_2_5⁶·b_4_9 + b_2_4·b_4_13·b_1_1¹⁰
        + b_2_4·b_4_13²·b_6_31 + b_2_4·b_4_13³·b_1_1² + b_2_4·b_4_9·b_6_30·b_1_1⁴
        + b_2_4·b_4_9·b_4_13·b_1_1³·b_3_8 + b_2_4·b_4_9·b_4_13·b_1_1⁶
        + b_2_4·b_4_9·b_4_13·b_6_31 + b_2_4·b_4_9·b_4_13·b_6_30 + b_2_4·b_4_9²·b_1_1³·b_3_8
        + b_2_4·b_4_9²·b_4_13·b_1_1² + b_2_4²·b_4_13·b_8_54 + b_2_4²·b_4_13·b_8_53
        + b_2_4²·b_4_13²·b_1_1·b_3_8 + b_2_4²·b_4_13²·b_1_1⁴ + b_2_4²·b_4_13³
        + b_2_4²·b_4_9·b_1_1⁸ + b_2_4²·b_4_9·b_4_13·b_1_1·b_3_8
        + b_2_4²·b_4_9·b_4_13·b_1_1⁴ + b_2_4²·b_4_9²·b_1_1·b_3_8
        + b_2_4²·b_4_9²·b_1_1⁴ + b_2_4²·b_4_9²·b_4_13 + b_2_4³·b_4_13·b_1_1⁶
        + b_2_4³·b_4_13·b_6_31 + b_2_4³·b_4_9·b_1_1⁶ + b_2_4³·b_4_9²·b_1_1²
        + b_2_4⁴·b_8_54 + b_2_4⁴·b_6_30·b_1_1² + b_2_4⁴·b_4_13·b_1_1⁴
        + b_2_4⁴·b_4_9·b_1_1·b_3_8 + b_2_4⁴·b_4_9·b_4_13 + b_2_4⁵·b_6_31 + b_2_4⁵·b_6_30
        + b_2_4⁵·b_4_13·b_1_1² + b_2_5·b_4_10·c_8_55·b_1_2²
        + b_2_5·b_4_9·c_8_55·b_1_2² + b_2_5²·b_4_13·c_8_55 + b_2_5²·b_4_10·c_8_55
        + b_2_5⁴·c_8_55 + b_2_4·c_8_55·b_1_1³·b_3_8 + b_2_4·c_8_55·b_1_1⁶
        + b_2_4·b_4_9·c_8_55·b_1_1² + b_2_4²·b_4_13·c_8_55 + b_2_4⁴·c_8_55
103. b_8_53·b_8_54 + b_4_13²·b_8_53 + b_4_9·b_4_13·b_1_1·b_7_41 + b_4_9·b_4_13·b_1_1⁸
        + b_4_9·b_4_13·b_8_53 + b_4_9·b_4_10·b_4_13² + b_4_9²·b_1_1·b_7_41
        + b_4_9²·b_1_1⁸ + b_4_9²·b_4_13·b_1_1·b_3_8 + b_4_9²·b_4_10·b_4_13
        + b_4_9³·b_1_2·b_3_8 + b_4_9³·b_1_1·b_3_8 + b_4_9³·b_4_13 + b_4_9⁴
        + b_2_5·b_4_13²·b_1_2·b_5_21 + b_2_5·b_4_13²·b_6_31 + b_2_5·b_4_13³·b_1_2²
        + b_2_5·b_4_10·b_4_13²·b_1_2² + b_2_5·b_4_10²·b_4_13·b_1_2²
        + b_2_5·b_4_9·b_4_13·b_1_2·b_5_21 + b_2_5·b_4_9·b_4_13²·b_1_2²
        + b_2_5·b_4_9·b_4_10·b_4_13·b_1_2² + b_2_5·b_4_9²·b_1_2·b_5_21
        + b_2_5·b_4_9²·b_6_31 + b_2_5·b_4_9³·b_1_2² + b_2_5²·b_8_54·b_1_0⁴
        + b_2_5²·b_4_10²·b_1_2⁴ + b_2_5²·b_4_9·b_1_2·b_7_41 + b_2_5²·b_4_9·b_4_13²
        + b_2_5²·b_4_9·b_4_10·b_1_2⁴ + b_2_5²·b_4_9·b_4_10·b_4_13
        + b_2_5²·b_4_9·b_4_10² + b_2_5²·b_4_9²·b_1_2⁴ + b_2_5³·b_8_54·b_1_0²
        + b_2_5³·b_4_13·b_6_31 + b_2_5³·b_4_10·b_1_2⁶ + b_2_5³·b_4_10·b_4_13·b_1_2²
        + b_2_5³·b_4_10²·b_1_2² + b_2_5³·b_4_9·b_1_2⁶ + b_2_5⁴·b_8_54
        + b_2_5⁴·b_4_13² + b_2_5⁴·b_4_10·b_1_2⁴ + b_2_5⁴·b_4_9·b_4_13
        + b_2_5⁴·b_4_9·b_4_10 + b_2_5⁵·b_1_2·b_5_21 + b_2_5⁵·b_4_13·b_1_2²
        + b_2_5⁵·b_4_10·b_1_2² + b_2_5⁵·b_4_9·b_1_2² + b_2_5⁶·b_4_13 + b_2_5⁶·b_4_9
        + b_2_4·b_4_13·b_1_1¹⁰ + b_2_4·b_4_13²·b_1_1⁶ + b_2_4·b_4_13²·b_6_30
        + b_2_4·b_4_9·b_4_13·b_1_1⁶ + b_2_4·b_4_9·b_4_13·b_6_30
        + b_2_4·b_4_9·b_4_13²·b_1_1² + b_2_4·b_4_9²·b_1_1³·b_3_8
        + b_2_4·b_4_9²·b_1_1⁶ + b_2_4·b_4_9²·b_6_31 + b_2_4²·b_8_54·b_1_0⁴
        + b_2_4²·b_4_13·b_1_1⁸ + b_2_4²·b_4_13·b_8_54 + b_2_4²·b_4_9·b_1_1⁸
        + b_2_4²·b_4_9·b_8_53 + b_2_4²·b_4_9·b_6_30·b_1_1²
        + b_2_4²·b_4_9·b_4_13·b_1_1·b_3_8 + b_2_4²·b_4_9·b_4_13·b_1_1⁴
        + b_2_4²·b_4_9·b_4_13² + b_2_4²·b_4_9²·b_1_1·b_3_8 + b_2_4²·b_4_9²·b_4_13
        + b_2_4²·b_4_9³ + b_2_4³·b_4_13·b_1_1⁶ + b_2_4³·b_4_13·b_6_30
        + b_2_4³·b_4_13²·b_1_1² + b_2_4³·b_4_9·b_1_1³·b_3_8 + b_2_4³·b_4_9·b_6_30
        + b_2_4⁴·b_8_54 + b_2_4⁴·b_8_53 + b_2_4⁴·b_6_30·b_1_1² + b_2_4⁴·b_4_9·b_1_1·b_3_8
        + b_2_4⁴·b_4_9·b_4_13 + b_2_4⁴·b_4_9² + b_2_4⁵·b_1_1³·b_3_8 + b_2_4⁵·b_6_30
        + b_2_4⁶·b_4_13 + b_2_4⁶·b_4_9 + b_4_9·c_8_55·b_1_2·b_3_8 + b_4_9·c_8_55·b_1_1·b_3_8
        + b_4_9·c_8_55·b_1_1⁴ + b_4_9²·c_8_55 + b_2_5²·c_8_55·b_1_0⁴
        + b_2_5²·b_4_10·c_8_55 + b_2_5²·b_4_9·c_8_55 + b_2_5³·c_8_55·b_1_2²
        + b_2_5⁴·c_8_55 + b_2_4·c_8_55·b_1_1³·b_3_8 + b_2_4·c_8_55·b_1_1⁶
        + b_2_4·b_4_13·c_8_55·b_1_1² + b_2_4·b_4_9·c_8_55·b_1_1²
        + b_2_4²·c_8_55·b_1_1·b_3_8 + b_2_4²·c_8_55·b_1_1⁴ + b_2_4²·c_8_55·b_1_0⁴
        + b_2_4⁴·c_8_55

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 17.
• However, the last relation was already found in degree 16 and the last generator in degree 8.
• The following is a filter regular homogeneous system of parameters:
  1. c_8_55, a Duflot regular element of degree 8
  2. b_1_2·b_3_8 + b_1_2⁴ + b_1_1·b_3_8 + b_1_1⁴ + b_1_0⁴ + b_4_13 + b_4_10 + b_2_5²
        + b_2_4², an element of degree 4
  3. b_1_1·b_5_21 + b_4_13·b_1_2² + b_4_10·b_1_2² + b_4_9·b_1_2² + b_2_5·b_4_13
        + b_2_5·b_4_10 + b_2_5·b_4_9 + b_2_5²·b_1_2² + b_2_5²·b_1_0² + b_2_4·b_4_13
        + b_2_4²·b_1_1² + b_2_4²·b_1_0², an element of degree 6
  4. b_2_5·b_4_13·b_1_2 + b_2_5·b_4_10·b_1_2 + b_2_5·b_4_9·b_1_2 + b_2_4·b_5_21
        + b_2_4·b_5_19 + b_2_4·b_1_1²·b_3_8 + b_2_4·b_4_13·b_1_2 + b_2_4·b_4_13·b_1_1
        + b_2_4²·b_3_8, an element of degree 7
• The Raw Filter Degree Type of that HSOP is [-1, -1, 9, 14, 21].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -4, -4].
• We found that there exists some filter regular HSOP formed by the first term of the above HSOP, together with 3 elements of degree 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 1

1. b_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_2_4 → 0, an element of degree 2
5. b_2_5 → 0, an element of degree 2
6. b_3_8 → 0, an element of degree 3
7. b_4_9 → 0, an element of degree 4
8. b_4_10 → 0, an element of degree 4
9. b_4_13 → 0, an element of degree 4
10. b_5_19 → 0, an element of degree 5
11. b_5_20 → 0, an element of degree 5
12. b_5_21 → 0, an element of degree 5
13. b_6_30 → 0, an element of degree 6
14. b_6_31 → 0, an element of degree 6
15. b_7_41 → 0, an element of degree 7
16. b_8_53 → 0, an element of degree 8
17. b_8_54 → 0, an element of degree 8
18. c_8_55 → c_1_0⁸, an element of degree 8

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

1. b_1_0 → c_1_1, 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_2_4 → c_1_2² + c_1_1·c_1_2, an element of degree 2
5. b_2_5 → 0, an element of degree 2
6. b_3_8 → 0, an element of degree 3
7. b_4_9 → 0, an element of degree 4
8. b_4_10 → 0, an element of degree 4
9. b_4_13 → 0, an element of degree 4
10. b_5_19 → 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 5
11. b_5_20 → 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 5
12. b_5_21 → 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 5
13. b_6_30 → 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_2² + c_1_0⁴·c_1_1·c_1_2, an element of degree 6
14. b_6_31 → 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_2² + c_1_0⁴·c_1_1·c_1_2, an element of degree 6
15. b_7_41 → 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 7
16. b_8_53 → 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_2⁴
       + c_1_0⁴·c_1_1²·c_1_2², an element of degree 8
17. b_8_54 → 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_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1⁴, an element of degree 8
18. c_8_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_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_2
       + c_1_0²·c_1_1⁶ + c_1_0⁸, an element of degree 8

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

1. b_1_0 → c_1_1, 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_2_4 → 0, an element of degree 2
5. b_2_5 → c_1_2² + c_1_1·c_1_2, an element of degree 2
6. b_3_8 → 0, an element of degree 3
7. b_4_9 → 0, an element of degree 4
8. b_4_10 → 0, an element of degree 4
9. b_4_13 → 0, an element of degree 4
10. b_5_19 → 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 5
11. b_5_20 → 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 5
12. b_5_21 → 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 5
13. b_6_30 → 0, an element of degree 6
14. b_6_31 → 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_2² + c_1_0⁴·c_1_1·c_1_2, an element of degree 6
15. b_7_41 → 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 7
16. b_8_53 → 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_2⁴
       + c_1_0⁴·c_1_1²·c_1_2², an element of degree 8
17. b_8_54 → 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_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1⁴, an element of degree 8
18. c_8_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_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⁸, an element of degree 8

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

1. b_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_2_4 → c_1_2² + c_1_1·c_1_2, an element of degree 2
5. b_2_5 → 0, an element of degree 2
6. b_3_8 → c_1_2·c_1_3² + c_1_2²·c_1_3 + c_1_0·c_1_1² + c_1_0²·c_1_1, an element of degree 3
7. b_4_9 → 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_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 4
8. b_4_10 → 0, an element of degree 4
9. b_4_13 → c_1_3⁴ + c_1_2²·c_1_3² + c_1_1²·c_1_3² + c_1_1²·c_1_2·c_1_3 + c_1_0·c_1_1³
      + c_1_0²·c_1_1², an element of degree 4
10. b_5_19 → c_1_1·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_3² + c_1_1³·c_1_2·c_1_3, an element of degree 5
11. b_5_20 → 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_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 5
12. b_5_21 → c_1_2³·c_1_3² + 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_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_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 5
13. b_6_30 → 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_3⁴ + c_1_1²·c_1_2·c_1_3³ + c_1_1⁴·c_1_2·c_1_3 + c_1_1⁵·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_2⁴
       + c_1_0·c_1_1²·c_1_2·c_1_3² + c_1_0·c_1_1²·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_2 + c_1_0·c_1_1⁵ + c_1_0²·c_1_2²·c_1_3²
       + c_1_0²·c_1_2³·c_1_3 + c_1_0²·c_1_2⁴ + c_1_0²·c_1_1·c_1_2·c_1_3²
       + c_1_0²·c_1_1·c_1_2²·c_1_3 + c_1_0²·c_1_1²·c_1_3² + c_1_0²·c_1_1²·c_1_2²
       + c_1_0²·c_1_1³·c_1_3 + 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², an element of degree 6
14. b_6_31 → 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_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_2·c_1_3²
       + c_1_0·c_1_1²·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_2²·c_1_3² + c_1_0²·c_1_2³·c_1_3 + c_1_0²·c_1_2⁴
       + c_1_0²·c_1_1·c_1_2·c_1_3² + c_1_0²·c_1_1·c_1_2²·c_1_3
       + c_1_0²·c_1_1²·c_1_3² + c_1_0²·c_1_1²·c_1_2² + c_1_0²·c_1_1³·c_1_3
       + 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, an element of degree 6
15. b_7_41 → 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_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_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_2²·c_1_3⁴ + c_1_0·c_1_2⁴·c_1_3²
       + 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_3⁴ + c_1_0²·c_1_2⁴·c_1_3 + c_1_0²·c_1_1⁵ + c_1_0³·c_1_1⁴
       + 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_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 7
16. b_8_53 → 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_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_1⁴·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_1⁷·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_2⁴·c_1_3²
       + c_1_0·c_1_1·c_1_2⁵·c_1_3 + c_1_0·c_1_1·c_1_2⁶ + c_1_0·c_1_1²·c_1_2·c_1_3⁴
       + c_1_0·c_1_1²·c_1_2³·c_1_3² + c_1_0·c_1_1²·c_1_2⁵ + c_1_0·c_1_1³·c_1_3⁴
       + c_1_0·c_1_1³·c_1_2³·c_1_3 + 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_3² + c_1_0·c_1_1⁵·c_1_2·c_1_3 + 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_3⁴
       + c_1_0²·c_1_2⁴·c_1_3² + c_1_0²·c_1_2⁶ + c_1_0²·c_1_1·c_1_2·c_1_3⁴
       + c_1_0²·c_1_1·c_1_2⁴·c_1_3 + c_1_0²·c_1_1·c_1_2⁵ + c_1_0²·c_1_1²·c_1_3⁴
       + c_1_0²·c_1_1²·c_1_2³·c_1_3 + c_1_0²·c_1_1²·c_1_2⁴
       + c_1_0²·c_1_1³·c_1_2·c_1_3² + c_1_0²·c_1_1³·c_1_2²·c_1_3
       + c_1_0²·c_1_1³·c_1_2³ + c_1_0²·c_1_1⁴·c_1_2·c_1_3 + c_1_0²·c_1_1⁴·c_1_2²
       + c_1_0²·c_1_1⁵·c_1_3 + 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_3² + c_1_0⁴·c_1_2³·c_1_3
       + c_1_0⁴·c_1_2⁴ + c_1_0⁴·c_1_1·c_1_2·c_1_3² + c_1_0⁴·c_1_1·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_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, an element of degree 8
17. b_8_54 → 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_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_1³·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_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_2³·c_1_3⁴
       + c_1_0·c_1_2⁶·c_1_3 + c_1_0·c_1_1·c_1_2²·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁵·c_1_3
       + c_1_0·c_1_1²·c_1_2·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0·c_1_1³·c_1_2²·c_1_3² + c_1_0·c_1_1³·c_1_2³·c_1_3
       + c_1_0·c_1_1³·c_1_2⁴ + c_1_0·c_1_1⁵·c_1_3² + c_1_0·c_1_1⁵·c_1_2²
       + c_1_0·c_1_1⁶·c_1_3 + c_1_0·c_1_1⁷ + c_1_0²·c_1_2²·c_1_3⁴
       + c_1_0²·c_1_2⁴·c_1_3² + 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_3² + c_1_0²·c_1_1³·c_1_2²·c_1_3
       + 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_3² + c_1_0⁴·c_1_2³·c_1_3 + c_1_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_3² + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1³·c_1_3
       + 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 8
18. c_8_55 → 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_1³·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_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_2²·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁵·c_1_3 + c_1_0·c_1_1·c_1_2⁶ + c_1_0·c_1_1²·c_1_2³·c_1_3²
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3 + c_1_0·c_1_1²·c_1_2⁵
       + c_1_0·c_1_1³·c_1_2²·c_1_3² + c_1_0·c_1_1³·c_1_2³·c_1_3
       + 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_3⁴ + c_1_0²·c_1_1²·c_1_2³·c_1_3
       + c_1_0²·c_1_1³·c_1_2³ + c_1_0²·c_1_1⁴·c_1_2·c_1_3 + c_1_0²·c_1_1⁵·c_1_3
       + 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_3⁴ + c_1_0⁴·c_1_2³·c_1_3
       + c_1_0⁴·c_1_1²·c_1_2·c_1_3 + c_1_0⁴·c_1_1³·c_1_3 + 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⁸, an element of degree 8

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

1. b_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_2_4 → 0, an element of degree 2
5. b_2_5 → c_1_2² + c_1_1·c_1_2, an element of degree 2
6. b_3_8 → 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_1²
      + c_1_0²·c_1_1, an element of degree 3
7. b_4_9 → c_1_1·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_3
      + c_1_0·c_1_1³ + c_1_0²·c_1_1², an element of degree 4
8. b_4_10 → 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_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 4
9. b_4_13 → 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_0·c_1_1·c_1_2²
      + c_1_0·c_1_1²·c_1_2, an element of degree 4
10. b_5_19 → c_1_2³·c_1_3² + 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_2·c_1_3 + c_1_1⁴·c_1_3 + c_1_0²·c_1_1·c_1_2² + c_1_0²·c_1_1²·c_1_2, an element of degree 5
11. b_5_20 → c_1_1²·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_3
       + c_1_0·c_1_1⁴ + c_1_0²·c_1_1³, an element of degree 5
12. b_5_21 → 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_1⁴
       + c_1_0⁴·c_1_1, an element of degree 5
13. b_6_30 → 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_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_3 + 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 6
14. b_6_31 → 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_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_2³·c_1_3² + c_1_0·c_1_2⁴·c_1_3
       + c_1_0·c_1_1·c_1_2²·c_1_3² + c_1_0·c_1_1²·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_2²·c_1_3² + c_1_0²·c_1_2³·c_1_3
       + c_1_0²·c_1_2⁴ + c_1_0²·c_1_1·c_1_2·c_1_3² + c_1_0²·c_1_1²·c_1_3²
       + c_1_0²·c_1_1²·c_1_2·c_1_3 + c_1_0²·c_1_1³·c_1_3 + c_1_0²·c_1_1³·c_1_2
       + c_1_0²·c_1_1⁴ + c_1_0³·c_1_1·c_1_2² + c_1_0³·c_1_1²·c_1_2 + c_1_0⁴·c_1_2²
       + c_1_0⁴·c_1_1·c_1_2 + c_1_0⁴·c_1_1², an element of degree 6
15. b_7_41 → c_1_1·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_3⁵ + c_1_1²·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_1⁵·c_1_3²
       + c_1_1⁶·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_2²·c_1_3² + c_1_0·c_1_1²·c_1_2⁴
       + c_1_0·c_1_1³·c_1_2·c_1_3² + c_1_0·c_1_1³·c_1_2²·c_1_3
       + c_1_0·c_1_1⁴·c_1_2·c_1_3 + c_1_0·c_1_1⁵·c_1_2 + c_1_0·c_1_1⁶
       + 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_2²·c_1_3²
       + c_1_0²·c_1_1²·c_1_2·c_1_3² + c_1_0²·c_1_1²·c_1_2²·c_1_3
       + c_1_0²·c_1_1³·c_1_3² + c_1_0²·c_1_1³·c_1_2·c_1_3 + c_1_0²·c_1_1⁴·c_1_3
       + c_1_0²·c_1_1⁵ + c_1_0³·c_1_1⁴ + 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_2² + c_1_0⁴·c_1_1²·c_1_3
       + 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 7
16. b_8_53 → 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_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_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_2·c_1_3² + c_1_1⁶·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_2²·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁴·c_1_3² + c_1_0·c_1_1·c_1_2⁵·c_1_3
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3 + c_1_0·c_1_1³·c_1_3⁴ + c_1_0·c_1_1³·c_1_2³·c_1_3
       + c_1_0·c_1_1⁴·c_1_2·c_1_3² + c_1_0·c_1_1⁴·c_1_2²·c_1_3
       + c_1_0·c_1_1⁵·c_1_2·c_1_3 + c_1_0·c_1_1⁵·c_1_2² + c_1_0·c_1_1⁶·c_1_3
       + c_1_0·c_1_1⁶·c_1_2 + c_1_0²·c_1_2²·c_1_3⁴ + c_1_0²·c_1_2⁴·c_1_3²
       + c_1_0²·c_1_2⁶ + c_1_0²·c_1_1·c_1_2·c_1_3⁴ + c_1_0²·c_1_1·c_1_2⁴·c_1_3
       + c_1_0²·c_1_1·c_1_2⁵ + c_1_0²·c_1_1²·c_1_3⁴
       + c_1_0²·c_1_1²·c_1_2²·c_1_3² + c_1_0²·c_1_1³·c_1_2³
       + c_1_0²·c_1_1⁴·c_1_3² + c_1_0²·c_1_1⁴·c_1_2·c_1_3 + c_1_0²·c_1_1⁴·c_1_2²
       + c_1_0⁴·c_1_2²·c_1_3² + c_1_0⁴·c_1_2³·c_1_3 + c_1_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1·c_1_2·c_1_3² + c_1_0⁴·c_1_1²·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_2·c_1_3 + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1³·c_1_3
       + c_1_0⁵·c_1_1·c_1_2² + c_1_0⁵·c_1_1²·c_1_2, an element of degree 8
17. b_8_54 → 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_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_1⁴·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_0·c_1_2⁵·c_1_3² + c_1_0·c_1_2⁶·c_1_3 + c_1_0·c_1_1·c_1_2²·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁴·c_1_3² + c_1_0·c_1_1·c_1_2⁵·c_1_3
       + c_1_0·c_1_1²·c_1_2·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁴·c_1_3 + c_1_0·c_1_1³·c_1_3⁴
       + c_1_0·c_1_1³·c_1_2²·c_1_3² + c_1_0·c_1_1³·c_1_2³·c_1_3
       + c_1_0·c_1_1⁴·c_1_2·c_1_3² + c_1_0·c_1_1⁶·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_2⁶ + c_1_0²·c_1_1·c_1_2⁴·c_1_3
       + c_1_0²·c_1_1·c_1_2⁵ + c_1_0²·c_1_1²·c_1_3⁴ + c_1_0²·c_1_1³·c_1_2·c_1_3²
       + c_1_0²·c_1_1³·c_1_2²·c_1_3 + c_1_0²·c_1_1³·c_1_2³
       + c_1_0²·c_1_1⁴·c_1_2·c_1_3 + c_1_0²·c_1_1⁵·c_1_3 + 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², an element of degree 8
18. c_8_55 → 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_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_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_2²·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁴·c_1_3² + c_1_0·c_1_1·c_1_2⁵·c_1_3 + c_1_0·c_1_1·c_1_2⁶
       + c_1_0·c_1_1²·c_1_2·c_1_3⁴ + c_1_0·c_1_1²·c_1_2³·c_1_3²
       + c_1_0·c_1_1²·c_1_2⁵ + c_1_0·c_1_1³·c_1_2²·c_1_3²
       + c_1_0·c_1_1³·c_1_2³·c_1_3 + 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_3 + c_1_0²·c_1_2²·c_1_3⁴ + c_1_0²·c_1_2⁵·c_1_3
       + c_1_0²·c_1_2⁶ + c_1_0²·c_1_1·c_1_2·c_1_3⁴ + c_1_0²·c_1_1·c_1_2⁵
       + c_1_0²·c_1_1²·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2²·c_1_3²
       + c_1_0²·c_1_1²·c_1_2³·c_1_3 + c_1_0²·c_1_1³·c_1_2·c_1_3²
       + c_1_0²·c_1_1³·c_1_2³ + c_1_0²·c_1_1⁴·c_1_3² + 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_3⁴ + c_1_0⁴·c_1_2²·c_1_3² + c_1_0⁴·c_1_1·c_1_2·c_1_3²
       + c_1_0⁴·c_1_1·c_1_2²·c_1_3 + c_1_0⁴·c_1_1²·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_2·c_1_3 + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1³·c_1_2
       + c_1_0⁸, an element of degree 8

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128