David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 245 of order 64

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 64

General information on the group

• The group is also known as Syl2(U3(4)), the Sylow 2-subgroup of U_3(4).
• The group has 4 minimal generators and exponent 4.
• It is non-abelian.
• It has p-Rank 2.
• Its center has rank 2.
• It has a unique conjugacy class of maximal elementary abelian subgroups, which is of rank 2.

Structure of the cohomology ring

General information

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

  t12  +  2·t11  +  3·t10  +  2·t9  +  5·t8  +  t7  +  9·t6  +  t5  +  5·t4  +  2·t3  +  3·t2  +  2·t  +  1

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

• The a-invariants are -∞,-∞,-2. 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 64

Ring generators

The cohomology ring has 26 minimal generators of maximal degree 11:

1. a_1_0, a nilpotent element of degree 1
2. a_1_1, a nilpotent element of degree 1
3. a_1_2, a nilpotent element of degree 1
4. a_1_3, a nilpotent element of degree 1
5. a_4_8, a nilpotent element of degree 4
6. a_4_9, a nilpotent element of degree 4
7. a_4_10, a nilpotent element of degree 4
8. a_4_11, a nilpotent element of degree 4
9. a_6_8, a nilpotent element of degree 6
10. a_6_9, a nilpotent element of degree 6
11. a_6_10, a nilpotent element of degree 6
12. a_6_11, a nilpotent element of degree 6
13. a_6_12, a nilpotent element of degree 6
14. a_6_13, a nilpotent element of degree 6
15. a_6_14, a nilpotent element of degree 6
16. a_6_15, a nilpotent element of degree 6
17. c_8_16, a Duflot regular element of degree 8
18. c_8_17, a Duflot regular element of degree 8
19. a_9_15, a nilpotent element of degree 9
20. a_9_16, a nilpotent element of degree 9
21. a_9_17, a nilpotent element of degree 9
22. a_9_18, a nilpotent element of degree 9
23. a_9_19, a nilpotent element of degree 9
24. a_9_20, a nilpotent element of degree 9
25. a_11_28, a nilpotent element of degree 11
26. a_11_29, a nilpotent element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 64

Ring relations

There are 270 minimal relations of maximal degree 22:

1. a_1_2² + a_1_1·a_1_2 + a_1_1² + a_1_0·a_1_3 + a_1_0·a_1_2
2. a_1_3² + a_1_2² + a_1_1·a_1_3 + a_1_1² + a_1_0·a_1_2 + a_1_0·a_1_1 + a_1_0²
3. a_1_1²·a_1_2 + a_1_1³ + a_1_0·a_1_1·a_1_3 + a_1_0²·a_1_1 + a_1_0³
4. a_1_1³ + a_1_0·a_1_1·a_1_2 + a_1_0·a_1_1² + a_1_0²·a_1_3 + a_1_0²·a_1_1 + a_1_0³
5. a_1_0³·a_1_1² + a_1_0⁴·a_1_1
6. a_1_0³·a_1_1·a_1_2 + a_1_0³·a_1_1² + a_1_0⁴·a_1_3
7. a_4_9·a_1_0 + a_4_8·a_1_1 + a_1_0³·a_1_1² + a_1_0⁴·a_1_2
8. a_4_10·a_1_1 + a_4_8·a_1_3 + a_4_8·a_1_0 + a_1_0³·a_1_2·a_1_3 + a_1_0³·a_1_1²
      + a_1_0⁴·a_1_2 + a_1_0⁵
9. a_4_10·a_1_0 + a_4_9·a_1_1 + a_4_8·a_1_2 + a_4_8·a_1_1 + a_4_8·a_1_0 + a_1_0³·a_1_1·a_1_3
      + a_1_0³·a_1_1² + a_1_0⁵
10. a_4_10·a_1_3 + a_4_9·a_1_2 + a_4_9·a_1_1 + a_4_8·a_1_2 + a_1_0³·a_1_1·a_1_3
       + a_1_0³·a_1_1² + a_1_0⁴·a_1_2 + a_1_0⁵
11. a_4_10·a_1_2 + a_4_9·a_1_3 + a_4_9·a_1_2 + a_1_0³·a_1_2·a_1_3 + a_1_0³·a_1_1·a_1_3
       + a_1_0³·a_1_1·a_1_2
12. a_4_11·a_1_1 + a_4_9·a_1_3 + a_4_8·a_1_0 + a_1_0³·a_1_2·a_1_3 + a_1_0³·a_1_1·a_1_3
       + a_1_0³·a_1_1² + a_1_0⁵
13. a_4_11·a_1_0 + a_4_9·a_1_2 + a_4_9·a_1_1 + a_4_8·a_1_0 + a_1_0³·a_1_1² + a_1_0⁴·a_1_2
       + a_1_0⁵
14. a_4_11·a_1_3 + a_4_9·a_1_3 + a_4_8·a_1_2 + a_4_8·a_1_0 + a_1_0³·a_1_1·a_1_3
       + a_1_0³·a_1_1·a_1_2 + a_1_0³·a_1_1² + a_1_0⁴·a_1_2 + a_1_0⁵
15. a_4_11·a_1_2 + a_4_9·a_1_3 + a_4_9·a_1_1 + a_4_8·a_1_3 + a_4_8·a_1_2 + a_4_8·a_1_1
       + a_4_8·a_1_0 + a_1_0³·a_1_2·a_1_3 + a_1_0⁴·a_1_2 + a_1_0⁵
16. a_6_9·a_1_0 + a_6_8·a_1_1 + a_6_8·a_1_0 + a_4_8·a_1_0·a_1_1·a_1_3
       + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0²·a_1_3 + a_4_8·a_1_0²·a_1_2
       + a_4_8·a_1_0²·a_1_1 + a_4_8·a_1_0³
17. a_6_10·a_1_1 + a_6_9·a_1_1 + a_6_8·a_1_3 + a_6_8·a_1_0 + a_4_8·a_1_0·a_1_2·a_1_3
       + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_3
       + a_4_8·a_1_0²·a_1_2 + a_4_8·a_1_0²·a_1_1 + a_4_8·a_1_0³
18. a_6_10·a_1_0 + a_6_9·a_1_1 + a_6_8·a_1_2 + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_2·a_1_3
       + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0²·a_1_3
       + a_4_8·a_1_0³
19. a_6_11·a_1_1 + a_6_10·a_1_2 + a_6_9·a_1_2 + a_6_8·a_1_1 + a_6_8·a_1_0
       + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0·a_1_1²
       + a_4_8·a_1_0²·a_1_2 + a_4_8·a_1_0³
20. a_6_11·a_1_0 + a_6_9·a_1_2 + a_6_9·a_1_1 + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_2·a_1_3
       + a_4_8·a_1_0²·a_1_3
21. a_6_11·a_1_2 + a_6_9·a_1_3 + a_6_9·a_1_2 + a_6_8·a_1_3 + a_6_8·a_1_1 + a_6_8·a_1_0
       + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_3
22. a_6_12·a_1_1 + a_6_9·a_1_3 + a_6_9·a_1_1 + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_1·a_1_2
       + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_2 + a_4_8·a_1_0²·a_1_1
23. a_6_12·a_1_0 + a_6_9·a_1_2 + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_3
       + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_2 + a_4_8·a_1_0²·a_1_1
24. a_6_13·a_1_1 + a_6_9·a_1_3 + a_6_9·a_1_1 + a_6_8·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_3
       + a_4_8·a_1_0³
25. a_6_13·a_1_0 + a_6_10·a_1_2 + a_6_9·a_1_3 + a_6_8·a_1_2 + a_6_8·a_1_1 + a_6_8·a_1_0
       + a_4_8·a_1_0²·a_1_1 + a_4_8·a_1_0³
26. a_6_13·a_1_3 + a_6_12·a_1_2 + a_6_9·a_1_2 + a_6_9·a_1_1 + a_6_8·a_1_3 + a_6_8·a_1_1
       + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0³
27. a_6_13·a_1_2 + a_6_12·a_1_3 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_10·a_1_2
       + a_6_9·a_1_3 + a_6_9·a_1_2 + a_6_9·a_1_1 + a_6_8·a_1_0 + a_4_8·a_1_0·a_1_2·a_1_3
       + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0·a_1_1²
