David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 781 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 2 conjugacy classes of maximal elementary abelian subgroups, which are all 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

  ( − 2) · (t13  −  3/2·t12  +  3/2·t11  −  t10  +  t9  +  1/2·t8  −  t7  +  3/2·t6  −  t5  +  t4  −  1/2·t3  +  1/2·t2  +  1/2)

  (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 21 minimal generators of maximal degree 16:

1. a_1_0, a nilpotent element of degree 1
2. a_1_2, a nilpotent element of degree 1
3. b_1_1, an element of degree 1
4. a_2_3, a nilpotent element of degree 2
5. b_2_4, an element of degree 2
6. b_2_5, an element of degree 2
7. a_4_9, a nilpotent element of degree 4
8. b_5_15, an element of degree 5
9. b_5_16, an element of degree 5
10. a_6_13, a nilpotent element of degree 6
11. a_7_19, a nilpotent element of degree 7
12. b_7_27, an element of degree 7
13. a_9_25, a nilpotent element of degree 9
14. b_9_39, an element of degree 9
15. b_9_40, an element of degree 9
16. b_10_47, an element of degree 10
17. b_10_48, an element of degree 10
18. a_12_46, a nilpotent element of degree 12
19. a_14_56, a nilpotent element of degree 14
20. a_15_64, a nilpotent element of degree 15
21. c_16_105, 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 157 minimal relations of maximal degree 30:

1. a_1_0·a_1_2
2. a_1_0·b_1_1 + a_1_2²
3. a_1_2·b_1_1
4. a_2_3·a_1_2
5. b_2_4·b_1_1 + b_2_5·a_1_2 + a_1_0³
6. b_2_5·a_1_0² + a_2_3²
7. b_2_5²·a_1_2 + b_2_4·b_2_5·a_1_2 + b_2_4·a_1_0³
8. a_4_9·b_1_1 + a_2_3·b_2_5·b_1_1
9. a_4_9·a_1_0
10. a_4_9·a_1_2 + a_2_3·a_1_0³
11. a_2_3·a_4_9
12. b_1_1·b_5_15 + a_2_3·b_2_5·b_1_1² + a_2_3³
13. a_1_0·b_5_15 + a_2_3·b_2_4·b_2_5 + a_2_3·b_2_4² + a_2_3²·b_2_5 + a_2_3²·b_2_4
       + a_2_3·b_2_4·a_1_0²
14. a_1_2·b_5_15 + a_1_0·b_5_16 + b_2_5·a_4_9 + b_2_4·a_4_9 + a_2_3·b_2_5²
       + a_2_3·b_2_4·b_2_5 + b_2_4²·a_1_0² + a_2_3²·b_2_5 + a_2_3·b_2_4·a_1_0² + a_2_3³
15. a_1_2·b_5_16 + a_2_3·b_2_4·a_1_0²
16. b_2_4·b_2_5²·a_1_0 + b_2_4²·b_2_5·a_1_0 + a_2_3·b_5_15 + a_2_3·b_2_5²·a_1_0
       + a_2_3·b_2_4·b_2_5·a_1_0 + a_2_3²·b_2_4·a_1_0
17. a_6_13·b_1_1 + a_2_3·b_2_5·b_1_1³ + a_2_3³·a_1_0
18. b_2_5·b_5_15 + b_2_4·b_5_16 + b_2_5³·a_1_0 + b_2_4³·a_1_2 + b_2_4³·a_1_0
       + a_2_3·b_2_5²·b_1_1 + a_6_13·a_1_0 + a_2_3·b_2_4²·a_1_0
19. a_6_13·a_1_2
20. a_4_9²
21. b_1_1·a_7_19 + a_2_3·b_2_5·b_1_1⁴
22. a_1_0·a_7_19 + b_2_4³·a_1_0² + a_2_3·a_6_13 + a_2_3²·b_2_5² + a_2_3²·b_2_4·b_2_5
       + a_2_3³·b_2_5
23. a_1_2·a_7_19
24. b_1_1·b_7_27 + b_2_5²·b_1_1⁴ + b_2_5²·a_4_9 + a_2_3·b_1_1⁶ + a_2_3³·b_2_5
25. a_1_0·b_7_27 + b_2_5·a_6_13 + b_2_4·b_2_5·a_4_9 + a_2_3·b_2_5²·b_1_1²
       + a_2_3·b_2_4·b_2_5² + a_2_3·b_2_4²·b_2_5 + a_2_3·b_2_4³ + b_2_4³·a_1_0²
       + a_2_3·a_6_13 + a_2_3²·b_2_5² + a_2_3²·b_2_4·b_2_5 + a_2_3²·b_2_4²
       + a_2_3·b_2_4²·a_1_0² + a_2_3³·b_2_5 + a_2_3³·b_2_4
26. a_1_2·b_7_27 + b_2_4²·a_4_9 + a_2_3·b_2_4²·a_1_0²
27. a_2_3²·b_2_4·b_2_5·a_1_0 + a_2_3²·b_2_4²·a_1_0
28. a_4_9·b_5_16 + a_4_9·b_5_15 + b_2_5⁴·a_1_0 + b_2_4³·b_2_5·a_1_0 + a_2_3·b_2_5·b_5_16
       + a_2_3·b_2_4·b_5_16 + a_2_3·b_2_4·b_5_15 + a_2_3·b_2_4²·b_2_5·a_1_0
       + a_2_3·b_2_4³·a_1_0 + a_2_3²·b_5_16 + a_2_3²·b_5_15 + b_2_4³·a_1_0³
       + a_2_3²·b_2_5²·a_1_0 + a_2_3²·b_2_4²·a_1_0
29. a_4_9·b_5_15 + b_2_4³·a_1_0³ + a_2_3·a_6_13·a_1_0
30. a_4_9·b_5_16 + a_4_9·b_5_15 + b_2_5⁴·a_1_0 + b_2_4³·b_2_5·a_1_0 + a_2_3·b_2_5·b_5_16
       + a_2_3·b_2_4·b_5_16 + a_2_3·b_2_4·b_5_15 + b_2_5·a_6_13·a_1_0 + a_2_3·a_7_19
       + a_2_3·b_2_4²·b_2_5·a_1_0 + a_2_3²·b_5_15 + b_2_4³·a_1_0³ + a_2_3²·b_2_5²·a_1_0
31. b_2_5·a_7_19 + b_2_5⁴·a_1_0 + b_2_4³·b_2_5·a_1_2 + b_2_4³·b_2_5·a_1_0 + a_2_3·b_7_27
       + a_2_3·b_2_4·b_5_15 + b_2_5·a_6_13·a_1_0 + a_2_3·b_2_4³·a_1_0 + a_2_3²·b_2_5²·a_1_0
       + a_2_3²·b_2_4²·a_1_0
32. a_4_9·a_6_13
33. b_5_15·b_5_16 + b_2_4·b_2_5⁴ + b_2_4³·b_2_5² + b_2_5³·a_4_9 + b_2_4³·a_4_9
       + a_2_3·b_2_5·b_1_1·b_5_16 + a_2_3·b_2_5⁴ + a_2_3·b_2_4·b_2_5³
       + a_2_3·b_2_4³·b_2_5 + a_2_3·b_2_4⁴ + a_2_3·b_2_5·a_6_13 + a_2_3·b_2_4·a_6_13
       + a_2_3²·b_2_5³ + a_2_3²·b_2_4·b_2_5² + b_2_4·a_6_13·a_1_0²
       + a_2_3·b_2_4³·a_1_0² + a_2_3³·b_2_4·b_2_5
34. b_1_1·a_9_25 + a_2_3·b_1_1⁸ + a_2_3·b_2_5·b_1_1·b_5_16 + a_2_3·b_2_5·b_1_1⁶
       + a_2_3·b_2_5²·b_1_1⁴ + a_2_3·b_2_5³·b_1_1² + a_2_3³·b_2_4·b_2_5
       + a_2_3³·b_2_4²
35. b_5_15·b_5_16 + b_2_4·b_2_5⁴ + b_2_4³·b_2_5² + b_2_5³·a_4_9 + b_2_4³·a_4_9
       + a_2_3·b_2_5·b_1_1·b_5_16 + a_2_3·b_2_5⁴ + a_2_3·b_2_4·b_2_5³
       + a_2_3·b_2_4³·b_2_5 + a_2_3·b_2_4⁴ + a_1_0·a_9_25 + b_2_4⁴·a_1_0²
       + a_2_3·b_2_5·a_6_13 + a_2_3²·b_2_5³ + a_2_3²·b_2_4·b_2_5²
       + a_2_3²·b_2_4²·b_2_5 + a_2_3²·b_2_4³ + b_2_4·a_6_13·a_1_0²
       + a_2_3·b_2_4³·a_1_0² + a_2_3²·a_6_13 + a_2_3³·b_2_5²
36. b_5_15² + b_2_4²·b_2_5³ + b_2_4⁴·b_2_5 + b_2_4²·b_2_5·a_4_9 + b_2_4³·a_4_9
       + a_1_2·a_9_25 + a_2_3²·b_2_5³ + a_2_3²·b_2_4²·b_2_5 + b_2_4·a_6_13·a_1_0²
       + a_2_3·b_2_4³·a_1_0² + a_2_3³·b_2_4·b_2_5 + a_2_3³·b_2_4²
37. b_5_16² + b_5_15² + b_1_1·b_9_39 + b_2_5·b_1_1³·b_5_16 + b_2_5²·b_1_1·b_5_16
       + b_2_5²·b_1_1⁶ + b_2_5⁵ + b_2_4⁴·b_2_5 + b_2_4³·a_4_9 + a_2_3·b_1_1³·b_5_16
       + a_2_3·b_1_1⁸ + a_2_3·b_2_5·b_1_1⁶ + a_2_3·b_2_5²·b_1_1⁴ + b_2_4⁴·a_1_0²
       + a_2_3²·b_2_4²·b_2_5 + b_2_4·a_6_13·a_1_0² + a_2_3³·b_2_5²
38. b_5_15² + b_2_4²·b_2_5³ + b_2_4⁴·b_2_5 + a_1_2·b_9_39 + b_2_4³·a_4_9
       + a_2_3²·b_2_5³ + a_2_3²·b_2_4²·b_2_5 + b_2_4·a_6_13·a_1_0²
39. b_5_16² + b_1_1·b_9_40 + b_2_5·b_1_1³·b_5_16 + b_2_5²·b_1_1⁶ + b_2_5⁴·b_1_1²
       + b_2_5⁵ + b_2_4²·b_2_5³ + b_2_5³·a_4_9 + a_2_3·b_1_1³·b_5_16 + a_2_3·b_1_1⁸
       + a_2_3·b_2_5·b_1_1·b_5_16 + a_2_3·b_2_5·b_1_1⁶ + a_2_3·b_2_5³·b_1_1²
       + b_2_4⁴·a_1_0² + a_2_3²·b_2_5³ + a_2_3³·b_2_4²
40. b_5_15·b_5_16 + b_5_15² + b_2_4·b_2_5⁴ + b_2_4²·b_2_5³ + b_2_4³·b_2_5²
       + b_2_4⁴·b_2_5 + a_1_0·b_9_40 + b_2_5²·a_6_13 + b_2_4²·b_2_5·a_4_9
       + a_2_3·b_2_5·b_1_1·b_5_16 + a_2_3·b_2_5³·b_1_1² + a_2_3·b_2_4·b_2_5³
       + a_2_3·b_2_4²·b_2_5² + a_2_3·b_2_4³·b_2_5 + b_2_4⁴·a_1_0² + a_2_3·b_2_5·a_6_13
       + a_2_3²·b_2_5³ + a_2_3²·b_2_4²·b_2_5 + a_2_3³·b_2_4·b_2_5 + a_2_3³·b_2_4²
41. b_5_15² + b_2_4²·b_2_5³ + b_2_4⁴·b_2_5 + a_1_2·b_9_40 + b_2_4²·b_2_5·a_4_9
       + a_2_3²·b_2_5³ + a_2_3²·b_2_4²·b_2_5 + a_2_3·b_2_4³·a_1_0²
       + a_2_3³·b_2_4·b_2_5 + a_2_3³·b_2_4²
42. a_4_9·a_7_19
43. a_4_9·b_7_27 + b_2_4⁴·b_2_5·a_1_2 + a_2_3·b_2_5³·b_1_1³ + a_2_3²·a_7_19
44. a_6_13·b_5_16 + a_2_3·b_2_5·b_7_27 + a_2_3·b_2_5·b_1_1²·b_5_16
       + a_2_3·b_2_5³·b_1_1³ + a_2_3·b_2_4·b_7_27 + a_2_3·b_2_4·b_2_5·b_5_16
       + a_2_3·b_2_4²·b_5_16 + a_2_3·b_2_4²·b_5_15 + b_2_4²·a_6_13·a_1_0
       + a_2_3·b_2_4·a_7_19 + a_2_3·b_2_4⁴·a_1_0 + a_2_3²·b_2_5·b_5_16
       + a_2_3²·b_2_4·b_5_16 + b_2_4⁴·a_1_0³ + a_2_3²·a_7_19 + a_2_3²·b_2_4³·a_1_0
45. a_6_13·b_5_16 + a_6_13·b_5_15 + b_2_4²·a_7_19 + b_2_4⁴·b_2_5·a_1_0 + b_2_4⁵·a_1_2
       + b_2_4⁵·a_1_0 + a_2_3·b_2_5·b_7_27 + a_2_3·b_2_5·b_1_1²·b_5_16
       + a_2_3·b_2_5³·b_1_1³ + a_2_3·b_2_4·b_2_5·b_5_16 + a_2_3·b_2_4²·b_5_16
       + a_2_3·b_2_4²·b_5_15 + b_2_4²·a_6_13·a_1_0 + a_2_3·b_2_4·a_7_19
       + a_2_3·b_2_4³·b_2_5·a_1_0 + a_2_3²·b_7_27 + a_2_3²·b_2_5·b_5_16
       + a_2_3²·b_2_4·b_5_16 + a_2_3²·b_2_4·b_5_15 + b_2_4⁴·a_1_0³
46. a_2_3·a_9_25 + a_2_3·b_2_4·a_7_19 + a_2_3²·b_2_4·b_5_16 + a_2_3²·b_2_4·b_5_15
       + a_2_3²·a_7_19
47. b_2_4·b_9_40 + b_2_4·b_2_5·b_7_27 + b_2_4·b_2_5²·b_5_16 + b_2_4³·b_5_15
       + a_6_13·b_5_16 + a_6_13·b_5_15 + b_2_5·a_9_25 + b_2_5⁵·a_1_0 + b_2_4·a_9_25
       + b_2_4²·a_7_19 + b_2_4⁴·b_2_5·a_1_0 + b_2_4⁵·a_1_2 + b_2_4⁵·a_1_0
       + a_2_3·b_2_5·b_7_27 + a_2_3·b_2_5·b_1_1²·b_5_16 + a_2_3·b_2_5·b_1_1⁷
       + a_2_3·b_2_5²·b_5_16 + a_2_3·b_2_5²·b_1_1⁵ + a_2_3·b_2_5⁴·b_1_1
       + a_2_3·b_2_4·b_2_5·b_5_16 + a_2_3·b_2_4²·b_5_15 + a_1_0²·b_9_39
       + b_2_4²·a_6_13·a_1_0 + a_2_3·b_2_4·a_7_19 + a_2_3·b_2_4³·b_2_5·a_1_0
       + a_2_3²·b_2_5·b_5_16 + a_2_3²·a_7_19 + a_2_3³·b_5_16
48. b_1_1²·b_9_39 + b_1_1⁶·b_5_16 + b_10_47·b_1_1 + b_2_5·b_1_1⁴·b_5_16 + b_2_5·b_1_1⁹
       + b_2_5²·b_1_1²·b_5_16 + b_2_5²·b_1_1⁷ + b_2_5³·b_1_1⁵ + b_2_5⁵·b_1_1
       + a_6_13·b_5_16 + a_6_13·b_5_15 + b_2_5⁵·a_1_0 + b_2_4²·a_7_19 + b_2_4⁴·b_2_5·a_1_2
       + b_2_4⁵·a_1_2 + b_2_4⁵·a_1_0 + a_2_3·b_9_40 + a_2_3·b_1_1⁴·b_5_16 + a_2_3·b_1_1⁹
       + a_2_3·b_2_5·b_1_1²·b_5_16 + a_2_3·b_2_5·b_1_1⁷ + a_2_3·b_2_4²·b_5_15
       + b_2_4²·a_6_13·a_1_0 + a_2_3·b_2_4³·b_2_5·a_1_0 + a_2_3·b_2_4⁴·a_1_0
       + a_2_3²·b_2_5·b_5_16 + a_2_3·b_2_4·a_6_13·a_1_0 + a_2_3²·a_7_19
       + a_2_3²·b_2_4³·a_1_0
49. b_10_47·a_1_0 + b_2_5⁵·a_1_0 + b_2_4⁴·b_2_5·a_1_0 + a_2_3·b_9_40 + a_2_3·b_9_39
       + a_2_3·b_2_5²·b_5_16 + a_2_3·b_2_5⁴·b_1_1 + a_2_3·b_2_4²·b_5_16
       + a_2_3·b_2_4²·b_5_15 + a_1_0²·b_9_39 + b_2_4²·a_6_13·a_1_0 + a_2_3·b_2_4·a_7_19
       + a_2_3·b_2_4⁴·a_1_0 + a_2_3²·b_2_5·b_5_16 + a_2_3²·b_2_4·b_5_16
       + a_2_3²·b_2_4·b_5_15 + b_2_4⁴·a_1_0³ + a_2_3²·b_2_4³·a_1_0
50. b_10_47·a_1_2 + b_2_4⁴·a_1_0³
51. b_10_48·b_1_1 + b_2_5²·b_1_1²·b_5_16 + b_2_5³·b_1_1⁵ + b_2_5⁴·b_1_1³
       + a_6_13·b_5_16 + a_6_13·b_5_15 + b_2_4²·a_7_19 + b_2_4⁴·b_2_5·a_1_0 + b_2_4⁵·a_1_2
       + b_2_4⁵·a_1_0 + a_2_3·b_9_40 + a_2_3·b_1_1⁴·b_5_16 + a_2_3·b_1_1⁹
       + a_2_3·b_2_5²·b_5_16 + a_2_3·b_2_4·b_2_5·b_5_16 + a_2_3·b_2_4²·b_5_16
       + b_2_4²·a_6_13·a_1_0 + a_2_3²·b_2_4·b_5_15 + b_2_4⁴·a_1_0³
       + a_2_3²·b_2_4³·a_1_0
52. b_10_48·a_1_0 + a_6_13·b_5_16 + b_2_4⁴·b_2_5·a_1_0 + b_2_4⁵·a_1_0 + a_2_3·b_9_40
       + a_2_3·b_9_39 + a_2_3·b_2_5·b_1_1²·b_5_16 + a_2_3·b_2_5²·b_5_16
       + a_2_3·b_2_5⁴·b_1_1 + a_2_3·b_2_4·b_2_5·b_5_16 + a_2_3·b_2_4²·b_5_16
       + a_1_0²·b_9_39 + a_2_3·b_2_4³·b_2_5·a_1_0 + a_2_3·b_2_4⁴·a_1_0
       + a_2_3²·b_2_5·b_5_16 + a_2_3²·b_2_4·b_5_15 + b_2_4⁴·a_1_0³
       + a_2_3·b_2_4·a_6_13·a_1_0
53. b_10_48·a_1_2 + b_2_4⁴·b_2_5·a_1_2 + b_2_4⁵·a_1_2 + b_2_4⁴·a_1_0³
       + a_2_3·b_2_4·a_6_13·a_1_0
54. b_5_15·a_7_19 + b_2_4·b_2_5²·a_6_13 + b_2_4²·b_2_5·a_6_13 + b_2_4³·b_2_5·a_4_9
       + b_2_4⁴·a_4_9 + a_2_3·b_2_4·b_2_5⁴ + a_2_3·b_2_4³·b_2_5² + a_2_3·b_2_4⁴·b_2_5
       + a_2_3·b_2_4⁵ + a_2_3·b_2_5²·a_6_13 + a_2_3·b_2_4·b_2_5·a_6_13 + a_2_3²·b_2_5⁴
       + a_2_3²·b_2_4·b_2_5³ + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴
       + b_2_4²·a_6_13·a_1_0² + a_2_3·b_2_4⁴·a_1_0² + a_2_3³·b_2_5³
55. b_5_16·a_7_19 + b_2_5³·a_6_13 + b_2_5⁴·a_4_9 + b_2_4·b_2_5²·a_6_13
       + b_2_4³·b_2_5·a_4_9 + a_2_3·b_2_5·b_1_1³·b_5_16 + a_2_3·b_2_5⁴·b_1_1²
       + a_2_3·b_2_5⁵ + a_2_3·b_2_4²·b_2_5³ + a_2_3·b_2_4³·b_2_5²
       + a_2_3·b_2_4⁴·b_2_5 + b_2_4⁵·a_1_0² + a_2_3·b_2_5²·a_6_13 + a_2_3·b_2_4²·a_6_13
       + a_2_3²·b_2_4²·b_2_5² + b_2_4²·a_6_13·a_1_0² + a_2_3³·b_2_5³
       + a_2_3³·b_2_4·b_2_5² + a_2_3³·b_2_4²·b_2_5
56. a_6_13² + b_2_4⁵·a_1_0² + a_2_3²·b_2_4·b_2_5³ + a_1_0³·b_9_39
       + b_2_4²·a_6_13·a_1_0² + a_2_3²·b_2_5·a_6_13 + a_2_3³·b_2_4²·b_2_5
57. b_2_5·a_1_0·b_9_39 + b_2_5³·a_6_13 + b_2_4³·b_2_5·a_4_9 + a_2_3·b_1_1·b_9_39
       + a_2_3·b_1_1⁵·b_5_16 + a_2_3·b_10_47 + a_2_3·b_2_5·b_1_1³·b_5_16
       + a_2_3·b_2_5·b_1_1⁸ + a_2_3·b_2_5²·b_1_1·b_5_16 + a_2_3·b_2_5²·b_1_1⁶
       + a_2_3·b_2_5³·b_1_1⁴ + a_2_3·b_2_5⁴·b_1_1² + a_2_3·b_2_5⁵
       + a_2_3·b_2_4·b_2_5⁴ + a_2_3·b_2_4⁴·b_2_5 + a_2_3·a_1_0·b_9_39
       + a_2_3·b_2_4²·a_6_13 + a_2_3²·b_2_5⁴ + a_2_3²·b_2_5·a_6_13
58. b_5_16·b_7_27 + b_2_5·b_1_1·b_9_39 + b_2_5·b_1_1⁵·b_5_16 + b_2_5·b_10_48
       + b_2_5·b_10_47 + b_2_5²·b_1_1⁸ + b_2_5³·b_1_1⁶ + b_2_5⁵·b_1_1² + b_2_5⁶
       + b_2_4²·b_2_5⁴ + b_2_4³·b_2_5³ + b_2_4⁵·b_2_5 + b_2_5³·a_6_13 + b_2_5⁴·a_4_9
       + b_2_4²·b_2_5·a_6_13 + b_2_4³·b_2_5·a_4_9 + b_2_4⁴·a_4_9 + a_2_3·b_1_1⁵·b_5_16
       + a_2_3·b_2_5²·b_1_1·b_5_16 + a_2_3·b_2_5²·b_1_1⁶ + a_2_3·b_2_5⁴·b_1_1²
       + a_2_3·b_2_5⁵ + a_2_3·b_2_4³·b_2_5² + a_2_3·b_2_4⁴·b_2_5 + a_2_3·b_2_4⁵
       + b_2_4⁵·a_1_0² + a_2_3²·b_2_4·b_2_5³ + a_2_3²·b_2_4²·b_2_5²
       + a_2_3²·b_2_4³·b_2_5 + b_2_4²·a_6_13·a_1_0² + a_2_3²·b_2_5·a_6_13
       + a_2_3³·b_2_5³ + a_2_3³·b_2_4³
59. b_5_15·b_7_27 + b_2_4·b_10_48 + b_2_4·b_10_47 + b_2_4·b_2_5⁵ + b_2_4³·b_2_5³
       + b_2_4⁴·b_2_5² + b_2_4⁶ + b_2_5³·a_6_13 + b_2_4·b_2_5²·a_6_13
       + b_2_4³·b_2_5·a_4_9 + a_2_3·b_2_5³·b_1_1⁴ + a_2_3·b_2_5⁴·b_1_1²
       + a_2_3·b_2_4²·b_2_5³ + a_2_3·b_2_4³·b_2_5² + a_6_13² + a_2_3·b_2_5²·a_6_13
       + a_2_3·b_2_4·b_2_5·a_6_13 + a_2_3²·b_2_5⁴ + a_2_3²·b_2_4·b_2_5³
       + a_2_3²·b_2_4⁴ + a_2_3·b_2_4⁴·a_1_0² + a_2_3²·b_2_5·a_6_13 + a_2_3³·b_2_5³
       + a_2_3³·b_2_4²·b_2_5 + a_2_3³·b_2_4³
60. b_2_5·a_1_0·b_9_39 + b_2_4·b_2_5²·a_6_13 + b_2_4³·b_2_5·a_4_9 + a_2_3·b_10_48
       + a_2_3·b_2_5²·b_1_1·b_5_16 + a_2_3·b_2_5³·b_1_1⁴ + a_2_3·b_2_5⁴·b_1_1²
       + a_2_3·b_2_4²·b_2_5³ + a_2_3·b_2_4³·b_2_5² + a_2_3·b_2_4⁵ + a_2_3·a_1_0·b_9_39
       + a_2_3·b_2_5²·a_6_13 + a_2_3·b_2_4·b_2_5·a_6_13 + a_2_3·b_2_4²·a_6_13
       + a_2_3²·b_2_5⁴ + a_2_3²·b_2_4·b_2_5³ + a_2_3²·b_2_4²·b_2_5²
       + a_2_3²·b_2_4³·b_2_5 + a_2_3²·b_2_4⁴ + a_2_3·b_2_4⁴·a_1_0²
       + a_2_3²·b_2_5·a_6_13 + a_2_3³·b_2_5³ + a_2_3³·b_2_4·b_2_5²
       + a_2_3³·b_2_4²·b_2_5 + a_2_3³·b_2_4³
61. a_6_13·a_7_19 + a_4_9·a_9_25 + b_2_4³·a_6_13·a_1_0 + a_2_3·b_2_4⁴·b_2_5·a_1_0
       + a_2_3·b_2_4⁵·a_1_0 + a_2_3²·b_2_5·b_7_27 + a_2_3²·b_2_4·b_7_27
       + a_2_3·b_2_4²·a_6_13·a_1_0 + a_2_3²·b_2_4⁴·a_1_0 + a_2_3³·b_7_27
       + a_2_3³·b_2_5·b_5_16
62. b_2_5²·a_9_25 + b_2_5⁶·a_1_0 + b_2_4·b_2_5·a_9_25 + b_2_4⁵·b_2_5·a_1_0
       + a_2_3·b_2_5²·b_1_1⁷ + a_2_3·b_2_5³·b_5_16 + a_2_3·b_2_5³·b_1_1⁵
       + a_2_3·b_2_5⁴·b_1_1³ + a_2_3·b_2_5⁵·b_1_1 + a_2_3·b_2_4·b_2_5·b_7_27
       + a_2_3·b_2_4·b_2_5²·b_5_16 + a_2_3·b_2_4²·b_7_27 + a_2_3·b_2_4²·b_2_5·b_5_16
       + a_2_3·b_2_4³·b_5_16 + a_2_3·b_2_4³·b_5_15 + b_2_4·a_1_0²·b_9_39
       + a_2_3·b_2_4²·a_7_19 + a_2_3·b_2_4⁴·b_2_5·a_1_0 + a_2_3·b_2_4⁵·a_1_0
       + a_2_3²·b_2_5·b_7_27 + a_2_3²·b_2_4·b_7_27 + a_2_3²·b_2_4·b_2_5·b_5_16
       + a_2_3²·b_2_4²·b_5_16 + b_2_4⁵·a_1_0³ + a_2_3·b_2_4²·a_6_13·a_1_0
       + a_2_3³·b_2_5·b_5_16
63. a_6_13·a_7_19 + b_2_4³·a_6_13·a_1_0 + a_2_3·b_2_4⁴·b_2_5·a_1_0 + a_2_3·b_2_4⁵·a_1_0
       + a_2_3²·b_2_5·b_7_27 + a_2_3²·b_2_4·b_7_27 + a_2_3·a_1_0²·b_9_39
       + a_2_3·b_2_4²·a_6_13·a_1_0 + a_2_3²·b_2_4·a_7_19 + a_2_3²·b_2_4⁴·a_1_0
       + a_2_3³·b_7_27 + a_2_3³·b_2_5·b_5_16
64. a_6_13·b_7_27 + b_2_4³·a_7_19 + b_2_4⁵·b_2_5·a_1_2 + b_2_4⁶·a_1_2 + b_2_4⁶·a_1_0
       + a_2_3·b_2_5³·b_1_1⁵ + a_2_3·b_2_4·b_2_5·b_7_27 + a_2_3·b_2_4·b_2_5²·b_5_16
       + a_2_3·b_2_4²·b_7_27 + a_2_3·b_2_4³·b_5_16 + a_6_13·a_7_19 + a_2_3·b_2_4²·a_7_19
       + a_2_3·b_2_4⁵·a_1_0 + a_2_3²·b_9_39 + a_2_3²·b_2_5·b_7_27 + a_2_3²·b_2_4·b_7_27
       + a_2_3²·b_2_4·b_2_5·b_5_16 + a_2_3²·b_2_4²·b_5_16 + a_2_3²·b_2_4²·b_5_15
       + b_2_4⁵·a_1_0³ + a_2_3²·b_2_4·a_7_19 + a_2_3³·b_7_27 + a_2_3³·b_2_5·b_5_16
65. a_4_9·b_9_40 + a_4_9·b_9_39 + b_2_5⁶·a_1_0 + b_2_4⁵·b_2_5·a_1_0 + a_2_3·b_2_5³·b_5_16
       + a_2_3·b_2_5⁵·b_1_1 + a_2_3·b_2_4·b_2_5²·b_5_16 + a_2_3·b_2_4²·b_2_5·b_5_16
       + a_2_3·b_2_4³·b_5_16 + a_2_3·b_2_4³·b_5_15 + a_2_3·b_2_4⁴·b_2_5·a_1_0
       + a_2_3·b_2_4⁵·a_1_0 + a_2_3²·b_2_5²·b_5_16 + a_2_3²·b_2_4²·b_5_15
       + b_2_4⁵·a_1_0³ + a_2_3³·b_2_5·b_5_16
66. a_4_9·b_9_39 + b_2_4⁵·b_2_5·a_1_2 + a_2_3·b_2_5·b_9_40 + a_2_3·b_2_5²·b_7_27
       + a_2_3·b_2_5³·b_5_16 + a_2_3·b_2_5⁴·b_1_1³ + a_2_3·b_2_5⁵·b_1_1
       + a_2_3·b_2_4³·b_5_16 + a_6_13·a_7_19 + b_2_4³·a_6_13·a_1_0
       + a_2_3·b_2_4⁴·b_2_5·a_1_0 + a_2_3²·b_2_5²·b_5_16 + b_2_4⁵·a_1_0³
       + a_2_3³·b_2_5·b_5_16
67. a_12_46·b_1_1 + a_4_9·b_9_39 + b_2_4⁵·b_2_5·a_1_2 + a_2_3·b_1_1⁶·b_5_16
       + a_2_3·b_2_5²·b_1_1²·b_5_16 + a_2_3·b_2_5²·b_1_1⁷ + a_2_3·b_2_5³·b_1_1⁵
       + a_2_3·b_2_5⁵·b_1_1 + a_6_13·a_7_19 + b_2_4³·a_6_13·a_1_0
       + a_2_3·b_2_4⁴·b_2_5·a_1_0 + a_2_3·b_2_4⁵·a_1_0 + a_2_3²·b_2_5·b_7_27
       + a_2_3²·b_2_4·b_7_27 + b_2_4⁵·a_1_0³ + a_2_3·b_2_4²·a_6_13·a_1_0
       + a_2_3²·b_2_4·a_7_19 + a_2_3²·b_2_4⁴·a_1_0 + a_2_3³·b_7_27 + a_2_3³·b_2_5·b_5_16
68. a_6_13·b_7_27 + b_2_4³·a_7_19 + b_2_4⁵·b_2_5·a_1_2 + b_2_4⁶·a_1_2 + b_2_4⁶·a_1_0
       + a_2_3·b_2_5³·b_1_1⁵ + a_2_3·b_2_4·b_2_5·b_7_27 + a_2_3·b_2_4·b_2_5²·b_5_16
       + a_2_3·b_2_4²·b_7_27 + a_2_3·b_2_4³·b_5_16 + a_12_46·a_1_0 + a_2_3·b_2_4²·a_7_19
       + a_2_3²·b_2_4·b_7_27 + b_2_4⁵·a_1_0³ + a_2_3·b_2_4²·a_6_13·a_1_0
       + a_2_3²·b_2_4⁴·a_1_0 + a_2_3³·b_7_27
69. a_12_46·a_1_2 + a_6_13·a_7_19 + b_2_4³·a_6_13·a_1_0 + a_2_3·b_2_4⁴·b_2_5·a_1_0
       + a_2_3·b_2_4⁵·a_1_0 + a_2_3²·b_2_5·b_7_27 + a_2_3²·b_2_4·b_7_27
       + a_2_3·b_2_4²·a_6_13·a_1_0 + a_2_3²·b_2_4⁴·a_1_0 + a_2_3³·b_7_27
       + a_2_3³·b_2_5·b_5_16
70. a_7_19² + b_2_4⁶·a_1_0² + a_2_3²·b_2_5⁵ + a_2_3²·b_2_4·b_2_5⁴
       + a_2_3²·b_2_4²·b_2_5³ + a_2_3²·b_2_4⁵ + a_2_3²·b_2_5²·a_6_13
       + a_2_3²·b_2_4·b_2_5·a_6_13 + a_2_3²·b_2_4²·a_6_13 + a_2_3³·b_2_4³·b_2_5
       + a_2_3³·b_2_4⁴
71. a_4_9·b_10_47 + b_2_5⁵·a_4_9 + b_2_4⁴·b_2_5·a_4_9 + a_2_3·b_2_5·b_1_1·b_9_39
       + a_2_3·b_2_5·b_1_1⁵·b_5_16 + a_2_3·b_2_5²·b_1_1³·b_5_16 + a_2_3·b_2_5²·b_1_1⁸
       + a_2_3·b_2_5³·b_1_1·b_5_16 + a_2_3·b_2_5³·b_1_1⁶ + a_2_3·b_2_5⁴·b_1_1⁴
       + a_2_3²·b_2_5²·a_6_13 + a_2_3³·b_2_5⁴ + a_2_3³·b_2_4³·b_2_5 + a_2_3³·b_2_4⁴
72. b_7_27² + b_2_5⁴·b_1_1⁶ + b_2_4·b_2_5⁶ + b_2_4²·b_2_5⁵ + b_2_4⁴·b_2_5³
       + b_2_4⁵·b_2_5² + b_2_4⁶·b_2_5 + b_2_4²·b_2_5²·a_6_13 + b_2_4⁴·b_2_5·a_4_9
       + b_2_4⁵·a_4_9 + a_2_3·b_2_5·b_1_1·b_9_39 + a_2_3·b_2_5·b_1_1⁵·b_5_16
       + a_2_3·b_2_5·b_10_47 + a_2_3·b_2_5²·b_1_1³·b_5_16 + a_2_3·b_2_5²·b_1_1⁸
       + a_2_3·b_2_5³·b_1_1·b_5_16 + a_2_3·b_2_5³·b_1_1⁶ + a_2_3·b_2_5⁴·b_1_1⁴
       + a_2_3·b_2_5⁶ + a_2_3·b_2_4·b_2_5⁵ + a_2_3·b_2_4²·b_2_5⁴
       + a_2_3·b_2_4⁴·b_2_5² + b_2_4⁶·a_1_0² + a_2_3·b_2_4²·b_2_5·a_6_13
       + a_2_3²·b_10_47 + a_2_3²·b_2_5⁵ + a_2_3²·b_2_4²·b_2_5³
       + a_2_3²·b_2_4³·b_2_5² + a_2_3²·b_2_4⁵ + b_2_4³·a_6_13·a_1_0²
       + a_2_3·b_2_4⁵·a_1_0² + a_2_3²·b_2_5²·a_6_13 + a_2_3²·b_2_4·b_2_5·a_6_13
       + a_2_3³·b_2_4⁴
73. a_4_9·b_10_48 + b_2_4⁴·b_2_5·a_4_9 + b_2_4⁵·a_4_9 + a_2_3·b_2_5³·b_1_1·b_5_16
       + a_2_3·b_2_5⁴·b_1_1⁴ + a_2_3·b_2_5⁵·b_1_1² + a_2_3·b_2_4⁵·a_1_0²
74. b_7_27² + b_5_15·b_9_39 + b_2_5⁴·b_1_1⁶ + b_2_4·b_2_5·b_10_48 + b_2_4·b_2_5⁶
       + b_2_4²·b_10_47 + b_2_4⁵·b_2_5² + b_2_4⁶·b_2_5 + a_7_19·b_7_27 + b_5_16·a_9_25
       + b_5_15·a_9_25 + b_2_5⁵·a_4_9 + b_2_4²·a_1_0·b_9_39 + b_2_4²·b_2_5²·a_6_13
       + b_2_4⁴·a_6_13 + a_2_3·b_1_1⁷·b_5_16 + a_2_3·b_2_5·b_1_1⁵·b_5_16
       + a_2_3·b_2_4·b_2_5⁵ + a_2_3·b_2_4⁴·b_2_5² + a_2_3²·b_2_5⁵
       + a_2_3²·b_2_4·b_2_5⁴ + a_2_3²·b_2_4²·b_2_5³ + a_2_3²·b_2_4⁴·b_2_5
       + a_2_3²·b_2_4⁵ + a_2_3³·b_2_5⁴
75. b_5_15·b_9_40 + b_5_15·b_9_39 + b_2_4·b_2_5·b_10_47 + b_2_4²·b_10_47 + b_2_4²·b_2_5⁵
       + b_2_4⁴·b_2_5³ + a_7_19·b_7_27 + b_2_5⁵·a_4_9 + b_2_4²·a_1_0·b_9_39
       + b_2_4⁴·a_6_13 + b_2_4⁴·b_2_5·a_4_9 + a_2_3·b_2_5·b_10_48 + a_2_3·b_2_5³·b_1_1⁶
       + a_2_3·b_2_5⁴·b_1_1⁴ + a_2_3·b_2_5⁶ + a_2_3·b_2_4·b_2_5⁵
       + a_2_3·b_2_4²·b_2_5⁴ + a_2_3·b_2_4³·b_2_5³ + a_2_3·b_2_4⁴·b_2_5²
       + a_2_3·b_2_4⁵·b_2_5 + a_2_3·b_2_4·a_1_0·b_9_39 + a_2_3·b_2_4²·b_2_5·a_6_13
       + a_2_3·b_2_4³·a_6_13 + a_2_3²·b_2_5⁵ + a_2_3²·b_2_4³·b_2_5²
       + a_2_3²·b_2_4⁴·b_2_5 + a_2_3²·b_2_4⁵ + b_2_4³·a_6_13·a_1_0²
       + a_2_3²·b_2_5²·a_6_13 + a_2_3²·b_2_4²·a_6_13 + a_2_3³·b_2_4⁴
76. b_7_27² + b_5_15·b_9_40 + b_5_15·b_9_39 + b_2_5⁴·b_1_1⁶ + b_2_4·b_2_5·b_10_47
       + b_2_4·b_2_5⁶ + b_2_4²·b_10_47 + b_2_4⁵·b_2_5² + b_2_4⁶·b_2_5 + b_2_5⁵·a_4_9
       + b_2_4²·a_1_0·b_9_39 + b_2_4²·b_2_5²·a_6_13 + b_2_4⁴·a_6_13
       + a_2_3·b_2_5³·b_1_1·b_5_16 + a_2_3·b_2_5⁵·b_1_1² + a_2_3·b_2_5⁶
       + a_2_3·b_2_4·b_10_48 + a_2_3·b_2_4·b_10_47 + a_2_3·b_2_4³·b_2_5³
       + a_2_3·b_2_4⁵·b_2_5 + a_2_3·b_2_4·a_1_0·b_9_39 + a_2_3·b_2_4²·b_2_5·a_6_13
       + a_2_3·b_2_4³·a_6_13 + a_2_3²·b_2_4²·b_2_5³ + a_2_3²·b_2_4⁵
       + a_2_3·b_2_4⁵·a_1_0² + a_2_3²·b_2_5²·a_6_13 + a_2_3²·b_2_4²·a_6_13
       + a_2_3³·b_2_4⁴
77. b_5_15·b_9_40 + b_5_15·b_9_39 + b_2_4·b_2_5·b_10_47 + b_2_4²·b_10_47 + b_2_4²·b_2_5⁵
       + b_2_4⁴·b_2_5³ + b_5_16·a_9_25 + b_2_4²·a_1_0·b_9_39 + b_2_4⁴·a_6_13
       + b_2_4⁵·a_4_9 + a_2_3·b_1_1⁷·b_5_16 + a_2_3·b_2_5·b_10_47
       + a_2_3·b_2_5²·b_1_1³·b_5_16 + a_2_3·b_2_5²·b_1_1⁸ + a_2_3·b_2_5⁴·b_1_1⁴
       + a_2_3·b_2_5⁵·b_1_1² + a_2_3·b_2_4²·b_2_5⁴ + a_2_3·b_2_4⁵·b_2_5
       + a_2_3·b_2_4⁶ + a_2_3·b_2_4·b_2_5²·a_6_13 + a_2_3·b_2_4²·b_2_5·a_6_13
       + a_2_3²·b_10_48 + a_2_3²·b_2_5⁵ + a_2_3²·b_2_4·b_2_5⁴
       + a_2_3²·b_2_4³·b_2_5² + a_2_3²·b_2_4⁵ + a_2_3·b_2_4⁵·a_1_0²
       + a_2_3²·b_2_5²·a_6_13 + a_2_3²·b_2_4·b_2_5·a_6_13 + a_2_3³·b_2_4³·b_2_5
       + a_2_3³·b_2_4⁴
78. b_7_27² + b_5_16·b_9_40 + b_5_16·b_9_39 + b_2_5²·b_1_1⁵·b_5_16 + b_2_5²·b_10_47
       + b_2_5³·b_1_1⁸ + b_2_5⁴·b_1_1·b_5_16 + b_2_5⁴·b_1_1⁶ + b_2_5⁵·b_1_1⁴
       + b_2_4·b_2_5·b_10_47 + b_2_4²·b_2_5⁵ + b_2_4³·b_2_5⁴ + b_2_4⁴·b_2_5³
       + b_2_4⁵·b_2_5² + b_2_4⁶·b_2_5 + b_5_15·a_9_25 + b_2_5·a_12_46 + b_2_4·a_12_46
       + b_2_4²·a_1_0·b_9_39 + b_2_4³·b_2_5·a_6_13 + b_2_4⁴·a_6_13 + b_2_4⁵·a_4_9
       + a_2_3·b_2_5·b_1_1·b_9_39 + a_2_3·b_2_5·b_1_1⁵·b_5_16 + a_2_3·b_2_5³·b_1_1·b_5_16
       + a_2_3·b_2_5⁶ + a_2_3·b_2_4³·b_2_5³ + a_2_3·b_2_4⁴·b_2_5²
       + a_2_3·b_2_4·b_2_5²·a_6_13 + a_2_3²·b_2_4·b_2_5⁴ + a_2_3²·b_2_4²·b_2_5³
       + a_2_3²·b_2_4⁵ + b_2_4³·a_6_13·a_1_0² + a_2_3³·b_2_4³·b_2_5
79. b_5_15·b_9_40 + b_5_15·b_9_39 + b_2_4·b_2_5·b_10_47 + b_2_4²·b_10_47 + b_2_4²·b_2_5⁵
       + b_2_4⁴·b_2_5³ + b_5_16·a_9_25 + b_2_4²·a_1_0·b_9_39 + b_2_4⁴·a_6_13
       + b_2_4⁵·a_4_9 + a_2_3·b_1_1⁷·b_5_16 + a_2_3·b_2_5·b_10_47
       + a_2_3·b_2_5²·b_1_1³·b_5_16 + a_2_3·b_2_5²·b_1_1⁸ + a_2_3·b_2_5⁴·b_1_1⁴
       + a_2_3·b_2_5⁵·b_1_1² + a_2_3·b_2_4²·b_2_5⁴ + a_2_3·b_2_4⁵·b_2_5
       + a_2_3·b_2_4⁶ + a_2_3·a_12_46 + a_2_3·b_2_4·b_2_5²·a_6_13
       + a_2_3·b_2_4²·b_2_5·a_6_13 + a_2_3·b_2_4³·a_6_13 + a_2_3²·b_2_5⁵
       + a_2_3²·b_2_4³·b_2_5² + a_2_3²·b_2_4⁴·b_2_5 + a_2_3·b_2_4⁵·a_1_0²
       + a_2_3²·b_2_5²·a_6_13 + a_2_3²·b_2_4·b_2_5·a_6_13 + a_2_3²·b_2_4²·a_6_13
       + a_2_3³·b_2_5⁴ + a_2_3³·b_2_4⁴
80. a_6_13·a_9_25 + b_2_4⁴·a_6_13·a_1_0 + a_2_3·b_2_4³·a_7_19 + a_2_3²·b_2_4²·b_7_27
       + a_2_3²·b_2_4²·b_2_5·b_5_16 + a_2_3²·b_2_4³·b_5_16 + a_2_3²·b_2_4³·b_5_15
       + a_2_3·b_2_4³·a_6_13·a_1_0 + a_2_3³·b_2_5·b_7_27
81. b_10_47·b_5_15 + b_2_4·b_2_5²·b_9_39 + b_2_4·b_2_5³·b_7_27 + b_2_4·b_2_5⁴·b_5_16
       + b_2_4²·b_2_5·b_9_39 + b_2_4²·b_2_5²·b_7_27 + b_2_4³·b_2_5²·b_5_16
       + b_2_4⁴·b_2_5·b_5_16 + b_2_4⁵·b_5_16 + a_6_13·b_9_40 + b_2_5⁷·a_1_0
       + b_2_4⁶·b_2_5·a_1_0 + b_2_4⁷·a_1_2 + b_2_4⁷·a_1_0 + a_2_3·b_2_5·b_1_1⁶·b_5_16
       + a_2_3·b_2_5²·b_9_40 + a_2_3·b_2_5²·b_9_39 + a_2_3·b_2_5²·b_1_1⁴·b_5_16
       + a_2_3·b_2_5²·b_1_1⁹ + a_2_3·b_2_5³·b_7_27 + a_2_3·b_2_5³·b_1_1⁷
       + a_2_3·b_2_5⁴·b_5_16 + a_2_3·b_2_5⁴·b_1_1⁵ + a_2_3·b_2_4²·b_9_39
       + a_2_3·b_2_4³·b_7_27 + a_2_3·b_2_4³·b_2_5·b_5_16 + a_2_3·b_2_4⁴·b_5_16
       + a_2_3·b_2_4⁴·b_5_15 + b_2_4²·a_1_0²·b_9_39 + a_2_3·b_2_4⁵·b_2_5·a_1_0
       + a_2_3·b_2_4⁶·a_1_0 + a_2_3²·b_2_5·b_9_39 + a_2_3²·b_2_4·b_2_5·b_7_27
       + a_2_3²·b_2_4²·b_2_5·b_5_16 + a_2_3²·b_2_4³·b_5_16 + a_2_3·b_2_4³·a_6_13·a_1_0
       + a_2_3²·b_2_4⁵·a_1_0 + a_2_3³·b_2_5·b_7_27
82. a_6_13·b_9_40 + b_2_4⁴·a_7_19 + b_2_4⁶·b_2_5·a_1_2 + b_2_4⁷·a_1_2 + b_2_4⁷·a_1_0
       + a_2_3·b_2_5·b_1_1⁶·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1
       + a_2_3·b_2_5²·b_1_1⁴·b_5_16 + a_2_3·b_2_5²·b_1_1⁹ + a_2_3·b_2_5³·b_7_27
       + a_2_3·b_2_5³·b_1_1⁷ + a_2_3·b_2_5⁴·b_1_1⁵ + a_2_3·b_2_5⁶·b_1_1
       + a_2_3·b_2_4²·b_2_5·b_7_27 + a_2_3·b_2_4²·b_2_5²·b_5_16
       + a_2_3·b_2_4³·b_2_5·b_5_16 + a_2_3·b_2_4⁴·b_5_16 + b_2_4⁴·a_6_13·a_1_0
       + a_2_3²·b_2_5·b_9_39 + a_2_3²·b_2_5²·b_7_27 + a_2_3²·b_2_5³·b_5_16
       + a_2_3²·b_2_4·b_2_5·b_7_27 + a_2_3²·b_2_4·b_2_5²·b_5_16 + a_2_3²·b_2_4³·b_5_16
       + b_2_4⁶·a_1_0³ + a_2_3·b_2_4³·a_6_13·a_1_0 + a_2_3²·b_2_4²·a_7_19
       + a_2_3²·b_2_4⁵·a_1_0 + a_2_3³·b_9_39 + a_2_3³·b_2_5·b_7_27
83. b_10_48·b_5_15 + b_2_4·b_2_5²·b_9_39 + b_2_4²·b_2_5·b_9_39 + b_2_4²·b_2_5²·b_7_27
       + b_2_4³·b_2_5·b_7_27 + b_2_4⁵·b_5_16 + b_2_4⁵·b_5_15 + b_2_4⁴·a_7_19
       + a_2_3·b_2_5²·b_9_40 + a_2_3·b_2_5²·b_9_39 + a_2_3·b_2_5³·b_7_27
       + a_2_3·b_2_5³·b_1_1²·b_5_16 + a_2_3·b_2_5⁴·b_5_16 + a_2_3·b_2_5⁴·b_1_1⁵
       + a_2_3·b_2_5⁶·b_1_1 + a_2_3·b_2_4·b_2_5³·b_5_16 + a_2_3·b_2_4²·b_9_39
       + a_2_3·b_2_4²·b_2_5²·b_5_16 + a_2_3·b_2_4³·b_7_27 + a_2_3·b_2_4⁴·b_5_15
       + b_2_4²·a_1_0²·b_9_39 + b_2_4⁴·a_6_13·a_1_0 + a_2_3·b_2_4³·a_7_19
       + a_2_3·b_2_4⁵·b_2_5·a_1_0 + a_2_3·b_2_4⁶·a_1_0 + a_2_3²·b_2_4²·b_7_27
       + a_2_3²·b_2_4³·b_5_16 + a_2_3²·b_2_4³·b_5_15 + a_2_3²·b_2_4⁵·a_1_0
       + a_2_3³·b_2_5·b_7_27 + a_2_3³·b_2_4·b_7_27
84. b_1_1·b_5_16·b_9_39 + b_1_1¹⁰·b_5_16 + b_10_48·b_5_16 + b_10_47·b_5_16
       + b_10_47·b_1_1⁵ + b_2_5·b_1_1¹³ + b_2_5·b_10_47·b_1_1³ + b_2_5²·b_1_1⁶·b_5_16
       + b_2_5²·b_1_1¹¹ + b_2_5³·b_1_1⁹ + b_2_5⁴·b_7_27 + b_2_5⁴·b_1_1²·b_5_16
       + b_2_5⁴·b_1_1⁷ + b_2_5⁵·b_5_16 + b_2_5⁶·b_1_1³ + b_2_4²·b_2_5²·b_7_27
       + b_2_4²·b_2_5³·b_5_16 + b_2_4³·b_2_5²·b_5_16 + b_2_4⁵·b_5_16
       + a_2_3·b_1_1⁸·b_5_16 + a_2_3·b_10_47·b_1_1³ + a_2_3·b_2_5·b_1_1¹¹
       + a_2_3·b_2_5²·b_9_40 + a_2_3·b_2_5²·b_1_1⁴·b_5_16 + a_2_3·b_2_5³·b_1_1²·b_5_16
       + a_2_3·b_2_5³·b_1_1⁷ + a_2_3·b_2_5⁴·b_1_1⁵ + a_2_3·b_2_4·b_2_5²·b_7_27
       + a_2_3·b_2_4·b_2_5³·b_5_16 + a_2_3·b_2_4²·b_2_5·b_7_27
       + a_2_3·b_2_4²·b_2_5²·b_5_16 + a_2_3·b_2_4³·b_7_27 + a_2_3·b_2_4³·a_7_19
       + a_2_3·b_2_4⁶·a_1_0 + a_2_3²·b_2_4·b_2_5²·b_5_16 + a_2_3²·b_2_4²·b_7_27
       + a_2_3²·b_2_4³·b_5_15 + a_2_3²·b_2_4²·a_7_19 + a_2_3³·b_2_5²·b_5_16
85. a_14_56·b_1_1 + a_6_13·b_9_40 + b_2_4⁴·a_7_19 + b_2_4⁶·b_2_5·a_1_2 + b_2_4⁷·a_1_2
       + b_2_4⁷·a_1_0 + a_2_3·b_1_1⁸·b_5_16 + a_2_3·b_10_47·b_1_1³ + a_2_3·b_2_5·b_1_1¹¹
       + a_2_3·b_2_5²·b_9_40 + a_2_3·b_2_5²·b_1_1⁴·b_5_16 + a_2_3·b_2_5⁴·b_5_16
       + a_2_3·b_2_5⁴·b_1_1⁵ + a_2_3·b_2_5⁶·b_1_1 + a_2_3·b_2_4²·b_2_5·b_7_27
       + a_2_3·b_2_4²·b_2_5²·b_5_16 + a_2_3·b_2_4⁴·b_5_16 + b_2_4⁴·a_6_13·a_1_0
       + a_2_3·b_2_4⁵·b_2_5·a_1_0 + a_2_3²·b_2_5·b_9_39 + a_2_3²·b_2_4·b_2_5²·b_5_16
       + a_2_3²·b_2_4³·b_5_16 + b_2_4⁶·a_1_0³ + a_2_3·b_2_4³·a_6_13·a_1_0
       + a_2_3³·b_2_4·b_7_27
86. a_6_13·b_9_40 + a_6_13·b_9_39 + b_2_4⁴·a_7_19 + b_2_4⁶·b_2_5·a_1_0 + b_2_4⁷·a_1_2
       + b_2_4⁷·a_1_0 + a_2_3·b_2_5³·b_7_27 + a_2_3·b_2_5³·b_1_1²·b_5_16
       + a_2_3·b_2_4·b_2_5·b_9_39 + a_2_3·b_2_4²·b_9_39 + a_2_3·b_2_4²·b_2_5²·b_5_16
       + a_2_3·b_2_4³·b_2_5·b_5_16 + a_2_3·b_2_4⁴·b_5_16 + a_2_3·b_2_4⁴·b_5_15
       + a_14_56·a_1_0 + a_2_3·b_2_4³·a_7_19 + a_2_3·b_2_4⁵·b_2_5·a_1_0
       + a_2_3·b_2_4⁶·a_1_0 + a_2_3²·b_2_5²·b_7_27 + a_2_3²·b_2_4·b_9_39
       + a_2_3²·b_2_4·b_2_5·b_7_27 + a_2_3²·b_2_4²·b_7_27 + a_2_3²·b_2_4²·b_2_5·b_5_16
       + a_2_3²·b_2_4³·b_5_15 + a_2_3·b_2_4³·a_6_13·a_1_0 + a_2_3²·b_2_4²·a_7_19
       + a_2_3²·b_2_4⁵·a_1_0 + a_2_3³·b_9_39 + a_2_3³·b_2_5²·b_5_16
87. a_14_56·a_1_2 + a_2_3²·b_2_4⁵·a_1_0 + a_2_3³·b_2_4·b_7_27
88. a_7_19·b_9_40 + b_2_5⁶·a_4_9 + b_2_4³·b_2_5²·a_6_13 + b_2_4⁴·b_2_5·a_6_13
       + b_2_4⁵·b_2_5·a_4_9 + b_2_4⁶·a_4_9 + a_2_3·b_2_5·b_1_1⁷·b_5_16
       + a_2_3·b_2_5·b_10_47·b_1_1² + a_2_3·b_2_5²·b_1_1⁵·b_5_16
       + a_2_3·b_2_5²·b_1_1¹⁰ + a_2_3·b_2_5³·b_1_1⁸ + a_2_3·b_2_5⁴·b_1_1⁶
       + a_2_3·b_2_5⁵·b_1_1⁴ + a_2_3·b_2_5⁶·b_1_1² + a_2_3·b_2_5⁷
       + a_2_3·b_2_4·b_2_5·b_10_48 + a_2_3·b_2_4·b_2_5·b_10_47 + a_2_3·b_2_4·b_2_5⁶
       + a_2_3·b_2_4³·b_2_5⁴ + a_2_3·b_2_4⁶·b_2_5 + a_2_3·b_2_4⁷ + a_7_19·a_9_25
       + a_2_3·b_2_4²·b_2_5²·a_6_13 + a_2_3·b_2_4³·b_2_5·a_6_13 + a_2_3²·b_2_5·b_10_47
       + a_2_3²·b_2_5⁶ + a_2_3²·b_2_4·b_2_5⁵ + a_2_3²·b_2_4²·b_2_5⁴
       + a_2_3²·b_2_4⁴·b_2_5² + a_2_3²·b_2_4⁶ + b_2_4⁴·a_6_13·a_1_0²
       + a_2_3·b_2_4⁶·a_1_0² + a_2_3³·b_10_47 + a_2_3³·b_2_5⁵ + a_2_3³·b_2_4⁴·b_2_5
89. a_7_19·a_9_25 + b_2_4⁷·a_1_0² + a_2_3·b_2_4²·b_2_5²·a_6_13
       + a_2_3·b_2_4³·b_2_5·a_6_13 + a_2_3²·b_2_4·b_10_48 + a_2_3²·b_2_4·b_10_47
       + a_2_3²·b_2_4·b_2_5⁵ + a_2_3²·b_2_4²·b_2_5⁴ + a_2_3²·b_2_4³·b_2_5³
       + a_2_3²·b_2_4⁴·b_2_5² + a_2_3²·b_2_4⁵·b_2_5 + a_2_3²·b_2_4⁶
       + a_2_3²·b_2_4³·a_6_13 + a_2_3³·b_2_5⁵
90. a_6_13·b_10_48 + a_6_13·b_10_47 + b_2_4⁴·b_2_5·a_6_13 + b_2_4⁵·a_6_13
       + a_2_3·b_2_5·b_10_47·b_1_1² + a_2_3·b_2_5²·b_1_1·b_9_39
       + a_2_3·b_2_5²·b_1_1⁵·b_5_16 + a_2_3·b_2_5²·b_10_48 + a_2_3·b_2_5²·b_10_47
       + a_2_3·b_2_5³·b_1_1⁸ + a_2_3·b_2_5⁵·b_1_1⁴ + a_2_3·b_2_5⁶·b_1_1²
       + a_2_3·b_2_5⁷ + a_2_3·b_2_4²·b_10_48 + a_2_3·b_2_4²·b_10_47
       + a_2_3·b_2_4²·b_2_5⁵ + a_2_3·b_2_4⁵·b_2_5² + a_2_3·b_2_4⁷ + a_7_19·a_9_25
       + b_2_4⁷·a_1_0² + a_2_3·b_2_4²·b_2_5²·a_6_13 + a_2_3·b_2_4⁴·a_6_13
       + a_2_3²·b_2_5·b_10_48 + a_2_3²·b_2_4·b_10_47 + a_2_3²·b_2_4·b_2_5⁵
       + a_2_3²·b_2_4²·b_2_5⁴ + b_2_4⁴·a_6_13·a_1_0² + a_2_3·b_2_4⁶·a_1_0²
       + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3³·b_2_5⁵ + a_2_3³·b_2_4⁴·b_2_5
91. a_4_9·a_12_46 + a_2_3³·b_2_4⁴·b_2_5 + a_2_3³·b_2_4⁵
92. b_7_27·b_9_40 + b_2_5²·b_1_1⁷·b_5_16 + b_2_5²·b_10_47·b_1_1²
       + b_2_5³·b_1_1·b_9_39 + b_2_5³·b_1_1¹⁰ + b_2_5³·b_10_48 + b_2_5³·b_10_47
       + b_2_5⁴·b_1_1³·b_5_16 + b_2_5⁶·b_1_1⁴ + b_2_5⁸ + b_2_4·b_2_5⁷ + b_2_4³·b_10_48
       + b_2_4³·b_10_47 + b_2_4⁴·b_2_5⁴ + b_2_4⁵·b_2_5³ + b_2_4⁸ + b_7_27·a_9_25
       + a_7_19·b_9_40 + b_2_5²·a_12_46 + b_2_4⁴·b_2_5·a_6_13 + b_2_4⁶·a_4_9
       + a_2_3·b_1_1⁹·b_5_16 + a_2_3·b_10_47·b_1_1⁴ + a_2_3·b_2_5·b_1_1¹²
       + a_2_3·b_2_5·b_10_47·b_1_1² + a_2_3·b_2_5²·b_10_48 + a_2_3·b_2_5²·b_10_47
       + a_2_3·b_2_5³·b_1_1³·b_5_16 + a_2_3·b_2_5³·b_1_1⁸ + a_2_3·b_2_5⁴·b_1_1·b_5_16
       + a_2_3·b_2_5⁴·b_1_1⁶ + a_2_3·b_2_5⁵·b_1_1⁴ + a_2_3·b_2_5⁷
       + a_2_3·b_2_4²·b_10_48 + a_2_3·b_2_4²·b_10_47 + a_2_3·b_2_4³·b_2_5⁴
       + a_2_3·b_2_4⁴·b_2_5³ + a_2_3·b_2_4⁵·b_2_5² + a_2_3·b_2_4²·b_2_5²·a_6_13
       + a_2_3·b_2_4³·b_2_5·a_6_13 + a_2_3²·b_2_4³·b_2_5³ + a_2_3²·b_2_4⁵·b_2_5
       + a_2_3·b_2_4⁶·a_1_0² + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3²·b_2_4³·a_6_13
       + a_2_3³·b_2_5⁵ + a_2_3³·b_2_4⁴·b_2_5 + a_2_3³·b_2_4⁵
93. b_7_27·a_9_25 + b_2_4²·a_12_46 + b_2_4⁵·a_6_13 + b_2_4⁶·a_4_9
       + a_2_3·b_2_5²·b_1_1¹⁰ + a_2_3·b_2_5³·b_1_1³·b_5_16 + a_2_3·b_2_5³·b_1_1⁸
       + a_2_3·b_2_5⁴·b_1_1⁶ + a_2_3·b_2_5⁵·b_1_1⁴ + a_2_3·b_2_4²·b_10_48
       + a_2_3·b_2_4²·b_2_5⁵ + a_2_3·b_2_4⁵·b_2_5² + b_2_4⁷·a_1_0²
       + a_2_3·b_2_4²·a_1_0·b_9_39 + a_2_3·b_2_4⁴·a_6_13 + a_2_3²·b_2_5·b_10_48
       + a_2_3²·b_2_5·b_10_47 + a_2_3²·b_2_5⁶ + a_2_3²·b_2_4·b_10_47
       + a_2_3²·b_2_4³·b_2_5³ + a_2_3²·b_2_4⁴·b_2_5² + a_2_3²·b_2_4⁶
       + b_2_4⁴·a_6_13·a_1_0² + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3²·b_2_4³·a_6_13
94. a_7_19·b_9_39 + a_6_13·b_10_47 + b_2_4³·a_1_0·b_9_39 + b_2_4⁴·b_2_5·a_6_13
       + a_2_3·b_2_5·b_1_1⁷·b_5_16 + a_2_3·b_2_5²·b_1_1·b_9_39 + a_2_3·b_2_5²·b_1_1¹⁰
       + a_2_3·b_2_5²·b_10_47 + a_2_3·b_2_5⁴·b_1_1·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁴
       + a_2_3·b_2_5⁶·b_1_1² + a_2_3·b_2_5⁷ + a_2_3·b_2_4·b_2_5·b_10_47
       + a_2_3·b_2_4·b_2_5⁶ + a_2_3·b_2_4²·b_2_5⁵ + a_2_3·b_2_4⁴·b_2_5³
       + a_7_19·a_9_25 + a_2_3·b_2_4²·a_1_0·b_9_39 + a_2_3·b_2_4²·b_2_5²·a_6_13
       + a_2_3²·b_2_5·b_10_48 + a_2_3²·b_2_5⁶ + a_2_3²·b_2_4·b_2_5⁵
       + a_2_3²·b_2_4³·b_2_5³ + a_2_3²·b_2_4⁴·b_2_5² + a_2_3²·b_2_4⁵·b_2_5
       + a_14_56·a_1_0² + b_2_4⁴·a_6_13·a_1_0² + a_2_3·b_2_4⁶·a_1_0²
       + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3³·b_10_47 + a_2_3³·b_2_4⁴·b_2_5
95. b_7_27·b_9_39 + b_2_5²·b_1_1⁷·b_5_16 + b_2_5²·b_10_47·b_1_1²
       + b_2_5³·b_1_1⁵·b_5_16 + b_2_5³·b_1_1¹⁰ + b_2_5⁴·b_1_1³·b_5_16
       + b_2_5⁴·b_1_1⁸ + b_2_5⁵·b_1_1⁶ + b_2_5⁷·b_1_1² + b_2_4²·b_2_5·b_10_48
       + b_2_4²·b_2_5·b_10_47 + b_2_4²·b_2_5⁶ + b_2_4³·b_10_47 + b_2_4³·b_2_5⁵
       + b_2_4⁴·b_2_5⁴ + b_2_4⁵·b_2_5³ + b_2_4⁶·b_2_5² + b_7_27·a_9_25 + a_7_19·b_9_39
       + b_2_5·a_14_56 + b_2_5⁶·a_4_9 + b_2_4³·a_1_0·b_9_39 + b_2_4⁴·b_2_5·a_6_13
       + b_2_4⁵·a_6_13 + b_2_4⁵·b_2_5·a_4_9 + a_2_3·b_1_1⁹·b_5_16 + a_2_3·b_10_47·b_1_1⁴
       + a_2_3·b_2_5·b_1_1⁷·b_5_16 + a_2_3·b_2_5·b_1_1¹² + a_2_3·b_2_5²·b_1_1⁵·b_5_16
       + a_2_3·b_2_5²·b_1_1¹⁰ + a_2_3·b_2_5²·b_10_48 + a_2_3·b_2_5³·b_1_1³·b_5_16
       + a_2_3·b_2_5⁴·b_1_1·b_5_16 + a_2_3·b_2_5⁷ + a_2_3·b_2_4·b_2_5·b_10_47
       + a_2_3·b_2_4·b_2_5⁶ + a_2_3·b_2_4²·b_10_47 + a_2_3·b_2_4²·b_2_5⁵
       + a_2_3·b_2_4⁴·b_2_5³ + a_2_3·b_2_4⁵·b_2_5² + a_2_3·b_2_4⁶·b_2_5
       + a_2_3·b_2_4⁷ + a_7_19·a_9_25 + b_2_4⁷·a_1_0² + a_2_3·b_2_4²·a_1_0·b_9_39
       + a_2_3·b_2_4³·b_2_5·a_6_13 + a_2_3²·b_2_5·b_10_48 + a_2_3²·b_2_5·b_10_47
       + a_2_3²·b_2_4·b_10_47 + b_2_4⁴·a_6_13·a_1_0² + a_2_3·b_2_4⁶·a_1_0²
       + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3³·b_10_47
96. a_7_19·b_9_40 + a_7_19·b_9_39 + b_2_5⁶·a_4_9 + b_2_4³·a_1_0·b_9_39
       + b_2_4⁴·b_2_5·a_6_13 + b_2_4⁵·b_2_5·a_4_9 + b_2_4⁶·a_4_9 + a_2_3·b_2_5²·b_10_48
       + a_2_3·b_2_5³·b_1_1³·b_5_16 + a_2_3·b_2_5⁴·b_1_1·b_5_16 + a_2_3·b_2_5⁶·b_1_1²
       + a_2_3·b_2_5⁷ + a_2_3·b_2_4²·b_10_48 + a_2_3·b_2_4⁴·b_2_5³
       + a_2_3·b_2_4⁵·b_2_5² + b_2_4⁷·a_1_0² + a_2_3·a_14_56
       + a_2_3·b_2_4²·a_1_0·b_9_39 + a_2_3²·b_2_4·b_10_47 + a_2_3²·b_2_4⁴·b_2_5²
       + b_2_4⁴·a_6_13·a_1_0² + a_2_3·b_2_4⁶·a_1_0² + a_2_3²·b_2_4²·b_2_5·a_6_13
       + a_2_3²·b_2_4³·a_6_13 + a_2_3³·b_10_47 + a_2_3³·b_2_4⁴·b_2_5 + a_2_3³·b_2_4⁵
97. b_1_1·a_15_64 + a_2_3·b_1_1⁹·b_5_16 + a_2_3·b_2_5·b_1_1⁷·b_5_16
       + a_2_3·b_2_5·b_10_47·b_1_1² + a_2_3·b_2_5²·b_1_1⁵·b_5_16
       + a_2_3·b_2_5³·b_1_1⁸ + a_2_3·b_2_5⁶·b_1_1²
98. a_7_19·b_9_40 + a_6_13·b_10_47 + b_2_5⁶·a_4_9 + b_2_4³·a_1_0·b_9_39
       + b_2_4³·b_2_5²·a_6_13 + b_2_4⁶·a_4_9 + a_2_3·b_2_5·b_1_1⁷·b_5_16
       + a_2_3·b_2_5²·b_1_1·b_9_39 + a_2_3·b_2_5²·b_1_1¹⁰ + a_2_3·b_2_5²·b_10_48
       + a_2_3·b_2_5²·b_10_47 + a_2_3·b_2_5³·b_1_1³·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁴
       + a_2_3·b_2_4·b_2_5·b_10_47 + a_2_3·b_2_4·b_2_5⁶ + a_2_3·b_2_4²·b_2_5⁵
       + a_2_3·b_2_4⁵·b_2_5² + a_2_3·b_2_4⁷ + a_7_19·a_9_25 + a_1_0·a_15_64
       + b_2_4⁷·a_1_0² + a_2_3·b_2_4²·a_1_0·b_9_39 + a_2_3·b_2_4²·b_2_5²·a_6_13
       + a_2_3·b_2_4⁴·a_6_13 + a_2_3²·b_2_5·b_10_48 + a_2_3²·b_2_5·b_10_47
       + a_2_3²·b_2_5⁶ + a_2_3²·b_2_4·b_2_5⁵ + b_2_4⁴·a_6_13·a_1_0²
       + a_2_3²·b_2_4²·b_2_5·a_6_13 + a_2_3³·b_2_4⁴·b_2_5
99. a_1_2·a_15_64
100. b_10_48·a_7_19 + b_10_47·a_7_19 + b_2_5⁸·a_1_0 + b_2_4⁵·a_7_19 + b_2_4⁷·b_2_5·a_1_2
        + b_2_4⁷·b_2_5·a_1_0 + a_2_3·b_2_5·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁴·b_5_16
        + a_2_3·b_2_5⁴·b_1_1⁷ + a_2_3·b_2_5⁵·b_1_1⁵ + a_2_3·b_2_4·b_2_5³·b_7_27
        + a_2_3·b_2_4·b_2_5⁴·b_5_16 + a_2_3·b_2_4²·b_2_5³·b_5_16
        + a_2_3·b_2_4³·b_2_5²·b_5_16 + a_2_3·b_2_4⁴·b_2_5·b_5_16
        + a_2_3·b_2_4⁶·b_2_5·a_1_0 + a_2_3·b_2_4⁷·a_1_0 + a_2_3²·b_2_5²·b_9_39
        + a_2_3²·b_2_5³·b_7_27 + a_2_3²·b_2_5⁴·b_5_16 + a_2_3²·b_2_4·b_2_5·b_9_39
        + a_2_3²·b_2_4·b_2_5³·b_5_16 + a_2_3²·b_2_4²·b_2_5·b_7_27
        + a_2_3²·b_2_4²·b_2_5²·b_5_16 + a_2_3²·b_2_4³·b_7_27 + a_2_3²·b_2_4⁴·b_5_16
        + a_2_3²·b_2_4⁴·b_5_15 + b_2_4⁷·a_1_0³ + a_2_3²·b_2_4³·a_7_19
        + a_2_3²·b_2_4⁶·a_1_0 + a_2_3³·b_2_5²·b_7_27 + a_2_3³·b_2_5³·b_5_16
        + a_2_3³·b_2_4²·b_7_27
101. b_10_48·b_7_27 + b_10_47·b_7_27 + b_2_5²·b_10_47·b_1_1³ + b_2_5⁴·b_1_1⁴·b_5_16
        + b_2_5⁵·b_7_27 + b_2_5⁵·b_1_1⁷ + b_2_5⁶·b_1_1⁵ + b_2_5⁷·b_1_1³
        + b_2_4·b_2_5⁵·b_5_16 + b_2_4²·b_2_5³·b_7_27 + b_2_4²·b_2_5⁴·b_5_16
        + b_2_4³·b_2_5²·b_7_27 + b_2_4⁴·b_2_5²·b_5_16 + b_2_4⁵·b_7_27
        + b_2_4⁵·b_2_5·b_5_16 + b_2_4⁶·b_5_16 + b_2_4⁷·b_2_5·a_1_2 + b_2_4⁷·b_2_5·a_1_0
        + b_2_4⁸·a_1_2 + b_2_4⁸·a_1_0 + a_2_3·b_10_47·b_1_1⁵ + a_2_3·b_2_5²·b_1_1⁶·b_5_16
        + a_2_3·b_2_5²·b_1_1¹¹ + a_2_3·b_2_5²·b_10_47·b_1_1 + a_2_3·b_2_5³·b_9_39
        + a_2_3·b_2_5³·b_1_1⁴·b_5_16 + a_2_3·b_2_5⁴·b_1_1⁷ + a_2_3·b_2_5⁵·b_1_1⁵
        + a_2_3·b_2_5⁶·b_1_1³ + a_2_3·b_2_4·b_2_5²·b_9_39 + a_2_3·b_2_4³·b_2_5²·b_5_16
        + a_2_3·b_2_4⁵·b_5_16 + b_2_4⁵·a_6_13·a_1_0 + a_2_3·b_2_4⁶·b_2_5·a_1_0
        + a_2_3²·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5²·b_7_27
        + a_2_3²·b_2_4·b_2_5³·b_5_16 + a_2_3²·b_2_4²·b_2_5·b_7_27
        + a_2_3²·b_2_4²·b_2_5²·b_5_16 + a_2_3²·b_2_4⁴·b_5_16
        + a_2_3·b_2_4⁴·a_6_13·a_1_0 + a_2_3²·b_2_4³·a_7_19 + a_2_3³·b_2_5²·b_7_27
102. b_2_5·b_10_48·b_5_16 + b_2_5³·b_1_1⁶·b_5_16 + b_2_5³·b_10_47·b_1_1 + b_2_5⁴·b_9_40
        + b_2_5⁴·b_9_39 + b_2_5⁴·b_1_1⁴·b_5_16 + b_2_5⁴·b_1_1⁹ + b_2_5⁵·b_7_27
        + b_2_5⁵·b_1_1²·b_5_16 + b_2_5⁶·b_5_16 + b_2_5⁶·b_1_1⁵ + b_2_5⁷·b_1_1³
        + b_2_5⁸·b_1_1 + b_2_4·b_2_5³·b_9_39 + b_2_4·b_2_5⁴·b_7_27 + b_2_4²·b_2_5³·b_7_27
        + b_2_4³·b_2_5³·b_5_16 + b_2_4⁴·b_2_5²·b_5_16 + b_2_4⁵·b_2_5·b_5_16
        + a_12_46·b_5_16 + b_2_4⁷·b_2_5·a_1_0 + a_2_3·b_1_1¹⁰·b_5_16 + a_2_3·b_10_47·b_1_1⁵
        + a_2_3·b_2_5·b_1_1¹³ + a_2_3·b_2_5·b_10_47·b_1_1³ + a_2_3·b_2_5²·b_1_1⁶·b_5_16
        + a_2_3·b_2_5²·b_1_1¹¹ + a_2_3·b_2_5³·b_9_39 + a_2_3·b_2_5³·b_1_1⁴·b_5_16
        + a_2_3·b_2_5³·b_1_1⁹ + a_2_3·b_2_5⁴·b_1_1⁷ + a_2_3·b_2_5⁶·b_1_1³
        + a_2_3·b_2_4²·b_2_5·b_9_39 + a_2_3·b_2_4²·b_2_5³·b_5_16
        + a_2_3·b_2_4³·b_2_5·b_7_27 + a_2_3·b_2_4⁴·b_7_27 + a_2_3·b_2_4⁵·b_5_16
        + b_2_4⁵·a_6_13·a_1_0 + a_2_3·b_2_4⁶·b_2_5·a_1_0 + a_2_3²·b_2_5²·b_9_39
        + a_2_3²·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5·b_9_39 + a_2_3²·b_2_4·b_2_5²·b_7_27
        + a_2_3²·b_2_4²·b_9_39 + a_2_3²·b_2_4²·b_2_5²·b_5_16 + a_2_3²·b_2_4³·b_7_27
        + a_2_3²·b_2_4⁴·b_5_16 + b_2_4⁷·a_1_0³ + a_2_3²·b_2_4³·a_7_19
        + a_2_3³·b_2_5²·b_7_27 + a_2_3³·b_2_4²·b_7_27
103. a_12_46·b_5_15 + b_10_47·a_7_19 + b_2_5⁸·a_1_0 + b_2_4⁵·a_7_19 + b_2_4⁸·a_1_2
        + b_2_4⁸·a_1_0 + a_2_3·b_2_5·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_9_40
        + a_2_3·b_2_5³·b_9_39 + a_2_3·b_2_5⁴·b_7_27 + a_2_3·b_2_5⁵·b_5_16
        + a_2_3·b_2_5⁶·b_1_1³ + a_2_3·b_2_5⁷·b_1_1 + a_2_3·b_2_4·b_2_5²·b_9_39
        + a_2_3·b_2_4·b_2_5⁴·b_5_16 + a_2_3·b_2_4²·b_2_5³·b_5_16 + a_2_3·b_2_4³·b_9_39
        + a_2_3·b_2_4⁵·b_5_16 + a_2_3·b_2_4⁵·b_5_15 + b_2_5·a_14_56·a_1_0
        + b_2_4⁵·a_6_13·a_1_0 + a_2_3²·b_2_5²·b_9_39 + a_2_3²·b_2_4·b_2_5²·b_7_27
        + a_2_3²·b_2_4²·b_9_39 + a_2_3²·b_2_4²·b_2_5²·b_5_16 + a_2_3²·b_2_4³·b_7_27
        + a_2_3²·b_2_4³·b_2_5·b_5_16 + a_2_3²·b_2_4⁴·b_5_16 + a_2_3²·b_2_4⁴·b_5_15
        + a_2_3·b_2_4⁴·a_6_13·a_1_0 + a_2_3²·b_2_4³·a_7_19 + a_2_3²·b_2_4⁶·a_1_0
        + a_2_3³·b_2_5²·b_7_27 + a_2_3³·b_2_5³·b_5_16 + a_14_56·a_1_0³
104. a_12_46·b_5_15 + b_2_4⁵·a_7_19 + b_2_4⁷·b_2_5·a_1_0 + b_2_4⁸·a_1_2 + b_2_4⁸·a_1_0
        + a_2_3·b_2_4·b_2_5²·b_9_39 + a_2_3·b_2_4²·b_2_5·b_9_39
        + a_2_3·b_2_4²·b_2_5²·b_7_27 + a_2_3·b_2_4²·b_2_5³·b_5_16
        + a_2_3·b_2_4³·b_2_5·b_7_27 + a_2_3·b_2_4⁴·b_7_27 + a_2_3·b_2_4⁶·b_2_5·a_1_0
        + a_2_3·b_2_4⁷·a_1_0 + a_2_3²·b_2_5²·b_9_39 + a_2_3²·b_2_4·b_2_5·b_9_39
        + a_2_3²·b_2_4·b_2_5³·b_5_16 + a_2_3²·b_2_4²·b_9_39
        + a_2_3²·b_2_4³·b_2_5·b_5_16 + a_1_0²·a_15_64 + a_2_3²·b_2_4³·a_7_19
        + a_2_3²·b_2_4⁶·a_1_0 + a_2_3³·b_2_5²·b_7_27 + a_2_3³·b_2_4²·b_7_27
105. b_10_47·b_7_27 + b_2_5²·b_10_47·b_1_1³ + b_2_5⁵·b_7_27 + b_2_5⁷·b_1_1³
        + b_2_4·b_2_5⁵·b_5_16 + b_2_4²·b_2_5²·b_9_39 + b_2_4³·b_2_5²·b_7_27
        + b_2_4⁴·b_2_5·b_7_27 + b_2_4⁵·b_2_5·b_5_16 + b_10_47·a_7_19 + b_2_5·a_15_64
        + b_2_4³·b_2_5·a_9_25 + b_2_4⁵·a_7_19 + b_2_4⁸·a_1_2 + b_2_4⁸·a_1_0
        + a_2_3·b_10_47·b_1_1⁵ + a_2_3·b_2_5·b_1_1⁸·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1³
        + a_2_3·b_2_5²·b_1_1⁶·b_5_16 + a_2_3·b_2_5²·b_10_47·b_1_1 + a_2_3·b_2_5³·b_9_39
        + a_2_3·b_2_5⁴·b_1_1²·b_5_16 + a_2_3·b_2_5⁵·b_5_16 + a_2_3·b_2_5⁶·b_1_1³
        + a_2_3·b_2_5⁷·b_1_1 + a_2_3·b_2_4·b_2_5³·b_7_27 + a_2_3·b_2_4²·b_2_5·b_9_39
        + a_2_3·b_2_4³·b_9_39 + a_2_3·b_2_4³·b_2_5²·b_5_16 + a_2_3·b_2_4⁴·b_2_5·b_5_16
        + a_2_3·b_2_4⁴·a_7_19 + a_2_3·b_2_4⁶·b_2_5·a_1_0 + a_2_3²·b_2_5²·b_9_39
        + a_2_3²·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5·b_9_39 + a_2_3²·b_2_4·b_2_5²·b_7_27
        + a_2_3²·b_2_4²·b_2_5·b_7_27 + a_2_3²·b_2_4²·b_2_5²·b_5_16 + b_2_4⁷·a_1_0³
        + a_2_3³·b_2_5²·b_7_27 + a_14_56·a_1_0³
106. a_12_46·b_5_15 + b_10_47·a_7_19 + b_2_5⁸·a_1_0 + b_2_4⁵·a_7_19 + b_2_4⁸·a_1_2
        + b_2_4⁸·a_1_0 + a_2_3·b_2_5·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_9_40
        + a_2_3·b_2_5³·b_9_39 + a_2_3·b_2_5⁴·b_7_27 + a_2_3·b_2_5⁵·b_5_16
        + a_2_3·b_2_5⁶·b_1_1³ + a_2_3·b_2_5⁷·b_1_1 + a_2_3·b_2_4·b_2_5²·b_9_39
        + a_2_3·b_2_4·b_2_5⁴·b_5_16 + a_2_3·b_2_4²·b_2_5·b_9_39
        + a_2_3·b_2_4²·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_2_5·b_5_16 + a_2_3·b_2_4⁵·b_5_16
        + a_2_3·b_2_4⁵·b_5_15 + b_2_4⁵·a_6_13·a_1_0 + a_2_3·a_15_64
        + a_2_3·b_2_4⁶·b_2_5·a_1_0 + a_2_3²·b_2_5³·b_7_27 + a_2_3²·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4·b_2_5·b_9_39 + a_2_3²·b_2_4²·b_9_39 + a_2_3²·b_2_4²·b_2_5·b_7_27
        + a_2_3²·b_2_4²·b_2_5²·b_5_16 + a_2_3²·b_2_4⁴·b_5_15 + a_2_3·a_14_56·a_1_0
        + a_2_3²·b_2_4³·a_7_19 + a_2_3³·b_2_4²·b_7_27
107. a_4_9·a_14_56 + a_2_3²·b_2_4³·b_2_5·a_6_13 + a_2_3·a_14_56·a_1_0²
108. a_6_13·a_12_46 + a_4_9·a_14_56 + b_2_4⁸·a_1_0² + a_2_3·b_2_4⁴·b_2_5·a_6_13
        + a_2_3²·b_2_4·b_2_5·b_10_47 + a_2_3²·b_2_4·b_2_5⁶ + a_2_3²·b_2_4²·b_10_48
        + a_2_3²·b_2_4³·b_2_5⁴ + a_2_3²·b_2_4⁴·b_2_5³ + a_2_3²·b_2_4⁶·b_2_5
        + a_2_3²·b_2_4⁷ + b_2_4⁵·a_6_13·a_1_0² + a_2_3²·a_14_56
        + a_2_3²·b_2_4³·b_2_5·a_6_13 + a_2_3²·b_2_4⁴·a_6_13 + a_2_3³·b_2_5⁶
        + a_2_3³·b_2_4⁶
109. b_9_40² + b_9_39·b_9_40 + b_2_5²·b_5_16·b_9_39 + b_2_5⁵·b_1_1³·b_5_16
        + b_2_5⁶·b_1_1·b_5_16 + b_2_5⁶·b_1_1⁶ + b_2_5⁸·b_1_1² + b_2_5⁹ + b_2_4·b_2_5⁸
        + b_2_4²·b_2_5²·b_10_48 + b_2_4²·b_2_5²·b_10_47 + b_2_4²·b_2_5⁷
        + b_2_4³·b_2_5·b_10_48 + b_2_4³·b_2_5·b_10_47 + b_2_4³·b_2_5⁶ + b_2_4⁴·b_10_47
        + b_2_4⁴·b_2_5⁵ + b_2_4⁸·b_2_5 + a_9_25·b_9_40 + b_2_5²·a_14_56
        + b_2_4⁴·b_2_5²·a_6_13 + b_2_4⁵·b_2_5·a_6_13 + b_2_4⁶·a_6_13 + b_2_4⁶·b_2_5·a_4_9
        + b_2_4⁷·a_4_9 + a_2_3·b_1_1¹¹·b_5_16 + a_2_3·b_10_47·b_1_1⁶
        + a_2_3·b_2_5·b_1_1¹⁴ + a_2_3·b_2_5·b_10_47·b_1_1⁴
        + a_2_3·b_2_5²·b_10_47·b_1_1² + a_2_3·b_2_5³·b_1_1·b_9_39
        + a_2_3·b_2_5³·b_1_1⁵·b_5_16 + a_2_3·b_2_5³·b_1_1¹⁰ + a_2_3·b_2_5³·b_10_48
        + a_2_3·b_2_5³·b_10_47 + a_2_3·b_2_5⁴·b_1_1³·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁶
        + a_2_3·b_2_5⁷·b_1_1² + a_2_3·b_2_4·b_2_5⁷ + a_2_3·b_2_4²·b_2_5·b_10_47
        + a_2_3·b_2_4³·b_2_5⁵ + a_2_3·b_2_4⁵·b_2_5³ + a_2_3·b_2_4⁸ + a_6_13·a_12_46
        + a_4_9·a_14_56 + b_2_5·a_1_0·a_15_64 + a_2_3·b_2_5·a_14_56 + a_2_3·b_2_4·a_14_56
        + a_2_3²·b_2_5²·b_10_48 + a_2_3²·b_2_5⁷ + a_2_3²·b_2_4²·b_10_47
        + a_2_3²·b_2_4⁴·b_2_5³ + a_2_3²·b_2_4⁵·b_2_5² + a_2_3²·b_2_4³·b_2_5·a_6_13
        + a_2_3³·b_2_5·b_10_47 + a_2_3³·b_2_5⁶ + a_2_3³·b_2_4⁶
110. b_9_40² + b_9_39·b_9_40 + b_2_5²·b_5_16·b_9_39 + b_2_5⁵·b_1_1³·b_5_16
        + b_2_5⁶·b_1_1·b_5_16 + b_2_5⁶·b_1_1⁶ + b_2_5⁸·b_1_1² + b_2_5⁹ + b_2_4·b_2_5⁸
        + b_2_4²·b_2_5²·b_10_48 + b_2_4²·b_2_5²·b_10_47 + b_2_4²·b_2_5⁷
        + b_2_4³·b_2_5·b_10_48 + b_2_4³·b_2_5·b_10_47 + b_2_4³·b_2_5⁶ + b_2_4⁴·b_10_47
        + b_2_4⁴·b_2_5⁵ + b_2_4⁸·b_2_5 + a_9_25·b_9_39 + b_2_5²·a_14_56 + b_2_5⁷·a_4_9
        + b_2_4²·b_2_5·a_12_46 + b_2_4³·a_12_46 + b_2_4⁵·b_2_5·a_6_13 + b_2_4⁶·b_2_5·a_4_9
        + a_2_3·b_1_1¹¹·b_5_16 + a_2_3·b_10_47·b_1_1⁶ + a_2_3·b_2_5·b_1_1¹⁴
        + a_2_3·b_2_5·b_10_47·b_1_1⁴ + a_2_3·b_2_5²·b_1_1⁷·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1² + a_2_3·b_2_5³·b_1_1¹⁰ + a_2_3·b_2_5³·b_10_48
        + a_2_3·b_2_5³·b_10_47 + a_2_3·b_2_5⁴·b_1_1³·b_5_16 + a_2_3·b_2_5⁴·b_1_1⁸
        + a_2_3·b_2_5⁵·b_1_1·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁶ + a_2_3·b_2_5⁶·b_1_1⁴
        + a_2_3·b_2_4·b_2_5²·b_10_48 + a_2_3·b_2_4·b_2_5²·b_10_47
        + a_2_3·b_2_4²·b_2_5·b_10_47 + a_2_3·b_2_4²·b_2_5⁶ + a_2_3·b_2_4³·b_10_48
        + a_2_3·b_2_4⁴·b_2_5⁴ + a_2_3·b_2_4⁵·b_2_5³ + a_2_3·b_2_4⁸ + a_6_13·a_12_46
        + b_2_4·a_1_0·a_15_64 + b_2_4⁸·a_1_0² + a_2_3·b_2_4·a_14_56
        + a_2_3·b_2_4³·b_2_5²·a_6_13 + a_2_3²·b_2_5²·b_10_47
        + a_2_3²·b_2_4·b_2_5·b_10_48 + a_2_3²·b_2_4·b_2_5⁶ + a_2_3²·b_2_4²·b_10_48
        + a_2_3²·b_2_4³·b_2_5⁴ + a_2_3²·b_2_4⁵·b_2_5² + a_2_3²·b_2_4³·b_2_5·a_6_13
        + a_2_3³·b_2_5·b_10_47
111. a_9_25·b_9_40 + b_2_5⁷·a_4_9 + b_2_4³·a_12_46 + b_2_4⁴·b_2_5²·a_6_13
        + b_2_4⁵·b_2_5·a_6_13 + b_2_4⁶·a_6_13 + b_2_4⁶·b_2_5·a_4_9 + b_2_4⁷·a_4_9
        + a_2_3·b_1_1¹¹·b_5_16 + a_2_3·b_10_47·b_1_1⁶ + a_2_3·b_2_5·b_5_16·b_9_39
        + a_2_3·b_2_5·b_1_1¹⁴ + a_2_3·b_2_5·b_10_47·b_1_1⁴
        + a_2_3·b_2_5²·b_10_47·b_1_1² + a_2_3·b_2_5³·b_1_1⁵·b_5_16
        + a_2_3·b_2_5³·b_1_1¹⁰ + a_2_3·b_2_5³·b_10_48 + a_2_3·b_2_5⁴·b_1_1³·b_5_16
        + a_2_3·b_2_5⁴·b_1_1⁸ + a_2_3·b_2_5⁶·b_1_1⁴ + a_2_3·b_2_5⁷·b_1_1²
        + a_2_3·b_2_4·b_2_5²·b_10_48 + a_2_3·b_2_4²·b_2_5⁶ + a_2_3·b_2_4³·b_10_48
        + a_2_3·b_2_4³·b_2_5⁵ + a_9_25² + a_6_13·a_12_46 + a_4_9·a_14_56 + b_2_4⁸·a_1_0²
        + a_2_3·b_2_4⁴·b_2_5·a_6_13 + a_2_3·b_2_4⁵·a_6_13 + a_2_3²·b_2_5²·b_10_48
        + a_2_3²·b_2_5²·b_10_47 + a_2_3²·b_2_5⁷ + a_2_3²·b_2_4·b_2_5⁶
        + a_2_3²·b_2_4²·b_10_47 + a_2_3²·b_2_4⁴·b_2_5³ + a_2_3²·b_2_4⁶·b_2_5
        + a_2_3²·b_2_4⁷ + b_2_4·a_14_56·a_1_0² + a_2_3·a_1_0·a_15_64
        + a_2_3²·b_2_4³·b_2_5·a_6_13
112. b_9_40² + b_9_39² + b_2_5⁴·b_1_1·b_9_39 + b_2_5⁵·b_1_1³·b_5_16
        + b_2_5⁶·b_1_1·b_5_16 + b_2_5⁶·b_1_1⁶ + b_2_5⁸·b_1_1² + b_2_5⁹ + b_2_4·b_2_5⁸
        + b_2_4⁵·b_2_5⁴ + b_2_4⁸·b_2_5 + a_9_25·b_9_40 + b_2_5⁷·a_4_9 + b_2_4³·a_12_46
        + b_2_4⁴·b_2_5²·a_6_13 + b_2_4⁵·b_2_5·a_6_13 + b_2_4⁶·a_6_13 + b_2_4⁶·b_2_5·a_4_9
        + a_2_3·b_1_1¹¹·b_5_16 + a_2_3·b_10_47·b_1_1⁶ + a_2_3·b_2_5·b_5_16·b_9_39
        + a_2_3·b_2_5·b_1_1¹⁴ + a_2_3·b_2_5·b_10_47·b_1_1⁴
        + a_2_3·b_2_5²·b_10_47·b_1_1² + a_2_3·b_2_5³·b_1_1·b_9_39
        + a_2_3·b_2_5³·b_1_1¹⁰ + a_2_3·b_2_5³·b_10_48 + a_2_3·b_2_5³·b_10_47
        + a_2_3·b_2_5⁴·b_1_1³·b_5_16 + a_2_3·b_2_5⁴·b_1_1⁸ + a_2_3·b_2_5⁵·b_1_1·b_5_16
        + a_2_3·b_2_5⁶·b_1_1⁴ + a_2_3·b_2_5⁷·b_1_1² + a_2_3·b_2_5⁸
        + a_2_3·b_2_4·b_2_5²·b_10_48 + a_2_3·b_2_4·b_2_5⁷ + a_2_3·b_2_4²·b_2_5·b_10_47
        + a_2_3·b_2_4²·b_2_5⁶ + a_2_3·b_2_4³·b_10_48 + a_2_3·b_2_4⁶·b_2_5² + a_9_25²
        + b_2_4⁸·a_1_0² + a_2_3·b_2_4⁵·a_6_13 + a_2_3²·b_2_5²·b_10_48
        + a_2_3²·b_2_4·b_2_5·b_10_47 + a_2_3²·b_2_4·b_2_5⁶ + a_2_3²·b_2_4²·b_10_48
        + a_2_3²·b_2_4²·b_2_5⁵ + a_2_3²·b_2_4³·b_2_5⁴ + a_2_3²·b_2_4⁵·b_2_5²
        + a_2_3²·b_2_4⁷ + b_2_4·a_14_56·a_1_0² + a_2_3²·b_2_4⁴·a_6_13 + a_2_3³·b_2_4⁶
        + c_16_105·a_1_0²
113. b_9_39·b_9_40 + b_10_47·b_1_1³·b_5_16 + b_2_5·b_1_1¹⁶ + b_2_5·b_10_47·b_1_1·b_5_16
        + b_2_5·b_10_47·b_1_1⁶ + b_2_5²·b_5_16·b_9_39 + b_2_5²·b_1_1¹⁴
        + b_2_5³·b_1_1⁷·b_5_16 + b_2_5⁴·b_1_1·b_9_39 + b_2_5⁵·b_1_1³·b_5_16
        + b_2_5⁵·b_1_1⁸ + b_2_5⁶·b_1_1·b_5_16 + b_2_5⁷·b_1_1⁴ + b_2_5⁸·b_1_1²
        + b_2_4²·b_2_5²·b_10_48 + b_2_4²·b_2_5²·b_10_47 + b_2_4²·b_2_5⁷
        + b_2_4³·b_2_5·b_10_48 + b_2_4³·b_2_5·b_10_47 + b_2_4³·b_2_5⁶ + b_2_4⁴·b_10_47
        + b_2_4⁵·b_2_5⁴ + b_2_5²·a_14_56 + b_2_4³·a_12_46 + b_2_4⁴·b_2_5²·a_6_13
        + b_2_4⁶·b_2_5·a_4_9 + b_2_4⁷·a_4_9 + a_2_3·b_1_1¹⁶ + a_2_3·b_10_47·b_1_1⁶
        + a_2_3·b_2_5·b_1_1¹⁴ + a_2_3·b_2_5²·b_1_1¹² + a_2_3·b_2_5³·b_1_1¹⁰
        + a_2_3·b_2_5³·b_10_48 + a_2_3·b_2_5⁴·b_1_1⁸ + a_2_3·b_2_5⁵·b_1_1⁶
        + a_2_3·b_2_5⁶·b_1_1⁴ + a_2_3·b_2_5⁷·b_1_1² + a_2_3·b_2_5⁸
        + a_2_3·b_2_4·b_2_5²·b_10_48 + a_2_3·b_2_4·b_2_5²·b_10_47 + a_2_3·b_2_4·b_2_5⁷
        + a_2_3·b_2_4²·b_2_5⁶ + a_2_3·b_2_4⁵·b_2_5³ + b_2_4⁸·a_1_0²
        + a_2_3·b_2_4·a_14_56 + a_2_3·b_2_4⁴·b_2_5·a_6_13 + a_2_3²·b_2_5²·b_10_48
        + a_2_3²·b_2_5⁷ + a_2_3²·b_2_4·b_2_5·b_10_48 + a_2_3²·b_2_4·b_2_5·b_10_47
        + a_2_3²·b_2_4·b_2_5⁶ + a_2_3²·b_2_4²·b_10_48 + a_2_3²·b_2_4²·b_2_5⁵
        + a_2_3²·b_2_4³·b_2_5⁴ + a_2_3²·b_2_4⁴·b_2_5³ + a_2_3²·b_2_4⁵·b_2_5²
        + a_2_3²·b_2_4⁶·b_2_5 + a_2_3²·b_2_4⁷ + b_2_4·a_14_56·a_1_0²
        + b_2_4⁵·a_6_13·a_1_0² + a_2_3·b_2_4⁷·a_1_0² + a_2_3³·b_2_5·b_10_47
        + a_2_3³·b_2_5⁶ + a_2_3³·b_2_4⁶ + c_16_105·b_1_1²
114. a_9_25² + b_2_4⁸·a_1_0² + a_2_3²·b_2_4³·b_2_5⁴ + a_2_3²·b_2_4⁴·b_2_5³
        + a_2_3²·b_2_4⁶·b_2_5 + a_2_3²·b_2_4⁷ + a_2_3²·b_2_4⁴·a_6_13 + c_16_105·a_1_2²
115. b_10_47·a_9_25 + b_2_5⁹·a_1_0 + b_2_4⁸·b_2_5·a_1_0 + a_2_3·b_10_47·b_1_1⁷
        + a_2_3·b_2_5·b_10_47·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_10_47·b_1_1 + a_2_3·b_2_5⁴·b_9_40
        + a_2_3·b_2_5⁴·b_9_39 + a_2_3·b_2_5⁶·b_5_16 + a_2_3·b_2_5⁸·b_1_1
        + a_2_3·b_2_4·b_2_5³·b_9_39 + a_2_3·b_2_4·b_2_5⁵·b_5_16
        + a_2_3·b_2_4²·b_2_5⁴·b_5_16 + a_2_3·b_2_4³·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_9_39
        + a_2_3·b_2_4⁴·b_2_5·b_7_27 + a_2_3·b_2_4⁵·b_7_27 + a_2_3·b_2_4⁶·b_5_15
        + a_12_46·a_7_19 + b_2_4·b_2_5·a_14_56·a_1_0 + a_2_3·b_2_4⁵·a_7_19
        + a_2_3²·b_2_5⁴·b_7_27 + a_2_3²·b_2_5⁵·b_5_16 + a_2_3²·b_2_4·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4²·b_2_5³·b_5_16 + a_2_3²·b_2_4⁵·b_5_16 + a_2_3·b_2_4·a_14_56·a_1_0
        + a_2_3·b_2_4⁵·a_6_13·a_1_0 + a_2_3²·b_2_4⁴·a_7_19 + a_2_3²·b_2_4⁷·a_1_0
        + a_2_3³·b_2_5⁴·b_5_16
116. b_10_48·a_9_25 + b_2_4⁴·b_2_5·a_9_25 + b_2_4⁵·a_9_25 + a_2_3·b_2_5²·b_1_1⁸·b_5_16
        + a_2_3·b_2_5³·b_1_1¹¹ + a_2_3·b_2_5³·b_10_47·b_1_1 + a_2_3·b_2_5⁴·b_1_1⁹
        + a_2_3·b_2_5⁶·b_1_1⁵ + a_2_3·b_2_5⁷·b_1_1³ + a_2_3·b_2_4³·b_2_5²·b_7_27
        + a_2_3·b_2_4³·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_9_39 + a_2_3·b_2_4⁶·b_5_15
        + b_2_4·b_2_5·a_14_56·a_1_0 + b_2_4⁶·a_6_13·a_1_0 + a_2_3·b_2_4⁷·b_2_5·a_1_0
        + a_2_3²·b_2_5³·b_9_39 + a_2_3²·b_2_4·b_2_5²·b_9_39
        + a_2_3²·b_2_4·b_2_5⁴·b_5_16 + a_2_3²·b_2_4²·b_2_5³·b_5_16
        + a_2_3²·b_2_4³·b_9_39 + a_2_3²·b_2_4³·b_2_5²·b_5_16 + a_2_3²·b_2_4⁵·b_5_16
        + a_2_3²·b_2_4⁵·b_5_15 + b_2_4⁸·a_1_0³ + a_2_3·b_2_5·a_14_56·a_1_0
        + a_2_3·b_2_4⁵·a_6_13·a_1_0 + a_2_3²·b_2_4⁷·a_1_0 + a_2_3³·b_2_4³·b_7_27
        + a_2_3²·a_14_56·a_1_0
117. a_4_9·a_15_64
118. b_10_48·b_9_40 + b_10_48·b_9_39 + b_10_47·b_9_40 + b_10_47·b_9_39
        + b_2_5²·b_10_47·b_5_16 + b_2_5⁴·b_1_1⁶·b_5_16 + b_2_5⁵·b_1_1⁴·b_5_16
        + b_2_5⁵·b_1_1⁹ + b_2_5⁶·b_7_27 + b_2_4·b_2_5⁴·b_9_39 + b_2_4·b_2_5⁵·b_7_27
        + b_2_4·b_2_5⁶·b_5_16 + b_2_4²·b_2_5³·b_9_39 + b_2_4²·b_2_5⁴·b_7_27
        + b_2_4²·b_2_5⁵·b_5_16 + b_2_4³·b_2_5³·b_7_27 + b_2_4³·b_2_5⁴·b_5_16
        + b_2_4⁴·b_2_5·b_9_39 + b_2_4⁵·b_9_39 + b_2_4⁷·b_5_15 + a_14_56·b_5_16
        + a_12_46·b_7_27 + b_2_4⁵·a_9_25 + b_2_4⁶·a_7_19 + b_2_4⁸·b_2_5·a_1_2 + b_2_4⁹·a_1_2
        + b_2_4⁹·a_1_0 + a_2_3·b_1_1¹²·b_5_16 + a_2_3·b_10_47·b_1_1²·b_5_16
        + a_2_3·b_10_47·b_1_1⁷ + a_2_3·b_2_5·b_1_1¹⁵ + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_1_1¹³ + a_2_3·b_2_5⁴·b_9_40 + a_2_3·b_2_5⁵·b_1_1⁷
        + a_2_3·b_2_5⁸·b_1_1 + a_2_3·b_2_4²·b_2_5⁴·b_5_16 + a_2_3·b_2_4⁴·b_9_39
        + a_2_3·b_2_4⁴·b_2_5·b_7_27 + a_2_3·b_2_4⁵·b_7_27 + a_2_3·b_2_4⁶·b_5_16
        + b_2_4·b_2_5·a_14_56·a_1_0 + b_2_4²·a_14_56·a_1_0 + b_2_4⁶·a_6_13·a_1_0
        + a_2_3·b_2_5·a_15_64 + a_2_3²·b_2_5³·b_9_39 + a_2_3²·b_2_5⁴·b_7_27
        + a_2_3²·b_2_4·b_2_5²·b_9_39 + a_2_3²·b_2_4²·b_2_5²·b_7_27
        + a_2_3²·b_2_4²·b_2_5³·b_5_16 + a_2_3²·b_2_4³·b_2_5²·b_5_16
        + a_2_3²·b_2_4⁴·b_2_5·b_5_16 + a_2_3²·b_2_4⁵·b_5_15 + b_2_4⁸·a_1_0³
        + a_2_3·b_2_5·a_14_56·a_1_0 + a_2_3²·b_2_4⁴·a_7_19
119. b_10_48·b_9_40 + b_10_48·b_9_39 + b_10_47·b_9_40 + b_10_47·b_9_39
        + b_2_5²·b_10_47·b_5_16 + b_2_5⁴·b_1_1⁶·b_5_16 + b_2_5⁵·b_1_1⁴·b_5_16
        + b_2_5⁵·b_1_1⁹ + b_2_5⁶·b_7_27 + b_2_4·b_2_5⁴·b_9_39 + b_2_4·b_2_5⁵·b_7_27
        + b_2_4·b_2_5⁶·b_5_16 + b_2_4²·b_2_5⁴·b_7_27 + b_2_4²·b_2_5⁵·b_5_16
        + b_2_4³·b_2_5³·b_7_27 + b_2_4³·b_2_5⁴·b_5_16 + b_2_4⁴·b_2_5³·b_5_16
        + b_2_4⁵·b_9_39 + b_2_4⁵·b_2_5²·b_5_16 + b_2_4⁷·b_5_15 + b_10_48·a_9_25
        + b_10_47·a_9_25 + b_2_5·a_12_46·b_5_16 + b_2_5²·a_15_64 + b_2_5⁹·a_1_0
        + b_2_4·b_2_5·a_15_64 + b_2_4⁸·b_2_5·a_1_2 + b_2_4⁸·b_2_5·a_1_0
        + a_2_3·b_10_47·b_1_1⁷ + a_2_3·b_2_5·b_1_1¹⁰·b_5_16 + a_2_3·b_2_5²·b_1_1¹³
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁶·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1 + a_2_3·b_2_5⁴·b_9_40 + a_2_3·b_2_5⁵·b_7_27
        + a_2_3·b_2_5⁶·b_1_1⁵ + a_2_3·b_2_5⁷·b_1_1³ + a_2_3·b_2_5⁸·b_1_1
        + a_2_3·b_2_4·b_2_5³·b_9_39 + a_2_3·b_2_4·b_2_5⁴·b_7_27
        + a_2_3·b_2_4·b_2_5⁵·b_5_16 + a_2_3·b_2_4³·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_9_39
        + a_2_3·b_2_4⁴·b_2_5·b_7_27 + a_2_3·b_2_4⁶·b_5_16 + a_12_46·a_7_19
        + b_2_4⁶·a_6_13·a_1_0 + a_2_3·b_2_4⁵·a_7_19 + a_2_3·b_2_4⁸·a_1_0
        + a_2_3²·b_2_5³·b_9_39 + a_2_3²·b_2_5⁵·b_5_16 + a_2_3²·b_2_4·b_2_5²·b_9_39
        + a_2_3²·b_2_4·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4²·b_2_5²·b_7_27 + a_2_3²·b_2_4²·b_2_5³·b_5_16
        + a_2_3²·b_2_4³·b_2_5·b_7_27 + a_2_3²·b_2_4³·b_2_5²·b_5_16
        + a_2_3²·b_2_4⁴·b_2_5·b_5_16 + a_2_3²·b_2_4⁵·b_5_16 + a_2_3²·b_2_4⁵·b_5_15
        + b_2_4·a_1_0²·a_15_64 + b_2_4⁸·a_1_0³ + a_2_3²·b_2_4⁴·a_7_19
        + a_2_3²·b_2_4⁷·a_1_0 + a_2_3³·b_2_5³·b_7_27 + a_2_3³·b_2_5⁴·b_5_16
120. b_2_4³·b_2_5²·b_9_39 + b_2_4⁵·b_9_39 + b_2_4⁵·b_2_5²·b_5_16
        + b_2_4⁶·b_2_5·b_5_16 + a_14_56·b_5_15 + a_12_46·b_7_27 + b_10_48·a_9_25
        + b_10_47·a_9_25 + b_2_5⁹·a_1_0 + b_2_4·b_2_5·a_15_64 + b_2_4²·a_15_64 + b_2_4⁵·a_9_25
        + b_2_4⁶·a_7_19 + b_2_4⁸·b_2_5·a_1_2 + b_2_4⁸·b_2_5·a_1_0 + b_2_4⁹·a_1_0
        + a_2_3·b_10_47·b_1_1⁷ + a_2_3·b_2_5·b_10_47·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁶·b_5_16
        + a_2_3·b_2_5³·b_1_1¹¹ + a_2_3·b_2_5³·b_10_47·b_1_1 + a_2_3·b_2_5⁴·b_9_40
        + a_2_3·b_2_5⁴·b_9_39 + a_2_3·b_2_5⁴·b_1_1⁹ + a_2_3·b_2_5⁵·b_1_1²·b_5_16
        + a_2_3·b_2_5⁶·b_5_16 + a_2_3·b_2_4²·b_2_5³·b_7_27 + a_2_3·b_2_4²·b_2_5⁴·b_5_16
        + a_2_3·b_2_4³·b_2_5²·b_7_27 + a_2_3·b_2_4⁶·b_5_16 + a_2_3·b_2_4⁶·b_5_15
        + a_12_46·a_7_19 + b_2_4²·a_14_56·a_1_0 + b_2_4⁶·a_6_13·a_1_0
        + a_2_3·b_2_4⁷·b_2_5·a_1_0 + a_2_3·b_2_4⁸·a_1_0 + a_2_3²·b_2_5⁴·b_7_27
        + a_2_3²·b_2_4·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4³·b_9_39 + a_2_3²·b_2_4³·b_2_5·b_7_27 + a_2_3²·b_2_4⁴·b_7_27
        + a_2_3²·b_2_4⁵·b_5_16 + b_2_4⁸·a_1_0³ + a_2_3·b_2_5·a_14_56·a_1_0
        + a_2_3·b_2_4⁵·a_6_13·a_1_0 + a_2_3²·b_2_4⁴·a_7_19 + a_2_3²·b_2_4⁷·a_1_0
        + a_2_3³·b_2_5⁴·b_5_16
121. a_12_46·b_7_27 + b_10_47·a_9_25 + b_2_5⁹·a_1_0 + b_2_4⁴·b_2_5·a_9_25 + b_2_4⁶·a_7_19
        + b_2_4⁸·b_2_5·a_1_0 + b_2_4⁹·a_1_2 + b_2_4⁹·a_1_0 + a_2_3·b_10_47·b_1_1⁷
        + a_2_3·b_2_5·b_10_47·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_1_1⁸·b_5_16 + a_2_3·b_2_5²·b_10_47·b_1_1³
        + a_2_3·b_2_5³·b_1_1⁶·b_5_16 + a_2_3·b_2_5⁴·b_9_40 + a_2_3·b_2_5⁴·b_9_39
        + a_2_3·b_2_5⁵·b_1_1²·b_5_16 + a_2_3·b_2_5⁶·b_5_16 + a_2_3·b_2_5⁶·b_1_1⁵
        + a_2_3·b_2_5⁷·b_1_1³ + a_2_3·b_2_4·b_2_5³·b_9_39 + a_2_3·b_2_4·b_2_5⁴·b_7_27
        + a_2_3·b_2_4·b_2_5⁵·b_5_16 + a_2_3·b_2_4²·b_2_5³·b_7_27
        + a_2_3·b_2_4³·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_2_5²·b_5_16 + a_2_3·b_2_4⁵·b_7_27
        + a_2_3·b_2_4⁵·b_2_5·b_5_16 + a_2_3·b_2_4⁶·b_5_15 + b_2_5²·a_14_56·a_1_0
        + a_2_3·b_2_4·a_15_64 + a_2_3·b_2_4⁵·a_7_19 + a_2_3·b_2_4⁷·b_2_5·a_1_0
        + a_2_3²·b_2_5⁴·b_7_27 + a_2_3²·b_2_4·b_2_5²·b_9_39
        + a_2_3²·b_2_4·b_2_5³·b_7_27 + a_2_3²·b_2_4·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4²·b_2_5³·b_5_16 + a_2_3²·b_2_4⁵·b_5_15 + b_2_4⁸·a_1_0³
        + a_2_3²·b_2_4⁴·a_7_19 + a_2_3³·b_2_5³·b_7_27 + a_2_3³·b_2_5⁴·b_5_16
122. a_12_46·a_7_19 + b_2_4⁶·a_6_13·a_1_0 + a_2_3·b_2_4⁷·b_2_5·a_1_0
        + a_2_3·b_2_4⁸·a_1_0 + a_2_3²·b_2_5³·b_9_39 + a_2_3²·b_2_4·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4²·b_2_5²·b_7_27 + a_2_3²·b_2_4⁴·b_7_27
        + a_2_3²·b_2_4⁴·b_2_5·b_5_16 + a_2_3²·b_2_4⁵·b_5_15 + a_2_3·b_2_4⁵·a_6_13·a_1_0
        + a_2_3²·a_15_64 + a_2_3²·b_2_4⁴·a_7_19 + a_2_3²·b_2_4⁷·a_1_0
123. b_1_1¹⁴·b_5_16 + b_10_48·b_9_39 + b_10_47·b_9_39 + b_10_47·b_1_1⁹
        + b_2_5²·b_10_47·b_1_1⁵ + b_2_5³·b_1_1¹³ + b_2_5³·b_10_47·b_1_1³
        + b_2_5⁴·b_1_1⁶·b_5_16 + b_2_5⁴·b_1_1¹¹ + b_2_5⁴·b_10_47·b_1_1 + b_2_5⁵·b_9_39
        + b_2_5⁵·b_1_1⁴·b_5_16 + b_2_5⁵·b_1_1⁹ + b_2_5⁶·b_1_1²·b_5_16 + b_2_5⁶·b_1_1⁷
        + b_2_5⁷·b_1_1⁵ + b_2_5⁸·b_1_1³ + b_2_5⁹·b_1_1 + b_2_4²·b_2_5³·b_9_39
        + b_2_4²·b_2_5⁴·b_7_27 + b_2_4³·b_2_5³·b_7_27 + b_2_4⁴·b_2_5·b_9_39
        + b_2_4⁵·b_9_39 + b_2_4⁵·b_2_5²·b_5_16 + a_14_56·b_5_16 + b_10_47·a_9_25
        + b_2_5⁹·a_1_0 + b_2_4⁸·b_2_5·a_1_2 + b_2_4⁸·b_2_5·a_1_0 + a_2_3·b_1_1¹²·b_5_16
        + a_2_3·b_1_1¹⁷ + a_2_3·b_2_5·b_10_47·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_1_1⁸·b_5_16 + a_2_3·b_2_5²·b_1_1¹³
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁶·b_5_16
        + a_2_3·b_2_5⁴·b_9_40 + a_2_3·b_2_5⁵·b_1_1²·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁷
        + a_2_3·b_2_5⁶·b_1_1⁵ + a_2_3·b_2_4·b_2_5³·b_9_39 + a_2_3·b_2_4·b_2_5⁵·b_5_16
        + a_2_3·b_2_4²·b_2_5⁴·b_5_16 + a_2_3·b_2_4³·b_2_5²·b_7_27
        + a_2_3·b_2_4⁴·b_2_5·b_7_27 + a_2_3·b_2_4⁴·b_2_5²·b_5_16
        + a_2_3·b_2_4⁵·b_2_5·b_5_16 + a_2_3·b_2_4⁶·b_5_16 + b_2_4²·a_14_56·a_1_0
        + b_2_4⁶·a_6_13·a_1_0 + a_2_3·b_2_4⁵·a_7_19 + a_2_3·b_2_4⁷·b_2_5·a_1_0
        + a_2_3·b_2_4⁸·a_1_0 + a_2_3²·b_2_5³·b_9_39 + a_2_3²·b_2_5⁵·b_5_16
        + a_2_3²·b_2_4·b_2_5³·b_7_27 + a_2_3²·b_2_4²·b_2_5³·b_5_16
        + a_2_3²·b_2_4³·b_9_39 + a_2_3²·b_2_4³·b_2_5·b_7_27 + a_2_3²·b_2_4⁵·b_5_15
        + a_2_3·b_2_4⁵·a_6_13·a_1_0 + a_2_3³·b_2_4³·b_7_27 + c_16_105·b_1_1³
124. b_10_48·b_9_40 + b_2_5²·b_1_1¹⁰·b_5_16 + b_2_5²·b_10_47·b_5_16
        + b_2_5²·b_10_47·b_1_1⁵ + b_2_5³·b_1_1⁸·b_5_16 + b_2_5³·b_1_1¹³
        + b_2_5⁴·b_1_1⁶·b_5_16 + b_2_5⁴·b_10_47·b_1_1 + b_2_5⁵·b_1_1⁹ + b_2_5⁶·b_7_27
        + b_2_5⁶·b_1_1²·b_5_16 + b_2_5⁶·b_1_1⁷ + b_2_5⁷·b_5_16 + b_2_5⁸·b_1_1³
        + b_2_5⁹·b_1_1 + b_2_4²·b_2_5³·b_9_39 + b_2_4³·b_2_5²·b_9_39
        + b_2_4³·b_2_5⁴·b_5_16 + b_2_4⁴·b_2_5·b_9_39 + b_2_4⁴·b_2_5³·b_5_16
        + b_2_4⁵·b_2_5²·b_5_16 + b_2_4⁶·b_2_5·b_5_16 + b_2_4⁷·b_5_16 + b_2_4⁷·b_5_15
        + a_12_46·b_7_27 + b_2_5²·a_15_64 + b_2_4⁴·b_2_5·a_9_25 + b_2_4⁵·a_9_25
        + b_2_4⁸·b_2_5·a_1_2 + b_2_4⁸·b_2_5·a_1_0 + b_2_4⁹·a_1_2 + b_2_4⁹·a_1_0
        + a_2_3·b_2_5·b_1_1¹⁵ + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁶·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1 + a_2_3·b_2_5⁵·b_7_27 + a_2_3·b_2_5⁵·b_1_1²·b_5_16
        + a_2_3·b_2_5⁵·b_1_1⁷ + a_2_3·b_2_5⁶·b_5_16 + a_2_3·b_2_5⁶·b_1_1⁵
        + a_2_3·b_2_4·b_2_5⁵·b_5_16 + a_2_3·b_2_4²·b_2_5³·b_7_27
        + a_2_3·b_2_4³·b_2_5³·b_5_16 + a_2_3·b_2_4⁴·b_2_5²·b_5_16 + a_2_3·b_2_4⁶·b_5_16
        + a_2_3·b_2_4⁶·b_5_15 + a_12_46·a_7_19 + b_2_5²·a_14_56·a_1_0
        + b_2_4·b_2_5·a_14_56·a_1_0 + a_2_3·b_2_4⁵·a_7_19 + a_2_3²·b_2_5³·b_9_39
        + a_2_3²·b_2_4³·b_9_39 + a_2_3²·b_2_4³·b_2_5·b_7_27
        + a_2_3²·b_2_4⁴·b_2_5·b_5_16 + a_2_3²·b_2_4⁵·b_5_16 + a_2_3²·b_2_4⁵·b_5_15
        + b_2_4⁸·a_1_0³ + a_2_3·b_2_5·a_14_56·a_1_0 + a_2_3³·b_2_5³·b_7_27
        + a_2_3³·b_2_5⁴·b_5_16 + a_2_3³·b_2_4³·b_7_27 + a_2_3·c_16_105·b_1_1
125. b_10_48·b_9_40 + b_10_48·b_9_39 + b_2_5⁴·b_1_1⁶·b_5_16 + b_2_5⁴·b_10_47·b_1_1
        + b_2_5⁵·b_9_40 + b_2_5⁵·b_9_39 + b_2_5⁵·b_1_1⁴·b_5_16 + b_2_5⁵·b_1_1⁹
        + b_2_5⁶·b_7_27 + b_2_5⁷·b_5_16 + b_2_5⁹·b_1_1 + b_2_4·b_2_5⁴·b_9_39
        + b_2_4·b_2_5⁵·b_7_27 + b_2_4²·b_2_5⁵·b_5_16 + b_2_4³·b_2_5³·b_7_27
        + b_2_4³·b_2_5⁴·b_5_16 + b_2_4⁴·b_2_5·b_9_39 + b_2_4⁵·b_9_39 + b_2_4⁶·b_2_5·b_5_16
        + b_2_4⁷·b_5_16 + b_2_4⁷·b_5_15 + a_14_56·b_5_16 + b_2_5⁹·a_1_0 + b_2_4⁴·b_2_5·a_9_25
        + b_2_4⁵·a_9_25 + b_2_4⁶·a_7_19 + a_2_3·b_1_1¹²·b_5_16
        + a_2_3·b_10_47·b_1_1²·b_5_16 + a_2_3·b_10_47·b_1_1⁷ + a_2_3·b_2_5·b_1_1¹⁵
        + a_2_3·b_2_5·b_10_47·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁵
        + a_2_3·b_2_5²·b_1_1⁸·b_5_16 + a_2_3·b_2_5²·b_1_1¹³
        + a_2_3·b_2_5²·b_10_47·b_1_1³ + a_2_3·b_2_5³·b_1_1⁶·b_5_16
        + a_2_3·b_2_5⁴·b_9_40 + a_2_3·b_2_5⁴·b_9_39 + a_2_3·b_2_5⁴·b_1_1⁴·b_5_16
        + a_2_3·b_2_5⁵·b_7_27 + a_2_3·b_2_5⁸·b_1_1 + a_2_3·b_2_4·b_2_5⁴·b_7_27
        + a_2_3·b_2_4·b_2_5⁵·b_5_16 + a_2_3·b_2_4³·b_2_5³·b_5_16
        + a_2_3·b_2_4⁴·b_2_5·b_7_27 + a_2_3·b_2_4⁴·b_2_5²·b_5_16
        + a_2_3·b_2_4⁵·b_2_5·b_5_16 + a_2_3·b_2_4⁶·b_5_16 + a_2_3·b_2_4⁶·b_5_15
        + a_12_46·a_7_19 + b_2_5²·a_14_56·a_1_0 + a_2_3·b_2_4⁵·a_7_19 + a_2_3·b_2_4⁸·a_1_0
        + a_2_3²·b_2_5⁴·b_7_27 + a_2_3²·b_2_4·b_2_5²·b_9_39
        + a_2_3²·b_2_4²·b_2_5²·b_7_27 + a_2_3²·b_2_4³·b_2_5·b_7_27
        + a_2_3²·b_2_4³·b_2_5²·b_5_16 + a_2_3²·b_2_4⁴·b_2_5·b_5_16 + b_2_4⁸·a_1_0³
        + a_2_3²·b_2_4⁴·a_7_19 + a_2_3²·b_2_4⁷·a_1_0 + a_2_3³·b_2_5³·b_7_27
        + a_2_3·c_16_105·a_1_0 + c_16_105·a_1_0³
126. b_10_47·b_1_1·b_9_39 + b_10_47·b_1_1⁵·b_5_16 + b_10_47·b_10_48 + b_10_47²
        + b_2_5·b_10_47·b_1_1³·b_5_16 + b_2_5·b_10_47·b_1_1⁸ + b_2_5²·b_10_47·b_1_1⁶
        + b_2_5⁴·b_10_47·b_1_1² + b_2_5⁵·b_1_1·b_9_39 + b_2_5⁵·b_1_1⁵·b_5_16
        + b_2_5⁵·b_10_48 + b_2_5⁶·b_1_1³·b_5_16 + b_2_5⁶·b_1_1⁸ + b_2_5⁷·b_1_1⁶
        + b_2_5⁹·b_1_1² + b_2_5¹⁰ + b_2_4·b_2_5⁹ + b_2_4²·b_2_5³·b_10_47
        + b_2_4²·b_2_5⁸ + b_2_4³·b_2_5⁷ + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁴·b_2_5⁶
        + b_2_4⁵·b_10_47 + b_2_4⁵·b_2_5⁵ + b_2_4⁸·b_2_5² + b_2_4⁹·b_2_5 + b_2_5³·a_14_56
        + b_2_5⁴·a_12_46 + b_2_5⁸·a_4_9 + b_2_4·b_2_5²·a_14_56 + b_2_4³·b_2_5·a_12_46
        + b_2_4⁵·b_2_5²·a_6_13 + b_2_4⁶·b_2_5·a_6_13 + a_2_3·b_2_5·b_10_47·b_1_1·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁶ + a_2_3·b_2_5²·b_5_16·b_9_39
        + a_2_3·b_2_5²·b_1_1⁹·b_5_16 + a_2_3·b_2_5²·b_10_47·b_1_1⁴
        + a_2_3·b_2_5³·b_1_1⁷·b_5_16 + a_2_3·b_2_5³·b_1_1¹²
        + a_2_3·b_2_5⁵·b_1_1³·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁸ + a_2_3·b_2_5⁸·b_1_1²
        + a_2_3·b_2_5⁹ + a_2_3·b_2_4·b_2_5³·b_10_48 + a_2_3·b_2_4·b_2_5³·b_10_47
        + a_2_3·b_2_4·b_2_5⁸ + a_2_3·b_2_4³·b_2_5·b_10_47 + a_2_3·b_2_4³·b_2_5⁶
        + a_2_3·b_2_4⁴·b_10_48 + a_2_3·b_2_4⁴·b_2_5⁵ + a_2_3·b_2_4⁵·b_2_5⁴
        + a_2_3·b_2_4⁶·b_2_5³ + a_2_3·b_2_4⁸·b_2_5 + a_2_3·b_2_4⁹
        + a_2_3·b_2_4⁴·b_2_5²·a_6_13 + a_2_3·b_2_4⁵·b_2_5·a_6_13
        + a_2_3²·b_2_4·b_2_5²·b_10_48 + a_2_3²·b_2_4·b_2_5²·b_10_47
        + a_2_3²·b_2_4·b_2_5⁷ + a_2_3²·b_2_4²·b_2_5⁶ + a_2_3²·b_2_4³·b_10_48
        + a_2_3²·b_2_4³·b_10_47 + a_2_3²·b_2_4³·b_2_5⁵ + a_2_3²·b_2_4⁸
        + b_2_4⁶·a_6_13·a_1_0² + a_2_3·b_2_4⁸·a_1_0² + a_2_3²·b_2_5·a_14_56
        + a_2_3²·b_2_4⁵·a_6_13 + a_2_3³·b_2_5²·b_10_47 + a_2_3³·a_14_56
127. b_10_47·b_1_1·b_9_39 + b_10_47·b_1_1⁵·b_5_16 + b_10_47·b_10_48 + b_10_47²
        + b_2_5·b_10_47·b_1_1³·b_5_16 + b_2_5·b_10_47·b_1_1⁸ + b_2_5²·b_10_47·b_1_1⁶
        + b_2_5⁴·b_10_47·b_1_1² + b_2_5⁵·b_1_1·b_9_39 + b_2_5⁵·b_1_1⁵·b_5_16
        + b_2_5⁵·b_10_48 + b_2_5⁶·b_1_1³·b_5_16 + b_2_5⁶·b_1_1⁸ + b_2_5⁷·b_1_1⁶
        + b_2_5⁹·b_1_1² + b_2_5¹⁰ + b_2_4·b_2_5⁹ + b_2_4²·b_2_5³·b_10_47
        + b_2_4²·b_2_5⁸ + b_2_4³·b_2_5²·b_10_48 + b_2_4³·b_2_5⁷ + b_2_4⁴·b_2_5·b_10_47
        + b_2_4⁵·b_2_5⁵ + b_2_4⁶·b_2_5⁴ + b_2_4⁸·b_2_5² + b_2_4⁹·b_2_5 + b_5_15·a_15_64
        + b_2_5³·a_14_56 + b_2_5⁴·a_12_46 + b_2_5⁸·a_4_9 + b_2_4²·b_2_5·a_14_56
        + b_2_4⁴·a_12_46 + a_2_3·b_2_5·b_10_47·b_1_1·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁶
        + a_2_3·b_2_5²·b_5_16·b_9_39 + a_2_3·b_2_5²·b_1_1⁹·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁴ + a_2_3·b_2_5³·b_1_1⁷·b_5_16
        + a_2_3·b_2_5³·b_1_1¹² + a_2_3·b_2_5⁵·b_1_1³·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁸
        + a_2_3·b_2_5⁸·b_1_1² + a_2_3·b_2_5⁹ + a_2_3·b_2_4·b_2_5³·b_10_48
        + a_2_3·b_2_4·b_2_5⁸ + a_2_3·b_2_4³·b_2_5⁶ + a_2_3·b_2_4⁴·b_10_47
        + a_2_3·b_2_4⁴·b_2_5⁵ + a_2_3·b_2_4⁷·b_2_5² + a_2_3·b_2_4⁸·b_2_5
        + b_2_5²·a_1_0·a_15_64 + b_2_4·b_2_5·a_1_0·a_15_64 + b_2_4²·a_1_0·a_15_64
        + b_2_4⁹·a_1_0² + a_2_3·b_2_4·b_2_5·a_14_56 + a_2_3·b_2_4⁴·b_2_5²·a_6_13
        + a_2_3·b_2_4⁵·b_2_5·a_6_13 + a_2_3²·b_2_4·b_2_5²·b_10_48
        + a_2_3²·b_2_4·b_2_5²·b_10_47 + a_2_3²·b_2_4·b_2_5⁷
        + a_2_3²·b_2_4²·b_2_5·b_10_47 + a_2_3²·b_2_4²·b_2_5⁶ + a_2_3²·b_2_4³·b_10_48
        + a_2_3²·b_2_4³·b_10_47 + a_2_3²·b_2_4⁵·b_2_5³ + a_2_3²·b_2_4⁷·b_2_5
        + a_2_3·b_2_5·a_1_0·a_15_64 + a_2_3²·b_2_5·a_14_56 + a_2_3²·b_2_4·a_14_56
        + a_2_3²·b_2_4⁴·b_2_5·a_6_13 + a_2_3³·b_2_5²·b_10_47
128. b_10_47·b_1_1·b_9_39 + b_10_47·b_1_1⁵·b_5_16 + b_10_47·b_10_48 + b_10_47²
        + b_2_5·b_10_47·b_1_1³·b_5_16 + b_2_5·b_10_47·b_1_1⁸ + b_2_5²·b_10_47·b_1_1⁶
        + b_2_5⁴·b_10_47·b_1_1² + b_2_5⁵·b_1_1·b_9_39 + b_2_5⁵·b_1_1⁵·b_5_16
        + b_2_5⁵·b_10_48 + b_2_5⁶·b_1_1³·b_5_16 + b_2_5⁶·b_1_1⁸ + b_2_5⁷·b_1_1⁶
        + b_2_5⁹·b_1_1² + b_2_5¹⁰ + b_2_4·b_2_5⁹ + b_2_4²·b_2_5³·b_10_48
        + b_2_4²·b_2_5³·b_10_47 + b_2_4²·b_2_5⁸ + b_2_4³·b_2_5²·b_10_47
        + b_2_4⁶·b_2_5⁴ + b_2_4⁸·b_2_5² + b_2_4⁹·b_2_5 + b_5_16·a_15_64 + b_5_15·a_15_64
        + b_2_5⁸·a_4_9 + b_2_4·b_2_5²·a_14_56 + b_2_4²·b_2_5·a_14_56 + b_2_4³·b_2_5·a_12_46
        + b_2_4⁴·a_12_46 + a_2_3·b_1_1¹³·b_5_16 + a_2_3·b_10_47·b_1_1⁸
        + a_2_3·b_2_5·b_1_1¹¹·b_5_16 + a_2_3·b_2_5·b_1_1¹⁶ + a_2_3·b_2_5²·b_5_16·b_9_39
        + a_2_3·b_2_5²·b_1_1¹⁴ + a_2_3·b_2_5³·b_1_1⁷·b_5_16 + a_2_3·b_2_5³·b_1_1¹²
        + a_2_3·b_2_5³·b_10_47·b_1_1² + a_2_3·b_2_5⁴·b_10_48 + a_2_3·b_2_5⁴·b_10_47
        + a_2_3·b_2_5⁵·b_1_1³·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁸ + a_2_3·b_2_5⁶·b_1_1·b_5_16
        + a_2_3·b_2_5⁸·b_1_1² + a_2_3·b_2_5⁹ + a_2_3·b_2_4·b_2_5³·b_10_48
        + a_2_3·b_2_4²·b_2_5²·b_10_47 + a_2_3·b_2_4³·b_2_5·b_10_47 + a_2_3·b_2_4⁴·b_10_47
        + a_2_3·b_2_4⁴·b_2_5⁵ + a_2_3·b_2_4⁵·b_2_5⁴ + a_2_3·b_2_4⁶·b_2_5³
        + a_2_3·b_2_4⁷·b_2_5² + a_2_3·b_2_4⁸·b_2_5 + b_2_5²·a_1_0·a_15_64
        + b_2_4⁹·a_1_0² + a_2_3·b_2_4·b_2_5·a_14_56 + a_2_3²·b_2_5³·b_10_47
        + a_2_3²·b_2_5⁸ + a_2_3²·b_2_4·b_2_5²·b_10_48 + a_2_3²·b_2_4·b_2_5²·b_10_47
        + a_2_3²·b_2_4·b_2_5⁷ + a_2_3²·b_2_4²·b_2_5·b_10_47 + a_2_3²·b_2_4²·b_2_5⁶
        + a_2_3²·b_2_4³·b_10_48 + a_2_3²·b_2_4³·b_10_47 + a_2_3²·b_2_4³·b_2_5⁵
        + a_2_3²·b_2_4⁴·b_2_5⁴ + a_2_3²·b_2_4⁵·b_2_5³ + a_2_3²·b_2_4⁷·b_2_5
        + a_2_3²·b_2_4⁸ + b_2_4²·a_14_56·a_1_0² + b_2_4⁶·a_6_13·a_1_0²
        + a_2_3·b_2_4·a_1_0·a_15_64 + a_2_3·b_2_4⁸·a_1_0² + a_2_3²·b_2_4·a_14_56
        + a_2_3²·b_2_4⁵·a_6_13
129. b_2_4²·b_2_5³·b_10_48 + b_2_4³·b_2_5²·b_10_48 + b_2_4³·b_2_5²·b_10_47
        + b_2_4³·b_2_5⁷ + b_2_4⁴·b_2_5·b_10_47 + b_2_4⁵·b_2_5⁵ + b_5_16·a_15_64
        + b_2_5³·a_14_56 + b_2_5⁴·a_12_46 + b_2_4·b_2_5²·a_14_56 + b_2_4³·b_2_5·a_12_46
        + a_2_3·b_1_1¹³·b_5_16 + a_2_3·b_10_47·b_1_1⁸ + a_2_3·b_2_5·b_1_1¹¹·b_5_16
        + a_2_3·b_2_5·b_1_1¹⁶ + a_2_3·b_2_5·b_10_47·b_1_1·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁶ + a_2_3·b_2_5²·b_1_1⁹·b_5_16
        + a_2_3·b_2_5²·b_1_1¹⁴ + a_2_3·b_2_5²·b_10_47·b_1_1⁴
        + a_2_3·b_2_5³·b_10_47·b_1_1² + a_2_3·b_2_5⁴·b_10_48 + a_2_3·b_2_5⁴·b_10_47
        + a_2_3·b_2_5⁶·b_1_1·b_5_16 + a_2_3·b_2_4·b_2_5³·b_10_48 + a_2_3·b_2_4·b_2_5⁸
        + a_2_3·b_2_4²·b_2_5⁷ + a_2_3·b_2_4³·b_2_5·b_10_47 + a_2_3·b_2_4⁵·b_2_5⁴
        + a_2_3·b_2_4⁶·b_2_5³ + a_6_13·a_14_56 + b_2_4·b_2_5·a_1_0·a_15_64
        + b_2_4⁹·a_1_0² + a_2_3·b_2_4·b_2_5·a_14_56 + a_2_3·b_2_4⁵·b_2_5·a_6_13
        + a_2_3·b_2_4⁶·a_6_13 + a_2_3²·b_2_5³·b_10_48 + a_2_3²·b_2_4·b_2_5⁷
        + a_2_3²·b_2_4²·b_2_5⁶ + a_2_3²·b_2_4⁶·b_2_5² + a_2_3²·b_2_4⁸
        + b_2_4²·a_14_56·a_1_0² + a_2_3²·b_2_4⁴·b_2_5·a_6_13 + a_2_3²·b_2_4⁵·a_6_13
        + a_2_3³·b_2_5²·b_10_47 + a_2_3³·b_2_5⁷ + a_2_3³·b_2_4⁷ + c_16_105·a_1_0⁴
130. b_10_48² + b_10_47·b_1_1·b_9_39 + b_10_47·b_1_1⁵·b_5_16 + b_10_47²
        + b_2_5·b_10_47·b_1_1³·b_5_16 + b_2_5·b_10_47·b_1_1⁸
        + b_2_5²·b_10_47·b_1_1·b_5_16 + b_2_5²·b_10_47·b_1_1⁶ + b_2_5³·b_10_47·b_1_1⁴
        + b_2_5⁴·b_1_1⁷·b_5_16 + b_2_5⁴·b_10_47·b_1_1² + b_2_5⁵·b_1_1·b_9_39
        + b_2_5⁵·b_1_1⁵·b_5_16 + b_2_5⁵·b_1_1¹⁰ + b_2_5⁶·b_1_1³·b_5_16
        + b_2_5⁷·b_1_1·b_5_16 + b_2_5¹⁰ + b_2_4·b_2_5⁹ + b_2_4²·b_2_5³·b_10_48
        + b_2_4²·b_2_5⁸ + b_2_4³·b_2_5²·b_10_47 + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁵·b_10_47
        + b_2_4⁷·b_2_5³ + b_2_4⁸·b_2_5² + b_2_4¹⁰ + b_5_16·a_15_64 + b_5_15·a_15_64
        + b_2_5³·a_14_56 + b_2_5⁴·a_12_46 + b_2_5⁸·a_4_9 + b_2_4²·b_2_5·a_14_56
        + b_2_4⁴·a_12_46 + b_2_4⁵·b_2_5²·a_6_13 + b_2_4⁶·b_2_5·a_6_13
        + a_2_3·b_10_47·b_1_1³·b_5_16 + a_2_3·b_10_47·b_1_1⁸ + a_2_3·b_2_5·b_1_1¹¹·b_5_16
        + a_2_3·b_2_5·b_1_1¹⁶ + a_2_3·b_2_5·b_10_47·b_1_1·b_5_16 + a_2_3·b_2_5²·b_1_1¹⁴
        + a_2_3·b_2_5²·b_10_47·b_1_1⁴ + a_2_3·b_2_5³·b_1_1⁷·b_5_16
        + a_2_3·b_2_5⁴·b_1_1¹⁰ + a_2_3·b_2_5⁴·b_10_48 + a_2_3·b_2_5⁵·b_1_1⁸
        + a_2_3·b_2_5⁶·b_1_1·b_5_16 + a_2_3·b_2_5⁶·b_1_1⁶ + a_2_3·b_2_5⁸·b_1_1²
        + a_2_3·b_2_5⁹ + a_2_3·b_2_4·b_2_5³·b_10_47 + a_2_3·b_2_4²·b_2_5²·b_10_47
        + a_2_3·b_2_4²·b_2_5⁷ + a_2_3·b_2_4³·b_2_5⁶ + a_2_3·b_2_4⁴·b_10_48
        + a_2_3·b_2_4⁵·b_2_5⁴ + a_2_3·b_2_4⁶·b_2_5³ + a_2_3·b_2_4⁷·b_2_5²
        + a_2_3·b_2_4⁸·b_2_5 + a_2_3·b_2_4⁹ + b_2_4·b_2_5·a_1_0·a_15_64 + b_2_4⁹·a_1_0²
        + a_2_3·b_2_5²·a_14_56 + a_2_3·b_2_4⁵·b_2_5·a_6_13 + a_2_3·b_2_4⁶·a_6_13
        + a_2_3²·b_2_5³·b_10_47 + a_2_3²·b_2_5⁸ + a_2_3²·b_2_4²·b_2_5·b_10_47
        + a_2_3²·b_2_4²·b_2_5⁶ + a_2_3²·b_2_4⁷·b_2_5 + a_2_3²·b_2_4⁸
        + b_2_4²·a_14_56·a_1_0² + a_2_3·b_2_5·a_1_0·a_15_64 + a_2_3·b_2_4⁸·a_1_0²
        + a_2_3²·b_2_5·a_14_56 + a_2_3²·b_2_4·a_14_56 + a_2_3²·b_2_4⁴·b_2_5·a_6_13
        + a_2_3·c_16_105·b_1_1²
131. b_10_48² + b_2_5⁴·b_1_1⁷·b_5_16 + b_2_5⁴·b_10_47·b_1_1² + b_2_5⁵·b_1_1¹⁰
        + b_2_5⁶·b_1_1⁸ + b_2_5⁷·b_1_1⁶ + b_2_5⁸·b_1_1⁴ + b_2_4³·b_2_5²·b_10_48
        + b_2_4³·b_2_5⁷ + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁴·b_2_5·b_10_47 + b_2_4⁴·b_2_5⁶
        + b_2_4⁵·b_10_47 + b_2_4⁷·b_2_5³ + b_2_4¹⁰ + b_5_15·a_15_64 + b_2_4·b_2_5²·a_14_56
        + b_2_4²·b_2_5·a_14_56 + b_2_4³·b_2_5·a_12_46 + b_2_4⁴·a_12_46
        + b_2_4⁵·b_2_5²·a_6_13 + b_2_4⁶·b_2_5·a_6_13 + a_2_3·b_2_5⁴·b_1_1·b_9_39
        + a_2_3·b_2_5⁶·b_1_1·b_5_16 + a_2_3·b_2_5⁶·b_1_1⁶ + a_2_3·b_2_5⁸·b_1_1²
        + a_2_3·b_2_4·b_2_5³·b_10_48 + a_2_3·b_2_4·b_2_5³·b_10_47
        + a_2_3·b_2_4³·b_2_5·b_10_47 + a_2_3·b_2_4⁴·b_10_48 + a_2_3·b_2_4⁶·b_2_5³
        + a_2_3·b_2_4⁷·b_2_5² + a_2_3·b_2_4⁸·b_2_5 + a_2_3·b_2_4⁹ + a_6_13·a_14_56
        + b_2_4⁹·a_1_0² + a_2_3·b_2_5²·a_14_56 + a_2_3·b_2_4·b_2_5·a_14_56
        + a_2_3²·b_2_5³·b_10_48 + a_2_3²·b_2_4³·b_2_5⁵ + a_2_3²·b_2_4⁴·b_2_5⁴
        + a_2_3²·b_2_4⁶·b_2_5² + a_2_3²·b_2_4⁷·b_2_5 + b_2_4⁶·a_6_13·a_1_0²
        + a_2_3·b_2_4⁸·a_1_0² + a_2_3²·b_2_4·a_14_56 + a_2_3²·b_2_4⁴·b_2_5·a_6_13
        + a_2_3²·b_2_4⁵·a_6_13 + a_2_3³·b_2_4⁷ + a_2_3²·c_16_105
132. a_2_3·b_2_4·b_2_5⁴·b_9_39 + a_2_3·b_2_4³·b_2_5⁴·b_5_16
        + a_2_3·b_2_4⁴·b_2_5³·b_5_16 + a_2_3·b_2_4⁵·b_9_39 + a_2_3·b_2_4⁵·b_2_5²·b_5_16
        + a_2_3·b_2_4⁶·b_2_5·b_5_16 + a_14_56·a_7_19 + a_12_46·a_9_25 + b_2_4³·a_14_56·a_1_0
        + b_2_4⁷·a_6_13·a_1_0 + a_2_3·a_14_56·b_5_15 + a_2_3·b_2_5²·a_15_64
        + a_2_3·b_2_4·b_2_5·a_15_64 + a_2_3²·b_2_5⁴·b_9_39 + a_2_3²·b_2_5⁶·b_5_16
        + a_2_3²·b_2_4·b_2_5⁵·b_5_16 + a_2_3²·b_2_4²·b_2_5³·b_7_27
        + a_2_3²·b_2_4³·b_2_5²·b_7_27 + a_2_3²·b_2_4⁵·b_2_5·b_5_16
        + a_2_3²·b_2_4⁶·b_5_16 + a_2_3²·b_2_4⁶·b_5_15 + a_6_13·a_14_56·a_1_0
        + b_2_4²·a_1_0²·a_15_64 + b_2_4⁹·a_1_0³ + a_2_3·b_2_4·b_2_5·a_14_56·a_1_0
        + a_2_3·b_2_4²·a_14_56·a_1_0 + a_2_3²·b_2_5·a_15_64 + a_2_3²·b_2_4⁵·a_7_19
        + a_2_3²·b_2_4⁸·a_1_0 + a_2_3³·b_2_5⁵·b_5_16 + a_2_3³·b_2_4⁴·b_7_27
133. b_2_4·b_2_5⁵·b_9_39 + b_2_4³·b_2_5⁵·b_5_16 + b_2_4⁴·b_2_5⁴·b_5_16
        + b_2_4⁵·b_2_5³·b_5_16 + b_2_4⁶·b_9_39 + b_2_4⁶·b_2_5²·b_5_16
        + b_2_4⁷·b_2_5·b_5_16 + a_14_56·b_7_27 + a_12_46·b_9_40 + a_12_46·b_9_39
        + b_2_5·a_14_56·b_5_16 + b_2_5³·a_15_64 + b_2_4·b_2_5²·a_15_64 + b_2_4³·a_15_64
        + b_2_4⁷·a_7_19 + b_2_4⁹·b_2_5·a_1_2 + b_2_4¹⁰·a_1_0 + a_2_3·b_2_5·b_1_1¹²·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁷
        + a_2_3·b_2_5²·b_1_1¹⁵ + a_2_3·b_2_5²·b_10_47·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁵ + a_2_3·b_2_5³·b_1_1⁸·b_5_16
        + a_2_3·b_2_5³·b_1_1¹³ + a_2_3·b_2_5³·b_10_47·b_1_1³
        + a_2_3·b_2_5⁴·b_10_47·b_1_1 + a_2_3·b_2_5⁵·b_9_39 + a_2_3·b_2_5⁵·b_1_1⁴·b_5_16
        + a_2_3·b_2_5⁵·b_1_1⁹ + a_2_3·b_2_5⁶·b_7_27 + a_2_3·b_2_5⁶·b_1_1²·b_5_16
        + a_2_3·b_2_5⁶·b_1_1⁷ + a_2_3·b_2_5⁹·b_1_1 + a_2_3·b_2_4·b_2_5⁵·b_7_27
        + a_2_3·b_2_4³·b_2_5³·b_7_27 + a_2_3·b_2_4⁵·b_2_5·b_7_27
        + a_2_3·b_2_4⁶·b_2_5·b_5_16 + a_2_3·b_2_4⁷·b_5_15 + a_14_56·a_7_19 + a_12_46·a_9_25
        + a_2_3·a_14_56·b_5_16 + a_2_3·b_2_4²·a_15_64 + a_2_3·b_2_4⁶·a_7_19
        + a_2_3²·b_2_5⁴·b_9_39 + a_2_3²·b_2_5⁵·b_7_27 + a_2_3²·b_2_5⁶·b_5_16
        + a_2_3²·b_2_4³·b_2_5³·b_5_16 + a_2_3²·b_2_4⁴·b_2_5·b_7_27
        + a_2_3²·b_2_4⁵·b_7_27 + a_2_3²·b_2_4⁵·b_2_5·b_5_16 + a_2_3²·b_2_4⁶·b_5_15
        + a_2_3·b_2_4·b_2_5·a_14_56·a_1_0 + a_2_3·b_2_4²·a_14_56·a_1_0
        + a_2_3²·b_2_4⁵·a_7_19 + a_2_3³·b_2_5⁵·b_5_16 + a_2_3²·b_2_4·a_14_56·a_1_0
134. b_2_4·b_2_5⁵·b_9_39 + b_2_4³·b_2_5⁵·b_5_16 + b_2_4⁴·b_2_5⁴·b_5_16
        + b_2_4⁵·b_2_5³·b_5_16 + b_2_4⁶·b_9_39 + b_2_4⁶·b_2_5²·b_5_16
        + b_2_4⁷·b_2_5·b_5_16 + a_14_56·b_7_27 + a_12_46·b_9_40 + a_12_46·b_9_39
        + b_2_5·a_14_56·b_5_16 + b_2_5³·a_15_64 + b_2_4·b_2_5²·a_15_64 + b_2_4³·a_15_64
        + b_2_4⁷·a_7_19 + b_2_4⁹·b_2_5·a_1_2 + b_2_4¹⁰·a_1_0 + a_2_3·b_2_5·b_1_1¹²·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁷
        + a_2_3·b_2_5²·b_1_1¹⁵ + a_2_3·b_2_5²·b_10_47·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁵ + a_2_3·b_2_5³·b_1_1⁸·b_5_16
        + a_2_3·b_2_5³·b_1_1¹³ + a_2_3·b_2_5³·b_10_47·b_1_1³
        + a_2_3·b_2_5⁴·b_10_47·b_1_1 + a_2_3·b_2_5⁵·b_9_39 + a_2_3·b_2_5⁵·b_1_1⁴·b_5_16
        + a_2_3·b_2_5⁵·b_1_1⁹ + a_2_3·b_2_5⁶·b_7_27 + a_2_3·b_2_5⁶·b_1_1²·b_5_16
        + a_2_3·b_2_5⁶·b_1_1⁷ + a_2_3·b_2_5⁹·b_1_1 + a_2_3·b_2_4·b_2_5⁵·b_7_27
        + a_2_3·b_2_4³·b_2_5³·b_7_27 + a_2_3·b_2_4⁵·b_2_5·b_7_27
        + a_2_3·b_2_4⁶·b_2_5·b_5_16 + a_2_3·b_2_4⁷·b_5_15 + a_12_46·a_9_25 + a_6_13·a_15_64
        + b_2_4²·b_2_5·a_14_56·a_1_0 + b_2_4⁷·a_6_13·a_1_0 + a_2_3·a_14_56·b_5_15
        + a_2_3·b_2_4·b_2_5·a_15_64 + a_2_3·b_2_4⁸·b_2_5·a_1_0 + a_2_3·b_2_4⁹·a_1_0
        + a_2_3²·b_2_5⁴·b_9_39 + a_2_3²·b_2_5⁶·b_5_16 + a_2_3²·b_2_4·b_2_5⁴·b_7_27
        + a_2_3²·b_2_4·b_2_5⁵·b_5_16 + a_2_3²·b_2_4²·b_2_5³·b_7_27
        + a_2_3²·b_2_4³·b_2_5²·b_7_27 + a_2_3²·b_2_4³·b_2_5³·b_5_16
        + a_2_3²·b_2_4⁴·b_2_5·b_7_27 + a_2_3²·b_2_4⁵·b_2_5·b_5_16
        + a_2_3²·b_2_4⁶·b_5_16 + a_6_13·a_14_56·a_1_0 + b_2_4⁹·a_1_0³
        + a_2_3·b_2_5²·a_14_56·a_1_0 + a_2_3·b_2_4·b_2_5·a_14_56·a_1_0
        + a_2_3·b_2_4²·a_14_56·a_1_0 + a_2_3²·b_2_5·a_15_64 + a_2_3²·b_2_4·a_15_64
        + a_2_3²·b_2_4⁵·a_7_19 + a_2_3²·b_2_4⁸·a_1_0 + a_2_3³·b_2_4⁴·b_7_27
135. a_12_46·a_9_25 + b_2_4⁷·a_6_13·a_1_0 + a_2_3·b_2_4⁶·a_7_19
        + a_2_3²·b_2_4²·b_2_5³·b_7_27 + a_2_3²·b_2_4³·b_2_5²·b_7_27
        + a_2_3²·b_2_4³·b_2_5³·b_5_16 + a_2_3²·b_2_4⁴·b_9_39 + a_2_3²·b_2_4⁵·b_7_27
        + a_2_3²·b_2_4⁵·b_2_5·b_5_16 + a_2_3²·b_2_4⁶·b_5_16
        + a_2_3·b_2_4·b_2_5·a_14_56·a_1_0 + a_2_3·b_2_4⁶·a_6_13·a_1_0
        + a_2_3²·b_2_4⁸·a_1_0 + a_2_3·c_16_105·a_1_0³
136. a_12_46·b_9_39 + b_2_4⁵·b_2_5·a_9_25 + b_2_4⁹·b_2_5·a_1_0 + a_2_3·b_10_47·b_9_39
        + a_2_3·b_10_47·b_1_1⁴·b_5_16 + a_2_3·b_2_5·b_1_1¹⁷
        + a_2_3·b_2_5·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁷
        + a_2_3·b_2_5²·b_1_1¹⁰·b_5_16 + a_2_3·b_2_5²·b_10_47·b_5_16
        + a_2_3·b_2_5³·b_1_1¹³ + a_2_3·b_2_5³·b_10_47·b_1_1³ + a_2_3·b_2_5⁴·b_1_1¹¹
        + a_2_3·b_2_5⁵·b_1_1⁴·b_5_16 + a_2_3·b_2_5⁶·b_7_27 + a_2_3·b_2_5⁶·b_1_1²·b_5_16
        + a_2_3·b_2_5⁶·b_1_1⁷ + a_2_3·b_2_5⁷·b_5_16 + a_2_3·b_2_5⁷·b_1_1⁵
        + a_2_3·b_2_5⁸·b_1_1³ + a_2_3·b_2_5⁹·b_1_1 + a_2_3·b_2_4·b_2_5⁵·b_7_27
        + a_2_3·b_2_4²·b_2_5⁴·b_7_27 + a_2_3·b_2_4²·b_2_5⁵·b_5_16
        + a_2_3·b_2_4³·b_2_5³·b_7_27 + a_2_3·b_2_4³·b_2_5⁴·b_5_16 + a_2_3·b_2_4⁵·b_9_39
        + a_2_3·b_2_4⁵·b_2_5·b_7_27 + a_2_3·b_2_4⁶·b_7_27 + a_2_3·b_2_4⁷·b_5_15
        + a_12_46·a_9_25 + b_2_4³·a_14_56·a_1_0 + a_2_3·b_2_5²·a_15_64
        + a_2_3·b_2_4·b_2_5·a_15_64 + a_2_3·b_2_4⁶·a_7_19 + a_2_3·b_2_4⁹·a_1_0
        + a_2_3²·b_2_5⁴·b_9_39 + a_2_3²·b_2_5⁵·b_7_27 + a_2_3²·b_2_4·b_2_5⁴·b_7_27
        + a_2_3²·b_2_4·b_2_5⁵·b_5_16 + a_2_3²·b_2_4²·b_2_5³·b_7_27
        + a_2_3²·b_2_4³·b_2_5²·b_7_27 + a_2_3²·b_2_4⁴·b_2_5·b_7_27
        + a_2_3²·b_2_4⁵·b_7_27 + a_2_3²·b_2_4⁵·b_2_5·b_5_16 + a_6_13·a_14_56·a_1_0
        + a_2_3·b_2_4·b_2_5·a_14_56·a_1_0 + a_2_3·b_2_4⁶·a_6_13·a_1_0
        + a_2_3²·b_2_4⁸·a_1_0 + a_2_3³·b_2_5⁴·b_7_27 + a_2_3·c_16_105·b_1_1³
        + a_2_3·b_2_5·c_16_105·b_1_1
137. b_2_4·b_2_5⁵·b_9_39 + b_2_4³·b_2_5⁵·b_5_16 + b_2_4⁴·b_2_5⁴·b_5_16
        + b_2_4⁵·b_2_5³·b_5_16 + b_2_4⁶·b_9_39 + b_2_4⁶·b_2_5²·b_5_16
        + b_2_4⁷·b_2_5·b_5_16 + a_14_56·b_7_27 + b_2_5·a_14_56·b_5_16 + b_2_5²·a_12_46·b_5_16
        + b_2_5³·a_15_64 + b_2_4·b_2_5²·a_15_64 + b_2_4³·a_15_64 + b_2_4⁹·b_2_5·a_1_2
        + b_2_4⁹·b_2_5·a_1_0 + b_2_4¹⁰·a_1_2 + a_2_3·b_2_5·b_1_1¹²·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1⁷
        + a_2_3·b_2_5²·b_1_1¹⁵ + a_2_3·b_2_5²·b_10_47·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁵ + a_2_3·b_2_5³·b_1_1⁸·b_5_16
        + a_2_3·b_2_5³·b_1_1¹³ + a_2_3·b_2_5³·b_10_47·b_1_1³
        + a_2_3·b_2_5⁴·b_1_1⁶·b_5_16 + a_2_3·b_2_5⁴·b_10_47·b_1_1 + a_2_3·b_2_5⁵·b_9_40
        + a_2_3·b_2_5⁵·b_9_39 + a_2_3·b_2_5⁵·b_1_1⁴·b_5_16 + a_2_3·b_2_5⁵·b_1_1⁹
        + a_2_3·b_2_5⁷·b_5_16 + a_2_3·b_2_5⁷·b_1_1⁵ + a_2_3·b_2_5⁸·b_1_1³
        + a_2_3·b_2_5⁹·b_1_1 + a_2_3·b_2_4²·b_2_5⁴·b_7_27 + a_2_3·b_2_4²·b_2_5⁵·b_5_16
        + a_2_3·b_2_4⁵·b_9_39 + a_2_3·b_2_4⁷·b_5_16 + a_12_46·a_9_25
        + b_2_4²·b_2_5·a_14_56·a_1_0 + a_2_3·a_14_56·b_5_15 + a_2_3·b_2_5²·a_15_64
        + a_2_3·b_2_4·b_2_5·a_15_64 + a_2_3·b_2_4⁶·a_7_19 + a_2_3·b_2_4⁹·a_1_0
        + a_2_3²·b_2_4·b_2_5⁴·b_7_27 + a_2_3²·b_2_4·b_2_5⁵·b_5_16
        + a_2_3²·b_2_4²·b_2_5³·b_7_27 + a_2_3²·b_2_4²·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4³·b_2_5²·b_7_27 + a_2_3²·b_2_4³·b_2_5³·b_5_16
        + a_2_3²·b_2_4⁴·b_2_5·b_7_27 + a_2_3²·b_2_4⁴·b_2_5²·b_5_16
        + a_2_3²·b_2_4⁵·b_7_27 + a_2_3²·b_2_4⁵·b_2_5·b_5_16 + a_2_3²·b_2_4⁶·b_5_16
        + a_2_3²·b_2_4⁶·b_5_15 + a_6_13·a_14_56·a_1_0 + b_2_4⁹·a_1_0³
        + a_2_3·b_2_5²·a_14_56·a_1_0 + a_2_3·b_2_4⁶·a_6_13·a_1_0 + a_2_3²·b_2_4⁸·a_1_0
        + a_2_3³·b_2_5⁴·b_7_27 + a_2_3³·b_2_4⁴·b_7_27 + a_2_3²·c_16_105·a_1_0
138. b_2_4·b_2_5⁵·b_10_48 + b_2_4²·b_2_5⁴·b_10_47 + b_2_4²·b_2_5⁹ + b_2_4³·b_2_5⁸
        + b_7_27·a_15_64 + b_10_48·a_12_46 + b_2_4·b_5_15·a_15_64 + b_2_4³·b_2_5·a_14_56
        + b_2_4⁴·b_2_5·a_12_46 + b_2_4⁵·a_12_46 + b_2_4⁶·b_2_5²·a_6_13
        + b_2_4⁸·b_2_5·a_4_9 + a_2_3·b_2_5²·b_10_47·b_1_1⁶ + a_2_3·b_2_5³·b_5_16·b_9_39
        + a_2_3·b_2_5³·b_1_1¹⁴ + a_2_3·b_2_5³·b_10_47·b_1_1⁴
        + a_2_3·b_2_5⁴·b_1_1⁷·b_5_16 + a_2_3·b_2_5⁵·b_1_1·b_9_39
        + a_2_3·b_2_5⁵·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹⁰ + a_2_3·b_2_5⁵·b_10_48
        + a_2_3·b_2_5⁶·b_1_1⁸ + a_2_3·b_2_5⁷·b_1_1⁶ + a_2_3·b_2_5⁸·b_1_1⁴
        + a_2_3·b_2_5⁹·b_1_1² + a_2_3·b_2_4·b_2_5⁴·b_10_47 + a_2_3·b_2_4·b_2_5⁹
        + a_2_3·b_2_4²·b_2_5⁸ + a_2_3·b_2_4³·b_2_5²·b_10_47
        + a_2_3·b_2_4⁴·b_2_5·b_10_47 + a_2_3·b_2_4⁵·b_10_47 + a_2_3·b_2_4⁷·b_2_5³
        + a_2_3·b_2_4⁸·b_2_5² + a_2_3·b_2_4⁹·b_2_5 + b_2_5·a_6_13·a_14_56
        + b_2_4²·b_2_5·a_1_0·a_15_64 + b_2_4³·a_1_0·a_15_64 + b_2_4¹⁰·a_1_0²
        + a_2_3·b_5_15·a_15_64 + a_2_3·b_2_4·b_2_5²·a_14_56 + a_2_3·b_2_4²·b_2_5·a_14_56
        + a_2_3·b_2_4⁵·b_2_5²·a_6_13 + a_2_3²·b_2_5⁹ + a_2_3²·b_2_4·b_2_5³·b_10_47
        + a_2_3²·b_2_4²·b_2_5⁷ + a_2_3²·b_2_4³·b_2_5·b_10_47 + a_2_3²·b_2_4⁴·b_10_47
        + a_2_3²·b_2_4⁴·b_2_5⁵ + a_2_3²·b_2_4⁵·b_2_5⁴ + a_2_3²·b_2_4⁷·b_2_5²
        + a_2_3²·b_2_4⁹ + a_2_3·b_2_4·b_2_5·a_1_0·a_15_64 + a_2_3²·b_2_5²·a_14_56
        + a_2_3²·b_2_4·b_2_5·a_14_56 + a_2_3²·b_2_4⁵·b_2_5·a_6_13 + a_2_3²·b_2_4⁶·a_6_13
        + a_2_3³·b_2_5³·b_10_47
139. b_2_4·b_2_5⁵·b_10_48 + b_2_4²·b_2_5⁴·b_10_47 + b_2_4²·b_2_5⁹ + b_2_4³·b_2_5⁸
        + b_7_27·a_15_64 + b_10_48·a_12_46 + b_2_4·b_5_15·a_15_64 + b_2_4³·b_2_5·a_14_56
        + b_2_4⁴·b_2_5·a_12_46 + b_2_4⁵·a_12_46 + b_2_4⁶·b_2_5²·a_6_13
        + b_2_4⁸·b_2_5·a_4_9 + a_2_3·b_2_5²·b_10_47·b_1_1⁶ + a_2_3·b_2_5³·b_5_16·b_9_39
        + a_2_3·b_2_5³·b_1_1¹⁴ + a_2_3·b_2_5³·b_10_47·b_1_1⁴
        + a_2_3·b_2_5⁴·b_1_1⁷·b_5_16 + a_2_3·b_2_5⁵·b_1_1·b_9_39
        + a_2_3·b_2_5⁵·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹⁰ + a_2_3·b_2_5⁵·b_10_48
        + a_2_3·b_2_5⁶·b_1_1⁸ + a_2_3·b_2_5⁷·b_1_1⁶ + a_2_3·b_2_5⁸·b_1_1⁴
        + a_2_3·b_2_5⁹·b_1_1² + a_2_3·b_2_4·b_2_5⁴·b_10_47 + a_2_3·b_2_4·b_2_5⁹
        + a_2_3·b_2_4²·b_2_5⁸ + a_2_3·b_2_4³·b_2_5²·b_10_47
        + a_2_3·b_2_4⁴·b_2_5·b_10_47 + a_2_3·b_2_4⁵·b_10_47 + a_2_3·b_2_4⁷·b_2_5³
        + a_2_3·b_2_4⁸·b_2_5² + a_2_3·b_2_4⁹·b_2_5 + a_7_19·a_15_64
        + b_2_4²·b_2_5·a_1_0·a_15_64 + b_2_4¹⁰·a_1_0² + a_2_3·b_5_16·a_15_64
        + a_2_3·b_2_4²·b_2_5·a_14_56 + a_2_3·b_2_4³·a_14_56 + a_2_3·b_2_4⁶·b_2_5·a_6_13
        + a_2_3·b_2_4⁷·a_6_13 + a_2_3²·b_2_5⁴·b_10_48 + a_2_3²·b_2_5⁴·b_10_47
        + a_2_3²·b_2_4·b_2_5³·b_10_47 + a_2_3²·b_2_4·b_2_5⁸
        + a_2_3²·b_2_4²·b_2_5²·b_10_47 + a_2_3²·b_2_4⁴·b_10_47
        + a_2_3²·b_2_4⁴·b_2_5⁵ + a_2_3²·b_2_4⁵·b_2_5⁴ + a_2_3²·b_2_4⁶·b_2_5³
        + a_2_3²·b_2_4⁸·b_2_5 + a_2_3²·b_2_4⁹ + a_2_3·a_6_13·a_14_56
        + a_2_3·b_2_5²·a_1_0·a_15_64 + a_2_3·b_2_4·b_2_5·a_1_0·a_15_64
        + a_2_3·b_2_4²·a_1_0·a_15_64 + a_2_3·b_2_4⁹·a_1_0² + a_2_3²·b_2_4²·a_14_56
        + a_2_3²·b_2_4⁵·b_2_5·a_6_13 + a_2_3²·b_2_4⁶·a_6_13
140. b_2_4·b_2_5⁵·b_10_48 + b_2_4²·b_2_5⁴·b_10_47 + b_2_4²·b_2_5⁹ + b_2_4³·b_2_5⁸
        + b_7_27·a_15_64 + b_10_47·a_12_46 + b_2_5⁵·a_12_46 + b_2_4·b_5_15·a_15_64
        + b_2_4³·b_2_5·a_14_56 + b_2_4⁴·b_2_5·a_12_46 + b_2_4⁷·b_2_5·a_6_13
        + b_2_4⁸·b_2_5·a_4_9 + a_2_3·b_10_47·b_1_1⁵·b_5_16 + a_2_3·b_2_5·b_1_1¹³·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁸ + a_2_3·b_2_5²·b_1_1¹¹·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1·b_5_16 + a_2_3·b_2_5²·b_10_47·b_1_1⁶
        + a_2_3·b_2_5³·b_5_16·b_9_39 + a_2_3·b_2_5³·b_1_1⁹·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1⁴ + a_2_3·b_2_5⁴·b_1_1¹²
        + a_2_3·b_2_5⁵·b_1_1·b_9_39 + a_2_3·b_2_5⁵·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹⁰
        + a_2_3·b_2_5⁵·b_10_48 + a_2_3·b_2_5⁷·b_1_1·b_5_16 + a_2_3·b_2_5⁷·b_1_1⁶
        + a_2_3·b_2_5⁹·b_1_1² + a_2_3·b_2_4³·b_2_5²·b_10_47 + a_2_3·b_2_4³·b_2_5⁷
        + a_2_3·b_2_4⁴·b_2_5·b_10_47 + a_2_3·b_2_4⁴·b_2_5⁶ + a_2_3·b_2_4⁷·b_2_5³
        + a_2_3·b_2_4⁸·b_2_5² + a_2_3·b_2_4⁹·b_2_5 + a_7_19·a_15_64 + b_2_5·a_6_13·a_14_56
        + b_2_4²·b_2_5·a_1_0·a_15_64 + b_2_4¹⁰·a_1_0² + a_2_3·b_5_16·a_15_64
        + a_2_3·b_2_5³·a_14_56 + a_2_3·b_2_4³·a_14_56 + a_2_3·b_2_4⁵·b_2_5²·a_6_13
        + a_2_3·b_2_4⁷·a_6_13 + a_2_3²·b_2_4·b_2_5⁸ + a_2_3²·b_2_4²·b_2_5²·b_10_47
        + a_2_3²·b_2_4³·b_2_5·b_10_47 + a_2_3²·b_2_4³·b_2_5⁶ + a_2_3²·b_2_4⁴·b_10_47
        + a_2_3²·b_2_4⁶·b_2_5³ + a_2_3²·b_2_4⁷·b_2_5² + a_2_3²·b_2_4⁸·b_2_5
        + a_2_3²·b_2_4⁹ + b_2_4⁷·a_6_13·a_1_0² + a_2_3·b_2_4⁹·a_1_0²
        + a_2_3²·b_2_4·b_2_5·a_14_56 + a_2_3²·b_2_4⁵·b_2_5·a_6_13 + a_2_3³·b_2_5⁸
        + a_2_3³·b_2_4⁸ + a_2_3³·b_2_4·a_14_56 + a_2_3·b_2_5·c_16_105·b_1_1²
141. b_10_48·a_12_46 + b_2_4⁴·b_2_5·a_12_46 + b_2_4⁵·a_12_46 + b_2_4⁶·b_2_5²·a_6_13
        + b_2_4⁷·b_2_5·a_6_13 + a_2_3·b_2_5²·b_1_1¹¹·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁶ + a_2_3·b_2_5³·b_5_16·b_9_39
        + a_2_3·b_2_5³·b_1_1⁹·b_5_16 + a_2_3·b_2_5³·b_1_1¹⁴ + a_2_3·b_2_5⁵·b_1_1·b_9_39
        + a_2_3·b_2_5⁵·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁵·b_10_48 + a_2_3·b_2_5⁶·b_1_1⁸
        + a_2_3·b_2_5⁷·b_1_1⁶ + a_2_3·b_2_5⁹·b_1_1² + a_2_3·b_2_4·b_2_5⁴·b_10_47
        + a_2_3·b_2_4·b_2_5⁹ + a_2_3·b_2_4²·b_2_5³·b_10_47 + a_2_3·b_2_4²·b_2_5⁸
        + a_2_3·b_2_4³·b_2_5⁷ + a_2_3·b_2_4⁷·b_2_5³ + a_2_3·b_2_4⁸·b_2_5²
        + a_2_3·b_2_4⁹·b_2_5 + b_2_5·a_6_13·a_14_56 + b_2_4¹⁰·a_1_0²
        + a_2_3·b_2_4·b_2_5²·a_14_56 + a_2_3·b_2_4²·b_2_5·a_14_56 + a_2_3·b_2_4³·a_14_56
        + a_2_3·b_2_4⁶·b_2_5·a_6_13 + a_2_3²·b_2_5⁴·b_10_48 + a_2_3²·b_2_5⁹
        + a_2_3²·b_2_4²·b_2_5²·b_10_47 + a_2_3²·b_2_4²·b_2_5⁷
        + a_2_3²·b_2_4³·b_2_5·b_10_47 + a_2_3²·b_2_4³·b_2_5⁶ + a_2_3²·b_2_4⁴·b_10_48
        + a_2_3²·b_2_4⁴·b_2_5⁵ + a_2_3²·b_2_4⁶·b_2_5³ + a_2_3²·b_2_4⁷·b_2_5²
        + a_2_3²·b_2_4⁹ + b_2_4³·a_14_56·a_1_0² + a_2_3·b_2_5²·a_1_0·a_15_64
        + a_2_3·b_2_4·b_2_5·a_1_0·a_15_64 + a_2_3·b_2_4⁹·a_1_0² + a_2_3²·b_2_5²·a_14_56
        + a_2_3²·b_2_4⁶·a_6_13 + a_2_3³·b_2_5⁸ + a_2_3³·b_2_4⁸ + a_2_3³·b_2_4·a_14_56
        + a_2_3³·c_16_105
142. a_14_56·a_9_25 + b_2_4⁴·a_14_56·a_1_0 + a_2_3·b_2_5·a_14_56·b_5_16
        + a_2_3·b_2_5³·a_15_64 + a_2_3·b_2_4·a_14_56·b_5_16 + a_2_3·b_2_4·a_14_56·b_5_15
        + a_2_3·b_2_4³·a_15_64 + a_2_3·b_2_4⁷·a_7_19 + a_2_3²·b_2_5⁵·b_9_39
        + a_2_3²·b_2_5⁶·b_7_27 + a_2_3²·b_2_5⁷·b_5_16 + a_2_3²·b_2_4²·b_2_5⁴·b_7_27
        + a_2_3²·b_2_4³·b_2_5⁴·b_5_16 + a_2_3²·b_2_4⁴·b_2_5²·b_7_27
        + a_2_3²·b_2_4⁵·b_9_39 + a_2_3²·b_2_4⁵·b_2_5²·b_5_16
        + a_2_3²·b_2_4⁶·b_2_5·b_5_16 + a_2_3²·b_2_4⁷·b_5_16 + a_2_3·b_2_4³·a_14_56·a_1_0
        + a_2_3·b_2_4⁷·a_6_13·a_1_0 + a_2_3²·a_14_56·b_5_15 + a_2_3²·b_2_5²·a_15_64
        + a_2_3²·b_2_4·b_2_5·a_15_64 + a_2_3³·b_2_5⁵·b_7_27
143. a_14_56·b_9_40 + b_2_5·a_14_56·b_7_27 + b_2_5²·a_14_56·b_5_16
        + b_2_4²·a_14_56·b_5_15 + a_2_3·b_10_47·b_1_1⁶·b_5_16 + a_2_3·b_2_5·b_1_1¹⁹
        + a_2_3·b_2_5·b_10_47·b_9_39 + a_2_3·b_2_5·b_10_47·b_1_1⁴·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁹ + a_2_3·b_2_5²·b_1_1¹²·b_5_16
        + a_2_3·b_2_5²·b_1_1¹⁷ + a_2_3·b_2_5²·b_10_47·b_1_1⁷
        + a_2_3·b_2_5³·b_10_47·b_5_16 + a_2_3·b_2_5³·b_10_47·b_1_1⁵
        + a_2_3·b_2_5⁴·b_1_1¹³ + a_2_3·b_2_5⁴·b_10_47·b_1_1³
        + a_2_3·b_2_5⁵·b_1_1⁶·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹¹ + a_2_3·b_2_5⁷·b_7_27
        + a_2_3·b_2_5⁷·b_1_1²·b_5_16 + a_2_3·b_2_5⁷·b_1_1⁷ + a_2_3·b_2_5⁸·b_5_16
        + a_2_3·b_2_5⁸·b_1_1⁵ + a_2_3·b_2_5¹⁰·b_1_1 + a_2_3·b_2_4·b_2_5⁶·b_7_27
        + a_2_3·b_2_4²·b_2_5⁵·b_7_27 + a_2_3·b_2_4²·b_2_5⁶·b_5_16 + a_2_3·b_2_4⁶·b_9_39
        + a_2_3·b_2_4⁶·b_2_5²·b_5_16 + a_2_3·b_2_4⁷·b_2_5·b_5_16 + b_2_4⁴·a_14_56·a_1_0
        + a_2_3·b_2_5·a_14_56·b_5_16 + a_2_3·b_2_5³·a_15_64 + a_2_3·b_2_4·a_14_56·b_5_15
        + a_2_3·b_2_4⁷·a_7_19 + a_2_3·b_2_4⁹·b_2_5·a_1_0 + a_2_3²·b_2_5⁵·b_9_39
        + a_2_3²·b_2_4·b_2_5⁵·b_7_27 + a_2_3²·b_2_4·b_2_5⁶·b_5_16
        + a_2_3²·b_2_4²·b_2_5⁵·b_5_16 + a_2_3²·b_2_4³·b_2_5³·b_7_27
        + a_2_3²·b_2_4³·b_2_5⁴·b_5_16 + a_2_3²·b_2_4⁴·b_2_5²·b_7_27
        + a_2_3²·b_2_4⁵·b_9_39 + a_2_3²·b_2_4⁵·b_2_5²·b_5_16
        + a_2_3·b_2_4²·b_2_5·a_14_56·a_1_0 + a_2_3²·b_2_4·b_2_5·a_15_64
        + a_2_3³·b_2_5⁵·b_7_27 + a_2_3²·b_2_4²·a_14_56·a_1_0 + a_2_3·c_16_105·b_1_1⁵
        + a_2_3·b_2_5²·c_16_105·b_1_1 + a_2_3²·b_2_5·c_16_105·a_1_0
        + a_2_3³·c_16_105·a_1_0
144. a_14_56·b_9_39 + b_2_5²·a_14_56·b_5_16 + b_2_5³·a_12_46·b_5_16 + b_2_5⁴·a_15_64
        + b_2_4·a_14_56·b_7_27 + b_2_4·b_2_5·a_14_56·b_5_16 + b_2_4²·a_14_56·b_5_15
        + b_2_4³·b_2_5·a_15_64 + a_2_3·b_10_47·b_1_1⁶·b_5_16 + a_2_3·b_2_5·b_1_1¹⁹
        + a_2_3·b_2_5·b_10_47·b_9_39 + a_2_3·b_2_5·b_10_47·b_1_1⁴·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁹ + a_2_3·b_2_5²·b_1_1¹⁷
        + a_2_3·b_2_5²·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5³·b_1_1¹⁵
        + a_2_3·b_2_5⁴·b_10_47·b_1_1³ + a_2_3·b_2_5⁵·b_1_1⁶·b_5_16
        + a_2_3·b_2_5⁶·b_9_40 + a_2_3·b_2_5⁶·b_1_1⁴·b_5_16 + a_2_3·b_2_5⁷·b_1_1²·b_5_16
        + a_2_3·b_2_5⁹·b_1_1³ + a_2_3·b_2_5¹⁰·b_1_1 + a_2_3·b_2_4·b_2_5⁶·b_7_27
        + a_2_3·b_2_4·b_2_5⁷·b_5_16 + a_2_3·b_2_4²·b_2_5⁵·b_7_27
        + a_2_3·b_2_4²·b_2_5⁶·b_5_16 + a_2_3·b_2_4³·b_2_5⁴·b_7_27
        + a_2_3·b_2_4⁴·b_2_5⁴·b_5_16 + a_2_3·b_2_4⁵·b_2_5³·b_5_16 + a_2_3·b_2_4⁶·b_9_39
        + a_2_3·b_2_4⁷·b_7_27 + a_2_3·b_2_4⁷·b_2_5·b_5_16 + a_2_3·b_2_4⁸·b_5_16
        + a_14_56·a_9_25 + b_2_4⁴·a_14_56·a_1_0 + b_2_4⁸·a_6_13·a_1_0
        + a_2_3·b_2_5·a_14_56·b_5_16 + a_2_3·b_2_4·a_14_56·b_5_16
        + a_2_3·b_2_4·a_14_56·b_5_15 + a_2_3²·b_2_5⁵·b_9_39 + a_2_3²·b_2_5⁶·b_7_27
        + a_2_3²·b_2_5⁷·b_5_16 + a_2_3²·b_2_4·b_2_5⁵·b_7_27
        + a_2_3²·b_2_4²·b_2_5⁵·b_5_16 + a_2_3²·b_2_4³·b_2_5³·b_7_27
        + a_2_3²·b_2_4⁵·b_2_5·b_7_27 + a_2_3²·b_2_4⁶·b_2_5·b_5_16
        + a_2_3²·b_2_4⁷·b_5_15 + b_2_4³·a_1_0²·a_15_64 + b_2_4¹⁰·a_1_0³
        + a_2_3·b_2_4⁷·a_6_13·a_1_0 + a_2_3²·b_2_4²·a_15_64 + a_2_3²·b_2_4⁶·a_7_19
        + a_2_3²·b_2_4²·a_14_56·a_1_0 + a_2_3·c_16_105·b_1_1⁵
        + a_2_3·b_2_5²·c_16_105·b_1_1 + a_6_13·c_16_105·a_1_0
        + a_2_3·b_2_4·b_2_5·c_16_105·a_1_0 + a_2_3·b_2_4²·c_16_105·a_1_0
145. a_12_46² + b_2_4¹¹·a_1_0² + a_2_3²·b_2_4²·b_2_5⁸ + a_2_3²·b_2_4³·b_2_5⁷
        + a_2_3²·b_2_4⁶·b_2_5⁴ + a_2_3²·b_2_4⁸·b_2_5² + b_2_4⁸·a_6_13·a_1_0²
146. a_9_25·a_15_64 + b_2_4⁴·a_1_0·a_15_64 + a_2_3·b_2_5·b_5_16·a_15_64
        + a_2_3·b_2_5⁴·a_14_56 + a_2_3·b_2_4·b_5_16·a_15_64 + a_2_3·b_2_4·b_5_15·a_15_64
        + a_2_3·b_2_4⁴·a_14_56 + a_2_3·b_2_4⁸·a_6_13 + a_2_3²·b_2_5⁵·b_10_47
        + a_2_3²·b_2_4·b_2_5⁴·b_10_47 + a_2_3²·b_2_4³·b_2_5²·b_10_47
        + a_2_3²·b_2_4⁴·b_2_5⁶ + a_2_3²·b_2_4⁵·b_10_48 + a_2_3²·b_2_4⁶·b_2_5⁴
        + a_2_3²·b_2_4⁸·b_2_5² + a_2_3²·b_2_4⁹·b_2_5 + a_2_3·b_2_5·a_6_13·a_14_56
        + a_2_3·b_2_4²·b_2_5·a_1_0·a_15_64 + a_2_3²·b_5_16·a_15_64 + a_2_3²·b_5_15·a_15_64
        + a_2_3²·b_2_4³·a_14_56 + a_2_3²·b_2_4⁶·b_2_5·a_6_13 + a_2_3³·b_2_5⁹
        + a_2_3³·b_2_4²·a_14_56
147. b_10_48·a_14_56 + b_10_47·a_14_56 + b_2_5·b_7_27·a_15_64 + b_2_5⁵·a_14_56
        + b_2_4·b_7_27·a_15_64 + b_2_4²·b_5_15·a_15_64 + b_2_4⁵·a_14_56
        + b_2_4⁷·b_2_5²·a_6_13 + b_2_4⁸·b_2_5·a_6_13 + a_2_3·b_10_47·b_1_1⁷·b_5_16
        + a_2_3·b_10_47²·b_1_1² + a_2_3·b_2_5·b_10_47·b_1_1⁵·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1¹⁰ + a_2_3·b_2_5·b_10_47²
        + a_2_3·b_2_5²·b_10_47·b_1_1³·b_5_16 + a_2_3·b_2_5²·b_10_47·b_1_1⁸
        + a_2_3·b_2_5³·b_1_1¹⁶ + a_2_3·b_2_5³·b_10_47·b_1_1·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1⁶ + a_2_3·b_2_5⁶·b_10_48 + a_2_3·b_2_5⁶·b_10_47
        + a_2_3·b_2_5⁷·b_1_1⁸ + a_2_3·b_2_5⁸·b_1_1·b_5_16 + a_2_3·b_2_5⁸·b_1_1⁶
        + a_2_3·b_2_5⁹·b_1_1⁴ + a_2_3·b_2_4·b_2_5⁵·b_10_47 + a_2_3·b_2_4·b_2_5¹⁰
        + a_2_3·b_2_4⁴·b_2_5²·b_10_47 + a_2_3·b_2_4⁴·b_2_5⁷
        + a_2_3·b_2_4⁵·b_2_5·b_10_47 + a_2_3·b_2_4⁶·b_10_48 + a_2_3·b_2_4⁷·b_2_5⁴
        + a_2_3·b_2_4⁸·b_2_5³ + a_2_3·b_2_4⁹·b_2_5² + a_2_3·b_2_4¹¹
        + b_2_4³·b_2_5·a_1_0·a_15_64 + b_2_4⁴·a_1_0·a_15_64 + a_2_3·b_2_4·b_5_15·a_15_64
        + a_2_3·b_2_4·b_2_5³·a_14_56 + a_2_3·b_2_4²·b_2_5²·a_14_56
        + a_2_3·b_2_4⁶·b_2_5²·a_6_13 + a_2_3·b_2_4⁷·b_2_5·a_6_13 + a_2_3²·b_2_5⁵·b_10_47
        + a_2_3²·b_2_5¹⁰ + a_2_3²·b_2_4⁴·b_2_5·b_10_47 + a_2_3²·b_2_4⁸·b_2_5²
        + a_2_3²·b_2_4⁹·b_2_5 + a_2_3²·b_2_4¹⁰ + a_2_3·b_2_4²·b_2_5·a_1_0·a_15_64
        + a_2_3·b_2_4³·a_1_0·a_15_64 + a_2_3²·b_5_16·a_15_64 + a_2_3²·b_2_4³·a_14_56
        + a_2_3²·b_2_4⁷·a_6_13 + a_2_3³·b_2_5⁹ + a_2_3³·b_2_4²·a_14_56
        + a_2_3·b_2_5²·c_16_105·b_1_1² + a_2_3³·b_2_5·c_16_105
148. b_9_40·a_15_64 + b_9_39·a_15_64 + b_10_47·a_14_56 + b_2_5²·b_5_16·a_15_64
        + b_2_5⁵·a_14_56 + b_2_4²·b_5_16·a_15_64 + b_2_4²·b_5_15·a_15_64
        + b_2_4²·b_2_5³·a_14_56 + b_2_4³·b_2_5²·a_14_56 + b_2_4⁴·b_2_5·a_14_56
        + a_2_3·b_10_47·b_1_1⁷·b_5_16 + a_2_3·b_10_47²·b_1_1²
        + a_2_3·b_2_5·b_10_47·b_1_1⁵·b_5_16 + a_2_3·b_2_5·b_10_47·b_1_1¹⁰
        + a_2_3·b_2_5·b_10_47² + a_2_3·b_2_5²·b_1_1¹³·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1⁶ + a_2_3·b_2_5⁴·b_5_16·b_9_39
        + a_2_3·b_2_5⁴·b_1_1⁹·b_5_16 + a_2_3·b_2_5⁴·b_10_47·b_1_1⁴
        + a_2_3·b_2_5⁵·b_1_1⁷·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹²
        + a_2_3·b_2_5⁵·b_10_47·b_1_1² + a_2_3·b_2_5⁶·b_1_1·b_9_39
        + a_2_3·b_2_5⁶·b_1_1¹⁰ + a_2_3·b_2_5⁶·b_10_48 + a_2_3·b_2_5⁶·b_10_47
        + a_2_3·b_2_5⁸·b_1_1⁶ + a_2_3·b_2_5¹⁰·b_1_1² + a_2_3·b_2_4²·b_2_5⁴·b_10_47
        + a_2_3·b_2_4²·b_2_5⁹ + a_2_3·b_2_4³·b_2_5³·b_10_47 + a_2_3·b_2_4³·b_2_5⁸
        + a_2_3·b_2_4⁴·b_2_5⁷ + a_2_3·b_2_4⁵·b_2_5·b_10_47 + a_2_3·b_2_4⁶·b_10_48
        + a_2_3·b_2_4⁶·b_10_47 + a_2_3·b_2_4⁶·b_2_5⁵ + a_2_3·b_2_4⁷·b_2_5⁴
        + a_2_3·b_2_4⁸·b_2_5³ + a_2_3·b_2_4¹⁰·b_2_5 + a_2_3·b_2_4¹¹
        + b_2_4³·b_2_5·a_1_0·a_15_64 + b_2_4⁴·a_1_0·a_15_64 + b_2_4¹¹·a_1_0²
        + a_2_3·b_7_27·a_15_64 + a_2_3·b_2_5⁴·a_14_56 + a_2_3·b_2_4·b_5_16·a_15_64
        + a_2_3·b_2_4⁴·a_14_56 + a_2_3·b_2_4⁶·b_2_5²·a_6_13 + a_2_3·b_2_4⁷·b_2_5·a_6_13
        + a_2_3²·b_2_5⁵·b_10_47 + a_2_3²·b_2_5¹⁰ + a_2_3²·b_2_4·b_2_5⁹
        + a_2_3²·b_2_4⁹·b_2_5 + b_2_4⁴·a_14_56·a_1_0² + b_2_4⁸·a_6_13·a_1_0²
        + a_2_3²·b_5_16·a_15_64 + a_2_3²·b_5_15·a_15_64 + a_2_3²·b_2_5³·a_14_56
        + a_2_3²·b_2_4·b_2_5²·a_14_56 + a_2_3²·b_2_4²·b_2_5·a_14_56
        + a_2_3²·b_2_4³·a_14_56 + a_2_3²·b_2_4⁶·b_2_5·a_6_13 + a_2_3²·b_2_4⁷·a_6_13
        + a_2_3³·b_2_5⁴·b_10_47 + a_2_3³·b_2_4⁹ + a_2_3·b_2_5²·c_16_105·b_1_1²
        + b_2_4³·c_16_105·a_1_0² + a_2_3²·b_2_4²·c_16_105 + a_2_3³·b_2_4·c_16_105
149. b_9_40·a_15_64 + b_2_5·b_7_27·a_15_64 + b_2_5²·b_5_16·a_15_64
        + b_2_4²·b_5_15·a_15_64 + a_2_3·b_10_47²·b_1_1² + a_2_3·b_2_5·b_1_1²⁰
        + a_2_3·b_2_5²·b_10_47·b_1_1³·b_5_16 + a_2_3·b_2_5³·b_1_1¹¹·b_5_16
        + a_2_3·b_2_5³·b_10_47·b_1_1·b_5_16 + a_2_3·b_2_5³·b_10_47·b_1_1⁶
        + a_2_3·b_2_5⁵·b_1_1⁷·b_5_16 + a_2_3·b_2_5⁵·b_1_1¹²
        + a_2_3·b_2_5⁶·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁷·b_1_1³·b_5_16
        + a_2_3·b_2_5⁸·b_1_1·b_5_16 + a_2_3·b_2_5⁸·b_1_1⁶ + a_2_3·b_2_5⁹·b_1_1⁴
        + b_2_4³·b_2_5·a_1_0·a_15_64 + b_2_4⁴·a_1_0·a_15_64 + a_2_3·b_7_27·a_15_64
        + a_2_3·b_2_5⁴·a_14_56 + a_2_3·b_2_4·b_5_16·a_15_64 + a_2_3·b_2_4⁴·a_14_56
        + a_2_3·b_2_4⁸·a_6_13 + a_2_3²·b_2_5⁵·b_10_47 + a_2_3²·b_2_4·b_2_5⁴·b_10_47
        + a_2_3²·b_2_4³·b_2_5²·b_10_47 + a_2_3²·b_2_4⁴·b_2_5⁶
        + a_2_3²·b_2_4⁵·b_10_48 + a_2_3²·b_2_4⁶·b_2_5⁴ + a_2_3²·b_2_4⁸·b_2_5²
        + a_2_3²·b_2_4⁹·b_2_5 + a_2_3·b_2_5·a_6_13·a_14_56
        + a_2_3·b_2_4²·b_2_5·a_1_0·a_15_64 + a_2_3²·b_5_16·a_15_64
        + a_2_3²·b_2_5³·a_14_56 + a_2_3²·b_2_4·b_2_5²·a_14_56
        + a_2_3²·b_2_4²·b_2_5·a_14_56 + a_2_3²·b_2_4⁷·a_6_13 + a_2_3³·b_2_5⁴·b_10_47
        + a_2_3³·b_2_5⁹ + a_2_3³·b_2_4²·a_14_56 + a_2_3·c_16_105·b_1_1⁶
        + a_2_3·b_2_5·c_16_105·b_1_1⁴
150. b_9_40·a_15_64 + b_9_39·a_15_64 + b_2_5·b_7_27·a_15_64 + b_2_5⁵·a_14_56
        + b_2_5⁶·a_12_46 + b_2_4·b_7_27·a_15_64 + b_2_4·b_2_5·b_5_16·a_15_64
        + b_2_4⁴·b_2_5·a_14_56 + b_2_4⁵·b_2_5·a_12_46 + a_2_3·b_2_5²·b_1_1¹³·b_5_16
        + a_2_3·b_2_5²·b_10_47·b_1_1⁸ + a_2_3·b_2_5³·b_1_1¹⁶
        + a_2_3·b_2_5³·b_10_47·b_1_1·b_5_16 + a_2_3·b_2_5³·b_10_47·b_1_1⁶
        + a_2_3·b_2_5⁴·b_1_1⁹·b_5_16 + a_2_3·b_2_5⁴·b_1_1¹⁴
        + a_2_3·b_2_5⁶·b_1_1⁵·b_5_16 + a_2_3·b_2_5⁶·b_1_1¹⁰ + a_2_3·b_2_5⁶·b_10_48
        + a_2_3·b_2_5⁶·b_10_47 + a_2_3·b_2_5⁷·b_1_1⁸ + a_2_3·b_2_5⁸·b_1_1·b_5_16
        + a_2_3·b_2_5⁹·b_1_1⁴ + a_2_3·b_2_5¹⁰·b_1_1² + a_2_3·b_2_4·b_2_5⁵·b_10_47
        + a_2_3·b_2_4·b_2_5¹⁰ + a_2_3·b_2_4³·b_2_5⁸ + a_2_3·b_2_4⁴·b_2_5⁷
        + a_2_3·b_2_4⁷·b_2_5⁴ + a_2_3·b_2_4⁸·b_2_5³ + a_2_3·b_2_4¹⁰·b_2_5
        + b_2_4³·b_2_5·a_1_0·a_15_64 + a_2_3·b_2_4·b_5_15·a_15_64
        + a_2_3·b_2_4·b_2_5³·a_14_56 + a_2_3·b_2_4²·b_2_5²·a_14_56 + a_2_3·b_2_4⁴·a_14_56
        + a_2_3·b_2_4⁶·b_2_5²·a_6_13 + a_2_3·b_2_4⁷·b_2_5·a_6_13 + a_2_3·b_2_4⁸·a_6_13
        + a_2_3²·b_2_5⁵·b_10_48 + a_2_3²·b_2_4³·b_2_5⁷ + a_2_3²·b_2_4⁴·b_2_5⁶
        + a_2_3²·b_2_4⁵·b_10_48 + a_2_3²·b_2_4⁶·b_2_5⁴ + a_2_3²·b_2_4⁷·b_2_5³
        + a_2_3²·b_2_4⁸·b_2_5² + a_2_3²·b_2_4¹⁰ + b_2_4⁴·a_14_56·a_1_0²
        + a_2_3·b_2_4¹⁰·a_1_0² + a_2_3²·b_5_16·a_15_64 + a_2_3²·b_2_5³·a_14_56
        + a_2_3²·b_2_4·b_2_5²·a_14_56 + a_2_3³·b_2_5⁹ + a_2_3³·b_2_4²·a_14_56
        + b_2_4³·c_16_105·a_1_0² + a_2_3·a_6_13·c_16_105 + a_2_3²·b_2_4·b_2_5·c_16_105
        + a_6_13·c_16_105·a_1_0² + a_2_3·b_2_4²·c_16_105·a_1_0²
151. b_10_48·a_15_64 + b_10_47·a_15_64 + b_2_5²·a_14_56·b_7_27 + b_2_5⁵·a_15_64
        + b_2_4·b_2_5·a_14_56·b_7_27 + b_2_4²·b_2_5·a_14_56·b_5_16 + b_2_4²·b_2_5³·a_15_64
        + b_2_4⁴·b_2_5·a_15_64 + b_2_4⁵·a_15_64 + a_2_3·b_10_47·b_1_1⁸·b_5_16
        + a_2_3·b_2_5·b_10_47·b_1_1⁶·b_5_16 + a_2_3·b_2_5·b_10_47²·b_1_1
        + a_2_3·b_2_5²·b_10_47·b_9_39 + a_2_3·b_2_5²·b_10_47·b_1_1⁴·b_5_16
        + a_2_3·b_2_5³·b_1_1¹⁷ + a_2_3·b_2_5³·b_10_47·b_1_1²·b_5_16
        + a_2_3·b_2_5⁴·b_1_1¹⁰·b_5_16 + a_2_3·b_2_5⁴·b_1_1¹⁵
        + a_2_3·b_2_5⁴·b_10_47·b_5_16 + a_2_3·b_2_5⁴·b_10_47·b_1_1⁵
        + a_2_3·b_2_5⁵·b_1_1¹³ + a_2_3·b_2_5⁵·b_10_47·b_1_1³ + a_2_3·b_2_5⁷·b_9_40
        + a_2_3·b_2_5⁷·b_1_1⁹ + a_2_3·b_2_5⁸·b_7_27 + a_2_3·b_2_5¹⁰·b_1_1³
        + a_2_3·b_2_5¹¹·b_1_1 + a_2_3·b_2_4·b_2_5⁷·b_7_27 + a_2_3·b_2_4·b_2_5⁸·b_5_16
        + a_2_3·b_2_4²·b_2_5⁶·b_7_27 + a_2_3·b_2_4³·b_2_5⁶·b_5_16
        + a_2_3·b_2_4⁴·b_2_5⁴·b_7_27 + a_2_3·b_2_4⁵·b_2_5³·b_7_27
        + a_2_3·b_2_4⁶·b_2_5³·b_5_16 + a_2_3·b_2_4⁷·b_9_39 + a_2_3·b_2_4⁷·b_2_5²·b_5_16
        + a_2_3·b_2_4⁸·b_7_27 + a_2_3·b_2_4⁸·b_2_5·b_5_16 + a_2_3·b_2_4⁹·b_5_15
        + a_2_3·b_2_5⁴·a_15_64 + a_2_3·b_2_4·a_14_56·b_7_27
        + a_2_3·b_2_4·b_2_5·a_14_56·b_5_16 + a_2_3·b_2_4²·a_14_56·b_5_16
        + a_2_3·b_2_4²·a_14_56·b_5_15 + a_2_3·b_2_4³·b_2_5·a_15_64 + a_2_3·b_2_4¹¹·a_1_0
        + a_2_3²·b_2_5⁷·b_7_27 + a_2_3²·b_2_5⁸·b_5_16 + a_2_3²·b_2_4·b_2_5⁶·b_7_27
        + a_2_3²·b_2_4²·b_2_5⁶·b_5_16 + a_2_3²·b_2_4³·b_2_5⁵·b_5_16
        + a_2_3²·b_2_4⁵·b_2_5²·b_7_27 + a_2_3²·b_2_4⁷·b_7_27 + a_2_3²·b_2_4⁸·b_5_16
        + b_2_4⁴·a_1_0²·a_15_64 + a_2_3·b_2_4³·b_2_5·a_14_56·a_1_0
        + a_2_3·b_2_4⁸·a_6_13·a_1_0 + a_2_3²·b_2_5³·a_15_64 + a_2_3²·b_2_4·a_14_56·b_5_16
        + a_2_3²·b_2_4·a_14_56·b_5_15 + a_2_3²·b_2_4⁷·a_7_19 + a_2_3²·b_2_4¹⁰·a_1_0
        + a_2_3²·b_2_4³·a_14_56·a_1_0 + a_2_3·b_2_5²·c_16_105·b_1_1³
        + a_2_3²·b_2_5²·c_16_105·a_1_0
152. b_10_48·a_15_64 + b_2_4·b_2_5·a_14_56·b_7_27 + b_2_4·b_2_5²·a_14_56·b_5_16
        + b_2_4·b_2_5⁴·a_15_64 + b_2_4²·a_14_56·b_7_27 + b_2_4²·b_2_5·a_14_56·b_5_16
        + b_2_4²·b_2_5³·a_15_64 + b_2_4³·a_14_56·b_5_15 + b_2_4⁴·b_2_5·a_15_64
        + b_2_4⁵·a_15_64 + a_2_3·b_2_5²·b_10_47·b_9_39 + a_2_3·b_2_5³·b_1_1¹⁷
        + a_2_3·b_2_5³·b_10_47·b_1_1²·b_5_16 + a_2_3·b_2_5³·b_10_47·b_1_1⁷
        + a_2_3·b_2_5⁴·b_1_1¹⁵ + a_2_3·b_2_5⁴·b_10_47·b_5_16 + a_2_3·b_2_5⁶·b_1_1¹¹
        + a_2_3·b_2_5⁶·b_10_47·b_1_1 + a_2_3·b_2_5⁷·b_9_40 + a_2_3·b_2_5⁷·b_1_1⁹
        + a_2_3·b_2_5⁸·b_1_1²·b_5_16 + a_2_3·b_2_5¹⁰·b_1_1³ + a_2_3·b_2_5¹¹·b_1_1
        + a_2_3·b_2_4·b_2_5⁷·b_7_27 + a_2_3·b_2_4·b_2_5⁸·b_5_16
        + a_2_3·b_2_4⁴·b_2_5⁴·b_7_27 + a_2_3·b_2_4⁵·b_2_5³·b_7_27
        + a_2_3·b_2_4⁵·b_2_5⁴·b_5_16 + a_2_3·b_2_4⁶·b_2_5²·b_7_27
        + a_2_3·b_2_4⁶·b_2_5³·b_5_16 + a_2_3·b_2_4⁷·b_2_5·b_7_27
        + a_2_3·b_2_4⁷·b_2_5²·b_5_16 + a_2_3·b_2_4⁸·b_2_5·b_5_16 + a_2_3·b_2_4⁹·b_5_15
        + b_2_4⁹·a_6_13·a_1_0 + a_2_3·b_2_5⁴·a_15_64 + a_2_3·b_2_4·a_14_56·b_7_27
        + a_2_3·b_2_4·b_2_5³·a_15_64 + a_2_3·b_2_4²·a_14_56·b_5_16
        + a_2_3·b_2_4²·a_14_56·b_5_15 + a_2_3·b_2_4²·b_2_5²·a_15_64
        + a_2_3²·b_2_5⁶·b_9_39 + a_2_3²·b_2_5⁷·b_7_27 + a_2_3²·b_2_5⁸·b_5_16
        + a_2_3²·b_2_4·b_2_5⁶·b_7_27 + a_2_3²·b_2_4²·b_2_5⁵·b_7_27
        + a_2_3²·b_2_4³·b_2_5⁵·b_5_16 + a_2_3²·b_2_4⁵·b_2_5³·b_5_16
        + a_2_3²·b_2_4⁷·b_2_5·b_5_16 + b_2_4¹¹·a_1_0³
        + a_2_3·b_2_4³·b_2_5·a_14_56·a_1_0 + a_2_3²·b_2_5·a_14_56·b_5_16
        + a_2_3²·b_2_4·a_14_56·b_5_15 + a_2_3²·b_2_4·b_2_5²·a_15_64
        + a_2_3²·b_2_4³·a_15_64 + a_2_3³·b_2_5⁶·b_7_27 + a_2_3³·b_2_4⁶·b_7_27
        + a_2_3·b_2_5²·c_16_105·b_1_1³ + a_2_3·c_16_105·a_7_19
        + a_2_3·b_2_4²·b_2_5·c_16_105·a_1_0 + a_2_3²·c_16_105·b_5_16
        + a_2_3²·c_16_105·b_5_15 + b_2_4³·c_16_105·a_1_0³
153. a_12_46·a_14_56 + b_2_4⁵·a_1_0·a_15_64 + b_2_4¹²·a_1_0²
        + a_2_3·b_2_4·b_7_27·a_15_64 + a_2_3·b_2_4·b_2_5⁴·a_14_56
        + a_2_3·b_2_4²·b_5_16·a_15_64 + a_2_3·b_2_4²·b_5_15·a_15_64
        + a_2_3·b_2_4³·b_2_5²·a_14_56 + a_2_3·b_2_4⁴·b_2_5·a_14_56
        + a_2_3·b_2_4⁷·b_2_5²·a_6_13 + a_2_3·b_2_4⁸·b_2_5·a_6_13 + a_2_3·b_2_4⁹·a_6_13
        + a_2_3²·b_2_5⁶·b_10_48 + a_2_3²·b_2_4²·b_2_5⁹
        + a_2_3²·b_2_4³·b_2_5³·b_10_47 + a_2_3²·b_2_4³·b_2_5⁸
        + a_2_3²·b_2_4⁸·b_2_5³ + b_2_4⁹·a_6_13·a_1_0²
        + a_2_3·b_2_4³·b_2_5·a_1_0·a_15_64 + a_2_3·b_2_4⁴·a_1_0·a_15_64
        + a_2_3·b_2_4¹¹·a_1_0² + a_2_3²·b_7_27·a_15_64 + a_2_3²·b_2_4·b_5_15·a_15_64
        + a_2_3²·b_2_4²·b_2_5²·a_14_56 + a_2_3²·b_2_4³·b_2_5·a_14_56
        + a_2_3²·b_2_4⁴·a_14_56 + a_2_3³·b_2_5¹⁰ + a_2_3³·b_2_4¹⁰
        + a_2_3³·b_2_4³·a_14_56 + a_2_3²·a_6_13·c_16_105 + a_2_3³·b_2_4·b_2_5·c_16_105
        + a_2_3³·b_2_4²·c_16_105
154. a_12_46·a_15_64 + b_2_4⁶·a_14_56·a_1_0 + b_2_4¹⁰·a_6_13·a_1_0
        + a_2_3·b_2_4·b_2_5·a_14_56·b_7_27 + a_2_3·b_2_4·b_2_5⁴·a_15_64
        + a_2_3·b_2_4²·b_2_5·a_14_56·b_5_16 + a_2_3·b_2_4¹¹·b_2_5·a_1_0
        + a_2_3·b_2_4¹²·a_1_0 + a_2_3²·b_2_4·b_2_5⁷·b_7_27
        + a_2_3²·b_2_4⁴·b_2_5⁴·b_7_27 + a_2_3²·b_2_4⁵·b_2_5³·b_7_27
        + a_2_3²·b_2_4⁶·b_2_5²·b_7_27 + a_2_3²·b_2_4⁶·b_2_5³·b_5_16
        + a_2_3²·b_2_4⁷·b_9_39 + a_2_3²·b_2_4⁷·b_2_5·b_7_27 + a_2_3²·b_2_4⁹·b_5_16
        + b_2_4⁵·a_1_0²·a_15_64 + a_2_3·b_2_4⁵·a_14_56·a_1_0 + a_2_3²·b_2_5⁴·a_15_64
        + a_2_3²·b_2_4·a_14_56·b_7_27 + a_2_3²·b_2_4·b_2_5³·a_15_64
        + a_2_3²·b_2_4²·a_14_56·b_5_15 + a_2_3²·b_2_4⁸·a_7_19 + a_2_3³·b_2_5⁷·b_7_27
        + a_2_3³·b_2_4⁷·b_7_27 + a_2_3³·a_14_56·b_7_27 + a_2_3²·c_16_105·a_7_19
        + a_2_3²·b_2_4³·c_16_105·a_1_0 + a_2_3³·c_16_105·b_5_16
155. a_14_56² + b_2_4¹³·a_1_0² + a_2_3·b_2_4·b_2_5²·b_5_16·a_15_64
        + a_2_3·b_2_4·b_2_5⁵·a_14_56 + a_2_3·b_2_4²·b_2_5·b_5_16·a_15_64
        + a_2_3·b_2_4³·b_5_16·a_15_64 + a_2_3·b_2_4⁴·b_2_5²·a_14_56
        + a_2_3·b_2_4⁸·b_2_5²·a_6_13 + a_2_3·b_2_4⁹·b_2_5·a_6_13 + a_2_3²·b_2_5¹²
        + a_2_3²·b_2_4·b_2_5⁶·b_10_47 + a_2_3²·b_2_4²·b_2_5⁵·b_10_47
        + a_2_3²·b_2_4³·b_2_5⁴·b_10_47 + a_2_3²·b_2_4⁴·b_2_5⁸
        + a_2_3²·b_2_4⁶·b_2_5⁶ + a_2_3²·b_2_4⁷·b_10_47 + a_2_3²·b_2_4⁹·b_2_5³
        + a_2_3²·b_2_4¹¹·b_2_5 + b_2_4¹⁰·a_6_13·a_1_0² + a_2_3²·b_2_5²·b_5_16·a_15_64
        + a_2_3²·b_2_5⁵·a_14_56 + a_2_3²·b_2_4·b_7_27·a_15_64
        + a_2_3²·b_2_4·b_2_5·b_5_16·a_15_64 + a_2_3²·b_2_4²·b_5_16·a_15_64
        + a_2_3²·b_2_4⁴·b_2_5·a_14_56 + a_2_3²·b_2_4⁵·a_14_56
        + a_2_3²·b_2_4⁸·b_2_5·a_6_13 + a_2_3²·b_2_4⁹·a_6_13 + a_2_3³·b_2_5⁶·b_10_47
        + a_2_3³·b_2_4¹¹ + b_2_4⁵·c_16_105·a_1_0² + a_2_3²·b_2_4·b_2_5³·c_16_105
        + a_2_3²·b_2_4²·b_2_5²·c_16_105 + a_2_3²·b_2_4⁴·c_16_105
        + c_16_105·a_1_0³·b_9_39 + b_2_4²·a_6_13·c_16_105·a_1_0²
        + a_2_3²·b_2_5·a_6_13·c_16_105 + a_2_3³·b_2_4²·b_2_5·c_16_105
156. a_14_56·a_15_64 + b_2_4⁷·a_14_56·a_1_0 + b_2_4¹¹·a_6_13·a_1_0
        + a_2_3·b_2_5³·a_14_56·b_7_27 + a_2_3·b_2_5⁶·a_15_64
        + a_2_3·b_2_4·b_2_5²·a_14_56·b_7_27 + a_2_3·b_2_4·b_2_5⁵·a_15_64
        + a_2_3·b_2_4²·b_2_5·a_14_56·b_7_27 + a_2_3·b_2_4²·b_2_5²·a_14_56·b_5_16
        + a_2_3·b_2_4³·a_14_56·b_7_27 + a_2_3·b_2_4³·b_2_5·a_14_56·b_5_16
        + a_2_3·b_2_4⁴·a_14_56·b_5_16 + a_2_3·b_2_4⁴·a_14_56·b_5_15
        + a_2_3·b_2_4⁵·b_2_5·a_15_64 + a_2_3·b_2_4⁶·a_15_64 + a_2_3·b_2_4¹⁰·a_7_19
        + a_2_3·b_2_4¹²·b_2_5·a_1_0 + a_2_3²·b_2_5⁹·b_7_27
        + a_2_3²·b_2_4³·b_2_5⁷·b_5_16 + a_2_3²·b_2_4⁴·b_2_5⁵·b_7_27
        + a_2_3²·b_2_4⁵·b_2_5⁴·b_7_27 + a_2_3²·b_2_4⁵·b_2_5⁵·b_5_16
        + a_2_3²·b_2_4⁶·b_2_5³·b_7_27 + a_2_3²·b_2_4⁶·b_2_5⁴·b_5_16
        + a_2_3²·b_2_4⁷·b_2_5³·b_5_16 + a_2_3²·b_2_4⁸·b_2_5²·b_5_16
        + a_2_3²·b_2_4⁹·b_2_5·b_5_16 + a_2_3²·b_2_4¹⁰·b_5_16 + b_2_4⁶·a_1_0²·a_15_64
        + a_2_3·b_2_4⁶·a_14_56·a_1_0 + a_2_3²·b_2_5⁵·a_15_64
        + a_2_3²·b_2_4·b_2_5²·a_14_56·b_5_16 + a_2_3²·b_2_4²·a_14_56·b_7_27
        + a_2_3²·b_2_4³·a_14_56·b_5_16 + a_2_3²·b_2_4³·a_14_56·b_5_15
        + a_2_3²·b_2_4³·b_2_5²·a_15_64 + a_2_3²·b_2_4⁴·b_2_5·a_15_64
        + a_2_3²·b_2_4⁹·a_7_19 + a_2_3²·b_2_4¹²·a_1_0 + a_2_3³·b_2_5⁸·b_7_27
        + a_2_3³·b_2_4·a_14_56·b_7_27 + b_2_4³·a_6_13·c_16_105·a_1_0
        + a_2_3·b_2_4²·c_16_105·a_7_19 + a_2_3·b_2_4⁵·c_16_105·a_1_0
        + a_2_3²·b_2_4·b_2_5·c_16_105·b_5_16 + a_2_3²·b_2_4²·c_16_105·b_5_16
        + a_2_3²·b_2_4²·c_16_105·b_5_15 + b_2_4⁵·c_16_105·a_1_0³
        + a_2_3·c_16_105·a_1_0²·b_9_39 + a_2_3·b_2_4²·a_6_13·c_16_105·a_1_0
        + a_2_3²·b_2_4·c_16_105·a_7_19
157. a_15_64² + a_2_3·b_2_4²·b_2_5·b_7_27·a_15_64
        + a_2_3·b_2_4²·b_2_5²·b_5_16·a_15_64 + a_2_3·b_2_4²·b_2_5⁵·a_14_56
        + a_2_3·b_2_4³·b_7_27·a_15_64 + a_2_3·b_2_4³·b_2_5·b_5_16·a_15_64
        + a_2_3·b_2_4⁴·b_5_15·a_15_64 + a_2_3·b_2_4⁶·b_2_5·a_14_56
        + a_2_3²·b_2_4·b_2_5¹² + a_2_3²·b_2_4²·b_2_5⁶·b_10_47
        + a_2_3²·b_2_4³·b_2_5¹⁰ + a_2_3²·b_2_4⁵·b_2_5³·b_10_47
        + a_2_3²·b_2_4⁵·b_2_5⁸ + a_2_3²·b_2_4⁶·b_2_5⁷ + a_2_3²·b_2_4⁷·b_2_5⁶
        + a_2_3²·b_2_4⁸·b_2_5⁵ + a_2_3²·b_2_4¹¹·b_2_5² + a_2_3²·b_2_4¹²·b_2_5
        + a_2_3²·b_2_4¹³ + a_2_3²·b_2_4·b_2_5²·b_5_16·a_15_64
        + a_2_3²·b_2_4·b_2_5⁵·a_14_56 + a_2_3²·b_2_4²·b_7_27·a_15_64
        + a_2_3²·b_2_4³·b_5_15·a_15_64 + a_2_3²·b_2_4³·b_2_5³·a_14_56
        + a_2_3²·b_2_4⁵·b_2_5·a_14_56 + a_2_3²·b_2_4⁹·b_2_5·a_6_13
        + a_2_3³·b_2_5⁷·b_10_47 + a_2_3³·b_2_5¹² + b_2_4⁶·c_16_105·a_1_0²
        + a_2_3²·b_2_4·b_2_5⁴·c_16_105 + a_2_3²·b_2_4²·b_2_5³·c_16_105
        + a_2_3²·b_2_4⁵·c_16_105 + a_2_3²·b_2_5²·a_6_13·c_16_105
        + a_2_3²·b_2_4·b_2_5·a_6_13·c_16_105 + a_2_3²·b_2_4²·a_6_13·c_16_105
        + a_2_3³·b_2_4³·b_2_5·c_16_105 + a_2_3³·b_2_4⁴·c_16_105