David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 527 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

• The group has 3 minimal generators and exponent 8.
• It is non-abelian.
• It has p-Rank 4.
• Its center has rank 1.
• It has 3 conjugacy classes of maximal elementary abelian subgroups, which are all of rank 4.

Structure of the cohomology ring

General information

• The cohomology ring is of dimension 4 and depth 2.
• The depth exceeds the Duflot bound, which is 1.
• The Poincaré series is

  t6  −  t5  +  3·t4  −  3·t3  +  3·t2  −  t  +  1

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

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

The cohomology ring has 18 minimal generators of maximal degree 8:

1. a_1_0, a nilpotent element of degree 1
2. b_1_1, an element of degree 1
3. b_1_2, an element of degree 1
4. b_2_3, an element of degree 2
5. b_2_4, an element of degree 2
6. b_2_5, an element of degree 2
7. b_2_6, an element of degree 2
8. b_2_7, an element of degree 2
9. b_3_14, an element of degree 3
10. b_3_15, an element of degree 3
11. b_5_39, an element of degree 5
12. b_5_41, an element of degree 5
13. b_5_42, an element of degree 5
14. b_6_59, an element of degree 6
15. b_6_60, an element of degree 6
16. b_6_63, an element of degree 6
17. b_7_90, an element of degree 7
18. c_8_124, a Duflot regular element of degree 8

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 103 minimal relations of maximal degree 14:

1. a_1_0²
2. a_1_0·b_1_1
3. a_1_0·b_1_2
4. b_2_3·a_1_0
5. b_2_4·a_1_0
6. b_2_4·b_1_1 + b_2_3·b_1_2
7. b_2_5·a_1_0
8. b_2_6·b_1_2 + b_2_4·b_1_2 + b_2_3·b_1_2 + b_2_7·a_1_0
9. b_2_3·b_1_2² + b_2_3·b_1_1·b_1_2 + b_2_3·b_2_4
10. b_2_4·b_1_2² + b_2_4² + b_2_3·b_1_2²
11. b_2_6·b_1_1² + b_2_3²
12. b_2_7·b_1_1² + b_2_5·b_1_1·b_1_2 + b_2_5² + b_2_4·b_1_2²
13. b_1_2·b_3_14 + b_2_7·b_1_2² + b_2_7·b_1_1·b_1_2 + b_2_4·b_2_5
14. a_1_0·b_3_14
15. b_1_1·b_3_14 + b_2_7·b_1_1·b_1_2 + b_2_5·b_1_1·b_1_2 + b_2_5² + b_2_4·b_1_2²
       + b_2_3·b_2_5
16. b_1_2·b_3_15 + b_2_4·b_1_2² + b_2_4·b_2_7 + b_2_4·b_2_5 + b_2_3·b_1_2²
17. b_2_4·b_1_2² + b_2_4·b_2_6 + b_2_3·b_1_1·b_1_2 + a_1_0·b_3_15
18. b_1_1·b_3_15 + b_2_5·b_2_6 + b_2_4·b_2_5 + b_2_3·b_1_2² + b_2_3·b_1_1·b_1_2
       + b_2_3·b_2_7
19. b_2_7²·a_1_0 + b_2_6·b_2_7·a_1_0
20. b_2_5·b_2_6·b_1_1 + b_2_3·b_3_14 + b_2_3·b_2_7·b_1_2 + b_2_3·b_2_7·b_1_1
21. b_2_5·b_3_14 + b_2_5·b_2_7·b_1_2 + b_2_5·b_2_7·b_1_1 + b_2_4²·b_1_2 + b_2_3·b_2_7·b_1_1
       + b_2_3·b_2_5·b_1_2
22. b_2_4·b_3_14 + b_2_4·b_2_7·b_1_2 + b_2_4·b_2_5·b_1_2 + b_2_3·b_2_7·b_1_2
       + b_2_3·b_2_5·b_1_2
23. b_2_6·b_3_14 + b_2_4·b_2_7·b_1_2 + b_2_4·b_2_5·b_1_2 + b_2_3·b_3_15 + b_2_3·b_2_7·b_1_2
       + b_2_3·b_2_5·b_1_2 + b_2_3·b_2_4·b_1_2 + b_2_3²·b_1_2 + b_2_7²·a_1_0
24. b_2_7·b_3_14 + b_2_7²·b_1_2 + b_2_7²·b_1_1 + b_2_6·b_2_7·b_1_1 + b_2_5·b_3_15
       + b_2_4·b_2_5·b_1_2 + b_2_4²·b_1_2 + b_2_3·b_2_7·b_1_2
25. b_2_4·b_3_15 + b_2_4·b_2_7·b_1_2 + b_2_4·b_2_5·b_1_2 + b_2_4²·b_1_2 + b_2_3·b_2_7·b_1_2
       + b_2_3·b_2_5·b_1_2 + b_2_3·b_2_4·b_1_2
26. b_3_14² + b_2_7²·b_1_2² + b_2_5·b_2_7·b_1_1·b_1_2 + b_2_5²·b_2_7 + b_2_4²·b_2_7
       + b_2_4³ + b_2_3·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_4·b_2_7 + b_2_3·b_2_4·b_2_5
       + b_2_3²·b_2_7
27. b_3_14·b_3_15 + b_2_4·b_2_7² + b_2_4²·b_2_7 + b_2_4²·b_2_5 + b_2_4³ + b_2_3·b_2_7²
       + b_2_3·b_2_6·b_2_7
28. b_3_15² + b_2_6·b_2_7² + b_2_6²·b_2_7 + b_2_4²·b_2_7 + b_2_3·b_2_4·b_2_5
       + b_2_3·b_2_4² + b_2_7·a_1_0·b_3_15 + b_2_6·a_1_0·b_3_15
29. b_1_2·b_5_39 + b_2_7²·b_1_2² + b_2_7²·b_1_1·b_1_2 + b_2_5·b_1_1·b_1_2³
       + b_2_5·b_2_7·b_1_2² + b_2_5²·b_1_2² + b_2_4·b_2_5·b_2_7 + b_2_4²·b_2_5 + b_2_4³
       + b_2_3·b_2_7·b_1_1·b_1_2 + b_2_3²·b_1_1·b_1_2 + b_2_3²·b_2_4
30. a_1_0·b_5_39 + b_2_7·a_1_0·b_3_15 + b_2_6·a_1_0·b_3_15
31. b_1_1·b_5_39 + b_2_7²·b_1_1·b_1_2 + b_2_5·b_1_1²·b_1_2² + b_2_5·b_2_6·b_2_7
       + b_2_5·b_2_6² + b_2_5²·b_1_1·b_1_2 + b_2_5²·b_2_7 + b_2_4·b_2_5·b_2_7
       + b_2_4²·b_2_7 + b_2_4²·b_2_5 + b_2_3·b_2_5·b_2_6 + b_2_3·b_2_4·b_2_7 + b_2_3·b_2_4²
       + b_2_3²·b_1_1·b_1_2 + b_2_3²·b_2_7
32. a_1_0·b_5_41 + b_2_7·a_1_0·b_3_15 + b_2_6·a_1_0·b_3_15
33. a_1_0·b_5_42
34. b_1_2·b_5_41 + b_1_1·b_5_42 + b_2_7·b_1_2⁴ + b_2_7²·b_1_2² + b_2_7²·b_1_1·b_1_2
       + b_2_5·b_2_7·b_1_2² + b_2_5·b_2_7² + b_2_5·b_2_6·b_2_7 + b_2_5²·b_2_7
       + b_2_4²·b_2_5 + b_2_4³ + b_2_3·b_2_5·b_2_7 + b_2_3·b_2_5² + b_2_3·b_2_4²
35. b_2_5·b_2_6·b_3_15 + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_4²·b_2_5·b_1_2 + b_2_4³·b_1_2
       + b_2_3·b_5_39 + b_2_3·b_2_7²·b_1_2 + b_2_3·b_2_7²·b_1_1 + b_2_3·b_2_6·b_3_15
       + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5²·b_1_2 + b_2_3·b_2_4·b_2_7·b_1_2
       + b_2_3·b_2_4·b_2_5·b_1_2 + b_2_3·b_2_4²·b_1_2 + b_2_3²·b_3_15 + b_2_3²·b_2_5·b_1_2
       + b_2_3³·b_1_2
36. b_2_5·b_5_39 + b_2_5·b_2_7²·b_1_2 + b_2_5·b_2_7²·b_1_1 + b_2_5·b_2_6·b_3_15
       + b_2_5²·b_1_1·b_1_2² + b_2_5²·b_2_7·b_1_2 + b_2_5³·b_1_2
       + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_4²·b_2_7·b_1_2 + b_2_3·b_2_7·b_3_15
       + b_2_3·b_2_7²·b_1_2 + b_2_3·b_2_5·b_3_15 + b_2_3·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4·b_2_7·b_1_2 + b_2_3²·b_2_7·b_1_2 + b_2_3²·b_2_5·b_1_2
37. b_2_4·b_5_39 + b_2_4·b_2_7²·b_1_2 + b_2_4²·b_2_5·b_1_2 + b_2_3·b_2_7²·b_1_2
       + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_5²·b_1_2
       + b_2_3·b_2_4·b_2_5·b_1_2 + b_2_3·b_2_4²·b_1_2 + b_2_3²·b_2_5·b_1_2
       + b_2_3²·b_2_4·b_1_2
38. b_2_5·b_2_7·b_3_15 + b_2_4·b_5_41 + b_2_4·b_2_7²·b_1_2 + b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_4²·b_2_7·b_1_2 + b_2_4²·b_2_5·b_1_2 + b_2_4³·b_1_2 + b_2_3·b_5_42
       + b_2_3·b_2_7·b_3_15 + b_2_3·b_2_7²·b_1_1 + b_2_3·b_2_6·b_2_7·b_1_1
       + b_2_3·b_2_5·b_3_15 + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5²·b_1_2
       + b_2_3·b_2_4²·b_1_2 + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_7·b_1_2
       + b_2_3²·b_2_7·b_1_1 + b_2_3³·b_1_2
39. b_2_7·b_5_39 + b_2_7³·b_1_2 + b_2_7³·b_1_1 + b_2_6·b_5_42 + b_2_5·b_2_7·b_1_1·b_1_2²
       + b_2_5·b_2_7²·b_1_2 + b_2_5²·b_2_7·b_1_2 + b_2_4·b_5_42 + b_2_4·b_5_41
       + b_2_4·b_2_7²·b_1_2 + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_4²·b_2_7·b_1_2
       + b_2_4²·b_2_5·b_1_2 + b_2_4³·b_1_2 + b_2_3·b_2_7²·b_1_2 + b_2_3·b_2_6·b_2_7·b_1_1
       + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_5²·b_1_2
       + b_2_3·b_2_4·b_2_5·b_1_2 + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_7·b_1_2 + b_2_3³·b_1_2
40. b_1_2²·b_5_42 + b_6_59·b_1_2 + b_2_7·b_1_1·b_1_2⁴ + b_2_7²·b_1_2³
       + b_2_5·b_2_7²·b_1_2 + b_2_4·b_5_42 + b_2_4·b_2_7²·b_1_2 + b_2_4³·b_1_2
       + b_2_3·b_1_1⁴·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_5²·b_1_2
       + b_2_3·b_2_4·b_2_7·b_1_2 + b_2_3·b_2_4·b_2_5·b_1_2 + b_2_3·b_2_4²·b_1_2
       + b_2_3²·b_2_7·b_1_2 + b_2_3²·b_2_5·b_1_2 + b_2_3²·b_2_4·b_1_2 + b_2_3³·b_1_2
41. b_6_59·a_1_0
42. b_1_1·b_1_2·b_5_42 + b_6_59·b_1_1 + b_2_7²·b_1_1·b_1_2² + b_2_5·b_1_1·b_1_2⁴
       + b_2_5·b_2_7·b_3_15 + b_2_5·b_2_7²·b_1_1 + b_2_5²·b_1_2³ + b_2_4·b_5_41
       + b_2_4·b_2_7²·b_1_2 + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_4²·b_2_7·b_1_2
       + b_2_4²·b_2_5·b_1_2 + b_2_3·b_2_7·b_3_15 + b_2_3·b_2_7²·b_1_2 + b_2_3·b_2_7²·b_1_1
       + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4·b_2_5·b_1_2
       + b_2_3²·b_3_14 + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_5·b_1_2
43. b_1_2²·b_5_42 + b_1_1·b_1_2·b_5_42 + b_6_60·b_1_2 + b_2_7·b_1_2⁵ + b_2_7²·b_1_2³
       + b_2_7²·b_1_1·b_1_2² + b_2_7³·b_1_1 + b_2_6²·b_2_7·b_1_1 + b_2_5·b_5_42
       + b_2_5·b_1_1·b_1_2⁴ + b_2_5·b_2_7²·b_1_1 + b_2_5·b_2_6·b_3_15 + b_2_5²·b_1_2³
       + b_2_5²·b_1_1·b_1_2² + b_2_5³·b_1_2 + b_2_4·b_5_42 + b_2_4·b_5_41
       + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_4²·b_2_7·b_1_2 + b_2_4²·b_2_5·b_1_2
       + b_2_3·b_2_7·b_3_15 + b_2_3·b_2_7²·b_1_2 + b_2_3·b_2_7²·b_1_1
       + b_2_3·b_2_5·b_1_1²·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_1
       + b_2_3·b_2_5²·b_1_2 + b_2_3·b_2_4·b_2_5·b_1_2 + b_2_3·b_2_4²·b_1_2
       + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_4·b_1_2 + b_2_3³·b_1_2
44. b_6_60·a_1_0
45. b_1_1·b_1_2·b_5_42 + b_1_1²·b_5_42 + b_6_60·b_1_1 + b_2_7·b_1_1·b_1_2⁴
       + b_2_7²·b_1_1·b_1_2² + b_2_5·b_5_41 + b_2_5·b_1_1²·b_1_2³ + b_2_5·b_2_7·b_3_15
       + b_2_5·b_2_7·b_1_2³ + b_2_5·b_2_7·b_1_1·b_1_2² + b_2_5·b_2_7²·b_1_2
       + b_2_5²·b_1_1·b_1_2² + b_2_5²·b_1_1²·b_1_2 + b_2_5²·b_2_7·b_1_1 + b_2_5³·b_1_1
       + b_2_4·b_5_41 + b_2_4²·b_2_7·b_1_2 + b_2_3·b_5_41 + b_2_3·b_2_7²·b_1_2
       + b_2_3·b_2_7²·b_1_1 + b_2_3·b_2_6·b_3_15 + b_2_3·b_2_6·b_2_7·b_1_1
       + b_2_3·b_2_5·b_3_15 + b_2_3·b_2_5·b_1_1³ + b_2_3·b_2_5·b_2_7·b_1_1
       + b_2_3·b_2_5²·b_1_2 + b_2_3·b_2_5²·b_1_1 + b_2_3·b_2_4·b_2_5·b_1_2
       + b_2_3·b_2_4²·b_1_2 + b_2_3²·b_3_15 + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_7·b_1_2
       + b_2_3³·b_1_2
46. b_1_2²·b_5_42 + b_1_1·b_1_2·b_5_42 + b_6_63·b_1_2 + b_2_7·b_1_1·b_1_2⁴
       + b_2_7²·b_1_2³ + b_2_7²·b_1_1·b_1_2² + b_2_7³·b_1_2 + b_2_5·b_1_1·b_1_2⁴
       + b_2_5·b_2_7·b_1_2³ + b_2_5·b_2_7·b_1_1·b_1_2² + b_2_5²·b_1_2³
       + b_2_5²·b_1_1·b_1_2² + b_2_5²·b_2_7·b_1_2 + b_2_5³·b_1_2 + b_2_4·b_5_42
       + b_2_4·b_5_41 + b_2_4·b_2_7²·b_1_2 + b_2_4²·b_2_7·b_1_2 + b_2_3·b_1_1⁴·b_1_2
       + b_2_3·b_2_5²·b_1_2 + b_2_3·b_2_4²·b_1_2 + b_2_3²·b_1_1²·b_1_2
       + b_2_3²·b_2_4·b_1_2
47. b_6_63·a_1_0 + b_2_6²·b_2_7·a_1_0
48. b_1_1·b_1_2·b_5_42 + b_1_1²·b_5_42 + b_6_63·b_1_1 + b_2_7²·b_1_1·b_1_2²
       + b_2_7³·b_1_1 + b_2_5·b_1_1·b_1_2⁴ + b_2_5·b_1_1²·b_1_2³ + b_2_5·b_2_7·b_3_15
       + b_2_5²·b_1_2³ + b_2_5²·b_1_1²·b_1_2 + b_2_5²·b_2_7·b_1_2 + b_2_5²·b_2_7·b_1_1
       + b_2_5³·b_1_2 + b_2_5³·b_1_1 + b_2_4·b_5_41 + b_2_4·b_2_7²·b_1_2
       + b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3·b_5_41 + b_2_3·b_2_6·b_3_15 + b_2_3·b_2_5·b_3_15
       + b_2_3·b_2_5·b_1_1³ + b_2_3·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_1
       + b_2_3·b_2_5²·b_1_2 + b_2_3²·b_3_14 + b_2_3²·b_1_1²·b_1_2 + b_2_3²·b_2_7·b_1_2
       + b_2_3²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_1_1 + b_2_3²·b_2_4·b_1_2
49. b_3_14·b_5_39 + b_2_7³·b_1_2² + b_2_5·b_2_7·b_1_1·b_1_2³ + b_2_5·b_2_7²·b_1_2²
       + b_2_5·b_2_6·b_2_7² + b_2_5·b_2_6²·b_2_7 + b_2_5²·b_1_1·b_1_2³
       + b_2_5²·b_2_7·b_1_2² + b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_5²·b_2_7²
       + b_2_5³·b_1_2² + b_2_4·b_2_5·b_2_7² + b_2_4²·b_2_7² + b_2_4³·b_2_7
       + b_2_4³·b_2_5 + b_2_4⁴ + b_2_3·b_2_6·b_2_7² + b_2_3·b_2_6²·b_2_7
       + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_4·b_2_5·b_2_7
       + b_2_3·b_2_4²·b_2_7 + b_2_3·b_2_4²·b_2_5 + b_2_3²·b_2_7·b_1_1·b_1_2
       + b_2_3²·b_2_7² + b_2_3²·b_2_6·b_2_7 + b_2_3²·b_2_5·b_1_1·b_1_2
       + b_2_3²·b_2_4·b_2_5
50. b_2_5·b_2_6·b_2_7² + b_2_5·b_2_6²·b_2_7 + b_2_4·b_2_5·b_2_7²
       + b_2_4²·b_2_5·b_2_7 + b_2_3·b_1_1·b_5_42 + b_2_3·b_6_59 + b_2_3·b_2_5·b_1_1³·b_1_2
       + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_6·b_2_7 + b_2_3·b_2_5²·b_1_1·b_1_2
       + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_4·b_2_5·b_2_7 + b_2_3·b_2_4²·b_2_7 + b_2_3·b_2_4³
       + b_2_3²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_7² + b_2_3²·b_2_5·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7 + b_2_3²·b_2_5·b_2_6 + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_7
       + b_2_3³·b_2_7 + b_2_3³·b_2_4
51. b_3_14·b_5_42 + b_2_7·b_1_2·b_5_42 + b_2_7·b_1_1·b_5_42 + b_2_5·b_1_2·b_5_42
       + b_2_5·b_6_59 + b_2_5·b_2_7·b_1_1·b_1_2³ + b_2_5·b_2_7²·b_1_2² + b_2_5²·b_2_7²
       + b_2_4·b_2_5·b_2_7² + b_2_4³·b_2_5 + b_2_3·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5²·b_1_1·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7
       + b_2_3·b_2_4²·b_2_7 + b_2_3·b_2_4³ + b_2_3²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_7²
       + b_2_3²·b_2_4·b_2_7 + b_2_3²·b_2_4·b_2_5 + b_2_3³·b_2_7
52. b_2_4·b_6_59 + b_2_4·b_2_5·b_2_7² + b_2_4⁴ + b_2_3·b_1_2·b_5_42
       + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5²·b_1_1·b_1_2
       + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4·b_2_5·b_2_7 + b_2_3·b_2_4²·b_2_5
       + b_2_3²·b_2_4·b_2_7 + b_2_3²·b_2_4²
53. b_3_15·b_5_42 + b_3_14·b_5_42 + b_2_7·b_1_1·b_5_42 + b_2_7·b_6_59
       + b_2_7²·b_1_1·b_1_2³ + b_2_7³·b_1_2² + b_2_6·b_2_7³ + b_2_6²·b_2_7²
       + b_2_5·b_2_7³ + b_2_4·b_1_2·b_5_42 + b_2_4²·b_2_7² + b_2_4³·b_2_7
       + b_2_3·b_1_2·b_5_42 + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_7³
       + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_7²
       + b_2_3·b_2_5²·b_1_1·b_1_2 + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4·b_2_5·b_2_7
       + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_7² + b_2_3²·b_2_5·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7 + b_2_3²·b_2_4² + b_2_3³·b_1_1·b_1_2
54. b_3_15·b_5_39 + b_2_6·b_6_59 + b_2_6²·b_2_7² + b_2_6³·b_2_7 + b_2_4·b_2_7³
       + b_2_4²·b_2_5·b_2_7 + b_2_4³·b_2_7 + b_2_4³·b_2_5 + b_2_3·b_1_2·b_5_42
       + b_2_3·b_1_1·b_5_42 + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_7³ + b_2_3·b_2_6²·b_2_7
       + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_5·b_2_6·b_2_7
       + b_2_3·b_2_5·b_2_6² + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_4³ + b_2_3²·b_2_6·b_2_7
       + b_2_3²·b_2_5·b_2_7 + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_5 + b_2_3²·b_2_4²
       + b_2_3³·b_1_1·b_1_2
55. b_3_14·b_5_41 + b_2_7·b_1_1·b_5_42 + b_2_7·b_1_1·b_5_41 + b_2_7²·b_1_2⁴
       + b_2_7³·b_1_2² + b_2_7³·b_1_1·b_1_2 + b_2_6·b_1_1·b_5_41 + b_2_5·b_2_7²·b_1_2²
       + b_2_5·b_2_7³ + b_2_5·b_2_6³ + b_2_5²·b_2_7² + b_2_4²·b_2_7²
       + b_2_4²·b_2_5·b_2_7 + b_2_4³·b_2_7 + b_2_4⁴ + b_2_3·b_6_60 + b_2_3·b_2_6·b_2_7²
       + b_2_3·b_2_6²·b_2_7 + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_6²
       + b_2_3·b_2_5²·b_1_1·b_1_2 + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_5³
       + b_2_3·b_2_4·b_2_5·b_2_7 + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_7²
       + b_2_3²·b_2_6·b_2_7 + b_2_3²·b_2_5·b_1_1² + b_2_3³·b_1_1·b_1_2
56. b_3_14·b_5_42 + b_3_14·b_5_41 + b_2_7·b_1_2·b_5_42 + b_2_7²·b_1_2⁴
       + b_2_7²·b_1_1·b_1_2³ + b_2_7³·b_1_2² + b_2_5·b_1_2·b_5_42 + b_2_5·b_6_60
       + b_2_5·b_2_7·b_1_2⁴ + b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_5·b_2_7³
       + b_2_5·b_2_6²·b_2_7 + b_2_5²·b_1_1·b_1_2³ + b_2_5³·b_1_2² + b_2_5³·b_1_1·b_1_2
       + b_2_5⁴ + b_2_4·b_1_2·b_5_42 + b_2_4·b_2_5·b_2_7² + b_2_4²·b_2_7²
       + b_2_4²·b_2_5·b_2_7 + b_2_4³·b_2_7 + b_2_4³·b_2_5 + b_2_3·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_6·b_2_7² + b_2_3·b_2_6²·b_2_7 + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_5·b_2_6·b_2_7 + b_2_3·b_2_5²·b_1_1·b_1_2
       + b_2_3·b_2_5²·b_1_1² + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_4²·b_2_7
       + b_2_3·b_2_4²·b_2_5 + b_2_3²·b_2_7² + b_2_3²·b_2_6·b_2_7 + b_2_3²·b_2_5·b_2_7
57. b_3_14·b_5_42 + b_2_7·b_1_2·b_5_42 + b_2_7·b_1_1·b_5_42 + b_2_4·b_6_60
       + b_2_4·b_2_5·b_2_7² + b_2_4⁴ + b_2_3·b_1_2·b_5_42 + b_2_3·b_1_1·b_5_42
       + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_7³ + b_2_3·b_2_6·b_2_7²
       + b_2_3·b_2_5·b_2_6·b_2_7 + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_4·b_2_5·b_2_7
       + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_7² + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_5
       + b_2_3²·b_2_4² + b_2_3³·b_2_4
