David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 762 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

• The group has 3 minimal generators and exponent 4.
• It is non-abelian.
• It has p-Rank 4.
• Its center has rank 2.
• It has a unique conjugacy class of maximal elementary abelian subgroups, which is of rank 4.

Structure of the cohomology ring

General information

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

  ( − 1) · (t4  −  t3  +  t2  +  1) · (t5  −  2·t4  −  1)

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

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

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. a_1_2, a nilpotent element of degree 1
4. a_2_3, a nilpotent element of degree 2
5. b_2_4, an element of degree 2
6. b_2_5, an element of degree 2
7. a_3_7, a nilpotent element of degree 3
8. b_3_8, an element of degree 3
9. a_4_7, a nilpotent element of degree 4
10. b_4_11, an element of degree 4
11. b_4_12, an element of degree 4
12. b_4_13, an element of degree 4
13. c_4_14, a Duflot regular element of degree 4
14. a_5_18, a nilpotent element of degree 5
15. a_5_19, a nilpotent element of degree 5
16. b_5_20, an element of degree 5
17. b_5_22, an element of degree 5
18. b_6_33, an element of degree 6
19. b_6_34, an element of degree 6
20. b_7_42, an element of degree 7
21. b_8_56, an element of degree 8
22. c_8_58, 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 165 minimal relations of maximal degree 16:

1. a_1_1² + a_1_0·a_1_1 + a_1_0²
2. a_1_1·a_1_2
3. a_1_0·a_1_2
4. a_1_0³
5. a_1_2³
6. a_2_3·a_1_1
7. a_2_3·a_1_0
8. b_2_5·a_1_0 + b_2_4·a_1_1
9. b_2_4·a_1_0·a_1_1 + a_2_3·a_1_2²
10. b_2_4·a_1_0²
11. a_1_1·a_3_7
12. a_1_0·a_3_7
13. a_1_2·a_3_7 + a_2_3² + a_2_3·a_1_2²
14. a_1_1·b_3_8 + b_2_5·a_1_2²
15. a_1_0·b_3_8 + b_2_4·a_1_2²
16. a_2_3²·a_1_2
17. b_2_4·b_2_5·a_1_1 + b_2_4²·a_1_1
18. a_1_2²·b_3_8
19. a_4_7·a_1_1
20. a_4_7·a_1_0
21. a_4_7·a_1_2 + a_2_3·a_3_7
22. b_4_11·a_1_2 + b_2_4·a_3_7 + b_2_4·b_2_5·a_1_2 + b_2_4²·a_1_2 + a_2_3·b_2_4·a_1_2
23. b_4_12·a_1_0 + b_4_11·a_1_1 + b_4_11·a_1_0 + a_2_3·b_2_4·a_1_2
24. b_4_12·a_1_2 + b_2_5·a_3_7 + b_2_4·a_3_7 + b_2_4·b_2_5·a_1_2 + b_2_4²·a_1_2 + a_2_3·b_3_8
       + a_2_3·b_2_5·a_1_2
25. b_4_13·a_1_1 + b_4_12·a_1_1 + b_2_5²·a_1_1 + b_2_4²·a_1_1 + a_2_3·b_2_5·a_1_2
26. b_4_13·a_1_0 + b_4_11·a_1_1 + b_4_11·a_1_0 + b_2_4²·a_1_1 + b_2_4²·a_1_0
27. b_4_13·a_1_2 + b_2_5·a_3_7 + b_2_5²·a_1_2 + b_2_4·a_3_7 + b_2_4·b_2_5·a_1_2
       + a_2_3·b_2_5·a_1_2 + a_2_3·b_2_4·a_1_2
28. a_3_7² + c_4_14·a_1_2²
29. a_3_7² + a_2_3·a_4_7
30. b_4_11·a_1_0·a_1_1 + a_2_3³
31. b_4_11·a_1_0²
32. b_2_4·a_4_7 + a_2_3·b_4_11 + a_2_3·b_2_4·b_2_5 + a_2_3·b_2_4² + a_2_3·a_1_2·b_3_8
33. a_3_7·b_3_8 + b_2_5·a_4_7 + b_2_4·a_4_7 + a_2_3·b_4_12 + a_2_3·b_2_4·b_2_5
       + a_2_3·b_2_4² + a_2_3²·b_2_4 + a_2_3³
34. b_2_5·b_4_11 + b_2_4·b_4_13 + b_2_4·b_4_11 + b_2_4²·b_2_5 + b_2_4³ + b_2_5·a_1_2·b_3_8
       + b_2_4·a_1_2·b_3_8 + b_2_4·b_2_5·a_1_2² + b_2_4²·a_1_2² + a_2_3²·b_2_4
35. b_2_5·a_4_7 + b_2_4·a_4_7 + a_2_3·b_4_13 + a_2_3·b_2_5² + a_2_3·b_2_4·b_2_5 + a_2_3³
36. a_1_2·a_5_18 + b_2_4·b_2_5·a_1_2² + b_2_4²·a_1_2² + a_2_3²·b_2_5
37. a_1_1·a_5_19 + a_1_0·a_5_18 + a_2_3·a_1_2·b_3_8
38. a_1_1·a_5_18 + a_1_0·a_5_19 + a_1_0·a_5_18 + a_2_3³
39. a_1_2·a_5_19 + b_2_4·b_2_5·a_1_2² + b_2_4²·a_1_2² + a_2_3²·b_2_5 + a_2_3²·b_2_4
       + a_2_3³
40. a_1_1·b_5_20 + a_1_1·a_5_18 + a_2_3²·b_2_5 + a_2_3³
41. a_1_0·b_5_20 + a_1_0·a_5_18 + a_2_3²·b_2_4 + a_2_3³
42. a_3_7·b_3_8 + a_1_2·b_5_20 + b_2_4²·a_1_2² + a_2_3·a_1_2·b_3_8 + a_2_3²·b_2_5
43. a_1_1·b_5_22 + a_1_1·a_5_18 + b_2_4·b_2_5·a_1_2² + a_2_3²·b_2_5
44. a_1_0·b_5_22 + a_1_0·a_5_18 + b_2_4·b_2_5·a_1_2² + a_2_3²·b_2_4 + a_2_3³
45. b_3_8² + b_2_4·b_2_5² + b_2_4²·b_2_5 + a_3_7·b_3_8 + a_1_2·b_5_22 + b_2_5·a_1_2·b_3_8
       + b_2_4·a_1_2·b_3_8 + b_2_5²·a_1_2² + b_2_4²·a_1_2² + a_2_3·a_1_2·b_3_8
       + a_2_3²·b_2_5 + a_2_3³
46. a_4_7·a_3_7 + a_2_3·c_4_14·a_1_2
47. b_4_11·a_3_7 + b_2_4·b_2_5·a_3_7 + b_2_4²·a_3_7 + a_2_3·b_2_4·a_3_7 + a_2_3²·b_3_8
       + b_2_4·c_4_14·a_1_2
48. b_4_12·a_3_7 + a_4_7·b_3_8 + b_2_4·b_2_5·a_3_7 + b_2_4²·a_3_7 + a_2_3·b_2_5·a_3_7
       + a_2_3²·b_3_8 + b_2_5·c_4_14·a_1_2 + b_2_4·c_4_14·a_1_2
49. b_2_4·b_4_12·a_1_1 + a_2_3·b_2_4·b_2_5·a_1_2 + a_2_3²·b_3_8
50. b_4_13·a_3_7 + b_2_5²·a_3_7 + b_2_4·b_2_5·a_3_7 + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4·a_3_7
       + b_2_5·c_4_14·a_1_2 + b_2_4·c_4_14·a_1_2
51. a_2_3²·b_3_8 + a_1_0²·a_5_18
52. a_2_3·a_5_18 + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4·b_2_5·a_1_2 + a_2_3·b_2_4²·a_1_2
53. b_2_5·a_5_18 + b_2_5·b_4_12·a_1_1 + b_2_5²·a_3_7 + b_2_4·a_5_19 + b_2_4·a_5_18
       + b_2_4²·a_3_7 + a_2_3·b_2_4·a_3_7 + a_2_3·b_2_4·b_2_5·a_1_2 + a_2_3·b_2_4²·a_1_2
       + a_2_3²·b_3_8
54. a_2_3·a_5_19 + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4·a_3_7 + a_2_3·b_2_4·b_2_5·a_1_2
       + a_2_3·b_2_4²·a_1_2
55. b_4_13·b_3_8 + b_4_11·b_3_8 + b_2_5·b_5_20 + b_2_5²·b_3_8 + b_2_4²·b_3_8 + b_2_5·a_5_18
       + b_2_5·b_4_12·a_1_1 + b_2_5³·a_1_1 + b_2_4²·b_2_5·a_1_2 + b_2_4³·a_1_1
56. b_4_11·b_3_8 + b_2_4·b_5_20 + b_2_4·b_2_5·b_3_8 + b_2_4²·b_3_8 + b_2_4·a_5_18
       + b_2_4·b_4_11·a_1_1 + b_2_4·b_4_11·a_1_0 + b_2_4·b_2_5²·a_1_2
       + a_2_3·b_2_4·b_2_5·a_1_2 + a_2_3²·b_3_8
57. a_4_7·b_3_8 + a_2_3·b_5_20 + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4²·a_1_2
58. a_1_2²·b_5_22 + a_2_3²·b_3_8
59. b_6_33·a_1_1 + b_2_5·b_4_12·a_1_1 + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4·b_2_5·a_1_2
       + b_2_4·c_4_14·a_1_1
60. b_6_33·a_1_0 + b_2_4·b_4_11·a_1_1 + b_2_4·b_4_11·a_1_0 + b_2_4³·a_1_1 + b_2_4³·a_1_0
       + a_2_3·b_2_4·a_3_7 + a_2_3²·b_3_8 + a_1_0²·a_5_19 + b_2_4·c_4_14·a_1_0
61. b_6_33·a_1_2 + b_2_5²·a_3_7 + b_2_4²·a_3_7 + a_2_3·b_5_22 + a_2_3·b_2_5·b_3_8
       + a_2_3·b_2_5·a_3_7 + a_2_3·b_2_4·b_2_5·a_1_2 + a_2_3·b_2_4²·a_1_2 + a_2_3²·b_3_8
       + b_2_4·c_4_14·a_1_2
62. b_6_34·a_1_1 + b_2_5·b_4_12·a_1_1 + b_2_5³·a_1_1 + b_2_5·c_4_14·a_1_1
       + b_2_4·c_4_14·a_1_1
63. b_6_34·a_1_0 + b_2_4·b_4_11·a_1_1 + b_2_4·b_4_11·a_1_0 + b_2_4³·a_1_0
       + a_2_3·b_2_4²·a_1_2 + a_2_3²·b_3_8 + a_1_0²·a_5_19 + b_2_4·c_4_14·a_1_1
       + b_2_4·c_4_14·a_1_0
64. b_6_34·a_1_2 + a_4_7·b_3_8 + b_2_5²·a_3_7 + b_2_5³·a_1_2 + b_2_4²·a_3_7 + a_2_3·b_5_22
       + a_2_3·b_2_5·b_3_8 + a_2_3·b_2_4·b_3_8 + a_2_3²·b_3_8 + b_2_5·c_4_14·a_1_2
       + b_2_4·c_4_14·a_1_2
65. a_4_7² + a_2_3²·c_4_14
66. b_4_11² + b_2_4²·b_2_5² + b_2_4⁴ + a_2_3²·b_2_4² + b_2_4²·c_4_14
67. a_4_7·b_4_12 + a_4_7·b_4_11 + c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5·c_4_14
       + b_2_4·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2²
68. a_4_7·b_4_11 + a_2_3·b_2_4·b_4_13 + a_2_3·b_2_4·b_2_5² + a_2_3·b_2_4²·b_2_5
       + a_2_3²·b_4_12 + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + a_2_3·b_2_4·c_4_14
       + b_2_5·c_4_14·a_1_2² + b_2_4·c_4_14·a_1_2²
69. a_4_7·b_4_13 + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5³ + a_2_3·b_2_4·b_2_5²
       + a_2_3·b_2_5·c_4_14 + a_2_3·b_2_4·c_4_14 + a_2_3·c_4_14·a_1_2²
70. b_4_13² + b_2_5⁴ + b_2_4²·b_2_5² + a_2_3²·b_2_5² + a_2_3²·b_2_4²
       + b_2_5²·c_4_14 + b_2_4²·c_4_14
71. b_4_11·b_4_13 + b_2_4·b_2_5³ + b_2_4²·b_4_13 + b_2_4²·b_2_5² + a_4_7·b_4_11
       + b_2_5²·a_1_2·b_3_8 + b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_13
       + a_2_3·b_2_5·b_4_12 + a_2_3·b_2_5³ + a_2_3·b_2_4·b_4_12 + a_2_3·b_2_4³
       + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_4·a_1_2·b_3_8 + a_2_3²·b_4_12
       + a_2_3²·b_2_4·b_2_5 + b_2_4·b_2_5·c_4_14 + b_2_4²·c_4_14 + a_2_3·b_2_4·c_4_14
       + b_2_5·c_4_14·a_1_2²
72. a_3_7·a_5_18 + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + b_2_5·c_4_14·a_1_2²
73. b_2_4·a_1_0·a_5_18 + a_2_3·b_2_4·a_1_2·b_3_8
74. a_3_7·a_5_19 + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + b_2_5·c_4_14·a_1_2²
       + b_2_4·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2²
75. a_3_7·b_5_20 + a_2_3²·b_4_12 + a_2_3²·b_2_4·b_2_5 + c_4_14·a_1_2·b_3_8
       + b_2_4·c_4_14·a_1_2²
76. b_3_8·b_5_20 + b_4_12² + b_2_4²·b_2_5² + b_2_4⁴ + b_3_8·a_5_18
       + b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5² + a_2_3·b_2_4²·b_2_5
       + b_2_4²·b_2_5·a_1_2² + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_4² + b_2_5²·c_4_14
       + b_2_4²·c_4_14
77. b_4_12² + b_2_4·b_2_5·b_4_13 + b_2_4·b_2_5³ + b_2_4⁴ + a_3_7·b_5_22 + a_4_7·b_4_11
       + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5·b_4_12 + a_2_3·b_2_5³ + a_2_3·b_2_4·b_4_12
       + a_2_3·b_2_4·b_2_5² + a_2_3·b_2_4²·b_2_5 + a_2_3·b_2_4³ + b_2_5³·a_1_2²
       + b_2_4·a_1_0·a_5_19 + b_2_4²·b_2_5·a_1_2² + b_2_4³·a_1_2²
       + a_2_3·b_2_5·a_1_2·b_3_8 + b_2_5²·c_4_14 + b_2_4²·c_4_14 + c_4_14·a_1_2·b_3_8
       + a_2_3·b_2_4·c_4_14 + b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2²
78. b_3_8·a_5_19 + b_3_8·a_5_18 + a_4_7·b_4_11 + b_2_5·a_1_2·b_5_22
       + b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5·b_4_12 + a_2_3·b_2_5³
       + a_2_3·b_2_4·b_4_12 + a_2_3·b_2_4³ + b_2_5³·a_1_2² + b_2_4²·b_2_5·a_1_2²
       + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_4·a_1_2·b_3_8 + a_2_3²·b_2_5²
       + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + a_2_3·b_2_4·c_4_14
79. b_3_8·a_5_18 + a_4_7·b_4_11 + b_2_4·a_1_2·b_5_22 + b_2_4²·a_1_2·b_3_8
       + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5·b_4_12 + a_2_3·b_2_5³ + a_2_3·b_2_4·b_4_12
       + a_2_3·b_2_4³ + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_4_12 + a_2_3²·b_2_5²
       + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + a_2_3·b_2_4·c_4_14 + b_2_5·c_4_14·a_1_2²
       + b_2_4·c_4_14·a_1_2²
80. b_2_4·a_1_0·a_5_19 + a_2_3·a_1_2·b_5_22 + a_2_3·b_2_4·a_1_2·b_3_8 + a_2_3²·b_4_12
       + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4² + b_2_5·c_4_14·a_1_2²
       + b_2_4·c_4_14·a_1_2²
81. b_4_12² + b_2_4·b_2_5·b_4_13 + b_2_4·b_2_5³ + b_2_4⁴ + a_2_3·b_6_33
       + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5³ + a_2_3·b_2_4·b_4_12 + a_2_3·b_2_4³
       + b_2_5³·a_1_2² + b_2_4·a_1_0·a_5_19 + b_2_4²·b_2_5·a_1_2² + b_2_4³·a_1_2²
       + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5² + b_2_5²·c_4_14 + b_2_4²·c_4_14
       + c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14 + a_2_3·c_4_14·a_1_2²
82. b_4_12·b_4_13 + b_4_11·b_4_12 + b_2_5·b_6_34 + b_2_5·b_6_33 + b_2_5²·b_4_12 + b_2_5⁴
       + b_2_4·b_2_5·b_4_12 + b_2_4²·b_4_12 + b_2_4²·b_2_5² + b_2_4³·b_2_5 + b_3_8·a_5_19
       + b_3_8·a_5_18 + b_2_4·b_2_5·a_1_2·b_3_8 + b_2_4²·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_12
       + a_2_3·b_2_4·b_2_5² + b_2_5³·a_1_2² + b_2_4·a_1_0·a_5_19 + b_2_4³·a_1_2²
       + a_2_3²·b_2_4·b_2_5 + b_2_4·b_2_5·c_4_14 + b_2_4·c_4_14·a_1_2²
