David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 861 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

• The group has 3 minimal generators and exponent 4.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 1.
• It has 3 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

  ( − 1) · (t13  −  t11  +  t10  +  t9  +  t8  −  t6  +  t5  +  t2  +  1)

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

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

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. b_1_2, an element of degree 1
4. b_2_4, an element of degree 2
5. b_2_5, an element of degree 2
6. a_3_3, a nilpotent element of degree 3
7. b_3_9, an element of degree 3
8. b_4_13, an element of degree 4
9. b_5_15, an element of degree 5
10. b_5_16, an element of degree 5
11. a_9_22, a nilpotent element of degree 9
12. b_9_38, an element of degree 9
13. b_10_46, an element of degree 10
14. b_10_47, an element of degree 10
15. b_10_48, an element of degree 10
16. b_11_54, an element of degree 11
17. b_11_57, an element of degree 11
18. b_13_72, an element of degree 13
19. 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 120 minimal relations of maximal degree 26:

1. a_1_0²
2. a_1_0·a_1_1
3. a_1_0·b_1_2²
4. b_2_5·a_1_1 + b_2_4·a_1_1
5. b_2_5·a_1_0 + b_2_4·a_1_1
6. a_1_1⁴
7. b_2_5² + b_2_4·b_1_2² + b_2_4·b_2_5 + b_2_4·a_1_1·b_1_2
8. a_1_0·a_3_3
9. b_2_5·b_1_2² + a_1_1·b_3_9 + a_1_1·b_1_2³ + b_2_4·a_1_1·b_1_2 + a_1_1·a_3_3
      + a_1_1²·b_1_2² + a_1_1³·b_1_2
10. b_2_4·b_1_2² + a_1_0·b_3_9 + b_2_4·a_1_1·b_1_2
11. b_1_2²·b_3_9 + b_1_2⁵ + b_1_2²·a_3_3 + a_1_1·b_1_2⁴ + b_2_5·a_3_3 + a_1_1²·a_3_3
       + a_1_1³·b_1_2²
12. a_1_1·b_1_2·b_3_9 + a_1_1·b_1_2⁴ + b_2_5·a_3_3 + a_1_1·b_1_2·a_3_3 + a_1_1²·b_1_2³
13. a_1_0·b_1_2·b_3_9 + b_2_4·a_3_3
14. b_4_13·a_1_0 + a_1_1³·b_1_2²
15. a_3_3·b_3_9 + b_1_2³·a_3_3 + a_3_3² + a_1_1·b_1_2²·a_3_3 + a_1_1³·b_1_2³
       + a_1_1³·a_3_3
16. a_3_3² + a_1_1·b_1_2²·a_3_3 + a_1_1²·b_1_2⁴ + b_4_13·a_1_1²
17. b_3_9² + b_1_2⁶ + b_2_4·b_4_13 + b_2_4·a_1_1·b_3_9 + b_2_4²·a_1_1·b_1_2 + a_3_3²
       + a_1_1²·b_1_2⁴
18. a_1_1·b_5_15 + a_1_1·b_1_2⁵ + a_1_1·b_1_2²·a_3_3 + a_1_1³·a_3_3
19. a_1_0·b_5_15
20. a_1_0·b_5_16 + b_2_4²·a_1_1·b_1_2 + a_1_1³·b_1_2³ + a_1_1³·a_3_3
21. b_1_2²·b_5_15 + b_1_2⁷ + b_1_2⁴·a_3_3 + a_1_1²·b_1_2⁵ + b_4_13·a_1_1³
       + a_1_1³·b_1_2·a_3_3
22. b_2_5·b_5_16 + b_2_5·b_5_15 + b_2_4²·b_2_5·b_1_2 + b_2_4·b_2_5·a_3_3 + b_2_4²·a_3_3
       + b_4_13·a_1_1³
23. b_2_5·b_5_15 + b_2_4·b_5_16 + b_2_4²·b_2_5·b_1_2 + b_2_4·b_2_5·a_3_3
24. a_3_3·b_5_15 + b_1_2⁵·a_3_3 + b_4_13·a_1_1·b_3_9 + b_4_13·a_1_1·b_1_2³
       + a_1_1·b_1_2⁴·a_3_3 + a_1_1²·b_1_2⁶ + b_4_13·a_1_1·a_3_3 + a_1_1²·b_1_2³·a_3_3
25. b_4_13·a_1_1·b_3_9 + b_4_13·a_1_1·b_1_2³ + b_4_13·a_1_1·a_3_3
       + b_4_13·a_1_1²·b_1_2² + a_1_1³·b_5_16 + b_4_13·a_1_1³·b_1_2
26. b_4_13·a_1_1³·b_1_2²
27. b_5_15² + b_1_2¹⁰ + b_2_4·b_4_13² + a_1_1·b_1_2⁶·a_3_3 + a_1_1²·b_1_2⁸
       + b_4_13·a_1_1²·b_1_2⁴
28. b_5_15·b_5_16 + b_1_2⁵·b_5_16 + b_2_5·b_4_13² + b_2_4²·b_1_2·b_5_16
       + b_1_2²·a_3_3·b_5_16 + b_2_4³·a_1_1·b_3_9 + b_2_4⁴·a_1_1·b_1_2
       + a_1_1²·b_1_2³·b_5_16
29. b_2_4⁴·a_1_1·b_1_2 + a_1_1·a_9_22 + a_1_1·b_1_2·a_3_3·b_5_16 + a_1_1·b_1_2⁶·a_3_3
       + a_1_1²·b_1_2⁸ + b_4_13²·a_1_1² + b_4_13·a_1_1³·a_3_3
30. b_2_4⁴·a_1_1·b_1_2 + a_1_0·a_9_22
31. b_5_16² + b_1_2¹⁰ + b_4_13·b_1_2⁶ + b_4_13²·b_1_2² + b_2_5·b_4_13²
       + b_1_2⁷·a_3_3 + a_1_1·b_9_38 + a_1_1·b_1_2⁴·b_5_16 + b_4_13·a_1_1·b_5_16
       + b_4_13²·a_1_1·b_1_2 + b_2_4⁴·a_1_1·b_1_2 + a_1_1·b_1_2·a_3_3·b_5_16
       + a_1_1·b_1_2⁶·a_3_3 + a_1_1²·b_1_2³·b_5_16 + a_1_1²·b_1_2⁸
       + b_4_13·a_1_1·b_1_2²·a_3_3
32. a_1_0·b_9_38 + b_2_4³·a_1_0·b_3_9 + b_4_13·a_1_1³·a_3_3
33. b_1_2²·a_9_22 + b_1_2³·a_3_3·b_5_16 + b_1_2⁸·a_3_3 + a_1_1·b_1_2¹⁰
       + b_4_13²·a_1_1·b_1_2² + b_2_4³·b_2_5·a_3_3 + a_1_1²·b_1_2⁴·b_5_16
       + a_1_1²·b_1_2⁹ + a_1_1²·b_1_2·a_3_3·b_5_16
34. b_2_5·b_9_38 + b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4·b_2_5·b_4_13·b_3_9
       + b_2_4²·b_2_5·b_4_13·b_1_2 + b_2_4³·b_5_16 + b_2_4³·b_2_5·b_3_9 + b_2_5·a_9_22
       + b_2_4³·b_2_5·a_3_3 + b_2_4⁴·a_3_3 + b_2_4⁵·a_1_1
35. b_2_4·b_9_38 + b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4·b_2_5·b_4_13·b_3_9 + b_2_4³·b_5_16
       + b_2_4³·b_4_13·b_1_2 + b_2_4⁴·b_3_9 + b_2_5·a_9_22 + b_2_4⁵·a_1_1
       + b_4_13·a_1_1³·b_1_2·a_3_3
36. b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4²·b_2_5·b_4_13·b_1_2 + b_2_4⁴·b_2_5·b_1_2
       + a_1_1·b_1_2·b_9_38 + a_1_1·b_1_2⁵·b_5_16 + b_10_46·a_1_1 + b_4_13·a_1_1·b_1_2·b_5_16
       + b_4_13·a_1_1·b_1_2⁶ + b_4_13²·a_1_1·b_1_2² + b_2_5·a_9_22 + b_2_4⁴·a_3_3
       + b_2_4⁵·a_1_1 + a_1_1·b_1_2⁷·a_3_3 + a_1_1²·b_9_38 + a_1_1²·b_1_2⁴·b_5_16
       + b_4_13·a_1_1·b_1_2³·a_3_3 + b_4_13·a_1_1²·b_1_2²·a_3_3 + b_4_13²·a_1_1³
37. b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4²·b_2_5·b_4_13·b_1_2 + b_2_4⁴·b_2_5·b_1_2
       + b_10_46·a_1_0 + b_2_4·a_9_22 + b_2_4⁴·a_3_3 + b_2_4⁵·a_1_1
38. a_1_1·b_1_2⁵·b_5_16 + b_10_47·a_1_1 + b_4_13·a_1_1·b_1_2·b_5_16
       + b_4_13·a_1_1·b_1_2⁶ + b_4_13²·a_1_1·b_1_2² + b_2_4⁵·a_1_1 + a_1_1²·b_9_38
       + a_1_1²·b_1_2⁴·b_5_16 + b_4_13·a_1_1·b_1_2³·a_3_3 + b_4_13·a_1_1³·b_1_2·a_3_3
39. b_10_47·a_1_0 + b_2_5·a_9_22 + b_2_4·a_9_22 + b_2_4⁴·a_3_3 + b_2_4⁵·a_1_1
40. b_1_2²·b_9_38 + b_4_13·b_1_2²·b_5_16 + b_4_13·b_1_2⁷ + b_4_13²·b_1_2³
       + b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4²·b_2_5·b_4_13·b_1_2 + b_2_4⁴·b_2_5·b_1_2
       + b_1_2³·a_3_3·b_5_16 + b_1_2⁸·a_3_3 + b_10_48·a_1_1 + b_4_13·b_1_2⁴·a_3_3
       + b_4_13·a_1_1·b_1_2·b_5_16 + b_4_13·a_1_1·b_1_2⁶ + b_4_13²·a_3_3 + b_2_5·a_9_22
       + b_2_4³·b_2_5·a_3_3 + b_2_4⁴·a_3_3 + a_1_1²·b_1_2⁴·b_5_16
       + b_4_13·a_1_1·b_1_2³·a_3_3 + b_4_13·a_1_1²·b_5_16 + b_4_13²·a_1_1²·b_1_2
41. b_2_4·b_1_2·b_3_9·b_5_16 + b_2_4²·b_2_5·b_4_13·b_1_2 + b_2_4⁴·b_2_5·b_1_2
       + b_10_48·a_1_0 + b_2_5·a_9_22 + b_2_4⁴·a_3_3
42. a_1_1³·b_9_38
43. b_2_5·b_10_47 + b_2_4·b_4_13·b_1_2·b_5_16 + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9
       + b_2_4³·b_1_2·b_5_16 + b_2_4³·b_2_5·b_1_2·b_3_9 + b_2_4⁵·b_2_5 + b_3_9·a_9_22
       + b_1_2⁴·a_3_3·b_5_16 + b_1_2⁹·a_3_3 + a_1_1·b_1_2¹¹ + b_4_13²·a_1_1·b_1_2³
       + b_2_5·b_1_2·a_9_22 + b_2_4⁴·a_1_0·b_3_9 + a_1_1·b_1_2⁸·a_3_3 + a_1_1²·b_1_2¹⁰
       + b_4_13·a_1_1²·b_1_2·b_5_16 + b_4_13·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1·a_3_3
       + b_4_13²·a_1_1²·b_1_2² + a_1_1²·b_1_2⁷·a_3_3
44. a_3_3·a_9_22 + a_1_1·b_1_2³·a_3_3·b_5_16 + a_1_1²·b_1_2¹⁰ + b_10_47·a_1_1²
       + b_4_13²·a_1_1·a_3_3 + b_4_13²·a_1_1²·b_1_2² + a_1_1²·b_1_2²·a_3_3·b_5_16
       + a_1_1²·b_1_2⁷·a_3_3 + b_4_13·a_1_1²·b_1_2³·a_3_3
45. b_2_5·b_10_46 + b_2_4·b_10_47 + b_2_4·b_10_46 + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9
       + b_2_4·b_2_5·b_4_13² + b_2_4²·b_3_9·b_5_16 + b_2_4²·b_3_9·b_5_15
       + b_2_4²·b_4_13·b_1_2·b_3_9 + b_2_4²·b_4_13² + b_2_4³·b_1_2·b_5_16
       + b_2_4⁴·b_1_2·b_3_9 + b_2_4⁵·b_2_5 + b_2_5·b_1_2·a_9_22 + b_2_4⁴·a_1_0·b_3_9
       + b_4_13·a_1_1³·b_5_16 + b_4_13²·a_1_1³·b_1_2
46. b_1_2⁷·b_5_16 + b_10_47·b_1_2² + b_4_13·b_3_9·b_5_16 + b_4_13·b_1_2⁸
       + b_4_13²·b_1_2⁴ + b_2_5·b_10_48 + b_2_5·b_10_46 + b_2_4·b_4_13·b_1_2·b_5_16
       + b_2_4²·b_3_9·b_5_16 + b_2_4³·b_2_5·b_4_13 + b_2_4⁵·b_2_5 + b_10_46·a_1_1·b_1_2
       + b_4_13·a_3_3·b_5_16 + b_4_13·b_1_2⁵·a_3_3 + b_4_13·a_1_1·b_1_2⁷
       + b_4_13²·a_1_1·b_1_2³ + b_2_4⁴·a_1_0·b_3_9 + a_3_3·a_9_22
       + a_1_1·b_1_2³·a_3_3·b_5_16 + a_1_1·b_1_2⁸·a_3_3 + a_1_1²·b_1_2¹⁰
       + b_10_46·a_1_1² + b_4_13·a_1_1·b_1_2⁴·a_3_3 + b_4_13·a_1_1²·b_1_2·b_5_16
       + b_4_13²·a_1_1·a_3_3 + b_4_13·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1³·b_5_16
47. b_1_2⁷·b_5_16 + b_10_46·b_1_2² + b_2_4·b_4_13·b_1_2·b_5_16
       + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4³·b_2_5·b_1_2·b_3_9 + b_3_9·a_9_22
       + b_1_2⁹·a_3_3 + a_1_1·b_1_2¹¹ + b_10_48·a_1_1·b_1_2 + b_10_46·a_1_1·b_1_2
       + b_4_13²·b_1_2·a_3_3 + b_2_5·b_1_2·a_9_22 + a_1_1²·b_1_2¹⁰ + b_10_46·a_1_1²
       + b_4_13·a_1_1·b_1_2⁴·a_3_3 + b_4_13·a_1_1²·b_1_2·b_5_16 + b_4_13·a_1_1²·b_1_2⁶
       + b_4_13²·a_1_1·a_3_3 + b_2_4·a_1_0·a_9_22 + a_1_1²·b_1_2⁷·a_3_3
       + b_4_13·a_1_1³·b_5_16 + b_4_13²·a_1_1³·b_1_2
48. b_3_9·b_9_38 + b_10_47·b_1_2² + b_10_46·b_1_2² + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9
       + b_2_4·b_2_5·b_4_13² + b_2_4²·b_3_9·b_5_16 + b_2_4²·b_4_13·b_1_2·b_3_9
       + b_2_4³·b_2_5·b_1_2·b_3_9 + b_2_4⁴·b_4_13 + a_3_3·b_9_38 + b_1_2⁹·a_3_3
       + b_4_13·a_1_1·b_1_2²·b_5_16 + b_4_13·a_1_1·b_1_2⁷ + b_4_13²·a_1_1·b_1_2³
       + b_2_5·b_1_2·a_9_22 + b_2_4⁴·a_1_1·b_3_9 + a_3_3·a_9_22 + a_1_1·b_1_2⁸·a_3_3
       + a_1_1²·b_1_2¹⁰ + b_10_48·a_1_1² + b_10_46·a_1_1² + b_4_13·a_1_1²·b_1_2·b_5_16
       + b_4_13·a_1_1²·b_1_2⁶ + a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1³·b_5_16 + b_4_13²·a_1_1³·b_1_2
49. b_4_13·b_3_9·b_5_15 + b_4_13·b_1_2⁸ + b_2_5·b_10_46 + b_2_4·b_10_48
       + b_2_4·b_4_13·b_1_2·b_5_16 + b_2_4·b_4_13·b_1_2·b_5_15
       + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4·b_2_5·b_4_13² + b_2_4²·b_3_9·b_5_16
       + b_2_4²·b_4_13·b_1_2·b_3_9 + b_2_4²·b_4_13² + b_2_4³·b_1_2·b_5_16
       + b_2_4³·b_1_2·b_5_15 + b_2_4³·b_2_5·b_1_2·b_3_9 + b_2_4⁴·b_4_13 + b_2_4⁵·b_2_5
       + b_3_9·a_9_22 + b_1_2⁴·a_3_3·b_5_16 + b_1_2⁹·a_3_3 + a_1_1·b_1_2¹¹
       + b_4_13·a_1_1·b_1_2⁷ + b_4_13²·a_1_1·b_1_2³ + b_2_5·b_1_2·a_9_22
       + a_1_1·b_1_2⁸·a_3_3 + a_1_1²·b_1_2¹⁰ + b_4_13·a_1_1²·b_1_2·b_5_16
       + b_4_13·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1·a_3_3 + a_1_1²·b_1_2⁷·a_3_3
       + b_4_13·a_1_1³·b_5_16
50. b_3_9·b_9_38 + b_1_2⁷·b_5_16 + b_10_47·b_1_2² + b_2_4·b_4_13·b_1_2·b_5_16
       + b_2_4·b_2_5·b_4_13² + b_2_4²·b_3_9·b_5_16 + b_2_4²·b_4_13·b_1_2·b_3_9
       + b_2_4⁴·b_4_13 + b_3_9·a_9_22 + a_1_1·b_11_54 + a_1_1·b_1_2¹¹ + b_10_46·a_1_1·b_1_2
       + b_4_13·a_3_3·b_5_16 + b_4_13·b_1_2⁵·a_3_3 + b_4_13·a_1_1·b_1_2²·b_5_16
       + b_4_13²·a_1_1·b_1_2³ + b_2_4⁴·a_1_1·b_3_9 + a_3_3·a_9_22
       + a_1_1·b_1_2³·a_3_3·b_5_16 + b_10_46·a_1_1² + b_4_13·a_1_1·b_1_2⁴·a_3_3
       + b_4_13·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1·a_3_3 + b_4_13²·a_1_1²·b_1_2²
       + b_2_4·a_1_0·a_9_22 + a_1_1²·b_1_2²·a_3_3·b_5_16 + a_1_1²·b_1_2⁷·a_3_3
       + b_4_13·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1³·b_5_16 + b_4_13²·a_1_1³·b_1_2
51. a_1_0·b_11_54 + b_2_5·b_1_2·a_9_22 + b_2_4⁴·a_1_1·b_3_9 + b_2_4·a_1_0·a_9_22
52. b_3_9·b_9_38 + b_4_13·b_1_2³·b_5_16 + b_4_13·b_1_2⁸ + b_4_13²·b_1_2⁴
       + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4·b_2_5·b_4_13² + b_2_4²·b_3_9·b_5_16
       + b_2_4²·b_4_13·b_1_2·b_3_9 + b_2_4³·b_2_5·b_1_2·b_3_9 + b_2_4⁴·b_4_13
       + b_1_2⁴·a_3_3·b_5_16 + b_1_2⁹·a_3_3 + a_1_1·b_11_57 + a_1_1·b_1_2¹¹
       + b_4_13·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2⁷ + b_2_5·b_1_2·a_9_22
       + b_2_4⁴·a_1_1·b_3_9 + a_1_1·b_1_2⁸·a_3_3 + b_10_46·a_1_1²
       + b_4_13·a_1_1²·b_1_2⁶ + b_2_4·a_1_0·a_9_22 + a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1³·b_1_2
53. b_2_4·b_4_13·b_1_2·b_5_16 + b_2_4·b_2_5·b_4_13·b_1_2·b_3_9
       + b_2_4³·b_2_5·b_1_2·b_3_9 + b_3_9·a_9_22 + b_1_2⁴·a_3_3·b_5_16 + b_1_2⁹·a_3_3
       + a_1_1·b_1_2¹¹ + a_1_0·b_11_57 + b_4_13²·a_1_1·b_1_2³ + b_2_4·b_1_2·a_9_22
       + b_2_4⁴·a_1_0·b_3_9 + a_1_1·b_1_2⁸·a_3_3 + a_1_1²·b_1_2¹⁰
       + b_4_13·a_1_1²·b_1_2·b_5_16 + b_4_13·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1·a_3_3
       + b_4_13²·a_1_1²·b_1_2² + a_1_1²·b_1_2⁷·a_3_3 + b_4_13·a_1_1³·b_5_16
       + b_4_13²·a_1_1³·b_1_2
54. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_10_47·b_3_9 + b_10_46·b_3_9 + b_4_13·b_1_2⁴·b_5_16
       + b_4_13·b_1_2⁹ + b_4_13²·b_5_15 + b_2_4·b_10_48·b_1_2 + b_2_4·b_10_47·b_1_2
       + b_2_4·b_10_46·b_1_2 + b_2_4·b_2_5·b_4_13²·b_1_2 + b_2_4²·b_4_13·b_5_15
       + b_2_4³·b_4_13·b_3_9 + b_10_48·a_3_3 + b_10_46·a_3_3 + b_4_13·b_1_2·a_3_3·b_5_16
       + b_4_13²·b_1_2²·a_3_3 + b_4_13²·a_1_1·b_1_2⁴ + b_2_4⁵·a_3_3 + a_1_0·b_3_9·a_9_22
       + b_10_48·a_1_1²·b_1_2 + b_10_46·a_1_1²·b_1_2 + b_4_13·a_1_1·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁵·a_3_3 + b_4_13·a_1_1²·b_1_2²·b_5_16
       + b_4_13·a_1_1²·b_1_2⁷ + b_4_13²·a_1_1²·b_1_2³ + b_10_48·a_1_1³
       + b_4_13·a_1_1³·b_1_2·b_5_16
55. b_1_2²·b_11_54 + b_10_48·b_1_2³ + b_4_13·b_1_2⁹ + b_2_5·b_11_54
       + b_2_5·b_10_48·b_1_2 + b_2_5·b_4_13²·b_3_9 + b_2_4·b_2_5·b_4_13²·b_1_2
       + b_2_4²·b_4_13·b_5_16 + b_2_4⁴·b_5_16 + b_2_4⁵·b_2_5·b_1_2 + a_1_1·b_1_2¹²
       + b_10_48·a_3_3 + b_10_48·a_1_1·b_1_2² + b_4_13·a_9_22 + b_4_13·b_1_2⁶·a_3_3
       + b_4_13·a_1_1·b_1_2³·b_5_16 + b_4_13²·b_1_2²·a_3_3 + b_4_13²·a_1_1·b_1_2⁴
       + b_2_4·b_10_46·a_1_0 + b_2_4·b_2_5·a_9_22 + b_2_4²·a_9_22 + a_1_0·b_3_9·a_9_22
       + b_10_48·a_1_1²·b_1_2 + b_10_46·a_1_1²·b_1_2 + b_4_13·a_1_1·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁵·a_3_3 + b_4_13²·a_1_1²·b_1_2³ + a_1_1²·b_1_2⁸·a_3_3
       + b_4_13²·a_1_1²·a_3_3
56. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_10_47·b_3_9 + b_10_46·b_3_9 + b_4_13·b_1_2⁴·b_5_16
       + b_4_13·b_1_2⁹ + b_4_13²·b_5_15 + b_2_5·b_11_54 + b_2_5·b_10_48·b_1_2
       + b_2_5·b_4_13²·b_3_9 + b_2_4·b_10_48·b_1_2 + b_2_4·b_10_47·b_1_2
       + b_2_4·b_10_46·b_1_2 + b_2_4²·b_4_13·b_5_16 + b_2_4²·b_4_13·b_5_15
       + b_2_4³·b_4_13·b_3_9 + b_2_4⁴·b_5_16 + b_2_4⁵·b_2_5·b_1_2 + a_1_1·b_1_2·b_11_54
       + b_10_48·a_3_3 + b_10_48·a_1_1·b_1_2² + b_10_47·a_3_3 + b_4_13·a_9_22
       + b_4_13·b_1_2·a_3_3·b_5_16 + b_4_13²·a_1_1·b_1_2⁴ + b_4_13³·a_1_1
       + b_2_4·b_10_46·a_1_0 + b_2_4·b_2_5·a_9_22 + b_2_4²·a_9_22 + b_2_4⁵·a_3_3
       + a_1_1·b_1_2⁴·a_3_3·b_5_16 + a_1_1²·b_1_2¹¹ + b_4_13·a_1_1·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁵·a_3_3
57. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_10_47·b_3_9 + b_10_46·b_3_9 + b_4_13·b_1_2⁴·b_5_16
       + b_4_13·b_1_2⁹ + b_4_13²·b_5_15 + b_2_5·b_10_48·b_1_2 + b_2_4·b_10_48·b_1_2
       + b_2_4·b_2_5·b_4_13²·b_1_2 + b_2_4²·b_1_2·b_3_9·b_5_15 + b_2_4²·b_4_13·b_5_15
       + b_2_4²·b_4_13²·b_1_2 + b_2_4³·b_4_13·b_3_9 + b_1_2⁵·a_3_3·b_5_16 + b_10_48·a_3_3
       + b_10_47·a_3_3 + b_10_46·a_3_3 + b_4_13·a_9_22 + b_4_13·b_1_2·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁸ + b_4_13²·a_1_1·b_1_2⁴ + b_4_13³·a_1_1 + b_2_4⁵·a_3_3
       + a_1_1·b_1_2⁴·a_3_3·b_5_16 + a_1_1²·b_11_54 + b_10_46·a_1_1²·b_1_2
       + b_4_13·a_1_1·b_1_2⁵·a_3_3 + b_4_13²·a_1_1·b_1_2·a_3_3 + a_1_1²·b_1_2⁸·a_3_3
       + b_4_13·a_1_1³·b_1_2·b_5_16 + b_4_13²·a_1_1²·a_3_3