58. b_2_6·b_1_1·b_5_41 + b_2_5·b_2_6·b_2_7² + b_2_5·b_2_6³ + b_2_4·b_2_5·b_2_7²
       + b_2_4³·b_2_5 + b_2_3·b_6_63 + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_7³
       + b_2_3·b_2_6·b_2_7² + b_2_3·b_2_6²·b_2_7 + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_5²·b_1_1·b_1_2 + b_2_3·b_2_5³
       + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4·b_2_5·b_2_7 + b_2_3·b_2_4²·b_2_7
       + b_2_3·b_2_4²·b_2_5 + b_2_3·b_2_4³ + b_2_3²·b_2_6·b_2_7
       + b_2_3²·b_2_5·b_1_1·b_1_2 + b_2_3²·b_2_5·b_1_1² + b_2_3²·b_2_5·b_2_6
       + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_7 + b_2_3²·b_2_4² + b_2_3³·b_2_5
59. b_3_14·b_5_42 + b_3_14·b_5_41 + b_2_7·b_1_2·b_5_42 + b_2_7·b_1_1·b_5_41
       + b_2_7²·b_1_2⁴ + b_2_7³·b_1_2² + b_2_7³·b_1_1·b_1_2 + b_2_5·b_1_2·b_5_42
       + b_2_5·b_1_1·b_5_42 + b_2_5·b_6_63 + b_2_5·b_2_7·b_1_1·b_1_2³
       + b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_5·b_2_6²·b_2_7 + b_2_5²·b_1_1·b_1_2³
       + b_2_5²·b_2_7·b_1_2² + b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_5²·b_2_7²
       + b_2_5³·b_1_2² + b_2_5³·b_1_1·b_1_2 + b_2_5³·b_2_7 + b_2_5⁴ + b_2_4²·b_2_5·b_2_7
       + b_2_4³·b_2_7 + b_2_3·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_6·b_2_7²
       + b_2_3·b_2_6²·b_2_7 + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5·b_2_6·b_2_7
       + b_2_3·b_2_5²·b_1_1² + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4·b_2_5·b_2_7
       + b_2_3·b_2_4²·b_2_7 + b_2_3²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_5·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7 + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_7 + b_2_3³·b_2_7
60. b_2_4·b_6_63 + b_2_4·b_2_7³ + b_2_4·b_2_5·b_2_7² + b_2_4²·b_2_7²
       + b_2_4²·b_2_5·b_2_7 + b_2_3·b_1_2·b_5_42 + b_2_3·b_1_1·b_5_42
       + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_5·b_2_6·b_2_7
       + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4³
       + b_2_3²·b_2_5·b_1_1·b_1_2 + b_2_3²·b_2_5·b_2_7 + b_2_3²·b_2_5²
       + b_2_3²·b_2_4·b_2_5 + b_2_3²·b_2_4²
61. b_3_15·b_5_42 + b_3_15·b_5_41 + b_3_15·b_5_39 + b_2_7·b_1_2·b_5_42 + b_2_7·b_1_1·b_5_42
       + b_2_7·b_6_63 + b_2_7²·b_1_1·b_1_2³ + b_2_7³·b_1_2² + b_2_7³·b_1_1·b_1_2
       + b_2_7⁴ + b_2_6·b_6_63 + b_2_6·b_6_60 + b_2_6·b_2_7³ + b_2_6²·b_2_7²
       + b_2_6³·b_2_7 + b_2_5·b_2_7·b_1_1·b_1_2³ + b_2_5·b_2_7²·b_1_2²
       + b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_5·b_2_6³ + b_2_5²·b_2_7·b_1_2²
       + b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_5²·b_2_7² + b_2_5³·b_2_7 + b_2_4·b_1_2·b_5_42
       + b_2_4·b_2_5·b_2_7² + b_2_4³·b_2_7 + b_2_3·b_1_1·b_5_42 + b_2_3·b_2_6²·b_2_7
       + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5·b_2_6·b_2_7 + b_2_3·b_2_5·b_2_6²
       + b_2_3·b_2_5²·b_2_7 + b_2_3·b_2_5³ + b_2_3·b_2_4·b_2_7² + b_2_3·b_2_4²·b_2_7
       + b_2_3·b_2_4³ + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_7² + b_2_3²·b_2_5·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_6 + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_5 + b_2_3²·b_2_4²
       + b_2_3³·b_1_1·b_1_2 + b_2_3³·b_2_7
62. b_3_14·b_5_42 + b_1_2·b_7_90 + b_6_59·b_1_2² + b_2_7·b_1_1·b_5_42
       + b_2_7·b_1_1·b_1_2⁵ + b_2_7²·b_1_1·b_1_2³ + b_2_7³·b_1_2² + b_2_5·b_1_1·b_5_42
       + b_2_5·b_1_1²·b_1_2⁴ + b_2_5²·b_1_1·b_1_2³ + b_2_5²·b_2_7²
       + b_2_5³·b_1_1·b_1_2 + b_2_5³·b_2_7 + b_2_4·b_1_2·b_5_42 + b_2_4²·b_2_5·b_2_7
       + b_2_4³·b_2_7 + b_2_3·b_1_1⁵·b_1_2 + b_2_3·b_2_7³ + b_2_3·b_2_6·b_2_7²
       + b_2_3·b_2_5·b_2_7² + b_2_3·b_2_5²·b_1_1·b_1_2 + b_2_3·b_2_5²·b_2_7
       + b_2_3·b_2_5³ + b_2_3·b_2_4·b_2_5·b_2_7 + b_2_3·b_2_4²·b_2_7
       + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_5·b_1_1·b_1_2 + b_2_3²·b_2_5·b_2_7
       + b_2_3²·b_2_4·b_2_7 + b_2_3²·b_2_4·b_2_5 + b_2_3³·b_1_1·b_1_2 + b_2_3³·b_2_4
63. a_1_0·b_7_90 + b_2_6·b_2_7·a_1_0·b_3_15 + b_2_6²·a_1_0·b_3_15
64. b_3_14·b_5_41 + b_1_1·b_7_90 + b_6_59·b_1_1·b_1_2 + b_2_7·b_1_1·b_5_41
       + b_2_7²·b_1_2⁴ + b_2_7³·b_1_2² + b_2_5·b_1_1·b_5_41 + b_2_5·b_1_1·b_1_2⁵
       + b_2_5·b_1_1³·b_1_2³ + b_2_5·b_2_7²·b_1_2² + b_2_5·b_2_7²·b_1_1·b_1_2
       + b_2_5·b_2_7³ + b_2_5·b_2_6³ + b_2_5²·b_1_2⁴ + b_2_5²·b_1_1²·b_1_2²
       + b_2_5²·b_2_7·b_1_2² + b_2_5²·b_2_7² + b_2_5³·b_1_1² + b_2_5³·b_2_7
       + b_2_4²·b_2_7² + b_2_3·b_1_2·b_5_42 + b_2_3·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5·b_1_1³·b_1_2 + b_2_3·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_6·b_2_7
       + b_2_3²·b_1_1³·b_1_2 + b_2_3²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_6·b_2_7
       + b_2_3²·b_2_5·b_1_1·b_1_2 + b_2_3²·b_2_5·b_1_1² + b_2_3²·b_2_5·b_2_7
       + b_2_3²·b_2_5·b_2_6 + b_2_3²·b_2_5² + b_2_3²·b_2_4·b_2_7 + b_2_3²·b_2_4·b_2_5
       + b_2_3²·b_2_4² + b_2_3³·b_1_1·b_1_2 + b_2_3³·b_2_7 + b_2_3³·b_2_5
65. b_6_59·b_3_14 + b_2_7·b_6_59·b_1_2 + b_2_7·b_6_59·b_1_1 + b_2_4²·b_2_7²·b_1_2
       + b_2_4³·b_2_5·b_1_2 + b_2_3·b_2_7²·b_3_15 + b_2_3·b_2_7³·b_1_2 + b_2_3·b_2_6·b_5_42
       + b_2_3·b_2_6·b_2_7·b_3_15 + b_2_3·b_2_5·b_5_42 + b_2_3·b_2_5·b_2_7²·b_1_2
       + b_2_3·b_2_5·b_2_7²·b_1_1 + b_2_3·b_2_5²·b_1_1²·b_1_2 + b_2_3·b_2_5³·b_1_2
       + b_2_3·b_2_4·b_5_42 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4³·b_1_2
       + b_2_3²·b_5_42 + b_2_3²·b_2_7²·b_1_2 + b_2_3²·b_2_5·b_2_7·b_1_1
       + b_2_3²·b_2_4²·b_1_2 + b_2_3³·b_2_7·b_1_1
66. b_6_59·b_3_15 + b_2_6·b_2_7·b_5_42 + b_2_6·b_2_7²·b_3_15 + b_2_6²·b_5_42
       + b_2_6²·b_2_7·b_3_15 + b_2_4·b_2_7·b_5_42 + b_2_4·b_2_7·b_5_41 + b_2_4²·b_5_42
       + b_2_4²·b_2_7²·b_1_2 + b_2_4³·b_2_7·b_1_2 + b_2_4³·b_2_5·b_1_2 + b_2_4⁴·b_1_2
       + b_2_3·b_2_7·b_5_42 + b_2_3·b_2_7²·b_3_15 + b_2_3·b_2_7³·b_1_2
       + b_2_3·b_2_6·b_2_7·b_3_15 + b_2_3·b_2_5·b_5_42 + b_2_3·b_2_5·b_2_7²·b_1_2
       + b_2_3·b_2_5·b_2_7²·b_1_1 + b_2_3·b_2_5²·b_1_1²·b_1_2 + b_2_3·b_2_5³·b_1_2
       + b_2_3·b_2_4·b_5_42 + b_2_3·b_2_4·b_2_7²·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4²·b_2_7·b_1_2 + b_2_3·b_2_4²·b_2_5·b_1_2 + b_2_3²·b_5_42
       + b_2_3²·b_2_7·b_3_15 + b_2_3²·b_2_7²·b_1_1 + b_2_3²·b_2_6·b_2_7·b_1_1
       + b_2_3²·b_2_5·b_3_15 + b_2_3²·b_2_5·b_2_7·b_1_1 + b_2_3³·b_1_1²·b_1_2
       + b_2_3³·b_2_7·b_1_1 + b_2_3³·b_2_5·b_1_2 + b_2_3⁴·b_1_2
67. b_6_60·b_3_14 + b_2_7·b_6_59·b_1_2 + b_2_7²·b_1_2⁵ + b_2_7⁴·b_1_1
       + b_2_6³·b_2_7·b_1_1 + b_2_5·b_6_59·b_1_1 + b_2_5·b_2_7·b_5_42 + b_2_5·b_2_7·b_5_41
       + b_2_5·b_2_7·b_1_1·b_1_2⁴ + b_2_5·b_2_7²·b_1_2³ + b_2_5·b_2_7³·b_1_1
       + b_2_5·b_2_6·b_5_41 + b_2_5²·b_5_42 + b_2_5²·b_2_7·b_1_2³ + b_2_5³·b_1_1·b_1_2²
       + b_2_5³·b_2_7·b_1_2 + b_2_5³·b_2_7·b_1_1 + b_2_5⁴·b_1_2 + b_2_4·b_2_7·b_5_41
       + b_2_4²·b_2_7²·b_1_2 + b_2_4²·b_2_5·b_2_7·b_1_2 + b_2_4³·b_2_7·b_1_2
       + b_2_3·b_6_59·b_1_1 + b_2_3·b_2_7·b_5_42 + b_2_3·b_2_7²·b_3_15 + b_2_3·b_2_7³·b_1_1
       + b_2_3·b_2_6·b_5_42 + b_2_3·b_2_6·b_2_7·b_3_15 + b_2_3·b_2_5·b_1_1⁴·b_1_2
       + b_2_3·b_2_5·b_2_7²·b_1_2 + b_2_3·b_2_5²·b_2_7·b_1_2 + b_2_3·b_2_5³·b_1_2
       + b_2_3·b_2_5³·b_1_1 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4²·b_2_5·b_1_2
       + b_2_3·b_2_4³·b_1_2 + b_2_3²·b_5_39 + b_2_3²·b_1_1⁴·b_1_2 + b_2_3²·b_2_7·b_3_15
       + b_2_3²·b_2_7²·b_1_2 + b_2_3²·b_2_7²·b_1_1 + b_2_3²·b_2_6·b_3_15
       + b_2_3²·b_2_6·b_2_7·b_1_1 + b_2_3²·b_2_5·b_1_1²·b_1_2 + b_2_3²·b_2_5·b_2_7·b_1_1
       + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_5²·b_1_1 + b_2_3²·b_2_4·b_2_5·b_1_2
       + b_2_3³·b_3_15 + b_2_3³·b_3_14 + b_2_3³·b_2_7·b_1_1 + b_2_3³·b_2_5·b_1_2
       + b_2_3⁴·b_1_2
68. b_6_63·b_3_14 + b_2_7·b_6_59·b_1_2 + b_2_7⁴·b_1_2 + b_2_7⁴·b_1_1 + b_2_6³·b_2_7·b_1_1
       + b_2_5·b_6_59·b_1_1 + b_2_5·b_2_7²·b_1_2³ + b_2_5·b_2_7³·b_1_2
       + b_2_5·b_2_6·b_5_41 + b_2_5²·b_5_42 + b_2_5²·b_2_7·b_1_1·b_1_2²
       + b_2_5³·b_1_1·b_1_2² + b_2_5³·b_2_7·b_1_1 + b_2_5⁴·b_1_2 + b_2_4·b_2_7³·b_1_2
       + b_2_4²·b_5_42 + b_2_4³·b_2_5·b_1_2 + b_2_3·b_6_59·b_1_1 + b_2_3·b_2_7·b_5_41
       + b_2_3·b_2_7³·b_1_1 + b_2_3·b_2_6·b_5_42 + b_2_3·b_2_6·b_2_7·b_3_15
       + b_2_3·b_2_6²·b_2_7·b_1_1 + b_2_3·b_2_5·b_5_42 + b_2_3·b_2_5²·b_2_7·b_1_1
       + b_2_3·b_2_5³·b_1_1 + b_2_3·b_2_4·b_2_7²·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4³·b_1_2 + b_2_3²·b_5_39 + b_2_3²·b_2_7²·b_1_2 + b_2_3²·b_2_7²·b_1_1
       + b_2_3²·b_2_6·b_3_15 + b_2_3²·b_2_6·b_2_7·b_1_1 + b_2_3²·b_2_5·b_3_15
       + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_5²·b_1_1 + b_2_3²·b_2_4·b_2_7·b_1_2
       + b_2_3³·b_3_15 + b_2_3³·b_3_14 + b_2_3³·b_1_1²·b_1_2 + b_2_3³·b_2_7·b_1_2
       + b_2_3³·b_2_4·b_1_2 + b_2_3⁴·b_1_2
69. b_2_5·b_2_6·b_5_41 + b_2_4²·b_5_41 + b_2_3·b_7_90 + b_2_3·b_6_59·b_1_1
       + b_2_3·b_2_7·b_5_42 + b_2_3·b_2_7³·b_1_2 + b_2_3·b_2_6·b_5_42 + b_2_3·b_2_6·b_5_39
       + b_2_3·b_2_5·b_5_41 + b_2_3·b_2_5³·b_1_1 + b_2_3·b_2_4·b_5_42
       + b_2_3·b_2_4·b_2_7²·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3²·b_5_39
       + b_2_3²·b_2_7²·b_1_2 + b_2_3²·b_2_7²·b_1_1 + b_2_3²·b_2_5·b_3_15
       + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_4·b_2_7·b_1_2 + b_2_3³·b_2_5·b_1_1
       + b_2_3⁴·b_1_2
70. b_2_5·b_7_90 + b_2_5·b_6_59·b_1_2 + b_2_5·b_2_7·b_5_42 + b_2_5·b_2_7·b_1_1·b_1_2⁴
       + b_2_5·b_2_7²·b_1_1·b_1_2² + b_2_5·b_2_7³·b_1_2 + b_2_5²·b_5_41
       + b_2_5²·b_1_1²·b_1_2³ + b_2_5²·b_2_7·b_1_2³ + b_2_5²·b_2_7²·b_1_2
       + b_2_5²·b_2_7²·b_1_1 + b_2_5³·b_1_1·b_1_2² + b_2_5³·b_2_7·b_1_2 + b_2_5⁴·b_1_1
       + b_2_4·b_2_5·b_5_42 + b_2_4²·b_5_42 + b_2_4³·b_2_7·b_1_2 + b_2_4³·b_2_5·b_1_2
       + b_2_4⁴·b_1_2 + b_2_3·b_2_7·b_5_41 + b_2_3·b_2_7²·b_3_15 + b_2_3·b_2_6·b_5_42
       + b_2_3·b_2_6·b_5_39 + b_2_3·b_2_6²·b_3_15 + b_2_3·b_2_5·b_5_42
       + b_2_3·b_2_5·b_1_1⁴·b_1_2 + b_2_3·b_2_5·b_2_7²·b_1_2 + b_2_3·b_2_5²·b_1_1²·b_1_2
       + b_2_3·b_2_5²·b_2_7·b_1_2 + b_2_3·b_2_4·b_5_42 + b_2_3·b_2_4·b_5_41
       + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4²·b_2_7·b_1_2 + b_2_3²·b_2_6·b_3_15
       + b_2_3²·b_2_6·b_2_7·b_1_1 + b_2_3²·b_2_5·b_3_15 + b_2_3²·b_2_5·b_1_1²·b_1_2
       + b_2_3²·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_5²·b_1_1
       + b_2_3²·b_2_4·b_2_7·b_1_2 + b_2_3²·b_2_4·b_2_5·b_1_2 + b_2_3²·b_2_4²·b_1_2
       + b_2_3³·b_2_7·b_1_2 + b_2_3³·b_2_7·b_1_1 + b_2_3⁴·b_1_2
71. b_2_4·b_7_90 + b_2_4·b_2_7·b_5_42 + b_2_4·b_2_7³·b_1_2 + b_2_4·b_2_5·b_5_42
       + b_2_4²·b_5_42 + b_2_4²·b_5_41 + b_2_4³·b_2_7·b_1_2 + b_2_4³·b_2_5·b_1_2
       + b_2_3·b_6_59·b_1_1 + b_2_3·b_2_7³·b_1_2 + b_2_3·b_2_5·b_2_7²·b_1_2
       + b_2_3·b_2_5·b_2_7²·b_1_1 + b_2_3·b_2_5²·b_1_1²·b_1_2
       + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3²·b_5_42 + b_2_3²·b_2_7²·b_1_2
       + b_2_3²·b_2_6·b_2_7·b_1_1 + b_2_3²·b_2_5·b_3_15 + b_2_3²·b_2_5·b_1_1²·b_1_2
       + b_2_3²·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_4·b_2_7·b_1_2
       + b_2_3²·b_2_4²·b_1_2 + b_2_3³·b_3_14 + b_2_3³·b_2_7·b_1_1 + b_2_3⁴·b_1_2
72. b_6_63·b_3_15 + b_6_60·b_3_15 + b_2_7·b_7_90 + b_2_7·b_6_59·b_1_2 + b_2_7²·b_5_42
       + b_2_7²·b_1_1·b_1_2⁴ + b_2_7³·b_3_15 + b_2_7³·b_1_1·b_1_2² + b_2_7⁴·b_1_2
       + b_2_6·b_2_7·b_5_42 + b_2_6·b_2_7·b_5_41 + b_2_6²·b_5_42 + b_2_6³·b_2_7·b_1_1
       + b_2_5·b_2_7·b_5_41 + b_2_5·b_2_7²·b_1_2³ + b_2_5·b_2_7³·b_1_2
       + b_2_5·b_2_7³·b_1_1 + b_2_5²·b_1_1·b_1_2⁴ + b_2_5²·b_2_7·b_1_1·b_1_2²
       + b_2_5²·b_2_7²·b_1_2 + b_2_5³·b_1_2³ + b_2_5³·b_2_7·b_1_1 + b_2_4·b_2_7·b_5_41
       + b_2_4·b_2_7³·b_1_2 + b_2_4·b_2_5·b_5_42 + b_2_4²·b_5_41 + b_2_4³·b_2_7·b_1_2
       + b_2_4³·b_2_5·b_1_2 + b_2_3·b_2_7·b_5_42 + b_2_3·b_2_5·b_2_7²·b_1_2
       + b_2_3·b_2_5²·b_2_7·b_1_2 + b_2_3·b_2_5³·b_1_2 + b_2_3·b_2_4·b_5_42
       + b_2_3·b_2_4·b_5_41 + b_2_3·b_2_4·b_2_7²·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4²·b_2_7·b_1_2 + b_2_3·b_2_4²·b_2_5·b_1_2 + b_2_3²·b_1_1⁴·b_1_2
       + b_2_3²·b_2_7²·b_1_1 + b_2_3²·b_2_5·b_3_15 + b_2_3²·b_2_5·b_2_7·b_1_2
       + b_2_3²·b_2_5·b_2_7·b_1_1 + b_2_3²·b_2_4·b_2_7·b_1_2 + b_2_3²·b_2_4²·b_1_2
       + b_2_3³·b_2_5·b_1_2 + b_2_3³·b_2_4·b_1_2 + b_2_3⁴·b_1_2
73. b_6_63·b_3_15 + b_2_7³·b_3_15 + b_2_6·b_7_90 + b_2_6·b_2_7·b_5_41 + b_2_6²·b_5_42
       + b_2_6²·b_2_7·b_3_15 + b_2_6³·b_3_15 + b_2_6³·b_2_7·b_1_1 + b_2_5·b_2_6·b_5_41
       + b_2_4·b_2_7·b_5_42 + b_2_4·b_2_7³·b_1_2 + b_2_4·b_2_5·b_5_42 + b_2_4²·b_5_41
       + b_2_4²·b_2_5·b_2_7·b_1_2 + b_2_4³·b_2_7·b_1_2 + b_2_4³·b_2_5·b_1_2
       + b_2_3·b_2_7·b_5_42 + b_2_3·b_2_6·b_5_42 + b_2_3·b_2_6²·b_2_7·b_1_1
       + b_2_3·b_2_5·b_5_42 + b_2_3·b_2_5·b_2_7²·b_1_2 + b_2_3·b_2_4·b_5_42
       + b_2_3·b_2_4·b_5_41 + b_2_3·b_2_4·b_2_7²·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4²·b_2_5·b_1_2 + b_2_3²·b_5_39 + b_2_3²·b_2_7²·b_1_2
       + b_2_3²·b_2_7²·b_1_1 + b_2_3²·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_5·b_2_7·b_1_1
       + b_2_3²·b_2_5²·b_1_2 + b_2_3²·b_2_4·b_2_5·b_1_2 + b_2_3³·b_3_14
       + b_2_3³·b_2_7·b_1_2 + b_2_6³·b_2_7·a_1_0
74. b_5_39·b_5_42 + b_5_39² + b_2_7²·b_1_2·b_5_42 + b_2_7²·b_1_1·b_5_42
       + b_2_7⁴·b_1_2² + b_2_6·b_2_7⁴ + b_2_6²·b_2_7³ + b_2_6³·b_2_7² + b_2_6⁴·b_2_7
       + b_2_5·b_6_59·b_1_1·b_1_2 + b_2_5·b_2_7·b_6_59 + b_2_5·b_2_7³·b_1_2²
       + b_2_5·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_1_1·b_1_2⁵ + b_2_5²·b_1_1²·b_1_2⁴
       + b_2_5²·b_6_59 + b_2_5²·b_2_7·b_1_1·b_1_2³ + b_2_5²·b_2_7²·b_1_1·b_1_2
       + b_2_5³·b_1_2⁴ + b_2_5³·b_2_7² + b_2_5⁴·b_1_2² + b_2_4·b_2_7⁴
       + b_2_4·b_2_5·b_2_7³ + b_2_4²·b_6_60 + b_2_4²·b_2_5·b_2_7² + b_2_4³·b_2_7²
       + b_2_4³·b_2_5·b_2_7 + b_2_4⁴·b_2_7 + b_2_4⁴·b_2_5 + b_2_3·b_2_7⁴
       + b_2_3·b_2_6·b_2_7³ + b_2_3·b_2_5·b_2_6²·b_2_7 + b_2_3·b_2_5²·b_2_7²
       + b_2_3·b_2_5³·b_1_1·b_1_2 + b_2_3·b_2_4·b_2_7³ + b_2_3·b_2_4²·b_2_7²
       + b_2_3·b_2_4³·b_2_7 + b_2_3·b_2_4³·b_2_5 + b_2_3²·b_2_7³ + b_2_3²·b_2_6²·b_2_7
       + b_2_3²·b_2_5·b_1_1³·b_1_2 + b_2_3²·b_2_5·b_2_7² + b_2_3²·b_2_5·b_2_6·b_2_7
       + b_2_3²·b_2_5²·b_1_1·b_1_2 + b_2_3²·b_2_5²·b_2_7 + b_2_3²·b_2_4·b_2_7²
       + b_2_3²·b_2_4·b_2_5·b_2_7 + b_2_3²·b_2_4²·b_2_5 + b_2_3²·b_2_4³
       + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_7
       + b_2_3³·b_2_4·b_2_5 + b_2_3³·b_2_4² + b_2_3⁴·b_2_4 + b_2_6³·a_1_0·b_3_15
