David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 243 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 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

  1

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

• The a-invariants are -∞,-∞,-4,-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. b_1_2, an element of degree 1
4. a_2_5, a nilpotent element of degree 2
5. b_2_4, an element of degree 2
6. a_3_8, a nilpotent element of degree 3
7. a_3_9, a nilpotent element of degree 3
8. b_3_7, an element of degree 3
9. b_4_13, an element of degree 4
10. b_4_14, an element of degree 4
11. c_4_15, a Duflot regular element of degree 4
12. a_5_14, a nilpotent element of degree 5
13. a_5_16, a nilpotent element of degree 5
14. b_5_23, an element of degree 5
15. a_6_19, a nilpotent element of degree 6
16. b_6_32, an element of degree 6
17. a_7_29, a nilpotent element of degree 7
18. a_7_31, a nilpotent element of degree 7
19. b_7_44, an element of degree 7
20. b_8_58, an element of degree 8
21. c_8_60, a Duflot regular element of degree 8
22. b_9_78, an 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 169 minimal relations of maximal degree 18:

1. a_1_0²
2. a_1_0·a_1_1
3. a_1_0·b_1_2² + a_1_1³
4. a_2_5·a_1_1
5. a_2_5·a_1_0
6. b_2_4·a_1_1 + a_1_1³
7. b_2_4·a_1_0·b_1_2 + a_2_5²
8. a_1_1·a_3_8
9. a_1_0·a_3_8
10. a_1_0·a_3_9
11. a_1_1·b_3_7 + a_1_1²·b_1_2² + a_1_1³·b_1_2
12. a_1_0·b_3_7
13. a_1_1³·b_1_2²
14. b_2_4·a_3_9 + a_2_5·a_3_8 + a_1_1²·a_3_9
15. a_2_5·a_3_9
16. b_1_2²·a_3_8 + a_2_5·b_3_7 + a_1_1²·a_3_9
17. b_1_2²·a_3_9 + b_4_13·a_1_1
18. b_4_13·a_1_0 + a_1_1²·a_3_9
19. b_4_14·a_1_1 + a_1_1²·b_1_2³ + a_1_1²·a_3_9
20. b_4_14·a_1_0 + a_2_5·a_3_8
21. a_3_8² + a_2_5²·b_2_4
22. a_3_8·a_3_9
23. a_3_8·b_3_7 + a_2_5·b_2_4·b_1_2² + a_2_5·b_1_2·a_3_8
24. b_3_7² + b_2_4·b_1_2⁴
25. a_3_9² + c_4_15·a_1_1²
26. a_3_9·b_3_7 + b_4_13·a_1_1² + a_1_1²·b_1_2·a_3_9
27. b_1_2³·b_3_7 + b_4_14·b_1_2² + b_2_4·b_1_2·b_3_7 + b_2_4·b_1_2⁴ + a_3_9·b_3_7
       + a_2_5·b_1_2⁴ + a_2_5·b_4_13 + a_1_1²·b_1_2·a_3_9
28. b_2_4·b_1_2·a_3_8 + a_2_5·b_1_2·b_3_7 + a_2_5·b_4_14 + a_2_5·b_2_4·b_1_2²
       + a_2_5²·b_2_4
29. a_1_0·a_5_14 + a_2_5·b_1_2·a_3_8
30. a_1_1·a_5_16 + a_1_1·a_5_14 + a_1_1²·b_1_2·a_3_9
31. a_1_0·a_5_16 + a_2_5·b_1_2·a_3_8
32. a_3_9·b_3_7 + a_1_1·b_5_23 + a_1_1·a_5_14 + a_1_1²·b_1_2⁴ + c_4_15·a_1_1·b_1_2
33. a_1_0·b_5_23 + c_4_15·a_1_0·b_1_2
34. b_4_13·a_3_9 + b_4_13·a_1_1³ + c_4_15·a_1_1·b_1_2²
35. b_4_14·a_3_9 + b_4_13·a_1_1²·b_1_2 + c_4_15·a_1_1³
36. b_4_14·a_3_8 + a_2_5·b_2_4·b_3_7 + a_2_5·b_2_4·b_1_2³ + a_2_5·b_2_4²·b_1_2
       + a_2_5·b_2_4·a_3_8
37. b_4_14·b_3_7 + b_2_4·b_1_2²·b_3_7 + b_2_4·b_1_2⁵ + b_2_4²·b_1_2³ + b_4_13·a_3_9
       + b_4_13·a_3_8 + a_2_5·b_4_14·b_1_2 + a_2_5·b_2_4·b_3_7 + a_2_5·b_2_4·b_1_2³
       + c_4_15·a_1_1·b_1_2² + c_4_15·a_1_1³
38. b_4_13·a_3_9 + a_2_5·a_5_14 + c_4_15·a_1_1·b_1_2²
39. b_1_2²·a_5_16 + b_1_2²·a_5_14 + b_4_13·a_3_9 + a_2_5·b_2_4·b_3_7 + a_1_1²·b_1_2⁵
       + b_4_13·a_1_1²·b_1_2 + a_1_1²·a_5_14 + c_4_15·a_1_1·b_1_2² + c_4_15·a_1_1³
40. b_4_14·b_3_7 + b_2_4·b_1_2⁵ + b_2_4·b_4_14·b_1_2 + b_2_4²·b_3_7 + b_4_13·a_3_8
       + b_2_4·a_5_16 + b_2_4²·a_3_8 + a_2_5·b_2_4·b_1_2³ + a_1_1²·a_5_14 + c_4_15·a_1_1³
41. a_2_5·a_5_16 + a_2_5·b_2_4·a_3_8
42. b_1_2²·b_5_23 + b_4_14·b_3_7 + b_4_14·b_1_2³ + b_4_13·b_3_7 + b_2_4·b_1_2²·b_3_7
       + b_2_4·b_1_2⁵ + b_2_4²·b_1_2³ + b_1_2²·a_5_14 + b_4_13·a_3_9 + b_4_13·a_3_8
       + a_2_5·b_4_13·b_1_2 + a_2_5·b_2_4·b_1_2³ + a_1_1²·b_1_2⁵ + b_4_13·a_1_1²·b_1_2
       + c_4_15·b_1_2³ + c_4_15·a_1_1·b_1_2²
43. b_4_14·b_3_7 + b_2_4·b_1_2²·b_3_7 + b_2_4·b_1_2⁵ + b_2_4²·b_1_2³ + a_2_5·b_5_23
       + a_2_5·b_2_4·b_3_7 + a_2_5·b_2_4·b_1_2³ + a_2_5·c_4_15·b_1_2
44. b_4_13·a_3_9 + a_1_1·b_1_2·a_5_14 + a_6_19·a_1_1 + b_4_13·a_1_1²·b_1_2 + a_1_1²·a_5_14
       + c_4_15·a_1_1·b_1_2²
45. b_4_13·a_3_9 + a_6_19·a_1_0 + c_4_15·a_1_1·b_1_2²
46. b_6_32·a_1_1 + b_4_13·a_3_9 + a_1_1·b_1_2·a_5_14 + a_1_1²·b_1_2⁵
       + b_4_13·a_1_1²·b_1_2 + c_4_15·a_1_1·b_1_2² + c_4_15·a_1_1²·b_1_2 + c_4_15·a_1_1³
47. b_4_14·b_3_7 + b_2_4·b_1_2⁵ + b_2_4·b_4_14·b_1_2 + b_2_4²·b_3_7 + b_6_32·a_1_0
       + b_4_13·a_3_8 + b_2_4·a_5_14 + a_2_5·b_2_4·b_1_2³ + a_2_5·b_2_4·a_3_8 + a_1_1²·a_5_14
       + c_4_15·a_1_1³
48. b_4_14² + b_2_4·b_1_2⁶ + b_2_4²·b_1_2⁴ + b_2_4³·b_1_2² + a_2_5²·b_2_4²
       + a_2_5²·c_4_15
49. a_3_8·a_5_14
50. a_3_9·a_5_16 + a_3_9·a_5_14 + b_4_13·a_1_1³·b_1_2 + c_4_15·a_1_1³·b_1_2
51. a_3_8·a_5_16 + a_2_5²·b_2_4²
52. b_3_7·a_5_16 + b_3_7·a_5_14 + a_2_5·b_2_4²·b_1_2² + a_2_5²·b_4_14
53. a_3_9·b_5_23 + a_3_9·a_5_14 + b_4_13·a_1_1²·b_1_2² + b_4_13·a_1_1³·b_1_2
       + c_4_15·b_1_2·a_3_9 + c_4_15·a_1_1²·b_1_2² + c_4_15·a_1_1³·b_1_2
54. a_3_8·b_5_23 + a_2_5·b_2_4·b_1_2·b_3_7 + a_2_5·b_2_4·b_1_2⁴ + a_2_5·b_2_4·b_4_13
       + a_2_5·b_2_4²·b_1_2² + c_4_15·b_1_2·a_3_8
55. b_3_7·b_5_23 + b_2_4·b_1_2⁶ + b_2_4·b_4_14·b_1_2² + b_2_4·b_4_13·b_1_2²
       + b_2_4²·b_1_2·b_3_7 + b_3_7·a_5_14 + a_2_5·b_4_14·b_1_2² + a_2_5·b_2_4·b_1_2⁴
       + a_2_5·b_2_4·b_4_13 + c_4_15·b_1_2·b_3_7
56. b_4_13·b_1_2·b_3_7 + b_4_13·b_4_14 + b_2_4·b_1_2·b_5_23 + b_2_4·b_4_14·b_1_2²
       + b_2_4·b_4_13·b_1_2² + b_2_4·b_1_2·a_5_14 + a_2_5·b_4_13·b_1_2²
       + a_2_5·b_2_4·b_1_2⁴ + a_2_5·b_2_4·b_4_13 + a_2_5·b_2_4²·b_1_2² + a_2_5²·b_4_14
       + b_2_4·c_4_15·b_1_2² + a_2_5·c_4_15·b_1_2² + c_4_15·a_1_1²·b_1_2²
       + a_2_5²·c_4_15
57. b_3_7·a_5_14 + a_2_5·b_1_2·b_5_23 + a_2_5·b_1_2⁶ + a_2_5·b_4_14·b_1_2²
       + a_6_19·a_1_1·b_1_2 + b_4_13·a_1_1²·b_1_2² + b_4_13·a_1_1³·b_1_2
       + a_2_5·c_4_15·b_1_2²
58. b_4_13² + b_2_4·b_1_2⁶ + b_2_4·b_4_14·b_1_2² + b_2_4²·b_1_2·b_3_7
       + b_2_4²·b_1_2⁴ + b_2_4·b_1_2·a_5_14 + a_2_5·b_1_2⁶ + a_2_5·b_4_14·b_1_2²
       + a_2_5·b_2_4·b_1_2·b_3_7 + a_2_5·b_2_4·b_1_2⁴ + b_4_13·a_1_1²·b_1_2²
       + a_6_19·a_1_1² + c_4_15·b_1_2⁴ + a_2_5²·c_4_15
59. b_4_13² + b_2_4·b_1_2⁶ + b_2_4·b_4_14·b_1_2² + b_2_4²·b_1_2·b_3_7
       + b_2_4²·b_1_2⁴ + a_2_5·b_1_2⁶ + a_2_5·b_2_4·b_4_13 + b_4_13·a_1_1²·b_1_2²
       + a_2_5·a_6_19 + a_2_5²·b_4_14 + c_4_15·b_1_2⁴ + a_2_5²·c_4_15
60. b_4_13² + b_2_4·b_1_2⁶ + b_2_4·b_4_14·b_1_2² + b_2_4²·b_1_2·b_3_7
       + b_2_4²·b_1_2⁴ + b_2_4·b_1_2·a_5_14 + b_2_4·a_6_19 + a_2_5·b_1_2·b_5_23
       + a_2_5·b_1_2⁶ + a_2_5·b_6_32 + a_2_5·b_2_4·b_1_2⁴ + a_2_5·b_2_4²·b_1_2²
       + b_4_13·a_1_1²·b_1_2² + a_2_5²·b_2_4² + c_4_15·b_1_2⁴ + a_2_5·c_4_15·b_1_2²
61. b_3_7·a_5_14 + a_2_5·b_1_2·b_5_23 + a_2_5·b_1_2⁶ + a_2_5·b_4_14·b_1_2²
       + a_1_1·a_7_29 + b_4_13·a_1_1²·b_1_2² + b_4_13·a_1_1³·b_1_2 + a_2_5·c_4_15·b_1_2²
       + c_4_15·a_1_1·a_3_9 + c_4_15·a_1_1³·b_1_2
62. a_1_0·a_7_29
63. b_4_13² + b_2_4·b_1_2⁶ + b_2_4·b_4_14·b_1_2² + b_2_4²·b_1_2·b_3_7
       + b_2_4²·b_1_2⁴ + b_2_4·b_1_2·a_5_14 + a_2_5·b_1_2⁶ + a_2_5·b_4_14·b_1_2²
       + a_2_5·b_2_4·b_1_2·b_3_7 + a_2_5·b_2_4·b_1_2⁴ + a_3_9·a_5_14 + a_1_1·a_7_31
       + b_4_13·a_1_1³·b_1_2 + c_4_15·b_1_2⁴ + c_4_15·a_1_1²·b_1_2² + a_2_5²·c_4_15
64. a_1_0·a_7_31 + b_4_13·a_1_1³·b_1_2
65. a_1_1·b_7_44 + a_1_1²·b_1_2⁶ + b_4_13·a_1_1²·b_1_2²
66. a_1_0·b_7_44 + a_2_5²·b_4_14 + a_2_5²·b_2_4²
67. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_4_14·a_5_14
       + a_2_5·b_2_4·b_5_23 + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4·b_4_13·b_1_2
       + b_4_14·c_4_15·b_1_2 + a_2_5·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2
       + a_2_5·c_4_15·a_3_8
68. b_4_13·b_5_23 + b_4_13·b_4_14·b_1_2 + b_2_4·b_4_14·b_1_2³ + b_2_4²·b_4_14·b_1_2
       + b_2_4³·b_3_7 + b_2_4³·b_1_2³ + b_4_14·a_5_16 + b_4_14·a_5_14 + b_4_13·a_5_14
       + b_2_4²·a_5_16 + b_2_4³·a_3_8 + a_2_5·b_4_14·b_1_2³ + a_2_5·b_4_13·b_3_7
       + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4²·b_3_7 + a_2_5·b_2_4³·b_1_2
       + b_4_13·a_1_1²·b_1_2³ + a_2_5·b_2_4²·a_3_8 + c_4_15·b_1_2²·b_3_7
       + b_4_13·c_4_15·b_1_2 + a_2_5·c_4_15·b_1_2³ + c_4_15·a_1_1²·b_1_2³
       + a_2_5·c_4_15·a_3_8 + c_4_15·a_1_1²·a_3_9
69. b_4_14·a_5_16 + b_4_14·a_5_14 + a_2_5·b_2_4²·b_3_7 + a_2_5·b_2_4²·b_1_2³
       + a_2_5·b_2_4³·b_1_2 + a_6_19·a_3_8 + a_2_5·b_2_4²·a_3_8
70. b_4_14·a_5_16 + b_4_13·a_5_16 + b_4_13·a_5_14 + a_2_5·b_1_2⁷ + a_2_5·b_4_14·b_1_2³
       + a_2_5·b_4_13·b_3_7 + a_2_5·b_2_4·b_4_14·b_1_2 + a_2_5·b_2_4·b_4_13·b_1_2
       + a_2_5·b_2_4³·b_1_2 + a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_3_8
       + a_6_19·a_1_1²·b_1_2 + c_4_15·a_1_1²·b_1_2³ + c_4_15·a_1_1²·a_3_9
71. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_6_32·a_3_9
       + b_4_14·a_5_16 + b_4_13·a_5_16 + b_4_13·a_5_14 + a_2_5·b_2_4·b_1_2⁵
       + a_2_5·b_2_4·b_4_14·b_1_2 + a_2_5·b_2_4·b_4_13·b_1_2 + a_2_5·b_2_4²·b_3_7
       + a_2_5·b_2_4²·b_1_2³ + a_2_5·b_2_4³·b_1_2 + a_6_19·a_3_9 + a_2_5·b_2_4²·a_3_8
       + b_4_14·c_4_15·b_1_2 + a_2_5·c_4_15·b_3_7 + c_4_15·a_1_1·b_1_2·a_3_9
       + c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_3_8
72. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_1_2²·a_7_29
       + b_1_2⁴·a_5_14 + a_6_19·b_3_7 + b_4_14·a_5_16 + b_4_14·a_5_14 + b_4_13·a_1_1·b_1_2⁴
       + a_2_5·b_4_14·b_1_2³ + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4²·b_3_7
       + a_2_5·b_2_4²·b_1_2³ + a_2_5·b_2_4³·b_1_2 + a_1_1²·b_1_2⁷
       + a_6_19·a_1_1·b_1_2² + b_4_13·a_1_1²·b_1_2³ + a_2_5·b_2_4²·a_3_8
       + b_4_14·c_4_15·b_1_2 + b_4_13·c_4_15·a_1_1 + a_2_5·c_4_15·b_3_7
       + a_2_5·c_4_15·b_1_2³ + c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_3_8
       + c_4_15·a_1_1²·a_3_9
73. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_6_32·a_3_8
       + b_4_14·a_5_16 + b_4_14·a_5_14 + b_4_13·a_5_16 + b_4_13·a_5_14 + b_2_4·a_7_29
       + b_2_4³·a_3_8 + a_2_5·b_1_2⁷ + a_2_5·b_4_13·b_3_7 + a_2_5·b_2_4·b_1_2⁵
       + a_2_5·b_2_4·b_4_14·b_1_2 + a_6_19·a_1_1·b_1_2² + b_4_14·c_4_15·b_1_2
       + b_2_4²·c_4_15·a_1_0 + a_2_5·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2
       + c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_3_8
74. b_4_14·a_5_16 + b_4_14·a_5_14 + a_2_5·b_2_4²·b_3_7 + a_2_5·b_2_4²·b_1_2³
       + a_2_5·b_2_4³·b_1_2 + a_2_5·a_7_29
75. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_1_2²·a_7_31
       + b_1_2⁴·a_5_14 + a_6_19·b_1_2³ + b_4_14·a_5_14 + b_4_13·a_5_16 + a_2_5·b_1_2⁷
       + a_2_5·b_4_13·b_3_7 + a_2_5·b_4_13·b_1_2³ + a_2_5·b_2_4·b_1_2⁵
       + a_2_5·b_2_4·b_4_14·b_1_2 + a_2_5·b_2_4·b_4_13·b_1_2 + a_2_5·b_2_4²·b_1_2³
       + b_4_14·c_4_15·b_1_2 + c_4_15·a_1_1·b_1_2⁴ + a_2_5·c_4_15·b_3_7
       + a_2_5·c_4_15·b_1_2³ + c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_3_8
76. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_4_14·a_5_16
       + b_4_14·a_5_14 + a_2_5·b_1_2⁷ + a_2_5·b_4_14·b_1_2³ + a_2_5·b_4_13·b_3_7
       + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4³·b_1_2 + a_1_1·b_1_2·a_7_31 + a_6_19·a_3_9
       + a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_3_8 + b_4_14·c_4_15·b_1_2
       + a_2_5·c_4_15·b_3_7 + a_2_5·c_4_15·a_3_8
77. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_4_14·a_5_14
       + b_4_13·a_5_16 + b_4_13·a_5_14 + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4·b_4_14·b_1_2
       + a_2_5·b_2_4·b_4_13·b_1_2 + b_4_13·a_1_1²·b_1_2³ + a_1_1²·a_7_31
       + b_4_14·c_4_15·b_1_2 + a_2_5·c_4_15·b_3_7 + c_4_15·a_1_1²·b_1_2³
       + a_2_5·c_4_15·a_3_8 + c_4_15·a_1_1²·a_3_9
78. b_4_14·a_5_16 + b_4_14·a_5_14 + b_4_13·a_5_16 + b_4_13·a_5_14 + b_2_4·a_7_31
       + b_2_4²·a_5_16 + b_2_4²·a_5_14 + b_2_4³·a_3_8 + a_2_5·b_6_32·b_1_2
       + a_2_5·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_1_2³ + b_4_13·a_1_1²·b_1_2³
       + b_2_4²·c_4_15·a_1_0 + c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_3_8
       + c_4_15·a_1_1²·a_3_9
79. a_2_5·a_7_31
80. b_6_32·b_3_7 + b_4_14·b_5_23 + b_2_4·b_7_44 + b_2_4·b_4_14·b_1_2³ + b_2_4·b_4_13·b_3_7
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_2_4⁴·b_1_2
       + b_6_32·a_3_8 + b_4_14·a_5_14 + b_2_4²·a_5_14 + b_2_4³·a_3_8 + a_2_5·b_1_2⁷
       + a_2_5·b_6_32·b_1_2 + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4·b_4_13·b_1_2
       + a_2_5·b_2_4²·b_3_7 + a_2_5·b_2_4³·b_1_2 + a_6_19·a_1_1·b_1_2²
       + b_4_13·a_1_1²·b_1_2³ + a_2_5·b_2_4²·a_3_8 + b_4_14·c_4_15·b_1_2
       + b_2_4·c_4_15·a_3_8 + a_2_5·b_2_4·c_4_15·b_1_2 + c_4_15·a_1_1²·b_1_2³
81. a_6_19·b_3_7 + b_4_14·a_5_14 + b_4_13·a_5_16 + b_4_13·a_5_14 + a_2_5·b_7_44
       + a_2_5·b_4_13·b_3_7 + a_2_5·b_2_4·b_1_2⁵ + a_2_5·b_2_4·b_4_13·b_1_2
       + a_2_5·b_2_4³·b_1_2 + a_2_5·b_2_4²·a_3_8 + c_4_15·a_1_1²·b_1_2³
       + a_2_5·c_4_15·a_3_8 + c_4_15·a_1_1²·a_3_9
82. b_4_14·b_5_23 + b_2_4·b_1_2⁷ + b_2_4·b_4_13·b_3_7 + b_2_4·b_4_13·b_1_2³
       + b_2_4²·b_1_2⁵ + b_2_4²·b_4_13·b_1_2 + b_2_4³·b_1_2³ + b_8_58·a_1_1
       + b_4_14·a_5_16 + b_4_14·a_5_14 + b_4_13·a_1_1·b_1_2⁴ + a_2_5·b_1_2⁷
       + a_2_5·b_4_14·b_1_2³ + a_2_5·b_4_13·b_3_7 + a_2_5·b_2_4·b_1_2⁵
       + a_2_5·b_2_4³·b_1_2 + a_1_1²·b_1_2⁷ + a_6_19·a_3_9 + a_2_5·b_2_4²·a_3_8
       + b_4_14·c_4_15·b_1_2 + b_4_13·c_4_15·a_1_1 + a_2_5·c_4_15·b_3_7 + a_2_5·c_4_15·a_3_8
       + c_4_15·a_1_1²·a_3_9
83. b_8_58·a_1_0 + b_4_14·a_5_16 + b_4_14·a_5_14 + b_2_4²·a_5_16 + b_2_4²·a_5_14
       + b_2_4³·a_3_8 + a_2_5·b_2_4²·b_3_7 + a_2_5·b_2_4²·b_1_2³ + a_2_5·b_2_4³·b_1_2
       + a_2_5·b_2_4²·a_3_8 + a_2_5·c_4_15·a_3_8 + c_4_15·a_1_1²·a_3_9
