David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 40 of order 243

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

General information on the group

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

Structure of the cohomology ring

General information

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

  ( − 1) · (t2  +  1) · (t6  −  t5  +  t4  +  t2  +  1)

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

• The a-invariants are -∞,-∞,-4,-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 243

Ring generators

The cohomology ring has 22 minimal generators of maximal degree 9:

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_2_3, a nilpotent element of degree 2
5. a_2_4, a nilpotent element of degree 2
6. b_2_2, an element of degree 2
7. b_2_5, an element of degree 2
8. a_3_7, a nilpotent element of degree 3
9. a_3_8, a nilpotent element of degree 3
10. a_3_9, a nilpotent element of degree 3
11. a_4_10, a nilpotent element of degree 4
12. b_4_11, an element of degree 4
13. a_5_14, a nilpotent element of degree 5
14. a_5_16, a nilpotent element of degree 5
15. a_6_15, a nilpotent element of degree 6
16. b_6_17, an element of degree 6
17. c_6_19, a Duflot regular element of degree 6
18. c_6_20, a Duflot regular element of degree 6
19. a_7_25, a nilpotent element of degree 7
20. a_7_26, a nilpotent element of degree 7
21. b_8_33, an element of degree 8
22. a_9_42, a nilpotent element of degree 9

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Ring relations

There are 11 "obvious" relations:
   a_1_0², a_1_1², a_1_2², a_3_7², a_3_8², a_3_9², a_5_14², a_5_16², a_7_25², a_7_26², a_9_42²

Apart from that, there are 152 minimal relations of maximal degree 17:

1. a_1_0·a_1_2
2. a_2_3·a_1_0
3. a_2_4·a_1_0 − a_2_3·a_1_2
4. a_2_4·a_1_2 + a_2_3·a_1_2
5. b_2_2·a_1_2
6. b_2_5·a_1_0 − b_2_2·a_1_1
7. a_2_3·a_2_4 + a_2_3²
8. a_2_4² − a_2_3²
9. a_2_4·b_2_2 + a_2_3·b_2_2 − a_2_3²
10.  − a_2_3·b_2_2 + a_1_0·a_3_7
11. a_1_2·a_3_7 − a_2_3²
12. a_1_0·a_3_8 − a_2_3²
13. a_1_2·a_3_8
14.  − a_2_3·b_2_5 − a_1_1·a_3_7 + a_1_0·a_3_9 + a_2_3²
15.  − a_2_4·b_2_5 − a_2_3·b_2_5 + a_1_2·a_3_9 − a_1_1·a_3_8
16. a_2_3·a_3_7
17. b_2_2·a_3_8
18.  − a_2_4·a_3_7 + a_2_3·a_3_8 + a_2_3²·a_1_1
19. a_2_4·a_3_8 + a_2_4·a_3_7 − a_2_3²·a_1_1
20. b_2_5·a_3_7 + b_2_2·a_3_9 − b_2_2·b_2_5·a_1_1
21. a_4_10·a_1_1 − a_2_4·a_3_9 − a_2_3·a_3_9 − a_1_0·a_1_1·a_3_9
22. a_4_10·a_1_0 + a_2_4·a_3_7
23. a_4_10·a_1_2 + a_2_3²·a_1_1
24. b_4_11·a_1_1 − b_2_2²·a_1_1 − a_1_1·a_1_2·a_3_9 + a_1_0·a_1_1·a_3_9 − a_2_3²·a_1_1
25. b_4_11·a_1_0 − b_2_2·b_2_5·a_1_1 + a_1_0·a_1_1·a_3_9
26. b_4_11·a_1_2 − a_1_1·a_1_2·a_3_9 + a_1_0·a_1_1·a_3_9 − a_2_3²·a_1_1
27. a_3_7·a_3_8
28. a_2_3·a_4_10 − a_2_3·a_1_1·a_3_8
29. a_2_4·a_4_10 + a_2_3·a_1_1·a_3_8
30. b_2_2·b_4_11 − b_2_2·b_2_5² + b_2_2·a_1_1·a_3_9 − b_2_2·a_1_0·a_3_9
31. b_2_5·b_4_11 − b_2_2²·b_2_5 − b_2_5·a_1_2·a_3_9 + b_2_5·a_1_1·a_3_9 − b_2_2·a_1_1·a_3_9
32. a_2_3·b_4_11 + b_2_2·a_1_1·a_3_9 + a_2_3·a_1_1·a_3_9 − a_2_3·a_1_1·a_3_8
33. a_2_4·b_4_11 − b_2_2·a_1_1·a_3_9 + a_2_3·a_1_1·a_3_8
34. a_1_1·a_5_14 + b_2_2·a_1_1·a_3_9 − a_2_3·a_1_1·a_3_9
35. a_1_0·a_5_14 + b_2_2·a_1_1·a_3_9 + b_2_2·a_1_0·a_3_9 + b_2_2·a_1_0·a_3_7
       + a_2_3·a_1_1·a_3_8
36. a_1_2·a_5_14 + b_2_5·a_1_1·a_3_8 − a_2_3·a_1_1·a_3_9 + a_2_3·a_1_1·a_3_8
37.  − b_2_5·a_4_10 − a_3_8·a_3_9 + a_1_1·a_5_16 − b_2_5·a_1_1·a_3_9 + b_2_5·a_1_1·a_3_8
       + b_2_2·a_1_1·a_3_9 − a_2_3·a_1_1·a_3_8
38.  − b_2_2·a_4_10 + a_1_0·a_5_16 + b_2_2·a_1_1·a_3_9 + b_2_2·a_1_0·a_3_9 − b_2_2·a_1_0·a_3_7
39. a_1_2·a_5_16 − b_2_5·a_1_2·a_3_9 − b_2_5·a_1_1·a_3_8 + a_2_3·a_1_1·a_3_9
       + a_2_3·a_1_1·a_3_8
40. a_4_10·a_3_8 − a_2_3²·a_3_9
41. b_4_11·a_3_9 − b_2_2²·a_3_9 + a_1_1·a_3_7·a_3_9 − a_2_3²·a_3_9
42. b_4_11·a_3_8 − a_1_1·a_3_8·a_3_9 − a_1_1·a_3_7·a_3_9 + a_2_3²·a_3_9
43. b_4_11·a_3_7 + b_2_2·b_2_5·a_3_9 − b_2_2³·a_1_1 − a_1_1·a_3_7·a_3_9 + a_2_3²·a_3_9
44. b_2_2·a_5_14 + b_2_2·b_2_5·a_3_9 + b_2_2²·a_3_9 + b_2_2²·a_3_7 + b_2_2²·b_2_5·a_1_1
       + b_2_2³·a_1_1 + a_2_3²·a_3_9
45. a_2_3·a_5_14 − a_1_1·a_3_7·a_3_9 − a_2_3²·a_3_9
46. a_2_4·a_5_14 − a_1_1·a_3_8·a_3_9 + a_1_1·a_3_7·a_3_9 − a_2_3²·a_3_9
47. a_4_10·a_3_7 + a_2_3·a_5_16 − a_1_1·a_3_7·a_3_9 + a_2_3²·a_3_9
48.  − a_4_10·a_3_7 + a_2_4·a_5_16 − a_1_1·a_3_8·a_3_9 + a_1_1·a_3_7·a_3_9 − a_2_3²·a_3_9
49. a_6_15·a_1_1 + a_4_10·a_3_9 + a_1_1·a_3_7·a_3_9 − b_2_5·a_1_1·a_1_2·a_3_9
       − a_2_3²·a_3_9
50. a_6_15·a_1_0 − a_4_10·a_3_7 + a_2_3²·a_3_9
51. a_6_15·a_1_2 + b_2_5·a_1_1·a_1_2·a_3_9 − a_2_3²·a_3_9
52. b_6_17·a_1_1 − b_2_5·a_5_14 − b_2_2·b_2_5·a_3_9 − b_2_2²·b_2_5·a_1_1
       − a_1_1·a_3_7·a_3_9 + a_2_3²·a_3_9
53. b_6_17·a_1_0 + b_2_2²·b_2_5·a_1_1 + b_2_2³·a_1_1 − a_2_3²·a_3_9
54. b_6_17·a_1_2 − b_2_5²·a_3_8 + a_1_1·a_3_7·a_3_9 − b_2_5·a_1_1·a_1_2·a_3_9
55. a_4_10²
56. b_4_11² − b_2_2²·b_2_5² − b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9
57. a_3_8·a_5_16 + a_3_8·a_5_14 + a_3_7·a_5_14 − b_2_5·a_3_8·a_3_9 − b_2_2²·a_1_1·a_3_9
       − b_2_2²·a_1_0·a_3_9
58.  − a_4_10·b_4_11 + a_3_8·a_5_14 − a_3_7·a_5_14 + b_2_5·a_1_1·a_5_16 − b_2_5²·a_1_1·a_3_9
       + b_2_2²·a_1_1·a_3_9 − b_2_2²·a_1_0·a_3_9
59. a_3_7·a_5_14 − b_2_2²·a_1_1·a_3_9 − b_2_2²·a_1_0·a_3_9 + a_2_3·a_1_1·a_5_16
60. b_2_2·a_6_15 + a_3_7·a_5_16 − b_2_2·a_1_0·a_5_16 − b_2_2²·a_1_1·a_3_9
       − b_2_2²·a_1_0·a_3_7
61. a_4_10·b_4_11 + b_2_5·a_6_15 − a_3_9·a_5_16 − a_3_9·a_5_14 − a_3_8·a_5_14 − a_3_7·a_5_14
       + b_2_5·a_3_8·a_3_9 − b_2_5²·a_1_2·a_3_9 − b_2_5²·a_1_1·a_3_9 − b_2_2·a_1_1·a_5_16
       − b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9 + c_6_19·a_1_1·a_1_2
62. a_3_7·a_5_14 − b_2_2²·a_1_1·a_3_9 − b_2_2²·a_1_0·a_3_9 + a_2_3·a_6_15
63. a_2_4·a_6_15
64. b_2_2·b_6_17 + b_2_2²·b_2_5² + b_2_2³·b_2_5 + b_2_2²·a_1_1·a_3_9
       − b_2_2²·a_1_0·a_3_7
65. a_2_3·b_6_17 + a_3_7·a_5_14 + b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9
66. a_2_4·b_6_17 − a_3_8·a_5_14 + a_3_7·a_5_14 − b_2_5·a_3_8·a_3_9
67.  − a_3_8·a_5_14 + a_3_7·a_5_14 + a_1_1·a_7_25 − b_2_5²·a_1_1·a_3_9 + b_2_5²·a_1_1·a_3_8
       + c_6_20·a_1_0·a_1_1 − c_6_19·a_1_1·a_1_2
68.  − a_3_7·a_5_14 + a_1_0·a_7_25 + b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9
       − b_2_2²·a_1_0·a_3_7 + c_6_19·a_1_0·a_1_1
69.  − a_3_7·a_5_14 + a_1_2·a_7_25 − b_2_5²·a_1_2·a_3_9 − b_2_5²·a_1_1·a_3_8
       + b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9 − c_6_19·a_1_1·a_1_2
70.  − a_4_10·b_4_11 + a_3_9·a_5_14 + a_3_8·a_5_14 − a_3_7·a_5_14 + a_1_1·a_7_26
       − b_2_5²·a_1_1·a_3_9 + b_2_5²·a_1_1·a_3_8 + b_2_2²·a_1_1·a_3_9 + b_2_2²·a_1_0·a_3_9
       + c_6_20·a_1_1·a_1_2 + c_6_19·a_1_1·a_1_2
71. a_3_7·a_5_14 + a_1_0·a_7_26 − b_2_2·a_1_1·a_5_16 − b_2_2²·a_1_1·a_3_9
       + b_2_2²·a_1_0·a_3_9 + c_6_20·a_1_0·a_1_1 − c_6_19·a_1_0·a_1_1
72.  − a_3_8·a_5_14 + a_3_7·a_5_14 + a_1_2·a_7_26 − b_2_5·a_3_8·a_3_9 − b_2_5²·a_1_2·a_3_9
       + b_2_5²·a_1_1·a_3_8 − b_2_2²·a_1_1·a_3_9 − b_2_2²·a_1_0·a_3_9 − c_6_20·a_1_1·a_1_2
       + c_6_19·a_1_1·a_1_2
73. b_4_11·a_5_14 + b_2_2³·a_3_9 + b_2_2³·b_2_5·a_1_1 − b_2_2⁴·a_1_1
       − b_2_5·a_1_1·a_3_8·a_3_9
74.  − a_4_10·a_5_14 + a_1_1·a_3_9·a_5_16 + a_1_0·a_3_9·a_5_16 + a_1_0·a_3_7·a_5_16
75. a_4_10·a_5_16 + a_4_10·a_5_14 + a_1_1·a_3_9·a_5_16 + a_1_0·a_3_9·a_5_16
       − b_2_5·a_1_1·a_3_8·a_3_9
76. a_6_15·a_3_9 − a_1_1·a_3_9·a_5_16 + a_1_0·a_3_9·a_5_16 + a_2_4·c_6_19·a_1_1
       + a_2_3·c_6_19·a_1_1
