David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 2262 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 5 minimal generators and exponent 4.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 3.
• It has a unique conjugacy class of maximal elementary abelian subgroups, which is of rank 3.

Structure of the cohomology ring

General information

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

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

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

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

The cohomology ring has 27 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. c_1_4, a Duflot regular element of degree 1
6. a_4_31, a nilpotent element of degree 4
7. a_4_32, a nilpotent element of degree 4
8. a_4_33, a nilpotent element of degree 4
9. a_4_34, a nilpotent element of degree 4
10. a_6_56, a nilpotent element of degree 6
11. a_6_57, a nilpotent element of degree 6
12. a_6_58, a nilpotent element of degree 6
13. a_6_59, a nilpotent element of degree 6
14. a_6_60, a nilpotent element of degree 6
15. a_6_61, a nilpotent element of degree 6
16. a_6_62, a nilpotent element of degree 6
17. a_6_63, a nilpotent element of degree 6
18. c_8_100, a Duflot regular element of degree 8
19. c_8_101, a Duflot regular element of degree 8
20. a_9_117, a nilpotent element of degree 9
21. a_9_118, a nilpotent element of degree 9
22. a_9_119, a nilpotent element of degree 9
23. a_9_120, a nilpotent element of degree 9
24. a_9_121, a nilpotent element of degree 9
25. a_9_122, a nilpotent element of degree 9
26. a_11_179, a nilpotent element of degree 11
27. a_11_180, a nilpotent element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Data used for Benson′s test

• Benson′s completion test succeeded in degree 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_1_4, a Duflot regular element of degree 1
  2. c_8_100, a Duflot regular element of degree 8
  3. c_8_101, a Duflot regular element of degree 8
• The Raw Filter Degree Type of that HSOP is [-1, -1, -1, 14].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -3].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Restriction maps

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

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. c_1_4 → c_1_0, an element of degree 1
6. a_4_31 → 0, an element of degree 4
7. a_4_32 → 0, an element of degree 4
8. a_4_33 → 0, an element of degree 4
9. a_4_34 → 0, an element of degree 4
10. a_6_56 → 0, an element of degree 6
11. a_6_57 → 0, an element of degree 6
12. a_6_58 → 0, an element of degree 6
13. a_6_59 → 0, an element of degree 6
14. a_6_60 → 0, an element of degree 6
15. a_6_61 → 0, an element of degree 6
16. a_6_62 → 0, an element of degree 6
17. a_6_63 → 0, an element of degree 6
18. c_8_100 → c_1_2⁸, an element of degree 8
19. c_8_101 → c_1_1⁸, an element of degree 8
20. a_9_117 → 0, an element of degree 9
21. a_9_118 → 0, an element of degree 9
22. a_9_119 → 0, an element of degree 9
23. a_9_120 → 0, an element of degree 9
24. a_9_121 → 0, an element of degree 9
25. a_9_122 → 0, an element of degree 9
26. a_11_179 → 0, an element of degree 11
27. a_11_180 → 0, an element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128