84. a_5_16² + a_5_14² + a_2_5²·b_2_4³
85. a_5_16·b_5_23 + a_2_5·b_1_2⁸ + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁴
       + a_2_5·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_4_13
       + a_2_5·b_2_4³·b_1_2² + a_5_14·a_5_16 + a_6_19·a_1_1·b_1_2³ + b_4_13·a_1_1·a_5_14
       + b_4_13·a_1_1²·b_1_2⁴ + a_6_19·a_1_1·a_3_9 + c_4_15·b_1_2·a_5_16
       + a_2_5·c_4_15·b_1_2·b_3_7 + a_2_5·c_4_15·b_1_2·a_3_8
86. a_5_16·b_5_23 + a_5_14·b_5_23 + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_1_2⁴
       + a_2_5·b_2_4²·b_4_13 + a_2_5·b_2_4³·b_1_2² + a_6_19·a_1_1·a_3_9
       + a_6_19·a_1_1²·b_1_2² + c_4_15·b_1_2·a_5_16 + c_4_15·b_1_2·a_5_14
87. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_2_5·b_2_4·b_1_2⁶ + a_2_5·b_2_4²·b_4_13 + a_5_14² + a_2_5²·b_6_32
       + a_2_5²·b_2_4·b_4_14 + b_2_4·c_4_15·b_1_2⁴ + a_2_5²·b_2_4·c_4_15
       + c_4_15²·b_1_2²
88. a_3_9·a_7_29 + b_4_13·a_1_1·a_5_14 + a_6_19·a_1_1·a_3_9 + c_4_15·a_1_1²·b_1_2⁴
       + c_4_15·a_1_1²·b_1_2·a_3_9 + c_4_15²·a_1_1²
89. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_2_5·b_2_4·b_1_2⁶ + a_2_5·b_2_4²·b_4_13 + a_5_14² + a_3_8·a_7_29
       + a_2_5²·b_2_4³ + b_2_4·c_4_15·b_1_2⁴ + a_2_5·c_4_15·b_1_2·a_3_8
       + a_2_5²·b_2_4·c_4_15 + c_4_15²·b_1_2²
90. a_5_16·b_5_23 + b_3_7·a_7_29 + a_2_5·b_6_32·b_1_2² + a_2_5·b_4_13·b_1_2⁴
       + a_2_5·b_4_13·b_4_14 + a_2_5·b_2_4·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_1_2²
       + a_2_5·b_2_4²·b_1_2⁴ + a_2_5·b_2_4²·b_4_13 + a_5_14² + b_4_13·a_1_1·a_5_14
       + b_4_13·a_1_1²·b_1_2⁴ + a_2_5²·b_2_4·b_4_14 + c_4_15·b_1_2·a_5_16
       + b_4_13·c_4_15·a_1_1² + a_2_5·c_4_15·b_1_2·a_3_8 + c_4_15·a_1_1²·b_1_2·a_3_9
91. a_5_16·b_5_23 + a_5_14·b_5_23 + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_1_2⁴
       + a_2_5·b_2_4²·b_4_13 + a_2_5·b_2_4³·b_1_2² + a_5_14·a_5_16 + a_5_14²
       + a_2_5·b_1_2·a_7_29 + a_2_5²·b_2_4·b_4_14 + c_4_15·b_1_2·a_5_16 + c_4_15·b_1_2·a_5_14
92. a_3_9·a_7_31 + a_6_19·a_1_1·a_3_9 + c_4_15·a_1_1·a_5_14 + c_4_15·a_1_1²·b_1_2⁴
       + b_4_13·c_4_15·a_1_1²
93. a_5_16·b_5_23 + a_5_14·b_5_23 + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_1_2⁴
       + a_2_5·b_2_4²·b_4_13 + a_2_5·b_2_4³·b_1_2² + a_5_14·a_5_16 + a_5_14²
       + a_3_8·a_7_31 + a_2_5²·b_2_4·b_4_14 + c_4_15·b_1_2·a_5_16 + c_4_15·b_1_2·a_5_14
94. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_5_16·b_5_23 + b_3_7·a_7_31 + b_4_14·a_6_19 + b_2_4·b_1_2·a_7_29
       + a_2_5·b_6_32·b_1_2² + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_2_4·b_4_13·b_1_2²
       + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_4_14 + a_2_5·b_2_4³·b_1_2²
       + a_5_14·a_5_16 + a_5_14² + a_2_5²·b_2_4·b_4_14 + a_2_5²·b_2_4³
       + a_6_19·a_1_1·a_3_9 + b_2_4·c_4_15·b_1_2⁴ + c_4_15·b_1_2·a_5_16
       + a_2_5·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2² + c_4_15·a_1_1²·b_1_2⁴
       + c_4_15·a_1_1²·b_1_2·a_3_9 + c_4_15²·b_1_2²
95. a_3_9·b_7_44 + b_4_13·a_1_1²·b_1_2⁴ + a_2_5²·b_2_4·b_4_14
       + c_4_15·a_1_1²·b_1_2⁴
96. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_3_8·b_7_44 + a_2_5·b_6_32·b_1_2² + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_4_14
       + a_2_5·b_2_4·b_1_2·b_5_23 + a_2_5·b_2_4·b_1_2⁶ + a_2_5·b_2_4·b_4_14·b_1_2²
       + a_2_5·b_2_4·b_4_13·b_1_2² + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_1_2⁴
       + a_2_5·b_2_4²·b_4_14 + a_2_5·b_2_4²·b_4_13 + a_2_5·b_2_4³·b_1_2² + a_5_14²
       + b_2_4·c_4_15·b_1_2⁴ + a_2_5·b_2_4·c_4_15·b_1_2² + a_2_5·c_4_15·b_1_2·a_3_8
       + c_4_15²·b_1_2²
97. b_3_7·b_7_44 + b_6_32·b_1_2⁴ + b_4_14·b_1_2⁶ + b_4_13·b_4_14·b_1_2²
       + b_2_4·b_4_13·b_1_2⁴ + b_2_4·b_4_13·b_4_14 + b_2_4²·b_1_2·b_5_23 + b_2_4²·b_1_2⁶
       + b_2_4²·b_4_14·b_1_2² + b_2_4²·b_4_13·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_5_14·b_5_23 + b_1_2⁵·a_5_14 + b_4_14·a_6_19 + b_2_4·b_1_2·a_7_29
       + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁴ + a_2_5·b_4_13·b_4_14
       + a_2_5·b_2_4·b_1_2⁶ + a_2_5·b_2_4·b_4_14·b_1_2² + a_2_5·b_2_4·b_4_13·b_1_2²
       + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_4_14 + a_5_14² + a_1_1²·b_1_2⁸
       + b_4_13·a_1_1·a_5_14 + a_2_5²·b_2_4·b_4_14 + a_2_5²·b_2_4³
       + b_2_4²·c_4_15·b_1_2² + c_4_15·b_1_2·a_5_14 + c_4_15·a_1_1·b_1_2⁵
       + a_2_5·b_2_4·c_4_15·b_1_2² + a_2_5·c_4_15·b_1_2·a_3_8 + c_4_15·a_1_1²·b_1_2·a_3_9
98. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
       + a_5_16·b_5_23 + b_4_14·a_6_19 + b_2_4·b_1_2·a_7_29 + a_2_5·b_1_2·b_7_44
       + a_2_5·b_6_32·b_1_2² + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁴
       + a_2_5·b_2_4·b_4_14·b_1_2² + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_4_14
       + b_4_13·a_1_1·a_5_14 + b_4_13·a_1_1²·b_1_2⁴ + a_2_5²·b_2_4³ + a_6_19·a_1_1·a_3_9
       + b_2_4·c_4_15·b_1_2⁴ + c_4_15·b_1_2·a_5_16 + a_2_5·c_4_15·b_1_2·b_3_7
       + a_2_5·b_2_4·c_4_15·b_1_2² + a_2_5·c_4_15·b_1_2·a_3_8 + c_4_15·a_1_1²·b_1_2·a_3_9
       + c_4_15²·b_1_2²
99. a_5_14·b_5_23 + a_2_5·b_1_2⁸ + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁴
       + a_2_5·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2⁴ + a_5_14·a_5_16 + a_5_14²
       + a_1_1²·b_1_2⁸ + b_4_13·a_1_1·a_5_14 + a_6_19·a_1_1·a_3_9 + c_4_15·b_1_2·a_5_14
       + a_2_5·c_4_15·b_1_2·b_3_7 + c_8_60·a_1_1² + c_4_15·a_1_1²·b_1_2⁴
       + a_2_5·c_4_15·b_1_2·a_3_8 + c_4_15·a_1_1²·b_1_2·a_3_9
100. b_5_23² + b_8_58·b_1_2² + b_4_14·b_1_2⁶ + b_4_13·b_1_2⁶ + b_2_4·b_1_2·b_7_44
        + b_2_4·b_1_2⁸ + b_2_4·b_6_32·b_1_2² + b_2_4²·b_4_14·b_1_2²
        + b_2_4²·b_4_13·b_1_2² + b_2_4⁴·b_1_2² + a_5_14·b_5_23 + a_6_19·b_1_2⁴
        + b_4_13·a_1_1·b_1_2⁵ + b_4_13·a_6_19 + b_2_4·b_1_2·a_7_29 + a_2_5·b_1_2⁸
        + a_2_5·b_6_32·b_1_2² + a_2_5·b_4_14·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁴
        + a_2_5·b_2_4·b_1_2·b_5_23 + a_2_5·b_2_4·b_4_13·b_1_2² + a_2_5·b_2_4²·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13 + a_5_14·a_5_16 + a_5_14² + b_4_13·c_4_15·b_1_2²
        + b_2_4·c_4_15·b_1_2·b_3_7 + c_4_15·b_1_2·a_5_14 + a_2_5·c_4_15·b_1_2·b_3_7
        + a_2_5·c_4_15·b_1_2⁴ + a_2_5·b_4_14·c_4_15 + a_2_5·b_4_13·c_4_15
        + b_4_13·c_4_15·a_1_1² + a_2_5²·b_2_4·c_4_15 + c_4_15²·b_1_2²
101. b_5_23² + b_4_14·b_6_32 + b_2_4·b_1_2·b_7_44 + b_2_4·b_8_58 + b_2_4·b_6_32·b_1_2²
        + b_2_4²·b_1_2⁶ + b_2_4²·b_6_32 + b_2_4²·b_4_13·b_1_2² + b_2_4³·b_4_14
        + b_2_4³·b_4_13 + a_5_14·b_5_23 + b_2_4·b_1_2·a_7_29 + a_2_5·b_6_32·b_1_2²
        + a_2_5·b_4_13·b_1_2⁴ + a_2_5·b_2_4·b_1_2·b_5_23 + a_2_5·b_2_4·b_4_14·b_1_2²
        + a_2_5·b_2_4·b_4_13·b_1_2² + a_2_5·b_2_4²·b_1_2⁴ + a_2_5·b_2_4²·b_4_13
        + b_4_13·a_1_1·a_5_14 + a_2_5²·b_2_4·b_4_14 + a_6_19·a_1_1·a_3_9
        + b_2_4·c_4_15·b_1_2·b_3_7 + b_2_4·c_4_15·b_1_2⁴ + b_2_4·b_4_14·c_4_15
        + b_2_4·b_4_13·c_4_15 + c_4_15·b_1_2·a_5_14 + a_2_5·b_4_14·c_4_15
        + c_4_15·a_1_1²·b_1_2⁴ + c_4_15²·b_1_2²
102. b_5_23² + b_2_4·b_1_2⁸ + b_2_4²·b_4_14·b_1_2² + b_2_4³·b_1_2·b_3_7
        + a_5_16·b_5_23 + a_5_14·b_5_23 + b_2_4·b_1_2·a_7_29 + a_2_5·b_8_58
        + a_2_5·b_4_13·b_1_2⁴ + a_2_5·b_2_4·b_1_2·b_5_23 + a_2_5·b_2_4·b_6_32
        + a_2_5·b_2_4·b_4_14·b_1_2² + a_2_5·b_2_4·b_4_13·b_1_2²
        + a_2_5·b_2_4²·b_1_2·b_3_7 + a_2_5·b_2_4²·b_1_2⁴ + a_2_5·b_2_4²·b_4_13 + a_5_14²
        + a_2_5²·b_2_4³ + a_6_19·a_1_1·a_3_9 + b_2_4·c_4_15·b_1_2⁴ + c_4_15·b_1_2·a_5_16
        + c_4_15·b_1_2·a_5_14 + a_2_5·c_4_15·b_1_2·b_3_7 + a_2_5·b_4_14·c_4_15
        + a_2_5·b_4_13·c_4_15 + c_4_15·a_1_1²·b_1_2·a_3_9 + c_4_15²·b_1_2²
103. a_5_14·b_5_23 + a_1_1·b_9_78 + a_2_5·b_1_2⁸ + a_2_5·b_4_14·b_1_2⁴
        + a_2_5·b_4_13·b_1_2⁴ + a_2_5·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2⁴ + a_5_14·a_5_16
        + a_1_1²·b_1_2⁸ + b_4_13·a_1_1²·b_1_2⁴ + c_8_60·a_1_1·b_1_2 + c_4_15·b_1_2·a_5_14
        + a_2_5·c_4_15·b_1_2·b_3_7 + b_4_13·c_4_15·a_1_1² + a_2_5·c_4_15·b_1_2·a_3_8
104. a_5_16·b_5_23 + a_5_14·b_5_23 + a_1_0·b_9_78 + a_2_5·b_2_4²·b_1_2·b_3_7
        + a_2_5·b_2_4²·b_1_2⁴ + a_2_5·b_2_4²·b_4_13 + a_2_5·b_2_4³·b_1_2²
        + a_5_14·a_5_16 + a_5_14² + a_2_5²·b_2_4·b_4_14 + c_8_60·a_1_0·b_1_2
        + c_4_15·b_1_2·a_5_16 + c_4_15·b_1_2·a_5_14
105. a_6_19·a_5_16 + a_6_19·a_5_14 + a_2_5·b_2_4·a_7_29 + a_2_5·b_2_4³·a_3_8
        + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14
106. a_6_19·b_5_23 + b_4_14·a_7_31 + b_4_13·a_7_29 + b_4_13·b_1_2²·a_5_14 + a_2_5·b_1_2⁹
        + a_2_5·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_5_23 + a_2_5·b_2_4²·b_4_14·b_1_2
        + a_2_5·b_2_4³·b_3_7 + a_6_19·a_5_16 + a_6_19·a_1_1·b_1_2⁴ + b_4_13·a_6_19·a_1_1
        + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14 + c_4_15·a_1_1·b_1_2⁶
        + c_4_15·a_6_19·b_1_2 + a_2_5·b_4_14·c_4_15·b_1_2 + a_2_5·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_4_15·b_1_2
        + b_4_13·c_4_15·a_1_1²·b_1_2 + a_2_5·b_2_4·c_4_15·a_3_8 + c_4_15²·a_1_1·b_1_2²
        + c_4_15²·a_1_1³
107. b_4_13·a_7_31 + b_4_13·b_1_2²·a_5_14 + b_4_13·a_6_19·b_1_2 + a_2_5·b_4_14·b_1_2⁵
        + a_2_5·b_4_13·b_1_2⁵ + a_2_5·b_2_4·b_1_2⁷ + a_2_5·b_2_4·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_4_14·b_1_2
        + a_2_5·b_2_4²·b_4_13·b_1_2 + a_2_5·b_2_4³·b_3_7 + a_2_5·b_2_4³·b_1_2³
        + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14 + c_4_15·b_1_2²·a_5_14
        + b_4_13·c_4_15·a_1_1·b_1_2² + a_2_5·c_4_15·b_1_2⁵ + a_2_5·b_4_14·c_4_15·b_1_2
        + a_2_5·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2³
        + c_4_15·a_1_1²·b_1_2⁵ + c_4_15·a_1_1²·a_5_14 + b_4_13·c_4_15·a_1_1³
        + c_4_15²·a_1_1³
108. b_6_32·b_1_2⁵ + b_4_14·b_7_44 + b_4_14·b_1_2⁷ + b_4_13·b_4_14·b_1_2³
        + b_2_4·b_1_2²·b_7_44 + b_2_4·b_6_32·b_1_2³ + b_2_4·b_4_14·b_1_2⁵
        + b_2_4·b_4_13·b_1_2⁵ + b_2_4²·b_1_2⁷ + b_2_4³·b_1_2⁵ + b_2_4³·b_4_14·b_1_2
        + b_2_4⁴·b_1_2³ + b_1_2⁶·a_5_14 + b_4_14·a_7_29 + b_4_13·a_7_29
        + b_4_13·b_1_2²·a_5_14 + a_2_5·b_1_2⁹ + a_2_5·b_4_14·b_1_2⁵
        + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_1_2⁵
        + a_2_5·b_2_4²·b_4_14·b_1_2 + a_2_5·b_2_4²·b_4_13·b_1_2 + a_2_5·b_2_4³·b_1_2³
        + a_1_1²·b_1_2⁹ + a_6_19·a_5_16 + a_6_19·a_5_14 + a_6_19·a_1_1·b_1_2⁴
        + b_4_13·a_6_19·a_1_1 + a_6_19·a_1_1²·b_1_2³ + a_2_5·b_4_14·c_4_15·b_1_2
        + a_2_5·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4·c_4_15·b_3_7 + a_2_5·b_2_4²·c_4_15·b_1_2
        + c_4_15·a_1_1²·a_5_14 + c_4_15²·a_1_1·b_1_2²
109. b_4_14·a_7_29 + a_2_5·b_1_2⁹ + a_2_5·b_6_32·b_1_2³ + a_2_5·b_2_4·b_7_44
        + a_2_5·b_2_4·b_1_2⁷ + a_2_5·b_2_4·b_6_32·b_1_2 + a_2_5·b_2_4·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4²·b_4_14·b_1_2 + a_2_5·b_2_4²·b_4_13·b_1_2
        + a_2_5·b_2_4³·b_3_7 + a_6_19·a_1_1·b_1_2⁴ + b_4_13·a_1_1²·a_5_14
        + a_2_5·b_4_14·c_4_15·b_1_2 + b_4_13·c_4_15·a_1_1²·b_1_2 + b_4_13·c_4_15·a_1_1³
        + c_4_15²·a_1_1³
110. a_6_19·b_5_23 + b_4_14·a_7_29 + b_4_13·a_7_29 + b_4_13·b_1_2²·a_5_14
        + a_2_5·b_1_2²·b_7_44 + a_2_5·b_4_14·b_1_2⁵ + a_2_5·b_4_13·b_1_2⁵
        + a_2_5·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4·b_1_2⁷ + a_2_5·b_2_4·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_14·b_1_2³ + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_5_23
        + a_2_5·b_2_4³·b_3_7 + a_2_5·b_2_4³·b_1_2³ + a_2_5·b_2_4⁴·b_1_2 + a_6_19·a_5_16
        + b_4_13·a_1_1²·b_1_2⁵ + a_2_5·b_2_4³·a_3_8 + b_4_13·a_1_1²·a_5_14
        + c_4_15·a_1_1·b_1_2⁶ + c_4_15·a_6_19·b_1_2 + a_2_5·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_4_15·b_1_2
        + a_2_5·b_2_4·c_4_15·a_3_8 + c_4_15·a_1_1²·a_5_14 + c_4_15²·a_1_1·b_1_2²
111. b_6_32·a_5_16 + b_6_32·a_5_14 + b_2_4²·a_7_29 + b_2_4⁴·a_3_8
        + a_2_5·b_2_4·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_5_23 + a_2_5·b_2_4⁴·b_1_2
        + a_2_5·b_2_4³·a_3_8 + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14
        + b_2_4·c_8_60·a_1_0 + b_2_4³·c_4_15·a_1_0 + b_2_4·c_4_15²·a_1_0
112. a_1_1²·b_1_2⁹ + a_6_19·a_5_14 + a_6_19·a_1_1·b_1_2⁴ + b_4_13·a_1_1²·b_1_2⁵
        + b_4_13·a_6_19·a_1_1 + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14
        + c_8_60·a_1_1²·b_1_2 + c_8_60·a_1_1³ + b_4_13·c_4_15·a_1_1³
113. b_8_58·a_3_9 + a_6_19·a_5_16 + a_6_19·a_5_14 + b_4_13·a_1_1²·b_1_2⁵
        + b_4_13·a_6_19·a_1_1 + a_6_19·a_1_1²·b_1_2³ + c_4_15·a_1_1·b_1_2⁶
        + c_4_15·a_1_1²·b_1_2⁵ + c_4_15·a_6_19·a_1_1 + c_4_15·a_1_1²·a_5_14
        + c_4_15²·a_1_1·b_1_2² + c_4_15²·a_1_1³
114. b_8_58·a_3_8 + b_2_4²·a_7_29 + b_2_4⁴·a_3_8 + a_2_5·b_4_13·b_4_14·b_1_2
        + a_2_5·b_2_4·b_1_2⁷ + a_2_5·b_2_4·b_6_32·b_1_2 + a_2_5·b_2_4·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_3_7 + a_6_19·a_5_16 + a_6_19·a_5_14
        + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14 + b_2_4³·c_4_15·a_1_0
        + a_2_5·c_4_15·b_5_23 + a_2_5·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4·c_4_15·b_3_7
        + a_2_5·b_2_4·c_4_15·a_3_8 + a_2_5·c_4_15²·b_1_2 + c_4_15²·a_1_1³
115. b_8_58·b_3_7 + b_4_13·b_4_14·b_1_2³ + b_2_4·b_1_2⁹ + b_2_4·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_1_2⁵ + b_2_4²·b_7_44 + b_2_4²·b_1_2⁷ + b_2_4²·b_4_13·b_3_7
        + b_2_4²·b_4_13·b_1_2³ + b_2_4³·b_4_14·b_1_2 + b_2_4⁴·b_3_7 + b_2_4⁵·b_1_2
        + a_6_19·b_5_23 + b_4_14·a_7_29 + b_2_4²·a_7_29 + b_2_4³·a_5_16 + b_2_4³·a_5_14
        + b_2_4⁴·a_3_8 + a_2_5·b_1_2⁹ + a_2_5·b_4_13·b_1_2⁵ + a_2_5·b_2_4·b_1_2⁷
        + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_5_23 + a_2_5·b_2_4²·b_1_2⁵
        + a_2_5·b_2_4³·b_1_2³ + a_2_5·b_2_4⁴·b_1_2 + a_6_19·a_5_16 + a_6_19·a_1_1·b_1_2⁴
        + b_4_13·a_1_1²·b_1_2⁵ + a_2_5·b_2_4³·a_3_8 + a_6_19·a_1_1²·b_1_2³
        + b_4_13·a_1_1²·a_5_14 + b_4_13·c_4_15·b_3_7 + b_2_4·b_4_14·c_4_15·b_1_2
        + b_2_4²·c_4_15·b_3_7 + c_4_15·a_6_19·b_1_2 + b_2_4·c_4_15·a_5_16
        + b_2_4³·c_4_15·a_1_0 + a_2_5·c_4_15·b_5_23 + a_2_5·c_4_15·b_1_2⁵
        + a_2_5·b_2_4·c_4_15·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_4_15·b_1_2
        + c_4_15·a_1_1²·b_1_2⁵ + b_4_13·c_4_15·a_1_1²·b_1_2 + c_4_15·a_1_1²·a_5_14
        + b_4_13·c_4_15·a_1_1³ + a_2_5·c_4_15²·b_1_2 + c_4_15²·a_1_1³