58. b_2_5·b_4_13²·b_3_9 + b_2_4·b_11_54 + b_2_4·b_10_47·b_1_2 + b_2_4·b_10_46·b_1_2
       + b_2_4²·b_1_2·b_3_9·b_5_15 + b_2_4²·b_4_13·b_5_15 + b_2_4⁴·b_5_15
       + b_2_4⁴·b_4_13·b_1_2 + b_2_4·b_10_46·a_1_0 + a_1_0·b_3_9·a_9_22
59. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_4_13²·b_5_15 + b_4_13²·b_1_2⁵ + b_2_5·b_11_57
       + b_2_5·b_4_13²·b_3_9 + b_2_4·b_10_48·b_1_2 + b_2_4·b_4_13²·b_3_9
       + b_2_4²·b_1_2·b_3_9·b_5_15 + b_2_4²·b_4_13·b_5_16 + b_2_4³·b_4_13·b_3_9
       + b_2_4³·b_2_5·b_4_13·b_1_2 + b_2_4⁴·b_4_13·b_1_2 + b_1_2⁵·a_3_3·b_5_16
       + b_10_48·a_3_3 + b_10_48·a_1_1·b_1_2² + b_10_47·a_3_3 + b_4_13·b_1_2·a_3_3·b_5_16
       + b_4_13·b_1_2⁶·a_3_3 + b_2_4·b_2_5·a_9_22 + b_2_4⁵·a_3_3 + b_2_4⁶·a_1_1
       + a_1_1·b_1_2⁴·a_3_3·b_5_16 + b_4_13·a_1_1·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁷
       + b_4_13²·a_1_1·b_1_2·a_3_3 + a_1_1²·b_1_2⁸·a_3_3
60. b_1_2²·b_11_57 + b_1_2¹³ + b_10_48·b_1_2³ + b_4_13·b_1_2⁹ + b_4_13²·b_1_2⁵
       + b_1_2⁵·a_3_3·b_5_16 + b_1_2¹⁰·a_3_3 + a_1_1·b_1_2¹² + b_10_48·a_3_3
       + b_10_48·a_1_1·b_1_2² + b_10_47·a_3_3 + b_10_46·a_1_1·b_1_2²
       + b_4_13·b_1_2⁶·a_3_3 + b_4_13·a_1_1·b_1_2³·b_5_16 + b_4_13²·b_1_2²·a_3_3
       + b_4_13²·a_1_1·b_1_2⁴ + b_4_13³·a_1_1 + a_1_1·b_1_2⁴·a_3_3·b_5_16
       + a_1_1²·b_1_2¹¹ + b_4_13·a_1_1·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2⁵·a_3_3
       + b_4_13·a_1_1²·b_1_2²·b_5_16 + b_4_13²·a_1_1·b_1_2·a_3_3
       + a_1_1²·b_1_2³·a_3_3·b_5_16 + a_1_1²·b_1_2⁸·a_3_3 + b_4_13·a_1_1²·b_1_2⁴·a_3_3
       + b_4_13·a_1_1³·b_1_2·b_5_16
61. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_10_47·b_3_9 + b_10_46·b_3_9 + b_4_13·b_1_2⁴·b_5_16
       + b_4_13·b_1_2⁹ + b_4_13²·b_5_15 + b_2_4·b_10_48·b_1_2 + b_2_4·b_10_47·b_1_2
       + b_2_4·b_10_46·b_1_2 + b_2_4·b_2_5·b_4_13²·b_1_2 + b_2_4²·b_4_13·b_5_15
       + b_2_4³·b_4_13·b_3_9 + a_1_1·b_1_2·b_11_57 + a_1_1·b_1_2¹² + b_10_48·a_3_3
       + b_10_48·a_1_1·b_1_2² + b_10_47·a_3_3 + b_4_13·b_1_2⁶·a_3_3 + b_4_13·a_1_1·b_1_2⁸
       + b_2_4⁵·a_3_3 + a_1_1·b_1_2⁴·a_3_3·b_5_16 + a_1_1·b_1_2⁹·a_3_3 + a_1_1²·b_1_2¹¹
       + a_1_0·b_3_9·a_9_22 + b_10_46·a_1_1²·b_1_2 + b_4_13·a_1_1·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁵·a_3_3 + b_4_13·a_1_1²·b_1_2²·b_5_16
       + b_4_13²·a_1_1·b_1_2·a_3_3 + b_4_13·a_1_1³·b_1_2·b_5_16
62. b_10_48·b_3_9 + b_10_48·b_1_2³ + b_10_47·b_3_9 + b_10_46·b_3_9 + b_4_13·b_1_2⁴·b_5_16
       + b_4_13·b_1_2⁹ + b_4_13²·b_5_15 + b_2_5·b_11_54 + b_2_5·b_4_13²·b_3_9
       + b_2_4·b_10_48·b_1_2 + b_2_4²·b_1_2·b_3_9·b_5_15 + b_2_4²·b_4_13·b_5_16
       + b_2_4²·b_4_13·b_5_15 + b_2_4²·b_4_13²·b_1_2 + b_2_4³·b_4_13·b_3_9
       + b_2_4⁴·b_5_16 + b_2_4⁵·b_2_5·b_1_2 + a_1_0·b_1_2·b_11_57 + b_10_48·a_3_3
       + b_10_46·a_3_3 + b_4_13·b_1_2·a_3_3·b_5_16 + b_4_13²·b_1_2²·a_3_3
       + b_4_13²·a_1_1·b_1_2⁴ + b_2_4·b_10_46·a_1_0 + b_2_4·b_2_5·a_9_22 + b_2_4²·a_9_22
       + a_1_0·b_3_9·a_9_22 + b_10_48·a_1_1²·b_1_2 + b_10_46·a_1_1²·b_1_2
       + b_4_13·a_1_1·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2⁵·a_3_3
       + b_4_13·a_1_1²·b_1_2²·b_5_16 + b_4_13·a_1_1²·b_1_2⁷ + b_4_13²·a_1_1²·b_1_2³
       + b_4_13·a_1_1³·b_1_2·b_5_16
63. b_10_46·b_3_9 + b_10_46·b_1_2³ + b_2_5·b_11_54 + b_2_5·b_10_48·b_1_2 + b_2_4·b_11_57
       + b_2_4·b_10_48·b_1_2 + b_2_4·b_10_47·b_1_2 + b_2_4·b_4_13²·b_3_9
       + b_2_4²·b_1_2·b_3_9·b_5_15 + b_2_4²·b_4_13·b_5_16 + b_2_4²·b_4_13²·b_1_2
       + b_2_4⁴·b_5_16 + b_2_4⁴·b_4_13·b_1_2 + b_2_4⁵·b_3_9 + b_10_46·a_3_3
       + b_10_46·a_1_1·b_1_2² + b_2_4·b_10_46·a_1_0 + b_2_4·b_2_5·a_9_22 + b_2_4⁶·a_1_1
       + a_1_1²·b_1_2³·a_3_3·b_5_16
64. b_5_16·a_9_22 + b_5_15·a_9_22 + a_1_1·b_1_2¹³ + b_10_46·a_1_1·b_1_2³
       + b_4_13·b_1_2⁷·a_3_3 + b_4_13²·b_1_2³·a_3_3 + b_4_13²·a_1_1·b_5_16
       + b_4_13²·a_1_1·b_1_2⁵ + b_2_4·b_2_5·b_1_2·a_9_22 + a_1_1·b_1_2¹⁰·a_3_3
       + b_10_48·a_1_1²·b_1_2² + b_10_46·a_1_1·a_3_3 + b_4_13·a_1_1·b_1_2⁶·a_3_3
       + b_4_13·a_1_1²·b_1_2³·b_5_16 + b_4_13·a_1_1²·b_1_2⁸
       + a_1_1²·b_1_2⁴·a_3_3·b_5_16 + b_4_13·a_1_1²·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2⁵·a_3_3 + b_4_13²·a_1_1²·b_1_2·a_3_3
65. b_5_16·a_9_22 + b_5_15·a_9_22 + a_3_3·b_11_54 + a_1_1·b_1_2¹³ + b_10_48·b_1_2·a_3_3
       + b_10_46·a_1_1·b_1_2³ + b_4_13·a_1_1·b_9_38 + b_4_13²·b_1_2³·a_3_3
       + b_4_13³·a_1_1·b_1_2 + b_2_4·b_2_5·b_1_2·a_9_22 + b_10_47·a_1_1·a_3_3
       + b_4_13·a_1_1²·b_1_2⁸ + b_4_13³·a_1_1² + a_1_1²·b_1_2⁴·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2⁵·a_3_3
66. b_5_15·b_9_38 + b_4_13·b_1_2⁵·b_5_16 + b_4_13·b_1_2¹⁰ + b_4_13²·b_1_2⁶
       + b_2_4·b_1_2·b_11_54 + b_2_4·b_2_5·b_10_48 + b_2_4²·b_10_47 + b_2_4²·b_10_46
       + b_2_4²·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4³·b_4_13·b_1_2·b_3_9 + b_2_4³·b_4_13²
       + b_2_4⁴·b_1_2·b_5_15 + b_2_4⁴·b_2_5·b_1_2·b_3_9 + b_2_4⁴·b_2_5·b_4_13
       + b_2_4⁵·b_1_2·b_3_9 + b_5_15·a_9_22 + a_1_1·b_1_2¹³ + b_10_48·a_1_1·b_1_2³
       + b_4_13·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2⁴·b_5_16 + b_4_13·a_1_1·b_1_2⁹
       + b_4_13²·a_1_1·b_1_2⁵ + b_2_4·b_3_9·a_9_22 + b_2_4·b_2_5·b_1_2·a_9_22
       + b_2_4²·b_1_2·a_9_22 + b_2_4⁵·a_1_1·b_3_9 + a_1_1·b_1_2¹⁰·a_3_3 + a_1_1²·b_1_2¹²
       + b_10_48·a_1_1·a_3_3 + b_4_13·a_1_1·b_1_2·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2⁶·a_3_3
       + b_4_13³·a_1_1² + b_2_4²·a_1_0·a_9_22 + a_1_1²·b_1_2⁴·a_3_3·b_5_16
       + a_1_1²·b_1_2⁹·a_3_3 + a_1_1³·b_11_54 + b_10_48·a_1_1³·b_1_2
       + b_4_13·a_1_1²·a_3_3·b_5_16
67. b_5_16·a_9_22 + b_5_15·a_9_22 + a_3_3·b_11_57 + b_1_2¹¹·a_3_3 + a_1_1·b_1_2¹³
       + b_10_48·b_1_2·a_3_3 + b_10_46·a_1_1·b_1_2³ + b_4_13·a_1_1·b_9_38
       + b_4_13³·a_1_1·b_1_2 + b_2_4·b_2_5·b_1_2·a_9_22 + a_1_1·b_1_2¹⁰·a_3_3
       + a_1_1²·b_1_2¹² + b_4_13·a_1_1·b_1_2·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_1_2⁴
       + a_1_1²·b_1_2⁴·a_3_3·b_5_16 + a_1_1²·b_1_2⁹·a_3_3 + b_10_48·a_1_1³·b_1_2
       + b_4_13·a_1_1²·b_1_2⁵·a_3_3 + b_4_13²·a_1_1²·b_1_2·a_3_3
68. b_5_15·b_9_38 + b_3_9·b_11_54 + b_10_48·b_1_2⁴ + b_4_13·b_1_2⁵·b_5_16
       + b_4_13²·b_1_2⁶ + b_2_5·b_1_2·b_11_57 + b_2_5·b_4_13³ + b_2_4·b_1_2·b_11_54
       + b_2_4·b_4_13²·b_1_2·b_3_9 + b_2_4·b_2_5·b_10_48 + b_2_4²·b_10_48
       + b_2_4²·b_4_13·b_1_2·b_5_15 + b_2_4³·b_4_13² + b_2_4⁴·b_1_2·b_5_16
       + b_2_4⁴·b_2_5·b_1_2·b_3_9 + b_2_4⁴·b_2_5·b_4_13 + b_2_4⁵·b_4_13 + b_5_16·a_9_22
       + b_5_15·a_9_22 + b_1_2¹¹·a_3_3 + b_10_48·a_1_1·b_1_2³ + b_10_46·b_1_2·a_3_3
       + b_10_46·a_1_1·b_1_2³ + b_4_13·a_1_1·b_9_38 + b_4_13·a_1_1·b_1_2⁹
       + b_4_13²·a_1_1·b_1_2⁵ + b_2_4·b_3_9·a_9_22 + b_2_4·a_1_1·b_11_57
       + b_2_4·b_2_5·b_1_2·a_9_22 + b_2_4²·b_1_2·a_9_22 + b_2_4⁵·a_1_1·b_3_9
       + b_2_4⁵·a_1_0·b_3_9 + a_1_1·b_1_2¹⁰·a_3_3 + b_10_48·a_1_1·a_3_3
       + b_4_13·a_1_1·b_1_2⁶·a_3_3 + b_4_13²·a_1_1·b_1_2²·a_3_3
       + b_4_13²·a_1_1²·b_1_2⁴ + a_1_1²·b_1_2⁹·a_3_3
69. b_3_9·b_11_54 + b_10_48·b_1_2⁴ + b_4_13·b_1_2¹⁰ + b_2_5·b_1_2·b_11_57
       + b_2_5·b_4_13³ + b_2_4·b_1_2·b_11_54 + b_2_4·b_4_13²·b_1_2·b_3_9 + b_2_4²·b_10_48
       + b_2_4²·b_10_47 + b_2_4²·b_10_46 + b_2_4³·b_4_13·b_1_2·b_3_9
       + b_2_4⁴·b_2_5·b_1_2·b_3_9 + b_2_4⁵·b_1_2·b_3_9 + b_2_4⁵·b_4_13 + b_5_16·a_9_22
       + b_5_15·a_9_22 + b_10_46·a_1_1·b_1_2³ + b_4_13·b_1_2²·a_3_3·b_5_16
       + b_4_13·a_1_1·b_9_38 + b_4_13·a_1_1·b_1_2⁴·b_5_16 + b_4_13²·a_1_1·b_1_2⁵
       + b_2_4·b_3_9·a_9_22 + b_2_4·a_1_0·b_11_57 + a_1_1²·b_1_2¹² + b_10_48·a_1_1·a_3_3
       + b_10_46·a_1_1·a_3_3 + b_10_46·a_1_1²·b_1_2² + b_4_13·a_1_1·b_1_2·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2⁸ + b_2_4²·a_1_0·a_9_22 + a_1_1²·b_1_2⁹·a_3_3
       + b_10_48·a_1_1³·b_1_2 + b_4_13·a_1_1²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁵·a_3_3
70. b_3_9·b_11_57 + b_3_9·b_11_54 + b_1_2¹⁴ + b_4_13·b_1_2·b_9_38 + b_4_13·b_1_2⁵·b_5_16
       + b_4_13·b_10_46 + b_4_13²·b_1_2·b_5_16 + b_4_13²·b_1_2·b_5_15 + b_4_13²·b_1_2⁶
       + b_4_13³·b_1_2² + b_2_5·b_1_2·b_11_57 + b_2_4·b_1_2·b_11_57
       + b_2_4·b_4_13²·b_1_2·b_3_9 + b_2_4·b_4_13³ + b_2_4²·b_10_48 + b_2_4²·b_10_47
       + b_2_4²·b_10_46 + b_2_4²·b_4_13·b_1_2·b_5_15 + b_2_4²·b_2_5·b_4_13·b_1_2·b_3_9
       + b_2_4⁴·b_1_2·b_5_16 + b_2_4⁴·b_1_2·b_5_15 + b_5_16·a_9_22 + b_1_2¹¹·a_3_3
       + a_1_1·b_1_2¹³ + b_10_46·b_1_2·a_3_3 + b_4_13·a_1_1·b_9_38
       + b_4_13·a_1_1·b_1_2⁴·b_5_16 + b_4_13·a_1_1·b_1_2⁹ + b_4_13²·b_1_2³·a_3_3
       + b_4_13²·a_1_1·b_5_16 + b_4_13²·a_1_1·b_1_2⁵ + b_2_4·b_2_5·b_1_2·a_9_22
       + b_2_4²·b_1_2·a_9_22 + b_2_4⁵·a_1_0·b_3_9 + a_1_1·b_1_2¹⁰·a_3_3
       + b_10_48·a_1_1·a_3_3 + b_10_46·a_1_1·a_3_3 + b_10_46·a_1_1²·b_1_2²
       + b_4_13·a_1_1·b_1_2·a_3_3·b_5_16 + b_4_13³·a_1_1² + b_4_13²·a_1_1²·b_1_2·a_3_3
71. b_5_16·a_9_22 + b_5_15·a_9_22 + a_1_1·b_13_72 + b_4_13·b_1_2⁷·a_3_3
       + b_4_13·a_1_1·b_9_38 + b_4_13·a_1_1·b_1_2⁴·b_5_16 + b_4_13·a_1_1·b_1_2⁹
       + b_4_13²·b_1_2³·a_3_3 + b_4_13²·a_1_1·b_1_2⁵ + b_4_13³·a_1_1·b_1_2
       + b_2_4·b_2_5·b_1_2·a_9_22 + b_10_48·a_1_1·a_3_3 + b_10_47·a_1_1·a_3_3
       + b_10_46·a_1_1²·b_1_2² + b_4_13·a_1_1·b_1_2·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2⁶·a_3_3 + b_4_13·a_1_1²·b_1_2⁸ + b_4_13²·a_1_1·b_1_2²·a_3_3
       + b_4_13³·a_1_1² + a_1_1²·b_1_2⁴·a_3_3·b_5_16 + b_10_48·a_1_1³·b_1_2
       + b_4_13²·a_1_1²·b_1_2·a_3_3
72. a_1_0·b_13_72 + b_2_4⁵·a_1_1·b_3_9 + b_2_4⁵·a_1_0·b_3_9
73. b_1_2¹⁵ + b_10_47·b_5_16 + b_4_13·b_1_2⁶·b_5_16 + b_4_13²·b_1_2²·b_5_16
       + b_4_13³·b_1_2³ + b_2_4²·b_2_5·b_4_13²·b_1_2 + b_2_4⁵·b_5_16 + b_1_2¹²·a_3_3
       + a_1_1·b_5_16·b_9_38 + a_1_1·b_1_2¹⁴ + b_10_46·a_1_1·b_1_2⁴
       + b_4_13·b_1_2³·a_3_3·b_5_16 + b_4_13·b_1_2⁸·a_3_3 + b_4_13·b_10_46·a_1_1
       + b_2_4·b_10_46·a_3_3 + b_2_4⁶·a_3_3 + a_1_1·b_1_2¹¹·a_3_3
       + b_10_46·a_1_1·b_1_2·a_3_3 + b_10_46·a_1_1²·b_1_2³
       + b_4_13·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁴·b_5_16
       + b_4_13·a_1_1²·b_1_2⁹ + a_1_1²·b_1_2¹⁰·a_3_3 + b_10_48·a_1_1²·a_3_3
       + b_4_13²·a_1_1²·b_1_2²·a_3_3 + b_4_13³·a_1_1³
74. b_10_48·b_5_15 + b_10_48·b_1_2⁵ + b_10_47·b_5_15 + b_10_46·b_5_15
       + b_4_13·b_1_2⁶·b_5_16 + b_4_13·b_1_2¹¹ + b_4_13²·b_1_2⁷ + b_4_13³·b_3_9
       + b_4_13³·b_1_2³ + b_2_4·b_4_13³·b_1_2 + b_2_4²·b_4_13²·b_3_9
       + b_2_4²·b_2_5·b_4_13²·b_1_2 + b_2_4³·b_1_2·b_3_9·b_5_15 + b_2_4³·b_4_13·b_5_15
       + b_2_4³·b_4_13²·b_1_2 + b_2_4⁴·b_2_5·b_4_13·b_1_2 + b_10_48·b_1_2²·a_3_3
       + b_10_48·a_1_1·b_1_2⁴ + b_10_46·b_1_2²·a_3_3 + b_4_13·b_1_2³·a_3_3·b_5_16
       + b_4_13·a_1_1·b_1_2¹⁰ + b_4_13·b_10_47·a_1_1 + b_4_13²·a_1_1·b_1_2·b_5_16
       + b_4_13²·a_1_1·b_1_2⁶ + b_4_13³·a_3_3 + b_2_4·b_4_13·a_9_22
       + b_10_48·a_1_1²·b_1_2³ + b_10_46·a_1_1·b_1_2·a_3_3 + b_10_46·a_1_1²·b_1_2³
       + b_4_13·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁹
       + b_4_13²·a_1_1²·b_5_16 + b_4_13³·a_1_1²·b_1_2 + b_10_46·a_1_1²·a_3_3
       + b_4_13·a_1_1²·b_1_2⁶·a_3_3 + b_4_13²·a_1_1²·b_1_2²·a_3_3
75. b_1_2·b_5_16·b_9_38 + b_1_2¹⁵ + b_10_47·b_5_15 + b_10_46·b_5_16 + b_10_46·b_5_15
       + b_4_13·b_1_2¹¹ + b_4_13²·b_1_2²·b_5_16 + b_4_13²·b_1_2⁷ + b_4_13³·b_1_2³
       + b_2_4·b_4_13²·b_5_16 + b_2_4·b_4_13²·b_5_15 + b_2_4²·b_11_54
       + b_2_4²·b_10_48·b_1_2 + b_2_4²·b_10_47·b_1_2 + b_2_4²·b_10_46·b_1_2
       + b_2_4²·b_4_13²·b_3_9 + b_2_4³·b_4_13·b_5_15 + b_2_4³·b_4_13²·b_1_2
       + b_2_4⁴·b_2_5·b_4_13·b_1_2 + b_2_4⁵·b_5_16 + b_2_4⁵·b_5_15 + b_2_4⁶·b_2_5·b_1_2
       + b_1_2¹²·a_3_3 + a_1_1·b_5_16·b_9_38 + a_1_1·b_1_2¹⁴ + b_10_48·a_1_1·b_1_2⁴
       + b_10_46·a_1_1·b_1_2⁴ + b_4_13·b_1_2⁸·a_3_3 + b_4_13·a_1_1·b_1_2¹⁰
       + b_4_13·b_10_47·a_1_1 + b_4_13·b_10_46·a_1_1 + b_4_13²·a_1_1·b_1_2·b_5_16
       + b_4_13²·a_1_1·b_1_2⁶ + b_4_13³·a_1_1·b_1_2² + b_2_4·b_10_47·a_3_3
       + b_2_4³·a_9_22 + b_2_4⁶·a_3_3 + b_2_4⁷·a_1_1 + a_1_1·b_1_2¹¹·a_3_3
       + b_10_48·a_1_1·b_1_2·a_3_3 + b_10_46·a_1_1²·b_1_2³
       + b_4_13·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁴·b_5_16
       + b_4_13·a_1_1²·b_1_2⁹ + b_4_13²·a_1_1²·b_5_16 + b_4_13³·a_1_1²·b_1_2
       + a_1_1²·b_1_2¹⁰·a_3_3 + b_4_13·a_1_1²·b_1_2·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2⁶·a_3_3 + b_4_13³·a_1_1³
76. b_10_47·b_5_15 + b_10_46·b_5_15 + b_4_13·b_1_2⁶·b_5_16 + b_4_13·b_1_2¹¹
       + b_4_13²·b_1_2⁷ + b_2_5·b_13_72 + b_2_5·b_4_13³·b_1_2 + b_2_4·b_4_13²·b_5_16
       + b_2_4·b_4_13²·b_5_15 + b_2_4²·b_10_48·b_1_2 + b_2_4²·b_10_47·b_1_2
       + b_2_4²·b_10_46·b_1_2 + b_2_4²·b_4_13²·b_3_9 + b_2_4²·b_2_5·b_4_13²·b_1_2
       + b_2_4³·b_2_5·b_4_13·b_3_9 + b_2_4⁵·b_4_13·b_1_2 + b_10_48·a_1_1·b_1_2⁴
       + b_10_46·b_1_2²·a_3_3 + b_4_13·b_1_2³·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2¹⁰
       + b_4_13·b_10_47·a_1_1 + b_4_13²·a_1_1·b_1_2·b_5_16 + b_4_13²·a_1_1·b_1_2⁶
       + b_4_13³·a_1_1·b_1_2² + b_2_4·b_10_47·a_3_3 + b_2_4⁶·a_3_3 + b_2_4⁷·a_1_1
       + b_10_46·a_1_1·b_1_2·a_3_3 + b_10_46·a_1_1²·b_1_2³
       + b_4_13·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_9_38 + b_4_13·a_1_1²·b_1_2⁹
       + b_4_13²·a_1_1²·b_1_2⁵ + b_10_46·a_1_1²·a_3_3
       + b_4_13·a_1_1²·b_1_2·a_3_3·b_5_16 + b_4_13³·a_1_1³