75. b_5_39² + b_2_7⁴·b_1_2² + b_2_6²·b_2_7³ + b_2_6⁴·b_2_7
       + b_2_5·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_1_1²·b_1_2⁴ + b_2_5²·b_2_7²·b_1_2²
       + b_2_5²·b_2_7³ + b_2_5⁴·b_1_2² + b_2_4³·b_2_7² + b_2_4⁴·b_2_7
       + b_2_3·b_2_5·b_6_63 + b_2_3·b_2_5·b_2_7³ + b_2_3·b_2_5²·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5²·b_2_7² + b_2_3·b_2_5³·b_1_1·b_1_2 + b_2_3·b_2_5⁴
       + b_2_3·b_2_4·b_2_7³ + b_2_3·b_2_4³·b_2_7 + b_2_3·b_2_4³·b_2_5
       + b_2_3²·b_1_1·b_5_42 + b_2_3²·b_6_63 + b_2_3²·b_6_60 + b_2_3²·b_6_59
       + b_2_3²·b_2_6·b_2_7² + b_2_3²·b_2_5·b_1_1³·b_1_2 + b_2_3²·b_2_5·b_2_6²
       + b_2_3²·b_2_5²·b_1_1² + b_2_3²·b_2_5²·b_2_7 + b_2_3²·b_2_5³
       + b_2_3²·b_2_4·b_2_7² + b_2_3²·b_2_4·b_2_5·b_2_7 + b_2_3²·b_2_4²·b_2_7
       + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_5·b_2_7 + b_2_3³·b_2_5² + b_2_3³·b_2_4·b_2_7
       + b_2_3³·b_2_4² + b_2_3⁴·b_2_5 + b_2_6²·b_2_7·a_1_0·b_3_15 + b_2_6³·a_1_0·b_3_15
76. b_5_39·b_5_42 + b_5_39·b_5_41 + b_5_39² + b_2_7²·b_1_2·b_5_42 + b_2_7³·b_1_2⁴
       + b_2_7³·b_1_1·b_1_2³ + b_2_6·b_2_7·b_6_63 + b_2_6·b_2_7·b_6_60 + b_2_6²·b_6_63
       + b_2_6²·b_6_60 + b_2_6³·b_2_7² + b_2_6⁴·b_2_7 + b_2_5·b_6_59·b_1_1·b_1_2
       + b_2_5·b_6_59·b_1_1² + b_2_5·b_2_7·b_1_1·b_1_2⁵ + b_2_5·b_2_7·b_6_63
       + b_2_5·b_2_7·b_6_60 + b_2_5·b_2_7·b_6_59 + b_2_5·b_2_7³·b_1_2² + b_2_5·b_2_6⁴
       + b_2_5²·b_1_1·b_1_2⁵ + b_2_5²·b_6_63 + b_2_5²·b_2_7·b_1_2⁴
       + b_2_5²·b_2_7²·b_1_2² + b_2_5²·b_2_7²·b_1_1·b_1_2 + b_2_5³·b_1_2⁴
       + b_2_5³·b_2_7·b_1_1·b_1_2 + b_2_5³·b_2_7² + b_2_5⁴·b_1_1·b_1_2 + b_2_5⁴·b_2_7
       + b_2_5⁵ + b_2_4·b_2_7·b_1_2·b_5_42 + b_2_4·b_2_7·b_6_60 + b_2_4·b_2_7⁴
       + b_2_4·b_2_5·b_2_7³ + b_2_4²·b_2_7³ + b_2_4²·b_2_5·b_2_7² + b_2_4³·b_2_7²
       + b_2_4⁴·b_2_7 + b_2_4⁵ + b_2_3·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_7·b_6_63
       + b_2_3·b_2_6·b_6_63 + b_2_3·b_2_6·b_6_60 + b_2_3·b_2_5·b_6_60 + b_2_3·b_2_5·b_6_59
       + b_2_3·b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_7³
       + b_2_3·b_2_5²·b_1_1³·b_1_2 + b_2_3·b_2_5³·b_1_1² + b_2_3·b_2_5³·b_2_7
       + b_2_3·b_2_4·b_2_7³ + b_2_3·b_2_4·b_2_5·b_2_7² + b_2_3·b_2_4²·b_2_7²
       + b_2_3·b_2_4²·b_2_5·b_2_7 + b_2_3·b_2_4³·b_2_7 + b_2_3·b_2_4³·b_2_5
       + b_2_3²·b_1_1·b_5_42 + b_2_3²·b_6_63 + b_2_3²·b_6_60 + b_2_3²·b_2_7³
       + b_2_3²·b_2_6·b_2_7² + b_2_3²·b_2_5·b_1_1³·b_1_2 + b_2_3²·b_2_5·b_2_6·b_2_7
       + b_2_3²·b_2_5·b_2_6² + b_2_3²·b_2_5²·b_1_1² + b_2_3²·b_2_5²·b_2_7
       + b_2_3²·b_2_5³ + b_2_3²·b_2_4·b_2_7² + b_2_3²·b_2_4²·b_2_5 + b_2_3²·b_2_4³
       + b_2_3³·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_7² + b_2_3³·b_2_5·b_1_1·b_1_2
       + b_2_3³·b_2_5² + b_2_3³·b_2_4·b_2_7 + b_2_3⁴·b_2_5 + b_2_6²·b_2_7·a_1_0·b_3_15
77. b_3_14·b_7_90 + b_2_7·b_6_59·b_1_2² + b_2_7·b_6_59·b_1_1·b_1_2
       + b_2_7²·b_1_2·b_5_42 + b_2_7²·b_1_1·b_5_42 + b_2_7²·b_1_1·b_1_2⁵
       + b_2_7³·b_1_1·b_1_2³ + b_2_7⁴·b_1_2² + b_2_7⁴·b_1_1·b_1_2
       + b_2_5·b_2_7·b_1_1·b_1_2⁵ + b_2_5·b_2_7·b_6_63 + b_2_5·b_2_7·b_6_59
       + b_2_5·b_2_7²·b_1_1·b_1_2³ + b_2_5·b_2_7³·b_1_1·b_1_2 + b_2_5·b_2_7⁴
       + b_2_5²·b_1_1·b_1_2⁵ + b_2_5²·b_1_1²·b_1_2⁴ + b_2_5²·b_6_60 + b_2_5²·b_6_59
       + b_2_5²·b_2_7·b_1_1·b_1_2³ + b_2_5³·b_1_2⁴ + b_2_5³·b_1_1·b_1_2³
       + b_2_5³·b_2_7·b_1_2² + b_2_5³·b_2_7² + b_2_5⁴·b_2_7 + b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_4²·b_1_2·b_5_42 + b_2_4²·b_2_7³ + b_2_4³·b_2_7² + b_2_4³·b_2_5·b_2_7
       + b_2_4⁴·b_2_7 + b_2_3·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_7·b_1_1·b_5_42
       + b_2_3·b_2_7·b_6_63 + b_2_3·b_2_7·b_6_59 + b_2_3·b_2_6³·b_2_7
       + b_2_3·b_2_5·b_1_1⁵·b_1_2 + b_2_3·b_2_5²·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5²·b_2_7² + b_2_3·b_2_5³·b_1_1·b_1_2 + b_2_3·b_2_5³·b_1_1²
       + b_2_3·b_2_4·b_1_2·b_5_42 + b_2_3·b_2_4·b_6_60 + b_2_3²·b_1_2·b_5_42
       + b_2_3²·b_1_1·b_5_42 + b_2_3²·b_1_1⁵·b_1_2 + b_2_3²·b_2_7²·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_4·b_2_7² + b_2_3³·b_2_6·b_2_7
       + b_2_3³·b_2_5·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_7 + b_2_3³·b_2_4·b_2_7 + b_2_3⁴·b_2_7
       + b_2_3⁴·b_2_4
78. b_3_15·b_7_90 + b_2_7²·b_1_2·b_5_42 + b_2_7²·b_6_59 + b_2_7³·b_1_1·b_1_2³
       + b_2_7⁴·b_1_2² + b_2_6·b_2_7·b_6_60 + b_2_6·b_2_7⁴ + b_2_6²·b_2_7³
       + b_2_6³·b_2_7² + b_2_6⁴·b_2_7 + b_2_5·b_2_7⁴ + b_2_5·b_2_6³·b_2_7
       + b_2_4·b_2_7·b_6_60 + b_2_4·b_2_7⁴ + b_2_4²·b_2_7³ + b_2_4³·b_2_7²
       + b_2_4⁴·b_2_7 + b_2_4⁴·b_2_5 + b_2_4⁵ + b_2_3·b_2_7·b_1_2·b_5_42
       + b_2_3·b_2_7·b_6_60 + b_2_3·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5·b_2_7³ + b_2_3·b_2_5·b_2_6²·b_2_7 + b_2_3·b_2_5³·b_1_1·b_1_2
       + b_2_3·b_2_4·b_2_7³ + b_2_3·b_2_4²·b_2_5·b_2_7 + b_2_3²·b_2_6·b_2_7²
       + b_2_3²·b_2_6²·b_2_7 + b_2_3²·b_2_5·b_1_1³·b_1_2 + b_2_3²·b_2_5·b_2_7²
       + b_2_3²·b_2_5·b_2_6·b_2_7 + b_2_3²·b_2_5²·b_2_7 + b_2_3²·b_2_5³
       + b_2_3²·b_2_4·b_2_7² + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_6·b_2_7
       + b_2_3³·b_2_4·b_2_5 + b_2_3⁴·b_2_7 + b_2_3⁴·b_2_4 + b_2_6³·a_1_0·b_3_15
79. b_5_42² + b_6_59·b_1_1³·b_1_2 + b_6_59·b_1_1⁴ + b_2_7·b_1_1·b_1_2⁷
       + b_2_7·b_6_59·b_1_2² + b_2_7²·b_1_2·b_5_42 + b_2_7²·b_1_2⁶
       + b_2_7²·b_1_1·b_1_2⁵ + b_2_7³·b_1_2⁴ + b_2_7³·b_1_1·b_1_2³ + b_2_7⁴·b_1_2²
       + b_2_7⁵ + b_2_6²·b_2_7³ + b_2_5·b_1_2⁸ + b_2_5·b_1_1·b_1_2⁷
       + b_2_5·b_1_1³·b_1_2⁵ + b_2_5·b_6_59·b_1_2² + b_2_5·b_6_59·b_1_1²
       + b_2_5·b_2_7·b_1_1·b_1_2⁵ + b_2_5·b_2_7·b_6_59 + b_2_5·b_2_7²·b_1_2⁴
       + b_2_5·b_2_7³·b_1_2² + b_2_5·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_1_1·b_1_2⁵
       + b_2_5²·b_1_1²·b_1_2⁴ + b_2_5²·b_1_1³·b_1_2³ + b_2_5²·b_6_59
       + b_2_5²·b_2_7²·b_1_2² + b_2_5³·b_1_2⁴ + b_2_5³·b_2_7·b_1_2²
       + b_2_5³·b_2_7² + b_2_5⁴·b_1_1·b_1_2 + b_2_5⁴·b_2_7 + b_2_5⁵ + b_2_4·b_2_7·b_6_60
       + b_2_4²·b_2_5·b_2_7² + b_2_4⁴·b_2_7 + b_2_3·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_7⁴
       + b_2_3·b_2_6·b_2_7³ + b_2_3·b_2_5·b_1_1⁵·b_1_2 + b_2_3·b_2_5·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5·b_2_6²·b_2_7 + b_2_3·b_2_5³·b_1_1·b_1_2 + b_2_3·b_2_5⁴
       + b_2_3·b_2_4·b_6_60 + b_2_3·b_2_4·b_2_7³ + b_2_3·b_2_4·b_2_5·b_2_7²
       + b_2_3·b_2_4²·b_2_7² + b_2_3·b_2_4²·b_2_5·b_2_7 + b_2_3·b_2_4³·b_2_7
       + b_2_3·b_2_4⁴ + b_2_3²·b_1_2·b_5_42 + b_2_3²·b_1_1·b_5_42 + b_2_3²·b_6_59
       + b_2_3²·b_2_7²·b_1_1·b_1_2 + b_2_3²·b_2_7³ + b_2_3²·b_2_5·b_2_7²
       + b_2_3²·b_2_5·b_2_6·b_2_7 + b_2_3²·b_2_5²·b_1_1² + b_2_3²·b_2_5²·b_2_7
       + b_2_3²·b_2_5³ + b_2_3²·b_2_4·b_2_5·b_2_7 + b_2_3²·b_2_4²·b_2_7
       + b_2_3²·b_2_4²·b_2_5 + b_2_3²·b_2_4³ + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_7²
       + b_2_3³·b_2_5·b_1_1² + b_2_3³·b_2_5·b_2_7 + b_2_3³·b_2_5·b_2_6
       + b_2_3³·b_2_4·b_2_7 + b_2_3³·b_2_4·b_2_5 + b_2_3³·b_2_4² + b_2_3⁴·b_1_1·b_1_2
       + b_2_3⁴·b_2_7 + c_8_124·b_1_2²
80. b_5_41·b_5_42 + b_5_39·b_5_42 + b_6_60·b_1_1⁴ + b_2_7·b_6_59·b_1_2²
       + b_2_7·b_6_59·b_1_1·b_1_2 + b_2_7²·b_1_1·b_5_42 + b_2_7²·b_6_63 + b_2_7²·b_6_60
       + b_2_7⁴·b_1_1·b_1_2 + b_2_7⁵ + b_2_6·b_2_7·b_6_63 + b_2_6·b_2_7·b_6_60
       + b_2_6³·b_2_7² + b_2_5·b_1_1²·b_1_2⁶ + b_2_5·b_1_1³·b_5_41
       + b_2_5·b_1_1³·b_1_2⁵ + b_2_5·b_6_60·b_1_1² + b_2_5·b_6_59·b_1_1²
       + b_2_5·b_2_7·b_1_1·b_1_2⁵ + b_2_5·b_2_7·b_6_60 + b_2_5·b_2_7·b_6_59
       + b_2_5·b_2_7²·b_1_2⁴ + b_2_5²·b_1_2⁶ + b_2_5²·b_1_1·b_5_41
       + b_2_5²·b_1_1·b_1_2⁵ + b_2_5²·b_1_1⁴·b_1_2² + b_2_5²·b_1_1⁵·b_1_2
       + b_2_5²·b_6_63 + b_2_5²·b_2_7·b_1_2⁴ + b_2_5²·b_2_7³ + b_2_5³·b_1_2⁴
       + b_2_5³·b_1_1³·b_1_2 + b_2_5³·b_1_1⁴ + b_2_5³·b_2_7·b_1_2² + b_2_5³·b_2_7²
       + b_2_5⁴·b_1_2² + b_2_5⁴·b_1_1² + b_2_5⁴·b_2_7 + b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_4·b_2_7·b_6_60 + b_2_4·b_2_5·b_2_7³ + b_2_4²·b_1_2·b_5_42 + b_2_4²·b_2_7³
       + b_2_4³·b_2_7² + b_2_4⁴·b_2_7 + b_2_4⁴·b_2_5 + b_2_3·b_1_1³·b_5_41
       + b_2_3·b_6_59·b_1_1² + b_2_3·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_7·b_6_59
       + b_2_3·b_2_7⁴ + b_2_3·b_2_6·b_6_59 + b_2_3·b_2_6²·b_2_7²
       + b_2_3·b_2_5·b_1_1·b_5_41 + b_2_3·b_2_5·b_1_1⁵·b_1_2 + b_2_3·b_2_5·b_1_1⁶
       + b_2_3·b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_5·b_2_6²·b_2_7
       + b_2_3·b_2_5²·b_1_1³·b_1_2 + b_2_3·b_2_5²·b_1_1⁴ + b_2_3·b_2_5²·b_2_7²
       + b_2_3·b_2_5³·b_1_1·b_1_2 + b_2_3·b_2_5³·b_1_1² + b_2_3·b_2_5⁴
       + b_2_3·b_2_4³·b_2_5 + b_2_3²·b_1_2·b_5_42 + b_2_3²·b_1_1·b_5_42
       + b_2_3²·b_1_1⁵·b_1_2 + b_2_3²·b_2_7³ + b_2_3²·b_2_5·b_2_7·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7² + b_2_3²·b_2_5·b_2_6² + b_2_3²·b_2_5²·b_1_1·b_1_2
       + b_2_3²·b_2_5²·b_2_7 + b_2_3²·b_2_4·b_2_7² + b_2_3²·b_2_4³
       + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_7
       + b_2_3³·b_2_5·b_2_6 + b_2_3³·b_2_4·b_2_7 + c_8_124·b_1_1·b_1_2
81. b_5_41² + b_5_39·b_5_42 + b_5_39² + b_1_1⁵·b_5_41 + b_6_60·b_1_1⁴ + b_6_59·b_1_1⁴
       + b_2_7²·b_1_2·b_5_42 + b_2_7²·b_1_2⁶ + b_2_7²·b_1_1·b_5_42 + b_2_6·b_2_7⁴
       + b_2_6³·b_2_7² + b_2_5·b_1_1⁵·b_1_2³ + b_2_5·b_1_1⁶·b_1_2²
       + b_2_5·b_6_59·b_1_1² + b_2_5·b_2_7·b_1_1·b_1_2⁵ + b_2_5·b_2_7·b_6_60
       + b_2_5·b_2_7²·b_1_2⁴ + b_2_5·b_2_7³·b_1_2² + b_2_5²·b_1_1·b_5_41
       + b_2_5²·b_1_1·b_1_2⁵ + b_2_5²·b_1_1²·b_1_2⁴ + b_2_5²·b_1_1⁴·b_1_2²
       + b_2_5²·b_1_1⁵·b_1_2 + b_2_5²·b_6_60 + b_2_5²·b_6_59
       + b_2_5²·b_2_7·b_1_1·b_1_2³ + b_2_5²·b_2_7³ + b_2_5³·b_1_1·b_1_2³
       + b_2_5³·b_1_1²·b_1_2² + b_2_5³·b_1_1³·b_1_2 + b_2_5³·b_1_1⁴
       + b_2_5³·b_2_7·b_1_2² + b_2_5³·b_2_7·b_1_1·b_1_2 + b_2_5⁴·b_1_2²
       + b_2_5⁴·b_1_1·b_1_2 + b_2_5⁴·b_1_1² + b_2_5⁴·b_2_7 + b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_4·b_2_5·b_2_7³ + b_2_4²·b_2_5·b_2_7² + b_2_4⁴·b_2_7 + b_2_3·b_1_1⁷·b_1_2
       + b_2_3·b_2_7·b_6_60 + b_2_3·b_2_7·b_6_59 + b_2_3·b_2_7⁴ + b_2_3·b_2_6·b_2_7³
       + b_2_3·b_2_5·b_1_1⁵·b_1_2 + b_2_3·b_2_5·b_2_6²·b_2_7 + b_2_3·b_2_5²·b_1_1⁴
       + b_2_3·b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5³·b_1_1·b_1_2
       + b_2_3·b_2_5³·b_1_1² + b_2_3·b_2_5⁴ + b_2_3·b_2_4·b_1_2·b_5_42
       + b_2_3·b_2_4·b_6_60 + b_2_3·b_2_4·b_2_5·b_2_7² + b_2_3·b_2_4²·b_2_7²
       + b_2_3·b_2_4³·b_2_7 + b_2_3·b_2_4³·b_2_5 + b_2_3·b_2_4⁴ + b_2_3²·b_1_1·b_5_41
       + b_2_3²·b_1_1⁵·b_1_2 + b_2_3²·b_2_6²·b_2_7 + b_2_3²·b_2_5·b_1_1⁴
       + b_2_3²·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_5·b_2_6·b_2_7
       + b_2_3²·b_2_5·b_2_6² + b_2_3²·b_2_5²·b_1_1² + b_2_3²·b_2_4·b_2_7²
       + b_2_3²·b_2_4³ + b_2_3³·b_1_1³·b_1_2 + b_2_3³·b_2_7² + b_2_3³·b_2_6·b_2_7
       + b_2_3³·b_2_5·b_1_1·b_1_2 + b_2_3³·b_2_4·b_2_5 + b_2_3³·b_2_4²
       + b_2_3⁴·b_1_1·b_1_2 + c_8_124·b_1_1²
82. b_6_59·b_5_39 + b_2_7²·b_6_59·b_1_2 + b_2_7²·b_6_59·b_1_1 + b_2_6·b_2_7³·b_3_15
       + b_2_6²·b_2_7·b_5_42 + b_2_6³·b_5_42 + b_2_6³·b_2_7·b_3_15
       + b_2_5·b_6_59·b_1_1·b_1_2² + b_2_5·b_2_7·b_6_59·b_1_2 + b_2_5²·b_6_59·b_1_2
       + b_2_4·b_2_7⁴·b_1_2 + b_2_4²·b_2_7·b_5_42 + b_2_4²·b_2_7·b_5_41
       + b_2_4²·b_2_7³·b_1_2 + b_2_4³·b_5_42 + b_2_4³·b_5_41 + b_2_4³·b_2_7²·b_1_2
       + b_2_4³·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_2
       + b_2_3·b_2_7⁴·b_1_1 + b_2_3·b_2_6·b_2_7·b_5_42 + b_2_3·b_2_6·b_2_7²·b_3_15
       + b_2_3·b_2_6²·b_5_42 + b_2_3·b_2_6³·b_2_7·b_1_1 + b_2_3·b_2_5·b_6_59·b_1_1
       + b_2_3·b_2_5·b_2_7·b_5_42 + b_2_3·b_2_5·b_2_7³·b_1_2 + b_2_3·b_2_5²·b_5_42
       + b_2_3·b_2_5³·b_2_7·b_1_2 + b_2_3·b_2_4·b_2_7·b_5_41 + b_2_3·b_2_4·b_2_5·b_5_42
       + b_2_3·b_2_4²·b_5_42 + b_2_3·b_2_4²·b_5_41 + b_2_3·b_2_4²·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4³·b_2_7·b_1_2 + b_2_3²·b_2_7·b_5_42 + b_2_3²·b_2_7³·b_1_2
       + b_2_3²·b_2_6·b_5_39 + b_2_3²·b_2_6·b_2_7·b_3_15 + b_2_3²·b_2_6²·b_3_15
       + b_2_3²·b_2_6²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_5_42 + b_2_3²·b_2_5²·b_1_1²·b_1_2
       + b_2_3²·b_2_5²·b_2_7·b_1_2 + b_2_3²·b_2_5²·b_2_7·b_1_1 + b_2_3²·b_2_5³·b_1_2
       + b_2_3²·b_2_4·b_5_42 + b_2_3²·b_2_4·b_2_7²·b_1_2 + b_2_3²·b_2_4²·b_2_7·b_1_2
       + b_2_3³·b_5_39 + b_2_3³·b_2_7·b_3_15 + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_7²·b_1_1
       + b_2_3³·b_2_5·b_2_7·b_1_2 + b_2_3³·b_2_4²·b_1_2 + b_2_3⁴·b_3_15
       + b_2_3⁴·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_1_2
83. b_6_63·b_5_42 + b_6_63·b_5_39 + b_6_60·b_5_39 + b_6_59·b_5_42 + b_6_59·b_5_41
       + b_6_59·b_5_39 + b_2_7·b_6_59·b_1_2³ + b_2_7³·b_5_42 + b_2_7³·b_1_2⁵
       + b_2_7⁵·b_1_2 + b_2_6·b_2_7²·b_5_41 + b_2_6²·b_2_7·b_5_42 + b_2_6²·b_2_7·b_5_41
       + b_2_6⁴·b_2_7·b_1_1 + b_2_5·b_6_59·b_1_1·b_1_2² + b_2_5·b_2_7·b_1_1·b_1_2⁶
       + b_2_5·b_2_7·b_6_59·b_1_2 + b_2_5·b_2_7·b_6_59·b_1_1 + b_2_5·b_2_7²·b_5_42
       + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7²·b_1_1·b_1_2⁴
       + b_2_5·b_2_7³·b_1_1·b_1_2² + b_2_5·b_2_7⁴·b_1_1 + b_2_5²·b_1_1·b_1_2⁶
       + b_2_5²·b_6_59·b_1_2 + b_2_5²·b_2_7·b_5_42 + b_2_5²·b_2_7·b_1_2⁵
       + b_2_5²·b_2_7·b_1_1·b_1_2⁴ + b_2_5²·b_2_7³·b_1_1 + b_2_5³·b_1_2⁵
       + b_2_5³·b_1_1·b_1_2⁴ + b_2_5³·b_2_7·b_1_1·b_1_2² + b_2_5³·b_2_7²·b_1_2
       + b_2_5³·b_2_7²·b_1_1 + b_2_5⁴·b_1_2³ + b_2_4·b_2_7²·b_5_42
       + b_2_4·b_2_7²·b_5_41 + b_2_4·b_2_5·b_2_7·b_5_42 + b_2_4²·b_2_7³·b_1_2
       + b_2_4³·b_2_7²·b_1_2 + b_2_4⁵·b_1_2 + b_2_3·b_2_7⁴·b_1_1
       + b_2_3·b_2_6·b_2_7·b_5_42 + b_2_3·b_2_6·b_2_7·b_5_41 + b_2_3·b_2_6·b_2_7²·b_3_15
       + b_2_3·b_2_6²·b_5_42 + b_2_3·b_2_6²·b_2_7·b_3_15 + b_2_3·b_2_6³·b_2_7·b_1_1
       + b_2_3·b_2_5·b_2_7³·b_1_2 + b_2_3·b_2_5²·b_1_1⁴·b_1_2
       + b_2_3·b_2_5²·b_2_7²·b_1_1 + b_2_3·b_2_5⁴·b_1_2 + b_2_3·b_2_4·b_2_7·b_5_41
       + b_2_3·b_2_4²·b_5_42 + b_2_3·b_2_4²·b_2_7²·b_1_2 + b_2_3·b_2_4³·b_2_7·b_1_2
       + b_2_3²·b_7_90 + b_2_3²·b_6_59·b_1_1 + b_2_3²·b_2_7·b_5_42 + b_2_3²·b_2_7²·b_3_15
       + b_2_3²·b_2_7³·b_1_2 + b_2_3²·b_2_6·b_5_39 + b_2_3²·b_2_6·b_2_7·b_3_15
       + b_2_3²·b_2_6²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_5_42 + b_2_3²·b_2_5·b_5_41
       + b_2_3²·b_2_5·b_1_1⁴·b_1_2 + b_2_3²·b_2_5·b_2_7²·b_1_1
       + b_2_3²·b_2_5²·b_2_7·b_1_2 + b_2_3²·b_2_4·b_5_42 + b_2_3²·b_2_4·b_2_7²·b_1_2
       + b_2_3²·b_2_4²·b_2_5·b_1_2 + b_2_3³·b_5_42 + b_2_3³·b_1_1⁴·b_1_2
       + b_2_3³·b_2_7·b_3_15 + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_7²·b_1_1
       + b_2_3³·b_2_6·b_3_15 + b_2_3³·b_2_6·b_2_7·b_1_1 + b_2_3³·b_2_5·b_2_7·b_1_2
       + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_4·b_2_5·b_1_2 + b_2_3³·b_2_4²·b_1_2
       + b_2_3⁴·b_3_15 + b_2_3⁴·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_1_1 + b_2_3⁵·b_1_2