77. a_6_15·a_3_8 + b_2_5·a_1_1·a_3_8·a_3_9
78. a_6_15·a_3_7 + a_4_10·a_5_14 − a_1_1·a_3_9·a_5_16 − a_1_0·a_3_9·a_5_16
       − a_2_3·c_6_19·a_1_2
79. b_6_17·a_3_8 + b_4_11·a_5_16 − b_2_5²·a_5_16 − b_2_5²·a_5_14 + b_2_5³·a_3_9
       − b_2_2²·b_2_5·a_3_9 − b_2_2³·a_3_9 − b_2_2³·b_2_5·a_1_1 + b_2_2⁴·a_1_1
       + a_1_1·a_3_9·a_5_16 − a_1_0·a_3_9·a_5_16 + b_2_5·a_1_1·a_3_8·a_3_9
       + b_2_5²·a_1_1·a_1_2·a_3_9
80. b_6_17·a_3_7 − b_2_2²·b_2_5·a_3_9 − b_2_2³·a_3_9 + b_2_2³·b_2_5·a_1_1 + b_2_2⁴·a_1_1
81. b_2_2·a_7_25 − b_2_2³·a_3_7 − b_2_2³·b_2_5·a_1_1 + b_2_2⁴·a_1_1 + a_4_10·a_5_14
       − a_1_1·a_3_9·a_5_16 − b_2_2·c_6_20·a_1_0 + b_2_2·c_6_19·a_1_1
82.  − b_4_11·a_5_16 + b_2_5·a_7_25 + b_2_5²·a_5_16 − b_2_5²·a_5_14 + b_2_5³·a_3_9
       + b_2_5³·a_3_8 − b_2_2²·b_2_5·a_3_9 − b_2_2³·b_2_5·a_1_1 + b_2_5·a_1_1·a_3_8·a_3_9
       + b_2_5²·a_1_1·a_1_2·a_3_9 − b_2_5·c_6_19·a_1_2 + b_2_5·c_6_19·a_1_1
       − b_2_2·c_6_20·a_1_1
83. a_2_3·a_7_25 − a_2_3·c_6_19·a_1_2 + a_2_3·c_6_19·a_1_1
84. a_2_4·a_7_25 − b_2_5·a_1_1·a_3_8·a_3_9 + a_2_4·c_6_19·a_1_1 − a_2_3·c_6_20·a_1_2
       + a_2_3·c_6_19·a_1_2
85. b_2_2·a_7_26 − b_2_2·b_2_5·a_5_16 − b_2_2³·a_3_9 − b_2_2³·b_2_5·a_1_1 + b_2_2⁴·a_1_1
       − a_1_0·a_3_9·a_5_16 + b_2_2·c_6_20·a_1_1 − b_2_2·c_6_19·a_1_1
86. a_2_3·a_7_26 + a_1_0·a_3_9·a_5_16 + a_2_3·c_6_20·a_1_2 + a_2_3·c_6_20·a_1_1
       + a_2_3·c_6_19·a_1_2 − a_2_3·c_6_19·a_1_1
87. a_2_4·a_7_26 − a_1_0·a_3_9·a_5_16 + a_2_4·c_6_20·a_1_1 − a_2_4·c_6_19·a_1_1
       − a_2_3·c_6_20·a_1_2 − a_2_3·c_6_19·a_1_2
88. b_8_33·a_1_1 + b_6_17·a_3_9 − b_2_5·a_7_26 + b_2_5²·a_5_16 + b_2_5²·a_5_14
       − b_2_5³·a_3_8 − b_2_2²·b_2_5·a_3_9 − b_2_2³·a_3_9 + b_2_2³·b_2_5·a_1_1
       + b_2_2⁴·a_1_1 + a_1_1·a_3_9·a_5_16 + a_1_0·a_3_9·a_5_16 + b_2_5·a_1_1·a_3_8·a_3_9
       − b_2_5·c_6_20·a_1_2 − b_2_5·c_6_19·a_1_2 − b_2_2·c_6_20·a_1_1 − b_2_2·c_6_19·a_1_1
       − a_2_4·c_6_20·a_1_1 − a_2_4·c_6_19·a_1_1
89. b_8_33·a_1_0 + b_2_2³·b_2_5·a_1_1 + b_2_2⁴·a_1_1 − a_4_10·a_5_14 + a_1_1·a_3_9·a_5_16
       + a_1_0·a_3_9·a_5_16 + b_2_2·c_6_20·a_1_1 − b_2_2·c_6_20·a_1_0 − b_2_2·c_6_19·a_1_1
       − b_2_2·c_6_19·a_1_0 − a_2_3·c_6_20·a_1_2 − a_2_3·c_6_19·a_1_2
90. b_8_33·a_1_2 + b_4_11·a_5_16 − b_2_5²·a_5_16 − b_2_5²·a_5_14 + b_2_5³·a_3_9
       − b_2_5³·a_3_8 − b_2_2²·b_2_5·a_3_9 − b_2_2³·a_3_9 − b_2_2³·b_2_5·a_1_1
       + b_2_2⁴·a_1_1 + a_1_1·a_3_9·a_5_16 − a_1_0·a_3_9·a_5_16 − b_2_5·a_1_1·a_3_8·a_3_9
       − b_2_5²·a_1_1·a_1_2·a_3_9 + b_2_5·c_6_20·a_1_2 − b_2_5·c_6_19·a_1_2
       + a_2_3·c_6_20·a_1_2 + a_2_3·c_6_19·a_1_2
91. a_4_10·a_6_15 − a_2_3·c_6_19·a_1_1·a_1_2
92. b_4_11·b_6_17 + b_2_2³·b_2_5² + b_2_2⁴·b_2_5 + b_4_11·a_6_15 + a_5_14·a_5_16
       − b_2_5²·a_3_8·a_3_9 + b_2_5³·a_1_1·a_3_8 + b_2_2·a_3_9·a_5_16 + b_2_2·a_3_7·a_5_16
       − b_2_2²·a_1_1·a_5_16 − b_2_2³·a_1_1·a_3_9 + b_2_5·c_6_19·a_1_1·a_1_2
       + a_2_3·c_6_19·a_1_1·a_1_2
93.  − b_4_11·a_6_15 + a_4_10·b_6_17 + a_5_14·a_5_16 − b_2_5·a_3_9·a_5_16
       − b_2_5²·a_1_1·a_5_16 + b_2_5³·a_1_1·a_3_9 − b_2_5³·a_1_1·a_3_8 + b_2_2·a_3_9·a_5_16
       + b_2_2·a_3_7·a_5_16 − b_2_2²·a_1_1·a_5_16 − b_2_2³·a_1_0·a_3_9
       − b_2_5·c_6_19·a_1_1·a_1_2
94. a_5_14·a_5_16 + a_3_9·a_7_25 + b_2_5·a_3_9·a_5_16 − b_2_5²·a_3_8·a_3_9
       + b_2_5³·a_1_1·a_3_8 + b_2_2·a_3_9·a_5_16 + b_2_2·a_3_7·a_5_16
       + b_2_2·b_2_5·a_1_1·a_5_16 + b_2_2²·a_1_1·a_5_16 + b_2_2³·a_1_0·a_3_9
       + c_6_20·a_1_0·a_3_9 + c_6_19·a_1_2·a_3_9 − c_6_19·a_1_1·a_3_9
       + b_2_5·c_6_19·a_1_1·a_1_2 + a_2_3·c_6_19·a_1_1·a_1_2
95. a_3_8·a_7_25 − b_2_5²·a_3_8·a_3_9 − b_2_5²·a_1_1·a_5_16 + b_2_5³·a_1_1·a_3_9
       + b_2_2²·a_1_1·a_5_16 − b_2_2³·a_1_0·a_3_9 − c_6_19·a_1_1·a_3_8 + a_2_3²·c_6_20
       − a_2_3·c_6_19·a_1_1·a_1_2
96. a_3_7·a_7_25 − b_2_2³·a_1_1·a_3_9 + b_2_2³·a_1_0·a_3_9 + c_6_20·a_1_0·a_3_7
       − c_6_19·a_1_1·a_3_7 + a_2_3²·c_6_19 − a_2_3·c_6_19·a_1_1·a_1_2
97. b_4_11·a_6_15 − a_5_14·a_5_16 + a_3_8·a_7_26 + b_2_5·a_3_9·a_5_16 − b_2_5²·a_3_8·a_3_9
       + b_2_5²·a_1_1·a_5_16 − b_2_5³·a_1_1·a_3_9 + b_2_5³·a_1_1·a_3_8 − b_2_2·a_3_9·a_5_16
       − b_2_2·a_3_7·a_5_16 + b_2_2·b_2_5·a_1_1·a_5_16 − b_2_2²·a_1_1·a_5_16
       + b_2_2³·a_1_0·a_3_9 − c_6_20·a_1_1·a_3_8 + c_6_19·a_1_1·a_3_8
       + b_2_5·c_6_19·a_1_1·a_1_2 − a_2_3·c_6_19·a_1_1·a_1_2
98. a_3_7·a_7_26 + b_2_2·a_3_9·a_5_16 − b_2_2·b_2_5·a_1_1·a_5_16 + b_2_2³·a_1_1·a_3_9
       + b_2_2³·a_1_0·a_3_9 − c_6_20·a_1_1·a_3_7 + c_6_19·a_1_1·a_3_7 − a_2_3²·c_6_20
       − a_2_3²·c_6_19 + a_2_3·c_6_19·a_1_1·a_1_2
99.  − b_4_11·a_6_15 − a_5_14·a_5_16 + b_2_5·a_1_1·a_7_26 − b_2_5²·a_1_1·a_5_16
       − b_2_2·a_3_9·a_5_16 − b_2_2·a_3_7·a_5_16 + b_2_2²·a_1_1·a_5_16 − b_2_2³·a_1_0·a_3_9
       + b_2_5·c_6_20·a_1_1·a_1_2 − a_2_3·c_6_19·a_1_1·a_1_2
100. b_2_2·b_8_33 + b_2_2³·b_2_5² + b_2_2⁴·b_2_5 − b_2_2·a_3_7·a_5_16
        − b_2_2·b_2_5·a_1_1·a_5_16 + b_2_2²·a_1_1·a_5_16 − b_2_2²·a_1_0·a_5_16
        − b_2_2³·a_1_0·a_3_9 + b_2_2·b_2_5·c_6_20 − b_2_2·b_2_5·c_6_19 − b_2_2²·c_6_20
        − b_2_2²·c_6_19 + c_6_20·a_1_0·a_3_7 + c_6_19·a_1_0·a_3_7 − a_2_3²·c_6_20
        − a_2_3²·c_6_19
101. a_2_3·b_8_33 − b_2_2³·a_1_1·a_3_9 − b_2_2³·a_1_0·a_3_9 − c_6_20·a_1_1·a_3_7
        + c_6_20·a_1_0·a_3_9 − c_6_20·a_1_0·a_3_7 + c_6_19·a_1_1·a_3_7 − c_6_19·a_1_0·a_3_9
        − c_6_19·a_1_0·a_3_7 − a_2_3²·c_6_20 − a_2_3·c_6_20·a_1_1·a_1_2
        + a_2_3·c_6_19·a_1_1·a_1_2
102. b_4_11·a_6_15 + a_2_4·b_8_33 − a_5_14·a_5_16 + b_2_5·a_3_9·a_5_16 − b_2_5²·a_3_8·a_3_9
        + b_2_5²·a_1_1·a_5_16 − b_2_5³·a_1_1·a_3_9 + b_2_5³·a_1_1·a_3_8 − b_2_2·a_3_9·a_5_16
        − b_2_2·a_3_7·a_5_16 + b_2_2·b_2_5·a_1_1·a_5_16 − b_2_2²·a_1_1·a_5_16
        + b_2_2³·a_1_1·a_3_9 − b_2_2³·a_1_0·a_3_9 + c_6_20·a_1_2·a_3_9 − c_6_20·a_1_1·a_3_8
        + c_6_20·a_1_1·a_3_7 − c_6_20·a_1_0·a_3_9 + c_6_20·a_1_0·a_3_7 − c_6_19·a_1_2·a_3_9
        + c_6_19·a_1_1·a_3_8 − c_6_19·a_1_1·a_3_7 + c_6_19·a_1_0·a_3_9 + c_6_19·a_1_0·a_3_7
        + b_2_5·c_6_19·a_1_1·a_1_2 − a_2_3²·c_6_19 − a_2_3·c_6_19·a_1_1·a_1_2
103. b_4_11·a_6_15 + a_5_14·a_5_16 + a_3_9·a_7_26 + a_1_1·a_9_42 − b_2_5·a_3_9·a_5_16
        − b_2_5²·a_3_8·a_3_9 − b_2_5²·a_1_1·a_5_16 + b_2_5³·a_1_1·a_3_8 + b_2_2·a_3_9·a_5_16
        + b_2_2·a_3_7·a_5_16 + b_2_2·b_2_5·a_1_1·a_5_16 − b_2_2³·a_1_1·a_3_9
        − b_2_2³·a_1_0·a_3_9 − c_6_20·a_1_2·a_3_9 − c_6_20·a_1_1·a_3_8 − c_6_20·a_1_1·a_3_7
        − c_6_19·a_1_2·a_3_9 − c_6_19·a_1_1·a_3_9 + c_6_19·a_1_1·a_3_8 + c_6_19·a_1_1·a_3_7
        + b_2_5·c_6_20·a_1_1·a_1_2 + b_2_5·c_6_19·a_1_1·a_1_2 + a_2_3·c_6_19·a_1_1·a_1_2