83. b_4_11·b_4_12 + b_2_4·b_6_34 + b_2_4·b_6_33 + b_2_4·b_2_5·b_4_12 + b_2_4·b_2_5³
       + b_2_4³·b_2_5 + b_2_4⁴ + b_3_8·a_5_18 + b_2_4·b_2_5·a_1_2·b_3_8 + b_2_4²·a_1_2·b_3_8
       + a_2_3·b_2_4·b_4_12 + a_2_3·b_2_4·b_2_5² + a_2_3·b_2_4²·b_2_5 + a_2_3·b_2_4³
       + b_2_4·a_1_0·a_5_19 + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5² + a_2_3²·b_2_4·b_2_5
       + a_2_3²·b_2_4² + b_2_4²·c_4_14 + b_2_4·c_4_14·a_1_2²
84. b_4_12² + b_2_4·b_2_5·b_4_13 + b_2_4·b_2_5³ + b_2_4⁴ + a_4_7·b_4_11 + a_2_3·b_6_34
       + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_4²·b_2_5 + b_2_5³·a_1_2² + b_2_4²·b_2_5·a_1_2²
       + b_2_4³·a_1_2² + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5² + a_2_3²·b_2_4·b_2_5
       + b_2_5²·c_4_14 + b_2_4²·c_4_14 + a_2_3·b_2_5·c_4_14 + b_2_5·c_4_14·a_1_2²
       + a_2_3·c_4_14·a_1_2²
85. a_1_1·b_7_42 + b_2_4²·b_2_5·a_1_2² + a_2_3·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_4·b_2_5
       + a_2_3·c_4_14·a_1_2²
86. a_1_0·b_7_42 + b_2_4·a_1_0·a_5_19 + b_2_4³·a_1_2² + a_2_3·b_2_4·a_1_2·b_3_8
       + a_2_3²·b_2_4·b_2_5 + a_2_3·c_4_14·a_1_2²
87. b_4_12² + b_2_4·b_2_5·b_4_13 + b_2_4·b_2_5³ + b_2_4⁴ + b_3_8·a_5_19 + b_3_8·a_5_18
       + a_1_2·b_7_42 + b_2_4²·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_13 + a_2_3·b_2_5·b_4_12
       + a_2_3·b_2_5³ + a_2_3·b_2_4·b_2_5² + b_2_5³·a_1_2² + b_2_4·a_1_0·a_5_19
       + a_2_3²·b_2_5² + a_2_3²·b_2_4² + b_2_5²·c_4_14 + b_2_4²·c_4_14 + a_2_3²·c_4_14
88. a_4_7·a_5_18 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·a_3_7
       + a_2_3·b_2_5·c_4_14·a_1_2
89. a_4_7·a_5_19 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·a_3_7
       + a_2_3·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4·c_4_14·a_1_2
90. b_4_13·a_5_18 + b_4_11·a_5_19 + b_2_5²·b_4_12·a_1_1 + b_2_5³·a_3_7 + b_2_4²·a_5_19
       + b_2_4²·b_2_5·a_3_7 + b_2_5²·c_4_14·a_1_2 + b_2_5²·c_4_14·a_1_1
       + b_2_4²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_1_1 + a_2_3·b_2_4·c_4_14·a_1_2
91. a_4_7·b_5_20 + a_2_3·b_2_4²·a_3_7 + a_2_3·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·a_1_2
92. b_4_13·b_5_20 + b_2_5²·b_5_20 + b_2_4·b_2_5·b_5_20 + b_4_13·a_5_18 + b_2_5³·a_3_7
       + b_2_4·b_2_5·a_5_19 + b_2_4²·b_4_11·a_1_1 + b_2_4²·b_4_11·a_1_0
       + b_2_4²·b_2_5·a_3_7 + b_2_4⁴·a_1_1 + b_2_4⁴·a_1_0 + a_2_3·b_4_12·b_3_8
       + a_2_3·b_2_5·b_5_20 + a_2_3·b_2_4·b_5_20 + a_2_3·b_2_4·b_2_5·b_3_8
       + a_2_3·b_2_4²·b_3_8 + a_2_3·b_2_5³·a_1_2 + a_2_3·b_2_4·b_2_5·a_3_7
       + a_2_3·b_2_4²·b_2_5·a_1_2 + a_2_3·b_2_4³·a_1_2 + b_2_5·c_4_14·b_3_8
       + b_2_4·c_4_14·b_3_8 + b_2_5²·c_4_14·a_1_1 + b_2_4²·c_4_14·a_1_0
93. b_4_11·b_5_20 + b_2_4·b_2_5·b_5_20 + b_2_4²·b_5_20 + b_4_11·a_5_18 + b_2_4²·a_5_19
       + b_2_4²·b_4_11·a_1_1 + b_2_4²·b_4_11·a_1_0 + b_2_4³·a_3_7 + b_2_4⁴·a_1_1
       + b_2_4⁴·a_1_0 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·a_3_7
       + a_2_3·b_2_4²·b_2_5·a_1_2 + a_2_3·b_2_4³·a_1_2 + b_2_4·c_4_14·b_3_8
       + b_2_4²·c_4_14·a_1_1 + b_2_4²·c_4_14·a_1_0
94. b_4_13·a_5_19 + b_4_13·a_5_18 + b_4_12·a_5_19 + b_4_12·a_5_18 + b_2_5²·a_5_19
       + b_2_5²·b_4_12·a_1_1 + b_2_5³·a_3_7 + b_2_4·b_2_5·a_5_19 + b_2_4³·a_3_7
       + a_2_3·b_4_12·b_3_8 + a_2_3·b_2_5·b_5_22 + a_2_3·b_2_4²·b_3_8 + a_2_3·b_2_5²·a_3_7
       + a_2_3·b_2_5³·a_1_2 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·b_2_5·a_1_2
       + a_2_3·b_2_4³·a_1_2
95. b_4_13·a_5_18 + b_4_12·a_5_18 + b_2_5²·b_4_12·a_1_1 + b_2_5³·a_3_7
       + b_2_4·b_2_5·a_5_19 + b_2_4²·a_5_19 + b_2_4³·a_3_7 + a_2_3·b_4_12·b_3_8
       + a_2_3·b_2_4·b_5_22 + a_2_3·b_2_4·b_2_5·b_3_8 + a_2_3·b_2_5²·a_3_7
       + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·b_2_5·a_1_2
96. a_2_3²·b_5_22
97. a_1_2·b_3_8·b_5_22 + b_2_4·b_2_5·a_5_19 + b_2_4²·b_2_5²·a_1_2 + b_2_4³·b_2_5·a_1_2
       + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·b_2_5·a_1_2
98. b_6_33·a_3_7 + a_4_7·b_5_22 + a_2_3·b_2_5·b_5_20 + a_2_3·b_2_5²·a_3_7
       + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·a_3_7 + a_2_3·b_2_4²·b_2_5·a_1_2
       + b_2_5²·c_4_14·a_1_2 + b_2_4·c_4_14·a_3_7 + b_2_4²·c_4_14·a_1_2
       + a_2_3·b_2_5·c_4_14·a_1_2
99. b_6_33·b_3_8 + b_4_13·b_5_22 + b_4_12·b_5_22 + b_2_5·b_4_12·b_3_8 + b_2_5²·b_5_22
       + b_2_4·b_2_5·b_5_20 + b_2_4·b_2_5²·b_3_8 + b_2_4²·b_5_22 + b_2_4²·b_5_20
       + b_2_4²·b_2_5·b_3_8 + b_2_4·b_2_5·a_5_19 + b_2_4·b_2_5³·a_1_2 + b_2_4²·a_5_19
       + b_2_4²·b_4_11·a_1_1 + b_2_4²·b_4_11·a_1_0 + b_2_4²·b_2_5·a_3_7 + b_2_4³·a_3_7
       + b_2_4³·b_2_5·a_1_2 + a_2_3·b_4_12·b_3_8 + a_2_3·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_3_8
       + a_2_3·b_2_5²·a_3_7 + a_2_3·b_2_5³·a_1_2 + a_2_3·b_2_4·b_2_5·a_3_7
       + a_2_3·b_2_4²·a_3_7 + a_2_3·b_2_4³·a_1_2 + b_2_4·c_4_14·b_3_8
100. b_6_34·a_3_7 + a_4_7·b_5_22 + b_2_5³·a_3_7 + a_2_3·b_2_5·b_5_20 + a_2_3·b_2_4·b_5_20
        + a_2_3·b_2_5²·a_3_7 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·b_2_4²·b_2_5·a_1_2
        + a_2_3·b_2_4³·a_1_2 + b_2_5·c_4_14·a_3_7 + b_2_5²·c_4_14·a_1_2 + b_2_4·c_4_14·a_3_7
        + b_2_4²·c_4_14·a_1_2 + a_2_3·c_4_14·b_3_8
101. b_6_34·b_3_8 + b_4_13·b_5_22 + b_4_12·b_5_22 + b_4_12·b_5_20 + b_2_5·b_4_12·b_3_8
        + b_2_5²·b_5_22 + b_2_5³·b_3_8 + b_2_4·b_4_12·b_3_8 + b_2_4·b_2_5·b_5_20
        + b_2_4·b_2_5²·b_3_8 + b_2_4²·b_5_22 + b_2_4²·b_5_20 + b_2_4³·b_3_8 + b_4_12·a_5_18
        + b_2_5²·b_4_12·a_1_1 + b_2_4·b_2_5³·a_1_2 + b_2_4²·a_5_19 + b_2_4²·b_4_11·a_1_1
        + b_2_4²·b_4_11·a_1_0 + b_2_4²·b_2_5·a_3_7 + b_2_4²·b_2_5²·a_1_2 + b_2_4³·a_3_7
        + b_2_4⁴·a_1_1 + b_2_4⁴·a_1_0 + a_2_3·b_4_12·b_3_8 + a_2_3·b_2_5·b_5_20
        + a_2_3·b_2_5²·b_3_8 + a_2_3·b_2_4·b_5_20 + a_2_3·b_2_4²·b_3_8 + a_2_3·b_2_5³·a_1_2
        + a_2_3·b_2_4²·b_2_5·a_1_2 + a_2_3·b_2_4³·a_1_2 + b_2_5²·c_4_14·a_1_1
        + b_2_4²·c_4_14·a_1_0
102. b_4_13·b_5_22 + b_4_11·b_5_22 + b_2_5·b_7_42 + b_2_5²·b_5_20 + b_2_4·b_2_5²·b_3_8
        + b_2_4²·b_5_22 + b_2_4²·b_2_5·b_3_8 + b_4_13·a_5_19 + b_4_12·a_5_19 + b_4_12·a_5_18
        + b_4_11·a_5_18 + b_2_5²·b_4_12·a_1_1 + b_2_5⁴·a_1_2 + b_2_5⁴·a_1_1
        + b_2_4·b_2_5³·a_1_2 + b_2_4²·a_5_18 + b_2_4²·b_2_5·a_3_7 + b_2_4²·b_2_5²·a_1_2
        + b_2_4³·a_3_7 + a_2_3·b_4_12·b_3_8 + a_2_3·b_2_5²·b_3_8 + a_2_3·b_2_4·b_2_5·b_3_8
        + a_2_3·b_2_4²·b_3_8 + a_2_3·b_2_4³·a_1_2 + b_2_5·c_4_14·b_3_8 + b_2_5·c_4_14·a_3_7
        + b_2_5²·c_4_14·a_1_1 + b_2_4²·c_4_14·a_1_1
103. b_4_11·b_5_22 + b_2_4·b_7_42 + b_2_4·b_2_5·b_5_20 + b_2_4²·b_5_22 + b_2_4²·b_2_5·b_3_8
        + b_2_4³·b_3_8 + b_4_13·a_5_18 + b_4_12·a_5_18 + b_4_11·a_5_18 + b_2_5²·b_4_12·a_1_1
        + b_2_5³·a_3_7 + b_2_4·b_2_5·a_5_19 + b_2_4·b_2_5³·a_1_2 + b_2_4²·a_5_19
        + b_2_4²·a_5_18 + b_2_4²·b_2_5·a_3_7 + b_2_4³·b_2_5·a_1_2 + b_2_4⁴·a_1_2
        + b_2_4⁴·a_1_1 + a_2_3·b_2_5·b_5_20 + a_2_3·b_2_4·b_5_20 + a_2_3·b_2_4·b_2_5·b_3_8
        + a_2_3·b_2_4³·a_1_2 + b_2_4·c_4_14·b_3_8 + b_2_4·c_4_14·a_3_7
104. b_4_13·a_5_19 + b_4_13·a_5_18 + b_4_12·a_5_19 + b_4_12·a_5_18 + a_4_7·b_5_22
        + b_2_5²·a_5_19 + b_2_5²·b_4_12·a_1_1 + b_2_5³·a_3_7 + b_2_4·b_2_5·a_5_19
        + b_2_4³·a_3_7 + a_2_3·b_7_42 + a_2_3·b_4_12·b_3_8 + a_2_3·b_2_5·b_5_20
        + a_2_3·b_2_4·b_2_5·b_3_8 + a_2_3·b_2_4·b_2_5·a_3_7 + a_2_3·c_4_14·b_3_8
        + a_2_3·c_4_14·a_3_7 + a_2_3·b_2_5·c_4_14·a_1_2
105. b_8_56·a_1_1 + b_2_5²·b_4_12·a_1_1 + b_2_5⁴·a_1_1 + a_2_3·b_2_5²·a_3_7
        + a_2_3·b_2_5³·a_1_2 + a_2_3·b_2_4·b_2_5·a_3_7
106. b_8_56·a_1_0 + b_2_4²·b_4_11·a_1_1 + b_2_4²·b_4_11·a_1_0 + b_2_4⁴·a_1_0
        + b_2_4²·c_4_14·a_1_1 + b_2_4²·c_4_14·a_1_0
107. b_8_56·a_1_2 + b_4_13·a_5_19 + b_4_12·a_5_19 + a_4_7·b_5_22 + b_2_5²·a_5_19
        + b_2_5³·a_3_7 + b_2_5⁴·a_1_2 + b_2_4·b_2_5·a_5_19 + b_2_4·b_2_5³·a_1_2
        + b_2_4²·a_5_19 + b_2_4³·a_3_7 + b_2_4³·b_2_5·a_1_2 + a_2_3·b_2_4·b_5_20
        + a_2_3·b_2_4·b_2_5·b_3_8 + a_2_3·b_2_4²·b_3_8 + a_2_3·b_2_5³·a_1_2
        + a_2_3·b_2_4²·a_3_7 + a_2_3·b_2_4³·a_1_2 + b_2_4·b_2_5·c_4_14·a_1_2
        + b_2_4²·c_4_14·a_1_2 + a_2_3·c_4_14·b_3_8 + a_2_3·c_4_14·a_3_7
        + a_2_3·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4·c_4_14·a_1_2
108. b_4_11·a_1_0·a_5_18 + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_4²·a_1_2·b_3_8
        + a_2_3²·b_2_4·b_4_12 + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³
        + b_2_4·b_2_5·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2²
109. a_5_19² + a_5_18·a_5_19 + a_5_18² + b_4_11·a_1_0·a_5_19 + b_2_4³·b_2_5·a_1_2²
        + b_2_4⁴·a_1_2² + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_4²·a_1_2·b_3_8
        + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_4·b_4_12 + b_2_4·b_2_5·c_4_14·a_1_2²
110. b_5_20² + a_5_18² + b_2_4³·b_2_5·a_1_2² + b_2_4·b_2_5²·c_4_14
        + b_2_4²·b_2_5·c_4_14 + c_4_14·a_1_2·b_5_22 + b_2_5·c_4_14·a_1_2·b_3_8
        + b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3·b_4_13·c_4_14 + a_2_3·b_4_12·c_4_14
        + a_2_3·b_2_5²·c_4_14 + a_2_3·b_2_4²·c_4_14 + b_2_5²·c_4_14·a_1_2²
        + b_2_4²·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_5·c_4_14
        + a_2_3²·b_2_4·c_4_14 + a_2_3³·c_4_14
111. a_5_19·b_5_22 + a_5_19·b_5_20 + a_5_18·b_5_22 + b_2_4·b_2_5·a_1_2·b_5_22
        + b_2_4·b_2_5²·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4·b_2_5·b_4_12
        + a_2_3·b_2_4·b_2_5³ + a_2_3·b_2_4²·b_4_13 + a_2_3·b_2_4²·b_4_12
        + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4³·b_2_5 + a_2_3·b_2_4⁴ + a_5_19²
        + a_5_18·a_5_19 + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2² + a_2_3²·b_2_4³
        + b_2_5·c_4_14·a_1_2·b_3_8 + b_2_4·b_2_5·c_4_14·a_1_2²
112. a_5_19·b_5_20 + a_5_18·b_5_22 + b_2_4²·a_1_2·b_5_22 + b_2_4²·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4·b_2_5³
        + a_2_3·b_2_4²·b_4_13 + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4²·b_2_5²
        + a_2_3·b_2_4³·b_2_5 + a_2_3·b_2_4⁴ + a_5_19² + a_2_3·b_2_5²·a_1_2·b_3_8
        + a_2_3²·b_2_5³ + b_2_4·c_4_14·a_1_2·b_3_8 + b_2_5²·c_4_14·a_1_2²
        + b_2_4·b_2_5·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8