84. b_6_63·b_5_39 + b_6_60·b_5_39 + b_2_7³·b_1_2⁵ + b_2_7⁵·b_1_2 + b_2_6·b_2_7²·b_5_42
       + b_2_6·b_2_7²·b_5_41 + b_2_6²·b_2_7·b_5_41 + b_2_6⁴·b_2_7·b_1_1
       + b_2_5·b_2_7·b_1_1·b_1_2⁶ + b_2_5·b_2_7²·b_5_42 + b_2_5·b_2_7²·b_5_41
       + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7³·b_1_1·b_1_2² + b_2_5²·b_1_1·b_1_2⁶
       + b_2_5²·b_6_59·b_1_1 + b_2_5²·b_2_7·b_5_42 + b_2_5²·b_2_7·b_1_2⁵
       + b_2_5²·b_2_7³·b_1_2 + b_2_5³·b_5_42 + b_2_5³·b_1_2⁵ + b_2_5³·b_2_7·b_1_2³
       + b_2_5³·b_2_7·b_1_1·b_1_2² + b_2_5³·b_2_7²·b_1_2 + b_2_4·b_2_7²·b_5_42
       + b_2_4·b_2_7⁴·b_1_2 + b_2_4²·b_2_7·b_5_42 + b_2_4²·b_2_7·b_5_41
       + b_2_4²·b_2_5·b_5_42 + b_2_4³·b_5_42 + b_2_4³·b_5_41 + b_2_4³·b_2_5·b_2_7·b_1_2
       + b_2_4⁴·b_2_5·b_1_2 + b_2_4⁵·b_1_2 + b_2_3·b_2_7·b_7_90 + b_2_3·b_2_7²·b_5_42
       + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_2 + b_2_3·b_2_6·b_2_7·b_5_42
       + b_2_3·b_2_6·b_2_7·b_5_41 + b_2_3·b_2_6²·b_2_7·b_3_15 + b_2_3·b_2_5·b_6_59·b_1_1
       + b_2_3·b_2_5·b_2_7·b_5_41 + b_2_3·b_2_5²·b_1_1⁴·b_1_2
       + b_2_3·b_2_5²·b_2_7²·b_1_2 + b_2_3·b_2_5²·b_2_7²·b_1_1
       + b_2_3·b_2_5³·b_1_1²·b_1_2 + b_2_3·b_2_5⁴·b_1_2 + b_2_3·b_2_4²·b_2_7²·b_1_2
       + b_2_3·b_2_4³·b_2_7·b_1_2 + b_2_3·b_2_4⁴·b_1_2 + b_2_3²·b_6_59·b_1_1
       + b_2_3²·b_2_7²·b_3_15 + b_2_3²·b_2_7³·b_1_1 + b_2_3²·b_2_6·b_5_42
       + b_2_3²·b_2_6²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_2_7²·b_1_1
       + b_2_3²·b_2_5²·b_2_7·b_1_2 + b_2_3²·b_2_5²·b_2_7·b_1_1 + b_2_3²·b_2_5³·b_1_2
       + b_2_3²·b_2_4·b_5_41 + b_2_3²·b_2_4·b_2_7²·b_1_2
       + b_2_3²·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_4²·b_2_7·b_1_2
       + b_2_3²·b_2_4²·b_2_5·b_1_2 + b_2_3²·b_2_4³·b_1_2 + b_2_3³·b_5_42 + b_2_3³·b_5_39
       + b_2_3³·b_1_1⁴·b_1_2 + b_2_3³·b_2_7·b_3_15 + b_2_3³·b_2_7²·b_1_1
       + b_2_3³·b_2_6·b_3_15 + b_2_3³·b_2_5·b_2_7·b_1_2 + b_2_3³·b_2_5·b_2_7·b_1_1
       + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_4·b_2_7·b_1_2 + b_2_3⁴·b_3_15 + b_2_3⁴·b_3_14
       + b_2_3⁴·b_1_1²·b_1_2 + b_2_3⁴·b_2_7·b_1_2 + b_2_3⁴·b_2_5·b_1_2
85. b_6_60·b_5_39 + b_2_7²·b_6_59·b_1_2 + b_2_7³·b_1_2⁵ + b_2_7⁵·b_1_1
       + b_2_6·b_2_7·b_7_90 + b_2_6·b_2_7²·b_5_42 + b_2_6·b_2_7²·b_5_41
       + b_2_6·b_2_7³·b_3_15 + b_2_6²·b_7_90 + b_2_6²·b_2_7·b_5_41 + b_2_6²·b_2_7²·b_3_15
       + b_2_6³·b_5_42 + b_2_6³·b_2_7·b_3_15 + b_2_6⁴·b_3_15 + b_2_6⁴·b_2_7·b_1_1
       + b_2_5·b_6_59·b_1_1·b_1_2² + b_2_5·b_6_59·b_1_1²·b_1_2
       + b_2_5·b_2_7·b_1_1·b_1_2⁶ + b_2_5·b_2_7·b_6_59·b_1_2 + b_2_5·b_2_7²·b_5_42
       + b_2_5·b_2_7²·b_5_41 + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7³·b_1_2³
       + b_2_5²·b_1_1·b_1_2⁶ + b_2_5²·b_6_59·b_1_2 + b_2_5²·b_2_7·b_1_2⁵
       + b_2_5²·b_2_7·b_1_1·b_1_2⁴ + b_2_5²·b_2_7²·b_1_2³
       + b_2_5²·b_2_7²·b_1_1·b_1_2² + b_2_5²·b_2_7³·b_1_2 + b_2_5²·b_2_7³·b_1_1
       + b_2_5³·b_5_42 + b_2_5³·b_1_2⁵ + b_2_5³·b_1_1·b_1_2⁴ + b_2_5³·b_1_1²·b_1_2³
       + b_2_5³·b_2_7²·b_1_2 + b_2_5⁴·b_1_2³ + b_2_5⁵·b_1_2 + b_2_4·b_2_5·b_2_7·b_5_42
       + b_2_4³·b_5_42 + b_2_4³·b_5_41 + b_2_4³·b_2_7²·b_1_2 + b_2_4³·b_2_5·b_2_7·b_1_2
       + b_2_4⁴·b_2_5·b_1_2 + b_2_4⁵·b_1_2 + b_2_3·b_2_7²·b_5_42 + b_2_3·b_2_7²·b_5_41
       + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_1 + b_2_3·b_2_6·b_2_7·b_5_42
       + b_2_3·b_2_6·b_2_7²·b_3_15 + b_2_3·b_2_6²·b_5_42 + b_2_3·b_2_6³·b_2_7·b_1_1
       + b_2_3·b_2_5·b_6_59·b_1_1 + b_2_3·b_2_5·b_2_7³·b_1_2 + b_2_3·b_2_5·b_2_7³·b_1_1
       + b_2_3·b_2_5²·b_1_1⁴·b_1_2 + b_2_3·b_2_5³·b_1_1²·b_1_2
       + b_2_3·b_2_5³·b_2_7·b_1_2 + b_2_3·b_2_4·b_2_7·b_5_42 + b_2_3·b_2_4·b_2_7·b_5_41
       + b_2_3·b_2_4·b_2_5·b_5_42 + b_2_3·b_2_4²·b_5_41 + b_2_3·b_2_4³·b_2_7·b_1_2
       + b_2_3²·b_6_59·b_1_1 + b_2_3²·b_2_7·b_5_42 + b_2_3²·b_2_7²·b_3_15
       + b_2_3²·b_2_7³·b_1_2 + b_2_3²·b_2_7³·b_1_1 + b_2_3²·b_2_6·b_5_42
       + b_2_3²·b_2_6·b_5_39 + b_2_3²·b_2_6·b_2_7·b_3_15 + b_2_3²·b_2_5·b_2_7²·b_1_2
       + b_2_3²·b_2_5³·b_1_2 + b_2_3²·b_2_4·b_5_42 + b_2_3²·b_2_4·b_5_41
       + b_2_3²·b_2_4²·b_2_7·b_1_2 + b_2_3²·b_2_4³·b_1_2 + b_2_3³·b_5_39
       + b_2_3³·b_1_1⁴·b_1_2 + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_7²·b_1_1
       + b_2_3³·b_2_6·b_3_15 + b_2_3³·b_2_6·b_2_7·b_1_1 + b_2_3³·b_2_5·b_2_7·b_1_2
       + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_4·b_2_7·b_1_2 + b_2_3⁴·b_3_14
       + b_2_3⁴·b_2_7·b_1_2 + b_2_3⁴·b_2_5·b_1_2 + b_2_3⁴·b_2_4·b_1_2
86. b_6_63·b_5_42 + b_6_59·b_5_42 + b_6_59·b_1_1⁴·b_1_2 + b_6_59·b_1_1⁵
       + b_2_7·b_6_59·b_1_1·b_1_2² + b_2_7²·b_7_90 + b_2_7²·b_1_1·b_1_2⁶
       + b_2_7²·b_6_59·b_1_2 + b_2_7⁵·b_1_2 + b_2_7⁵·b_1_1 + b_2_6·b_2_7·b_7_90
       + b_2_6·b_2_7²·b_5_42 + b_2_6·b_2_7³·b_3_15 + b_2_6³·b_2_7·b_3_15
       + b_2_6⁴·b_2_7·b_1_1 + b_2_5·b_1_1²·b_1_2⁷ + b_2_5·b_1_1⁴·b_1_2⁵
       + b_2_5·b_6_59·b_1_1³ + b_2_5·b_2_7·b_1_1·b_1_2⁶ + b_2_5·b_2_7·b_6_59·b_1_2
       + b_2_5·b_2_7²·b_5_42 + b_2_5·b_2_7²·b_5_41 + b_2_5·b_2_7⁴·b_1_2
       + b_2_5·b_2_7⁴·b_1_1 + b_2_5²·b_1_2⁷ + b_2_5²·b_1_1²·b_1_2⁵
       + b_2_5²·b_1_1³·b_1_2⁴ + b_2_5²·b_1_1⁴·b_1_2³ + b_2_5²·b_6_59·b_1_2
       + b_2_5²·b_2_7·b_5_42 + b_2_5²·b_2_7·b_1_2⁵ + b_2_5²·b_2_7·b_1_1·b_1_2⁴
       + b_2_5²·b_2_7²·b_1_1·b_1_2² + b_2_5²·b_2_7³·b_1_1 + b_2_5³·b_5_42
       + b_2_5³·b_2_7·b_1_1·b_1_2² + b_2_5³·b_2_7²·b_1_1 + b_2_5⁴·b_1_2³
       + b_2_5⁴·b_1_1²·b_1_2 + b_2_5⁴·b_2_7·b_1_1 + b_2_5⁵·b_1_1 + b_2_4²·b_2_5·b_5_42
       + b_2_4³·b_5_42 + b_2_4³·b_2_7²·b_1_2 + b_2_4⁴·b_2_7·b_1_2 + b_2_4⁵·b_1_2
       + b_2_3·b_1_1⁸·b_1_2 + b_2_3·b_2_7²·b_5_41 + b_2_3·b_2_7⁴·b_1_2
       + b_2_3·b_2_6·b_2_7²·b_3_15 + b_2_3·b_2_6²·b_5_42 + b_2_3·b_2_6²·b_5_39
       + b_2_3·b_2_6³·b_3_15 + b_2_3·b_2_5·b_1_1⁶·b_1_2 + b_2_3·b_2_5·b_2_7·b_5_42
       + b_2_3·b_2_5³·b_2_7·b_1_1 + b_2_3·b_2_5⁴·b_1_2 + b_2_3·b_2_5⁴·b_1_1
       + b_2_3·b_2_4·b_2_7·b_5_41 + b_2_3·b_2_4·b_2_7³·b_1_2 + b_2_3·b_2_4²·b_5_41
       + b_2_3·b_2_4³·b_2_5·b_1_2 + b_2_3·b_2_4⁴·b_1_2 + b_2_3²·b_1_1⁶·b_1_2
       + b_2_3²·b_2_7·b_5_42 + b_2_3²·b_2_7·b_5_41 + b_2_3²·b_2_7²·b_3_15
       + b_2_3²·b_2_6·b_5_42 + b_2_3²·b_2_6²·b_3_15 + b_2_3²·b_2_6²·b_2_7·b_1_1
       + b_2_3²·b_2_5·b_1_1⁴·b_1_2 + b_2_3²·b_2_5·b_2_7²·b_1_2
       + b_2_3²·b_2_5·b_2_7²·b_1_1 + b_2_3²·b_2_5²·b_1_1³ + b_2_3²·b_2_5³·b_1_2
       + b_2_3²·b_2_4·b_2_7²·b_1_2 + b_2_3²·b_2_4·b_2_5·b_2_7·b_1_2
       + b_2_3²·b_2_4²·b_2_5·b_1_2 + b_2_3²·b_2_4³·b_1_2 + b_2_3³·b_1_1⁴·b_1_2
       + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_7²·b_1_1 + b_2_3³·b_2_5·b_3_15
       + b_2_3³·b_2_5·b_1_1²·b_1_2 + b_2_3³·b_2_5·b_1_1³ + b_2_3³·b_2_5·b_2_7·b_1_2
       + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_5²·b_1_1 + b_2_3³·b_2_4·b_2_7·b_1_2
       + b_2_3³·b_2_4·b_2_5·b_1_2 + b_2_3⁴·b_2_7·b_1_2 + b_2_3⁵·b_1_2 + b_2_6⁴·b_2_7·a_1_0
       + c_8_124·b_1_1·b_1_2² + b_2_3·c_8_124·b_1_2
87. b_6_63·b_5_42 + b_6_63·b_5_41 + b_6_60·b_5_39 + b_6_60·b_1_1⁵ + b_6_59·b_5_42
       + b_2_7·b_6_59·b_1_2³ + b_2_7·b_6_59·b_1_1·b_1_2² + b_2_7³·b_5_42 + b_2_7³·b_5_41
       + b_2_7³·b_1_2⁵ + b_2_7⁵·b_1_1 + b_2_6·b_2_7²·b_5_42 + b_2_6³·b_5_42
       + b_2_6⁴·b_2_7·b_1_1 + b_2_5·b_1_1³·b_1_2⁶ + b_2_5·b_1_1⁴·b_5_41
       + b_2_5·b_1_1⁴·b_1_2⁵ + b_2_5·b_6_60·b_1_1³ + b_2_5·b_6_59·b_1_1²·b_1_2
       + b_2_5·b_6_59·b_1_1³ + b_2_5·b_2_7·b_6_59·b_1_2 + b_2_5·b_2_7²·b_5_42
       + b_2_5·b_2_7²·b_1_1·b_1_2⁴ + b_2_5·b_2_7³·b_1_2³
       + b_2_5·b_2_7³·b_1_1·b_1_2² + b_2_5·b_2_7⁴·b_1_2 + b_2_5·b_2_7⁴·b_1_1
       + b_2_5²·b_1_1·b_1_2⁶ + b_2_5²·b_1_1²·b_5_41 + b_2_5²·b_1_1²·b_1_2⁵
       + b_2_5²·b_1_1⁵·b_1_2² + b_2_5²·b_1_1⁶·b_1_2 + b_2_5²·b_2_7·b_5_42
       + b_2_5²·b_2_7³·b_1_2 + b_2_5³·b_5_41 + b_2_5³·b_1_1⁴·b_1_2 + b_2_5³·b_1_1⁵
       + b_2_5³·b_2_7·b_1_2³ + b_2_5³·b_2_7·b_1_1·b_1_2² + b_2_5³·b_2_7²·b_1_2
       + b_2_5⁴·b_1_2³ + b_2_5⁴·b_1_1²·b_1_2 + b_2_5⁴·b_1_1³ + b_2_5⁴·b_2_7·b_1_2
       + b_2_5⁵·b_1_2 + b_2_5⁵·b_1_1 + b_2_4·b_2_5·b_2_7·b_5_42 + b_2_4²·b_2_7·b_5_42
       + b_2_4²·b_2_7·b_5_41 + b_2_4²·b_2_7³·b_1_2 + b_2_4³·b_5_42 + b_2_4³·b_2_7²·b_1_2
       + b_2_4⁴·b_2_5·b_1_2 + b_2_3·b_6_59·b_1_1³ + b_2_3·b_2_7²·b_5_41
       + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_1 + b_2_3·b_2_6·b_7_90
       + b_2_3·b_2_6²·b_5_42 + b_2_3·b_2_6³·b_3_15 + b_2_3·b_2_6³·b_2_7·b_1_1
       + b_2_3·b_2_5·b_1_1²·b_5_41 + b_2_3·b_2_5·b_1_1⁷ + b_2_3·b_2_5·b_2_7·b_5_42
       + b_2_3·b_2_5·b_2_7·b_5_41 + b_2_3·b_2_5²·b_1_1⁵ + b_2_3·b_2_5²·b_2_7²·b_1_1
       + b_2_3·b_2_5³·b_1_1²·b_1_2 + b_2_3·b_2_5³·b_2_7·b_1_2 + b_2_3·b_2_5⁴·b_1_2
       + b_2_3·b_2_4²·b_5_42 + b_2_3·b_2_4³·b_2_7·b_1_2 + b_2_3²·b_1_1²·b_5_41
       + b_2_3²·b_1_1⁶·b_1_2 + b_2_3²·b_6_59·b_1_1 + b_2_3²·b_2_7·b_5_42
       + b_2_3²·b_2_7³·b_1_1 + b_2_3²·b_2_6·b_5_42 + b_2_3²·b_2_6²·b_2_7·b_1_1
       + b_2_3²·b_2_5·b_5_42 + b_2_3²·b_2_5·b_5_41 + b_2_3²·b_2_5·b_1_1⁴·b_1_2
       + b_2_3²·b_2_5·b_1_1⁵ + b_2_3²·b_2_5·b_2_7²·b_1_2 + b_2_3²·b_2_5²·b_1_1³
       + b_2_3²·b_2_5²·b_2_7·b_1_2 + b_2_3²·b_2_5³·b_1_2 + b_2_3²·b_2_4·b_5_42
       + b_2_3³·b_5_42 + b_2_3³·b_5_41 + b_2_3³·b_1_1⁴·b_1_2 + b_2_3³·b_2_7²·b_1_2
       + b_2_3³·b_2_5·b_3_15 + b_2_3³·b_2_5·b_1_1²·b_1_2 + b_2_3³·b_2_5·b_1_1³
       + b_2_3³·b_2_5·b_2_7·b_1_1 + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_5²·b_1_1
       + b_2_3³·b_2_4·b_2_7·b_1_2 + b_2_3³·b_2_4·b_2_5·b_1_2 + b_2_3⁴·b_2_7·b_1_2
       + b_2_3⁴·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_1_2 + b_2_3⁴·b_2_5·b_1_1
       + c_8_124·b_1_1²·b_1_2 + b_2_3·c_8_124·b_1_1
88. b_6_63·b_5_42 + b_6_60·b_5_42 + b_2_7·b_6_59·b_1_2³ + b_2_7·b_6_59·b_1_1·b_1_2²
       + b_2_7²·b_1_1·b_1_2⁶ + b_2_7³·b_5_42 + b_2_7³·b_5_41 + b_2_7³·b_1_2⁵
       + b_2_7³·b_1_1·b_1_2⁴ + b_2_7⁴·b_1_2³ + b_2_7⁵·b_1_2 + b_2_7⁵·b_1_1
       + b_2_6·b_2_7²·b_5_41 + b_2_6⁴·b_2_7·b_1_1 + b_2_5·b_6_60·b_1_1³
       + b_2_5·b_2_7·b_6_59·b_1_1 + b_2_5·b_2_7²·b_5_42 + b_2_5·b_2_7²·b_5_41
       + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7³·b_1_1·b_1_2² + b_2_5·b_2_7⁴·b_1_2
       + b_2_5·b_2_7⁴·b_1_1 + b_2_5²·b_1_2⁷ + b_2_5²·b_1_1·b_1_2⁶
       + b_2_5²·b_1_1²·b_5_41 + b_2_5²·b_1_1²·b_1_2⁵ + b_2_5²·b_6_60·b_1_1
       + b_2_5²·b_6_59·b_1_2 + b_2_5²·b_6_59·b_1_1 + b_2_5²·b_2_7·b_1_2⁵
       + b_2_5²·b_2_7·b_1_1·b_1_2⁴ + b_2_5²·b_2_7²·b_1_2³
       + b_2_5²·b_2_7²·b_1_1·b_1_2² + b_2_5³·b_5_42 + b_2_5³·b_5_41
       + b_2_5³·b_1_1³·b_1_2² + b_2_5³·b_1_1⁴·b_1_2 + b_2_5³·b_2_7²·b_1_2
       + b_2_5³·b_2_7²·b_1_1 + b_2_5⁴·b_1_2³ + b_2_5⁴·b_1_1²·b_1_2 + b_2_5⁴·b_1_1³
       + b_2_5⁴·b_2_7·b_1_2 + b_2_5⁴·b_2_7·b_1_1 + b_2_5⁵·b_1_1 + b_2_4·b_2_7²·b_5_42
       + b_2_4·b_2_7⁴·b_1_2 + b_2_4·b_2_5·b_2_7·b_5_42 + b_2_4²·b_2_7·b_5_42
       + b_2_4²·b_2_7·b_5_41 + b_2_4²·b_2_5·b_5_42 + b_2_4³·b_5_42 + b_2_4³·b_5_41
       + b_2_4³·b_2_7²·b_1_2 + b_2_4³·b_2_5·b_2_7·b_1_2 + b_2_4⁴·b_2_5·b_1_2
       + b_2_4⁵·b_1_2 + b_2_3·b_6_59·b_1_1³ + b_2_3·b_2_7²·b_5_42 + b_2_3·b_2_7²·b_5_41
       + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_1 + b_2_3·b_2_6·b_2_7·b_5_42
       + b_2_3·b_2_6·b_2_7²·b_3_15 + b_2_3·b_2_6²·b_5_39 + b_2_3·b_2_6²·b_2_7·b_3_15
       + b_2_3·b_2_6³·b_3_15 + b_2_3·b_2_6³·b_2_7·b_1_1 + b_2_3·b_2_5·b_1_1²·b_5_41
       + b_2_3·b_2_5·b_1_1⁶·b_1_2 + b_2_3·b_2_5·b_2_7·b_5_42 + b_2_3·b_2_5·b_2_7·b_5_41
       + b_2_3·b_2_5·b_2_7³·b_1_2 + b_2_3·b_2_5²·b_5_41 + b_2_3·b_2_5²·b_1_1⁵
       + b_2_3·b_2_5²·b_2_7²·b_1_2 + b_2_3·b_2_5²·b_2_7²·b_1_1
       + b_2_3·b_2_5³·b_1_1²·b_1_2 + b_2_3·b_2_5³·b_1_1³ + b_2_3·b_2_5³·b_2_7·b_1_2
       + b_2_3·b_2_5³·b_2_7·b_1_1 + b_2_3·b_2_4·b_2_7·b_5_41 + b_2_3·b_2_4·b_2_7³·b_1_2
       + b_2_3·b_2_4²·b_2_7²·b_1_2 + b_2_3·b_2_4³·b_2_7·b_1_2 + b_2_3·b_2_4³·b_2_5·b_1_2
       + b_2_3·b_2_4⁴·b_1_2 + b_2_3²·b_1_1⁶·b_1_2 + b_2_3²·b_2_6·b_5_39
       + b_2_3²·b_2_6·b_2_7·b_3_15 + b_2_3²·b_2_5²·b_2_7·b_1_1 + b_2_3²·b_2_5³·b_1_2
       + b_2_3²·b_2_4·b_2_7²·b_1_2 + b_2_3²·b_2_4²·b_2_5·b_1_2 + b_2_3³·b_5_42
       + b_2_3³·b_2_7·b_3_15 + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_6·b_3_15
       + b_2_3³·b_2_5·b_3_15 + b_2_3³·b_2_5·b_1_1²·b_1_2 + b_2_3³·b_2_5·b_2_7·b_1_2
       + b_2_3³·b_2_5·b_2_7·b_1_1 + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_5²·b_1_1
       + b_2_3³·b_2_4·b_2_7·b_1_2 + b_2_3⁴·b_2_7·b_1_2 + b_2_3⁴·b_2_5·b_1_1
       + b_2_3⁴·b_2_4·b_1_2 + b_2_6⁴·b_2_7·a_1_0 + b_2_5·c_8_124·b_1_2
