Mathematics:

Cohomology
→Theory
→Implementation

Jena:

Faculty

David Green

External links:

Singular

Gap

Mod-2-Cohomology of Normalizer(MathieuGroup(23),Centre(SylowSubgroup(MathieuGroup(23),2))), a group of order 2688

About the group

Ring generators

Ring relations

Completion information

Restriction maps

General information on the group

• Normalizer(MathieuGroup(23),Centre(SylowSubgroup(MathieuGroup(23),2))) is a group of order 2688.
• The group order factors as 2⁷ · 3 · 7.
• The group is defined by Group([(2,17)(3,5)(4,10)(6,15)(7,13)(11,16)(12,20)(18,21),(3,4,18)(5,10,21)(7,16,12)(8,22,23)(9,14,19)(11,20,13),(1,14)(3,5)(4,20)(7,18)(9,19)(10,12)(11,16)(13,21),(2,3)(4,18)(5,17)(7,13)(8,19)(9,22)(10,21)(12,20),(1,22,14,9,19,8,23)(2,3,4,11,21,20,6)(5,10,16,18,12,15,17)]).
• It is non-abelian.
• It has 2-Rank 4.
• The centre of a Sylow 2-subgroup has rank 1.
• Its Sylow 2-subgroup has 4 conjugacy classes of maximal elementary abelian subgroups, which are of rank 3, 3, 4 and 4, respectively.

Structure of the cohomology ring

General information

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

  1  −  t  +  2·t2  +  2·t4  +  3·t6  +  t7  +  4·t8  +  t10  +  2·t12  −  t15  +  t17  +  t18

  (1  +  t) · ( − 1  +  t)4 · (1  +  t  +  t2) · (1  +  t2)2 · (1  +  t4) · (1  +  t  +  t2  +  t3  +  t4  +  t5  +  t6)

• The a-invariants are -∞,-∞,-3,-6,-4. They were obtained using the filter regular HSOP of the Hilbert-Poincaré test.
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -4, -4].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Ring generators

The cohomology ring has 23 minimal generators of maximal degree 13:

1. b_2_0, an element of degree 2
2. a_3_2, a nilpotent element of degree 3
3. b_3_1, an element of degree 3
4. b_3_0, an element of degree 3
5. b_4_2, an element of degree 4
6. b_4_0, an element of degree 4
7. b_5_0, an element of degree 5
8. b_6_3, an element of degree 6
9. b_6_1, an element of degree 6
10. b_7_9, an element of degree 7
11. a_7_7, a nilpotent element of degree 7
12. b_7_2, an element of degree 7
13. b_7_0, an element of degree 7
14. b_8_7, an element of degree 8
15. c_8_2, a Duflot element of degree 8
16. b_8_0, an element of degree 8
17. b_9_5, an element of degree 9
18. b_9_1, an element of degree 9
19. b_9_0, an element of degree 9
20. b_10_2, an element of degree 10
21. b_11_1, an element of degree 11
22. b_12_5, an element of degree 12
23. b_13_0, an element of degree 13

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Ring relations

There are 197 minimal relations of maximal degree 26:

1. b_2_0·a_3_2
2. a_3_2²
3. a_3_2·b_3_0
4. a_3_2·b_3_1
5. b_3_0·b_3_1
6. b_4_0·a_3_2
7. b_4_0·b_3_1
8. b_4_2·b_3_1
9. a_3_2·b_5_0
10. b_2_0·b_6_3
11. b_3_0·b_5_0 + b_4_0² + b_2_0²·b_4_2 + b_2_0²·b_4_0
12. b_3_1·b_5_0
13. b_2_0·a_7_7
14. b_6_1·a_3_2
15. b_6_3·a_3_2
16. b_2_0·b_7_9
17. b_6_1·b_3_0 + b_4_0·b_5_0 + b_2_0·b_7_2 + b_2_0·b_7_0 + b_2_0·b_4_2·b_3_0
       + b_2_0·b_4_0·b_3_0
18. b_6_1·b_3_1 + b_2_0·b_7_2 + b_2_0·b_4_0·b_3_0
19. b_6_3·b_3_0
20. b_6_3·b_3_1
21. a_3_2·a_7_7
22. a_3_2·b_7_0
23. a_3_2·b_7_2
24. a_3_2·b_7_9
25. b_3_0·a_7_7
26. b_3_1·a_7_7
27. b_2_0·b_8_7 + b_2_0·b_4_0·b_4_2 + b_2_0·b_4_0²
28. b_4_0·b_6_3
29. b_3_0·b_7_0 + b_4_0·b_3_0² + b_4_0·b_6_1 + b_2_0·b_8_0 + b_2_0·b_4_0² + b_2_0²·b_6_1
       + b_2_0³·b_4_0
30. b_3_0·b_7_2 + b_4_0·b_3_0²
31. b_3_0·b_7_9
32. b_3_1·b_7_2 + b_3_1·b_7_0
33. b_3_1·b_7_9
34. b_5_0² + b_4_0·b_6_1 + b_2_0·b_8_0 + b_2_0²·b_6_1 + b_2_0³·b_4_0
35. b_4_0·a_7_7
36. b_8_0·a_3_2
37. b_8_7·a_3_2
38. b_2_0·b_9_1 + b_2_0²·b_7_2 + b_2_0²·b_7_0 + b_2_0²·b_4_2·b_3_0 + b_2_0²·b_4_0·b_3_0
39. b_2_0·b_9_5
40. b_4_0·b_7_2 + b_4_0²·b_3_0
41. b_4_0·b_7_9
42. b_4_2·b_7_2 + b_4_0·b_4_2·b_3_0
43. b_6_1·b_5_0 + b_4_0·b_7_0 + b_4_0²·b_3_0 + b_2_0·b_9_0 + b_2_0·b_4_2·b_5_0
       + b_2_0·b_4_0·b_5_0 + b_2_0²·b_4_2·b_3_0
44. b_6_3·b_5_0
45. b_8_0·b_3_0 + b_4_0·b_7_0 + b_4_0·b_4_2·b_3_0 + b_2_0·b_4_2·b_5_0 + b_2_0²·b_7_2
       + b_2_0²·b_7_0 + b_2_0²·b_4_2·b_3_0
46. b_8_0·b_3_1 + b_2_0²·b_7_2 + b_2_0²·b_4_0·b_3_0
47. b_8_7·b_3_0 + b_4_0·b_4_2·b_3_0 + b_4_0²·b_3_0
48. b_8_7·b_3_1
49. a_3_2·b_9_0
50. a_3_2·b_9_1
51. a_3_2·b_9_5
52. b_5_0·a_7_7
53. b_2_0·b_10_2 + b_2_0²·b_4_2² + b_2_0²·b_4_0·b_4_2
54. b_4_0·b_8_7 + b_4_0²·b_4_2 + b_4_0³
55. b_6_1·b_6_3 + b_6_1² + b_4_0·b_8_0 + b_4_0²·b_4_2 + b_4_0³ + b_2_0·b_4_2·b_6_1
       + b_2_0·b_4_0·b_6_1 + b_2_0²·b_4_2² + b_2_0²·b_4_0² + b_2_0⁴·b_4_2 + b_2_0⁴·b_4_0
       + b_2_0²·c_8_2
56. b_6_3² + b_6_1² + b_4_0·b_8_0 + b_4_0²·b_4_2 + b_4_0³ + b_2_0·b_4_2·b_6_1
       + b_2_0·b_4_0·b_6_1 + b_2_0²·b_4_2² + b_2_0²·b_4_0² + b_2_0⁴·b_4_2 + b_2_0⁴·b_4_0
       + b_2_0²·c_8_2
57. b_3_0·b_9_0 + b_4_0·b_8_0 + b_4_0²·b_4_2 + b_2_0·b_4_2·b_3_0² + b_2_0·b_4_2·b_6_1
       + b_2_0²·b_4_2²
58. b_3_0·b_9_1 + b_2_0·b_4_2·b_3_0² + b_2_0·b_4_0·b_3_0² + b_2_0·b_4_0·b_6_1
       + b_2_0²·b_8_0 + b_2_0²·b_4_0² + b_2_0³·b_6_1 + b_2_0⁴·b_4_0
59. b_3_0·b_9_5
60. b_3_1·b_9_0
61. b_3_1·b_9_1
62. b_3_1·b_9_5
63. b_5_0·b_7_0 + b_4_0·b_8_0 + b_4_0²·b_4_2 + b_2_0·b_4_2·b_6_1 + b_2_0²·b_4_2²
       + b_2_0²·b_4_0·b_4_2 + b_2_0²·b_4_0²
64. b_5_0·b_7_2 + b_4_0³ + b_2_0²·b_4_0·b_4_2 + b_2_0²·b_4_0²
65. b_5_0·b_7_9
66. b_6_1·a_7_7
67. b_6_3·a_7_7
68. b_10_2·a_3_2
69. b_2_0·b_11_1
70. b_4_0·b_9_1 + b_2_0·b_4_0·b_7_0 + b_2_0·b_4_0·b_4_2·b_3_0
71. b_4_0·b_9_5
72. b_6_1·b_7_0 + b_4_0·b_9_0 + b_2_0·b_4_2²·b_3_0 + b_2_0·b_4_0·b_4_2·b_3_0
       + b_2_0³·b_4_2·b_3_0 + b_2_0³·b_4_0·b_3_0 + b_2_0·c_8_2·b_3_1 + b_2_0·c_8_2·b_3_0
73. b_6_1·b_7_2 + b_4_0²·b_5_0 + b_2_0·b_4_0·b_7_0 + b_2_0·b_4_0·b_4_2·b_3_0
       + b_2_0·c_8_2·b_3_1
74. b_6_3·b_7_0
75. b_6_3·b_7_2
76. b_6_3·b_7_9 + b_6_1·b_7_9
77. b_8_0·b_5_0 + b_4_0·b_9_0 + b_4_0·b_4_2·b_5_0 + b_2_0·b_4_2·b_7_0 + b_2_0²·b_9_0
       + b_2_0²·b_4_2·b_5_0 + b_2_0³·b_4_2·b_3_0
78. b_8_7·b_5_0 + b_4_0·b_4_2·b_5_0 + b_4_0²·b_5_0
79. b_10_2·b_3_0 + b_2_0·b_4_2²·b_3_0 + b_2_0·b_4_0·b_4_2·b_3_0
80. b_10_2·b_3_1
81. a_7_7²
82. a_3_2·b_11_1
83. a_7_7·b_7_0
84. a_7_7·b_7_2
85. a_7_7·b_7_9
86. b_2_0·b_12_5 + b_2_0·b_4_2·b_8_0 + b_2_0·b_4_0·b_4_2² + b_2_0·b_4_0²·b_4_2
       + b_2_0²·b_3_1·b_7_0 + b_2_0²·b_4_2·b_3_0² + b_2_0²·b_4_0·b_6_1 + b_2_0³·b_8_0
       + b_2_0³·b_4_2² + b_2_0³·b_4_0² + b_2_0⁵·b_4_0 + b_2_0³·c_8_2
87. b_4_0·b_10_2 + b_2_0·b_4_0·b_4_2² + b_2_0·b_4_0²·b_4_2
88. b_6_1·b_8_0 + b_4_2²·b_3_0² + b_4_0·b_4_2·b_3_0² + b_4_0²·b_3_0² + b_4_0²·b_6_1
       + b_2_0²·b_4_2·b_3_0² + b_2_0²·b_4_2·b_6_1 + b_2_0²·b_4_0·b_3_0²
       + b_2_0²·b_4_0·b_6_1 + b_2_0³·b_4_2² + b_2_0³·b_4_0·b_4_2 + b_2_0³·b_4_0²
       + b_2_0⁵·b_4_2 + b_2_0⁵·b_4_0 + c_8_2·b_3_0² + b_2_0·b_4_0·c_8_2 + b_2_0³·c_8_2
89. b_6_3·b_8_0
90. b_6_3·b_8_7 + b_6_1·b_8_7 + b_4_0·b_4_2·b_6_1 + b_4_0²·b_6_1
91. b_3_0·b_11_1
92. b_3_1·b_11_1
93. b_5_0·b_9_0 + b_4_2²·b_3_0² + b_4_0·b_4_2·b_3_0² + b_4_0·b_4_2·b_6_1
       + b_4_0²·b_3_0² + b_4_0²·b_6_1 + b_2_0·b_4_2·b_8_0 + b_2_0²·b_4_2·b_3_0²
       + b_2_0²·b_4_2·b_6_1 + b_2_0²·b_4_0·b_3_0² + b_2_0³·b_4_2² + c_8_2·b_3_0²
94. b_5_0·b_9_1 + b_2_0·b_4_0·b_8_0 + b_2_0²·b_4_2·b_6_1 + b_2_0³·b_4_0²
95. b_5_0·b_9_5
96. b_7_0² + b_4_2²·b_3_0² + b_4_0·b_4_2·b_3_0² + b_4_0·b_4_2·b_6_1
       + b_2_0·b_4_2·b_8_0 + b_2_0·b_4_0³ + b_2_0²·b_4_2·b_3_0² + b_2_0²·b_4_2·b_6_1
       + b_2_0²·b_4_0·b_3_0² + b_2_0³·b_4_0·b_4_2 + c_8_2·b_3_1² + c_8_2·b_3_0²
97. b_7_0·b_7_2 + b_4_0²·b_3_0² + b_4_0²·b_6_1 + b_2_0·b_4_0·b_8_0 + b_2_0·b_4_0³
       + b_2_0²·b_4_0·b_6_1 + b_2_0³·b_4_0² + c_8_2·b_3_1²
98. b_7_0·b_7_9
99. b_7_2² + b_4_0²·b_3_0² + c_8_2·b_3_1²
100. b_7_2·b_7_9
101. b_8_0·a_7_7
102. b_8_7·a_7_7
103. b_12_5·a_3_2
104. b_2_0·b_13_0 + b_2_0·b_4_0·b_9_0 + b_2_0·b_4_0·b_4_2·b_5_0 + b_2_0²·b_4_2·b_7_0
        + b_2_0²·b_4_0·b_7_0 + b_2_0³·b_4_2·b_5_0 + b_2_0⁴·b_7_2 + b_2_0⁴·b_7_0
        + b_2_0²·c_8_2·b_3_0
105. b_4_0·b_11_1
106. b_6_1·b_9_0 + b_4_0·b_4_2·b_7_0 + b_4_0·b_4_2²·b_3_0 + b_4_0²·b_7_0
        + b_2_0·b_4_2²·b_5_0 + b_2_0·b_4_0·b_9_0 + b_2_0·b_4_0²·b_5_0 + b_2_0²·b_4_2·b_7_0
        + b_2_0²·b_4_2²·b_3_0 + b_2_0²·b_4_0²·b_3_0 + b_2_0³·b_4_2·b_5_0
        + b_2_0³·b_4_0·b_5_0 + b_4_0·c_8_2·b_3_0 + b_2_0·c_8_2·b_5_0
107. b_6_1·b_9_1 + b_2_0·b_4_0·b_9_0 + b_2_0·b_4_0·b_4_2·b_5_0 + b_2_0²·b_4_2·b_7_0
        + b_2_0²·b_4_0·b_4_2·b_3_0 + b_2_0⁴·b_4_2·b_3_0 + b_2_0⁴·b_4_0·b_3_0
        + b_2_0²·c_8_2·b_3_0
108. b_6_3·b_9_0
109. b_6_3·b_9_1
110. b_6_3·b_9_5 + b_6_1·b_9_5
111. b_8_0·b_7_0 + b_4_0·b_4_2²·b_3_0 + b_2_0·b_4_2·b_9_0 + b_2_0·b_4_0·b_4_2·b_5_0
        + b_2_0·b_4_0²·b_5_0 + b_2_0²·b_4_0·b_7_0 + b_2_0²·b_4_0·b_4_2·b_3_0
        + b_2_0²·b_4_0²·b_3_0 + b_2_0⁴·b_4_2·b_3_0 + b_2_0⁴·b_4_0·b_3_0 + b_4_0·c_8_2·b_3_0
        + b_2_0²·c_8_2·b_3_1 + b_2_0²·c_8_2·b_3_0
112. b_8_0·b_7_2 + b_4_0²·b_7_0 + b_4_0²·b_4_2·b_3_0 + b_2_0·b_4_0·b_4_2·b_5_0
        + b_2_0²·b_4_0·b_7_0 + b_2_0²·b_4_0·b_4_2·b_3_0 + b_2_0²·b_4_0²·b_3_0
        + b_2_0²·c_8_2·b_3_1
113. b_8_0·b_7_9
114. b_8_7·b_7_0 + b_4_0·b_4_2·b_7_0 + b_4_0²·b_7_0
115. b_8_7·b_7_2 + b_4_0²·b_4_2·b_3_0 + b_4_0³·b_3_0
116. b_10_2·b_5_0 + b_2_0·b_4_2²·b_5_0 + b_2_0·b_4_0·b_4_2·b_5_0
117. b_12_5·b_3_0 + b_4_0·b_4_2·b_7_0 + b_4_0²·b_4_2·b_3_0 + b_2_0·b_4_2·b_3_0³
        + b_2_0·b_4_2²·b_5_0 + b_2_0·b_4_0²·b_5_0 + b_2_0²·b_4_2·b_7_0
        + b_2_0²·b_4_0·b_4_2·b_3_0 + b_2_0²·b_4_0²·b_3_0 + b_2_0³·b_4_2·b_5_0
        + b_2_0⁴·b_7_2 + b_2_0⁴·b_7_0 + b_2_0⁴·b_4_2·b_3_0 + b_2_0⁴·b_4_0·b_3_0
        + b_2_0²·c_8_2·b_3_0
118. b_12_5·b_3_1 + b_2_0·b_3_1²·b_7_0 + b_2_0⁴·b_7_2 + b_2_0⁴·b_4_0·b_3_0
        + b_2_0²·c_8_2·b_3_1
119. a_3_2·b_13_0
120. a_7_7·b_9_0
121. a_7_7·b_9_1
122. a_7_7·b_9_5
123. b_4_0·b_12_5 + b_4_0·b_4_2·b_8_0 + b_4_0²·b_4_2² + b_4_0³·b_4_2
        + b_2_0·b_4_0·b_4_2·b_3_0² + b_2_0·b_4_0²·b_6_1 + b_2_0²·b_4_0·b_8_0
        + b_2_0²·b_4_0·b_4_2² + b_2_0²·b_4_0³ + b_2_0⁴·b_4_0² + b_2_0²·b_4_0·c_8_2
124. b_6_3·b_10_2 + b_6_1·b_10_2 + b_2_0·b_4_2²·b_6_1 + b_2_0·b_4_0·b_4_2·b_6_1
125. b_8_0² + b_4_0·b_4_2·b_8_0 + b_4_0²·b_4_2² + b_2_0·b_4_2²·b_6_1
        + b_2_0·b_4_0·b_4_2·b_6_1 + b_2_0·b_4_0²·b_6_1 + b_2_0²·b_4_2³
        + b_2_0²·b_4_0·b_8_0 + b_2_0²·b_4_0·b_4_2² + b_2_0²·b_4_0³ + b_2_0³·b_4_2·b_6_1
        + b_2_0³·b_4_0·b_6_1 + b_2_0⁴·b_4_2² + b_2_0⁶·b_4_2 + b_2_0⁶·b_4_0 + b_4_0²·c_8_2
        + b_2_0⁴·c_8_2
126. b_8_0·b_8_7 + b_4_0·b_4_2·b_8_0 + b_4_0²·b_8_0
127. b_3_0·b_13_0 + b_4_0²·b_8_0 + b_2_0·b_4_0²·b_3_0² + b_2_0·b_4_0²·b_6_1
        + b_2_0²·b_4_2·b_8_0 + b_2_0²·b_4_0·b_8_0 + b_2_0²·b_4_0²·b_4_2 + b_2_0²·b_4_0³
        + b_2_0³·b_4_2·b_6_1 + b_2_0⁴·b_8_0 + b_2_0⁴·b_4_2² + b_2_0⁵·b_6_1 + b_2_0⁶·b_4_0
        + b_2_0·c_8_2·b_3_0²