104. a_1_0·a_9_42 + b_2_2·b_2_5·a_1_1·a_5_16 + b_2_2²·a_1_1·a_5_16 − b_2_2²·a_1_0·a_5_16
        − b_2_2³·a_1_1·a_3_9 + b_2_2³·a_1_0·a_3_7 + c_6_20·a_1_0·a_3_9 − c_6_20·a_1_0·a_3_7
        + c_6_19·a_1_0·a_3_9 + c_6_19·a_1_0·a_3_7 − a_2_3²·c_6_20 + a_2_3²·c_6_19
105. b_4_11·a_6_15 − a_5_14·a_5_16 + a_1_2·a_9_42 + b_2_5·a_3_9·a_5_16 − b_2_5²·a_3_8·a_3_9
        − b_2_5³·a_1_2·a_3_9 + b_2_5³·a_1_1·a_3_8 − b_2_2·a_3_9·a_5_16 − b_2_2·a_3_7·a_5_16
        + b_2_2·b_2_5·a_1_1·a_5_16 + c_6_20·a_1_2·a_3_9 + c_6_19·a_1_2·a_3_9
        − b_2_5·c_6_20·a_1_1·a_1_2 + b_2_5·c_6_19·a_1_1·a_1_2 − a_2_3²·c_6_20 + a_2_3²·c_6_19
106. a_6_15·a_5_14 − b_2_5·a_1_1·a_3_9·a_5_16 + b_2_5²·a_1_1·a_3_8·a_3_9
        + b_2_2·a_1_1·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_7·a_5_16
        − c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_19·a_1_1
107. a_6_15·a_5_16 − b_2_5·a_1_1·a_3_9·a_5_16 − b_2_5²·a_1_1·a_3_8·a_3_9
        − b_2_2·a_1_1·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_7·a_5_16
        − c_6_19·a_1_1·a_1_2·a_3_9 + a_2_3²·c_6_19·a_1_1
108. b_6_17·a_5_16 + b_6_17·a_5_14 − b_2_5·b_6_17·a_3_9 + b_2_5⁴·a_3_8
        + b_2_2·b_2_5²·a_5_16 + b_2_2²·b_2_5·a_5_16 + b_2_2³·b_2_5·a_3_9 + b_2_2⁴·a_3_9
        − b_2_5·a_1_1·a_3_9·a_5_16 − b_2_5²·a_1_1·a_3_8·a_3_9 − b_2_5³·a_1_1·a_1_2·a_3_9
        + b_2_2·a_1_1·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_7·a_5_16
        + b_2_5²·c_6_19·a_1_2 + c_6_19·a_1_0·a_1_1·a_3_9 − a_2_3²·c_6_19·a_1_1
109. b_4_11·a_7_25 + b_2_2³·b_2_5·a_3_9 − b_2_2⁴·b_2_5·a_1_1 − b_2_5·a_1_1·a_3_9·a_5_16
        − b_2_5²·a_1_1·a_3_8·a_3_9 − b_2_2·a_1_1·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_9·a_5_16
        − b_2_2·b_2_5·c_6_20·a_1_1 + b_2_2²·c_6_19·a_1_1 + c_6_20·a_1_0·a_1_1·a_3_9
110. a_4_10·a_7_25 − b_2_5·a_1_1·a_3_9·a_5_16 − b_2_5²·a_1_1·a_3_8·a_3_9
        + b_2_2·a_1_0·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_7·a_5_16 + a_2_4·c_6_19·a_3_9
        + a_2_3·c_6_20·a_3_8 + a_2_3·c_6_19·a_3_9 + c_6_19·a_1_0·a_1_1·a_3_9
        + a_2_3²·c_6_20·a_1_1 + a_2_3²·c_6_19·a_1_1
111.  − b_6_17·a_5_14 − b_2_5·b_6_17·a_3_9 + b_2_5²·a_7_26 − b_2_5³·a_5_16 + b_2_5³·a_5_14
        + b_2_5⁴·a_3_8 + b_2_2³·b_2_5·a_3_9 − b_2_2⁴·a_3_9 + b_2_2⁴·b_2_5·a_1_1
        − b_2_2⁵·a_1_1 − b_2_2·a_1_0·a_3_9·a_5_16 + b_2_5²·c_6_20·a_1_2
        + b_2_5²·c_6_20·a_1_1 + b_2_5²·c_6_19·a_1_2 − b_2_5²·c_6_19·a_1_1
112. b_4_11·a_7_26 − b_2_2²·b_2_5·a_5_16 − b_2_2⁴·a_3_9 − b_2_2⁴·b_2_5·a_1_1
        + b_2_2⁵·a_1_1 − b_2_5·a_1_1·a_3_9·a_5_16 − b_2_2·a_1_1·a_3_9·a_5_16
        + b_2_2·a_1_0·a_3_9·a_5_16 + b_2_2²·c_6_20·a_1_1 − b_2_2²·c_6_19·a_1_1
        − c_6_20·a_1_1·a_1_2·a_3_9 + c_6_20·a_1_0·a_1_1·a_3_9 − a_2_3²·c_6_20·a_1_1
113. a_4_10·a_7_26 + b_2_5·a_1_1·a_3_9·a_5_16 − b_2_5²·a_1_1·a_3_8·a_3_9
        − b_2_2·a_1_1·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_9·a_5_16 + a_2_4·c_6_20·a_3_9
        − a_2_4·c_6_19·a_3_9 + a_2_3·c_6_20·a_3_9 − a_2_3·c_6_19·a_3_9
        + c_6_20·a_1_0·a_1_1·a_3_9 − c_6_19·a_1_0·a_1_1·a_3_9 − a_2_3²·c_6_20·a_1_1
        − a_2_3²·c_6_19·a_1_1
114. b_8_33·a_3_8 − b_2_5³·a_5_16 − b_2_5³·a_5_14 + b_2_5⁴·a_3_9 + b_2_5⁴·a_3_8
        + b_2_2²·b_2_5·a_5_16 − b_2_2³·b_2_5·a_3_9 − b_2_2⁴·a_3_9 + b_2_2⁴·b_2_5·a_1_1
        − b_2_2⁵·a_1_1 − b_2_5²·a_1_1·a_3_8·a_3_9 + b_2_5·c_6_20·a_3_8 − b_2_5·c_6_19·a_3_8
        + b_2_5²·c_6_19·a_1_2 + a_2_3·c_6_20·a_3_8 + a_2_3·c_6_19·a_3_8
        + c_6_19·a_1_0·a_1_1·a_3_9 − a_2_3²·c_6_20·a_1_1 − a_2_3²·c_6_19·a_1_1
115. b_8_33·a_3_7 − b_2_2³·b_2_5·a_3_9 − b_2_2⁴·a_3_9 + b_2_2⁴·b_2_5·a_1_1 + b_2_2⁵·a_1_1
        − b_2_2·a_1_1·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_7·a_5_16
        − b_2_2·c_6_20·a_3_9 − b_2_2·c_6_20·a_3_7 + b_2_2·c_6_19·a_3_9 − b_2_2·c_6_19·a_3_7
        + b_2_2·b_2_5·c_6_20·a_1_1 − b_2_2·b_2_5·c_6_19·a_1_1 − a_2_3·c_6_20·a_3_8
        − a_2_3·c_6_19·a_3_8 + a_2_3²·c_6_20·a_1_1
116. b_2_2·a_9_42 + b_2_2·b_2_5²·a_5_16 + b_2_2²·b_2_5·a_5_16 − b_2_2³·a_5_16
        − b_2_2³·b_2_5·a_3_9 + b_2_2⁴·a_3_7 − b_2_2⁴·b_2_5·a_1_1 + b_2_2⁵·a_1_1
        + b_2_2·a_1_1·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_7·a_5_16
        + b_2_2·c_6_20·a_3_9 − b_2_2·c_6_20·a_3_7 + b_2_2·c_6_19·a_3_9 + b_2_2·c_6_19·a_3_7
        + b_2_2·b_2_5·c_6_20·a_1_1 − b_2_2²·c_6_20·a_1_1 + b_2_2²·c_6_20·a_1_0
        − b_2_2²·c_6_19·a_1_1 − b_2_2²·c_6_19·a_1_0
117.  − b_8_33·a_3_9 + b_2_5·a_9_42 − b_2_5³·a_5_16 + b_2_2·b_2_5²·a_5_16
        + b_2_2²·b_2_5·a_5_16 − b_2_2³·b_2_5·a_3_9 − b_2_2⁴·b_2_5·a_1_1 − b_2_2⁵·a_1_1
        + b_2_5·a_1_1·a_3_9·a_5_16 + b_2_5²·a_1_1·a_3_8·a_3_9 + b_2_2·a_1_1·a_3_9·a_5_16
        − b_2_5·c_6_20·a_3_8 − b_2_5·c_6_19·a_3_9 + b_2_5·c_6_19·a_3_8 + b_2_5²·c_6_20·a_1_2
        + b_2_5²·c_6_20·a_1_1 + b_2_5²·c_6_19·a_1_1 − b_2_2·c_6_20·a_3_9
        + b_2_2·b_2_5·c_6_20·a_1_1 + b_2_2²·c_6_20·a_1_1 + b_2_2²·c_6_19·a_1_1
        + a_2_4·c_6_20·a_3_9 + a_2_4·c_6_19·a_3_9 + c_6_20·a_1_1·a_1_2·a_3_9
        − c_6_20·a_1_0·a_1_1·a_3_9 − c_6_19·a_1_1·a_1_2·a_3_9 + c_6_19·a_1_0·a_1_1·a_3_9
        − a_2_3²·c_6_19·a_1_1
118. a_2_3·a_9_42 − b_2_2·a_1_1·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_9·a_5_16
        − b_2_2·a_1_0·a_3_7·a_5_16 + a_2_3·c_6_20·a_3_9 − a_2_3·c_6_20·a_3_8
        + a_2_3·c_6_19·a_3_9 + a_2_3·c_6_19·a_3_8 − c_6_20·a_1_0·a_1_1·a_3_9
        − a_2_3²·c_6_20·a_1_1 − a_2_3²·c_6_19·a_1_1
119. a_2_4·a_9_42 − b_2_5·a_1_1·a_3_9·a_5_16 + b_2_5²·a_1_1·a_3_8·a_3_9
        + b_2_2·a_1_1·a_3_9·a_5_16 − b_2_2·a_1_0·a_3_9·a_5_16 + b_2_2·a_1_0·a_3_7·a_5_16
        + a_2_4·c_6_20·a_3_9 + a_2_4·c_6_19·a_3_9 + c_6_20·a_1_1·a_1_2·a_3_9
        + c_6_20·a_1_0·a_1_1·a_3_9 − a_2_3²·c_6_20·a_1_1 + a_2_3²·c_6_19·a_1_1
120. a_6_15² + a_2_3·c_6_19·a_1_1·a_3_8
121. a_6_15·b_6_17 − b_2_5²·a_3_9·a_5_16 + b_2_5³·a_3_8·a_3_9 − b_2_5⁴·a_1_1·a_3_8
        + b_2_2·b_2_5·a_3_9·a_5_16 − b_2_2²·a_3_9·a_5_16 − b_2_5·c_6_19·a_1_2·a_3_9
        + b_2_5·c_6_19·a_1_1·a_3_8 − b_2_5²·c_6_19·a_1_1·a_1_2 − a_2_3·c_6_19·a_1_1·a_3_9
        − a_2_3·c_6_19·a_1_1·a_3_8
122. a_5_16·a_7_25 + a_5_14·a_7_25 − b_2_5²·a_3_9·a_5_16 − b_2_5³·a_3_8·a_3_9
        + b_2_5⁴·a_1_1·a_3_8 + b_2_2²·a_3_9·a_5_16 + b_2_2²·a_3_7·a_5_16
        + b_2_2²·b_2_5·a_1_1·a_5_16 − b_2_2³·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_3_9
        + c_6_20·a_1_0·a_5_16 − c_6_19·a_1_1·a_5_16 + b_2_5·c_6_19·a_1_2·a_3_9
        + b_2_5²·c_6_19·a_1_1·a_1_2 − b_2_2·c_6_20·a_1_1·a_3_9 − b_2_2·c_6_20·a_1_0·a_3_9
        − b_2_2·c_6_20·a_1_0·a_3_7 + b_2_2·c_6_19·a_1_1·a_3_9 − a_2_3·c_6_20·a_1_1·a_3_8
        − a_2_3·c_6_19·a_1_1·a_3_9
123.  − a_5_14·a_7_25 + b_2_5²·a_1_1·a_7_26 + b_2_5³·a_1_1·a_5_16 + b_2_5⁴·a_1_1·a_3_9
        − b_2_5⁴·a_1_1·a_3_8 + b_2_2²·b_2_5·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_3_9
        + b_2_5·c_6_19·a_1_1·a_3_8 + b_2_5²·c_6_20·a_1_1·a_1_2 − b_2_5²·c_6_19·a_1_1·a_1_2
        + b_2_2·c_6_20·a_1_1·a_3_9 + b_2_2·c_6_20·a_1_0·a_3_9 + b_2_2·c_6_20·a_1_0·a_3_7
        − b_2_2·c_6_19·a_1_1·a_3_9 + a_2_3·c_6_20·a_1_1·a_3_8 + a_2_3·c_6_19·a_1_1·a_3_8