116. b_2_4·b_8_58·b_1_2 + b_2_4·b_4_14·b_1_2⁵ + b_2_4·b_4_13·b_1_2⁵ + b_2_4²·b_7_44
        + b_2_4²·b_6_32·b_1_2 + b_2_4³·b_4_13·b_1_2 + b_2_4⁴·b_3_7 + b_2_4⁵·b_1_2
        + b_6_32·a_5_16 + a_6_19·b_5_23 + b_4_14·a_7_29 + b_4_13·a_7_29 + b_4_13·b_1_2²·a_5_14
        + b_2_4³·a_5_16 + b_2_4³·a_5_14 + a_2_5·b_1_2⁹ + a_2_5·b_6_32·b_1_2³
        + a_2_5·b_2_4·b_1_2⁷ + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4²·b_1_2⁵
        + a_2_5·b_2_4²·b_4_14·b_1_2 + a_2_5·b_2_4²·b_4_13·b_1_2 + a_2_5·b_2_4³·b_3_7
        + a_1_1²·b_1_2⁹ + a_6_19·a_5_16 + b_4_13·a_1_1²·b_1_2⁵ + b_4_13·a_6_19·a_1_1
        + b_4_13·a_1_1²·a_5_14 + b_2_4·b_4_13·c_4_15·b_1_2 + b_2_4²·c_4_15·b_3_7
        + b_2_4²·c_4_15·b_1_2³ + c_4_15·a_1_1·b_1_2⁶ + c_4_15·a_6_19·b_1_2
        + b_2_4·c_4_15·a_5_16 + a_2_5·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4²·c_4_15·b_1_2
        + c_8_60·a_1_1²·b_1_2 + c_4_15·a_6_19·a_1_1 + b_4_13·c_4_15·a_1_1²·b_1_2
        + b_4_13·c_4_15·a_1_1³ + c_4_15²·a_1_1·b_1_2²
117. b_1_2²·b_9_78 + b_6_32·b_1_2⁵ + b_4_14·b_7_44 + b_4_13·b_7_44 + b_2_4·b_1_2⁹
        + b_2_4·b_6_32·b_1_2³ + b_2_4·b_4_14·b_1_2⁵ + b_2_4·b_4_13·b_4_14·b_1_2
        + b_2_4³·b_1_2⁵ + b_2_4³·b_4_13·b_1_2 + b_2_4⁴·b_3_7 + b_2_4⁴·b_1_2³
        + b_4_13·a_1_1·b_1_2⁶ + b_4_13·a_6_19·b_1_2 + b_2_4³·a_5_16 + b_2_4⁴·a_3_8
        + a_2_5·b_1_2⁹ + a_2_5·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_14·b_1_2³ + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4²·b_4_13·b_1_2
        + a_2_5·b_2_4⁴·b_1_2 + a_1_1²·b_1_2⁹ + a_6_19·a_5_14 + a_6_19·a_1_1·b_1_2⁴
        + b_4_13·a_1_1²·b_1_2⁵ + a_2_5·b_2_4³·a_3_8 + c_8_60·b_1_2³ + b_4_13·c_4_15·b_3_7
        + b_2_4·b_4_14·c_4_15·b_1_2 + b_2_4²·c_4_15·b_3_7 + b_2_4²·c_4_15·b_1_2³
        + c_4_15·a_1_1·b_1_2⁶ + b_2_4·c_4_15·a_5_16 + b_2_4²·c_4_15·a_3_8
        + a_2_5·c_4_15·b_5_23 + a_2_5·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4·c_4_15·b_3_7
        + a_2_5·b_2_4²·c_4_15·b_1_2 + c_8_60·a_1_1²·b_1_2 + b_4_13·c_4_15·a_1_1²·b_1_2
        + a_2_5·b_2_4·c_4_15·a_3_8 + c_4_15·a_1_1²·a_5_14 + b_4_13·c_4_15·a_1_1³
        + a_2_5·c_4_15²·b_1_2
118. b_6_32·b_5_23 + b_6_32·b_1_2⁵ + b_4_14·b_7_44 + b_4_14·b_1_2⁷
        + b_4_13·b_4_14·b_1_2³ + b_2_4·b_9_78 + b_2_4·b_1_2⁹ + b_2_4·b_4_14·b_1_2⁵
        + b_2_4·b_4_13·b_1_2⁵ + b_2_4²·b_4_13·b_3_7 + b_2_4³·b_5_23 + b_2_4³·b_1_2⁵
        + b_2_4³·b_4_14·b_1_2 + b_2_4³·b_4_13·b_1_2 + b_2_4⁴·b_1_2³ + b_1_2⁶·a_5_14
        + b_6_32·a_5_16 + b_4_14·a_7_29 + b_4_13·a_7_29 + b_4_13·b_1_2²·a_5_14 + b_2_4²·a_7_29
        + b_2_4³·a_5_16 + a_2_5·b_4_13·b_1_2⁵ + a_2_5·b_2_4·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_13·b_1_2³ + a_2_5·b_2_4²·b_5_23 + a_2_5·b_2_4²·b_4_14·b_1_2
        + a_2_5·b_2_4⁴·b_1_2 + a_1_1²·b_1_2⁹ + b_4_13·a_1_1²·b_1_2⁵
        + a_2_5·b_2_4³·a_3_8 + a_6_19·a_1_1²·b_1_2³ + b_4_13·a_1_1²·a_5_14
        + c_4_15·b_6_32·b_1_2 + b_2_4·c_8_60·b_1_2 + b_2_4·c_4_15·b_5_23
        + b_2_4·c_4_15·b_1_2⁵ + b_2_4·b_4_14·c_4_15·b_1_2 + b_2_4²·c_4_15·b_3_7
        + b_2_4³·c_4_15·b_1_2 + b_2_4·c_4_15·a_5_14 + b_2_4²·c_4_15·a_3_8
        + b_2_4³·c_4_15·a_1_0 + a_2_5·c_4_15·b_5_23 + a_2_5·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4·c_4_15·b_3_7 + b_4_13·c_4_15·a_1_1²·b_1_2 + a_2_5·b_2_4·c_4_15·a_3_8
        + c_4_15·a_1_1²·a_5_14 + b_4_13·c_4_15·a_1_1³ + b_2_4·c_4_15²·b_1_2
        + c_4_15²·a_1_1·b_1_2² + b_2_4·c_4_15²·a_1_0 + a_2_5·c_4_15²·b_1_2
119. b_4_14·a_7_29 + b_4_13·a_7_29 + b_4_13·b_1_2²·a_5_14 + a_2_5·b_9_78 + a_2_5·b_1_2⁹
        + a_2_5·b_6_32·b_1_2³ + a_2_5·b_4_14·b_1_2⁵ + a_2_5·b_2_4·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_13·b_3_7 + a_2_5·b_2_4²·b_1_2⁵ + a_2_5·b_2_4²·b_4_13·b_1_2
        + a_2_5·b_2_4³·b_3_7 + a_2_5·b_2_4³·b_1_2³ + a_2_5·b_2_4⁴·b_1_2 + a_6_19·a_5_16
        + a_6_19·a_5_14 + a_6_19·a_1_1·b_1_2⁴ + b_4_13·a_1_1²·b_1_2⁵ + b_4_13·a_6_19·a_1_1
        + a_2_5·b_2_4³·a_3_8 + a_6_19·a_1_1²·b_1_2³ + c_4_15·a_1_1·b_1_2⁶
        + a_2_5·c_8_60·b_1_2 + a_2_5·c_4_15·b_5_23 + a_2_5·b_4_14·c_4_15·b_1_2
        + a_2_5·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4·c_4_15·b_1_2³ + c_4_15·a_1_1²·a_5_14
        + b_4_13·c_4_15·a_1_1³ + c_4_15²·a_1_1·b_1_2² + a_2_5·c_4_15²·b_1_2
120. a_5_16·a_7_29 + a_5_14·a_7_29 + a_2_5²·b_2_4·b_6_32 + a_2_5²·b_2_4²·b_4_14
        + a_2_5²·b_2_4⁴ + a_6_19·a_1_1²·b_1_2⁴ + b_4_13·a_6_19·a_1_1²
        + a_2_5²·b_4_14·c_4_15 + c_4_15²·a_1_1³·b_1_2
121. a_5_14·a_7_29 + a_6_19·b_1_2·a_5_14 + c_4_15·a_1_1·a_7_31
        + b_4_13·c_4_15·a_1_1²·b_1_2² + a_2_5²·b_4_14·c_4_15 + c_4_15²·a_1_1²·b_1_2²
122. b_5_23·a_7_29 + a_2_5·b_1_2¹⁰ + a_2_5·b_6_32·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁶
        + a_2_5·b_4_13·b_6_32 + a_2_5·b_4_13·b_4_14·b_1_2² + a_2_5·b_2_4·b_1_2·b_7_44
        + a_2_5·b_2_4·b_1_2⁸ + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_1_2⁴ + a_2_5·b_2_4·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2⁶
        + a_2_5·b_2_4²·b_4_13·b_1_2² + a_2_5·b_2_4³·b_1_2⁴ + a_2_5·b_2_4³·b_4_13
        + a_5_16·a_7_31 + a_5_14·a_7_31 + a_5_14·a_7_29 + a_6_19·a_1_1·b_1_2⁵
        + b_4_13·a_6_19·a_1_1·b_1_2 + a_6_19·a_1_1²·b_1_2⁴ + c_4_15·b_1_2·a_7_29
        + a_2_5·c_4_15·b_1_2·b_5_23 + a_2_5·b_2_4·c_4_15·b_1_2⁴
        + b_4_13·c_4_15·a_1_1²·b_1_2² + c_4_15·a_6_19·a_1_1² + a_2_5·c_4_15²·b_1_2²
        + c_4_15²·a_1_1²·b_1_2² + c_4_15²·a_1_1³·b_1_2
123. b_5_23·b_7_44 + b_4_14·b_1_2·b_7_44 + b_4_13·b_6_32·b_1_2² + b_4_13·b_4_14·b_1_2⁴
        + b_2_4·b_4_14·b_1_2⁶ + b_2_4²·b_4_14·b_1_2⁴ + b_2_4²·b_4_13·b_1_2⁴
        + b_2_4³·b_1_2·b_5_23 + b_2_4³·b_1_2⁶ + b_2_4⁴·b_1_2·b_3_7 + b_2_4⁴·b_1_2⁴
        + b_5_23·a_7_29 + a_5_14·b_7_44 + b_4_13·b_1_2³·a_5_14 + a_2_5·b_1_2¹⁰
        + a_2_5·b_4_13·b_1_2⁶ + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4²·b_1_2⁶ + a_2_5·b_2_4²·b_4_14·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_1_2² + a_2_5·b_2_4³·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_1_2²
        + a_5_16·a_7_31 + a_5_14·a_7_31 + a_5_14·a_7_29 + a_6_19·a_1_1·b_1_2⁵
        + b_4_13·a_1_1²·b_1_2⁶ + b_4_13·a_6_19·a_1_1·b_1_2 + a_2_5²·b_2_4·b_6_32
        + a_2_5²·b_2_4²·b_4_14 + a_6_19·a_1_1²·b_1_2⁴ + b_4_13·a_6_19·a_1_1²
        + c_4_15·b_1_2·b_7_44 + b_4_14·c_4_15·b_1_2⁴ + b_2_4·c_4_15·b_1_2⁶
        + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4²·c_4_15·b_1_2·b_3_7 + b_2_4²·c_4_15·b_1_2⁴
        + b_2_4³·c_4_15·b_1_2² + c_4_15·b_1_2·a_7_29 + b_4_13·c_4_15·a_1_1·b_1_2³
        + c_4_15·a_1_1²·b_1_2⁶ + b_4_13·c_4_15·a_1_1²·b_1_2² + a_2_5²·b_4_14·c_4_15
        + c_4_15·a_6_19·a_1_1² + b_4_13·c_4_15·a_1_1³·b_1_2 + c_4_15²·a_1_1²·b_1_2²
        + c_4_15²·a_1_1³·b_1_2
124. b_5_23·b_7_44 + b_4_14·b_1_2·b_7_44 + b_4_13·b_6_32·b_1_2² + b_4_13·b_4_14·b_1_2⁴
        + b_2_4·b_4_14·b_1_2⁶ + b_2_4²·b_4_14·b_1_2⁴ + b_2_4²·b_4_13·b_1_2⁴
        + b_2_4³·b_1_2·b_5_23 + b_2_4³·b_1_2⁶ + b_2_4⁴·b_1_2·b_3_7 + b_2_4⁴·b_1_2⁴
        + b_5_23·a_7_29 + a_5_16·b_7_44 + b_4_13·b_1_2³·a_5_14 + a_2_5·b_1_2¹⁰
        + a_2_5·b_4_13·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2·b_5_23
        + a_2_5·b_2_4²·b_1_2⁶ + a_2_5·b_2_4³·b_1_2⁴ + a_2_5·b_2_4³·b_4_14
        + a_5_14·a_7_29 + a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_1_1²·b_1_2⁶
        + b_4_13·a_6_19·a_1_1·b_1_2 + a_2_5²·b_2_4·b_6_32 + a_6_19·a_1_1²·b_1_2⁴
        + c_4_15·b_1_2·b_7_44 + b_4_14·c_4_15·b_1_2⁴ + b_2_4·c_4_15·b_1_2⁶
        + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4²·c_4_15·b_1_2·b_3_7 + b_2_4²·c_4_15·b_1_2⁴
        + b_2_4³·c_4_15·b_1_2² + c_4_15·b_1_2·a_7_29 + b_4_13·c_4_15·a_1_1·b_1_2³
        + a_2_5·b_2_4²·c_4_15·b_1_2² + c_4_15·a_1_1²·b_1_2⁶
        + b_4_13·c_4_15·a_1_1²·b_1_2² + a_2_5²·b_2_4²·c_4_15 + c_4_15²·a_1_1²·b_1_2²
        + c_4_15²·a_1_1³·b_1_2
125. b_5_23·b_7_44 + b_4_14·b_1_2·b_7_44 + b_4_13·b_6_32·b_1_2² + b_4_13·b_4_14·b_1_2⁴
        + b_2_4·b_4_14·b_1_2⁶ + b_2_4²·b_4_14·b_1_2⁴ + b_2_4²·b_4_13·b_1_2⁴
        + b_2_4³·b_1_2·b_5_23 + b_2_4³·b_1_2⁶ + b_2_4⁴·b_1_2·b_3_7 + b_2_4⁴·b_1_2⁴
        + b_5_23·a_7_31 + b_1_2⁷·a_5_14 + a_6_19·b_1_2⁶ + b_4_13·b_1_2³·a_5_14
        + b_4_13·a_1_1·b_1_2⁷ + a_2_5·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁰
        + a_2_5·b_4_14·b_1_2⁶ + a_2_5·b_4_13·b_6_32 + a_2_5·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4·b_4_13·b_1_2⁴ + a_2_5·b_2_4·b_4_13·b_4_14
        + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_4_14·b_1_2²
        + a_2_5·b_2_4³·b_1_2·b_3_7 + a_2_5·b_2_4³·b_1_2⁴ + a_5_16·a_7_31 + a_5_14·a_7_31
        + a_6_19·b_1_2·a_5_14 + a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_1_1²·b_1_2⁶
        + b_4_13·a_6_19·a_1_1·b_1_2 + a_6_19·a_1_1²·b_1_2⁴ + b_4_13·a_6_19·a_1_1²
        + c_4_15·b_1_2·b_7_44 + b_4_14·c_4_15·b_1_2⁴ + b_2_4·c_4_15·b_1_2⁶
        + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4²·c_4_15·b_1_2·b_3_7 + b_2_4²·c_4_15·b_1_2⁴
        + b_2_4³·c_4_15·b_1_2² + c_4_15·b_1_2·a_7_31 + b_4_13·c_4_15·a_1_1·b_1_2³
        + a_2_5·c_4_15·b_1_2·b_5_23 + a_2_5·c_4_15·b_1_2⁶ + a_2_5·b_2_4²·c_4_15·b_1_2²
        + c_8_60·a_1_1·a_3_9 + c_8_60·a_1_1²·b_1_2² + c_4_15·a_1_1²·b_1_2⁶
        + c_4_15·a_6_19·a_1_1² + a_2_5·c_4_15²·b_1_2² + c_4_15²·a_1_1³·b_1_2
126. a_5_16·a_7_31 + b_4_13·a_1_1²·b_1_2⁶ + a_2_5²·b_2_4²·b_4_14
        + b_4_13·a_6_19·a_1_1² + c_8_60·a_1_1·a_3_9 + c_4_15·a_6_19·a_1_1·b_1_2
        + a_2_5²·b_4_14·c_4_15 + c_8_60·a_1_1³·b_1_2 + c_4_15·a_6_19·a_1_1²
        + b_4_13·c_4_15·a_1_1³·b_1_2 + c_4_15²·a_1_1³·b_1_2
127. a_5_14·a_7_31 + a_6_19·b_1_2·a_5_14 + a_6_19² + b_4_13·a_1_1²·b_1_2⁶
        + b_4_13·a_6_19·a_1_1·b_1_2 + c_8_60·a_1_1·a_3_9 + c_4_15·a_6_19·a_1_1·b_1_2
        + a_2_5²·c_8_60 + a_2_5²·b_4_14·c_4_15 + b_4_13·c_4_15·a_1_1³·b_1_2
        + a_2_5²·c_4_15² + c_4_15²·a_1_1³·b_1_2
128. b_6_32² + b_4_14·b_8_58 + b_4_13·b_4_14·b_1_2⁴ + b_2_4·b_6_32·b_1_2⁴
        + b_2_4·b_4_14·b_1_2⁶ + b_2_4·b_4_13·b_4_14·b_1_2² + b_2_4²·b_1_2⁸
        + b_2_4²·b_4_13·b_4_14 + b_2_4³·b_1_2⁶ + b_2_4³·b_4_14·b_1_2²
        + b_2_4³·b_4_13·b_1_2² + b_2_4⁴·b_4_13 + b_5_23·a_7_29 + a_6_19·b_6_32
        + a_2_5·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁰ + a_2_5·b_4_13·b_1_2⁶ + a_2_5·b_2_4·b_1_2⁸
        + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_1_2⁶ + a_2_5·b_2_4²·b_4_14·b_1_2²
        + a_2_5·b_2_4³·b_1_2⁴ + a_2_5·b_2_4³·b_4_14 + a_2_5·b_2_4⁴·b_1_2²
        + a_2_5·b_2_4⁵ + a_5_16·a_7_31 + a_5_14·a_7_29 + a_6_19·a_1_1·b_1_2⁵
        + a_2_5²·b_2_4²·b_4_14 + a_6_19·a_1_1²·b_1_2⁴ + b_4_13·b_4_14·c_4_15
        + b_2_4·c_4_15·b_1_2⁶ + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4²·c_8_60
        + c_4_15·b_1_2·a_7_29 + a_2_5·b_4_14·c_4_15·b_1_2² + a_2_5·b_2_4·c_8_60
        + a_2_5·b_2_4·b_4_13·c_4_15 + a_2_5·b_2_4³·c_4_15 + c_8_60·a_1_1·a_3_9
        + c_4_15·a_1_1²·b_1_2⁶ + b_4_13·c_4_15·a_1_1²·b_1_2² + a_2_5²·b_4_14·c_4_15
        + c_4_15·a_6_19·a_1_1² + b_4_13·c_4_15·a_1_1³·b_1_2 + b_2_4²·c_4_15²
        + a_2_5·b_2_4·c_4_15²
129. b_6_32² + b_2_4·b_1_2¹⁰ + b_2_4²·b_1_2⁸ + b_2_4²·b_8_58
        + b_2_4²·b_4_14·b_1_2⁴ + b_2_4²·b_4_13·b_1_2⁴ + b_2_4³·b_6_32 + b_2_4⁴·b_4_14
        + b_5_23·a_7_31 + a_6_19·b_6_32 + a_2_5·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁰
        + a_2_5·b_6_32·b_1_2⁴ + a_2_5·b_4_14·b_1_2⁶ + a_2_5·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4·b_1_2⁸ + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_1_2⁴ + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_1_2⁶
        + a_2_5·b_2_4²·b_4_13·b_1_2² + a_2_5·b_2_4³·b_1_2·b_3_7 + a_2_5·b_2_4³·b_1_2⁴
        + a_2_5·b_2_4³·b_4_14 + a_2_5·b_2_4³·b_4_13 + a_2_5·b_2_4⁵ + a_5_16·a_7_31
        + a_5_14·a_7_31 + a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_6_19·a_1_1·b_1_2
        + a_2_5²·b_2_4·b_6_32 + a_2_5²·b_2_4⁴ + a_6_19·a_1_1²·b_1_2⁴
        + b_2_4·c_4_15·b_1_2⁶ + b_2_4²·c_8_60 + b_2_4²·c_4_15·b_1_2⁴
        + b_2_4²·b_4_14·c_4_15 + b_2_4²·b_4_13·c_4_15 + b_2_4³·c_4_15·b_1_2²
        + c_4_15·b_1_2·a_7_31 + a_2_5·c_4_15·b_1_2⁶ + a_2_5·b_2_4·c_8_60
        + a_2_5·b_2_4·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4³·c_4_15 + c_8_60·a_1_1·a_3_9
        + c_4_15·a_6_19·a_1_1·b_1_2 + a_2_5·c_4_15·a_6_19 + a_2_5²·b_2_4²·c_4_15
        + b_2_4²·c_4_15² + a_2_5·b_2_4·c_4_15² + c_4_15²·a_1_1²·b_1_2²
        + a_2_5²·c_4_15² + c_4_15²·a_1_1³·b_1_2
130. b_5_23·a_7_31 + a_6_19·b_6_32 + a_2_5·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁰
        + a_2_5·b_6_32·b_1_2⁴ + a_2_5·b_4_14·b_1_2⁶ + a_2_5·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4·b_8_58 + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_1_2⁶ + a_2_5·b_2_4²·b_6_32
        + a_2_5·b_2_4³·b_4_14 + a_5_14·a_7_31 + a_6_19·b_1_2·a_5_14 + a_6_19·a_1_1·b_1_2⁵
        + b_4_13·a_1_1²·b_1_2⁶ + a_2_5²·b_2_4·b_6_32 + a_2_5²·b_2_4²·b_4_14
        + a_2_5²·b_2_4⁴ + a_6_19·a_1_1²·b_1_2⁴ + b_4_13·a_6_19·a_1_1²
        + c_4_15·b_1_2·a_7_31 + a_2_5·c_4_15·b_1_2⁶ + a_2_5·b_2_4·c_8_60
        + a_2_5·b_2_4·b_4_14·c_4_15 + a_2_5·b_2_4·b_4_13·c_4_15 + c_4_15·a_1_1²·b_1_2⁶
        + a_2_5·c_4_15·a_6_19 + a_2_5²·b_4_14·c_4_15 + a_2_5²·b_2_4²·c_4_15
        + c_4_15·a_6_19·a_1_1² + b_4_13·c_4_15·a_1_1³·b_1_2 + a_2_5·b_2_4·c_4_15²
131. a_5_16·a_7_31 + a_5_14·a_7_31 + a_2_5²·b_8_58 + a_2_5²·b_2_4·b_6_32
        + b_4_13·a_6_19·a_1_1² + a_2_5²·b_4_14·c_4_15 + c_4_15·a_6_19·a_1_1²
132. a_3_9·b_9_78 + b_4_13·a_1_1²·b_1_2⁶ + b_4_13·a_6_19·a_1_1·b_1_2
        + b_4_13·a_6_19·a_1_1² + c_8_60·b_1_2·a_3_9 + c_4_15·a_6_19·a_1_1·b_1_2
        + b_4_13·c_4_15·a_1_1²·b_1_2² + c_4_15·a_6_19·a_1_1²
        + b_4_13·c_4_15·a_1_1³·b_1_2 + c_4_15²·a_1_1²·b_1_2²