128. b_3_1·b_13_0
129. b_5_0·b_11_1
130. b_7_0·b_9_0 + b_4_0·b_4_2·b_8_0 + b_2_0·b_4_2²·b_6_1 + b_2_0·b_4_0·b_4_2·b_3_0²
        + b_2_0·b_4_0²·b_6_1 + b_2_0²·b_4_2·b_8_0 + b_2_0²·b_4_0·b_4_2² + b_2_0²·b_4_0³
        + b_2_0³·b_4_2·b_6_1 + b_2_0⁴·b_4_2² + b_2_0⁴·b_4_0·b_4_2 + b_2_0⁴·b_4_0²
        + b_4_0²·c_8_2 + b_2_0²·b_4_2·c_8_2 + b_2_0²·b_4_0·c_8_2
131. b_7_0·b_9_1 + b_2_0·b_4_2²·b_3_0² + b_2_0²·b_4_0²·b_4_2 + b_2_0²·b_4_0³
        + b_2_0³·b_4_2·b_3_0² + b_2_0³·b_4_0·b_3_0² + b_2_0·c_8_2·b_3_0²
132. b_7_0·b_9_5
133. b_7_2·b_9_0 + b_4_0²·b_8_0 + b_4_0³·b_4_2 + b_2_0·b_4_0·b_4_2·b_3_0²
        + b_2_0·b_4_0·b_4_2·b_6_1 + b_2_0²·b_4_0·b_4_2²
134. b_7_2·b_9_1 + b_2_0·b_4_0·b_4_2·b_3_0² + b_2_0·b_4_0²·b_3_0²
        + b_2_0·b_4_0²·b_6_1 + b_2_0²·b_4_0·b_8_0 + b_2_0²·b_4_0³ + b_2_0³·b_4_0·b_6_1
        + b_2_0⁴·b_4_0²
135. b_7_2·b_9_5
136. b_7_9·b_9_0
137. b_7_9·b_9_1
138. b_7_9·b_9_5 + b_8_7² + b_4_2·b_6_1² + b_4_0·b_4_2·b_8_0 + b_4_0³·b_4_2 + b_4_0⁴
        + b_2_0·b_4_2²·b_6_1 + b_2_0·b_4_0·b_4_2·b_6_1 + b_2_0²·b_4_2³
        + b_2_0²·b_4_0²·b_4_2 + b_2_0⁴·b_4_2² + b_2_0⁴·b_4_0·b_4_2 + b_2_0²·b_4_2·c_8_2
139. b_10_2·a_7_7
140. b_4_0·b_13_0 + b_4_0²·b_9_0 + b_4_0²·b_4_2·b_5_0 + b_2_0·b_4_0·b_4_2·b_7_0
        + b_2_0·b_4_0²·b_7_0 + b_2_0²·b_4_0·b_4_2·b_5_0 + b_2_0³·b_4_0·b_7_0
        + b_2_0³·b_4_0²·b_3_0 + b_2_0·b_4_0·c_8_2·b_3_0
141. b_6_3·b_11_1 + b_6_1·b_11_1
142. b_8_0·b_9_0 + b_4_0·b_4_2²·b_5_0 + b_2_0·b_4_2²·b_7_0 + b_2_0·b_4_2³·b_3_0
        + b_2_0·b_4_0·b_4_2·b_7_0 + b_2_0·b_4_0·b_4_2²·b_3_0 + b_2_0·b_4_0²·b_7_0
        + b_2_0·b_4_0²·b_4_2·b_3_0 + b_2_0·b_4_0³·b_3_0 + b_2_0³·b_4_2·b_7_0
        + b_2_0⁴·b_4_2·b_5_0 + b_2_0⁴·b_4_0·b_5_0 + b_4_0·c_8_2·b_5_0
        + b_2_0·b_4_2·c_8_2·b_3_0 + b_2_0²·c_8_2·b_5_0
143. b_8_0·b_9_1 + b_2_0·b_4_0·b_4_2·b_7_0 + b_2_0²·b_4_2·b_9_0 + b_2_0²·b_4_2²·b_5_0
        + b_2_0²·b_4_0·b_4_2·b_5_0 + b_2_0²·b_4_0²·b_5_0 + b_2_0³·b_4_2·b_7_0
        + b_2_0³·b_4_2²·b_3_0 + b_2_0³·b_4_0·b_7_0 + b_2_0³·b_4_0²·b_3_0
        + b_2_0⁵·b_4_2·b_3_0 + b_2_0⁵·b_4_0·b_3_0 + b_2_0·b_4_0·c_8_2·b_3_0
        + b_2_0³·c_8_2·b_3_0
144. b_8_0·b_9_5
145. b_8_7·b_9_0 + b_4_0·b_4_2·b_9_0 + b_4_0²·b_9_0
146. b_8_7·b_9_1 + b_2_0·b_4_0·b_4_2·b_7_0 + b_2_0·b_4_0·b_4_2²·b_3_0
        + b_2_0·b_4_0²·b_7_0 + b_2_0·b_4_0²·b_4_2·b_3_0
147. b_10_2·b_7_0 + b_2_0·b_4_2²·b_7_0 + b_2_0·b_4_0·b_4_2·b_7_0
148. b_10_2·b_7_2 + b_2_0·b_4_0·b_4_2²·b_3_0 + b_2_0·b_4_0²·b_4_2·b_3_0
149. b_10_2·b_7_9 + b_8_7·b_9_5 + b_6_1·b_11_1 + b_4_2·b_6_1·b_7_9
150. b_12_5·b_5_0 + b_4_0·b_4_2·b_9_0 + b_4_0²·b_4_2·b_5_0 + b_2_0·b_4_2²·b_7_0
        + b_2_0·b_4_0²·b_7_0 + b_2_0·b_4_0²·b_4_2·b_3_0 + b_2_0·b_4_0³·b_3_0
        + b_2_0²·b_4_2·b_9_0 + b_2_0³·b_4_2·b_7_0 + b_2_0⁴·b_9_0 + b_2_0⁴·b_4_2·b_5_0
        + b_2_0⁴·b_4_0·b_5_0 + b_2_0⁵·b_4_2·b_3_0 + b_2_0²·c_8_2·b_5_0
151. a_7_7·b_11_1
152. b_6_3·b_12_5 + b_6_1·b_12_5 + b_4_2³·b_3_0² + b_4_0·b_4_2²·b_3_0²
        + b_4_0·b_4_2²·b_6_1 + b_4_0²·b_4_2·b_3_0² + b_2_0·b_4_0²·b_8_0 + b_2_0·b_4_0⁴
        + b_2_0²·b_4_2²·b_3_0² + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0²·b_4_0·b_4_2·b_6_1
        + b_2_0²·b_4_0²·b_3_0² + b_2_0²·b_4_0²·b_6_1 + b_2_0³·b_4_2·b_8_0
        + b_2_0³·b_4_2³ + b_2_0³·b_4_0·b_4_2² + b_2_0³·b_4_0²·b_4_2 + b_2_0³·b_4_0³
        + b_2_0⁴·b_4_2·b_3_0² + b_2_0⁴·b_4_0·b_3_0² + b_2_0⁷·b_4_2 + b_2_0⁷·b_4_0
        + b_4_2·c_8_2·b_3_0² + b_2_0·b_4_0·b_4_2·c_8_2 + b_2_0²·c_8_2·b_3_1²
        + b_2_0²·c_8_2·b_3_0² + b_2_0²·b_6_1·c_8_2 + b_2_0³·b_4_2·c_8_2 + b_2_0⁵·c_8_2
153. b_8_0·b_10_2 + b_2_0·b_4_2²·b_8_0 + b_2_0·b_4_0·b_4_2·b_8_0
154. b_5_0·b_13_0 + b_4_0·b_4_2²·b_3_0² + b_4_0²·b_4_2·b_3_0² + b_4_0³·b_3_0²
        + b_4_0³·b_6_1 + b_2_0·b_4_0·b_4_2·b_8_0 + b_2_0·b_4_0²·b_8_0
        + b_2_0·b_4_0²·b_4_2² + b_2_0·b_4_0³·b_4_2 + b_2_0²·b_4_2²·b_6_1
        + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0²·b_4_0²·b_3_0² + b_2_0³·b_4_2·b_8_0
        + b_2_0³·b_4_2³ + b_2_0³·b_4_0·b_8_0 + b_2_0³·b_4_0·b_4_2² + b_2_0⁵·b_4_2²
        + b_2_0⁵·b_4_0·b_4_2 + b_4_0·c_8_2·b_3_0² + b_2_0·b_4_0²·c_8_2
        + b_2_0³·b_4_2·c_8_2 + b_2_0³·b_4_0·c_8_2
155. b_7_0·b_11_1
156. b_7_2·b_11_1
157. b_7_9·b_11_1 + b_8_7·b_10_2 + b_6_1·b_12_5 + b_6_1³ + b_4_2·b_6_1·b_8_7
        + b_4_2³·b_3_0² + b_4_0³·b_3_0² + b_2_0·b_4_0·b_4_2·b_8_0 + b_2_0·b_4_0·b_4_2³
        + b_2_0·b_4_0²·b_4_2² + b_2_0·b_4_0³·b_4_2 + b_2_0²·b_4_2²·b_3_0²
        + b_2_0³·b_4_2·b_8_0 + b_2_0³·b_4_0·b_4_2² + b_2_0³·b_4_0²·b_4_2
        + b_2_0³·b_4_0³ + b_2_0⁴·b_4_2·b_3_0² + b_2_0⁴·b_4_2·b_6_1
        + b_2_0⁴·b_4_0·b_3_0² + b_2_0⁴·b_4_0·b_6_1 + b_2_0⁵·b_4_2² + b_2_0⁵·b_4_0·b_4_2
        + b_2_0⁷·b_4_2 + b_2_0⁷·b_4_0 + b_4_2·c_8_2·b_3_0² + b_4_0·c_8_2·b_3_0²
        + b_2_0·b_4_0·b_4_2·c_8_2 + b_2_0·b_4_0²·c_8_2 + b_2_0²·c_8_2·b_3_1²
        + b_2_0²·c_8_2·b_3_0² + b_2_0⁵·c_8_2
158. b_9_0² + b_4_2³·b_3_0² + b_4_0·b_4_2²·b_3_0² + b_4_0²·b_4_2·b_3_0²
        + b_4_0²·b_4_2·b_6_1 + b_2_0·b_4_0·b_4_2·b_8_0 + b_2_0·b_4_0²·b_8_0 + b_2_0·b_4_0⁴
        + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0³·b_4_2·b_8_0 + b_2_0³·b_4_0·b_8_0
        + b_2_0³·b_4_0²·b_4_2 + b_2_0³·b_4_0³ + b_2_0⁴·b_4_2·b_6_1 + b_2_0⁴·b_4_0·b_6_1
        + b_2_0⁵·b_4_0·b_4_2 + b_2_0⁵·b_4_0² + b_4_2·c_8_2·b_3_0² + b_4_0·b_6_1·c_8_2
        + b_2_0·b_8_0·c_8_2 + b_2_0²·b_6_1·c_8_2 + b_2_0³·b_4_0·c_8_2
159. b_9_0·b_9_1 + b_2_0·b_4_0²·b_4_2² + b_2_0²·b_4_2²·b_3_0²
        + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0²·b_4_0²·b_6_1 + b_2_0³·b_4_2·b_8_0
        + b_2_0³·b_4_2³ + b_2_0³·b_4_0·b_4_2² + b_2_0³·b_4_0³ + b_2_0⁴·b_4_2·b_6_1
        + b_2_0⁵·b_4_2² + b_2_0⁵·b_4_0·b_4_2 + b_2_0⁵·b_4_0² + b_2_0·b_4_0²·c_8_2
        + b_2_0³·b_4_2·c_8_2 + b_2_0³·b_4_0·c_8_2
160. b_9_0·b_9_5
161. b_9_1² + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0²·b_4_0·b_4_2·b_6_1
        + b_2_0³·b_4_2·b_8_0 + b_2_0³·b_4_0³ + b_2_0⁴·b_4_2·b_3_0² + b_2_0⁴·b_4_2·b_6_1
        + b_2_0⁴·b_4_0·b_3_0² + b_2_0⁵·b_4_0·b_4_2 + b_2_0²·c_8_2·b_3_0²
162. b_9_1·b_9_5
163. b_9_5² + b_8_7·b_10_2 + b_6_1·b_12_5 + b_4_2·b_6_1·b_8_7 + b_4_2³·b_3_0²
        + b_4_0·b_4_2²·b_3_0² + b_4_0²·b_4_2·b_3_0² + b_4_0²·b_4_2·b_6_1
        + b_2_0·b_4_0·b_4_2³ + b_2_0·b_4_0²·b_8_0 + b_2_0·b_4_0³·b_4_2 + b_2_0·b_4_0⁴
        + b_2_0²·b_4_2²·b_3_0² + b_2_0²·b_4_0·b_4_2·b_3_0² + b_2_0²·b_4_0·b_4_2·b_6_1
        + b_2_0²·b_4_0²·b_3_0² + b_2_0²·b_4_0²·b_6_1 + b_2_0³·b_4_2·b_8_0
        + b_2_0³·b_4_2³ + b_2_0³·b_4_0·b_4_2² + b_2_0³·b_4_0²·b_4_2 + b_2_0³·b_4_0³
        + b_2_0⁴·b_4_2·b_3_0² + b_2_0⁴·b_4_0·b_3_0² + b_2_0⁷·b_4_2 + b_2_0⁷·b_4_0
        + b_4_2·c_8_2·b_3_0² + b_2_0·b_4_0·b_4_2·c_8_2 + b_2_0²·c_8_2·b_3_1²
        + b_2_0²·c_8_2·b_3_0² + b_2_0²·b_6_1·c_8_2 + b_2_0³·b_4_2·c_8_2 + b_2_0⁵·c_8_2
164. b_12_5·a_7_7
165. b_6_3·b_13_0 + b_6_1·b_13_0 + b_4_0²·b_4_2²·b_3_0 + b_4_0³·b_7_0
        + b_4_0³·b_4_2·b_3_0 + b_2_0·b_4_0²·b_4_2·b_5_0 + b_2_0·b_4_0³·b_5_0
        + b_2_0²·b_4_2³·b_3_0 + b_2_0²·b_4_0³·b_3_0 + b_2_0³·b_4_2·b_9_0
        + b_2_0³·b_4_2²·b_5_0 + b_2_0³·b_4_0·b_9_0 + b_2_0⁴·b_4_2²·b_3_0
        + b_2_0⁴·b_4_0·b_7_0 + b_2_0⁴·b_4_0²·b_3_0 + b_2_0⁶·b_4_2·b_3_0
        + b_2_0⁶·b_4_0·b_3_0 + b_4_0²·c_8_2·b_3_0 + b_2_0²·c_8_2·b_7_2 + b_2_0²·c_8_2·b_7_0
        + b_2_0⁴·c_8_2·b_3_0
166. b_8_0·b_11_1
167. b_10_2·b_9_0 + b_2_0·b_4_2²·b_9_0 + b_2_0·b_4_0·b_4_2·b_9_0
168. b_10_2·b_9_1 + b_2_0²·b_4_2²·b_7_0 + b_2_0²·b_4_2³·b_3_0
        + b_2_0²·b_4_0·b_4_2·b_7_0 + b_2_0²·b_4_0·b_4_2²·b_3_0
169. b_10_2·b_9_5 + b_8_7·b_11_1 + b_6_1·b_13_0 + b_4_2·b_6_1·b_9_5 + b_4_0²·b_4_2²·b_3_0
        + b_4_0³·b_7_0 + b_4_0³·b_4_2·b_3_0 + b_2_0·b_4_0²·b_4_2·b_5_0 + b_2_0·b_4_0³·b_5_0
        + b_2_0²·b_4_2³·b_3_0 + b_2_0²·b_4_0³·b_3_0 + b_2_0³·b_4_2·b_9_0
        + b_2_0³·b_4_2²·b_5_0 + b_2_0³·b_4_0·b_9_0 + b_2_0⁴·b_4_2²·b_3_0
        + b_2_0⁴·b_4_0·b_7_0 + b_2_0⁴·b_4_0²·b_3_0 + b_2_0⁶·b_4_2·b_3_0
        + b_2_0⁶·b_4_0·b_3_0 + b_4_0²·c_8_2·b_3_0 + b_2_0²·c_8_2·b_7_2 + b_2_0²·c_8_2·b_7_0
        + b_2_0⁴·c_8_2·b_3_0
170. b_12_5·b_7_0 + b_4_0·b_4_2²·b_7_0 + b_4_0·b_4_2³·b_3_0 + b_4_0²·b_4_2·b_7_0
        + b_2_0·b_4_2²·b_9_0 + b_2_0·b_4_0·b_4_2·b_3_0³ + b_2_0·b_4_0·b_4_2²·b_5_0
        + b_2_0·b_4_0²·b_9_0 + b_2_0²·b_4_2²·b_7_0 + b_2_0²·b_4_0·b_4_2·b_7_0
        + b_2_0²·b_4_0·b_4_2²·b_3_0 + b_2_0²·b_4_0²·b_7_0 + b_2_0²·b_4_0²·b_4_2·b_3_0
        + b_2_0³·b_4_2·b_9_0 + b_2_0³·b_4_2²·b_5_0 + b_2_0³·b_4_0²·b_5_0
        + b_2_0⁴·b_4_2²·b_3_0 + b_2_0⁴·b_4_0·b_4_2·b_3_0 + b_2_0⁶·b_4_2·b_3_0
        + b_2_0⁶·b_4_0·b_3_0 + b_4_0·b_4_2·c_8_2·b_3_0 + b_2_0·c_8_2·b_3_1³
        + b_2_0²·c_8_2·b_7_0 + b_2_0²·b_4_2·c_8_2·b_3_0 + b_2_0⁴·c_8_2·b_3_1
        + b_2_0⁴·c_8_2·b_3_0
171. b_12_5·b_7_2 + b_4_0²·b_4_2·b_7_0 + b_4_0³·b_4_2·b_3_0 + b_2_0·b_4_0·b_4_2·b_3_0³
        + b_2_0·b_4_0·b_4_2²·b_5_0 + b_2_0·b_4_0³·b_5_0 + b_2_0²·b_4_0·b_4_2·b_7_0
        + b_2_0²·b_4_0²·b_4_2·b_3_0 + b_2_0²·b_4_0³·b_3_0 + b_2_0³·b_4_0·b_4_2·b_5_0
        + b_2_0⁴·b_4_0·b_7_0 + b_2_0⁴·b_4_0·b_4_2·b_3_0 + b_2_0·c_8_2·b_3_1³
        + b_2_0²·c_8_2·b_7_2 + b_2_0⁴·c_8_2·b_3_1
172. b_12_5·b_7_9 + b_8_7·b_11_1 + b_4_2·b_6_1·b_9_5
173. a_7_7·b_13_0
174. b_8_0·b_12_5 + b_4_0²·b_4_2·b_8_0 + b_4_0²·b_4_2³ + b_2_0·b_4_2³·b_6_1
        + b_2_0·b_4_0·b_4_2²·b_6_1 + b_2_0·b_4_0³·b_3_0² + b_2_0·b_4_0³·b_6_1
        + b_2_0²·b_4_2²·b_8_0 + b_2_0²·b_4_2⁴ + b_2_0²·b_4_0·b_4_2·b_8_0
        + b_2_0²·b_4_0·b_4_2³ + b_2_0²·b_4_0²·b_8_0 + b_2_0³·b_4_2²·b_3_0²
        + b_2_0³·b_4_0·b_4_2·b_3_0² + b_2_0³·b_4_0·b_4_2·b_6_1 + b_2_0³·b_4_0²·b_3_0²
        + b_2_0⁴·b_4_2·b_8_0 + b_2_0⁴·b_4_2³ + b_2_0⁴·b_4_0·b_4_2²
        + b_2_0⁴·b_4_0²·b_4_2 + b_2_0⁵·b_4_0·b_6_1 + b_2_0⁶·b_4_0·b_4_2 + b_2_0⁶·b_4_0²
        + b_2_0⁸·b_4_2 + b_2_0⁸·b_4_0 + b_4_0²·b_4_2·c_8_2 + b_2_0·b_4_0·c_8_2·b_3_0²
        + b_2_0²·b_8_0·c_8_2 + b_2_0³·c_8_2·b_3_1² + b_2_0⁴·b_4_2·c_8_2
        + b_2_0⁴·b_4_0·c_8_2 + b_2_0⁶·c_8_2