124. a_5_16·a_7_26 − a_5_14·a_7_26 − b_2_2·b_2_5·a_3_9·a_5_16 + b_2_2²·a_3_9·a_5_16
        − b_2_2²·b_2_5·a_1_1·a_5_16 + b_2_2³·a_1_1·a_5_16 − c_6_20·a_1_1·a_5_16
        + c_6_19·a_1_1·a_5_16 − b_2_5·c_6_20·a_1_2·a_3_9 + b_2_5·c_6_20·a_1_1·a_3_8
        − b_2_2·c_6_20·a_1_1·a_3_9 + b_2_2·c_6_19·a_1_1·a_3_9 − a_2_3·c_6_19·a_1_1·a_3_9
125.  − b_6_17² + b_2_5²·b_8_33 − b_2_5³·b_6_17 − b_2_2⁴·b_2_5² − b_2_2⁵·b_2_5
        + b_2_5²·a_3_9·a_5_16 + b_2_5³·a_3_8·a_3_9 + b_2_5⁴·a_1_1·a_3_9
        + b_2_5⁴·a_1_1·a_3_8 + b_2_2·b_2_5·a_3_9·a_5_16 − b_2_2²·a_3_9·a_5_16
        + b_2_2²·b_2_5·a_1_1·a_5_16 + b_2_2⁴·a_1_0·a_3_9 + b_2_5³·c_6_20 − b_2_5³·c_6_19
        − b_2_2·b_2_5²·c_6_20 − b_2_2·b_2_5²·c_6_19 − b_2_5·c_6_20·a_1_2·a_3_9
        + b_2_5·c_6_20·a_1_1·a_3_8 − b_2_5·c_6_19·a_1_2·a_3_9 + b_2_5·c_6_19·a_1_1·a_3_8
        − b_2_5²·c_6_20·a_1_1·a_1_2 + b_2_5²·c_6_19·a_1_1·a_1_2 − b_2_2·c_6_20·a_1_1·a_3_9
        − b_2_2·c_6_19·a_1_1·a_3_9
126. b_4_11·b_8_33 + b_2_2⁴·b_2_5² + b_2_2⁵·b_2_5 + a_5_14·a_7_26 − a_5_14·a_7_25
        + b_2_5²·a_3_9·a_5_16 − b_2_5³·a_3_8·a_3_9 − b_2_5⁴·a_1_1·a_3_8
        − b_2_2·b_2_5·a_3_9·a_5_16 − b_2_2²·a_3_9·a_5_16 + b_2_2³·a_1_1·a_5_16
        + b_2_2⁴·a_1_1·a_3_9 − b_2_2⁴·a_1_0·a_3_9 − b_2_2·b_2_5²·c_6_20
        − b_2_2·b_2_5²·c_6_19 + b_2_2²·b_2_5·c_6_20 − b_2_2²·b_2_5·c_6_19
        + b_2_5·c_6_20·a_1_2·a_3_9 − b_2_5·c_6_20·a_1_1·a_3_9 + b_2_5·c_6_20·a_1_1·a_3_8
        − b_2_5·c_6_19·a_1_2·a_3_9 + b_2_5·c_6_19·a_1_1·a_3_9 − b_2_5·c_6_19·a_1_1·a_3_8
        − b_2_5²·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_1_0·a_3_7 − b_2_2·c_6_19·a_1_0·a_3_9
        + a_2_3·c_6_20·a_1_1·a_3_9
127. a_4_10·b_8_33 + a_5_14·a_7_25 − b_2_5²·a_3_9·a_5_16 − b_2_5³·a_3_8·a_3_9
        + b_2_5³·a_1_1·a_5_16 − b_2_5⁴·a_1_1·a_3_9 + b_2_5⁴·a_1_1·a_3_8
        + b_2_2²·a_3_9·a_5_16 + b_2_2³·a_1_1·a_5_16 − c_6_20·a_3_8·a_3_9
        + c_6_20·a_1_1·a_5_16 − c_6_20·a_1_0·a_5_16 + c_6_19·a_3_8·a_3_9 − c_6_19·a_1_1·a_5_16
        − c_6_19·a_1_0·a_5_16 − b_2_5·c_6_20·a_1_1·a_3_9 + b_2_5·c_6_20·a_1_1·a_3_8
        − b_2_5·c_6_19·a_1_2·a_3_9 + b_2_5·c_6_19·a_1_1·a_3_9 − b_2_5·c_6_19·a_1_1·a_3_8
        + b_2_5²·c_6_19·a_1_1·a_1_2 − b_2_2·c_6_20·a_1_1·a_3_9 + b_2_2·c_6_20·a_1_0·a_3_9
        − b_2_2·c_6_19·a_1_1·a_3_9 − b_2_2·c_6_19·a_1_0·a_3_9 + b_2_2·c_6_19·a_1_0·a_3_7
        − a_2_3·c_6_19·a_1_1·a_3_9
128. a_3_9·a_9_42 − b_2_5²·a_3_9·a_5_16 + b_2_2·b_2_5·a_3_9·a_5_16 + b_2_2²·a_3_9·a_5_16
        + b_2_2⁴·a_1_1·a_3_9 + b_2_2⁴·a_1_0·a_3_9 + c_6_20·a_3_8·a_3_9 + c_6_20·a_3_7·a_3_9
        − c_6_19·a_3_8·a_3_9 − c_6_19·a_3_7·a_3_9 − b_2_5·c_6_20·a_1_2·a_3_9
        − b_2_5·c_6_20·a_1_1·a_3_9 − b_2_5·c_6_19·a_1_1·a_3_9 + b_2_2·c_6_20·a_1_1·a_3_9
        − b_2_2·c_6_20·a_1_0·a_3_9 + b_2_2·c_6_19·a_1_1·a_3_9 − b_2_2·c_6_19·a_1_0·a_3_9
        − a_2_3·c_6_19·a_1_1·a_3_9
129.  − a_5_14·a_7_25 + a_3_8·a_9_42 + b_2_5²·a_3_9·a_5_16 + b_2_5³·a_1_1·a_5_16
        − b_2_5⁴·a_1_1·a_3_9 + b_2_5⁴·a_1_1·a_3_8 − b_2_2²·a_3_9·a_5_16
        − b_2_2²·b_2_5·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_3_9 + c_6_20·a_3_8·a_3_9
        + c_6_19·a_3_8·a_3_9 − b_2_5·c_6_20·a_1_1·a_3_8 + b_2_5·c_6_19·a_1_2·a_3_9
        + b_2_5²·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_1_1·a_3_9 + b_2_2·c_6_20·a_1_0·a_3_9
        + b_2_2·c_6_20·a_1_0·a_3_7 − b_2_2·c_6_19·a_1_1·a_3_9 + a_2_3·c_6_20·a_1_1·a_3_8
        + a_2_3·c_6_19·a_1_1·a_3_9 − a_2_3·c_6_19·a_1_1·a_3_8
130. a_3_7·a_9_42 − b_2_2·b_2_5·a_3_9·a_5_16 − b_2_2²·a_3_9·a_5_16 − b_2_2²·a_3_7·a_5_16
        + b_2_2²·b_2_5·a_1_1·a_5_16 + b_2_2³·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_3_9
        + c_6_20·a_3_7·a_3_9 + c_6_19·a_3_7·a_3_9 + b_2_2·c_6_20·a_1_1·a_3_9
        − b_2_2·c_6_20·a_1_0·a_3_9 − b_2_2·c_6_20·a_1_0·a_3_7 − b_2_2·c_6_19·a_1_0·a_3_9
        + b_2_2·c_6_19·a_1_0·a_3_7
131.  − a_5_14·a_7_26 + b_2_5·a_1_1·a_9_42 + b_2_5³·a_1_1·a_5_16 + b_2_5⁴·a_1_1·a_3_9
        − b_2_5⁴·a_1_1·a_3_8 − b_2_2·b_2_5·a_3_9·a_5_16 + b_2_5·c_6_20·a_1_1·a_3_9
        + b_2_5·c_6_20·a_1_1·a_3_8 + b_2_5·c_6_19·a_1_1·a_3_9 + b_2_5²·c_6_20·a_1_1·a_1_2
        − b_2_5²·c_6_19·a_1_1·a_1_2 − a_2_3·c_6_20·a_1_1·a_3_9 − a_2_3·c_6_20·a_1_1·a_3_8
        − a_2_3·c_6_19·a_1_1·a_3_8
132. a_6_15·a_7_25 + b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5³·a_1_1·a_3_8·a_3_9
        + b_2_2²·a_1_1·a_3_9·a_5_16 + b_2_2²·a_1_0·a_3_9·a_5_16
        + b_2_2²·a_1_0·a_3_7·a_5_16 − a_4_10·c_6_19·a_3_9 + a_2_3·c_6_20·a_5_16
        − c_6_20·a_1_1·a_3_7·a_3_9 − c_6_19·a_1_1·a_3_7·a_3_9
        + b_2_5·c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_20·a_3_9
133. b_6_17·a_7_25 + b_2_5²·b_6_17·a_3_9 + b_2_5³·a_7_26 − b_2_5⁴·a_5_14 − b_2_5⁵·a_3_9
        − b_2_2²·b_2_5²·a_5_16 − b_2_2⁵·a_3_9 + b_2_2⁵·b_2_5·a_1_1 + b_2_2⁶·a_1_1
        − b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5·c_6_19·a_5_14 − b_2_5²·c_6_19·a_3_8
        + b_2_5³·c_6_20·a_1_2 + b_2_5³·c_6_20·a_1_1 − b_2_5³·c_6_19·a_1_1
        + b_2_2·b_2_5·c_6_19·a_3_9 + b_2_2²·b_2_5·c_6_20·a_1_1 + b_2_2²·b_2_5·c_6_19·a_1_1
        + b_2_2³·c_6_20·a_1_1 − c_6_19·a_1_1·a_3_7·a_3_9 − a_2_3²·c_6_20·a_3_9
        − a_2_3²·c_6_19·a_3_9
134. a_6_15·a_7_26 − b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5³·a_1_1·a_3_8·a_3_9
        − b_2_2²·a_1_1·a_3_9·a_5_16 − b_2_2²·a_1_0·a_3_9·a_5_16 − a_4_10·c_6_20·a_3_9
        + a_4_10·c_6_19·a_3_9 − c_6_20·a_1_1·a_3_7·a_3_9 + c_6_19·a_1_1·a_3_7·a_3_9
        − b_2_5·c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_20·a_3_9
135. b_8_33·a_5_14 + b_6_17·a_7_25 − b_2_5²·b_6_17·a_3_9 + b_2_5⁴·a_5_16 − b_2_5⁴·a_5_14
        − b_2_5⁵·a_3_9 − b_2_5⁵·a_3_8 − b_2_2²·b_2_5²·a_5_16 + b_2_2⁴·b_2_5·a_3_9
        − b_2_2⁵·a_3_9 − b_2_2⁶·a_1_1 − b_2_5²·a_1_1·a_3_9·a_5_16
        + b_2_5⁴·a_1_1·a_1_2·a_3_9 − b_2_2²·a_1_1·a_3_9·a_5_16 − b_2_2²·a_1_0·a_3_9·a_5_16
        − b_2_2²·a_1_0·a_3_7·a_5_16 + b_2_5·c_6_20·a_5_14 − b_2_5²·c_6_19·a_3_8
        − b_2_5³·c_6_19·a_1_2 + b_2_5³·c_6_19·a_1_1 + b_2_2·b_2_5·c_6_20·a_3_9
        − b_2_2·b_2_5·c_6_19·a_3_9 + b_2_2²·c_6_20·a_3_9 + b_2_2²·c_6_20·a_3_7
        + b_2_2²·c_6_19·a_3_9 + b_2_2²·c_6_19·a_3_7 − b_2_2²·b_2_5·c_6_20·a_1_1
        + b_2_2²·b_2_5·c_6_19·a_1_1 − b_2_2³·c_6_20·a_1_1 + b_2_2³·c_6_19·a_1_1
        − c_6_20·a_1_1·a_3_8·a_3_9 + c_6_20·a_1_1·a_3_7·a_3_9 − c_6_19·a_1_1·a_3_8·a_3_9
        + b_2_5·c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_20·a_3_9 − a_2_3²·c_6_19·a_3_9
