David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 814 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 3.
• Its center has rank 1.
• It has a unique conjugacy class of maximal elementary abelian subgroups, which is of rank 3.

Structure of the cohomology ring

General information

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

  (t2  −  t  +  1) · (t12  −  2·t11  +  t10  −  t9  +  t7  −  2·t6  +  t3  −  t  −  1)

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

• The a-invariants are -∞,-4,-3,-3. They were obtained using the filter regular HSOP of the Benson test.

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

The cohomology ring has 23 minimal generators of maximal degree 16:

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. a_1_2, a nilpotent element of degree 1
4. b_2_3, an element of degree 2
5. b_2_4, an element of degree 2
6. a_3_6, a nilpotent element of degree 3
7. a_4_5, a nilpotent element of degree 4
8. a_4_6, a nilpotent element of degree 4
9. b_5_11, an element of degree 5
10. b_5_12, an element of degree 5
11. a_6_12, a nilpotent element of degree 6
12. a_7_16, a nilpotent element of degree 7
13. a_9_20, a nilpotent element of degree 9
14. a_9_22, a nilpotent element of degree 9
15. b_9_26, an element of degree 9
16. b_9_28, an element of degree 9
17. a_11_30, a nilpotent element of degree 11
18. a_12_36, a nilpotent element of degree 12
19. b_12_43, an element of degree 12
20. b_12_44, an element of degree 12
21. a_14_45, a nilpotent element of degree 14
22. a_15_55, a nilpotent element of degree 15
23. c_16_69, a Duflot regular element of degree 16

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 200 minimal relations of maximal degree 30:

1. a_1_1·a_1_2
2. a_1_0·a_1_2 + a_1_0²
3. a_1_2² + a_1_0·a_1_1
4. b_2_4·a_1_2 + b_2_4·a_1_0 + b_2_3·a_1_2 + a_1_1³
5. a_1_0·a_3_6
6. a_1_2·a_3_6
7. b_2_3·b_2_4·a_1_0 + b_2_4·a_1_1³ + b_2_3·a_1_1³
8. b_2_4·a_3_6 + b_2_3·b_2_4·a_1_0 + a_4_5·a_1_1 + a_1_1²·a_3_6
9. a_4_5·a_1_0 + a_1_1²·a_3_6
10. a_4_5·a_1_2
11. b_2_4·a_3_6 + b_2_3·a_3_6 + b_2_3·b_2_4·a_1_0 + a_4_6·a_1_1
12. a_4_6·a_1_0
13. a_4_6·a_1_2 + a_1_1²·a_3_6
14. a_3_6² + b_2_3·a_1_1⁴
15. a_1_0·b_5_11 + a_4_6·a_1_1²
16. a_1_1·b_5_12 + b_2_4·a_4_5 + b_2_4²·a_1_1² + b_2_3·b_2_4·a_1_1² + a_4_5·a_1_1²
17. a_1_2·b_5_11 + a_1_1·b_5_11 + a_1_0·b_5_12 + b_2_4·a_4_6 + b_2_4·a_4_5 + b_2_3²·a_1_1²
       + b_2_3·a_1_1⁴
18. a_1_2·b_5_12 + a_1_1·b_5_11 + b_2_4·a_4_6 + b_2_4·a_4_5 + b_2_3²·a_1_1²
       + a_4_5·a_1_1² + b_2_3·a_1_1⁴
19. a_4_5·a_3_6 + b_2_3·b_2_4·a_1_1³ + a_4_6·a_1_1³
20. a_4_6·a_3_6 + a_4_5·a_3_6 + b_2_3²·a_1_1³
21. b_2_4·b_5_11 + b_2_3·b_5_12 + b_2_3²·b_2_4·a_1_1 + b_2_3³·a_1_2 + b_2_3³·a_1_0
       + a_6_12·a_1_1 + b_2_4·a_4_5·a_1_1 + b_2_3·a_4_6·a_1_1 + b_2_3·a_4_5·a_1_1
       + b_2_3·b_2_4·a_1_1³ + a_4_5·a_1_1³
22. a_6_12·a_1_0 + a_4_5·a_3_6 + b_2_3·b_2_4·a_1_1³
23. a_6_12·a_1_2 + a_4_5·a_3_6 + b_2_3·b_2_4·a_1_1³ + a_4_5·a_1_1³
24. a_4_5² + b_2_3·b_2_4²·a_1_1²
25. a_4_6² + b_2_3·b_2_4²·a_1_1² + b_2_3³·a_1_1²
26. a_4_5·a_4_6 + b_2_3·b_2_4²·a_1_1² + b_2_3²·b_2_4·a_1_1² + b_2_3·a_4_6·a_1_1²
27. a_3_6·b_5_11 + b_2_3²·b_2_4·a_1_1² + b_2_3·a_4_6·a_1_1² + b_2_3·a_4_5·a_1_1²
28. a_3_6·b_5_12 + b_2_3·b_2_4²·a_1_1²
29. a_1_0·a_7_16
30. a_1_2·a_7_16
31. b_2_3·b_2_4²·a_1_1³ + b_2_3²·b_2_4·a_1_1³
32. a_4_6·b_5_11 + a_4_5·b_5_11 + b_2_3³·b_2_4·a_1_1 + b_2_3⁴·a_1_2 + b_2_3²·a_4_6·a_1_1
       + b_2_3²·a_4_5·a_1_1 + b_2_3²·b_2_4·a_1_1³ + b_2_3·a_4_5·a_1_1³
33. a_4_6·b_5_12 + a_4_6·b_5_11 + b_2_3·b_2_4³·a_1_1 + b_2_3³·b_2_4·a_1_1
       + b_2_4²·a_4_5·a_1_1 + b_2_3²·a_4_6·a_1_1 + b_2_3²·a_4_5·a_1_1 + b_2_3³·a_1_1³
34. a_4_5·b_5_12 + b_2_3·b_2_4³·a_1_1 + b_2_4²·a_4_5·a_1_1 + b_2_3·b_2_4·a_4_5·a_1_1
       + b_2_4³·a_1_1³ + b_2_3·a_4_5·a_1_1³
35. a_4_6·b_5_11 + b_2_3²·b_2_4²·a_1_1 + b_2_3³·b_2_4·a_1_1 + b_2_3⁴·a_1_2
       + a_6_12·a_3_6 + b_2_3·b_2_4·a_4_5·a_1_1 + b_2_3²·a_4_6·a_1_1 + b_2_3²·a_4_5·a_1_1
36. a_4_6·b_5_11 + b_2_3²·b_2_4²·a_1_1 + b_2_3³·b_2_4·a_1_1 + b_2_3⁴·a_1_2
       + b_2_3·b_2_4·a_4_5·a_1_1 + b_2_3²·a_4_6·a_1_1 + b_2_3²·a_4_5·a_1_1 + a_1_1²·a_7_16
       + b_2_4³·a_1_1³ + b_2_3²·b_2_4·a_1_1³ + b_2_3³·a_1_1³
37. b_5_11·b_5_12 + b_5_11² + b_2_3²·b_2_4³ + b_2_3³·b_2_4² + b_2_3²·a_1_1·b_5_11
       + b_2_3²·b_2_4·a_4_6 + a_4_5·a_6_12 + b_2_3·b_2_4³·a_1_1²
       + b_2_3²·b_2_4²·a_1_1² + b_2_4·a_6_12·a_1_1² + b_2_3·a_6_12·a_1_1²
       + b_2_3²·a_4_6·a_1_1² + b_2_3²·a_4_5·a_1_1²
38. b_5_11·b_5_12 + b_5_11² + b_2_3²·b_2_4³ + b_2_3³·b_2_4² + b_2_3²·a_1_1·b_5_11
       + b_2_3²·b_2_4·a_4_6 + a_4_6·a_6_12 + b_2_3·a_1_1·a_7_16 + b_2_3⁴·a_1_1²
       + b_2_4·a_6_12·a_1_1² + b_2_3·a_6_12·a_1_1²
39. a_3_6·a_7_16 + b_2_4²·a_4_5·a_1_1² + b_2_3·a_6_12·a_1_1²
       + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_6·a_1_1² + b_2_3²·a_4_5·a_1_1²
40. b_5_11·b_5_12 + b_5_11² + b_2_3²·b_2_4³ + b_2_3³·b_2_4² + b_2_3²·a_1_1·b_5_11
       + b_2_3²·b_2_4·a_4_6 + b_2_4·a_1_1·a_7_16 + b_2_4⁴·a_1_1²
       + b_2_3²·b_2_4²·a_1_1² + b_2_3³·b_2_4·a_1_1² + b_2_3²·a_4_6·a_1_1²
41. b_5_12² + b_2_3·b_2_4⁴ + b_2_4³·a_4_6 + b_2_4³·a_4_5 + b_2_3·b_2_4²·a_4_5
       + a_1_1·a_9_20 + b_2_3⁴·a_1_1² + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_6·a_1_1²
       + b_2_3²·a_4_5·a_1_1²
42. a_1_0·a_9_20 + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_5·a_1_1²
43. b_5_11² + b_2_3³·b_2_4² + b_2_3²·a_1_1·b_5_11 + b_2_3²·b_2_4·a_4_6
       + b_2_3²·b_2_4·a_4_5 + a_1_2·a_9_20 + b_2_3·b_2_4·a_4_5·a_1_1²
44. a_1_1·a_9_22 + a_4_6·a_6_12 + b_2_4⁴·a_1_1² + b_2_3·b_2_4³·a_1_1²
       + b_2_3²·b_2_4²·a_1_1² + b_2_3·a_6_12·a_1_1² + b_2_3²·a_4_6·a_1_1²
45. b_5_12² + b_5_11² + b_2_3·b_2_4⁴ + b_2_3³·b_2_4² + b_2_4³·a_4_6 + b_2_4³·a_4_5
       + b_2_3·b_2_4²·a_4_5 + b_2_3²·a_1_1·b_5_11 + b_2_3²·b_2_4·a_4_6
       + b_2_3²·b_2_4·a_4_5 + a_1_0·a_9_22 + b_2_3·b_2_4³·a_1_1²
       + b_2_3²·b_2_4²·a_1_1² + b_2_4·a_6_12·a_1_1² + b_2_3²·a_4_5·a_1_1²
46. b_5_12² + b_2_3·b_2_4⁴ + b_2_4³·a_4_6 + b_2_4³·a_4_5 + b_2_3·b_2_4²·a_4_5
       + a_1_2·a_9_22 + b_2_3·b_2_4³·a_1_1² + b_2_3²·b_2_4²·a_1_1²
       + b_2_4·a_6_12·a_1_1² + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_5·a_1_1²
47. b_5_12² + b_2_3·b_2_4⁴ + a_1_0·b_9_26 + b_2_4³·a_4_6 + b_2_4³·a_4_5
       + b_2_3·b_2_4²·a_4_5 + b_2_3·b_2_4³·a_1_1² + b_2_3²·b_2_4²·a_1_1²
       + b_2_4²·a_4_5·a_1_1² + b_2_3·a_6_12·a_1_1² + b_2_3²·a_4_6·a_1_1²
       + b_2_3²·a_4_5·a_1_1²
48. a_1_2·b_9_26 + b_2_4·a_6_12·a_1_1² + b_2_4²·a_4_5·a_1_1² + b_2_3²·a_4_5·a_1_1²
49. a_1_1·b_9_28 + b_2_4³·a_4_5 + b_2_3·b_2_4·a_6_12 + b_2_3²·a_6_12 + b_2_3²·b_2_4·a_4_6
       + b_2_3²·b_2_4·a_4_5 + b_2_3³·a_4_6 + b_2_3³·a_4_5 + a_4_6·a_6_12
       + b_2_3²·b_2_4²·a_1_1² + b_2_3³·b_2_4·a_1_1² + b_2_4²·a_4_5·a_1_1²
       + b_2_3·a_6_12·a_1_1² + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_5·a_1_1²
50. b_5_12² + b_5_11² + b_2_3·b_2_4⁴ + b_2_3³·b_2_4² + a_1_0·b_9_28
       + b_2_3²·a_1_1·b_5_11 + b_2_3³·a_4_5 + b_2_3³·b_2_4·a_1_1² + b_2_3⁴·a_1_1²
       + b_2_4·a_6_12·a_1_1² + b_2_3·b_2_4·a_4_5·a_1_1² + b_2_3²·a_4_6·a_1_1²
51. b_5_12² + b_2_3·b_2_4⁴ + a_1_2·b_9_28 + b_2_4·a_6_12·a_1_1²
       + b_2_3²·a_4_5·a_1_1²
52. a_6_12·b_5_11 + b_2_3·b_2_4·a_7_16 + b_2_3·b_2_4⁴·a_1_1 + b_2_3²·b_2_4³·a_1_1
       + b_2_3⁴·b_2_4·a_1_1 + a_4_6·a_7_16 + b_2_4³·a_4_5·a_1_1 + b_2_3·b_2_4·a_6_12·a_1_1
       + b_2_3²·b_2_4·a_4_5·a_1_1 + b_2_3³·a_4_6·a_1_1 + b_2_3³·a_4_5·a_1_1
       + b_2_3·a_1_1²·a_7_16 + b_2_3³·b_2_4·a_1_1³ + b_2_3⁴·a_1_1³
53. a_4_6·a_7_16 + b_2_4³·a_4_5·a_1_1 + b_2_3·b_2_4·a_6_12·a_1_1 + b_2_3²·a_6_12·a_1_1
       + b_2_3²·b_2_4·a_4_5·a_1_1 + b_2_3³·a_4_6·a_1_1 + b_2_4·a_1_1²·a_7_16
       + b_2_4⁴·a_1_1³ + b_2_3·a_1_1²·a_7_16 + b_2_3³·b_2_4·a_1_1³
54. a_6_12·b_5_12 + b_2_4²·a_7_16 + b_2_4⁵·a_1_1 + b_2_4⁵·a_1_0 + b_2_3·b_2_4⁴·a_1_1
       + b_2_3³·b_2_4²·a_1_1 + b_2_3²·b_2_4·a_4_5·a_1_1 + b_2_4⁴·a_1_1³
       + b_2_3·a_1_1²·a_7_16
55. a_4_6·a_7_16 + a_4_5·a_7_16 + b_2_3·b_2_4²·a_4_5·a_1_1 + b_2_3²·a_6_12·a_1_1
       + b_2_3²·b_2_4·a_4_5·a_1_1 + b_2_3³·a_4_6·a_1_1 + b_2_3³·a_4_5·a_1_1
       + b_2_3⁴·a_1_1³
56. a_6_12·b_5_11 + b_2_4·a_9_20 + b_2_4⁵·a_1_0 + b_2_3·a_9_22 + b_2_3²·a_7_16
       + b_2_3²·b_2_4³·a_1_1 + b_2_3⁴·b_2_4·a_1_1 + b_2_3⁵·a_1_1 + a_1_1²·b_9_26
       + a_4_6·a_7_16 + b_2_4²·a_6_12·a_1_1 + b_2_4³·a_4_5·a_1_1 + b_2_3³·a_4_6·a_1_1
       + b_2_3·a_1_1²·a_7_16 + b_2_3³·b_2_4·a_1_1³ + b_2_3⁴·a_1_1³
57. b_5_11·a_7_16 + b_2_3·b_2_4³·a_4_5 + b_2_3²·b_2_4·a_6_12 + b_2_3²·b_2_4²·a_4_5
       + b_2_3³·a_1_1·b_5_11 + b_2_3·b_2_4⁴·a_1_1² + b_2_3²·a_1_1·a_7_16
       + b_2_3³·b_2_4²·a_1_1² + b_2_3⁴·b_2_4·a_1_1² + b_2_3⁵·a_1_1²
       + b_2_4²·a_6_12·a_1_1² + b_2_4³·a_4_5·a_1_1²
58. b_5_12·a_7_16 + b_2_4⁴·a_4_6 + b_2_3·b_2_4²·a_6_12 + b_2_3³·a_1_1·b_5_11
       + b_2_3³·b_2_4·a_4_6 + b_2_4⁵·a_1_1² + b_2_3·b_2_4⁴·a_1_1²
       + b_2_3⁴·b_2_4·a_1_1² + b_2_3⁵·a_1_1² + b_2_4²·a_6_12·a_1_1²
       + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·a_6_12·a_1_1² + b_2_3³·a_4_6·a_1_1²
59. a_3_6·a_9_20 + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·b_2_4·a_4_5·a_1_1²
       + b_2_3³·a_4_6·a_1_1² + b_2_3³·a_4_5·a_1_1²
60. a_3_6·a_9_22 + b_2_4³·a_4_5·a_1_1² + b_2_3·b_2_4·a_6_12·a_1_1²
       + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_4_5·a_1_1²
61. a_6_12² + b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1² + b_2_3⁵·a_1_1²
       + a_1_1³·b_9_26 + b_2_4²·a_6_12·a_1_1² + b_2_3·b_2_4·a_6_12·a_1_1²
       + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·a_6_12·a_1_1² + b_2_3³·a_4_6·a_1_1²
62. a_3_6·b_9_28 + b_2_3·b_2_4·a_1_1·a_7_16 + b_2_3²·a_1_1·a_7_16
       + b_2_3³·b_2_4²·a_1_1² + b_2_4³·a_4_5·a_1_1² + b_2_3·b_2_4·a_6_12·a_1_1²
       + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_4_5·a_1_1² + b_2_3³·a_4_6·a_1_1² + b_2_3³·a_4_5·a_1_1²
63. a_3_6·b_9_26 + b_2_4·a_1_1·b_9_26 + b_2_3·a_1_1·b_9_26 + b_2_3·b_2_4²·a_6_12
       + b_2_3·b_2_4³·a_4_5 + b_2_3²·b_2_4·a_6_12 + b_2_3³·a_1_1·b_5_11 + a_1_1·a_11_30
       + a_6_12² + b_2_4²·a_1_1·a_7_16 + b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1²
       + b_2_4²·a_6_12·a_1_1² + b_2_3·b_2_4·a_6_12·a_1_1² + b_2_3²·a_6_12·a_1_1²
       + b_2_3³·a_4_6·a_1_1² + b_2_3³·a_4_5·a_1_1²
64. a_1_0·a_11_30 + a_6_12² + b_2_4⁵·a_1_1² + b_2_3·a_1_1·a_9_20
       + b_2_3²·b_2_4³·a_1_1² + b_2_3³·b_2_4²·a_1_1² + b_2_3⁴·b_2_4·a_1_1²
       + b_2_4²·a_6_12·a_1_1² + b_2_3·b_2_4²·a_4_5·a_1_1² + b_2_3²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_4_5·a_1_1² + b_2_3³·a_4_5·a_1_1²
65. a_1_2·a_11_30 + b_2_3·a_1_1·a_9_20 + b_2_3²·b_2_4³·a_1_1²
       + b_2_3³·b_2_4²·a_1_1² + b_2_3⁵·a_1_1² + b_2_3³·a_4_6·a_1_1²
       + b_2_3³·a_4_5·a_1_1²
66. a_6_12·a_7_16 + a_4_6·a_9_20 + b_2_4³·a_6_12·a_1_1 + b_2_4⁴·a_4_5·a_1_1
       + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3·b_2_4³·a_4_5·a_1_1 + b_2_3³·a_6_12·a_1_1
       + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_4⁵·a_1_1³ + b_2_3⁴·b_2_4·a_1_1³
       + b_2_3⁵·a_1_1³
67. a_6_12·a_7_16 + a_4_5·a_9_20 + b_2_4³·a_6_12·a_1_1 + b_2_4⁴·a_4_5·a_1_1
       + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3·b_2_4³·a_4_5·a_1_1
       + b_2_3²·b_2_4²·a_4_5·a_1_1 + b_2_3³·a_6_12·a_1_1 + b_2_3⁴·a_4_6·a_1_1
       + b_2_3⁴·a_4_5·a_1_1 + b_2_4⁵·a_1_1³ + b_2_3·b_2_4·a_1_1²·a_7_16
       + b_2_3⁴·b_2_4·a_1_1³
68. a_6_12·a_7_16 + a_4_6·a_9_22 + b_2_4³·a_6_12·a_1_1 + b_2_3³·b_2_4·a_4_5·a_1_1
       + b_2_3⁴·a_4_6·a_1_1 + b_2_4²·a_1_1²·a_7_16 + b_2_3²·a_1_1²·a_7_16
       + b_2_3⁴·b_2_4·a_1_1³
69. a_4_5·a_9_22 + b_2_4⁴·a_4_5·a_1_1 + b_2_3·b_2_4²·a_6_12·a_1_1
       + b_2_3·b_2_4³·a_4_5·a_1_1 + b_2_3²·b_2_4·a_6_12·a_1_1
       + b_2_3²·b_2_4²·a_4_5·a_1_1 + b_2_3²·a_1_1²·a_7_16 + b_2_3⁵·a_1_1³
70. b_2_3·b_2_4·a_9_22 + b_2_3·b_2_4²·a_7_16 + b_2_3²·a_9_22 + b_2_3²·b_2_4⁴·a_1_1
       + b_2_3³·a_7_16 + b_2_3³·b_2_4³·a_1_1 + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁶·a_1_1
       + b_2_4·a_1_1²·b_9_26 + b_2_3·b_2_4³·a_4_5·a_1_1 + b_2_3²·b_2_4²·a_4_5·a_1_1
       + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_3⁴·a_4_5·a_1_1 + b_2_4²·a_1_1²·a_7_16
       + b_2_4⁵·a_1_1³
71. a_4_6·b_9_28 + b_2_3·b_2_4²·a_7_16 + b_2_3³·a_7_16 + b_2_3³·b_2_4³·a_1_1
       + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁶·a_1_2 + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1
       + b_2_4⁴·a_4_5·a_1_1 + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3·b_2_4³·a_4_5·a_1_1
       + b_2_3³·a_6_12·a_1_1 + b_2_3⁴·a_4_6·a_1_1 + b_2_3⁴·a_4_5·a_1_1
       + b_2_4²·a_1_1²·a_7_16 + b_2_4⁵·a_1_1³ + b_2_3·b_2_4·a_1_1²·a_7_16
72. a_4_5·b_9_28 + b_2_3·b_2_4²·a_7_16 + b_2_3²·b_2_4·a_7_16 + b_2_3³·b_2_4³·a_1_1
       + b_2_3²·b_2_4·a_6_12·a_1_1 + b_2_3²·b_2_4²·a_4_5·a_1_1 + b_2_3³·a_6_12·a_1_1
       + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_3⁴·a_4_6·a_1_1 + b_2_3·b_2_4·a_1_1²·a_7_16
       + b_2_3⁵·a_1_1³
73. b_2_3·b_2_4·b_9_28 + b_2_3·b_2_4·b_9_26 + b_2_3·b_2_4³·b_5_12 + b_2_3²·b_9_26
       + b_2_3²·b_2_4²·b_5_12 + b_2_3⁴·b_5_12 + a_4_6·b_9_26 + a_4_5·b_9_26 + b_2_3·a_11_30
       + b_2_3·b_2_4·a_9_22 + b_2_3·b_2_4²·a_7_16 + b_2_3²·a_9_22 + b_2_3²·b_2_4·a_7_16
       + b_2_3²·b_2_4⁴·a_1_1 + b_2_3³·a_7_16 + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁵·b_2_4·a_1_1
       + b_2_3⁶·a_1_2 + b_2_3⁶·a_1_1 + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1
       + b_2_4⁴·a_4_5·a_1_1 + b_2_3·a_1_1²·b_9_26 + b_2_3·b_2_4²·a_6_12·a_1_1
       + b_2_3²·b_2_4·a_6_12·a_1_1 + b_2_3²·a_1_1²·a_7_16 + b_2_3⁴·b_2_4·a_1_1³
       + b_2_3⁵·a_1_1³
74. b_2_3·b_2_4·a_9_22 + b_2_3·b_2_4²·a_7_16 + b_2_3²·a_9_22 + b_2_3²·b_2_4⁴·a_1_1
       + b_2_3³·a_7_16 + b_2_3³·b_2_4³·a_1_1 + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁶·a_1_1
       + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1 + b_2_4⁴·a_4_5·a_1_1 + b_2_3·a_1_1²·b_9_26
       + b_2_3²·b_2_4·a_6_12·a_1_1 + b_2_3²·b_2_4²·a_4_5·a_1_1 + b_2_3³·a_6_12·a_1_1
       + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_3⁴·a_4_6·a_1_1 + a_1_1²·a_11_30
       + b_2_4²·a_1_1²·a_7_16 + b_2_4⁵·a_1_1³ + b_2_3·b_2_4·a_1_1²·a_7_16
       + b_2_3⁵·a_1_1³
75. b_2_4²·b_9_28 + b_2_4²·b_9_26 + b_2_4⁴·b_5_12 + b_2_3·b_2_4·b_9_26
       + b_2_3·b_2_4³·b_5_12 + b_2_3³·b_2_4·b_5_12 + a_4_5·b_9_26 + b_2_4·a_11_30
       + b_2_4²·a_9_22 + b_2_4³·a_7_16 + b_2_4⁶·a_1_0 + b_2_3·b_2_4·a_9_22
       + b_2_3·b_2_4²·a_7_16 + b_2_3·b_2_4⁵·a_1_1 + b_2_3²·b_2_4·a_7_16
       + b_2_3³·b_2_4³·a_1_1 + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁵·b_2_4·a_1_1 + b_2_3⁶·a_1_2
       + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1 + b_2_4⁴·a_4_5·a_1_1 + b_2_3·a_1_1²·b_9_26
       + b_2_3²·b_2_4·a_6_12·a_1_1 + b_2_3³·a_6_12·a_1_1 + b_2_3³·b_2_4·a_4_5·a_1_1
       + b_2_3⁴·a_4_6·a_1_1 + b_2_3⁴·a_4_5·a_1_1 + b_2_3⁴·b_2_4·a_1_1³ + b_2_3⁵·a_1_1³