89. b_6_63·b_5_41 + b_6_63·b_5_39 + b_6_60·b_5_41 + b_6_60·b_5_39
       + b_2_7·b_6_59·b_1_1·b_1_2² + b_2_7²·b_1_2⁷ + b_2_7²·b_1_1·b_1_2⁶
       + b_2_7³·b_5_41 + b_2_7³·b_1_1·b_1_2⁴ + b_2_7⁴·b_1_1·b_1_2² + b_2_7⁵·b_1_2
       + b_2_7⁵·b_1_1 + b_2_6·b_2_7²·b_5_42 + b_2_6·b_2_7²·b_5_41 + b_2_6²·b_2_7·b_5_42
       + b_2_6²·b_2_7·b_5_41 + b_2_6³·b_5_42 + b_2_5·b_1_1⁴·b_5_41 + b_2_5·b_6_60·b_1_1³
       + b_2_5·b_6_59·b_1_1·b_1_2² + b_2_5·b_6_59·b_1_1³ + b_2_5·b_2_7·b_6_59·b_1_2
       + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7⁴·b_1_2 + b_2_5·b_2_7⁴·b_1_1
       + b_2_5²·b_1_1⁴·b_1_2³ + b_2_5²·b_1_1⁵·b_1_2² + b_2_5²·b_6_59·b_1_2
       + b_2_5²·b_6_59·b_1_1 + b_2_5²·b_2_7·b_5_41 + b_2_5²·b_2_7·b_1_1·b_1_2⁴
       + b_2_5²·b_2_7²·b_1_1·b_1_2² + b_2_5³·b_5_41 + b_2_5³·b_1_2⁵
       + b_2_5³·b_1_1·b_1_2⁴ + b_2_5³·b_1_1³·b_1_2² + b_2_5³·b_1_1⁴·b_1_2
       + b_2_5⁴·b_1_1·b_1_2² + b_2_5⁴·b_1_1²·b_1_2 + b_2_5⁴·b_1_1³
       + b_2_5⁴·b_2_7·b_1_1 + b_2_5⁵·b_1_2 + b_2_5⁵·b_1_1 + b_2_4·b_2_7²·b_5_41
       + b_2_4²·b_2_7·b_5_42 + b_2_4²·b_2_7·b_5_41 + b_2_4²·b_2_7³·b_1_2
       + b_2_4²·b_2_5·b_5_42 + b_2_4³·b_5_42 + b_2_4³·b_2_7²·b_1_2
       + b_2_4³·b_2_5·b_2_7·b_1_2 + b_2_4⁴·b_2_7·b_1_2 + b_2_4⁴·b_2_5·b_1_2 + b_2_4⁵·b_1_2
       + b_2_3·b_2_7²·b_5_41 + b_2_3·b_2_7³·b_3_15 + b_2_3·b_2_7⁴·b_1_2
       + b_2_3·b_2_7⁴·b_1_1 + b_2_3·b_2_6·b_7_90 + b_2_3·b_2_6·b_2_7·b_5_42
       + b_2_3·b_2_6·b_2_7·b_5_41 + b_2_3·b_2_6·b_2_7²·b_3_15 + b_2_3·b_2_6²·b_2_7·b_3_15
       + b_2_3·b_2_6³·b_3_15 + b_2_3·b_2_5·b_6_59·b_1_1 + b_2_3·b_2_5·b_2_7·b_5_42
       + b_2_3·b_2_5·b_2_7·b_5_41 + b_2_3·b_2_5·b_2_7³·b_1_2 + b_2_3·b_2_5·b_2_7³·b_1_1
       + b_2_3·b_2_5²·b_5_41 + b_2_3·b_2_5²·b_2_7²·b_1_2 + b_2_3·b_2_5²·b_2_7²·b_1_1
       + b_2_3·b_2_5³·b_1_1²·b_1_2 + b_2_3·b_2_5³·b_1_1³ + b_2_3·b_2_5⁴·b_1_2
       + b_2_3·b_2_4·b_2_7·b_5_42 + b_2_3·b_2_4·b_2_5·b_5_42 + b_2_3·b_2_4²·b_2_7²·b_1_2
       + b_2_3·b_2_4²·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4³·b_2_7·b_1_2
       + b_2_3·b_2_4³·b_2_5·b_1_2 + b_2_3²·b_1_1⁶·b_1_2 + b_2_3²·b_6_59·b_1_1
       + b_2_3²·b_2_6²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_1_1⁴·b_1_2
       + b_2_3²·b_2_5·b_2_7²·b_1_1 + b_2_3²·b_2_5²·b_1_1³
       + b_2_3²·b_2_5²·b_2_7·b_1_1 + b_2_3²·b_2_5³·b_1_1 + b_2_3²·b_2_4·b_2_7²·b_1_2
       + b_2_3²·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_4²·b_2_7·b_1_2
       + b_2_3²·b_2_4³·b_1_2 + b_2_3³·b_1_1⁴·b_1_2 + b_2_3³·b_2_7·b_3_15
       + b_2_3³·b_2_7²·b_1_1 + b_2_3³·b_2_6·b_3_15 + b_2_3³·b_2_6·b_2_7·b_1_1
       + b_2_3³·b_2_5·b_2_7·b_1_2 + b_2_3³·b_2_5²·b_1_2 + b_2_3³·b_2_4·b_2_5·b_1_2
       + b_2_3³·b_2_4²·b_1_2 + b_2_3⁴·b_3_15 + b_2_3⁴·b_1_1²·b_1_2 + b_2_3⁵·b_1_2
       + b_2_5·c_8_124·b_1_1
90. b_6_59·b_5_42 + b_6_59·b_1_1³·b_1_2² + b_6_59·b_1_1⁴·b_1_2 + b_2_7·b_1_1·b_1_2⁸
       + b_2_7·b_6_59·b_1_2³ + b_2_7·b_6_59·b_1_1·b_1_2² + b_2_7²·b_1_2⁷
       + b_2_7²·b_1_1·b_1_2⁶ + b_2_7³·b_1_2⁵ + b_2_7⁴·b_3_15 + b_2_7⁴·b_1_2³
       + b_2_7⁵·b_1_2 + b_2_6·b_2_7²·b_5_42 + b_2_6²·b_2_7·b_5_42 + b_2_6²·b_2_7²·b_3_15
       + b_2_5·b_1_2⁹ + b_2_5·b_1_1·b_1_2⁸ + b_2_5·b_1_1³·b_1_2⁶
       + b_2_5·b_6_59·b_1_2³ + b_2_5·b_6_59·b_1_1²·b_1_2 + b_2_5·b_2_7·b_6_59·b_1_2
       + b_2_5·b_2_7²·b_5_42 + b_2_5·b_2_7²·b_1_2⁵ + b_2_5·b_2_7³·b_1_2³
       + b_2_5²·b_1_1·b_1_2⁶ + b_2_5²·b_1_1²·b_1_2⁵ + b_2_5²·b_1_1³·b_1_2⁴
       + b_2_5²·b_6_59·b_1_2 + b_2_5²·b_2_7·b_1_2⁵ + b_2_5²·b_2_7²·b_1_2³
       + b_2_5³·b_1_2⁵ + b_2_5³·b_2_7·b_1_2³ + b_2_5³·b_2_7²·b_1_2
       + b_2_5⁴·b_1_1·b_1_2² + b_2_5⁴·b_2_7·b_1_2 + b_2_5⁵·b_1_2 + b_2_4·b_2_7²·b_5_42
       + b_2_4·b_2_7²·b_5_41 + b_2_4·b_2_7⁴·b_1_2 + b_2_4²·b_2_7·b_5_42
       + b_2_4²·b_2_7³·b_1_2 + b_2_4³·b_5_42 + b_2_4³·b_5_41 + b_2_4⁴·b_2_7·b_1_2
       + b_2_4⁴·b_2_5·b_1_2 + b_2_3·b_6_59·b_1_1³ + b_2_3·b_2_6·b_2_7·b_5_42
       + b_2_3·b_2_5·b_6_59·b_1_1 + b_2_3·b_2_5·b_2_7·b_5_42 + b_2_3·b_2_5²·b_5_42
       + b_2_3·b_2_5²·b_1_1⁴·b_1_2 + b_2_3·b_2_5²·b_2_7²·b_1_2
       + b_2_3·b_2_5³·b_2_7·b_1_1 + b_2_3·b_2_5⁴·b_1_2 + b_2_3·b_2_4·b_2_7³·b_1_2
       + b_2_3·b_2_4²·b_5_42 + b_2_3·b_2_4²·b_5_41 + b_2_3·b_2_4²·b_2_5·b_2_7·b_1_2
       + b_2_3·b_2_4³·b_2_5·b_1_2 + b_2_3·b_2_4⁴·b_1_2 + b_2_3²·b_1_1⁶·b_1_2
       + b_2_3²·b_6_59·b_1_1 + b_2_3²·b_2_7·b_5_42 + b_2_3²·b_2_7³·b_1_2
       + b_2_3²·b_2_7³·b_1_1 + b_2_3²·b_2_6²·b_2_7·b_1_1 + b_2_3²·b_2_5·b_1_1⁴·b_1_2
       + b_2_3²·b_2_5·b_2_7²·b_1_1 + b_2_3²·b_2_5²·b_1_1²·b_1_2 + b_2_3²·b_2_4·b_5_42
       + b_2_3²·b_2_4·b_5_41 + b_2_3²·b_2_4²·b_2_7·b_1_2 + b_2_3²·b_2_4³·b_1_2
       + b_2_3³·b_5_42 + b_2_3³·b_5_39 + b_2_3³·b_1_1⁴·b_1_2 + b_2_3³·b_2_7·b_3_15
       + b_2_3³·b_2_7²·b_1_2 + b_2_3³·b_2_7²·b_1_1 + b_2_3³·b_2_6·b_3_15
       + b_2_3³·b_2_6·b_2_7·b_1_1 + b_2_3³·b_2_5·b_3_15 + b_2_3³·b_2_5·b_1_1²·b_1_2
       + b_2_3³·b_2_5·b_2_7·b_1_2 + b_2_3³·b_2_5·b_2_7·b_1_1 + b_2_3³·b_2_5²·b_1_2
       + b_2_3³·b_2_5²·b_1_1 + b_2_3³·b_2_4²·b_1_2 + b_2_3⁴·b_3_15 + b_2_3⁴·b_3_14
       + b_2_3⁴·b_1_1²·b_1_2 + b_2_3⁴·b_2_7·b_1_2 + b_2_3⁴·b_2_5·b_1_2
       + b_2_3⁴·b_2_5·b_1_1 + b_2_3⁴·b_2_4·b_1_2 + b_2_6⁴·b_2_7·a_1_0 + c_8_124·b_1_2³
       + b_2_4·c_8_124·b_1_2
91. b_5_39·b_7_90 + b_2_7²·b_6_59·b_1_2² + b_2_7²·b_6_59·b_1_1·b_1_2
       + b_2_7³·b_1_2·b_5_42 + b_2_7³·b_1_1·b_5_42 + b_2_7³·b_1_1·b_1_2⁵
       + b_2_7⁴·b_1_1·b_1_2³ + b_2_7⁵·b_1_2² + b_2_7⁵·b_1_1·b_1_2
       + b_2_6·b_2_7²·b_6_63 + b_2_6·b_2_7²·b_6_59 + b_2_6²·b_2_7·b_6_63 + b_2_6²·b_2_7⁴
       + b_2_6³·b_6_59 + b_2_6⁵·b_2_7 + b_2_5·b_6_59·b_1_1·b_1_2³
       + b_2_5·b_2_7·b_6_59·b_1_2² + b_2_5·b_2_7·b_6_59·b_1_1·b_1_2 + b_2_5·b_2_7²·b_6_63
       + b_2_5·b_2_7³·b_1_1·b_1_2³ + b_2_5·b_2_7⁴·b_1_1·b_1_2 + b_2_5·b_2_7⁵
       + b_2_5²·b_1_1·b_1_2⁷ + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_6_59·b_1_2²
       + b_2_5²·b_6_59·b_1_1² + b_2_5²·b_2_7·b_6_63 + b_2_5²·b_2_7·b_6_60
       + b_2_5²·b_2_7·b_6_59 + b_2_5²·b_2_7²·b_1_1·b_1_2³ + b_2_5³·b_1_2⁶
       + b_2_5³·b_1_1²·b_1_2⁴ + b_2_5³·b_6_63 + b_2_5³·b_6_59 + b_2_5³·b_2_7·b_1_2⁴
       + b_2_5³·b_2_7²·b_1_1·b_1_2 + b_2_5³·b_2_7³ + b_2_5⁴·b_1_1·b_1_2³
       + b_2_5⁴·b_1_1²·b_1_2² + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁴·b_2_7·b_1_1·b_1_2
       + b_2_5⁴·b_2_7² + b_2_5⁵·b_1_2² + b_2_5⁶ + b_2_4·b_2_7²·b_1_2·b_5_42
       + b_2_4·b_2_7²·b_6_60 + b_2_4·b_2_7⁵ + b_2_4³·b_1_2·b_5_42 + b_2_4³·b_6_60
       + b_2_4³·b_2_7³ + b_2_4³·b_2_5·b_2_7² + b_2_4⁴·b_2_5·b_2_7 + b_2_4⁵·b_2_7
       + b_2_3·b_2_7²·b_6_63 + b_2_3·b_2_7²·b_6_59 + b_2_3·b_2_6·b_2_7·b_6_63
       + b_2_3·b_2_6·b_2_7·b_6_60 + b_2_3·b_2_6³·b_2_7² + b_2_3·b_2_6⁴·b_2_7
       + b_2_3·b_2_5·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_6⁴ + b_2_3·b_2_5²·b_1_1⁵·b_1_2
       + b_2_3·b_2_5²·b_6_60 + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5²·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5³·b_1_1³·b_1_2 + b_2_3·b_2_5⁴·b_1_1·b_1_2 + b_2_3·b_2_5⁴·b_1_1²
       + b_2_3·b_2_5⁴·b_2_7 + b_2_3·b_2_4·b_2_7⁴ + b_2_3·b_2_4·b_2_5·b_2_7³
       + b_2_3·b_2_4²·b_1_2·b_5_42 + b_2_3·b_2_4²·b_6_60 + b_2_3·b_2_4²·b_2_7³
       + b_2_3·b_2_4³·b_2_7² + b_2_3·b_2_4⁵ + b_2_3²·b_2_7·b_1_2·b_5_42
       + b_2_3²·b_2_7·b_1_1·b_5_42 + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_7·b_6_59
       + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6²·b_2_7² + b_2_3²·b_2_5·b_6_60
       + b_2_3²·b_2_5·b_2_6²·b_2_7 + b_2_3²·b_2_5²·b_1_1³·b_1_2
       + b_2_3²·b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_5²·b_2_7²
       + b_2_3²·b_2_5³·b_1_1² + b_2_3²·b_2_5⁴ + b_2_3²·b_2_4·b_1_2·b_5_42
       + b_2_3²·b_2_4·b_2_7³ + b_2_3²·b_2_4·b_2_5·b_2_7² + b_2_3²·b_2_4⁴
       + b_2_3³·b_1_2·b_5_42 + b_2_3³·b_1_1·b_5_42 + b_2_3³·b_1_1⁵·b_1_2 + b_2_3³·b_6_63
       + b_2_3³·b_6_60 + b_2_3³·b_6_59 + b_2_3³·b_2_7²·b_1_1·b_1_2 + b_2_3³·b_2_7³
       + b_2_3³·b_2_6²·b_2_7 + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5²·b_1_1²
       + b_2_3³·b_2_4·b_2_7² + b_2_3³·b_2_4²·b_2_7 + b_2_3⁴·b_1_1³·b_1_2
       + b_2_3⁴·b_2_7·b_1_1·b_1_2 + b_2_3⁴·b_2_7² + b_2_3⁴·b_2_5·b_2_7
       + b_2_3⁴·b_2_4·b_2_5 + b_2_3⁴·b_2_4² + b_2_3⁵·b_2_5 + b_2_3⁵·b_2_4
       + b_2_6³·b_2_7·a_1_0·b_3_15
92. b_6_63² + b_6_59·b_1_1⁵·b_1_2 + b_6_59·b_1_1⁶ + b_6_59² + b_2_7⁶
       + b_2_6²·b_2_7⁴ + b_2_6⁴·b_2_7² + b_2_5·b_1_1³·b_1_2⁷ + b_2_5·b_1_1⁵·b_1_2⁵
       + b_2_5·b_6_59·b_1_1·b_1_2³ + b_2_5·b_6_59·b_1_1²·b_1_2² + b_2_5·b_6_59·b_1_1⁴
       + b_2_5·b_2_7·b_1_1·b_1_2⁷ + b_2_5·b_2_7·b_6_59·b_1_1·b_1_2
       + b_2_5·b_2_7²·b_1_1·b_1_2⁵ + b_2_5·b_2_7³·b_1_1·b_1_2³
       + b_2_5·b_2_7⁴·b_1_1·b_1_2 + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_1_1⁴·b_1_2⁴
       + b_2_5²·b_1_1⁵·b_1_2³ + b_2_5²·b_6_59·b_1_2² + b_2_5²·b_6_59·b_1_1·b_1_2
       + b_2_5²·b_6_59·b_1_1² + b_2_5²·b_2_7·b_1_2⁶ + b_2_5²·b_2_7·b_6_59
       + b_2_5²·b_2_7²·b_1_1·b_1_2³ + b_2_5²·b_2_7³·b_1_2²
       + b_2_5²·b_2_7³·b_1_1·b_1_2 + b_2_5³·b_1_2⁶ + b_2_5³·b_1_1·b_1_2⁵
       + b_2_5³·b_1_1²·b_1_2⁴ + b_2_5³·b_6_59 + b_2_5³·b_2_7·b_1_2⁴
       + b_2_5³·b_2_7·b_1_1·b_1_2³ + b_2_5³·b_2_7²·b_1_2²
       + b_2_5³·b_2_7²·b_1_1·b_1_2 + b_2_5³·b_2_7³ + b_2_5⁴·b_1_2⁴
       + b_2_5⁴·b_1_1·b_1_2³ + b_2_5⁴·b_1_1²·b_1_2² + b_2_5⁴·b_1_1³·b_1_2
       + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁴·b_2_7·b_1_1·b_1_2 + b_2_5⁴·b_2_7²
       + b_2_5⁵·b_1_2² + b_2_5⁵·b_1_1·b_1_2 + b_2_5⁵·b_1_1² + b_2_5⁵·b_2_7
       + b_2_4³·b_2_7³ + b_2_4⁵·b_2_7 + b_2_4⁵·b_2_5 + b_2_4⁶ + b_2_3·b_1_1⁹·b_1_2
       + b_2_3·b_6_59·b_1_1⁴ + b_2_3·b_2_7²·b_6_63 + b_2_3·b_2_7²·b_6_59 + b_2_3·b_2_7⁵
       + b_2_3·b_2_6·b_2_7·b_6_63 + b_2_3·b_2_6·b_2_7·b_6_59 + b_2_3·b_2_6³·b_2_7²
       + b_2_3·b_2_5·b_1_1⁷·b_1_2 + b_2_3·b_2_5·b_6_59·b_1_1² + b_2_3·b_2_5·b_2_7·b_6_59
       + b_2_3·b_2_5·b_2_7⁴ + b_2_3·b_2_5·b_2_6³·b_2_7 + b_2_3·b_2_5²·b_2_7³
       + b_2_3·b_2_5³·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5³·b_2_7² + b_2_3·b_2_5⁴·b_1_1²
       + b_2_3·b_2_5⁴·b_2_7 + b_2_3·b_2_5⁵ + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_3·b_2_4·b_2_5·b_2_7³ + b_2_3·b_2_4²·b_1_2·b_5_42 + b_2_3·b_2_4²·b_6_60
       + b_2_3·b_2_4²·b_2_5·b_2_7² + b_2_3·b_2_4⁴·b_2_7 + b_2_3²·b_1_1³·b_5_41
       + b_2_3²·b_1_1⁷·b_1_2 + b_2_3²·b_6_59·b_1_1² + b_2_3²·b_2_7·b_1_2·b_5_42
       + b_2_3²·b_2_7·b_1_1·b_5_42 + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_7·b_6_59
       + b_2_3²·b_2_5·b_1_1·b_5_41 + b_2_3²·b_2_5·b_1_1⁵·b_1_2 + b_2_3²·b_2_5·b_6_63
       + b_2_3²·b_2_5·b_6_60 + b_2_3²·b_2_5·b_6_59 + b_2_3²·b_2_5·b_2_7³
       + b_2_3²·b_2_5·b_2_6²·b_2_7 + b_2_3²·b_2_5²·b_1_1³·b_1_2
       + b_2_3²·b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_5³·b_1_1²
       + b_2_3²·b_2_5³·b_2_7 + b_2_3²·b_2_4·b_2_7³ + b_2_3²·b_2_4·b_2_5·b_2_7²
       + b_2_3²·b_2_4³·b_2_7 + b_2_3³·b_1_2·b_5_42 + b_2_3³·b_1_1·b_5_42
       + b_2_3³·b_1_1·b_5_41 + b_2_3³·b_6_63 + b_2_3³·b_2_7²·b_1_1·b_1_2
       + b_2_3³·b_2_7³ + b_2_3³·b_2_6·b_2_7² + b_2_3³·b_2_5·b_2_7²
       + b_2_3³·b_2_5·b_2_6² + b_2_3³·b_2_5²·b_1_1·b_1_2 + b_2_3³·b_2_5²·b_1_1²
       + b_2_3³·b_2_5²·b_2_7 + b_2_3³·b_2_4·b_2_5·b_2_7 + b_2_3³·b_2_4²·b_2_5
       + b_2_3³·b_2_4³ + b_2_3⁴·b_2_7² + b_2_3⁴·b_2_6·b_2_7 + b_2_3⁴·b_2_5·b_1_1²
       + b_2_3⁴·b_2_4·b_2_5 + b_2_3⁴·b_2_4² + b_2_3⁵·b_2_5 + c_8_124·b_1_1²·b_1_2²
       + b_2_3²·c_8_124