136. b_8_33·a_5_16 − b_6_17·a_7_26 + b_6_17·a_7_25 − b_2_5²·b_6_17·a_3_9 + b_2_5⁴·a_5_16
        − b_2_5⁴·a_5_14 − b_2_5⁵·a_3_9 − b_2_5⁵·a_3_8 − b_2_2²·b_2_5²·a_5_16
        + b_2_2⁴·b_2_5·a_3_9 − b_2_2⁵·a_3_9 − b_2_2⁶·a_1_1 + b_2_5³·a_1_1·a_3_8·a_3_9
        + b_2_5⁴·a_1_1·a_1_2·a_3_9 − b_2_2²·a_1_1·a_3_9·a_5_16 − b_2_2²·a_1_0·a_3_9·a_5_16
        + b_2_5·c_6_20·a_5_16 − b_2_5·c_6_20·a_5_14 − b_2_5·c_6_19·a_5_16 − b_2_5·c_6_19·a_5_14
        − b_2_5²·c_6_20·a_3_8 − b_2_5²·c_6_19·a_3_8 − b_2_5³·c_6_19·a_1_2
        + b_2_5³·c_6_19·a_1_1 − b_2_2·c_6_20·a_5_16 − b_2_2·c_6_19·a_5_16
        − b_2_2·b_2_5·c_6_20·a_3_9 − b_2_2·b_2_5·c_6_19·a_3_9 + b_2_2²·b_2_5·c_6_19·a_1_1
        + b_2_2³·c_6_20·a_1_1 + a_2_3·c_6_20·a_5_16 + a_2_3·c_6_19·a_5_16
        − c_6_20·a_1_1·a_3_8·a_3_9 − c_6_19·a_1_1·a_3_8·a_3_9
        + b_2_5·c_6_20·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_20·a_3_9 + a_2_3²·c_6_19·a_3_9
137.  − b_6_17·a_7_26 − b_6_17·a_7_25 + b_2_5²·a_9_42 + b_2_5²·b_6_17·a_3_9 − b_2_5⁵·a_3_9
        − b_2_2²·b_2_5²·a_5_16 + b_2_2⁵·a_3_9 + b_2_2⁵·b_2_5·a_1_1 + b_2_2⁶·a_1_1
        − b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5³·a_1_1·a_3_8·a_3_9 + b_2_5⁴·a_1_1·a_1_2·a_3_9
        + b_2_2²·a_1_0·a_3_9·a_5_16 − b_2_5·c_6_20·a_5_14 + b_2_5²·c_6_20·a_3_9
        + b_2_5²·c_6_20·a_3_8 + b_2_5²·c_6_19·a_3_9 + b_2_5²·c_6_19·a_3_8
        + b_2_5³·c_6_20·a_1_2 + b_2_5³·c_6_20·a_1_1 − b_2_2·b_2_5·c_6_19·a_3_9
        − b_2_2²·b_2_5·c_6_20·a_1_1 − b_2_2²·b_2_5·c_6_19·a_1_1
        − b_2_5·c_6_20·a_1_1·a_1_2·a_3_9 − b_2_5·c_6_19·a_1_1·a_1_2·a_3_9
        − a_2_3²·c_6_20·a_3_9
138. b_4_11·a_9_42 + b_2_2³·b_2_5·a_5_16 + b_2_2⁴·b_2_5·a_3_9 − b_2_2⁵·b_2_5·a_1_1
        − b_2_2⁶·a_1_1 + b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5³·a_1_1·a_3_8·a_3_9
        + b_2_2·b_2_5·c_6_20·a_3_9 − b_2_2·b_2_5·c_6_19·a_3_9 + b_2_2²·c_6_20·a_3_9
        + b_2_2²·c_6_19·a_3_9 − b_2_2²·b_2_5·c_6_20·a_1_1 − b_2_2²·b_2_5·c_6_19·a_1_1
        + b_2_2³·c_6_20·a_1_1 − c_6_20·a_1_1·a_3_8·a_3_9 + c_6_19·a_1_1·a_3_8·a_3_9
        + c_6_19·a_1_1·a_3_7·a_3_9 − b_2_5·c_6_20·a_1_1·a_1_2·a_3_9
        + b_2_5·c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_19·a_3_9
139. a_4_10·a_9_42 − b_2_5²·a_1_1·a_3_9·a_5_16 + b_2_5³·a_1_1·a_3_8·a_3_9
        + b_2_2²·a_1_1·a_3_9·a_5_16 − b_2_2²·a_1_0·a_3_9·a_5_16 + a_4_10·c_6_20·a_3_9
        + a_4_10·c_6_19·a_3_9 + a_2_3·c_6_20·a_5_16 − a_2_3·c_6_19·a_5_16
        − c_6_20·a_1_1·a_3_8·a_3_9 − c_6_20·a_1_1·a_3_7·a_3_9 + c_6_19·a_1_1·a_3_7·a_3_9
        − b_2_5·c_6_19·a_1_1·a_1_2·a_3_9 − a_2_3²·c_6_20·a_3_9 − a_2_3²·c_6_19·a_3_9
140.  − b_6_17·b_8_33 + b_2_5³·b_8_33 + b_2_5⁴·b_6_17 + b_2_2⁵·b_2_5² + b_2_2⁶·b_2_5
        − a_7_25·a_7_26 + b_2_5³·a_3_9·a_5_16 − b_2_5⁴·a_3_8·a_3_9 + b_2_5⁴·a_1_1·a_5_16
        − b_2_5⁵·a_1_2·a_3_9 + b_2_5⁵·a_1_1·a_3_9 − b_2_5⁵·a_1_1·a_3_8
        + b_2_2³·a_3_9·a_5_16 + b_2_2³·b_2_5·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_5_16
        − b_2_5·b_6_17·c_6_20 + b_2_5·b_6_17·c_6_19 + b_2_5⁴·c_6_20 + b_2_5⁴·c_6_19
        − b_2_2²·b_2_5²·c_6_20 + b_2_2³·b_2_5·c_6_20 + b_2_2³·b_2_5·c_6_19
        − c_6_20·a_1_1·a_7_25 − c_6_19·a_1_1·a_7_26 + c_6_19·a_1_1·a_7_25
        + b_2_5·c_6_20·a_3_8·a_3_9 − b_2_5·c_6_19·a_3_8·a_3_9 − b_2_5²·c_6_20·a_1_1·a_3_9
        + b_2_5²·c_6_20·a_1_1·a_3_8 + b_2_5²·c_6_19·a_1_2·a_3_9
        + b_2_5²·c_6_19·a_1_1·a_3_9 + b_2_5²·c_6_19·a_1_1·a_3_8
        − b_2_5³·c_6_20·a_1_1·a_1_2 + b_2_5³·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_1_1·a_5_16
        − b_2_2²·c_6_20·a_1_1·a_3_9 + b_2_2²·c_6_20·a_1_0·a_3_7
        + b_2_2²·c_6_19·a_1_0·a_3_7 − a_2_3·c_6_19·a_1_1·a_5_16 + c_6_20²·a_1_0·a_1_1
        − c_6_19·c_6_20·a_1_1·a_1_2 − c_6_19·c_6_20·a_1_0·a_1_1 + c_6_19²·a_1_1·a_1_2
141. a_6_15·b_8_33 − a_7_25·a_7_26 + b_2_5³·a_3_9·a_5_16 − b_2_5³·a_1_1·a_7_26
        + b_2_5⁴·a_3_8·a_3_9 + b_2_5⁴·a_1_1·a_5_16 + b_2_2⁴·a_1_1·a_5_16
        + b_2_2⁵·a_1_1·a_3_9 + b_2_2⁵·a_1_0·a_3_9 + c_6_20·a_3_9·a_5_16 + c_6_20·a_3_7·a_5_16
        − c_6_20·a_1_1·a_7_26 + c_6_20·a_1_1·a_7_25 − c_6_19·a_3_9·a_5_16 + c_6_19·a_3_7·a_5_16
        − c_6_19·a_1_1·a_7_25 − b_2_5·c_6_20·a_3_8·a_3_9 + b_2_5·c_6_19·a_3_8·a_3_9
        − b_2_5²·c_6_20·a_1_2·a_3_9 − b_2_5²·c_6_20·a_1_1·a_3_9
        + b_2_5²·c_6_19·a_1_1·a_3_9 − b_2_5³·c_6_20·a_1_1·a_1_2 − b_2_2·c_6_20·a_1_1·a_5_16
        − b_2_2·c_6_20·a_1_0·a_5_16 − b_2_2·c_6_19·a_1_1·a_5_16 − b_2_2·c_6_19·a_1_0·a_5_16
        + b_2_2²·c_6_20·a_1_1·a_3_9 + b_2_2²·c_6_20·a_1_0·a_3_9
        − b_2_2²·c_6_20·a_1_0·a_3_7 − b_2_2²·c_6_19·a_1_0·a_3_7 − a_2_3·c_6_20·a_1_1·a_5_16
        − c_6_20²·a_1_1·a_1_2 − c_6_19·c_6_20·a_1_1·a_1_2 − c_6_19²·a_1_1·a_1_2
142.  − a_7_25·a_7_26 + b_2_5²·a_1_1·a_9_42 + b_2_5⁴·a_3_8·a_3_9 − b_2_5⁵·a_1_1·a_3_9
        − b_2_5⁵·a_1_1·a_3_8 − b_2_2³·a_3_9·a_5_16 + b_2_2³·b_2_5·a_1_1·a_5_16
        + b_2_2⁴·a_1_1·a_5_16 + b_2_2⁵·a_1_1·a_3_9 − b_2_2⁵·a_1_0·a_3_9
        + c_6_20·a_1_1·a_7_25 − c_6_19·a_1_1·a_7_26 + b_2_5·c_6_19·a_3_8·a_3_9
        + b_2_5²·c_6_20·a_1_2·a_3_9 + b_2_5²·c_6_20·a_1_1·a_3_9
        + b_2_5²·c_6_19·a_1_1·a_3_8 + b_2_5³·c_6_20·a_1_1·a_1_2
        − b_2_5³·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_1_1·a_5_16 − b_2_2²·c_6_20·a_1_0·a_3_9
        + b_2_2²·c_6_19·a_1_1·a_3_9 − a_2_3·c_6_19·a_1_1·a_5_16 + c_6_19·c_6_20·a_1_0·a_1_1
        − c_6_19²·a_1_1·a_1_2
143.  − a_7_25·a_7_26 + a_5_14·a_9_42 + b_2_5³·a_1_1·a_7_26 + b_2_5⁴·a_3_8·a_3_9
        − b_2_5⁵·a_1_1·a_3_9 + b_2_5⁵·a_1_1·a_3_8 − b_2_2³·a_3_9·a_5_16
        + b_2_2³·a_3_7·a_5_16 + b_2_2³·b_2_5·a_1_1·a_5_16 + b_2_2⁴·a_1_1·a_5_16
        − b_2_2⁵·a_1_1·a_3_9 + c_6_20·a_1_1·a_7_26 − c_6_20·a_1_1·a_7_25 − c_6_19·a_1_1·a_7_25
        − b_2_5·c_6_20·a_1_1·a_5_16 + b_2_5·c_6_19·a_3_8·a_3_9 − b_2_5·c_6_19·a_1_1·a_5_16
        + b_2_5²·c_6_20·a_1_2·a_3_9 − b_2_5²·c_6_20·a_1_1·a_3_9
        + b_2_5²·c_6_20·a_1_1·a_3_8 + b_2_5²·c_6_19·a_1_1·a_3_9
        + b_2_5³·c_6_20·a_1_1·a_1_2 + b_2_5³·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_1_1·a_5_16
        − b_2_2²·c_6_20·a_1_1·a_3_9 + b_2_2²·c_6_20·a_1_0·a_3_9
        + b_2_2²·c_6_20·a_1_0·a_3_7 − b_2_2²·c_6_19·a_1_1·a_3_9
        − b_2_2²·c_6_19·a_1_0·a_3_7 + a_2_3·c_6_20·a_1_1·a_5_16 + a_2_3·c_6_19·a_1_1·a_5_16
        + c_6_20²·a_1_1·a_1_2 + c_6_20²·a_1_0·a_1_1 + c_6_19·c_6_20·a_1_1·a_1_2
        + c_6_19²·a_1_1·a_1_2
144. a_7_25·a_7_26 + a_5_16·a_9_42 − b_2_5³·a_3_9·a_5_16 − b_2_5³·a_1_1·a_7_26
        + b_2_5⁵·a_1_1·a_3_9 − b_2_2²·b_2_5·a_3_9·a_5_16 + b_2_2³·a_3_9·a_5_16
        − b_2_2³·a_3_7·a_5_16 + b_2_2³·b_2_5·a_1_1·a_5_16 − b_2_2⁴·a_1_1·a_5_16
        − b_2_2⁵·a_1_1·a_3_9 − c_6_20·a_3_9·a_5_16 + c_6_20·a_3_7·a_5_16 + c_6_20·a_1_1·a_7_25
        − c_6_19·a_3_9·a_5_16 − c_6_19·a_3_7·a_5_16 + c_6_19·a_1_1·a_7_26 − c_6_19·a_1_1·a_7_25
        + b_2_5·c_6_20·a_3_8·a_3_9 − b_2_5·c_6_20·a_1_1·a_5_16 − b_2_5·c_6_19·a_3_8·a_3_9
        + b_2_5²·c_6_20·a_1_2·a_3_9 + b_2_5²·c_6_20·a_1_1·a_3_9
        + b_2_5²·c_6_19·a_1_2·a_3_9 − b_2_5²·c_6_19·a_1_1·a_3_8
        − b_2_5³·c_6_20·a_1_1·a_1_2 − b_2_2·c_6_20·a_1_0·a_5_16 + b_2_2·c_6_19·a_1_1·a_5_16
        + b_2_2·c_6_19·a_1_0·a_5_16 − b_2_2²·c_6_20·a_1_1·a_3_9 + b_2_2²·c_6_20·a_1_0·a_3_9
        + b_2_2²·c_6_19·a_1_0·a_3_9 − a_2_3·c_6_20·a_1_1·a_5_16 − c_6_20²·a_1_0·a_1_1
        + c_6_19·c_6_20·a_1_1·a_1_2 + c_6_19·c_6_20·a_1_0·a_1_1 − c_6_19²·a_1_1·a_1_2