77. b_1_2²·b_13_72 + b_1_2¹⁵ + b_10_46·b_1_2⁵ + b_4_13·b_1_2⁶·b_5_16
       + b_4_13·b_1_2¹¹ + b_4_13²·b_1_2⁷ + b_1_2¹²·a_3_3 + b_10_48·b_1_2²·a_3_3
       + b_10_48·a_1_1·b_1_2⁴ + b_10_46·a_1_1·b_1_2⁴ + b_4_13·b_1_2³·a_3_3·b_5_16
       + b_4_13·b_10_48·a_1_1 + b_4_13·b_10_47·a_1_1 + b_4_13²·b_1_2⁴·a_3_3 + b_4_13³·a_3_3
       + b_10_48·a_1_1·b_1_2·a_3_3 + b_10_46·a_1_1·b_1_2·a_3_3 + b_4_13·a_1_1·b_1_2⁷·a_3_3
       + b_4_13·a_1_1²·b_1_2⁴·b_5_16 + b_4_13·a_1_1²·b_1_2⁹
       + b_4_13²·a_1_1·b_1_2³·a_3_3 + b_4_13²·a_1_1²·b_5_16 + b_4_13²·a_1_1²·b_1_2⁵
       + b_10_46·a_1_1²·a_3_3 + b_4_13·a_1_1²·b_1_2·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2²·a_3_3 + b_4_13³·a_1_1³
78. b_1_2·b_5_16·b_9_38 + b_1_2¹⁵ + b_10_47·b_5_15 + b_10_46·b_5_16 + b_10_46·b_1_2⁵
       + b_4_13·b_1_2¹¹ + b_4_13²·b_1_2²·b_5_16 + b_4_13²·b_1_2⁷ + b_4_13³·b_1_2³
       + b_2_5·b_4_13³·b_1_2 + b_2_4·b_13_72 + b_2_4²·b_10_48·b_1_2 + b_2_4²·b_4_13²·b_3_9
       + b_2_4³·b_1_2·b_3_9·b_5_15 + b_2_4³·b_4_13·b_5_16 + b_2_4³·b_4_13·b_5_15
       + b_2_4⁴·b_4_13·b_3_9 + b_2_4⁵·b_4_13·b_1_2 + b_2_4⁵·b_2_5·b_3_9 + b_2_4⁶·b_3_9
       + b_2_4⁶·b_2_5·b_1_2 + b_1_2¹²·a_3_3 + a_1_1·b_5_16·b_9_38 + a_1_1·b_1_2¹⁴
       + b_10_48·a_1_1·b_1_2⁴ + b_10_46·b_1_2²·a_3_3 + b_10_46·a_1_1·b_1_2⁴
       + b_4_13·b_1_2⁸·a_3_3 + b_4_13·a_1_1·b_1_2¹⁰ + b_4_13·b_10_47·a_1_1
       + b_4_13·b_10_46·a_1_1 + b_4_13²·a_1_1·b_1_2·b_5_16 + b_4_13²·a_1_1·b_1_2⁶
       + b_4_13³·a_1_1·b_1_2² + b_2_4·b_10_47·a_3_3 + b_2_4·b_10_46·a_3_3
       + b_2_4·b_4_13·a_9_22 + b_2_4⁶·a_3_3 + b_2_4⁷·a_1_1 + a_1_1·b_1_2¹¹·a_3_3
       + b_10_48·a_1_1·b_1_2·a_3_3 + b_4_13·a_1_1·b_1_2²·a_3_3·b_5_16
       + b_4_13·a_1_1²·b_1_2⁴·b_5_16 + b_4_13·a_1_1²·b_1_2⁹ + b_4_13²·a_1_1²·b_5_16
       + b_4_13³·a_1_1²·b_1_2 + b_2_4·a_1_0·b_3_9·a_9_22 + a_1_1²·b_1_2¹⁰·a_3_3
       + b_10_47·a_1_1²·a_3_3 + b_10_46·a_1_1²·a_3_3 + b_4_13²·a_1_1²·b_1_2²·a_3_3
79. b_4_13·a_1_1·b_11_57 + b_4_13·a_1_1·b_11_54 + b_4_13·a_1_1·b_1_2¹¹
       + b_4_13³·a_1_1·b_1_2³ + a_1_1²·b_5_16·b_9_38 + b_4_13·a_1_1·b_1_2⁸·a_3_3
       + b_4_13·a_1_1²·b_1_2¹⁰ + b_4_13·b_10_47·a_1_1² + b_4_13·b_10_46·a_1_1²
       + b_4_13²·a_1_1²·b_1_2⁶ + b_4_13³·a_1_1·a_3_3 + a_1_1²·b_1_2¹¹·a_3_3
       + b_10_46·a_1_1²·b_1_2·a_3_3 + b_4_13·a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1³·b_5_16 + b_4_13³·a_1_1³·b_1_2
80. a_3_3·b_13_72 + b_1_2¹³·a_3_3 + b_10_46·b_1_2³·a_3_3 + b_4_13·b_1_2⁴·a_3_3·b_5_16
       + b_4_13·b_1_2⁹·a_3_3 + b_4_13·a_1_1·b_11_54 + b_4_13·b_10_48·a_1_1·b_1_2
       + b_4_13²·b_1_2⁵·a_3_3 + b_4_13²·a_1_1·b_1_2⁷ + a_1_1·b_1_2¹²·a_3_3
       + a_1_1²·b_5_16·b_9_38 + a_1_1²·b_1_2¹⁴ + b_10_48·a_1_1²·b_1_2⁴
       + b_10_46·a_1_1·b_1_2²·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁰ + b_4_13·b_10_47·a_1_1²
       + b_4_13·b_10_46·a_1_1² + b_4_13³·a_1_1·a_3_3 + b_4_13³·a_1_1²·b_1_2²
       + a_1_1²·b_1_2¹¹·a_3_3 + b_10_48·a_1_1²·b_1_2·a_3_3
       + b_4_13²·a_1_1²·b_1_2³·a_3_3 + b_4_13²·a_1_1³·b_5_16
81. b_5_15·b_11_54 + b_10_48·b_1_2⁶ + b_4_13·b_1_2¹² + b_2_5·b_1_2·b_13_72
       + b_2_5·b_4_13·b_10_48 + b_2_4·b_4_13·b_10_47 + b_2_4·b_4_13·b_10_46
       + b_2_4·b_4_13²·b_1_2·b_5_15 + b_2_4·b_2_5·b_4_13³ + b_2_4²·b_4_13²·b_1_2·b_3_9
       + b_2_4³·b_10_48 + b_2_4³·b_10_47 + b_2_4³·b_10_46
       + b_2_4³·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4³·b_2_5·b_4_13² + b_2_4⁴·b_3_9·b_5_15
       + b_2_4⁴·b_4_13·b_1_2·b_3_9 + b_2_4⁴·b_4_13² + b_2_4⁵·b_1_2·b_5_15
       + b_2_4⁵·b_2_5·b_1_2·b_3_9 + b_2_4⁶·b_1_2·b_3_9 + b_2_4⁶·b_4_13
       + b_10_48·a_1_1·b_1_2⁵ + b_10_47·a_1_1·b_5_16 + b_4_13·b_1_2⁴·a_3_3·b_5_16
       + b_4_13·b_1_2⁹·a_3_3 + b_4_13·a_1_1·b_1_2¹¹ + b_4_13²·b_1_2⁵·a_3_3
       + b_4_13²·a_1_1·b_1_2²·b_5_16 + b_4_13²·a_1_1·b_1_2⁷ + b_2_4²·b_3_9·a_9_22
       + b_2_4⁶·a_1_0·b_3_9 + a_1_1²·b_5_16·b_9_38 + a_1_1²·b_1_2¹⁴
       + b_10_48·a_1_1²·b_1_2⁴ + b_4_13·a_1_1·b_1_2⁸·a_3_3 + b_4_13·b_10_48·a_1_1²
       + b_4_13·b_10_46·a_1_1² + b_4_13²·a_1_1²·b_1_2·b_5_16 + b_4_13³·a_1_1·a_3_3
       + b_4_13³·a_1_1²·b_1_2² + b_4_13·a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2³·a_3_3 + b_4_13²·a_1_1³·b_5_16
82. b_5_15·b_11_57 + b_3_9·b_13_72 + b_10_48·b_1_2⁶ + b_10_46·b_1_2⁶
       + b_4_13·b_10_46·b_1_2² + b_4_13³·b_1_2·b_3_9 + b_4_13³·b_1_2⁴
       + b_2_4·b_1_2·b_13_72 + b_2_4·b_2_5·b_4_13³ + b_2_4²·b_4_13²·b_1_2·b_3_9
       + b_2_4²·b_2_5·b_10_48 + b_2_4³·b_10_48 + b_2_4³·b_2_5·b_4_13²
       + b_2_4⁴·b_3_9·b_5_16 + b_2_4⁴·b_3_9·b_5_15 + b_2_4⁵·b_1_2·b_5_15
       + b_2_4⁵·b_2_5·b_1_2·b_3_9 + b_2_4⁶·b_1_2·b_3_9 + b_10_48·b_1_2³·a_3_3
       + b_10_46·b_1_2³·a_3_3 + b_10_46·a_1_1·b_1_2⁵ + b_4_13·a_1_1·b_11_54
       + b_4_13·a_1_1·b_1_2¹¹ + b_4_13·b_10_48·a_1_1·b_1_2 + b_4_13²·b_1_2⁵·a_3_3
       + b_4_13²·a_1_1·b_1_2²·b_5_16 + b_4_13³·b_1_2·a_3_3 + b_2_4²·b_3_9·a_9_22
       + b_2_4²·a_1_1·b_11_57 + b_2_4²·a_1_0·b_11_57 + b_2_4²·b_2_5·b_1_2·a_9_22
       + b_2_4³·b_1_2·a_9_22 + b_2_4⁶·a_1_1·b_3_9 + a_1_1²·b_5_16·b_9_38
       + b_10_46·a_1_1·b_1_2²·a_3_3 + b_10_46·a_1_1²·b_1_2⁴ + b_4_13·a_1_1·b_1_2⁸·a_3_3
       + b_4_13·a_1_1²·b_1_2¹⁰ + b_4_13·b_10_48·a_1_1² + b_4_13·b_10_46·a_1_1²
       + b_4_13²·a_1_1·b_1_2⁴·a_3_3 + b_4_13²·a_1_1²·b_1_2·b_5_16 + b_2_4³·a_1_0·a_9_22
       + b_4_13·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2⁷·a_3_3
       + b_4_13²·a_1_1²·b_1_2³·a_3_3 + b_4_13²·a_1_1³·b_5_16
83. a_9_22·b_9_38 + b_10_47·a_3_3·b_5_16 + b_10_46·a_3_3·b_5_16 + b_4_13·b_1_2¹¹·a_3_3
       + b_4_13·a_1_1·b_1_2¹³ + b_4_13·b_10_46·b_1_2·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2³
       + b_4_13²·b_1_2⁷·a_3_3 + b_4_13²·a_1_1·b_9_38 + b_4_13²·a_1_1·b_1_2⁹
       + b_2_4·b_4_13·b_3_9·a_9_22 + b_2_4²·b_5_15·a_9_22 + b_2_4³·b_3_9·a_9_22
       + b_2_4³·b_2_5·b_1_2·a_9_22 + b_2_4⁷·a_1_1·b_3_9 + b_10_48·a_1_1·b_1_2⁴·a_3_3
       + b_10_48·a_1_1²·b_1_2⁶ + b_10_46·a_1_1·b_1_2⁴·a_3_3
       + b_10_46·a_1_1²·b_1_2·b_5_16 + b_4_13·a_1_1·b_1_2¹⁰·a_3_3
       + b_4_13·b_10_48·a_1_1·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2²
       + b_4_13·b_10_47·a_1_1·a_3_3 + b_4_13·b_10_46·a_1_1·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2² + b_4_13²·a_1_1·b_1_2·a_3_3·b_5_16
       + b_4_13²·a_1_1·b_1_2⁶·a_3_3 + b_4_13²·a_1_1²·b_1_2⁸ + b_4_13⁴·a_1_1²
       + b_10_48·a_1_1²·b_1_2³·a_3_3 + b_10_46·a_1_1²·b_1_2³·a_3_3
       + b_4_13·a_1_1²·b_1_2⁴·a_3_3·b_5_16
84. b_2_4⁷·a_1_1·b_3_9 + a_9_22² + b_10_46·a_1_1²·b_1_2·b_5_16
       + b_4_13·a_1_1·b_1_2¹⁰·a_3_3 + b_4_13²·a_1_1·b_1_2⁶·a_3_3
       + b_4_13²·a_1_1²·b_1_2⁸ + b_4_13³·a_1_1²·b_1_2⁴ + b_4_13⁴·a_1_1²
       + b_2_4⁴·a_1_0·a_9_22 + b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1²·b_1_2⁹·a_3_3
       + b_4_13·a_1_1³·b_11_54 + b_4_13²·a_1_1²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2⁵·a_3_3
85. b_5_15·b_13_72 + b_10_46·b_1_2³·b_5_16 + b_10_46·b_1_2⁸ + b_4_13·b_10_46·b_1_2⁴
       + b_4_13²·b_1_2·b_9_38 + b_4_13²·b_1_2⁵·b_5_16 + b_4_13²·b_10_46
       + b_4_13³·b_1_2·b_5_16 + b_4_13³·b_1_2⁶ + b_4_13⁴·b_1_2² + b_2_5·b_4_13⁴
       + b_2_4·b_4_13⁴ + b_2_4·b_2_5·b_4_13·b_10_48 + b_2_4²·b_4_13·b_10_47
       + b_2_4²·b_4_13·b_10_46 + b_2_4²·b_4_13²·b_1_2·b_5_15 + b_2_4⁵·b_3_9·b_5_16
       + b_2_4⁵·b_3_9·b_5_15 + b_2_4⁵·b_4_13·b_1_2·b_3_9 + b_2_4⁶·b_1_2·b_5_16
       + b_2_4⁶·b_2_5·b_1_2·b_3_9 + b_10_48·b_1_2⁵·a_3_3 + b_10_48·a_1_1·b_1_2²·b_5_16
       + b_10_48·a_1_1·b_1_2⁷ + b_10_46·b_1_2⁵·a_3_3 + b_10_46·a_1_1·b_1_2²·b_5_16
       + b_4_13·a_1_1·b_1_2¹³ + b_4_13·b_10_46·b_1_2·a_3_3 + b_4_13²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1·b_9_38 + b_4_13²·a_1_1·b_1_2⁴·b_5_16 + b_4_13²·a_1_1·b_1_2⁹
       + b_4_13³·b_1_2³·a_3_3 + b_2_4²·b_5_15·a_9_22 + a_9_22²
       + b_10_48·a_1_1·b_1_2⁴·a_3_3 + b_10_48·a_1_1²·b_1_2⁶
       + b_10_46·a_1_1·b_1_2⁴·a_3_3 + b_10_46·a_1_1²·b_1_2⁶ + b_4_13·a_1_1²·b_1_2¹²
       + b_4_13·b_10_47·a_1_1·a_3_3 + b_4_13·b_10_46·a_1_1·a_3_3
       + b_4_13²·a_1_1·b_1_2⁶·a_3_3 + b_4_13³·a_1_1·b_1_2²·a_3_3
       + a_1_1²·b_1_2¹³·a_3_3 + b_10_46·a_1_1²·b_1_2³·a_3_3
       + b_4_13·a_1_1²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1²·b_1_2⁵·a_3_3
       + b_4_13³·a_1_1²·b_1_2·a_3_3
86. b_5_16·b_13_72 + b_10_46·b_1_2³·b_5_16 + b_10_46·b_1_2⁸ + b_4_13·b_5_16·b_9_38
       + b_4_13·b_1_2¹⁴ + b_4_13·b_10_46·b_1_2⁴ + b_4_13²·b_1_2·b_9_38 + b_4_13²·b_10_47
       + b_4_13²·b_10_46 + b_4_13³·b_1_2·b_5_16 + b_4_13⁴·b_1_2² + b_2_5·b_4_13⁴
       + b_2_4·b_4_13³·b_1_2·b_3_9 + b_2_4·b_4_13⁴ + b_2_4·b_2_5·b_1_2·b_13_72
       + b_2_4·b_2_5·b_4_13·b_10_48 + b_2_4²·b_4_13·b_10_48 + b_2_4²·b_4_13²·b_1_2·b_5_15
       + b_2_4³·b_4_13²·b_1_2·b_3_9 + b_2_4³·b_4_13³ + b_2_4⁴·b_4_13·b_1_2·b_5_15
       + b_2_4⁴·b_2_5·b_4_13² + b_2_4⁵·b_4_13² + b_2_4⁶·b_1_2·b_5_16
       + b_10_48·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2²·b_5_16 + b_10_48·a_1_1·b_1_2⁷
       + b_10_47·a_3_3·b_5_16 + b_10_46·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2²·b_5_16
       + b_10_46·a_1_1·b_1_2⁷ + b_4_13·b_5_15·a_9_22 + b_4_13·b_1_2¹¹·a_3_3
       + b_4_13·b_10_48·a_1_1·b_1_2³ + b_4_13²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1·b_9_38 + b_4_13²·a_1_1·b_1_2⁴·b_5_16 + b_4_13²·a_1_1·b_1_2⁹
       + b_4_13³·a_1_1·b_1_2⁵ + b_4_13⁴·a_1_1·b_1_2 + b_2_4·b_4_13·b_3_9·a_9_22
       + b_2_4²·b_5_15·a_9_22 + a_9_22² + a_1_1·b_1_2¹⁴·a_3_3 + a_1_1²·b_5_16·b_11_54
       + b_10_48·a_1_1²·b_1_2·b_5_16 + b_10_46·a_1_1²·b_1_2⁶
       + b_4_13·b_10_47·a_1_1·a_3_3 + b_4_13·b_10_46·a_1_1·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2² + b_4_13²·a_1_1²·b_1_2³·b_5_16
       + b_4_13³·a_1_1·b_1_2²·a_3_3 + b_4_13³·a_1_1²·b_1_2⁴ + a_1_1²·b_1_2¹³·a_3_3
       + b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1²·b_1_2⁴·a_3_3·b_5_16
       + b_4_13·b_10_48·a_1_1³·b_1_2 + b_4_13²·a_1_1²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2⁵·a_3_3
87. b_9_38² + b_4_13³·b_1_2⁶ + b_2_4²·b_2_5·b_4_13³ + b_2_4⁴·b_2_5·b_4_13²
       + b_2_4⁷·b_4_13 + b_4_13²·b_1_2⁷·a_3_3 + b_4_13²·a_1_1·b_1_2⁴·b_5_16
       + b_4_13³·a_1_1·b_1_2⁵ + a_9_22² + b_10_48·a_1_1²·b_1_2·b_5_16
       + b_10_46·a_1_1²·b_1_2⁶ + b_4_13·a_1_1²·b_1_2¹²
       + b_4_13·b_10_48·a_1_1²·b_1_2² + b_4_13·b_10_46·a_1_1²·b_1_2²
       + b_4_13²·a_1_1·b_1_2⁶·a_3_3 + b_4_13²·a_1_1²·b_1_2³·b_5_16 + b_4_13⁴·a_1_1²
       + b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13·a_1_1²·b_1_2⁴·a_3_3·b_5_16
       + b_4_13·b_10_48·a_1_1³·b_1_2 + b_4_13²·a_1_1²·b_1_2⁵·a_3_3 + c_16_105·a_1_1²
88. b_2_5·b_4_13⁴·b_1_2 + b_2_4⁴·b_2_5·b_4_13²·b_1_2 + b_2_4⁶·b_2_5·b_4_13·b_1_2
       + b_2_4⁸·b_2_5·b_1_2 + b_10_48·a_9_22 + b_10_48·b_1_2·a_3_3·b_5_16
       + b_10_48·b_1_2⁶·a_3_3 + b_10_48·a_1_1·b_1_2⁸ + b_10_47·a_9_22 + b_10_46·a_9_22
       + b_4_13·a_1_1·b_1_2¹⁴ + b_4_13·b_10_46·a_1_1·b_1_2⁴
       + b_4_13²·b_1_2³·a_3_3·b_5_16 + b_4_13²·a_1_1·b_1_2¹⁰ + b_4_13²·b_10_48·a_1_1
       + b_4_13²·b_10_47·a_1_1 + b_4_13²·b_10_46·a_1_1 + b_4_13³·b_1_2⁴·a_3_3
       + b_2_4·b_4_13²·a_9_22 + b_2_4³·b_10_47·a_3_3 + b_2_4³·b_4_13·a_9_22
       + b_2_4⁴·b_10_46·a_1_0 + b_2_4⁵·a_9_22 + b_2_4⁸·a_3_3 + b_2_4⁹·a_1_1
       + b_10_48·a_1_1·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2⁵·a_3_3
       + b_10_48·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1·a_3_3·b_5_16
       + b_10_46·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1²·b_1_2⁷
       + b_4_13·a_1_1·b_1_2¹¹·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2³
       + b_4_13·b_10_46·a_1_1·b_1_2·a_3_3 + b_4_13²·a_1_1·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2⁴·b_5_16 + b_4_13³·a_1_1²·b_5_16 + a_1_1²·b_1_2¹⁴·a_3_3
       + b_10_46·a_1_1²·b_1_2⁴·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁰·a_3_3
       + b_4_13²·a_1_1²·b_1_2·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_1_2²·a_3_3
       + b_4_13⁴·a_1_1³
89. b_10_48·b_9_38 + b_4_13·b_10_48·b_5_16 + b_4_13·b_10_48·b_1_2⁵
       + b_4_13·b_10_47·b_5_16 + b_4_13·b_10_46·b_5_16 + b_4_13²·b_11_54
       + b_4_13²·b_1_2⁶·b_5_16 + b_4_13²·b_1_2¹¹ + b_4_13²·b_10_47·b_1_2
       + b_4_13²·b_10_46·b_1_2 + b_4_13³·b_1_2⁷ + b_2_5·b_4_13⁴·b_1_2
       + b_2_4·b_1_2·b_5_16·b_11_57 + b_2_4·b_4_13³·b_5_16 + b_2_4·b_4_13³·b_5_15
       + b_2_4·b_2_5·b_4_13·b_11_57 + b_2_4²·b_2_5·b_13_72 + b_2_4³·b_2_5·b_11_57
       + b_2_4⁴·b_10_48·b_1_2 + b_2_4⁴·b_10_47·b_1_2 + b_2_4⁴·b_10_46·b_1_2
       + b_2_4⁴·b_4_13²·b_3_9 + b_2_4⁴·b_2_5·b_4_13²·b_1_2 + b_2_4⁵·b_2_5·b_4_13·b_3_9
       + b_2_4⁶·b_4_13·b_3_9 + b_2_4⁶·b_2_5·b_4_13·b_1_2 + b_2_4⁷·b_4_13·b_1_2
       + b_10_48·b_1_2·a_3_3·b_5_16 + b_10_48·b_1_2⁶·a_3_3 + b_10_48·a_1_1·b_1_2³·b_5_16
       + b_10_47·a_9_22 + b_10_46·a_9_22 + b_10_46·a_1_1·b_1_2³·b_5_16
       + b_10_46·a_1_1·b_1_2⁸ + b_4_13·b_1_2¹²·a_3_3 + b_4_13·a_1_1·b_5_16·b_9_38
       + b_4_13·a_1_1·b_1_2¹⁴ + b_4_13·b_10_48·b_1_2²·a_3_3
       + b_4_13²·b_1_2³·a_3_3·b_5_16 + b_4_13²·a_1_1·b_1_2¹⁰ + b_4_13²·b_10_48·a_1_1
       + b_4_13²·b_10_47·a_1_1 + b_4_13³·b_1_2⁴·a_3_3 + b_4_13⁴·a_1_1·b_1_2²
       + b_2_4·b_3_9·b_5_15·a_9_22 + b_2_4³·b_10_47·a_3_3 + b_2_4⁴·b_10_46·a_1_0
       + b_2_4⁵·a_9_22 + b_2_4⁸·a_3_3 + b_2_4⁹·a_1_1 + b_10_48·a_1_1·a_3_3·b_5_16
       + b_10_48·a_1_1·b_1_2⁵·a_3_3 + b_10_48·a_1_1²·b_1_2⁷ + b_10_47·a_1_1·a_3_3·b_5_16
       + b_10_46·a_1_1·b_1_2⁵·a_3_3 + b_10_46·a_1_1²·b_1_2²·b_5_16
       + b_10_46·a_1_1²·b_1_2⁷ + b_4_13·a_1_1·b_1_2¹¹·a_3_3
       + b_4_13·b_10_48·a_1_1·b_1_2·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2³ + b_4_13²·a_1_1·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2⁴·b_5_16 + b_4_13³·a_1_1²·b_5_16
       + b_4_13³·a_1_1²·b_1_2⁵ + b_2_4³·a_1_0·b_3_9·a_9_22 + a_1_1²·b_1_2¹⁴·a_3_3
       + b_10_48·a_1_1²·b_1_2⁴·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁰·a_3_3
       + b_4_13·b_10_48·a_1_1²·a_3_3 + b_4_13·b_10_47·a_1_1²·a_3_3
       + b_4_13·b_10_46·a_1_1²·a_3_3 + b_4_13³·a_1_1²·b_1_2²·a_3_3 + b_4_13⁴·a_1_1³
       + c_16_105·a_1_1·b_1_2²