76. a_4_6·b_9_26 + b_2_3·b_2_4²·a_7_16 + b_2_3·b_2_4⁵·a_1_1 + b_2_3²·b_2_4·a_7_16
       + b_2_3²·b_2_4⁴·a_1_1 + b_2_3³·b_2_4³·a_1_1 + b_2_3⁴·b_2_4²·a_1_1 + a_12_36·a_1_1
       + b_2_4³·a_6_12·a_1_1 + b_2_3·b_2_4³·a_4_5·a_1_1 + b_2_3²·b_2_4·a_6_12·a_1_1
       + b_2_3³·a_6_12·a_1_1 + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_3·b_2_4·a_1_1²·a_7_16
77. a_12_36·a_1_0
78. a_12_36·a_1_2 + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1 + b_2_4⁴·a_4_5·a_1_1
       + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3³·a_6_12·a_1_1 + b_2_3⁴·a_4_6·a_1_1
       + b_2_4²·a_1_1²·a_7_16 + b_2_3⁴·b_2_4·a_1_1³
79. b_12_43·a_1_1 + b_2_3·b_2_4·a_9_22 + b_2_3²·a_9_22 + b_2_3²·b_2_4·a_7_16
       + b_2_3²·b_2_4⁴·a_1_1 + b_2_3³·a_7_16 + b_2_3⁴·b_2_4²·a_1_1 + b_2_3⁵·b_2_4·a_1_1
       + a_6_12·a_7_16 + b_2_3·a_1_1²·b_9_26 + b_2_3²·b_2_4²·a_4_5·a_1_1
       + b_2_3³·a_6_12·a_1_1 + b_2_4²·a_1_1²·a_7_16 + b_2_3²·a_1_1²·a_7_16
       + b_2_3⁵·a_1_1³
80. b_12_43·a_1_0 + b_2_3⁶·a_1_0 + b_2_4²·a_1_1²·a_7_16 + b_2_3²·a_1_1²·a_7_16
       + b_2_3⁴·b_2_4·a_1_1³ + b_2_3⁵·a_1_1³
81. b_12_43·a_1_2 + b_2_3⁶·a_1_2 + b_2_4²·a_1_1²·a_7_16
82. b_12_44·a_1_1 + a_4_5·b_9_26 + b_2_4⁶·a_1_1 + b_2_3³·b_2_4³·a_1_1 + b_2_3⁶·a_1_1
       + b_2_3·a_1_1²·b_9_26 + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3·b_2_4³·a_4_5·a_1_1
       + b_2_3²·b_2_4·a_6_12·a_1_1 + b_2_3³·b_2_4·a_4_5·a_1_1 + b_2_3⁴·a_4_6·a_1_1
       + b_2_3⁴·a_4_5·a_1_1 + b_2_4²·a_1_1²·a_7_16 + b_2_3·b_2_4·a_1_1²·a_7_16
       + b_2_3²·a_1_1²·a_7_16
83. b_12_44·a_1_0 + b_2_4⁶·a_1_0 + b_2_3⁶·a_1_0 + a_6_12·a_7_16 + b_2_4³·a_6_12·a_1_1
       + b_2_4⁴·a_4_5·a_1_1 + b_2_3·b_2_4²·a_6_12·a_1_1 + b_2_3³·a_6_12·a_1_1
       + b_2_3⁴·a_4_6·a_1_1 + b_2_4⁵·a_1_1³
84. b_12_44·a_1_2 + b_2_4⁶·a_1_0 + b_2_3⁶·a_1_2 + b_2_4²·a_1_1²·a_7_16
       + b_2_4⁵·a_1_1³ + b_2_3⁴·b_2_4·a_1_1³
85. b_5_12·a_9_20 + b_5_11·a_9_22 + b_2_4⁵·a_4_6 + b_2_4⁵·a_4_5 + b_2_3·b_2_4⁴·a_4_5
       + b_2_3²·b_2_4²·a_6_12 + b_2_3³·b_2_4·a_6_12 + b_2_3³·b_2_4²·a_4_5
       + b_2_3⁴·a_1_1·b_5_11 + b_2_3⁴·b_2_4·a_4_6 + a_4_5·a_1_1·b_9_26
       + b_2_4³·a_1_1·a_7_16 + b_2_4⁶·a_1_1² + b_2_3·b_2_4²·a_1_1·a_7_16
       + b_2_3·b_2_4⁵·a_1_1² + b_2_3²·b_2_4·a_1_1·a_7_16 + b_2_3³·a_1_1·a_7_16
       + b_2_3⁴·b_2_4²·a_1_1² + b_2_3⁵·b_2_4·a_1_1² + b_2_4⁴·a_4_5·a_1_1²
       + b_2_3·b_2_4²·a_6_12·a_1_1² + b_2_3³·b_2_4·a_4_5·a_1_1²
       + b_2_3⁴·a_4_5·a_1_1²
86. a_7_16² + b_2_4⁶·a_1_1² + b_2_3·b_2_4⁵·a_1_1² + b_2_3²·b_2_4⁴·a_1_1²
       + b_2_3⁵·b_2_4·a_1_1² + b_2_3·b_2_4²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_6_12·a_1_1² + b_2_3³·a_6_12·a_1_1²
       + b_2_3³·b_2_4·a_4_5·a_1_1² + b_2_3⁴·a_4_6·a_1_1² + a_1_1³·a_11_30
87. b_5_11·a_9_22 + b_5_11·a_9_20 + b_2_3·b_2_4⁴·a_4_5 + b_2_3²·b_2_4²·a_6_12
       + b_2_3³·b_2_4·a_6_12 + b_2_3⁴·a_1_1·b_5_11 + a_3_6·a_11_30 + b_2_3·b_2_4⁵·a_1_1²
       + b_2_3²·b_2_4·a_1_1·a_7_16 + b_2_3²·b_2_4⁴·a_1_1² + b_2_3³·a_1_1·a_7_16
       + b_2_3³·b_2_4³·a_1_1² + b_2_3⁵·b_2_4·a_1_1² + b_2_3⁶·a_1_1²
       + b_2_4³·a_6_12·a_1_1² + b_2_4⁴·a_4_5·a_1_1² + b_2_3·b_2_4²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_4_6·a_1_1² + b_2_3⁴·a_4_5·a_1_1²
88. b_5_11·a_9_22 + b_5_11·a_9_20 + b_2_3·b_2_4⁴·a_4_5 + b_2_3²·b_2_4²·a_6_12
       + b_2_3³·b_2_4·a_6_12 + b_2_3⁴·a_1_1·b_5_11 + b_2_3·b_2_4⁵·a_1_1²
       + b_2_3²·b_2_4·a_1_1·a_7_16 + b_2_3²·b_2_4⁴·a_1_1² + b_2_3³·a_1_1·a_7_16
       + b_2_3³·b_2_4³·a_1_1² + b_2_3⁵·b_2_4·a_1_1² + b_2_3⁶·a_1_1²
       + a_12_36·a_1_1² + b_2_3·b_2_4²·a_6_12·a_1_1² + b_2_3²·b_2_4·a_6_12·a_1_1²
       + b_2_3³·a_6_12·a_1_1² + b_2_3⁴·a_4_6·a_1_1² + b_2_3⁴·a_4_5·a_1_1²
89. b_5_12·b_9_28 + b_5_12·b_9_26 + b_5_11·b_9_26 + b_2_3·b_2_4⁶ + b_2_3²·b_2_4⁵
       + b_2_3⁴·b_2_4³ + b_5_12·a_9_20 + b_5_11·a_9_22 + b_2_4·a_12_36 + b_2_4⁴·a_6_12
       + b_2_4⁵·a_4_5 + b_2_3·b_2_4⁴·a_4_5 + b_2_3²·a_1_1·b_9_26 + b_2_3²·b_2_4³·a_4_5
       + b_2_3⁴·b_2_4·a_4_6 + b_2_3⁵·a_4_5 + a_7_16² + b_2_4·a_1_1·a_11_30
       + b_2_3·b_2_4⁵·a_1_1² + b_2_3²·b_2_4·a_1_1·a_7_16 + b_2_3³·a_1_1·a_7_16
       + b_2_3⁴·b_2_4²·a_1_1² + b_2_4⁴·a_4_5·a_1_1² + b_2_3·b_2_4²·a_6_12·a_1_1²
       + b_2_3³·b_2_4·a_4_5·a_1_1² + b_2_3⁴·a_4_6·a_1_1² + b_2_3⁴·a_4_5·a_1_1²
90. b_5_11·b_9_28 + b_2_3·b_12_43 + b_2_3⁶·b_2_4 + b_2_3⁷ + b_5_11·a_9_22
       + b_2_3·b_2_4³·a_6_12 + b_2_3·b_2_4⁴·a_4_5 + b_2_3²·b_2_4³·a_4_5 + b_2_3⁴·a_6_12
       + b_2_3⁴·b_2_4·a_4_6 + a_7_16² + b_2_4³·a_1_1·a_7_16 + b_2_3·a_1_1·a_11_30
       + b_2_3·b_2_4²·a_1_1·a_7_16 + b_2_3·b_2_4⁵·a_1_1² + b_2_3³·a_1_1·a_7_16
       + b_2_3³·b_2_4³·a_1_1² + b_2_3⁵·b_2_4·a_1_1² + b_2_3⁶·a_1_1²
       + b_2_3²·b_2_4·a_6_12·a_1_1² + b_2_3³·b_2_4·a_4_5·a_1_1²
91. b_5_12·b_9_28 + b_2_4·b_12_43 + b_2_3⁵·b_2_4² + b_2_3⁶·b_2_4 + b_5_12·a_9_22
       + b_2_4⁴·a_6_12 + b_2_4⁵·a_4_6 + b_2_3·b_2_4⁴·a_4_5 + b_2_3²·b_2_4²·a_6_12
       + b_2_3³·b_2_4²·a_4_5 + b_2_3⁴·a_1_1·b_5_11 + b_2_3⁴·b_2_4·a_4_6
       + b_2_3⁴·b_2_4·a_4_5 + b_2_3⁵·a_4_5 + b_2_4·a_1_1·a_11_30
       + b_2_3·b_2_4²·a_1_1·a_7_16 + b_2_3²·b_2_4·a_1_1·a_7_16 + b_2_3⁵·b_2_4·a_1_1²
       + b_2_4⁴·a_4_5·a_1_1² + b_2_3²·b_2_4·a_6_12·a_1_1² + b_2_3³·a_6_12·a_1_1²
       + b_2_3³·b_2_4·a_4_5·a_1_1² + b_2_3⁴·a_4_5·a_1_1²
92. b_5_12·b_9_26 + b_2_4·b_12_44 + b_2_4⁷ + b_2_3³·b_2_4⁴ + b_2_3⁶·b_2_4
       + b_5_12·a_9_20 + b_5_11·a_9_20 + b_2_4⁵·a_4_6 + b_2_4⁵·a_4_5 + b_2_3²·a_1_1·b_9_26
       + b_2_3²·b_2_4²·a_6_12 + b_2_3²·b_2_4³·a_4_5 + b_2_3³·b_2_4·a_6_12
       + b_2_3⁴·a_1_1·b_5_11 + a_7_16² + b_2_4·a_1_1·a_11_30 + b_2_4³·a_1_1·a_7_16
       + b_2_3·a_1_1·a_11_30 + b_2_3³·b_2_4³·a_1_1² + b_2_3⁴·b_2_4²·a_1_1²
       + b_2_4³·a_6_12·a_1_1² + b_2_4⁴·a_4_5·a_1_1² + b_2_3·b_2_4²·a_6_12·a_1_1²
       + b_2_3²·b_2_4·a_6_12·a_1_1² + b_2_3³·b_2_4·a_4_5·a_1_1²
       + b_2_3⁴·a_4_6·a_1_1² + b_2_3⁴·a_4_5·a_1_1²
93. a_6_12·a_9_22 + a_6_12·a_9_20 + b_2_4⁴·a_6_12·a_1_1 + b_2_4⁵·a_4_5·a_1_1
       + b_2_3·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁴·a_6_12·a_1_1 + b_2_3⁴·b_2_4·a_4_5·a_1_1
       + b_2_3⁵·a_4_6·a_1_1 + b_2_3⁵·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_7_16
       + b_2_3³·a_1_1²·a_7_16
94. a_6_12·a_9_20 + b_2_3·b_2_4³·a_6_12·a_1_1 + b_2_3²·b_2_4²·a_6_12·a_1_1
       + b_2_3⁴·a_6_12·a_1_1 + a_4_5·a_1_1²·b_9_26 + b_2_4⁶·a_1_1³
       + b_2_3²·b_2_4·a_1_1²·a_7_16 + b_2_3³·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1³
       + b_2_3⁶·a_1_1³
95. a_6_12·a_9_20 + a_4_6·a_11_30 + a_4_5·a_11_30 + b_2_3·a_12_36·a_1_1
       + b_2_3·b_2_4⁴·a_4_5·a_1_1 + b_2_3²·a_1_1²·b_9_26 + b_2_3²·b_2_4²·a_6_12·a_1_1
       + b_2_3³·b_2_4²·a_4_5·a_1_1 + b_2_3⁴·b_2_4·a_4_5·a_1_1 + b_2_4⁶·a_1_1³
       + b_2_3·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1³
       + b_2_3⁶·a_1_1³
96. a_6_12·b_9_28 + b_2_4⁴·a_7_16 + b_2_4⁷·a_1_1 + b_2_4⁷·a_1_0 + b_2_3²·b_2_4⁵·a_1_1
       + b_2_3³·b_2_4·a_7_16 + b_2_3⁴·a_7_16 + b_2_3⁶·b_2_4·a_1_1 + b_2_4⁴·a_6_12·a_1_1
       + b_2_4⁵·a_4_5·a_1_1 + b_2_3·b_2_4⁴·a_4_5·a_1_1 + b_2_3²·b_2_4³·a_4_5·a_1_1
       + b_2_3³·b_2_4²·a_4_5·a_1_1 + b_2_3⁴·a_6_12·a_1_1 + b_2_3⁵·a_4_6·a_1_1
       + b_2_3⁵·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_7_16 + b_2_3·a_1_1²·a_11_30
       + b_2_3²·b_2_4·a_1_1²·a_7_16 + b_2_3³·a_1_1²·a_7_16 + b_2_3⁶·a_1_1³
       + a_12_36·a_1_1³
97. a_12_36·a_3_6 + a_6_12·a_9_20 + b_2_3·b_2_4³·a_6_12·a_1_1
       + b_2_3²·b_2_4²·a_6_12·a_1_1 + b_2_3⁴·a_6_12·a_1_1 + b_2_4³·a_1_1²·a_7_16
       + b_2_3·a_1_1²·a_11_30 + b_2_3·b_2_4²·a_1_1²·a_7_16
98. a_6_12·a_9_20 + a_4_5·a_11_30 + b_2_4·a_12_36·a_1_1 + b_2_4⁴·a_6_12·a_1_1
       + b_2_4⁵·a_4_5·a_1_1 + b_2_3·b_2_4³·a_6_12·a_1_1 + b_2_3²·a_1_1²·b_9_26
       + b_2_3³·b_2_4²·a_4_5·a_1_1 + b_2_3⁴·a_6_12·a_1_1 + b_2_3⁵·a_4_5·a_1_1
       + b_2_3·b_2_4²·a_1_1²·a_7_16 + b_2_3²·b_2_4·a_1_1²·a_7_16
       + b_2_3³·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1³
99. b_12_43·a_3_6 + a_6_12·b_9_28 + b_2_4⁴·a_7_16 + b_2_4⁷·a_1_1 + b_2_4⁷·a_1_0
       + b_2_3²·b_2_4⁵·a_1_1 + b_2_3³·b_2_4·a_7_16 + b_2_3⁴·a_7_16 + b_2_3⁶·b_2_4·a_1_1
       + b_2_4⁴·a_6_12·a_1_1 + b_2_4⁵·a_4_5·a_1_1 + b_2_3²·b_2_4²·a_6_12·a_1_1
       + b_2_3²·b_2_4³·a_4_5·a_1_1 + b_2_3³·b_2_4·a_6_12·a_1_1
       + b_2_3³·b_2_4²·a_4_5·a_1_1 + b_2_3⁴·a_6_12·a_1_1 + b_2_3⁴·b_2_4·a_4_5·a_1_1
       + b_2_4⁶·a_1_1³ + b_2_3·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_7_16
100. b_12_44·a_3_6 + a_6_12·b_9_28 + b_2_4⁴·a_7_16 + b_2_4⁷·a_1_1 + b_2_4⁷·a_1_0
        + b_2_3²·b_2_4⁵·a_1_1 + b_2_3³·b_2_4·a_7_16 + b_2_3⁴·a_7_16 + b_2_3⁶·b_2_4·a_1_1
        + b_2_4⁴·a_6_12·a_1_1 + b_2_3·b_2_4⁴·a_4_5·a_1_1 + b_2_3²·a_1_1²·b_9_26
        + b_2_3²·b_2_4²·a_6_12·a_1_1 + b_2_3³·b_2_4·a_6_12·a_1_1 + b_2_3⁴·a_6_12·a_1_1
        + b_2_3⁵·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_7_16 + b_2_4⁶·a_1_1³
        + b_2_3·b_2_4²·a_1_1²·a_7_16 + b_2_3²·b_2_4·a_1_1²·a_7_16
        + b_2_3³·a_1_1²·a_7_16 + b_2_3⁶·a_1_1³
101. a_6_12·b_9_28 + a_6_12·b_9_26 + b_2_4⁴·a_7_16 + b_2_4⁷·a_1_1 + b_2_4⁷·a_1_0
        + b_2_3·a_4_5·b_9_26 + b_2_3·b_2_4³·a_7_16 + b_2_3⁴·a_7_16 + b_2_3⁴·b_2_4³·a_1_1
        + b_2_3⁶·b_2_4·a_1_1 + a_14_45·a_1_1 + a_6_12·a_9_20 + a_4_6·a_11_30
        + b_2_4⁴·a_6_12·a_1_1 + b_2_3·b_2_4³·a_6_12·a_1_1 + b_2_3·b_2_4⁴·a_4_5·a_1_1
        + b_2_3²·b_2_4³·a_4_5·a_1_1 + b_2_3³·b_2_4²·a_4_5·a_1_1
        + b_2_3⁴·b_2_4·a_4_5·a_1_1 + b_2_3⁵·a_4_6·a_1_1 + b_2_4·a_1_1²·a_11_30
        + b_2_4³·a_1_1²·a_7_16 + b_2_3·a_1_1²·a_11_30 + b_2_3⁵·b_2_4·a_1_1³
102. a_6_12·b_9_28 + b_2_4⁴·a_7_16 + b_2_4⁷·a_1_1 + b_2_4⁷·a_1_0 + b_2_3²·b_2_4⁵·a_1_1
        + b_2_3³·b_2_4·a_7_16 + b_2_3⁴·a_7_16 + b_2_3⁶·b_2_4·a_1_1 + a_14_45·a_1_0
        + a_6_12·a_9_20 + b_2_4⁴·a_6_12·a_1_1 + b_2_4⁵·a_4_5·a_1_1
        + b_2_3·b_2_4³·a_6_12·a_1_1 + b_2_3·b_2_4⁴·a_4_5·a_1_1
        + b_2_3²·b_2_4²·a_6_12·a_1_1 + b_2_3²·b_2_4³·a_4_5·a_1_1
        + b_2_3³·b_2_4²·a_4_5·a_1_1 + b_2_3⁵·a_4_6·a_1_1 + b_2_3⁵·a_4_5·a_1_1
        + b_2_4³·a_1_1²·a_7_16 + b_2_4⁶·a_1_1³ + b_2_3·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4·a_1_1³
103. a_14_45·a_1_2 + b_2_3·b_2_4²·a_1_1²·a_7_16
104. a_7_16·a_9_20 + b_2_3·b_2_4³·a_1_1·a_7_16 + b_2_3²·b_2_4²·a_1_1·a_7_16
        + b_2_3⁴·a_1_1·a_7_16 + b_2_4⁴·a_6_12·a_1_1² + b_2_4⁵·a_4_5·a_1_1²
        + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
105. a_7_16·a_9_22 + b_2_4⁷·a_1_1² + b_2_3·b_2_4³·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3³·b_2_4⁴·a_1_1² + b_2_3⁴·a_1_1·a_7_16
        + b_2_3⁵·b_2_4²·a_1_1² + b_2_3⁶·b_2_4·a_1_1² + b_2_4⁴·a_6_12·a_1_1²
        + b_2_4⁵·a_4_5·a_1_1² + b_2_3·b_2_4³·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
        + b_2_3·a_1_1³·a_11_30
106. a_7_16·b_9_28 + b_2_4⁶·a_4_6 + b_2_3·b_2_4⁵·a_4_5 + b_2_3²·b_2_4⁴·a_4_5
        + b_2_3³·b_2_4²·a_6_12 + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁵·b_2_4·a_4_5
        + b_2_3·b_2_4⁶·a_1_1² + b_2_3²·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·a_1_1·a_7_16
        + b_2_3⁵·b_2_4²·a_1_1² + b_2_3⁶·b_2_4·a_1_1² + b_2_4⁴·a_6_12·a_1_1²
        + b_2_4⁵·a_4_5·a_1_1² + b_2_3·a_12_36·a_1_1² + b_2_3·b_2_4³·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
107. a_7_16·b_9_28 + b_2_4⁶·a_4_6 + b_2_3·b_2_4⁵·a_4_5 + b_2_3²·b_2_4⁴·a_4_5
        + b_2_3³·b_2_4²·a_6_12 + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁵·b_2_4·a_4_5 + a_7_16·a_9_22
        + a_4_6·a_12_36 + b_2_4⁴·a_1_1·a_7_16 + b_2_3·b_2_4·a_1_1·a_11_30
        + b_2_3²·a_1_1·a_11_30 + b_2_3²·b_2_4⁵·a_1_1² + b_2_3³·b_2_4·a_1_1·a_7_16
        + b_2_3³·b_2_4⁴·a_1_1² + b_2_3⁴·a_1_1·a_7_16 + b_2_3⁵·b_2_4²·a_1_1²
        + b_2_3⁶·b_2_4·a_1_1² + b_2_3⁷·a_1_1² + b_2_4⁴·a_6_12·a_1_1²
        + b_2_4⁵·a_4_5·a_1_1² + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
108. a_7_16·b_9_28 + b_5_12·a_11_30 + b_5_11·a_11_30 + b_2_4·b_5_12·a_9_22 + b_2_4²·a_12_36
        + b_2_4⁵·a_6_12 + b_2_4⁶·a_4_6 + b_2_3·b_5_11·a_9_20 + b_2_3·b_2_4·a_12_36
        + b_2_3·b_2_4⁵·a_4_5 + b_2_3³·b_2_4²·a_6_12 + b_2_3³·b_2_4³·a_4_5
        + b_2_3⁴·b_2_4·a_6_12 + b_2_3⁵·a_1_1·b_5_11 + b_2_3⁵·b_2_4·a_4_6 + a_7_16·a_9_22
        + b_2_4²·a_1_1·a_11_30 + b_2_4⁴·a_1_1·a_7_16 + b_2_3·a_4_5·a_1_1·b_9_26
        + b_2_3·b_2_4³·a_1_1·a_7_16 + b_2_3²·a_1_1·a_11_30 + b_2_3²·b_2_4²·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3⁴·b_2_4³·a_1_1² + b_2_4⁵·a_4_5·a_1_1²
        + b_2_3·b_2_4³·a_6_12·a_1_1² + b_2_3³·b_2_4·a_6_12·a_1_1²
        + b_2_3⁴·a_6_12·a_1_1² + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
109. a_7_16·b_9_28 + b_2_4⁶·a_4_6 + b_2_3·b_2_4⁵·a_4_5 + b_2_3²·b_2_4⁴·a_4_5
        + b_2_3³·b_2_4²·a_6_12 + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁵·b_2_4·a_4_5 + a_4_5·a_12_36
        + b_2_4⁴·a_1_1·a_7_16 + b_2_4⁷·a_1_1² + b_2_3·a_4_5·a_1_1·b_9_26
        + b_2_3·b_2_4·a_1_1·a_11_30 + b_2_3·b_2_4⁶·a_1_1² + b_2_3²·b_2_4²·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3³·b_2_4⁴·a_1_1² + b_2_3⁴·a_1_1·a_7_16
        + b_2_3⁵·b_2_4²·a_1_1² + b_2_3·b_2_4³·a_6_12·a_1_1²
        + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁵·a_4_6·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
110. a_7_16·b_9_28 + a_4_6·b_12_43 + b_2_4⁶·a_4_6 + b_2_3²·b_2_4³·a_6_12
        + b_2_3³·b_2_4²·a_6_12 + b_2_3⁴·b_2_4·a_6_12 + b_2_3⁴·b_2_4²·a_4_5
        + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁶·a_4_6 + a_7_16·a_9_22 + b_2_4⁴·a_1_1·a_7_16
        + b_2_3·b_2_4³·a_1_1·a_7_16 + b_2_3·b_2_4⁶·a_1_1² + b_2_3²·b_2_4⁵·a_1_1²
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3⁷·a_1_1² + b_2_4·a_12_36·a_1_1²
        + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
111. a_4_5·b_12_43 + b_2_3·b_2_4⁵·a_4_5 + b_2_3²·b_2_4³·a_6_12 + b_2_3³·b_2_4²·a_6_12
        + b_2_3⁴·b_2_4²·a_4_5 + b_2_3⁶·a_4_5 + a_7_16·a_9_22 + b_2_4⁴·a_1_1·a_7_16
        + b_2_3·b_2_4⁶·a_1_1² + b_2_3²·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·a_1_1·a_7_16
        + b_2_3⁶·b_2_4·a_1_1² + b_2_4·a_12_36·a_1_1² + b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