28. a_6_14·a_1_1 + a_6_12·a_1_3 + a_6_11·a_1_3 + a_6_9·a_1_3 + a_6_8·a_1_3 + a_6_8·a_1_0
       + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1²
       + a_4_8·a_1_0²·a_1_3
29. a_6_14·a_1_0 + a_6_12·a_1_2 + a_6_10·a_1_2 + a_6_9·a_1_2 + a_6_8·a_1_3 + a_6_8·a_1_2
       + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_3
       + a_4_8·a_1_0³
30. a_6_14·a_1_3 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_10·a_1_2 + a_6_9·a_1_3
       + a_6_9·a_1_2 + a_6_9·a_1_1 + a_6_8·a_1_2 + a_6_8·a_1_1 + a_6_8·a_1_0
       + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0²·a_1_2
       + a_4_8·a_1_0³
31. a_6_14·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_10·a_1_2 + a_6_9·a_1_1 + a_6_8·a_1_3
       + a_6_8·a_1_0 + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_3
       + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_3
       + a_4_8·a_1_0²·a_1_2
32. a_6_15·a_1_1 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_9·a_1_2 + a_6_8·a_1_3
       + a_6_8·a_1_0 + a_4_8·a_1_0·a_1_1·a_1_2 + a_4_8·a_1_0·a_1_1² + a_4_8·a_1_0²·a_1_1
       + a_4_8·a_1_0³
33. a_6_15·a_1_0 + a_6_12·a_1_3 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_9·a_1_1
       + a_6_8·a_1_3 + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_2·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_3
34. a_6_15·a_1_3 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_3 + a_6_9·a_1_3 + a_6_9·a_1_1
       + a_6_8·a_1_3 + a_6_8·a_1_1 + a_4_8·a_1_0·a_1_1·a_1_3 + a_4_8·a_1_0·a_1_1·a_1_2
       + a_4_8·a_1_0²·a_1_2 + a_4_8·a_1_0²·a_1_1 + a_4_8·a_1_0³
35. a_6_15·a_1_2 + a_6_12·a_1_2 + a_6_11·a_1_3 + a_6_10·a_1_2 + a_6_9·a_1_2 + a_6_8·a_1_3
       + a_6_8·a_1_2 + a_4_8·a_1_0²·a_1_1
36. a_4_8²
37. a_4_8·a_4_9 + a_4_8·a_1_0²·a_1_1·a_1_2 + a_4_8·a_1_0²·a_1_1² + a_4_8·a_1_0³·a_1_3
       + a_4_8·a_1_0³·a_1_2 + a_4_8·a_1_0³·a_1_1 + a_4_8·a_1_0⁴
38. a_4_9²
39. a_4_8·a_4_10 + a_4_8·a_1_0²·a_1_1·a_1_3 + a_4_8·a_1_0²·a_1_1·a_1_2
40. a_4_9·a_4_10 + a_4_8·a_1_0³·a_1_3
41. a_4_10²
42. a_4_8·a_4_11 + a_4_8·a_1_0²·a_1_2·a_1_3 + a_4_8·a_1_0²·a_1_1·a_1_3
       + a_4_8·a_1_0²·a_1_1² + a_4_8·a_1_0³·a_1_3 + a_4_8·a_1_0³·a_1_2 + a_4_8·a_1_0⁴
43. a_4_9·a_4_11 + a_4_8·a_1_0²·a_1_1·a_1_2 + a_4_8·a_1_0²·a_1_1²
       + a_4_8·a_1_0³·a_1_2 + a_4_8·a_1_0⁴
44. a_4_10·a_4_11 + a_4_8·a_1_0²·a_1_1·a_1_3 + a_4_8·a_1_0²·a_1_1·a_1_2
       + a_4_8·a_1_0³·a_1_3 + a_4_8·a_1_0³·a_1_2 + a_4_8·a_1_0³·a_1_1
45. a_4_11²
46. a_6_8·a_1_0·a_1_1² + a_6_8·a_1_0²·a_1_1
47. a_4_9·a_6_8 + a_4_8·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1
48. a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_10 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_2
       + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
49. a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_10 + a_4_9·a_6_9 + a_6_8·a_1_0³·a_1_3
50. a_4_11·a_6_8 + a_4_10·a_6_10 + a_4_9·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴
51. a_4_11·a_6_8 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_8·a_6_11 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
52. a_4_11·a_6_9 + a_4_9·a_6_11 + a_4_9·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3
53. a_4_11·a_6_10 + a_4_10·a_6_11 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8
       + a_6_8·a_1_0³·a_1_2
54. a_4_11·a_6_11 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_1
55. a_4_11·a_6_8 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_12 + a_6_8·a_1_0³·a_1_2
       + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
56. a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_12 + a_4_9·a_6_9
       + a_4_9·a_6_8 + a_6_8·a_1_0³·a_1_2
57. a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_12 + a_4_10·a_6_8 + a_4_9·a_6_9
       + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_1
58. a_4_11·a_6_12 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_10·a_6_8
       + a_4_9·a_6_8 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1
59. a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_13 + a_6_8·a_1_0³·a_1_2
       + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
60. a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_9·a_6_13 + a_4_9·a_6_9 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2
61. a_4_11·a_6_8 + a_4_10·a_6_13 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0⁴
62. a_4_11·a_6_13 + a_4_11·a_6_8 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_8·a_6_8
63. a_4_11·a_6_9 + a_4_8·a_6_14 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1
64. a_4_11·a_6_10 + a_4_10·a_6_9 + a_4_9·a_6_14 + a_4_9·a_6_8
65. a_4_11·a_6_10 + a_4_10·a_6_14 + a_4_9·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴
66. a_4_11·a_6_14 + a_4_11·a_6_10 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_6_8·a_1_0³·a_1_2
67. a_4_11·a_6_10 + a_4_11·a_6_8 + a_4_10·a_6_8 + a_4_8·a_6_15 + a_6_8·a_1_0³·a_1_1
68. a_4_11·a_6_10 + a_4_11·a_6_8 + a_4_9·a_6_15 + a_4_9·a_6_9 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0⁴
69. a_4_10·a_6_15 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8
       + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
70. a_4_11·a_6_15 + a_4_11·a_6_10 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
71. a_1_1·a_9_15 + a_4_9·a_6_8 + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
       + c_8_17·a_1_1·a_1_2 + c_8_16·a_1_1·a_1_3
72. a_1_0·a_9_15 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_2 + c_8_17·a_1_0·a_1_2
       + c_8_16·a_1_0·a_1_3
73. a_1_3·a_9_15 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + c_8_17·a_1_2·a_1_3 + c_8_16·a_1_1·a_1_3
       + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_1 + c_8_16·a_1_0²
74. a_1_2·a_9_15 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0⁴
       + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_1² + c_8_17·a_1_0·a_1_3 + c_8_17·a_1_0·a_1_2
       + c_8_16·a_1_2·a_1_3
75. a_1_1·a_9_16 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
76. a_1_0·a_9_16 + a_4_9·a_6_9 + a_4_9·a_6_8 + a_6_8·a_1_0⁴
77. a_1_3·a_9_16 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_9·a_6_8
       + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
78. a_1_2·a_9_16 + a_4_11·a_6_9 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴
79. a_1_1·a_9_17 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_2 + c_8_17·a_1_1·a_1_3 + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_1²
80. a_1_0·a_9_17 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2
       + c_8_17·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_1
81. a_1_3·a_9_17 + a_4_9·a_6_9 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1
       + c_8_17·a_1_1·a_1_3 + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_0·a_1_3 + c_8_17·a_1_0·a_1_1
       + c_8_17·a_1_0² + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_1
       + c_8_16·a_1_0²
82. a_1_2·a_9_17 + a_4_11·a_6_10 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0⁴ + c_8_17·a_1_2·a_1_3 + c_8_16·a_1_2·a_1_3
       + c_8_16·a_1_1·a_1_2
