David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 49 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 2 minimal generators and exponent 8.
• 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

  t6  −  t4  +  t3  +  t2  −  t  +  1

  (t  +  1) · (t  −  1)4 · (t2  +  1) · (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 9:

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. a_2_2, a nilpotent element of degree 2
4. b_2_1, an element of degree 2
5. c_2_3, a Duflot regular element of degree 2
6. a_3_4, a nilpotent element of degree 3
7. b_3_5, an element of degree 3
8. b_3_6, an element of degree 3
9. b_3_7, an element of degree 3
10. b_4_8, an element of degree 4
11. b_4_10, an element of degree 4
12. b_4_11, an element of degree 4
13. a_5_9, a nilpotent element of degree 5
14. a_5_13, a nilpotent element of degree 5
15. b_5_17, an element of degree 5
16. b_6_23, an element of degree 6
17. b_6_25, an element of degree 6
18. a_7_19, a nilpotent element of degree 7
19. b_7_35, an element of degree 7
20. b_8_44, an element of degree 8
21. c_8_49, a Duflot regular element of degree 8
22. a_9_35, a nilpotent element of degree 9

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 167 minimal relations of maximal degree 18:

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

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 18.
• 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_2_3, a Duflot regular element of degree 2
  2. c_8_49, a Duflot regular element of degree 8
  3. b_4_11 + b_4_10 + b_4_8, an element of degree 4
  4. b_3_6, an element of degree 3
• The Raw Filter Degree Type of that HSOP is [-1, -1, 5, 10, 13].
• 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_2_2 → 0, an element of degree 2
4. b_2_1 → 0, an element of degree 2
5. c_2_3 → c_1_0², an element of degree 2
6. a_3_4 → 0, an element of degree 3
7. b_3_5 → 0, an element of degree 3
8. b_3_6 → 0, an element of degree 3
9. b_3_7 → 0, an element of degree 3
10. b_4_8 → 0, an element of degree 4
11. b_4_10 → 0, an element of degree 4
12. b_4_11 → 0, an element of degree 4
13. a_5_9 → 0, an element of degree 5
14. a_5_13 → 0, an element of degree 5
15. b_5_17 → 0, an element of degree 5
16. b_6_23 → 0, an element of degree 6
17. b_6_25 → 0, an element of degree 6
18. a_7_19 → 0, an element of degree 7
19. b_7_35 → 0, an element of degree 7
20. b_8_44 → 0, an element of degree 8
21. c_8_49 → c_1_1⁸, an element of degree 8
22. a_9_35 → 0, an element of degree 9

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_2_2 → 0, an element of degree 2
4. b_2_1 → c_1_2², an element of degree 2
5. c_2_3 → c_1_0², an element of degree 2
6. a_3_4 → 0, an element of degree 3
7. b_3_5 → c_1_2³, an element of degree 3
8. b_3_6 → c_1_2·c_1_3² + c_1_2²·c_1_3, an element of degree 3
9. b_3_7 → c_1_0·c_1_2², an element of degree 3
10. b_4_8 → c_1_2⁴ + c_1_0·c_1_2³, an element of degree 4
11. b_4_10 → c_1_2²·c_1_3² + 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_2³, an element of degree 4
12. b_4_11 → c_1_3⁴ + 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, an element of degree 4
13. a_5_9 → 0, an element of degree 5
14. a_5_13 → 0, an element of degree 5
15. b_5_17 → 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³, an element of degree 5
16. b_6_23 → c_1_3⁶ + c_1_2⁵·c_1_3 + c_1_1²·c_1_2⁴ + 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_2², an element of degree 6
17. b_6_25 → c_1_2⁴·c_1_3² + 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_2⁵ + c_1_0²·c_1_3⁴ + c_1_0²·c_1_2²·c_1_3²
       + c_1_0²·c_1_2⁴ + c_1_0³·c_1_2³, an element of degree 6
18. a_7_19 → 0, an element of degree 7
19. b_7_35 → 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_1²·c_1_2⁵ + 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_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³, an element of degree 7
20. b_8_44 → 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_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_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_3² + c_1_0³·c_1_2⁴·c_1_3 + c_1_0³·c_1_2⁵
       + c_1_0⁴·c_1_2⁴ + c_1_0⁶·c_1_2², an element of degree 8
21. c_8_49 → 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_1⁴·c_1_3⁴ + c_1_1⁴·c_1_2²·c_1_3² + 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_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_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_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. a_9_35 → 0, an element of degree 9

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128