112. a_4_6·b_12_44 + b_2_4⁶·a_4_6 + b_2_3²·b_2_4³·a_6_12 + b_2_3²·b_2_4⁴·a_4_5
        + b_2_3³·b_2_4²·a_6_12 + b_2_3³·b_2_4³·a_4_5 + b_2_3⁴·b_2_4²·a_4_5
        + b_2_3⁵·a_1_1·b_5_11 + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁶·a_4_6 + a_7_16·a_9_22
        + b_2_4⁷·a_1_1² + b_2_3·a_4_5·a_1_1·b_9_26 + b_2_3·b_2_4·a_1_1·a_11_30
        + b_2_3·b_2_4³·a_1_1·a_7_16 + b_2_3·b_2_4⁶·a_1_1² + b_2_3³·b_2_4⁴·a_1_1²
        + b_2_3⁴·a_1_1·a_7_16 + b_2_4⁴·a_6_12·a_1_1² + b_2_3·b_2_4³·a_6_12·a_1_1²
        + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1²
113. a_7_16·b_9_28 + a_4_5·b_12_44 + b_2_4⁶·a_4_6 + b_2_4⁶·a_4_5 + b_2_3·b_2_4⁵·a_4_5
        + b_2_3²·b_2_4³·a_6_12 + b_2_3³·a_1_1·b_9_26 + b_2_3³·b_2_4²·a_6_12
        + b_2_3⁴·b_2_4·a_6_12 + b_2_3⁵·a_1_1·b_5_11 + b_2_3⁵·b_2_4·a_4_6 + b_2_3⁶·a_4_5
        + a_7_16·a_9_22 + b_2_4⁷·a_1_1² + b_2_3·a_4_5·a_1_1·b_9_26
        + b_2_3·b_2_4·a_1_1·a_11_30 + b_2_3·b_2_4³·a_1_1·a_7_16 + b_2_3²·a_1_1·a_11_30
        + b_2_3³·b_2_4⁴·a_1_1² + b_2_3⁴·b_2_4³·a_1_1² + b_2_3⁵·b_2_4²·a_1_1²
        + b_2_3⁷·a_1_1² + b_2_4⁵·a_4_5·a_1_1² + b_2_3³·b_2_4·a_6_12·a_1_1²
        + b_2_3⁴·a_6_12·a_1_1² + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
114. a_7_16·b_9_28 + b_5_11·a_11_30 + b_2_4⁶·a_4_6 + b_2_3·b_2_4·a_12_36
        + b_2_3·b_2_4⁴·a_6_12 + b_2_3²·b_2_4⁴·a_4_5 + b_2_3³·a_1_1·b_9_26
        + b_2_3⁴·b_2_4²·a_4_5 + b_2_3·a_4_5·a_1_1·b_9_26 + b_2_3·b_2_4·a_1_1·a_11_30
        + b_2_3²·b_2_4²·a_1_1·a_7_16 + b_2_3²·b_2_4⁵·a_1_1²
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3⁴·a_1_1·a_7_16 + b_2_3⁴·b_2_4³·a_1_1²
        + b_2_3⁶·b_2_4·a_1_1² + a_14_45·a_1_1² + b_2_4·a_12_36·a_1_1²
        + b_2_4⁴·a_6_12·a_1_1² + b_2_3³·b_2_4·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
115. a_7_16·b_9_28 + a_7_16·b_9_26 + b_5_11·a_11_30 + b_2_4⁶·a_4_6 + b_2_3·b_2_4·a_12_36
        + b_2_3²·b_2_4⁴·a_4_5 + b_2_3³·a_1_1·b_9_26 + b_2_3³·b_2_4²·a_6_12
        + b_2_3⁴·b_2_4²·a_4_5 + a_7_16·a_9_22 + a_1_1·a_15_55 + b_2_4²·a_1_1·a_11_30
        + b_2_4⁷·a_1_1² + b_2_3⁶·b_2_4·a_1_1² + b_2_3⁷·a_1_1² + b_2_4·a_12_36·a_1_1²
        + b_2_4⁴·a_6_12·a_1_1² + b_2_3·b_2_4³·a_6_12·a_1_1² + b_2_3⁴·a_6_12·a_1_1²
        + b_2_3⁵·a_4_6·a_1_1²
116. a_1_0·a_15_55 + b_2_3·b_2_4³·a_6_12·a_1_1² + b_2_3³·b_2_4·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_4_5·a_1_1²
117. a_7_16·a_9_22 + a_1_2·a_15_55 + b_2_4⁷·a_1_1² + b_2_3·b_2_4³·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_7_16 + b_2_3³·b_2_4⁴·a_1_1² + b_2_3⁴·a_1_1·a_7_16
        + b_2_3⁵·b_2_4²·a_1_1² + b_2_3⁶·b_2_4·a_1_1² + b_2_4⁴·a_6_12·a_1_1²
        + b_2_4⁵·a_4_5·a_1_1² + b_2_3⁴·a_6_12·a_1_1² + b_2_3⁵·a_4_6·a_1_1²
        + b_2_3⁵·a_4_5·a_1_1²
118. a_12_36·b_5_12 + a_12_36·b_5_11 + b_2_4⁵·a_7_16 + b_2_4⁸·a_1_1 + b_2_4⁸·a_1_0
        + b_2_3·b_2_4²·a_11_30 + b_2_3·b_2_4⁴·a_7_16 + b_2_3·b_2_4⁷·a_1_1
        + b_2_3²·b_2_4·a_11_30 + b_2_3²·b_2_4³·a_7_16 + b_2_3²·b_2_4⁶·a_1_1
        + b_2_3⁴·b_2_4·a_7_16 + b_2_3⁵·b_2_4³·a_1_1 + b_2_3⁶·b_2_4²·a_1_1
        + b_2_3⁷·b_2_4·a_1_1 + b_2_4²·a_12_36·a_1_1 + b_2_4⁵·a_6_12·a_1_1
        + b_2_4⁶·a_4_5·a_1_1 + b_2_3²·a_12_36·a_1_1 + b_2_3³·b_2_4³·a_4_5·a_1_1
        + b_2_3⁴·b_2_4²·a_4_5·a_1_1 + b_2_3⁶·a_4_5·a_1_1 + b_2_3·b_2_4·a_1_1²·a_11_30
        + b_2_3·b_2_4³·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_7_16
        + b_2_3³·b_2_4·a_1_1²·a_7_16 + b_2_3⁴·a_1_1²·a_7_16 + b_2_3⁶·b_2_4·a_1_1³
        + b_2_3·a_12_36·a_1_1³
119. b_12_43·b_5_11 + b_2_3²·b_2_4²·b_9_26 + b_2_3²·b_2_4⁴·b_5_12
        + b_2_3³·b_2_4·b_9_26 + b_2_3³·b_2_4³·b_5_12 + b_2_3⁵·b_2_4·b_5_12 + b_2_3⁶·b_5_12
        + b_2_3⁶·b_5_11 + b_2_3·b_2_4⁴·a_7_16 + b_2_3·b_2_4⁷·a_1_1 + b_2_3²·a_4_5·b_9_26
        + b_2_3²·b_2_4·a_11_30 + b_2_3²·b_2_4³·a_7_16 + b_2_3⁴·a_9_22
        + b_2_3⁴·b_2_4⁴·a_1_1 + b_2_3⁵·a_7_16 + b_2_3⁶·b_2_4²·a_1_1 + b_2_3⁷·b_2_4·a_1_1
        + b_2_3⁸·a_1_1 + b_2_3⁸·a_1_0 + b_2_3·b_2_4·a_12_36·a_1_1
        + b_2_3²·b_2_4⁴·a_4_5·a_1_1 + b_2_3³·a_1_1²·b_9_26 + b_2_3³·b_2_4²·a_6_12·a_1_1
        + b_2_3³·b_2_4³·a_4_5·a_1_1 + b_2_3⁴·b_2_4²·a_4_5·a_1_1 + b_2_3⁵·a_6_12·a_1_1
        + b_2_3⁵·b_2_4·a_4_5·a_1_1 + b_2_3⁶·a_4_5·a_1_1 + b_2_3·b_2_4·a_1_1²·a_11_30
        + b_2_3²·a_1_1²·a_11_30 + b_2_3²·b_2_4²·a_1_1²·a_7_16 + b_2_3⁴·a_1_1²·a_7_16
        + b_2_3⁷·a_1_1³ + b_2_3·a_12_36·a_1_1³
120. b_12_43·b_5_12 + b_2_3·b_2_4³·b_9_26 + b_2_3·b_2_4⁵·b_5_12 + b_2_3²·b_2_4²·b_9_26
        + b_2_3²·b_2_4⁴·b_5_12 + b_2_3⁴·b_2_4²·b_5_12 + b_2_3⁵·b_2_4·b_5_12
        + b_2_3⁶·b_5_12 + b_2_4⁵·a_7_16 + b_2_4⁸·a_1_1 + b_2_4⁸·a_1_0 + b_2_3·b_2_4²·a_11_30
        + b_2_3·b_2_4⁴·a_7_16 + b_2_3²·a_4_5·b_9_26 + b_2_3²·b_2_4⁶·a_1_1
        + b_2_3³·b_2_4²·a_7_16 + b_2_3⁴·a_9_22 + b_2_3⁴·b_2_4·a_7_16
        + b_2_3⁴·b_2_4⁴·a_1_1 + b_2_3⁵·a_7_16 + b_2_3⁵·b_2_4³·a_1_1
        + b_2_3⁶·b_2_4²·a_1_1 + b_2_3⁷·b_2_4·a_1_1 + b_2_3⁸·a_1_1 + b_2_4²·a_12_36·a_1_1
        + b_2_4⁵·a_6_12·a_1_1 + b_2_3·b_2_4·a_12_36·a_1_1 + b_2_3·b_2_4⁴·a_6_12·a_1_1
        + b_2_3·b_2_4⁵·a_4_5·a_1_1 + b_2_3²·b_2_4⁴·a_4_5·a_1_1
        + b_2_3³·b_2_4²·a_6_12·a_1_1 + b_2_3⁴·b_2_4²·a_4_5·a_1_1
        + b_2_4²·a_1_1²·a_11_30 + b_2_3²·a_1_1²·a_11_30 + b_2_3²·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁶·b_2_4·a_1_1³ + b_2_3⁷·a_1_1³
121. b_12_44·b_5_11 + b_2_3·b_2_4⁵·b_5_12 + b_2_3²·b_2_4²·b_9_26
        + b_2_3⁴·b_2_4²·b_5_12 + b_2_3⁶·b_5_11 + a_12_36·b_5_11 + b_2_3·b_2_4⁴·a_7_16
        + b_2_3·b_2_4⁷·a_1_1 + b_2_3²·a_4_5·b_9_26 + b_2_3²·b_2_4·a_11_30
        + b_2_3²·b_2_4⁶·a_1_1 + b_2_3⁴·b_2_4·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1
        + b_2_3⁶·b_2_4²·a_1_1 + b_2_4⁵·a_6_12·a_1_1 + b_2_4⁶·a_4_5·a_1_1
        + b_2_3·b_2_4⁵·a_4_5·a_1_1 + b_2_3²·a_12_36·a_1_1 + b_2_3³·b_2_4³·a_4_5·a_1_1
        + b_2_3⁴·b_2_4·a_6_12·a_1_1 + b_2_3⁶·a_4_6·a_1_1 + b_2_4⁴·a_1_1²·a_7_16
        + b_2_4⁷·a_1_1³ + b_2_3·b_2_4·a_1_1²·a_11_30 + b_2_3·b_2_4³·a_1_1²·a_7_16
        + b_2_3²·a_1_1²·a_11_30
122. b_12_44·b_5_12 + b_2_4⁶·b_5_12 + b_2_3·b_2_4³·b_9_26 + b_2_3³·b_2_4³·b_5_12
        + b_2_3⁶·b_5_12 + b_2_3²·a_4_5·b_9_26 + b_2_3²·b_2_4³·a_7_16
        + b_2_3²·b_2_4⁶·a_1_1 + b_2_3³·b_2_4²·a_7_16 + b_2_3³·b_2_4⁵·a_1_1
        + b_2_3⁶·b_2_4²·a_1_1 + b_2_3⁸·a_1_2 + b_2_4²·a_12_36·a_1_1 + b_2_4⁵·a_6_12·a_1_1
        + b_2_4⁶·a_4_5·a_1_1 + b_2_3·b_2_4·a_12_36·a_1_1 + b_2_3·b_2_4⁴·a_6_12·a_1_1
        + b_2_3·b_2_4⁵·a_4_5·a_1_1 + b_2_3²·b_2_4³·a_6_12·a_1_1
        + b_2_3²·b_2_4⁴·a_4_5·a_1_1 + b_2_3³·a_1_1²·b_9_26 + b_2_3³·b_2_4²·a_6_12·a_1_1
        + b_2_3⁴·b_2_4·a_6_12·a_1_1 + b_2_3⁴·b_2_4²·a_4_5·a_1_1
        + b_2_3⁵·b_2_4·a_4_5·a_1_1 + b_2_4²·a_1_1²·a_11_30 + b_2_4⁴·a_1_1²·a_7_16
        + b_2_3³·b_2_4·a_1_1²·a_7_16 + b_2_3⁴·a_1_1²·a_7_16 + b_2_3·a_12_36·a_1_1³
123. a_12_36·b_5_11 + b_2_3·b_2_4⁴·a_7_16 + b_2_3·b_2_4⁷·a_1_1 + b_2_3²·a_4_5·b_9_26
        + b_2_3²·b_2_4·a_11_30 + b_2_3⁴·b_2_4·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1
        + b_2_3⁷·b_2_4·a_1_1 + b_2_3⁸·a_1_2 + a_14_45·a_3_6 + b_2_3·b_2_4·a_12_36·a_1_1
        + b_2_3·b_2_4⁴·a_6_12·a_1_1 + b_2_3·b_2_4⁵·a_4_5·a_1_1 + b_2_3²·a_12_36·a_1_1
        + b_2_3²·b_2_4⁴·a_4_5·a_1_1 + b_2_3³·a_1_1²·b_9_26 + b_2_3⁴·b_2_4·a_6_12·a_1_1
        + b_2_3⁴·b_2_4²·a_4_5·a_1_1 + b_2_3⁵·b_2_4·a_4_5·a_1_1 + b_2_3⁶·a_4_5·a_1_1
        + b_2_4⁴·a_1_1²·a_7_16 + b_2_4⁷·a_1_1³ + b_2_3³·b_2_4·a_1_1²·a_7_16
        + b_2_3⁶·b_2_4·a_1_1³ + b_2_3·a_12_36·a_1_1³
124. a_12_36·b_5_11 + b_2_3·b_2_4⁴·a_7_16 + b_2_3·b_2_4⁷·a_1_1 + b_2_3²·a_4_5·b_9_26
        + b_2_3²·b_2_4·a_11_30 + b_2_3⁴·b_2_4·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1
        + b_2_3⁷·b_2_4·a_1_1 + b_2_3⁸·a_1_2 + a_6_12·a_11_30 + b_2_4·a_14_45·a_1_1
        + b_2_4²·a_12_36·a_1_1 + b_2_4⁶·a_4_5·a_1_1 + b_2_3·a_14_45·a_1_1
        + b_2_3·b_2_4⁴·a_6_12·a_1_1 + b_2_3·b_2_4⁵·a_4_5·a_1_1
        + b_2_3²·b_2_4⁴·a_4_5·a_1_1 + b_2_3³·b_2_4²·a_6_12·a_1_1
        + b_2_3³·b_2_4³·a_4_5·a_1_1 + b_2_3⁴·b_2_4·a_6_12·a_1_1
        + b_2_3⁴·b_2_4²·a_4_5·a_1_1 + b_2_3⁵·a_6_12·a_1_1 + b_2_3⁵·b_2_4·a_4_5·a_1_1
        + b_2_4²·a_1_1²·a_11_30 + b_2_3²·b_2_4²·a_1_1²·a_7_16
125. a_12_36·b_5_11 + b_2_3·b_2_4⁴·a_7_16 + b_2_3·b_2_4⁷·a_1_1 + b_2_3²·a_4_5·b_9_26
        + b_2_3²·b_2_4·a_11_30 + b_2_3⁴·b_2_4·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1
        + b_2_3⁷·b_2_4·a_1_1 + b_2_3⁸·a_1_2 + b_2_3·b_2_4·a_12_36·a_1_1
        + b_2_3·b_2_4⁴·a_6_12·a_1_1 + b_2_3·b_2_4⁵·a_4_5·a_1_1 + b_2_3²·a_12_36·a_1_1
        + b_2_3²·b_2_4⁴·a_4_5·a_1_1 + b_2_3³·a_1_1²·b_9_26 + b_2_3⁴·b_2_4·a_6_12·a_1_1
        + b_2_3⁴·b_2_4²·a_4_5·a_1_1 + b_2_3⁵·b_2_4·a_4_5·a_1_1 + b_2_3⁶·a_4_5·a_1_1
        + a_1_1²·a_15_55 + b_2_4⁷·a_1_1³ + b_2_3²·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁷·a_1_1³ + b_2_3·a_12_36·a_1_1³
126. a_9_20·a_9_22 + a_9_20² + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3³·b_2_4²·a_1_1·a_7_16
        + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1·a_7_16 + b_2_3⁵·a_1_1·a_7_16
        + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁶·b_2_4²·a_1_1² + b_2_3⁷·b_2_4·a_1_1²
        + b_2_4⁵·a_6_12·a_1_1² + b_2_4⁶·a_4_5·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1²
127. a_9_22·b_9_28 + a_9_22·b_9_26 + a_9_20·b_9_26 + b_2_4²·b_5_12·a_9_22
        + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·b_2_4⁴·a_6_12 + b_2_3³·b_2_4⁴·a_4_5
        + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_6 + b_2_3⁷·a_4_6
        + b_2_3⁷·a_4_5 + a_7_16·a_11_30 + b_2_3·b_2_4⁷·a_1_1² + b_2_3²·a_4_5·a_1_1·b_9_26
        + b_2_3²·b_2_4·a_1_1·a_11_30 + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1·a_7_16
        + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁶·b_2_4²·a_1_1² + b_2_3⁷·b_2_4·a_1_1²
        + b_2_3⁸·a_1_1² + b_2_4⁵·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁶·a_4_5·a_1_1²
128. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4⁷ + b_2_3⁴·b_2_4⁵ + b_2_3⁶·b_2_4³
        + b_2_3⁸·b_2_4 + a_9_22·b_9_28 + a_9_22·b_9_26 + a_9_20·b_9_26 + b_2_4²·b_5_12·a_9_22
        + b_2_4⁷·a_4_6 + b_2_4⁷·a_4_5 + b_2_3³·b_2_4⁴·a_4_5 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_1_1·b_5_11 + b_2_3⁶·b_2_4·a_4_5 + a_9_22²
        + a_7_16·a_11_30 + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·b_2_4³·a_1_1² + b_2_3²·a_12_36·a_1_1²
        + b_2_3⁵·a_6_12·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
        + b_2_3²·a_1_1³·a_11_30
129. a_9_22·b_9_28 + b_2_4²·b_5_12·a_9_22 + b_2_3·b_2_4⁵·a_6_12 + b_2_3·b_2_4⁶·a_4_5
        + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_6 + b_2_3⁶·b_2_4·a_4_5
        + b_2_3⁷·a_4_6 + b_2_3⁷·a_4_5 + a_9_22² + a_7_16·a_11_30 + a_6_12·a_12_36
        + b_2_4³·a_1_1·a_11_30 + b_2_4⁵·a_1_1·a_7_16 + b_2_3·b_2_4²·a_1_1·a_11_30
        + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4·a_1_1·a_7_16
        + b_2_3⁶·b_2_4²·a_1_1² + b_2_3⁸·a_1_1² + b_2_4⁵·a_6_12·a_1_1²
        + b_2_3·b_2_4·a_12_36·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁵·b_2_4·a_4_5·a_1_1²
        + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1² + b_2_3²·a_1_1³·a_11_30
130. a_9_20·b_9_26 + a_6_12·b_12_43 + b_2_3·b_2_4⁵·a_6_12 + b_2_3·b_2_4⁶·a_4_5
        + b_2_3²·b_2_4⁴·a_6_12 + b_2_3³·b_2_4³·a_6_12 + b_2_3⁴·a_1_1·b_9_26
        + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁶·a_1_1·b_5_11 + b_2_3⁶·a_6_12 + a_9_22²
        + b_2_4⁵·a_1_1·a_7_16 + b_2_4⁸·a_1_1² + b_2_3·b_2_4²·a_1_1·a_11_30
        + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3²·a_4_5·a_1_1·b_9_26
        + b_2_3²·b_2_4³·a_1_1·a_7_16 + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3⁵·a_1_1·a_7_16
        + b_2_3⁸·a_1_1² + b_2_3·b_2_4·a_12_36·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
131. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4·b_12_44 + b_2_3²·b_2_4·b_12_43
        + b_2_3³·b_12_44 + b_2_3⁵·b_2_4⁴ + b_2_3⁶·b_2_4³ + b_2_3⁷·b_2_4²
        + b_2_3⁸·b_2_4 + b_2_3⁹ + a_9_20·b_9_28 + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·b_2_4·a_12_36
        + b_2_3³·b_2_4³·a_6_12 + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁵·b_2_4·a_6_12
        + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_1_1·b_5_11 + b_2_3⁶·b_2_4·a_4_6 + b_2_3⁷·a_4_6
        + a_9_22² + a_9_20² + b_2_4⁵·a_1_1·a_7_16 + b_2_4⁸·a_1_1²
        + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4²·a_1_1·a_7_16
        + b_2_3⁵·a_1_1·a_7_16 + b_2_3⁵·b_2_4³·a_1_1² + b_2_4⁶·a_4_5·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1²
132. a_9_22·b_9_28 + a_9_20·b_9_26 + b_2_4²·b_5_12·a_9_22 + b_2_3·b_2_4⁵·a_6_12
        + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·b_2_4⁴·a_6_12 + b_2_3²·b_2_4⁵·a_4_5
        + b_2_3³·b_2_4³·a_6_12 + b_2_3⁴·a_1_1·b_9_26 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_6
        + b_2_3⁶·b_2_4·a_4_5 + b_2_3⁷·a_4_6 + b_2_3⁷·a_4_5 + b_2_4⁸·a_1_1²
        + b_2_3·b_2_4²·a_1_1·a_11_30 + b_2_3·b_2_4⁴·a_1_1·a_7_16
        + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁶·b_2_4²·a_1_1²
        + b_2_3⁸·a_1_1² + b_2_3·a_14_45·a_1_1² + b_2_3⁵·b_2_4·a_4_5·a_1_1²
        + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
133. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4⁷ + b_2_3⁴·b_2_4⁵ + b_2_3⁶·b_2_4³
        + b_2_3⁸·b_2_4 + a_9_22·b_9_28 + b_2_4²·b_5_12·a_9_22 + b_2_4⁷·a_4_6 + b_2_4⁷·a_4_5
        + b_2_3·b_2_4⁵·a_6_12 + b_2_3²·b_2_4⁴·a_6_12 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_1_1·b_5_11 + a_7_16·a_11_30 + a_4_6·a_14_45
        + b_2_4³·a_1_1·a_11_30 + b_2_4⁵·a_1_1·a_7_16 + b_2_4⁸·a_1_1²
        + b_2_3²·b_2_4⁶·a_1_1² + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4⁵·a_1_1²
        + b_2_3⁴·b_2_4·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁸·a_1_1²
        + b_2_4²·a_12_36·a_1_1² + b_2_4⁵·a_6_12·a_1_1² + b_2_3·b_2_4·a_12_36·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
134. b_9_26·b_9_28 + b_2_4³·b_12_43 + b_2_3·b_2_4⁸ + b_2_3³·b_12_44 + b_2_3³·b_2_4⁶
        + b_2_3⁷·b_2_4² + b_2_3⁹ + a_9_20·b_9_26 + b_2_4²·b_5_12·a_9_22 + b_2_4³·a_12_36
        + b_2_3·b_2_4·a_14_45 + b_2_3·b_2_4⁵·a_6_12 + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·a_14_45
        + b_2_3³·b_2_4⁴·a_4_5 + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁵·b_2_4·a_6_12 + b_2_3⁶·b_2_4·a_4_6 + b_2_3⁶·b_2_4·a_4_5 + b_2_3⁷·a_4_6
        + a_9_22² + a_7_16·a_11_30 + b_2_4⁵·a_1_1·a_7_16 + b_2_3²·b_2_4³·a_1_1·a_7_16
        + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3⁵·a_1_1·a_7_16
        + b_2_3⁶·b_2_4²·a_1_1² + b_2_3⁸·a_1_1² + b_2_4⁶·a_4_5·a_1_1²
        + b_2_3·b_2_4·a_12_36·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
135. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4⁷ + b_2_3⁴·b_2_4⁵ + b_2_3⁶·b_2_4³
        + b_2_3⁸·b_2_4 + a_9_22·b_9_26 + a_9_20·b_9_26 + b_2_4⁷·a_4_6 + b_2_4⁷·a_4_5
        + b_2_3·b_2_4⁵·a_6_12 + b_2_3·b_2_4⁶·a_4_5 + b_2_3³·b_2_4⁴·a_4_5
        + b_2_3⁴·b_2_4³·a_4_5 + b_2_3⁶·a_1_1·b_5_11 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_6
        + b_2_3⁷·a_4_6 + b_2_3⁷·a_4_5 + a_7_16·a_11_30 + b_2_3·b_2_4⁴·a_1_1·a_7_16
        + b_2_3·b_2_4⁷·a_1_1² + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3³·b_2_4⁵·a_1_1²
        + b_2_3⁴·b_2_4·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁷·b_2_4·a_1_1²
        + b_2_4·a_14_45·a_1_1² + b_2_4²·a_12_36·a_1_1² + b_2_4⁶·a_4_5·a_1_1²
        + b_2_3·b_2_4·a_12_36·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
        + b_2_3²·a_1_1³·a_11_30
136. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4⁷ + b_2_3⁴·b_2_4⁵ + b_2_3⁶·b_2_4³
        + b_2_3⁸·b_2_4 + a_9_22·b_9_26 + a_6_12·b_12_44 + b_2_4⁶·a_6_12 + b_2_4⁷·a_4_6
        + b_2_4⁷·a_4_5 + b_2_3·b_2_4⁵·a_6_12 + b_2_3²·b_2_4⁵·a_4_5 + b_2_3³·b_2_4³·a_6_12
        + b_2_3³·b_2_4⁴·a_4_5 + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁵·b_2_4·a_6_12 + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·b_2_4·a_4_6 + b_2_3⁷·a_4_6
        + b_2_3⁷·a_4_5 + a_9_22² + a_7_16·a_11_30 + a_4_5·a_14_45 + b_2_4⁸·a_1_1²
        + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3³·b_2_4⁵·a_1_1²
        + b_2_3⁴·b_2_4·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·a_1_1·a_7_16
        + b_2_3⁷·b_2_4·a_1_1² + b_2_3⁸·a_1_1² + b_2_4²·a_12_36·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
137. a_9_22·b_9_26 + a_9_20·b_9_26 + a_6_12·b_12_44 + b_2_4⁶·a_6_12 + b_2_3·b_2_4⁵·a_6_12
        + b_2_3·b_2_4⁶·a_4_5 + b_2_3³·b_2_4⁴·a_4_5 + b_2_3⁴·a_1_1·b_9_26
        + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁵·b_2_4·a_6_12 + b_2_3⁶·a_1_1·b_5_11 + b_2_3⁶·a_6_12
        + b_2_3⁶·b_2_4·a_4_5 + a_9_22² + b_2_4³·a_1_1·a_11_30 + b_2_4⁵·a_1_1·a_7_16
        + b_2_4⁸·a_1_1² + b_2_3·a_1_1·a_15_55 + b_2_3·b_2_4²·a_1_1·a_11_30
        + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3³·a_1_1·a_11_30 + b_2_3³·b_2_4²·a_1_1·a_7_16
        + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁵·a_1_1·a_7_16 + b_2_3⁶·b_2_4²·a_1_1²
        + b_2_4⁵·a_6_12·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁵·b_2_4·a_4_5·a_1_1²
        + b_2_3⁶·a_4_5·a_1_1² + b_2_3²·a_1_1³·a_11_30
138. a_9_22·b_9_28 + a_9_20·b_9_26 + b_2_4²·b_5_12·a_9_22 + b_2_3·b_2_4⁵·a_6_12
        + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·b_2_4⁴·a_6_12 + b_2_3²·b_2_4⁵·a_4_5
        + b_2_3³·b_2_4³·a_6_12 + b_2_3⁴·a_1_1·b_9_26 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_6
        + b_2_3⁶·b_2_4·a_4_5 + b_2_3⁷·a_4_6 + b_2_3⁷·a_4_5 + a_3_6·a_15_55 + b_2_4⁸·a_1_1²
        + b_2_3·b_2_4²·a_1_1·a_11_30 + b_2_3·b_2_4⁴·a_1_1·a_7_16
        + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁶·b_2_4²·a_1_1²
        + b_2_3⁸·a_1_1² + b_2_4⁶·a_4_5·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_5·a_1_1² + b_2_3²·a_1_1³·a_11_30
139. b_9_28² + b_2_3·b_2_4⁸ + b_2_3²·b_2_4⁷ + b_2_3⁴·b_2_4⁵ + b_2_3⁶·b_2_4³
        + b_2_3⁸·b_2_4 + a_9_22·b_9_28 + a_9_22·b_9_26 + a_9_20·b_9_26 + a_6_12·b_12_44
        + b_2_4²·b_5_12·a_9_22 + b_2_4⁶·a_6_12 + b_2_4⁷·a_4_6 + b_2_4⁷·a_4_5
        + b_2_3·b_2_4⁶·a_4_5 + b_2_3²·b_2_4⁴·a_6_12 + b_2_3³·b_2_4⁴·a_4_5
        + b_2_3⁴·a_1_1·b_9_26 + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁵·b_2_4·a_6_12 + b_2_3⁵·b_2_4²·a_4_5 + b_2_3⁶·a_6_12 + b_2_3⁶·b_2_4·a_4_5
        + a_9_22² + a_7_16·a_11_30 + b_2_4·a_1_1·a_15_55 + b_2_4⁵·a_1_1·a_7_16
        + b_2_3·b_2_4²·a_1_1·a_11_30 + b_2_3·b_2_4⁷·a_1_1² + b_2_3²·b_2_4³·a_1_1·a_7_16
        + b_2_3²·b_2_4⁶·a_1_1² + b_2_3³·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁴·a_1_1²
        + b_2_3⁵·a_1_1·a_7_16 + b_2_3⁵·b_2_4³·a_1_1² + b_2_4⁵·a_6_12·a_1_1²
        + b_2_4⁶·a_4_5·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1²
        + b_2_3⁴·b_2_4·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3²·a_1_1³·a_11_30
140. b_9_26² + b_2_3²·b_2_4⁷ + b_2_3³·b_2_4⁶ + b_2_3⁵·b_2_4⁴ + b_2_3⁶·b_2_4³
        + b_2_3²·b_2_4⁴·a_6_12 + b_2_3⁴·b_2_4²·a_6_12 + b_2_3⁴·b_2_4³·a_4_5
        + b_2_3⁶·b_2_4·a_4_5 + b_2_3·b_2_4⁴·a_1_1·a_7_16 + b_2_3·b_2_4⁷·a_1_1²
        + b_2_3²·a_4_5·a_1_1·b_9_26 + b_2_3³·b_2_4²·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁸·a_1_1²
        + b_2_4²·a_12_36·a_1_1² + b_2_4⁵·a_6_12·a_1_1² + b_2_4⁶·a_4_5·a_1_1²
        + b_2_3·b_2_4·a_12_36·a_1_1² + b_2_3⁴·b_2_4·a_6_12·a_1_1²
        + b_2_3²·a_1_1³·a_11_30 + c_16_69·a_1_1²
141. a_9_22² + b_2_4⁸·a_1_1² + b_2_3·b_2_4⁷·a_1_1² + b_2_3²·b_2_4⁶·a_1_1²
        + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁴·b_2_4⁴·a_1_1² + b_2_3⁵·b_2_4³·a_1_1²
        + b_2_3⁶·b_2_4²·a_1_1² + b_2_3⁷·b_2_4·a_1_1² + b_2_3⁸·a_1_1²
        + b_2_3·b_2_4⁴·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
        + c_16_69·a_1_0·a_1_1
142. a_9_22² + a_9_20² + b_2_4⁸·a_1_1² + b_2_3·b_2_4⁷·a_1_1²
        + b_2_3³·b_2_4⁵·a_1_1² + b_2_3⁵·b_2_4³·a_1_1² + b_2_3⁶·b_2_4²·a_1_1²
        + b_2_3⁷·b_2_4·a_1_1² + b_2_3·b_2_4⁴·a_6_12·a_1_1² + b_2_3⁵·a_6_12·a_1_1²
        + b_2_3⁵·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_4_6·a_1_1² + b_2_3⁶·a_4_5·a_1_1²
        + c_16_69·a_1_0²
143. b_12_43·a_7_16 + b_2_3·b_2_4⁸·a_1_1 + b_2_3³·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁵·a_1_1
        + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁶·a_7_16 + b_2_3⁶·b_2_4³·a_1_1 + b_2_3⁷·b_2_4²·a_1_1
        + a_12_36·a_7_16 + b_2_4³·a_12_36·a_1_1 + b_2_4⁶·a_6_12·a_1_1 + b_2_4⁷·a_4_5·a_1_1
        + b_2_3·b_2_4·a_14_45·a_1_1 + b_2_3·b_2_4⁵·a_6_12·a_1_1 + b_2_3²·a_14_45·a_1_1
        + b_2_3²·b_2_4·a_12_36·a_1_1 + b_2_3³·b_2_4³·a_6_12·a_1_1
        + b_2_3³·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁴·b_2_4²·a_6_12·a_1_1
        + b_2_3⁵·b_2_4·a_6_12·a_1_1 + b_2_3⁷·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_11_30
        + b_2_4⁸·a_1_1³ + b_2_3·b_2_4⁴·a_1_1²·a_7_16 + b_2_3⁴·b_2_4·a_1_1²·a_7_16
        + b_2_3⁵·a_1_1²·a_7_16 + b_2_3²·a_12_36·a_1_1³
144. b_12_44·a_7_16 + b_2_4⁶·a_7_16 + b_2_3·b_2_4⁵·a_7_16 + b_2_3·b_2_4⁸·a_1_1
        + b_2_3²·b_2_4⁷·a_1_1 + b_2_3³·b_2_4⁶·a_1_1 + b_2_3⁶·a_7_16
        + b_2_3⁶·b_2_4³·a_1_1 + a_12_36·a_7_16 + b_2_4⁶·a_6_12·a_1_1 + b_2_4⁷·a_4_5·a_1_1
        + b_2_3·b_2_4²·a_12_36·a_1_1 + b_2_3·b_2_4⁵·a_6_12·a_1_1
        + b_2_3·b_2_4⁶·a_4_5·a_1_1 + b_2_3²·a_14_45·a_1_1 + b_2_3²·b_2_4·a_12_36·a_1_1
        + b_2_3²·b_2_4⁴·a_6_12·a_1_1 + b_2_3³·b_2_4³·a_6_12·a_1_1
        + b_2_3⁴·a_1_1²·b_9_26 + b_2_3⁴·b_2_4²·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_4_5·a_1_1
        + b_2_3·a_1_1²·a_15_55 + b_2_3·b_2_4⁴·a_1_1²·a_7_16
        + b_2_3²·b_2_4·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_11_30 + b_2_3⁷·b_2_4·a_1_1³
145. b_12_43·a_7_16 + b_2_3·b_2_4⁸·a_1_1 + b_2_3³·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁵·a_1_1
        + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁶·a_7_16 + b_2_3⁶·b_2_4³·a_1_1 + b_2_3⁷·b_2_4²·a_1_1
        + a_12_36·a_7_16 + a_4_6·a_15_55 + b_2_4³·a_12_36·a_1_1 + b_2_4⁶·a_6_12·a_1_1
        + b_2_3·b_2_4⁶·a_4_5·a_1_1 + b_2_3²·b_2_4·a_12_36·a_1_1
        + b_2_3²·b_2_4⁴·a_6_12·a_1_1 + b_2_3³·b_2_4⁴·a_4_5·a_1_1
        + b_2_3⁴·b_2_4²·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_4_5·a_1_1 + b_2_3⁷·a_4_6·a_1_1 + b_2_3⁷·a_4_5·a_1_1
        + b_2_4³·a_1_1²·a_11_30 + b_2_4⁵·a_1_1²·a_7_16 + b_2_3·b_2_4²·a_1_1²·a_11_30
        + b_2_3²·b_2_4·a_1_1²·a_11_30 + b_2_3⁴·b_2_4·a_1_1²·a_7_16
        + b_2_3⁷·b_2_4·a_1_1³ + b_2_3²·a_12_36·a_1_1³
146. a_14_45·b_5_11 + b_12_44·a_7_16 + b_12_43·a_7_16 + b_2_4⁶·a_7_16 + b_2_3·b_2_4·a_15_55
        + b_2_3⁴·b_2_4²·a_7_16 + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁵·b_2_4⁴·a_1_1
        + b_2_3⁸·b_2_4·a_1_1 + b_2_3⁹·a_1_2 + b_2_4³·a_12_36·a_1_1
        + b_2_3·b_2_4⁵·a_6_12·a_1_1 + b_2_3²·a_14_45·a_1_1 + b_2_3²·b_2_4⁴·a_6_12·a_1_1
        + b_2_3³·b_2_4³·a_6_12·a_1_1 + b_2_3³·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁴·a_1_1²·b_9_26
        + b_2_3⁴·b_2_4²·a_6_12·a_1_1 + b_2_3⁴·b_2_4³·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_11_30 + b_2_4⁵·a_1_1²·a_7_16
        + b_2_4⁸·a_1_1³ + b_2_3²·b_2_4·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_11_30
        + b_2_3⁵·a_1_1²·a_7_16 + b_2_3⁷·b_2_4·a_1_1³ + b_2_3²·a_12_36·a_1_1³
147. b_12_44·a_7_16 + b_12_43·a_7_16 + b_2_4⁶·a_7_16 + b_2_3·b_2_4⁵·a_7_16
        + b_2_3²·b_2_4⁷·a_1_1 + b_2_3³·b_2_4³·a_7_16 + b_2_3³·b_2_4⁶·a_1_1
        + b_2_3⁴·b_2_4⁵·a_1_1 + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁷·b_2_4²·a_1_1 + a_12_36·a_7_16
        + b_2_4⁷·a_4_5·a_1_1 + b_2_3·b_2_4²·a_12_36·a_1_1 + b_2_3·b_2_4⁵·a_6_12·a_1_1
        + b_2_3²·a_14_45·a_1_1 + b_2_3²·b_2_4·a_12_36·a_1_1 + b_2_3²·b_2_4⁴·a_6_12·a_1_1
        + b_2_3²·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·a_1_1²·b_9_26 + b_2_3⁴·b_2_4²·a_6_12·a_1_1
        + b_2_3⁵·b_2_4·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_4_5·a_1_1 + b_2_3⁶·a_6_12·a_1_1
        + b_2_3⁷·a_4_6·a_1_1 + b_2_4·a_1_1²·a_15_55 + b_2_4³·a_1_1²·a_11_30
        + b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_11_30
        + b_2_3³·b_2_4²·a_1_1²·a_7_16 + b_2_3⁵·a_1_1²·a_7_16 + b_2_3⁸·a_1_1³
        + b_2_3²·a_12_36·a_1_1³
148. a_14_45·b_5_12 + b_2_4²·a_15_55 + b_2_4⁵·a_9_22 + b_2_4⁹·a_1_0 + b_2_3·b_2_4⁵·a_7_16
        + b_2_3²·b_2_4⁴·a_7_16 + b_2_3²·b_2_4⁷·a_1_1 + b_2_3³·b_2_4³·a_7_16
        + b_2_3⁵·a_9_22 + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁶·a_7_16 + b_2_3⁷·b_2_4²·a_1_1
        + b_2_3⁸·b_2_4·a_1_1 + b_2_3⁹·a_1_2 + b_2_3⁹·a_1_1 + b_2_4²·a_14_45·a_1_1
        + b_2_4³·a_12_36·a_1_1 + b_2_4⁷·a_4_5·a_1_1 + b_2_3·b_2_4⁵·a_6_12·a_1_1
        + b_2_3⁴·a_1_1²·b_9_26 + b_2_3⁵·b_2_4·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_4_5·a_1_1 + b_2_4⁵·a_1_1²·a_7_16 + b_2_4⁸·a_1_1³
        + b_2_3·b_2_4²·a_1_1²·a_11_30 + b_2_3²·b_2_4·a_1_1²·a_11_30
        + b_2_3³·a_1_1²·a_11_30 + b_2_3⁴·b_2_4·a_1_1²·a_7_16 + b_2_3⁸·a_1_1³
149. b_12_44·a_7_16 + b_12_43·a_7_16 + b_2_4⁶·a_7_16 + b_2_3·b_2_4⁵·a_7_16
        + b_2_3²·b_2_4⁷·a_1_1 + b_2_3³·b_2_4³·a_7_16 + b_2_3³·b_2_4⁶·a_1_1
        + b_2_3⁴·b_2_4⁵·a_1_1 + b_2_3⁵·b_2_4·a_7_16 + b_2_3⁷·b_2_4²·a_1_1 + a_4_5·a_15_55
        + b_2_4³·a_12_36·a_1_1 + b_2_4⁷·a_4_5·a_1_1 + b_2_3·b_2_4²·a_12_36·a_1_1
        + b_2_3·b_2_4⁵·a_6_12·a_1_1 + b_2_3·b_2_4⁶·a_4_5·a_1_1
        + b_2_3²·b_2_4⁴·a_6_12·a_1_1 + b_2_3³·b_2_4³·a_6_12·a_1_1
        + b_2_3³·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁴·a_1_1²·b_9_26 + b_2_3⁴·b_2_4²·a_6_12·a_1_1
        + b_2_3⁵·b_2_4·a_6_12·a_1_1 + b_2_4³·a_1_1²·a_11_30 + b_2_4⁵·a_1_1²·a_7_16
        + b_2_3·b_2_4²·a_1_1²·a_11_30 + b_2_3·b_2_4⁴·a_1_1²·a_7_16
        + b_2_3²·b_2_4·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_11_30 + b_2_3⁵·a_1_1²·a_7_16
        + b_2_3⁸·a_1_1³
150. b_9_28·a_11_30 + b_2_4³·b_5_12·a_9_22 + b_2_4⁴·a_12_36 + b_2_4⁷·a_6_12
        + b_2_3·a_9_20·b_9_28 + b_2_3·b_2_4²·a_14_45 + b_2_3·b_2_4³·a_12_36
        + b_2_3·b_2_4⁶·a_6_12 + b_2_3²·b_2_4⁶·a_4_5 + b_2_3³·a_14_45
        + b_2_3³·b_2_4·a_12_36 + b_2_3³·b_2_4⁴·a_6_12 + b_2_3⁴·b_2_4⁴·a_4_5
        + b_2_3⁵·a_1_1·b_9_26 + b_2_3⁶·b_2_4²·a_4_5 + b_2_3⁷·a_6_12 + b_2_3⁸·a_4_6
        + a_9_20·a_11_30 + a_6_12·a_14_45 + b_2_4⁴·a_1_1·a_11_30 + b_2_4⁶·a_1_1·a_7_16
        + b_2_3·b_2_4³·a_1_1·a_11_30 + b_2_3²·a_1_1·a_15_55 + b_2_3³·a_4_5·a_1_1·b_9_26
        + b_2_3³·b_2_4⁶·a_1_1² + b_2_3⁴·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁵·a_1_1²
        + b_2_3⁵·b_2_4·a_1_1·a_7_16 + b_2_3⁷·b_2_4²·a_1_1² + b_2_3⁸·b_2_4·a_1_1²
        + b_2_4⁷·a_4_5·a_1_1² + b_2_3²·a_14_45·a_1_1² + b_2_3³·a_12_36·a_1_1²
        + b_2_3⁵·b_2_4·a_6_12·a_1_1² + b_2_3⁶·a_6_12·a_1_1²
        + b_2_3⁶·b_2_4·a_4_5·a_1_1²
151. b_9_28·a_11_30 + b_2_4³·b_5_12·a_9_22 + b_2_4⁴·a_12_36 + b_2_4⁷·a_6_12
        + b_2_3·a_9_20·b_9_28 + b_2_3·b_2_4²·a_14_45 + b_2_3·b_2_4³·a_12_36
        + b_2_3·b_2_4⁶·a_6_12 + b_2_3²·b_2_4⁶·a_4_5 + b_2_3³·a_14_45
        + b_2_3³·b_2_4·a_12_36 + b_2_3³·b_2_4⁴·a_6_12 + b_2_3⁴·b_2_4⁴·a_4_5
        + b_2_3⁵·a_1_1·b_9_26 + b_2_3⁶·b_2_4²·a_4_5 + b_2_3⁷·a_6_12 + b_2_3⁸·a_4_6
        + b_2_4²·a_1_1·a_15_55 + b_2_4⁶·a_1_1·a_7_16 + b_2_3·b_2_4·a_1_1·a_15_55
        + b_2_3·b_2_4⁵·a_1_1·a_7_16 + b_2_3²·b_2_4²·a_1_1·a_11_30
        + b_2_3²·b_2_4⁴·a_1_1·a_7_16 + b_2_3³·a_4_5·a_1_1·b_9_26
        + b_2_3³·b_2_4·a_1_1·a_11_30 + b_2_3⁴·a_1_1·a_11_30 + b_2_3⁴·b_2_4²·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁵·a_1_1² + b_2_3⁶·b_2_4³·a_1_1² + b_2_3⁸·b_2_4·a_1_1²
        + b_2_3⁹·a_1_1² + b_2_4²·a_14_45·a_1_1² + b_2_3·b_2_4·a_14_45·a_1_1²
        + b_2_3·b_2_4²·a_12_36·a_1_1² + b_2_3·b_2_4⁵·a_6_12·a_1_1²
        + b_2_3⁶·b_2_4·a_4_5·a_1_1² + b_2_3³·a_1_1³·a_11_30
152. b_9_28·a_11_30 + b_5_11·a_15_55 + b_2_4³·b_5_12·a_9_22 + b_2_4⁴·a_12_36
        + b_2_4⁷·a_6_12 + b_2_3·a_9_20·b_9_28 + b_2_3·b_2_4²·a_14_45 + b_2_3·b_2_4³·a_12_36
        + b_2_3·b_2_4⁶·a_6_12 + b_2_3·b_2_4⁷·a_4_5 + b_2_3²·b_2_4·a_14_45
        + b_2_3²·b_2_4⁵·a_6_12 + b_2_3²·b_2_4⁶·a_4_5 + b_2_3³·a_14_45
        + b_2_3³·b_2_4·a_12_36 + b_2_3³·b_2_4⁴·a_6_12 + b_2_3⁴·b_2_4³·a_6_12
        + b_2_3⁴·b_2_4⁴·a_4_5 + b_2_3⁵·a_1_1·b_9_26 + b_2_3⁵·b_2_4²·a_6_12
        + b_2_3⁷·a_6_12 + b_2_3⁷·b_2_4·a_4_6 + b_2_3⁷·b_2_4·a_4_5 + b_2_3⁸·a_4_6
        + a_9_20·a_11_30 + a_6_12·a_14_45 + b_2_4⁴·a_1_1·a_11_30 + b_2_4⁶·a_1_1·a_7_16
        + b_2_3·b_2_4·a_1_1·a_15_55 + b_2_3·b_2_4³·a_1_1·a_11_30
        + b_2_3·b_2_4⁵·a_1_1·a_7_16 + b_2_3·b_2_4⁸·a_1_1² + b_2_3²·b_2_4²·a_1_1·a_11_30
        + b_2_3³·b_2_4³·a_1_1·a_7_16 + b_2_3⁴·b_2_4²·a_1_1·a_7_16
        + b_2_3⁵·b_2_4⁴·a_1_1² + b_2_3⁷·b_2_4²·a_1_1² + b_2_4⁶·a_6_12·a_1_1²
        + b_2_4⁷·a_4_5·a_1_1² + b_2_3·b_2_4·a_14_45·a_1_1²
        + b_2_3²·b_2_4·a_12_36·a_1_1² + b_2_3³·a_12_36·a_1_1² + b_2_3⁶·a_6_12·a_1_1²
        + b_2_3⁷·a_4_5·a_1_1²
153. b_9_28·a_11_30 + b_5_12·a_15_55 + b_2_4⁴·a_12_36 + b_2_4⁷·a_6_12 + b_2_4⁸·a_4_6
        + b_2_4⁸·a_4_5 + b_2_3·a_9_20·b_9_28 + b_2_3·b_2_4³·a_12_36 + b_2_3·b_2_4⁶·a_6_12
        + b_2_3²·b_2_4⁵·a_6_12 + b_2_3³·b_5_11·a_9_20 + b_2_3³·a_14_45
        + b_2_3³·b_2_4·a_12_36 + b_2_3⁴·b_2_4³·a_6_12 + b_2_3⁴·b_2_4⁴·a_4_5
        + b_2_3⁵·a_1_1·b_9_26 + b_2_3⁷·a_1_1·b_5_11 + b_2_3⁷·a_6_12 + b_2_3⁷·b_2_4·a_4_5
        + b_2_3⁸·a_4_6 + b_2_4⁶·a_1_1·a_7_16 + b_2_4⁹·a_1_1² + b_2_3·b_2_4·a_1_1·a_15_55
        + b_2_3·b_2_4³·a_1_1·a_11_30 + b_2_3·b_2_4⁸·a_1_1²
        + b_2_3²·b_2_4²·a_1_1·a_11_30 + b_2_3²·b_2_4⁴·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_11_30 + b_2_3³·b_2_4⁶·a_1_1² + b_2_3⁴·a_1_1·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁵·a_1_1² + b_2_3⁷·b_2_4²·a_1_1²
        + b_2_3⁸·b_2_4·a_1_1² + b_2_3⁹·a_1_1² + b_2_4⁶·a_6_12·a_1_1²
        + b_2_3·b_2_4·a_14_45·a_1_1² + b_2_3·b_2_4²·a_12_36·a_1_1²
        + b_2_3·b_2_4⁵·a_6_12·a_1_1² + b_2_3³·a_12_36·a_1_1² + b_2_3⁶·a_6_12·a_1_1²
        + b_2_3⁶·b_2_4·a_4_5·a_1_1² + b_2_3⁷·a_4_6·a_1_1² + b_2_3⁷·a_4_5·a_1_1²