83. a_1_1·a_9_18 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_10·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴ + c_8_17·a_1_1·a_1_3
       + c_8_17·a_1_1² + c_8_17·a_1_0·a_1_1 + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_0·a_1_1
84. a_1_0·a_9_18 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴ + c_8_17·a_1_0·a_1_3
       + c_8_17·a_1_0·a_1_1 + c_8_17·a_1_0² + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0²
85. a_1_3·a_9_18 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴ + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_0·a_1_1
       + c_8_17·a_1_0² + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_0·a_1_1
       + c_8_16·a_1_0²
86. a_1_2·a_9_18 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9
       + a_4_9·a_6_8 + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴
       + c_8_17·a_1_2·a_1_3 + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_0·a_1_2 + c_8_16·a_1_2·a_1_3
       + c_8_16·a_1_0·a_1_2
87. a_1_1·a_9_19 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8
       + a_4_8·a_6_8 + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0⁴ + c_8_17·a_1_1·a_1_3
       + c_8_17·a_1_1·a_1_2 + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_1²
88. a_1_0·a_9_19 + a_4_9·a_6_9 + a_4_8·a_6_8 + a_6_8·a_1_0⁴ + c_8_17·a_1_0·a_1_3
       + c_8_17·a_1_0·a_1_2 + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_1
89. a_1_3·a_9_19 + a_4_11·a_6_10 + a_4_10·a_6_8 + a_4_9·a_6_8 + a_6_8·a_1_0³·a_1_3
       + a_6_8·a_1_0³·a_1_2 + c_8_17·a_1_2·a_1_3 + c_8_17·a_1_1·a_1_3 + c_8_17·a_1_1·a_1_2
       + c_8_17·a_1_0·a_1_3 + c_8_17·a_1_0·a_1_1 + c_8_17·a_1_0² + c_8_16·a_1_1·a_1_2
       + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_1 + c_8_16·a_1_0²
90. a_1_2·a_9_19 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_9·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴ + c_8_17·a_1_2·a_1_3
       + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_1² + c_8_17·a_1_0·a_1_3 + c_8_17·a_1_0·a_1_2
       + c_8_16·a_1_2·a_1_3 + c_8_16·a_1_1·a_1_2
91. a_1_1·a_9_20 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_10·a_6_9 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + c_8_17·a_1_1·a_1_3 + c_8_17·a_1_0·a_1_1
       + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_0·a_1_1
92. a_1_0·a_9_20 + a_4_11·a_6_9 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0³·a_1_1 + a_6_8·a_1_0⁴
       + c_8_17·a_1_0·a_1_3 + c_8_17·a_1_0² + c_8_16·a_1_0·a_1_3 + c_8_16·a_1_0·a_1_2
       + c_8_16·a_1_0²
93. a_1_3·a_9_20 + a_4_11·a_6_10 + a_4_11·a_6_9 + a_4_11·a_6_8 + a_4_9·a_6_9 + a_4_9·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + a_6_8·a_1_0⁴ + c_8_17·a_1_1·a_1_3
       + c_8_17·a_1_1·a_1_2 + c_8_17·a_1_0·a_1_1 + c_8_17·a_1_0² + c_8_16·a_1_2·a_1_3
       + c_8_16·a_1_1·a_1_3 + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_0·a_1_1 + c_8_16·a_1_0²
94. a_1_2·a_9_20 + a_4_11·a_6_9 + a_4_10·a_6_9 + a_4_10·a_6_8 + a_4_9·a_6_9 + a_4_8·a_6_8
       + a_6_8·a_1_0³·a_1_3 + a_6_8·a_1_0³·a_1_2 + c_8_17·a_1_2·a_1_3 + c_8_17·a_1_0·a_1_2
       + c_8_16·a_1_2·a_1_3 + c_8_16·a_1_1·a_1_2 + c_8_16·a_1_1² + c_8_16·a_1_0·a_1_3
95. a_6_10² + a_6_9·a_6_10 + a_6_8·a_6_11 + a_6_8·a_6_10 + a_6_8·a_6_9 + a_6_8²
       + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_2
       + a_4_8·a_6_8·a_1_0·a_1_1
96. a_6_11² + a_6_9·a_6_11 + a_6_9² + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3
       + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
       + a_4_8·a_6_8·a_1_0²
97. a_6_10² + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_12 + a_6_8·a_6_10 + a_6_8·a_6_9
       + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_3
       + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
98. a_6_10² + a_6_9·a_6_12 + a_6_9·a_6_11 + a_6_9² + a_6_8·a_6_10 + a_6_8·a_6_9
       + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_3
       + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
99. a_6_10·a_6_12 + a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_11 + a_6_9² + a_6_8·a_6_9 + a_6_8²
       + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
       + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_1
100. a_6_11·a_6_12 + a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_10 + a_6_8·a_6_9 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0²
101. a_6_12² + a_6_9·a_6_11 + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
102. a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_13 + a_6_8·a_6_10 + a_6_8² + a_4_8·a_6_8·a_1_1·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_3
103. a_6_9·a_6_13 + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
104. a_6_10·a_6_13 + a_6_10² + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_10
        + a_6_8·a_6_9 + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2
        + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0²
105. a_6_11·a_6_13 + a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_11 + a_6_9² + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0²
106. a_6_12·a_6_13 + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0²
107. a_6_13² + a_6_10² + a_6_9·a_6_11 + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
108. a_6_10² + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_14 + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_1
109. a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_14 + a_6_9² + a_6_8² + a_4_8·a_6_8·a_1_1·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0²
110. a_6_10·a_6_14 + a_6_10² + a_6_9·a_6_11 + a_6_9² + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0²
111. a_6_11·a_6_14 + a_6_10² + a_6_8·a_6_10 + a_6_8·a_6_9 + a_6_8²
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_0²
112. a_6_12·a_6_14 + a_6_10·a_6_11 + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_8·a_6_9 + a_6_8²
        + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_2
113. a_6_13·a_6_14 + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_10 + a_6_8·a_6_9
        + a_6_8² + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_1
114. a_6_14² + a_6_10² + a_6_9²
115. a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_8·a_6_15 + a_6_8·a_6_9
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
116. a_6_9·a_6_15 + a_6_9² + a_6_8·a_6_10 + a_6_8² + a_4_8·a_6_8·a_1_1·a_1_3
        + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
117. a_6_10·a_6_15 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_9 + a_4_8·a_6_8·a_1_1·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0²
118. a_6_11·a_6_15 + a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_11 + a_6_8·a_6_10
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2
119. a_6_12·a_6_15 + a_6_10² + a_6_9² + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_0²
120. a_6_13·a_6_15 + a_6_10·a_6_11 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2
121. a_6_14·a_6_15 + a_6_10·a_6_11 + a_6_10² + a_6_9² + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
122. a_6_15² + a_6_10² + a_6_9·a_6_11 + a_6_9² + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0²
123. a_6_9² + a_6_8² + c_8_17·a_1_0²·a_1_1² + c_8_16·a_1_0⁴
124. a_6_8·a_6_9 + a_6_8² + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0² + c_8_17·a_1_0³·a_1_1 + c_8_16·a_1_0²·a_1_1·a_1_2
        + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0⁴
125. a_6_8² + c_8_17·a_1_0⁴ + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0⁴
126. a_6_9·a_6_11 + a_6_8·a_6_10 + a_6_8·a_6_9 + a_4_8·a_6_8·a_1_2·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0² + c_8_17·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_2
        + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0³·a_1_2 + c_8_16·a_1_0³·a_1_1
127. a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_10 + a_6_8·a_6_9 + a_6_8² + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_1 + c_8_17·a_1_0³·a_1_3 + c_8_16·a_1_0²·a_1_2·a_1_3
        + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_2 + c_8_16·a_1_0²·a_1_1²
        + c_8_16·a_1_0³·a_1_2
128. a_6_10·a_6_11 + a_6_10² + a_6_9·a_6_11 + a_6_9·a_6_10 + a_6_9² + a_6_8·a_6_10 + a_6_8²
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
        + c_8_17·a_1_0²·a_1_2·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_3
        + c_8_16·a_1_0²·a_1_1·a_1_2 + c_8_16·a_1_0²·a_1_1²