175. b_10_2² + b_8_7·b_12_5 + b_4_2·b_6_1·b_10_2 + b_4_2²·b_6_1² + b_4_0²·b_4_2·b_8_0
        + b_4_0³·b_4_2² + b_4_0⁴·b_4_2 + b_2_0·b_4_0·b_4_2²·b_3_0²
        + b_2_0·b_4_0²·b_4_2·b_3_0² + b_2_0·b_4_0²·b_4_2·b_6_1 + b_2_0·b_4_0³·b_6_1
        + b_2_0²·b_4_0·b_4_2·b_8_0 + b_2_0²·b_4_0·b_4_2³ + b_2_0²·b_4_0²·b_8_0
        + b_2_0²·b_4_0²·b_4_2² + b_2_0²·b_4_0³·b_4_2 + b_2_0²·b_4_0⁴
        + b_2_0⁴·b_4_2³ + b_2_0⁴·b_4_0·b_4_2² + b_2_0⁴·b_4_0²·b_4_2 + b_2_0⁴·b_4_0³
        + b_6_1²·c_8_2 + b_4_0·b_8_0·c_8_2 + b_4_0²·b_4_2·c_8_2 + b_4_0³·c_8_2
        + b_2_0·b_4_2·b_6_1·c_8_2 + b_2_0·b_4_0·b_6_1·c_8_2 + b_2_0²·b_4_0·b_4_2·c_8_2
        + b_2_0⁴·b_4_2·c_8_2 + b_2_0⁴·b_4_0·c_8_2 + b_2_0²·c_8_2²
176. b_7_0·b_13_0 + b_4_0³·b_4_2² + b_2_0·b_4_2³·b_3_0² + b_2_0·b_4_0·b_4_2²·b_6_1
        + b_2_0·b_4_0²·b_4_2·b_6_1 + b_2_0·b_4_0³·b_6_1 + b_2_0²·b_4_2²·b_8_0
        + b_2_0²·b_4_0·b_4_2·b_8_0 + b_2_0²·b_4_0·b_4_2³ + b_2_0²·b_4_0²·b_4_2²
        + b_2_0³·b_4_0·b_4_2·b_3_0² + b_2_0³·b_4_0·b_4_2·b_6_1 + b_2_0³·b_4_0²·b_6_1
        + b_2_0⁴·b_4_2·b_8_0 + b_2_0⁴·b_4_2³ + b_2_0⁴·b_4_0·b_8_0 + b_2_0⁴·b_4_0·b_4_2²
        + b_2_0⁴·b_4_0²·b_4_2 + b_2_0⁴·b_4_0³ + b_2_0⁵·b_4_2·b_3_0²
        + b_2_0⁵·b_4_2·b_6_1 + b_2_0⁵·b_4_0·b_3_0² + b_2_0⁵·b_4_0·b_6_1
        + b_2_0⁶·b_4_0·b_4_2 + b_2_0⁶·b_4_0² + b_4_0³·c_8_2 + b_2_0·b_4_2·c_8_2·b_3_0²
        + b_2_0·b_4_0·b_6_1·c_8_2 + b_2_0²·b_8_0·c_8_2 + b_2_0²·b_4_0·b_4_2·c_8_2
        + b_2_0³·c_8_2·b_3_0² + b_2_0³·b_6_1·c_8_2 + b_2_0⁴·b_4_0·c_8_2
177. b_7_2·b_13_0 + b_4_0³·b_8_0 + b_2_0·b_4_0³·b_3_0² + b_2_0·b_4_0³·b_6_1
        + b_2_0²·b_4_0·b_4_2·b_8_0 + b_2_0²·b_4_0²·b_8_0 + b_2_0²·b_4_0³·b_4_2
        + b_2_0²·b_4_0⁴ + b_2_0³·b_4_0·b_4_2·b_6_1 + b_2_0⁴·b_4_0·b_8_0
        + b_2_0⁴·b_4_0·b_4_2² + b_2_0⁵·b_4_0·b_6_1 + b_2_0⁶·b_4_0²
        + b_2_0·b_4_0·c_8_2·b_3_0²
178. b_7_9·b_13_0 + b_8_7·b_12_5 + b_6_1²·b_8_7 + b_4_2·b_6_1·b_10_2 + b_4_2²·b_6_1²
        + b_4_0³·b_8_0 + b_4_0⁴·b_4_2 + b_4_0⁵ + b_2_0·b_4_0·b_4_2²·b_3_0²
        + b_2_0·b_4_0·b_4_2²·b_6_1 + b_2_0·b_4_0²·b_4_2·b_3_0²
        + b_2_0·b_4_0²·b_4_2·b_6_1 + b_2_0²·b_4_2⁴ + b_2_0²·b_4_0·b_4_2·b_8_0
        + b_2_0²·b_4_0²·b_8_0 + b_2_0²·b_4_0²·b_4_2² + b_2_0⁴·b_4_2³
        + b_2_0⁴·b_4_0²·b_4_2 + b_2_0²·b_4_2²·c_8_2
179. b_9_0·b_11_1
180. b_9_1·b_11_1
181. b_9_5·b_11_1 + b_8_7·b_12_5 + b_4_2·b_6_1·b_10_2 + b_4_2²·b_6_1²
        + b_4_0²·b_4_2·b_8_0 + b_4_0³·b_4_2² + b_4_0⁴·b_4_2 + b_2_0·b_4_0·b_4_2²·b_3_0²
        + b_2_0·b_4_0²·b_4_2·b_3_0² + b_2_0·b_4_0²·b_4_2·b_6_1 + b_2_0·b_4_0³·b_6_1
        + b_2_0²·b_4_2⁴ + b_2_0²·b_4_0·b_4_2·b_8_0 + b_2_0²·b_4_0·b_4_2³
        + b_2_0²·b_4_0²·b_8_0 + b_2_0²·b_4_0³·b_4_2 + b_2_0²·b_4_0⁴ + b_2_0⁴·b_4_2³
        + b_2_0⁴·b_4_0·b_4_2² + b_2_0⁴·b_4_0²·b_4_2 + b_2_0⁴·b_4_0³
        + b_2_0²·b_4_2²·c_8_2 + b_2_0²·b_4_0·b_4_2·c_8_2 + b_2_0²·b_4_0²·c_8_2
182. b_8_0·b_13_0 + b_4_0²·b_4_2·b_9_0 + b_2_0·b_4_0²·b_4_2·b_7_0 + b_2_0·b_4_0³·b_7_0
        + b_2_0·b_4_0³·b_4_2·b_3_0 + b_2_0·b_4_0⁴·b_3_0 + b_2_0²·b_4_2²·b_9_0
        + b_2_0²·b_4_0·b_4_2·b_9_0 + b_2_0²·b_4_0·b_4_2²·b_5_0 + b_2_0²·b_4_0³·b_5_0
        + b_2_0³·b_4_2²·b_7_0 + b_2_0³·b_4_0·b_4_2²·b_3_0 + b_2_0³·b_4_0²·b_4_2·b_3_0
        + b_2_0³·b_4_0³·b_3_0 + b_2_0⁴·b_4_2²·b_5_0 + b_2_0⁴·b_4_0·b_4_2·b_5_0
        + b_2_0⁵·b_4_0²·b_3_0 + b_2_0⁷·b_4_2·b_3_0 + b_2_0⁷·b_4_0·b_3_0
        + b_4_0²·c_8_2·b_5_0 + b_2_0·b_4_0·c_8_2·b_7_0 + b_2_0·b_4_0·b_4_2·c_8_2·b_3_0
        + b_2_0·b_4_0²·c_8_2·b_3_0 + b_2_0²·b_4_2·c_8_2·b_5_0 + b_2_0²·b_4_0·c_8_2·b_5_0
        + b_2_0³·c_8_2·b_7_2 + b_2_0³·c_8_2·b_7_0 + b_2_0⁵·c_8_2·b_3_0
183. b_10_2·b_11_1 + b_8_7·b_13_0 + b_4_2²·b_6_1·b_7_9 + b_4_0²·b_4_2·b_9_0
        + b_4_0²·b_4_2²·b_5_0 + b_4_0³·b_9_0 + b_4_0³·b_4_2·b_5_0
        + b_2_0·b_4_0·b_4_2²·b_7_0 + b_2_0·b_4_0³·b_7_0 + b_2_0²·b_4_0·b_4_2²·b_5_0
        + b_2_0²·b_4_0²·b_4_2·b_5_0 + b_2_0³·b_4_0·b_4_2·b_7_0 + b_2_0³·b_4_0²·b_7_0
        + b_2_0³·b_4_0²·b_4_2·b_3_0 + b_2_0³·b_4_0³·b_3_0 + b_6_1·c_8_2·b_7_9
        + b_2_0·b_4_0·b_4_2·c_8_2·b_3_0 + b_2_0·b_4_0²·c_8_2·b_3_0
184. b_12_5·b_9_0 + b_4_0·b_4_2²·b_9_0 + b_4_0·b_4_2³·b_5_0 + b_4_0²·b_4_2·b_9_0
        + b_2_0·b_4_2³·b_7_0 + b_2_0·b_4_2⁴·b_3_0 + b_2_0·b_4_0·b_4_2²·b_7_0
        + b_2_0·b_4_0·b_4_2³·b_3_0 + b_2_0·b_4_0²·b_4_2·b_7_0 + b_2_0·b_4_0³·b_7_0
        + b_2_0·b_4_0³·b_4_2·b_3_0 + b_2_0²·b_4_2²·b_9_0 + b_2_0²·b_4_0·b_4_2·b_3_0³
        + b_2_0²·b_4_0²·b_9_0 + b_2_0²·b_4_0²·b_3_0³ + b_2_0²·b_4_0²·b_4_2·b_5_0
        + b_2_0³·b_4_2²·b_7_0 + b_2_0³·b_4_2³·b_3_0 + b_2_0³·b_4_0·b_4_2·b_7_0
        + b_2_0³·b_4_0·b_4_2²·b_3_0 + b_2_0³·b_4_0²·b_4_2·b_3_0 + b_2_0⁴·b_4_2·b_9_0
        + b_2_0⁴·b_4_2·b_3_0³ + b_2_0⁴·b_4_0·b_3_0³ + b_2_0⁴·b_4_0·b_4_2·b_5_0
        + b_2_0⁴·b_4_0²·b_5_0 + b_2_0⁵·b_4_2·b_7_0 + b_2_0⁵·b_4_2²·b_3_0
        + b_2_0⁵·b_4_0·b_4_2·b_3_0 + b_2_0⁶·b_4_2·b_5_0 + b_2_0⁶·b_4_0·b_5_0
        + b_4_0·b_4_2·c_8_2·b_5_0 + b_2_0·b_4_2²·c_8_2·b_3_0 + b_2_0·b_4_0²·c_8_2·b_3_0
        + b_2_0²·c_8_2·b_9_0 + b_2_0²·c_8_2·b_3_0³ + b_2_0²·b_4_2·c_8_2·b_5_0
        + b_2_0³·b_4_2·c_8_2·b_3_0 + b_2_0⁴·c_8_2·b_5_0
185. b_12_5·b_9_1 + b_2_0·b_4_0·b_4_2³·b_3_0 + b_2_0·b_4_0²·b_4_2·b_7_0
        + b_2_0·b_4_0²·b_4_2²·b_3_0 + b_2_0²·b_4_2²·b_9_0 + b_2_0²·b_4_2³·b_5_0
        + b_2_0²·b_4_0·b_4_2²·b_5_0 + b_2_0²·b_4_0²·b_3_0³ + b_2_0²·b_4_0³·b_5_0
        + b_2_0³·b_4_0·b_4_2·b_7_0 + b_2_0³·b_4_0²·b_4_2·b_3_0 + b_2_0⁴·b_4_2·b_3_0³
        + b_2_0⁴·b_4_2²·b_5_0 + b_2_0⁴·b_4_0·b_9_0 + b_2_0⁴·b_4_0·b_3_0³
        + b_2_0⁴·b_4_0·b_4_2·b_5_0 + b_2_0⁴·b_4_0²·b_5_0 + b_2_0⁵·b_4_2·b_7_0
        + b_2_0⁵·b_4_2²·b_3_0 + b_2_0⁷·b_4_2·b_3_0 + b_2_0⁷·b_4_0·b_3_0
        + b_2_0·b_4_0·b_4_2·c_8_2·b_3_0 + b_2_0²·c_8_2·b_3_0³ + b_2_0³·c_8_2·b_7_2
        + b_2_0³·c_8_2·b_7_0 + b_2_0³·b_4_0·c_8_2·b_3_0 + b_2_0⁵·c_8_2·b_3_0
186. b_12_5·b_9_5 + b_8_7·b_13_0 + b_6_1²·b_9_5 + b_4_2·b_6_1·b_11_1 + b_4_0²·b_4_2·b_9_0
        + b_4_0²·b_4_2²·b_5_0 + b_4_0³·b_9_0 + b_4_0³·b_4_2·b_5_0
        + b_2_0·b_4_0·b_4_2²·b_7_0 + b_2_0·b_4_0³·b_7_0 + b_2_0²·b_4_0·b_4_2²·b_5_0
        + b_2_0²·b_4_0²·b_4_2·b_5_0 + b_2_0³·b_4_0·b_4_2·b_7_0 + b_2_0³·b_4_0²·b_7_0
        + b_2_0³·b_4_0²·b_4_2·b_3_0 + b_2_0³·b_4_0³·b_3_0 + b_2_0·b_4_0·b_4_2·c_8_2·b_3_0
        + b_2_0·b_4_0²·c_8_2·b_3_0
187. b_10_2·b_12_5 + b_6_1·b_8_7² + b_6_1²·b_10_2 + b_4_2·b_8_7·b_10_2 + b_4_2²·b_7_9²
        + b_4_0²·b_4_2²·b_6_1 + b_4_0⁴·b_6_1 + b_2_0·b_4_2³·b_8_0
        + b_2_0·b_4_0²·b_4_2·b_8_0 + b_2_0·b_4_0²·b_4_2³ + b_2_0·b_4_0⁴·b_4_2
        + b_2_0²·b_4_2³·b_3_0² + b_2_0²·b_4_2³·b_6_1 + b_2_0²·b_4_0·b_4_2²·b_3_0²
        + b_2_0²·b_4_0·b_4_2²·b_6_1 + b_2_0³·b_4_2²·b_8_0 + b_2_0³·b_4_0·b_4_2·b_8_0
        + b_2_0⁵·b_4_2³ + b_2_0⁵·b_4_0·b_4_2² + c_8_2·b_7_9² + b_6_1·b_8_7·c_8_2
        + b_4_0·b_4_2·b_6_1·c_8_2 + b_4_0²·b_6_1·c_8_2
188. b_9_0·b_13_0 + b_4_0²·b_4_2²·b_6_1 + b_2_0·b_4_0³·b_8_0 + b_2_0·b_4_0⁵
        + b_2_0²·b_4_2³·b_3_0² + b_2_0²·b_4_2³·b_6_1 + b_2_0²·b_4_0·b_4_2²·b_3_0²
        + b_2_0²·b_4_0·b_4_2²·b_6_1 + b_2_0²·b_4_0³·b_6_1 + b_2_0³·b_4_0·b_4_2·b_8_0
        + b_2_0³·b_4_0²·b_4_2² + b_2_0³·b_4_0³·b_4_2 + b_2_0⁴·b_4_2²·b_3_0²
        + b_2_0⁴·b_4_2²·b_6_1 + b_2_0⁴·b_4_0·b_4_2·b_3_0² + b_2_0⁴·b_4_0·b_4_2·b_6_1
        + b_2_0⁵·b_4_2·b_8_0 + b_2_0⁵·b_4_0²·b_4_2 + b_2_0⁵·b_4_0³ + b_2_0⁶·b_4_2·b_6_1
        + b_2_0⁷·b_4_2² + b_2_0⁷·b_4_0·b_4_2 + b_2_0⁷·b_4_0² + b_4_0²·b_6_1·c_8_2
        + b_2_0·b_4_0³·c_8_2 + b_2_0²·b_4_2·b_6_1·c_8_2 + b_2_0²·b_4_0·b_6_1·c_8_2
        + b_2_0³·b_4_0²·c_8_2 + b_2_0⁵·b_4_2·c_8_2 + b_2_0⁵·b_4_0·c_8_2
189. b_9_1·b_13_0 + b_2_0·b_4_0²·b_4_2·b_8_0 + b_2_0·b_4_0³·b_4_2²
        + b_2_0²·b_4_2³·b_3_0² + b_2_0²·b_4_0·b_4_2²·b_6_1
        + b_2_0²·b_4_0²·b_4_2·b_3_0² + b_2_0²·b_4_0³·b_6_1 + b_2_0³·b_4_0·b_4_2³
        + b_2_0³·b_4_0³·b_4_2 + b_2_0⁴·b_4_2²·b_6_1 + b_2_0⁴·b_4_0·b_4_2·b_3_0²
        + b_2_0⁴·b_4_0·b_4_2·b_6_1 + b_2_0⁴·b_4_0²·b_6_1 + b_2_0⁵·b_4_0·b_8_0
        + b_2_0⁵·b_4_0·b_4_2² + b_2_0⁵·b_4_0²·b_4_2 + b_2_0⁵·b_4_0³
        + b_2_0⁶·b_4_2·b_3_0² + b_2_0⁶·b_4_0·b_3_0² + b_2_0⁶·b_4_0·b_6_1
        + b_2_0⁷·b_4_0² + b_2_0·b_4_0³·c_8_2 + b_2_0²·b_4_0·b_6_1·c_8_2
        + b_2_0³·b_8_0·c_8_2 + b_2_0³·b_4_0·b_4_2·c_8_2 + b_2_0⁴·c_8_2·b_3_0²
        + b_2_0⁴·b_6_1·c_8_2 + b_2_0⁵·b_4_0·c_8_2
190. b_9_5·b_13_0 + b_6_1·b_8_7² + b_6_1²·b_10_2 + b_4_2·b_8_7·b_10_2 + b_4_2·b_6_1·b_12_5
        + b_4_2²·b_7_9² + b_4_2²·b_6_1·b_8_7 + b_4_2⁴·b_3_0² + b_4_0·b_4_2³·b_3_0²
        + b_4_0²·b_4_2²·b_3_0² + b_4_0⁴·b_6_1 + b_2_0·b_4_0·b_4_2²·b_8_0
        + b_2_0·b_4_0·b_4_2⁴ + b_2_0·b_4_0²·b_4_2³ + b_2_0·b_4_0³·b_4_2²
        + b_2_0²·b_4_2³·b_3_0² + b_2_0²·b_4_2³·b_6_1 + b_2_0²·b_4_0·b_4_2²·b_3_0²
        + b_2_0²·b_4_0·b_4_2²·b_6_1 + b_2_0²·b_4_0²·b_4_2·b_3_0²
        + b_2_0³·b_4_2²·b_8_0 + b_2_0⁴·b_4_2²·b_3_0² + b_2_0⁴·b_4_0·b_4_2·b_3_0²
        + b_2_0⁵·b_4_2³ + b_2_0⁵·b_4_0²·b_4_2 + b_2_0⁷·b_4_2² + b_2_0⁷·b_4_0·b_4_2
        + c_8_2·b_7_9² + b_4_2²·c_8_2·b_3_0² + b_2_0·b_4_0·b_4_2²·c_8_2
        + b_2_0²·b_4_2·c_8_2·b_3_0² + b_2_0²·b_4_2·b_6_1·c_8_2
        + b_2_0³·b_4_0·b_4_2·c_8_2 + b_2_0⁵·b_4_2·c_8_2