154. a_9_20·a_11_30 + b_2_3·b_2_4³·a_1_1·a_11_30 + b_2_3²·b_2_4²·a_1_1·a_11_30
        + b_2_3⁴·a_1_1·a_11_30 + b_2_4²·a_14_45·a_1_1² + b_2_4³·a_12_36·a_1_1²
        + b_2_4⁷·a_4_5·a_1_1² + b_2_3·b_2_4²·a_12_36·a_1_1²
        + b_2_3²·b_2_4·a_12_36·a_1_1² + b_2_3³·a_12_36·a_1_1² + b_2_3⁶·a_6_12·a_1_1²
        + b_2_3³·a_1_1³·a_11_30 + c_16_69·a_1_1⁴
155. a_9_22·a_11_30 + a_9_20·a_11_30 + a_6_12·a_14_45 + b_2_4⁹·a_1_1²
        + b_2_3·b_2_4·a_1_1·a_15_55 + b_2_3·b_2_4³·a_1_1·a_11_30
        + b_2_3·b_2_4⁵·a_1_1·a_7_16 + b_2_3²·b_2_4⁷·a_1_1² + b_2_3³·b_2_4·a_1_1·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁵·a_1_1²
        + b_2_3⁵·b_2_4·a_1_1·a_7_16 + b_2_3⁶·b_2_4³·a_1_1² + b_2_3⁷·b_2_4²·a_1_1²
        + b_2_3⁸·b_2_4·a_1_1² + b_2_4²·a_14_45·a_1_1² + b_2_4⁶·a_6_12·a_1_1²
        + b_2_3·b_2_4²·a_12_36·a_1_1² + b_2_3·b_2_4⁵·a_6_12·a_1_1²
        + b_2_3²·a_14_45·a_1_1² + b_2_3³·a_12_36·a_1_1² + b_2_3·c_16_69·a_1_0·a_1_1
156. b_9_28·a_11_30 + b_9_26·a_11_30 + b_2_4³·b_5_12·a_9_22 + b_2_4⁴·a_12_36
        + b_2_4⁷·a_6_12 + b_2_3·a_9_20·b_9_28 + b_2_3·b_2_4³·a_12_36 + b_2_3²·b_2_4·a_14_45
        + b_2_3²·b_2_4⁵·a_6_12 + b_2_3³·a_14_45 + b_2_3³·b_2_4·a_12_36
        + b_2_3³·b_2_4⁴·a_6_12 + b_2_3³·b_2_4⁵·a_4_5 + b_2_3⁴·b_2_4³·a_6_12
        + b_2_3⁵·a_1_1·b_9_26 + b_2_3⁵·b_2_4²·a_6_12 + b_2_3⁶·b_2_4²·a_4_5
        + b_2_3⁷·a_6_12 + b_2_3⁷·b_2_4·a_4_5 + b_2_3⁸·a_4_6 + a_9_20·a_11_30
        + b_2_4⁴·a_1_1·a_11_30 + b_2_4⁶·a_1_1·a_7_16 + b_2_3·b_2_4·a_1_1·a_15_55
        + b_2_3·b_2_4³·a_1_1·a_11_30 + b_2_3²·b_2_4²·a_1_1·a_11_30
        + b_2_3²·b_2_4⁴·a_1_1·a_7_16 + b_2_3³·a_4_5·a_1_1·b_9_26
        + b_2_3³·b_2_4⁶·a_1_1² + b_2_3⁴·b_2_4²·a_1_1·a_7_16 + b_2_3⁵·b_2_4⁴·a_1_1²
        + b_2_3⁶·b_2_4³·a_1_1² + b_2_3⁸·b_2_4·a_1_1² + b_2_4²·a_14_45·a_1_1²
        + b_2_4⁶·a_6_12·a_1_1² + b_2_4⁷·a_4_5·a_1_1² + b_2_3·b_2_4⁵·a_6_12·a_1_1²
        + b_2_3²·a_14_45·a_1_1² + b_2_3²·b_2_4·a_12_36·a_1_1²
        + b_2_3³·a_12_36·a_1_1² + b_2_3⁶·b_2_4·a_4_5·a_1_1² + b_2_3⁷·a_4_5·a_1_1²
        + b_2_3³·a_1_1³·a_11_30 + c_16_69·a_1_1·a_3_6 + b_2_4·c_16_69·a_1_1²
        + b_2_3·c_16_69·a_1_1²
157. b_12_43·a_9_22 + b_12_43·a_9_20 + b_2_3·b_2_4⁹·a_1_1 + b_2_3²·b_2_4⁸·a_1_1
        + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁶·a_9_22 + b_2_3⁶·a_9_20
        + b_2_3⁶·b_2_4·a_7_16 + b_2_3⁷·b_2_4³·a_1_1 + b_2_4⁷·a_6_12·a_1_1
        + b_2_3·b_2_4⁶·a_6_12·a_1_1 + b_2_3·b_2_4⁷·a_4_5·a_1_1
        + b_2_3²·b_2_4⁵·a_6_12·a_1_1 + b_2_3³·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁴·b_2_4⁴·a_4_5·a_1_1
        + b_2_3⁵·b_2_4²·a_6_12·a_1_1 + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁷·a_6_12·a_1_1
        + b_2_3⁸·a_4_6·a_1_1 + b_2_4⁶·a_1_1²·a_7_16 + b_2_4⁹·a_1_1³
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3⁴·a_1_1²·a_11_30 + b_2_3⁵·b_2_4·a_1_1²·a_7_16 + b_2_3⁶·a_1_1²·a_7_16
        + b_2_3⁹·a_1_1³ + b_2_3³·a_12_36·a_1_1³
158. b_12_44·a_9_22 + b_12_44·a_9_20 + b_12_43·a_9_20 + b_2_4⁶·a_9_22 + b_2_4¹⁰·a_1_0
        + b_2_3·b_2_4⁶·a_7_16 + b_2_3²·b_2_4⁸·a_1_1 + b_2_3³·b_2_4⁴·a_7_16
        + b_2_3³·b_2_4⁷·a_1_1 + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁵·b_2_4⁵·a_1_1
        + b_2_3⁷·a_7_16 + b_2_3¹⁰·a_1_1 + a_12_36·a_9_22 + b_2_4⁸·a_4_5·a_1_1
        + b_2_3·b_2_4⁶·a_6_12·a_1_1 + b_2_3·b_2_4⁷·a_4_5·a_1_1
        + b_2_3²·b_2_4·a_14_45·a_1_1 + b_2_3²·b_2_4²·a_12_36·a_1_1
        + b_2_3²·b_2_4⁶·a_4_5·a_1_1 + b_2_3³·a_14_45·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1
        + b_2_3⁴·a_12_36·a_1_1 + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁶·b_2_4·a_6_12·a_1_1
        + b_2_3⁶·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁹·a_1_1³ + b_2_3·b_2_4³·a_1_1²·a_11_30 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1²·a_7_16
        + b_2_3⁶·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3⁹·a_1_1³
159. b_12_43·b_9_28 + b_2_3·b_2_4⁷·b_5_12 + b_2_3²·b_2_4⁶·b_5_12
        + b_2_3⁴·b_2_4⁴·b_5_12 + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁵·b_2_4³·b_5_12
        + b_2_3⁶·b_9_28 + b_2_3⁶·b_9_26 + b_12_44·a_9_20 + b_2_4⁷·a_7_16 + b_2_4¹⁰·a_1_1
        + b_2_3·b_2_4⁶·a_7_16 + b_2_3²·b_2_4⁵·a_7_16 + b_2_3³·b_2_4⁷·a_1_1
        + b_2_3⁵·a_11_30 + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁶·a_9_22 + b_2_3⁶·a_9_20
        + b_2_3⁶·b_2_4·a_7_16 + b_2_3¹⁰·a_1_1 + b_2_3¹⁰·a_1_0 + a_12_36·a_9_20
        + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁷·a_6_12·a_1_1 + b_2_3·b_2_4²·a_14_45·a_1_1
        + b_2_3·b_2_4³·a_12_36·a_1_1 + b_2_3·b_2_4⁶·a_6_12·a_1_1
        + b_2_3·b_2_4⁷·a_4_5·a_1_1 + b_2_3³·a_14_45·a_1_1 + b_2_3³·b_2_4⁴·a_6_12·a_1_1
        + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·b_2_4⁴·a_4_5·a_1_1
        + b_2_3⁵·b_2_4²·a_6_12·a_1_1 + b_2_3⁵·b_2_4³·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁶·b_2_4²·a_4_5·a_1_1 + b_2_3⁷·a_6_12·a_1_1
        + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1 + b_2_4⁴·a_1_1²·a_11_30
        + b_2_4⁶·a_1_1²·a_7_16 + b_2_3·b_2_4³·a_1_1²·a_11_30
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3³·b_2_4·a_1_1²·a_11_30 + b_2_3⁴·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1²·a_7_16
        + b_2_3⁸·b_2_4·a_1_1³ + b_2_3³·a_12_36·a_1_1³
160. b_12_44·a_9_22 + b_12_44·a_9_20 + b_2_4⁶·a_9_22 + b_2_4¹⁰·a_1_0 + b_2_3·b_2_4⁶·a_7_16
        + b_2_3²·b_2_4⁵·a_7_16 + b_2_3²·b_2_4⁸·a_1_1 + b_2_3³·b_2_4⁴·a_7_16
        + b_2_3³·b_2_4⁷·a_1_1 + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1
        + b_2_3⁶·a_9_20 + b_2_3⁶·b_2_4·a_7_16 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁷·a_7_16
        + b_2_3⁹·b_2_4·a_1_1 + b_2_3¹⁰·a_1_1 + a_14_45·a_7_16 + a_12_36·a_9_22 + a_12_36·a_9_20
        + b_2_4³·a_14_45·a_1_1 + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁷·a_6_12·a_1_1
        + b_2_4⁸·a_4_5·a_1_1 + b_2_3·b_2_4³·a_12_36·a_1_1 + b_2_3·b_2_4⁷·a_4_5·a_1_1
        + b_2_3²·b_2_4⁵·a_6_12·a_1_1 + b_2_3³·a_14_45·a_1_1 + b_2_3³·b_2_4·a_12_36·a_1_1
        + b_2_3⁵·b_2_4²·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁴·a_1_1²·a_11_30 + b_2_4⁶·a_1_1²·a_7_16 + b_2_4⁹·a_1_1³
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3⁴·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3⁹·a_1_1³
        + b_2_3³·a_12_36·a_1_1³
161. b_12_43·a_9_20 + b_2_3²·b_2_4⁵·a_7_16 + b_2_3⁴·b_2_4³·a_7_16
        + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁵·b_2_4⁵·a_1_1
        + b_2_3⁶·a_9_20 + b_2_3⁶·b_2_4·a_7_16 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁹·b_2_4·a_1_1
        + b_2_3³·b_2_4⁴·a_6_12·a_1_1 + b_2_3⁴·b_2_4³·a_6_12·a_1_1
        + b_2_3⁵·b_2_4³·a_4_5·a_1_1 + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1
        + b_2_3·b_2_4³·a_1_1²·a_11_30 + b_2_3²·a_1_1²·a_15_55
        + b_2_3³·b_2_4·a_1_1²·a_11_30 + b_2_3⁵·b_2_4·a_1_1²·a_7_16
        + b_2_3⁶·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3³·a_12_36·a_1_1³
162. b_12_44·b_9_28 + b_2_4⁶·b_9_26 + b_2_4⁸·b_5_12 + b_2_3·b_2_4⁷·b_5_12
        + b_2_3²·b_2_4⁴·b_9_26 + b_2_3²·b_2_4⁶·b_5_12 + b_2_3³·b_2_4³·b_9_26
        + b_2_3⁵·b_2_4³·b_5_12 + b_2_3⁶·b_9_28 + b_2_3⁶·b_2_4²·b_5_12
        + b_2_3⁷·b_2_4·b_5_12 + b_12_44·a_9_22 + a_12_36·b_9_28 + b_2_4⁵·a_11_30
        + b_2_4¹⁰·a_1_1 + b_2_3·b_2_4⁴·a_11_30 + b_2_3·b_2_4⁶·a_7_16 + b_2_3·b_2_4⁹·a_1_1
        + b_2_3²·b_2_4·a_15_55 + b_2_3²·b_2_4³·a_11_30 + b_2_3²·b_2_4⁵·a_7_16
        + b_2_3³·a_15_55 + b_2_3³·b_2_4²·a_11_30 + b_2_3³·b_2_4⁴·a_7_16
        + b_2_3⁴·a_4_5·b_9_26 + b_2_3⁴·b_2_4·a_11_30 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁶·a_9_22
        + b_2_3⁶·b_2_4·a_7_16 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁷·b_2_4³·a_1_1
        + b_2_3⁸·b_2_4²·a_1_1 + b_2_3⁹·b_2_4·a_1_1 + b_2_3¹⁰·a_1_1 + a_12_36·a_9_22
        + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁷·a_6_12·a_1_1 + b_2_3·b_2_4³·a_12_36·a_1_1
        + b_2_3·b_2_4⁷·a_4_5·a_1_1 + b_2_3²·b_2_4²·a_12_36·a_1_1
        + b_2_3²·b_2_4⁵·a_6_12·a_1_1 + b_2_3³·b_2_4·a_12_36·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_6_12·a_1_1
        + b_2_3⁵·b_2_4³·a_4_5·a_1_1 + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁷·a_6_12·a_1_1
        + b_2_3⁸·a_4_6·a_1_1 + b_2_3⁸·a_4_5·a_1_1 + b_2_4⁶·a_1_1²·a_7_16
        + b_2_3·b_2_4³·a_1_1²·a_11_30 + b_2_3·b_2_4⁵·a_1_1²·a_7_16
        + b_2_3³·b_2_4·a_1_1²·a_11_30 + b_2_3⁴·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁸·b_2_4·a_1_1³ + b_2_3⁹·a_1_1³
163. b_12_44·a_9_20 + b_2_4¹⁰·a_1_0 + b_2_3·b_2_4⁹·a_1_1 + b_2_3²·b_2_4⁵·a_7_16
        + b_2_3³·b_2_4⁴·a_7_16 + b_2_3³·b_2_4⁷·a_1_1 + b_2_3⁴·a_4_5·b_9_26
        + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁶·a_9_20 + b_2_3⁷·b_2_4³·a_1_1 + a_12_36·a_9_20
        + b_2_4⁷·a_6_12·a_1_1 + b_2_3²·b_2_4²·a_12_36·a_1_1 + b_2_3²·b_2_4⁵·a_6_12·a_1_1
        + b_2_3²·b_2_4⁶·a_4_5·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁶·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1
        + b_2_4⁹·a_1_1³ + b_2_3·b_2_4·a_1_1²·a_15_55 + b_2_3·b_2_4³·a_1_1²·a_11_30
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3³·b_2_4·a_1_1²·a_11_30 + b_2_3⁴·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁵·b_2_4·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3⁹·a_1_1³
164. b_12_44·a_9_20 + b_12_43·a_9_20 + a_12_36·b_9_28 + b_2_4⁷·a_7_16 + b_2_4¹⁰·a_1_1
        + b_2_3·b_2_4²·a_15_55 + b_2_3·b_2_4⁴·a_11_30 + b_2_3·b_2_4⁶·a_7_16
        + b_2_3²·b_2_4³·a_11_30 + b_2_3³·a_15_55 + b_2_3⁴·b_2_4·a_11_30
        + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁷·a_7_16 + b_2_3⁷·b_2_4³·a_1_1
        + b_2_3⁸·b_2_4²·a_1_1 + b_2_3⁹·b_2_4·a_1_1 + b_2_3¹⁰·a_1_2 + b_2_3¹⁰·a_1_1
        + a_12_36·a_9_22 + a_12_36·a_9_20 + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁸·a_4_5·a_1_1
        + b_2_3·b_2_4³·a_12_36·a_1_1 + b_2_3·b_2_4⁶·a_6_12·a_1_1
        + b_2_3²·b_2_4²·a_12_36·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1
        + b_2_3⁴·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁵·a_1_1²·b_9_26 + b_2_3⁶·b_2_4²·a_4_5·a_1_1
        + b_2_3⁷·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁴·a_1_1²·a_11_30 + b_2_4⁹·a_1_1³ + b_2_3·b_2_4³·a_1_1²·a_11_30
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁶·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³
165. b_12_43·b_9_28 + b_2_3·b_2_4⁷·b_5_12 + b_2_3²·b_2_4⁶·b_5_12
        + b_2_3⁴·b_2_4⁴·b_5_12 + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁵·b_2_4³·b_5_12
        + b_2_3⁶·b_9_28 + b_2_3⁶·b_9_26 + b_12_44·a_9_20 + b_12_43·a_9_20 + b_2_4⁷·a_7_16
        + b_2_4¹⁰·a_1_1 + b_2_3·b_2_4⁶·a_7_16 + b_2_3³·b_2_4⁷·a_1_1
        + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁵·a_11_30
        + b_2_3⁵·b_2_4⁵·a_1_1 + b_2_3⁶·a_9_22 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁹·b_2_4·a_1_1
        + b_2_3¹⁰·a_1_1 + b_2_3¹⁰·a_1_0 + a_12_36·a_9_22 + b_2_4⁷·a_6_12·a_1_1
        + b_2_4⁸·a_4_5·a_1_1 + b_2_3·b_2_4⁷·a_4_5·a_1_1 + b_2_3²·b_2_4⁵·a_6_12·a_1_1
        + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁶·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1
        + b_2_4²·a_1_1²·a_15_55 + b_2_4⁴·a_1_1²·a_11_30 + b_2_4⁹·a_1_1³
        + b_2_3⁹·a_1_1³
166. b_12_43·b_9_28 + b_2_3·b_2_4⁷·b_5_12 + b_2_3²·b_2_4⁶·b_5_12
        + b_2_3⁴·b_2_4⁴·b_5_12 + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁵·b_2_4³·b_5_12
        + b_2_3⁶·b_9_28 + b_2_3⁶·b_9_26 + b_12_44·a_9_22 + b_2_4⁶·a_9_22 + b_2_4⁷·a_7_16
        + b_2_4¹⁰·a_1_1 + b_2_4¹⁰·a_1_0 + b_2_3²·b_2_4⁸·a_1_1 + b_2_3³·b_2_4⁴·a_7_16
        + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁵·a_11_30
        + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁶·a_9_22 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁷·a_7_16
        + b_2_3⁹·b_2_4·a_1_1 + b_2_3¹⁰·a_1_0 + a_12_36·a_9_22 + a_6_12·a_15_55
        + b_2_4⁷·a_6_12·a_1_1 + b_2_3·b_2_4⁶·a_6_12·a_1_1 + b_2_3²·b_2_4⁵·a_6_12·a_1_1
        + b_2_3²·b_2_4⁶·a_4_5·a_1_1 + b_2_3³·a_14_45·a_1_1 + b_2_3³·b_2_4·a_12_36·a_1_1
        + b_2_3³·b_2_4⁴·a_6_12·a_1_1 + b_2_3⁵·b_2_4²·a_6_12·a_1_1
        + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁸·a_4_6·a_1_1 + b_2_4⁴·a_1_1²·a_11_30
        + b_2_4⁶·a_1_1²·a_7_16 + b_2_3³·b_2_4·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4·a_1_1²·a_7_16 + b_2_3⁶·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³
167. b_12_43·b_9_28 + b_2_3·b_2_4⁷·b_5_12 + b_2_3²·b_2_4⁶·b_5_12
        + b_2_3⁴·b_2_4⁴·b_5_12 + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁵·b_2_4³·b_5_12
        + b_2_3⁶·b_9_28 + b_2_3⁶·b_9_26 + b_12_44·a_9_20 + b_12_43·a_9_20 + b_2_4⁷·a_7_16
        + b_2_4¹⁰·a_1_1 + b_2_3·b_2_4⁶·a_7_16 + b_2_3³·b_2_4⁷·a_1_1
        + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁵·a_11_30
        + b_2_3⁵·b_2_4⁵·a_1_1 + b_2_3⁶·a_9_22 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁹·b_2_4·a_1_1
        + b_2_3¹⁰·a_1_1 + b_2_3¹⁰·a_1_0 + a_12_36·a_9_22 + a_12_36·a_9_20
        + b_2_4⁷·a_6_12·a_1_1 + b_2_4⁸·a_4_5·a_1_1 + b_2_3·b_2_4³·a_12_36·a_1_1
        + b_2_3·b_2_4⁷·a_4_5·a_1_1 + b_2_3²·b_2_4²·a_12_36·a_1_1
        + b_2_3²·b_2_4⁵·a_6_12·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁶·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1 + b_2_4⁴·a_1_1²·a_11_30
        + b_2_4⁶·a_1_1²·a_7_16 + b_2_3·b_2_4³·a_1_1²·a_11_30
        + b_2_3²·b_2_4²·a_1_1²·a_11_30 + b_2_3³·b_2_4·a_1_1²·a_11_30
        + b_2_3⁴·a_1_1²·a_11_30 + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁶·a_1_1²·a_7_16
        + b_2_3⁸·b_2_4·a_1_1³ + c_16_69·a_1_1²·a_3_6
168. b_12_44·b_9_28 + b_12_43·b_9_28 + b_2_4⁶·b_9_26 + b_2_4⁸·b_5_12
        + b_2_3²·b_2_4⁴·b_9_26 + b_2_3³·b_2_4³·b_9_26 + b_2_3⁴·b_2_4⁴·b_5_12
        + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁶·b_9_26 + b_2_3⁶·b_2_4²·b_5_12 + b_2_3⁷·b_2_4·b_5_12
        + b_12_43·a_9_20 + a_12_36·b_9_26 + b_2_4⁵·a_11_30 + b_2_4⁶·a_9_22 + b_2_4¹⁰·a_1_1
        + b_2_3²·b_2_4⁵·a_7_16 + b_2_3³·b_2_4²·a_11_30 + b_2_3⁴·a_4_5·b_9_26
        + b_2_3⁵·a_11_30 + b_2_3⁶·a_9_20 + b_2_3⁷·b_2_4³·a_1_1 + b_2_3¹⁰·a_1_2
        + b_2_3¹⁰·a_1_0 + a_14_45·a_7_16 + a_12_36·a_9_22 + b_2_4⁴·a_12_36·a_1_1
        + b_2_4⁷·a_6_12·a_1_1 + b_2_3·b_2_4⁶·a_6_12·a_1_1 + b_2_3²·b_2_4⁵·a_6_12·a_1_1
        + b_2_3³·a_14_45·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁴·b_2_4⁴·a_4_5·a_1_1
        + b_2_3⁵·b_2_4²·a_6_12·a_1_1 + b_2_3⁵·b_2_4³·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁶·a_1_1²·a_7_16 + b_2_3·b_2_4⁵·a_1_1²·a_7_16
        + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3³·a_12_36·a_1_1³
        + a_4_6·c_16_69·a_1_1
169. b_12_44·b_9_28 + b_12_43·b_9_26 + b_2_4⁶·b_9_26 + b_2_4⁸·b_5_12 + b_2_3·b_2_4⁵·b_9_26
        + b_2_3·b_2_4⁷·b_5_12 + b_2_3³·b_2_4³·b_9_26 + b_2_3⁴·b_2_4²·b_9_26
        + b_2_3⁴·b_2_4⁴·b_5_12 + b_2_3⁵·b_2_4·b_9_26 + b_2_3⁶·b_9_28 + b_2_3⁶·b_9_26
        + b_2_3⁶·b_2_4²·b_5_12 + b_12_44·a_9_22 + b_12_43·a_9_20 + b_2_4⁵·a_11_30
        + b_2_4⁷·a_7_16 + b_2_4¹⁰·a_1_0 + b_2_3·b_2_4⁶·a_7_16 + b_2_3·b_2_4⁹·a_1_1
        + b_2_3²·b_2_4⁵·a_7_16 + b_2_3³·b_2_4²·a_11_30 + b_2_3³·b_2_4⁷·a_1_1
        + b_2_3⁴·b_2_4³·a_7_16 + b_2_3⁴·b_2_4⁶·a_1_1 + b_2_3⁵·b_2_4²·a_7_16
        + b_2_3⁵·b_2_4⁵·a_1_1 + b_2_3⁶·a_9_22 + b_2_3⁶·a_9_20 + b_2_3⁶·b_2_4⁴·a_1_1
        + b_2_3⁷·a_7_16 + b_2_3⁸·b_2_4²·a_1_1 + b_2_3⁹·b_2_4·a_1_1 + b_2_3¹⁰·a_1_2
        + a_14_45·a_7_16 + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁷·a_6_12·a_1_1 + b_2_4⁸·a_4_5·a_1_1
        + b_2_3·b_2_4⁶·a_6_12·a_1_1 + b_2_3·b_2_4⁷·a_4_5·a_1_1
        + b_2_3²·b_2_4⁵·a_6_12·a_1_1 + b_2_3³·b_2_4·a_12_36·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁵·a_1_1²·b_9_26 + b_2_3⁵·b_2_4³·a_4_5·a_1_1 + b_2_3⁶·b_2_4²·a_4_5·a_1_1
        + b_2_3⁷·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁴·a_1_1²·a_11_30 + b_2_3·b_2_4³·a_1_1²·a_11_30
        + b_2_3·b_2_4⁵·a_1_1²·a_7_16 + b_2_3²·b_2_4²·a_1_1²·a_11_30
        + b_2_3³·b_2_4·a_1_1²·a_11_30 + b_2_3⁴·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁵·b_2_4·a_1_1²·a_7_16 + b_2_3⁸·b_2_4·a_1_1³ + b_2_3⁹·a_1_1³
        + b_2_3³·a_12_36·a_1_1³ + b_2_4·c_16_69·a_1_1³ + b_2_3·c_16_69·a_1_1³