129. a_6_10² + a_6_9·a_6_10 + a_6_8·a_6_9 + a_6_8² + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0² + c_8_17·a_1_0²·a_1_1·a_1_2
        + c_8_16·a_1_0²·a_1_2·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1²
        + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0³·a_1_2 + c_8_16·a_1_0³·a_1_1 + c_8_16·a_1_0⁴
130. a_6_9² + a_6_8·a_6_10 + a_6_8² + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
        + c_8_17·a_1_0³·a_1_2 + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_2
        + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0³·a_1_2
131. a_1_1·a_11_28 + a_6_9² + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
        + c_8_16·a_1_0²·a_1_2·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1²
        + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0³·a_1_2 + c_8_16·a_1_0³·a_1_1 + c_8_16·a_1_0⁴
132. a_1_0·a_11_28 + a_6_8·a_6_9 + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0² + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1·a_1_2
        + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_3 + c_8_16·a_1_0³·a_1_2
133. a_1_3·a_11_28 + a_6_9·a_6_11 + a_6_8·a_6_10 + a_6_8·a_6_9 + a_4_8·a_6_8·a_1_1·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_1 + c_8_16·a_1_0²·a_1_1·a_1_3
        + c_8_16·a_1_0²·a_1_1·a_1_2 + c_8_16·a_1_0²·a_1_1²
134. a_1_2·a_11_28 + a_6_10² + a_6_9·a_6_10 + a_6_8·a_6_9 + a_6_8²
        + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0²
        + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_2
        + c_8_16·a_1_0³·a_1_1
135. a_1_1·a_11_29 + a_6_9² + a_6_8² + a_4_8·a_6_8·a_1_1² + a_4_8·a_6_8·a_1_0·a_1_2
        + a_4_8·a_6_8·a_1_0·a_1_1 + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1²
        + c_8_16·a_1_0³·a_1_2
136. a_1_0·a_11_29 + a_6_8·a_6_9 + a_6_8² + a_4_8·a_6_8·a_1_2·a_1_3
        + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_0² + c_8_16·a_1_0²·a_1_2·a_1_3
        + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_2
        + c_8_16·a_1_0⁴
137. a_1_3·a_11_29 + a_6_9·a_6_11 + a_6_8·a_6_10 + a_6_8·a_6_9 + a_4_8·a_6_8·a_1_0·a_1_3
        + a_4_8·a_6_8·a_1_0·a_1_1 + a_4_8·a_6_8·a_1_0² + c_8_16·a_1_0²·a_1_2·a_1_3
        + c_8_16·a_1_0²·a_1_1² + c_8_16·a_1_0³·a_1_2
138. a_1_2·a_11_29 + a_6_10² + a_6_9·a_6_10 + a_6_8·a_6_9 + a_6_8²
        + a_4_8·a_6_8·a_1_2·a_1_3 + a_4_8·a_6_8·a_1_1·a_1_2 + a_4_8·a_6_8·a_1_1²
        + a_4_8·a_6_8·a_1_0·a_1_3 + a_4_8·a_6_8·a_1_0·a_1_2 + a_4_8·a_6_8·a_1_0·a_1_1
        + a_4_8·a_6_8·a_1_0² + c_8_16·a_1_0²·a_1_1·a_1_3 + c_8_16·a_1_0²·a_1_1²
        + c_8_16·a_1_0³·a_1_2 + c_8_16·a_1_0³·a_1_1 + c_8_16·a_1_0⁴
139. a_4_8·a_9_15 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_8·a_6_8·a_1_0²·a_1_1
        + a_4_8·c_8_17·a_1_2 + a_4_8·c_8_16·a_1_3
140. a_4_9·a_9_15 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_1
        + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_2 + a_4_9·c_8_16·a_1_3
141. a_4_10·a_9_15 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_9·c_8_17·a_1_3 + a_4_9·c_8_17·a_1_2
        + a_4_9·c_8_16·a_1_2 + a_4_9·c_8_16·a_1_1 + a_4_8·c_8_16·a_1_2
        + c_8_17·a_1_0³·a_1_2·a_1_3 + c_8_17·a_1_0³·a_1_1·a_1_3 + c_8_17·a_1_0⁴·a_1_3
        + c_8_17·a_1_0⁴·a_1_1 + c_8_16·a_1_0³·a_1_1·a_1_3 + c_8_16·a_1_0⁴·a_1_2
        + c_8_16·a_1_0⁴·a_1_1 + c_8_16·a_1_0⁵
142. a_4_11·a_9_15 + a_4_8·a_6_8·a_1_0²·a_1_1 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_3
        + a_4_9·c_8_17·a_1_1 + a_4_9·c_8_16·a_1_3 + a_4_8·c_8_17·a_1_3 + a_4_8·c_8_17·a_1_2
        + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_17·a_1_0 + a_4_8·c_8_16·a_1_2 + a_4_8·c_8_16·a_1_0
        + c_8_17·a_1_0³·a_1_2·a_1_3 + c_8_17·a_1_0⁴·a_1_2 + c_8_17·a_1_0⁵
        + c_8_16·a_1_0³·a_1_1·a_1_3 + c_8_16·a_1_0⁴·a_1_3 + c_8_16·a_1_0⁴·a_1_2
        + c_8_16·a_1_0⁵
143. a_4_8·a_9_16 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0³
144. a_4_9·a_9_16 + a_4_8·a_6_8·a_1_0²·a_1_1 + a_4_8·a_6_8·a_1_0³
145. a_4_10·a_9_16 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·a_6_8·a_1_0²·a_1_1 + a_4_8·a_6_8·a_1_0³
146. a_4_11·a_9_16 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·a_6_8·a_1_0²·a_1_1
147. a_4_8·a_9_17 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_3 + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_1
148. a_4_9·a_9_17 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_9·c_8_17·a_1_3 + a_4_9·c_8_16·a_1_3 + a_4_9·c_8_16·a_1_1
149. a_4_10·a_9_17 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_2
        + a_4_9·c_8_17·a_1_1 + a_4_9·c_8_16·a_1_2 + a_4_9·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_2
        + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_2 + a_4_8·c_8_16·a_1_0
        + c_8_17·a_1_0³·a_1_1·a_1_3 + c_8_17·a_1_0⁴·a_1_2 + c_8_17·a_1_0⁴·a_1_1
        + c_8_17·a_1_0⁵ + c_8_16·a_1_0³·a_1_2·a_1_3 + c_8_16·a_1_0³·a_1_1·a_1_3
150. a_4_11·a_9_17 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_8·a_6_8·a_1_0²·a_1_1
        + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_3 + a_4_8·c_8_17·a_1_2 + a_4_8·c_8_17·a_1_0
        + a_4_8·c_8_16·a_1_2 + c_8_17·a_1_0³·a_1_1·a_1_3 + c_8_17·a_1_0⁴·a_1_3
        + c_8_17·a_1_0⁴·a_1_2 + c_8_17·a_1_0⁵ + c_8_16·a_1_0³·a_1_2·a_1_3
        + c_8_16·a_1_0⁴·a_1_3 + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1
151. a_4_8·a_9_18 + a_4_8·a_6_8·a_1_0³ + a_4_8·c_8_17·a_1_3 + a_4_8·c_8_17·a_1_1
        + a_4_8·c_8_17·a_1_0 + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_0
152. a_4_9·a_9_18 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_9·c_8_17·a_1_3 + a_4_9·c_8_17·a_1_1
        + a_4_9·c_8_16·a_1_3 + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_16·a_1_1 + c_8_17·a_1_0⁴·a_1_2
        + c_8_17·a_1_0⁴·a_1_1 + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1
153. a_4_10·a_9_18 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_9·c_8_17·a_1_2 + a_4_9·c_8_16·a_1_2
        + a_4_8·c_8_17·a_1_3 + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_16·a_1_1 + a_4_8·c_8_16·a_1_0
        + c_8_17·a_1_0³·a_1_2·a_1_3 + c_8_17·a_1_0⁴·a_1_1 + c_8_17·a_1_0⁵
        + c_8_16·a_1_0⁴·a_1_2