133. a_3_8·b_9_78 + a_2_5·b_4_13·b_6_32 + a_2_5·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4·b_1_2⁸ + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_13·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2⁶ + a_2_5·b_2_4³·b_1_2⁴
        + a_2_5·b_2_4³·b_4_13 + a_2_5·b_2_4⁴·b_1_2² + a_5_16·a_7_31 + a_5_14·a_7_31
        + a_2_5²·b_2_4²·b_4_14 + b_4_13·a_6_19·a_1_1² + c_8_60·b_1_2·a_3_8
        + a_2_5·b_4_14·c_4_15·b_1_2² + a_2_5·b_2_4·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4·c_4_15·b_1_2⁴ + a_2_5·b_2_4·b_4_13·c_4_15
        + a_2_5·b_2_4²·c_4_15·b_1_2² + a_2_5²·b_4_14·c_4_15 + a_2_5²·b_2_4²·c_4_15
        + c_4_15·a_6_19·a_1_1² + b_4_13·c_4_15·a_1_1³·b_1_2
134. b_3_7·b_9_78 + b_4_13·b_6_32·b_1_2² + b_4_13·b_4_14·b_1_2⁴ + b_2_4·b_1_2¹⁰
        + b_2_4·b_6_32·b_1_2⁴ + b_2_4·b_4_13·b_1_2⁶ + b_2_4·b_4_13·b_4_14·b_1_2²
        + b_2_4²·b_1_2⁸ + b_2_4³·b_1_2⁶ + b_2_4³·b_4_13·b_1_2² + b_2_4⁴·b_1_2⁴
        + b_4_13·b_1_2³·a_5_14 + a_2_5·b_1_2¹⁰ + a_2_5·b_4_13·b_1_2⁶
        + a_2_5·b_4_13·b_4_14·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_1_2⁶
        + a_2_5·b_2_4²·b_4_13·b_1_2² + a_2_5·b_2_4³·b_1_2⁴ + a_6_19·a_1_1·b_1_2⁵
        + b_4_13·a_1_1²·b_1_2⁶ + b_4_13·a_6_19·a_1_1·b_1_2 + a_6_19·a_1_1²·b_1_2⁴
        + b_4_13·a_6_19·a_1_1² + c_8_60·b_1_2·b_3_7 + b_4_14·c_4_15·b_1_2⁴
        + b_2_4·c_4_15·b_1_2⁶ + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4·b_4_13·c_4_15·b_1_2²
        + b_2_4²·c_4_15·b_1_2·b_3_7 + b_4_13·c_4_15·a_1_1·b_1_2³
        + a_2_5·c_4_15·b_1_2·b_5_23 + a_2_5·b_2_4·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4·c_4_15·b_1_2⁴ + a_2_5·b_2_4·b_4_13·c_4_15 + c_4_15·a_1_1²·b_1_2⁶
        + a_2_5²·b_4_14·c_4_15 + b_4_13·c_4_15·a_1_1³·b_1_2 + a_2_5·c_4_15²·b_1_2²
135. b_4_13·b_8_58 + b_4_13·b_4_14·b_1_2⁴ + b_2_4·b_1_2·b_9_78 + b_2_4·b_1_2¹⁰
        + b_2_4·b_4_13·b_6_32 + b_2_4·b_4_13·b_4_14·b_1_2² + b_2_4²·b_1_2·b_7_44
        + b_2_4²·b_4_14·b_1_2⁴ + b_2_4²·b_4_13·b_1_2⁴ + b_2_4²·b_4_13·b_4_14
        + b_2_4³·b_1_2·b_5_23 + b_2_4³·b_1_2⁶ + b_2_4³·b_4_14·b_1_2²
        + b_2_4⁴·b_1_2·b_3_7 + b_2_4⁵·b_1_2² + b_5_23·a_7_31 + b_5_23·a_7_29 + a_6_19·b_6_32
        + b_4_13·a_6_19·b_1_2² + a_2_5·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁰
        + a_2_5·b_6_32·b_1_2⁴ + a_2_5·b_4_13·b_1_2⁶ + a_2_5·b_4_13·b_6_32
        + a_2_5·b_2_4·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_1_2⁴ + a_2_5·b_2_4²·b_1_2·b_5_23
        + a_2_5·b_2_4²·b_4_14·b_1_2² + a_2_5·b_2_4²·b_4_13·b_1_2²
        + a_2_5·b_2_4³·b_1_2·b_3_7 + a_2_5·b_2_4³·b_4_14 + a_2_5·b_2_4³·b_4_13
        + a_5_14·a_7_29 + a_6_19² + b_4_13·a_1_1²·b_1_2⁶ + b_4_13·a_6_19·a_1_1·b_1_2
        + c_4_15·b_1_2⁸ + b_2_4·c_8_60·b_1_2² + b_2_4·c_4_15·b_1_2⁶
        + b_2_4·b_4_14·c_4_15·b_1_2² + b_2_4·b_4_13·c_4_15·b_1_2²
        + b_2_4³·c_4_15·b_1_2² + c_4_15·b_1_2·a_7_31 + c_4_15·b_1_2·a_7_29
        + c_4_15·a_1_1·b_1_2⁷ + c_4_15·a_6_19·b_1_2² + a_2_5·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4·c_8_60 + a_2_5·b_2_4·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4·c_4_15·b_1_2⁴ + a_2_5·b_2_4²·c_4_15·b_1_2² + c_8_60·a_1_1·a_3_9
        + b_4_13·c_4_15·a_1_1²·b_1_2² + a_2_5·c_4_15·a_6_19 + a_2_5²·b_4_14·c_4_15
        + c_4_15²·b_1_2⁴ + a_2_5·c_4_15²·b_1_2² + a_2_5·b_2_4·c_4_15²
        + a_2_5²·c_4_15² + c_4_15²·a_1_1³·b_1_2
136. b_5_23·a_7_31 + a_2_5·b_1_2·b_9_78 + a_2_5·b_1_2³·b_7_44 + a_2_5·b_6_32·b_1_2⁴
        + a_2_5·b_4_13·b_1_2⁶ + a_2_5·b_4_13·b_4_14·b_1_2² + a_2_5·b_2_4·b_4_13·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_4_14 + a_2_5·b_2_4²·b_1_2·b_5_23 + a_2_5·b_2_4²·b_1_2⁶
        + a_2_5·b_2_4²·b_4_14·b_1_2² + a_2_5·b_2_4³·b_1_2⁴ + a_5_16·a_7_31
        + b_4_13·a_1_1²·b_1_2⁶ + b_4_13·a_6_19·a_1_1·b_1_2 + a_2_5²·b_2_4²·b_4_14
        + a_6_19·a_1_1²·b_1_2⁴ + c_4_15·b_1_2·a_7_31 + a_2_5·c_8_60·b_1_2²
        + a_2_5·c_4_15·b_1_2·b_5_23 + a_2_5·c_4_15·b_1_2⁶ + a_2_5·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2⁴
        + a_2_5·b_2_4²·c_4_15·b_1_2² + c_4_15·a_1_1²·b_1_2⁶ + c_4_15·a_6_19·a_1_1·b_1_2
        + c_4_15·a_6_19·a_1_1² + b_4_13·c_4_15·a_1_1³·b_1_2 + a_2_5·c_4_15²·b_1_2²
137. a_6_19·a_7_31 + b_4_13·a_1_1²·b_1_2⁷ + c_8_60·a_1_1·b_1_2·a_3_9
        + c_4_15·a_1_1²·b_1_2⁷ + c_8_60·a_1_1²·a_3_9 + c_4_15·a_6_19·a_1_1²·b_1_2
138. a_6_19·a_7_29 + a_6_19²·b_1_2 + a_2_5·b_2_4²·a_7_29 + a_2_5·b_2_4⁴·a_3_8
        + c_4_15·a_6_19·a_3_9 + a_2_5·c_8_60·a_3_8 + c_4_15·a_6_19·a_1_1²·b_1_2
        + a_2_5·c_4_15²·a_3_8
139. b_1_2⁸·a_5_14 + a_6_19·b_7_44 + a_6_19·b_1_2⁷ + b_4_13·a_1_1·b_1_2⁸
        + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_1_2¹¹ + a_2_5·b_4_14·b_1_2⁷
        + a_2_5·b_4_13·b_1_2⁷ + a_2_5·b_2_4·b_6_32·b_1_2³ + a_2_5·b_2_4·b_4_14·b_1_2⁵
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4²·b_6_32·b_1_2
        + a_2_5·b_2_4²·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_3_7
        + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4⁴·b_3_7
        + a_6_19·a_7_29 + a_6_19·a_1_1·b_1_2⁶ + b_4_13·a_1_1²·b_1_2⁷
        + b_4_13·a_6_19·a_1_1·b_1_2² + a_6_19²·a_1_1 + b_4_13·a_6_19·a_1_1²·b_1_2
        + a_2_5·c_8_60·b_3_7 + a_2_5·b_4_14·c_4_15·b_1_2³ + c_8_60·a_1_1²·b_1_2³
        + c_4_15·a_6_19·a_3_9 + a_2_5·c_4_15·a_7_29 + a_2_5·b_2_4²·c_4_15·a_3_8
        + c_4_15·a_6_19·a_1_1²·b_1_2 + a_2_5·c_4_15²·b_3_7
140. b_6_32·b_7_44 + b_4_14·b_1_2²·b_7_44 + b_4_13·b_6_32·b_1_2³
        + b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2²·b_7_44 + b_2_4²·b_6_32·b_1_2³
        + b_2_4²·b_4_13·b_1_2⁵ + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_1_2⁷
        + b_2_4³·b_6_32·b_1_2 + b_2_4³·b_4_14·b_1_2³ + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_4_14·b_1_2 + b_2_4⁵·b_3_7 + b_1_2⁸·a_5_14 + b_6_32·a_7_31 + b_6_32·a_7_29
        + a_6_19·b_1_2⁷ + b_4_13·b_1_2⁴·a_5_14 + b_4_13·a_1_1·b_1_2⁸ + b_2_4·b_6_32·a_5_14
        + b_2_4⁴·a_5_16 + b_2_4⁵·a_3_8 + a_2_5·b_4_14·b_7_44 + a_2_5·b_4_13·b_7_44
        + a_2_5·b_4_13·b_1_2⁷ + a_2_5·b_4_13·b_6_32·b_1_2 + a_2_5·b_2_4·b_1_2⁹
        + a_2_5·b_2_4·b_4_14·b_1_2⁵ + a_2_5·b_2_4²·b_7_44 + a_2_5·b_2_4²·b_6_32·b_1_2
        + a_2_5·b_2_4²·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_1_2³
        + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4⁵·b_1_2 + a_6_19·a_7_29 + a_6_19²·b_1_2
        + b_4_13·a_1_1²·b_1_2⁷ + a_2_5·b_2_4²·a_7_29 + a_6_19²·a_1_1
        + b_4_13·a_6_19·a_1_1²·b_1_2 + b_4_14·c_4_15·b_1_2⁵ + b_2_4·c_8_60·b_3_7
        + b_2_4·c_4_15·b_1_2⁷ + b_2_4²·c_4_15·b_1_2⁵ + b_2_4²·b_4_14·c_4_15·b_1_2
        + b_2_4³·c_4_15·b_3_7 + b_2_4³·c_4_15·b_1_2³ + b_4_13·c_4_15·a_1_1·b_1_2⁴
        + b_2_4·c_4_15·a_7_29 + b_2_4²·c_8_60·a_1_0 + b_2_4²·c_4_15·a_5_16
        + a_2_5·c_4_15·b_7_44 + a_2_5·c_4_15·b_1_2⁷ + a_2_5·b_2_4·c_4_15·b_5_23
        + c_8_60·a_1_1·b_1_2·a_3_9 + c_8_60·a_1_1²·b_1_2³ + c_4_15·a_6_19·a_3_9
        + c_4_15·a_6_19·a_1_1·b_1_2² + b_4_13·c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_7_29
        + c_4_15·a_1_1²·a_7_31 + b_2_4·c_4_15²·b_3_7 + c_4_15²·a_1_1·b_1_2·a_3_9
        + a_2_5·c_4_15²·a_3_8
141. b_6_32·b_7_44 + b_4_14·b_1_2²·b_7_44 + b_4_13·b_6_32·b_1_2³
        + b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2²·b_7_44 + b_2_4²·b_6_32·b_1_2³
        + b_2_4²·b_4_13·b_1_2⁵ + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_1_2⁷
        + b_2_4³·b_6_32·b_1_2 + b_2_4³·b_4_14·b_1_2³ + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_4_14·b_1_2 + b_2_4⁵·b_3_7 + b_1_2⁸·a_5_14 + a_6_19·b_1_2⁷
        + b_4_13·b_1_2⁴·a_5_14 + b_4_13·a_1_1·b_1_2⁸ + b_2_4·b_6_32·a_5_14 + b_2_4³·a_7_29
        + b_2_4⁴·a_5_16 + a_2_5·b_1_2¹¹ + a_2_5·b_4_14·b_7_44 + a_2_5·b_4_14·b_1_2⁷
        + a_2_5·b_4_13·b_7_44 + a_2_5·b_4_13·b_1_2⁷ + a_2_5·b_4_13·b_6_32·b_1_2
        + a_2_5·b_2_4·b_1_2²·b_7_44 + a_2_5·b_2_4·b_6_32·b_1_2³
        + a_2_5·b_2_4·b_4_13·b_1_2⁵ + a_2_5·b_2_4²·b_4_14·b_1_2³
        + a_2_5·b_2_4²·b_4_13·b_3_7 + a_2_5·b_2_4²·b_4_13·b_1_2³
        + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4³·b_4_13·b_1_2 + a_2_5·b_2_4⁴·b_1_2³
        + a_2_5·b_2_4⁵·b_1_2 + a_6_19·a_1_1·b_1_2⁶ + a_6_19²·b_1_2
        + b_4_13·a_1_1²·b_1_2⁷ + b_4_13·a_6_19·a_1_1·b_1_2²
        + b_4_13·a_6_19·a_1_1²·b_1_2 + b_4_14·c_4_15·b_1_2⁵ + b_2_4·c_8_60·b_3_7
        + b_2_4·c_4_15·b_1_2⁷ + b_2_4²·c_4_15·b_1_2⁵ + b_2_4²·b_4_14·c_4_15·b_1_2
        + b_2_4³·c_4_15·b_3_7 + b_2_4³·c_4_15·b_1_2³ + b_4_13·c_4_15·a_1_1·b_1_2⁴
        + b_2_4·c_8_60·a_3_8 + b_2_4·c_4_15·a_7_29 + b_2_4²·c_4_15·a_5_16
        + b_2_4⁴·c_4_15·a_1_0 + a_2_5·c_4_15·b_7_44 + a_2_5·c_4_15·b_6_32·b_1_2
        + a_2_5·b_4_14·c_4_15·b_1_2³ + a_2_5·b_2_4·c_8_60·b_1_2 + a_2_5·b_2_4·c_4_15·b_5_23
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4²·c_4_15·b_1_2³
        + a_2_5·b_2_4³·c_4_15·b_1_2 + c_8_60·a_1_1²·b_1_2³ + c_4_15·a_1_1²·b_1_2⁷
        + b_4_13·c_4_15·a_1_1²·b_1_2³ + a_2_5·b_2_4²·c_4_15·a_3_8
        + c_4_15·a_6_19·a_1_1²·b_1_2 + b_2_4·c_4_15²·b_3_7 + b_2_4·c_4_15²·a_3_8
        + b_2_4²·c_4_15²·a_1_0 + a_2_5·b_2_4·c_4_15²·b_1_2 + a_2_5·c_4_15²·a_3_8
        + c_4_15²·a_1_1²·a_3_9
142. b_8_58·a_5_14 + b_6_32·a_7_29 + b_4_13·b_1_2⁴·a_5_14 + b_2_4·b_6_32·a_5_14
        + b_2_4³·a_7_29 + b_2_4⁵·a_3_8 + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_4_13·b_1_2⁷
        + a_2_5·b_2_4·b_1_2⁹ + a_2_5·b_2_4·b_6_32·b_1_2³ + a_2_5·b_2_4·b_4_14·b_1_2⁵
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4²·b_7_44
        + a_2_5·b_2_4²·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_3_7
        + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_5_23 + a_2_5·b_2_4³·b_1_2⁵
        + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4⁴·b_1_2³ + a_6_19·a_7_29 + a_6_19²·b_1_2
        + b_4_13·a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_7_29 + b_4_13·c_4_15·a_5_14
        + b_2_4·c_8_60·a_3_8 + b_2_4²·c_4_15·a_5_16 + b_2_4²·c_4_15·a_5_14
        + b_2_4³·c_4_15·a_3_8 + b_2_4⁴·c_4_15·a_1_0 + a_2_5·c_4_15·b_6_32·b_1_2
        + a_2_5·b_2_4·c_4_15·b_5_23 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4²·c_4_15·b_1_2³ + c_8_60·a_1_1·b_1_2·a_3_9
        + b_4_13·c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_7_29 + c_4_15·a_6_19·a_1_1²·b_1_2
        + b_2_4·c_4_15²·a_3_8 + a_2_5·b_2_4·c_4_15²·b_1_2 + c_4_15²·a_1_1·b_1_2·a_3_9
        + c_4_15²·a_1_1²·a_3_9
143. b_6_32·b_7_44 + b_4_14·b_1_2²·b_7_44 + b_4_13·b_6_32·b_1_2³
        + b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2²·b_7_44 + b_2_4²·b_6_32·b_1_2³
        + b_2_4²·b_4_13·b_1_2⁵ + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_1_2⁷
        + b_2_4³·b_6_32·b_1_2 + b_2_4³·b_4_14·b_1_2³ + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_4_14·b_1_2 + b_2_4⁵·b_3_7 + b_1_2⁸·a_5_14 + b_8_58·a_5_16 + b_6_32·a_7_31
        + a_6_19·b_1_2⁷ + b_4_13·a_1_1·b_1_2⁸ + b_2_4⁴·a_5_16 + b_2_4⁵·a_3_8
        + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_4_14·b_7_44 + a_2_5·b_4_13·b_7_44
        + a_2_5·b_4_13·b_6_32·b_1_2 + a_2_5·b_2_4·b_6_32·b_1_2³ + a_2_5·b_2_4²·b_1_2⁷
        + a_2_5·b_2_4²·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_3_7
        + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_5_23 + a_2_5·b_2_4³·b_1_2⁵
        + a_2_5·b_2_4⁴·b_3_7 + a_2_5·b_2_4⁴·b_1_2³ + a_2_5·b_2_4⁵·b_1_2 + a_6_19·a_7_29
        + a_6_19²·b_1_2 + b_4_13·a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_7_29
        + a_2_5·b_2_4⁴·a_3_8 + b_4_14·c_4_15·b_1_2⁵ + b_2_4·c_8_60·b_3_7
        + b_2_4·c_4_15·b_1_2⁷ + b_2_4²·c_4_15·b_1_2⁵ + b_2_4²·b_4_14·c_4_15·b_1_2
        + b_2_4³·c_4_15·b_3_7 + b_2_4³·c_4_15·b_1_2³ + b_4_13·c_4_15·a_5_14
        + b_4_13·c_4_15·a_1_1·b_1_2⁴ + b_2_4·c_8_60·a_3_8 + b_2_4·c_4_15·a_7_29
        + b_2_4²·c_4_15·a_5_14 + b_2_4³·c_4_15·a_3_8 + a_2_5·c_4_15·b_7_44
        + a_2_5·c_4_15·b_1_2⁷ + a_2_5·c_4_15·b_6_32·b_1_2 + a_2_5·b_2_4·c_4_15·b_5_23
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4²·c_4_15·b_3_7 + a_2_5·b_2_4²·c_4_15·b_1_2³
        + c_8_60·a_1_1²·b_1_2³ + c_4_15·a_1_1²·b_1_2⁷ + c_4_15·a_6_19·a_1_1·b_1_2²
        + b_4_13·c_4_15·a_1_1²·b_1_2³ + a_2_5·c_4_15·a_7_29 + c_4_15·a_6_19·a_1_1²·b_1_2
        + b_2_4·c_4_15²·b_3_7 + b_2_4·c_4_15²·a_3_8 + b_2_4²·c_4_15²·a_1_0
        + c_4_15²·a_1_1²·b_1_2³ + a_2_5·c_4_15²·a_3_8
144. b_4_14·b_9_78 + b_4_13·b_6_32·b_1_2³ + b_4_13·b_4_14·b_1_2⁵ + b_2_4·b_1_2¹¹
        + b_2_4·b_4_14·b_7_44 + b_2_4·b_4_13·b_7_44 + b_2_4·b_4_13·b_1_2⁷
        + b_2_4·b_4_13·b_6_32·b_1_2 + b_2_4²·b_1_2⁹ + b_2_4²·b_4_14·b_1_2⁵
        + b_2_4²·b_4_13·b_1_2⁵ + b_2_4³·b_4_13·b_1_2³ + b_2_4⁴·b_1_2⁵ + b_2_4⁵·b_3_7
        + b_6_32·a_7_29 + b_4_13·b_1_2⁴·a_5_14 + b_2_4³·a_7_29 + b_2_4⁴·a_5_16
        + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_4_14·b_7_44 + a_2_5·b_4_13·b_7_44
        + a_2_5·b_4_13·b_6_32·b_1_2 + a_2_5·b_4_13·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_1_2²·b_7_44 + a_2_5·b_2_4·b_6_32·b_1_2³
        + a_2_5·b_2_4·b_4_14·b_1_2⁵ + a_2_5·b_2_4²·b_7_44 + a_2_5·b_2_4²·b_6_32·b_1_2
        + a_2_5·b_2_4²·b_4_13·b_3_7 + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_5_23
        + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4⁵·b_1_2 + a_6_19·a_7_29
        + b_4_13·a_1_1²·b_1_2⁷ + b_4_13·a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_7_29
        + a_2_5·b_2_4⁴·a_3_8 + a_6_19²·a_1_1 + b_4_14·c_8_60·b_1_2 + b_4_14·c_4_15·b_1_2⁵
        + b_2_4·c_4_15·b_1_2⁷ + b_2_4·b_4_13·c_4_15·b_3_7 + b_2_4·b_4_13·c_4_15·b_1_2³
        + b_2_4²·c_4_15·b_1_2⁵ + b_2_4²·b_4_14·c_4_15·b_1_2 + b_2_4²·b_4_13·c_4_15·b_1_2
        + b_2_4³·c_4_15·b_3_7 + b_4_13·c_4_15·a_1_1·b_1_2⁴ + b_2_4·c_8_60·a_3_8
        + b_2_4²·c_4_15·a_5_14 + b_2_4⁴·c_4_15·a_1_0 + a_2_5·c_4_15·b_7_44
        + a_2_5·c_4_15·b_6_32·b_1_2 + a_2_5·b_2_4·c_4_15·b_5_23
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4²·c_4_15·b_3_7 + a_2_5·b_2_4²·c_4_15·b_1_2³
        + a_2_5·b_2_4³·c_4_15·b_1_2 + c_4_15·a_1_1²·b_1_2⁷ + c_4_15·a_6_19·a_1_1·b_1_2²
        + b_4_13·c_4_15·a_1_1²·b_1_2³ + a_2_5·b_2_4²·c_4_15·a_3_8 + c_4_15·a_1_1²·a_7_31
        + b_2_4·c_4_15²·a_3_8 + a_2_5·c_4_15²·b_3_7 + a_2_5·b_2_4·c_4_15²·b_1_2
        + c_4_15²·a_1_1·b_1_2·a_3_9 + a_2_5·c_4_15²·a_3_8 + c_4_15²·a_1_1²·a_3_9