113. a_5_19·b_5_20 + a_5_18·b_5_20 + a_2_3·b_2_5·b_6_33 + a_2_3·b_2_5²·b_4_12
        + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4·b_2_5³ + a_2_3·b_2_4³·b_2_5 + a_5_19²
        + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2² + a_2_3·b_2_5²·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_4³ + b_2_5·c_4_14·a_1_2·b_3_8
        + b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5·c_4_14 + b_2_5²·c_4_14·a_1_2²
        + b_2_4·b_2_5·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8
114. a_5_18·b_5_20 + a_2_3·b_2_4·b_6_33 + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4²·b_4_12
        + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4⁴ + a_5_19² + a_5_18·a_5_19
        + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2² + a_2_3²·b_2_5·b_4_12
        + a_2_3²·b_2_4²·b_2_5 + b_2_5·c_4_14·a_1_2·b_3_8 + b_2_4·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4²·c_4_14 + b_2_5²·c_4_14·a_1_2²
115. b_5_20² + a_4_7·b_6_33 + a_5_19² + a_5_18·a_5_19 + b_2_4⁴·a_1_2²
        + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³ + b_2_4·b_2_5²·c_4_14
        + b_2_4²·b_2_5·c_4_14 + b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3·b_4_13·c_4_14
        + a_2_3·b_4_12·c_4_14 + a_2_3·b_4_11·c_4_14 + a_2_3·b_2_4·b_2_5·c_4_14
        + a_2_3·b_2_4²·c_4_14 + b_2_5²·c_4_14·a_1_2² + a_2_3²·b_2_4·c_4_14
        + a_2_3³·c_4_14
116. a_5_19² + a_5_18·a_5_19 + a_5_18² + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2²
        + a_2_3²·b_6_33 + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³
        + b_2_4·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4·c_4_14
117. b_5_20² + b_4_12·b_6_34 + b_4_12·b_6_33 + b_2_5³·b_4_12 + b_2_4²·b_2_5·b_4_12
        + b_2_4³·b_4_13 + b_2_4³·b_4_12 + b_2_4⁴·b_2_5 + b_2_4⁵ + a_5_19·b_5_22
        + a_5_19·b_5_20 + a_5_18·b_5_20 + b_2_4·b_2_5²·a_1_2·b_3_8 + b_2_4³·a_1_2·b_3_8
        + a_2_3·b_3_8·b_5_22 + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4·b_2_5·b_4_12
        + a_2_3·b_2_4·b_2_5³ + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4²·b_2_5²
        + a_2_3·b_2_4³·b_2_5 + a_2_3·b_2_4⁴ + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2²
        + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5³ + b_2_5·b_4_13·c_4_14
        + b_2_5³·c_4_14 + b_2_4·b_4_13·c_4_14 + b_2_4·b_4_12·c_4_14 + b_2_4·b_2_5²·c_4_14
        + b_2_4²·b_2_5·c_4_14 + b_2_4³·c_4_14 + b_2_4·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_5²·c_4_14 + a_2_3·b_2_4²·c_4_14 + b_2_4²·c_4_14·a_1_2²
        + a_2_3·c_4_14·a_1_2·b_3_8
118. b_5_20·b_5_22 + b_4_13·b_6_33 + b_4_12·b_6_33 + b_2_5²·b_6_34 + b_2_5⁵
        + b_2_4·b_2_5²·b_4_12 + b_2_4²·b_6_34 + b_2_4³·b_4_13 + b_2_4³·b_4_12 + b_2_4⁵
        + a_5_19·b_5_22 + a_5_19·b_5_20 + a_5_18·b_5_22 + a_5_18·b_5_20 + b_2_5²·a_1_2·b_5_22
        + b_2_4²·b_2_5·a_1_2·b_3_8 + b_2_4³·a_1_2·b_3_8 + a_2_3·b_2_5²·b_4_12
        + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4·b_2_5³
        + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4⁴ + a_5_19² + a_5_18·a_5_19 + b_2_5⁴·a_1_2²
        + b_2_4⁴·a_1_2² + a_2_3·b_2_5²·a_1_2·b_3_8 + a_2_3²·b_2_5·b_4_12
        + a_2_3²·b_2_4·b_4_12 + b_2_5³·c_4_14 + b_2_4·b_4_13·c_4_14 + b_2_4·b_4_12·c_4_14
        + b_2_4·b_2_5²·c_4_14 + b_2_4²·b_2_5·c_4_14 + b_2_4³·c_4_14
        + b_2_4·c_4_14·a_1_2·b_3_8 + b_2_5²·c_4_14·a_1_2²
119. b_5_20² + a_4_7·b_6_34 + a_2_3·b_2_5²·b_4_13 + a_2_3·b_2_5⁴
        + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4²·b_4_13 + a_2_3·b_2_4²·b_4_11
        + a_2_3·b_2_4⁴ + a_5_18² + b_2_4³·b_2_5·a_1_2² + a_2_3·b_2_4²·a_1_2·b_3_8
        + a_2_3²·b_2_5·b_4_12 + b_2_4·b_2_5²·c_4_14 + b_2_4²·b_2_5·c_4_14
        + a_2_3·b_4_13·c_4_14 + a_2_3·b_2_4·b_2_5·c_4_14 + a_2_3·b_2_4²·c_4_14
        + b_2_5²·c_4_14·a_1_2² + b_2_4·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_5·c_4_14
120. b_5_20·b_5_22 + b_4_13·b_6_34 + b_4_12·b_6_33 + b_2_5²·b_6_33 + b_2_5³·b_4_13
        + b_2_4·b_2_5²·b_4_12 + b_2_4²·b_6_33 + b_2_4²·b_2_5·b_4_13 + b_2_4²·b_2_5·b_4_12
        + b_2_4³·b_2_5² + b_2_4⁴·b_2_5 + a_5_18·b_5_22 + a_5_18·b_5_20 + b_2_5²·a_1_2·b_5_22
        + b_2_4·b_2_5²·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_3_8 + a_2_3·b_2_5²·b_4_12
        + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4³·b_2_5 + a_5_19² + a_5_18·a_5_19
        + b_2_5⁴·a_1_2² + b_2_4⁴·a_1_2² + a_2_3·b_2_5²·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_4·b_4_12
        + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³ + b_2_5·b_4_12·c_4_14 + b_2_5³·c_4_14
        + b_2_4²·b_2_5·c_4_14 + b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5²·c_4_14
        + a_2_3·b_2_4²·c_4_14 + b_2_4·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8
121. b_4_11·b_6_34 + b_4_11·b_6_33 + b_2_4·b_2_5·b_6_34 + b_2_4·b_2_5·b_6_33
        + b_2_4·b_2_5²·b_4_13 + b_2_4·b_2_5⁴ + b_2_4²·b_2_5·b_4_13 + b_2_4²·b_2_5³
        + b_2_4³·b_4_12 + b_2_4³·b_4_11 + b_2_4³·b_2_5² + a_5_19·b_5_20 + a_5_18·b_5_22
        + a_5_18·b_5_20 + b_2_5³·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4²·b_4_11 + a_2_3·b_2_4⁴ + a_5_19²
        + a_5_18² + a_2_3·b_2_5²·a_1_2·b_3_8 + a_2_3²·b_2_5³ + a_2_3²·b_2_4·b_4_12
        + a_2_3²·b_2_4²·b_2_5 + b_2_4·b_4_12·c_4_14 + b_2_4·b_4_11·c_4_14
        + b_2_4²·b_2_5·c_4_14 + a_2_3·b_2_4·b_2_5·c_4_14 + a_2_3·b_2_4²·c_4_14
        + a_2_3·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4·c_4_14
122. b_5_20² + a_5_19·b_5_20 + a_5_18·b_5_20 + a_3_7·b_7_42 + a_2_3·b_2_4²·b_4_13
        + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4⁴ + a_5_19² + a_5_18²
        + b_2_4⁴·a_1_2² + a_2_3·b_2_5²·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8
        + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_4·b_4_12 + b_2_4·b_2_5²·c_4_14
        + b_2_4²·b_2_5·c_4_14 + b_2_5·c_4_14·a_1_2·b_3_8 + b_2_4·b_2_5·c_4_14·a_1_2²
        + b_2_4²·c_4_14·a_1_2² + a_2_3³·c_4_14 + c_4_14²·a_1_2²
123. b_5_20·b_5_22 + b_5_20² + b_3_8·b_7_42 + b_2_5·b_3_8·b_5_22 + b_2_4·b_2_5²·b_4_13
        + b_2_4·b_2_5⁴ + b_2_4⁴·b_2_5 + a_5_19·b_5_22 + a_5_19·b_5_20 + a_5_18·b_5_22
        + b_2_5²·a_1_2·b_5_22 + b_2_5³·a_1_2·b_3_8 + b_2_4·b_2_5²·a_1_2·b_3_8
        + a_2_3·b_3_8·b_5_22 + a_2_3·b_2_4·b_2_5·b_4_13 + a_2_3·b_2_4·b_2_5·b_4_12 + a_5_19²
        + a_5_18·a_5_19 + b_2_5⁴·a_1_2² + b_2_4⁴·a_1_2² + a_2_3²·b_2_5·b_4_12
        + a_2_3²·b_2_5³ + a_2_3²·b_2_4³ + b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_4_13·c_4_14
        + a_2_3·b_4_12·c_4_14 + a_2_3·b_2_5²·c_4_14 + a_2_3·b_2_4²·c_4_14
        + b_2_5²·c_4_14·a_1_2² + b_2_4·b_2_5·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2²
        + a_2_3²·b_2_4·c_4_14
124. a_5_19² + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2² + c_8_58·a_1_0·a_1_1
        + b_2_5²·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2²
125. a_5_18² + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2² + c_8_58·a_1_0²
        + b_2_5²·c_4_14·a_1_2²
126. b_5_22² + b_5_20² + b_2_4²·b_2_5³ + b_2_4³·b_2_5² + a_5_19·b_5_22
        + a_5_19·b_5_20 + a_5_18·b_5_22 + b_2_4·b_2_5²·a_1_2·b_3_8 + a_2_3·b_2_4²·b_4_13
        + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4⁴ + a_5_19²
        + a_5_18·a_5_19 + b_2_5⁴·a_1_2² + b_2_4³·b_2_5·a_1_2² + b_2_4⁴·a_1_2²
        + a_2_3·b_2_5²·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4²·a_1_2·b_3_8 + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_4·b_4_12
        + a_2_3²·b_2_4³ + b_2_5·c_4_14·a_1_2·b_3_8 + c_8_58·a_1_2²
        + b_2_5²·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8
        + a_2_3³·c_4_14
127. b_4_13·b_6_33 + b_4_11·b_6_33 + b_2_5·b_3_8·b_5_22 + b_2_5·b_8_56 + b_2_5²·b_6_34
        + b_2_5²·b_6_33 + b_2_5³·b_4_13 + b_2_5³·b_4_12 + b_2_5⁵ + b_2_4·b_2_5·b_6_34
        + b_2_4·b_2_5²·b_4_13 + b_2_4·b_2_5⁴ + b_2_4²·b_6_33 + b_2_4²·b_2_5·b_4_13
        + b_2_4²·b_2_5·b_4_12 + b_2_4⁴·b_2_5 + a_5_19·b_5_22 + a_5_19·b_5_20 + a_5_18·b_5_22
        + b_2_5³·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_3_8 + a_2_3·b_3_8·b_5_22
        + a_2_3·b_2_5²·b_4_12 + a_2_3·b_2_4²·b_4_13 + a_2_3·b_2_4²·b_4_11
        + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4⁴ + a_5_18² + b_2_5⁴·a_1_2²
        + b_2_4³·b_2_5·a_1_2² + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_5³
        + a_2_3²·b_2_4·b_4_12 + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³ + b_2_5·b_4_13·c_4_14
        + b_2_5·b_4_12·c_4_14 + b_2_5³·c_4_14 + b_2_4·b_4_13·c_4_14 + b_2_4·b_4_11·c_4_14
        + b_2_4³·c_4_14 + a_2_3·b_4_13·c_4_14 + a_2_3·b_4_11·c_4_14 + a_2_3·b_2_5²·c_4_14
        + a_2_3·b_2_4²·c_4_14 + b_2_5²·c_4_14·a_1_2² + b_2_4²·c_4_14·a_1_2²
        + a_2_3³·c_4_14
128. b_5_20·b_5_22 + b_4_13·b_6_33 + b_4_12·b_6_33 + b_4_11·b_6_33 + b_2_5²·b_6_34 + b_2_5⁵
        + b_2_4·b_3_8·b_5_22 + b_2_4·b_8_56 + b_2_4·b_2_5·b_6_34 + b_2_4·b_2_5·b_6_33
        + b_2_4·b_2_5²·b_4_13 + b_2_4·b_2_5⁴ + b_2_4²·b_6_33 + b_2_4²·b_2_5·b_4_13
        + b_2_4²·b_2_5³ + a_5_19·b_5_22 + a_5_18·b_5_20 + b_2_5²·a_1_2·b_5_22
        + b_2_4·b_2_5²·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_3_8 + a_2_3·b_3_8·b_5_22
        + a_2_3·b_2_5²·b_4_13 + a_2_3·b_2_5⁴ + a_2_3·b_2_4·b_2_5·b_4_13
        + a_2_3·b_2_4²·b_4_13 + a_2_3·b_2_4²·b_4_11 + a_2_3·b_2_4⁴ + a_5_19² + a_5_18²
        + b_2_5⁴·a_1_2² + b_2_4³·b_2_5·a_1_2² + a_2_3·b_2_5²·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5·b_4_12 + a_2_3²·b_2_5³
        + a_2_3²·b_2_4·b_4_12 + b_2_5³·c_4_14 + b_2_4·b_4_11·c_4_14 + b_2_4²·b_2_5·c_4_14
        + b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3·b_4_11·c_4_14 + a_2_3·b_2_4·b_2_5·c_4_14
        + a_2_3·b_2_4²·c_4_14 + b_2_5²·c_4_14·a_1_2²
129. b_5_20² + a_5_19·b_5_20 + a_2_3·b_3_8·b_5_22 + a_2_3·b_8_56 + a_2_3·b_2_5²·b_4_13
        + a_2_3·b_2_4·b_2_5·b_4_12 + a_2_3·b_2_4²·b_4_12 + a_2_3·b_2_4⁴ + a_5_19²
        + b_2_4⁴·a_1_2² + a_2_3²·b_2_4·b_4_12 + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³
        + b_2_4·b_2_5²·c_4_14 + b_2_4²·b_2_5·c_4_14 + b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·c_4_14 + a_2_3·b_2_4²·c_4_14 + b_2_4·b_2_5·c_4_14·a_1_2²
        + b_2_4²·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4·c_4_14
        + a_2_3³·c_4_14 + c_4_14²·a_1_2²
130. b_6_33·a_5_19 + b_6_33·a_5_18 + b_2_5·b_4_12·a_5_19 + b_2_4·b_4_12·a_5_19
        + b_2_4·b_4_11·a_5_19 + b_2_4·b_2_5²·a_5_19 + b_2_4²·b_2_5·a_5_19
        + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_5²·b_5_20 + a_2_3·b_2_4·b_4_12·b_3_8
        + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_20 + a_2_3·b_2_4²·b_2_5·b_3_8
        + a_2_3·b_2_5³·a_3_7 + b_2_5³·c_4_14·a_1_2 + b_2_5³·c_4_14·a_1_1
        + b_2_4·c_4_14·a_5_19 + b_2_4·c_4_14·a_5_18 + b_2_4·b_2_5²·c_4_14·a_1_2
        + b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_1
        + a_2_3·b_2_5·c_4_14·b_3_8 + a_2_3·b_2_5²·c_4_14·a_1_2
        + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4²·c_4_14·a_1_2 + c_4_14·a_1_0²·a_5_18
131. b_6_34·a_5_19 + b_6_33·a_5_19 + b_2_5³·a_5_19 + b_2_4·b_4_12·a_5_19
        + b_2_4·b_4_11·a_5_19 + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_4·b_4_12·b_3_8
        + a_2_3·b_2_4·b_2_5·b_5_22 + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4²·b_2_5·b_3_8
        + a_2_3·b_2_4³·b_3_8 + a_2_3·b_2_5³·a_3_7 + b_2_5·c_4_14·a_5_19
        + a_2_3·b_2_5²·c_4_14·a_1_2 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2 + c_4_14·a_1_0²·a_5_18
132. b_6_34·b_5_20 + b_6_33·b_5_20 + b_2_5³·b_5_20 + b_2_4·b_4_12·b_5_20
        + b_2_4²·b_2_5·b_5_20 + b_2_4³·b_5_20 + b_6_34·a_5_18 + b_6_33·a_5_19
        + b_2_5·b_4_12·a_5_19 + b_2_5³·b_4_12·a_1_1 + b_2_5⁴·a_3_7 + b_2_4·b_4_11·a_5_19
        + b_2_4²·b_2_5·a_5_19 + b_2_4³·a_5_18 + b_2_4³·b_4_11·a_1_1 + b_2_4³·b_4_11·a_1_0
        + b_2_4⁴·a_3_7 + b_2_4⁵·a_1_1 + b_2_4⁵·a_1_0 + a_2_3·b_4_12·b_5_22
        + a_2_3·b_2_5·b_4_12·b_3_8 + a_2_3·b_2_4·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5·b_5_22
        + a_2_3·b_2_4²·b_2_5·b_3_8 + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_4²·b_2_5·a_3_7
        + a_2_3·b_2_4³·a_3_7 + a_2_3·b_2_4³·b_2_5·a_1_2 + b_4_12·c_4_14·b_3_8
        + b_2_4·c_4_14·b_5_20 + b_2_5·b_4_12·c_4_14·a_1_1 + b_2_5³·c_4_14·a_1_2
        + b_2_4·c_4_14·a_5_19 + b_2_4·b_4_11·c_4_14·a_1_1 + b_2_4·b_4_11·c_4_14·a_1_0
        + b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_1 + b_2_4³·c_4_14·a_1_0
        + a_2_3·b_2_4·c_4_14·b_3_8 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2