154. a_4_11·a_9_18 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_2
        + a_4_9·c_8_17·a_1_1 + a_4_9·c_8_16·a_1_3 + a_4_9·c_8_16·a_1_2 + a_4_9·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_2 + a_4_8·c_8_17·a_1_0 + a_4_8·c_8_16·a_1_2
        + c_8_17·a_1_0³·a_1_2·a_1_3 + c_8_17·a_1_0⁴·a_1_3 + c_8_17·a_1_0⁵
        + c_8_16·a_1_0³·a_1_1·a_1_3 + c_8_16·a_1_0⁴·a_1_3 + c_8_16·a_1_0⁴·a_1_1
155. a_4_8·a_9_19 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·a_6_8·a_1_0²·a_1_1 + a_4_8·a_6_8·a_1_0³ + a_4_8·c_8_17·a_1_3
        + a_4_8·c_8_17·a_1_2 + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_1
156. a_4_9·a_9_19 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_3
        + a_4_9·c_8_17·a_1_2 + a_4_9·c_8_16·a_1_3 + a_4_9·c_8_16·a_1_1
157. a_4_10·a_9_19 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_3
        + a_4_9·c_8_17·a_1_1 + a_4_9·c_8_16·a_1_2 + a_4_9·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_2
        + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_2 + a_4_8·c_8_16·a_1_0
        + c_8_17·a_1_0³·a_1_2·a_1_3 + c_8_17·a_1_0⁴·a_1_3 + c_8_17·a_1_0⁴·a_1_2
        + c_8_17·a_1_0⁵ + c_8_16·a_1_0³·a_1_2·a_1_3 + c_8_16·a_1_0³·a_1_1·a_1_3
158. a_4_11·a_9_19 + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_1 + a_4_8·c_8_17·a_1_3
        + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_16·a_1_2 + c_8_17·a_1_0³·a_1_2·a_1_3
        + c_8_17·a_1_0³·a_1_1·a_1_3 + c_8_17·a_1_0⁴·a_1_3 + c_8_16·a_1_0³·a_1_2·a_1_3
        + c_8_16·a_1_0⁴·a_1_3 + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1
159. a_4_8·a_9_20 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·a_6_8·a_1_0³ + a_4_8·c_8_17·a_1_3 + a_4_8·c_8_17·a_1_0 + a_4_8·c_8_16·a_1_3
        + a_4_8·c_8_16·a_1_2 + a_4_8·c_8_16·a_1_0
160. a_4_9·a_9_20 + a_4_8·a_6_8·a_1_0²·a_1_2 + a_4_9·c_8_17·a_1_3 + a_4_9·c_8_16·a_1_3
        + a_4_9·c_8_16·a_1_2 + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_16·a_1_1 + c_8_17·a_1_0⁴·a_1_2
        + c_8_17·a_1_0⁴·a_1_1 + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1
161. a_4_10·a_9_20 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_9·c_8_17·a_1_2 + a_4_9·c_8_16·a_1_3 + a_4_8·c_8_17·a_1_1 + a_4_8·c_8_17·a_1_0
        + a_4_8·c_8_16·a_1_1 + a_4_8·c_8_16·a_1_0 + c_8_17·a_1_0⁴·a_1_2
        + c_8_16·a_1_0³·a_1_2·a_1_3 + c_8_16·a_1_0³·a_1_1·a_1_3 + c_8_16·a_1_0⁴·a_1_3
        + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1
162. a_4_11·a_9_20 + a_4_8·a_6_8·a_1_0²·a_1_3 + a_4_8·a_6_8·a_1_0²·a_1_2
        + a_4_8·a_6_8·a_1_0³ + a_4_9·c_8_17·a_1_3 + a_4_9·c_8_17·a_1_2 + a_4_9·c_8_17·a_1_1
        + a_4_9·c_8_16·a_1_2 + a_4_8·c_8_17·a_1_2 + a_4_8·c_8_16·a_1_3 + a_4_8·c_8_16·a_1_1
        + a_4_8·c_8_16·a_1_0 + c_8_17·a_1_0³·a_1_1·a_1_3 + c_8_17·a_1_0⁴·a_1_3
        + c_8_17·a_1_0⁴·a_1_1 + c_8_16·a_1_0³·a_1_2·a_1_3 + c_8_16·a_1_0³·a_1_1·a_1_3
        + c_8_16·a_1_0⁴·a_1_3 + c_8_16·a_1_0⁴·a_1_2 + c_8_16·a_1_0⁴·a_1_1 + c_8_16·a_1_0⁵
163. a_6_8·a_9_15 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_16·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0³
164. a_6_9·a_9_15 + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_16·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_3
165. a_6_10·a_9_15 + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
166. a_6_11·a_9_15 + a_6_11·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1
167. a_6_12·a_9_15 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
168. a_6_13·a_9_15 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_2
        + a_6_11·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_3
        + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_2 + a_6_9·c_8_16·a_1_1
        + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
169. a_6_14·a_9_15 + a_6_12·c_8_16·a_1_2 + a_6_11·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3
        + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2 + a_6_9·c_8_16·a_1_1
        + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1
        + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2
170. a_6_15·a_9_15 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_2 + a_6_11·c_8_17·a_1_3
        + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_2
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
171. a_6_8·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0³
172. a_6_9·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0³
173. a_6_10·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_2
174. a_6_11·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_2
175. a_6_12·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_2
176. a_6_13·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
177. a_6_14·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0³
178. a_6_15·a_9_16 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
179. a_6_8·a_9_17 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
180. a_6_9·a_9_17 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_1
181. a_6_10·a_9_17 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1
182. a_6_11·a_9_17 + a_6_11·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2
        + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
183. a_6_12·a_9_17 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
184. a_6_13·a_9_17 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_2 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_17·a_1_3
        + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1
185. a_6_14·a_9_17 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3 + a_6_12·c_8_16·a_1_2
        + a_6_11·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3
        + a_6_10·c_8_16·a_1_2 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_1
        + a_6_9·c_8_16·a_1_2 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_1
        + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0³
186. a_6_15·a_9_17 + a_6_12·c_8_17·a_1_2 + a_6_11·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_3
        + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2
        + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_16·a_1_1
        + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
187. a_6_8·a_9_18 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
188. a_6_9·a_9_18 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3
        + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_1
189. a_6_10·a_9_18 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1
        + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0
        + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1
190. a_6_11·a_9_18 + a_6_11·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_17·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_2 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_0
        + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
191. a_6_12·a_9_18 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_3
        + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_17·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
192. a_6_13·a_9_18 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_2 + a_6_10·c_8_17·a_1_2
        + a_6_10·c_8_16·a_1_2 + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2
        + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_3
        + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
193. a_6_14·a_9_18 + a_6_12·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_17·a_1_3
        + a_6_10·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3
194. a_6_15·a_9_18 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3
        + a_6_11·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_16·a_1_3 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0³
195. a_6_8·a_9_19 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_16·a_1_3
        + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0³
196. a_6_9·a_9_19 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
197. a_6_10·a_9_19 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
198. a_6_11·a_9_19 + a_6_11·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2
        + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_17·a_1_3
        + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_1
199. a_6_12·a_9_19 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_1
200. a_6_13·a_9_19 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_16·a_1_2 + a_6_11·c_8_17·a_1_3
        + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0
        + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0³
201. a_6_14·a_9_19 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3 + a_6_12·c_8_16·a_1_2
        + a_6_10·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_16·a_1_2 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_2
        + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_1
202. a_6_15·a_9_19 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_3
        + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2
        + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_16·a_1_1
        + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
203. a_6_8·a_9_20 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_3
        + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2
204. a_6_9·a_9_20 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_2
        + a_6_8·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_0 + a_6_8·c_8_16·a_1_1 + a_6_8·c_8_16·a_1_0
        + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
205. a_6_10·a_9_20 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_1
        + a_6_8·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_1 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
206. a_6_11·a_9_20 + a_6_11·c_8_17·a_1_3 + a_6_11·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_9·c_8_16·a_1_1 + a_6_8·c_8_17·a_1_1
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
207. a_6_12·a_9_20 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_16·a_1_3 + a_6_12·c_8_16·a_1_2
        + a_6_9·c_8_17·a_1_2 + a_6_9·c_8_16·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0³