90. b_10_47·b_9_38 + b_10_46·b_9_38 + b_4_13³·b_1_2⁷ + b_2_4·b_1_2·b_5_16·b_11_57
       + b_2_4·b_2_5·b_4_13·b_11_57 + b_2_4²·b_2_5·b_13_72 + b_2_4³·b_4_13³·b_1_2
       + b_2_4³·b_2_5·b_11_57 + b_2_4⁴·b_10_48·b_1_2 + b_2_4⁴·b_10_47·b_1_2
       + b_2_4⁴·b_10_46·b_1_2 + b_2_4⁴·b_4_13²·b_3_9 + b_2_4⁴·b_2_5·b_4_13²·b_1_2
       + b_2_4⁵·b_1_2·b_3_9·b_5_15 + b_2_4⁵·b_4_13·b_5_16 + b_2_4⁵·b_4_13·b_5_15
       + b_2_4⁵·b_4_13²·b_1_2 + b_2_4⁵·b_2_5·b_4_13·b_3_9 + b_2_4⁸·b_2_5·b_1_2
       + b_10_47·a_9_22 + b_10_46·a_9_22 + b_4_13·b_1_2¹²·a_3_3 + b_4_13·a_1_1·b_1_2¹⁴
       + b_4_13·b_10_46·b_1_2²·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2⁴
       + b_4_13²·b_1_2³·a_3_3·b_5_16 + b_4_13²·a_1_1·b_1_2¹⁰ + b_4_13²·b_10_46·a_1_1
       + b_4_13³·b_1_2⁴·a_3_3 + b_4_13³·a_1_1·b_1_2·b_5_16 + b_4_13⁴·a_1_1·b_1_2²
       + b_2_4·b_3_9·b_5_15·a_9_22 + b_2_4³·b_10_46·a_3_3 + b_2_4³·b_4_13·a_9_22
       + b_10_48·a_1_1·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2²·b_5_16
       + b_10_48·a_1_1²·b_1_2⁷ + b_10_46·a_1_1·b_1_2⁵·a_3_3
       + b_10_46·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1²·b_1_2⁷
       + b_4_13·a_1_1·b_1_2¹¹·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2³ + b_4_13²·a_1_1·b_1_2⁷·a_3_3
       + b_4_13³·a_1_1²·b_5_16 + b_4_13⁴·a_1_1²·b_1_2 + b_10_48·a_1_1²·b_1_2⁴·a_3_3
       + b_4_13·a_1_1²·b_1_2¹⁰·a_3_3 + b_4_13·b_10_48·a_1_1²·a_3_3
       + b_4_13²·a_1_1²·b_1_2·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_1_2²·a_3_3
       + b_4_13⁴·a_1_1³ + c_16_105·a_1_1²·b_1_2
91. b_2_4·b_1_2·b_5_16·b_11_57 + b_2_4²·b_4_13·b_10_47·b_1_2
       + b_2_4²·b_4_13·b_10_46·b_1_2 + b_2_4³·b_4_13³·b_1_2 + b_2_4⁴·b_10_48·b_1_2
       + b_2_4⁴·b_2_5·b_4_13²·b_1_2 + b_2_4⁵·b_4_13²·b_1_2 + b_2_4⁷·b_4_13·b_1_2
       + b_10_47·a_9_22 + b_10_46·a_9_22 + b_4_13·a_1_1·b_1_2¹⁴
       + b_4_13·b_10_46·a_1_1·b_1_2⁴ + b_4_13²·b_1_2³·a_3_3·b_5_16
       + b_4_13²·a_1_1·b_1_2¹⁰ + b_4_13²·b_10_47·a_1_1 + b_4_13²·b_10_46·a_1_1
       + b_4_13³·b_1_2⁴·a_3_3 + b_2_4·b_3_9·b_5_15·a_9_22 + b_2_4³·b_10_46·a_3_3
       + b_2_4⁸·a_3_3 + b_10_48·a_1_1·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2⁵·a_3_3
       + b_10_48·a_1_1²·b_1_2⁷ + b_10_47·a_1_1·a_3_3·b_5_16
       + b_10_46·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1²·b_1_2⁷
       + b_4_13·b_10_48·a_1_1²·b_1_2³ + b_4_13²·a_1_1·b_1_2⁷·a_3_3
       + b_4_13²·a_1_1²·b_1_2⁴·b_5_16 + b_4_13³·a_1_1·b_1_2³·a_3_3
       + b_4_13³·a_1_1²·b_5_16 + b_2_4³·a_1_0·b_3_9·a_9_22
       + b_10_46·a_1_1²·b_1_2⁴·a_3_3 + b_4_13·b_10_48·a_1_1²·a_3_3
       + b_4_13·b_10_46·a_1_1²·a_3_3 + b_4_13²·a_1_1²·b_1_2⁶·a_3_3 + b_4_13⁴·a_1_1³
       + b_2_4·c_16_105·a_1_1
92. b_2_4·b_1_2·b_5_16·b_11_57 + b_2_4²·b_4_13·b_10_47·b_1_2
       + b_2_4²·b_4_13·b_10_46·b_1_2 + b_2_4³·b_4_13³·b_1_2 + b_2_4⁴·b_10_48·b_1_2
       + b_2_4⁴·b_2_5·b_4_13²·b_1_2 + b_2_4⁵·b_4_13²·b_1_2 + b_2_4⁷·b_4_13·b_1_2
       + b_10_46·a_9_22 + b_10_46·b_1_2·a_3_3·b_5_16 + b_10_46·b_1_2⁶·a_3_3
       + b_10_46·a_1_1·b_1_2⁸ + b_4_13²·b_10_46·a_1_1 + b_2_4·b_3_9·b_5_15·a_9_22
       + b_2_4³·b_10_47·a_3_3 + b_2_4⁴·b_2_5·a_9_22 + b_2_4⁸·a_3_3
       + b_10_46·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1²·b_1_2⁷
       + b_2_4³·a_1_0·b_3_9·a_9_22 + a_1_1²·b_1_2¹⁴·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁰·a_3_3
       + b_4_13²·a_1_1²·b_1_2⁶·a_3_3 + b_2_4·c_16_105·a_1_0
93. b_10_47·b_9_38 + b_4_13·b_10_46·b_5_16 + b_4_13·b_10_46·b_1_2⁵
       + b_4_13²·b_1_2⁶·b_5_16 + b_4_13³·b_1_2⁷ + b_2_5·b_4_13·b_13_72
       + b_2_5·b_4_13⁴·b_1_2 + b_2_4²·b_4_13·b_11_54 + b_2_4²·b_4_13·b_10_47·b_1_2
       + b_2_4³·b_4_13²·b_5_15 + b_2_4³·b_4_13³·b_1_2 + b_2_4³·b_2_5·b_11_57
       + b_2_4⁴·b_11_57 + b_2_4⁴·b_11_54 + b_2_4⁴·b_10_48·b_1_2 + b_2_4⁴·b_10_47·b_1_2
       + b_2_4⁵·b_1_2·b_3_9·b_5_15 + b_2_4⁵·b_4_13·b_5_15 + b_2_4⁵·b_2_5·b_4_13·b_3_9
       + b_2_4⁶·b_2_5·b_4_13·b_1_2 + b_2_4⁷·b_5_16 + b_2_4⁷·b_5_15 + b_2_4⁷·b_4_13·b_1_2
       + b_2_4⁸·b_3_9 + b_2_4⁸·b_2_5·b_1_2 + b_10_48·a_1_1·b_1_2³·b_5_16
       + b_10_46·b_1_2·a_3_3·b_5_16 + b_10_46·b_1_2⁶·a_3_3 + b_4_13·b_1_2¹²·a_3_3
       + b_4_13·a_1_1·b_5_16·b_9_38 + b_4_13·a_1_1·b_1_2¹⁴ + b_4_13·b_10_46·a_1_1·b_1_2⁴
       + b_4_13²·b_10_48·a_1_1 + b_4_13²·b_10_46·a_1_1 + b_4_13³·a_1_1·b_1_2·b_5_16
       + b_4_13³·a_1_1·b_1_2⁶ + b_4_13⁴·a_3_3 + b_2_4·b_3_9·b_5_15·a_9_22
       + b_2_4·b_4_13²·a_9_22 + b_2_4³·b_10_47·a_3_3 + b_2_4³·b_4_13·a_9_22
       + b_2_4⁴·b_10_46·a_1_0 + b_2_4⁵·a_9_22 + b_2_4⁸·a_3_3 + b_2_4⁹·a_1_1
       + b_10_48·a_1_1·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2⁵·a_3_3
       + b_10_48·a_1_1²·b_1_2²·b_5_16 + b_10_46·a_1_1·a_3_3·b_5_16
       + b_10_46·a_1_1·b_1_2⁵·a_3_3 + b_10_46·a_1_1²·b_1_2⁷
       + b_4_13·a_1_1·b_1_2¹¹·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2·a_3_3
       + b_4_13·b_10_46·a_1_1·b_1_2·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2³
       + b_4_13²·a_1_1·b_1_2⁷·a_3_3 + b_4_13²·a_1_1²·b_9_38
       + b_4_13²·a_1_1²·b_1_2⁴·b_5_16 + b_4_13²·a_1_1²·b_1_2⁹
       + b_4_13³·a_1_1²·b_5_16 + b_4_13³·a_1_1²·b_1_2⁵ + a_1_1²·b_1_2¹⁴·a_3_3
       + b_4_13·a_1_1²·b_1_2¹⁰·a_3_3 + b_4_13·b_10_48·a_1_1²·a_3_3
       + b_4_13·b_10_47·a_1_1²·a_3_3 + b_4_13²·a_1_1²·b_1_2·a_3_3·b_5_16
       + b_4_13³·a_1_1²·b_1_2²·a_3_3 + b_4_13⁴·a_1_1³ + c_16_105·a_1_1³
94. b_10_48·b_1_2⁵·b_5_16 + b_10_47² + b_10_46·b_10_48 + b_10_46²
       + b_4_13·b_3_9·b_13_72 + b_4_13·b_10_46·b_1_2·b_5_16 + b_4_13·b_10_46·b_1_2⁶
       + b_4_13²·b_1_2·b_11_54 + b_4_13²·b_10_48·b_1_2² + b_4_13²·b_10_46·b_1_2²
       + b_2_5·b_4_13·b_1_2·b_13_72 + b_2_5·b_4_13²·b_10_48 + b_2_4·b_4_13·b_1_2·b_13_72
       + b_2_4·b_4_13²·b_10_48 + b_2_4·b_4_13²·b_10_47 + b_2_4·b_4_13³·b_1_2·b_5_15
       + b_2_4²·b_5_16·b_11_57 + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4²·b_4_13⁴
       + b_2_4³·b_1_2·b_13_72 + b_2_4³·b_4_13·b_10_46 + b_2_4⁴·b_4_13³
       + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁵·b_4_13·b_1_2·b_5_15
       + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁶·b_4_13·b_1_2·b_3_9 + b_2_4⁶·b_4_13²
       + b_2_4⁷·b_2_5·b_4_13 + b_2_4⁸·b_1_2·b_3_9 + a_9_22·b_11_54 + b_10_48·b_1_2⁷·a_3_3
       + b_10_48·a_1_1·b_1_2⁹ + b_10_46·a_1_1·b_1_2⁴·b_5_16 + b_10_46·a_1_1·b_1_2⁹
       + b_4_13·b_1_2¹³·a_3_3 + b_4_13·b_10_48·b_1_2³·a_3_3 + b_4_13·b_10_48·a_1_1·b_5_16
       + b_4_13·b_10_47·a_1_1·b_5_16 + b_4_13²·b_1_2⁴·a_3_3·b_5_16
       + b_4_13²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1·b_11_54 + b_4_13²·a_1_1·b_1_2¹¹
       + b_4_13²·b_10_48·a_1_1·b_1_2 + b_4_13²·b_10_46·a_1_1·b_1_2
       + b_4_13³·b_1_2⁵·a_3_3 + b_4_13³·a_1_1·b_1_2²·b_5_16 + b_4_13⁴·b_1_2·a_3_3
       + b_2_4·b_4_13·b_5_15·a_9_22 + b_2_4⁴·b_3_9·a_9_22
       + b_10_48·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2³·b_5_16
       + b_10_48·a_1_1²·b_1_2⁸ + b_4_13·a_1_1·b_1_2¹²·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁴
       + b_4_13²·a_1_1·b_1_2⁸·a_3_3 + b_4_13²·b_10_47·a_1_1²
       + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1·a_3_3 + b_2_4·a_9_22²
       + b_2_4⁵·a_1_0·a_9_22 + b_10_48·a_1_1²·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁵·a_3_3
       + b_10_46·a_1_1²·b_1_2⁵·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3 + b_4_13²·a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13²·a_1_1²·b_1_2⁷·a_3_3 + c_16_105·a_1_1·b_1_2³
95. b_10_48·b_1_2⁵·b_5_16 + b_10_48² + b_10_47² + b_10_46·b_1_2⁵·b_5_16
       + b_10_46·b_1_2¹⁰ + b_10_46² + b_4_13·b_10_48·b_1_2⁶ + b_4_13·b_10_46·b_1_2⁶
       + b_4_13²·b_1_2¹² + b_4_13²·b_10_48·b_1_2² + b_4_13³·b_1_2³·b_5_16 + b_4_13⁵
       + b_2_4⁴·b_4_13³ + b_2_4⁶·b_4_13² + b_10_48·a_1_1·b_1_2⁴·b_5_16
       + b_10_46·b_1_2⁷·a_3_3 + b_4_13·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2⁵
       + b_4_13·b_10_46·b_1_2³·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2⁵
       + b_4_13²·b_1_2⁴·a_3_3·b_5_16 + b_4_13²·b_10_46·a_1_1·b_1_2
       + b_4_13³·b_1_2⁵·a_3_3 + b_4_13³·a_1_1·b_1_2²·b_5_16 + b_4_13³·a_1_1·b_1_2⁷
       + b_10_48·a_1_1·b_1_2⁶·a_3_3 + b_10_48·a_1_1²·b_1_2³·b_5_16
       + b_10_48·a_1_1²·b_1_2⁸ + b_10_46·a_1_1·b_1_2⁶·a_3_3
       + b_10_46·a_1_1²·b_1_2³·b_5_16 + b_4_13·a_1_1²·b_5_16·b_9_38
       + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
       + b_4_13²·a_1_1²·b_1_2¹⁰ + b_4_13²·b_10_46·a_1_1²
       + b_4_13³·a_1_1²·b_1_2·b_5_16 + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1·a_3_3
       + b_10_46·a_1_1²·b_1_2⁵·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3
       + b_4_13²·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_1_2⁷·a_3_3
       + b_4_13³·a_1_1³·b_5_16 + b_4_13⁴·a_1_1³·b_1_2 + c_16_105·b_1_2⁴
       + c_16_105·a_1_1²·b_1_2²
96. b_9_38·b_11_57 + b_9_38·b_11_54 + b_10_48² + b_10_47·b_10_48 + b_10_47²
       + b_10_46·b_1_2⁵·b_5_16 + b_10_46·b_1_2¹⁰ + b_10_46² + b_4_13·b_5_16·b_11_57
       + b_4_13·b_5_16·b_11_54 + b_4_13·b_3_9·b_13_72 + b_4_13·b_10_48·b_1_2·b_5_16
       + b_4_13²·b_1_2¹² + b_4_13²·b_10_46·b_1_2² + b_4_13³·b_1_2³·b_5_16
       + b_4_13⁴·b_1_2⁴ + b_4_13⁵ + b_2_5·b_4_13²·b_10_48 + b_2_4·b_4_13·b_1_2·b_13_72
       + b_2_4·b_4_13²·b_10_47 + b_2_4·b_4_13³·b_1_2·b_5_15
       + b_2_4·b_2_5·b_4_13·b_1_2·b_11_57 + b_2_4²·b_5_16·b_11_57 + b_2_4²·b_4_13⁴
       + b_2_4²·b_2_5·b_1_2·b_13_72 + b_2_4³·b_1_2·b_13_72 + b_2_4³·b_4_13·b_10_48
       + b_2_4³·b_2_5·b_4_13³ + b_2_4⁴·b_1_2·b_11_57 + b_2_4⁴·b_4_13²·b_1_2·b_3_9
       + b_2_4⁴·b_4_13³ + b_2_4⁵·b_10_47 + b_2_4⁵·b_10_46 + b_2_4⁵·b_4_13·b_1_2·b_5_15
       + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁷·b_2_5·b_1_2·b_3_9 + b_2_4⁸·b_1_2·b_3_9
       + b_2_4⁸·b_4_13 + a_9_22·b_11_54 + b_10_48·b_1_2²·a_3_3·b_5_16
       + b_10_48·b_1_2⁷·a_3_3 + b_10_46·b_1_2²·a_3_3·b_5_16 + b_4_13·b_1_2¹³·a_3_3
       + b_4_13·b_10_48·a_1_1·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁵
       + b_4_13·b_10_46·b_1_2³·a_3_3 + b_4_13·b_10_46·a_1_1·b_5_16
       + b_4_13·b_10_46·a_1_1·b_1_2⁵ + b_4_13²·b_3_9·a_9_22
       + b_4_13²·b_10_48·a_1_1·b_1_2 + b_4_13²·b_10_46·a_1_1·b_1_2
       + b_4_13³·b_1_2⁵·a_3_3 + b_4_13³·a_1_1·b_1_2²·b_5_16 + b_4_13³·a_1_1·b_1_2⁷
       + b_4_13⁴·a_1_1·b_1_2³ + b_2_4²·b_4_13·b_3_9·a_9_22 + b_2_4⁴·a_1_0·b_11_57
       + b_2_4⁸·a_1_0·b_3_9 + b_10_48·a_1_1·b_1_2⁶·a_3_3 + b_10_46·a_1_1·b_1_2⁶·a_3_3
       + b_10_46·a_1_0·a_9_22 + b_4_13·a_1_1·b_1_2¹²·a_3_3 + b_4_13·a_1_1²·b_5_16·b_9_38
       + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
       + b_4_13·b_10_46·a_1_1²·b_1_2⁴ + b_4_13²·a_1_1·b_1_2⁸·a_3_3
       + b_4_13³·a_1_1·b_1_2⁴·a_3_3 + b_4_13³·a_1_1²·b_1_2·b_5_16
       + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1·a_3_3 + b_10_46·a_1_1²·b_1_2⁵·a_3_3
       + b_4_13·a_1_1²·b_1_2¹¹·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3
       + b_4_13³·a_1_1²·b_1_2³·a_3_3 + b_4_13³·a_1_1³·b_5_16 + c_16_105·b_1_2⁴
       + c_16_105·a_1_1³·b_1_2
97. b_9_38·b_11_57 + b_10_47·b_10_48 + b_10_47² + b_10_46·b_10_48 + b_10_46²
       + b_4_13·b_5_16·b_11_57 + b_4_13·b_10_48·b_1_2·b_5_16 + b_4_13·b_10_46·b_1_2·b_5_16
       + b_4_13²·b_1_2·b_11_54 + b_4_13²·b_1_2¹² + b_4_13²·b_10_48·b_1_2²
       + b_4_13³·b_1_2⁸ + b_4_13⁴·b_1_2⁴ + b_2_5·b_4_13²·b_10_48
       + b_2_4·b_4_13²·b_10_48 + b_2_4·b_4_13²·b_10_47 + b_2_4·b_4_13²·b_10_46
       + b_2_4·b_2_5·b_4_13⁴ + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4²·b_4_13³·b_1_2·b_3_9
       + b_2_4²·b_4_13⁴ + b_2_4³·b_4_13·b_10_47 + b_2_4³·b_2_5·b_1_2·b_11_57
       + b_2_4³·b_2_5·b_4_13³ + b_2_4⁴·b_1_2·b_11_57 + b_2_4⁴·b_4_13²·b_1_2·b_3_9
       + b_2_4⁴·b_4_13³ + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁷·b_1_2·b_5_16
       + b_2_4⁸·b_1_2·b_3_9 + b_2_4⁸·b_4_13 + a_9_22·b_11_54 + b_10_48·b_1_2²·a_3_3·b_5_16
       + b_10_46·b_1_2²·a_3_3·b_5_16 + b_10_46·b_1_2⁷·a_3_3 + b_4_13·b_1_2¹³·a_3_3
       + b_4_13·b_10_48·b_1_2³·a_3_3 + b_4_13·b_10_48·a_1_1·b_5_16
       + b_4_13·b_10_46·a_1_1·b_1_2⁵ + b_4_13²·b_3_9·a_9_22
       + b_4_13²·b_1_2⁴·a_3_3·b_5_16 + b_4_13³·a_3_3·b_5_16 + b_4_13³·b_1_2⁵·a_3_3
       + b_2_4³·b_5_15·a_9_22 + b_2_4⁴·a_1_1·b_11_57 + b_2_4⁵·b_1_2·a_9_22
       + b_10_48·a_1_1·b_1_2⁶·a_3_3 + b_10_48·a_1_1²·b_1_2⁸
       + b_10_46·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_46·a_1_1²·b_1_2³·b_5_16
       + b_10_46·a_1_1²·b_1_2⁸ + b_10_46·a_1_0·a_9_22 + b_4_13·a_1_1·b_1_2¹²·a_3_3
       + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
       + b_4_13·b_10_46·a_1_1·b_1_2²·a_3_3 + b_4_13²·a_1_1·b_1_2³·a_3_3·b_5_16
       + b_4_13²·b_10_48·a_1_1² + b_4_13²·b_10_47·a_1_1² + b_4_13³·a_1_1²·b_1_2⁶
       + b_4_13⁴·a_1_1²·b_1_2² + b_2_4·a_9_22² + b_2_4⁵·a_1_0·a_9_22
       + b_10_48·a_1_1²·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁵·a_3_3
       + b_10_46·a_1_1²·a_3_3·b_5_16 + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3
       + b_4_13²·a_1_1²·b_1_2⁷·a_3_3 + b_4_13³·a_1_1²·b_1_2³·a_3_3
       + b_4_13³·a_1_1³·b_5_16 + b_4_13⁴·a_1_1³·b_1_2 + c_16_105·a_1_1·a_3_3
98. b_9_38·b_11_57 + b_9_38·b_11_54 + b_10_48·b_1_2⁵·b_5_16 + b_10_47·b_10_48
       + b_10_46·b_10_47 + b_10_46² + b_4_13·b_5_16·b_11_57 + b_4_13·b_5_16·b_11_54
       + b_4_13·b_3_9·b_13_72 + b_4_13·b_10_48·b_1_2·b_5_16 + b_4_13·b_10_48·b_1_2⁶
       + b_4_13·b_10_46·b_1_2·b_5_16 + b_4_13²·b_10_48·b_1_2² + b_4_13⁴·b_1_2⁴
       + b_2_5·b_4_13·b_1_2·b_13_72 + b_2_5·b_4_13²·b_10_48 + b_2_4·b_4_13·b_1_2·b_13_72
       + b_2_4·b_4_13³·b_1_2·b_5_15 + b_2_4·b_2_5·b_4_13·b_1_2·b_11_57
       + b_2_4·b_2_5·b_4_13⁴ + b_2_4²·b_5_16·b_11_57 + b_2_4²·b_3_9·b_13_72
       + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4³·b_1_2·b_13_72 + b_2_4³·b_4_13·b_10_48
       + b_2_4³·b_2_5·b_4_13³ + b_2_4⁵·b_10_48 + b_2_4⁵·b_10_47 + b_2_4⁵·b_10_46
       + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁵·b_2_5·b_4_13² + b_2_4⁶·b_4_13²
       + b_2_4⁷·b_1_2·b_5_16 + b_2_4⁷·b_1_2·b_5_15 + b_2_4⁸·b_4_13 + b_10_48·a_1_1·b_1_2⁹
       + b_10_46·b_1_2⁷·a_3_3 + b_4_13·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1·b_5_16
       + b_4_13·b_10_46·a_1_1·b_5_16 + b_4_13·b_10_46·a_1_1·b_1_2⁵
       + b_4_13²·b_1_2⁴·a_3_3·b_5_16 + b_4_13²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1·b_11_54
       + b_4_13²·b_10_48·a_1_1·b_1_2 + b_4_13³·a_1_1·b_1_2⁷ + b_2_4³·b_5_15·a_9_22
       + b_2_4⁴·b_3_9·a_9_22 + b_2_4⁴·a_1_0·b_11_57 + b_2_4⁵·b_1_2·a_9_22
       + b_10_48·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2⁶·a_3_3
       + b_10_48·a_1_1²·b_1_2³·b_5_16 + b_10_46·a_1_1·b_1_2·a_3_3·b_5_16
       + b_10_46·a_1_1·b_1_2⁶·a_3_3 + b_10_46·a_1_1²·b_1_2⁸ + b_10_46·a_1_0·a_9_22
       + b_4_13·a_1_1·b_1_2¹²·a_3_3 + b_4_13·a_1_1²·b_5_16·b_9_38
       + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
       + b_4_13²·a_1_1·b_1_2⁸·a_3_3 + b_4_13²·a_1_1²·b_1_2¹⁰
       + b_4_13²·b_10_46·a_1_1² + b_4_13³·a_1_1·b_1_2⁴·a_3_3
       + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1·a_3_3 + b_4_13⁴·a_1_1²·b_1_2²
       + b_2_4·a_9_22² + b_2_4⁵·a_1_0·a_9_22 + b_10_48·a_1_1²·a_3_3·b_5_16
       + b_10_46·a_1_1²·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_1_2²·a_3_3·b_5_16
       + b_4_13³·a_1_1³·b_5_16 + b_2_4·b_2_5·c_16_105
99. a_9_22·b_11_54 + b_10_48·b_1_2²·a_3_3·b_5_16 + b_10_48·b_1_2⁷·a_3_3
       + b_10_48·a_1_1·b_1_2⁹ + b_4_13·b_1_2¹³·a_3_3 + b_4_13·b_10_46·b_1_2³·a_3_3
       + b_4_13·b_10_46·a_1_1·b_5_16 + b_4_13²·b_3_9·a_9_22 + b_4_13²·b_1_2⁴·a_3_3·b_5_16
       + b_4_13²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1·b_11_54 + b_4_13³·a_1_1·b_1_2⁷
       + b_4_13⁴·a_1_1·b_1_2³ + b_2_4·b_4_13·b_5_15·a_9_22 + b_2_4³·b_5_15·a_9_22
       + b_2_4⁴·a_1_1·b_11_57 + b_10_48·a_1_1·b_1_2⁶·a_3_3 + b_10_48·a_1_1²·b_1_2⁸
       + b_10_46·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2⁶·a_3_3
       + b_10_46·a_1_1²·b_1_2³·b_5_16 + b_10_46·a_1_0·a_9_22
       + b_4_13·a_1_1²·b_5_16·b_9_38 + b_4_13·a_1_1²·b_1_2¹⁴
       + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2⁴
       + b_4_13·b_10_46·a_1_1²·b_1_2⁴ + b_4_13²·a_1_1²·b_1_2¹⁰ + b_4_13⁴·a_1_1·a_3_3
       + b_2_4⁵·a_1_0·a_9_22 + b_10_48·a_1_1²·b_1_2⁵·a_3_3
       + b_4_13·a_1_1²·b_1_2¹¹·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2·a_3_3
       + b_4_13²·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13³·a_1_1³·b_5_16
       + b_4_13⁴·a_1_1³·b_1_2 + b_2_4·c_16_105·a_1_1·b_1_2