191. b_11_1² + b_6_1·b_8_7² + b_4_2·b_8_7·b_10_2 + b_4_2·b_6_1·b_12_5 + b_4_2·b_6_1³
        + b_4_2²·b_7_9² + b_4_2²·b_6_1·b_8_7 + b_4_2⁴·b_3_0² + b_4_0²·b_4_2²·b_6_1
        + b_4_0³·b_4_2·b_3_0² + b_4_0⁴·b_6_1 + b_2_0·b_4_0·b_4_2²·b_8_0
        + b_2_0·b_4_0·b_4_2⁴ + b_2_0·b_4_0²·b_4_2³ + b_2_0·b_4_0³·b_4_2²
        + b_2_0²·b_4_2³·b_3_0² + b_2_0³·b_4_2²·b_8_0 + b_2_0³·b_4_0·b_4_2³
        + b_2_0³·b_4_0²·b_4_2² + b_2_0³·b_4_0³·b_4_2 + b_2_0⁴·b_4_2²·b_3_0²
        + b_2_0⁴·b_4_2²·b_6_1 + b_2_0⁴·b_4_0·b_4_2·b_3_0² + b_2_0⁴·b_4_0·b_4_2·b_6_1
        + b_2_0⁵·b_4_2³ + b_2_0⁵·b_4_0·b_4_2² + b_2_0⁷·b_4_2² + b_2_0⁷·b_4_0·b_4_2
        + c_8_2·b_7_9² + b_4_2²·c_8_2·b_3_0² + b_4_0·b_4_2·c_8_2·b_3_0²
        + b_2_0·b_4_0·b_4_2²·c_8_2 + b_2_0·b_4_0²·b_4_2·c_8_2
        + b_2_0²·b_4_2·c_8_2·b_3_0² + b_2_0⁵·b_4_2·c_8_2
192. b_10_2·b_13_0 + b_6_1·b_8_7·b_9_5 + b_4_2·b_8_7·b_11_1 + b_4_2²·b_8_7·b_7_9
        + b_4_2²·b_6_1·b_9_5 + b_2_0·b_4_0·b_4_2²·b_9_0 + b_2_0·b_4_0·b_4_2³·b_5_0
        + b_2_0·b_4_0²·b_4_2·b_9_0 + b_2_0·b_4_0²·b_4_2²·b_5_0 + b_2_0²·b_4_2³·b_7_0
        + b_2_0²·b_4_0²·b_4_2·b_7_0 + b_2_0³·b_4_2³·b_5_0 + b_2_0³·b_4_0·b_4_2²·b_5_0
        + b_2_0⁴·b_4_2²·b_7_0 + b_2_0⁴·b_4_0·b_4_2·b_7_0 + b_2_0⁴·b_4_0·b_4_2²·b_3_0
        + b_2_0⁴·b_4_0²·b_4_2·b_3_0 + b_8_7·c_8_2·b_7_9 + b_6_1·c_8_2·b_9_5
        + b_2_0²·b_4_2²·c_8_2·b_3_0 + b_2_0²·b_4_0·b_4_2·c_8_2·b_3_0
193. b_12_5·b_11_1 + b_6_1·b_8_7·b_9_5 + b_4_2·b_8_7·b_11_1 + b_4_2·b_6_1·b_13_0
        + b_4_2²·b_8_7·b_7_9 + b_4_0²·b_4_2³·b_3_0 + b_4_0³·b_4_2·b_7_0
        + b_4_0³·b_4_2²·b_3_0 + b_2_0·b_4_0²·b_4_2²·b_5_0 + b_2_0·b_4_0³·b_4_2·b_5_0
        + b_2_0²·b_4_2⁴·b_3_0 + b_2_0²·b_4_0³·b_4_2·b_3_0 + b_2_0³·b_4_2²·b_9_0
        + b_2_0³·b_4_2³·b_5_0 + b_2_0³·b_4_0·b_4_2·b_9_0 + b_2_0⁴·b_4_2³·b_3_0
        + b_2_0⁴·b_4_0·b_4_2·b_7_0 + b_2_0⁴·b_4_0²·b_4_2·b_3_0 + b_2_0⁶·b_4_2²·b_3_0
        + b_2_0⁶·b_4_0·b_4_2·b_3_0 + b_8_7·c_8_2·b_7_9 + b_4_0²·b_4_2·c_8_2·b_3_0
        + b_2_0²·b_4_2·c_8_2·b_7_0 + b_2_0²·b_4_0·b_4_2·c_8_2·b_3_0
        + b_2_0⁴·b_4_2·c_8_2·b_3_0
194. b_12_5² + b_6_1·b_8_7·b_10_2 + b_6_1²·b_12_5 + b_4_2·b_8_7·b_12_5
        + b_4_2·b_6_1²·b_8_7 + b_4_2²·b_8_7² + b_4_2²·b_6_1·b_10_2 + b_4_2³·b_6_1²
        + b_4_0·b_4_2³·b_8_0 + b_4_0²·b_4_2²·b_8_0 + b_4_0²·b_4_2⁴ + b_4_0³·b_4_2·b_8_0
        + b_4_0⁴·b_4_2² + b_2_0·b_4_2⁴·b_3_0² + b_2_0·b_4_2⁴·b_6_1
        + b_2_0·b_4_0·b_4_2³·b_3_0² + b_2_0·b_4_0·b_4_2³·b_6_1 + b_2_0·b_4_0⁴·b_3_0²
        + b_2_0²·b_4_2³·b_8_0 + b_2_0²·b_4_0·b_4_2·b_3_0⁴ + b_2_0²·b_4_0·b_4_2²·b_8_0
        + b_2_0²·b_4_0·b_4_2⁴ + b_2_0²·b_4_0²·b_3_0⁴ + b_2_0²·b_4_0²·b_4_2·b_8_0
        + b_2_0²·b_4_0³·b_8_0 + b_2_0²·b_4_0³·b_4_2² + b_2_0³·b_4_2³·b_6_1
        + b_2_0³·b_4_0·b_4_2²·b_3_0² + b_2_0³·b_4_0·b_4_2²·b_6_1
        + b_2_0³·b_4_0²·b_4_2·b_6_1 + b_2_0³·b_4_0³·b_3_0² + b_2_0⁴·b_4_2·b_3_0⁴
        + b_2_0⁴·b_4_2²·b_8_0 + b_2_0⁴·b_4_2⁴ + b_2_0⁴·b_4_0·b_3_0⁴
        + b_2_0⁴·b_4_0·b_4_2·b_8_0 + b_2_0⁴·b_4_0²·b_8_0 + b_2_0⁴·b_4_0³·b_4_2
        + b_2_0⁴·b_4_0⁴ + b_2_0⁵·b_4_0·b_4_2·b_3_0² + b_2_0⁵·b_4_0·b_4_2·b_6_1
        + b_2_0⁵·b_4_0²·b_3_0² + b_2_0⁶·b_4_2·b_8_0 + b_2_0⁶·b_4_2³
        + b_2_0⁶·b_4_0·b_4_2² + b_2_0⁷·b_4_2·b_6_1 + b_2_0⁷·b_4_0·b_6_1 + b_2_0¹⁰·b_4_2
        + b_2_0¹⁰·b_4_0 + b_8_7²·c_8_2 + b_4_0³·b_4_2·c_8_2 + b_4_0⁴·c_8_2
        + b_2_0·b_4_2²·c_8_2·b_3_0² + b_2_0·b_4_0·b_4_2·c_8_2·b_3_0²
        + b_2_0·b_4_0²·c_8_2·b_3_0² + b_2_0²·c_8_2·b_3_1⁴ + b_2_0²·c_8_2·b_3_0⁴
        + b_2_0²·b_4_2·b_8_0·c_8_2 + b_2_0²·b_4_2³·c_8_2 + b_2_0²·b_4_0·b_8_0·c_8_2
        + b_2_0²·b_4_0²·b_4_2·c_8_2 + b_2_0²·b_4_0³·c_8_2 + b_2_0³·c_8_2·b_3_1·b_7_0
        + b_2_0³·b_4_2·b_6_1·c_8_2 + b_2_0³·b_4_0·c_8_2·b_3_0² + b_2_0⁴·b_8_0·c_8_2
        + b_2_0⁴·b_4_0²·c_8_2 + b_2_0⁸·c_8_2
195. b_11_1·b_13_0 + b_6_1·b_8_7·b_10_2 + b_4_2·b_8_7·b_12_5 + b_4_2·b_6_1²·b_8_7
        + b_4_2²·b_8_7² + b_4_2²·b_6_1·b_10_2 + b_4_0·b_4_2³·b_8_0 + b_4_0³·b_4_2·b_8_0
        + b_4_0³·b_4_2³ + b_4_0⁵·b_4_2 + b_2_0·b_4_2⁴·b_6_1 + b_2_0·b_4_0·b_4_2³·b_3_0²
        + b_2_0·b_4_0·b_4_2³·b_6_1 + b_2_0·b_4_0²·b_4_2²·b_3_0²
        + b_2_0·b_4_0²·b_4_2²·b_6_1 + b_2_0·b_4_0³·b_4_2·b_6_1
        + b_2_0²·b_4_0·b_4_2²·b_8_0 + b_2_0²·b_4_0²·b_4_2·b_8_0 + b_2_0⁴·b_4_0·b_4_2³
        + b_2_0⁴·b_4_0²·b_4_2² + b_8_7²·c_8_2 + b_4_2·b_6_1²·c_8_2
        + b_4_0·b_4_2·b_8_0·c_8_2 + b_4_0³·b_4_2·c_8_2 + b_4_0⁴·c_8_2
        + b_2_0·b_4_2²·b_6_1·c_8_2 + b_2_0·b_4_0·b_4_2·b_6_1·c_8_2 + b_2_0²·b_4_2³·c_8_2
        + b_2_0²·b_4_0²·b_4_2·c_8_2 + b_2_0⁴·b_4_2²·c_8_2 + b_2_0⁴·b_4_0·b_4_2·c_8_2
        + b_2_0²·b_4_2·c_8_2²
196. b_12_5·b_13_0 + b_6_1·b_8_7·b_11_1 + b_6_1²·b_13_0 + b_4_2·b_8_7·b_13_0
        + b_4_2²·b_8_7·b_9_5 + b_4_2²·b_6_1·b_11_1 + b_4_2³·b_6_1·b_7_9
        + b_4_0²·b_4_2²·b_9_0 + b_4_0³·b_4_2²·b_5_0 + b_4_0⁴·b_9_0 + b_4_0⁴·b_4_2·b_5_0
        + b_2_0·b_4_0²·b_4_2³·b_3_0 + b_2_0·b_4_0³·b_4_2²·b_3_0 + b_2_0·b_4_0⁵·b_3_0
        + b_2_0²·b_4_2³·b_9_0 + b_2_0²·b_4_0·b_4_2³·b_5_0
        + b_2_0²·b_4_0²·b_4_2·b_3_0³ + b_2_0²·b_4_0⁴·b_5_0 + b_2_0³·b_4_2³·b_7_0
        + b_2_0³·b_4_2⁴·b_3_0 + b_2_0³·b_4_0²·b_4_2·b_7_0 + b_2_0³·b_4_0³·b_4_2·b_3_0
        + b_2_0³·b_4_0⁴·b_3_0 + b_2_0⁴·b_4_2³·b_5_0 + b_2_0⁴·b_4_0·b_4_2·b_9_0
        + b_2_0⁴·b_4_0²·b_4_2·b_5_0 + b_2_0⁴·b_4_0³·b_5_0 + b_2_0⁶·b_4_2²·b_5_0
        + b_2_0⁷·b_4_2·b_7_0 + b_2_0⁹·b_4_2·b_3_0 + b_2_0⁹·b_4_0·b_3_0 + b_8_7·c_8_2·b_9_5
        + b_4_2·b_6_1·c_8_2·b_7_9 + b_4_0²·b_4_2·c_8_2·b_5_0 + b_4_0³·c_8_2·b_5_0
        + b_2_0·b_4_0·b_4_2·c_8_2·b_7_0 + b_2_0·b_4_0·b_4_2²·c_8_2·b_3_0
        + b_2_0·b_4_0²·c_8_2·b_7_0 + b_2_0²·b_4_2·c_8_2·b_3_0³
        + b_2_0²·b_4_2²·c_8_2·b_5_0 + b_2_0³·b_4_0·b_4_2·c_8_2·b_3_0
        + b_2_0⁴·b_4_2·c_8_2·b_5_0 + b_2_0⁴·b_4_0·c_8_2·b_5_0 + b_2_0⁵·c_8_2·b_7_2
        + b_2_0⁵·c_8_2·b_7_0 + b_2_0⁵·b_4_2·c_8_2·b_3_0 + b_2_0⁵·b_4_0·c_8_2·b_3_0
        + b_2_0⁷·c_8_2·b_3_0
197. b_13_0² + b_6_1·b_8_7·b_12_5 + b_4_2·b_6_1·b_8_7² + b_4_2·b_6_1²·b_10_2
        + b_4_2³·b_7_9² + b_4_0·b_4_2⁴·b_3_0² + b_4_0²·b_4_2³·b_3_0²
        + b_4_0³·b_4_2²·b_3_0² + b_2_0·b_4_0·b_4_2³·b_8_0 + b_2_0·b_4_0²·b_4_2⁴
        + b_2_0·b_4_0⁴·b_4_2² + b_2_0·b_4_0⁵·b_4_2 + b_2_0²·b_4_2⁴·b_3_0²
        + b_2_0²·b_4_2⁴·b_6_1 + b_2_0²·b_4_0·b_4_2³·b_6_1
        + b_2_0²·b_4_0²·b_4_2²·b_3_0² + b_2_0²·b_4_0²·b_4_2²·b_6_1
        + b_2_0²·b_4_0³·b_4_2·b_6_1 + b_2_0²·b_4_0⁴·b_3_0² + b_2_0²·b_4_0⁴·b_6_1
        + b_2_0³·b_4_2³·b_8_0 + b_2_0³·b_4_2⁵ + b_2_0³·b_4_0·b_4_2²·b_8_0
        + b_2_0³·b_4_0²·b_4_2·b_8_0 + b_2_0³·b_4_0²·b_4_2³ + b_2_0³·b_4_0³·b_8_0
        + b_2_0³·b_4_0³·b_4_2² + b_2_0³·b_4_0⁴·b_4_2 + b_2_0³·b_4_0⁵
        + b_2_0⁴·b_4_2³·b_3_0² + b_2_0⁴·b_4_2³·b_6_1 + b_2_0⁴·b_4_0·b_4_2²·b_6_1
        + b_2_0⁴·b_4_0²·b_4_2·b_3_0² + b_2_0⁴·b_4_0³·b_6_1 + b_2_0⁵·b_4_2²·b_8_0
        + b_2_0⁵·b_4_2⁴ + b_2_0⁵·b_4_0·b_4_2³ + b_2_0⁵·b_4_0²·b_4_2²
        + b_2_0⁵·b_4_0⁴ + b_2_0⁶·b_4_2²·b_3_0² + b_2_0⁶·b_4_2²·b_6_1
        + b_2_0⁶·b_4_0·b_4_2·b_3_0² + b_2_0⁶·b_4_0·b_4_2·b_6_1 + b_2_0⁶·b_4_0²·b_3_0²
        + b_2_0⁷·b_4_2·b_8_0 + b_2_0⁸·b_4_2·b_3_0² + b_2_0⁸·b_4_2·b_6_1
        + b_2_0⁸·b_4_0·b_3_0² + b_2_0⁹·b_4_0·b_4_2 + b_8_7·c_8_2·b_10_2
        + b_6_1·c_8_2·b_12_5 + b_4_2·c_8_2·b_7_9² + b_4_2·b_6_1·b_8_7·c_8_2
        + b_4_2³·c_8_2·b_3_0² + b_4_0²·b_4_2·c_8_2·b_3_0² + b_4_0²·b_4_2·b_6_1·c_8_2
        + b_4_0³·b_6_1·c_8_2 + b_2_0·b_4_0·b_4_2³·c_8_2 + b_2_0·b_4_0²·b_4_2²·c_8_2
        + b_2_0·b_4_0⁴·c_8_2 + b_2_0²·b_4_0²·c_8_2·b_3_0² + b_2_0²·b_4_0²·b_6_1·c_8_2
        + b_2_0³·b_4_2·b_8_0·c_8_2 + b_2_0³·b_4_0·b_4_2²·c_8_2
        + b_2_0⁴·b_4_2·c_8_2·b_3_0² + b_2_0⁴·b_4_0·c_8_2·b_3_0²
        + b_2_0⁵·b_4_0·b_4_2·c_8_2 + b_2_0⁵·b_4_0²·c_8_2 + b_2_0⁶·c_8_2·b_3_0²
        + b_2_0⁷·b_4_2·c_8_2 + b_2_0⁷·b_4_0·c_8_2 + b_4_2·c_8_2²·b_3_0²
        + b_2_0·b_4_0·b_4_2·c_8_2² + b_2_0²·c_8_2²·b_3_1² + b_2_0²·b_6_1·c_8_2²
        + b_2_0³·b_4_2·c_8_2² + b_2_0⁵·c_8_2²

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Data used for the Hilbert-Poincaré test

• We proved completion in degree 26 using the Hilbert-Poincaré criterion.
• 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. b_8_7 + b_8_0 + b_4_2² + b_4_0² + b_2_0·b_6_1 + b_2_0²·b_4_2 + b_2_0⁴ + c_8_2, an element of degree 8
  2. b_3_1⁴ + b_3_0⁴ + b_6_1² + b_4_2·b_8_7 + b_4_2·b_8_0 + b_2_0²·b_8_0
        + b_2_0²·b_4_2² + b_2_0²·b_4_0² + b_2_0³·b_6_1 + b_2_0⁴·b_4_0 + b_4_2·c_8_2
        + b_4_0·c_8_2, an element of degree 12
  3. b_7_9² + b_6_1·b_8_7 + b_4_2²·b_3_0² + b_4_0·b_4_2·b_6_1 + b_4_0²·b_3_0²
        + b_2_0·b_4_2·b_8_0 + b_2_0·b_4_0·b_4_2² + b_2_0·b_4_0²·b_4_2 + b_2_0·b_4_0³
        + b_2_0²·b_4_2·b_3_0² + b_2_0²·b_4_2·b_6_1 + b_2_0²·b_4_0·b_3_0²
        + b_2_0³·b_4_0·b_4_2 + c_8_2·b_3_1² + c_8_2·b_3_0² + b_6_3·c_8_2 + b_2_0·b_4_2·c_8_2
        + b_2_0·b_4_0·c_8_2, an element of degree 14
  4. b_4_2 + b_4_0, an element of degree 4
• A Duflot regular sequence is given by c_8_2.
• The Raw Filter Degree Type of the filter regular HSOP is [-1, -1, 17, 28, 34].
• Modifying the above filter regular HSOP, we obtained the following parameters:
1. c_8_2, an element of degree 8
2. b_4_2 + b_4_0 + b_2_0², an element of degree 4
3. b_7_9 + b_4_2·b_3_0 + b_4_0·b_3_0, an element of degree 7
4. b_3_1² + b_3_0² + b_6_1, an element of degree 6

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Restriction maps

Expressing the generators as elements of H^*(Syl2(M22); GF(2))

1. b_2_0 → b_1_2² + b_1_0² + b_2_5
2. a_3_2 → b_2_4·b_1_2
3. b_3_1 → b_2_5·b_1_0
4. b_3_0 → b_2_5·b_1_2
5. b_4_2 → b_1_1⁴ + b_4_13 + b_4_10 + b_4_9 + b_2_4·b_1_0² + b_2_4²
6. b_4_0 → b_1_2·b_3_8 + b_4_10 + b_2_4·b_1_0²
7. b_5_0 → b_4_10·b_1_2 + b_4_9·b_1_2 + b_2_5·b_3_8 + b_2_4·b_1_0³
8. b_6_3 → b_4_13·b_1_1² + b_4_9·b_1_1² + b_2_4·b_4_13 + b_2_4·b_4_9 + b_2_4²·b_1_1²
9. b_6_1 → b_6_31 + b_6_30 + b_4_9·b_1_2² + b_2_5·b_4_13 + b_2_5·b_4_9 + b_2_4·b_4_13 + b_2_4·b_4_9
      + b_2_4²·b_1_1²
10. b_7_9 → b_2_4·b_4_13·b_1_1 + b_2_4·b_4_9·b_1_1
11. a_7_7 → b_2_4·b_5_21 + b_2_4·b_5_20 + b_2_4·b_5_17 + b_2_4·b_1_1²·b_3_8 + b_2_4²·b_3_8
12. b_7_2 → b_2_5·b_5_17
13. b_7_0 → b_4_13·b_1_2³ + b_2_5·b_5_21 + b_2_5·b_4_9·b_1_2 + b_2_5²·b_3_8 + b_2_4²·b_1_0³
14. b_8_7 → b_4_10·b_4_13 + b_4_9·b_4_13 + b_2_4·b_4_9·b_1_1² + b_2_4²·b_1_1·b_3_8
       + b_2_4²·b_1_1⁴ + b_2_4³·b_1_1² + b_2_4³·b_1_0²