208. a_6_13·a_9_20 + a_6_12·c_8_17·a_1_2 + a_6_12·c_8_16·a_1_3 + a_6_11·c_8_16·a_1_3
        + a_6_10·c_8_17·a_1_2 + a_6_10·c_8_16·a_1_3 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_2
        + a_6_9·c_8_17·a_1_1 + a_6_8·c_8_17·a_1_3 + a_6_8·c_8_17·a_1_2 + a_6_8·c_8_17·a_1_0
        + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_2 + a_4_8·c_8_17·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0·a_1_1²
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0³ + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1
209. a_6_14·a_9_20 + a_6_11·c_8_17·a_1_3 + a_6_10·c_8_17·a_1_3 + a_6_10·c_8_16·a_1_2
        + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_17·a_1_1 + a_6_9·c_8_16·a_1_3 + a_6_8·c_8_17·a_1_3
        + a_6_8·c_8_17·a_1_0 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0²·a_1_1
210. a_6_15·a_9_20 + a_6_12·c_8_17·a_1_3 + a_6_12·c_8_16·a_1_3 + a_6_12·c_8_16·a_1_2
        + a_6_11·c_8_16·a_1_3 + a_6_10·c_8_16·a_1_2 + a_6_9·c_8_17·a_1_3 + a_6_9·c_8_16·a_1_3
        + a_6_9·c_8_16·a_1_2 + a_6_8·c_8_16·a_1_3 + a_6_8·c_8_16·a_1_2
        + a_4_8·c_8_17·a_1_0²·a_1_2 + a_4_8·c_8_17·a_1_0²·a_1_1
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0³
211. a_4_8·a_11_28 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
212. a_4_9·a_11_28 + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_1
213. a_4_10·a_11_28 + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_2
214. a_4_11·a_11_28 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0·a_1_1²
215. a_4_8·a_11_29 + a_4_8·c_8_17·a_1_0²·a_1_1 + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_4_8·c_8_16·a_1_0²·a_1_3 + a_4_8·c_8_16·a_1_0²·a_1_2
216. a_4_9·a_11_29 + a_4_8·c_8_17·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_2 + a_4_8·c_8_16·a_1_0³
217. a_4_10·a_11_29 + a_4_8·c_8_17·a_1_0²·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1² + a_4_8·c_8_16·a_1_0²·a_1_2
218. a_4_11·a_11_29 + a_4_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_4_8·c_8_17·a_1_0³
        + a_4_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_4_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_4_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_4_8·c_8_16·a_1_0·a_1_1²
        + a_4_8·c_8_16·a_1_0²·a_1_3
219. a_6_8·a_11_28 + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_2 + a_6_8·c_8_16·a_1_0³
220. a_6_9·a_11_28 + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_3
        + a_6_8·c_8_16·a_1_0³
221. a_6_10·a_11_28 + a_6_8·c_8_17·a_1_0²·a_1_3 + a_6_8·c_8_17·a_1_0³
        + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0³
222. a_6_11·a_11_28 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_1
223. a_6_12·a_11_28 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_3
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_3
224. a_6_13·a_11_28 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_2 + a_6_8·c_8_16·a_1_0³
225. a_6_14·a_11_28 + a_6_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0²·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0³
226. a_6_15·a_11_28 + a_6_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_1
        + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0³
227. a_6_8·a_11_29 + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_2
228. a_6_9·a_11_29 + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0³
229. a_6_10·a_11_29 + a_6_8·c_8_17·a_1_0²·a_1_3 + a_6_8·c_8_17·a_1_0³
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_2 + a_6_8·c_8_16·a_1_0³
230. a_6_11·a_11_29 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0·a_1_2·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_2
        + a_6_8·c_8_16·a_1_0²·a_1_1
231. a_6_12·a_11_29 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_3
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_1 + a_6_8·c_8_16·a_1_0³
232. a_6_13·a_11_29 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_3 + a_6_8·c_8_16·a_1_0²·a_1_1
        + a_6_8·c_8_16·a_1_0³
233. a_6_14·a_11_29 + a_6_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_17·a_1_0·a_1_1·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_2
        + a_6_8·c_8_17·a_1_0²·a_1_1 + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_3
234. a_6_15·a_11_29 + a_6_8·c_8_17·a_1_0·a_1_2·a_1_3 + a_6_8·c_8_17·a_1_0²·a_1_1
        + a_6_8·c_8_17·a_1_0³ + a_6_8·c_8_16·a_1_0·a_1_1·a_1_3
        + a_6_8·c_8_16·a_1_0·a_1_1·a_1_2 + a_6_8·c_8_16·a_1_0²·a_1_3
        + a_6_8·c_8_16·a_1_0²·a_1_2
235. a_9_15² + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_1² + c_8_17²·a_1_0·a_1_3
        + c_8_17²·a_1_0·a_1_2 + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1·a_1_2
        + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
236. a_9_15·a_9_16 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17 + a_4_8·a_6_14·c_8_16
        + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_8·c_8_17
        + a_4_8·a_6_8·c_8_16 + a_6_8·c_8_17·a_1_0³·a_1_1
237. a_9_16²
238. a_9_15·a_9_17 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_16
        + a_4_8·a_6_11·c_8_17 + a_4_8·a_6_11·c_8_16 + a_4_8·a_6_9·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_3 + a_6_8·c_8_17·a_1_0³·a_1_1
        + a_6_8·c_8_16·a_1_0³·a_1_3 + a_6_8·c_8_16·a_1_0³·a_1_1 + c_8_17²·a_1_2·a_1_3
        + c_8_16·c_8_17·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0·a_1_3
        + c_8_16·c_8_17·a_1_0·a_1_1 + c_8_16·c_8_17·a_1_0² + c_8_16²·a_1_1·a_1_2
        + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
239. a_9_17² + c_8_17²·a_1_1·a_1_3 + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_0·a_1_3
        + c_8_17²·a_1_0·a_1_1 + c_8_17²·a_1_0² + c_8_16²·a_1_1·a_1_3
        + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_1² + c_8_16²·a_1_0·a_1_3
        + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
240. a_9_16·a_9_17 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17
        + a_4_8·a_6_14·c_8_16 + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_10·c_8_16
        + a_4_8·a_6_8·c_8_17 + a_4_8·a_6_8·c_8_16 + a_6_8·c_8_16·a_1_0³·a_1_3
241. a_9_18² + c_8_17²·a_1_1·a_1_3 + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_1²
        + c_8_17²·a_1_0·a_1_3 + c_8_17²·a_1_0·a_1_1 + c_8_16²·a_1_1·a_1_3
        + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_1
242. a_9_15·a_9_18 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_14·c_8_17 + a_4_8·a_6_11·c_8_17
        + a_4_8·a_6_11·c_8_16 + a_4_8·a_6_10·c_8_16 + a_4_8·a_6_9·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_2 + a_6_8·c_8_17·a_1_0³·a_1_1 + a_6_8·c_8_17·a_1_0⁴
        + a_6_8·c_8_16·a_1_0⁴ + c_8_17²·a_1_2·a_1_3 + c_8_17²·a_1_1·a_1_2
        + c_8_17²·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_0·a_1_1 + c_8_16·c_8_17·a_1_0²
        + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_0·a_1_1
        + c_8_16²·a_1_0²
243. a_9_17·a_9_18 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_16 + a_4_8·a_6_13·c_8_17
        + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_9·c_8_16
        + a_4_8·a_6_8·c_8_17 + a_4_8·a_6_8·c_8_16 + a_6_8·c_8_17·a_1_0³·a_1_3
        + a_6_8·c_8_17·a_1_0³·a_1_2 + a_6_8·c_8_17·a_1_0⁴ + a_6_8·c_8_16·a_1_0³·a_1_3
        + a_6_8·c_8_16·a_1_0³·a_1_2 + a_6_8·c_8_16·a_1_0⁴ + c_8_17²·a_1_1·a_1_2
        + c_8_17²·a_1_0·a_1_1 + c_8_17²·a_1_0² + c_8_16·c_8_17·a_1_1²
        + c_8_16·c_8_17·a_1_0·a_1_1 + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_0²