170. b_12_44·b_9_26 + b_2_4⁶·b_9_26 + b_2_3²·b_2_4⁶·b_5_12 + b_2_3³·b_2_4³·b_9_26
        + b_2_3³·b_2_4⁵·b_5_12 + b_2_3⁵·b_2_4³·b_5_12 + b_2_3⁶·b_9_26
        + b_2_3⁶·b_2_4²·b_5_12 + b_12_44·a_9_22 + b_12_43·a_9_20 + b_2_4⁶·a_9_22
        + b_2_3·b_2_4⁶·a_7_16 + b_2_3·b_2_4⁹·a_1_1 + b_2_3⁵·b_2_4²·a_7_16 + b_2_3⁶·a_9_20
        + b_2_3⁶·b_2_4·a_7_16 + b_2_3⁶·b_2_4⁴·a_1_1 + b_2_3⁷·a_7_16 + b_2_3⁸·b_2_4²·a_1_1
        + b_2_3¹⁰·a_1_1 + b_2_4⁴·a_12_36·a_1_1 + b_2_4⁷·a_6_12·a_1_1
        + b_2_3·b_2_4³·a_12_36·a_1_1 + b_2_3·b_2_4⁶·a_6_12·a_1_1
        + b_2_3·b_2_4⁷·a_4_5·a_1_1 + b_2_3²·b_2_4⁵·a_6_12·a_1_1
        + b_2_3³·b_2_4·a_12_36·a_1_1 + b_2_3³·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁴·a_12_36·a_1_1
        + b_2_3⁴·b_2_4³·a_6_12·a_1_1 + b_2_3⁴·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁵·a_1_1²·b_9_26
        + b_2_3⁵·b_2_4²·a_6_12·a_1_1 + b_2_3⁵·b_2_4³·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_6_12·a_1_1 + b_2_3⁶·b_2_4²·a_4_5·a_1_1
        + b_2_3⁷·b_2_4·a_4_5·a_1_1 + b_2_3⁸·a_4_6·a_1_1 + b_2_3⁸·a_4_5·a_1_1
        + b_2_4⁴·a_1_1²·a_11_30 + b_2_4⁶·a_1_1²·a_7_16 + b_2_4⁹·a_1_1³
        + b_2_3⁴·b_2_4²·a_1_1²·a_7_16 + b_2_3⁵·b_2_4·a_1_1²·a_7_16
        + b_2_3⁸·b_2_4·a_1_1³ + a_4_5·c_16_69·a_1_1 + b_2_3·c_16_69·a_1_1³
171. a_7_16·a_15_55 + b_2_4³·a_1_1·a_15_55 + b_2_4⁷·a_1_1·a_7_16 + b_2_4¹⁰·a_1_1²
        + b_2_3·b_2_4⁴·a_1_1·a_11_30 + b_2_3²·b_2_4·a_1_1·a_15_55
        + b_2_3²·b_2_4⁵·a_1_1·a_7_16 + b_2_3³·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁴·b_2_4·a_1_1·a_11_30 + b_2_3⁵·b_2_4²·a_1_1·a_7_16
        + b_2_3⁶·b_2_4·a_1_1·a_7_16 + b_2_3⁷·a_1_1·a_7_16 + b_2_3⁷·b_2_4³·a_1_1²
        + b_2_3⁸·b_2_4²·a_1_1² + b_2_3⁹·b_2_4·a_1_1² + b_2_4⁴·a_12_36·a_1_1²
        + b_2_4⁷·a_6_12·a_1_1² + b_2_3·b_2_4⁶·a_6_12·a_1_1²
        + b_2_3²·b_2_4·a_14_45·a_1_1² + b_2_3²·b_2_4²·a_12_36·a_1_1²
        + b_2_3³·a_14_45·a_1_1² + b_2_3³·b_2_4·a_12_36·a_1_1² + b_2_3⁷·a_6_12·a_1_1²
        + b_2_3⁸·a_4_6·a_1_1² + b_2_3·c_16_69·a_1_1⁴
172. a_11_30² + b_2_4¹⁰·a_1_1² + b_2_3·b_2_4⁶·a_1_1·a_7_16
        + b_2_3²·b_2_4³·a_1_1·a_11_30 + b_2_3³·b_2_4²·a_1_1·a_11_30
        + b_2_3³·b_2_4⁴·a_1_1·a_7_16 + b_2_3³·b_2_4⁷·a_1_1² + b_2_3⁹·b_2_4·a_1_1²
        + b_2_3¹⁰·a_1_1² + b_2_4⁴·a_12_36·a_1_1² + b_2_4⁷·a_6_12·a_1_1²
        + b_2_4⁸·a_4_5·a_1_1² + b_2_3·b_2_4³·a_12_36·a_1_1²
        + b_2_3²·b_2_4²·a_12_36·a_1_1² + b_2_3⁷·a_6_12·a_1_1² + b_2_3⁸·a_4_6·a_1_1²
        + b_2_4²·c_16_69·a_1_1² + b_2_3²·c_16_69·a_1_1²
173. b_12_44·a_11_30 + b_2_4⁶·a_11_30 + b_2_3·b_2_4³·a_15_55 + b_2_3·b_2_4¹⁰·a_1_1
        + b_2_3²·b_2_4²·a_15_55 + b_2_3²·b_2_4⁹·a_1_1 + b_2_3³·b_2_4³·a_11_30
        + b_2_3³·b_2_4⁵·a_7_16 + b_2_3⁴·b_2_4⁴·a_7_16 + b_2_3⁴·b_2_4⁷·a_1_1
        + b_2_3⁶·a_11_30 + b_2_3⁹·b_2_4²·a_1_1 + a_14_45·a_9_22 + a_14_45·a_9_20
        + a_12_36·a_11_30 + b_2_4⁸·a_6_12·a_1_1 + b_2_4⁹·a_4_5·a_1_1
        + b_2_3·b_2_4⁴·a_12_36·a_1_1 + b_2_3·b_2_4⁸·a_4_5·a_1_1
        + b_2_3²·b_2_4²·a_14_45·a_1_1 + b_2_3²·b_2_4³·a_12_36·a_1_1
        + b_2_3³·b_2_4·a_14_45·a_1_1 + b_2_3³·b_2_4⁵·a_6_12·a_1_1 + b_2_3⁴·a_14_45·a_1_1
        + b_2_3⁴·b_2_4·a_12_36·a_1_1 + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁶·a_1_1²·b_9_26
        + b_2_3⁶·b_2_4²·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_6_12·a_1_1
        + b_2_3⁸·b_2_4·a_4_5·a_1_1 + b_2_3⁹·a_4_6·a_1_1 + b_2_3⁹·a_4_5·a_1_1
        + b_2_4⁵·a_1_1²·a_11_30 + b_2_4¹⁰·a_1_1³ + b_2_3·b_2_4⁶·a_1_1²·a_7_16
        + b_2_3²·b_2_4³·a_1_1²·a_11_30 + b_2_3⁴·b_2_4·a_1_1²·a_11_30
        + b_2_3⁹·b_2_4·a_1_1³ + b_2_3¹⁰·a_1_1³ + b_2_3⁴·a_12_36·a_1_1³
        + b_2_3·a_4_6·c_16_69·a_1_1 + b_2_3²·c_16_69·a_1_1³
174. a_14_45·a_9_22 + b_2_4⁴·a_14_45·a_1_1 + b_2_4⁵·a_12_36·a_1_1 + b_2_4⁸·a_6_12·a_1_1
        + b_2_3·b_2_4⁴·a_12_36·a_1_1 + b_2_3²·b_2_4²·a_14_45·a_1_1
        + b_2_3²·b_2_4⁷·a_4_5·a_1_1 + b_2_3³·b_2_4²·a_12_36·a_1_1 + b_2_3⁴·a_14_45·a_1_1
        + b_2_3⁴·b_2_4·a_12_36·a_1_1 + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁵·b_2_4³·a_6_12·a_1_1
        + b_2_3⁵·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁷·b_2_4·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_4¹⁰·a_1_1³ + b_2_3·b_2_4²·a_1_1²·a_15_55
        + b_2_3·b_2_4⁴·a_1_1²·a_11_30 + b_2_3³·a_1_1²·a_15_55 + b_2_3⁷·a_1_1²·a_7_16
        + b_2_3¹⁰·a_1_1³ + b_2_3⁴·a_12_36·a_1_1³ + a_4_6·c_16_69·a_1_1³
175. a_14_45·b_9_28 + b_2_4⁴·a_15_55 + b_2_4⁷·a_9_22 + b_2_4¹¹·a_1_0
        + b_2_3·b_2_4³·a_15_55 + b_2_3·b_2_4⁵·a_11_30 + b_2_3·b_2_4⁷·a_7_16
        + b_2_3²·b_2_4⁴·a_11_30 + b_2_3²·b_2_4⁹·a_1_1 + b_2_3³·b_2_4·a_15_55
        + b_2_3⁴·b_2_4²·a_11_30 + b_2_3⁵·b_2_4·a_11_30 + b_2_3⁵·b_2_4³·a_7_16
        + b_2_3⁵·b_2_4⁶·a_1_1 + b_2_3⁶·b_2_4²·a_7_16 + b_2_3⁶·b_2_4⁵·a_1_1
        + b_2_3⁷·a_9_22 + b_2_3⁷·b_2_4·a_7_16 + b_2_3⁸·a_7_16 + b_2_3¹¹·a_1_2
        + b_2_3¹¹·a_1_1 + a_14_45·a_9_22 + b_2_4⁴·a_14_45·a_1_1 + b_2_4⁵·a_12_36·a_1_1
        + b_2_4⁹·a_4_5·a_1_1 + b_2_3·b_2_4⁴·a_12_36·a_1_1 + b_2_3·b_2_4⁷·a_6_12·a_1_1
        + b_2_3²·b_2_4²·a_14_45·a_1_1 + b_2_3²·b_2_4³·a_12_36·a_1_1
        + b_2_3²·b_2_4⁶·a_6_12·a_1_1 + b_2_3²·b_2_4⁷·a_4_5·a_1_1
        + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1 + b_2_3⁶·a_1_1²·b_9_26
        + b_2_3⁶·b_2_4²·a_6_12·a_1_1 + b_2_3⁷·b_2_4·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_6_12·a_1_1 + b_2_3⁹·a_4_6·a_1_1
        + b_2_4⁵·a_1_1²·a_11_30 + b_2_4¹⁰·a_1_1³ + b_2_3·b_2_4²·a_1_1²·a_15_55
        + b_2_3³·a_1_1²·a_15_55 + b_2_3⁴·b_2_4·a_1_1²·a_11_30 + b_2_3¹⁰·a_1_1³
        + b_2_3⁴·a_12_36·a_1_1³ + b_2_3·b_2_4·c_16_69·a_1_1³ + b_2_3²·c_16_69·a_1_1³
176. b_12_43·a_11_30 + b_2_3·b_2_4³·a_15_55 + b_2_3·b_2_4⁵·a_11_30 + b_2_3·b_2_4¹⁰·a_1_1
        + b_2_3²·b_2_4⁴·a_11_30 + b_2_3³·b_2_4·a_15_55 + b_2_3³·b_2_4⁵·a_7_16
        + b_2_3³·b_2_4⁸·a_1_1 + b_2_3⁴·b_2_4²·a_11_30 + b_2_3⁴·b_2_4⁷·a_1_1
        + b_2_3⁵·b_2_4·a_11_30 + b_2_3⁵·b_2_4³·a_7_16 + b_2_3⁵·b_2_4⁶·a_1_1
        + b_2_3⁶·a_11_30 + b_2_3⁹·b_2_4²·a_1_1 + b_2_3¹⁰·b_2_4·a_1_1
        + b_2_4⁴·a_14_45·a_1_1 + b_2_4⁸·a_6_12·a_1_1 + b_2_3·b_2_4⁷·a_6_12·a_1_1
        + b_2_3³·b_2_4·a_14_45·a_1_1 + b_2_3³·b_2_4²·a_12_36·a_1_1
        + b_2_3³·b_2_4⁶·a_4_5·a_1_1 + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁵·a_12_36·a_1_1 + b_2_3⁵·b_2_4³·a_6_12·a_1_1
        + b_2_3⁵·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁶·b_2_4²·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_6_12·a_1_1 + b_2_3⁸·b_2_4·a_4_5·a_1_1
        + b_2_3⁹·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_15_55 + b_2_3·b_2_4²·a_1_1²·a_15_55
        + b_2_3·b_2_4⁶·a_1_1²·a_7_16 + b_2_3²·b_2_4³·a_1_1²·a_11_30
        + b_2_3³·a_1_1²·a_15_55 + b_2_3³·b_2_4²·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4·a_1_1²·a_11_30 + b_2_3⁵·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4²·a_1_1²·a_7_16 + b_2_3⁶·b_2_4·a_1_1²·a_7_16
        + b_2_3⁷·a_1_1²·a_7_16 + b_2_3⁹·b_2_4·a_1_1³ + b_2_3¹⁰·a_1_1³
        + b_2_3⁴·a_12_36·a_1_1³ + b_2_4²·c_16_69·a_1_1³ + b_2_3²·c_16_69·a_1_1³
177. a_14_45·a_9_22 + a_14_45·a_9_20 + b_2_4⁴·a_14_45·a_1_1 + b_2_4⁵·a_12_36·a_1_1
        + b_2_4⁸·a_6_12·a_1_1 + b_2_3·b_2_4³·a_14_45·a_1_1 + b_2_3·b_2_4⁴·a_12_36·a_1_1
        + b_2_3²·b_2_4⁷·a_4_5·a_1_1 + b_2_3³·b_2_4²·a_12_36·a_1_1
        + b_2_3⁴·b_2_4·a_12_36·a_1_1 + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁵·b_2_4³·a_6_12·a_1_1
        + b_2_3⁵·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁷·b_2_4·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_4³·a_1_1²·a_15_55 + b_2_4⁵·a_1_1²·a_11_30
        + b_2_4¹⁰·a_1_1³ + b_2_3·b_2_4⁶·a_1_1²·a_7_16 + b_2_3²·b_2_4·a_1_1²·a_15_55
        + b_2_3²·b_2_4³·a_1_1²·a_11_30 + b_2_3⁵·b_2_4²·a_1_1²·a_7_16
        + b_2_3⁶·b_2_4·a_1_1²·a_7_16 + b_2_3⁷·a_1_1²·a_7_16 + b_2_3⁹·b_2_4·a_1_1³
        + b_2_3⁴·a_12_36·a_1_1³ + a_4_5·c_16_69·a_1_1³
178. b_12_44·a_11_30 + b_2_4⁶·a_11_30 + b_2_3·b_2_4³·a_15_55 + b_2_3·b_2_4¹⁰·a_1_1
        + b_2_3²·b_2_4²·a_15_55 + b_2_3²·b_2_4⁹·a_1_1 + b_2_3³·b_2_4³·a_11_30
        + b_2_3³·b_2_4⁵·a_7_16 + b_2_3⁴·b_2_4⁴·a_7_16 + b_2_3⁴·b_2_4⁷·a_1_1
        + b_2_3⁶·a_11_30 + b_2_3⁹·b_2_4²·a_1_1 + b_2_4⁵·a_12_36·a_1_1
        + b_2_4⁸·a_6_12·a_1_1 + b_2_3·b_2_4⁴·a_12_36·a_1_1 + b_2_3²·b_2_4⁶·a_6_12·a_1_1
        + b_2_3³·b_2_4·a_14_45·a_1_1 + b_2_3³·b_2_4⁶·a_4_5·a_1_1
        + b_2_3⁴·b_2_4·a_12_36·a_1_1 + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁵·a_12_36·a_1_1 + b_2_3⁵·b_2_4³·a_6_12·a_1_1
        + b_2_3⁵·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁶·b_2_4²·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_3⁸·a_6_12·a_1_1 + b_2_3·b_2_4²·a_1_1²·a_15_55
        + b_2_3²·b_2_4·a_1_1²·a_15_55 + b_2_3²·b_2_4³·a_1_1²·a_11_30
        + b_2_3³·a_1_1²·a_15_55 + b_2_3⁴·b_2_4·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4²·a_1_1²·a_7_16 + b_2_3¹⁰·a_1_1³ + b_2_3⁴·a_12_36·a_1_1³
        + b_2_4·a_4_5·c_16_69·a_1_1 + b_2_3·a_4_5·c_16_69·a_1_1 + b_2_3²·c_16_69·a_1_1³
179. a_14_45·b_9_28 + a_14_45·b_9_26 + b_12_43·a_11_30 + b_2_4⁴·a_15_55 + b_2_4⁷·a_9_22
        + b_2_4¹¹·a_1_0 + b_2_3·b_2_4⁵·a_11_30 + b_2_3·b_2_4¹⁰·a_1_1 + b_2_3³·b_2_4⁸·a_1_1
        + b_2_3⁴·b_2_4²·a_11_30 + b_2_3⁴·b_2_4⁷·a_1_1 + b_2_3⁵·b_2_4⁶·a_1_1
        + b_2_3⁶·a_11_30 + b_2_3⁶·b_2_4²·a_7_16 + b_2_3⁶·b_2_4⁵·a_1_1 + b_2_3⁷·a_9_22
        + b_2_3⁷·b_2_4·a_7_16 + b_2_3⁷·b_2_4⁴·a_1_1 + b_2_3⁸·a_7_16 + b_2_3⁸·b_2_4³·a_1_1
        + b_2_3⁹·b_2_4²·a_1_1 + b_2_3¹⁰·b_2_4·a_1_1 + b_2_3¹¹·a_1_2 + b_2_3¹¹·a_1_1
        + a_12_36·a_11_30 + b_2_4⁸·a_6_12·a_1_1 + b_2_3·b_2_4⁸·a_4_5·a_1_1
        + b_2_3²·b_2_4³·a_12_36·a_1_1 + b_2_3⁴·b_2_4⁴·a_6_12·a_1_1
        + b_2_3⁴·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁶·a_1_1²·b_9_26 + b_2_3⁶·b_2_4²·a_6_12·a_1_1
        + b_2_3⁶·b_2_4³·a_4_5·a_1_1 + b_2_3⁷·b_2_4·a_6_12·a_1_1
        + b_2_3⁷·b_2_4²·a_4_5·a_1_1 + b_2_3⁹·a_4_6·a_1_1 + b_2_3⁹·a_4_5·a_1_1
        + b_2_4³·a_1_1²·a_15_55 + b_2_4¹⁰·a_1_1³ + b_2_3·b_2_4⁶·a_1_1²·a_7_16
        + b_2_3²·b_2_4·a_1_1²·a_15_55 + b_2_3²·b_2_4³·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4·a_1_1²·a_11_30 + b_2_3⁵·a_1_1²·a_11_30 + b_2_3⁷·a_1_1²·a_7_16
        + b_2_3⁹·b_2_4·a_1_1³ + b_2_3⁴·a_12_36·a_1_1³ + a_6_12·c_16_69·a_1_1
        + b_2_3·a_4_5·c_16_69·a_1_1
180. b_12_43² + b_2_3²·b_2_4¹⁰ + b_2_3³·b_2_4⁹ + b_2_3⁵·b_2_4⁷ + b_2_3⁷·b_2_4⁵
        + b_2_3⁹·b_2_4³ + b_2_3¹⁰·b_2_4² + b_2_3¹² + b_2_3³·b_2_4⁶·a_6_12
        + b_2_3⁵·b_2_4⁵·a_4_5 + b_2_3⁷·b_2_4²·a_6_12 + b_2_3⁹·b_2_4·a_4_5
        + b_2_4¹¹·a_1_1² + b_2_3·b_2_4¹⁰·a_1_1² + b_2_3³·b_2_4³·a_1_1·a_11_30
        + b_2_3⁴·b_2_4²·a_1_1·a_11_30 + b_2_3¹⁰·b_2_4·a_1_1² + b_2_3¹¹·a_1_1²
        + b_2_4⁸·a_6_12·a_1_1² + b_2_3³·b_2_4²·a_12_36·a_1_1²
        + b_2_3⁷·b_2_4·a_6_12·a_1_1² + b_2_3⁸·a_6_12·a_1_1²
        + b_2_3⁸·b_2_4·a_4_5·a_1_1² + b_2_3⁹·a_4_6·a_1_1² + b_2_3⁹·a_4_5·a_1_1²
        + b_2_3⁵·a_1_1³·a_11_30
181. b_12_43·b_12_44 + b_2_4⁶·b_12_43 + b_2_3·b_2_4⁵·b_12_43 + b_2_3²·b_2_4¹⁰
        + b_2_3³·b_2_4³·b_12_43 + b_2_3⁴·b_2_4²·b_12_43 + b_2_3⁵·b_2_4⁷
        + b_2_3⁶·b_12_44 + b_2_3⁶·b_12_43 + b_2_3⁷·b_2_4⁵ + b_2_3¹⁰·b_2_4² + b_2_3¹²
        + b_9_28·a_15_55 + a_12_36·b_12_43 + b_2_4⁵·b_5_12·a_9_22 + b_2_4¹⁰·a_4_6
        + b_2_4¹⁰·a_4_5 + b_2_3·b_2_4⁴·a_14_45 + b_2_3·b_2_4⁵·a_12_36
        + b_2_3²·b_2_4³·a_14_45 + b_2_3²·b_2_4⁸·a_4_5 + b_2_3³·b_2_4²·a_14_45
        + b_2_3⁴·b_2_4²·a_12_36 + b_2_3⁴·b_2_4⁵·a_6_12 + b_2_3⁵·b_5_11·a_9_20
        + b_2_3⁶·a_12_36 + b_2_3⁶·b_2_4³·a_6_12 + b_2_3⁷·b_2_4²·a_6_12
        + b_2_3⁷·b_2_4³·a_4_5 + b_2_3⁸·b_2_4·a_6_12 + b_2_3⁹·a_1_1·b_5_11 + b_2_3⁹·a_6_12
        + b_2_3⁹·b_2_4·a_4_6 + b_2_3¹⁰·a_4_6 + b_2_3¹⁰·a_4_5 + b_2_3·b_2_4³·a_1_1·a_15_55
        + b_2_3·b_2_4⁵·a_1_1·a_11_30 + b_2_3·b_2_4¹⁰·a_1_1²
        + b_2_3²·b_2_4⁴·a_1_1·a_11_30 + b_2_3²·b_2_4⁶·a_1_1·a_7_16
        + b_2_3³·b_2_4·a_1_1·a_15_55 + b_2_3³·b_2_4³·a_1_1·a_11_30
        + b_2_3³·b_2_4⁵·a_1_1·a_7_16 + b_2_3⁴·a_1_1·a_15_55
        + b_2_3⁴·b_2_4²·a_1_1·a_11_30 + b_2_3⁴·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁷·a_1_1² + b_2_3⁵·a_4_5·a_1_1·b_9_26 + b_2_3⁵·b_2_4·a_1_1·a_11_30
        + b_2_3⁵·b_2_4⁶·a_1_1² + b_2_3⁶·a_1_1·a_11_30 + b_2_3⁶·b_2_4²·a_1_1·a_7_16
        + b_2_3⁶·b_2_4⁵·a_1_1² + b_2_3⁷·b_2_4·a_1_1·a_7_16 + b_2_3⁷·b_2_4⁴·a_1_1²
        + b_2_3⁸·a_1_1·a_7_16 + b_2_3⁸·b_2_4³·a_1_1² + b_2_3¹⁰·b_2_4·a_1_1²
        + b_2_4⁴·a_14_45·a_1_1² + b_2_4⁸·a_6_12·a_1_1² + b_2_4⁹·a_4_5·a_1_1²
        + b_2_3²·b_2_4²·a_14_45·a_1_1² + b_2_3²·b_2_4³·a_12_36·a_1_1²
        + b_2_3⁴·a_14_45·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁷·b_2_4·a_6_12·a_1_1² + b_2_3⁸·b_2_4·a_4_5·a_1_1²
        + b_2_3⁵·a_1_1³·a_11_30
182. b_12_43·b_12_44 + b_2_4⁶·b_12_43 + b_2_3·b_2_4⁵·b_12_43 + b_2_3²·b_2_4¹⁰
        + b_2_3³·b_2_4³·b_12_43 + b_2_3⁴·b_2_4²·b_12_43 + b_2_3⁵·b_2_4⁷
        + b_2_3⁶·b_12_44 + b_2_3⁶·b_12_43 + b_2_3⁷·b_2_4⁵ + b_2_3¹⁰·b_2_4² + b_2_3¹²
        + b_9_28·a_15_55 + a_12_36·b_12_43 + b_2_4⁵·b_5_12·a_9_22 + b_2_4¹⁰·a_4_6
        + b_2_4¹⁰·a_4_5 + b_2_3·b_2_4⁴·a_14_45 + b_2_3·b_2_4⁵·a_12_36
        + b_2_3²·b_2_4³·a_14_45 + b_2_3²·b_2_4⁸·a_4_5 + b_2_3³·b_2_4²·a_14_45
        + b_2_3⁴·b_2_4²·a_12_36 + b_2_3⁴·b_2_4⁵·a_6_12 + b_2_3⁵·b_5_11·a_9_20
        + b_2_3⁶·a_12_36 + b_2_3⁶·b_2_4³·a_6_12 + b_2_3⁷·b_2_4²·a_6_12
        + b_2_3⁷·b_2_4³·a_4_5 + b_2_3⁸·b_2_4·a_6_12 + b_2_3⁹·a_1_1·b_5_11 + b_2_3⁹·a_6_12
        + b_2_3⁹·b_2_4·a_4_6 + b_2_3¹⁰·a_4_6 + b_2_3¹⁰·a_4_5 + a_9_20·a_15_55
        + b_2_3·b_2_4⁵·a_1_1·a_11_30 + b_2_3·b_2_4¹⁰·a_1_1²
        + b_2_3²·b_2_4²·a_1_1·a_15_55 + b_2_3²·b_2_4⁴·a_1_1·a_11_30
        + b_2_3²·b_2_4⁶·a_1_1·a_7_16 + b_2_3³·b_2_4·a_1_1·a_15_55
        + b_2_3³·b_2_4³·a_1_1·a_11_30 + b_2_3³·b_2_4⁵·a_1_1·a_7_16
        + b_2_3⁴·b_2_4²·a_1_1·a_11_30 + b_2_3⁴·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁷·a_1_1² + b_2_3⁵·a_4_5·a_1_1·b_9_26 + b_2_3⁵·b_2_4·a_1_1·a_11_30
        + b_2_3⁵·b_2_4⁶·a_1_1² + b_2_3⁶·a_1_1·a_11_30 + b_2_3⁶·b_2_4²·a_1_1·a_7_16
        + b_2_3⁶·b_2_4⁵·a_1_1² + b_2_3⁷·b_2_4·a_1_1·a_7_16 + b_2_3⁷·b_2_4⁴·a_1_1²
        + b_2_3⁸·a_1_1·a_7_16 + b_2_3⁸·b_2_4³·a_1_1² + b_2_3¹⁰·b_2_4·a_1_1²
        + b_2_4⁴·a_14_45·a_1_1² + b_2_4⁵·a_12_36·a_1_1² + b_2_4⁸·a_6_12·a_1_1²
        + b_2_3·b_2_4³·a_14_45·a_1_1² + b_2_3·b_2_4⁴·a_12_36·a_1_1²
        + b_2_3³·b_2_4·a_14_45·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁷·b_2_4·a_6_12·a_1_1² + b_2_3⁸·b_2_4·a_4_5·a_1_1²
        + b_2_3⁹·a_4_6·a_1_1² + b_2_3⁵·a_1_1³·a_11_30