93. b_6_63² + b_6_60·b_6_63 + b_6_59·b_6_63 + b_6_59·b_6_60 + b_2_7·b_6_59·b_1_1·b_1_2³
       + b_2_7³·b_6_60 + b_2_7³·b_6_59 + b_2_7⁶ + b_2_6·b_2_7²·b_6_60
       + b_2_6·b_2_7²·b_6_59 + b_2_6²·b_2_7·b_6_60 + b_2_6²·b_2_7·b_6_59 + b_2_6²·b_2_7⁴
       + b_2_6⁴·b_2_7² + b_2_5·b_6_60·b_1_1⁴ + b_2_5·b_6_59·b_1_1·b_1_2³
       + b_2_5·b_2_7²·b_1_2⁶ + b_2_5·b_2_7²·b_1_1·b_1_2⁵ + b_2_5·b_2_7²·b_6_63
       + b_2_5·b_2_7²·b_6_59 + b_2_5·b_2_7³·b_1_2⁴ + b_2_5·b_2_7³·b_1_1·b_1_2³
       + b_2_5·b_2_7⁵ + b_2_5²·b_1_1²·b_1_2⁶ + b_2_5²·b_1_1³·b_5_41
       + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_6_60·b_1_1² + b_2_5²·b_6_59·b_1_2²
       + b_2_5²·b_6_59·b_1_1·b_1_2 + b_2_5²·b_6_59·b_1_1² + b_2_5²·b_2_7·b_1_1·b_1_2⁵
       + b_2_5²·b_2_7·b_6_59 + b_2_5²·b_2_7³·b_1_2² + b_2_5³·b_1_2⁶
       + b_2_5³·b_1_1·b_5_41 + b_2_5³·b_1_1⁴·b_1_2² + b_2_5³·b_1_1⁵·b_1_2
       + b_2_5³·b_6_63 + b_2_5³·b_6_60 + b_2_5³·b_2_7·b_1_1·b_1_2³
       + b_2_5³·b_2_7²·b_1_2² + b_2_5⁴·b_1_1³·b_1_2 + b_2_5⁴·b_1_1⁴
       + b_2_5⁴·b_2_7² + b_2_5⁵·b_1_2² + b_2_5⁵·b_1_1·b_1_2 + b_2_5⁵·b_1_1² + b_2_5⁶
       + b_2_4·b_2_5·b_2_7⁴ + b_2_4²·b_2_7·b_1_2·b_5_42 + b_2_4²·b_2_7·b_6_60
       + b_2_4³·b_1_2·b_5_42 + b_2_4³·b_6_60 + b_2_4⁴·b_2_7² + b_2_4⁵·b_2_7
       + b_2_4⁵·b_2_5 + b_2_3·b_2_7²·b_1_2·b_5_42 + b_2_3·b_2_7²·b_6_60
       + b_2_3·b_2_6²·b_6_63 + b_2_3·b_2_6²·b_6_60 + b_2_3·b_2_6²·b_2_7³
       + b_2_3·b_2_6³·b_2_7² + b_2_3·b_2_6⁴·b_2_7 + b_2_3·b_2_5·b_2_7·b_6_60
       + b_2_3·b_2_5·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_6⁴ + b_2_3·b_2_5²·b_1_1·b_5_41
       + b_2_3·b_2_5²·b_1_1⁵·b_1_2 + b_2_3·b_2_5²·b_1_1⁶ + b_2_3·b_2_5²·b_6_63
       + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5³·b_1_1⁴ + b_2_3·b_2_5³·b_2_7²
       + b_2_3·b_2_5⁵ + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_4·b_2_7⁴
       + b_2_3·b_2_4²·b_2_5·b_2_7² + b_2_3·b_2_4³·b_2_7² + b_2_3·b_2_4⁵
       + b_2_3²·b_2_7·b_1_2·b_5_42 + b_2_3²·b_2_7·b_1_1·b_5_42 + b_2_3²·b_2_7·b_6_63
       + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_7·b_6_59 + b_2_3²·b_2_6·b_6_63
       + b_2_3²·b_2_6·b_6_60 + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6³·b_2_7
       + b_2_3²·b_2_5·b_1_1·b_5_41 + b_2_3²·b_2_5·b_6_60 + b_2_3²·b_2_5·b_6_59
       + b_2_3²·b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_3²·b_2_5·b_2_7³
       + b_2_3²·b_2_5²·b_1_1⁴ + b_2_3²·b_2_5²·b_2_7² + b_2_3²·b_2_5³·b_1_1²
       + b_2_3²·b_2_5³·b_2_7 + b_2_3²·b_2_5⁴ + b_2_3²·b_2_4·b_1_2·b_5_42
       + b_2_3²·b_2_4·b_2_7³ + b_2_3²·b_2_4²·b_2_5·b_2_7 + b_2_3²·b_2_4³·b_2_7
       + b_2_3³·b_1_2·b_5_42 + b_2_3³·b_1_1·b_5_42 + b_2_3³·b_6_63 + b_2_3³·b_6_60
       + b_2_3³·b_2_6·b_2_7² + b_2_3³·b_2_6²·b_2_7 + b_2_3³·b_2_5·b_1_1³·b_1_2
       + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5²·b_1_1² + b_2_3³·b_2_5³
       + b_2_3³·b_2_4²·b_2_7 + b_2_3⁴·b_2_6·b_2_7 + b_2_3⁴·b_2_5·b_2_7
       + b_2_3⁴·b_2_4·b_2_7 + b_2_3⁵·b_1_1·b_1_2 + b_2_3⁵·b_2_5 + b_2_5·c_8_124·b_1_1·b_1_2
       + b_2_3·b_2_5·c_8_124
94. b_6_63² + b_6_60² + b_2_7²·b_1_2⁸ + b_2_7⁶ + b_2_6²·b_2_7⁴ + b_2_6⁴·b_2_7²
       + b_2_5·b_2_7·b_1_1·b_1_2⁷ + b_2_5·b_2_7²·b_6_63 + b_2_5·b_2_7²·b_6_60
       + b_2_5·b_2_7³·b_1_2⁴ + b_2_5·b_2_7³·b_1_1·b_1_2³ + b_2_5·b_2_7⁵
       + b_2_5²·b_1_1³·b_5_41 + b_2_5²·b_6_60·b_1_1² + b_2_5²·b_6_59·b_1_1²
       + b_2_5²·b_2_7·b_1_2⁶ + b_2_5²·b_2_7·b_1_1·b_1_2⁵ + b_2_5²·b_2_7·b_6_63
       + b_2_5²·b_2_7·b_6_60 + b_2_5²·b_2_7·b_6_59 + b_2_5²·b_2_7²·b_1_2⁴
       + b_2_5³·b_1_2⁶ + b_2_5³·b_1_1³·b_1_2³ + b_2_5³·b_1_1⁴·b_1_2²
       + b_2_5³·b_6_63 + b_2_5³·b_6_60 + b_2_5³·b_6_59 + b_2_5³·b_2_7·b_1_2⁴
       + b_2_5³·b_2_7·b_1_1·b_1_2³ + b_2_5⁴·b_1_2⁴ + b_2_5⁴·b_1_1²·b_1_2²
       + b_2_5⁴·b_1_1³·b_1_2 + b_2_5⁵·b_1_1·b_1_2 + b_2_5⁵·b_1_1² + b_2_5⁵·b_2_7
       + b_2_5⁶ + b_2_4·b_2_7⁵ + b_2_4·b_2_5·b_2_7⁴ + b_2_4³·b_1_2·b_5_42
       + b_2_4³·b_2_7³ + b_2_4³·b_2_5·b_2_7² + b_2_4⁵·b_2_5
       + b_2_3·b_2_7²·b_1_1·b_5_42 + b_2_3·b_2_7²·b_6_63 + b_2_3·b_2_7⁵
       + b_2_3·b_2_6·b_2_7⁴ + b_2_3·b_2_6²·b_2_7³ + b_2_3·b_2_5·b_1_1⁷·b_1_2
       + b_2_3·b_2_5·b_2_7·b_6_63 + b_2_3·b_2_5·b_2_7·b_6_60 + b_2_3·b_2_5·b_2_7·b_6_59
       + b_2_3·b_2_5·b_2_6³·b_2_7 + b_2_3·b_2_5²·b_1_1⁵·b_1_2 + b_2_3·b_2_5²·b_6_63
       + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5²·b_2_7³ + b_2_3·b_2_5³·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5⁴·b_1_1·b_1_2 + b_2_3·b_2_5⁴·b_1_1² + b_2_3·b_2_5⁴·b_2_7
       + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42 + b_2_3·b_2_4·b_2_5·b_2_7³ + b_2_3·b_2_4²·b_6_60
       + b_2_3·b_2_4²·b_2_7³ + b_2_3·b_2_4³·b_2_7² + b_2_3·b_2_4⁴·b_2_5
       + b_2_3·b_2_4⁵ + b_2_3²·b_2_7·b_1_2·b_5_42 + b_2_3²·b_2_7·b_1_1·b_5_42
       + b_2_3²·b_2_7·b_6_59 + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6³·b_2_7
       + b_2_3²·b_2_5·b_1_1⁵·b_1_2 + b_2_3²·b_2_5·b_6_59 + b_2_3²·b_2_5·b_2_7³
       + b_2_3²·b_2_5·b_2_6²·b_2_7 + b_2_3²·b_2_5²·b_1_1³·b_1_2
       + b_2_3²·b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_4·b_1_2·b_5_42
       + b_2_3²·b_2_4·b_6_60 + b_2_3²·b_2_4³·b_2_7 + b_2_3³·b_1_2·b_5_42
       + b_2_3³·b_1_1·b_5_42 + b_2_3³·b_6_59 + b_2_3³·b_2_7²·b_1_1·b_1_2
       + b_2_3³·b_2_6·b_2_7² + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_7²
       + b_2_3³·b_2_5·b_2_6² + b_2_3³·b_2_5²·b_2_7 + b_2_3³·b_2_5³
       + b_2_3³·b_2_4²·b_2_5 + b_2_3⁴·b_2_7·b_1_1·b_1_2 + b_2_3⁴·b_2_5·b_1_1·b_1_2
       + b_2_3⁴·b_2_5·b_2_6 + b_2_3⁴·b_2_4² + b_2_3⁵·b_1_1·b_1_2 + b_2_3⁵·b_2_4
       + b_2_6³·b_2_7·a_1_0·b_3_15 + b_2_5²·c_8_124
95. b_6_59·b_6_63 + b_6_59·b_6_60 + b_2_7·b_6_59·b_1_2⁴ + b_2_7·b_6_59·b_1_1·b_1_2³
       + b_2_7³·b_6_63 + b_2_7⁶ + b_2_6·b_2_7²·b_6_63 + b_2_6²·b_2_7·b_6_59
       + b_2_6³·b_2_7³ + b_2_5·b_6_59·b_1_1³·b_1_2 + b_2_5·b_6_59·b_1_1⁴
       + b_2_5·b_2_7·b_1_1·b_1_2⁷ + b_2_5·b_2_7²·b_1_2⁶ + b_2_5·b_2_7²·b_1_1·b_1_2⁵
       + b_2_5·b_2_7²·b_6_60 + b_2_5·b_2_7²·b_6_59 + b_2_5·b_2_7³·b_1_1·b_1_2³
       + b_2_5·b_2_7⁴·b_1_1·b_1_2 + b_2_5²·b_1_2⁸ + b_2_5²·b_1_1·b_1_2⁷
       + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_6_59·b_1_2² + b_2_5²·b_6_59·b_1_1²
       + b_2_5²·b_2_7²·b_1_2⁴ + b_2_5²·b_2_7³·b_1_2² + b_2_5²·b_2_7³·b_1_1·b_1_2
       + b_2_5³·b_1_1·b_1_2⁵ + b_2_5³·b_1_1²·b_1_2⁴ + b_2_5³·b_1_1³·b_1_2³
       + b_2_5³·b_6_59 + b_2_5³·b_2_7·b_1_2⁴ + b_2_5³·b_2_7²·b_1_2²
       + b_2_5³·b_2_7²·b_1_1·b_1_2 + b_2_5³·b_2_7³ + b_2_5⁴·b_1_2⁴
       + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁵·b_1_1·b_1_2 + b_2_5⁵·b_2_7 + b_2_5⁶
       + b_2_4·b_2_5·b_2_7⁴ + b_2_4²·b_2_7⁴ + b_2_4³·b_6_60 + b_2_4³·b_2_5·b_2_7²
       + b_2_4⁴·b_2_7² + b_2_4⁴·b_2_5·b_2_7 + b_2_4⁵·b_2_7 + b_2_4⁵·b_2_5
       + b_2_3·b_6_59·b_1_1⁴ + b_2_3·b_2_7²·b_1_1·b_5_42 + b_2_3·b_2_7²·b_6_59
       + b_2_3·b_2_7⁵ + b_2_3·b_2_6³·b_2_7² + b_2_3·b_2_5·b_2_7·b_6_63
       + b_2_3·b_2_5·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_6³·b_2_7 + b_2_3·b_2_5²·b_6_63
       + b_2_3·b_2_5³·b_1_1³·b_1_2 + b_2_3·b_2_5³·b_2_7² + b_2_3·b_2_5⁵
       + b_2_3·b_2_4·b_2_7·b_6_60 + b_2_3·b_2_4·b_2_7⁴ + b_2_3·b_2_4²·b_6_60
       + b_2_3·b_2_4³·b_2_7² + b_2_3·b_2_4⁴·b_2_7 + b_2_3·b_2_4⁵
       + b_2_3²·b_2_7·b_1_2·b_5_42 + b_2_3²·b_2_7·b_1_1·b_5_42 + b_2_3²·b_2_7·b_6_63
       + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6·b_2_7³ + b_2_3²·b_2_5·b_1_1⁵·b_1_2
       + b_2_3²·b_2_5·b_6_60 + b_2_3²·b_2_5·b_2_7³ + b_2_3²·b_2_5²·b_1_1³·b_1_2
       + b_2_3²·b_2_5²·b_2_7² + b_2_3²·b_2_5³·b_1_1·b_1_2 + b_2_3²·b_2_5⁴
       + b_2_3²·b_2_4·b_6_60 + b_2_3²·b_2_4·b_2_7³ + b_2_3²·b_2_4²·b_2_7²
       + b_2_3²·b_2_4³·b_2_7 + b_2_3²·b_2_4⁴ + b_2_3³·b_1_2·b_5_42 + b_2_3³·b_6_63
       + b_2_3³·b_6_60 + b_2_3³·b_6_59 + b_2_3³·b_2_7²·b_1_1·b_1_2
       + b_2_3³·b_2_5·b_1_1³·b_1_2 + b_2_3³·b_2_5·b_2_7² + b_2_3³·b_2_5·b_2_6·b_2_7
       + b_2_3³·b_2_5²·b_1_1² + b_2_3³·b_2_5³ + b_2_3³·b_2_4·b_2_7²
       + b_2_3³·b_2_4·b_2_5·b_2_7 + b_2_3³·b_2_4³ + b_2_3⁴·b_1_1³·b_1_2
       + b_2_3⁴·b_2_7² + b_2_3⁴·b_2_6·b_2_7 + b_2_3⁴·b_2_5·b_1_1·b_1_2
       + b_2_3⁴·b_2_5·b_1_1² + b_2_3⁴·b_2_5·b_2_7 + b_2_3⁴·b_2_5² + b_2_3⁴·b_2_4·b_2_5
       + b_2_3⁴·b_2_4² + b_2_3⁵·b_1_1·b_1_2 + b_2_3⁵·b_2_5 + b_2_3⁵·b_2_4
       + b_2_5·c_8_124·b_1_2² + b_2_4·b_2_5·c_8_124
96. b_6_59·b_1_1⁴·b_1_2² + b_6_59·b_1_1⁵·b_1_2 + b_6_59·b_6_63 + b_6_59²
       + b_2_7·b_6_59·b_1_1·b_1_2³ + b_2_7²·b_1_1·b_1_2⁷ + b_2_7²·b_6_59·b_1_1·b_1_2
       + b_2_7³·b_1_1·b_1_2⁵ + b_2_7³·b_6_59 + b_2_7⁴·b_1_1·b_1_2³
       + b_2_7⁵·b_1_1·b_1_2 + b_2_6·b_2_7²·b_6_63 + b_2_6·b_2_7²·b_6_60
       + b_2_6·b_2_7²·b_6_59 + b_2_6·b_2_7⁵ + b_2_6²·b_2_7·b_6_63 + b_2_6²·b_2_7·b_6_60
       + b_2_6²·b_2_7·b_6_59 + b_2_6⁴·b_2_7² + b_2_5·b_1_1²·b_1_2⁸
       + b_2_5·b_1_1⁴·b_1_2⁶ + b_2_5·b_6_59·b_1_1·b_1_2³ + b_2_5·b_6_59·b_1_1³·b_1_2
       + b_2_5·b_2_7·b_1_1·b_1_2⁷ + b_2_5·b_2_7·b_6_59·b_1_2²
       + b_2_5·b_2_7²·b_1_1·b_1_2⁵ + b_2_5·b_2_7²·b_6_63 + b_2_5·b_2_7³·b_1_1·b_1_2³
       + b_2_5·b_2_7⁴·b_1_1·b_1_2 + b_2_5·b_2_7⁵ + b_2_5²·b_1_2⁸
       + b_2_5²·b_1_1²·b_1_2⁶ + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_1_1⁴·b_1_2⁴
       + b_2_5²·b_2_7·b_1_2⁶ + b_2_5²·b_2_7·b_1_1·b_1_2⁵ + b_2_5²·b_2_7·b_6_59
       + b_2_5²·b_2_7³·b_1_2² + b_2_5²·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_2_7⁴
       + b_2_5³·b_1_1·b_1_2⁵ + b_2_5³·b_6_59 + b_2_5³·b_2_7·b_1_1·b_1_2³
       + b_2_5³·b_2_7²·b_1_2² + b_2_5³·b_2_7³ + b_2_5⁴·b_1_1²·b_1_2²
       + b_2_5⁴·b_2_7·b_1_1·b_1_2 + b_2_5⁴·b_2_7² + b_2_5⁵·b_1_1·b_1_2
       + b_2_4·b_2_7²·b_6_60 + b_2_4²·b_2_7·b_6_60 + b_2_4²·b_2_5·b_2_7³
       + b_2_4³·b_2_7³ + b_2_4³·b_2_5·b_2_7² + b_2_4⁴·b_2_7² + b_2_4⁵·b_2_7
       + b_2_4⁵·b_2_5 + b_2_3·b_1_1⁹·b_1_2 + b_2_3·b_2_7²·b_1_2·b_5_42
       + b_2_3·b_2_7²·b_1_1·b_5_42 + b_2_3·b_2_7²·b_6_63 + b_2_3·b_2_7²·b_6_59
       + b_2_3·b_2_6·b_2_7·b_6_59 + b_2_3·b_2_6·b_2_7⁴ + b_2_3·b_2_6²·b_6_59
       + b_2_3·b_2_5·b_1_1⁷·b_1_2 + b_2_3·b_2_5·b_2_7·b_6_63 + b_2_3·b_2_5·b_2_7·b_6_59
       + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5²·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5³·b_1_1³·b_1_2 + b_2_3·b_2_5³·b_2_7·b_1_1·b_1_2
       + b_2_3·b_2_5⁴·b_1_1·b_1_2 + b_2_3·b_2_5⁴·b_2_7 + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_3·b_2_4·b_2_7⁴ + b_2_3·b_2_4²·b_1_2·b_5_42 + b_2_3·b_2_4²·b_6_60
       + b_2_3·b_2_4²·b_2_7³ + b_2_3·b_2_4²·b_2_5·b_2_7² + b_2_3·b_2_4³·b_2_5·b_2_7
       + b_2_3·b_2_4⁴·b_2_7 + b_2_3·b_2_4⁴·b_2_5 + b_2_3·b_2_4⁵ + b_2_3²·b_1_1⁷·b_1_2
       + b_2_3²·b_2_7·b_1_2·b_5_42 + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_6·b_6_63
       + b_2_3²·b_2_6·b_6_60 + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6³·b_2_7
       + b_2_3²·b_2_5·b_6_63 + b_2_3²·b_2_5·b_2_7²·b_1_1·b_1_2 + b_2_3²·b_2_5·b_2_7³
       + b_2_3²·b_2_5²·b_1_1³·b_1_2 + b_2_3²·b_2_5²·b_2_7²
       + b_2_3²·b_2_5³·b_1_1·b_1_2 + b_2_3²·b_2_4·b_6_60 + b_2_3²·b_2_4·b_2_7³
       + b_2_3²·b_2_4²·b_2_7² + b_2_3²·b_2_4²·b_2_5·b_2_7 + b_2_3²·b_2_4³·b_2_7
       + b_2_3²·b_2_4⁴ + b_2_3³·b_1_1⁵·b_1_2 + b_2_3³·b_6_63 + b_2_3³·b_6_60
       + b_2_3³·b_6_59 + b_2_3³·b_2_7³ + b_2_3³·b_2_6·b_2_7²
       + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_7² + b_2_3³·b_2_5·b_2_6²
       + b_2_3³·b_2_5²·b_1_1² + b_2_3³·b_2_5²·b_2_7 + b_2_3³·b_2_5³
       + b_2_3³·b_2_4·b_2_7² + b_2_3³·b_2_4·b_2_5·b_2_7 + b_2_3⁴·b_2_6·b_2_7
       + b_2_3⁴·b_2_5·b_1_1·b_1_2 + b_2_3⁴·b_2_5·b_2_7 + b_2_3⁴·b_2_5·b_2_6
       + b_2_3⁴·b_2_5² + b_2_3⁴·b_2_4·b_2_5 + b_2_3⁴·b_2_4² + b_2_3⁵·b_2_5
       + c_8_124·b_1_1·b_1_2³ + b_2_3·b_2_4·c_8_124
97. b_6_59·b_1_1³·b_1_2³ + b_6_59·b_1_1⁴·b_1_2² + b_6_59² + b_2_7·b_1_1·b_1_2⁹
       + b_2_7·b_6_59·b_1_2⁴ + b_2_7²·b_1_2⁸ + b_2_7²·b_1_1·b_1_2⁷
       + b_2_7²·b_6_59·b_1_2² + b_2_7³·b_1_2⁶ + b_2_7⁴·b_1_2⁴ + b_2_7⁵·b_1_2²
       + b_2_6·b_2_7⁵ + b_2_6³·b_2_7³ + b_2_5·b_1_2¹⁰ + b_2_5·b_1_1·b_1_2⁹
       + b_2_5·b_1_1³·b_1_2⁷ + b_2_5·b_6_59·b_1_2⁴ + b_2_5·b_6_59·b_1_1²·b_1_2²
       + b_2_5·b_2_7·b_6_59·b_1_2² + b_2_5·b_2_7²·b_1_2⁶ + b_2_5·b_2_7³·b_1_2⁴
       + b_2_5·b_2_7³·b_1_1·b_1_2³ + b_2_5·b_2_7⁴·b_1_2² + b_2_5²·b_1_1·b_1_2⁷
       + b_2_5²·b_1_1²·b_1_2⁶ + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_6_59·b_1_2²
       + b_2_5²·b_2_7·b_1_2⁶ + b_2_5²·b_2_7²·b_1_2⁴ + b_2_5²·b_2_7⁴
       + b_2_5³·b_1_2⁶ + b_2_5³·b_2_7·b_1_2⁴ + b_2_5³·b_2_7²·b_1_2²
       + b_2_5⁴·b_1_1·b_1_2³ + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁵·b_1_2² + b_2_4²·b_2_7⁴
       + b_2_4³·b_2_7³ + b_2_4³·b_2_5·b_2_7² + b_2_4⁵·b_2_7
       + b_2_3·b_2_7²·b_1_2·b_5_42 + b_2_3·b_2_5·b_6_59·b_1_1² + b_2_3·b_2_5·b_2_7·b_6_63
       + b_2_3·b_2_5·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_7⁴ + b_2_3·b_2_5²·b_1_1⁵·b_1_2
       + b_2_3·b_2_5²·b_6_63 + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5²·b_2_7²·b_1_1·b_1_2
       + b_2_3·b_2_5²·b_2_7³ + b_2_3·b_2_5³·b_1_1³·b_1_2
       + b_2_3·b_2_5³·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5⁵ + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_3·b_2_4·b_2_7·b_6_60 + b_2_3·b_2_4·b_2_7⁴ + b_2_3·b_2_4²·b_1_2·b_5_42
       + b_2_3·b_2_4²·b_6_60 + b_2_3·b_2_4²·b_2_7³ + b_2_3·b_2_4²·b_2_5·b_2_7²
       + b_2_3·b_2_4³·b_2_5·b_2_7 + b_2_3²·b_2_7·b_1_2·b_5_42 + b_2_3²·b_2_7·b_1_1·b_5_42
       + b_2_3²·b_2_7·b_6_63 + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_7·b_6_59
       + b_2_3²·b_2_6·b_2_7³ + b_2_3²·b_2_6²·b_2_7² + b_2_3²·b_2_5·b_1_1⁵·b_1_2
       + b_2_3²·b_2_5·b_6_60 + b_2_3²·b_2_5·b_6_59 + b_2_3²·b_2_5·b_2_7²·b_1_1·b_1_2
       + b_2_3²·b_2_5·b_2_7³ + b_2_3²·b_2_5·b_2_6²·b_2_7
       + b_2_3²·b_2_5²·b_2_7·b_1_1·b_1_2 + b_2_3²·b_2_5²·b_2_7²
       + b_2_3²·b_2_5³·b_1_1² + b_2_3²·b_2_5⁴ + b_2_3²·b_2_4·b_2_5·b_2_7²
       + b_2_3²·b_2_4³·b_2_7 + b_2_3²·b_2_4⁴ + b_2_3³·b_1_1⁵·b_1_2 + b_2_3³·b_6_63
       + b_2_3³·b_6_60 + b_2_3³·b_2_7²·b_1_1·b_1_2 + b_2_3³·b_2_6²·b_2_7
       + b_2_3³·b_2_5·b_1_1³·b_1_2 + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2
       + b_2_3³·b_2_5·b_2_6·b_2_7 + b_2_3³·b_2_5·b_2_6² + b_2_3³·b_2_5²·b_1_1·b_1_2
       + b_2_3³·b_2_5²·b_1_1² + b_2_3³·b_2_4·b_2_7² + b_2_3³·b_2_4·b_2_5·b_2_7
       + b_2_3³·b_2_4³ + b_2_3⁴·b_2_7² + b_2_3⁴·b_2_5·b_2_6 + b_2_3⁴·b_2_4·b_2_7
       + b_2_3⁴·b_2_4·b_2_5 + b_2_3⁵·b_2_7 + b_2_3⁵·b_2_5 + b_2_3⁵·b_2_4 + c_8_124·b_1_2⁴
       + b_2_4²·c_8_124