100. b_9_38·b_11_57 + b_9_38·b_11_54 + b_10_48² + b_10_47·b_10_48 + b_10_46·b_1_2⁵·b_5_16
        + b_10_46·b_1_2¹⁰ + b_10_46·b_10_47 + b_10_46² + b_4_13·b_5_16·b_11_57
        + b_4_13·b_5_16·b_11_54 + b_4_13·b_3_9·b_13_72 + b_4_13·b_10_48·b_1_2·b_5_16
        + b_4_13·b_10_46·b_1_2·b_5_16 + b_4_13·b_10_46·b_1_2⁶ + b_4_13²·b_1_2¹²
        + b_4_13³·b_1_2³·b_5_16 + b_4_13³·b_1_2⁸ + b_4_13⁴·b_1_2⁴ + b_4_13⁵
        + b_2_5·b_4_13²·b_10_48 + b_2_4·b_4_13·b_1_2·b_13_72 + b_2_4·b_4_13³·b_1_2·b_5_15
        + b_2_4·b_2_5·b_4_13·b_1_2·b_11_57 + b_2_4²·b_3_9·b_13_72
        + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4²·b_4_13⁴ + b_2_4²·b_2_5·b_1_2·b_13_72
        + b_2_4³·b_1_2·b_13_72 + b_2_4³·b_4_13·b_10_48 + b_2_4³·b_2_5·b_1_2·b_11_57
        + b_2_4³·b_2_5·b_4_13³ + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁵·b_10_48
        + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁵·b_2_5·b_4_13² + b_2_4⁶·b_3_9·b_5_16
        + b_2_4⁶·b_3_9·b_5_15 + b_2_4⁶·b_4_13·b_1_2·b_3_9 + b_2_4⁶·b_4_13²
        + b_2_4⁷·b_1_2·b_5_16 + b_2_4⁷·b_1_2·b_5_15 + b_2_4⁷·b_2_5·b_1_2·b_3_9
        + b_2_4⁸·b_1_2·b_3_9 + b_2_4⁸·b_4_13 + a_9_22·b_11_57 + b_10_48·b_1_2²·a_3_3·b_5_16
        + b_10_48·b_1_2⁷·a_3_3 + b_10_48·a_1_1·b_1_2⁴·b_5_16 + b_10_46·b_1_2²·a_3_3·b_5_16
        + b_10_46·b_1_2⁷·a_3_3 + b_10_46·a_1_1·b_1_2⁴·b_5_16 + b_4_13·b_10_48·a_1_1·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁵ + b_4_13·b_10_47·a_1_1·b_5_16
        + b_4_13²·b_1_2⁴·a_3_3·b_5_16 + b_4_13²·b_10_48·a_1_1·b_1_2
        + b_4_13²·b_10_46·a_1_1·b_1_2 + b_4_13³·b_1_2⁵·a_3_3 + b_2_4²·b_4_13·b_3_9·a_9_22
        + b_2_4⁴·b_3_9·a_9_22 + b_2_4⁴·a_1_0·b_11_57 + b_2_4⁵·b_1_2·a_9_22
        + b_10_46·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_46·a_1_1²·b_1_2³·b_5_16
        + b_10_46·a_1_1²·b_1_2⁸ + b_10_46·a_1_0·a_9_22 + b_4_13·a_1_1²·b_5_16·b_9_38
        + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
        + b_4_13·b_10_46·a_1_1·b_1_2²·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2⁴
        + b_4_13²·a_1_1·b_1_2³·a_3_3·b_5_16 + b_4_13²·a_1_1·b_1_2⁸·a_3_3
        + b_4_13³·a_1_1·b_1_2⁴·a_3_3 + b_4_13³·a_1_1²·b_1_2·b_5_16
        + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1·a_3_3 + b_4_13⁴·a_1_1²·b_1_2²
        + b_2_4⁵·a_1_0·a_9_22 + b_10_48·a_1_1²·a_3_3·b_5_16 + b_10_46·a_1_1²·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3 + c_16_105·b_1_2⁴ + b_2_4·c_16_105·a_1_0·b_1_2
101. b_10_48·b_1_2⁵·b_5_16 + b_10_48² + b_10_47² + b_10_46·b_1_2¹⁰
        + b_4_13·b_10_48·b_1_2⁶ + b_4_13·b_10_46·b_1_2⁶ + b_4_13²·b_1_2¹²
        + b_4_13²·b_10_48·b_1_2² + b_4_13³·b_1_2³·b_5_16 + b_4_13⁵
        + b_2_4²·b_3_9·b_13_72 + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4²·b_2_5·b_4_13·b_10_48
        + b_2_4³·b_4_13·b_10_48 + b_2_4⁴·b_1_2·b_11_57 + b_2_4⁴·b_4_13³
        + b_2_4⁴·b_2_5·b_10_48 + b_2_4⁵·b_10_47 + b_2_4⁵·b_10_46
        + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁶·b_4_13² + b_2_4⁷·b_1_2·b_5_15
        + b_2_4⁹·b_2_5 + b_10_46·b_1_2²·a_3_3·b_5_16 + b_10_46·b_1_2⁷·a_3_3
        + b_10_46·a_1_1·b_1_2⁴·b_5_16 + b_4_13·b_1_2¹³·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2⁵ + b_4_13·b_10_46·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1·b_1_2⁵ + b_4_13³·b_1_2⁵·a_3_3
        + b_4_13³·a_1_1·b_1_2²·b_5_16 + b_4_13³·a_1_1·b_1_2⁷
        + b_2_4²·b_4_13·b_3_9·a_9_22 + b_2_4³·b_5_15·a_9_22 + b_2_4⁴·b_3_9·a_9_22
        + b_2_4⁴·a_1_0·b_11_57 + b_2_4⁵·b_1_2·a_9_22 + b_2_4⁸·a_1_0·b_3_9
        + b_10_48·a_1_1·b_1_2·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2⁶·a_3_3
        + b_10_48·a_1_1²·b_1_2⁸ + b_10_46·a_1_1·b_1_2·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2⁸ + b_10_46·a_1_0·a_9_22 + b_4_13·a_1_1²·b_5_16·b_9_38
        + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1·b_1_2²·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2⁴ + b_4_13·b_10_46·a_1_1·b_1_2²·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2⁴ + b_4_13²·a_1_1·b_1_2³·a_3_3·b_5_16
        + b_4_13³·a_1_1²·b_1_2·b_5_16 + b_4_13⁴·a_1_1·a_3_3 + b_4_13⁴·a_1_1²·b_1_2²
        + b_2_4·a_9_22² + b_10_48·a_1_1²·b_1_2⁵·a_3_3 + b_10_46·a_1_1²·b_1_2⁵·a_3_3
        + b_4_13·a_1_1²·b_1_2¹¹·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3 + b_4_13²·a_1_1²·b_1_2⁷·a_3_3
        + b_4_13⁴·a_1_1³·b_1_2 + c_16_105·b_1_2⁴ + b_2_4²·c_16_105
102. b_9_38·b_11_54 + b_10_48² + b_10_47·b_10_48 + b_10_47² + b_10_46·b_1_2⁵·b_5_16
        + b_10_46·b_1_2¹⁰ + b_10_46² + b_4_13·b_5_16·b_11_57 + b_4_13·b_3_9·b_13_72
        + b_4_13·b_10_48·b_1_2·b_5_16 + b_4_13·b_10_48·b_1_2⁶ + b_4_13·b_10_46·b_1_2·b_5_16
        + b_4_13·b_10_46·b_1_2⁶ + b_4_13²·b_10_48·b_1_2² + b_4_13²·b_10_46·b_1_2²
        + b_4_13³·b_1_2⁸ + b_4_13⁵ + b_2_4·b_4_13·b_1_2·b_13_72 + b_2_4·b_4_13²·b_10_47
        + b_2_4·b_4_13³·b_1_2·b_5_15 + b_2_4·b_2_5·b_4_13·b_1_2·b_11_57
        + b_2_4·b_2_5·b_4_13⁴ + b_2_4²·b_4_13·b_1_2·b_11_57 + b_2_4²·b_4_13⁴
        + b_2_4²·b_2_5·b_1_2·b_13_72 + b_2_4²·b_2_5·b_4_13·b_10_48 + b_2_4³·b_1_2·b_13_72
        + b_2_4³·b_4_13·b_10_48 + b_2_4³·b_4_13·b_10_47 + b_2_4³·b_4_13²·b_1_2·b_5_15
        + b_2_4³·b_2_5·b_1_2·b_11_57 + b_2_4³·b_2_5·b_4_13³ + b_2_4⁴·b_4_13³
        + b_2_4⁵·b_10_48 + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁵·b_2_5·b_4_13²
        + b_2_4⁶·b_3_9·b_5_15 + b_2_4⁶·b_4_13·b_1_2·b_3_9 + b_2_4⁷·b_1_2·b_5_16
        + b_2_4⁷·b_1_2·b_5_15 + b_2_4⁷·b_2_5·b_1_2·b_3_9 + b_2_4⁸·b_1_2·b_3_9
        + b_2_4⁸·b_4_13 + b_10_48·b_1_2²·a_3_3·b_5_16 + b_10_48·b_1_2⁷·a_3_3
        + b_10_48·a_1_1·b_1_2⁴·b_5_16 + b_10_46·b_1_2⁷·a_3_3 + b_10_46·a_1_1·b_1_2⁴·b_5_16
        + b_10_46·a_1_1·b_1_2⁹ + b_4_13·b_10_48·a_1_1·b_5_16 + b_4_13·b_10_47·a_1_1·b_5_16
        + b_4_13·b_10_46·b_1_2³·a_3_3 + b_4_13·b_10_46·a_1_1·b_5_16 + b_4_13²·b_3_9·a_9_22
        + b_4_13²·b_10_48·a_1_1·b_1_2 + b_4_13³·a_3_3·b_5_16 + b_4_13³·b_1_2⁵·a_3_3
        + b_4_13⁴·b_1_2·a_3_3 + b_2_4²·b_4_13·b_3_9·a_9_22 + b_2_4⁴·a_1_1·b_11_57
        + b_2_4⁸·a_1_0·b_3_9 + b_10_48·a_1_1²·b_1_2³·b_5_16 + b_10_48·a_1_1²·b_1_2⁸
        + b_10_46·a_1_1²·b_1_2³·b_5_16 + b_4_13·a_1_1·b_1_2¹²·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2⁴ + b_4_13·b_10_46·a_1_1²·b_1_2⁴
        + b_4_13²·b_10_46·a_1_1² + b_4_13³·a_1_1·b_1_2⁴·a_3_3
        + b_4_13³·a_1_1²·b_1_2⁶ + b_4_13⁴·a_1_1²·b_1_2²
        + b_10_48·a_1_1²·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁵·a_3_3
        + b_10_46·a_1_1²·a_3_3·b_5_16 + b_10_46·a_1_1²·b_1_2⁵·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2·a_3_3 + b_4_13²·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_4_13²·a_1_1²·b_1_2⁷·a_3_3 + b_4_13³·a_1_1³·b_5_16 + c_16_105·b_1_2⁴
        + c_16_105·a_1_1·b_3_9
103. b_9_38·b_11_57 + b_9_38·b_11_54 + b_10_48² + b_10_47·b_10_48 + b_10_46·b_1_2⁵·b_5_16
        + b_10_46·b_1_2¹⁰ + b_10_46·b_10_47 + b_10_46² + b_4_13·b_5_16·b_11_57
        + b_4_13·b_5_16·b_11_54 + b_4_13·b_3_9·b_13_72 + b_4_13·b_10_48·b_1_2·b_5_16
        + b_4_13·b_10_46·b_1_2·b_5_16 + b_4_13·b_10_46·b_1_2⁶ + b_4_13²·b_1_2¹²
        + b_4_13³·b_1_2³·b_5_16 + b_4_13³·b_1_2⁸ + b_4_13⁴·b_1_2⁴ + b_4_13⁵
        + b_2_5·b_4_13·b_1_2·b_13_72 + b_2_5·b_4_13²·b_10_48 + b_2_4·b_4_13·b_1_2·b_13_72
        + b_2_4·b_4_13³·b_1_2·b_5_15 + b_2_4²·b_3_9·b_13_72 + b_2_4²·b_4_13·b_1_2·b_11_57
        + b_2_4²·b_4_13⁴ + b_2_4²·b_2_5·b_1_2·b_13_72 + b_2_4³·b_1_2·b_13_72
        + b_2_4³·b_4_13·b_10_48 + b_2_4³·b_2_5·b_4_13³ + b_2_4⁴·b_2_5·b_10_48
        + b_2_4⁵·b_10_48 + b_2_4⁵·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁵·b_2_5·b_4_13²
        + b_2_4⁶·b_3_9·b_5_16 + b_2_4⁶·b_3_9·b_5_15 + b_2_4⁶·b_4_13·b_1_2·b_3_9
        + b_2_4⁶·b_4_13² + b_2_4⁷·b_1_2·b_5_16 + b_2_4⁷·b_1_2·b_5_15 + b_2_4⁸·b_1_2·b_3_9
        + b_2_4⁸·b_4_13 + b_10_48·a_1_1·b_1_2⁴·b_5_16 + b_10_48·a_1_1·b_1_2⁹
        + b_4_13·b_10_48·a_1_1·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁵
        + b_4_13·b_10_46·b_1_2³·a_3_3 + b_4_13·b_10_46·a_1_1·b_5_16 + b_4_13²·a_1_1·b_11_54
        + b_4_13²·b_10_48·a_1_1·b_1_2 + b_4_13³·b_1_2⁵·a_3_3
        + b_4_13³·a_1_1·b_1_2²·b_5_16 + b_4_13³·a_1_1·b_1_2⁷
        + b_2_4·b_4_13·b_5_15·a_9_22 + b_2_4⁴·a_1_1·b_11_57 + b_2_4⁴·a_1_0·b_11_57
        + b_2_4⁵·b_1_2·a_9_22 + b_10_48·a_1_1·b_1_2·a_3_3·b_5_16
        + b_10_48·a_1_1²·b_1_2³·b_5_16 + b_10_48·a_1_1²·b_1_2⁸
        + b_10_46·a_1_1²·b_1_2³·b_5_16 + b_10_46·a_1_0·a_9_22 + b_4_13·a_1_1·b_1_2¹²·a_3_3
        + b_4_13·a_1_1²·b_1_2¹⁴ + b_4_13·b_10_48·a_1_1²·b_1_2⁴
        + b_4_13·b_10_46·a_1_1²·b_1_2⁴ + b_4_13²·a_1_1·b_1_2³·a_3_3·b_5_16
        + b_4_13²·b_10_48·a_1_1² + b_4_13²·b_10_47·a_1_1² + b_4_13²·b_10_46·a_1_1²
        + b_4_13³·a_1_1·b_1_2⁴·a_3_3 + b_4_13⁴·a_1_1·a_3_3 + b_4_13⁴·a_1_1²·b_1_2²
        + b_4_13⁴·a_1_1³·b_1_2 + c_16_105·b_1_2⁴ + c_16_105·a_1_0·b_3_9
104. b_10_46·b_11_54 + b_10_46·b_10_48·b_1_2 + b_4_13·b_1_2·b_3_9·b_13_72
        + b_4_13·b_10_46·b_1_2²·b_5_16 + b_4_13²·b_10_46·b_1_2³ + b_2_5·b_4_13²·b_11_57
        + b_2_4·b_4_13²·b_10_48·b_1_2 + b_2_4²·b_4_13·b_13_72 + b_2_4²·b_4_13³·b_5_16
        + b_2_4²·b_4_13³·b_5_15 + b_2_4²·b_4_13⁴·b_1_2 + b_2_4³·b_4_13·b_11_54
        + b_2_4³·b_4_13·b_10_48·b_1_2 + b_2_4⁴·b_13_72 + b_2_4⁴·b_4_13²·b_5_15
        + b_2_4⁴·b_4_13³·b_1_2 + b_2_4⁵·b_4_13²·b_3_9 + b_2_4⁵·b_2_5·b_4_13²·b_1_2
        + b_2_4⁶·b_2_5·b_4_13·b_3_9 + b_2_4⁷·b_2_5·b_4_13·b_1_2 + b_2_4⁸·b_5_16
        + b_2_4⁸·b_2_5·b_3_9 + b_2_4⁹·b_3_9 + b_10_48·b_1_2³·a_3_3·b_5_16
        + b_10_46·a_1_1·b_1_2¹⁰ + b_10_46·b_10_48·a_1_1 + b_4_13·b_1_2¹⁴·a_3_3
        + b_4_13·a_1_1·b_5_16·b_11_54 + b_4_13·b_10_48·b_1_2⁴·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2⁶ + b_4_13·b_10_46·b_1_2⁴·a_3_3
        + b_4_13·b_10_46·a_1_1·b_1_2·b_5_16 + b_4_13²·b_1_2¹⁰·a_3_3
        + b_4_13²·a_1_1·b_1_2¹² + b_4_13²·b_10_47·a_3_3 + b_4_13²·b_10_46·a_3_3
        + b_4_13²·b_10_46·a_1_1·b_1_2² + b_4_13³·a_9_22 + b_4_13³·b_1_2·a_3_3·b_5_16
        + b_4_13³·a_1_1·b_1_2³·b_5_16 + b_4_13⁴·b_1_2²·a_3_3 + b_4_13⁵·a_1_1
        + b_2_4·b_10_48·a_9_22 + b_2_4·b_10_46·a_9_22 + b_2_4²·b_3_9·b_5_15·a_9_22
        + b_2_4²·b_4_13²·a_9_22 + b_2_4⁴·b_4_13·a_9_22 + a_1_0·a_9_22·b_11_57
        + b_10_48·a_1_1·b_1_2²·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2²·a_3_3·b_5_16
        + b_10_46·a_1_1·b_1_2⁷·a_3_3 + b_10_46·a_1_1²·b_1_2⁴·b_5_16
        + b_4_13·a_1_1·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2³·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_5_16 + b_4_13²·b_10_46·a_1_1²·b_1_2
        + b_4_13³·a_1_1²·b_1_2⁷ + b_4_13⁴·a_1_1²·b_1_2³
        + b_10_48·a_1_1²·b_1_2⁶·a_3_3 + b_10_46·a_1_1²·b_1_2⁶·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2²·a_3_3 + b_4_13²·b_10_48·a_1_1³
        + b_2_4·c_16_105·a_3_3 + c_16_105·a_1_1·b_1_2·a_3_3 + c_16_105·a_1_1²·a_3_3
        + c_16_105·a_1_1³·b_1_2²
105. b_10_48·b_11_54 + b_10_46·b_1_2¹¹ + b_10_46·b_10_48·b_1_2 + b_10_46²·b_1_2
        + b_4_13·b_1_2·b_5_16·b_11_57 + b_4_13·b_1_2·b_3_9·b_13_72
        + b_4_13·b_10_48·b_1_2²·b_5_16 + b_4_13·b_10_46·b_1_2²·b_5_16
        + b_4_13·b_10_46·b_1_2⁷ + b_4_13²·b_1_2¹³ + b_4_13²·b_10_48·b_1_2³
        + b_4_13³·b_9_38 + b_4_13³·b_1_2⁹ + b_4_13⁴·b_5_16 + b_4_13⁴·b_1_2⁵
        + b_2_5·b_4_13²·b_11_57 + b_2_4·b_4_13²·b_11_54 + b_2_4·b_4_13²·b_10_47·b_1_2
        + b_2_4·b_4_13⁴·b_3_9 + b_2_4·b_2_5·b_4_13·b_13_72 + b_2_4²·b_1_2·b_3_9·b_13_72
        + b_2_4²·b_4_13³·b_5_16 + b_2_4²·b_4_13⁴·b_1_2 + b_2_4³·b_4_13·b_11_54
        + b_2_4³·b_4_13·b_10_48·b_1_2 + b_2_4³·b_4_13·b_10_47·b_1_2 + b_2_4³·b_2_5·b_13_72
        + b_2_4⁴·b_4_13²·b_5_16 + b_2_4⁵·b_11_54 + b_2_4⁵·b_10_47·b_1_2
        + b_2_4⁵·b_10_46·b_1_2 + b_2_4⁶·b_4_13·b_5_15 + b_2_4⁶·b_4_13²·b_1_2
        + b_2_4⁶·b_2_5·b_4_13·b_3_9 + b_2_4⁷·b_2_5·b_4_13·b_1_2 + b_2_4⁸·b_5_15
        + b_2_4⁸·b_4_13·b_1_2 + b_10_48·a_1_1·b_1_2¹⁰ + b_10_46·b_10_48·a_1_1
        + b_10_46²·a_1_1 + b_4_13·b_1_2¹⁴·a_3_3 + b_4_13·a_1_1·b_5_16·b_11_54
        + b_4_13·b_10_46·b_1_2⁴·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2·b_5_16
        + b_4_13²·b_1_2¹⁰·a_3_3 + b_4_13²·b_10_48·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2²
        + b_4_13²·b_10_47·a_3_3 + b_4_13²·b_10_46·a_3_3 + b_4_13³·a_9_22
        + b_4_13³·b_1_2·a_3_3·b_5_16 + b_4_13⁴·a_1_1·b_1_2⁴ + b_4_13⁵·a_1_1
        + b_2_4·b_10_48·a_9_22 + b_2_4²·b_3_9·b_5_15·a_9_22 + b_2_4²·b_4_13²·a_9_22
        + b_2_4⁴·b_10_46·a_3_3 + b_2_4⁶·a_9_22 + b_2_4⁹·a_3_3 + b_2_4¹⁰·a_1_1
        + b_10_48·a_1_1²·b_1_2⁴·b_5_16 + b_10_48·a_1_1²·b_1_2⁹
        + b_10_46·a_1_1·b_1_2²·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2⁷·a_3_3
        + b_4_13·a_1_1·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1²·b_5_16
        + b_4_13·b_10_48·a_1_1²·b_1_2⁵ + b_4_13·b_10_46·a_1_1·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2⁵ + b_4_13²·a_1_1·b_1_2⁹·a_3_3
        + b_4_13²·a_1_1²·b_11_54 + b_4_13³·a_1_1·a_3_3·b_5_16
        + b_4_13³·a_1_1²·b_1_2²·b_5_16 + b_4_13³·a_1_1²·b_1_2⁷
        + b_4_13⁴·a_1_1·b_1_2·a_3_3 + b_4_13⁴·a_1_1²·b_1_2³
        + b_4_13·a_1_1²·b_1_2¹²·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2²·a_3_3
        + b_4_13²·a_1_1²·b_1_2⁸·a_3_3 + b_4_13³·a_1_1²·b_1_2⁴·a_3_3
        + b_4_13⁴·a_1_1²·a_3_3 + c_16_105·b_1_2⁵ + b_2_4²·c_16_105·b_1_2
        + c_16_105·b_1_2²·a_3_3 + b_2_5·c_16_105·a_3_3
106. b_10_47·b_11_54 + b_10_46·b_10_48·b_1_2 + b_4_13·b_1_2·b_5_16·b_11_54
        + b_4_13·b_1_2·b_3_9·b_13_72 + b_4_13·b_10_48·b_1_2⁷
        + b_4_13·b_10_46·b_1_2²·b_5_16 + b_4_13²·b_1_2¹³ + b_4_13²·b_10_48·b_1_2³
        + b_4_13²·b_10_46·b_1_2³ + b_4_13³·b_1_2⁹ + b_2_4·b_4_13²·b_10_48·b_1_2
        + b_2_4·b_4_13²·b_10_47·b_1_2 + b_2_4·b_4_13²·b_10_46·b_1_2
        + b_2_4·b_2_5·b_4_13·b_13_72 + b_2_4²·b_4_13·b_13_72 + b_2_4²·b_4_13⁴·b_1_2
        + b_2_4³·b_4_13·b_11_54 + b_2_4³·b_4_13³·b_3_9 + b_2_4³·b_2_5·b_13_72
        + b_2_4⁴·b_13_72 + b_2_4⁴·b_4_13²·b_5_16 + b_2_4⁴·b_4_13³·b_1_2 + b_2_4⁵·b_11_54
        + b_2_4⁵·b_10_48·b_1_2 + b_2_4⁶·b_1_2·b_3_9·b_5_15 + b_2_4⁶·b_4_13·b_5_15
        + b_2_4⁶·b_4_13²·b_1_2 + b_2_4⁸·b_5_16 + b_2_4⁸·b_5_15 + b_2_4⁸·b_2_5·b_3_9
        + b_2_4⁹·b_3_9 + b_10_46²·a_1_1 + b_4_13·b_1_2¹⁴·a_3_3 + b_4_13·a_1_1·b_5_16·b_11_54
        + b_4_13·b_10_48·b_1_2⁴·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁶ + b_4_13·b_10_46·a_1_1·b_1_2⁶
        + b_4_13²·b_10_47·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2²
        + b_4_13³·b_1_2·a_3_3·b_5_16 + b_4_13³·b_1_2⁶·a_3_3
        + b_4_13³·a_1_1·b_1_2³·b_5_16 + b_4_13³·a_1_1·b_1_2⁸ + b_2_4·b_10_48·a_9_22
        + b_2_4·b_10_46·a_9_22 + b_2_4²·b_4_13²·a_9_22 + b_2_4⁴·b_4_13·a_9_22
        + b_2_4⁵·b_10_46·a_1_0 + b_2_4⁹·a_3_3 + b_10_48·a_1_1·b_1_2²·a_3_3·b_5_16
        + b_10_48·a_1_1²·b_1_2⁴·b_5_16 + b_10_48·a_1_1²·b_1_2⁹
        + b_10_46·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2¹³·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_5_16 + b_4_13·b_10_46·a_1_1·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_5_16 + b_4_13²·a_1_1·b_1_2⁹·a_3_3
        + b_4_13²·a_1_1²·b_1_2¹¹ + b_4_13³·a_1_1·a_3_3·b_5_16
        + b_4_13³·a_1_1·b_1_2⁵·a_3_3 + b_4_13³·a_1_1²·b_1_2²·b_5_16
        + b_4_13³·a_1_1²·b_1_2⁷ + b_4_13⁴·a_1_1²·b_1_2³
        + b_10_48·a_1_1²·b_1_2⁶·a_3_3 + b_10_46·a_1_1²·b_1_2·a_3_3·b_5_16
        + b_4_13·a_1_1²·b_1_2¹²·a_3_3 + b_4_13²·a_1_1²·b_1_2³·a_3_3·b_5_16
        + b_4_13²·a_1_1²·b_1_2⁸·a_3_3 + b_4_13²·b_10_48·a_1_1³
        + b_4_13³·a_1_1³·b_1_2·b_5_16 + b_2_4·b_2_5·c_16_105·b_1_2
        + c_16_105·a_1_1·b_1_2⁴ + b_2_4²·c_16_105·a_1_1 + c_16_105·a_1_1²·a_3_3
        + c_16_105·a_1_1³·b_1_2²