133. b_6_34·b_5_22 + b_6_33·b_5_22 + b_4_12·b_7_42 + b_2_5·b_4_12·b_5_22
        + b_2_5·b_4_12·b_5_20 + b_2_5³·b_5_22 + b_2_4·b_4_12·b_5_22 + b_2_4·b_2_5·b_4_12·b_3_8
        + b_2_4²·b_4_12·b_3_8 + b_2_4²·b_2_5·b_5_22 + b_2_4³·b_5_22 + b_6_34·a_5_18
        + b_6_33·a_5_19 + b_2_4·b_4_11·a_5_19 + b_2_4·b_2_5⁴·a_1_2 + b_2_4²·b_2_5·a_5_19
        + b_2_4²·b_2_5³·a_1_2 + b_2_4³·a_5_18 + b_2_4³·b_2_5·a_3_7 + b_2_4³·b_2_5²·a_1_2
        + b_2_4⁴·a_3_7 + b_2_4⁵·a_1_2 + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_5³·b_3_8
        + a_2_3·b_2_4·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_22
        + a_2_3·b_2_4²·b_2_5·b_3_8 + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_5⁴·a_1_2
        + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4³·a_3_7 + b_4_12·c_4_14·b_3_8
        + b_2_4·c_4_14·b_5_22 + b_2_5·b_4_12·c_4_14·a_1_1 + b_2_5³·c_4_14·a_1_2
        + b_2_4·c_4_14·a_5_19 + b_2_4·b_2_5·c_4_14·a_3_7 + b_2_4²·c_4_14·a_3_7
        + b_2_4³·c_4_14·a_1_2 + a_2_3·c_4_14·b_5_20 + a_2_3·b_2_5·c_4_14·b_3_8
        + a_2_3·b_2_5²·c_4_14·a_1_2 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2 + b_2_5·c_4_14²·a_1_2 + b_2_4·c_4_14²·a_1_2
134. b_6_34·a_5_18 + b_6_33·a_5_19 + b_2_5·b_4_12·a_5_19 + b_2_5³·b_4_12·a_1_1
        + b_2_5⁴·a_3_7 + b_2_4³·a_5_19 + b_2_4³·a_5_18 + b_2_4⁴·a_3_7 + a_2_3·b_2_5·b_7_42
        + a_2_3·b_2_5·b_4_12·b_3_8 + a_2_3·b_2_5²·b_5_22 + a_2_3·b_2_5²·b_5_20
        + a_2_3·b_2_4·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_22
        + a_2_3·b_2_4²·b_5_20 + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_5⁴·a_1_2
        + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4⁴·a_1_2 + b_2_5·b_4_12·c_4_14·a_1_1
        + b_2_5²·c_4_14·a_3_7 + b_2_5³·c_4_14·a_1_2 + b_2_5³·c_4_14·a_1_1
        + b_2_4·b_2_5²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_3_7 + b_2_4²·b_2_5·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_1 + a_2_3·b_2_5·c_4_14·b_3_8
        + a_2_3·b_2_4·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·a_3_7 + a_2_3·b_2_4·c_4_14·a_3_7
        + a_2_3·b_2_4²·c_4_14·a_1_2
135. b_6_34·b_5_22 + b_6_33·b_5_22 + b_6_33·b_5_20 + b_2_5·b_4_12·b_5_20 + b_2_5³·b_5_22
        + b_2_4·b_4_12·b_5_22 + b_2_4·b_2_5·b_7_42 + b_2_4·b_2_5²·b_5_22 + b_2_4²·b_7_42
        + b_2_4²·b_2_5²·b_3_8 + b_2_4³·b_5_22 + b_2_4⁴·b_3_8 + b_6_33·a_5_19
        + b_2_5·b_4_12·a_5_19 + b_2_4·b_4_12·a_5_19 + b_2_4·b_2_5⁴·a_1_2
        + b_2_4²·b_2_5·a_5_19 + b_2_4²·b_2_5³·a_1_2 + b_2_4³·a_5_19 + b_2_4³·b_4_11·a_1_1
        + b_2_4³·b_4_11·a_1_0 + b_2_4³·b_2_5·a_3_7 + b_2_4³·b_2_5²·a_1_2 + b_2_4⁴·a_3_7
        + b_2_4⁵·a_1_2 + b_2_4⁵·a_1_1 + b_2_4⁵·a_1_0 + a_2_3·b_2_5·b_4_12·b_3_8
        + a_2_3·b_2_4·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5·b_5_22 + a_2_3·b_2_4·b_2_5·b_5_20
        + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_20 + a_2_3·b_2_4²·b_2_5·b_3_8
        + a_2_3·b_2_4³·b_3_8 + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_4²·b_2_5·a_3_7
        + a_2_3·b_2_4³·a_3_7 + a_2_3·b_2_4³·b_2_5·a_1_2 + b_2_5·c_4_14·b_5_22
        + b_2_4·c_4_14·b_5_20 + b_2_4·c_4_14·a_5_19 + b_2_4·b_2_5·c_4_14·a_3_7
        + b_2_4·b_2_5²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_3_7 + b_2_4²·b_2_5·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_1_1 + b_2_4³·c_4_14·a_1_0 + a_2_3·b_2_4·c_4_14·b_3_8
        + a_2_3·b_2_5²·c_4_14·a_1_2 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2 + c_4_14·a_1_0²·a_5_18
136. b_6_34·a_5_18 + b_6_33·a_5_19 + b_2_5·b_4_12·a_5_19 + b_2_5³·b_4_12·a_1_1
        + b_2_5⁴·a_3_7 + b_2_4·b_4_12·a_5_19 + b_2_4·b_4_11·a_5_19 + b_2_4³·a_5_19
        + b_2_4³·a_5_18 + b_2_4⁴·a_3_7 + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_5·b_4_12·b_3_8
        + a_2_3·b_2_4·b_7_42 + a_2_3·b_2_4·b_2_5·b_5_22 + a_2_3·b_2_4²·b_5_22
        + a_2_3·b_2_4³·b_3_8 + a_2_3·b_2_4²·b_2_5·a_3_7 + b_2_5·b_4_12·c_4_14·a_1_1
        + b_2_5²·c_4_14·a_3_7 + b_2_5³·c_4_14·a_1_2 + b_2_5³·c_4_14·a_1_1
        + b_2_4·b_2_5²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_3_7 + b_2_4²·b_2_5·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_1 + a_2_3·b_2_5²·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2
137. b_6_34·a_5_18 + b_6_33·a_5_19 + a_4_7·b_7_42 + b_2_5·b_4_12·a_5_19
        + b_2_5³·b_4_12·a_1_1 + b_2_5⁴·a_3_7 + b_2_4³·a_5_19 + b_2_4³·a_5_18 + b_2_4⁴·a_3_7
        + a_2_3·b_2_5·b_4_12·b_3_8 + a_2_3·b_2_4·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5·b_5_20
        + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4²·b_2_5·b_3_8 + a_2_3·b_2_5³·a_3_7
        + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4³·a_3_7 + a_2_3·b_2_4³·b_2_5·a_1_2
        + b_2_5·b_4_12·c_4_14·a_1_1 + b_2_5²·c_4_14·a_3_7 + b_2_5³·c_4_14·a_1_2
        + b_2_5³·c_4_14·a_1_1 + b_2_4·b_2_5²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_3_7
        + b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_1
        + a_2_3·c_4_14·b_5_22 + a_2_3·c_4_14·b_5_20 + a_2_3·b_2_5·c_4_14·b_3_8
        + a_2_3·b_2_4·c_4_14·b_3_8 + a_2_3·b_2_5²·c_4_14·a_1_2 + a_2_3·b_2_4·c_4_14·a_3_7
        + c_4_14·a_1_0²·a_5_18 + a_2_3·c_4_14²·a_1_2
138. b_4_13·b_7_42 + b_2_5³·b_5_22 + b_2_5³·b_5_20 + b_2_4·b_2_5²·b_5_22
        + b_2_4·b_2_5³·b_3_8 + b_2_4³·b_5_20 + b_2_4³·b_2_5·b_3_8 + b_2_5·b_4_12·a_5_19
        + b_2_5³·a_5_19 + b_2_5³·b_4_12·a_1_1 + b_2_5⁴·a_3_7 + b_2_5⁵·a_1_2 + b_2_5⁵·a_1_1
        + b_2_4·b_2_5²·a_5_19 + b_2_4³·a_5_19 + b_2_4³·b_4_11·a_1_1 + b_2_4³·b_4_11·a_1_0
        + b_2_4³·b_2_5·a_3_7 + b_2_4³·b_2_5²·a_1_2 + b_2_4⁵·a_1_1 + a_2_3·b_4_12·b_5_22
        + a_2_3·b_2_5·b_4_12·b_3_8 + a_2_3·b_2_5³·b_3_8 + a_2_3·b_2_4·b_4_12·b_3_8
        + a_2_3·b_2_4·b_2_5·b_5_22 + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4³·b_3_8
        + a_2_3·b_2_5⁴·a_1_2 + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4³·b_2_5·a_1_2
        + b_2_5·c_4_14·b_5_22 + b_2_5·c_4_14·b_5_20 + b_2_4·c_4_14·b_5_22 + b_2_4·c_4_14·b_5_20
        + b_2_5²·c_4_14·a_3_7 + b_2_4·b_4_11·c_4_14·a_1_1 + b_2_4·b_4_11·c_4_14·a_1_0
        + b_2_4·b_2_5·c_4_14·a_3_7 + b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_2
        + a_2_3·b_2_5·c_4_14·a_3_7 + a_2_3·b_2_4·c_4_14·a_3_7 + c_4_14·a_1_0²·a_5_18
        + b_2_5·c_4_14²·a_1_2 + b_2_4·c_4_14²·a_1_2
139. b_6_34·b_5_22 + b_6_33·b_5_22 + b_6_33·b_5_20 + b_4_11·b_7_42 + b_2_5·b_4_12·b_5_20
        + b_2_5³·b_5_22 + b_2_4·b_4_12·b_5_22 + b_2_4·b_2_5·b_7_42 + b_2_4·b_2_5²·b_5_20
        + b_2_4²·b_2_5·b_5_20 + b_2_4³·b_5_22 + b_2_4³·b_5_20 + b_2_4³·b_2_5·b_3_8
        + b_2_4⁴·b_3_8 + b_6_34·a_5_18 + b_2_5³·b_4_12·a_1_1 + b_2_5⁴·a_3_7
        + b_2_4·b_4_11·a_5_18 + b_2_4²·b_2_5·a_5_19 + b_2_4³·b_4_11·a_1_1
        + b_2_4³·b_2_5·a_3_7 + b_2_4³·b_2_5²·a_1_2 + b_2_4⁴·b_2_5·a_1_2 + b_2_4⁵·a_1_2
        + b_2_4⁵·a_1_0 + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4²·b_5_20
        + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4³·a_3_7
        + a_2_3·b_2_4³·b_2_5·a_1_2 + a_2_3·b_2_4⁴·a_1_2 + b_2_5·c_4_14·b_5_22
        + b_2_4·c_4_14·b_5_22 + b_2_5·b_4_12·c_4_14·a_1_1 + b_2_5²·c_4_14·a_3_7
        + b_2_5³·c_4_14·a_1_2 + b_2_5³·c_4_14·a_1_1 + b_2_4·c_4_14·a_5_19
        + b_2_4·b_4_11·c_4_14·a_1_1 + b_2_4·b_4_11·c_4_14·a_1_0 + b_2_4·b_2_5²·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_0 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2 + b_2_4·c_4_14²·a_1_2
140. b_6_33·a_5_19 + b_2_5·b_4_12·a_5_19 + b_2_4·b_4_12·a_5_19 + b_2_4·b_2_5²·a_5_19
        + b_2_4³·a_5_19 + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4³·b_3_8
        + a_2_3·b_2_4³·b_2_5·a_1_2 + a_2_3·b_2_4⁴·a_1_2 + b_2_4·c_4_14·a_5_19
        + a_2_3·b_2_5·c_4_14·b_3_8 + a_2_3·b_2_4·c_4_14·b_3_8 + a_2_3·b_2_5²·c_4_14·a_1_2
        + a_2_3·b_2_4²·c_4_14·a_1_2 + c_8_58·a_1_0²·a_1_1 + c_4_14·a_1_0²·a_5_18
141. b_6_34·b_5_22 + b_6_33·b_5_20 + b_2_5·b_4_12·b_5_22 + b_2_5·b_4_12·b_5_20
        + b_2_5³·b_5_22 + b_2_4·b_4_12·b_5_22 + b_2_4·b_2_5·b_4_12·b_3_8
        + b_2_4·b_2_5²·b_5_22 + b_2_4²·b_2_5²·b_3_8 + b_2_4³·b_5_22 + b_2_4³·b_2_5·b_3_8
        + b_2_4·b_4_12·a_5_19 + b_2_4·b_2_5²·a_5_19 + b_2_4³·a_5_19 + b_2_4³·b_4_11·a_1_1
        + b_2_4³·b_4_11·a_1_0 + b_2_4⁵·a_1_1 + b_2_4⁵·a_1_0 + a_2_3·b_4_12·b_5_22
        + a_2_3·b_2_5²·b_5_22 + a_2_3·b_2_5²·b_5_20 + a_2_3·b_2_4·b_2_5·b_5_22
        + a_2_3·b_2_4·b_2_5·b_5_20 + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_22
        + a_2_3·b_2_4²·b_2_5·b_3_8 + a_2_3·b_2_4³·b_3_8 + a_2_3·b_2_5³·a_3_7
        + a_2_3·b_2_5⁴·a_1_2 + a_2_3·b_2_4²·b_2_5·a_3_7 + b_4_12·c_4_14·b_3_8
        + b_2_5·c_4_14·b_5_22 + b_2_5·c_4_14·b_5_20 + b_2_4·c_4_14·b_5_22
        + b_2_5²·c_4_14·a_3_7 + b_2_5³·c_4_14·a_1_1 + b_2_4·c_4_14·a_5_19
        + b_2_4·b_4_11·c_4_14·a_1_1 + b_2_4·b_4_11·c_4_14·a_1_0 + b_2_4²·c_4_14·a_3_7
        + b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_0
        + a_2_3·b_2_5·c_4_14·b_3_8 + a_2_3·c_8_58·a_1_2 + a_2_3·b_2_4·c_4_14·a_3_7
        + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2 + c_4_14·a_1_0²·a_5_18
142. b_8_56·a_3_7 + b_2_5⁴·a_3_7 + a_2_3·b_4_12·b_5_22 + a_2_3·b_2_5·b_4_12·b_3_8
        + a_2_3·b_2_5²·b_5_20 + a_2_3·b_2_4·b_2_5·b_5_22 + a_2_3·b_2_4·b_2_5·b_5_20
        + a_2_3·b_2_4·b_2_5²·b_3_8 + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4²·b_2_5·b_3_8
        + a_2_3·b_2_5³·a_3_7 + a_2_3·b_2_4³·a_3_7 + b_2_5³·c_4_14·a_1_2
        + b_2_4·b_2_5·c_4_14·a_3_7 + b_2_4²·c_4_14·a_3_7 + b_2_4³·c_4_14·a_1_2
        + a_2_3·c_4_14·b_5_22 + a_2_3·c_4_14·b_5_20 + a_2_3·b_2_4·c_4_14·b_3_8
        + a_2_3·b_2_4·c_4_14·a_3_7 + a_2_3·c_4_14²·a_1_2