15. c_8_2 → b_1_1·b_7_41 + b_8_52 + b_6_30·b_1_1² + b_4_13·b_1_1·b_3_8 + b_4_13²
       + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴ + b_4_9·b_1_1·b_3_8 + b_4_9·b_1_1⁴ + b_4_9·b_4_13
       + b_4_9·b_4_10 + b_2_5·b_1_2·b_5_21 + b_2_5·b_6_31 + b_2_5·b_6_30 + b_2_5·b_4_9·b_1_2²
       + b_2_5²·b_4_13 + b_2_5²·b_4_10 + b_2_4·b_6_31 + b_2_4·b_4_13·b_1_1²
       + b_2_4·b_4_9·b_1_1² + b_2_4²·b_1_1·b_3_8 + b_2_4²·b_1_1⁴ + b_2_4²·b_4_13
       + b_2_4²·b_4_9 + b_2_4³·b_1_1² + b_2_4³·b_1_0² + c_8_55
16. b_8_0 → b_1_2·b_7_41 + b_1_1·b_7_41 + b_8_54 + b_8_52 + b_6_30·b_1_1² + b_4_13·b_1_1·b_3_8
       + b_4_13² + b_4_9·b_1_2·b_3_8 + b_4_9·b_1_2⁴ + b_4_9·b_1_1·b_3_8 + b_4_9·b_1_1⁴
       + b_4_9·b_4_10 + b_2_5·b_1_2·b_5_21 + b_2_5·b_6_31 + b_2_5·b_6_30 + b_2_5·b_4_13·b_1_2²
       + b_2_5·b_4_9·b_1_2² + b_2_5²·b_4_13 + b_2_5²·b_4_10 + b_2_5²·b_4_9 + b_2_4·b_1_0⁶
       + b_2_4·b_4_13·b_1_1² + b_2_4·b_4_9·b_1_1² + b_2_4²·b_1_1·b_3_8 + b_2_4²·b_1_0⁴
17. b_9_5 → b_4_9·b_4_13·b_1_1 + b_4_9²·b_1_1 + b_2_4·b_4_13·b_3_8 + b_2_4·b_4_9·b_3_8
       + b_2_4³·b_1_1³
18. b_9_1 → b_4_10·b_5_20 + b_4_9·b_4_10·b_1_2 + b_4_9²·b_1_2 + b_2_5·b_4_9·b_3_8 + b_2_5²·b_5_21
       + b_2_5²·b_5_17 + b_2_5²·b_4_13·b_1_2 + b_2_5²·b_4_9·b_1_2 + b_2_5³·b_3_8
       + b_2_4²·b_1_0⁵
19. b_9_0 → b_4_10·b_5_21 + b_4_9·b_5_21 + b_4_9·b_5_20 + b_4_9·b_1_1²·b_3_8 + b_4_9·b_4_13·b_1_2
       + b_4_9²·b_1_1 + b_2_5·b_7_41 + b_2_5²·b_5_21 + b_2_5²·b_5_17 + b_2_5²·b_4_13·b_1_2
       + b_2_5²·b_4_9·b_1_2 + b_2_5³·b_3_8 + b_2_4·b_6_30·b_1_0 + b_2_4·b_4_9·b_3_8
       + b_2_4²·b_5_17 + b_2_4²·b_4_9·b_1_1
20. b_10_2 → b_4_13·b_1_1·b_5_21 + b_4_13·b_1_1·b_5_20 + b_4_13·b_6_30 + b_4_13²·b_1_1·b_1_2
       + b_4_9·b_1_1·b_5_20 + b_2_5·b_4_13² + b_2_5·b_4_9·b_4_13 + b_2_4·b_8_52
       + b_2_4·b_6_30·b_1_0² + b_2_4·b_4_9·b_1_1·b_3_8 + b_2_4²·b_1_1³·b_3_8
       + b_2_4²·b_6_30 + b_2_4²·b_4_13·b_1_1² + b_2_4²·b_4_9·b_1_1²
       + b_2_4³·b_1_1·b_3_8 + b_2_4³·b_1_0⁴ + b_2_4³·b_4_9 + b_2_4⁴·b_1_0²
21. b_11_1 → b_4_13²·b_1_1³ + b_4_9·b_4_13·b_1_1³ + b_2_4·b_4_13·b_5_20 + b_2_4·b_4_9·b_5_20
       + b_2_4·b_4_9²·b_1_1 + b_2_4²·b_4_9·b_1_1³ + b_2_4³·b_1_1²·b_3_8
       + b_2_4³·b_1_1⁵ + b_2_4⁴·b_1_1³
22. b_12_5 → b_4_13·b_1_1·b_7_41 + b_4_13·b_8_54 + b_4_13³ + b_4_9·b_8_52 + b_4_9·b_6_30·b_1_1²
       + b_4_9·b_4_13·b_1_1·b_3_8 + b_4_9·b_4_13² + b_4_9²·b_1_2⁴ + b_4_9²·b_1_1·b_3_8
       + b_4_9²·b_4_10 + b_2_5·b_4_13²·b_1_2² + b_2_5·b_4_9·b_6_31
       + b_2_5·b_4_9·b_4_10·b_1_2² + b_2_5·b_4_9²·b_1_2² + b_2_5²·b_8_54
       + b_2_5²·b_8_52 + b_2_5²·b_4_10·b_4_13 + b_2_5²·b_4_9² + b_2_5³·b_1_2·b_5_21
       + b_2_5³·b_4_13·b_1_2² + b_2_5³·b_4_10·b_1_2² + b_2_5³·b_4_9·b_1_2²
       + b_2_5⁴·b_4_13 + b_2_5⁴·b_4_10 + b_2_4·b_6_30·b_1_0⁴ + b_2_4·b_4_13²·b_1_1²
       + b_2_4·b_4_9·b_1_1⁶ + b_2_4·b_4_9·b_4_13·b_1_1² + b_2_4²·b_1_1⁵·b_3_8
       + b_2_4²·b_1_1⁸ + b_2_4²·b_6_30·b_1_1² + b_2_4²·b_6_30·b_1_0²
       + b_2_4²·b_4_13·b_1_1·b_3_8 + b_2_4²·b_4_9·b_4_13 + b_2_4³·b_1_1³·b_3_8
       + b_2_4³·b_1_1⁶ + b_2_4³·b_1_0⁶ + b_2_4⁴·b_1_1·b_3_8 + b_2_4⁴·b_1_0⁴
       + b_2_4⁵·b_1_1² + b_2_4⁵·b_1_0² + c_8_55·b_1_0⁴ + b_2_5²·c_8_55
23. b_13_0 → b_4_13²·b_1_1²·b_3_8 + b_4_9·b_4_13·b_5_20 + b_4_9·b_4_13·b_1_1²·b_3_8
       + b_4_9²·b_5_20 + b_4_9²·b_4_13·b_1_2 + b_4_9²·b_4_10·b_1_2 + b_4_9³·b_1_2
       + b_2_5·b_4_10·b_7_41 + b_2_5·b_4_9·b_4_10·b_3_8 + b_2_5·b_4_9²·b_3_8
       + b_2_5·b_4_9²·b_1_2³ + b_2_5²·b_4_13·b_5_21 + b_2_5²·b_4_13²·b_1_2
       + b_2_5²·b_4_10·b_5_21 + b_2_5²·b_4_10·b_4_13·b_1_2 + b_2_5²·b_4_9·b_5_21
       + b_2_5²·b_4_9·b_1_2⁵ + b_2_5³·b_4_10·b_3_8 + b_2_5³·b_4_9·b_1_2³
       + b_2_5⁴·b_4_13·b_1_2 + b_2_5⁴·b_4_10·b_1_2 + b_2_4·b_4_13·b_7_41
       + b_2_4·b_4_13·b_6_30·b_1_1 + b_2_4·b_4_13²·b_3_8 + b_2_4·b_4_9·b_7_41
       + b_2_4·b_4_9·b_6_30·b_1_1 + b_2_4·b_4_9·b_4_13·b_1_1³ + b_2_4·b_4_9²·b_3_8
       + b_2_4²·b_6_30·b_1_0³ + b_2_4²·b_4_13·b_5_20 + b_2_4²·b_4_13²·b_1_1
       + b_2_4²·b_4_9·b_5_20 + b_2_4²·b_4_9·b_1_1⁵ + b_2_4²·b_4_9²·b_1_1
       + b_2_4³·b_1_1⁴·b_3_8 + b_2_4³·b_6_30·b_1_1 + b_2_4³·b_6_30·b_1_0
       + b_2_4³·b_4_13·b_3_8 + b_2_4³·b_4_9·b_1_1³ + b_2_4⁴·b_5_20 + b_2_4⁴·b_5_17
       + b_2_4⁴·b_1_1²·b_3_8 + b_2_4⁴·b_4_13·b_1_1 + b_2_4⁴·b_4_9·b_1_1 + b_2_4⁵·b_3_8
       + b_2_5²·c_8_55·b_1_2

Restriction map to the greatest el. ab. subgp. in the centre of a Sylow subgroup, which is of rank 1

1. b_2_0 → 0, an element of degree 2
2. a_3_2 → 0, an element of degree 3
3. b_3_1 → 0, an element of degree 3
4. b_3_0 → 0, an element of degree 3
5. b_4_2 → 0, an element of degree 4
6. b_4_0 → 0, an element of degree 4
7. b_5_0 → 0, an element of degree 5
8. b_6_3 → 0, an element of degree 6
9. b_6_1 → 0, an element of degree 6
10. b_7_9 → 0, an element of degree 7
11. a_7_7 → 0, an element of degree 7
12. b_7_2 → 0, an element of degree 7
13. b_7_0 → 0, an element of degree 7
14. b_8_7 → 0, an element of degree 8
15. c_8_2 → c_1_0⁸, an element of degree 8
16. b_8_0 → 0, an element of degree 8
17. b_9_5 → 0, an element of degree 9
18. b_9_1 → 0, an element of degree 9
19. b_9_0 → 0, an element of degree 9
20. b_10_2 → 0, an element of degree 10
21. b_11_1 → 0, an element of degree 11
22. b_12_5 → 0, an element of degree 12
23. b_13_0 → 0, an element of degree 13

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

1. b_2_0 → c_1_1², an element of degree 2
2. a_3_2 → 0, an element of degree 3
3. b_3_1 → 0, an element of degree 3
4. b_3_0 → 0, an element of degree 3
5. b_4_2 → c_1_2⁴ + c_1_1³·c_1_2, an element of degree 4
6. b_4_0 → c_1_1²·c_1_2² + c_1_1³·c_1_2, an element of degree 4
7. b_5_0 → c_1_1³·c_1_2² + c_1_1⁴·c_1_2, an element of degree 5
8. b_6_3 → 0, an element of degree 6
9. b_6_1 → c_1_0·c_1_1³·c_1_2² + c_1_0·c_1_1⁴·c_1_2 + c_1_0²·c_1_1²·c_1_2²
      + c_1_0²·c_1_1³·c_1_2 + c_1_0²·c_1_1⁴ + c_1_0⁴·c_1_1², an element of degree 6
10. b_7_9 → 0, an element of degree 7
11. a_7_7 → 0, an element of degree 7
12. b_7_2 → 0, an element of degree 7
13. b_7_0 → c_1_1³·c_1_2⁴ + c_1_1⁵·c_1_2², an element of degree 7
14. b_8_7 → c_1_1²·c_1_2⁶ + c_1_1³·c_1_2⁵ + c_1_1⁴·c_1_2⁴ + c_1_1⁵·c_1_2³, an element of degree 8
15. c_8_2 → c_1_1²·c_1_2⁶ + c_1_1³·c_1_2⁵ + c_1_1⁴·c_1_2⁴ + c_1_1⁵·c_1_2³
       + c_1_0·c_1_1³·c_1_2⁴ + c_1_0·c_1_1⁵·c_1_2² + c_1_0²·c_1_1⁴·c_1_2²
       + c_1_0²·c_1_1⁵·c_1_2 + c_1_0⁴·c_1_2⁴ + c_1_0⁴·c_1_1³·c_1_2 + c_1_0⁴·c_1_1⁴
       + c_1_0⁸, an element of degree 8
16. b_8_0 → c_1_1⁴·c_1_2⁴ + c_1_1⁷·c_1_2 + c_1_0·c_1_1³·c_1_2⁴ + c_1_0·c_1_1⁶·c_1_2
       + c_1_0²·c_1_1²·c_1_2⁴ + c_1_0²·c_1_1⁴·c_1_2² + c_1_0²·c_1_1⁶
       + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1³·c_1_2 + c_1_0⁴·c_1_1⁴, an element of degree 8
17. b_9_5 → 0, an element of degree 9
18. b_9_1 → c_1_1⁵·c_1_2⁴ + c_1_1⁷·c_1_2², an element of degree 9
19. b_9_0 → c_1_0·c_1_1⁴·c_1_2⁴ + c_1_0·c_1_1⁶·c_1_2² + c_1_0²·c_1_1³·c_1_2⁴
       + c_1_0²·c_1_1⁶·c_1_2 + c_1_0⁴·c_1_1³·c_1_2² + c_1_0⁴·c_1_1⁴·c_1_2, an element of degree 9
20. b_10_2 → c_1_1²·c_1_2⁸ + c_1_1⁴·c_1_2⁶ + c_1_1⁵·c_1_2⁵ + c_1_1⁷·c_1_2³, an element of degree 10
21. b_11_1 → 0, an element of degree 11
22. b_12_5 → c_1_1²·c_1_2¹⁰ + c_1_1³·c_1_2⁹ + c_1_1⁴·c_1_2⁸ + c_1_1⁹·c_1_2³
       + c_1_0·c_1_1³·c_1_2⁸ + c_1_0·c_1_1⁷·c_1_2⁴ + c_1_0·c_1_1⁹·c_1_2²
       + c_1_0·c_1_1¹⁰·c_1_2 + c_1_0²·c_1_1²·c_1_2⁸ + c_1_0²·c_1_1⁴·c_1_2⁶
       + c_1_0²·c_1_1⁵·c_1_2⁵ + c_1_0²·c_1_1⁶·c_1_2⁴ + c_1_0²·c_1_1⁷·c_1_2³
       + c_1_0²·c_1_1⁹·c_1_2 + c_1_0²·c_1_1¹⁰ + c_1_0⁴·c_1_1²·c_1_2⁶
       + c_1_0⁴·c_1_1³·c_1_2⁵ + c_1_0⁴·c_1_1⁵·c_1_2³ + c_1_0⁴·c_1_1⁶·c_1_2²
       + c_1_0⁸·c_1_1⁴, an element of degree 12
23. b_13_0 → c_1_0·c_1_1⁶·c_1_2⁶ + c_1_0·c_1_1⁷·c_1_2⁵ + c_1_0·c_1_1⁸·c_1_2⁴
       + c_1_0·c_1_1⁹·c_1_2³ + c_1_0²·c_1_1⁵·c_1_2⁶ + c_1_0²·c_1_1⁶·c_1_2⁵
       + c_1_0²·c_1_1⁸·c_1_2³ + c_1_0²·c_1_1⁹·c_1_2² + c_1_0⁴·c_1_1⁵·c_1_2⁴
       + c_1_0⁴·c_1_1⁷·c_1_2², an element of degree 13

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

1. b_2_0 → c_1_2² + c_1_1·c_1_2 + c_1_1², an element of degree 2
2. a_3_2 → 0, an element of degree 3
3. b_3_1 → c_1_1·c_1_2² + c_1_1²·c_1_2, an element of degree 3
4. b_3_0 → 0, an element of degree 3
5. b_4_2 → 0, an element of degree 4
6. b_4_0 → 0, an element of degree 4
7. b_5_0 → 0, an element of degree 5
8. b_6_3 → 0, an element of degree 6
9. b_6_1 → c_1_0·c_1_1·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2 + c_1_0²·c_1_2⁴
      + c_1_0²·c_1_1²·c_1_2² + c_1_0²·c_1_1⁴ + c_1_0⁴·c_1_2² + c_1_0⁴·c_1_1·c_1_2
      + c_1_0⁴·c_1_1², an element of degree 6
10. b_7_9 → 0, an element of degree 7
11. a_7_7 → 0, an element of degree 7
12. b_7_2 → c_1_0·c_1_1²·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2² + c_1_0²·c_1_1·c_1_2⁴
       + c_1_0²·c_1_1⁴·c_1_2 + c_1_0⁴·c_1_1·c_1_2² + c_1_0⁴·c_1_1²·c_1_2, an element of degree 7
13. b_7_0 → c_1_0·c_1_1²·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2² + c_1_0²·c_1_1·c_1_2⁴
       + c_1_0²·c_1_1⁴·c_1_2 + c_1_0⁴·c_1_1·c_1_2² + c_1_0⁴·c_1_1²·c_1_2, an element of degree 7
14. b_8_7 → 0, an element of degree 8
15. c_8_2 → c_1_0²·c_1_1²·c_1_2⁴ + c_1_0²·c_1_1⁴·c_1_2² + c_1_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1⁴ + c_1_0⁸, an element of degree 8
16. b_8_0 → c_1_0·c_1_1·c_1_2⁶ + c_1_0·c_1_1²·c_1_2⁵ + c_1_0·c_1_1³·c_1_2⁴
       + c_1_0·c_1_1⁴·c_1_2³ + c_1_0·c_1_1⁵·c_1_2² + c_1_0·c_1_1⁶·c_1_2
       + c_1_0²·c_1_2⁶ + c_1_0²·c_1_1·c_1_2⁵ + c_1_0²·c_1_1³·c_1_2³
       + c_1_0²·c_1_1⁵·c_1_2 + c_1_0²·c_1_1⁶ + c_1_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1⁴, an element of degree 8
17. b_9_5 → 0, an element of degree 9
18. b_9_1 → 0, an element of degree 9
19. b_9_0 → 0, an element of degree 9
20. b_10_2 → 0, an element of degree 10
21. b_11_1 → 0, an element of degree 11
22. b_12_5 → c_1_0·c_1_1·c_1_2¹⁰ + c_1_0·c_1_1²·c_1_2⁹ + c_1_0·c_1_1³·c_1_2⁸
       + c_1_0·c_1_1⁸·c_1_2³ + c_1_0·c_1_1⁹·c_1_2² + c_1_0·c_1_1¹⁰·c_1_2
       + c_1_0²·c_1_2¹⁰ + c_1_0²·c_1_1·c_1_2⁹ + c_1_0²·c_1_1²·c_1_2⁸
       + c_1_0²·c_1_1⁴·c_1_2⁶ + c_1_0²·c_1_1⁵·c_1_2⁵ + c_1_0²·c_1_1⁶·c_1_2⁴
       + c_1_0²·c_1_1⁸·c_1_2² + c_1_0²·c_1_1⁹·c_1_2 + c_1_0²·c_1_1¹⁰
       + c_1_0⁴·c_1_1²·c_1_2⁶ + c_1_0⁴·c_1_1³·c_1_2⁵ + c_1_0⁴·c_1_1⁵·c_1_2³
       + c_1_0⁴·c_1_1⁶·c_1_2² + c_1_0⁸·c_1_2⁴ + c_1_0⁸·c_1_1²·c_1_2²
       + c_1_0⁸·c_1_1⁴, an element of degree 12
23. b_13_0 → 0, an element of degree 13

Restriction map to a maximal el. ab. subgp. of rank 4 in a Sylow subgroup

1. b_2_0 → 0, an element of degree 2
2. a_3_2 → 0, an element of degree 3
3. b_3_1 → 0, an element of degree 3
4. b_3_0 → 0, an element of degree 3
5. b_4_2 → c_1_3⁴ + c_1_2²·c_1_3² + c_1_2⁴ + c_1_1·c_1_2·c_1_3² + c_1_1·c_1_2²·c_1_3
      + c_1_1²·c_1_3² + c_1_1²·c_1_2·c_1_3 + c_1_1²·c_1_2² + c_1_1⁴, an element of degree 4