183. a_9_22·a_15_55 + b_2_4⁴·a_1_1·a_15_55 + b_2_4⁸·a_1_1·a_7_16 + b_2_4¹¹·a_1_1²
        + b_2_3·b_2_4⁵·a_1_1·a_11_30 + b_2_3·b_2_4⁷·a_1_1·a_7_16 + b_2_3·b_2_4¹⁰·a_1_1²
        + b_2_3²·b_2_4²·a_1_1·a_15_55 + b_2_3²·b_2_4⁴·a_1_1·a_11_30
        + b_2_3²·b_2_4⁶·a_1_1·a_7_16 + b_2_3⁴·a_1_1·a_15_55
        + b_2_3⁴·b_2_4²·a_1_1·a_11_30 + b_2_3⁴·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁵·b_2_4·a_1_1·a_11_30 + b_2_3⁵·b_2_4³·a_1_1·a_7_16
        + b_2_3⁷·b_2_4⁴·a_1_1² + b_2_3⁸·a_1_1·a_7_16 + b_2_3¹⁰·b_2_4·a_1_1²
        + b_2_4⁸·a_6_12·a_1_1² + b_2_4⁹·a_4_5·a_1_1² + b_2_3·b_2_4³·a_14_45·a_1_1²
        + b_2_3²·b_2_4²·a_14_45·a_1_1² + b_2_3³·b_2_4·a_14_45·a_1_1²
        + b_2_3⁴·a_14_45·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1² + b_2_3⁸·a_6_12·a_1_1²
        + b_2_3⁸·b_2_4·a_4_5·a_1_1² + b_2_3⁹·a_4_6·a_1_1² + b_2_3⁹·a_4_5·a_1_1²
184. b_12_44² + b_2_4¹² + b_2_3³·b_2_4⁹ + b_2_3⁴·b_2_4⁸ + b_2_3⁷·b_2_4⁵
        + b_2_3¹² + b_2_3³·b_2_4⁶·a_6_12 + b_2_3⁵·b_2_4⁴·a_6_12 + b_2_3⁵·b_2_4⁵·a_4_5
        + b_2_3⁷·b_2_4³·a_4_5 + a_12_36² + b_2_4¹¹·a_1_1² + b_2_3²·b_2_4⁹·a_1_1²
        + b_2_3³·b_2_4³·a_1_1·a_11_30 + b_2_3⁴·b_2_4²·a_1_1·a_11_30
        + b_2_3⁴·b_2_4⁴·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁷·a_1_1²
        + b_2_3⁵·a_4_5·a_1_1·b_9_26 + b_2_3⁵·b_2_4⁶·a_1_1²
        + b_2_3⁶·b_2_4²·a_1_1·a_7_16 + b_2_3⁸·b_2_4³·a_1_1² + b_2_3¹¹·a_1_1²
        + b_2_4⁸·a_6_12·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁷·b_2_4·a_6_12·a_1_1² + b_2_3⁸·b_2_4·a_4_5·a_1_1²
        + b_2_3⁹·a_4_5·a_1_1² + b_2_3³·c_16_69·a_1_1²
185. b_12_43·b_12_44 + b_2_4⁶·b_12_43 + b_2_3·b_2_4⁵·b_12_43 + b_2_3²·b_2_4¹⁰
        + b_2_3³·b_2_4³·b_12_43 + b_2_3⁴·b_2_4²·b_12_43 + b_2_3⁵·b_2_4⁷
        + b_2_3⁶·b_12_44 + b_2_3⁶·b_12_43 + b_2_3⁷·b_2_4⁵ + b_2_3¹⁰·b_2_4² + b_2_3¹²
        + a_12_36·b_12_43 + b_2_3·b_2_4⁹·a_4_5 + b_2_3²·b_2_4⁴·a_12_36
        + b_2_3²·b_2_4⁸·a_4_5 + b_2_3³·b_2_4²·a_14_45 + b_2_3³·b_2_4⁶·a_6_12
        + b_2_3³·b_2_4⁷·a_4_5 + b_2_3⁴·b_2_4·a_14_45 + b_2_3⁴·b_2_4⁵·a_6_12
        + b_2_3⁴·b_2_4⁶·a_4_5 + b_2_3⁵·b_2_4·a_12_36 + b_2_3⁶·a_12_36
        + b_2_3⁶·b_2_4⁴·a_4_5 + b_2_3⁷·b_2_4³·a_4_5 + b_2_3⁹·a_1_1·b_5_11
        + b_2_3⁹·b_2_4·a_4_5 + b_2_4⁸·a_1_1·a_7_16 + b_2_3·b_2_4⁵·a_1_1·a_11_30
        + b_2_3·b_2_4⁷·a_1_1·a_7_16 + b_2_3·b_2_4¹⁰·a_1_1² + b_2_3³·b_2_4⁵·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁷·a_1_1² + b_2_3⁵·b_2_4·a_1_1·a_11_30
        + b_2_3⁵·b_2_4³·a_1_1·a_7_16 + b_2_3⁵·b_2_4⁶·a_1_1² + b_2_3⁶·a_1_1·a_11_30
        + b_2_3⁶·b_2_4²·a_1_1·a_7_16 + b_2_3⁷·b_2_4·a_1_1·a_7_16
        + b_2_3⁷·b_2_4⁴·a_1_1² + b_2_3⁸·a_1_1·a_7_16 + b_2_3⁸·b_2_4³·a_1_1²
        + b_2_3¹⁰·b_2_4·a_1_1² + b_2_3¹¹·a_1_1² + b_2_4⁴·a_14_45·a_1_1²
        + b_2_4⁸·a_6_12·a_1_1² + b_2_3·b_2_4³·a_14_45·a_1_1²
        + b_2_3²·b_2_4²·a_14_45·a_1_1² + b_2_3³·b_2_4·a_14_45·a_1_1²
        + b_2_3⁴·b_2_4·a_12_36·a_1_1² + b_2_3⁵·a_12_36·a_1_1² + b_2_3⁸·a_6_12·a_1_1²
        + b_2_3⁸·b_2_4·a_4_5·a_1_1² + b_2_3⁵·a_1_1³·a_11_30
        + b_2_3·a_4_6·c_16_69·a_1_1²
186. b_12_44² + b_2_4¹² + b_2_3³·b_2_4⁹ + b_2_3⁴·b_2_4⁸ + b_2_3⁷·b_2_4⁵
        + b_2_3¹² + a_12_36·b_12_44 + b_2_4⁶·a_12_36 + b_2_3·b_2_4⁹·a_4_5
        + b_2_3²·b_2_4³·a_14_45 + b_2_3²·b_2_4⁷·a_6_12 + b_2_3²·b_2_4⁸·a_4_5
        + b_2_3³·b_2_4²·a_14_45 + b_2_3³·b_2_4³·a_12_36 + b_2_3³·b_2_4⁶·a_6_12
        + b_2_3³·b_2_4⁷·a_4_5 + b_2_3⁴·b_2_4⁶·a_4_5 + b_2_3⁵·b_2_4⁵·a_4_5
        + b_2_3⁶·a_12_36 + b_2_3⁷·a_1_1·b_9_26 + b_2_3⁷·b_2_4²·a_6_12
        + b_2_3⁷·b_2_4³·a_4_5 + b_2_3⁸·b_2_4·a_6_12 + b_2_3⁸·b_2_4²·a_4_5
        + b_2_3⁹·a_1_1·b_5_11 + b_2_4⁴·a_1_1·a_15_55 + b_2_4⁸·a_1_1·a_7_16
        + b_2_3·b_2_4⁵·a_1_1·a_11_30 + b_2_3·b_2_4⁷·a_1_1·a_7_16
        + b_2_3²·b_2_4⁴·a_1_1·a_11_30 + b_2_3²·b_2_4⁶·a_1_1·a_7_16
        + b_2_3⁴·b_2_4²·a_1_1·a_11_30 + b_2_3⁵·a_4_5·a_1_1·b_9_26
        + b_2_3⁵·b_2_4·a_1_1·a_11_30 + b_2_3⁵·b_2_4³·a_1_1·a_7_16
        + b_2_3⁷·b_2_4⁴·a_1_1² + b_2_3⁸·a_1_1·a_7_16 + b_2_3⁹·b_2_4²·a_1_1²
        + b_2_3¹¹·a_1_1² + b_2_4⁸·a_6_12·a_1_1² + b_2_4⁹·a_4_5·a_1_1²
        + b_2_3·b_2_4⁴·a_12_36·a_1_1² + b_2_3²·b_2_4²·a_14_45·a_1_1²
        + b_2_3³·b_2_4·a_14_45·a_1_1² + b_2_3⁴·a_14_45·a_1_1²
        + b_2_3⁴·b_2_4·a_12_36·a_1_1² + b_2_3⁵·a_12_36·a_1_1² + b_2_3⁹·a_4_5·a_1_1²
        + b_2_3⁵·a_1_1³·a_11_30 + b_2_3²·b_2_4·c_16_69·a_1_1²
187. b_12_44² + b_2_4¹² + b_2_3³·b_2_4⁹ + b_2_3⁴·b_2_4⁸ + b_2_3⁷·b_2_4⁵
        + b_2_3¹² + b_2_3³·b_2_4⁶·a_6_12 + b_2_3⁵·b_2_4⁴·a_6_12 + b_2_3⁵·b_2_4⁵·a_4_5
        + b_2_3⁷·b_2_4³·a_4_5 + b_2_3²·b_2_4⁶·a_1_1·a_7_16 + b_2_3²·b_2_4⁹·a_1_1²
        + b_2_3⁵·a_4_5·a_1_1·b_9_26 + b_2_3⁶·b_2_4²·a_1_1·a_7_16
        + b_2_3⁶·b_2_4⁵·a_1_1² + b_2_3¹¹·a_1_1² + b_2_3·b_2_4⁴·a_12_36·a_1_1²
        + b_2_3·b_2_4⁷·a_6_12·a_1_1² + b_2_3²·b_2_4³·a_12_36·a_1_1²
        + b_2_3³·b_2_4²·a_12_36·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁷·b_2_4·a_6_12·a_1_1² + b_2_3⁸·b_2_4·a_4_5·a_1_1²
        + b_2_3·b_2_4²·c_16_69·a_1_1²
188. b_12_43·b_12_44 + b_2_4⁶·b_12_43 + b_2_3·b_2_4⁵·b_12_43 + b_2_3²·b_2_4¹⁰
        + b_2_3³·b_2_4³·b_12_43 + b_2_3⁴·b_2_4²·b_12_43 + b_2_3⁵·b_2_4⁷
        + b_2_3⁶·b_12_44 + b_2_3⁶·b_12_43 + b_2_3⁷·b_2_4⁵ + b_2_3¹⁰·b_2_4² + b_2_3¹²
        + b_2_3·b_2_4⁵·a_12_36 + b_2_3²·b_2_4³·a_14_45 + b_2_3²·b_2_4⁷·a_6_12
        + b_2_3²·b_2_4⁸·a_4_5 + b_2_3³·b_2_4²·a_14_45 + b_2_3³·b_2_4⁷·a_4_5
        + b_2_3⁴·b_2_4²·a_12_36 + b_2_3⁴·b_2_4⁵·a_6_12 + b_2_3⁴·b_2_4⁶·a_4_5
        + b_2_3⁵·b_2_4⁴·a_6_12 + b_2_3⁵·b_2_4⁵·a_4_5 + b_2_3⁶·b_2_4³·a_6_12
        + b_2_3⁶·b_2_4⁴·a_4_5 + b_2_3⁷·b_2_4²·a_6_12 + b_2_3⁷·b_2_4³·a_4_5
        + b_2_3⁸·b_2_4·a_6_12 + b_2_4⁴·a_1_1·a_15_55 + b_2_4⁸·a_1_1·a_7_16
        + b_2_3·b_2_4⁵·a_1_1·a_11_30 + b_2_3²·b_2_4²·a_1_1·a_15_55
        + b_2_3²·b_2_4⁴·a_1_1·a_11_30 + b_2_3²·b_2_4⁹·a_1_1²
        + b_2_3⁴·b_2_4⁴·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁷·a_1_1²
        + b_2_3⁵·b_2_4·a_1_1·a_11_30 + b_2_3⁵·b_2_4³·a_1_1·a_7_16
        + b_2_3⁶·b_2_4²·a_1_1·a_7_16 + b_2_3⁷·b_2_4·a_1_1·a_7_16
        + b_2_3⁷·b_2_4⁴·a_1_1² + b_2_3⁸·b_2_4³·a_1_1² + b_2_3⁹·b_2_4²·a_1_1²
        + b_2_3¹¹·a_1_1² + b_2_4⁸·a_6_12·a_1_1² + b_2_4⁹·a_4_5·a_1_1²
        + b_2_3·b_2_4⁴·a_12_36·a_1_1² + b_2_3²·b_2_4²·a_14_45·a_1_1²
        + b_2_3³·b_2_4·a_14_45·a_1_1² + b_2_3³·b_2_4²·a_12_36·a_1_1²
        + b_2_3⁴·a_14_45·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁵·a_12_36·a_1_1² + b_2_3⁷·b_2_4·a_6_12·a_1_1²
        + b_2_3⁸·b_2_4·a_4_5·a_1_1² + b_2_4·a_4_5·c_16_69·a_1_1²
        + b_2_3·a_4_5·c_16_69·a_1_1²
189. b_12_44² + b_12_43·b_12_44 + b_2_4⁶·b_12_43 + b_2_4¹² + b_2_3·b_2_4⁵·b_12_43
        + b_2_3²·b_2_4¹⁰ + b_2_3³·b_2_4³·b_12_43 + b_2_3³·b_2_4⁹
        + b_2_3⁴·b_2_4²·b_12_43 + b_2_3⁴·b_2_4⁸ + b_2_3⁵·b_2_4⁷ + b_2_3⁶·b_12_44
        + b_2_3⁶·b_12_43 + b_2_3¹⁰·b_2_4² + b_9_26·a_15_55 + a_12_36·b_12_44
        + a_12_36·b_12_43 + b_2_4⁶·a_12_36 + b_2_3·b_2_4⁵·a_12_36 + b_2_3²·b_2_4³·a_14_45
        + b_2_3²·b_2_4⁴·a_12_36 + b_2_3²·b_2_4⁷·a_6_12 + b_2_3²·b_2_4⁸·a_4_5
        + b_2_3³·b_2_4³·a_12_36 + b_2_3³·b_2_4⁷·a_4_5 + b_2_3⁴·b_2_4·a_14_45
        + b_2_3⁴·b_2_4²·a_12_36 + b_2_3⁵·b_2_4·a_12_36 + b_2_3⁷·a_1_1·b_9_26
        + b_2_3⁷·b_2_4²·a_6_12 + b_2_3⁷·b_2_4³·a_4_5 + b_2_3⁸·b_2_4²·a_4_5
        + b_2_3⁹·a_1_1·b_5_11 + b_2_3⁹·b_2_4·a_4_5 + b_2_4⁶·a_1_1·a_11_30
        + b_2_3·b_2_4⁷·a_1_1·a_7_16 + b_2_3·b_2_4¹⁰·a_1_1²
        + b_2_3²·b_2_4²·a_1_1·a_15_55 + b_2_3²·b_2_4⁶·a_1_1·a_7_16
        + b_2_3³·b_2_4³·a_1_1·a_11_30 + b_2_3⁴·b_2_4⁷·a_1_1² + b_2_3⁶·b_2_4⁵·a_1_1²
        + b_2_3⁷·b_2_4⁴·a_1_1² + b_2_3⁸·a_1_1·a_7_16 + b_2_3¹¹·a_1_1²
        + b_2_4⁴·a_14_45·a_1_1² + b_2_4⁵·a_12_36·a_1_1² + b_2_4⁸·a_6_12·a_1_1²
        + b_2_4⁹·a_4_5·a_1_1² + b_2_3·b_2_4³·a_14_45·a_1_1²
        + b_2_3·b_2_4⁴·a_12_36·a_1_1² + b_2_3³·b_2_4·a_14_45·a_1_1²
        + b_2_3³·b_2_4²·a_12_36·a_1_1² + b_2_3⁴·b_2_4·a_12_36·a_1_1²
        + b_2_3⁸·b_2_4·a_4_5·a_1_1² + b_2_3⁹·a_4_6·a_1_1² + b_2_3⁵·a_1_1³·a_11_30
        + c_16_69·a_1_1·a_7_16 + b_2_4³·c_16_69·a_1_1² + a_6_12·c_16_69·a_1_1²
190. a_14_45·a_11_30 + b_2_4⁵·a_14_45·a_1_1 + b_2_4⁶·a_12_36·a_1_1 + b_2_4⁹·a_6_12·a_1_1
        + b_2_3·b_2_4⁴·a_14_45·a_1_1 + b_2_3·b_2_4⁸·a_6_12·a_1_1
        + b_2_3·b_2_4⁹·a_4_5·a_1_1 + b_2_3²·b_2_4³·a_14_45·a_1_1
        + b_2_3²·b_2_4⁴·a_12_36·a_1_1 + b_2_3²·b_2_4⁷·a_6_12·a_1_1
        + b_2_3²·b_2_4⁸·a_4_5·a_1_1 + b_2_3³·b_2_4⁶·a_6_12·a_1_1
        + b_2_3⁴·b_2_4·a_14_45·a_1_1 + b_2_3⁶·b_2_4⁴·a_4_5·a_1_1
        + b_2_3⁷·b_2_4²·a_6_12·a_1_1 + b_2_3⁸·b_2_4²·a_4_5·a_1_1 + b_2_3⁹·a_6_12·a_1_1
        + b_2_3¹⁰·a_4_6·a_1_1 + b_2_4⁸·a_1_1²·a_7_16 + b_2_3·b_2_4³·a_1_1²·a_15_55
        + b_2_3²·b_2_4²·a_1_1²·a_15_55 + b_2_3³·b_2_4·a_1_1²·a_15_55
        + b_2_3³·b_2_4³·a_1_1²·a_11_30 + b_2_3⁶·a_1_1²·a_11_30
        + b_2_3⁷·b_2_4·a_1_1²·a_7_16 + b_2_3⁸·a_1_1²·a_7_16 + b_2_3⁵·a_12_36·a_1_1³
        + b_2_4·a_6_12·c_16_69·a_1_1 + b_2_4²·a_4_5·c_16_69·a_1_1
        + b_2_3·a_6_12·c_16_69·a_1_1 + b_2_3²·a_4_6·c_16_69·a_1_1
        + b_2_3²·a_4_5·c_16_69·a_1_1 + c_16_69·a_1_1²·a_7_16
        + b_2_3²·b_2_4·c_16_69·a_1_1³ + b_2_3³·c_16_69·a_1_1³
191. b_12_43·a_14_45 + b_2_3·b_2_4⁵·a_14_45 + b_2_3·b_2_4⁶·a_12_36 + b_2_3·b_2_4⁹·a_6_12
        + b_2_3²·b_2_4⁴·a_14_45 + b_2_3²·b_2_4⁵·a_12_36 + b_2_3³·b_2_4⁸·a_4_5
        + b_2_3⁴·b_2_4²·a_14_45 + b_2_3⁴·b_2_4³·a_12_36 + b_2_3⁵·b_2_4·a_14_45
        + b_2_3⁵·b_2_4²·a_12_36 + b_2_3⁵·b_2_4⁵·a_6_12 + b_2_3⁵·b_2_4⁶·a_4_5
        + b_2_3⁶·a_14_45 + b_2_3⁶·b_2_4⁴·a_6_12 + b_2_3⁶·b_2_4⁵·a_4_5
        + b_2_3⁸·b_2_4²·a_6_12 + b_2_3⁸·b_2_4³·a_4_5 + a_12_36·a_14_45
        + b_2_4⁵·a_1_1·a_15_55 + b_2_4⁹·a_1_1·a_7_16 + b_2_3²·b_2_4⁷·a_1_1·a_7_16
        + b_2_3²·b_2_4¹⁰·a_1_1² + b_2_3³·b_2_4²·a_1_1·a_15_55
        + b_2_3³·b_2_4⁴·a_1_1·a_11_30 + b_2_3³·b_2_4⁶·a_1_1·a_7_16
        + b_2_3³·b_2_4⁹·a_1_1² + b_2_3⁴·b_2_4·a_1_1·a_15_55
        + b_2_3⁴·b_2_4⁵·a_1_1·a_7_16 + b_2_3⁴·b_2_4⁸·a_1_1²
        + b_2_3⁵·b_2_4⁴·a_1_1·a_7_16 + b_2_3⁶·b_2_4·a_1_1·a_11_30
        + b_2_3⁶·b_2_4³·a_1_1·a_7_16 + b_2_3⁷·b_2_4²·a_1_1·a_7_16
        + b_2_3⁸·b_2_4·a_1_1·a_7_16 + b_2_3⁸·b_2_4⁴·a_1_1² + b_2_3⁹·a_1_1·a_7_16
        + b_2_4⁶·a_12_36·a_1_1² + b_2_4⁹·a_6_12·a_1_1² + b_2_3·b_2_4⁴·a_14_45·a_1_1²
        + b_2_3·b_2_4⁵·a_12_36·a_1_1² + b_2_3·b_2_4⁸·a_6_12·a_1_1²
        + b_2_3²·b_2_4³·a_14_45·a_1_1² + b_2_3²·b_2_4⁴·a_12_36·a_1_1²
        + b_2_3⁵·a_14_45·a_1_1² + b_2_3⁶·a_12_36·a_1_1² + b_2_3⁸·b_2_4·a_6_12·a_1_1²
        + b_2_3¹⁰·a_4_6·a_1_1² + b_2_3¹⁰·a_4_5·a_1_1² + b_2_3⁶·a_1_1³·a_11_30
        + b_2_4·c_16_69·a_1_1·a_7_16 + b_2_4⁴·c_16_69·a_1_1² + b_2_3·c_16_69·a_1_1·a_7_16
        + b_2_3·b_2_4³·c_16_69·a_1_1² + b_2_3²·b_2_4²·c_16_69·a_1_1²
        + b_2_3³·b_2_4·c_16_69·a_1_1² + b_2_3·b_2_4·a_4_5·c_16_69·a_1_1²
        + b_2_3²·a_4_5·c_16_69·a_1_1²
192. b_12_44·a_14_45 + b_12_43·a_14_45 + b_2_4⁶·a_14_45 + b_2_3·b_2_4⁵·a_14_45
        + b_2_3²·b_2_4⁴·a_14_45 + b_2_3²·b_2_4⁵·a_12_36 + b_2_3²·b_2_4⁸·a_6_12
        + b_2_3³·b_2_4³·a_14_45 + b_2_3³·b_2_4⁷·a_6_12 + b_2_3⁴·b_2_4²·a_14_45
        + b_2_3⁴·b_2_4⁶·a_6_12 + b_2_3⁴·b_2_4⁷·a_4_5 + b_2_3⁵·b_2_4·a_14_45
        + b_2_3⁵·b_2_4²·a_12_36 + b_2_3⁵·b_2_4⁵·a_6_12 + b_2_3⁵·b_2_4⁶·a_4_5
        + b_2_3⁷·b_2_4³·a_6_12 + b_2_3⁷·b_2_4⁴·a_4_5 + b_2_3⁸·b_2_4²·a_6_12
        + b_2_3⁸·b_2_4³·a_4_5 + a_11_30·a_15_55 + a_12_36·a_14_45 + b_2_4⁵·a_1_1·a_15_55
        + b_2_4⁷·a_1_1·a_11_30 + b_2_4¹²·a_1_1² + b_2_3·b_2_4⁴·a_1_1·a_15_55
        + b_2_3·b_2_4⁶·a_1_1·a_11_30 + b_2_3·b_2_4¹¹·a_1_1²
        + b_2_3²·b_2_4³·a_1_1·a_15_55 + b_2_3²·b_2_4⁷·a_1_1·a_7_16
        + b_2_3³·b_2_4²·a_1_1·a_15_55 + b_2_3⁴·b_2_4³·a_1_1·a_11_30
        + b_2_3⁵·a_1_1·a_15_55 + b_2_3⁵·b_2_4⁷·a_1_1² + b_2_3⁶·a_4_5·a_1_1·b_9_26
        + b_2_3⁶·b_2_4⁶·a_1_1² + b_2_3⁷·a_1_1·a_11_30 + b_2_3⁸·b_2_4·a_1_1·a_7_16
        + b_2_3⁸·b_2_4⁴·a_1_1² + b_2_3⁹·b_2_4³·a_1_1² + b_2_3¹¹·b_2_4·a_1_1²
        + b_2_3¹²·a_1_1² + b_2_4¹⁰·a_4_5·a_1_1² + b_2_3·b_2_4⁵·a_12_36·a_1_1²
        + b_2_3²·b_2_4⁴·a_12_36·a_1_1² + b_2_3³·b_2_4²·a_14_45·a_1_1²
        + b_2_3³·b_2_4³·a_12_36·a_1_1² + b_2_3⁵·a_14_45·a_1_1²
        + b_2_3⁸·b_2_4·a_6_12·a_1_1² + b_2_3⁹·b_2_4·a_4_5·a_1_1²
        + b_2_3¹⁰·a_4_5·a_1_1² + b_2_4·c_16_69·a_1_1·a_7_16 + b_2_4⁴·c_16_69·a_1_1²
        + b_2_3²·b_2_4²·c_16_69·a_1_1² + b_2_4²·a_4_5·c_16_69·a_1_1²