143. b_8_56·b_3_8 + b_6_34·b_5_22 + b_6_33·b_5_22 + b_2_5·b_4_12·b_5_22 + b_2_5²·b_7_42
        + b_2_5⁴·b_3_8 + b_2_4·b_4_12·b_5_20 + b_2_4·b_2_5·b_7_42 + b_2_4·b_2_5²·b_5_22
        + b_2_4·b_2_5²·b_5_20 + b_2_4²·b_2_5·b_5_20 + b_2_4²·b_2_5²·b_3_8
        + b_2_4³·b_2_5·b_3_8 + b_2_5³·a_5_19 + b_2_5³·b_4_12·a_1_1 + b_2_5⁴·a_3_7
        + b_2_5⁵·a_1_2 + b_2_4·b_4_12·a_5_19 + b_2_4·b_2_5⁴·a_1_2 + b_2_4²·b_2_5·a_5_19
        + b_2_4⁴·a_3_7 + b_2_4⁵·a_1_1 + b_2_4⁵·a_1_0 + a_2_3·b_4_12·b_5_22
        + a_2_3·b_2_5²·b_5_22 + a_2_3·b_2_4·b_2_5·b_5_20 + a_2_3·b_2_4·b_2_5²·b_3_8
        + a_2_3·b_2_4²·b_5_22 + a_2_3·b_2_4²·b_2_5·b_3_8 + a_2_3·b_2_5³·a_3_7
        + a_2_3·b_2_4²·b_2_5·a_3_7 + a_2_3·b_2_4³·a_3_7 + a_2_3·b_2_4³·b_2_5·a_1_2
        + b_4_12·c_4_14·b_3_8 + b_2_5·c_4_14·b_5_22 + b_2_5·c_4_14·b_5_20
        + b_2_5²·c_4_14·b_3_8 + b_2_4·c_4_14·b_5_20 + b_2_4²·c_4_14·b_3_8
        + b_2_5³·c_4_14·a_1_2 + b_2_5³·c_4_14·a_1_1 + b_2_4·c_4_14·a_5_19
        + b_2_4·b_4_11·c_4_14·a_1_1 + b_2_4·b_4_11·c_4_14·a_1_0 + b_2_4·b_2_5·c_4_14·a_3_7
        + b_2_4·b_2_5²·c_4_14·a_1_2 + b_2_4²·c_4_14·a_3_7 + b_2_4²·b_2_5·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_1_2 + b_2_4³·c_4_14·a_1_0 + a_2_3·c_4_14·b_5_20
        + a_2_3·b_2_5·c_4_14·b_3_8 + a_2_3·b_2_4·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·a_3_7
        + a_2_3·b_2_5²·c_4_14·a_1_2 + a_2_3·b_2_4·c_4_14·a_3_7
        + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4²·c_4_14·a_1_2
144. b_6_34² + b_6_33² + b_2_5⁶ + b_2_4³·b_2_5·b_4_13 + b_2_4³·b_2_5³
        + b_2_4⁴·b_2_5² + a_2_3·b_2_4²·b_6_33 + a_2_3·b_2_4²·b_2_5·b_4_13
        + a_2_3·b_2_4²·b_2_5³ + a_2_3·b_2_4³·b_4_12 + a_2_3·b_2_4⁵ + b_2_4⁵·a_1_2²
        + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴
        + b_2_4·b_2_5·b_4_13·c_4_14 + b_2_4·b_2_5³·c_4_14 + b_2_4²·b_2_5²·c_4_14
        + b_2_4²·c_4_14·a_1_2·b_3_8 + a_2_3·c_4_14·b_6_33 + a_2_3·b_2_5·b_4_13·c_4_14
        + a_2_3·b_2_5³·c_4_14 + a_2_3·b_2_4·b_4_12·c_4_14 + b_2_5³·c_4_14·a_1_2²
        + b_2_4²·b_2_5·c_4_14·a_1_2² + b_2_4³·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_5_22
        + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_4_12·c_4_14 + a_2_3²·b_2_5²·c_4_14 + a_2_3²·b_2_4·b_2_5·c_4_14
        + a_2_3²·b_2_4²·c_4_14 + b_2_5²·c_4_14² + c_4_14²·a_1_2·b_3_8
        + a_2_3·b_2_4·c_4_14² + b_2_5·c_4_14²·a_1_2² + b_2_4·c_4_14²·a_1_2²
        + a_2_3·c_4_14²·a_1_2²
145. a_5_19·b_7_42 + a_5_18·b_7_42 + b_2_4·b_2_5³·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_5_22
        + b_2_4²·b_2_5²·a_1_2·b_3_8 + b_2_4³·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5²·b_4_13 + a_2_3·b_2_4·b_2_5²·b_4_12 + a_2_3·b_2_4·b_2_5⁴
        + a_2_3·b_2_4³·b_4_13 + a_2_3·b_2_4³·b_4_12 + a_2_3·b_2_4⁵
        + a_2_3·b_2_5³·a_1_2·b_3_8 + a_2_3·b_2_4²·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_4³·b_2_5 + b_2_4·c_4_14·a_1_2·b_5_22
        + a_2_3·b_2_4·b_4_13·c_4_14 + a_2_3·b_2_4·b_4_12·c_4_14 + a_2_3·b_2_4·b_2_5²·c_4_14
        + a_2_3·b_2_4³·c_4_14 + b_2_4²·b_2_5·c_4_14·a_1_2²
        + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4·b_2_5·c_4_14
        + a_2_3²·b_2_4²·c_4_14 + b_2_4·c_4_14²·a_1_2² + a_2_3·c_4_14²·a_1_2²
146. a_5_19·b_7_42 + b_2_4·b_2_5³·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_5_22
        + b_2_4³·a_1_2·b_5_22 + b_2_4⁴·a_1_2·b_3_8 + a_2_3·b_2_5²·b_6_33
        + a_2_3·b_2_5³·b_4_12 + a_2_3·b_2_4·b_2_5²·b_4_13 + a_2_3·b_2_4²·b_6_33
        + a_2_3·b_2_4²·b_2_5·b_4_12 + a_2_3·b_2_4³·b_4_13 + b_2_4⁴·b_2_5·a_1_2²
        + b_2_4⁵·a_1_2² + a_2_3·b_2_5³·a_1_2·b_3_8 + a_2_3²·b_2_4·b_2_5·b_4_12
        + a_2_3²·b_2_4²·b_4_12 + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴
        + b_2_5·c_4_14·a_1_2·b_5_22 + b_2_5²·c_4_14·a_1_2·b_3_8 + b_2_4·c_4_14·a_1_2·b_5_22
        + b_2_4²·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_13·c_4_14 + a_2_3·b_2_5·b_4_12·c_4_14
        + a_2_3·b_2_5³·c_4_14 + a_2_3·b_2_4·b_4_13·c_4_14 + a_2_3·b_2_4·b_4_12·c_4_14
        + a_2_3·b_2_4²·b_2_5·c_4_14 + b_2_5³·c_4_14·a_1_2² + b_2_4³·c_4_14·a_1_2²
        + a_2_3·c_4_14·a_1_2·b_5_22 + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3²·b_4_12·c_4_14 + a_2_3²·b_2_5²·c_4_14
        + a_2_3²·b_2_4²·c_4_14 + a_2_3·c_8_58·a_1_2² + a_2_3·c_4_14²·a_1_2²
147. b_6_33² + b_2_4·b_2_5³·b_4_13 + b_2_4·b_2_5⁵ + b_2_4²·b_2_5²·b_4_13
        + b_2_4³·b_2_5³ + a_2_3·b_2_5²·b_6_33 + a_2_3·b_2_5³·b_4_13 + a_2_3·b_2_5⁵
        + a_2_3·b_2_4·b_2_5·b_6_33 + a_2_3·b_2_4²·b_2_5·b_4_13 + a_2_3·b_2_4²·b_2_5³
        + b_2_5⁵·a_1_2² + b_2_4⁴·b_2_5·a_1_2² + a_2_3·b_2_5³·a_1_2·b_3_8
        + a_2_3·b_2_4²·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5²·b_4_12 + a_2_3²·b_2_5⁴
        + a_2_3²·b_2_4²·b_4_12 + a_2_3²·b_2_4⁴ + b_2_5⁴·c_4_14
        + b_2_4·b_2_5·b_4_13·c_4_14 + b_2_4·b_2_5³·c_4_14 + b_2_4²·b_2_5²·c_4_14
        + b_2_4⁴·c_4_14 + b_2_5²·c_4_14·a_1_2·b_3_8 + b_2_4·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·c_4_14·b_6_33 + a_2_3·b_2_5·b_4_13·c_4_14 + a_2_3·b_2_5³·c_4_14
        + a_2_3·b_2_4·b_4_12·c_4_14 + a_2_3·b_2_4·b_2_5²·c_4_14 + a_2_3·b_2_4²·b_2_5·c_4_14
        + a_2_3·b_2_4³·c_4_14 + b_2_4³·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_5_22
        + a_2_3²·c_8_58 + a_2_3²·b_2_4·b_2_5·c_4_14 + b_2_4²·c_4_14²
        + c_4_14²·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14²
148. b_5_20·b_7_42 + b_2_5·b_4_12·b_6_33 + b_2_5²·b_3_8·b_5_22 + b_2_5²·b_8_56
        + b_2_5³·b_6_33 + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_12 + b_2_4·b_2_5·b_3_8·b_5_22
        + b_2_4·b_2_5·b_8_56 + b_2_4·b_2_5²·b_6_33 + b_2_4²·b_2_5²·b_4_13
        + b_2_4²·b_2_5²·b_4_12 + b_2_4³·b_2_5·b_4_13 + a_5_19·b_7_42 + b_2_5³·a_1_2·b_5_22
        + b_2_5⁴·a_1_2·b_3_8 + b_2_4²·b_2_5·a_1_2·b_5_22 + a_2_3·b_4_12·b_6_33
        + a_2_3·b_2_4·b_2_5⁴ + a_2_3·b_2_4²·b_2_5·b_4_13 + a_2_3·b_2_4³·b_4_12
        + a_2_3·b_2_4³·b_2_5² + a_2_3·b_2_4⁴·b_2_5 + a_2_3·b_2_4⁵
        + b_2_4⁴·b_2_5·a_1_2² + b_2_4⁵·a_1_2² + a_2_3·b_2_5³·a_1_2·b_3_8
        + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_5⁴ + a_2_3²·b_2_4²·b_4_12
        + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴ + c_4_14·b_3_8·b_5_22
        + b_2_5²·b_4_13·c_4_14 + b_2_5²·b_4_12·c_4_14 + b_2_4²·b_2_5²·c_4_14
        + b_2_4³·b_2_5·c_4_14 + b_2_5²·c_4_14·a_1_2·b_3_8 + b_2_4·c_4_14·a_1_2·b_5_22
        + a_2_3·c_4_14·b_6_33 + a_2_3·b_2_5³·c_4_14 + a_2_3·b_2_4·b_2_5²·c_4_14
        + b_2_4²·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_5_22
        + a_2_3²·b_2_4·b_2_5·c_4_14 + a_2_3²·b_2_4²·c_4_14 + a_2_3·b_2_4·c_4_14²
        + b_2_4·c_4_14²·a_1_2²
149. b_5_22·b_7_42 + b_6_33² + b_4_12·b_8_56 + b_2_5·b_4_12·b_6_33 + b_2_5³·b_6_34
        + b_2_5³·b_6_33 + b_2_5⁴·b_4_12 + b_2_5⁶ + b_2_4·b_2_5²·b_6_34 + b_2_4·b_2_5⁵
        + b_2_4²·b_2_5²·b_4_13 + b_2_4²·b_2_5²·b_4_12 + b_2_4²·b_2_5⁴ + b_2_4³·b_6_33
        + b_2_4³·b_2_5·b_4_13 + b_2_4³·b_2_5·b_4_12 + b_2_4⁵·b_2_5 + a_5_19·b_7_42
        + b_2_4·b_2_5²·a_1_2·b_5_22 + b_2_4·b_2_5³·a_1_2·b_3_8
        + b_2_4²·b_2_5²·a_1_2·b_3_8 + b_2_4³·b_2_5·a_1_2·b_3_8 + b_2_4⁴·a_1_2·b_3_8
        + a_2_3·b_4_12·b_6_33 + a_2_3·b_2_5·b_8_56 + a_2_3·b_2_5⁵ + a_2_3·b_2_4·b_2_5·b_6_33
        + a_2_3·b_2_4·b_2_5²·b_4_13 + a_2_3·b_2_4·b_2_5⁴ + a_2_3·b_2_4²·b_2_5·b_4_12
        + a_2_3·b_2_4²·b_2_5³ + a_2_3·b_2_4³·b_4_13 + b_2_5⁵·a_1_2²
        + a_2_3·b_2_5³·a_1_2·b_3_8 + a_2_3·b_2_4²·b_2_5·a_1_2·b_3_8
        + a_2_3²·b_2_4²·b_4_12 + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴
        + b_2_5·c_4_14·b_6_34 + b_2_5²·b_4_12·c_4_14 + b_2_5⁴·c_4_14 + b_2_4·c_4_14·b_6_34
        + b_2_4·b_2_5·b_4_13·c_4_14 + b_2_4·b_2_5³·c_4_14 + b_2_5²·c_4_14·a_1_2·b_3_8
        + b_2_4·c_4_14·a_1_2·b_5_22 + b_2_4·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_5·b_4_12·c_4_14 + a_2_3·b_2_5³·c_4_14 + a_2_3·b_2_4·b_4_13·c_4_14
        + a_2_3·b_2_4·b_2_5²·c_4_14 + a_2_3·b_2_4²·b_2_5·c_4_14 + b_2_5·c_8_58·a_1_2²
        + b_2_4²·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_5_22 + a_2_3²·b_4_12·c_4_14
        + a_2_3²·b_2_4·b_2_5·c_4_14 + a_2_3²·b_2_4²·c_4_14 + b_2_5²·c_4_14²
        + a_2_3·b_2_5·c_4_14² + a_2_3·b_2_4·c_4_14² + b_2_4·c_4_14²·a_1_2²
        + a_2_3·c_4_14²·a_1_2²
150. b_5_22·b_7_42 + b_6_33·b_6_34 + b_2_5·b_4_12·b_6_33 + b_2_5²·b_3_8·b_5_22
        + b_2_5²·b_8_56 + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_12 + b_2_4·b_4_12·b_6_33
        + b_2_4·b_2_5·b_3_8·b_5_22 + b_2_4·b_2_5²·b_6_34 + b_2_4·b_2_5²·b_6_33
        + b_2_4·b_2_5³·b_4_12 + b_2_4²·b_8_56 + b_2_4²·b_2_5·b_6_33 + b_2_4²·b_2_5⁴
        + b_2_4³·b_6_34 + b_2_4³·b_6_33 + b_2_4³·b_2_5·b_4_12 + b_2_4⁴·b_4_13
        + b_2_4⁴·b_4_12 + b_2_4⁴·b_2_5² + b_2_4⁵·b_2_5 + b_2_4⁶ + a_5_19·b_7_42
        + b_2_5⁴·a_1_2·b_3_8 + b_2_4·b_2_5²·a_1_2·b_5_22 + b_2_4²·b_2_5·a_1_2·b_5_22
        + b_2_4²·b_2_5²·a_1_2·b_3_8 + b_2_4³·a_1_2·b_5_22 + a_2_3·b_4_12·b_6_33
        + a_2_3·b_2_5²·b_6_33 + a_2_3·b_2_5³·b_4_12 + a_2_3·b_2_4·b_2_5²·b_4_13
        + a_2_3·b_2_4²·b_6_33 + a_2_3·b_2_4³·b_4_13 + a_2_3·b_2_4³·b_2_5²
        + a_2_3·b_2_4⁴·b_2_5 + b_2_4⁵·a_1_2² + a_2_3·b_2_4³·a_1_2·b_3_8
        + a_2_3²·b_2_5²·b_4_12 + a_2_3²·b_2_5⁴ + a_2_3²·b_2_4³·b_2_5
        + b_2_5·c_4_14·b_6_33 + b_2_4·c_4_14·b_6_34 + b_2_4·c_4_14·b_6_33
        + b_2_4·b_2_5·b_4_12·c_4_14 + b_2_4²·b_4_12·c_4_14 + b_2_4²·b_2_5²·c_4_14
        + b_2_4³·b_2_5·c_4_14 + b_2_4⁴·c_4_14 + b_2_5²·c_4_14·a_1_2·b_3_8
        + b_2_4·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·c_4_14·b_6_33 + a_2_3·b_2_5·b_4_13·c_4_14
        + a_2_3·b_2_5·b_4_12·c_4_14 + a_2_3·b_2_5³·c_4_14 + a_2_3·b_2_4·b_4_13·c_4_14
        + a_2_3·b_2_4·b_2_5²·c_4_14 + b_2_5·c_8_58·a_1_2² + b_2_5³·c_4_14·a_1_2²
        + b_2_4²·b_2_5·c_4_14·a_1_2² + a_2_3·c_4_14·a_1_2·b_5_22
        + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_4·b_2_5·c_4_14 + a_2_3²·b_2_4²·c_4_14 + b_2_4·b_2_5·c_4_14²
        + b_2_4²·c_4_14² + a_2_3·b_2_4·c_4_14² + b_2_4·c_4_14²·a_1_2²
        + a_2_3·c_4_14²·a_1_2²