6. b_4_0 → 0, an element of degree 4
7. b_5_0 → 0, an element of degree 5
8. b_6_3 → c_1_2²·c_1_3⁴ + c_1_2⁴·c_1_3² + c_1_1·c_1_2·c_1_3⁴ + c_1_1·c_1_2⁴·c_1_3
      + c_1_1²·c_1_3⁴ + c_1_1²·c_1_2²·c_1_3² + c_1_1²·c_1_2⁴ + c_1_1⁴·c_1_3²
      + c_1_1⁴·c_1_2·c_1_3 + c_1_1⁴·c_1_2², an element of degree 6
9. b_6_1 → c_1_2²·c_1_3⁴ + c_1_2⁴·c_1_3² + c_1_1·c_1_2·c_1_3⁴ + c_1_1·c_1_2⁴·c_1_3
      + c_1_1²·c_1_3⁴ + c_1_1²·c_1_2²·c_1_3² + c_1_1²·c_1_2⁴ + c_1_1⁴·c_1_3²
      + c_1_1⁴·c_1_2·c_1_3 + c_1_1⁴·c_1_2², an element of degree 6
10. b_7_9 → c_1_1·c_1_2²·c_1_3⁴ + c_1_1·c_1_2⁴·c_1_3² + c_1_1²·c_1_2·c_1_3⁴
       + c_1_1²·c_1_2⁴·c_1_3 + c_1_1⁴·c_1_2·c_1_3² + c_1_1⁴·c_1_2²·c_1_3, an element of degree 7
11. a_7_7 → 0, an element of degree 7
12. b_7_2 → 0, an element of degree 7
13. b_7_0 → 0, an element of degree 7
14. b_8_7 → c_1_2²·c_1_3⁶ + c_1_2³·c_1_3⁵ + c_1_2⁵·c_1_3³ + c_1_2⁶·c_1_3²
       + c_1_1·c_1_2·c_1_3⁶ + c_1_1·c_1_2²·c_1_3⁵ + c_1_1·c_1_2⁴·c_1_3³
       + c_1_1·c_1_2⁶·c_1_3 + c_1_1²·c_1_3⁶ + c_1_1²·c_1_2⁵·c_1_3 + c_1_1²·c_1_2⁶
       + c_1_1³·c_1_3⁵ + c_1_1³·c_1_2⁴·c_1_3 + c_1_1³·c_1_2⁵
       + c_1_1⁴·c_1_2²·c_1_3² + c_1_1⁴·c_1_2³·c_1_3 + c_1_1⁵·c_1_3³
       + c_1_1⁵·c_1_2²·c_1_3 + c_1_1⁵·c_1_2³ + c_1_1⁶·c_1_3² + c_1_1⁶·c_1_2·c_1_3
       + c_1_1⁶·c_1_2² + c_1_0·c_1_1·c_1_2²·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0·c_1_1²·c_1_2·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0·c_1_1⁴·c_1_2·c_1_3² + c_1_0·c_1_1⁴·c_1_2²·c_1_3, an element of degree 8
15. c_8_2 → c_1_2²·c_1_3⁶ + c_1_2³·c_1_3⁵ + c_1_2⁵·c_1_3³ + c_1_2⁶·c_1_3²
       + c_1_1·c_1_2·c_1_3⁶ + c_1_1·c_1_2²·c_1_3⁵ + c_1_1·c_1_2⁴·c_1_3³
       + c_1_1·c_1_2⁶·c_1_3 + c_1_1²·c_1_3⁶ + c_1_1²·c_1_2⁵·c_1_3 + c_1_1²·c_1_2⁶
       + c_1_1³·c_1_3⁵ + c_1_1³·c_1_2⁴·c_1_3 + c_1_1³·c_1_2⁵
       + c_1_1⁴·c_1_2²·c_1_3² + c_1_1⁴·c_1_2³·c_1_3 + c_1_1⁵·c_1_3³
       + c_1_1⁵·c_1_2²·c_1_3 + c_1_1⁵·c_1_2³ + c_1_1⁶·c_1_3² + c_1_1⁶·c_1_2·c_1_3
       + c_1_1⁶·c_1_2² + c_1_0²·c_1_2²·c_1_3⁴ + c_1_0²·c_1_2⁴·c_1_3²
       + c_1_0²·c_1_1·c_1_2·c_1_3⁴ + c_1_0²·c_1_1·c_1_2⁴·c_1_3
       + c_1_0²·c_1_1²·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2²·c_1_3²
       + c_1_0²·c_1_1²·c_1_2⁴ + c_1_0²·c_1_1⁴·c_1_3² + c_1_0²·c_1_1⁴·c_1_2·c_1_3
       + c_1_0²·c_1_1⁴·c_1_2² + c_1_0⁴·c_1_3⁴ + c_1_0⁴·c_1_2²·c_1_3²
       + c_1_0⁴·c_1_2⁴ + c_1_0⁴·c_1_1·c_1_2·c_1_3² + c_1_0⁴·c_1_1·c_1_2²·c_1_3
       + c_1_0⁴·c_1_1²·c_1_3² + c_1_0⁴·c_1_1²·c_1_2·c_1_3 + c_1_0⁴·c_1_1²·c_1_2²
       + c_1_0⁴·c_1_1⁴ + c_1_0⁸, an element of degree 8
16. b_8_0 → 0, an element of degree 8
17. b_9_5 → c_1_2³·c_1_3⁶ + c_1_2⁴·c_1_3⁵ + c_1_2⁵·c_1_3⁴ + c_1_2⁶·c_1_3³
       + c_1_1·c_1_2⁴·c_1_3⁴ + c_1_1·c_1_2⁶·c_1_3² + c_1_1²·c_1_2·c_1_3⁶
       + c_1_1²·c_1_2²·c_1_3⁵ + c_1_1²·c_1_2⁴·c_1_3³ + c_1_1²·c_1_2⁵·c_1_3²
       + c_1_1³·c_1_3⁶ + c_1_1³·c_1_2⁴·c_1_3² + c_1_1³·c_1_2⁶ + c_1_1⁴·c_1_3⁵
       + c_1_1⁴·c_1_2³·c_1_3² + c_1_1⁴·c_1_2⁵ + c_1_1⁵·c_1_3⁴
       + c_1_1⁵·c_1_2²·c_1_3² + c_1_1⁵·c_1_2⁴ + c_1_1⁶·c_1_3³
       + c_1_1⁶·c_1_2·c_1_3² + c_1_1⁶·c_1_2³ + c_1_0²·c_1_1·c_1_2²·c_1_3⁴
       + c_1_0²·c_1_1·c_1_2⁴·c_1_3² + c_1_0²·c_1_1²·c_1_2·c_1_3⁴
       + c_1_0²·c_1_1²·c_1_2⁴·c_1_3 + c_1_0²·c_1_1⁴·c_1_2·c_1_3²
       + c_1_0²·c_1_1⁴·c_1_2²·c_1_3, an element of degree 9
18. b_9_1 → 0, an element of degree 9
19. b_9_0 → 0, an element of degree 9
20. b_10_2 → c_1_1·c_1_2²·c_1_3⁷ + c_1_1·c_1_2⁵·c_1_3⁴ + c_1_1·c_1_2⁶·c_1_3³
       + c_1_1·c_1_2⁷·c_1_3² + c_1_1²·c_1_2·c_1_3⁷ + c_1_1²·c_1_2⁵·c_1_3³
       + c_1_1²·c_1_2⁶·c_1_3² + c_1_1²·c_1_2⁷·c_1_3 + c_1_1³·c_1_2³·c_1_3⁴
       + c_1_1³·c_1_2⁴·c_1_3³ + c_1_1⁴·c_1_2²·c_1_3⁴ + c_1_1⁴·c_1_2³·c_1_3³
       + c_1_1⁵·c_1_2·c_1_3⁴ + c_1_1⁵·c_1_2²·c_1_3³ + c_1_1⁵·c_1_2³·c_1_3²
       + c_1_1⁵·c_1_2⁴·c_1_3 + c_1_1⁶·c_1_2·c_1_3³ + c_1_1⁶·c_1_2³·c_1_3
       + c_1_1⁷·c_1_2·c_1_3² + c_1_1⁷·c_1_2²·c_1_3 + c_1_0·c_1_2³·c_1_3⁶
       + c_1_0·c_1_2⁴·c_1_3⁵ + c_1_0·c_1_2⁵·c_1_3⁴ + c_1_0·c_1_2⁶·c_1_3³
       + c_1_0·c_1_1·c_1_2⁴·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁶·c_1_3²
       + c_1_0·c_1_1²·c_1_2·c_1_3⁶ + c_1_0·c_1_1²·c_1_2²·c_1_3⁵
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3³ + c_1_0·c_1_1²·c_1_2⁵·c_1_3²
       + c_1_0·c_1_1³·c_1_3⁶ + c_1_0·c_1_1³·c_1_2⁴·c_1_3² + c_1_0·c_1_1³·c_1_2⁶
       + c_1_0·c_1_1⁴·c_1_3⁵ + c_1_0·c_1_1⁴·c_1_2³·c_1_3² + c_1_0·c_1_1⁴·c_1_2⁵
       + c_1_0·c_1_1⁵·c_1_3⁴ + c_1_0·c_1_1⁵·c_1_2²·c_1_3² + c_1_0·c_1_1⁵·c_1_2⁴
       + c_1_0·c_1_1⁶·c_1_3³ + c_1_0·c_1_1⁶·c_1_2·c_1_3² + c_1_0·c_1_1⁶·c_1_2³
       + c_1_0²·c_1_2²·c_1_3⁶ + c_1_0²·c_1_2³·c_1_3⁵ + c_1_0²·c_1_2⁵·c_1_3³
       + c_1_0²·c_1_2⁶·c_1_3² + c_1_0²·c_1_1·c_1_2·c_1_3⁶
       + c_1_0²·c_1_1·c_1_2²·c_1_3⁵ + c_1_0²·c_1_1·c_1_2⁴·c_1_3³
       + c_1_0²·c_1_1·c_1_2⁶·c_1_3 + c_1_0²·c_1_1²·c_1_3⁶
       + c_1_0²·c_1_1²·c_1_2⁵·c_1_3 + c_1_0²·c_1_1²·c_1_2⁶ + c_1_0²·c_1_1³·c_1_3⁵
       + c_1_0²·c_1_1³·c_1_2⁴·c_1_3 + c_1_0²·c_1_1³·c_1_2⁵
       + c_1_0²·c_1_1⁴·c_1_2²·c_1_3² + c_1_0²·c_1_1⁴·c_1_2³·c_1_3
       + c_1_0²·c_1_1⁵·c_1_3³ + c_1_0²·c_1_1⁵·c_1_2²·c_1_3 + c_1_0²·c_1_1⁵·c_1_2³
       + c_1_0²·c_1_1⁶·c_1_3² + c_1_0²·c_1_1⁶·c_1_2·c_1_3 + c_1_0²·c_1_1⁶·c_1_2²
       + c_1_0³·c_1_1·c_1_2²·c_1_3⁴ + c_1_0³·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0³·c_1_1²·c_1_2·c_1_3⁴ + c_1_0³·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0³·c_1_1⁴·c_1_2·c_1_3² + c_1_0³·c_1_1⁴·c_1_2²·c_1_3
       + c_1_0⁴·c_1_2²·c_1_3⁴ + c_1_0⁴·c_1_2⁴·c_1_3² + c_1_0⁴·c_1_1·c_1_2·c_1_3⁴
       + c_1_0⁴·c_1_1·c_1_2⁴·c_1_3 + c_1_0⁴·c_1_1²·c_1_3⁴
       + c_1_0⁴·c_1_1²·c_1_2²·c_1_3² + c_1_0⁴·c_1_1²·c_1_2⁴
       + c_1_0⁴·c_1_1⁴·c_1_3² + c_1_0⁴·c_1_1⁴·c_1_2·c_1_3 + c_1_0⁴·c_1_1⁴·c_1_2², an element of degree 10
21. b_11_1 → c_1_2³·c_1_3⁸ + c_1_2⁵·c_1_3⁶ + c_1_2⁶·c_1_3⁵ + c_1_2⁸·c_1_3³
       + c_1_1·c_1_2²·c_1_3⁸ + c_1_1·c_1_2⁶·c_1_3⁴ + c_1_1²·c_1_2⁵·c_1_3⁴
       + c_1_1²·c_1_2⁸·c_1_3 + c_1_1³·c_1_3⁸ + c_1_1³·c_1_2⁴·c_1_3⁴
       + c_1_1³·c_1_2⁸ + c_1_1⁴·c_1_2·c_1_3⁶ + c_1_1⁴·c_1_2²·c_1_3⁵
       + c_1_1⁴·c_1_2³·c_1_3⁴ + c_1_1⁴·c_1_2⁴·c_1_3³ + c_1_1⁵·c_1_3⁶
       + c_1_1⁵·c_1_2²·c_1_3⁴ + c_1_1⁵·c_1_2⁶ + c_1_1⁶·c_1_3⁵
       + c_1_1⁶·c_1_2·c_1_3⁴ + c_1_1⁶·c_1_2⁵ + c_1_1⁸·c_1_3³ + c_1_1⁸·c_1_2²·c_1_3
       + c_1_1⁸·c_1_2³ + c_1_0⁴·c_1_1·c_1_2²·c_1_3⁴ + c_1_0⁴·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_2·c_1_3⁴ + c_1_0⁴·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0⁴·c_1_1⁴·c_1_2·c_1_3² + c_1_0⁴·c_1_1⁴·c_1_2²·c_1_3, an element of degree 11
22. b_12_5 → c_1_2²·c_1_3¹⁰ + c_1_2³·c_1_3⁹ + c_1_2⁹·c_1_3³ + c_1_2¹⁰·c_1_3²
       + c_1_1·c_1_2·c_1_3¹⁰ + c_1_1·c_1_2⁴·c_1_3⁷ + c_1_1·c_1_2⁶·c_1_3⁵
       + c_1_1·c_1_2⁷·c_1_3⁴ + c_1_1·c_1_2⁹·c_1_3² + c_1_1·c_1_2¹⁰·c_1_3
       + c_1_1²·c_1_3¹⁰ + c_1_1²·c_1_2·c_1_3⁹ + c_1_1²·c_1_2⁵·c_1_3⁵
       + c_1_1²·c_1_2⁸·c_1_3² + c_1_1²·c_1_2¹⁰ + c_1_1³·c_1_3⁹
       + c_1_1³·c_1_2⁴·c_1_3⁵ + c_1_1³·c_1_2⁵·c_1_3⁴ + c_1_1³·c_1_2⁸·c_1_3
       + c_1_1³·c_1_2⁹ + c_1_1⁴·c_1_2·c_1_3⁷ + c_1_1⁴·c_1_2³·c_1_3⁵
       + c_1_1⁴·c_1_2⁶·c_1_3² + c_1_1⁴·c_1_2⁷·c_1_3 + c_1_1⁵·c_1_2²·c_1_3⁵
       + c_1_1⁵·c_1_2⁵·c_1_3² + c_1_1⁶·c_1_2·c_1_3⁵ + c_1_1⁶·c_1_2²·c_1_3⁴
       + c_1_1⁶·c_1_2⁴·c_1_3² + c_1_1⁶·c_1_2⁵·c_1_3 + c_1_1⁷·c_1_2·c_1_3⁴
       + c_1_1⁷·c_1_2⁴·c_1_3 + c_1_1⁸·c_1_2·c_1_3³ + c_1_1⁸·c_1_2²·c_1_3²
       + c_1_1⁹·c_1_3³ + c_1_1⁹·c_1_2·c_1_3² + c_1_1⁹·c_1_2³ + c_1_1¹⁰·c_1_3²
       + c_1_1¹⁰·c_1_2·c_1_3 + c_1_1¹⁰·c_1_2² + c_1_0·c_1_2³·c_1_3⁸
       + c_1_0·c_1_2⁵·c_1_3⁶ + c_1_0·c_1_2⁶·c_1_3⁵ + c_1_0·c_1_2⁸·c_1_3³
       + c_1_0·c_1_1·c_1_2²·c_1_3⁸ + c_1_0·c_1_1·c_1_2⁶·c_1_3⁴
       + c_1_0·c_1_1²·c_1_2⁵·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁸·c_1_3
       + c_1_0·c_1_1³·c_1_3⁸ + c_1_0·c_1_1³·c_1_2⁴·c_1_3⁴ + c_1_0·c_1_1³·c_1_2⁸
       + c_1_0·c_1_1⁴·c_1_2·c_1_3⁶ + c_1_0·c_1_1⁴·c_1_2²·c_1_3⁵
       + c_1_0·c_1_1⁴·c_1_2³·c_1_3⁴ + c_1_0·c_1_1⁴·c_1_2⁴·c_1_3³
       + c_1_0·c_1_1⁵·c_1_3⁶ + c_1_0·c_1_1⁵·c_1_2²·c_1_3⁴ + c_1_0·c_1_1⁵·c_1_2⁶
       + c_1_0·c_1_1⁶·c_1_3⁵ + c_1_0·c_1_1⁶·c_1_2·c_1_3⁴ + c_1_0·c_1_1⁶·c_1_2⁵
       + c_1_0·c_1_1⁸·c_1_3³ + c_1_0·c_1_1⁸·c_1_2²·c_1_3 + c_1_0·c_1_1⁸·c_1_2³
       + c_1_0²·c_1_2²·c_1_3⁸ + c_1_0²·c_1_2⁸·c_1_3² + c_1_0²·c_1_1·c_1_2·c_1_3⁸
       + c_1_0²·c_1_1·c_1_2⁸·c_1_3 + c_1_0²·c_1_1²·c_1_3⁸
       + c_1_0²·c_1_1²·c_1_2⁴·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2⁸
       + c_1_0²·c_1_1⁴·c_1_2²·c_1_3⁴ + c_1_0²·c_1_1⁴·c_1_2⁴·c_1_3²
       + c_1_0²·c_1_1⁸·c_1_3² + c_1_0²·c_1_1⁸·c_1_2·c_1_3 + c_1_0²·c_1_1⁸·c_1_2²
       + c_1_0⁴·c_1_2²·c_1_3⁶ + c_1_0⁴·c_1_2³·c_1_3⁵ + c_1_0⁴·c_1_2⁵·c_1_3³
       + c_1_0⁴·c_1_2⁶·c_1_3² + c_1_0⁴·c_1_1·c_1_2·c_1_3⁶
       + c_1_0⁴·c_1_1·c_1_2²·c_1_3⁵ + c_1_0⁴·c_1_1·c_1_2⁴·c_1_3³
       + c_1_0⁴·c_1_1·c_1_2⁶·c_1_3 + c_1_0⁴·c_1_1²·c_1_3⁶
       + c_1_0⁴·c_1_1²·c_1_2⁵·c_1_3 + c_1_0⁴·c_1_1²·c_1_2⁶ + c_1_0⁴·c_1_1³·c_1_3⁵
       + c_1_0⁴·c_1_1³·c_1_2⁴·c_1_3 + c_1_0⁴·c_1_1³·c_1_2⁵
       + c_1_0⁴·c_1_1⁴·c_1_2²·c_1_3² + c_1_0⁴·c_1_1⁴·c_1_2³·c_1_3
       + c_1_0⁴·c_1_1⁵·c_1_3³ + c_1_0⁴·c_1_1⁵·c_1_2²·c_1_3 + c_1_0⁴·c_1_1⁵·c_1_2³
       + c_1_0⁴·c_1_1⁶·c_1_3² + c_1_0⁴·c_1_1⁶·c_1_2·c_1_3 + c_1_0⁴·c_1_1⁶·c_1_2²
       + c_1_0⁵·c_1_1·c_1_2²·c_1_3⁴ + c_1_0⁵·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0⁵·c_1_1²·c_1_2·c_1_3⁴ + c_1_0⁵·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0⁵·c_1_1⁴·c_1_2·c_1_3² + c_1_0⁵·c_1_1⁴·c_1_2²·c_1_3, an element of degree 12