145. b_8_58·b_5_23 + b_6_32·b_7_44 + b_4_14·b_1_2²·b_7_44 + b_4_13·b_6_32·b_1_2³
        + b_2_4·b_1_2¹¹ + b_2_4·b_4_14·b_7_44 + b_2_4·b_4_14·b_1_2⁷ + b_2_4·b_4_13·b_1_2⁷
        + b_2_4·b_4_13·b_6_32·b_1_2 + b_2_4²·b_9_78 + b_2_4²·b_4_13·b_1_2⁵
        + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_6_32·b_1_2 + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_5_23 + b_2_4⁴·b_1_2⁵ + b_2_4⁵·b_3_7 + b_2_4⁵·b_1_2³ + b_1_2⁸·a_5_14
        + b_6_32·a_7_31 + a_6_19·b_1_2⁷ + b_4_13·a_1_1·b_1_2⁸ + b_2_4³·a_7_29
        + b_2_4⁵·a_3_8 + a_2_5·b_1_2¹¹ + a_2_5·b_4_14·b_1_2⁷ + a_2_5·b_4_13·b_7_44
        + a_2_5·b_2_4·b_4_14·b_1_2⁵ + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2
        + a_2_5·b_2_4²·b_7_44 + a_2_5·b_2_4²·b_6_32·b_1_2 + a_2_5·b_2_4²·b_4_14·b_1_2³
        + a_2_5·b_2_4²·b_4_13·b_3_7 + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_5_23
        + a_2_5·b_2_4³·b_1_2⁵ + a_2_5·b_2_4³·b_4_14·b_1_2 + a_2_5·b_2_4⁴·b_3_7
        + a_2_5·b_2_4⁵·b_1_2 + a_6_19·a_1_1·b_1_2⁶ + b_4_13·a_1_1²·b_1_2⁷
        + b_4_13·a_6_19·a_1_1·b_1_2² + a_2_5·b_2_4²·a_7_29 + a_2_5·b_2_4⁴·a_3_8
        + a_6_19²·a_1_1 + c_4_15·b_8_58·b_1_2 + b_4_13·b_4_14·c_4_15·b_1_2
        + b_2_4·c_8_60·b_3_7 + b_2_4·b_4_13·c_4_15·b_3_7 + b_2_4²·c_8_60·b_1_2
        + b_2_4²·c_4_15·b_5_23 + b_2_4²·c_4_15·b_1_2⁵ + b_2_4²·b_4_14·c_4_15·b_1_2
        + b_2_4²·b_4_13·c_4_15·b_1_2 + b_2_4³·c_4_15·b_3_7 + b_2_4³·c_4_15·b_1_2³
        + b_2_4⁴·c_4_15·b_1_2 + b_4_13·c_4_15·a_5_14 + b_4_13·c_4_15·a_1_1·b_1_2⁴
        + b_2_4·c_8_60·a_3_8 + b_2_4·c_4_15·a_7_29 + b_2_4²·c_4_15·a_5_16
        + b_2_4³·c_4_15·a_3_8 + b_2_4⁴·c_4_15·a_1_0 + a_2_5·c_4_15·b_6_32·b_1_2
        + a_2_5·b_4_14·c_4_15·b_1_2³ + a_2_5·b_4_13·c_4_15·b_3_7
        + a_2_5·b_4_13·c_4_15·b_1_2³ + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4²·c_4_15·b_3_7
        + a_2_5·b_2_4²·c_4_15·b_1_2³ + a_2_5·b_2_4³·c_4_15·b_1_2
        + c_8_60·a_1_1²·b_1_2³ + c_4_15·a_6_19·a_3_9 + a_2_5·c_4_15·a_7_29
        + a_2_5·b_2_4²·c_4_15·a_3_8 + c_4_15·a_1_1²·a_7_31 + c_4_15·a_6_19·a_1_1²·b_1_2
        + c_4_15²·b_1_2²·b_3_7 + b_2_4·c_4_15²·b_3_7 + b_2_4²·c_4_15²·b_1_2
        + b_2_4·c_4_15²·a_3_8 + a_2_5·c_4_15²·b_3_7 + a_2_5·c_4_15²·b_1_2³
        + a_2_5·b_2_4·c_4_15²·b_1_2 + c_4_15²·a_1_1²·b_1_2³
146. b_6_32·b_7_44 + b_4_14·b_1_2²·b_7_44 + b_4_13·b_6_32·b_1_2³
        + b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2²·b_7_44 + b_2_4²·b_6_32·b_1_2³
        + b_2_4²·b_4_13·b_1_2⁵ + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_1_2⁷
        + b_2_4³·b_6_32·b_1_2 + b_2_4³·b_4_14·b_1_2³ + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_4_14·b_1_2 + b_2_4⁵·b_3_7 + b_1_2⁸·a_5_14 + b_6_32·a_7_29 + a_6_19·b_1_2⁷
        + b_4_13·b_1_2⁴·a_5_14 + b_4_13·a_1_1·b_1_2⁸ + b_2_4·b_6_32·a_5_14 + b_2_4⁴·a_5_16
        + b_2_4⁵·a_3_8 + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_4_13·b_7_44
        + a_2_5·b_4_13·b_6_32·b_1_2 + a_2_5·b_4_13·b_4_14·b_1_2³ + a_2_5·b_2_4·b_9_78
        + a_2_5·b_2_4·b_1_2⁹ + a_2_5·b_2_4·b_6_32·b_1_2³ + a_2_5·b_2_4·b_4_13·b_1_2⁵
        + a_2_5·b_2_4²·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_3_7
        + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_5_23 + a_2_5·b_2_4³·b_4_14·b_1_2
        + a_2_5·b_2_4⁴·b_3_7 + a_2_5·b_2_4⁴·b_1_2³ + b_4_13·a_1_1²·b_1_2⁷
        + b_4_13·a_6_19·a_1_1·b_1_2² + b_4_13·a_6_19·a_1_1²·b_1_2 + b_4_14·c_4_15·b_1_2⁵
        + b_2_4·c_8_60·b_3_7 + b_2_4·c_4_15·b_1_2⁷ + b_2_4²·c_4_15·b_1_2⁵
        + b_2_4²·b_4_14·c_4_15·b_1_2 + b_2_4³·c_4_15·b_3_7 + b_2_4³·c_4_15·b_1_2³
        + b_4_13·c_4_15·a_1_1·b_1_2⁴ + b_2_4·c_4_15·a_7_29 + b_2_4²·c_4_15·a_5_14
        + b_2_4³·c_4_15·a_3_8 + a_2_5·c_4_15·b_7_44 + a_2_5·b_2_4³·c_4_15·b_1_2
        + c_8_60·a_1_1²·b_1_2³ + c_4_15·a_1_1²·b_1_2⁷ + c_4_15·a_6_19·a_3_9
        + c_4_15·a_6_19·a_1_1·b_1_2² + c_4_15·a_1_1²·a_7_31 + c_4_15·a_6_19·a_1_1²·b_1_2
        + b_2_4·c_4_15²·b_3_7 + b_2_4²·c_4_15²·a_1_0 + c_4_15²·a_1_1·b_1_2·a_3_9
        + a_2_5·c_4_15²·a_3_8
147. b_4_13·b_9_78 + b_4_13·b_4_14·b_1_2⁵ + b_2_4·b_1_2⁴·b_7_44 + b_2_4·b_4_14·b_7_44
        + b_2_4·b_4_14·b_1_2⁷ + b_2_4·b_4_13·b_7_44 + b_2_4·b_4_13·b_1_2⁷
        + b_2_4²·b_1_2²·b_7_44 + b_2_4²·b_6_32·b_1_2³ + b_2_4²·b_4_13·b_1_2⁵
        + b_2_4²·b_4_13·b_4_14·b_1_2 + b_2_4³·b_4_14·b_1_2³ + b_2_4³·b_4_13·b_1_2³
        + b_2_4⁴·b_4_13·b_1_2 + b_2_4⁵·b_3_7 + b_4_13·b_1_2⁴·a_5_14 + b_2_4⁴·a_5_16
        + b_2_4⁵·a_3_8 + a_2_5·b_1_2⁴·b_7_44 + a_2_5·b_4_14·b_7_44 + a_2_5·b_4_13·b_1_2⁷
        + a_2_5·b_4_13·b_6_32·b_1_2 + a_2_5·b_4_13·b_4_14·b_1_2³
        + a_2_5·b_2_4·b_1_2²·b_7_44 + a_2_5·b_2_4·b_4_13·b_1_2⁵ + a_2_5·b_2_4²·b_7_44
        + a_2_5·b_2_4²·b_1_2⁷ + a_2_5·b_2_4²·b_6_32·b_1_2 + a_2_5·b_2_4²·b_4_13·b_3_7
        + a_2_5·b_2_4²·b_4_13·b_1_2³ + a_2_5·b_2_4³·b_1_2⁵ + a_2_5·b_2_4³·b_4_14·b_1_2
        + a_2_5·b_2_4⁴·b_3_7 + a_2_5·b_2_4⁴·b_1_2³ + a_6_19·a_7_31 + a_6_19·a_7_29
        + a_6_19²·b_1_2 + a_2_5·b_2_4²·a_7_29 + a_2_5·b_2_4⁴·a_3_8 + a_6_19²·a_1_1
        + c_4_15·b_1_2²·b_7_44 + b_4_14·c_4_15·b_1_2⁵ + b_4_13·c_8_60·b_1_2
        + b_2_4·c_4_15·b_1_2⁷ + b_2_4·b_4_13·c_4_15·b_3_7 + b_2_4²·b_4_14·c_4_15·b_1_2
        + b_2_4³·c_4_15·b_3_7 + c_4_15·a_1_1·b_1_2⁸ + c_4_15·a_6_19·b_1_2³
        + b_2_4²·c_4_15·a_5_16 + b_2_4³·c_4_15·a_3_8 + a_2_5·c_4_15·b_7_44
        + a_2_5·b_4_14·c_4_15·b_1_2³ + c_8_60·a_1_1·b_1_2·a_3_9 + c_4_15·a_6_19·a_3_9
        + c_4_15·a_6_19·a_1_1·b_1_2² + a_2_5·c_4_15·a_7_29 + a_2_5·b_2_4²·c_4_15·a_3_8
        + c_4_15·a_6_19·a_1_1²·b_1_2 + c_4_15²·b_1_2²·b_3_7 + a_2_5·c_4_15²·b_3_7
        + c_4_15²·a_1_1²·b_1_2³
148. a_7_31² + c_4_15·a_6_19·a_1_1·b_1_2³ + b_4_13·c_4_15·a_1_1²·b_1_2⁴
        + c_4_15·a_6_19·a_1_1·a_3_9 + c_4_15·a_6_19·a_1_1²·b_1_2² + c_4_15·c_8_60·a_1_1²
        + c_4_15²·a_1_1²·b_1_2·a_3_9
149. b_7_44² + b_2_4·b_1_2¹² + b_2_4·b_4_14·b_1_2⁸ + b_2_4²·b_1_2³·b_7_44
        + b_2_4²·b_4_14·b_1_2⁶ + b_2_4³·b_4_13·b_1_2⁴ + b_2_4⁴·b_1_2⁶
        + b_2_4⁵·b_1_2⁴ + b_2_4⁶·b_1_2² + a_7_31·b_7_44 + b_4_13·b_1_2⁵·a_5_14
        + b_4_13·a_6_19·b_1_2⁴ + a_2_5·b_4_14·b_1_2·b_7_44 + a_2_5·b_4_14·b_1_2⁸
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_4_14·b_1_2⁴ + a_2_5·b_2_4·b_1_2³·b_7_44
        + a_2_5·b_2_4·b_1_2¹⁰ + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4²·b_6_32·b_1_2² + a_2_5·b_2_4²·b_4_13·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13·b_4_14 + a_2_5·b_2_4³·b_1_2⁶
        + a_2_5·b_2_4³·b_4_14·b_1_2² + a_2_5·b_2_4⁴·b_1_2⁴ + a_2_5·b_2_4⁵·b_1_2²
        + a_7_29² + a_6_19²·b_1_2² + a_2_5²·b_2_4²·b_6_32 + a_2_5²·b_2_4³·b_4_14
        + a_6_19²·a_1_1·b_1_2 + b_2_4·c_8_60·b_1_2⁴ + b_2_4·c_4_15·b_1_2⁸
        + b_2_4·b_4_14·c_4_15·b_1_2⁴ + b_2_4²·b_4_14·c_4_15·b_1_2²
        + b_2_4³·c_4_15·b_1_2·b_3_7 + b_2_4³·c_4_15·b_1_2⁴ + c_4_15·a_1_1·b_1_2⁹
        + a_2_5·c_8_60·b_1_2·b_3_7 + a_2_5·c_4_15·b_1_2⁸ + a_2_5·b_4_14·c_4_15·b_1_2⁴
        + a_2_5·b_2_4·c_4_15·b_1_2⁶ + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4²·b_4_13·c_4_15
        + c_8_60·a_1_1²·b_1_2⁴ + c_4_15·a_1_1²·b_1_2⁸ + c_4_15·a_6_19·a_1_1·b_1_2³
        + a_2_5·c_8_60·b_1_2·a_3_8 + a_2_5·c_4_15·b_1_2·a_7_29 + a_2_5²·b_2_4³·c_4_15
        + c_4_15·a_6_19·a_1_1²·b_1_2² + b_2_4·c_4_15²·b_1_2⁴
        + a_2_5·c_4_15²·b_1_2·b_3_7 + c_4_15²·a_1_1²·b_1_2⁴ + a_2_5·c_4_15²·b_1_2·a_3_8
        + a_2_5²·b_2_4·c_4_15² + c_4_15³·a_1_1²
150. a_7_31·b_7_44 + b_4_13·b_1_2⁵·a_5_14 + b_4_13·a_6_19·b_1_2⁴ + a_2_5·b_4_14·b_1_2⁸
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_6_32·b_1_2² + a_2_5·b_4_13·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_1_2³·b_7_44 + a_2_5·b_2_4·b_1_2¹⁰ + a_2_5·b_2_4²·b_1_2·b_7_44
        + a_2_5·b_2_4²·b_1_2⁸ + a_2_5·b_2_4²·b_6_32·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_1_2⁴ + a_2_5·b_2_4²·b_4_13·b_4_14
        + a_2_5·b_2_4³·b_4_13·b_1_2² + a_2_5·b_2_4⁴·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_1_2⁴
        + a_7_29² + a_6_19²·b_1_2² + a_2_5²·b_2_4²·b_6_32 + a_2_5²·b_2_4⁵
        + a_6_19²·a_1_1·b_1_2 + c_4_15·a_1_1·b_1_2⁹ + a_2_5·c_8_60·b_1_2·b_3_7
        + a_2_5·c_4_15·b_1_2⁸ + a_2_5·b_2_4·c_4_15·b_1_2⁶
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2² + a_2_5·b_2_4²·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4²·c_4_15·b_1_2⁴ + c_4_15·a_1_1²·b_1_2⁸
        + c_4_15·a_6_19·a_1_1·b_1_2³ + a_2_5·c_8_60·b_1_2·a_3_8 + a_2_5·c_4_15·b_1_2·a_7_29
        + a_2_5²·b_2_4·c_8_60 + a_2_5²·b_2_4·b_4_14·c_4_15 + a_2_5²·b_2_4³·c_4_15
        + c_4_15·a_6_19·a_1_1²·b_1_2² + a_2_5·c_4_15²·b_1_2·b_3_7
        + a_2_5·c_4_15²·b_1_2·a_3_8 + a_2_5²·b_2_4·c_4_15² + c_4_15³·a_1_1²
151. a_7_29·a_7_31 + b_4_13·a_1_1²·b_1_2⁸ + a_2_5²·b_2_4³·b_4_14
        + c_4_15·a_1_1²·b_1_2⁸ + b_4_13·c_8_60·a_1_1² + a_2_5·c_8_60·b_1_2·a_3_8
        + c_8_60·a_1_1²·b_1_2·a_3_9 + c_4_15·a_6_19·a_1_1²·b_1_2² + c_4_15²·a_1_1·a_5_14
        + c_4_15²·a_1_1²·b_1_2⁴ + b_4_13·c_4_15²·a_1_1² + a_2_5·c_4_15²·b_1_2·a_3_8
152. a_7_31·b_7_44 + a_7_29·b_7_44 + a_6_19·b_1_2·b_7_44 + b_4_13·b_1_2⁵·a_5_14
        + b_4_13·a_6_19·b_1_2⁴ + a_2_5·b_1_2⁵·b_7_44 + a_2_5·b_4_14·b_1_2·b_7_44
        + a_2_5·b_4_13·b_1_2·b_7_44 + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_2_4²·b_1_2·b_7_44
        + a_2_5·b_2_4²·b_1_2⁸ + a_2_5·b_2_4²·b_8_58 + a_2_5·b_2_4²·b_6_32·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_1_2⁴ + a_2_5·b_2_4³·b_1_2⁶ + a_2_5·b_2_4³·b_6_32
        + a_2_5·b_2_4³·b_4_14·b_1_2² + a_2_5·b_2_4³·b_4_13·b_1_2²
        + a_2_5·b_2_4⁴·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_1_2⁴ + a_2_5·b_2_4⁴·b_4_13
        + a_2_5·b_2_4⁵·b_1_2² + a_7_29² + a_6_19²·b_1_2² + a_2_5²·b_2_4³·b_4_14
        + a_2_5²·b_2_4⁵ + a_6_19²·a_1_1·b_1_2 + c_4_15·a_1_1·b_1_2⁹
        + a_2_5·c_4_15·b_1_2·b_7_44 + a_2_5·c_4_15·b_1_2⁸ + a_2_5·b_2_4·c_8_60·b_1_2²
        + a_2_5·b_2_4·c_4_15·b_1_2⁶ + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4²·b_4_14·c_4_15 + a_2_5·b_2_4²·b_4_13·c_4_15 + c_4_15·a_1_1²·b_1_2⁸
        + c_4_15·a_6_19·a_1_1·b_1_2³ + b_4_13·c_4_15·a_1_1²·b_1_2⁴
        + a_2_5·c_4_15·b_1_2·a_7_29 + a_2_5²·c_4_15·b_6_32 + a_2_5²·b_2_4³·c_4_15
        + c_4_15·a_6_19·a_1_1²·b_1_2² + a_2_5·b_2_4·c_4_15²·b_1_2²
        + c_4_15²·a_1_1²·b_1_2⁴ + c_4_15³·a_1_1²
153. a_7_31·b_7_44 + b_4_13·b_1_2⁵·a_5_14 + b_4_13·a_6_19·b_1_2⁴ + a_2_5·b_4_14·b_1_2⁸
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_6_32·b_1_2² + a_2_5·b_4_13·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_1_2³·b_7_44 + a_2_5·b_2_4·b_1_2¹⁰ + a_2_5·b_2_4²·b_1_2·b_7_44
        + a_2_5·b_2_4²·b_1_2⁸ + a_2_5·b_2_4²·b_6_32·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_1_2⁴ + a_2_5·b_2_4²·b_4_13·b_4_14
        + a_2_5·b_2_4³·b_4_13·b_1_2² + a_2_5·b_2_4⁴·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_1_2⁴
        + a_2_5²·b_2_4·b_8_58 + a_2_5²·b_2_4³·b_4_14 + a_6_19²·a_1_1·b_1_2
        + c_4_15·a_1_1·b_1_2⁹ + a_2_5·c_8_60·b_1_2·b_3_7 + a_2_5·c_4_15·b_1_2⁸
        + a_2_5·b_2_4·c_4_15·b_1_2⁶ + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4²·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4²·c_4_15·b_1_2⁴
        + c_4_15·a_1_1²·b_1_2⁸ + c_4_15·a_6_19·a_1_1·b_1_2³ + a_2_5·c_8_60·b_1_2·a_3_8
        + a_2_5·c_4_15·b_1_2·a_7_29 + a_2_5²·b_2_4³·c_4_15 + c_4_15·a_6_19·a_1_1²·b_1_2²
        + a_2_5·c_4_15²·b_1_2·b_3_7 + a_2_5·c_4_15²·b_1_2·a_3_8
154. b_6_32·b_8_58 + b_4_13·b_6_32·b_1_2⁴ + b_2_4·b_1_2⁵·b_7_44 + b_2_4·b_1_2¹²
        + b_2_4·b_4_13·b_1_2⁸ + b_2_4·b_4_13·b_6_32·b_1_2² + b_2_4²·b_6_32·b_1_2⁴
        + b_2_4²·b_4_13·b_6_32 + b_2_4³·b_1_2·b_7_44 + b_2_4³·b_6_32·b_1_2²
        + b_2_4³·b_4_13·b_1_2⁴ + b_2_4³·b_4_13·b_4_14 + b_2_4⁴·b_4_14·b_1_2²
        + b_2_4⁵·b_4_13 + a_7_31·b_7_44 + b_4_13·b_1_2⁵·a_5_14 + b_4_13·a_6_19·b_1_2⁴
        + a_2_5·b_4_14·b_1_2·b_7_44 + a_2_5·b_4_13·b_1_2·b_7_44 + a_2_5·b_4_13·b_1_2⁸
        + a_2_5·b_4_13·b_4_14·b_1_2⁴ + a_2_5·b_2_4·b_4_14·b_1_2⁶
        + a_2_5·b_2_4·b_4_13·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4²·b_6_32·b_1_2² + a_2_5·b_2_4²·b_4_13·b_1_2⁴
        + a_2_5·b_2_4³·b_4_13·b_1_2² + a_2_5·b_2_4⁴·b_4_14 + a_2_5·b_2_4⁴·b_4_13
        + a_2_5·b_2_4⁶ + a_7_29·a_7_31 + a_6_19²·b_1_2² + b_4_13·a_6_19·a_1_1·b_1_2³
        + a_2_5²·b_2_4³·b_4_14 + a_2_5²·b_2_4⁵ + b_4_13·a_6_19·a_1_1²·b_1_2²
        + b_4_13·c_4_15·b_6_32 + b_2_4·c_8_60·b_1_2·b_3_7 + b_2_4·c_4_15·b_8_58
        + b_2_4·c_4_15·b_6_32·b_1_2² + b_2_4·b_4_14·c_8_60 + b_2_4·b_4_13·c_4_15·b_1_2⁴
        + b_2_4²·c_8_60·b_1_2² + b_2_4²·c_4_15·b_1_2⁶ + b_2_4²·c_4_15·b_6_32
        + b_2_4²·b_4_14·c_4_15·b_1_2² + b_2_4²·b_4_13·c_4_15·b_1_2² + b_2_4³·c_8_60
        + b_2_4³·c_4_15·b_1_2·b_3_7 + b_2_4³·b_4_14·c_4_15 + b_2_4³·b_4_13·c_4_15
        + c_4_15·a_1_1·b_1_2⁹ + a_2_5·c_8_60·b_1_2·b_3_7 + a_2_5·c_4_15·b_1_2·b_7_44
        + a_2_5·b_4_13·b_4_14·c_4_15 + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4⁴·c_4_15
        + b_4_13·c_4_15·a_1_1·a_5_14 + b_4_13·c_4_15·a_1_1²·b_1_2⁴
        + a_2_5·c_8_60·b_1_2·a_3_8 + a_2_5·c_4_15·b_1_2·a_7_29 + a_2_5²·b_2_4³·c_4_15
        + c_8_60·a_1_1²·b_1_2·a_3_9 + c_4_15·a_6_19·a_1_1·a_3_9
        + c_4_15·a_6_19·a_1_1²·b_1_2² + b_2_4·b_4_13·c_4_15² + b_2_4²·c_4_15²·b_1_2²
        + b_2_4³·c_4_15² + c_4_15²·a_1_1·a_5_14 + b_4_13·c_4_15²·a_1_1²
        + a_2_5·c_4_15²·b_1_2·a_3_8 + c_4_15²·a_1_1²·b_1_2·a_3_9