151. b_5_20·b_7_42 + b_4_12·b_8_56 + b_2_5·b_4_12·b_6_33 + b_2_5³·b_6_34 + b_2_5³·b_6_33
        + b_2_5⁴·b_4_12 + b_2_5⁶ + b_2_4·b_2_5·b_3_8·b_5_22 + b_2_4·b_2_5²·b_6_34
        + b_2_4·b_2_5³·b_4_13 + b_2_4²·b_3_8·b_5_22 + b_2_4²·b_2_5²·b_4_12 + b_2_4³·b_6_33
        + b_2_4³·b_2_5·b_4_12 + b_2_4³·b_2_5³ + b_2_4⁴·b_2_5² + b_2_4⁵·b_2_5
        + b_2_5³·a_1_2·b_5_22 + b_2_4·b_2_5³·a_1_2·b_3_8 + b_2_4³·a_1_2·b_5_22
        + b_2_4³·b_2_5·a_1_2·b_3_8 + b_2_4⁴·a_1_2·b_3_8 + a_2_3·b_2_5³·b_4_13
        + a_2_3·b_2_5⁵ + a_2_3·b_2_4·b_8_56 + a_2_3·b_2_4·b_2_5·b_6_33
        + a_2_3·b_2_4·b_2_5²·b_4_13 + a_2_3·b_2_4·b_2_5²·b_4_12 + a_2_3·b_2_4·b_2_5⁴
        + a_2_3·b_2_4²·b_6_33 + a_2_3·b_2_4²·b_2_5·b_4_12 + a_2_3·b_2_4²·b_2_5³
        + a_2_3·b_2_4³·b_4_13 + a_2_3·b_2_4³·b_4_12 + a_2_3·b_2_4⁴·b_2_5 + a_2_3·b_2_4⁵
        + b_2_5⁵·a_1_2² + b_2_4⁵·a_1_2² + a_2_3·b_2_4²·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_4·b_2_5·b_4_12 + a_2_3²·b_2_4⁴
        + b_2_5·c_4_14·b_6_34 + b_2_5²·b_4_12·c_4_14 + b_2_4·c_4_14·b_6_34
        + b_2_4²·b_2_5²·c_4_14 + b_2_4⁴·c_4_14 + b_2_5·c_4_14·a_1_2·b_5_22
        + b_2_4²·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5·b_4_13·c_4_14 + a_2_3·b_2_5³·c_4_14
        + a_2_3·b_2_4²·b_2_5·c_4_14 + b_2_4²·b_2_5·c_4_14·a_1_2²
        + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_4·b_2_5·c_4_14 + a_2_3²·b_2_4²·c_4_14 + b_2_5²·c_4_14²
        + b_2_4²·c_4_14² + a_2_3·b_2_5·c_4_14² + a_2_3·b_2_4·c_4_14²
        + b_2_5·c_4_14²·a_1_2² + a_2_3·c_4_14²·a_1_2²
152. a_4_7·b_8_56 + a_2_3·b_4_12·b_6_33 + a_2_3·b_2_5³·b_4_13 + a_2_3·b_2_5⁵
        + a_2_3·b_2_4·b_2_5·b_6_33 + a_2_3·b_2_4·b_2_5²·b_4_13 + a_2_3·b_2_4²·b_6_33
        + a_2_3·b_2_4²·b_2_5·b_4_13 + a_2_3·b_2_4³·b_4_13 + a_2_3·b_2_4³·b_4_11
        + a_2_3·b_2_4⁵ + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_5²·b_4_12
        + a_2_3²·b_2_4·b_2_5·b_4_12 + a_2_3²·b_2_4²·b_4_12 + a_2_3²·b_2_4³·b_2_5
        + a_2_3²·b_2_4⁴ + b_2_4·b_2_5·c_4_14·a_1_2·b_3_8 + b_2_4²·c_4_14·a_1_2·b_3_8
        + a_2_3·c_4_14·b_6_33 + a_2_3·b_2_5·b_4_12·c_4_14 + a_2_3·b_2_4·b_4_13·c_4_14
        + a_2_3·b_2_4·b_2_5²·c_4_14 + a_2_3·b_2_4²·b_2_5·c_4_14 + b_2_5³·c_4_14·a_1_2²
        + b_2_4²·b_2_5·c_4_14·a_1_2² + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4·b_2_5·c_4_14 + c_4_14²·a_1_2·b_3_8
        + a_2_3·b_2_4·c_4_14² + b_2_4·c_4_14²·a_1_2² + a_2_3²·c_4_14²
153. b_5_20·b_7_42 + b_4_13·b_8_56 + b_2_5²·b_3_8·b_5_22 + b_2_5³·b_6_33 + b_2_5⁴·b_4_12
        + b_2_5⁶ + b_2_4·b_4_12·b_6_33 + b_2_4·b_2_5·b_3_8·b_5_22 + b_2_4·b_2_5²·b_6_34
        + b_2_4·b_2_5²·b_6_33 + b_2_4²·b_2_5⁴ + b_2_4³·b_6_34 + b_2_4³·b_2_5·b_4_13
        + b_2_4³·b_2_5³ + b_2_4⁴·b_4_13 + b_2_4⁴·b_4_12 + b_2_4⁶ + a_5_19·b_7_42
        + b_2_5³·a_1_2·b_5_22 + b_2_5⁴·a_1_2·b_3_8 + b_2_4·b_2_5²·a_1_2·b_5_22
        + b_2_4²·b_2_5·a_1_2·b_5_22 + b_2_4²·b_2_5²·a_1_2·b_3_8 + b_2_4³·a_1_2·b_5_22
        + b_2_4⁴·a_1_2·b_3_8 + a_2_3·b_4_12·b_6_33 + a_2_3·b_2_5³·b_4_13
        + a_2_3·b_2_5³·b_4_12 + a_2_3·b_2_5⁵ + a_2_3·b_2_4·b_2_5⁴ + b_2_5⁵·a_1_2²
        + b_2_4⁴·b_2_5·a_1_2² + a_2_3²·b_2_5⁴ + a_2_3²·b_2_4²·b_4_12
        + c_4_14·b_3_8·b_5_22 + b_2_5·c_4_14·b_6_34 + b_2_5²·b_4_13·c_4_14 + b_2_5⁴·c_4_14
        + b_2_4·c_4_14·b_6_34 + b_2_4²·b_4_12·c_4_14 + b_2_4⁴·c_4_14
        + b_2_5·c_4_14·a_1_2·b_5_22 + b_2_4·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·c_4_14·b_6_33
        + a_2_3·b_2_5·b_4_13·c_4_14 + a_2_3·b_2_4·b_4_13·c_4_14 + a_2_3·b_2_4·b_2_5²·c_4_14
        + a_2_3·b_2_4²·b_2_5·c_4_14 + b_2_4²·b_2_5·c_4_14·a_1_2²
        + a_2_3·c_4_14·a_1_2·b_5_22 + a_2_3·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_5²·c_4_14
        + a_2_3²·b_2_4·b_2_5·c_4_14 + b_2_5²·c_4_14² + b_2_4²·c_4_14²
        + a_2_3·b_2_5·c_4_14² + b_2_4·c_4_14²·a_1_2² + a_2_3·c_4_14²·a_1_2²
154. b_6_33·b_6_34 + b_6_33² + b_4_11·b_8_56 + b_2_5³·b_6_33 + b_2_4·b_2_5·b_3_8·b_5_22
        + b_2_4·b_2_5²·b_6_34 + b_2_4·b_2_5³·b_4_12 + b_2_4²·b_3_8·b_5_22
        + b_2_4²·b_2_5·b_6_34 + b_2_4²·b_2_5·b_6_33 + b_2_4²·b_2_5²·b_4_13
        + b_2_4²·b_2_5²·b_4_12 + b_2_4²·b_2_5⁴ + b_2_4³·b_6_33 + b_2_4³·b_2_5³
        + b_2_4⁴·b_4_13 + b_2_4⁴·b_4_11 + b_2_4⁴·b_2_5² + b_2_4⁶ + a_5_19·b_7_42
        + b_2_5⁴·a_1_2·b_3_8 + b_2_4·b_2_5²·a_1_2·b_5_22 + b_2_4·b_2_5³·a_1_2·b_3_8
        + b_2_4²·b_2_5²·a_1_2·b_3_8 + b_2_4³·a_1_2·b_5_22 + b_2_4³·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_5³·b_4_13 + a_2_3·b_2_5³·b_4_12 + a_2_3·b_2_5⁵
        + a_2_3·b_2_4·b_2_5·b_6_33 + a_2_3·b_2_4²·b_2_5·b_4_13 + a_2_3·b_2_4³·b_2_5²
        + b_2_4⁴·b_2_5·a_1_2² + b_2_4⁵·a_1_2² + a_2_3·b_2_5³·a_1_2·b_3_8
        + a_2_3·b_2_4³·a_1_2·b_3_8 + a_2_3²·b_2_5²·b_4_12 + a_2_3²·b_2_4³·b_2_5
        + a_2_3²·b_2_4⁴ + c_4_14·b_3_8·b_5_22 + b_2_5·c_4_14·b_6_33 + b_2_5²·b_4_13·c_4_14
        + b_2_5²·b_4_12·c_4_14 + b_2_5⁴·c_4_14 + b_2_4·c_4_14·b_6_33
        + b_2_4·b_2_5·b_4_13·c_4_14 + b_2_4⁴·c_4_14 + b_2_5·c_4_14·a_1_2·b_5_22
        + b_2_5²·c_4_14·a_1_2·b_3_8 + b_2_4·c_4_14·a_1_2·b_5_22 + a_2_3·b_2_5·b_4_13·c_4_14
        + a_2_3·b_2_5·b_4_12·c_4_14 + a_2_3·b_2_4·b_2_5²·c_4_14 + a_2_3·b_2_4²·b_2_5·c_4_14
        + a_2_3·b_2_4³·c_4_14 + b_2_5³·c_4_14·a_1_2² + b_2_4²·b_2_5·c_4_14·a_1_2²
        + a_2_3·c_4_14·a_1_2·b_5_22 + a_2_3·b_2_4·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_4²·c_4_14
        + b_2_4²·c_4_14² + a_2_3·b_2_4·c_4_14² + b_2_5·c_4_14²·a_1_2²
        + b_2_4·c_4_14²·a_1_2² + a_2_3·c_4_14²·a_1_2²
155. b_6_34·b_7_42 + b_6_33·b_7_42 + b_2_5·b_4_12·b_7_42 + b_2_5²·b_4_12·b_5_22
        + b_2_5²·b_4_12·b_5_20 + b_2_5³·b_7_42 + b_2_4·b_4_12·b_7_42
        + b_2_4·b_2_5·b_4_12·b_5_20 + b_2_4·b_2_5²·b_4_12·b_3_8 + b_2_4²·b_4_12·b_5_20
        + b_2_4²·b_2_5·b_7_42 + b_2_4²·b_2_5·b_4_12·b_3_8 + b_2_4³·b_7_42
        + b_2_5²·b_4_12·a_5_19 + b_2_5⁴·b_4_12·a_1_1 + b_2_5⁵·a_3_7 + b_2_4·b_2_5⁵·a_1_2
        + b_2_4²·b_4_11·a_5_19 + b_2_4²·b_2_5²·a_5_19 + b_2_4²·b_2_5⁴·a_1_2
        + b_2_4³·b_2_5·a_5_19 + b_2_4⁴·b_2_5·a_3_7 + b_2_4⁶·a_1_1 + b_2_4⁶·a_1_0
        + a_2_3·b_2_5·b_4_12·b_5_22 + a_2_3·b_2_5⁴·b_3_8 + a_2_3·b_2_4·b_2_5·b_7_42
        + a_2_3·b_2_4·b_2_5²·b_5_22 + a_2_3·b_2_4·b_2_5²·b_5_20 + a_2_3·b_2_4²·b_7_42
        + a_2_3·b_2_4²·b_2_5·b_5_20 + a_2_3·b_2_4³·b_5_22 + a_2_3·b_2_4³·b_2_5·b_3_8
        + a_2_3·b_2_5⁴·a_3_7 + a_2_3·b_2_5⁵·a_1_2 + a_2_3·b_2_4³·b_2_5·a_3_7
        + a_2_3·b_2_4⁴·b_2_5·a_1_2 + a_2_3·b_2_4⁵·a_1_2 + b_4_12·c_4_14·b_5_22
        + b_4_12·c_4_14·b_5_20 + b_2_4·c_4_14·b_7_42 + b_2_5²·c_4_14·a_5_19
        + b_2_5⁴·c_4_14·a_1_2 + b_2_5⁴·c_4_14·a_1_1 + b_2_4·b_2_5·c_4_14·a_5_19
        + b_2_4²·b_2_5·c_4_14·a_3_7 + b_2_4²·b_2_5²·c_4_14·a_1_2 + b_2_4³·c_4_14·a_3_7
        + b_2_4³·b_2_5·c_4_14·a_1_2 + b_2_4⁴·c_4_14·a_1_2 + b_2_4⁴·c_4_14·a_1_1
        + a_2_3·b_4_12·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·b_5_20 + a_2_3·b_2_5²·c_4_14·a_3_7
        + a_2_3·b_2_4·b_2_5·c_4_14·a_3_7 + a_2_3·b_2_4²·c_4_14·a_3_7
        + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4³·c_4_14·a_1_2
        + b_2_5·c_4_14²·a_3_7 + b_2_5²·c_4_14²·a_1_2 + b_2_4·c_4_14²·a_3_7
        + b_2_4²·c_4_14²·a_1_2 + b_2_4²·c_4_14²·a_1_1 + b_2_4²·c_4_14²·a_1_0
        + a_2_3·c_4_14²·b_3_8 + a_2_3·b_2_5·c_4_14²·a_1_2
156. b_6_33·b_7_42 + b_2_5²·b_4_12·b_5_22 + b_2_5²·b_4_12·b_5_20
        + b_2_4·b_2_5·b_4_12·b_5_22 + b_2_4·b_2_5·b_4_12·b_5_20 + b_2_4·b_2_5³·b_5_22
        + b_2_4²·b_4_12·b_5_22 + b_2_4²·b_2_5·b_7_42 + b_2_4²·b_2_5·b_4_12·b_3_8
        + b_2_4²·b_2_5²·b_5_22 + b_2_4²·b_2_5²·b_5_20 + b_2_4³·b_7_42
        + b_2_4³·b_2_5·b_5_22 + b_2_4⁴·b_5_22 + b_2_4⁴·b_5_20 + b_2_4⁴·b_2_5·b_3_8
        + b_2_4⁵·b_3_8 + b_2_5²·b_4_12·a_5_19 + b_2_5⁴·b_4_12·a_1_1 + b_2_5⁵·a_3_7
        + b_2_4²·b_4_11·a_5_19 + b_2_4²·b_2_5²·a_5_19 + b_2_4²·b_2_5⁴·a_1_2
        + b_2_4³·b_2_5·a_5_19 + b_2_4³·b_2_5³·a_1_2 + b_2_4⁴·b_4_11·a_1_1
        + b_2_4⁴·b_4_11·a_1_0 + b_2_4⁴·b_2_5²·a_1_2 + b_2_4⁵·a_3_7 + b_2_4⁶·a_1_2
        + a_2_3·b_2_5⁴·b_3_8 + a_2_3·b_2_4·b_2_5·b_7_42 + a_2_3·b_2_4·b_2_5²·b_5_20
        + a_2_3·b_2_4²·b_7_42 + a_2_3·b_2_4²·b_4_12·b_3_8 + a_2_3·b_2_4³·b_5_20
        + a_2_3·b_2_4⁴·b_3_8 + a_2_3·b_2_5⁵·a_1_2 + a_2_3·b_2_4⁴·a_3_7
        + b_4_12·c_4_14·b_5_22 + b_4_12·c_4_14·b_5_20 + b_2_5·c_4_14·b_7_42
        + b_2_4·b_2_5²·c_4_14·b_3_8 + b_2_4²·b_2_5·c_4_14·b_3_8 + b_2_5²·c_4_14·a_5_19
        + b_2_5⁴·c_4_14·a_1_2 + b_2_5⁴·c_4_14·a_1_1 + b_2_4·b_2_5·c_4_14·a_5_19
        + b_2_4²·b_2_5²·c_4_14·a_1_2 + b_2_4³·b_2_5·c_4_14·a_1_2 + b_2_4⁴·c_4_14·a_1_2
        + b_2_4⁴·c_4_14·a_1_0 + a_2_3·c_4_14·b_7_42 + a_2_3·b_2_5²·c_4_14·b_3_8
        + a_2_3·b_2_4·c_4_14·b_5_20 + a_2_3·b_2_4·b_2_5·c_4_14·b_3_8 + a_2_3·c_8_58·a_3_7
        + a_2_3·b_2_5·c_8_58·a_1_2 + a_2_3·b_2_5³·c_4_14·a_1_2 + a_2_3·b_2_4²·c_4_14·a_3_7
        + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2 + b_2_5·c_4_14²·a_3_7 + b_2_5²·c_4_14²·a_1_2
        + b_2_4·c_4_14²·a_3_7 + b_2_4²·c_4_14²·a_1_2 + b_2_4²·c_4_14²·a_1_1
        + b_2_4²·c_4_14²·a_1_0 + a_2_3·c_4_14²·b_3_8 + a_2_3·c_4_14²·a_3_7
157. b_8_56·a_5_19 + b_2_5²·b_4_12·a_5_19 + b_2_5⁴·a_5_19 + b_2_4²·b_4_11·a_5_19
        + b_2_4²·b_2_5²·a_5_19 + b_2_4²·b_2_5⁴·a_1_2 + b_2_4³·b_2_5³·a_1_2
        + b_2_4⁴·a_5_19 + b_2_4⁴·b_2_5²·a_1_2 + b_2_4⁵·b_2_5·a_1_2
        + a_2_3·b_2_5·b_4_12·b_5_22 + a_2_3·b_2_5²·b_7_42 + a_2_3·b_2_5³·b_5_20
        + a_2_3·b_2_4·b_2_5·b_7_42 + a_2_3·b_2_4·b_2_5·b_4_12·b_3_8
        + a_2_3·b_2_4·b_2_5²·b_5_20 + a_2_3·b_2_4·b_2_5³·b_3_8 + a_2_3·b_2_4²·b_2_5·b_5_22
        + a_2_3·b_2_4²·b_2_5·b_5_20 + a_2_3·b_2_4³·b_5_22 + a_2_3·b_2_4³·b_5_20
        + a_2_3·b_2_4³·b_2_5·b_3_8 + a_2_3·b_2_5⁴·a_3_7 + a_2_3·b_2_4³·b_2_5·a_3_7
        + a_2_3·b_2_4⁴·a_3_7 + a_2_3·b_2_4⁴·b_2_5·a_1_2 + a_2_3·b_2_4⁵·a_1_2
        + b_2_4·b_2_5·c_4_14·a_5_19 + b_2_4·b_2_5³·c_4_14·a_1_2 + b_2_4²·c_4_14·a_5_19
        + b_2_4³·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_5·c_4_14·b_5_22 + a_2_3·b_2_5·c_4_14·b_5_20
        + a_2_3·b_2_4·c_4_14·b_5_22 + a_2_3·b_2_4·c_4_14·b_5_20 + a_2_3·b_2_5²·c_4_14·a_3_7
        + a_2_3·b_2_5³·c_4_14·a_1_2 + a_2_3·b_2_4·b_2_5·c_4_14·a_3_7
        + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2 + a_2_3·b_2_4³·c_4_14·a_1_2
        + a_2_3·b_2_5·c_4_14²·a_1_2 + a_2_3·b_2_4·c_4_14²·a_1_2