145. b_8_33·a_7_26 + b_8_33·a_7_25 + b_2_5³·b_6_17·a_3_9 + b_2_5⁴·a_7_26 + b_2_5⁵·a_5_16
        + b_2_5⁵·a_5_14 + b_2_5⁶·a_3_9 − b_2_5⁶·a_3_8 + b_2_2³·b_2_5²·a_5_16
        − b_2_2⁴·b_2_5·a_5_16 − b_2_2⁵·b_2_5·a_3_9 − b_2_2⁶·a_3_9 − b_2_2⁶·b_2_5·a_1_1
        − b_2_5⁴·a_1_1·a_3_8·a_3_9 + b_2_5⁵·a_1_1·a_1_2·a_3_9 + b_2_2³·a_1_1·a_3_9·a_5_16
        + b_2_2³·a_1_0·a_3_9·a_5_16 + b_2_2³·a_1_0·a_3_7·a_5_16 − b_6_17·c_6_20·a_3_9
        − b_2_5·c_6_20·a_7_26 − b_2_5·c_6_19·a_7_26 − b_2_5·c_6_19·a_7_25
        − b_2_5²·c_6_20·a_5_16 + b_2_5²·c_6_20·a_5_14 + b_2_5²·c_6_19·a_5_14
        + b_2_5³·c_6_20·a_3_9 + b_2_5³·c_6_20·a_3_8 + b_2_5³·c_6_19·a_3_9
        + b_2_5⁴·c_6_20·a_1_2 + b_2_5⁴·c_6_20·a_1_1 − b_2_5⁴·c_6_19·a_1_2
        − b_2_2·b_2_5·c_6_20·a_5_16 − b_2_2·b_2_5·c_6_19·a_5_16 − b_2_2²·b_2_5·c_6_19·a_3_9
        + b_2_2³·c_6_20·a_3_9 − b_2_2³·c_6_20·a_3_7 − b_2_2³·c_6_19·a_3_7
        − b_2_2³·b_2_5·c_6_19·a_1_1 + b_2_2⁴·c_6_20·a_1_1 + c_6_20·a_1_1·a_3_9·a_5_16
        − c_6_20·a_1_0·a_3_9·a_5_16 − c_6_19·a_1_0·a_3_9·a_5_16 + c_6_19·a_1_0·a_3_7·a_5_16
        − b_2_5·c_6_19·a_1_1·a_3_8·a_3_9 + b_2_5²·c_6_20·a_1_1·a_1_2·a_3_9
        + b_2_5·c_6_20²·a_1_2 + b_2_5·c_6_20²·a_1_1 − b_2_5·c_6_19·c_6_20·a_1_2
        + b_2_5·c_6_19·c_6_20·a_1_1 − b_2_2·c_6_20²·a_1_1 − b_2_2·c_6_20²·a_1_0
        + b_2_2·c_6_19·c_6_20·a_1_1 − b_2_2·c_6_19·c_6_20·a_1_0 + a_2_4·c_6_20²·a_1_1
        + a_2_4·c_6_19·c_6_20·a_1_1 + a_2_3·c_6_20²·a_1_2 + a_2_3·c_6_19·c_6_20·a_1_2
146. b_8_33·a_7_26 + b_6_17·a_9_42 − b_2_5³·b_6_17·a_3_9 + b_2_5⁴·a_7_26 + b_2_5⁵·a_5_16
        − b_2_5⁵·a_5_14 + b_2_5⁶·a_3_9 − b_2_5⁶·a_3_8 + b_2_2⁴·b_2_5·a_5_16
        + b_2_2⁵·b_2_5·a_3_9 − b_2_2⁶·b_2_5·a_1_1 − b_2_2⁷·a_1_1 − b_2_5⁴·a_1_1·a_3_8·a_3_9
        − b_2_5⁵·a_1_1·a_1_2·a_3_9 − b_2_2³·a_1_1·a_3_9·a_5_16 + b_2_2³·a_1_0·a_3_9·a_5_16
        − b_2_2³·a_1_0·a_3_7·a_5_16 − b_6_17·c_6_19·a_3_9 − b_2_5·c_6_20·a_7_26
        + b_2_5·c_6_19·a_7_26 + b_2_5·c_6_19·a_7_25 − b_2_5²·c_6_20·a_5_16
        + b_2_5²·c_6_19·a_5_16 + b_2_5²·c_6_19·a_5_14 + b_2_5³·c_6_19·a_3_9
        − b_2_5³·c_6_19·a_3_8 + b_2_5⁴·c_6_20·a_1_2 + b_2_5⁴·c_6_20·a_1_1
        − b_2_5⁴·c_6_19·a_1_2 + b_2_5⁴·c_6_19·a_1_1 − b_2_2·b_2_5·c_6_20·a_5_16
        − b_2_2·b_2_5·c_6_19·a_5_16 − b_2_2²·b_2_5·c_6_19·a_3_9 − b_2_2³·b_2_5·c_6_20·a_1_1
        + b_2_2³·b_2_5·c_6_19·a_1_1 − b_2_2⁴·c_6_20·a_1_1 − c_6_20·a_1_1·a_3_9·a_5_16
        − c_6_19·a_1_1·a_3_9·a_5_16 + c_6_19·a_1_0·a_3_9·a_5_16
        + b_2_5·c_6_19·a_1_1·a_3_8·a_3_9 − b_2_5²·c_6_20·a_1_1·a_1_2·a_3_9
        + b_2_5·c_6_20²·a_1_2 + b_2_5·c_6_20²·a_1_1 + b_2_5·c_6_19·c_6_20·a_1_1
        + b_2_5·c_6_19²·a_1_2 − b_2_5·c_6_19²·a_1_1 + b_2_2·c_6_20²·a_1_1
        − b_2_2·c_6_19·c_6_20·a_1_1 − b_2_2·c_6_19²·a_1_1 + a_2_4·c_6_20²·a_1_1
        − a_2_4·c_6_19²·a_1_1 − a_2_3·c_6_20²·a_1_2 + a_2_3·c_6_19·c_6_20·a_1_2
        − a_2_3·c_6_19²·a_1_2
147. b_8_33·a_7_26 + b_2_5³·a_9_42 − b_2_5³·b_6_17·a_3_9 + b_2_5⁵·a_5_16 + b_2_5⁵·a_5_14
        + b_2_5⁶·a_3_9 − b_2_2³·b_2_5²·a_5_16 + b_2_2⁵·b_2_5·a_3_9 + b_2_2⁶·b_2_5·a_1_1
        − b_2_2³·a_1_1·a_3_9·a_5_16 − b_2_2³·a_1_0·a_3_9·a_5_16 − b_6_17·c_6_20·a_3_9
        + b_6_17·c_6_19·a_3_9 − b_2_5·c_6_20·a_7_26 − b_2_5·c_6_20·a_7_25 + b_2_5·c_6_19·a_7_26
        − b_2_5·c_6_19·a_7_25 − b_2_5²·c_6_20·a_5_16 + b_2_5²·c_6_20·a_5_14
        + b_2_5²·c_6_19·a_5_16 + b_2_5²·c_6_19·a_5_14 − b_2_5³·c_6_20·a_3_9
        + b_2_5³·c_6_19·a_3_8 + b_2_5⁴·c_6_20·a_1_2 + b_2_5⁴·c_6_20·a_1_1
        − b_2_2·b_2_5·c_6_20·a_5_16 − b_2_2·b_2_5·c_6_19·a_5_16 − b_2_2³·c_6_20·a_3_9
        − b_2_2³·c_6_19·a_3_9 + b_2_2³·b_2_5·c_6_20·a_1_1 − b_2_2⁴·c_6_19·a_1_1
        + c_6_20·a_1_1·a_3_9·a_5_16 + c_6_20·a_1_0·a_3_9·a_5_16
        + b_2_5·c_6_20·a_1_1·a_3_8·a_3_9 − b_2_5²·c_6_20·a_1_1·a_1_2·a_3_9
        − b_2_5²·c_6_19·a_1_1·a_1_2·a_3_9 + b_2_5·c_6_20²·a_1_2 + b_2_5·c_6_20²·a_1_1
        + b_2_5·c_6_19·c_6_20·a_1_2 − b_2_2·c_6_20²·a_1_1 + b_2_2·c_6_19·c_6_20·a_1_1
        − b_2_2·c_6_19²·a_1_1 + a_2_4·c_6_20²·a_1_1 − a_2_4·c_6_19²·a_1_1
        − a_2_3·c_6_20²·a_1_2 + a_2_3·c_6_19·c_6_20·a_1_2 − a_2_3·c_6_19²·a_1_2
148. a_6_15·a_9_42 + b_2_5⁴·a_1_1·a_3_8·a_3_9 − b_2_2³·a_1_1·a_3_9·a_5_16
        + b_2_2³·a_1_0·a_3_7·a_5_16 − c_6_20·a_1_1·a_3_9·a_5_16 + c_6_20·a_1_0·a_3_9·a_5_16
        + c_6_19·a_1_1·a_3_9·a_5_16 + c_6_19·a_1_0·a_3_9·a_5_16
        + b_2_5·c_6_19·a_1_1·a_3_8·a_3_9 − b_2_5²·c_6_19·a_1_1·a_1_2·a_3_9
        − a_2_4·c_6_19·c_6_20·a_1_1 − a_2_4·c_6_19²·a_1_1 − a_2_3·c_6_19·c_6_20·a_1_2
        − a_2_3·c_6_19·c_6_20·a_1_1 + a_2_3·c_6_19²·a_1_2 − a_2_3·c_6_19²·a_1_1
149.  − b_8_33² + b_2_5⁵·b_6_17 − a_7_25·a_9_42 + b_2_5³·a_1_1·a_9_42
        + b_2_5⁴·a_1_1·a_7_26 + b_2_5⁵·a_3_8·a_3_9 − b_2_5⁵·a_1_1·a_5_16
        + b_2_5⁶·a_1_2·a_3_9 + b_2_5⁶·a_1_1·a_3_9 − b_2_5⁶·a_1_1·a_3_8
        + b_2_2⁴·a_3_7·a_5_16 − b_2_2⁴·b_2_5·a_1_1·a_5_16 + b_2_2⁵·a_1_1·a_5_16
        + b_2_2⁶·a_1_0·a_3_9 + b_2_5·c_6_20·b_8_33 − b_2_5·c_6_19·b_8_33
        − b_2_5²·b_6_17·c_6_19 + b_2_5⁵·c_6_19 + b_2_2³·b_2_5²·c_6_20
        + b_2_2⁴·b_2_5·c_6_20 − b_2_2⁴·b_2_5·c_6_19 + c_6_19·a_1_2·a_9_42
        − c_6_19·a_1_1·a_9_42 + b_2_5·c_6_20·a_1_1·a_7_26 + b_2_5·c_6_19·a_1_1·a_7_26
        − b_2_5²·c_6_20·a_3_8·a_3_9 + b_2_5²·c_6_19·a_1_1·a_5_16
        + b_2_5³·c_6_20·a_1_2·a_3_9 + b_2_5³·c_6_20·a_1_1·a_3_9
        + b_2_5³·c_6_20·a_1_1·a_3_8 + b_2_5³·c_6_19·a_1_2·a_3_9
        − b_2_5³·c_6_19·a_1_1·a_3_8 − b_2_5⁴·c_6_20·a_1_1·a_1_2 − b_2_2·c_6_20·a_3_7·a_5_16
        − b_2_2·c_6_19·a_3_7·a_5_16 + b_2_2·b_2_5·c_6_20·a_1_1·a_5_16
        − b_2_2·b_2_5·c_6_19·a_1_1·a_5_16 − b_2_2²·c_6_20·a_1_1·a_5_16
        − b_2_2²·c_6_19·a_1_1·a_5_16 − b_2_2²·c_6_19·a_1_0·a_5_16
        + b_2_2³·c_6_20·a_1_1·a_3_9 − b_2_2³·c_6_19·a_1_1·a_3_9
        − b_2_2³·c_6_19·a_1_0·a_3_9 − b_2_2³·c_6_19·a_1_0·a_3_7 − b_2_5²·c_6_20²
        − b_2_5²·c_6_19·c_6_20 − b_2_5²·c_6_19² + b_2_2²·c_6_20² − b_2_2²·c_6_19·c_6_20
        + b_2_2²·c_6_19² − c_6_20²·a_1_0·a_3_9 − c_6_20²·a_1_0·a_3_7
        − c_6_19·c_6_20·a_1_0·a_3_9 + c_6_19·c_6_20·a_1_0·a_3_7 + c_6_19²·a_1_0·a_3_7
        + b_2_5·c_6_20²·a_1_1·a_1_2 + b_2_5·c_6_19·c_6_20·a_1_1·a_1_2 + a_2_3²·c_6_20²
        − a_2_3²·c_6_19·c_6_20 + a_2_3·c_6_19·c_6_20·a_1_1·a_1_2
        − a_2_3·c_6_19²·a_1_1·a_1_2