155. a_6_19·b_8_58 + b_4_13·a_6_19·b_1_2⁴ + a_2_5·b_1_2⁵·b_7_44 + a_2_5·b_1_2¹²
        + a_2_5·b_2_4·b_1_2·b_9_78 + a_2_5·b_2_4·b_1_2¹⁰ + a_2_5·b_2_4·b_4_14·b_1_2⁶
        + a_2_5·b_2_4·b_4_13·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_6_32 + a_2_5·b_2_4²·b_1_2⁸
        + a_2_5·b_2_4²·b_4_14·b_1_2⁴ + a_2_5·b_2_4²·b_4_13·b_4_14
        + a_2_5·b_2_4³·b_1_2·b_5_23 + a_2_5·b_2_4³·b_1_2⁶ + a_2_5·b_2_4³·b_4_13·b_1_2²
        + a_2_5·b_2_4⁴·b_1_2⁴ + a_2_5·b_2_4⁴·b_4_13 + a_2_5·b_2_4⁵·b_1_2²
        + a_7_29·a_7_31 + a_6_19·a_1_1·b_1_2⁷ + a_6_19²·b_1_2² + a_2_5²·b_2_4²·b_6_32
        + a_2_5²·b_2_4⁵ + a_6_19²·a_1_1·b_1_2 + b_4_13·c_4_15·a_6_19
        + a_2_5·c_8_60·b_1_2·b_3_7 + a_2_5·c_4_15·b_8_58 + a_2_5·c_4_15·b_6_32·b_1_2²
        + a_2_5·b_4_14·c_8_60 + a_2_5·b_4_14·c_4_15·b_1_2⁴ + a_2_5·b_4_13·c_4_15·b_1_2⁴
        + a_2_5·b_4_13·b_4_14·c_4_15 + a_2_5·b_2_4·c_4_15·b_1_2⁶
        + a_2_5·b_2_4·c_4_15·b_6_32 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2²
        + a_2_5·b_2_4²·c_8_60 + a_2_5·b_2_4²·c_4_15·b_1_2⁴ + a_2_5·b_2_4²·b_4_14·c_4_15
        + a_2_5·b_2_4²·b_4_13·c_4_15 + a_2_5·b_2_4³·c_4_15·b_1_2²
        + a_2_5·c_8_60·b_1_2·a_3_8 + a_2_5·c_4_15·b_1_2·a_7_29 + a_2_5²·c_4_15·b_6_32
        + a_2_5²·b_2_4·b_4_14·c_4_15 + a_2_5²·b_2_4³·c_4_15 + c_4_15·a_6_19·a_1_1·a_3_9
        + a_2_5·b_4_13·c_4_15² + a_2_5·b_2_4·c_4_15²·b_1_2² + a_2_5·b_2_4²·c_4_15²
        + c_4_15²·a_1_1·a_5_14 + c_4_15²·a_1_1²·b_1_2⁴ + b_4_13·c_4_15²·a_1_1²
156. b_5_23·b_9_78 + b_4_13·b_6_32·b_1_2⁴ + b_4_13·b_4_14·b_1_2⁶ + b_2_4·b_1_2¹²
        + b_2_4·b_4_13·b_1_2·b_7_44 + b_2_4·b_4_13·b_4_14·b_1_2⁴ + b_2_4²·b_6_32·b_1_2⁴
        + b_2_4³·b_1_2⁸ + b_2_4³·b_4_14·b_1_2⁴ + b_2_4⁴·b_1_2⁶
        + b_2_4⁴·b_4_14·b_1_2² + b_2_4⁴·b_4_13·b_1_2² + b_2_4⁵·b_1_2·b_3_7
        + a_7_31·b_7_44 + a_6_19·b_8_58 + b_4_13·b_1_2⁵·a_5_14 + b_4_13·a_6_19·b_1_2⁴
        + a_2_5·b_1_2⁵·b_7_44 + a_2_5·b_1_2¹² + a_2_5·b_4_13·b_1_2·b_7_44
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_6_32·b_1_2² + a_2_5·b_4_13·b_4_14·b_1_2⁴
        + a_2_5·b_2_4·b_1_2³·b_7_44 + a_2_5·b_2_4·b_6_32·b_1_2⁴
        + a_2_5·b_2_4·b_4_14·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_1_2⁶
        + a_2_5·b_2_4·b_4_13·b_6_32 + a_2_5·b_2_4²·b_1_2·b_7_44 + a_2_5·b_2_4²·b_1_2⁸
        + a_2_5·b_2_4²·b_6_32·b_1_2² + a_2_5·b_2_4³·b_1_2⁶
        + a_2_5·b_2_4³·b_4_14·b_1_2² + a_2_5·b_2_4⁴·b_1_2⁴ + a_2_5·b_2_4⁵·b_1_2²
        + a_7_29² + a_6_19·a_1_1·b_1_2⁷ + a_6_19²·b_1_2² + b_4_13·a_1_1²·b_1_2⁸
        + b_4_13·a_6_19·a_1_1·b_1_2³ + a_2_5²·b_2_4²·b_6_32 + a_6_19²·a_1_1·b_1_2
        + b_4_13·a_6_19·a_1_1²·b_1_2² + c_8_60·b_1_2·b_5_23 + c_4_15·b_1_2·b_9_78
        + c_4_15·b_6_32·b_1_2⁴ + b_4_13·b_4_14·c_4_15·b_1_2²
        + b_2_4·b_4_14·c_4_15·b_1_2⁴ + c_4_15·b_1_2⁵·a_5_14 + b_4_13·c_4_15·a_1_1·b_1_2⁵
        + b_4_13·c_4_15·a_6_19 + a_2_5·c_4_15·b_1_2·b_7_44 + a_2_5·c_4_15·b_1_2⁸
        + a_2_5·c_4_15·b_8_58 + a_2_5·c_4_15·b_6_32·b_1_2² + a_2_5·b_4_14·c_8_60
        + a_2_5·b_2_4·c_8_60·b_1_2² + a_2_5·b_2_4·c_4_15·b_1_2⁶
        + a_2_5·b_2_4·c_4_15·b_6_32 + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4²·c_8_60
        + a_2_5·b_2_4²·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4²·c_4_15·b_1_2⁴
        + a_2_5·b_2_4²·b_4_14·c_4_15 + c_4_15·a_1_1²·b_1_2⁸ + b_4_13·c_4_15·a_1_1·a_5_14
        + a_2_5²·c_4_15·b_6_32 + a_2_5²·b_2_4·b_4_14·c_4_15 + a_2_5²·b_2_4³·c_4_15
        + c_8_60·a_1_1²·b_1_2·a_3_9 + c_4_15·a_6_19·a_1_1·a_3_9
        + c_4_15·a_6_19·a_1_1²·b_1_2² + c_4_15·c_8_60·b_1_2² + b_2_4·c_4_15²·b_1_2⁴
        + c_4_15²·a_1_1·b_1_2⁵ + a_2_5·c_4_15²·b_1_2·b_3_7 + a_2_5·b_4_13·c_4_15²
        + a_2_5·b_2_4·c_4_15²·b_1_2² + a_2_5·b_2_4²·c_4_15² + a_2_5²·b_2_4·c_4_15²
        + c_4_15³·a_1_1²
157. a_7_31·b_7_44 + a_5_14·b_9_78 + a_6_19·b_8_58 + b_4_13·a_6_19·b_1_2⁴
        + a_2_5·b_1_2⁵·b_7_44 + a_2_5·b_4_14·b_1_2·b_7_44 + a_2_5·b_4_14·b_1_2⁸
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_6_32·b_1_2² + a_2_5·b_2_4·b_1_2³·b_7_44
        + a_2_5·b_2_4·b_4_14·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_6_32 + a_2_5·b_2_4²·b_1_2⁸
        + a_2_5·b_2_4²·b_6_32·b_1_2² + a_2_5·b_2_4²·b_4_13·b_1_2⁴
        + a_2_5·b_2_4³·b_1_2·b_5_23 + a_2_5·b_2_4³·b_1_2⁶ + a_2_5·b_2_4³·b_4_13·b_1_2²
        + a_2_5·b_2_4⁴·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_4_13 + b_4_13·a_6_19·a_1_1·b_1_2³
        + a_2_5²·b_2_4⁵ + a_6_19²·a_1_1·b_1_2 + c_8_60·b_1_2·a_5_14 + b_4_13·c_4_15·a_6_19
        + a_2_5·c_4_15·b_1_2·b_7_44 + a_2_5·c_4_15·b_8_58 + a_2_5·c_4_15·b_6_32·b_1_2²
        + a_2_5·b_4_14·c_8_60 + a_2_5·b_4_13·b_4_14·c_4_15 + a_2_5·b_2_4·c_8_60·b_1_2²
        + a_2_5·b_2_4·c_4_15·b_6_32 + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4²·c_8_60
        + a_2_5·b_2_4²·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4²·b_4_14·c_4_15
        + a_2_5·b_2_4²·b_4_13·c_4_15 + c_4_15·a_1_1²·b_1_2⁸
        + c_4_15·a_6_19·a_1_1·b_1_2³ + b_4_13·c_4_15·a_1_1·a_5_14
        + b_4_13·c_4_15·a_1_1²·b_1_2⁴ + a_2_5·c_8_60·b_1_2·a_3_8 + a_2_5²·c_4_15·b_6_32
        + c_8_60·a_1_1²·b_1_2·a_3_9 + c_4_15·a_6_19·a_1_1·a_3_9 + a_2_5·b_4_13·c_4_15²
        + a_2_5·b_2_4·c_4_15²·b_1_2² + a_2_5·b_2_4²·c_4_15²
        + a_2_5·c_4_15²·b_1_2·a_3_8
158. a_7_31·b_7_44 + a_5_16·b_9_78 + a_6_19·b_8_58 + b_4_13·a_6_19·b_1_2⁴
        + a_2_5·b_1_2⁵·b_7_44 + a_2_5·b_4_14·b_1_2·b_7_44 + a_2_5·b_4_14·b_1_2⁸
        + a_2_5·b_4_13·b_1_2⁸ + a_2_5·b_4_13·b_6_32·b_1_2² + a_2_5·b_2_4·b_1_2³·b_7_44
        + a_2_5·b_2_4·b_4_14·b_1_2⁶ + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_4_14 + a_2_5·b_2_4³·b_1_2·b_5_23
        + a_2_5·b_2_4³·b_4_13·b_1_2² + a_2_5·b_2_4⁴·b_1_2·b_3_7 + a_2_5·b_2_4⁴·b_1_2⁴
        + a_2_5·b_2_4⁵·b_1_2² + b_4_13·a_6_19·a_1_1·b_1_2³ + a_2_5²·b_2_4⁵
        + c_8_60·b_1_2·a_5_16 + b_4_13·c_4_15·a_6_19 + a_2_5·c_4_15·b_1_2·b_7_44
        + a_2_5·c_4_15·b_8_58 + a_2_5·c_4_15·b_6_32·b_1_2² + a_2_5·b_4_14·c_8_60
        + a_2_5·b_4_13·b_4_14·c_4_15 + a_2_5·b_2_4·c_8_60·b_1_2²
        + a_2_5·b_2_4·c_4_15·b_6_32 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2²
        + a_2_5·b_2_4²·c_8_60 + a_2_5·b_2_4²·c_4_15·b_1_2⁴ + a_2_5·b_2_4²·b_4_14·c_4_15
        + a_2_5·b_2_4³·c_4_15·b_1_2² + c_4_15·a_1_1²·b_1_2⁸
        + c_4_15·a_6_19·a_1_1·b_1_2³ + b_4_13·c_4_15·a_1_1·a_5_14
        + b_4_13·c_4_15·a_1_1²·b_1_2⁴ + a_2_5²·c_4_15·b_6_32
        + a_2_5²·b_2_4·b_4_14·c_4_15 + a_2_5²·b_2_4³·c_4_15 + c_8_60·a_1_1²·b_1_2·a_3_9
        + c_4_15·a_6_19·a_1_1·a_3_9 + c_4_15·a_6_19·a_1_1²·b_1_2² + a_2_5·b_4_13·c_4_15²
        + a_2_5·b_2_4·c_4_15²·b_1_2² + a_2_5·b_2_4²·c_4_15²
159. b_8_58·b_7_44 + b_4_14·b_1_2⁴·b_7_44 + b_4_13·b_1_2⁴·b_7_44
        + b_2_4·b_4_14·b_1_2²·b_7_44 + b_2_4·b_4_13·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2¹¹ + b_2_4²·b_4_14·b_1_2⁷
        + b_2_4²·b_4_13·b_7_44 + b_2_4³·b_4_13·b_1_2⁵ + b_2_4⁴·b_7_44 + b_2_4⁴·b_1_2⁷
        + b_2_4⁴·b_6_32·b_1_2 + b_2_4⁴·b_4_14·b_1_2³ + b_2_4⁴·b_4_13·b_3_7
        + b_2_4⁴·b_4_13·b_1_2³ + b_2_4⁵·b_4_14·b_1_2 + b_2_4⁶·b_1_2³ + b_2_4⁷·b_1_2
        + b_8_58·a_7_29 + a_6_19·b_1_2²·b_7_44 + b_4_13·a_6_19·b_1_2⁵ + b_2_4⁴·a_7_29
        + b_2_4⁵·a_5_14 + a_2_5·b_1_2¹³ + a_2_5·b_4_14·b_1_2²·b_7_44
        + a_2_5·b_4_14·b_1_2⁹ + a_2_5·b_4_13·b_1_2⁹ + a_2_5·b_2_4·b_1_2⁴·b_7_44
        + a_2_5·b_2_4·b_1_2¹¹ + a_2_5·b_2_4·b_4_14·b_7_44 + a_2_5·b_2_4·b_4_14·b_1_2⁷
        + a_2_5·b_2_4·b_4_13·b_7_44 + a_2_5·b_2_4·b_4_13·b_6_32·b_1_2
        + a_2_5·b_2_4²·b_1_2²·b_7_44 + a_2_5·b_2_4²·b_1_2⁹
        + a_2_5·b_2_4²·b_6_32·b_1_2³ + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2
        + a_2_5·b_2_4³·b_7_44 + a_2_5·b_2_4³·b_1_2⁷ + a_2_5·b_2_4³·b_6_32·b_1_2
        + a_2_5·b_2_4⁴·b_4_14·b_1_2 + a_2_5·b_2_4⁶·b_1_2 + a_6_19·a_1_1·b_1_2⁸
        + a_6_19²·b_1_2³ + b_4_13·a_6_19·a_1_1·b_1_2⁴ + a_2_5·b_2_4⁵·a_3_8
        + b_4_13·a_6_19·a_1_1²·b_1_2³ + b_4_13·c_4_15·b_7_44 + b_2_4·c_4_15·b_1_2²·b_7_44
        + b_2_4·c_4_15·b_6_32·b_1_2³ + b_2_4·b_4_13·b_4_14·c_4_15·b_1_2
        + b_2_4²·c_8_60·b_3_7 + b_2_4²·c_8_60·b_1_2³ + b_2_4²·b_4_14·c_4_15·b_1_2³
        + b_2_4²·b_4_13·c_4_15·b_3_7 + b_2_4²·b_4_13·c_4_15·b_1_2³ + b_2_4⁴·c_4_15·b_3_7
        + b_4_13·c_4_15·b_1_2²·a_5_14 + b_2_4²·c_4_15·a_7_29 + b_2_4³·c_8_60·a_1_0
        + b_2_4³·c_4_15·a_5_14 + b_2_4⁵·c_4_15·a_1_0 + a_2_5·c_8_60·b_5_23
        + a_2_5·c_4_15·b_1_2²·b_7_44 + a_2_5·c_4_15·b_1_2⁹ + a_2_5·c_4_15·b_6_32·b_1_2³
        + a_2_5·b_4_14·c_8_60·b_1_2 + a_2_5·b_4_14·c_4_15·b_1_2⁵
        + a_2_5·b_4_13·c_4_15·b_1_2⁵ + a_2_5·b_4_13·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4·c_8_60·b_3_7 + a_2_5·b_2_4·c_4_15·b_7_44 + a_2_5·b_2_4·c_4_15·b_1_2⁷
        + a_2_5·b_2_4·c_4_15·b_6_32·b_1_2 + a_2_5·b_2_4·b_4_13·c_4_15·b_3_7
        + a_2_5·b_2_4²·c_8_60·b_1_2 + a_2_5·b_2_4²·c_4_15·b_5_23
        + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4²·b_4_13·c_4_15·b_1_2
        + a_2_5·b_2_4⁴·c_4_15·b_1_2 + c_4_15·a_6_19·a_1_1·b_1_2⁴
        + b_4_13·c_8_60·a_1_1²·b_1_2 + b_4_13·c_4_15·a_1_1²·b_1_2⁵
        + a_2_5·b_2_4·c_8_60·a_3_8 + a_2_5·b_2_4·c_4_15·a_7_29
        + c_4_15·a_6_19·a_1_1²·b_1_2³ + b_4_13·c_4_15·a_1_1²·a_5_14
        + b_2_4²·c_4_15²·b_3_7 + b_2_4²·c_4_15²·b_1_2³ + a_2_5·c_4_15·c_8_60·b_1_2
        + a_2_5·c_4_15²·b_5_23 + a_2_5·b_4_13·c_4_15²·b_1_2 + c_4_15²·a_1_1²·b_1_2⁵
        + c_4_15²·a_6_19·a_1_1 + b_4_13·c_4_15²·a_1_1²·b_1_2 + b_4_13·c_4_15²·a_1_1³
        + c_4_15³·a_1_1·b_1_2² + a_2_5·c_4_15³·b_1_2
160. b_8_58·b_7_44 + b_4_14·b_1_2⁴·b_7_44 + b_4_13·b_1_2⁴·b_7_44
        + b_2_4·b_4_14·b_1_2²·b_7_44 + b_2_4·b_4_13·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2¹¹ + b_2_4²·b_4_14·b_1_2⁷
        + b_2_4²·b_4_13·b_7_44 + b_2_4³·b_4_13·b_1_2⁵ + b_2_4⁴·b_7_44 + b_2_4⁴·b_1_2⁷
        + b_2_4⁴·b_6_32·b_1_2 + b_2_4⁴·b_4_14·b_1_2³ + b_2_4⁴·b_4_13·b_3_7
        + b_2_4⁴·b_4_13·b_1_2³ + b_2_4⁵·b_4_14·b_1_2 + b_2_4⁶·b_1_2³ + b_2_4⁷·b_1_2
        + a_6_19·b_1_2²·b_7_44 + b_4_13·b_1_2⁶·a_5_14 + b_4_13·a_6_19·b_1_2⁵
        + b_2_4⁵·a_5_14 + b_2_4⁶·a_3_8 + a_2_5·b_4_14·b_1_2²·b_7_44
        + a_2_5·b_4_13·b_1_2²·b_7_44 + a_2_5·b_4_13·b_1_2⁹ + a_2_5·b_2_4·b_1_2⁴·b_7_44
        + a_2_5·b_2_4·b_1_2¹¹ + a_2_5·b_2_4·b_4_14·b_1_2⁷ + a_2_5·b_2_4·b_4_13·b_1_2⁷
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_6_32·b_1_2³
        + a_2_5·b_2_4²·b_4_14·b_1_2⁵ + a_2_5·b_2_4²·b_4_13·b_1_2⁵
        + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4³·b_6_32·b_1_2
        + a_2_5·b_2_4³·b_4_13·b_3_7 + a_2_5·b_2_4⁴·b_5_23 + a_2_5·b_2_4³·a_7_29
        + a_6_19²·a_1_1·b_1_2² + b_4_13·a_6_19·a_1_1²·b_1_2³ + b_4_13·c_4_15·b_7_44
        + b_2_4·c_4_15·b_1_2²·b_7_44 + b_2_4·c_4_15·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_4_14·c_4_15·b_1_2 + b_2_4²·c_8_60·b_3_7 + b_2_4²·c_8_60·b_1_2³
        + b_2_4²·b_4_14·c_4_15·b_1_2³ + b_2_4²·b_4_13·c_4_15·b_3_7
        + b_2_4²·b_4_13·c_4_15·b_1_2³ + b_2_4⁴·c_4_15·b_3_7 + c_4_15·a_1_1·b_1_2¹⁰
        + b_2_4²·c_8_60·a_3_8 + b_2_4²·c_4_15·a_7_29 + b_2_4³·c_8_60·a_1_0
        + b_2_4³·c_4_15·a_5_16 + b_2_4⁴·c_4_15·a_3_8 + a_2_5·c_8_60·b_5_23
        + a_2_5·c_4_15·b_9_78 + a_2_5·c_4_15·b_1_2²·b_7_44 + a_2_5·c_4_15·b_1_2⁹
        + a_2_5·c_4_15·b_6_32·b_1_2³ + a_2_5·b_4_14·c_8_60·b_1_2
        + a_2_5·b_4_14·c_4_15·b_1_2⁵ + a_2_5·b_4_13·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4·c_8_60·b_3_7 + a_2_5·b_2_4·c_4_15·b_1_2⁷
        + a_2_5·b_2_4·c_4_15·b_6_32·b_1_2 + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2³
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_4_15·b_5_23
        + a_2_5·b_2_4²·b_4_13·c_4_15·b_1_2 + a_2_5·b_2_4³·c_4_15·b_1_2³
        + a_2_5·b_2_4⁴·c_4_15·b_1_2 + c_4_15·a_6_19·a_5_14 + b_4_13·c_4_15·a_1_1²·b_1_2⁵
        + b_4_13·c_4_15·a_6_19·a_1_1 + a_2_5·b_2_4³·c_4_15·a_3_8
        + c_4_15·a_6_19·a_1_1²·b_1_2³ + b_4_13·c_8_60·a_1_1³
        + b_4_13·c_4_15·a_1_1²·a_5_14 + b_2_4²·c_4_15²·b_3_7 + b_2_4²·c_4_15²·b_1_2³
        + b_2_4²·c_4_15²·a_3_8 + a_2_5·b_2_4·c_4_15²·b_3_7 + a_2_5·b_2_4²·c_4_15²·b_1_2
        + c_4_15·c_8_60·a_1_1²·b_1_2 + c_4_15·c_8_60·a_1_1³