107. b_10_48·b_11_57 + b_10_48·b_11_54 + b_10_48·b_1_2¹¹ + b_10_47·b_11_57
        + b_10_46·b_11_57 + b_4_13·b_1_2·b_5_16·b_11_57 + b_4_13·b_10_48·b_1_2⁷
        + b_4_13·b_10_46·b_1_2²·b_5_16 + b_4_13²·b_13_72 + b_4_13²·b_10_46·b_1_2³
        + b_4_13³·b_9_38 + b_4_13³·b_1_2⁴·b_5_16 + b_4_13⁴·b_5_16 + b_4_13⁴·b_1_2⁵
        + b_4_13⁵·b_1_2 + b_2_5·b_4_13²·b_11_57 + b_2_4·b_4_13²·b_10_48·b_1_2
        + b_2_4·b_4_13²·b_10_47·b_1_2 + b_2_4·b_4_13²·b_10_46·b_1_2 + b_2_4·b_4_13⁴·b_3_9
        + b_2_4·b_2_5·b_4_13·b_13_72 + b_2_4²·b_4_13·b_13_72 + b_2_4²·b_4_13⁴·b_1_2
        + b_2_4³·b_4_13·b_11_57 + b_2_4³·b_4_13·b_10_48·b_1_2
        + b_2_4³·b_4_13·b_10_46·b_1_2 + b_2_4³·b_4_13³·b_3_9 + b_2_4³·b_2_5·b_13_72
        + b_2_4⁴·b_4_13²·b_5_16 + b_2_4⁵·b_10_47·b_1_2 + b_2_4⁵·b_10_46·b_1_2
        + b_2_4⁵·b_2_5·b_4_13²·b_1_2 + b_2_4⁶·b_4_13·b_5_16 + b_2_4⁷·b_4_13·b_3_9
        + b_2_4⁸·b_4_13·b_1_2 + b_10_48·b_1_2³·a_3_3·b_5_16 + b_10_48·b_1_2⁸·a_3_3
        + b_10_48·a_1_1·b_1_2¹⁰ + b_10_46·b_1_2⁸·a_3_3 + b_10_46·a_1_1·b_1_2¹⁰
        + b_10_46²·a_1_1 + b_4_13·a_1_1·b_5_16·b_11_54 + b_4_13·b_10_48·a_1_1·b_1_2·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁶ + b_4_13·b_10_46·b_1_2⁴·a_3_3
        + b_4_13·b_10_46·a_1_1·b_1_2·b_5_16 + b_4_13²·b_1_2¹⁰·a_3_3
        + b_4_13²·b_10_47·a_3_3 + b_4_13²·b_10_46·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2²
        + b_4_13³·b_1_2·a_3_3·b_5_16 + b_4_13³·b_1_2⁶·a_3_3
        + b_4_13³·a_1_1·b_1_2³·b_5_16 + b_4_13³·a_1_1·b_1_2⁸ + b_4_13⁵·a_1_1
        + b_2_4·b_10_46·a_9_22 + b_2_4²·b_4_13²·a_9_22 + b_2_4⁵·b_10_46·a_1_0
        + b_2_4⁶·a_9_22 + b_2_4¹⁰·a_1_1 + a_1_0·a_9_22·b_11_57
        + b_10_46·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13·a_1_1·b_1_2¹³·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2³·a_3_3 + b_4_13·b_10_47·a_1_1²·b_5_16
        + b_4_13²·a_1_1·b_1_2⁴·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_11_54
        + b_4_13²·b_10_46·a_1_1²·b_1_2 + b_4_13³·a_1_1²·b_1_2²·b_5_16
        + b_4_13⁴·a_1_1·b_1_2·a_3_3 + b_4_13⁴·a_1_1²·b_1_2³
        + b_10_48·a_1_1²·b_1_2·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁶·a_3_3
        + b_10_46·a_1_1²·b_1_2·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2¹²·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2²·a_3_3 + b_4_13²·a_1_1²·b_1_2³·a_3_3·b_5_16
        + b_4_13²·a_1_1²·b_1_2⁸·a_3_3 + b_4_13³·a_1_1²·b_1_2⁴·a_3_3
        + b_4_13⁴·a_1_1²·a_3_3 + b_2_4·b_2_5·c_16_105·b_1_2 + c_16_105·a_1_1·b_1_2⁴
        + b_2_5·c_16_105·a_3_3 + b_2_4²·c_16_105·a_1_0 + c_16_105·a_1_1·b_1_2·a_3_3
        + c_16_105·a_1_1²·b_1_2³ + c_16_105·a_1_1²·a_3_3
108. b_10_48·b_11_57 + b_10_48·b_11_54 + b_10_48·b_1_2¹¹ + b_4_13·b_1_2·b_5_16·b_11_57
        + b_4_13·b_1_2·b_5_16·b_11_54 + b_4_13·b_10_46·b_1_2⁷ + b_4_13²·b_13_72
        + b_4_13²·b_1_2¹³ + b_4_13²·b_10_48·b_1_2³ + b_4_13²·b_10_46·b_1_2³
        + b_4_13³·b_9_38 + b_4_13³·b_1_2⁹ + b_4_13⁴·b_5_16 + b_4_13⁵·b_1_2
        + b_2_4·b_4_13²·b_11_57 + b_2_4·b_4_13²·b_10_48·b_1_2
        + b_2_4·b_4_13²·b_10_46·b_1_2 + b_2_4·b_4_13⁴·b_3_9 + b_2_4·b_2_5·b_4_13·b_13_72
        + b_2_4²·b_1_2·b_3_9·b_13_72 + b_2_4³·b_4_13·b_11_57 + b_2_4³·b_4_13·b_10_47·b_1_2
        + b_2_4³·b_4_13·b_10_46·b_1_2 + b_2_4³·b_4_13³·b_3_9 + b_2_4³·b_2_5·b_13_72
        + b_2_4⁴·b_4_13²·b_5_16 + b_2_4⁴·b_4_13²·b_5_15 + b_2_4⁵·b_11_54
        + b_2_4⁵·b_10_47·b_1_2 + b_2_4⁵·b_10_46·b_1_2 + b_2_4⁵·b_4_13²·b_3_9
        + b_2_4⁵·b_2_5·b_4_13²·b_1_2 + b_2_4⁶·b_4_13·b_5_16 + b_2_4⁷·b_2_5·b_4_13·b_1_2
        + b_2_4⁸·b_5_15 + b_10_48·b_1_2⁸·a_3_3 + b_10_46·b_10_48·a_1_1
        + b_4_13·a_1_1·b_5_16·b_11_54 + b_4_13·b_10_48·a_1_1·b_1_2·b_5_16
        + b_4_13·b_10_46·a_1_1·b_1_2·b_5_16 + b_4_13·b_10_46·a_1_1·b_1_2⁶
        + b_4_13²·b_1_2¹⁰·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2² + b_4_13²·b_10_47·a_3_3
        + b_4_13²·b_10_46·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2² + b_4_13³·a_9_22
        + b_4_13³·b_1_2·a_3_3·b_5_16 + b_4_13³·a_1_1·b_1_2³·b_5_16
        + b_4_13⁴·b_1_2²·a_3_3 + b_2_4·b_10_48·a_9_22 + b_2_4⁴·b_10_46·a_3_3
        + b_2_4⁵·b_2_5·a_9_22 + b_2_4⁶·a_9_22 + a_1_0·a_9_22·b_11_57
        + b_10_48·a_1_1²·b_1_2⁹ + b_10_46·a_1_1²·b_1_2⁴·b_5_16
        + b_10_46·a_1_1²·b_1_2⁹ + b_4_13·a_1_1·b_1_2¹³·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2⁵ + b_4_13·b_10_47·a_1_1²·b_5_16
        + b_4_13²·a_1_1·b_1_2⁹·a_3_3 + b_4_13²·a_1_1²·b_1_2¹¹
        + b_4_13²·b_10_48·a_1_1²·b_1_2 + b_4_13²·b_10_46·a_1_1²·b_1_2
        + b_4_13³·a_1_1·b_1_2⁵·a_3_3 + b_4_13³·a_1_1²·b_1_2⁷
        + b_2_4⁴·a_1_0·b_3_9·a_9_22 + b_10_48·a_1_1²·b_1_2·a_3_3·b_5_16
        + b_10_48·a_1_1²·b_1_2⁶·a_3_3 + b_10_46·a_1_1²·b_1_2·a_3_3·b_5_16
        + b_4_13·a_1_1²·b_1_2¹²·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2²·a_3_3
        + b_4_13²·a_1_1²·b_1_2³·a_3_3·b_5_16 + b_4_13³·a_1_1³·b_1_2·b_5_16
        + b_2_5·c_16_105·b_3_9 + c_16_105·a_1_1²·b_1_2³ + c_16_105·a_1_1²·a_3_3
        + c_16_105·a_1_1³·b_1_2²
109. b_10_48·b_11_57 + b_10_48·b_1_2¹¹ + b_10_47·b_11_57 + b_10_47·b_11_54
        + b_10_46·b_10_48·b_1_2 + b_10_46²·b_1_2 + b_4_13·b_1_2·b_5_16·b_11_57
        + b_4_13·b_10_48·b_1_2²·b_5_16 + b_4_13·b_10_46·b_1_2²·b_5_16
        + b_4_13·b_10_46·b_1_2⁷ + b_4_13²·b_13_72 + b_4_13²·b_10_46·b_1_2³
        + b_4_13⁵·b_1_2 + b_2_5·b_4_13²·b_11_57 + b_2_4·b_4_13²·b_11_57
        + b_2_4·b_4_13²·b_10_48·b_1_2 + b_2_4·b_4_13²·b_10_47·b_1_2 + b_2_4·b_4_13⁴·b_3_9
        + b_2_4·b_2_5·b_4_13·b_13_72 + b_2_4²·b_4_13·b_13_72 + b_2_4²·b_4_13⁴·b_1_2
        + b_2_4³·b_4_13·b_11_57 + b_2_4³·b_4_13·b_11_54 + b_2_4³·b_4_13·b_10_47·b_1_2
        + b_2_4³·b_4_13·b_10_46·b_1_2 + b_2_4³·b_4_13³·b_3_9 + b_2_4³·b_2_5·b_13_72
        + b_2_4⁴·b_13_72 + b_2_4⁴·b_4_13³·b_1_2 + b_2_4⁵·b_11_57 + b_2_4⁵·b_10_48·b_1_2
        + b_2_4⁵·b_10_46·b_1_2 + b_2_4⁵·b_2_5·b_4_13²·b_1_2 + b_2_4⁶·b_1_2·b_3_9·b_5_15
        + b_2_4⁶·b_4_13·b_5_16 + b_2_4⁷·b_4_13·b_3_9 + b_2_4⁸·b_5_16 + b_10_48·b_1_2⁸·a_3_3
        + b_4_13·b_1_2¹⁴·a_3_3 + b_4_13·b_10_48·b_1_2⁴·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁶
        + b_4_13²·b_1_2¹⁰·a_3_3 + b_4_13²·b_10_48·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2²
        + b_4_13²·b_10_46·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2² + b_4_13³·a_9_22
        + b_4_13³·b_1_2·a_3_3·b_5_16 + b_4_13³·b_1_2⁶·a_3_3
        + b_4_13³·a_1_1·b_1_2³·b_5_16 + b_4_13³·a_1_1·b_1_2⁸ + b_4_13⁴·b_1_2²·a_3_3
        + b_4_13⁴·a_1_1·b_1_2⁴ + b_2_4·b_10_48·a_9_22 + b_2_4²·b_3_9·b_5_15·a_9_22
        + b_2_4²·b_4_13²·a_9_22 + b_2_4⁴·b_10_46·a_3_3 + b_2_4⁴·b_4_13·a_9_22
        + b_2_4⁵·b_10_46·a_1_0 + b_2_4⁵·b_2_5·a_9_22 + b_2_4⁹·a_3_3
        + b_10_48·a_1_1²·b_1_2⁴·b_5_16 + b_10_46·a_1_1²·b_1_2⁹
        + b_4_13·a_1_1·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1²·b_5_16
        + b_4_13·b_10_48·a_1_1²·b_1_2⁵ + b_4_13·b_10_46·a_1_1·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2⁵ + b_4_13²·a_1_1·b_1_2⁹·a_3_3
        + b_4_13²·b_10_48·a_1_1²·b_1_2 + b_4_13²·b_10_46·a_1_1²·b_1_2
        + b_4_13⁴·a_1_1·b_1_2·a_3_3 + b_2_4⁴·a_1_0·b_3_9·a_9_22
        + b_10_48·a_1_1²·b_1_2·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁶·a_3_3
        + b_4_13·a_1_1²·b_1_2¹²·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2²·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2²·a_3_3 + b_4_13²·b_10_48·a_1_1³
        + b_4_13⁴·a_1_1²·a_3_3 + c_16_105·b_1_2⁵ + b_2_4·c_16_105·b_3_9
        + b_2_4·b_2_5·c_16_105·b_1_2 + c_16_105·b_1_2²·a_3_3 + b_2_5·c_16_105·a_3_3
        + c_16_105·a_1_1²·b_1_2³ + c_16_105·a_1_1²·a_3_3 + c_16_105·a_1_1³·b_1_2²
110. b_11_54² + b_9_38·b_13_72 + b_10_46·b_1_2¹² + b_10_46·b_10_48·b_1_2²
        + b_10_46²·b_1_2² + b_4_13·b_10_48·b_1_2⁸ + b_4_13·b_10_46·b_1_2⁸
        + b_4_13²·b_5_16·b_9_38 + b_4_13²·b_10_48·b_1_2⁴ + b_4_13²·b_10_46·b_1_2⁴
        + b_4_13³·b_1_2·b_9_38 + b_4_13⁵·b_1_2² + b_2_5·b_4_13²·b_1_2·b_11_57
        + b_2_5·b_4_13⁵ + b_2_4·b_4_13·b_5_16·b_11_57 + b_2_4·b_2_5·b_4_13²·b_10_48
        + b_2_4²·b_4_13·b_1_2·b_13_72 + b_2_4³·b_3_9·b_13_72 + b_2_4³·b_4_13³·b_1_2·b_3_9
        + b_2_4³·b_4_13⁴ + b_2_4³·b_2_5·b_1_2·b_13_72 + b_2_4³·b_2_5·b_4_13·b_10_48
        + b_2_4⁴·b_4_13·b_10_47 + b_2_4⁴·b_4_13·b_10_46 + b_2_4⁴·b_2_5·b_1_2·b_11_57
        + b_2_4⁴·b_2_5·b_4_13³ + b_2_4⁵·b_4_13²·b_1_2·b_3_9 + b_2_4⁵·b_4_13³
        + b_2_4⁵·b_2_5·b_10_48 + b_2_4⁶·b_10_48 + b_2_4⁶·b_4_13·b_1_2·b_5_15
        + b_2_4⁸·b_1_2·b_5_15 + b_2_4⁸·b_2_5·b_1_2·b_3_9 + b_2_4⁸·b_2_5·b_4_13
        + b_2_4⁹·b_4_13 + a_9_22·b_13_72 + b_10_48·b_1_2⁴·a_3_3·b_5_16
        + b_10_48·a_1_1·b_1_2¹¹ + b_10_46·b_1_2⁴·a_3_3·b_5_16 + b_10_46·b_1_2⁹·a_3_3
        + b_10_46·b_10_48·a_1_1·b_1_2 + b_10_46²·a_1_1·b_1_2 + b_4_13·b_10_48·a_3_3·b_5_16
        + b_4_13·b_10_48·b_1_2⁵·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2²·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁷ + b_4_13·b_10_46·a_3_3·b_5_16
        + b_4_13²·b_1_2¹¹·a_3_3 + b_4_13²·a_1_1·b_1_2¹³
        + b_4_13²·b_10_48·a_1_1·b_1_2³ + b_4_13²·b_10_46·a_1_1·b_1_2³
        + b_4_13³·b_1_2⁷·a_3_3 + b_4_13³·a_1_1·b_1_2⁹ + b_4_13⁴·a_1_1·b_5_16
        + b_4_13⁴·a_1_1·b_1_2⁵ + b_2_4·a_9_22·b_11_57 + b_2_4²·b_4_13·b_5_15·a_9_22
        + b_2_4⁴·b_5_15·a_9_22 + b_2_4⁵·b_3_9·a_9_22 + b_2_4⁵·a_1_0·b_11_57
        + b_2_4⁶·b_1_2·a_9_22 + b_10_46·a_1_1·b_1_2⁸·a_3_3 + b_10_46·a_1_1²·b_1_2¹⁰
        + b_10_46·b_10_48·a_1_1² + b_4_13·b_10_48·a_1_1²·b_1_2·b_5_16
        + b_4_13·b_10_46·a_1_1·b_1_2⁴·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2·b_5_16
        + b_4_13·b_10_46·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1²·b_1_2¹²
        + b_4_13²·b_10_48·a_1_1²·b_1_2² + b_4_13²·b_10_47·a_1_1·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2² + b_4_13³·a_1_1²·b_1_2³·b_5_16
        + b_4_13³·a_1_1²·b_1_2⁸ + b_4_13⁴·a_1_1²·b_1_2⁴ + b_4_13⁵·a_1_1²
        + b_2_4·b_10_46·a_1_0·a_9_22 + b_2_4⁶·a_1_0·a_9_22
        + b_10_48·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁷·a_3_3
        + b_10_46·a_1_1²·b_1_2⁷·a_3_3 + b_4_13·a_1_1²·b_1_2¹³·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2³·a_3_3 + b_4_13²·a_1_1³·b_11_54
        + b_4_13²·b_10_48·a_1_1³·b_1_2 + b_4_13³·a_1_1²·b_1_2⁵·a_3_3 + c_16_105·b_1_2⁶
        + c_16_105·a_1_1·b_1_2⁵ + b_2_4²·c_16_105·a_1_1·b_1_2
        + b_2_4²·c_16_105·a_1_0·b_1_2 + c_16_105·a_1_1²·b_1_2⁴
        + c_16_105·a_1_1²·b_1_2·a_3_3
111. b_9_38·b_13_72 + b_4_13²·b_5_16·b_9_38 + b_4_13²·b_10_46·b_1_2⁴
        + b_4_13³·b_1_2·b_9_38 + b_4_13³·b_1_2⁵·b_5_16 + b_4_13³·b_1_2¹⁰
        + b_2_4·b_4_13·b_5_16·b_11_57 + b_2_4·b_2_5·b_4_13²·b_10_48
        + b_2_4²·b_4_13·b_1_2·b_13_72 + b_2_4²·b_2_5·b_4_13·b_1_2·b_11_57
        + b_2_4³·b_3_9·b_13_72 + b_2_4³·b_4_13³·b_1_2·b_3_9 + b_2_4³·b_2_5·b_4_13·b_10_48
        + b_2_4⁴·b_4_13·b_10_47 + b_2_4⁴·b_4_13·b_10_46 + b_2_4⁴·b_2_5·b_4_13³
        + b_2_4⁵·b_4_13²·b_1_2·b_3_9 + b_2_4⁵·b_4_13³ + b_2_4⁵·b_2_5·b_10_48
        + b_2_4⁶·b_10_48 + b_2_4⁶·b_4_13·b_1_2·b_5_15 + b_2_4⁷·b_4_13²
        + b_2_4⁸·b_1_2·b_5_16 + b_2_4⁸·b_1_2·b_5_15 + b_2_4⁸·b_2_5·b_4_13 + b_2_4⁹·b_4_13
        + b_10_48·a_1_1·b_1_2¹¹ + b_10_46·b_10_48·a_1_1·b_1_2 + b_4_13·b_10_48·a_3_3·b_5_16
        + b_4_13·b_10_48·b_1_2⁵·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2²·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁷ + b_4_13·b_10_47·a_3_3·b_5_16
        + b_4_13·b_10_46·b_1_2⁵·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2⁷
        + b_4_13²·a_1_1·b_1_2¹³ + b_4_13²·b_10_48·b_1_2·a_3_3
        + b_4_13²·b_10_48·a_1_1·b_1_2³ + b_4_13²·b_10_46·a_1_1·b_1_2³
        + b_4_13³·b_1_2²·a_3_3·b_5_16 + b_4_13³·a_1_1·b_1_2⁴·b_5_16
        + b_4_13³·a_1_1·b_1_2⁹ + b_4_13⁴·b_1_2³·a_3_3 + b_4_13⁴·a_1_1·b_5_16
        + b_4_13⁵·a_1_1·b_1_2 + b_2_4·b_4_13²·b_3_9·a_9_22 + b_2_4²·b_4_13·b_5_15·a_9_22
        + b_2_4³·b_4_13·b_3_9·a_9_22 + b_2_4⁵·a_1_1·b_11_57 + b_2_4⁹·a_1_0·b_3_9
        + b_10_48·a_1_1²·b_1_2¹⁰ + b_10_46·b_10_48·a_1_1² + b_10_46²·a_1_1²
        + b_4_13·b_10_48·a_1_1²·b_1_2·b_5_16 + b_4_13·b_10_48·a_1_1²·b_1_2⁶
        + b_4_13·b_10_46·a_1_1·b_1_2⁴·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2·b_5_16
        + b_4_13·b_10_46·a_1_1²·b_1_2⁶ + b_4_13²·a_1_1·b_1_2¹⁰·a_3_3
        + b_4_13²·a_1_1²·b_1_2¹² + b_4_13²·b_10_48·a_1_1·a_3_3
        + b_4_13²·b_10_48·a_1_1²·b_1_2² + b_4_13³·a_1_1²·b_1_2³·b_5_16
        + b_4_13³·a_1_1²·b_1_2⁸ + b_4_13⁵·a_1_1² + b_10_48·a_1_1²·b_1_2⁷·a_3_3
        + b_10_46·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_10_46·a_1_1²·b_1_2⁷·a_3_3
        + b_4_13·a_1_1²·b_1_2¹³·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13²·b_10_48·a_1_1³·b_1_2
        + b_4_13³·a_1_1²·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_1_2⁵·a_3_3
        + b_2_4²·c_16_105·a_1_1·b_1_2 + c_16_105·a_1_1·b_1_2²·a_3_3
        + c_16_105·a_1_1²·b_1_2⁴ + b_4_13·c_16_105·a_1_1² + c_16_105·a_1_1²·b_1_2·a_3_3
        + c_16_105·a_1_1³·b_1_2³