244. a_9_16·a_9_18 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17
        + a_4_8·a_6_14·c_8_16 + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_11·c_8_17
        + a_4_8·a_6_11·c_8_16 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_8·c_8_17 + a_4_8·a_6_8·c_8_16
        + a_6_8·c_8_17·a_1_0⁴ + a_6_8·c_8_16·a_1_0³·a_1_3 + a_6_8·c_8_16·a_1_0⁴
245. a_9_19² + c_8_17²·a_1_1·a_1_3 + c_8_17²·a_1_1² + c_8_17²·a_1_0·a_1_2
        + c_8_17²·a_1_0·a_1_1 + c_8_17²·a_1_0² + c_8_16²·a_1_1·a_1_3
        + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_1² + c_8_16²·a_1_0·a_1_3
        + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
246. a_9_18·a_9_19 + a_4_8·a_6_14·c_8_17 + a_4_8·a_6_14·c_8_16 + a_4_8·a_6_13·c_8_17
        + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_10·c_8_16
        + a_4_8·a_6_9·c_8_17 + a_6_8·c_8_17·a_1_0³·a_1_3 + a_6_8·c_8_17·a_1_0³·a_1_2
        + a_6_8·c_8_16·a_1_0³·a_1_3 + a_6_8·c_8_16·a_1_0³·a_1_2
        + a_6_8·c_8_16·a_1_0³·a_1_1 + c_8_17²·a_1_2·a_1_3 + c_8_17²·a_1_0·a_1_2
        + c_8_17²·a_1_0·a_1_1 + c_8_17²·a_1_0² + c_8_16·c_8_17·a_1_2·a_1_3
        + c_8_16·c_8_17·a_1_1² + c_8_16·c_8_17·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_0·a_1_1
        + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_0²
247. a_9_15·a_9_19 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17 + a_4_8·a_6_13·c_8_16
        + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_11·c_8_17 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_10·c_8_16
        + a_4_8·a_6_9·c_8_16 + a_4_8·a_6_8·c_8_17 + a_4_8·a_6_8·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_3 + a_6_8·c_8_17·a_1_0³·a_1_2
        + a_6_8·c_8_16·a_1_0³·a_1_3 + a_6_8·c_8_16·a_1_0³·a_1_1 + c_8_17²·a_1_2·a_1_3
        + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_1² + c_8_17²·a_1_0·a_1_3
        + c_8_17²·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0·a_1_3
        + c_8_16·c_8_17·a_1_0·a_1_1 + c_8_16·c_8_17·a_1_0² + c_8_16²·a_1_1·a_1_2
        + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
248. a_9_17·a_9_19 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_10·c_8_17
        + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_9·c_8_16 + a_4_8·a_6_8·c_8_17 + a_4_8·a_6_8·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_2 + a_6_8·c_8_17·a_1_0⁴ + a_6_8·c_8_16·a_1_0³·a_1_1
        + a_6_8·c_8_16·a_1_0⁴ + c_8_17²·a_1_2·a_1_3 + c_8_17²·a_1_1·a_1_3
        + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_0·a_1_3 + c_8_17²·a_1_0·a_1_1
        + c_8_17²·a_1_0² + c_8_16·c_8_17·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_2
        + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_1²
        + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_1 + c_8_16²·a_1_0²
249. a_9_16·a_9_19 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_16
        + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_10·c_8_16 + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_8·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_1 + a_6_8·c_8_16·a_1_0³·a_1_3
250. a_9_20² + c_8_17²·a_1_1·a_1_3 + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_0·a_1_3
        + c_8_17²·a_1_0·a_1_1 + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1²
        + c_8_16²·a_1_0·a_1_2 + c_8_16²·a_1_0·a_1_1
251. a_9_19·a_9_20 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_16 + a_4_8·a_6_13·c_8_17
        + a_4_8·a_6_11·c_8_17 + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_9·c_8_16 + a_4_8·a_6_8·c_8_17
        + a_4_8·a_6_8·c_8_16 + a_6_8·c_8_17·a_1_0³·a_1_1 + a_6_8·c_8_16·a_1_0³·a_1_3
        + a_6_8·c_8_16·a_1_0⁴ + c_8_17²·a_1_2·a_1_3 + c_8_17²·a_1_1·a_1_3
        + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_0·a_1_2 + c_8_17²·a_1_0·a_1_1
        + c_8_17²·a_1_0² + c_8_16·c_8_17·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_1² + c_8_16·c_8_17·a_1_0·a_1_3 + c_8_16·c_8_17·a_1_0·a_1_1
        + c_8_16²·a_1_2·a_1_3 + c_8_16²·a_1_0²
252. a_9_18·a_9_20 + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_17
        + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_11·c_8_17 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_10·c_8_16
        + a_4_8·a_6_9·c_8_17 + a_4_8·a_6_8·c_8_17 + a_6_8·c_8_17·a_1_0³·a_1_2
        + a_6_8·c_8_16·a_1_0³·a_1_2 + a_6_8·c_8_16·a_1_0³·a_1_1 + c_8_17²·a_1_1·a_1_2
        + c_8_17²·a_1_0·a_1_3 + c_8_16·c_8_17·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_3
        + c_8_16·c_8_17·a_1_1·a_1_2 + c_8_16·c_8_17·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_0·a_1_1
        + c_8_16²·a_1_2·a_1_3 + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1·a_1_2
        + c_8_16²·a_1_0·a_1_3 + c_8_16²·a_1_0·a_1_2 + c_8_16²·a_1_0·a_1_1
253. a_9_15·a_9_20 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17 + a_4_8·a_6_14·c_8_16
        + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_17 + a_4_8·a_6_11·c_8_17 + a_4_8·a_6_9·c_8_17
        + a_4_8·a_6_8·c_8_17 + a_6_8·c_8_17·a_1_0³·a_1_3 + a_6_8·c_8_17·a_1_0³·a_1_2
        + a_6_8·c_8_17·a_1_0³·a_1_1 + a_6_8·c_8_16·a_1_0³·a_1_2 + a_6_8·c_8_16·a_1_0⁴
        + c_8_17²·a_1_2·a_1_3 + c_8_17²·a_1_0·a_1_2 + c_8_16·c_8_17·a_1_2·a_1_3
        + c_8_16·c_8_17·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_1² + c_8_16·c_8_17·a_1_0·a_1_3
        + c_8_16·c_8_17·a_1_0·a_1_1 + c_8_16·c_8_17·a_1_0² + c_8_16²·a_1_2·a_1_3
        + c_8_16²·a_1_1·a_1_3 + c_8_16²·a_1_1·a_1_2 + c_8_16²·a_1_0·a_1_1
        + c_8_16²·a_1_0²
254. a_9_17·a_9_20 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17
        + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_13·c_8_16 + a_4_8·a_6_12·c_8_17 + a_4_8·a_6_12·c_8_16
        + a_4_8·a_6_11·c_8_16 + a_4_8·a_6_10·c_8_17 + a_4_8·a_6_10·c_8_16 + a_4_8·a_6_8·c_8_16
        + a_6_8·c_8_17·a_1_0³·a_1_2 + a_6_8·c_8_16·a_1_0³·a_1_1 + c_8_17²·a_1_1·a_1_3
        + c_8_17²·a_1_1·a_1_2 + c_8_17²·a_1_0·a_1_1 + c_8_17²·a_1_0²
        + c_8_16·c_8_17·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0·a_1_1
        + c_8_16²·a_1_2·a_1_3 + c_8_16²·a_1_0²
255. a_9_16·a_9_20 + a_4_8·a_6_15·c_8_17 + a_4_8·a_6_15·c_8_16 + a_4_8·a_6_14·c_8_17
        + a_4_8·a_6_13·c_8_17 + a_4_8·a_6_12·c_8_17 + a_4_8·a_6_12·c_8_16 + a_4_8·a_6_11·c_8_17
        + a_4_8·a_6_11·c_8_16 + a_4_8·a_6_9·c_8_16 + a_4_8·a_6_8·c_8_17
        + a_6_8·c_8_17·a_1_0³·a_1_3 + a_6_8·c_8_17·a_1_0⁴ + a_6_8·c_8_16·a_1_0³·a_1_3
        + a_6_8·c_8_16·a_1_0³·a_1_1 + a_6_8·c_8_16·a_1_0⁴