23. b_13_0 → c_1_1·c_1_2²·c_1_3¹⁰ + c_1_1·c_1_2⁴·c_1_3⁸ + c_1_1·c_1_2⁶·c_1_3⁶
       + c_1_1·c_1_2¹⁰·c_1_3² + c_1_1²·c_1_2·c_1_3¹⁰ + c_1_1²·c_1_2⁴·c_1_3⁷
       + c_1_1²·c_1_2⁵·c_1_3⁶ + c_1_1²·c_1_2⁷·c_1_3⁴ + c_1_1²·c_1_2⁸·c_1_3³
       + c_1_1²·c_1_2¹⁰·c_1_3 + c_1_1³·c_1_2⁴·c_1_3⁶ + c_1_1³·c_1_2⁶·c_1_3⁴
       + c_1_1⁴·c_1_2·c_1_3⁸ + c_1_1⁴·c_1_2²·c_1_3⁷ + c_1_1⁴·c_1_2³·c_1_3⁶
       + c_1_1⁴·c_1_2⁵·c_1_3⁴ + c_1_1⁴·c_1_2⁷·c_1_3² + c_1_1⁴·c_1_2⁸·c_1_3
       + c_1_1⁵·c_1_2²·c_1_3⁶ + c_1_1⁵·c_1_2⁶·c_1_3² + c_1_1⁶·c_1_2·c_1_3⁶
       + c_1_1⁶·c_1_2⁶·c_1_3 + c_1_1⁷·c_1_2²·c_1_3⁴ + c_1_1⁷·c_1_2⁴·c_1_3²
       + c_1_1⁸·c_1_2²·c_1_3³ + c_1_1⁸·c_1_2³·c_1_3² + c_1_1¹⁰·c_1_2·c_1_3²
       + c_1_1¹⁰·c_1_2²·c_1_3 + c_1_0·c_1_2⁴·c_1_3⁸ + c_1_0·c_1_2⁸·c_1_3⁴
       + c_1_0·c_1_1²·c_1_2²·c_1_3⁸ + c_1_0·c_1_1²·c_1_2⁸·c_1_3²
       + c_1_0·c_1_1⁴·c_1_3⁸ + c_1_0·c_1_1⁴·c_1_2⁴·c_1_3⁴ + c_1_0·c_1_1⁴·c_1_2⁸
       + c_1_0·c_1_1⁸·c_1_3⁴ + c_1_0·c_1_1⁸·c_1_2²·c_1_3² + c_1_0·c_1_1⁸·c_1_2⁴
       + c_1_0²·c_1_2³·c_1_3⁸ + c_1_0²·c_1_2⁵·c_1_3⁶ + c_1_0²·c_1_2⁶·c_1_3⁵
       + c_1_0²·c_1_2⁸·c_1_3³ + c_1_0²·c_1_1·c_1_2²·c_1_3⁸
       + c_1_0²·c_1_1·c_1_2⁶·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2⁵·c_1_3⁴
       + c_1_0²·c_1_1²·c_1_2⁸·c_1_3 + c_1_0²·c_1_1³·c_1_3⁸
       + c_1_0²·c_1_1³·c_1_2⁴·c_1_3⁴ + c_1_0²·c_1_1³·c_1_2⁸
       + c_1_0²·c_1_1⁴·c_1_2·c_1_3⁶ + c_1_0²·c_1_1⁴·c_1_2²·c_1_3⁵
       + c_1_0²·c_1_1⁴·c_1_2³·c_1_3⁴ + c_1_0²·c_1_1⁴·c_1_2⁴·c_1_3³
       + c_1_0²·c_1_1⁵·c_1_3⁶ + c_1_0²·c_1_1⁵·c_1_2²·c_1_3⁴
       + c_1_0²·c_1_1⁵·c_1_2⁶ + c_1_0²·c_1_1⁶·c_1_3⁵
       + c_1_0²·c_1_1⁶·c_1_2·c_1_3⁴ + c_1_0²·c_1_1⁶·c_1_2⁵
       + c_1_0²·c_1_1⁸·c_1_3³ + c_1_0²·c_1_1⁸·c_1_2²·c_1_3 + c_1_0²·c_1_1⁸·c_1_2³
       + c_1_0⁴·c_1_2³·c_1_3⁶ + c_1_0⁴·c_1_2⁴·c_1_3⁵ + c_1_0⁴·c_1_2⁵·c_1_3⁴
       + c_1_0⁴·c_1_2⁶·c_1_3³ + c_1_0⁴·c_1_1·c_1_2⁴·c_1_3⁴
       + c_1_0⁴·c_1_1·c_1_2⁶·c_1_3² + c_1_0⁴·c_1_1²·c_1_2·c_1_3⁶
       + c_1_0⁴·c_1_1²·c_1_2²·c_1_3⁵ + c_1_0⁴·c_1_1²·c_1_2⁴·c_1_3³
       + c_1_0⁴·c_1_1²·c_1_2⁵·c_1_3² + c_1_0⁴·c_1_1³·c_1_3⁶
       + c_1_0⁴·c_1_1³·c_1_2⁴·c_1_3² + c_1_0⁴·c_1_1³·c_1_2⁶
       + c_1_0⁴·c_1_1⁴·c_1_3⁵ + c_1_0⁴·c_1_1⁴·c_1_2³·c_1_3²
       + c_1_0⁴·c_1_1⁴·c_1_2⁵ + c_1_0⁴·c_1_1⁵·c_1_3⁴
       + c_1_0⁴·c_1_1⁵·c_1_2²·c_1_3² + c_1_0⁴·c_1_1⁵·c_1_2⁴
       + c_1_0⁴·c_1_1⁶·c_1_3³ + c_1_0⁴·c_1_1⁶·c_1_2·c_1_3²
       + c_1_0⁴·c_1_1⁶·c_1_2³ + c_1_0⁶·c_1_1·c_1_2²·c_1_3⁴
       + c_1_0⁶·c_1_1·c_1_2⁴·c_1_3² + c_1_0⁶·c_1_1²·c_1_2·c_1_3⁴
       + c_1_0⁶·c_1_1²·c_1_2⁴·c_1_3 + c_1_0⁶·c_1_1⁴·c_1_2·c_1_3²
       + c_1_0⁶·c_1_1⁴·c_1_2²·c_1_3, an element of degree 13

Restriction map to a maximal el. ab. subgp. of rank 4 in a Sylow subgroup

1. b_2_0 → c_1_2² + c_1_1·c_1_2 + c_1_1², an element of degree 2
2. a_3_2 → 0, an element of degree 3
3. b_3_1 → 0, an element of degree 3
4. b_3_0 → c_1_1·c_1_2² + c_1_1²·c_1_2, an element of degree 3
5. b_4_2 → c_1_3⁴ + c_1_2³·c_1_3 + c_1_1·c_1_2²·c_1_3 + c_1_1³·c_1_3 + c_1_0·c_1_1·c_1_2²
      + c_1_0·c_1_1²·c_1_2, an element of degree 4
6. b_4_0 → c_1_2²·c_1_3² + c_1_2³·c_1_3 + c_1_1·c_1_2·c_1_3² + c_1_1²·c_1_3²
      + c_1_1²·c_1_2·c_1_3 + c_1_1³·c_1_3 + c_1_0·c_1_1·c_1_2² + c_1_0·c_1_1²·c_1_2, an element of degree 4
7. b_5_0 → c_1_2³·c_1_3² + c_1_2⁴·c_1_3 + c_1_1·c_1_2²·c_1_3² + c_1_1²·c_1_2²·c_1_3
      + c_1_1³·c_1_3² + c_1_1⁴·c_1_3 + c_1_0²·c_1_1·c_1_2² + c_1_0²·c_1_1²·c_1_2, an element of degree 5
8. b_6_3 → 0, an element of degree 6
9. b_6_1 → c_1_1·c_1_2²·c_1_3³ + c_1_1·c_1_2⁴·c_1_3 + c_1_1²·c_1_2·c_1_3³
      + c_1_1⁴·c_1_2·c_1_3 + c_1_0·c_1_2³·c_1_3² + c_1_0·c_1_2⁴·c_1_3
      + c_1_0·c_1_1·c_1_2²·c_1_3² + c_1_0·c_1_1²·c_1_2²·c_1_3 + c_1_0·c_1_1³·c_1_3²
      + c_1_0·c_1_1⁴·c_1_3 + c_1_0²·c_1_2²·c_1_3² + c_1_0²·c_1_2³·c_1_3
      + c_1_0²·c_1_2⁴ + c_1_0²·c_1_1·c_1_2·c_1_3² + c_1_0²·c_1_1²·c_1_3²
      + c_1_0²·c_1_1²·c_1_2·c_1_3 + c_1_0²·c_1_1²·c_1_2² + c_1_0²·c_1_1³·c_1_3
      + c_1_0²·c_1_1⁴ + c_1_0³·c_1_1·c_1_2² + c_1_0³·c_1_1²·c_1_2 + c_1_0⁴·c_1_2²
      + c_1_0⁴·c_1_1·c_1_2 + c_1_0⁴·c_1_1², an element of degree 6
10. b_7_9 → 0, an element of degree 7
11. a_7_7 → 0, an element of degree 7
12. b_7_2 → c_1_1·c_1_2⁴·c_1_3² + c_1_1·c_1_2⁵·c_1_3 + c_1_1²·c_1_2⁴·c_1_3
       + c_1_1³·c_1_2³·c_1_3 + c_1_1⁴·c_1_2·c_1_3² + c_1_1⁵·c_1_2·c_1_3
       + c_1_0·c_1_1²·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2², an element of degree 7
13. b_7_0 → c_1_2³·c_1_3⁴ + c_1_2⁵·c_1_3² + c_1_1·c_1_2⁴·c_1_3² + c_1_1·c_1_2⁵·c_1_3
       + c_1_1²·c_1_2·c_1_3⁴ + c_1_1²·c_1_2⁴·c_1_3 + c_1_1³·c_1_3⁴
       + c_1_1³·c_1_2³·c_1_3 + c_1_1⁵·c_1_3² + c_1_1⁵·c_1_2·c_1_3
       + c_1_0·c_1_1²·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2² + c_1_0²·c_1_1·c_1_2⁴
       + c_1_0²·c_1_1⁴·c_1_2 + c_1_0⁴·c_1_1·c_1_2² + c_1_0⁴·c_1_1²·c_1_2, an element of degree 7
14. b_8_7 → c_1_2²·c_1_3⁶ + c_1_2³·c_1_3⁵ + c_1_2⁴·c_1_3⁴ + c_1_2⁵·c_1_3³
       + c_1_1·c_1_2·c_1_3⁶ + c_1_1·c_1_2⁵·c_1_3² + c_1_1²·c_1_3⁶
       + c_1_1²·c_1_2·c_1_3⁵ + c_1_1²·c_1_2²·c_1_3⁴ + c_1_1²·c_1_2⁴·c_1_3²
       + c_1_1³·c_1_3⁵ + c_1_1³·c_1_2³·c_1_3² + c_1_1⁴·c_1_3⁴
       + c_1_1⁴·c_1_2·c_1_3³ + c_1_1⁵·c_1_3³ + c_1_1⁵·c_1_2·c_1_3²
       + c_1_0·c_1_1·c_1_2²·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0·c_1_1²·c_1_2·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0·c_1_1⁴·c_1_2·c_1_3² + c_1_0·c_1_1⁴·c_1_2²·c_1_3, an element of degree 8
15. c_8_2 → c_1_2²·c_1_3⁶ + c_1_2³·c_1_3⁵ + c_1_2⁴·c_1_3⁴ + c_1_2⁵·c_1_3³
       + c_1_1·c_1_2·c_1_3⁶ + c_1_1·c_1_2²·c_1_3⁵ + c_1_1·c_1_2⁴·c_1_3³
       + c_1_1·c_1_2⁶·c_1_3 + c_1_1²·c_1_3⁶ + c_1_1²·c_1_2²·c_1_3⁴
       + c_1_1²·c_1_2⁵·c_1_3 + c_1_1³·c_1_3⁵ + c_1_1³·c_1_2⁴·c_1_3 + c_1_1⁴·c_1_3⁴
       + c_1_1⁴·c_1_2³·c_1_3 + c_1_1⁵·c_1_3³ + c_1_1⁵·c_1_2²·c_1_3
       + c_1_1⁶·c_1_2·c_1_3 + c_1_0·c_1_2³·c_1_3⁴ + c_1_0·c_1_2⁵·c_1_3²
       + c_1_0·c_1_1·c_1_2²·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3 + c_1_0·c_1_1³·c_1_3⁴ + c_1_0·c_1_1⁴·c_1_2²·c_1_3
       + c_1_0·c_1_1⁵·c_1_3² + c_1_0²·c_1_2⁴·c_1_3² + c_1_0²·c_1_2⁵·c_1_3
       + c_1_0²·c_1_1·c_1_2⁴·c_1_3 + c_1_0²·c_1_1²·c_1_2²·c_1_3²
       + c_1_0²·c_1_1²·c_1_2⁴ + c_1_0²·c_1_1⁴·c_1_3² + c_1_0²·c_1_1⁴·c_1_2²
       + c_1_0²·c_1_1⁵·c_1_3 + c_1_0³·c_1_1·c_1_2⁴ + c_1_0³·c_1_1⁴·c_1_2
       + c_1_0⁴·c_1_3⁴ + c_1_0⁴·c_1_2³·c_1_3 + c_1_0⁴·c_1_2⁴
       + c_1_0⁴·c_1_1·c_1_2²·c_1_3 + c_1_0⁴·c_1_1²·c_1_2² + c_1_0⁴·c_1_1³·c_1_3
       + c_1_0⁴·c_1_1⁴ + c_1_0⁵·c_1_1·c_1_2² + c_1_0⁵·c_1_1²·c_1_2 + c_1_0⁸, an element of degree 8
16. b_8_0 → c_1_2⁴·c_1_3⁴ + c_1_2⁷·c_1_3 + c_1_1·c_1_2²·c_1_3⁵ + c_1_1·c_1_2⁵·c_1_3²
       + c_1_1·c_1_2⁶·c_1_3 + c_1_1²·c_1_2·c_1_3⁵ + c_1_1²·c_1_2²·c_1_3⁴
       + c_1_1²·c_1_2⁴·c_1_3² + c_1_1²·c_1_2⁵·c_1_3 + c_1_1³·c_1_2³·c_1_3²
       + c_1_1⁴·c_1_3⁴ + c_1_1⁴·c_1_2³·c_1_3 + c_1_1⁵·c_1_2·c_1_3² + c_1_1⁷·c_1_3
       + c_1_0·c_1_2³·c_1_3⁴ + c_1_0·c_1_2⁶·c_1_3 + c_1_0·c_1_1·c_1_2²·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁴·c_1_3² + c_1_0·c_1_1·c_1_2⁵·c_1_3 + c_1_0·c_1_1·c_1_2⁶
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3 + c_1_0·c_1_1²·c_1_2⁵ + c_1_0·c_1_1³·c_1_3⁴
       + c_1_0·c_1_1³·c_1_2³·c_1_3 + c_1_0·c_1_1³·c_1_2⁴ + c_1_0·c_1_1⁴·c_1_2·c_1_3²
       + c_1_0·c_1_1⁴·c_1_2²·c_1_3 + c_1_0·c_1_1⁴·c_1_2³ + c_1_0·c_1_1⁵·c_1_2·c_1_3
       + c_1_0·c_1_1⁵·c_1_2² + c_1_0·c_1_1⁶·c_1_3 + c_1_0·c_1_1⁶·c_1_2
       + c_1_0²·c_1_2²·c_1_3⁴ + c_1_0²·c_1_2⁴·c_1_3² + c_1_0²·c_1_2⁶
       + c_1_0²·c_1_1·c_1_2·c_1_3⁴ + c_1_0²·c_1_1·c_1_2⁴·c_1_3 + c_1_0²·c_1_1·c_1_2⁵
       + c_1_0²·c_1_1²·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2²·c_1_3²
       + c_1_0²·c_1_1³·c_1_2³ + c_1_0²·c_1_1⁴·c_1_3² + c_1_0²·c_1_1⁴·c_1_2·c_1_3
       + c_1_0²·c_1_1⁵·c_1_2 + c_1_0²·c_1_1⁶ + c_1_0⁴·c_1_2²·c_1_3²
       + c_1_0⁴·c_1_2³·c_1_3 + c_1_0⁴·c_1_2⁴ + c_1_0⁴·c_1_1·c_1_2·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_3² + c_1_0⁴·c_1_1²·c_1_2·c_1_3 + c_1_0⁴·c_1_1²·c_1_2²
       + c_1_0⁴·c_1_1³·c_1_3 + c_1_0⁴·c_1_1⁴ + c_1_0⁵·c_1_1·c_1_2²
       + c_1_0⁵·c_1_1²·c_1_2, an element of degree 8
17. b_9_5 → 0, an element of degree 9
18. b_9_1 → c_1_2⁵·c_1_3⁴ + c_1_2⁷·c_1_3² + c_1_1²·c_1_2⁶·c_1_3 + c_1_1³·c_1_2⁴·c_1_3²
       + c_1_1³·c_1_2⁵·c_1_3 + c_1_1⁴·c_1_2·c_1_3⁴ + c_1_1⁵·c_1_3⁴
       + c_1_1⁵·c_1_2²·c_1_3² + c_1_1⁵·c_1_2³·c_1_3 + c_1_1⁶·c_1_2·c_1_3²
       + c_1_1⁶·c_1_2²·c_1_3 + c_1_1⁷·c_1_3² + c_1_0²·c_1_1·c_1_2⁶
       + c_1_0²·c_1_1²·c_1_2⁵ + c_1_0²·c_1_1³·c_1_2⁴ + c_1_0²·c_1_1⁴·c_1_2³
       + c_1_0²·c_1_1⁵·c_1_2² + c_1_0²·c_1_1⁶·c_1_2 + c_1_0⁴·c_1_1·c_1_2⁴
       + c_1_0⁴·c_1_1⁴·c_1_2, an element of degree 9
19. b_9_0 → c_1_1·c_1_2²·c_1_3⁶ + c_1_1·c_1_2⁷·c_1_3 + c_1_1²·c_1_2·c_1_3⁶
       + c_1_1²·c_1_2⁴·c_1_3³ + c_1_1²·c_1_2⁶·c_1_3 + c_1_1⁴·c_1_2²·c_1_3³
       + c_1_1⁵·c_1_2³·c_1_3 + c_1_1⁷·c_1_2·c_1_3 + c_1_0·c_1_2⁴·c_1_3⁴
       + c_1_0·c_1_2⁶·c_1_3² + c_1_0·c_1_1²·c_1_2²·c_1_3⁴ + c_1_0·c_1_1²·c_1_2⁶
       + c_1_0·c_1_1³·c_1_2⁵ + c_1_0·c_1_1⁴·c_1_3⁴ + c_1_0·c_1_1⁴·c_1_2²·c_1_3²
       + c_1_0·c_1_1⁵·c_1_2³ + c_1_0·c_1_1⁶·c_1_3² + c_1_0·c_1_1⁶·c_1_2²
       + c_1_0²·c_1_2³·c_1_3⁴ + c_1_0²·c_1_2⁶·c_1_3 + c_1_0²·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0²·c_1_1²·c_1_2·c_1_3⁴ + c_1_0²·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0²·c_1_1³·c_1_3⁴ + c_1_0²·c_1_1⁴·c_1_2·c_1_3² + c_1_0²·c_1_1⁶·c_1_3
       + c_1_0³·c_1_1²·c_1_2⁴ + c_1_0³·c_1_1⁴·c_1_2² + c_1_0⁴·c_1_2³·c_1_3²
       + c_1_0⁴·c_1_2⁴·c_1_3 + c_1_0⁴·c_1_1·c_1_2²·c_1_3² + c_1_0⁴·c_1_1·c_1_2⁴
       + c_1_0⁴·c_1_1²·c_1_2²·c_1_3 + c_1_0⁴·c_1_1³·c_1_3² + c_1_0⁴·c_1_1⁴·c_1_3
       + c_1_0⁴·c_1_1⁴·c_1_2 + c_1_0⁶·c_1_1·c_1_2² + c_1_0⁶·c_1_1²·c_1_2, an element of degree 9