98. b_5_42·b_7_90 + b_6_59·b_1_1³·b_1_2³ + b_6_59·b_1_1⁴·b_1_2² + b_6_59·b_6_63
       + b_6_59·b_6_60 + b_2_7·b_1_1·b_1_2⁹ + b_2_7·b_6_59·b_1_1·b_1_2³ + b_2_7²·b_1_2⁸
       + b_2_7²·b_6_59·b_1_2² + b_2_7²·b_6_59·b_1_1·b_1_2 + b_2_7³·b_1_1·b_5_42
       + b_2_7³·b_6_59 + b_2_7⁵·b_1_1·b_1_2 + b_2_7⁶ + b_2_6·b_2_7⁵ + b_2_6³·b_2_7³
       + b_2_6⁴·b_2_7² + b_2_5·b_1_2¹⁰ + b_2_5·b_1_1·b_1_2⁹ + b_2_5·b_1_1³·b_1_2⁷
       + b_2_5·b_6_60·b_1_1⁴ + b_2_5·b_6_59·b_1_2⁴ + b_2_5·b_6_59·b_1_1²·b_1_2²
       + b_2_5·b_6_59·b_1_1⁴ + b_2_5·b_2_7·b_1_2⁸ + b_2_5·b_2_7·b_1_1·b_1_2⁷
       + b_2_5·b_2_7·b_6_59·b_1_1·b_1_2 + b_2_5·b_2_7³·b_1_2⁴ + b_2_5·b_2_7⁴·b_1_2²
       + b_2_5·b_2_7⁵ + b_2_5·b_2_6⁴·b_2_7 + b_2_5²·b_1_2⁸ + b_2_5²·b_1_1³·b_5_41
       + b_2_5²·b_1_1³·b_1_2⁵ + b_2_5²·b_6_60·b_1_1² + b_2_5²·b_6_59·b_1_1²
       + b_2_5²·b_2_7·b_1_1·b_1_2⁵ + b_2_5²·b_2_7·b_6_60
       + b_2_5²·b_2_7²·b_1_1·b_1_2³ + b_2_5²·b_2_7³·b_1_2²
       + b_2_5²·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_2_7⁴ + b_2_5³·b_1_1·b_5_41
       + b_2_5³·b_1_1·b_1_2⁵ + b_2_5³·b_1_1³·b_1_2³ + b_2_5³·b_1_1⁴·b_1_2²
       + b_2_5³·b_1_1⁵·b_1_2 + b_2_5³·b_2_7·b_1_2⁴ + b_2_5³·b_2_7²·b_1_2²
       + b_2_5³·b_2_7²·b_1_1·b_1_2 + b_2_5⁴·b_1_2⁴ + b_2_5⁴·b_1_1·b_1_2³
       + b_2_5⁴·b_1_1³·b_1_2 + b_2_5⁴·b_1_1⁴ + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁴·b_2_7²
       + b_2_5⁵·b_1_2² + b_2_5⁵·b_1_1² + b_2_4·b_2_7²·b_1_2·b_5_42
       + b_2_4·b_2_7²·b_6_60 + b_2_4·b_2_7⁵ + b_2_4²·b_2_7⁴ + b_2_4³·b_1_2·b_5_42
       + b_2_4³·b_6_60 + b_2_4⁵·b_2_7 + b_2_4⁶ + b_2_3·b_6_59·b_1_1⁴
       + b_2_3·b_2_7²·b_6_59 + b_2_3·b_2_7⁵ + b_2_3·b_2_6·b_2_7·b_6_59
       + b_2_3·b_2_6·b_2_7⁴ + b_2_3·b_2_6²·b_6_59 + b_2_3·b_2_5·b_1_1³·b_5_41
       + b_2_3·b_2_5·b_2_6³·b_2_7 + b_2_3·b_2_5²·b_1_1·b_5_41 + b_2_3·b_2_5²·b_1_1⁶
       + b_2_3·b_2_5²·b_6_60 + b_2_3·b_2_5²·b_6_59 + b_2_3·b_2_5³·b_1_1³·b_1_2
       + b_2_3·b_2_5³·b_1_1⁴ + b_2_3·b_2_5⁴·b_2_7 + b_2_3·b_2_4·b_2_7·b_6_60
       + b_2_3·b_2_4·b_2_7⁴ + b_2_3·b_2_4·b_2_5·b_2_7³ + b_2_3·b_2_4²·b_1_2·b_5_42
       + b_2_3·b_2_4²·b_2_5·b_2_7² + b_2_3·b_2_4³·b_2_5·b_2_7 + b_2_3·b_2_4⁴·b_2_7
       + b_2_3·b_2_4⁴·b_2_5 + b_2_3²·b_6_59·b_1_1² + b_2_3²·b_2_7·b_6_63
       + b_2_3²·b_2_6·b_6_59 + b_2_3²·b_2_6·b_2_7³ + b_2_3²·b_2_5·b_1_1⁵·b_1_2
       + b_2_3²·b_2_5·b_6_63 + b_2_3²·b_2_5·b_6_60 + b_2_3²·b_2_5·b_6_59
       + b_2_3²·b_2_5·b_2_7³ + b_2_3²·b_2_5·b_2_6³ + b_2_3²·b_2_5²·b_2_7·b_1_1·b_1_2
       + b_2_3²·b_2_5²·b_2_7² + b_2_3²·b_2_5³·b_2_7 + b_2_3²·b_2_4·b_1_2·b_5_42
       + b_2_3²·b_2_4·b_2_5·b_2_7² + b_2_3²·b_2_4²·b_2_5·b_2_7 + b_2_3²·b_2_4³·b_2_5
       + b_2_3³·b_1_1·b_5_42 + b_2_3³·b_1_1⁵·b_1_2 + b_2_3³·b_6_59
       + b_2_3³·b_2_7²·b_1_1·b_1_2 + b_2_3³·b_2_6·b_2_7² + b_2_3³·b_2_5·b_1_1³·b_1_2
       + b_2_3³·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3³·b_2_5·b_2_6·b_2_7
       + b_2_3³·b_2_5·b_2_6² + b_2_3³·b_2_5²·b_1_1·b_1_2 + b_2_3³·b_2_5²·b_2_7
       + b_2_3³·b_2_5³ + b_2_3³·b_2_4·b_2_7² + b_2_3³·b_2_4·b_2_5·b_2_7
       + b_2_3³·b_2_4²·b_2_7 + b_2_3⁴·b_2_6·b_2_7 + b_2_3⁴·b_2_5·b_1_1²
       + b_2_3⁴·b_2_5·b_2_6 + b_2_3⁴·b_2_4² + b_2_3⁵·b_2_7 + b_2_3⁵·b_2_5
       + b_2_6³·b_2_7·a_1_0·b_3_15 + c_8_124·b_1_2⁴ + b_2_7·c_8_124·b_1_2²
       + b_2_5·c_8_124·b_1_2² + b_2_5·c_8_124·b_1_1·b_1_2
99. b_5_41·b_7_90 + b_6_63² + b_6_60·b_6_63 + b_6_59·b_1_1⁴·b_1_2²
       + b_6_59·b_1_1⁵·b_1_2 + b_6_59·b_6_63 + b_6_59·b_6_60 + b_2_7·b_6_59·b_1_2⁴
       + b_2_7³·b_1_2·b_5_42 + b_2_7³·b_1_1·b_5_42 + b_2_7³·b_1_1·b_1_2⁵ + b_2_7³·b_6_63
       + b_2_7³·b_6_59 + b_2_7⁴·b_1_2⁴ + b_2_7⁵·b_1_2² + b_2_7⁵·b_1_1·b_1_2
       + b_2_6·b_2_7²·b_6_60 + b_2_6·b_2_7²·b_6_59 + b_2_6²·b_2_7·b_6_60 + b_2_6²·b_2_7⁴
       + b_2_6³·b_6_63 + b_2_6³·b_6_60 + b_2_6³·b_6_59 + b_2_6³·b_2_7³ + b_2_6⁴·b_2_7²
       + b_2_5·b_1_1²·b_1_2⁸ + b_2_5·b_1_1⁴·b_1_2⁶ + b_2_5·b_1_1⁵·b_5_41
       + b_2_5·b_6_59·b_1_1³·b_1_2 + b_2_5·b_2_7·b_1_1·b_1_2⁷
       + b_2_5·b_2_7·b_6_59·b_1_2² + b_2_5·b_2_7²·b_1_2⁶ + b_2_5·b_2_7²·b_6_63
       + b_2_5·b_2_7²·b_6_60 + b_2_5·b_2_7³·b_1_1·b_1_2³ + b_2_5·b_2_7⁴·b_1_1·b_1_2
       + b_2_5·b_2_6⁵ + b_2_5²·b_1_2⁸ + b_2_5²·b_1_1·b_1_2⁷ + b_2_5²·b_1_1³·b_5_41
       + b_2_5²·b_1_1⁴·b_1_2⁴ + b_2_5²·b_1_1⁵·b_1_2³ + b_2_5²·b_1_1⁶·b_1_2²
       + b_2_5²·b_6_59·b_1_2² + b_2_5²·b_6_59·b_1_1·b_1_2 + b_2_5²·b_2_7·b_1_1·b_1_2⁵
       + b_2_5²·b_2_7·b_6_59 + b_2_5²·b_2_7²·b_1_2⁴ + b_2_5²·b_2_7³·b_1_2²
       + b_2_5²·b_2_7³·b_1_1·b_1_2 + b_2_5²·b_2_7⁴ + b_2_5³·b_1_1²·b_1_2⁴
       + b_2_5³·b_1_1³·b_1_2³ + b_2_5³·b_6_59 + b_2_5⁴·b_1_1²·b_1_2²
       + b_2_5⁴·b_1_1³·b_1_2 + b_2_5⁴·b_2_7·b_1_2² + b_2_5⁴·b_2_7·b_1_1·b_1_2
       + b_2_5⁴·b_2_7² + b_2_5⁵·b_1_2² + b_2_5⁵·b_1_1·b_1_2 + b_2_5⁵·b_1_1²
       + b_2_5⁵·b_2_7 + b_2_5⁶ + b_2_4·b_2_7²·b_1_2·b_5_42 + b_2_4·b_2_7⁵
       + b_2_4²·b_2_5·b_2_7³ + b_2_4³·b_2_5·b_2_7² + b_2_4⁴·b_2_7² + b_2_4⁵·b_2_7
       + b_2_4⁶ + b_2_3·b_1_1⁹·b_1_2 + b_2_3·b_2_7²·b_1_1·b_5_42 + b_2_3·b_2_7²·b_6_60
       + b_2_3·b_2_7⁵ + b_2_3·b_2_6·b_2_7·b_6_63 + b_2_3·b_2_6·b_2_7·b_6_59
       + b_2_3·b_2_6·b_2_7⁴ + b_2_3·b_2_6²·b_6_63 + b_2_3·b_2_6²·b_6_60
       + b_2_3·b_2_6³·b_2_7² + b_2_3·b_2_6⁴·b_2_7 + b_2_3·b_2_5·b_1_1³·b_5_41
       + b_2_3·b_2_5·b_1_1⁷·b_1_2 + b_2_3·b_2_5·b_2_7·b_6_59 + b_2_3·b_2_5·b_2_7⁴
       + b_2_3·b_2_5·b_2_6³·b_2_7 + b_2_3·b_2_5·b_2_6⁴ + b_2_3·b_2_5²·b_1_1·b_5_41
       + b_2_3·b_2_5²·b_1_1⁶ + b_2_3·b_2_5²·b_6_63 + b_2_3·b_2_5²·b_6_59
       + b_2_3·b_2_5³·b_1_1³·b_1_2 + b_2_3·b_2_5³·b_1_1⁴
       + b_2_3·b_2_5³·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5³·b_2_7²
       + b_2_3·b_2_5⁴·b_1_1·b_1_2 + b_2_3·b_2_4·b_2_7·b_1_2·b_5_42
       + b_2_3·b_2_4·b_2_7·b_6_60 + b_2_3·b_2_4·b_2_5·b_2_7³ + b_2_3·b_2_4³·b_2_7²
       + b_2_3·b_2_4⁴·b_2_7 + b_2_3²·b_1_1⁷·b_1_2 + b_2_3²·b_6_59·b_1_1²
       + b_2_3²·b_2_7·b_6_60 + b_2_3²·b_2_6·b_2_7³ + b_2_3²·b_2_6²·b_2_7²
       + b_2_3²·b_2_5·b_2_7³ + b_2_3²·b_2_5²·b_1_1⁴ + b_2_3²·b_2_5³·b_2_7
       + b_2_3²·b_2_5⁴ + b_2_3²·b_2_4·b_1_2·b_5_42 + b_2_3²·b_2_4·b_6_60
       + b_2_3²·b_2_4·b_2_7³ + b_2_3²·b_2_4²·b_2_7² + b_2_3²·b_2_4²·b_2_5·b_2_7
       + b_2_3²·b_2_4³·b_2_5 + b_2_3³·b_1_2·b_5_42 + b_2_3³·b_1_1·b_5_42
       + b_2_3³·b_2_7²·b_1_1·b_1_2 + b_2_3³·b_2_7³ + b_2_3³·b_2_6·b_2_7²
       + b_2_3³·b_2_5·b_2_7² + b_2_3³·b_2_5·b_2_6² + b_2_3³·b_2_4·b_2_5·b_2_7
       + b_2_3³·b_2_4²·b_2_7 + b_2_3³·b_2_4²·b_2_5 + b_2_3⁴·b_2_7·b_1_1·b_1_2
       + b_2_3⁴·b_2_7² + b_2_3⁴·b_2_6·b_2_7 + b_2_3⁴·b_2_5·b_1_1·b_1_2
       + b_2_3⁴·b_2_5·b_2_7 + b_2_3⁴·b_2_5² + b_2_3⁴·b_2_4·b_2_7 + b_2_3⁴·b_2_4·b_2_5
       + b_2_3⁴·b_2_4² + b_2_3⁵·b_2_7 + b_2_3⁵·b_2_5 + b_2_6³·b_2_7·a_1_0·b_3_15
       + c_8_124·b_1_1·b_1_2³ + b_2_7·c_8_124·b_1_1·b_1_2 + b_2_5·c_8_124·b_1_1·b_1_2
       + b_2_5·c_8_124·b_1_1²
100. b_6_63·b_7_90 + b_6_60·b_7_90 + b_2_7·b_6_59·b_1_2⁵ + b_2_7·b_6_59·b_1_1·b_1_2⁴
        + b_2_7²·b_1_1·b_1_2⁸ + b_2_7²·b_6_59·b_1_2³ + b_2_7²·b_6_59·b_1_1·b_1_2²
        + b_2_7³·b_7_90 + b_2_7³·b_6_59·b_1_1 + b_2_7⁴·b_5_41 + b_2_7⁵·b_1_2³
        + b_2_7⁶·b_1_2 + b_2_6²·b_2_7³·b_3_15 + b_2_6³·b_2_7·b_5_42 + b_2_6³·b_2_7·b_5_41
        + b_2_6⁴·b_5_42 + b_2_6⁴·b_2_7·b_3_15 + b_2_5·b_6_59·b_1_1³·b_1_2²
        + b_2_5·b_6_59·b_1_1⁴·b_1_2 + b_2_5·b_2_7²·b_1_2⁷ + b_2_5·b_2_7²·b_1_1·b_1_2⁶
        + b_2_5·b_2_7²·b_6_59·b_1_1 + b_2_5·b_2_7³·b_5_41 + b_2_5²·b_1_2⁹
        + b_2_5²·b_1_1²·b_1_2⁷ + b_2_5²·b_1_1³·b_1_2⁶ + b_2_5²·b_1_1⁴·b_5_41
        + b_2_5²·b_6_60·b_1_1³ + b_2_5²·b_6_59·b_1_2³ + b_2_5²·b_6_59·b_1_1·b_1_2²
        + b_2_5²·b_6_59·b_1_1²·b_1_2 + b_2_5²·b_2_7·b_1_1·b_1_2⁶
        + b_2_5²·b_2_7·b_6_59·b_1_2 + b_2_5²·b_2_7²·b_5_42 + b_2_5²·b_2_7²·b_1_2⁵
        + b_2_5³·b_1_2⁷ + b_2_5³·b_1_1·b_1_2⁶ + b_2_5³·b_1_1³·b_1_2⁴
        + b_2_5³·b_1_1⁴·b_1_2³ + b_2_5³·b_1_1⁵·b_1_2² + b_2_5³·b_6_60·b_1_1
        + b_2_5³·b_2_7·b_5_42 + b_2_5³·b_2_7·b_5_41 + b_2_5³·b_2_7·b_1_1·b_1_2⁴
        + b_2_5³·b_2_7²·b_1_1·b_1_2² + b_2_5³·b_2_7³·b_1_2 + b_2_5³·b_2_7³·b_1_1
        + b_2_5⁴·b_5_41 + b_2_5⁴·b_1_2⁵ + b_2_5⁴·b_1_1·b_1_2⁴ + b_2_5⁴·b_1_1²·b_1_2³
        + b_2_5⁴·b_1_1³·b_1_2² + b_2_5⁴·b_1_1⁴·b_1_2 + b_2_5⁴·b_2_7·b_1_2³
        + b_2_5⁴·b_2_7·b_1_1·b_1_2² + b_2_5⁴·b_2_7²·b_1_2 + b_2_5⁵·b_1_2³
        + b_2_5⁵·b_1_1³ + b_2_5⁵·b_2_7·b_1_2 + b_2_5⁶·b_1_2 + b_2_4·b_2_7³·b_5_42
        + b_2_4·b_2_7³·b_5_41 + b_2_4·b_2_7⁵·b_1_2 + b_2_4²·b_2_7²·b_5_42
        + b_2_4²·b_2_7⁴·b_1_2 + b_2_4⁵·b_2_7·b_1_2 + b_2_4⁶·b_1_2 + b_2_3·b_6_59·b_1_1⁵
        + b_2_3·b_2_7²·b_7_90 + b_2_3·b_2_7³·b_5_42 + b_2_3·b_2_7³·b_5_41
        + b_2_3·b_2_7⁵·b_1_2 + b_2_3·b_2_6·b_2_7·b_7_90 + b_2_3·b_2_6²·b_2_7·b_5_41
        + b_2_3·b_2_6²·b_2_7²·b_3_15 + b_2_3·b_2_6³·b_5_42 + b_2_3·b_2_6³·b_5_39
        + b_2_3·b_2_6⁴·b_3_15 + b_2_3·b_2_6⁴·b_2_7·b_1_1 + b_2_3·b_2_5·b_1_1⁸·b_1_2
        + b_2_3·b_2_5·b_2_7²·b_5_41 + b_2_3·b_2_5·b_2_7⁴·b_1_2
        + b_2_3·b_2_5²·b_1_1²·b_5_41 + b_2_3·b_2_5²·b_2_7³·b_1_1 + b_2_3·b_2_5³·b_5_42
        + b_2_3·b_2_5³·b_5_41 + b_2_3·b_2_5⁴·b_2_7·b_1_2 + b_2_3·b_2_4·b_2_7²·b_5_42
        + b_2_3·b_2_4·b_2_7⁴·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_5_42
        + b_2_3·b_2_4²·b_2_7·b_5_41 + b_2_3·b_2_4³·b_2_7²·b_1_2
        + b_2_3·b_2_4³·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4⁴·b_2_7·b_1_2 + b_2_3·b_2_4⁵·b_1_2
        + b_2_3²·b_1_1⁸·b_1_2 + b_2_3²·b_6_59·b_1_1³ + b_2_3²·b_2_7²·b_5_41
        + b_2_3²·b_2_7³·b_3_15 + b_2_3²·b_2_7⁴·b_1_2 + b_2_3²·b_2_6·b_2_7·b_5_42
        + b_2_3²·b_2_6·b_2_7·b_5_41 + b_2_3²·b_2_6·b_2_7²·b_3_15 + b_2_3²·b_2_6²·b_5_39
        + b_2_3²·b_2_6²·b_2_7·b_3_15 + b_2_3²·b_2_5·b_1_1⁶·b_1_2
        + b_2_3²·b_2_5·b_6_59·b_1_1 + b_2_3²·b_2_5·b_2_7·b_5_42
        + b_2_3²·b_2_5·b_2_7³·b_1_1 + b_2_3²·b_2_5²·b_5_42
        + b_2_3²·b_2_5²·b_2_7²·b_1_1 + b_2_3²·b_2_5³·b_1_1²·b_1_2
        + b_2_3²·b_2_5³·b_2_7·b_1_2 + b_2_3²·b_2_5³·b_2_7·b_1_1 + b_2_3²·b_2_5⁴·b_1_2
        + b_2_3²·b_2_5⁴·b_1_1 + b_2_3²·b_2_4·b_2_7·b_5_41 + b_2_3²·b_2_4·b_2_7³·b_1_2
        + b_2_3²·b_2_4²·b_5_42 + b_2_3²·b_2_4²·b_5_41 + b_2_3²·b_2_4²·b_2_5·b_2_7·b_1_2
        + b_2_3²·b_2_4³·b_2_7·b_1_2 + b_2_3²·b_2_4³·b_2_5·b_1_2 + b_2_3²·b_2_4⁴·b_1_2
        + b_2_3³·b_2_7²·b_3_15 + b_2_3³·b_2_6·b_5_42 + b_2_3³·b_2_6·b_5_39
        + b_2_3³·b_2_6·b_2_7·b_3_15 + b_2_3³·b_2_6²·b_2_7·b_1_1
        + b_2_3³·b_2_5·b_2_7²·b_1_1 + b_2_3³·b_2_5²·b_1_1²·b_1_2
        + b_2_3³·b_2_5²·b_1_1³ + b_2_3³·b_2_5²·b_2_7·b_1_1 + b_2_3³·b_2_5³·b_1_2
        + b_2_3³·b_2_5³·b_1_1 + b_2_3³·b_2_4·b_2_5·b_2_7·b_1_2
        + b_2_3³·b_2_4²·b_2_7·b_1_2 + b_2_3³·b_2_4²·b_2_5·b_1_2 + b_2_3⁴·b_5_42
        + b_2_3⁴·b_5_39 + b_2_3⁴·b_1_1⁴·b_1_2 + b_2_3⁴·b_2_7·b_3_15 + b_2_3⁴·b_2_7²·b_1_2
        + b_2_3⁴·b_2_6·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_3_15 + b_2_3⁴·b_2_5·b_1_1³
        + b_2_3⁴·b_2_5·b_2_7·b_1_2 + b_2_3⁴·b_2_5·b_2_7·b_1_1 + b_2_3⁴·b_2_4·b_2_7·b_1_2
        + b_2_3⁴·b_2_4·b_2_5·b_1_2 + b_2_3⁴·b_2_4²·b_1_2 + b_2_3⁵·b_3_15
        + b_2_3⁵·b_2_5·b_1_2 + b_2_3⁵·b_2_5·b_1_1 + b_2_3⁵·b_2_4·b_1_2 + b_2_6⁵·b_2_7·a_1_0
        + b_2_5·c_8_124·b_1_2³ + b_2_5·b_2_7·c_8_124·b_1_2 + b_2_5²·c_8_124·b_1_1
        + b_2_4²·c_8_124·b_1_2 + b_2_3·b_2_7·c_8_124·b_1_1 + b_2_3·b_2_5·c_8_124·b_1_2