150. b_8_33² − b_2_5⁵·b_6_17 − a_7_26·a_9_42 − a_7_25·a_9_42 − b_2_5³·a_1_1·a_9_42
        + b_2_5⁴·a_1_1·a_7_26 + b_2_5⁵·a_3_8·a_3_9 + b_2_5⁵·a_1_1·a_5_16
        − b_2_5⁶·a_1_2·a_3_9 − b_2_5⁶·a_1_1·a_3_8 + b_2_2³·b_2_5·a_3_9·a_5_16
        + b_2_2⁴·a_3_7·a_5_16 − b_2_2⁴·b_2_5·a_1_1·a_5_16 − b_2_2⁵·a_1_1·a_5_16
        + b_2_2⁶·a_1_1·a_3_9 + b_2_2⁶·a_1_0·a_3_9 − b_2_5·c_6_20·b_8_33 + b_2_5·c_6_19·b_8_33
        + b_2_5²·b_6_17·c_6_19 − b_2_5⁵·c_6_19 − b_2_2³·b_2_5²·c_6_20
        − b_2_2⁴·b_2_5·c_6_20 + b_2_2⁴·b_2_5·c_6_19 + c_6_20·a_1_1·a_9_42
        − c_6_19·a_1_1·a_9_42 + b_2_5·c_6_20·a_3_9·a_5_16 + b_2_5·c_6_20·a_1_1·a_7_26
        + b_2_5·c_6_19·a_3_9·a_5_16 + b_2_5²·c_6_20·a_3_8·a_3_9
        − b_2_5²·c_6_20·a_1_1·a_5_16 + b_2_5²·c_6_19·a_3_8·a_3_9
        − b_2_5²·c_6_19·a_1_1·a_5_16 + b_2_5³·c_6_20·a_1_2·a_3_9
        − b_2_5³·c_6_20·a_1_1·a_3_9 + b_2_5³·c_6_19·a_1_2·a_3_9
        − b_2_5³·c_6_19·a_1_1·a_3_8 + b_2_5⁴·c_6_19·a_1_1·a_1_2 + b_2_2·c_6_20·a_3_9·a_5_16
        + b_2_2·c_6_20·a_3_7·a_5_16 − b_2_2·c_6_19·a_3_9·a_5_16 + b_2_2·c_6_19·a_3_7·a_5_16
        − b_2_2²·c_6_20·a_1_0·a_5_16 − b_2_2²·c_6_19·a_1_1·a_5_16
        + b_2_2²·c_6_19·a_1_0·a_5_16 + b_2_2³·c_6_20·a_1_1·a_3_9
        + b_2_2³·c_6_20·a_1_0·a_3_9 − b_2_2³·c_6_19·a_1_1·a_3_9
        − b_2_2³·c_6_19·a_1_0·a_3_7 + b_2_5²·c_6_20² + b_2_5²·c_6_19·c_6_20
        + b_2_5²·c_6_19² − b_2_2²·c_6_20² + b_2_2²·c_6_19·c_6_20 − b_2_2²·c_6_19²
        + c_6_20²·a_1_2·a_3_9 − c_6_20²·a_1_1·a_3_9 + c_6_20²·a_1_1·a_3_8
        + c_6_20²·a_1_1·a_3_7 − c_6_20²·a_1_0·a_3_9 + c_6_19·c_6_20·a_1_2·a_3_9
        + c_6_19·c_6_20·a_1_1·a_3_9 − c_6_19·c_6_20·a_1_0·a_3_9 − c_6_19²·a_1_1·a_3_9
        − c_6_19²·a_1_1·a_3_8 − c_6_19²·a_1_1·a_3_7 − c_6_19²·a_1_0·a_3_7
        − b_2_5·c_6_20²·a_1_1·a_1_2 − b_2_5·c_6_19·c_6_20·a_1_1·a_1_2
        − b_2_5·c_6_19²·a_1_1·a_1_2 + a_2_3·c_6_19²·a_1_1·a_1_2
151.  − b_8_33² + b_2_5⁵·b_6_17 + a_7_25·a_9_42 − b_2_5⁴·a_3_9·a_5_16
        + b_2_5⁴·a_1_1·a_7_26 − b_2_5⁵·a_3_8·a_3_9 − b_2_5⁵·a_1_1·a_5_16
        + b_2_5⁶·a_1_2·a_3_9 − b_2_5⁶·a_1_1·a_3_9 + b_2_5⁶·a_1_1·a_3_8
        + b_2_2³·b_2_5·a_3_9·a_5_16 − b_2_2⁴·a_3_9·a_5_16 − b_2_2⁴·a_3_7·a_5_16
        − b_2_2⁴·b_2_5·a_1_1·a_5_16 + b_2_2⁵·a_1_1·a_5_16 + b_2_2⁶·a_1_1·a_3_9
        − b_2_2⁶·a_1_0·a_3_9 + b_2_5·c_6_20·b_8_33 − b_2_5·c_6_19·b_8_33
        − b_2_5²·b_6_17·c_6_19 + b_2_5⁵·c_6_19 + b_2_2³·b_2_5²·c_6_20
        + b_2_2⁴·b_2_5·c_6_20 − b_2_2⁴·b_2_5·c_6_19 + c_6_20·a_1_2·a_9_42
        + c_6_19·a_1_1·a_9_42 − b_2_5·c_6_20·a_1_1·a_7_26 − b_2_5·c_6_19·a_1_1·a_7_26
        + b_2_5²·c_6_20·a_3_8·a_3_9 − b_2_5²·c_6_19·a_3_8·a_3_9
        + b_2_5³·c_6_20·a_1_2·a_3_9 − b_2_5³·c_6_20·a_1_1·a_3_8
        − b_2_5³·c_6_19·a_1_2·a_3_9 + b_2_5³·c_6_19·a_1_1·a_3_9
        + b_2_5⁴·c_6_20·a_1_1·a_1_2 − b_2_5⁴·c_6_19·a_1_1·a_1_2 − b_2_2·c_6_20·a_3_7·a_5_16
        − b_2_2·c_6_19·a_3_7·a_5_16 − b_2_2·b_2_5·c_6_19·a_1_1·a_5_16
        + b_2_2²·c_6_20·a_1_0·a_5_16 − b_2_2²·c_6_19·a_1_1·a_5_16
        − b_2_2²·c_6_19·a_1_0·a_5_16 − b_2_2³·c_6_20·a_1_1·a_3_9
        + b_2_2³·c_6_19·a_1_1·a_3_9 + b_2_2³·c_6_19·a_1_0·a_3_9
        + b_2_2³·c_6_19·a_1_0·a_3_7 − b_2_5²·c_6_20² − b_2_5²·c_6_19·c_6_20
        − b_2_5²·c_6_19² + b_2_2²·c_6_20² − b_2_2²·c_6_19·c_6_20 + b_2_2²·c_6_19²
        + c_6_20²·a_1_2·a_3_9 + c_6_20²·a_1_0·a_3_9 − c_6_19·c_6_20·a_1_2·a_3_9
        + c_6_19·c_6_20·a_1_0·a_3_9 + c_6_19²·a_1_2·a_3_9 + c_6_19²·a_1_0·a_3_7
        + b_2_5·c_6_20²·a_1_1·a_1_2 + b_2_5·c_6_19·c_6_20·a_1_1·a_1_2 + a_2_3²·c_6_20²
        + a_2_3²·c_6_19·c_6_20 + a_2_3²·c_6_19² − a_2_3·c_6_19²·a_1_1·a_1_2
152.  − b_8_33·a_9_42 + b_2_5⁴·a_9_42 − b_2_5⁴·b_6_17·a_3_9 − b_2_5⁵·a_7_26 − b_2_5⁶·a_5_16
        − b_2_5⁶·a_5_14 + b_2_5⁷·a_3_9 + b_2_5⁷·a_3_8 − b_2_2⁵·b_2_5·a_5_16
        + b_2_2⁶·b_2_5·a_3_9 − b_2_2⁷·a_3_9 + b_2_2⁷·b_2_5·a_1_1 − b_2_2⁸·a_1_1
        − b_2_5⁵·a_1_1·a_3_8·a_3_9 + b_2_2⁴·a_1_0·a_3_9·a_5_16 + b_2_2⁴·a_1_0·a_3_7·a_5_16
        + b_2_5·c_6_20·a_9_42 + b_2_5·b_6_17·c_6_20·a_3_9 − b_2_5²·c_6_20·a_7_26
        − b_2_5²·c_6_19·a_7_26 − b_2_5³·c_6_20·a_5_16 + b_2_5³·c_6_20·a_5_14
        + b_2_5³·c_6_19·a_5_16 + b_2_5⁴·c_6_20·a_3_9 − b_2_5⁴·c_6_20·a_3_8
        + b_2_5⁵·c_6_19·a_1_2 + b_2_2·b_2_5²·c_6_20·a_5_16 + b_2_2·b_2_5²·c_6_19·a_5_16
        + b_2_2²·b_2_5·c_6_20·a_5_16 − b_2_2²·b_2_5·c_6_19·a_5_16 + b_2_2³·c_6_20·a_5_16
        + b_2_2³·c_6_19·a_5_16 − b_2_2⁴·c_6_20·a_3_7 + b_2_2⁴·c_6_19·a_3_9
        − b_2_2⁴·c_6_19·a_3_7 − b_2_2⁴·b_2_5·c_6_19·a_1_1 + b_2_2⁵·c_6_20·a_1_1
        + b_2_2⁵·c_6_19·a_1_1 − b_2_5·c_6_19·a_1_1·a_3_9·a_5_16
        − b_2_5²·c_6_20·a_1_1·a_3_8·a_3_9 − b_2_5³·c_6_19·a_1_1·a_1_2·a_3_9
        − b_2_2·c_6_20·a_1_1·a_3_9·a_5_16 − b_2_2·c_6_20·a_1_0·a_3_9·a_5_16
        − b_2_2·c_6_20·a_1_0·a_3_7·a_5_16 − b_2_2·c_6_19·a_1_1·a_3_9·a_5_16
        − b_2_2·c_6_19·a_1_0·a_3_9·a_5_16 − b_2_5·c_6_20²·a_3_9 + b_2_5·c_6_20²·a_3_8
        + b_2_5·c_6_19·c_6_20·a_3_9 − b_2_5·c_6_19²·a_3_9 − b_2_5·c_6_19²·a_3_8
        + b_2_5²·c_6_20²·a_1_2 + b_2_5²·c_6_20²·a_1_1 − b_2_5²·c_6_19·c_6_20·a_1_2
        + b_2_5²·c_6_19·c_6_20·a_1_1 + b_2_2·c_6_20²·a_3_9 + b_2_2·c_6_20²·a_3_7
        + b_2_2·c_6_19·c_6_20·a_3_9 − b_2_2·c_6_19²·a_3_7 + b_2_2·b_2_5·c_6_20²·a_1_1
        + b_2_2·b_2_5·c_6_19·c_6_20·a_1_1 − b_2_2²·c_6_20²·a_1_0 + b_2_2²·c_6_19²·a_1_0
        − a_2_4·c_6_20²·a_3_9 + a_2_4·c_6_19·c_6_20·a_3_9 − a_2_4·c_6_19²·a_3_9
        + c_6_20²·a_1_1·a_1_2·a_3_9 − c_6_19·c_6_20·a_1_1·a_1_2·a_3_9
        + c_6_19·c_6_20·a_1_0·a_1_1·a_3_9 + c_6_19²·a_1_1·a_1_2·a_3_9
        − a_2_3²·c_6_19·c_6_20·a_1_1

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243

Data used for Benson′s test

• Benson′s completion test succeeded in degree 17.
• 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_6_19, a Duflot regular element of degree 6
  2. c_6_20, a Duflot regular element of degree 6
  3. b_4_11 − b_2_5² − b_2_2², an element of degree 4
• The Raw Filter Degree Type of that HSOP is [-1, -1, 8, 13].
• 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 243

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_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_2 → 0, an element of degree 2
7. b_2_5 → 0, an element of degree 2
8. a_3_7 → 0, an element of degree 3
9. a_3_8 → 0, an element of degree 3
10. a_3_9 → 0, an element of degree 3
11. a_4_10 → 0, an element of degree 4
12. b_4_11 → 0, an element of degree 4
13. a_5_14 → 0, an element of degree 5
14. a_5_16 → 0, an element of degree 5
15. a_6_15 → 0, an element of degree 6
16. b_6_17 → 0, an element of degree 6
17. c_6_19 → c_2_2³, an element of degree 6
18. c_6_20 → c_2_1³, an element of degree 6
19. a_7_25 → 0, an element of degree 7
20. a_7_26 → 0, an element of degree 7
21. b_8_33 → 0, an element of degree 8
22. a_9_42 → 0, an element of degree 9

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

1. a_1_0 → a_1_2, 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_2_3 →  − a_1_1·a_1_2, an element of degree 2
5. a_2_4 → a_1_1·a_1_2, an element of degree 2
6. b_2_2 → c_2_5, an element of degree 2
7. b_2_5 → 0, an element of degree 2
8. a_3_7 → c_2_5·a_1_1 − c_2_4·a_1_2, an element of degree 3
9. a_3_8 → 0, an element of degree 3
10. a_3_9 → 0, an element of degree 3
11. a_4_10 → c_2_5·a_1_0·a_1_2, an element of degree 4
12. b_4_11 → 0, an element of degree 4
13. a_5_14 →  − c_2_5²·a_1_1 + c_2_4·c_2_5·a_1_2, an element of degree 5
14. a_5_16 → c_2_5²·a_1_1 − c_2_5²·a_1_0 − c_2_4·c_2_5·a_1_2 + c_2_3·c_2_5·a_1_2, an element of degree 5
15. a_6_15 → c_2_5²·a_1_1·a_1_2 + c_2_5²·a_1_0·a_1_2 − c_2_5²·a_1_0·a_1_1
       + c_2_4·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_5·a_1_1·a_1_2, an element of degree 6