161. b_8_58·a_7_31 + b_4_13·b_1_2⁶·a_5_14 + b_4_13·a_6_19·b_1_2⁵ + a_2_5·b_1_2⁶·b_7_44
        + a_2_5·b_4_14·b_1_2²·b_7_44 + a_2_5·b_4_14·b_1_2⁹ + a_2_5·b_4_13·b_6_32·b_1_2³
        + a_2_5·b_2_4·b_1_2⁴·b_7_44 + a_2_5·b_2_4·b_1_2¹¹ + a_2_5·b_2_4·b_4_13·b_1_2⁷
        + a_2_5·b_2_4²·b_9_78 + a_2_5·b_2_4²·b_1_2⁹ + a_2_5·b_2_4²·b_4_14·b_1_2⁵
        + a_2_5·b_2_4²·b_4_13·b_1_2⁵ + a_2_5·b_2_4³·b_7_44 + a_2_5·b_2_4³·b_1_2⁷
        + a_2_5·b_2_4³·b_6_32·b_1_2 + a_2_5·b_2_4³·b_4_14·b_1_2³
        + a_2_5·b_2_4³·b_4_13·b_3_7 + a_2_5·b_2_4⁴·b_5_23 + a_2_5·b_2_4⁴·b_1_2⁵
        + a_2_5·b_2_4⁴·b_4_14·b_1_2 + a_2_5·b_2_4⁶·b_1_2 + b_4_13·a_6_19·a_1_1·b_1_2⁴
        + a_2_5·b_2_4³·a_7_29 + b_4_13·a_6_19·a_1_1²·b_1_2³ + c_4_15·b_1_2⁶·a_5_14
        + b_4_13·c_4_15·b_1_2²·a_5_14 + b_4_13·c_4_15·a_1_1·b_1_2⁶
        + b_4_13·c_4_15·a_6_19·b_1_2 + b_2_4³·c_8_60·a_1_0 + b_2_4³·c_4_15·a_5_16
        + b_2_4³·c_4_15·a_5_14 + b_2_4⁴·c_4_15·a_3_8 + a_2_5·c_4_15·b_1_2⁹
        + a_2_5·c_4_15·b_6_32·b_1_2³ + a_2_5·b_2_4·c_8_60·b_3_7 + a_2_5·b_2_4·c_4_15·b_7_44
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_4_15·b_5_23
        + a_2_5·b_2_4²·c_4_15·b_1_2⁵ + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4³·c_4_15·b_1_2³ + c_4_15·a_6_19·a_1_1·b_1_2⁴
        + b_4_13·c_8_60·a_1_1²·b_1_2 + b_4_13·c_4_15·a_1_1²·b_1_2⁵
        + a_2_5·b_2_4³·c_4_15·a_3_8 + b_4_13·c_8_60·a_1_1³ + c_4_15²·b_1_2²·a_5_14
        + b_4_13·c_4_15²·a_1_1·b_1_2² + b_2_4³·c_4_15²·a_1_0 + a_2_5·c_4_15²·b_1_2⁵
        + a_2_5·b_4_14·c_4_15²·b_1_2 + a_2_5·b_4_13·c_4_15²·b_1_2
        + a_2_5·b_2_4·c_4_15²·b_1_2³ + c_4_15·c_8_60·a_1_1²·b_1_2
        + c_4_15²·a_1_1²·b_1_2⁵ + b_4_13·c_4_15²·a_1_1³ + c_4_15³·a_1_1³
162. b_8_58·b_7_44 + b_4_14·b_1_2⁴·b_7_44 + b_4_13·b_1_2⁴·b_7_44
        + b_2_4·b_4_14·b_1_2²·b_7_44 + b_2_4·b_4_13·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2¹¹ + b_2_4²·b_4_14·b_1_2⁷
        + b_2_4²·b_4_13·b_7_44 + b_2_4³·b_4_13·b_1_2⁵ + b_2_4⁴·b_7_44 + b_2_4⁴·b_1_2⁷
        + b_2_4⁴·b_6_32·b_1_2 + b_2_4⁴·b_4_14·b_1_2³ + b_2_4⁴·b_4_13·b_3_7
        + b_2_4⁴·b_4_13·b_1_2³ + b_2_4⁵·b_4_14·b_1_2 + b_2_4⁶·b_1_2³ + b_2_4⁷·b_1_2
        + b_8_58·a_7_31 + a_6_19·b_9_78 + a_6_19·b_1_2²·b_7_44 + b_4_13·b_1_2⁶·a_5_14
        + b_4_13·a_6_19·b_1_2⁵ + b_2_4⁵·a_5_14 + b_2_4⁶·a_3_8 + a_2_5·b_1_2¹³
        + a_2_5·b_4_14·b_1_2²·b_7_44 + a_2_5·b_4_13·b_1_2²·b_7_44 + a_2_5·b_4_13·b_1_2⁹
        + a_2_5·b_4_13·b_6_32·b_1_2³ + a_2_5·b_2_4·b_1_2⁴·b_7_44 + a_2_5·b_2_4·b_1_2¹¹
        + a_2_5·b_2_4·b_4_13·b_1_2⁷ + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2³
        + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2 + a_2_5·b_2_4³·b_7_44
        + a_2_5·b_2_4³·b_4_14·b_1_2³ + a_2_5·b_2_4³·b_4_13·b_1_2³
        + a_2_5·b_2_4⁴·b_5_23 + a_2_5·b_2_4⁴·b_1_2⁵ + a_2_5·b_2_4⁴·b_4_13·b_1_2
        + a_2_5·b_2_4⁵·b_3_7 + a_2_5·b_2_4⁶·b_1_2 + a_6_19·a_1_1·b_1_2⁸ + a_6_19²·b_1_2³
        + b_4_13·a_6_19·a_1_1·b_1_2⁴ + a_6_19²·a_1_1·b_1_2²
        + b_4_13·a_6_19·a_1_1²·b_1_2³ + b_4_13·c_4_15·b_7_44 + b_2_4·c_4_15·b_1_2²·b_7_44
        + b_2_4·c_4_15·b_6_32·b_1_2³ + b_2_4·b_4_13·b_4_14·c_4_15·b_1_2
        + b_2_4²·c_8_60·b_3_7 + b_2_4²·c_8_60·b_1_2³ + b_2_4²·b_4_14·c_4_15·b_1_2³
        + b_2_4²·b_4_13·c_4_15·b_3_7 + b_2_4²·b_4_13·c_4_15·b_1_2³ + b_2_4⁴·c_4_15·b_3_7
        + a_6_19·c_8_60·b_1_2 + c_4_15·b_1_2⁶·a_5_14 + b_4_13·c_4_15·b_1_2²·a_5_14
        + b_4_13·c_4_15·a_1_1·b_1_2⁶ + b_4_13·c_4_15·a_6_19·b_1_2 + b_2_4²·c_8_60·a_3_8
        + b_2_4²·c_4_15·a_7_29 + b_2_4³·c_4_15·a_5_14 + a_2_5·c_4_15·b_1_2²·b_7_44
        + a_2_5·c_4_15·b_1_2⁹ + a_2_5·b_4_13·c_4_15·b_1_2⁵ + a_2_5·b_2_4·c_8_60·b_3_7
        + a_2_5·b_2_4·c_4_15·b_7_44 + a_2_5·b_2_4·c_4_15·b_1_2⁷
        + a_2_5·b_2_4·c_4_15·b_6_32·b_1_2 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2³
        + a_2_5·b_2_4²·c_8_60·b_1_2 + a_2_5·b_2_4²·c_4_15·b_1_2⁵
        + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2 + c_4_15·a_6_19·a_1_1·b_1_2⁴
        + b_4_13·c_4_15·a_1_1²·b_1_2⁵ + b_4_13·c_4_15·a_6_19·a_1_1
        + a_2_5·b_2_4·c_4_15·a_7_29 + b_4_13·c_8_60·a_1_1³ + b_2_4²·c_4_15²·b_3_7
        + b_2_4²·c_4_15²·b_1_2³ + c_4_15²·b_1_2²·a_5_14
        + b_4_13·c_4_15²·a_1_1·b_1_2² + b_2_4²·c_4_15²·a_3_8 + b_2_4³·c_4_15²·a_1_0
        + a_2_5·c_4_15²·b_1_2⁵ + a_2_5·b_4_14·c_4_15²·b_1_2 + a_2_5·b_4_13·c_4_15²·b_1_2
        + a_2_5·b_2_4·c_4_15²·b_3_7 + a_2_5·b_2_4·c_4_15²·b_1_2³
        + a_2_5·b_2_4²·c_4_15²·b_1_2 + c_4_15·c_8_60·a_1_1²·b_1_2
        + c_4_15²·a_1_1²·b_1_2⁵ + a_2_5·b_2_4·c_4_15²·a_3_8 + c_4_15³·a_1_1³
163. b_6_32·b_9_78 + b_4_13·b_4_14·b_7_44 + b_2_4·b_1_2⁶·b_7_44 + b_2_4·b_1_2¹³
        + b_2_4·b_4_14·b_1_2⁹ + b_2_4·b_4_13·b_1_2²·b_7_44 + b_2_4·b_4_13·b_6_32·b_1_2³
        + b_2_4·b_4_13·b_4_14·b_1_2⁵ + b_2_4²·b_1_2⁴·b_7_44 + b_2_4²·b_4_14·b_1_2⁷
        + b_2_4²·b_4_13·b_7_44 + b_2_4²·b_4_13·b_1_2⁷ + b_2_4³·b_9_78
        + b_2_4³·b_1_2²·b_7_44 + b_2_4³·b_1_2⁹ + b_2_4³·b_6_32·b_1_2³
        + b_2_4³·b_4_14·b_1_2⁵ + b_2_4³·b_4_13·b_1_2⁵ + b_2_4⁴·b_1_2⁷
        + b_2_4⁴·b_4_14·b_1_2³ + b_2_4⁵·b_5_23 + b_2_4⁵·b_1_2⁵ + b_4_13·b_1_2⁶·a_5_14
        + b_4_13·a_6_19·b_1_2⁵ + b_2_4⁵·a_5_16 + b_2_4⁶·a_3_8 + a_2_5·b_1_2⁶·b_7_44
        + a_2_5·b_4_14·b_1_2²·b_7_44 + a_2_5·b_2_4·b_1_2⁴·b_7_44 + a_2_5·b_2_4·b_1_2¹¹
        + a_2_5·b_2_4·b_4_14·b_1_2⁷ + a_2_5·b_2_4·b_4_13·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2³ + a_2_5·b_2_4²·b_1_2⁹
        + a_2_5·b_2_4²·b_4_14·b_1_2⁵ + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2
        + a_2_5·b_2_4³·b_7_44 + a_2_5·b_2_4³·b_1_2⁷ + a_2_5·b_2_4³·b_6_32·b_1_2
        + a_2_5·b_2_4³·b_4_14·b_1_2³ + a_2_5·b_2_4³·b_4_13·b_3_7 + a_2_5·b_2_4⁴·b_1_2⁵
        + a_2_5·b_2_4⁴·b_4_13·b_1_2 + a_2_5·b_2_4⁵·b_3_7 + a_2_5·b_2_4⁶·b_1_2
        + a_6_19²·b_1_2³ + b_4_13·a_6_19·a_5_14 + a_2_5·b_2_4³·a_7_29 + b_6_32·c_8_60·b_1_2
        + b_4_14·c_4_15·b_7_44 + b_2_4·c_8_60·b_5_23 + b_2_4·c_4_15·b_9_78
        + b_2_4·c_4_15·b_1_2²·b_7_44 + b_2_4·c_4_15·b_1_2⁹ + b_2_4·c_4_15·b_6_32·b_1_2³
        + b_2_4·b_4_14·c_8_60·b_1_2 + b_2_4·b_4_14·c_4_15·b_1_2⁵
        + b_2_4·b_4_13·c_4_15·b_1_2⁵ + b_2_4²·c_8_60·b_3_7
        + b_2_4²·b_4_14·c_4_15·b_1_2³ + b_2_4²·b_4_13·c_4_15·b_1_2³
        + b_2_4³·c_8_60·b_1_2 + b_2_4³·b_4_14·c_4_15·b_1_2 + b_2_4³·b_4_13·c_4_15·b_1_2
        + b_2_4⁴·c_4_15·b_1_2³ + b_2_4⁵·c_4_15·b_1_2 + c_4_15·a_1_1·b_1_2¹⁰
        + c_4_15·b_6_32·a_5_14 + b_2_4²·c_4_15·a_7_29 + b_2_4³·c_4_15·a_5_14
        + a_2_5·c_4_15·b_1_2²·b_7_44 + a_2_5·c_4_15·b_1_2⁹ + a_2_5·b_4_14·c_8_60·b_1_2
        + a_2_5·b_4_13·b_4_14·c_4_15·b_1_2 + a_2_5·b_2_4·c_8_60·b_1_2³
        + a_2_5·b_2_4·c_4_15·b_1_2⁷ + a_2_5·b_2_4·c_4_15·b_6_32·b_1_2
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2³ + a_2_5·b_2_4²·c_8_60·b_1_2
        + a_2_5·b_2_4²·c_4_15·b_5_23 + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4⁴·c_4_15·b_1_2 + c_4_15·a_6_19·a_1_1·b_1_2⁴
        + b_4_13·c_4_15·a_1_1²·b_1_2⁵ + b_4_13·c_4_15·a_6_19·a_1_1
        + a_2_5·b_2_4·c_4_15·a_7_29 + c_8_60·a_1_1²·a_5_14 + b_4_13·c_8_60·a_1_1³
        + b_2_4·c_4_15²·b_1_2⁵ + b_2_4·c_4_15²·a_5_16 + a_2_5·c_4_15²·b_5_23
        + a_2_5·b_2_4²·c_4_15²·b_1_2 + c_4_15·c_8_60·a_1_1²·b_1_2 + c_4_15²·a_6_19·a_1_1
        + a_2_5·b_2_4·c_4_15²·a_3_8 + c_4_15²·a_1_1²·a_5_14 + b_2_4·c_4_15³·a_1_0
        + a_2_5·c_4_15³·b_1_2
164. b_8_58² + b_2_4·b_4_14·b_1_2¹⁰ + b_2_4²·b_4_14·b_1_2⁸ + b_2_4⁴·b_1_2·b_7_44
        + b_2_4⁴·b_8_58 + b_2_4⁴·b_4_14·b_1_2⁴ + b_2_4⁴·b_4_13·b_1_2⁴ + b_2_4⁵·b_6_32
        + b_2_4⁵·b_4_13·b_1_2² + b_2_4⁶·b_1_2⁴ + b_2_4⁶·b_4_14 + a_2_5·b_1_2¹⁴
        + a_2_5·b_2_4·b_4_13·b_1_2⁸ + a_2_5·b_2_4²·b_1_2¹⁰
        + a_2_5·b_2_4²·b_6_32·b_1_2⁴ + a_2_5·b_2_4²·b_4_14·b_1_2⁶
        + a_2_5·b_2_4²·b_4_13·b_1_2⁶ + a_2_5·b_2_4²·b_4_13·b_6_32
        + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2² + a_2_5·b_2_4³·b_1_2·b_7_44
        + a_2_5·b_2_4³·b_6_32·b_1_2² + a_2_5·b_2_4³·b_4_13·b_4_14
        + a_2_5·b_2_4⁵·b_1_2·b_3_7 + a_2_5·b_2_4⁵·b_4_13 + a_2_5·b_2_4⁶·b_1_2²
        + a_2_5·b_2_4⁷ + a_6_19²·b_1_2⁴ + b_4_13·a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_6_19²
        + a_2_5²·b_2_4³·b_6_32 + b_4_13·a_6_19·a_1_1²·b_1_2⁴ + c_4_15·b_1_2¹²
        + b_2_4³·c_8_60·b_1_2² + b_2_4³·b_4_14·c_4_15·b_1_2² + b_2_4⁴·c_8_60
        + b_2_4⁴·c_4_15·b_1_2·b_3_7 + b_2_4⁴·b_4_14·c_4_15 + b_2_4⁴·b_4_13·c_4_15
        + b_2_4⁵·c_4_15·b_1_2² + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4³·c_4_15·b_1_2·b_3_7 + a_2_5·b_2_4³·b_4_14·c_4_15
        + a_2_5·b_2_4³·b_4_13·c_4_15 + a_2_5·b_2_4⁴·c_4_15·b_1_2² + a_2_5·b_2_4⁵·c_4_15
        + c_4_15·a_6_19² + b_4_13·c_8_60·a_1_1²·b_1_2² + a_2_5²·b_2_4²·c_8_60
        + a_2_5²·b_2_4⁴·c_4_15 + c_4_15·a_6_19·a_1_1²·b_1_2⁴ + b_2_4·c_4_15²·b_1_2⁶
        + b_2_4·b_4_14·c_4_15²·b_1_2² + b_2_4²·c_4_15²·b_1_2·b_3_7 + b_2_4⁴·c_4_15²
        + a_2_5·c_4_15²·b_1_2⁶ + a_2_5·b_2_4·b_4_13·c_4_15²
        + b_4_13·c_4_15²·a_1_1²·b_1_2² + a_2_5·c_4_15²·a_6_19 + a_2_5²·b_4_14·c_4_15²
        + a_2_5²·b_2_4²·c_4_15² + c_4_15³·b_1_2⁴
165. b_7_44·b_9_78 + b_4_14·b_1_2⁵·b_7_44 + b_4_13·b_4_14·b_1_2·b_7_44
        + b_2_4·b_1_2⁷·b_7_44 + b_2_4·b_4_13·b_1_2³·b_7_44 + b_2_4·b_4_13·b_1_2¹⁰
        + b_2_4·b_4_13·b_6_32·b_1_2⁴ + b_2_4²·b_1_2⁵·b_7_44 + b_2_4²·b_1_2¹²
        + b_2_4²·b_4_13·b_6_32·b_1_2² + b_2_4³·b_1_2·b_9_78 + b_2_4³·b_1_2³·b_7_44
        + b_2_4³·b_6_32·b_1_2⁴ + b_2_4³·b_4_14·b_1_2⁶ + b_2_4³·b_4_13·b_1_2⁶
        + b_2_4⁴·b_1_2⁸ + b_2_4⁴·b_4_14·b_1_2⁴ + b_2_4⁴·b_4_13·b_1_2⁴
        + b_2_4⁴·b_4_13·b_4_14 + b_2_4⁵·b_1_2·b_5_23 + b_2_4⁵·b_4_13·b_1_2²
        + b_2_4⁶·b_1_2·b_3_7 + a_6_19·b_1_2³·b_7_44 + b_4_13·b_1_2⁷·a_5_14
        + b_4_13·a_6_19·b_1_2⁶ + a_2_5·b_4_14·b_1_2¹⁰ + a_2_5·b_4_13·b_1_2¹⁰
        + a_2_5·b_2_4·b_1_2⁵·b_7_44 + a_2_5·b_2_4·b_1_2¹²
        + a_2_5·b_2_4·b_4_13·b_1_2·b_7_44 + a_2_5·b_2_4²·b_1_2·b_9_78
        + a_2_5·b_2_4²·b_1_2¹⁰ + a_2_5·b_2_4²·b_6_32·b_1_2⁴
        + a_2_5·b_2_4²·b_4_14·b_1_2⁶ + a_2_5·b_2_4²·b_4_13·b_1_2⁶
        + a_2_5·b_2_4³·b_1_2⁸ + a_2_5·b_2_4³·b_4_14·b_1_2⁴
        + a_2_5·b_2_4³·b_4_13·b_1_2⁴ + a_2_5·b_2_4⁵·b_1_2·b_3_7 + a_2_5·b_2_4⁵·b_1_2⁴
        + b_4_13·a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_6_19² + a_2_5²·b_2_4²·b_8_58
        + a_2_5²·b_2_4⁴·b_4_14 + a_6_19²·a_1_1·b_1_2³ + c_8_60·b_1_2·b_7_44
        + b_4_13·c_4_15·b_6_32·b_1_2² + b_4_13·b_4_14·c_4_15·b_1_2⁴
        + b_2_4·c_4_15·b_6_32·b_1_2⁴ + b_2_4·b_4_14·c_4_15·b_1_2⁶
        + b_2_4·b_4_13·c_8_60·b_1_2² + b_2_4·b_4_13·c_4_15·b_1_2⁶
        + b_2_4²·c_8_60·b_1_2⁴ + b_2_4³·c_8_60·b_1_2² + b_2_4³·c_4_15·b_1_2⁶
        + b_2_4⁵·c_4_15·b_1_2² + c_4_15·a_1_1·b_1_2¹¹ + b_4_13·c_4_15·b_1_2³·a_5_14
        + a_2_5·c_8_60·b_1_2·b_5_23 + a_2_5·c_4_15·b_1_2·b_9_78 + a_2_5·c_4_15·b_1_2¹⁰
        + a_2_5·c_4_15·b_6_32·b_1_2⁴ + a_2_5·b_2_4·c_8_60·b_1_2⁴
        + a_2_5·b_2_4·c_4_15·b_6_32·b_1_2² + a_2_5·b_2_4·b_4_13·c_8_60
        + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2⁴ + a_2_5·b_2_4²·c_4_15·b_1_2⁶
        + a_2_5·b_2_4³·c_4_15·b_1_2⁴ + a_2_5·b_2_4⁴·c_4_15·b_1_2² + c_4_15·a_6_19²
        + a_2_5²·b_4_14·c_8_60 + a_2_5²·b_2_4·c_4_15·b_6_32 + a_2_5²·b_2_4²·b_4_14·c_4_15
        + b_4_13·c_8_60·a_1_1³·b_1_2 + b_4_14·c_4_15²·b_1_2⁴ + b_2_4·c_4_15²·b_1_2⁶
        + b_2_4·b_4_14·c_4_15²·b_1_2² + b_2_4·b_4_13·c_4_15²·b_1_2²
        + b_2_4²·c_4_15²·b_1_2·b_3_7 + b_4_13·c_4_15²·a_1_1·b_1_2³
        + a_2_5·c_4_15²·b_1_2·b_5_23 + a_2_5·b_2_4·c_4_15²·b_1_2·b_3_7
        + a_2_5·b_2_4·b_4_13·c_4_15² + c_4_15·c_8_60·a_1_1²·b_1_2²
        + c_4_15²·a_1_1²·b_1_2⁶ + b_4_13·c_4_15²·a_1_1²·b_1_2²
        + a_2_5²·c_4_15·c_8_60 + a_2_5²·b_2_4²·c_4_15² + b_4_13·c_4_15²·a_1_1³·b_1_2
        + a_2_5·c_4_15³·b_1_2² + a_2_5²·c_4_15³