193. b_12_44·a_14_45 + b_2_4⁶·a_14_45 + b_2_3·b_2_4⁶·a_12_36 + b_2_3·b_2_4⁹·a_6_12
        + b_2_3²·b_2_4⁸·a_6_12 + b_2_3³·b_2_4³·a_14_45 + b_2_3³·b_2_4⁷·a_6_12
        + b_2_3³·b_2_4⁸·a_4_5 + b_2_3⁴·b_2_4³·a_12_36 + b_2_3⁴·b_2_4⁶·a_6_12
        + b_2_3⁴·b_2_4⁷·a_4_5 + b_2_3⁶·a_14_45 + b_2_3⁶·b_2_4⁴·a_6_12
        + b_2_3⁶·b_2_4⁵·a_4_5 + b_2_3⁷·b_2_4³·a_6_12 + b_2_3⁷·b_2_4⁴·a_4_5
        + a_12_36·a_14_45 + b_2_4⁵·a_1_1·a_15_55 + b_2_4⁷·a_1_1·a_11_30
        + b_2_3·b_2_4⁴·a_1_1·a_15_55 + b_2_3·b_2_4⁸·a_1_1·a_7_16 + b_2_3·b_2_4¹¹·a_1_1²
        + b_2_3²·b_2_4⁷·a_1_1·a_7_16 + b_2_3²·b_2_4¹⁰·a_1_1²
        + b_2_3³·b_2_4⁴·a_1_1·a_11_30 + b_2_3⁴·b_2_4·a_1_1·a_15_55
        + b_2_3⁴·b_2_4³·a_1_1·a_11_30 + b_2_3⁴·b_2_4⁵·a_1_1·a_7_16
        + b_2_3⁴·b_2_4⁸·a_1_1² + b_2_3⁵·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁶·a_4_5·a_1_1·b_9_26 + b_2_3⁶·b_2_4·a_1_1·a_11_30
        + b_2_3⁶·b_2_4³·a_1_1·a_7_16 + b_2_3⁷·b_2_4²·a_1_1·a_7_16
        + b_2_3⁷·b_2_4⁵·a_1_1² + b_2_3⁸·b_2_4·a_1_1·a_7_16 + b_2_3⁸·b_2_4⁴·a_1_1²
        + b_2_3⁹·a_1_1·a_7_16 + b_2_3¹⁰·b_2_4²·a_1_1² + b_2_4⁹·a_6_12·a_1_1²
        + b_2_4¹⁰·a_4_5·a_1_1² + b_2_3·b_2_4⁴·a_14_45·a_1_1²
        + b_2_3·b_2_4⁵·a_12_36·a_1_1² + b_2_3·b_2_4⁸·a_6_12·a_1_1²
        + b_2_3²·b_2_4³·a_14_45·a_1_1² + b_2_3²·b_2_4⁴·a_12_36·a_1_1²
        + b_2_3⁴·b_2_4²·a_12_36·a_1_1² + b_2_3⁵·b_2_4·a_12_36·a_1_1²
        + b_2_3⁶·a_12_36·a_1_1² + b_2_3⁸·b_2_4·a_6_12·a_1_1² + b_2_3⁹·a_6_12·a_1_1²
        + b_2_3⁹·b_2_4·a_4_5·a_1_1² + b_2_3⁶·a_1_1³·a_11_30 + b_2_3·c_16_69·a_1_1·a_7_16
        + b_2_3·b_2_4³·c_16_69·a_1_1² + b_2_3³·b_2_4·c_16_69·a_1_1²
        + b_2_3·a_6_12·c_16_69·a_1_1² + b_2_3²·a_4_6·c_16_69·a_1_1²
194. b_12_43·a_14_45 + b_2_3·b_2_4⁵·a_14_45 + b_2_3·b_2_4⁶·a_12_36 + b_2_3·b_2_4⁹·a_6_12
        + b_2_3²·b_2_4⁴·a_14_45 + b_2_3²·b_2_4⁵·a_12_36 + b_2_3³·b_2_4⁸·a_4_5
        + b_2_3⁴·b_2_4²·a_14_45 + b_2_3⁴·b_2_4³·a_12_36 + b_2_3⁵·b_2_4·a_14_45
        + b_2_3⁵·b_2_4²·a_12_36 + b_2_3⁵·b_2_4⁵·a_6_12 + b_2_3⁵·b_2_4⁶·a_4_5
        + b_2_3⁶·a_14_45 + b_2_3⁶·b_2_4⁴·a_6_12 + b_2_3⁶·b_2_4⁵·a_4_5
        + b_2_3⁸·b_2_4²·a_6_12 + b_2_3⁸·b_2_4³·a_4_5 + a_11_30·a_15_55 + a_12_36·a_14_45
        + b_2_4⁵·a_1_1·a_15_55 + b_2_4⁷·a_1_1·a_11_30 + b_2_4¹²·a_1_1²
        + b_2_3²·b_2_4⁵·a_1_1·a_11_30 + b_2_3²·b_2_4⁷·a_1_1·a_7_16
        + b_2_3²·b_2_4¹⁰·a_1_1² + b_2_3³·b_2_4²·a_1_1·a_15_55
        + b_2_3⁴·b_2_4·a_1_1·a_15_55 + b_2_3⁴·b_2_4⁸·a_1_1²
        + b_2_3⁵·b_2_4²·a_1_1·a_11_30 + b_2_3⁵·b_2_4⁴·a_1_1·a_7_16
        + b_2_3⁶·b_2_4³·a_1_1·a_7_16 + b_2_3⁶·b_2_4⁶·a_1_1² + b_2_3⁷·a_1_1·a_11_30
        + b_2_3⁷·b_2_4²·a_1_1·a_7_16 + b_2_3⁷·b_2_4⁵·a_1_1²
        + b_2_3⁸·b_2_4·a_1_1·a_7_16 + b_2_3⁸·b_2_4⁴·a_1_1² + b_2_3⁹·b_2_4³·a_1_1²
        + b_2_3¹¹·b_2_4·a_1_1² + b_2_4⁵·a_14_45·a_1_1² + b_2_4⁶·a_12_36·a_1_1²
        + b_2_4⁹·a_6_12·a_1_1² + b_2_3·b_2_4⁴·a_14_45·a_1_1²
        + b_2_3²·b_2_4³·a_14_45·a_1_1² + b_2_3²·b_2_4⁴·a_12_36·a_1_1²
        + b_2_3³·b_2_4³·a_12_36·a_1_1² + b_2_3⁴·b_2_4²·a_12_36·a_1_1²
        + b_2_3⁹·a_6_12·a_1_1² + b_2_3¹⁰·a_4_6·a_1_1² + b_2_3⁶·a_1_1³·a_11_30
        + b_2_4·a_6_12·c_16_69·a_1_1² + b_2_3²·a_4_5·c_16_69·a_1_1²
195. b_12_43·a_15_55 + b_2_3·b_2_4⁵·a_15_55 + b_2_3·b_2_4⁹·a_7_16 + b_2_3·b_2_4¹²·a_1_1
        + b_2_3²·b_2_4⁴·a_15_55 + b_2_3²·b_2_4⁶·a_11_30 + b_2_3²·b_2_4⁸·a_7_16
        + b_2_3²·b_2_4¹¹·a_1_1 + b_2_3³·b_2_4⁵·a_11_30 + b_2_3³·b_2_4⁷·a_7_16
        + b_2_3⁴·b_2_4²·a_15_55 + b_2_3⁵·b_2_4·a_15_55 + b_2_3⁵·b_2_4³·a_11_30
        + b_2_3⁵·b_2_4⁵·a_7_16 + b_2_3⁶·a_15_55 + b_2_3⁶·b_2_4²·a_11_30
        + b_2_3⁶·b_2_4⁴·a_7_16 + b_2_3⁸·b_2_4⁵·a_1_1 + b_2_3⁹·b_2_4·a_7_16
        + b_2_3¹¹·b_2_4²·a_1_1 + b_2_4⁷·a_12_36·a_1_1 + b_2_3·b_2_4⁶·a_12_36·a_1_1
        + b_2_3·b_2_4⁹·a_6_12·a_1_1 + b_2_3²·b_2_4⁴·a_14_45·a_1_1
        + b_2_3³·b_2_4³·a_14_45·a_1_1 + b_2_3³·b_2_4⁷·a_6_12·a_1_1
        + b_2_3⁵·b_2_4·a_14_45·a_1_1 + b_2_3⁵·b_2_4⁶·a_4_5·a_1_1 + b_2_3⁶·a_14_45·a_1_1
        + b_2_3⁶·b_2_4⁴·a_6_12·a_1_1 + b_2_3⁶·b_2_4⁵·a_4_5·a_1_1
        + b_2_3⁷·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁸·b_2_4³·a_4_5·a_1_1
        + b_2_3⁹·b_2_4·a_6_12·a_1_1 + b_2_3¹⁰·b_2_4·a_4_5·a_1_1 + b_2_3¹¹·a_4_6·a_1_1
        + b_2_3¹¹·a_4_5·a_1_1 + b_2_4⁷·a_1_1²·a_11_30 + b_2_4¹²·a_1_1³
        + b_2_3·b_2_4⁴·a_1_1²·a_15_55 + b_2_3²·b_2_4³·a_1_1²·a_15_55
        + b_2_3²·b_2_4⁵·a_1_1²·a_11_30 + b_2_3³·b_2_4⁴·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4³·a_1_1²·a_11_30 + b_2_3⁵·b_2_4²·a_1_1²·a_11_30
        + b_2_3⁶·b_2_4·a_1_1²·a_11_30 + b_2_3⁷·a_1_1²·a_11_30 + b_2_3⁹·a_1_1²·a_7_16
        + b_2_3¹²·a_1_1³ + b_2_3⁶·a_12_36·a_1_1³ + b_2_4·c_16_69·a_1_1²·a_7_16
        + b_2_4⁴·c_16_69·a_1_1³ + b_2_3·c_16_69·a_1_1²·a_7_16
        + b_2_3³·b_2_4·c_16_69·a_1_1³
196. b_12_44·a_15_55 + b_2_4⁶·a_15_55 + b_2_3·b_2_4⁹·a_7_16 + b_2_3·b_2_4¹²·a_1_1
        + b_2_3²·b_2_4⁶·a_11_30 + b_2_3³·b_2_4³·a_15_55 + b_2_3³·b_2_4⁷·a_7_16
        + b_2_3⁴·b_2_4⁶·a_7_16 + b_2_3⁵·b_2_4³·a_11_30 + b_2_3⁶·a_15_55
        + b_2_3⁶·b_2_4⁴·a_7_16 + b_2_3⁷·b_2_4³·a_7_16 + b_2_3⁸·b_2_4²·a_7_16
        + b_2_3⁸·b_2_4⁵·a_1_1 + b_2_3⁹·b_2_4⁴·a_1_1 + b_2_3¹⁰·b_2_4³·a_1_1
        + a_12_36·a_15_55 + b_2_4⁷·a_12_36·a_1_1 + b_2_4¹¹·a_4_5·a_1_1
        + b_2_3·b_2_4⁵·a_14_45·a_1_1 + b_2_3·b_2_4⁶·a_12_36·a_1_1
        + b_2_3·b_2_4⁹·a_6_12·a_1_1 + b_2_3·b_2_4¹⁰·a_4_5·a_1_1
        + b_2_3²·b_2_4⁴·a_14_45·a_1_1 + b_2_3²·b_2_4⁵·a_12_36·a_1_1
        + b_2_3²·b_2_4⁸·a_6_12·a_1_1 + b_2_3²·b_2_4⁹·a_4_5·a_1_1
        + b_2_3³·b_2_4³·a_14_45·a_1_1 + b_2_3³·b_2_4⁴·a_12_36·a_1_1
        + b_2_3⁴·b_2_4²·a_14_45·a_1_1 + b_2_3⁴·b_2_4³·a_12_36·a_1_1
        + b_2_3⁴·b_2_4⁷·a_4_5·a_1_1 + b_2_3⁵·b_2_4²·a_12_36·a_1_1
        + b_2_3⁵·b_2_4⁶·a_4_5·a_1_1 + b_2_3⁶·b_2_4·a_12_36·a_1_1 + b_2_3⁷·a_12_36·a_1_1
        + b_2_3⁷·b_2_4³·a_6_12·a_1_1 + b_2_3⁹·b_2_4²·a_4_5·a_1_1 + b_2_3¹⁰·a_6_12·a_1_1
        + b_2_3¹⁰·b_2_4·a_4_5·a_1_1 + b_2_3¹¹·a_4_5·a_1_1 + b_2_4¹²·a_1_1³
        + b_2_3·b_2_4⁴·a_1_1²·a_15_55 + b_2_3·b_2_4⁶·a_1_1²·a_11_30
        + b_2_3²·b_2_4³·a_1_1²·a_15_55 + b_2_3³·b_2_4²·a_1_1²·a_15_55
        + b_2_3³·b_2_4⁴·a_1_1²·a_11_30 + b_2_3⁴·b_2_4³·a_1_1²·a_11_30
        + b_2_3⁵·a_1_1²·a_15_55 + b_2_3⁶·b_2_4·a_1_1²·a_11_30 + b_2_3⁷·a_1_1²·a_11_30
        + b_2_3⁸·b_2_4·a_1_1²·a_7_16 + b_2_3¹¹·b_2_4·a_1_1³ + b_2_3¹²·a_1_1³
        + b_2_3⁶·a_12_36·a_1_1³ + b_2_3²·a_6_12·c_16_69·a_1_1
        + b_2_3²·b_2_4·a_4_5·c_16_69·a_1_1 + b_2_3³·a_4_6·c_16_69·a_1_1
197. b_12_44·a_15_55 + b_2_4⁶·a_15_55 + b_2_3·b_2_4⁹·a_7_16 + b_2_3·b_2_4¹²·a_1_1
        + b_2_3²·b_2_4⁶·a_11_30 + b_2_3³·b_2_4³·a_15_55 + b_2_3³·b_2_4⁷·a_7_16
        + b_2_3⁴·b_2_4⁶·a_7_16 + b_2_3⁵·b_2_4³·a_11_30 + b_2_3⁶·a_15_55
        + b_2_3⁶·b_2_4⁴·a_7_16 + b_2_3⁷·b_2_4³·a_7_16 + b_2_3⁸·b_2_4²·a_7_16
        + b_2_3⁸·b_2_4⁵·a_1_1 + b_2_3⁹·b_2_4⁴·a_1_1 + b_2_3¹⁰·b_2_4³·a_1_1
        + b_2_4⁷·a_12_36·a_1_1 + b_2_4¹⁰·a_6_12·a_1_1 + b_2_3·b_2_4⁵·a_14_45·a_1_1
        + b_2_3·b_2_4⁶·a_12_36·a_1_1 + b_2_3²·b_2_4⁵·a_12_36·a_1_1
        + b_2_3²·b_2_4⁹·a_4_5·a_1_1 + b_2_3³·b_2_4³·a_14_45·a_1_1
        + b_2_3³·b_2_4⁷·a_6_12·a_1_1 + b_2_3³·b_2_4⁸·a_4_5·a_1_1
        + b_2_3⁴·b_2_4²·a_14_45·a_1_1 + b_2_3⁴·b_2_4³·a_12_36·a_1_1
        + b_2_3⁴·b_2_4⁶·a_6_12·a_1_1 + b_2_3⁵·b_2_4·a_14_45·a_1_1
        + b_2_3⁵·b_2_4²·a_12_36·a_1_1 + b_2_3⁵·b_2_4⁵·a_6_12·a_1_1
        + b_2_3⁶·a_14_45·a_1_1 + b_2_3⁶·b_2_4·a_12_36·a_1_1 + b_2_3⁶·b_2_4⁵·a_4_5·a_1_1
        + b_2_3⁷·b_2_4³·a_6_12·a_1_1 + b_2_3⁸·b_2_4³·a_4_5·a_1_1
        + b_2_3⁹·b_2_4²·a_4_5·a_1_1 + b_2_3¹¹·a_4_6·a_1_1 + b_2_4⁵·a_1_1²·a_15_55
        + b_2_3·b_2_4⁴·a_1_1²·a_15_55 + b_2_3²·b_2_4³·a_1_1²·a_15_55
        + b_2_3²·b_2_4⁵·a_1_1²·a_11_30 + b_2_3³·b_2_4⁴·a_1_1²·a_11_30
        + b_2_3⁴·b_2_4·a_1_1²·a_15_55 + b_2_3⁴·b_2_4³·a_1_1²·a_11_30
        + b_2_3⁵·a_1_1²·a_15_55 + b_2_3⁶·b_2_4·a_1_1²·a_11_30
        + b_2_3·b_2_4·a_6_12·c_16_69·a_1_1 + b_2_3·b_2_4²·a_4_5·c_16_69·a_1_1
        + b_2_3²·b_2_4·a_4_5·c_16_69·a_1_1 + b_2_3³·a_4_5·c_16_69·a_1_1
        + b_2_3³·b_2_4·c_16_69·a_1_1³ + b_2_3⁴·c_16_69·a_1_1³
198. a_14_45² + b_2_3·b_2_4⁹·a_1_1·a_7_16 + b_2_3·b_2_4¹²·a_1_1²
        + b_2_3²·b_2_4⁶·a_1_1·a_11_30 + b_2_3²·b_2_4⁸·a_1_1·a_7_16
        + b_2_3²·b_2_4¹¹·a_1_1² + b_2_3⁴·b_2_4⁶·a_1_1·a_7_16
        + b_2_3⁵·b_2_4³·a_1_1·a_11_30 + b_2_3⁵·b_2_4⁵·a_1_1·a_7_16
        + b_2_3⁶·b_2_4⁷·a_1_1² + b_2_3⁷·b_2_4⁶·a_1_1² + b_2_3¹⁰·b_2_4³·a_1_1²
        + b_2_3¹²·b_2_4·a_1_1² + b_2_4⁷·a_12_36·a_1_1² + b_2_4¹⁰·a_6_12·a_1_1²
        + b_2_4¹¹·a_4_5·a_1_1² + b_2_3²·b_2_4⁴·a_14_45·a_1_1²
        + b_2_3⁴·b_2_4²·a_14_45·a_1_1² + b_2_3¹⁰·a_6_12·a_1_1²
        + b_2_3¹⁰·b_2_4·a_4_5·a_1_1² + b_2_3¹¹·a_4_6·a_1_1² + b_2_3¹¹·a_4_5·a_1_1²
        + b_2_4⁵·c_16_69·a_1_1² + b_2_3·b_2_4⁴·c_16_69·a_1_1²
        + b_2_3³·b_2_4²·c_16_69·a_1_1² + b_2_3⁴·b_2_4·c_16_69·a_1_1²
        + c_16_69·a_1_1³·b_9_26 + b_2_4²·a_6_12·c_16_69·a_1_1²
        + b_2_3·b_2_4·a_6_12·c_16_69·a_1_1² + b_2_3·b_2_4²·a_4_5·c_16_69·a_1_1²
        + b_2_3²·a_6_12·c_16_69·a_1_1² + b_2_3³·a_4_6·c_16_69·a_1_1²
199. a_14_45·a_15_55 + b_2_4⁷·a_14_45·a_1_1 + b_2_4⁸·a_12_36·a_1_1
        + b_2_4¹¹·a_6_12·a_1_1 + b_2_3·b_2_4⁶·a_14_45·a_1_1 + b_2_3·b_2_4¹⁰·a_6_12·a_1_1
        + b_2_3²·b_2_4⁵·a_14_45·a_1_1 + b_2_3²·b_2_4¹⁰·a_4_5·a_1_1
        + b_2_3⁴·b_2_4⁷·a_6_12·a_1_1 + b_2_3⁴·b_2_4⁸·a_4_5·a_1_1
        + b_2_3⁵·b_2_4²·a_14_45·a_1_1 + b_2_3⁵·b_2_4⁷·a_4_5·a_1_1
        + b_2_3⁶·b_2_4·a_14_45·a_1_1 + b_2_3⁶·b_2_4²·a_12_36·a_1_1
        + b_2_3⁶·b_2_4⁵·a_6_12·a_1_1 + b_2_3⁶·b_2_4⁶·a_4_5·a_1_1 + b_2_3⁷·a_14_45·a_1_1
        + b_2_3⁷·b_2_4⁵·a_4_5·a_1_1 + b_2_3⁸·b_2_4³·a_6_12·a_1_1
        + b_2_3⁸·b_2_4⁴·a_4_5·a_1_1 + b_2_3⁹·b_2_4²·a_6_12·a_1_1
        + b_2_3¹⁰·b_2_4²·a_4_5·a_1_1 + b_2_3¹²·a_4_5·a_1_1 + b_2_4⁸·a_1_1²·a_11_30
        + b_2_4¹⁰·a_1_1²·a_7_16 + b_2_4¹³·a_1_1³ + b_2_3·b_2_4⁵·a_1_1²·a_15_55
        + b_2_3·b_2_4⁷·a_1_1²·a_11_30 + b_2_3·b_2_4⁹·a_1_1²·a_7_16
        + b_2_3²·b_2_4⁶·a_1_1²·a_11_30 + b_2_3⁴·b_2_4⁴·a_1_1²·a_11_30
        + b_2_3⁵·b_2_4·a_1_1²·a_15_55 + b_2_3⁵·b_2_4³·a_1_1²·a_11_30
        + b_2_3⁷·b_2_4·a_1_1²·a_11_30 + b_2_3¹⁰·a_1_1²·a_7_16 + b_2_3¹³·a_1_1³
        + b_2_3⁷·a_12_36·a_1_1³ + b_2_4·c_16_69·a_1_1²·b_9_26
        + b_2_4⁴·a_4_5·c_16_69·a_1_1 + b_2_3·c_16_69·a_1_1²·b_9_26
        + b_2_3·b_2_4²·a_6_12·c_16_69·a_1_1 + b_2_3²·b_2_4·a_6_12·c_16_69·a_1_1
        + b_2_3³·b_2_4·a_4_5·c_16_69·a_1_1 + c_16_69·a_1_1²·a_11_30
        + b_2_4²·c_16_69·a_1_1²·a_7_16 + b_2_3²·c_16_69·a_1_1²·a_7_16
200. a_15_55² + b_2_4¹⁴·a_1_1² + b_2_3·b_2_4¹³·a_1_1²
        + b_2_3²·b_2_4⁹·a_1_1·a_7_16 + b_2_3²·b_2_4¹²·a_1_1²
        + b_2_3³·b_2_4⁶·a_1_1·a_11_30 + b_2_3³·b_2_4⁸·a_1_1·a_7_16
        + b_2_3³·b_2_4¹¹·a_1_1² + b_2_3⁵·b_2_4⁶·a_1_1·a_7_16
        + b_2_3⁶·b_2_4³·a_1_1·a_11_30 + b_2_3⁶·b_2_4⁵·a_1_1·a_7_16
        + b_2_3⁶·b_2_4⁸·a_1_1² + b_2_3⁸·b_2_4⁶·a_1_1² + b_2_3⁹·b_2_4⁵·a_1_1²
        + b_2_3¹²·b_2_4²·a_1_1² + b_2_3¹³·b_2_4·a_1_1² + b_2_3¹⁴·a_1_1²
        + b_2_3·b_2_4⁷·a_12_36·a_1_1² + b_2_3³·b_2_4⁴·a_14_45·a_1_1²
        + b_2_3⁵·b_2_4²·a_14_45·a_1_1² + b_2_3¹¹·a_6_12·a_1_1²
        + b_2_3¹¹·b_2_4·a_4_5·a_1_1² + b_2_3¹²·a_4_6·a_1_1² + b_2_3¹²·a_4_5·a_1_1²
        + b_2_3·b_2_4⁵·c_16_69·a_1_1² + b_2_3²·b_2_4⁴·c_16_69·a_1_1²
        + b_2_3⁴·b_2_4²·c_16_69·a_1_1² + b_2_3⁵·b_2_4·c_16_69·a_1_1²
        + b_2_3·b_2_4²·a_6_12·c_16_69·a_1_1² + b_2_3²·b_2_4·a_6_12·c_16_69·a_1_1²
        + b_2_3³·a_6_12·c_16_69·a_1_1² + b_2_3³·b_2_4·a_4_5·c_16_69·a_1_1²
        + b_2_3⁴·a_4_6·c_16_69·a_1_1² + c_16_69·a_1_1³·a_11_30