158. b_8_56·b_5_22 + b_6_33·b_7_42 + b_2_5²·b_4_12·b_5_22 + b_2_5²·b_4_12·b_5_20
        + b_2_5³·b_7_42 + b_2_5⁴·b_5_20 + b_2_4·b_4_12·b_7_42 + b_2_4·b_2_5·b_4_12·b_5_20
        + b_2_4·b_2_5²·b_4_12·b_3_8 + b_2_4·b_2_5³·b_5_20 + b_2_4·b_2_5⁴·b_3_8
        + b_2_4²·b_4_12·b_5_22 + b_2_4²·b_2_5·b_4_12·b_3_8 + b_2_4²·b_2_5²·b_5_22
        + b_2_4²·b_2_5²·b_5_20 + b_2_4²·b_2_5³·b_3_8 + b_2_4³·b_7_42
        + b_2_4³·b_4_12·b_3_8 + b_2_4³·b_2_5·b_5_22 + b_2_4⁴·b_5_22 + b_2_4⁴·b_5_20
        + b_2_4⁴·b_2_5·b_3_8 + b_2_4⁵·b_3_8 + b_2_5²·b_4_12·a_5_19 + b_2_5⁴·a_5_19
        + b_2_5⁵·a_3_7 + b_2_5⁶·a_1_2 + b_2_5⁶·a_1_1 + b_2_4·b_2_5³·a_5_19
        + b_2_4·b_2_5⁵·a_1_2 + b_2_4³·b_2_5³·a_1_2 + b_2_4⁴·a_5_19 + b_2_4⁴·b_4_11·a_1_1
        + b_2_4⁴·b_4_11·a_1_0 + b_2_4⁵·a_3_7 + b_2_4⁵·b_2_5·a_1_2 + b_2_4⁶·a_1_1
        + a_2_3·b_2_5²·b_4_12·b_3_8 + a_2_3·b_2_5³·b_5_20 + a_2_3·b_2_4·b_2_5·b_4_12·b_3_8
        + a_2_3·b_2_4·b_2_5²·b_5_22 + a_2_3·b_2_4·b_2_5²·b_5_20
        + a_2_3·b_2_4²·b_4_12·b_3_8 + a_2_3·b_2_4²·b_2_5·b_5_20 + a_2_3·b_2_4³·b_5_22
        + a_2_3·b_2_5⁵·a_1_2 + a_2_3·b_2_4⁴·b_2_5·a_1_2 + a_2_3·b_2_4⁵·a_1_2
        + b_2_5·b_4_12·c_4_14·b_3_8 + b_2_5²·c_4_14·b_5_22 + b_2_5³·c_4_14·b_3_8
        + b_2_4·c_4_14·b_7_42 + b_2_4·b_2_5²·c_4_14·b_3_8 + b_2_4²·c_4_14·b_5_22
        + b_2_5⁴·c_4_14·a_1_2 + b_2_5⁴·c_4_14·a_1_1 + b_2_4³·b_2_5·c_4_14·a_1_2
        + b_2_4⁴·c_4_14·a_1_1 + a_2_3·b_2_5·c_4_14·b_5_22 + a_2_3·b_2_4·c_4_14·b_5_22
        + a_2_3·b_2_4·c_4_14·b_5_20 + a_2_3·b_2_4·b_2_5·c_4_14·b_3_8
        + a_2_3·b_2_4²·c_4_14·b_3_8 + a_2_3·b_2_4·c_8_58·a_1_2
        + a_2_3·b_2_4·b_2_5·c_4_14·a_3_7 + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2
        + b_2_5²·c_4_14²·a_1_2 + b_2_4·b_2_5·c_4_14²·a_1_2 + a_2_3·b_2_5·c_4_14²·a_1_2
159. b_8_56·a_5_18 + b_2_5⁴·b_4_12·a_1_1 + b_2_5⁵·a_3_7 + b_2_4·b_2_5³·a_5_19
        + b_2_4²·b_4_11·a_5_19 + b_2_4³·b_2_5·a_5_19 + b_2_4³·b_2_5³·a_1_2 + b_2_4⁴·a_5_18
        + b_2_4⁵·a_3_7 + b_2_4⁵·b_2_5·a_1_2 + a_2_3·b_2_5²·b_7_42 + a_2_3·b_2_5³·b_5_22
        + a_2_3·b_2_5³·b_5_20 + a_2_3·b_2_4·b_2_5·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5²·b_5_20
        + a_2_3·b_2_4·b_2_5³·b_3_8 + a_2_3·b_2_4²·b_7_42 + a_2_3·b_2_4²·b_2_5·b_5_20
        + a_2_3·b_2_4²·b_2_5²·b_3_8 + a_2_3·b_2_4³·b_5_22 + a_2_3·b_2_4³·b_5_20
        + a_2_3·b_2_4³·b_2_5·b_3_8 + a_2_3·b_2_4⁴·b_3_8 + a_2_3·b_2_5⁵·a_1_2
        + a_2_3·b_2_4³·b_2_5·a_3_7 + a_2_3·b_2_4⁴·b_2_5·a_1_2 + a_2_3·b_2_4⁵·a_1_2
        + b_2_5⁴·c_4_14·a_1_2 + b_2_5⁴·c_4_14·a_1_1 + b_2_4·b_2_5³·c_4_14·a_1_2
        + b_2_4²·c_4_14·a_5_19 + b_2_4²·b_2_5·c_4_14·a_3_7 + b_2_4²·b_2_5²·c_4_14·a_1_2
        + b_2_4³·c_4_14·a_3_7 + b_2_4⁴·c_4_14·a_1_2 + b_2_4⁴·c_4_14·a_1_1
        + a_2_3·b_4_12·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·b_5_22 + a_2_3·b_2_5²·c_4_14·b_3_8
        + a_2_3·b_2_4·c_4_14·b_5_20 + a_2_3·b_2_4·b_2_5·c_4_14·b_3_8
        + a_2_3·b_2_4²·c_4_14·b_3_8 + a_2_3·b_2_4·b_2_5·c_4_14·a_3_7
        + a_2_3·b_2_4²·c_4_14·a_3_7 + a_2_3·b_2_5·c_4_14²·a_1_2
160. b_8_56·b_5_20 + b_2_5·b_4_12·b_7_42 + b_2_5²·b_4_12·b_5_22 + b_2_5²·b_4_12·b_5_20
        + b_2_5⁴·b_5_20 + b_2_4·b_4_12·b_7_42 + b_2_4·b_2_5·b_4_12·b_5_22
        + b_2_4·b_2_5·b_4_12·b_5_20 + b_2_4·b_2_5²·b_4_12·b_3_8 + b_2_4·b_2_5³·b_5_20
        + b_2_4²·b_2_5·b_7_42 + b_2_4²·b_2_5²·b_5_22 + b_2_4³·b_7_42 + b_2_4³·b_4_12·b_3_8
        + b_2_4³·b_2_5·b_5_22 + b_2_4³·b_2_5·b_5_20 + b_2_4³·b_2_5²·b_3_8 + b_2_4⁵·b_3_8
        + b_2_5²·b_4_12·a_5_19 + b_2_5⁵·a_3_7 + b_2_4·b_2_5⁵·a_1_2 + b_2_4²·b_4_11·a_5_19
        + b_2_4³·b_2_5³·a_1_2 + b_2_4⁴·a_5_19 + b_2_4⁴·b_4_11·a_1_1 + b_2_4⁴·b_4_11·a_1_0
        + b_2_4⁵·a_3_7 + b_2_4⁶·a_1_1 + b_2_4⁶·a_1_0 + a_2_3·b_2_5²·b_4_12·b_3_8
        + a_2_3·b_2_5³·b_5_20 + a_2_3·b_2_5⁴·b_3_8 + a_2_3·b_2_4²·b_7_42
        + a_2_3·b_2_4²·b_2_5·b_5_20 + a_2_3·b_2_4²·b_2_5²·b_3_8 + a_2_3·b_2_4³·b_5_22
        + a_2_3·b_2_4³·b_2_5·a_3_7 + a_2_3·b_2_4⁵·a_1_2 + b_4_12·c_4_14·b_5_22
        + b_4_12·c_4_14·b_5_20 + b_2_5·c_4_14·b_7_42 + b_2_5·b_4_12·c_4_14·b_3_8
        + b_2_5²·c_4_14·b_5_20 + b_2_5³·c_4_14·b_3_8 + b_2_4·c_4_14·b_7_42
        + b_2_4·b_2_5²·c_4_14·b_3_8 + b_2_4²·c_4_14·b_5_20 + b_2_5²·c_4_14·a_5_19
        + b_2_5³·c_4_14·a_3_7 + b_2_4·b_2_5·c_4_14·a_5_19 + b_2_4·b_2_5³·c_4_14·a_1_2
        + b_2_4²·b_2_5²·c_4_14·a_1_2 + b_2_4³·c_4_14·a_3_7 + b_2_4³·b_2_5·c_4_14·a_1_2
        + b_2_4⁴·c_4_14·a_1_2 + a_2_3·b_4_12·c_4_14·b_3_8 + a_2_3·b_2_5·c_4_14·b_5_20
        + a_2_3·b_2_4·b_2_5·c_4_14·b_3_8 + a_2_3·b_2_4²·c_4_14·b_3_8
        + a_2_3·b_2_5³·c_4_14·a_1_2 + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2
        + a_2_3·b_2_4³·c_4_14·a_1_2 + b_2_5·c_4_14²·a_3_7 + b_2_5²·c_4_14²·a_1_2
        + b_2_4·c_4_14²·a_3_7 + b_2_4²·c_4_14²·a_1_2 + b_2_4²·c_4_14²·a_1_1
        + b_2_4²·c_4_14²·a_1_0 + a_2_3·c_4_14²·b_3_8 + a_2_3·b_2_5·c_4_14²·a_1_2
161. b_7_42² + b_2_4²·b_2_5⁵ + b_2_4⁴·b_2_5³ + b_2_4⁵·b_2_5² + b_2_4⁶·b_2_5
        + b_2_4·b_2_5³·a_1_2·b_5_22 + b_2_4²·b_2_5²·a_1_2·b_5_22
        + b_2_4²·b_2_5³·a_1_2·b_3_8 + b_2_4³·b_2_5²·a_1_2·b_3_8 + b_2_4⁴·a_1_2·b_5_22
        + b_2_4⁴·b_2_5·a_1_2·b_3_8 + b_2_4⁵·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5³·b_4_13
        + a_2_3·b_2_4·b_2_5³·b_4_12 + a_2_3·b_2_4·b_2_5⁵ + a_2_3·b_2_4²·b_2_5²·b_4_13
        + a_2_3·b_2_4²·b_2_5²·b_4_12 + a_2_3·b_2_4²·b_2_5⁴ + a_2_3·b_2_4³·b_2_5³
        + a_2_3·b_2_4⁴·b_4_13 + a_2_3·b_2_4⁴·b_4_12 + a_2_3·b_2_4⁶
        + a_2_3·b_2_5⁴·a_1_2·b_3_8 + a_2_3·b_2_4³·b_2_5·a_1_2·b_3_8
        + a_2_3·b_2_4⁴·a_1_2·b_3_8 + a_2_3²·b_2_5³·b_4_12 + a_2_3²·b_2_4²·b_2_5·b_4_12
        + a_2_3²·b_2_4⁴·b_2_5 + a_2_3²·b_2_4⁵ + b_2_4²·b_2_5³·c_4_14
        + b_2_4³·b_2_5²·c_4_14 + b_2_4·b_2_5·c_4_14·a_1_2·b_5_22
        + a_2_3·b_2_4·b_2_5·b_4_13·c_4_14 + a_2_3·b_2_4·b_2_5·b_4_12·c_4_14
        + a_2_3·b_2_4·b_2_5³·c_4_14 + a_2_3·b_2_4³·b_2_5·c_4_14 + b_2_5²·c_8_58·a_1_2²
        + b_2_5⁴·c_4_14·a_1_2² + b_2_4⁴·c_4_14·a_1_2²
        + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4²·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_5·b_4_12·c_4_14 + a_2_3²·b_2_4·b_4_12·c_4_14 + c_4_14·c_8_58·a_1_2²
        + b_2_5²·c_4_14²·a_1_2² + b_2_4·b_2_5·c_4_14²·a_1_2²
        + b_2_4²·c_4_14²·a_1_2² + a_2_3·c_4_14²·a_1_2·b_3_8 + a_2_3³·c_4_14²
        + c_4_14³·a_1_2²
162. b_6_33·b_8_56 + b_2_5⁴·b_6_34 + b_2_5⁷ + b_2_4·b_2_5·b_4_12·b_6_33
        + b_2_4·b_2_5⁴·b_4_13 + b_2_4·b_2_5⁶ + b_2_4²·b_4_12·b_6_33
        + b_2_4²·b_2_5·b_3_8·b_5_22 + b_2_4²·b_2_5·b_8_56 + b_2_4²·b_2_5²·b_6_34
        + b_2_4²·b_2_5²·b_6_33 + b_2_4²·b_2_5³·b_4_13 + b_2_4²·b_2_5³·b_4_12
        + b_2_4³·b_3_8·b_5_22 + b_2_4³·b_8_56 + b_2_4⁴·b_2_5·b_4_12 + b_2_4⁴·b_2_5³
        + b_2_4⁶·b_2_5 + b_2_5⁴·a_1_2·b_5_22 + b_2_4²·b_2_5²·a_1_2·b_5_22
        + a_2_3·b_2_5·b_4_12·b_6_33 + a_2_3·b_2_5³·b_6_33 + a_2_3·b_2_4·b_4_12·b_6_33
        + a_2_3·b_2_4·b_2_5·b_8_56 + a_2_3·b_2_4·b_2_5²·b_6_33 + a_2_3·b_2_4·b_2_5³·b_4_12
        + a_2_3·b_2_4·b_2_5⁵ + a_2_3·b_2_4²·b_2_5·b_6_33 + a_2_3·b_2_4²·b_2_5⁴
        + a_2_3·b_2_4³·b_6_33 + a_2_3·b_2_4³·b_2_5·b_4_12 + a_2_3·b_2_4³·b_2_5³
        + a_2_3·b_2_4⁴·b_2_5² + a_2_3·b_2_4⁵·b_2_5 + b_2_4⁵·b_2_5·a_1_2²
        + b_2_4⁶·a_1_2² + a_2_3·b_2_4³·b_2_5·a_1_2·b_3_8 + a_2_3²·b_2_5⁵
        + a_2_3²·b_2_4³·b_4_12 + a_2_3²·b_2_4⁵ + b_4_12·c_4_14·b_6_33
        + b_2_5·c_4_14·b_8_56 + b_2_5²·c_4_14·b_6_34 + b_2_5²·c_4_14·b_6_33
        + b_2_5³·b_4_13·c_4_14 + b_2_5⁵·c_4_14 + b_2_4·b_2_5²·b_4_12·c_4_14
        + b_2_4·b_2_5⁴·c_4_14 + b_2_4²·c_4_14·b_6_34 + b_2_4²·c_4_14·b_6_33
        + b_2_4²·b_2_5·b_4_13·c_4_14 + b_2_4²·b_2_5·b_4_12·c_4_14 + b_2_4²·b_2_5³·c_4_14
        + b_2_4³·b_2_5²·c_4_14 + b_2_4⁴·b_2_5·c_4_14 + b_2_5²·c_4_14·a_1_2·b_5_22
        + b_2_4·b_2_5·c_4_14·a_1_2·b_5_22 + b_2_4·b_2_5²·c_4_14·a_1_2·b_3_8
        + b_2_4²·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5·c_4_14·b_6_33 + a_2_3·b_2_5⁴·c_4_14
        + a_2_3·b_2_4·c_4_14·b_6_33 + a_2_3·b_2_4·b_2_5³·c_4_14
        + a_2_3·b_2_4²·b_4_13·c_4_14 + a_2_3·b_2_4²·b_4_12·c_4_14
        + a_2_3·b_2_4²·b_2_5²·c_4_14 + a_2_3·b_2_4³·b_2_5·c_4_14 + b_2_5⁴·c_4_14·a_1_2²
        + a_2_3·c_8_58·a_1_2·b_3_8 + a_2_3·b_2_5²·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_4²·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_5·c_8_58 + a_2_3²·b_2_5·b_4_12·c_4_14 + a_2_3²·b_2_5³·c_4_14
        + a_2_3²·b_2_4·c_8_58 + b_2_5·b_4_13·c_4_14² + b_2_5·b_4_12·c_4_14²
        + b_2_5³·c_4_14² + b_2_4·b_4_13·c_4_14² + b_2_4³·c_4_14²
        + b_2_4·c_4_14²·a_1_2·b_3_8 + a_2_3·b_4_12·c_4_14² + a_2_3·b_2_5²·c_4_14²
        + a_2_3·b_2_4²·c_4_14² + c_4_14·c_8_58·a_1_2² + a_2_3·c_4_14²·a_1_2·b_3_8
        + a_2_3²·b_2_4·c_4_14² + a_2_3³·c_4_14²