166. b_7_44·b_9_78 + b_4_14·b_1_2⁵·b_7_44 + b_4_13·b_4_14·b_1_2·b_7_44
        + b_2_4·b_1_2⁷·b_7_44 + b_2_4·b_4_13·b_1_2³·b_7_44 + b_2_4·b_4_13·b_1_2¹⁰
        + b_2_4·b_4_13·b_6_32·b_1_2⁴ + b_2_4²·b_1_2⁵·b_7_44 + b_2_4²·b_1_2¹²
        + b_2_4²·b_4_13·b_6_32·b_1_2² + b_2_4³·b_1_2·b_9_78 + b_2_4³·b_1_2³·b_7_44
        + b_2_4³·b_6_32·b_1_2⁴ + b_2_4³·b_4_14·b_1_2⁶ + b_2_4³·b_4_13·b_1_2⁶
        + b_2_4⁴·b_1_2⁸ + b_2_4⁴·b_4_14·b_1_2⁴ + b_2_4⁴·b_4_13·b_1_2⁴
        + b_2_4⁴·b_4_13·b_4_14 + b_2_4⁵·b_1_2·b_5_23 + b_2_4⁵·b_4_13·b_1_2²
        + b_2_4⁶·b_1_2·b_3_7 + a_7_29·b_9_78 + a_6_19·b_1_2³·b_7_44 + a_2_5·b_1_2¹⁴
        + a_2_5·b_4_14·b_1_2¹⁰ + a_2_5·b_4_13·b_1_2¹⁰ + a_2_5·b_4_13·b_4_14·b_1_2⁶
        + a_2_5·b_2_4·b_4_14·b_1_2⁸ + a_2_5·b_2_4·b_4_13·b_6_32·b_1_2²
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2⁴ + a_2_5·b_2_4²·b_6_32·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13·b_1_2⁶ + a_2_5·b_2_4³·b_1_2·b_7_44 + a_2_5·b_2_4³·b_1_2⁸
        + a_2_5·b_2_4³·b_4_14·b_1_2⁴ + a_2_5·b_2_4³·b_4_13·b_1_2⁴
        + a_2_5·b_2_4⁴·b_1_2·b_5_23 + a_2_5·b_2_4⁴·b_4_14·b_1_2²
        + a_2_5·b_2_4⁵·b_1_2·b_3_7 + a_2_5·b_2_4⁵·b_4_13 + a_6_19·a_1_1·b_1_2⁹
        + a_6_19²·b_1_2⁴ + b_4_13·a_6_19·a_1_1·b_1_2⁵ + b_4_13·a_6_19²
        + a_2_5²·b_2_4²·b_8_58 + a_6_19²·a_1_1·b_1_2³ + b_4_13·a_6_19·a_1_1²·b_1_2⁴
        + c_8_60·b_1_2·b_7_44 + b_4_13·c_4_15·b_6_32·b_1_2² + b_4_13·b_4_14·c_4_15·b_1_2⁴
        + b_2_4·c_4_15·b_6_32·b_1_2⁴ + b_2_4·b_4_14·c_4_15·b_1_2⁶
        + b_2_4·b_4_13·c_8_60·b_1_2² + b_2_4·b_4_13·c_4_15·b_1_2⁶
        + b_2_4²·c_8_60·b_1_2⁴ + b_2_4³·c_8_60·b_1_2² + b_2_4³·c_4_15·b_1_2⁶
        + b_2_4⁵·c_4_15·b_1_2² + c_8_60·b_1_2·a_7_29 + b_4_13·c_4_15·b_1_2³·a_5_14
        + a_2_5·c_8_60·b_1_2·b_5_23 + a_2_5·c_4_15·b_1_2³·b_7_44
        + a_2_5·b_4_13·c_4_15·b_1_2⁶ + a_2_5·b_4_13·c_4_15·b_6_32
        + a_2_5·b_2_4·c_8_60·b_1_2⁴ + a_2_5·b_2_4·c_4_15·b_1_2⁸
        + a_2_5·b_2_4·b_4_14·c_4_15·b_1_2⁴ + a_2_5·b_2_4²·b_4_13·c_4_15·b_1_2²
        + a_2_5·b_2_4³·b_4_13·c_4_15 + a_2_5·b_2_4⁴·c_4_15·b_1_2²
        + b_4_13·c_8_60·a_1_1²·b_1_2² + a_2_5²·c_4_15·b_8_58
        + a_2_5²·b_2_4·c_4_15·b_6_32 + a_2_5²·b_2_4²·b_4_14·c_4_15
        + a_2_5²·b_2_4⁴·c_4_15 + b_4_13·c_4_15·a_6_19·a_1_1² + b_4_14·c_4_15²·b_1_2⁴
        + b_2_4·c_4_15²·b_1_2⁶ + b_2_4·b_4_14·c_4_15²·b_1_2²
        + b_2_4·b_4_13·c_4_15²·b_1_2² + b_2_4²·c_4_15²·b_1_2·b_3_7
        + b_4_13·c_4_15²·a_1_1·b_1_2³ + a_2_5·c_4_15·c_8_60·b_1_2²
        + a_2_5·c_4_15²·b_1_2·b_5_23 + a_2_5·b_2_4·c_4_15²·b_1_2·b_3_7
        + a_2_5·b_2_4·c_4_15²·b_1_2⁴ + a_2_5·b_2_4²·c_4_15²·b_1_2²
        + c_4_15²·a_1_1²·b_1_2⁶ + c_4_15²·a_6_19·a_1_1·b_1_2 + a_2_5²·b_2_4²·c_4_15²
        + c_4_15²·a_6_19·a_1_1² + a_2_5·c_4_15³·b_1_2² + c_4_15³·a_1_1²·b_1_2²
167. a_7_31·b_9_78 + a_2_5·b_1_2⁷·b_7_44 + a_2_5·b_4_14·b_1_2³·b_7_44
        + a_2_5·b_4_13·b_1_2³·b_7_44 + a_2_5·b_4_13·b_1_2¹⁰ + a_2_5·b_4_13·b_6_32·b_1_2⁴
        + a_2_5·b_2_4·b_1_2⁵·b_7_44 + a_2_5·b_2_4·b_1_2¹²
        + a_2_5·b_2_4·b_4_14·b_1_2·b_7_44 + a_2_5·b_2_4·b_4_13·b_1_2·b_7_44
        + a_2_5·b_2_4²·b_1_2³·b_7_44 + a_2_5·b_2_4²·b_6_32·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13·b_1_2⁶ + a_2_5·b_2_4⁴·b_1_2·b_5_23
        + a_2_5·b_2_4⁵·b_1_2·b_3_7 + b_4_13·a_6_19·a_1_1·b_1_2⁵ + a_2_5²·b_2_4²·b_8_58
        + a_2_5²·b_2_4³·b_6_32 + a_2_5²·b_2_4⁴·b_4_14 + a_6_19²·a_1_1·b_1_2³
        + c_8_60·b_1_2·a_7_31 + c_4_15·b_1_2⁷·a_5_14 + c_4_15·a_6_19·b_1_2⁶
        + b_4_13·c_4_15·a_1_1·b_1_2⁷ + a_2_5·c_8_60·b_1_2·b_5_23
        + a_2_5·c_4_15·b_1_2·b_9_78 + a_2_5·c_4_15·b_6_32·b_1_2⁴
        + a_2_5·b_4_14·c_8_60·b_1_2² + a_2_5·b_4_14·c_4_15·b_1_2⁶
        + a_2_5·b_4_13·c_4_15·b_1_2⁶ + a_2_5·b_4_13·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4·c_8_60·b_1_2·b_3_7 + a_2_5·b_2_4·b_4_13·c_4_15·b_1_2⁴
        + a_2_5·b_2_4·b_4_13·b_4_14·c_4_15 + a_2_5·b_2_4²·c_4_15·b_1_2·b_5_23
        + a_2_5·b_2_4²·c_4_15·b_1_2⁶ + a_2_5·b_2_4³·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4³·c_4_15·b_1_2⁴ + a_2_5·b_2_4⁴·c_4_15·b_1_2² + c_4_15·a_6_19²
        + b_4_13·c_8_60·a_1_1²·b_1_2² + b_4_13·c_4_15·a_1_1²·b_1_2⁶
        + b_4_13·c_4_15·a_6_19·a_1_1·b_1_2 + a_2_5²·c_4_15·b_8_58 + a_2_5²·b_4_14·c_8_60
        + a_2_5²·b_2_4·c_4_15·b_6_32 + b_4_13·c_8_60·a_1_1³·b_1_2
        + b_4_13·c_4_15·a_6_19·a_1_1² + a_2_5·c_4_15²·b_1_2⁶
        + a_2_5·b_2_4·c_4_15²·b_1_2⁴ + a_2_5·b_2_4²·c_4_15²·b_1_2²
        + c_4_15²·a_1_1²·b_1_2⁶ + c_4_15²·a_6_19·a_1_1·b_1_2 + a_2_5²·c_4_15·c_8_60
        + a_2_5²·b_4_14·c_4_15² + c_4_15²·a_6_19·a_1_1² + a_2_5²·c_4_15³
168. b_8_58·b_9_78 + b_4_13·b_4_14·b_1_2²·b_7_44 + b_4_13·b_4_14·b_1_2⁹
        + b_2_4·b_1_2⁸·b_7_44 + b_2_4·b_1_2¹⁵ + b_2_4·b_4_14·b_1_2⁴·b_7_44
        + b_2_4·b_4_13·b_1_2⁴·b_7_44 + b_2_4·b_4_13·b_4_14·b_1_2⁷ + b_2_4²·b_1_2⁶·b_7_44
        + b_2_4²·b_4_14·b_1_2²·b_7_44 + b_2_4²·b_4_14·b_1_2⁹ + b_2_4³·b_4_14·b_1_2⁷
        + b_2_4³·b_4_13·b_4_14·b_1_2³ + b_2_4⁴·b_9_78 + b_2_4⁴·b_6_32·b_1_2³
        + b_2_4⁴·b_4_14·b_1_2⁵ + b_2_4⁴·b_4_13·b_1_2⁵ + b_2_4⁵·b_1_2⁷
        + b_2_4⁵·b_4_13·b_3_7 + b_2_4⁶·b_5_23 + b_4_13·a_6_19·b_1_2⁷ + b_2_4⁶·a_5_16
        + b_2_4⁷·a_3_8 + a_2_5·b_4_14·b_1_2¹¹ + a_2_5·b_4_13·b_1_2¹¹
        + a_2_5·b_2_4·b_1_2⁶·b_7_44 + a_2_5·b_2_4·b_4_13·b_1_2²·b_7_44
        + a_2_5·b_2_4·b_4_13·b_4_14·b_1_2⁵ + a_2_5·b_2_4²·b_1_2⁴·b_7_44
        + a_2_5·b_2_4²·b_4_13·b_6_32·b_1_2 + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2³
        + a_2_5·b_2_4³·b_9_78 + a_2_5·b_2_4³·b_1_2²·b_7_44 + a_2_5·b_2_4³·b_1_2⁹
        + a_2_5·b_2_4⁴·b_1_2⁷ + a_2_5·b_2_4⁴·b_6_32·b_1_2 + a_2_5·b_2_4⁴·b_4_13·b_1_2³
        + a_2_5·b_2_4⁵·b_5_23 + a_2_5·b_2_4⁵·b_4_14·b_1_2 + a_2_5·b_2_4⁵·b_4_13·b_1_2
        + a_2_5·b_2_4⁶·b_1_2³ + a_6_19²·b_1_2⁵ + b_4_13·a_6_19·a_1_1·b_1_2⁶
        + b_4_13·a_6_19²·b_1_2 + b_8_58·c_8_60·b_1_2 + c_4_15·b_1_2⁶·b_7_44
        + b_4_14·c_4_15·b_1_2⁹ + b_4_13·b_4_14·c_4_15·b_1_2⁵
        + b_2_4·c_4_15·b_1_2⁴·b_7_44 + b_2_4·c_4_15·b_1_2¹¹
        + b_2_4·b_4_13·b_4_14·c_4_15·b_1_2³ + b_2_4²·c_8_60·b_5_23 + b_2_4²·c_4_15·b_9_78
        + b_2_4²·b_4_14·c_8_60·b_1_2 + b_2_4²·b_4_14·c_4_15·b_1_2⁵
        + b_2_4²·b_4_13·c_8_60·b_1_2 + b_2_4²·b_4_13·b_4_14·c_4_15·b_1_2
        + b_2_4³·c_8_60·b_3_7 + b_2_4³·c_8_60·b_1_2³ + b_2_4³·c_4_15·b_1_2⁷
        + b_2_4³·b_4_14·c_4_15·b_1_2³ + b_2_4³·b_4_13·c_4_15·b_3_7 + b_2_4⁴·c_8_60·b_1_2
        + b_2_4⁴·c_4_15·b_1_2⁵ + b_2_4⁴·b_4_13·c_4_15·b_1_2 + b_2_4⁶·c_4_15·b_1_2
        + c_4_15·a_6_19·b_7_44 + c_4_15·a_6_19·b_1_2⁷ + b_4_13·c_4_15·b_1_2⁴·a_5_14
        + b_2_4·c_4_15·b_6_32·a_5_14 + b_2_4³·c_4_15·a_7_29 + b_2_4⁴·c_4_15·a_5_14
        + a_2_5·c_4_15·b_1_2⁴·b_7_44 + a_2_5·b_4_14·c_4_15·b_7_44
        + a_2_5·b_4_14·c_4_15·b_1_2⁷ + a_2_5·b_4_13·c_8_60·b_3_7
        + a_2_5·b_4_13·c_4_15·b_6_32·b_1_2 + a_2_5·b_4_13·b_4_14·c_4_15·b_1_2³
        + a_2_5·b_2_4·c_8_60·b_5_23 + a_2_5·b_2_4·c_4_15·b_1_2²·b_7_44
        + a_2_5·b_2_4·c_4_15·b_1_2⁹ + a_2_5·b_2_4·b_4_13·b_4_14·c_4_15·b_1_2
        + a_2_5·b_2_4²·c_4_15·b_7_44 + a_2_5·b_2_4²·c_4_15·b_1_2⁷
        + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2³ + a_2_5·b_2_4²·b_4_13·c_4_15·b_1_2³
        + a_2_5·b_2_4⁴·c_4_15·b_1_2³ + a_2_5·b_2_4⁵·c_4_15·b_1_2 + c_4_15·a_6_19²·b_1_2
        + b_4_13·c_8_60·a_1_1²·b_1_2³ + b_4_13·c_4_15·a_6_19·a_1_1·b_1_2²
        + a_2_5·c_8_60·a_7_29 + c_4_15·a_6_19²·a_1_1 + c_4_15²·b_1_2²·b_7_44
        + b_2_4·b_4_14·c_4_15²·b_1_2³ + b_2_4³·c_4_15²·b_1_2³
        + c_4_15²·a_1_1·b_1_2⁸ + c_4_15²·a_6_19·b_1_2³ + b_2_4²·c_4_15²·a_5_16
        + a_2_5·c_4_15²·b_7_44 + a_2_5·b_4_14·c_4_15²·b_1_2³
        + a_2_5·b_4_13·c_4_15²·b_1_2³ + a_2_5·b_2_4·c_4_15·c_8_60·b_1_2
        + a_2_5·b_2_4·c_4_15²·b_5_23 + a_2_5·b_2_4·c_4_15²·b_1_2⁵
        + a_2_5·b_2_4·b_4_14·c_4_15²·b_1_2 + a_2_5·b_2_4²·c_4_15²·b_1_2³
        + a_2_5·b_2_4³·c_4_15²·b_1_2 + c_4_15²·a_1_1²·b_1_2⁷
        + b_4_13·c_4_15²·a_1_1²·b_1_2³ + a_2_5·b_2_4²·c_4_15²·a_3_8
        + c_4_15·c_8_60·a_1_1²·a_3_9 + c_4_15²·a_6_19·a_1_1²·b_1_2
        + c_4_15³·b_1_2²·b_3_7 + b_2_4²·c_4_15³·a_1_0 + a_2_5·b_2_4·c_4_15³·b_1_2
        + c_4_15³·a_1_1²·b_1_2³
169. b_9_78² + b_2_4·b_1_2¹⁶ + b_2_4²·b_4_14·b_1_2¹⁰ + b_2_4³·b_1_2⁵·b_7_44
        + b_2_4³·b_1_2¹² + b_2_4³·b_4_14·b_1_2·b_7_44 + b_2_4³·b_4_14·b_1_2⁸
        + b_2_4⁴·b_6_32·b_1_2⁴ + b_2_4⁴·b_4_13·b_1_2⁶ + b_2_4⁵·b_1_2⁸
        + b_2_4⁵·b_4_13·b_1_2⁴ + b_2_4⁷·b_1_2·b_3_7 + a_2_5·b_2_4·b_4_14·b_1_2³·b_7_44
        + a_2_5·b_2_4·b_4_14·b_1_2¹⁰ + a_2_5·b_2_4·b_4_13·b_6_32·b_1_2⁴
        + a_2_5·b_2_4²·b_4_14·b_1_2⁸ + a_2_5·b_2_4²·b_4_13·b_1_2·b_7_44
        + a_2_5·b_2_4²·b_4_13·b_1_2⁸ + a_2_5·b_2_4²·b_4_13·b_6_32·b_1_2²
        + a_2_5·b_2_4²·b_4_13·b_4_14·b_1_2⁴ + a_2_5·b_2_4³·b_1_2·b_9_78
        + a_2_5·b_2_4³·b_1_2³·b_7_44 + a_2_5·b_2_4³·b_4_14·b_1_2⁶
        + a_2_5·b_2_4³·b_4_13·b_4_14·b_1_2² + a_2_5·b_2_4⁴·b_1_2·b_7_44
        + a_2_5·b_2_4⁴·b_6_32·b_1_2² + a_2_5·b_2_4⁴·b_4_14·b_1_2⁴
        + a_2_5·b_2_4⁴·b_4_13·b_1_2⁴ + a_2_5·b_2_4⁵·b_4_14·b_1_2²
        + a_2_5·b_2_4⁶·b_1_2⁴ + a_2_5·b_2_4⁶·b_4_13 + a_6_19²·b_1_2⁶
        + a_2_5²·b_2_4³·b_8_58 + b_2_4·b_4_14·c_4_15·b_1_2⁸ + b_2_4²·c_8_60·b_1_2⁶
        + b_2_4²·c_4_15·b_1_2³·b_7_44 + b_2_4²·c_4_15·b_1_2¹⁰
        + b_2_4²·b_4_14·c_8_60·b_1_2² + b_2_4²·b_4_14·c_4_15·b_1_2⁶
        + b_2_4³·c_8_60·b_1_2·b_3_7 + b_2_4³·c_4_15·b_1_2⁸
        + b_2_4³·b_4_13·c_4_15·b_1_2⁴ + b_2_4⁴·c_4_15·b_1_2⁶
        + a_2_5·b_4_14·c_4_15·b_1_2·b_7_44 + a_2_5·b_4_13·c_4_15·b_6_32·b_1_2²
        + a_2_5·b_2_4·c_8_60·b_1_2⁶ + a_2_5·b_2_4·c_4_15·b_1_2¹⁰
        + a_2_5·b_2_4·b_4_13·b_4_14·c_4_15·b_1_2² + a_2_5·b_2_4²·c_4_15·b_1_2·b_7_44
        + a_2_5·b_2_4²·c_4_15·b_1_2⁸ + a_2_5·b_2_4²·b_4_14·c_4_15·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13·c_8_60 + a_2_5·b_2_4³·c_8_60·b_1_2²
        + a_2_5·b_2_4³·c_4_15·b_1_2·b_5_23 + a_2_5·b_2_4³·b_4_14·c_4_15·b_1_2²
        + a_2_5·b_2_4³·b_4_13·c_4_15·b_1_2² + a_2_5·b_2_4⁴·c_4_15·b_1_2·b_3_7
        + a_2_5·b_2_4⁴·c_4_15·b_1_2⁴ + c_4_15·a_6_19²·b_1_2² + a_2_5²·b_6_32·c_8_60
        + a_2_5²·b_2_4³·b_4_14·c_4_15 + a_2_5²·b_2_4⁵·c_4_15 + c_8_60²·b_1_2²
        + b_2_4·c_4_15·c_8_60·b_1_2⁴ + b_2_4·c_4_15²·b_1_2⁸
        + b_2_4·b_4_14·c_4_15²·b_1_2⁴ + b_2_4²·b_4_14·c_4_15²·b_1_2²
        + b_2_4³·c_4_15²·b_1_2·b_3_7 + b_2_4³·c_4_15²·b_1_2⁴
        + a_2_5·b_4_14·c_4_15²·b_1_2⁴ + a_2_5·b_2_4·b_4_13·c_4_15²·b_1_2²
        + a_2_5·b_2_4²·c_4_15²·b_1_2·b_3_7 + a_2_5·b_2_4²·c_4_15²·b_1_2⁴
        + a_2_5·b_2_4²·b_4_13·c_4_15² + a_2_5·b_2_4³·c_4_15²·b_1_2²
        + c_4_15·c_8_60·a_1_1²·b_1_2⁴ + a_2_5²·b_2_4·c_4_15·c_8_60
        + a_2_5²·b_2_4³·c_4_15² + c_4_15³·a_1_1²·b_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 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_4_15, a Duflot regular element of degree 4
  2. c_8_60, a Duflot regular element of degree 8
  3. b_1_2⁴ + b_2_4·b_1_2² + b_2_4², an element of degree 4
  4. b_3_7 + b_2_4·b_1_2, an element of degree 3
• The Raw Filter Degree Type of that HSOP is [-1, -1, 8, 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. b_1_2 → 0, an element of degree 1
4. a_2_5 → 0, an element of degree 2
5. b_2_4 → 0, an element of degree 2
6. a_3_8 → 0, an element of degree 3
7. a_3_9 → 0, an element of degree 3
8. b_3_7 → 0, an element of degree 3
9. b_4_13 → 0, an element of degree 4
10. b_4_14 → 0, an element of degree 4
11. c_4_15 → c_1_0⁴, an element of degree 4
12. a_5_14 → 0, an element of degree 5
13. a_5_16 → 0, an element of degree 5
14. b_5_23 → 0, an element of degree 5
15. a_6_19 → 0, an element of degree 6
16. b_6_32 → 0, an element of degree 6
17. a_7_29 → 0, an element of degree 7
18. a_7_31 → 0, an element of degree 7
19. b_7_44 → 0, an element of degree 7
20. b_8_58 → 0, an element of degree 8
21. c_8_60 → c_1_1⁸ + c_1_0⁸, an element of degree 8
22. b_9_78 → 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. b_1_2 → c_1_2, an element of degree 1
4. a_2_5 → 0, an element of degree 2
5. b_2_4 → c_1_3², an element of degree 2
6. a_3_8 → 0, an element of degree 3
7. a_3_9 → 0, an element of degree 3
8. b_3_7 → c_1_2²·c_1_3, an element of degree 3
9. b_4_13 → 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
10. b_4_14 → c_1_2·c_1_3³ + c_1_2²·c_1_3² + c_1_2³·c_1_3, an element of degree 4
11. c_4_15 → c_1_2·c_1_3³ + c_1_0²·c_1_3² + c_1_0⁴, an element of degree 4
12. a_5_14 → 0, an element of degree 5
13. a_5_16 → 0, an element of degree 5
14. b_5_23 → 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, an element of degree 5
15. a_6_19 → 0, an element of degree 6
16. b_6_32 → 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_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, an element of degree 6
17. a_7_29 → 0, an element of degree 7
18. a_7_31 → 0, an element of degree 7
19. b_7_44 → c_1_2·c_1_3⁶ + c_1_2⁶·c_1_3 + c_1_1²·c_1_2⁴·c_1_3 + c_1_1⁴·c_1_2²·c_1_3
       + c_1_0²·c_1_2²·c_1_3³ + c_1_0²·c_1_2⁴·c_1_3, an element of degree 7
20. b_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_1²·c_1_2²·c_1_3⁴ + c_1_1²·c_1_2³·c_1_3³ + c_1_1⁴·c_1_3⁴
       + c_1_1⁴·c_1_2·c_1_3³ + c_1_0·c_1_2²·c_1_3⁵ + c_1_0·c_1_2⁶·c_1_3
       + c_1_0²·c_1_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², an element of degree 8
21. c_8_60 → 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_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⁸, an element of degree 8
22. b_9_78 → c_1_2²·c_1_3⁷ + c_1_2⁴·c_1_3⁵ + c_1_2⁵·c_1_3⁴ + c_1_2⁷·c_1_3²
       + c_1_1²·c_1_2⁵·c_1_3² + c_1_1⁴·c_1_2³·c_1_3² + c_1_1⁴·c_1_2⁵
       + c_1_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_1²·c_1_2⁴·c_1_3² + c_1_0·c_1_1⁴·c_1_2²·c_1_3²
       + c_1_0²·c_1_2⁴·c_1_3³ + c_1_0²·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0²·c_1_1⁴·c_1_2²·c_1_3 + c_1_0³·c_1_2⁴·c_1_3² + c_1_0⁴·c_1_2²·c_1_3³
       + c_1_0⁵·c_1_2²·c_1_3² + c_1_0⁶·c_1_2²·c_1_3 + c_1_0⁸·c_1_2, an element of degree 9

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128