20. b_10_2 → c_1_2²·c_1_3⁸ + c_1_2⁴·c_1_3⁶ + c_1_2⁵·c_1_3⁵ + c_1_2⁷·c_1_3³
       + c_1_1·c_1_2·c_1_3⁸ + c_1_1·c_1_2⁴·c_1_3⁵ + c_1_1·c_1_2⁶·c_1_3³
       + c_1_1·c_1_2⁷·c_1_3² + c_1_1²·c_1_3⁸ + c_1_1²·c_1_2²·c_1_3⁶
       + c_1_1²·c_1_2⁵·c_1_3³ + c_1_1²·c_1_2⁶·c_1_3² + c_1_1⁴·c_1_3⁶
       + c_1_1⁴·c_1_2³·c_1_3³ + c_1_1⁵·c_1_3⁵ + c_1_1⁵·c_1_2³·c_1_3²
       + c_1_1⁷·c_1_3³ + c_1_1⁷·c_1_2·c_1_3² + c_1_0·c_1_1·c_1_2⁴·c_1_3⁴
       + c_1_0·c_1_1·c_1_2⁶·c_1_3² + c_1_0·c_1_1²·c_1_2⁵·c_1_3²
       + c_1_0·c_1_1²·c_1_2⁶·c_1_3 + c_1_0·c_1_1³·c_1_2⁴·c_1_3²
       + c_1_0·c_1_1³·c_1_2⁵·c_1_3 + c_1_0·c_1_1⁴·c_1_2·c_1_3⁴
       + c_1_0·c_1_1⁴·c_1_2³·c_1_3² + c_1_0·c_1_1⁵·c_1_2²·c_1_3²
       + c_1_0·c_1_1⁵·c_1_2³·c_1_3 + c_1_0·c_1_1⁶·c_1_2·c_1_3²
       + c_1_0·c_1_1⁶·c_1_2²·c_1_3, an element of degree 10
21. b_11_1 → 0, an element of degree 11
22. b_12_5 → c_1_2²·c_1_3¹⁰ + c_1_2³·c_1_3⁹ + c_1_2⁴·c_1_3⁸ + c_1_2⁹·c_1_3³
       + c_1_1·c_1_2·c_1_3¹⁰ + c_1_1·c_1_2²·c_1_3⁹ + c_1_1·c_1_2⁵·c_1_3⁶
       + c_1_1·c_1_2⁹·c_1_3² + c_1_1²·c_1_3¹⁰ + c_1_1²·c_1_2²·c_1_3⁸
       + c_1_1²·c_1_2⁴·c_1_3⁶ + c_1_1²·c_1_2⁶·c_1_3⁴ + c_1_1²·c_1_2⁷·c_1_3³
       + c_1_1²·c_1_2⁹·c_1_3 + c_1_1³·c_1_3⁹ + c_1_1³·c_1_2³·c_1_3⁶
       + c_1_1³·c_1_2⁵·c_1_3⁴ + c_1_1⁴·c_1_3⁸ + c_1_1⁴·c_1_2⁶·c_1_3²
       + c_1_1⁴·c_1_2⁷·c_1_3 + c_1_1⁵·c_1_2·c_1_3⁶ + c_1_1⁵·c_1_2³·c_1_3⁴
       + c_1_1⁵·c_1_2⁴·c_1_3³ + c_1_1⁵·c_1_2⁵·c_1_3² + c_1_1⁶·c_1_2²·c_1_3⁴
       + c_1_1⁶·c_1_2³·c_1_3³ + c_1_1⁶·c_1_2⁴·c_1_3² + c_1_1⁶·c_1_2⁵·c_1_3
       + c_1_1⁷·c_1_2²·c_1_3³ + c_1_1⁷·c_1_2⁴·c_1_3 + c_1_1⁸·c_1_2·c_1_3³
       + c_1_1⁸·c_1_2²·c_1_3² + c_1_1⁸·c_1_2³·c_1_3 + c_1_1⁹·c_1_3³
       + c_1_1⁹·c_1_2·c_1_3² + c_1_1⁹·c_1_2²·c_1_3 + c_1_0·c_1_2³·c_1_3⁸
       + c_1_0·c_1_2⁷·c_1_3⁴ + c_1_0·c_1_2⁹·c_1_3² + c_1_0·c_1_2¹⁰·c_1_3
       + c_1_0·c_1_1·c_1_2⁴·c_1_3⁶ + c_1_0·c_1_1·c_1_2⁵·c_1_3⁵
       + c_1_0·c_1_1·c_1_2⁷·c_1_3³ + c_1_0·c_1_1·c_1_2⁸·c_1_3²
       + c_1_0·c_1_1·c_1_2⁹·c_1_3 + c_1_0·c_1_1²·c_1_2·c_1_3⁸
       + c_1_0·c_1_1²·c_1_2⁴·c_1_3⁵ + c_1_0·c_1_1²·c_1_2⁶·c_1_3³
       + c_1_0·c_1_1²·c_1_2⁷·c_1_3² + c_1_0·c_1_1³·c_1_3⁸
       + c_1_0·c_1_1³·c_1_2³·c_1_3⁵ + c_1_0·c_1_1³·c_1_2⁴·c_1_3⁴
       + c_1_0·c_1_1³·c_1_2⁶·c_1_3² + c_1_0·c_1_1³·c_1_2⁸
       + c_1_0·c_1_1⁴·c_1_2·c_1_3⁶ + c_1_0·c_1_1⁴·c_1_2⁵·c_1_3²
       + c_1_0·c_1_1⁴·c_1_2⁶·c_1_3 + c_1_0·c_1_1⁵·c_1_2·c_1_3⁵
       + c_1_0·c_1_1⁵·c_1_2²·c_1_3⁴ + c_1_0·c_1_1⁵·c_1_2³·c_1_3³
       + c_1_0·c_1_1⁵·c_1_2⁵·c_1_3 + c_1_0·c_1_1⁵·c_1_2⁶ + c_1_0·c_1_1⁶·c_1_2·c_1_3⁴
       + c_1_0·c_1_1⁶·c_1_2⁴·c_1_3 + c_1_0·c_1_1⁶·c_1_2⁵ + c_1_0·c_1_1⁷·c_1_3⁴
       + c_1_0·c_1_1⁷·c_1_2·c_1_3³ + c_1_0·c_1_1⁷·c_1_2²·c_1_3²
       + c_1_0·c_1_1⁸·c_1_2³ + c_1_0·c_1_1⁹·c_1_3² + c_1_0·c_1_1⁹·c_1_2·c_1_3
       + c_1_0·c_1_1¹⁰·c_1_3 + c_1_0²·c_1_2²·c_1_3⁸ + c_1_0²·c_1_2⁴·c_1_3⁶
       + c_1_0²·c_1_2⁵·c_1_3⁵ + c_1_0²·c_1_2⁶·c_1_3⁴ + c_1_0²·c_1_2⁷·c_1_3³
       + c_1_0²·c_1_2⁹·c_1_3 + c_1_0²·c_1_2¹⁰ + c_1_0²·c_1_1·c_1_2·c_1_3⁸
       + c_1_0²·c_1_1·c_1_2⁴·c_1_3⁵ + c_1_0²·c_1_1·c_1_2⁶·c_1_3³
       + c_1_0²·c_1_1·c_1_2⁷·c_1_3² + c_1_0²·c_1_1·c_1_2⁸·c_1_3
       + c_1_0²·c_1_1·c_1_2⁹ + c_1_0²·c_1_1²·c_1_3⁸
       + c_1_0²·c_1_1²·c_1_2²·c_1_3⁶ + c_1_0²·c_1_1²·c_1_2⁴·c_1_3⁴
       + c_1_0²·c_1_1²·c_1_2⁵·c_1_3³ + c_1_0²·c_1_1²·c_1_2⁶·c_1_3²
       + c_1_0²·c_1_1²·c_1_2⁷·c_1_3 + c_1_0²·c_1_1²·c_1_2⁸
       + c_1_0²·c_1_1³·c_1_2⁶·c_1_3 + c_1_0²·c_1_1⁴·c_1_3⁶
       + c_1_0²·c_1_1⁴·c_1_2³·c_1_3³ + c_1_0²·c_1_1⁴·c_1_2⁵·c_1_3
       + c_1_0²·c_1_1⁴·c_1_2⁶ + c_1_0²·c_1_1⁵·c_1_3⁵
       + c_1_0²·c_1_1⁵·c_1_2³·c_1_3² + c_1_0²·c_1_1⁵·c_1_2⁵
       + c_1_0²·c_1_1⁶·c_1_3⁴ + c_1_0²·c_1_1⁶·c_1_2⁴ + c_1_0²·c_1_1⁷·c_1_3³
       + c_1_0²·c_1_1⁷·c_1_2·c_1_3² + c_1_0²·c_1_1⁷·c_1_2²·c_1_3
       + c_1_0²·c_1_1⁸·c_1_2² + c_1_0²·c_1_1⁹·c_1_3 + c_1_0²·c_1_1⁹·c_1_2
       + c_1_0²·c_1_1¹⁰ + c_1_0³·c_1_1·c_1_2⁴·c_1_3⁴ + c_1_0³·c_1_1·c_1_2⁶·c_1_3²
       + c_1_0³·c_1_1·c_1_2⁸ + c_1_0³·c_1_1²·c_1_2⁵·c_1_3²
       + c_1_0³·c_1_1²·c_1_2⁶·c_1_3 + c_1_0³·c_1_1³·c_1_2⁴·c_1_3²
       + c_1_0³·c_1_1³·c_1_2⁵·c_1_3 + c_1_0³·c_1_1³·c_1_2⁶
       + c_1_0³·c_1_1⁴·c_1_2·c_1_3⁴ + c_1_0³·c_1_1⁴·c_1_2³·c_1_3²
       + c_1_0³·c_1_1⁴·c_1_2⁵ + c_1_0³·c_1_1⁵·c_1_2²·c_1_3²
       + c_1_0³·c_1_1⁵·c_1_2³·c_1_3 + c_1_0³·c_1_1⁵·c_1_2⁴
       + c_1_0³·c_1_1⁶·c_1_2·c_1_3² + c_1_0³·c_1_1⁶·c_1_2²·c_1_3
       + c_1_0³·c_1_1⁶·c_1_2³ + c_1_0³·c_1_1⁸·c_1_2 + c_1_0⁴·c_1_2²·c_1_3⁶
       + c_1_0⁴·c_1_2³·c_1_3⁵ + c_1_0⁴·c_1_2⁵·c_1_3³ + c_1_0⁴·c_1_2⁶·c_1_3²
       + c_1_0⁴·c_1_1·c_1_2·c_1_3⁶ + c_1_0⁴·c_1_1·c_1_2⁵·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_3⁶ + c_1_0⁴·c_1_1²·c_1_2·c_1_3⁵
       + c_1_0⁴·c_1_1²·c_1_2⁴·c_1_3² + c_1_0⁴·c_1_1²·c_1_2⁶
       + c_1_0⁴·c_1_1³·c_1_3⁵ + c_1_0⁴·c_1_1³·c_1_2³·c_1_3²
       + c_1_0⁴·c_1_1³·c_1_2⁵ + c_1_0⁴·c_1_1⁴·c_1_2·c_1_3³
       + c_1_0⁴·c_1_1⁴·c_1_2²·c_1_3² + c_1_0⁴·c_1_1⁵·c_1_3³
       + c_1_0⁴·c_1_1⁵·c_1_2·c_1_3² + c_1_0⁴·c_1_1⁵·c_1_2³
       + c_1_0⁴·c_1_1⁶·c_1_3² + c_1_0⁴·c_1_1⁶·c_1_2²
       + c_1_0⁵·c_1_1·c_1_2²·c_1_3⁴ + c_1_0⁵·c_1_1·c_1_2⁴·c_1_3²
       + c_1_0⁵·c_1_1²·c_1_2·c_1_3⁴ + c_1_0⁵·c_1_1²·c_1_2⁴·c_1_3
       + c_1_0⁵·c_1_1⁴·c_1_2·c_1_3² + c_1_0⁵·c_1_1⁴·c_1_2²·c_1_3
       + c_1_0⁶·c_1_1²·c_1_2⁴ + c_1_0⁶·c_1_1⁴·c_1_2² + c_1_0⁸·c_1_2⁴
       + c_1_0⁸·c_1_1²·c_1_2² + c_1_0⁸·c_1_1⁴, an element of degree 12
23. b_13_0 → c_1_1·c_1_2⁵·c_1_3⁷ + c_1_1·c_1_2⁸·c_1_3⁴ + c_1_1·c_1_2⁹·c_1_3³
       + c_1_1·c_1_2¹⁰·c_1_3² + c_1_1²·c_1_2⁸·c_1_3³ + c_1_1²·c_1_2¹⁰·c_1_3
       + c_1_1³·c_1_2³·c_1_3⁷ + c_1_1³·c_1_2⁹·c_1_3 + c_1_1⁴·c_1_2²·c_1_3⁷
       + c_1_1⁴·c_1_2⁶·c_1_3³ + c_1_1⁴·c_1_2⁷·c_1_3² + c_1_1⁴·c_1_2⁸·c_1_3
       + c_1_1⁵·c_1_2·c_1_3⁷ + c_1_1⁵·c_1_2⁵·c_1_3³ + c_1_1⁵·c_1_2⁶·c_1_3²
       + c_1_1⁶·c_1_2⁴·c_1_3³ + c_1_1⁷·c_1_2⁴·c_1_3² + c_1_1⁸·c_1_2·c_1_3⁴
       + c_1_1⁸·c_1_2³·c_1_3² + c_1_1⁸·c_1_2⁴·c_1_3 + c_1_1⁹·c_1_2·c_1_3³
       + c_1_1⁹·c_1_2³·c_1_3 + c_1_1¹⁰·c_1_2·c_1_3² + c_1_1¹⁰·c_1_2²·c_1_3
       + c_1_0·c_1_2⁶·c_1_3⁶ + c_1_0·c_1_2⁷·c_1_3⁵ + c_1_0·c_1_2⁸·c_1_3⁴
       + c_1_0·c_1_2⁹·c_1_3³ + c_1_0·c_1_1·c_1_2⁶·c_1_3⁵
       + c_1_0·c_1_1·c_1_2⁷·c_1_3⁴ + c_1_0·c_1_1·c_1_2⁸·c_1_3³
       + c_1_0·c_1_1·c_1_2¹⁰·c_1_3 + c_1_0·c_1_1²·c_1_2⁴·c_1_3⁶
       + c_1_0·c_1_1²·c_1_2⁵·c_1_3⁵ + c_1_0·c_1_1²·c_1_2⁹·c_1_3
       + c_1_0·c_1_1³·c_1_2⁵·c_1_3⁴ + c_1_0·c_1_1³·c_1_2⁸·c_1_3
       + c_1_0·c_1_1⁴·c_1_2³·c_1_3⁵ + c_1_0·c_1_1⁴·c_1_2⁴·c_1_3⁴
       + c_1_0·c_1_1⁶·c_1_3⁶ + c_1_0·c_1_1⁶·c_1_2²·c_1_3⁴ + c_1_0·c_1_1⁷·c_1_3⁵
       + c_1_0·c_1_1⁷·c_1_2·c_1_3⁴ + c_1_0·c_1_1⁸·c_1_3⁴ + c_1_0·c_1_1⁸·c_1_2³·c_1_3
       + c_1_0·c_1_1⁹·c_1_3³ + c_1_0·c_1_1⁹·c_1_2²·c_1_3 + c_1_0·c_1_1¹⁰·c_1_2·c_1_3
       + c_1_0²·c_1_2⁵·c_1_3⁶ + c_1_0²·c_1_2⁶·c_1_3⁵ + c_1_0²·c_1_2⁸·c_1_3³
       + c_1_0²·c_1_2⁹·c_1_3² + c_1_0²·c_1_1·c_1_2⁵·c_1_3⁵
       + c_1_0²·c_1_1·c_1_2⁷·c_1_3³ + c_1_0²·c_1_1·c_1_2¹⁰
       + c_1_0²·c_1_1²·c_1_2⁴·c_1_3⁵ + c_1_0²·c_1_1²·c_1_2⁶·c_1_3³
       + c_1_0²·c_1_1²·c_1_2⁸·c_1_3 + c_1_0²·c_1_1²·c_1_2⁹
       + c_1_0²·c_1_1³·c_1_2³·c_1_3⁵ + c_1_0²·c_1_1⁴·c_1_2·c_1_3⁶
       + c_1_0²·c_1_1⁴·c_1_2²·c_1_3⁵ + c_1_0²·c_1_1⁴·c_1_2⁴·c_1_3³
       + c_1_0²·c_1_1⁵·c_1_3⁶ + c_1_0²·c_1_1⁵·c_1_2·c_1_3⁵
       + c_1_0²·c_1_1⁵·c_1_2³·c_1_3³ + c_1_0²·c_1_1⁵·c_1_2⁶
       + c_1_0²·c_1_1⁶·c_1_3⁵ + c_1_0²·c_1_1⁶·c_1_2⁵
       + c_1_0²·c_1_1⁷·c_1_2·c_1_3³ + c_1_0²·c_1_1⁸·c_1_3³
       + c_1_0²·c_1_1⁸·c_1_2·c_1_3² + c_1_0²·c_1_1⁸·c_1_2²·c_1_3
       + c_1_0²·c_1_1⁹·c_1_3² + c_1_0²·c_1_1⁹·c_1_2² + c_1_0²·c_1_1¹⁰·c_1_2
       + c_1_0³·c_1_1·c_1_2⁵·c_1_3⁴ + c_1_0³·c_1_1·c_1_2⁸·c_1_3
       + c_1_0³·c_1_1²·c_1_2⁶·c_1_3² + c_1_0³·c_1_1³·c_1_2³·c_1_3⁴
       + c_1_0³·c_1_1³·c_1_2⁵·c_1_3² + c_1_0³·c_1_1⁴·c_1_2²·c_1_3⁴
       + c_1_0³·c_1_1⁵·c_1_2·c_1_3⁴ + c_1_0³·c_1_1⁵·c_1_2³·c_1_3²
       + c_1_0³·c_1_1⁶·c_1_2²·c_1_3² + c_1_0³·c_1_1⁸·c_1_2·c_1_3
       + c_1_0⁴·c_1_2⁵·c_1_3⁴ + c_1_0⁴·c_1_2⁷·c_1_3²
       + c_1_0⁴·c_1_1²·c_1_2⁴·c_1_3³ + c_1_0⁴·c_1_1³·c_1_2⁴·c_1_3²
       + c_1_0⁴·c_1_1⁴·c_1_2·c_1_3⁴ + c_1_0⁴·c_1_1⁴·c_1_2²·c_1_3³
       + c_1_0⁴·c_1_1⁵·c_1_3⁴ + c_1_0⁴·c_1_1⁵·c_1_2²·c_1_3²
       + c_1_0⁴·c_1_1⁶·c_1_2·c_1_3² + c_1_0⁴·c_1_1⁷·c_1_3²
       + c_1_0⁵·c_1_1·c_1_2⁵·c_1_3² + c_1_0⁵·c_1_1·c_1_2⁶·c_1_3
       + c_1_0⁵·c_1_1²·c_1_2⁵·c_1_3 + c_1_0⁵·c_1_1³·c_1_2³·c_1_3²
       + c_1_0⁵·c_1_1³·c_1_2⁴·c_1_3 + c_1_0⁵·c_1_1⁴·c_1_2²·c_1_3²
       + c_1_0⁵·c_1_1⁴·c_1_2³·c_1_3 + c_1_0⁵·c_1_1⁵·c_1_2·c_1_3²
       + c_1_0⁵·c_1_1⁵·c_1_2²·c_1_3 + c_1_0⁵·c_1_1⁶·c_1_2·c_1_3
       + c_1_0⁶·c_1_1·c_1_2⁴·c_1_3² + c_1_0⁶·c_1_1·c_1_2⁵·c_1_3
       + c_1_0⁶·c_1_1²·c_1_2⁴·c_1_3 + c_1_0⁶·c_1_1³·c_1_2³·c_1_3
       + c_1_0⁶·c_1_1⁴·c_1_2·c_1_3² + c_1_0⁶·c_1_1⁵·c_1_2·c_1_3
       + c_1_0⁷·c_1_1²·c_1_2⁴ + c_1_0⁷·c_1_1⁴·c_1_2² + c_1_0⁸·c_1_1·c_1_2⁴
       + c_1_0⁸·c_1_1⁴·c_1_2, an element of degree 13

About the group

Ring generators

Ring relations

Completion information

Restriction maps