256. a_9_20·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_16·a_1_0² + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_17²·a_1_0³·a_1_1
        + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0²·a_1_1² + c_8_16·c_8_17·a_1_0³·a_1_3
        + c_8_16·c_8_17·a_1_0⁴ + c_8_16²·a_1_0²·a_1_2·a_1_3 + c_8_16²·a_1_0²·a_1_1²
        + c_8_16²·a_1_0³·a_1_1
257. a_9_19·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_1² + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_16·a_1_0² + c_8_17²·a_1_0²·a_1_1·a_1_3
        + c_8_17²·a_1_0²·a_1_1·a_1_2 + c_8_16·c_8_17·a_1_0²·a_1_2·a_1_3
        + c_8_16·c_8_17·a_1_0³·a_1_2 + c_8_16·c_8_17·a_1_0³·a_1_1 + c_8_16·c_8_17·a_1_0⁴
        + c_8_16²·a_1_0²·a_1_2·a_1_3
258. a_9_18·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_0²
        + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_17²·a_1_0²·a_1_1² + c_8_17²·a_1_0³·a_1_1
        + c_8_16·c_8_17·a_1_0²·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_0³·a_1_2
        + c_8_16·c_8_17·a_1_0³·a_1_1 + c_8_16·c_8_17·a_1_0⁴ + c_8_16²·a_1_0²·a_1_1²
        + c_8_16²·a_1_0³·a_1_3 + c_8_16²·a_1_0³·a_1_1 + c_8_16²·a_1_0⁴
259. a_9_15·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_1·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_1² + c_8_17²·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0²·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3
        + c_8_16·c_8_17·a_1_0³·a_1_3 + c_8_16·c_8_17·a_1_0⁴ + c_8_16²·a_1_0²·a_1_1·a_1_3
        + c_8_16²·a_1_0²·a_1_1² + c_8_16²·a_1_0³·a_1_3 + c_8_16²·a_1_0³·a_1_2
        + c_8_16²·a_1_0³·a_1_1
260. a_9_17·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_1² + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_17·a_1_0² + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_0²
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0³·a_1_3
        + c_8_16·c_8_17·a_1_0³·a_1_2 + c_8_16·c_8_17·a_1_0³·a_1_1
        + c_8_16²·a_1_0²·a_1_2·a_1_3
261. a_9_16·a_11_28 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_1²
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_17·a_1_0² + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_1
262. a_9_20·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_0²
        + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_17²·a_1_0³·a_1_1
        + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_2 + c_8_16·c_8_17·a_1_0²·a_1_1²
        + c_8_16·c_8_17·a_1_0³·a_1_2 + c_8_16²·a_1_0²·a_1_2·a_1_3
        + c_8_16²·a_1_0²·a_1_1·a_1_3 + c_8_16²·a_1_0²·a_1_1² + c_8_16²·a_1_0³·a_1_3
        + c_8_16²·a_1_0³·a_1_2 + c_8_16²·a_1_0³·a_1_1
263. a_9_19·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1 + a_4_8·a_6_8·c_8_17·a_1_0²
        + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_0·a_1_1
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_17²·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0³·a_1_1 + c_8_16²·a_1_0²·a_1_2·a_1_3
        + c_8_16²·a_1_0²·a_1_1·a_1_3 + c_8_16²·a_1_0²·a_1_1·a_1_2
        + c_8_16²·a_1_0³·a_1_3 + c_8_16²·a_1_0³·a_1_2 + c_8_16²·a_1_0³·a_1_1
        + c_8_16²·a_1_0⁴
264. a_9_18·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1 + a_4_8·a_6_8·c_8_17·a_1_0²
        + a_4_8·a_6_8·c_8_16·a_1_1·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_0²
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_17²·a_1_0²·a_1_1² + c_8_17²·a_1_0³·a_1_1
        + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0⁴
        + c_8_16²·a_1_0²·a_1_1·a_1_3 + c_8_16²·a_1_0²·a_1_1² + c_8_16²·a_1_0³·a_1_2
        + c_8_16²·a_1_0³·a_1_1
265. a_9_15·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_1²
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3 + c_8_17²·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0²·a_1_2·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3
        + c_8_16·c_8_17·a_1_0³·a_1_3 + c_8_16²·a_1_0²·a_1_2·a_1_3
        + c_8_16²·a_1_0²·a_1_1·a_1_2 + c_8_16²·a_1_0²·a_1_1² + c_8_16²·a_1_0³·a_1_3
        + c_8_16²·a_1_0³·a_1_1
266. a_9_17·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_2·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_3
        + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_1²
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_2
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1 + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_1² + a_4_8·a_6_8·c_8_16·a_1_0·a_1_3
        + c_8_17²·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_2·a_1_3
        + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_3 + c_8_16·c_8_17·a_1_0²·a_1_1·a_1_2
        + c_8_16·c_8_17·a_1_0³·a_1_3 + c_8_16·c_8_17·a_1_0³·a_1_1
        + c_8_16²·a_1_0²·a_1_2·a_1_3 + c_8_16²·a_1_0²·a_1_1·a_1_3
        + c_8_16²·a_1_0²·a_1_1·a_1_2 + c_8_16²·a_1_0³·a_1_3 + c_8_16²·a_1_0³·a_1_2
        + c_8_16²·a_1_0³·a_1_1 + c_8_16²·a_1_0⁴
267. a_9_16·a_11_29 + a_4_8·a_6_8·c_8_17·a_1_1·a_1_2 + a_4_8·a_6_8·c_8_17·a_1_1²
        + a_4_8·a_6_8·c_8_17·a_1_0·a_1_3 + a_4_8·a_6_8·c_8_17·a_1_0·a_1_1
        + a_4_8·a_6_8·c_8_17·a_1_0² + a_4_8·a_6_8·c_8_16·a_1_2·a_1_3
        + a_4_8·a_6_8·c_8_16·a_1_1·a_1_3 + a_4_8·a_6_8·c_8_16·a_1_1·a_1_2
        + a_4_8·a_6_8·c_8_16·a_1_0·a_1_2 + a_4_8·a_6_8·c_8_16·a_1_0²
268. a_11_28²
269. a_11_28·a_11_29 + a_4_8·a_6_8·c_8_16·a_1_0³·a_1_3
270. a_11_29²

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 64

Data used for Benson′s test

• Benson′s completion test succeeded in degree 22.
• The completion test was perfect: It applied in the last degree in which a generator or relation was found.
• The following is a filter regular homogeneous system of parameters:
  1. c_8_16, a Duflot regular element of degree 8
  2. c_8_17, a Duflot regular element of degree 8
• The Raw Filter Degree Type of that HSOP is [-1, -1, 14].
• The filter degree type of any filter regular HSOP is [-1, -2, -2].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 64

Restriction maps

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → 0, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_1_3 → 0, an element of degree 1
5. a_4_8 → 0, an element of degree 4
6. a_4_9 → 0, an element of degree 4
7. a_4_10 → 0, an element of degree 4
8. a_4_11 → 0, an element of degree 4
9. a_6_8 → 0, an element of degree 6
10. a_6_9 → 0, an element of degree 6
11. a_6_10 → 0, an element of degree 6
12. a_6_11 → 0, an element of degree 6
13. a_6_12 → 0, an element of degree 6
14. a_6_13 → 0, an element of degree 6
15. a_6_14 → 0, an element of degree 6
16. a_6_15 → 0, an element of degree 6
17. c_8_16 → c_1_1⁸, an element of degree 8
18. c_8_17 → c_1_0⁸, an element of degree 8
19. a_9_15 → 0, an element of degree 9
20. a_9_16 → 0, an element of degree 9
21. a_9_17 → 0, an element of degree 9
22. a_9_18 → 0, an element of degree 9
23. a_9_19 → 0, an element of degree 9
24. a_9_20 → 0, an element of degree 9
25. a_11_28 → 0, an element of degree 11
26. a_11_29 → 0, an element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 64