101. b_6_59·b_7_90 + b_6_59²·b_1_2 + b_2_7·b_6_59·b_1_1·b_1_2⁴ + b_2_7²·b_1_1·b_1_2⁸
        + b_2_7²·b_6_59·b_1_2³ + b_2_7³·b_1_2⁷ + b_2_7³·b_1_1·b_1_2⁶
        + b_2_7³·b_6_59·b_1_2 + b_2_7⁴·b_1_2⁵ + b_2_7⁵·b_3_15 + b_2_7⁵·b_1_2³
        + b_2_7⁶·b_1_2 + b_2_6·b_2_7³·b_5_42 + b_2_6·b_2_7³·b_5_41 + b_2_6·b_2_7⁴·b_3_15
        + b_2_6²·b_2_7²·b_5_41 + b_2_6³·b_2_7²·b_3_15 + b_2_6⁴·b_5_42
        + b_2_6⁴·b_2_7·b_3_15 + b_2_5·b_6_59·b_1_1³·b_1_2² + b_2_5·b_6_59·b_1_1⁴·b_1_2
        + b_2_5·b_6_59·b_1_1⁵ + b_2_5·b_2_7·b_1_2⁹ + b_2_5·b_2_7·b_1_1·b_1_2⁸
        + b_2_5·b_2_7·b_6_59·b_1_2³ + b_2_5·b_2_7·b_6_59·b_1_1·b_1_2²
        + b_2_5·b_2_7²·b_1_1·b_1_2⁶ + b_2_5·b_2_7²·b_6_59·b_1_2 + b_2_5·b_2_7³·b_5_42
        + b_2_5·b_2_7³·b_1_2⁵ + b_2_5·b_2_7³·b_1_1·b_1_2⁴ + b_2_5·b_2_7⁴·b_1_2³
        + b_2_5·b_2_7⁴·b_1_1·b_1_2² + b_2_5·b_2_7⁵·b_1_1 + b_2_5²·b_1_1⁴·b_1_2⁵
        + b_2_5²·b_6_59·b_1_1·b_1_2² + b_2_5²·b_6_59·b_1_1²·b_1_2
        + b_2_5²·b_6_59·b_1_1³ + b_2_5²·b_2_7·b_6_59·b_1_2 + b_2_5²·b_2_7·b_6_59·b_1_1
        + b_2_5²·b_2_7²·b_5_42 + b_2_5²·b_2_7²·b_5_41 + b_2_5²·b_2_7²·b_1_2⁵
        + b_2_5²·b_2_7²·b_1_1·b_1_2⁴ + b_2_5²·b_2_7⁴·b_1_1 + b_2_5³·b_1_2⁷
        + b_2_5³·b_1_1³·b_1_2⁴ + b_2_5³·b_1_1⁴·b_1_2³ + b_2_5³·b_2_7·b_5_42
        + b_2_5³·b_2_7·b_1_1·b_1_2⁴ + b_2_5³·b_2_7²·b_1_2³ + b_2_5³·b_2_7³·b_1_2
        + b_2_5⁴·b_1_2⁵ + b_2_5⁴·b_2_7²·b_1_2 + b_2_5⁴·b_2_7²·b_1_1
        + b_2_5⁵·b_1_1²·b_1_2 + b_2_5⁵·b_2_7·b_1_2 + b_2_5⁵·b_2_7·b_1_1 + b_2_5⁶·b_1_1
        + b_2_4·b_2_7³·b_5_42 + b_2_4·b_2_5·b_2_7²·b_5_42 + b_2_4²·b_2_7⁴·b_1_2
        + b_2_4²·b_2_5·b_2_7·b_5_42 + b_2_4³·b_2_7·b_5_42 + b_2_4³·b_2_7·b_5_41
        + b_2_4³·b_2_7³·b_1_2 + b_2_4³·b_2_5·b_5_42 + b_2_4⁴·b_5_41 + b_2_4⁴·b_2_7²·b_1_2
        + b_2_4⁴·b_2_5·b_2_7·b_1_2 + b_2_3·b_6_59·b_1_1⁵ + b_2_3·b_2_7²·b_7_90
        + b_2_3·b_2_7³·b_5_42 + b_2_3·b_2_7⁵·b_1_2 + b_2_3·b_2_7⁵·b_1_1
        + b_2_3·b_2_6·b_2_7²·b_5_42 + b_2_3·b_2_6·b_2_7²·b_5_41
        + b_2_3·b_2_6·b_2_7³·b_3_15 + b_2_3·b_2_6²·b_2_7·b_5_42
        + b_2_3·b_2_6³·b_2_7·b_3_15 + b_2_3·b_2_6⁴·b_2_7·b_1_1 + b_2_3·b_2_5·b_2_7⁴·b_1_2
        + b_2_3·b_2_5·b_2_7⁴·b_1_1 + b_2_3·b_2_5²·b_1_1⁶·b_1_2
        + b_2_3·b_2_5²·b_6_59·b_1_1 + b_2_3·b_2_5²·b_2_7³·b_1_2
        + b_2_3·b_2_5³·b_1_1⁴·b_1_2 + b_2_3·b_2_5³·b_2_7²·b_1_1
        + b_2_3·b_2_5⁴·b_1_1²·b_1_2 + b_2_3·b_2_5⁵·b_1_2 + b_2_3·b_2_4·b_2_5·b_2_7·b_5_42
        + b_2_3·b_2_4²·b_2_7·b_5_42 + b_2_3·b_2_4²·b_2_5·b_5_42 + b_2_3·b_2_4³·b_5_41
        + b_2_3·b_2_4³·b_2_5·b_2_7·b_1_2 + b_2_3·b_2_4⁵·b_1_2 + b_2_3²·b_1_1⁸·b_1_2
        + b_2_3²·b_6_59·b_1_1³ + b_2_3²·b_2_7·b_7_90 + b_2_3²·b_2_7⁴·b_1_2
        + b_2_3²·b_2_7⁴·b_1_1 + b_2_3²·b_2_6·b_2_7·b_5_42 + b_2_3²·b_2_6·b_2_7·b_5_41
        + b_2_3²·b_2_6·b_2_7²·b_3_15 + b_2_3²·b_2_6²·b_5_39
        + b_2_3²·b_2_6²·b_2_7·b_3_15 + b_2_3²·b_2_6³·b_3_15 + b_2_3²·b_2_6³·b_2_7·b_1_1
        + b_2_3²·b_2_5·b_1_1⁶·b_1_2 + b_2_3²·b_2_5·b_2_7³·b_1_2
        + b_2_3²·b_2_5·b_2_7³·b_1_1 + b_2_3²·b_2_5²·b_5_42
        + b_2_3²·b_2_5³·b_1_1²·b_1_2 + b_2_3²·b_2_5³·b_1_1³
        + b_2_3²·b_2_5³·b_2_7·b_1_2 + b_2_3²·b_2_5⁴·b_1_2 + b_2_3²·b_2_4²·b_5_41
        + b_2_3²·b_2_4²·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_4³·b_2_7·b_1_2
        + b_2_3³·b_1_1⁶·b_1_2 + b_2_3³·b_2_7·b_5_41 + b_2_3³·b_2_7³·b_1_1
        + b_2_3³·b_2_6·b_5_39 + b_2_3³·b_2_6²·b_2_7·b_1_1 + b_2_3³·b_2_5·b_5_42
        + b_2_3³·b_2_5·b_1_1⁴·b_1_2 + b_2_3³·b_2_5·b_2_7²·b_1_1
        + b_2_3³·b_2_5²·b_2_7·b_1_1 + b_2_3³·b_2_5³·b_1_2 + b_2_3³·b_2_5³·b_1_1
        + b_2_3³·b_2_4·b_5_41 + b_2_3³·b_2_4·b_2_5·b_2_7·b_1_2 + b_2_3⁴·b_1_1⁴·b_1_2
        + b_2_3⁴·b_2_7·b_3_15 + b_2_3⁴·b_2_7²·b_1_2 + b_2_3⁴·b_2_7²·b_1_1
        + b_2_3⁴·b_2_6·b_3_15 + b_2_3⁴·b_2_6·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_1_1³
        + b_2_3⁴·b_2_5·b_2_7·b_1_1 + b_2_3⁴·b_2_5²·b_1_2 + b_2_3⁴·b_2_5²·b_1_1
        + b_2_3⁴·b_2_4²·b_1_2 + b_2_3⁵·b_1_1²·b_1_2 + b_2_3⁵·b_2_7·b_1_2
        + b_2_3⁵·b_2_7·b_1_1 + b_2_3⁵·b_2_5·b_1_1 + b_2_3⁵·b_2_4·b_1_2 + b_2_6⁵·b_2_7·a_1_0
        + b_2_7·c_8_124·b_1_2³ + b_2_5·c_8_124·b_1_1·b_1_2² + b_2_4·b_2_7·c_8_124·b_1_2
        + b_2_3·c_8_124·b_1_1²·b_1_2 + b_2_3·b_2_4·c_8_124·b_1_2 + b_2_3²·c_8_124·b_1_2
102. b_6_63·b_7_90 + b_6_59·b_7_90 + b_6_59²·b_1_1 + b_2_7²·b_6_59·b_1_1·b_1_2²
        + b_2_7³·b_1_1·b_1_2⁶ + b_2_7³·b_6_59·b_1_2 + b_2_7³·b_6_59·b_1_1 + b_2_7⁴·b_5_42
        + b_2_7⁶·b_1_2 + b_2_7⁶·b_1_1 + b_2_6·b_2_7²·b_7_90 + b_2_6·b_2_7³·b_5_42
        + b_2_6·b_2_7⁴·b_3_15 + b_2_6²·b_2_7·b_7_90 + b_2_6²·b_2_7²·b_5_41
        + b_2_6²·b_2_7³·b_3_15 + b_2_6³·b_7_90 + b_2_6³·b_2_7·b_5_41 + b_2_6⁴·b_2_7·b_3_15
        + b_2_6⁵·b_3_15 + b_2_6⁵·b_2_7·b_1_1 + b_2_5·b_6_60·b_1_1⁵
        + b_2_5·b_6_59·b_1_1·b_1_2⁴ + b_2_5·b_6_59·b_1_1⁴·b_1_2
        + b_2_5·b_2_7·b_6_59·b_1_2³ + b_2_5·b_2_7²·b_6_59·b_1_1 + b_2_5·b_2_7³·b_5_42
        + b_2_5·b_2_7³·b_5_41 + b_2_5·b_2_7⁴·b_1_2³ + b_2_5²·b_1_1·b_1_2⁸
        + b_2_5²·b_1_1⁴·b_5_41 + b_2_5²·b_1_1⁴·b_1_2⁵ + b_2_5²·b_6_60·b_1_1³
        + b_2_5²·b_6_59·b_1_2³ + b_2_5²·b_6_59·b_1_1²·b_1_2 + b_2_5²·b_2_7·b_1_2⁷
        + b_2_5²·b_2_7·b_6_59·b_1_2 + b_2_5²·b_2_7·b_6_59·b_1_1 + b_2_5²·b_2_7²·b_5_42
        + b_2_5²·b_2_7²·b_1_2⁵ + b_2_5²·b_2_7²·b_1_1·b_1_2⁴ + b_2_5²·b_2_7⁴·b_1_2
        + b_2_5²·b_2_7⁴·b_1_1 + b_2_5³·b_1_2⁷ + b_2_5³·b_1_1·b_1_2⁶
        + b_2_5³·b_1_1²·b_5_41 + b_2_5³·b_1_1⁵·b_1_2² + b_2_5³·b_1_1⁶·b_1_2
        + b_2_5³·b_6_60·b_1_1 + b_2_5³·b_6_59·b_1_1 + b_2_5³·b_2_7·b_5_42
        + b_2_5³·b_2_7²·b_1_2³ + b_2_5⁴·b_1_1⁴·b_1_2 + b_2_5⁴·b_1_1⁵
        + b_2_5⁴·b_2_7·b_1_2³ + b_2_5⁴·b_2_7·b_1_1·b_1_2² + b_2_5⁴·b_2_7²·b_1_1
        + b_2_5⁵·b_1_2³ + b_2_5⁵·b_1_1·b_1_2² + b_2_5⁵·b_1_1²·b_1_2 + b_2_5⁵·b_1_1³
        + b_2_5⁵·b_2_7·b_1_2 + b_2_5⁵·b_2_7·b_1_1 + b_2_5⁶·b_1_1 + b_2_4·b_2_7³·b_5_41
        + b_2_4·b_2_5·b_2_7²·b_5_42 + b_2_4²·b_2_5·b_2_7·b_5_42 + b_2_4³·b_2_7·b_5_41
        + b_2_4⁵·b_2_5·b_1_2 + b_2_3·b_2_7³·b_5_42 + b_2_3·b_2_7³·b_5_41
        + b_2_3·b_2_7⁴·b_3_15 + b_2_3·b_2_7⁵·b_1_1 + b_2_3·b_2_6·b_2_7·b_7_90
        + b_2_3·b_2_6·b_2_7²·b_5_41 + b_2_3·b_2_6²·b_7_90 + b_2_3·b_2_6²·b_2_7·b_5_42
        + b_2_3·b_2_6²·b_2_7²·b_3_15 + b_2_3·b_2_6³·b_5_39 + b_2_3·b_2_5·b_1_1⁸·b_1_2
        + b_2_3·b_2_5·b_2_7²·b_5_42 + b_2_3·b_2_5·b_2_7²·b_5_41 + b_2_3·b_2_5·b_2_7⁴·b_1_2
        + b_2_3·b_2_5·b_2_7⁴·b_1_1 + b_2_3·b_2_5²·b_1_1²·b_5_41 + b_2_3·b_2_5²·b_1_1⁷
        + b_2_3·b_2_5²·b_2_7·b_5_42 + b_2_3·b_2_5³·b_1_1⁵ + b_2_3·b_2_5⁵·b_1_1
        + b_2_3·b_2_4·b_2_5·b_2_7·b_5_42 + b_2_3·b_2_4²·b_2_7·b_5_42
        + b_2_3·b_2_4²·b_2_7³·b_1_2 + b_2_3·b_2_4³·b_2_5·b_2_7·b_1_2
        + b_2_3·b_2_4⁴·b_2_7·b_1_2 + b_2_3·b_2_4⁵·b_1_2 + b_2_3²·b_2_7²·b_5_42
        + b_2_3²·b_2_7²·b_5_41 + b_2_3²·b_2_7³·b_3_15 + b_2_3²·b_2_7⁴·b_1_2
        + b_2_3²·b_2_6·b_2_7·b_5_41 + b_2_3²·b_2_5²·b_5_42 + b_2_3²·b_2_5²·b_5_41
        + b_2_3²·b_2_5²·b_1_1⁵ + b_2_3²·b_2_5²·b_2_7²·b_1_2
        + b_2_3²·b_2_5²·b_2_7²·b_1_1 + b_2_3²·b_2_5³·b_1_1²·b_1_2
        + b_2_3²·b_2_5³·b_1_1³ + b_2_3²·b_2_5³·b_2_7·b_1_2
        + b_2_3²·b_2_5³·b_2_7·b_1_1 + b_2_3²·b_2_5⁴·b_1_2 + b_2_3²·b_2_4·b_2_7·b_5_41
        + b_2_3²·b_2_4²·b_5_42 + b_2_3²·b_2_4²·b_5_41 + b_2_3²·b_2_4²·b_2_7²·b_1_2
        + b_2_3²·b_2_4²·b_2_5·b_2_7·b_1_2 + b_2_3²·b_2_4³·b_2_5·b_1_2
        + b_2_3³·b_1_1⁶·b_1_2 + b_2_3³·b_2_7·b_5_42 + b_2_3³·b_2_7³·b_1_2
        + b_2_3³·b_2_7³·b_1_1 + b_2_3³·b_2_6·b_5_42 + b_2_3³·b_2_6·b_5_39
        + b_2_3³·b_2_6²·b_3_15 + b_2_3³·b_2_6²·b_2_7·b_1_1 + b_2_3³·b_2_5·b_5_41
        + b_2_3³·b_2_5·b_1_1⁴·b_1_2 + b_2_3³·b_2_5·b_2_7²·b_1_2
        + b_2_3³·b_2_5²·b_1_1²·b_1_2 + b_2_3³·b_2_5²·b_1_1³ + b_2_3³·b_2_4·b_5_41
        + b_2_3³·b_2_4²·b_2_7·b_1_2 + b_2_3³·b_2_4²·b_2_5·b_1_2 + b_2_3³·b_2_4³·b_1_2
        + b_2_3⁴·b_1_1⁴·b_1_2 + b_2_3⁴·b_2_7²·b_1_2 + b_2_3⁴·b_2_7²·b_1_1
        + b_2_3⁴·b_2_6·b_3_15 + b_2_3⁴·b_2_6·b_2_7·b_1_1 + b_2_3⁴·b_2_5·b_3_15
        + b_2_3⁴·b_2_5·b_2_7·b_1_2 + b_2_3⁴·b_2_5²·b_1_1 + b_2_3⁴·b_2_4·b_2_7·b_1_2
        + b_2_3⁴·b_2_4·b_2_5·b_1_2 + b_2_3⁵·b_3_15 + b_2_3⁵·b_1_1²·b_1_2
        + b_2_3⁵·b_2_7·b_1_2 + b_2_3⁵·b_2_7·b_1_1 + b_2_3⁵·b_2_5·b_1_2 + b_2_3⁶·b_1_2
        + b_2_6⁵·b_2_7·a_1_0 + b_2_7·c_8_124·b_1_1·b_1_2² + b_2_5·c_8_124·b_1_1²·b_1_2
        + b_2_3·c_8_124·b_3_14 + b_2_3·c_8_124·b_1_1²·b_1_2 + b_2_3·b_2_7·c_8_124·b_1_1
        + b_2_3·b_2_5·c_8_124·b_1_2 + b_2_3·b_2_5·c_8_124·b_1_1 + b_2_3²·c_8_124·b_1_2
103. b_7_90² + b_6_59²·b_1_2² + b_2_7³·b_1_1·b_1_2⁷ + b_2_7³·b_6_59·b_1_2²
        + b_2_7⁴·b_1_2·b_5_42 + b_2_7⁴·b_1_2⁶ + b_2_7⁴·b_1_1·b_1_2⁵ + b_2_7⁵·b_1_2⁴
        + b_2_7⁵·b_1_1·b_1_2³ + b_2_7⁷ + b_2_6³·b_2_7⁴ + b_2_6⁵·b_2_7² + b_2_6⁶·b_2_7
        + b_2_5·b_2_7·b_1_1·b_1_2⁹ + b_2_5·b_2_7²·b_1_2⁸ + b_2_5·b_2_7²·b_1_1·b_1_2⁷
        + b_2_5·b_2_7²·b_6_59·b_1_2² + b_2_5·b_2_7³·b_6_59 + b_2_5·b_2_7⁴·b_1_2⁴
        + b_2_5·b_2_7⁵·b_1_2² + b_2_5·b_2_7⁵·b_1_1·b_1_2 + b_2_5²·b_1_1⁴·b_1_2⁶
        + b_2_5²·b_1_1⁵·b_5_41 + b_2_5²·b_6_60·b_1_1⁴ + b_2_5²·b_6_59·b_1_1·b_1_2³
        + b_2_5²·b_6_59·b_1_1²·b_1_2² + b_2_5²·b_6_59·b_1_1⁴ + b_2_5²·b_2_7·b_1_2⁸
        + b_2_5²·b_2_7²·b_1_1·b_1_2⁵ + b_2_5²·b_2_7²·b_6_59 + b_2_5²·b_2_7³·b_1_2⁴
        + b_2_5²·b_2_7⁴·b_1_2² + b_2_5³·b_1_1·b_1_2⁷ + b_2_5³·b_1_1⁵·b_1_2³
        + b_2_5³·b_1_1⁶·b_1_2² + b_2_5³·b_6_59·b_1_2² + b_2_5³·b_6_59·b_1_1·b_1_2
        + b_2_5³·b_6_59·b_1_1² + b_2_5³·b_2_7·b_1_1·b_1_2⁵ + b_2_5³·b_2_7·b_6_60
        + b_2_5³·b_2_7³·b_1_2² + b_2_5³·b_2_7⁴ + b_2_5⁴·b_1_2⁶ + b_2_5⁴·b_1_1·b_5_41
        + b_2_5⁴·b_1_1·b_1_2⁵ + b_2_5⁴·b_1_1²·b_1_2⁴ + b_2_5⁴·b_1_1⁴·b_1_2²
        + b_2_5⁴·b_1_1⁵·b_1_2 + b_2_5⁴·b_6_60 + b_2_5⁴·b_6_59 + b_2_5⁴·b_2_7·b_1_2⁴
        + b_2_5⁴·b_2_7·b_1_1·b_1_2³ + b_2_5⁴·b_2_7²·b_1_2² + b_2_5⁴·b_2_7³
        + b_2_5⁵·b_1_1·b_1_2³ + b_2_5⁵·b_1_1²·b_1_2² + b_2_5⁵·b_1_1³·b_1_2
        + b_2_5⁵·b_1_1⁴ + b_2_5⁵·b_2_7·b_1_2² + b_2_5⁵·b_2_7·b_1_1·b_1_2
        + b_2_5⁶·b_1_1·b_1_2 + b_2_5⁶·b_2_7 + b_2_4·b_2_7³·b_6_60 + b_2_4²·b_2_7⁵
        + b_2_4²·b_2_5·b_2_7⁴ + b_2_4³·b_2_7·b_1_2·b_5_42 + b_2_4⁴·b_6_60
        + b_2_4⁴·b_2_7³ + b_2_4⁴·b_2_5·b_2_7² + b_2_4⁶·b_2_5
        + b_2_3·b_2_7³·b_1_2·b_5_42 + b_2_3·b_2_7³·b_1_1·b_5_42 + b_2_3·b_2_7³·b_6_63
        + b_2_3·b_2_7³·b_6_59 + b_2_3·b_2_6·b_2_7²·b_6_63 + b_2_3·b_2_6·b_2_7²·b_6_59
        + b_2_3·b_2_6·b_2_7⁵ + b_2_3·b_2_6³·b_2_7³ + b_2_3·b_2_5·b_1_1⁹·b_1_2
        + b_2_3·b_2_5·b_2_7⁵ + b_2_3·b_2_5²·b_2_7·b_6_60 + b_2_3·b_2_5²·b_2_7⁴
        + b_2_3·b_2_5³·b_1_1⁵·b_1_2 + b_2_3·b_2_5³·b_6_63 + b_2_3·b_2_5³·b_6_59
        + b_2_3·b_2_5³·b_2_7²·b_1_1·b_1_2 + b_2_3·b_2_5³·b_2_7³
        + b_2_3·b_2_5⁴·b_1_1³·b_1_2 + b_2_3·b_2_5⁴·b_1_1⁴
        + b_2_3·b_2_5⁴·b_2_7·b_1_1·b_1_2 + b_2_3·b_2_5⁵·b_1_1²
        + b_2_3·b_2_4·b_2_7²·b_1_2·b_5_42 + b_2_3·b_2_4·b_2_5·b_2_7⁴
        + b_2_3·b_2_4²·b_2_7·b_6_60 + b_2_3·b_2_4³·b_1_2·b_5_42 + b_2_3·b_2_4³·b_6_60
        + b_2_3·b_2_4⁵·b_2_5 + b_2_3·b_2_4⁶ + b_2_3²·b_2_7²·b_1_2·b_5_42
        + b_2_3²·b_2_7²·b_6_60 + b_2_3²·b_2_6·b_2_7·b_6_59 + b_2_3²·b_2_5·b_2_7·b_6_63
        + b_2_3²·b_2_5·b_2_7·b_6_60 + b_2_3²·b_2_5·b_2_7⁴ + b_2_3²·b_2_5²·b_1_1⁵·b_1_2
        + b_2_3²·b_2_5²·b_6_59 + b_2_3²·b_2_5³·b_1_1³·b_1_2 + b_2_3²·b_2_5³·b_1_1⁴
        + b_2_3²·b_2_5³·b_2_7² + b_2_3²·b_2_5⁴·b_2_7 + b_2_3²·b_2_5⁵
        + b_2_3²·b_2_4²·b_1_2·b_5_42 + b_2_3²·b_2_4²·b_6_60
        + b_2_3²·b_2_4²·b_2_5·b_2_7² + b_2_3²·b_2_4³·b_2_7² + b_2_3²·b_2_4⁴·b_2_7
        + b_2_3²·b_2_4⁴·b_2_5 + b_2_3³·b_1_1⁷·b_1_2 + b_2_3³·b_6_59·b_1_1²
        + b_2_3³·b_2_7·b_6_63 + b_2_3³·b_2_7·b_6_59 + b_2_3³·b_2_6·b_2_7³
        + b_2_3³·b_2_5·b_1_1⁵·b_1_2 + b_2_3³·b_2_5·b_6_63 + b_2_3³·b_2_5·b_6_60
        + b_2_3³·b_2_5·b_6_59 + b_2_3³·b_2_5·b_2_7²·b_1_1·b_1_2
        + b_2_3³·b_2_5·b_2_6²·b_2_7 + b_2_3³·b_2_5²·b_2_7·b_1_1·b_1_2
        + b_2_3³·b_2_5²·b_2_7² + b_2_3³·b_2_5³·b_1_1·b_1_2 + b_2_3³·b_2_5³·b_1_1²
        + b_2_3³·b_2_5³·b_2_7 + b_2_3³·b_2_4·b_2_7³ + b_2_3³·b_2_4²·b_2_7²
        + b_2_3³·b_2_4²·b_2_5·b_2_7 + b_2_3³·b_2_4⁴ + b_2_3⁴·b_6_59
        + b_2_3⁴·b_2_7²·b_1_1·b_1_2 + b_2_3⁴·b_2_7³ + b_2_3⁴·b_2_6·b_2_7²
        + b_2_3⁴·b_2_6²·b_2_7 + b_2_3⁴·b_2_5·b_2_7·b_1_1·b_1_2 + b_2_3⁴·b_2_5·b_2_7²
        + b_2_3⁴·b_2_5·b_2_6·b_2_7 + b_2_3⁴·b_2_5²·b_1_1² + b_2_3⁴·b_2_5²·b_2_7
        + b_2_3⁴·b_2_5³ + b_2_3⁴·b_2_4·b_2_5·b_2_7 + b_2_3⁴·b_2_4²·b_2_7
        + b_2_3⁴·b_2_4²·b_2_5 + b_2_3⁴·b_2_4³ + b_2_3⁵·b_1_1³·b_1_2
        + b_2_3⁵·b_2_6·b_2_7 + b_2_3⁵·b_2_5·b_2_6 + b_2_3⁵·b_2_4·b_2_7 + b_2_3⁶·b_1_1·b_1_2
        + b_2_3⁶·b_2_5 + b_2_3⁶·b_2_4 + b_2_6⁴·b_2_7·a_1_0·b_3_15 + b_2_6⁵·a_1_0·b_3_15
        + b_2_7²·c_8_124·b_1_2² + b_2_5²·c_8_124·b_1_1² + b_2_3·b_2_4·b_2_5·c_8_124
        + b_2_3·b_2_4²·c_8_124 + b_2_3²·c_8_124·b_1_1·b_1_2 + b_2_3²·b_2_7·c_8_124
        + b_2_3²·b_2_4·c_8_124