16. b_6_17 →  − c_2_5²·a_1_1·a_1_2, an element of degree 6
17. c_6_19 →  − c_2_5²·a_1_1·a_1_2 + c_2_5²·a_1_0·a_1_2 + c_2_5²·a_1_0·a_1_1
       − c_2_4·c_2_5·a_1_0·a_1_2 + c_2_3·c_2_5·a_1_1·a_1_2 − c_2_4·c_2_5² + c_2_4³, an element of degree 6
18. c_6_20 → c_2_5²·a_1_1·a_1_2 + c_2_5²·a_1_0·a_1_2 − c_2_5²·a_1_0·a_1_1
       + c_2_4·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_5·a_1_1·a_1_2 − c_2_3·c_2_5² + c_2_3³, an element of degree 6
19. a_7_25 → c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_5³·a_1_1 − c_2_4·c_2_5²·a_1_2 − c_2_3·c_2_5²·a_1_2
       + c_2_3³·a_1_2, an element of degree 7
20. a_7_26 → 0, an element of degree 7
21. b_8_33 →  − c_2_5³·a_1_1·a_1_2 + c_2_5³·a_1_0·a_1_1 − c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_4·c_2_5²·a_1_0·a_1_2 + c_2_4³·a_1_1·a_1_2 + c_2_3³·a_1_1·a_1_2
       − c_2_4·c_2_5³ + c_2_4³·c_2_5 − c_2_3·c_2_5³ + c_2_3³·c_2_5, an element of degree 8
22. a_9_42 → c_2_5³·a_1_0·a_1_1·a_1_2 − c_2_5⁴·a_1_0 − c_2_4·c_2_5³·a_1_2 + c_2_4·c_2_5³·a_1_1
       − c_2_4²·c_2_5²·a_1_2 + c_2_4³·c_2_5·a_1_2 − c_2_4³·c_2_5·a_1_1 + c_2_4⁴·a_1_2
       − c_2_3·c_2_5³·a_1_2 − c_2_3·c_2_5³·a_1_1 + c_2_3·c_2_4·c_2_5²·a_1_2
       − c_2_3³·c_2_5·a_1_2 + c_2_3³·c_2_5·a_1_1 − c_2_3³·c_2_4·a_1_2, an element of degree 9

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

1. a_1_0 → 0, an element of degree 1
2. a_1_1 → a_1_2, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_2 → 0, an element of degree 2
7. b_2_5 → c_2_5, an element of degree 2
8. a_3_7 → 0, an element of degree 3
9. a_3_8 → 0, an element of degree 3
10. a_3_9 →  − c_2_5·a_1_1 + c_2_4·a_1_2, an element of degree 3
11. a_4_10 → 0, an element of degree 4
12. b_4_11 →  − c_2_5·a_1_1·a_1_2, an element of degree 4
13. a_5_14 →  − c_2_4·c_2_5·a_1_2, an element of degree 5
14. a_5_16 →  − c_2_5²·a_1_1 − c_2_4·c_2_5·a_1_2, an element of degree 5
15. a_6_15 → c_2_5²·a_1_1·a_1_2, an element of degree 6
16. b_6_17 →  − c_2_5²·a_1_1·a_1_2 − c_2_4·c_2_5², an element of degree 6
17. c_6_19 →  − c_2_5²·a_1_1·a_1_2 + c_2_4·c_2_5² + c_2_4³, an element of degree 6
18. c_6_20 → c_2_5²·a_1_1·a_1_2 + c_2_4·c_2_5² − c_2_3·c_2_5² + c_2_3³, an element of degree 6
19. a_7_25 →  − c_2_5³·a_1_1 + c_2_4·c_2_5²·a_1_2 − c_2_4³·a_1_2, an element of degree 7
20. a_7_26 →  − c_2_5³·a_1_1 + c_2_4·c_2_5²·a_1_1 + c_2_4³·a_1_2 + c_2_3·c_2_5²·a_1_2
       − c_2_3³·a_1_2, an element of degree 7
21. b_8_33 →  − c_2_5³·a_1_1·a_1_2 − c_2_4·c_2_5³ + c_2_4²·c_2_5² + c_2_4³·c_2_5
       + c_2_3·c_2_5³ − c_2_3³·c_2_5, an element of degree 8
22. a_9_42 →  − c_2_5⁴·a_1_1 − c_2_4²·c_2_5²·a_1_1 + c_2_4³·c_2_5·a_1_1 − c_2_4⁴·a_1_2
       + c_2_3·c_2_5³·a_1_2 − c_2_3·c_2_5³·a_1_1 + c_2_3·c_2_4·c_2_5²·a_1_2
       − c_2_3³·c_2_5·a_1_2 + c_2_3³·c_2_5·a_1_1 − c_2_3³·c_2_4·a_1_2, an element of degree 9

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

1. a_1_0 → a_1_2, an element of degree 1
2. a_1_1 → a_1_2, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_2_3 →  − a_1_1·a_1_2, an element of degree 2
5. a_2_4 → a_1_1·a_1_2, an element of degree 2
6. b_2_2 → c_2_5, an element of degree 2
7. b_2_5 → c_2_5, an element of degree 2
8. a_3_7 → c_2_5·a_1_1 − c_2_4·a_1_2, an element of degree 3
9. a_3_8 → 0, an element of degree 3
10. a_3_9 → c_2_5·a_1_2 − c_2_5·a_1_1 + c_2_4·a_1_2, an element of degree 3
11. a_4_10 → c_2_5·a_1_1·a_1_2 + c_2_5·a_1_0·a_1_2, an element of degree 4
12. b_4_11 → c_2_5², an element of degree 4
13. a_5_14 →  − c_2_5²·a_1_2 + c_2_5²·a_1_1 − c_2_4·c_2_5·a_1_2, an element of degree 5
14. a_5_16 →  − c_2_5²·a_1_1 − c_2_5²·a_1_0 + c_2_4·c_2_5·a_1_2 + c_2_3·c_2_5·a_1_2, an element of degree 5
15. a_6_15 → c_2_5²·a_1_1·a_1_2 + c_2_5²·a_1_0·a_1_2 − c_2_5²·a_1_0·a_1_1
       + c_2_4·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_5·a_1_1·a_1_2, an element of degree 6
16. b_6_17 → c_2_5²·a_1_1·a_1_2 + c_2_5³, an element of degree 6
17. c_6_19 →  − c_2_5²·a_1_1·a_1_2 + c_2_5²·a_1_0·a_1_2 + c_2_5²·a_1_0·a_1_1
       − c_2_4·c_2_5·a_1_0·a_1_2 + c_2_3·c_2_5·a_1_1·a_1_2 + c_2_5³ − c_2_4·c_2_5²
       + c_2_4³, an element of degree 6
18. c_6_20 →  − c_2_5²·a_1_0·a_1_1 + c_2_4·c_2_5·a_1_0·a_1_2 − c_2_3·c_2_5·a_1_1·a_1_2
       − c_2_3·c_2_5² + c_2_3³, an element of degree 6
19. a_7_25 → c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_5³·a_1_2 + c_2_5³·a_1_1 − c_2_4³·a_1_2
       − c_2_3·c_2_5²·a_1_2 + c_2_3³·a_1_2, an element of degree 7
20. a_7_26 → c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_5³·a_1_2 + c_2_5³·a_1_1 − c_2_5³·a_1_0
       + c_2_4·c_2_5²·a_1_2 + c_2_4³·a_1_2 − c_2_3·c_2_5²·a_1_2 − c_2_3³·a_1_2, an element of degree 7
21. b_8_33 → c_2_5³·a_1_1·a_1_2 − c_2_4·c_2_5²·a_1_1·a_1_2 + c_2_4³·a_1_1·a_1_2
       − c_2_3·c_2_5²·a_1_1·a_1_2 + c_2_3³·a_1_1·a_1_2 + c_2_4·c_2_5³ − c_2_4³·c_2_5, an element of degree 8
22. a_9_42 → c_2_5³·a_1_0·a_1_1·a_1_2 − c_2_5⁴·a_1_2 − c_2_5⁴·a_1_1 + c_2_5⁴·a_1_0
       + c_2_4³·c_2_5·a_1_2 + c_2_3·c_2_5³·a_1_2 + c_2_3·c_2_5³·a_1_1
       − c_2_3·c_2_4·c_2_5²·a_1_2 + c_2_3³·c_2_5·a_1_2 − c_2_3³·c_2_5·a_1_1
       + c_2_3³·c_2_4·a_1_2, an element of degree 9

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

1. a_1_0 →  − a_1_2, an element of degree 1
2. a_1_1 → a_1_2, an element of degree 1
3. a_1_2 → 0, an element of degree 1
4. a_2_3 → a_1_1·a_1_2, an element of degree 2
5. a_2_4 →  − a_1_1·a_1_2, an element of degree 2
6. b_2_2 →  − c_2_5, an element of degree 2
7. b_2_5 → c_2_5, an element of degree 2
8. a_3_7 →  − c_2_5·a_1_1 + c_2_4·a_1_2, an element of degree 3
9. a_3_8 → 0, an element of degree 3
10. a_3_9 → c_2_5·a_1_2 − c_2_5·a_1_1 + c_2_4·a_1_2, an element of degree 3
11. a_4_10 →  − c_2_5·a_1_1·a_1_2 + c_2_5·a_1_0·a_1_2, an element of degree 4
12. b_4_11 → c_2_5·a_1_1·a_1_2 + c_2_5², an element of degree 4
13. a_5_14 →  − c_2_5²·a_1_1 + c_2_4·c_2_5·a_1_2, an element of degree 5
14. a_5_16 →  − c_2_5²·a_1_2 − c_2_5²·a_1_1 − c_2_5²·a_1_0 + c_2_4·c_2_5·a_1_2 + c_2_3·c_2_5·a_1_2, an element of degree 5
15. a_6_15 →  − c_2_5²·a_1_0·a_1_2 − c_2_5²·a_1_0·a_1_1 + c_2_4·c_2_5·a_1_0·a_1_2
       − c_2_3·c_2_5·a_1_1·a_1_2, an element of degree 6
16. b_6_17 →  − c_2_5²·a_1_1·a_1_2, an element of degree 6
17. c_6_19 →  − c_2_5²·a_1_1·a_1_2 − c_2_5²·a_1_0·a_1_2 + c_2_5²·a_1_0·a_1_1
       − c_2_4·c_2_5·a_1_0·a_1_2 + c_2_3·c_2_5·a_1_1·a_1_2 + c_2_5³ − c_2_4·c_2_5²
       + c_2_4³, an element of degree 6
18. c_6_20 → c_2_5²·a_1_0·a_1_2 − c_2_5²·a_1_0·a_1_1 + c_2_4·c_2_5·a_1_0·a_1_2
       − c_2_3·c_2_5·a_1_1·a_1_2 − c_2_5³ − c_2_3·c_2_5² + c_2_3³, an element of degree 6
19. a_7_25 →  − c_2_5²·a_1_0·a_1_1·a_1_2 − c_2_5³·a_1_2 − c_2_5³·a_1_1 − c_2_4·c_2_5²·a_1_2
       − c_2_4³·a_1_2 + c_2_3·c_2_5²·a_1_2 − c_2_3³·a_1_2, an element of degree 7
20. a_7_26 → c_2_5²·a_1_0·a_1_1·a_1_2 + c_2_5³·a_1_2 + c_2_5³·a_1_1 − c_2_5³·a_1_0
       + c_2_4·c_2_5²·a_1_2 + c_2_4³·a_1_2 − c_2_3·c_2_5²·a_1_2 − c_2_3³·a_1_2, an element of degree 7
21. b_8_33 → c_2_5³·a_1_0·a_1_2 + c_2_5³·a_1_0·a_1_1 + c_2_4·c_2_5²·a_1_1·a_1_2
       − c_2_4·c_2_5²·a_1_0·a_1_2 − c_2_4³·a_1_1·a_1_2 − c_2_3·c_2_5²·a_1_1·a_1_2
       − c_2_3³·a_1_1·a_1_2 − c_2_5⁴ − c_2_3·c_2_5³ + c_2_3³·c_2_5, an element of degree 8
22. a_9_42 → c_2_5³·a_1_0·a_1_1·a_1_2 + c_2_5⁴·a_1_2 − c_2_5⁴·a_1_1 − c_2_5⁴·a_1_0
       − c_2_4·c_2_5³·a_1_2 + c_2_4·c_2_5³·a_1_1 − c_2_4²·c_2_5²·a_1_2
       − c_2_4³·c_2_5·a_1_2 − c_2_4³·c_2_5·a_1_1 + c_2_4⁴·a_1_2 − c_2_3·c_2_5³·a_1_2
       − c_2_3³·c_2_5·a_1_2, an element of degree 9

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 243