112. b_11_57² + b_11_54² + b_10_46²·b_1_2² + b_4_13·b_10_46·b_1_2³·b_5_16
        + b_4_13³·b_1_2¹⁰ + b_4_13⁴·b_1_2⁶ + b_2_4·b_4_13·b_3_9·b_13_72
        + b_2_4·b_4_13²·b_1_2·b_11_57 + b_2_4·b_4_13⁵ + b_2_4·b_2_5·b_4_13²·b_10_48
        + b_2_4²·b_4_13²·b_10_48 + b_2_4³·b_4_13·b_1_2·b_11_57 + b_2_4³·b_4_13⁴
        + b_2_4³·b_2_5·b_4_13·b_10_48 + b_2_4⁴·b_4_13·b_10_47 + b_2_4⁴·b_4_13·b_10_46
        + b_2_4⁶·b_4_13·b_1_2·b_5_15 + b_2_4⁶·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁷·b_4_13²
        + b_2_4⁸·b_1_2·b_5_16 + b_2_4⁸·b_2_5·b_1_2·b_3_9 + b_2_4⁸·b_2_5·b_4_13
        + b_2_4⁹·b_4_13 + b_10_46·b_1_2⁴·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2¹¹
        + b_4_13·b_10_48·a_1_1·b_1_2²·b_5_16 + b_4_13·b_10_47·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1·b_1_2⁷ + b_4_13²·b_10_46·b_1_2·a_3_3
        + b_4_13³·b_1_2⁷·a_3_3 + b_4_13³·a_1_1·b_1_2⁴·b_5_16 + b_4_13³·a_1_1·b_1_2⁹
        + b_4_13⁴·b_1_2³·a_3_3 + b_2_4·b_4_13²·b_3_9·a_9_22 + b_2_4²·b_4_13·b_5_15·a_9_22
        + b_2_4³·b_4_13·b_3_9·a_9_22 + b_2_4⁴·b_5_15·a_9_22 + b_2_4⁵·b_3_9·a_9_22
        + b_2_4⁵·a_1_0·b_11_57 + b_2_4⁶·b_1_2·a_9_22 + b_2_4⁹·a_1_0·b_3_9
        + b_10_48·a_1_1·b_1_2³·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2³·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2¹⁰ + b_10_46·b_10_48·a_1_1²
        + b_4_13·a_1_1²·b_5_16·b_11_54 + b_4_13·b_10_48·a_1_1²·b_1_2⁶
        + b_4_13·b_10_46·a_1_1²·b_1_2·b_5_16 + b_4_13·b_10_46·a_1_1²·b_1_2⁶
        + b_4_13²·b_10_48·a_1_1·a_3_3 + b_4_13²·b_10_48·a_1_1²·b_1_2²
        + b_4_13²·b_10_47·a_1_1·a_3_3 + b_4_13²·b_10_46·a_1_1·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2² + b_4_13³·a_1_1·b_1_2·a_3_3·b_5_16
        + b_4_13³·a_1_1·b_1_2⁶·a_3_3 + b_2_4²·a_9_22²
        + b_10_48·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_10_48·a_1_1²·b_1_2⁷·a_3_3
        + b_10_46·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_4_13²·a_1_1²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1³·b_11_54
        + b_4_13⁴·a_1_1²·b_1_2·a_3_3 + b_2_4·b_4_13·c_16_105 + c_16_105·a_1_1²·b_1_2⁴
        + c_16_105·a_1_1³·b_1_2³
113. b_11_54·b_11_57 + b_11_54² + b_10_48·b_1_2¹² + b_4_13·b_10_46·b_1_2³·b_5_16
        + b_4_13²·b_1_2¹⁴ + b_4_13²·b_10_48·b_1_2⁴ + b_4_13³·b_1_2·b_9_38
        + b_4_13³·b_10_47 + b_4_13³·b_10_46 + b_2_5·b_4_13²·b_1_2·b_11_57
        + b_2_4·b_4_13·b_3_9·b_13_72 + b_2_4·b_4_13²·b_1_2·b_11_57 + b_2_4·b_4_13⁵
        + b_2_4·b_2_5·b_4_13²·b_10_48 + b_2_4²·b_4_13·b_1_2·b_13_72
        + b_2_4²·b_4_13²·b_10_48 + b_2_4²·b_4_13³·b_1_2·b_5_15
        + b_2_4²·b_2_5·b_4_13·b_1_2·b_11_57 + b_2_4³·b_3_9·b_13_72
        + b_2_4³·b_4_13·b_1_2·b_11_57 + b_2_4³·b_4_13³·b_1_2·b_3_9
        + b_2_4³·b_2_5·b_1_2·b_13_72 + b_2_4³·b_2_5·b_4_13·b_10_48 + b_2_4⁴·b_1_2·b_13_72
        + b_2_4⁴·b_4_13·b_10_48 + b_2_4⁴·b_4_13²·b_1_2·b_5_15
        + b_2_4⁴·b_2_5·b_1_2·b_11_57 + b_2_4⁴·b_2_5·b_4_13³
        + b_2_4⁵·b_4_13²·b_1_2·b_3_9 + b_2_4⁵·b_4_13³ + b_2_4⁶·b_2_5·b_4_13·b_1_2·b_3_9
        + b_2_4⁷·b_3_9·b_5_16 + b_2_4⁷·b_3_9·b_5_15 + b_2_4⁸·b_2_5·b_4_13
        + b_2_4⁹·b_1_2·b_3_9 + b_2_4⁹·b_4_13 + a_9_22·b_13_72 + b_10_48·a_1_1·b_1_2¹¹
        + b_10_46·a_1_1·b_1_2¹¹ + b_10_46·b_10_48·a_1_1·b_1_2
        + b_4_13·b_10_48·a_1_1·b_1_2²·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁷
        + b_4_13·b_10_46·b_1_2⁵·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2²·b_5_16
        + b_4_13²·b_5_15·a_9_22 + b_4_13²·a_1_1·b_1_2¹³ + b_4_13²·b_10_48·a_1_1·b_1_2³
        + b_4_13²·b_10_46·a_1_1·b_1_2³ + b_4_13³·a_1_1·b_1_2⁴·b_5_16
        + b_4_13³·a_1_1·b_1_2⁹ + b_4_13⁴·b_1_2³·a_3_3 + b_4_13⁴·a_1_1·b_1_2⁵
        + b_4_13⁵·a_1_1·b_1_2 + b_2_4·a_9_22·b_11_57 + b_2_4³·b_4_13·b_3_9·a_9_22
        + b_2_4⁴·b_5_15·a_9_22 + b_2_4⁵·a_1_1·b_11_57 + b_2_4⁵·a_1_0·b_11_57
        + b_2_4⁶·b_1_2·a_9_22 + b_2_4⁹·a_1_0·b_3_9 + b_10_48·a_1_1²·b_1_2¹⁰
        + b_10_46·a_1_1·b_1_2³·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2⁸·a_3_3
        + b_4_13·a_1_1²·b_5_16·b_11_54 + b_4_13·b_10_48·a_1_1·b_1_2⁴·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2·b_5_16 + b_4_13²·a_1_1·b_1_2¹⁰·a_3_3
        + b_4_13²·a_1_1²·b_1_2¹² + b_4_13²·b_10_48·a_1_1·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2² + b_4_13³·a_1_1·b_1_2⁶·a_3_3
        + b_4_13⁵·a_1_1² + b_2_4·b_10_46·a_1_0·a_9_22 + b_2_4²·a_9_22²
        + b_2_4⁶·a_1_0·a_9_22 + b_10_46·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2⁷·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2³·a_3_3
        + b_4_13²·a_1_1²·b_1_2⁹·a_3_3 + b_4_13²·a_1_1³·b_11_54
        + b_4_13²·b_10_48·a_1_1³·b_1_2 + b_4_13³·a_1_1²·b_1_2⁵·a_3_3
        + b_2_5·c_16_105·b_1_2·b_3_9 + c_16_105·a_1_1²·b_1_2⁴
        + c_16_105·a_1_1²·b_1_2·a_3_3
114. b_11_54² + b_9_38·b_13_72 + b_10_46·b_1_2¹² + b_10_46·b_10_48·b_1_2²
        + b_10_46²·b_1_2² + b_4_13·b_10_48·b_1_2⁸ + b_4_13·b_10_46·b_1_2⁸
        + b_4_13²·b_5_16·b_9_38 + b_4_13²·b_10_48·b_1_2⁴ + b_4_13²·b_10_46·b_1_2⁴
        + b_4_13³·b_1_2·b_9_38 + b_4_13⁵·b_1_2² + b_2_5·b_4_13⁵
        + b_2_4·b_4_13·b_5_16·b_11_57 + b_2_4·b_2_5·b_4_13²·b_10_48
        + b_2_4²·b_4_13·b_1_2·b_13_72 + b_2_4²·b_2_5·b_4_13·b_1_2·b_11_57
        + b_2_4³·b_3_9·b_13_72 + b_2_4³·b_4_13³·b_1_2·b_3_9 + b_2_4³·b_4_13⁴
        + b_2_4³·b_2_5·b_4_13·b_10_48 + b_2_4⁴·b_4_13·b_10_47 + b_2_4⁴·b_4_13·b_10_46
        + b_2_4⁴·b_2_5·b_4_13³ + b_2_4⁵·b_4_13²·b_1_2·b_3_9 + b_2_4⁵·b_4_13³
        + b_2_4⁵·b_2_5·b_10_48 + b_2_4⁶·b_10_48 + b_2_4⁶·b_4_13·b_1_2·b_5_15
        + b_2_4⁸·b_1_2·b_5_16 + b_2_4⁸·b_1_2·b_5_15 + b_2_4⁸·b_2_5·b_4_13 + b_2_4⁹·b_4_13
        + b_10_48·b_1_2⁴·a_3_3·b_5_16 + b_10_48·a_1_1·b_1_2¹¹
        + b_10_46·b_1_2⁴·a_3_3·b_5_16 + b_10_46·b_1_2⁹·a_3_3 + b_10_46·a_1_1·b_1_2¹¹
        + b_10_46·b_10_48·a_1_1·b_1_2 + b_4_13·b_10_48·a_3_3·b_5_16
        + b_4_13·b_10_48·b_1_2⁵·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2²·b_5_16
        + b_4_13·b_10_48·a_1_1·b_1_2⁷ + b_4_13·b_10_46·a_1_1·b_1_2⁷
        + b_4_13²·b_1_2¹¹·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2³
        + b_4_13²·b_10_46·b_1_2·a_3_3 + b_4_13³·b_1_2⁷·a_3_3 + b_4_13³·a_1_1·b_9_38
        + b_4_13³·a_1_1·b_1_2⁴·b_5_16 + b_4_13⁴·a_1_1·b_1_2⁵ + b_4_13⁵·a_1_1·b_1_2
        + b_2_4·b_4_13²·b_3_9·a_9_22 + b_2_4²·b_4_13·b_5_15·a_9_22
        + b_2_4³·b_4_13·b_3_9·a_9_22 + b_2_4⁹·a_1_0·b_3_9
        + b_10_48·a_1_1·b_1_2³·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2³·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2¹⁰ + b_10_46²·a_1_1² + b_4_13·a_1_1·b_1_2¹⁴·a_3_3
        + b_4_13·a_1_1²·b_5_16·b_11_54 + b_4_13·b_10_48·a_1_1·b_1_2⁴·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2·b_5_16 + b_4_13·b_10_48·a_1_1²·b_1_2⁶
        + b_4_13·b_10_46·a_1_1·b_1_2⁴·a_3_3 + b_4_13²·a_1_1·b_1_2¹⁰·a_3_3
        + b_4_13²·a_1_1²·b_1_2¹² + b_4_13²·b_10_47·a_1_1·a_3_3
        + b_4_13²·b_10_46·a_1_1·a_3_3 + b_4_13²·b_10_46·a_1_1²·b_1_2²
        + b_4_13³·a_1_1²·b_1_2³·b_5_16 + b_4_13³·a_1_1²·b_1_2⁸
        + b_4_13⁴·a_1_1·b_1_2²·a_3_3 + b_4_13⁴·a_1_1²·b_1_2⁴ + b_4_13⁵·a_1_1²
        + b_2_4²·a_9_22² + b_2_4⁶·a_1_0·a_9_22 + b_10_48·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13·b_10_48·a_1_1²·b_1_2³·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13²·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_4_13²·a_1_1³·b_11_54 + b_4_13²·b_10_48·a_1_1³·b_1_2
        + b_4_13³·a_1_1²·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_1_2⁵·a_3_3
        + b_4_13⁴·a_1_1²·b_1_2·a_3_3 + c_16_105·b_1_2⁶ + c_16_105·a_1_1·b_1_2⁵
        + b_2_4·c_16_105·a_1_0·b_3_9 + c_16_105·a_1_1²·b_1_2⁴
        + c_16_105·a_1_1²·b_1_2·a_3_3
115. b_10_48·b_13_72 + b_10_48·b_1_2¹³ + b_10_47·b_13_72 + b_10_46·b_1_2¹³
        + b_10_46·b_10_48·b_1_2³ + b_10_46²·b_1_2³ + b_4_13·b_10_48·b_1_2⁴·b_5_16
        + b_4_13·b_10_48·b_1_2⁹ + b_4_13·b_10_46·b_1_2⁴·b_5_16 + b_4_13·b_10_46·b_1_2⁹
        + b_4_13²·b_10_48·b_1_2⁵ + b_4_13³·b_11_57 + b_4_13³·b_1_2¹¹
        + b_4_13³·b_10_48·b_1_2 + b_4_13⁴·b_1_2⁷ + b_4_13⁵·b_1_2³
        + b_2_5·b_4_13²·b_13_72 + b_2_4·b_4_13·b_1_2·b_3_9·b_13_72 + b_2_4·b_4_13²·b_13_72
        + b_2_4·b_4_13⁴·b_5_15 + b_2_4·b_4_13⁵·b_1_2 + b_2_4·b_2_5·b_4_13²·b_11_57
        + b_2_4²·b_4_13²·b_10_48·b_1_2 + b_2_4²·b_2_5·b_4_13·b_13_72
        + b_2_4³·b_4_13³·b_5_16 + b_2_4⁴·b_4_13·b_11_57 + b_2_4⁴·b_4_13·b_10_47·b_1_2
        + b_2_4⁴·b_4_13³·b_3_9 + b_2_4⁴·b_2_5·b_13_72 + b_2_4⁵·b_4_13³·b_1_2
        + b_2_4⁵·b_2_5·b_11_57 + b_2_4⁶·b_11_57 + b_2_4⁶·b_11_54 + b_2_4⁶·b_10_48·b_1_2
        + b_2_4⁶·b_10_46·b_1_2 + b_2_4⁶·b_2_5·b_4_13²·b_1_2 + b_2_4⁷·b_1_2·b_3_9·b_5_15
        + b_2_4⁷·b_4_13·b_5_16 + b_2_4⁷·b_4_13·b_5_15 + b_2_4⁹·b_5_15 + b_2_4⁹·b_4_13·b_1_2
        + b_2_4⁹·b_2_5·b_3_9 + b_2_4¹⁰·b_3_9 + b_10_48·b_1_2¹⁰·a_3_3
        + b_10_48·a_1_1·b_1_2¹² + b_10_46·b_1_2¹⁰·a_3_3 + b_10_46·a_1_1·b_1_2¹²
        + b_4_13·b_10_48·a_9_22 + b_4_13·b_10_48·b_1_2·a_3_3·b_5_16
        + b_4_13·b_10_48·b_1_2⁶·a_3_3 + b_4_13·b_10_48·a_1_1·b_1_2⁸
        + b_4_13·b_10_46·a_9_22 + b_4_13·b_10_46·b_1_2·a_3_3·b_5_16 + b_4_13²·b_1_2¹²·a_3_3
        + b_4_13²·a_1_1·b_5_16·b_9_38 + b_4_13²·a_1_1·b_1_2¹⁴
        + b_4_13²·b_10_48·b_1_2²·a_3_3 + b_4_13²·b_10_46·b_1_2²·a_3_3
        + b_4_13²·b_10_46·a_1_1·b_1_2⁴ + b_4_13³·a_1_1·b_1_2¹⁰ + b_4_13³·b_10_48·a_1_1
        + b_4_13⁴·a_1_1·b_1_2·b_5_16 + b_4_13⁵·a_1_1·b_1_2² + b_2_4²·b_10_48·a_9_22
        + b_2_4³·b_3_9·b_5_15·a_9_22 + b_2_4⁵·b_4_13·a_9_22 + b_2_4⁶·b_10_46·a_1_0
        + b_2_4⁷·a_9_22 + b_2_4¹⁰·a_3_3 + b_10_48·a_1_1·b_1_2⁴·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1·a_3_3·b_5_16 + b_4_13·b_10_46·a_1_1·b_1_2⁵·a_3_3
        + b_4_13²·a_1_1·b_1_2¹¹·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2·a_3_3
        + b_4_13³·a_1_1·b_1_2⁷·a_3_3 + b_4_13⁴·a_1_1²·b_5_16 + b_2_4⁵·a_1_0·b_3_9·a_9_22
        + b_10_48·a_1_1²·b_1_2⁸·a_3_3 + b_10_46·a_1_1²·b_1_2³·a_3_3·b_5_16
        + b_4_13·a_1_1²·b_1_2¹⁴·a_3_3 + b_4_13²·b_10_47·a_1_1²·a_3_3
        + b_4_13³·a_1_1²·b_1_2⁶·a_3_3 + b_4_13⁴·a_1_1²·b_1_2²·a_3_3 + b_4_13⁵·a_1_1³
        + b_2_4·c_16_105·b_5_15 + c_16_105·b_1_2⁴·a_3_3 + c_16_105·a_1_1·b_1_2⁶
        + b_4_13·c_16_105·a_1_1·b_1_2² + b_2_4·b_2_5·c_16_105·a_3_3
        + b_2_4³·c_16_105·a_1_1 + c_16_105·a_1_1·b_1_2³·a_3_3
116. b_10_47·b_13_72 + b_10_46·b_13_72 + b_4_13²·b_10_47·b_5_16 + b_4_13²·b_10_46·b_5_16
        + b_4_13²·b_10_46·b_1_2⁵ + b_4_13³·b_1_2⁶·b_5_16 + b_4_13³·b_1_2¹¹
        + b_4_13³·b_10_47·b_1_2 + b_4_13³·b_10_46·b_1_2 + b_2_4·b_4_13·b_1_2·b_3_9·b_13_72
        + b_2_4·b_4_13²·b_13_72 + b_2_4·b_4_13⁵·b_1_2 + b_2_4·b_2_5·b_4_13²·b_11_57
        + b_2_4²·b_4_13²·b_11_57 + b_2_4²·b_4_13²·b_11_54
        + b_2_4²·b_4_13²·b_10_46·b_1_2 + b_2_4³·b_1_2·b_3_9·b_13_72
        + b_2_4³·b_4_13³·b_5_16 + b_2_4³·b_4_13³·b_5_15 + b_2_4³·b_2_5·b_4_13·b_11_57
        + b_2_4⁴·b_4_13·b_11_54 + b_2_4⁴·b_4_13·b_10_48·b_1_2
        + b_2_4⁴·b_4_13·b_10_47·b_1_2 + b_2_4⁴·b_4_13·b_10_46·b_1_2
        + b_2_4⁴·b_4_13³·b_3_9 + b_2_4⁵·b_4_13²·b_5_15 + b_2_4⁶·b_10_48·b_1_2
        + b_2_4⁶·b_4_13²·b_3_9 + b_2_4⁶·b_2_5·b_4_13²·b_1_2 + b_2_4⁷·b_4_13²·b_1_2
        + b_2_4⁹·b_4_13·b_1_2 + b_10_48·a_1_1·b_1_2¹² + b_10_46·b_1_2¹⁰·a_3_3
        + b_10_46·b_10_48·a_1_1·b_1_2² + b_10_46²·a_3_3
        + b_4_13·b_10_48·b_1_2·a_3_3·b_5_16 + b_4_13·b_10_48·b_1_2⁶·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2³·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁸
        + b_4_13·b_10_46·a_9_22 + b_4_13·b_10_46·b_1_2⁶·a_3_3 + b_4_13²·b_1_2¹²·a_3_3
        + b_4_13²·a_1_1·b_1_2¹⁴ + b_4_13²·b_10_48·b_1_2²·a_3_3
        + b_4_13²·b_10_48·a_1_1·b_1_2⁴ + b_4_13²·b_10_46·a_1_1·b_1_2⁴
        + b_4_13³·a_1_1·b_1_2¹⁰ + b_4_13³·b_10_47·a_1_1 + b_4_13³·b_10_46·a_1_1
        + b_4_13⁴·a_1_1·b_1_2⁶ + b_2_4²·b_10_48·a_9_22 + b_2_4⁵·b_4_13·a_9_22
        + b_2_4⁶·b_10_46·a_1_0 + b_2_4⁶·b_2_5·a_9_22 + b_2_4⁷·a_9_22 + b_2_4¹⁰·a_3_3
        + b_2_4¹¹·a_1_1 + b_10_46·b_10_48·a_1_1²·b_1_2 + b_10_46²·a_1_1²·b_1_2
        + b_4_13·b_10_48·a_1_1·a_3_3·b_5_16 + b_4_13·b_10_48·a_1_1²·b_1_2²·b_5_16
        + b_4_13·b_10_46·a_1_1·a_3_3·b_5_16 + b_4_13·b_10_46·a_1_1²·b_1_2²·b_5_16
        + b_4_13²·a_1_1²·b_1_2¹³ + b_4_13²·b_10_48·a_1_1·b_1_2·a_3_3
        + b_4_13²·b_10_48·a_1_1²·b_1_2³ + b_4_13²·b_10_46·a_1_1·b_1_2·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2³ + b_4_13³·a_1_1·b_1_2⁷·a_3_3
        + b_4_13⁴·a_1_1·b_1_2³·a_3_3 + b_4_13⁴·a_1_1²·b_5_16 + b_4_13⁴·a_1_1²·b_1_2⁵
        + b_4_13⁵·a_1_1²·b_1_2 + b_2_4·a_1_0·a_9_22·b_11_57
        + b_10_48·a_1_1²·b_1_2³·a_3_3·b_5_16 + b_4_13·a_1_1²·b_1_2¹⁴·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2⁴·a_3_3 + b_4_13²·a_1_1²·b_1_2¹⁰·a_3_3
        + b_4_13²·b_10_47·a_1_1²·a_3_3 + b_4_13³·a_1_1²·b_1_2·a_3_3·b_5_16
        + b_4_13⁴·a_1_1²·b_1_2²·a_3_3 + b_2_4·c_16_105·b_5_16
        + b_2_4²·b_2_5·c_16_105·b_1_2 + b_2_4²·c_16_105·a_3_3 + b_2_4³·c_16_105·a_1_1
        + c_16_105·a_1_1·b_1_2³·a_3_3 + c_16_105·a_1_1²·b_1_2⁵
        + b_4_13·c_16_105·a_1_1²·b_1_2 + c_16_105·a_1_1³·b_1_2·a_3_3
117. b_10_47·b_13_72 + b_10_46·b_1_2¹³ + b_10_46²·b_1_2³
        + b_4_13·b_10_46·b_1_2⁴·b_5_16 + b_4_13·b_10_46·b_1_2⁹ + b_4_13²·b_10_47·b_5_16
        + b_4_13²·b_10_46·b_5_16 + b_4_13³·b_1_2⁶·b_5_16 + b_4_13³·b_1_2¹¹
        + b_4_13⁴·b_1_2²·b_5_16 + b_4_13⁴·b_1_2⁷ + b_4_13⁵·b_1_2³
        + b_2_5·b_4_13²·b_13_72 + b_2_4·b_4_13⁴·b_5_16 + b_2_4·b_4_13⁴·b_5_15
        + b_2_4²·b_4_13²·b_10_47·b_1_2 + b_2_4²·b_4_13⁴·b_3_9
        + b_2_4²·b_2_5·b_4_13·b_13_72 + b_2_4³·b_4_13·b_13_72 + b_2_4³·b_4_13³·b_5_16
        + b_2_4³·b_4_13³·b_5_15 + b_2_4³·b_4_13⁴·b_1_2 + b_2_4³·b_2_5·b_4_13·b_11_57
        + b_2_4⁴·b_4_13·b_11_57 + b_2_4⁴·b_4_13·b_11_54 + b_2_4⁴·b_4_13·b_10_46·b_1_2
        + b_2_4⁴·b_2_5·b_13_72 + b_2_4⁵·b_4_13²·b_5_16 + b_2_4⁵·b_4_13³·b_1_2
        + b_2_4⁵·b_2_5·b_11_57 + b_2_4⁶·b_11_57 + b_2_4⁶·b_10_47·b_1_2
        + b_2_4⁶·b_2_5·b_4_13²·b_1_2 + b_2_4⁷·b_1_2·b_3_9·b_5_15 + b_2_4⁷·b_4_13·b_5_15
        + b_2_4⁸·b_2_5·b_4_13·b_1_2 + b_2_4⁹·b_4_13·b_1_2 + b_2_4⁹·b_2_5·b_3_9
        + b_2_4¹⁰·b_3_9 + b_2_4¹⁰·b_2_5·b_1_2 + b_10_48·a_1_1·b_1_2¹²
        + b_10_46·b_10_48·a_3_3 + b_10_46²·a_3_3 + b_10_46²·a_1_1·b_1_2²
        + b_4_13·b_10_48·a_9_22 + b_4_13·b_10_46·a_9_22 + b_4_13·b_10_46·b_1_2·a_3_3·b_5_16
        + b_4_13·b_10_46·b_1_2⁶·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2³·b_5_16
        + b_4_13²·b_1_2¹²·a_3_3 + b_4_13²·a_1_1·b_5_16·b_9_38
        + b_4_13²·b_10_48·b_1_2²·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2⁴
        + b_4_13²·b_10_46·b_1_2²·a_3_3 + b_4_13³·a_1_1·b_1_2¹⁰ + b_4_13⁴·b_1_2⁴·a_3_3
        + b_4_13⁴·a_1_1·b_1_2·b_5_16 + b_4_13⁴·a_1_1·b_1_2⁶ + b_4_13⁵·a_3_3
        + b_2_4²·b_10_48·a_9_22 + b_2_4²·b_10_46·a_9_22 + b_2_4⁵·b_10_46·a_3_3
        + b_2_4⁵·b_4_13·a_9_22 + b_2_4⁷·a_9_22 + b_2_4¹⁰·a_3_3
        + b_10_48·a_1_1·b_1_2⁴·a_3_3·b_5_16 + b_10_46·a_1_1·b_1_2⁴·a_3_3·b_5_16
        + b_10_46·b_10_48·a_1_1²·b_1_2 + b_10_46²·a_1_1²·b_1_2
        + b_4_13·b_10_48·a_1_1²·b_1_2⁷ + b_4_13·b_10_46·a_1_1·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1·b_1_2⁵·a_3_3 + b_4_13²·a_1_1·b_1_2¹¹·a_3_3
        + b_4_13²·b_10_48·a_1_1·b_1_2·a_3_3 + b_4_13²·b_10_46·a_1_1²·b_1_2³
        + b_4_13³·a_1_1·b_1_2²·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_9_38
        + b_2_4·a_1_0·a_9_22·b_11_57 + b_10_48·a_1_1²·b_1_2³·a_3_3·b_5_16
        + b_10_46·a_1_1²·b_1_2⁸·a_3_3 + b_4_13·a_1_1²·b_1_2¹⁴·a_3_3
        + b_4_13²·a_1_1²·b_1_2¹⁰·a_3_3 + b_4_13²·b_10_48·a_1_1²·a_3_3
        + b_4_13³·a_1_1²·b_1_2⁶·a_3_3 + b_4_13⁵·a_1_1³ + b_2_4·c_16_105·b_5_16
        + b_2_4·c_16_105·b_5_15 + b_2_4²·b_2_5·c_16_105·b_1_2 + b_2_4·b_2_5·c_16_105·a_3_3
        + b_2_4²·c_16_105·a_3_3 + b_2_4³·c_16_105·a_1_1 + b_2_4³·c_16_105·a_1_0
        + c_16_105·a_1_1·b_1_2³·a_3_3 + c_16_105·a_1_1²·b_1_2⁵
        + c_16_105·a_1_1²·b_1_2²·a_3_3 + b_4_13·c_16_105·a_1_1³