163. b_6_34·b_8_56 + b_2_5³·b_8_56 + b_2_5⁴·b_6_33 + b_2_4·b_2_5⁴·b_4_13 + b_2_4·b_2_5⁶
        + b_2_4²·b_2_5²·b_6_34 + b_2_4³·b_2_5·b_6_34 + b_2_4³·b_2_5⁴ + b_2_4⁴·b_6_34
        + b_2_4⁴·b_6_33 + b_2_4⁴·b_2_5·b_4_12 + b_2_4⁴·b_2_5³ + b_2_4⁵·b_4_13
        + b_2_4⁵·b_4_12 + b_2_4⁶·b_2_5 + b_2_4⁷ + b_2_5⁴·a_1_2·b_5_22
        + b_2_4·b_2_5³·a_1_2·b_5_22 + b_2_4²·b_2_5²·a_1_2·b_5_22
        + b_2_4³·b_2_5²·a_1_2·b_3_8 + b_2_4⁴·a_1_2·b_5_22 + b_2_4⁵·a_1_2·b_3_8
        + a_2_3·b_2_5·b_4_12·b_6_33 + a_2_3·b_2_5⁴·b_4_12 + a_2_3·b_2_4·b_4_12·b_6_33
        + a_2_3·b_2_4·b_2_5·b_8_56 + a_2_3·b_2_4·b_2_5²·b_6_33 + a_2_3·b_2_4·b_2_5³·b_4_12
        + a_2_3·b_2_4²·b_2_5·b_6_33 + a_2_3·b_2_4²·b_2_5²·b_4_13
        + a_2_3·b_2_4²·b_2_5²·b_4_12 + a_2_3·b_2_4³·b_2_5·b_4_13
        + a_2_3·b_2_4³·b_2_5·b_4_12 + a_2_3·b_2_4⁵·b_2_5 + b_2_4⁵·b_2_5·a_1_2²
        + b_2_4⁶·a_1_2² + a_2_3²·b_2_5³·b_4_12 + a_2_3²·b_2_4²·b_2_5·b_4_12
        + a_2_3²·b_2_4³·b_4_12 + a_2_3²·b_2_4⁴·b_2_5 + a_2_3²·b_2_4⁵
        + b_2_5·c_4_14·b_8_56 + b_2_5²·c_4_14·b_6_34 + b_2_5³·b_4_13·c_4_14 + b_2_5⁵·c_4_14
        + b_2_4·c_4_14·b_3_8·b_5_22 + b_2_4·c_4_14·b_8_56 + b_2_4·b_2_5·c_4_14·b_6_34
        + b_2_4·b_2_5²·b_4_12·c_4_14 + b_2_4·b_2_5⁴·c_4_14 + b_2_4²·b_2_5³·c_4_14
        + b_2_4³·b_4_12·c_4_14 + b_2_4³·b_2_5²·c_4_14 + b_2_5²·c_4_14·a_1_2·b_5_22
        + b_2_5³·c_4_14·a_1_2·b_3_8 + b_2_4·b_2_5·c_4_14·a_1_2·b_5_22
        + b_2_4³·c_4_14·a_1_2·b_3_8 + a_2_3·c_4_14·b_8_56 + a_2_3·b_2_5⁴·c_4_14
        + a_2_3·b_2_4·c_4_14·b_6_33 + a_2_3·b_2_4·b_2_5³·c_4_14
        + a_2_3·b_2_4²·b_4_13·c_4_14 + a_2_3·b_2_4²·b_4_12·c_4_14
        + a_2_3·b_2_4³·b_2_5·c_4_14 + b_2_4³·b_2_5·c_4_14·a_1_2²
        + a_2_3·c_8_58·a_1_2·b_3_8 + a_2_3·b_2_4·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3²·b_2_5·c_8_58 + a_2_3²·b_2_5·b_4_12·c_4_14 + a_2_3²·b_2_5³·c_4_14
        + a_2_3²·b_2_4·c_8_58 + a_2_3²·b_2_4·b_4_12·c_4_14 + a_2_3²·b_2_4³·c_4_14
        + b_2_5³·c_4_14² + b_2_4²·b_2_5·c_4_14² + a_2_3·b_2_5²·c_4_14²
        + a_2_3·b_2_4·b_2_5·c_4_14² + a_2_3·b_2_4²·c_4_14² + c_4_14·c_8_58·a_1_2²
        + b_2_5²·c_4_14²·a_1_2² + b_2_4²·c_4_14²·a_1_2² + a_2_3²·b_2_5·c_4_14²
        + a_2_3²·b_2_4·c_4_14² + a_2_3³·c_4_14² + c_4_14³·a_1_2²
164. b_8_56·b_7_42 + b_2_5²·b_4_12·b_7_42 + b_2_5³·b_4_12·b_5_22 + b_2_5³·b_4_12·b_5_20
        + b_2_5⁵·b_5_22 + b_2_5⁵·b_5_20 + b_2_4·b_2_5·b_4_12·b_7_42
        + b_2_4·b_2_5²·b_4_12·b_5_20 + b_2_4·b_2_5⁴·b_5_22 + b_2_4·b_2_5⁴·b_5_20
        + b_2_4·b_2_5⁵·b_3_8 + b_2_4²·b_4_12·b_7_42 + b_2_4²·b_2_5·b_4_12·b_5_22
        + b_2_4²·b_2_5·b_4_12·b_5_20 + b_2_4²·b_2_5²·b_7_42 + b_2_4²·b_2_5²·b_4_12·b_3_8
        + b_2_4³·b_4_12·b_5_22 + b_2_4³·b_4_12·b_5_20 + b_2_4³·b_2_5²·b_5_22
        + b_2_4⁴·b_4_12·b_3_8 + b_2_4⁴·b_2_5²·b_3_8 + b_2_4⁵·b_5_22 + b_2_5⁵·a_5_19
        + b_2_5⁷·a_1_2 + b_2_5⁷·a_1_1 + b_2_4·b_2_5⁶·a_1_2 + b_2_4³·b_2_5⁴·a_1_2
        + b_2_4⁴·b_2_5·a_5_19 + b_2_4⁵·a_5_19 + b_2_4⁵·b_2_5²·a_1_2 + b_2_4⁶·b_2_5·a_1_2
        + b_2_4⁷·a_1_2 + b_2_4⁷·a_1_0 + a_2_3·b_2_5³·b_7_42 + a_2_3·b_2_5³·b_4_12·b_3_8
        + a_2_3·b_2_5⁴·b_5_22 + a_2_3·b_2_5⁴·b_5_20 + a_2_3·b_2_4·b_2_5·b_4_12·b_5_22
        + a_2_3·b_2_4·b_2_5²·b_4_12·b_3_8 + a_2_3·b_2_4·b_2_5³·b_5_22
        + a_2_3·b_2_4·b_2_5⁴·b_3_8 + a_2_3·b_2_4²·b_4_12·b_5_22
        + a_2_3·b_2_4²·b_2_5³·b_3_8 + a_2_3·b_2_4³·b_7_42 + a_2_3·b_2_4³·b_2_5·b_5_20
        + a_2_3·b_2_4⁴·b_5_20 + a_2_3·b_2_5⁵·a_3_7 + a_2_3·b_2_5⁶·a_1_2
        + a_2_3·b_2_4⁵·a_3_7 + b_2_5·b_4_12·c_4_14·b_5_22 + b_2_5·b_4_12·c_4_14·b_5_20
        + b_2_5²·c_4_14·b_7_42 + b_2_5³·c_4_14·b_5_22 + b_2_5³·c_4_14·b_5_20
        + b_2_4·b_2_5·b_4_12·c_4_14·b_3_8 + b_2_4·b_2_5²·c_4_14·b_5_22
        + b_2_4²·c_4_14·b_7_42 + b_2_4²·b_2_5·c_4_14·b_5_20 + b_2_5³·c_4_14·a_5_19
        + b_2_5⁴·c_4_14·a_3_7 + b_2_5⁵·c_4_14·a_1_2 + b_2_5⁵·c_4_14·a_1_1
        + b_2_4·b_2_5²·c_4_14·a_5_19 + b_2_4²·b_2_5³·c_4_14·a_1_2
        + b_2_4³·b_2_5²·c_4_14·a_1_2 + b_2_4⁴·c_4_14·a_3_7 + b_2_4⁴·b_2_5·c_4_14·a_1_2
        + b_2_4⁵·c_4_14·a_1_0 + a_2_3·b_2_5·b_4_12·c_4_14·b_3_8
        + a_2_3·b_2_5²·c_4_14·b_5_22 + a_2_3·b_2_4·b_4_12·c_4_14·b_3_8
        + a_2_3·b_2_4·b_2_5·c_4_14·b_5_20 + a_2_3·b_2_4²·c_4_14·b_5_22
        + a_2_3·b_2_4³·c_4_14·b_3_8 + a_2_3·b_2_5²·c_8_58·a_1_2
        + a_2_3·b_2_5³·c_4_14·a_3_7 + a_2_3·b_2_5⁴·c_4_14·a_1_2 + a_2_3·b_2_4·c_8_58·a_3_7
        + a_2_3·b_2_4·b_2_5·c_8_58·a_1_2 + a_2_3·b_2_4²·b_2_5·c_4_14·a_3_7
        + c_8_58·a_1_0²·a_5_18 + b_2_5²·c_4_14²·a_3_7 + b_2_4·b_2_5·c_4_14²·a_3_7
        + b_2_4·b_2_5²·c_4_14²·a_1_2 + b_2_4²·b_2_5·c_4_14²·a_1_2
        + a_2_3·b_2_5·c_4_14²·b_3_8 + a_2_3·c_4_14·c_8_58·a_1_2 + a_2_3·b_2_4·c_4_14²·a_3_7
        + a_2_3·b_2_4²·c_4_14²·a_1_2 + a_2_3·c_4_14³·a_1_2
165. b_8_56² + b_2_5⁸ + b_2_4²·b_2_5⁴·b_4_13 + b_2_4⁴·b_2_5²·b_4_13
        + b_2_4²·b_2_5⁴·a_1_2·b_3_8 + b_2_4⁴·b_2_5²·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5³·b_6_33 + a_2_3·b_2_4·b_2_5⁴·b_4_12
        + a_2_3·b_2_4²·b_2_5³·b_4_13 + a_2_3·b_2_4²·b_2_5⁵ + a_2_3·b_2_4³·b_2_5·b_6_33
        + a_2_3·b_2_4³·b_2_5²·b_4_12 + a_2_3·b_2_4³·b_2_5⁴ + a_2_3·b_2_4⁴·b_2_5·b_4_13
        + a_2_3·b_2_4⁴·b_2_5³ + a_2_3·b_2_4⁵·b_2_5² + a_2_3²·b_2_5⁴·b_4_12
        + a_2_3²·b_2_5⁶ + a_2_3²·b_2_4⁴·b_4_12 + a_2_3²·b_2_4⁶ + b_2_5⁶·c_4_14
        + b_2_4·b_2_5³·b_4_13·c_4_14 + b_2_4·b_2_5⁵·c_4_14 + b_2_4²·b_2_5²·b_4_13·c_4_14
        + b_2_4²·b_2_5⁴·c_4_14 + b_2_4³·b_2_5³·c_4_14 + b_2_4⁴·b_2_5²·c_4_14
        + b_2_4⁶·c_4_14 + b_2_4·b_2_5³·c_4_14·a_1_2·b_3_8
        + b_2_4³·b_2_5·c_4_14·a_1_2·b_3_8 + a_2_3·b_2_5²·c_4_14·b_6_33
        + a_2_3·b_2_5³·b_4_13·c_4_14 + a_2_3·b_2_5⁵·c_4_14
        + a_2_3·b_2_4·b_2_5·c_4_14·b_6_33 + a_2_3·b_2_4²·b_2_5·b_4_13·c_4_14
        + a_2_3·b_2_4⁴·b_2_5·c_4_14 + a_2_3·b_2_4²·b_2_5·c_4_14·a_1_2·b_3_8
        + a_2_3·b_2_4³·c_4_14·a_1_2·b_3_8 + a_2_3²·b_2_5²·c_8_58 + a_2_3²·b_2_4²·c_8_58
        + a_2_3²·b_2_4³·b_2_5·c_4_14 + b_2_4²·b_2_5²·c_4_14² + b_2_4⁴·c_4_14²
        + b_2_5²·c_4_14²·a_1_2·b_3_8 + b_2_4·b_2_5·c_4_14²·a_1_2·b_3_8
        + a_2_3·b_2_4·b_2_5²·c_4_14² + a_2_3·b_2_4²·b_2_5·c_4_14²
        + b_2_4²·b_2_5·c_4_14²·a_1_2² + b_2_4³·c_4_14²·a_1_2²
        + a_2_3·b_2_5·c_4_14²·a_1_2·b_3_8 + a_2_3·b_2_4·c_4_14²·a_1_2·b_3_8
        + a_2_3²·c_4_14·c_8_58 + a_2_3²·b_4_12·c_4_14² + b_2_5·c_4_14³·a_1_2²
        + b_2_4·c_4_14³·a_1_2² + a_2_3²·c_4_14³ + a_2_3·c_4_14³·a_1_2²

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 16.
• The completion test was perfect: It applied in the last degree in which a generator or relation was found.
• The following is a filter regular homogeneous system of parameters:
  1. c_4_14, a Duflot regular element of degree 4
  2. c_8_58, a Duflot regular element of degree 8
  3. b_2_5² + b_2_4·b_2_5 + b_2_4², an element of degree 4
  4. b_3_8, an element of degree 3
• The Raw Filter Degree Type of that HSOP is [-1, -1, 7, 12, 15].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -4, -4].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Restriction maps

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. b_2_4 → 0, an element of degree 2
6. b_2_5 → 0, an element of degree 2
7. a_3_7 → 0, an element of degree 3
8. b_3_8 → 0, an element of degree 3
9. a_4_7 → 0, an element of degree 4
10. b_4_11 → 0, an element of degree 4
11. b_4_12 → 0, an element of degree 4
12. b_4_13 → 0, an element of degree 4
13. c_4_14 → c_1_0⁴, an element of degree 4
14. a_5_18 → 0, an element of degree 5
15. a_5_19 → 0, an element of degree 5
16. b_5_20 → 0, an element of degree 5
17. b_5_22 → 0, an element of degree 5
18. b_6_33 → 0, an element of degree 6
19. b_6_34 → 0, an element of degree 6
20. b_7_42 → 0, an element of degree 7
21. b_8_56 → 0, an element of degree 8
22. c_8_58 → c_1_1⁸, an element of degree 8

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. b_2_4 → c_1_2², an element of degree 2
6. b_2_5 → c_1_3², an element of degree 2
7. a_3_7 → 0, an element of degree 3
8. b_3_8 → c_1_2·c_1_3² + c_1_2²·c_1_3, an element of degree 3
9. a_4_7 → 0, an element of degree 4
10. b_4_11 → c_1_2²·c_1_3² + c_1_2⁴ + c_1_0²·c_1_2², an element of degree 4
11. b_4_12 → c_1_2²·c_1_3² + 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_3² + c_1_0²·c_1_2², an element of degree 4
12. b_4_13 → c_1_3⁴ + c_1_2²·c_1_3² + c_1_0²·c_1_3² + c_1_0²·c_1_2², an element of degree 4
13. c_4_14 → c_1_0⁴, an element of degree 4
14. a_5_18 → 0, an element of degree 5
15. a_5_19 → 0, an element of degree 5
16. b_5_20 → c_1_0²·c_1_2·c_1_3² + c_1_0²·c_1_2²·c_1_3, an element of degree 5
17. b_5_22 → c_1_2²·c_1_3³ + c_1_2³·c_1_3² + c_1_0²·c_1_2·c_1_3² + c_1_0²·c_1_2²·c_1_3, an element of degree 5
18. b_6_33 → c_1_0·c_1_2·c_1_3⁴ + c_1_0·c_1_2³·c_1_3² + c_1_0²·c_1_3⁴ + c_1_0²·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², an element of degree 6
19. b_6_34 → 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_3⁴
       + c_1_0²·c_1_2⁴ + c_1_0⁴·c_1_3² + c_1_0⁴·c_1_2², an element of degree 6
20. b_7_42 → 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_0²·c_1_2²·c_1_3³ + c_1_0²·c_1_2³·c_1_3², an element of degree 7
21. b_8_56 → c_1_3⁸ + 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_0·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_3² + c_1_0²·c_1_3⁶ + c_1_0²·c_1_2²·c_1_3⁴
       + c_1_0²·c_1_2⁴·c_1_3² + c_1_0²·c_1_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_3² + c_1_0⁴·c_1_2⁴, an element of degree 8
22. c_8_58 → 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_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_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_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_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_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_3, an element of degree 8

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128