118. b_11_54·b_13_72 + b_10_48·b_1_2¹⁴ + b_10_46·b_10_48·b_1_2⁴
        + b_4_13·b_10_48·b_1_2¹⁰ + b_4_13·b_10_46·b_1_2¹⁰ + b_4_13·b_10_46·b_10_48
        + b_4_13·b_10_46² + b_4_13²·b_5_16·b_11_57 + b_4_13²·b_5_16·b_11_54
        + b_4_13²·b_3_9·b_13_72 + b_4_13²·b_10_48·b_1_2⁶ + b_4_13²·b_10_46·b_1_2·b_5_16
        + b_4_13²·b_10_46·b_1_2⁶ + b_4_13³·b_10_46·b_1_2² + b_4_13⁴·b_1_2³·b_5_16
        + b_2_4·b_4_13³·b_10_48 + b_2_4·b_2_5·b_4_13⁵ + b_2_4²·b_4_13·b_3_9·b_13_72
        + b_2_4²·b_4_13⁴·b_1_2·b_3_9 + b_2_4³·b_4_13³·b_1_2·b_5_15
        + b_2_4³·b_2_5·b_4_13·b_1_2·b_11_57 + b_2_4⁴·b_4_13·b_1_2·b_11_57
        + b_2_4⁴·b_4_13⁴ + b_2_4⁴·b_2_5·b_1_2·b_13_72 + b_2_4⁵·b_4_13·b_10_48
        + b_2_4⁶·b_4_13²·b_1_2·b_3_9 + b_2_4⁶·b_4_13³ + b_2_4⁷·b_10_48 + b_2_4⁷·b_10_47
        + b_2_4⁷·b_10_46 + b_2_4⁷·b_4_13·b_1_2·b_5_15 + b_2_4⁷·b_2_5·b_4_13·b_1_2·b_3_9
        + b_2_4⁷·b_2_5·b_4_13² + b_2_4⁸·b_3_9·b_5_16 + b_2_4⁸·b_4_13²
        + b_2_4⁹·b_1_2·b_5_16 + b_2_4⁹·b_1_2·b_5_15 + b_2_4⁹·b_2_5·b_4_13
        + b_2_4¹⁰·b_1_2·b_3_9 + b_2_4¹⁰·b_4_13 + b_10_48·a_1_1·b_1_2¹³
        + b_10_46·b_1_2¹¹·a_3_3 + b_10_46·b_10_48·a_1_1·b_1_2³ + b_10_46²·b_1_2·a_3_3
        + b_4_13·b_10_48·b_1_2²·a_3_3·b_5_16 + b_4_13·b_10_48·b_1_2⁷·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2⁴·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁹
        + b_4_13·b_10_46·b_1_2²·a_3_3·b_5_16 + b_4_13²·b_1_2¹³·a_3_3
        + b_4_13²·b_10_48·a_1_1·b_1_2⁵ + b_4_13²·b_10_46·b_1_2³·a_3_3
        + b_4_13²·b_10_46·a_1_1·b_5_16 + b_4_13²·b_10_46·a_1_1·b_1_2⁵
        + b_4_13³·b_3_9·a_9_22 + b_4_13³·b_1_2⁴·a_3_3·b_5_16 + b_4_13³·b_1_2⁹·a_3_3
        + b_4_13³·a_1_1·b_1_2¹¹ + b_4_13³·b_10_46·a_1_1·b_1_2
        + b_4_13⁴·a_1_1·b_1_2²·b_5_16 + b_4_13⁴·a_1_1·b_1_2⁷ + b_4_13⁵·b_1_2·a_3_3
        + b_4_13⁵·a_1_1·b_1_2³ + b_2_4·a_9_22·b_13_72 + b_2_4²·b_4_13²·b_3_9·a_9_22
        + b_2_4³·b_4_13·b_5_15·a_9_22 + b_2_4⁴·b_4_13·b_3_9·a_9_22 + b_2_4⁵·b_5_15·a_9_22
        + b_2_4⁶·b_3_9·a_9_22 + b_2_4¹⁰·a_1_0·b_3_9 + b_10_48·a_1_1·b_1_2¹⁰·a_3_3
        + b_10_48·a_1_1²·b_1_2¹² + b_10_46·a_1_1·b_1_2¹⁰·a_3_3
        + b_10_46·a_1_1²·b_1_2¹² + b_10_46·b_10_48·a_1_1²·b_1_2²
        + b_4_13·b_10_48·a_1_1·b_1_2⁶·a_3_3 + b_4_13·b_10_48·a_1_1²·b_1_2³·b_5_16
        + b_4_13·b_10_48·a_1_1²·b_1_2⁸ + b_4_13·b_10_46·a_1_1²·b_1_2³·b_5_16
        + b_4_13²·a_1_1²·b_5_16·b_9_38 + b_4_13²·a_1_1²·b_1_2¹⁴
        + b_4_13²·b_10_48·a_1_1·b_1_2²·a_3_3 + b_4_13²·b_10_46·a_1_1·b_1_2²·a_3_3
        + b_4_13³·a_1_1·b_1_2³·a_3_3·b_5_16 + b_4_13³·a_1_1·b_1_2⁸·a_3_3
        + b_4_13³·b_10_48·a_1_1² + b_4_13³·b_10_47·a_1_1² + b_4_13³·b_10_46·a_1_1²
        + b_4_13⁴·a_1_1·b_1_2⁴·a_3_3 + b_4_13⁴·a_1_1²·b_1_2·b_5_16 + b_4_13⁵·a_1_1·a_3_3
        + b_4_13⁵·a_1_1²·b_1_2² + b_2_4²·b_10_46·a_1_0·a_9_22 + b_2_4³·a_9_22²
        + b_2_4⁷·a_1_0·a_9_22 + b_10_48·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_10_48·a_1_1²·b_1_2⁹·a_3_3 + b_10_46·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1²·a_3_3·b_5_16 + b_4_13²·a_1_1²·b_1_2¹¹·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2·a_3_3 + b_4_13³·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_4_13⁴·a_1_1²·b_1_2³·a_3_3 + b_4_13⁵·a_1_1³·b_1_2
        + b_2_4·c_16_105·b_1_2·b_5_16 + b_2_4·b_2_5·b_4_13·c_16_105 + b_2_4²·b_4_13·c_16_105
        + c_16_105·b_1_2⁵·a_3_3 + c_16_105·a_1_1·b_1_2⁷ + b_2_4²·c_16_105·a_1_1·b_3_9
        + b_2_4³·c_16_105·a_1_1·b_1_2 + c_16_105·a_1_1·b_1_2⁴·a_3_3
        + c_16_105·a_1_1²·b_1_2⁶ + b_4_13·c_16_105·a_1_1·a_3_3
        + c_16_105·a_1_1²·b_1_2³·a_3_3 + c_16_105·a_1_1³·b_5_16
119. b_11_57·b_13_72 + b_10_48·b_1_2¹⁴ + b_10_46·b_1_2¹⁴ + b_10_46·b_10_48·b_1_2⁴
        + b_10_46²·b_1_2⁴ + b_4_13·b_10_48·b_1_2¹⁰ + b_4_13·b_10_46·b_10_48
        + b_4_13·b_10_46² + b_4_13²·b_3_9·b_13_72 + b_4_13²·b_10_48·b_1_2⁶
        + b_4_13²·b_10_46·b_1_2⁶ + b_4_13³·b_1_2·b_11_57 + b_4_13³·b_1_2·b_11_54
        + b_4_13³·b_1_2¹² + b_4_13⁵·b_1_2⁴ + b_2_4·b_4_13⁴·b_1_2·b_5_15
        + b_2_4·b_2_5·b_4_13⁵ + b_2_4²·b_4_13·b_5_16·b_11_57
        + b_2_4²·b_4_13⁴·b_1_2·b_3_9 + b_2_4³·b_4_13·b_1_2·b_13_72
        + b_2_4³·b_4_13²·b_10_48 + b_2_4³·b_4_13²·b_10_47 + b_2_4³·b_4_13²·b_10_46
        + b_2_4⁴·b_5_16·b_11_57 + b_2_4⁴·b_3_9·b_13_72 + b_2_4⁴·b_4_13³·b_1_2·b_3_9
        + b_2_4⁴·b_2_5·b_1_2·b_13_72 + b_2_4⁵·b_4_13·b_10_48 + b_2_4⁵·b_4_13·b_10_47
        + b_2_4⁵·b_2_5·b_1_2·b_11_57 + b_2_4⁶·b_1_2·b_11_57 + b_2_4⁶·b_4_13³
        + b_2_4⁷·b_10_48 + b_2_4⁷·b_10_47 + b_2_4⁷·b_10_46
        + b_2_4⁷·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4⁷·b_2_5·b_4_13² + b_2_4⁸·b_3_9·b_5_15
        + b_2_4⁹·b_1_2·b_5_15 + b_2_4¹⁰·b_4_13 + b_10_48·b_1_2¹¹·a_3_3
        + b_10_46·a_1_1·b_1_2¹³ + b_10_46·b_10_48·a_1_1·b_1_2³ + b_10_46²·a_1_1·b_1_2³
        + b_4_13·b_10_48·b_1_2²·a_3_3·b_5_16 + b_4_13·b_10_48·b_1_2⁷·a_3_3
        + b_4_13·b_10_48·a_1_1·b_1_2⁴·b_5_16 + b_4_13·b_10_48·a_1_1·b_1_2⁹
        + b_4_13·b_10_46·b_1_2²·a_3_3·b_5_16 + b_4_13·b_10_46·b_1_2⁷·a_3_3
        + b_4_13·b_10_46·a_1_1·b_1_2⁴·b_5_16 + b_4_13²·b_10_48·b_1_2³·a_3_3
        + b_4_13²·b_10_48·a_1_1·b_5_16 + b_4_13²·b_10_48·a_1_1·b_1_2⁵
        + b_4_13²·b_10_47·a_1_1·b_5_16 + b_4_13²·b_10_46·a_1_1·b_1_2⁵
        + b_4_13³·b_1_2⁴·a_3_3·b_5_16 + b_4_13³·b_1_2⁹·a_3_3 + b_4_13³·a_1_1·b_11_54
        + b_4_13³·a_1_1·b_1_2¹¹ + b_4_13³·b_10_48·a_1_1·b_1_2 + b_4_13⁵·a_1_1·b_1_2³
        + b_2_4·a_9_22·b_13_72 + b_2_4·b_4_13²·b_5_15·a_9_22 + b_2_4²·a_9_22·b_11_57
        + b_2_4²·b_4_13²·b_3_9·a_9_22 + b_2_4³·b_4_13·b_5_15·a_9_22
        + b_2_4⁵·b_5_15·a_9_22 + b_2_4⁶·b_3_9·a_9_22 + b_2_4⁶·a_1_1·b_11_57
        + b_2_4⁷·b_1_2·a_9_22 + b_2_4¹⁰·a_1_0·b_3_9 + b_10_48·a_1_1²·b_1_2¹²
        + b_10_46·b_10_48·a_1_1·a_3_3 + b_10_46²·a_1_1·a_3_3 + b_10_46²·a_1_1²·b_1_2²
        + b_4_13·b_10_48·a_1_1²·b_1_2³·b_5_16 + b_4_13·b_10_46·a_1_1²·b_1_2³·b_5_16
        + b_4_13·b_10_46·a_1_1²·b_1_2⁸ + b_4_13²·a_1_1²·b_5_16·b_9_38
        + b_4_13²·b_10_46·a_1_1²·b_1_2⁴ + b_4_13³·b_10_48·a_1_1²
        + b_4_13⁴·a_1_1·b_1_2⁴·a_3_3 + b_4_13⁵·a_1_1·a_3_3 + b_2_4⁷·a_1_0·a_9_22
        + b_10_48·a_1_1²·b_1_2⁴·a_3_3·b_5_16 + b_10_46·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_4_13·b_10_48·a_1_1²·a_3_3·b_5_16 + b_4_13·b_10_48·a_1_1²·b_1_2⁵·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2⁵·a_3_3 + b_4_13²·a_1_1²·b_1_2¹¹·a_3_3
        + b_4_13²·b_10_48·a_1_1²·b_1_2·a_3_3 + b_4_13²·b_10_46·a_1_1²·b_1_2·a_3_3
        + b_4_13³·a_1_1²·b_1_2²·a_3_3·b_5_16 + b_4_13³·a_1_1²·b_1_2⁷·a_3_3
        + b_4_13⁴·a_1_1²·b_1_2³·a_3_3 + b_4_13⁵·a_1_1³·b_1_2 + c_16_105·b_3_9·b_5_15
        + c_16_105·b_1_2⁸ + b_2_4·c_16_105·b_1_2·b_5_15 + b_2_4·b_2_5·b_4_13·c_16_105
        + b_2_4²·b_4_13·c_16_105 + c_16_105·b_1_2⁵·a_3_3 + b_2_4²·c_16_105·a_1_0·b_3_9
        + b_2_4³·c_16_105·a_1_0·b_1_2 + c_16_105·a_1_1·b_1_2⁴·a_3_3
        + b_4_13·c_16_105·a_1_1·a_3_3 + b_4_13·c_16_105·a_1_1²·b_1_2²
        + c_16_105·a_1_1²·b_1_2³·a_3_3 + c_16_105·a_1_1³·b_5_16
        + b_4_13·c_16_105·a_1_1³·b_1_2
120. b_13_72² + b_4_13·b_10_46²·b_1_2² + b_2_5·b_4_13⁶
        + b_2_4·b_4_13²·b_3_9·b_13_72 + b_2_4·b_4_13³·b_1_2·b_11_57 + b_2_4·b_4_13⁶
        + b_2_4·b_2_5·b_4_13³·b_10_48 + b_2_4²·b_4_13³·b_10_48 + b_2_4²·b_2_5·b_4_13⁵
        + b_2_4³·b_4_13²·b_1_2·b_11_57 + b_2_4³·b_2_5·b_4_13²·b_10_48
        + b_2_4⁴·b_4_13²·b_10_47 + b_2_4⁴·b_4_13²·b_10_46 + b_2_4⁴·b_2_5·b_4_13⁴
        + b_2_4⁵·b_4_13⁴ + b_2_4⁶·b_4_13²·b_1_2·b_5_15 + b_2_4⁷·b_4_13³
        + b_2_4⁸·b_2_5·b_4_13·b_1_2·b_3_9 + b_2_4¹⁰·b_1_2·b_5_16 + b_2_4¹⁰·b_2_5·b_4_13
        + b_2_4¹¹·b_4_13 + b_10_46²·b_1_2³·a_3_3 + b_10_46²·a_1_1·b_5_16
        + b_4_13·b_10_46²·a_1_1·b_1_2 + b_4_13⁴·a_1_1·b_9_38 + b_4_13⁵·a_1_1·b_5_16
        + b_4_13⁵·a_1_1·b_1_2⁵ + b_4_13⁶·a_1_1·b_1_2 + b_2_4·b_4_13³·b_3_9·a_9_22
        + b_2_4²·b_4_13²·b_5_15·a_9_22 + b_2_4³·b_4_13²·b_3_9·a_9_22
        + b_2_4⁴·b_4_13·b_5_15·a_9_22 + b_2_4⁵·b_4_13·b_3_9·a_9_22 + b_2_4⁶·b_5_15·a_9_22
        + b_10_48·a_1_1²·b_1_2¹⁴ + b_10_46·a_1_1·b_1_2¹²·a_3_3
        + b_10_46·b_10_48·a_1_1·b_1_2²·a_3_3 + b_10_46·b_10_48·a_1_1²·b_1_2⁴
        + b_4_13·b_10_48·a_1_1·b_1_2⁸·a_3_3 + b_4_13·b_10_46·a_1_1·b_1_2³·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1·b_1_2⁸·a_3_3 + b_4_13·b_10_46·a_1_1²·b_1_2¹⁰
        + b_4_13²·a_1_1·b_1_2¹⁴·a_3_3 + b_4_13²·b_10_48·a_1_1·b_1_2⁴·a_3_3
        + b_4_13²·b_10_48·a_1_1²·b_1_2·b_5_16 + b_4_13²·b_10_46·a_1_1²·b_1_2⁶
        + b_4_13³·a_1_1·b_1_2¹⁰·a_3_3 + b_4_13³·b_10_48·a_1_1²·b_1_2²
        + b_4_13³·b_10_47·a_1_1·a_3_3 + b_4_13³·b_10_46·a_1_1²·b_1_2²
        + b_4_13⁴·a_1_1²·b_1_2⁸ + b_4_13⁵·a_1_1²·b_1_2⁴ + b_2_4⁴·a_9_22²
        + b_2_4⁸·a_1_0·a_9_22 + b_10_48·a_1_1²·b_1_2¹¹·a_3_3
        + b_10_46·a_1_1²·b_1_2¹¹·a_3_3 + b_10_46·b_10_48·a_1_1²·b_1_2·a_3_3
        + b_4_13·b_10_48·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_4_13·b_10_48·a_1_1²·b_1_2⁷·a_3_3
        + b_4_13·b_10_46·a_1_1²·b_1_2²·a_3_3·b_5_16
        + b_4_13·b_10_46·a_1_1²·b_1_2⁷·a_3_3 + b_4_13²·b_10_48·a_1_1²·b_1_2³·a_3_3
        + b_4_13²·b_10_46·a_1_1²·b_1_2³·a_3_3 + b_4_13³·a_1_1²·b_1_2⁴·a_3_3·b_5_16
        + b_4_13³·a_1_1²·b_1_2⁹·a_3_3 + b_4_13⁵·a_1_1²·b_1_2·a_3_3
        + b_2_4·b_4_13²·c_16_105 + c_16_105·a_1_1·b_1_2⁶·a_3_3 + c_16_105·a_1_1²·b_1_2⁸
        + c_16_105·a_1_0·a_9_22 + b_4_13²·c_16_105·a_1_1² + b_4_13·c_16_105·a_1_1³·a_3_3

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Data used for Benson′s test

• Benson′s completion test succeeded in degree 26.
• The completion test was perfect: It applied in the last degree in which a generator or relation was found.
• The following is a filter regular homogeneous system of parameters:
  1. c_16_105, a Duflot regular element of degree 16
  2. b_1_2⁴ + b_4_13 + b_2_4², an element of degree 4
  3. b_1_2·b_5_15 + b_1_2⁶ + b_4_13·b_1_2² + b_2_5·b_1_2·b_3_9 + b_2_4·b_4_13, an element of degree 6
• The Raw Filter Degree Type of that HSOP is [-1, 11, 17, 23].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -3].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Restriction maps

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. b_1_2 → 0, an element of degree 1
4. b_2_4 → 0, an element of degree 2
5. b_2_5 → 0, an element of degree 2
6. a_3_3 → 0, an element of degree 3
7. b_3_9 → 0, an element of degree 3
8. b_4_13 → 0, an element of degree 4
9. b_5_15 → 0, an element of degree 5
10. b_5_16 → 0, an element of degree 5
11. a_9_22 → 0, an element of degree 9
12. b_9_38 → 0, an element of degree 9
13. b_10_46 → 0, an element of degree 10
14. b_10_47 → 0, an element of degree 10
15. b_10_48 → 0, an element of degree 10
16. b_11_54 → 0, an element of degree 11
17. b_11_57 → 0, an element of degree 11
18. b_13_72 → 0, an element of degree 13
19. c_16_105 → c_1_0¹⁶, an element of degree 16

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. b_1_2 → 0, an element of degree 1
4. b_2_4 → c_1_1², an element of degree 2
5. b_2_5 → 0, an element of degree 2
6. a_3_3 → 0, an element of degree 3
7. b_3_9 → c_1_1·c_1_2² + c_1_1²·c_1_2, an element of degree 3
8. b_4_13 → c_1_2⁴ + c_1_1²·c_1_2², an element of degree 4
9. b_5_15 → c_1_1·c_1_2⁴ + c_1_1³·c_1_2², an element of degree 5
10. b_5_16 → 0, an element of degree 5
11. a_9_22 → 0, an element of degree 9
12. b_9_38 → c_1_1⁷·c_1_2² + c_1_1⁸·c_1_2, an element of degree 9
13. b_10_46 → c_1_1²·c_1_2⁸ + c_1_1⁸·c_1_2² + c_1_0²·c_1_1⁴·c_1_2⁴
       + c_1_0²·c_1_1⁶·c_1_2² + c_1_0⁴·c_1_1²·c_1_2⁴ + c_1_0⁴·c_1_1⁴·c_1_2²
       + c_1_0⁴·c_1_1⁶ + c_1_0⁸·c_1_1², an element of degree 10
14. b_10_47 → c_1_1⁴·c_1_2⁶ + c_1_1⁵·c_1_2⁵ + c_1_1⁷·c_1_2³ + c_1_1⁸·c_1_2²
       + c_1_0²·c_1_1⁴·c_1_2⁴ + c_1_0²·c_1_1⁶·c_1_2² + c_1_0⁴·c_1_1²·c_1_2⁴
       + c_1_0⁴·c_1_1⁴·c_1_2² + c_1_0⁴·c_1_1⁶ + c_1_0⁸·c_1_1², an element of degree 10
15. b_10_48 → c_1_2¹⁰ + c_1_1·c_1_2⁹ + c_1_1²·c_1_2⁸ + c_1_1⁴·c_1_2⁶ + c_1_1⁵·c_1_2⁵
       + c_1_1⁸·c_1_2², an element of degree 10
16. b_11_54 → c_1_1³·c_1_2⁸ + c_1_1⁹·c_1_2², an element of degree 11
17. b_11_57 → c_1_1⁵·c_1_2⁶ + c_1_1⁶·c_1_2⁵ + c_1_1⁷·c_1_2⁴ + c_1_1⁸·c_1_2³
       + c_1_1⁹·c_1_2² + c_1_1¹⁰·c_1_2 + c_1_0²·c_1_1³·c_1_2⁶
       + c_1_0²·c_1_1⁴·c_1_2⁵ + c_1_0²·c_1_1⁵·c_1_2⁴ + c_1_0²·c_1_1⁶·c_1_2³
       + c_1_0⁴·c_1_1·c_1_2⁶ + c_1_0⁴·c_1_1²·c_1_2⁵ + c_1_0⁴·c_1_1³·c_1_2⁴
       + c_1_0⁴·c_1_1⁴·c_1_2³ + c_1_0⁴·c_1_1⁵·c_1_2² + c_1_0⁴·c_1_1⁶·c_1_2
       + c_1_0⁸·c_1_1·c_1_2² + c_1_0⁸·c_1_1²·c_1_2, an element of degree 11
18. b_13_72 → c_1_1⁷·c_1_2⁶ + c_1_1⁸·c_1_2⁵ + c_1_1⁹·c_1_2⁴ + c_1_1¹⁰·c_1_2³
       + c_1_1¹¹·c_1_2² + c_1_1¹²·c_1_2 + c_1_0²·c_1_1³·c_1_2⁸
       + c_1_0²·c_1_1⁷·c_1_2⁴ + c_1_0⁴·c_1_1·c_1_2⁸ + c_1_0⁴·c_1_1⁷·c_1_2²
       + c_1_0⁸·c_1_1·c_1_2⁴ + c_1_0⁸·c_1_1³·c_1_2², an element of degree 13
19. c_16_105 → c_1_2¹⁶ + c_1_1²·c_1_2¹⁴ + c_1_1³·c_1_2¹³ + c_1_1⁵·c_1_2¹¹ + c_1_1⁷·c_1_2⁹
       + c_1_1⁸·c_1_2⁸ + c_1_1⁹·c_1_2⁷ + c_1_1¹¹·c_1_2⁵ + c_1_1¹³·c_1_2³
       + c_1_1¹⁴·c_1_2² + c_1_0²·c_1_1⁴·c_1_2¹⁰ + c_1_0²·c_1_1⁵·c_1_2⁹
       + c_1_0²·c_1_1⁸·c_1_2⁶ + c_1_0²·c_1_1⁹·c_1_2⁵ + c_1_0⁴·c_1_1²·c_1_2¹⁰
       + c_1_0⁴·c_1_1³·c_1_2⁹ + c_1_0⁴·c_1_1⁴·c_1_2⁸ + c_1_0⁴·c_1_1⁹·c_1_2³
       + c_1_0⁸·c_1_2⁸ + c_1_0⁸·c_1_1²·c_1_2⁶ + c_1_0⁸·c_1_1³·c_1_2⁵
       + c_1_0⁸·c_1_1⁵·c_1_2³ + c_1_0⁸·c_1_1⁸ + c_1_0¹⁶, an element of degree 16