Mathematics:

Cohomology
→Theory
→Implementation

Jena:

Faculty

David Green

External links:

Singular

Gap

Mod-2-Cohomology of group number 7443 of order 576

About the group

Ring generators

Ring relations

Completion information

Restriction maps

General information on the group

• The group order factors as 2⁶ · 3².
• It is non-abelian.
• It has 2-Rank 4.
• The centre of a Sylow 2-subgroup has rank 2.
• Its Sylow 2-subgroup has 2 conjugacy classes of maximal elementary abelian subgroups, which are all of rank 4.

Structure of the cohomology ring

General information

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

  1  −  2·t  +  6·t2  −  5·t3  +  t4  +  7·t5  −  6·t6  +  3·t7  +  8·t8  −  11·t9  +  8·t10  +  3·t11  −  7·t12  +  9·t13  −  4·t14  +  t16

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

• The a-invariants are -∞,-∞,-3,-5,-4. They were obtained using the 1st, the 2nd, the second power of the 3rd, and the 4th filter regular parameter 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 24 minimal generators of maximal degree 12:

1. a_2_3, a nilpotent element of degree 2
2. a_2_2, a nilpotent element of degree 2
3. b_2_1, an element of degree 2
4. b_2_0, an element of degree 2
5. b_3_5, an element of degree 3
6. b_3_4, an element of degree 3
7. b_3_3, an element of degree 3
8. b_3_2, an element of degree 3
9. b_3_1, an element of degree 3
10. b_3_0, an element of degree 3
11. b_5_12, an element of degree 5
12. b_5_11, an element of degree 5
13. b_5_9, an element of degree 5
14. b_5_8, an element of degree 5
15. b_6_19, an element of degree 6
16. b_6_18, an element of degree 6
17. b_6_7, an element of degree 6
18. c_8_32, a Duflot element of degree 8
19. b_9_43, an element of degree 9
20. b_9_42, an element of degree 9
21. b_9_33, an element of degree 9
22. b_9_26, an element of degree 9
23. c_12_74, a Duflot element of degree 12
24. c_12_73, a Duflot element of degree 12

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Ring relations

There are 204 minimal relations of maximal degree 24:

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Data used for the Hilbert-Poincaré test

• We proved completion in degree 24 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. c_8_32, an element of degree 8
  2. c_12_74, an element of degree 12
  3. b_2_0, an element of degree 2
  4. b_3_2, an element of degree 3
• A Duflot regular sequence is given by c_8_32, c_12_74.
• The Raw Filter Degree Type of the filter regular HSOP is [-1, -1, 17, 17, 21].
• We found that there exists some HSOP over a finite extension field, in degrees 8,12,3,3.

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Restriction maps

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

1. a_2_3 → b_1_0·b_1_2 + b_1_0²
2. a_2_2 → b_1_0·b_1_3 + b_1_0·b_1_1 + b_1_0²
3. b_2_1 → b_1_1² + b_1_0·b_1_1 + b_1_0²
4. b_2_0 → b_1_3² + b_1_2·b_1_3 + b_1_2²
5. b_3_5 → b_1_0·b_1_1² + b_1_0²·b_1_1
6. b_3_4 → b_1_1³ + b_1_0²·b_1_1 + b_1_0³
7. b_3_3 → b_1_2·b_1_3² + b_1_2²·b_1_3
8. b_3_2 → b_1_3³ + b_1_2²·b_1_3 + b_1_2³ + b_1_0²·b_1_2 + b_1_0³
9. b_3_1 → b_3_10
10. b_3_0 → b_3_11 + b_1_0²·b_1_3
11. b_5_12 → c_4_19·b_1_2 + c_4_19·b_1_0 + c_4_18·b_1_3 + c_4_18·b_1_2 + c_4_18·b_1_1
12. b_5_11 → c_4_19·b_1_3 + c_4_19·b_1_1 + c_4_19·b_1_0 + c_4_18·b_1_2 + c_4_18·b_1_0
13. b_5_9 → b_1_0·b_1_1·b_3_10 + b_1_0²·b_3_11 + b_1_0²·b_3_10 + b_1_0³·b_1_1² + c_4_19·b_1_0
       + c_4_18·b_1_1 + c_4_18·b_1_0
14. b_5_8 → b_1_0·b_1_1·b_3_11 + b_1_0²·b_3_10 + b_1_0²·b_1_1³ + c_4_19·b_1_1 + c_4_18·b_1_0
15. b_6_19 → c_4_19·b_1_2² + c_4_19·b_1_0² + c_4_18·b_1_3² + c_4_18·b_1_2² + c_4_18·b_1_1²
16. b_6_18 → c_4_19·b_1_3² + c_4_19·b_1_1² + c_4_19·b_1_0² + c_4_18·b_1_2² + c_4_18·b_1_0²
17. b_6_7 → b_1_2²·b_1_3·b_3_11 + b_1_2³·b_3_11 + b_1_0³·b_3_10 + b_1_0³·b_1_1³
       + b_1_0⁴·b_1_1² + b_1_0⁶ + b_6_47 + c_4_19·b_1_0·b_1_3 + c_4_19·b_1_0·b_1_1
       + c_4_19·b_1_0² + c_4_18·b_1_3² + c_4_18·b_1_2·b_1_3 + c_4_18·b_1_0·b_1_3
       + c_4_18·b_1_0·b_1_2
18. c_8_32 → c_4_19·b_1_1·b_3_10 + c_4_19·b_1_0·b_3_11 + c_4_19·b_1_0·b_3_10
       + c_4_19·b_1_0²·b_1_1² + c_4_18·b_1_1·b_3_11 + c_4_18·b_1_1⁴ + c_4_18·b_1_0·b_3_10
       + c_4_18·b_1_0·b_1_1³ + c_4_18·b_1_0³·b_1_1 + c_4_19² + c_4_18·c_4_19 + c_4_18²
19. b_9_43 → c_4_19²·b_1_2 + c_4_19²·b_1_0 + c_4_18²·b_1_3 + c_4_18²·b_1_2 + c_4_18²·b_1_1
20. b_9_42 → c_4_19²·b_1_3 + c_4_19²·b_1_1 + c_4_19²·b_1_0 + c_4_18²·b_1_2 + c_4_18²·b_1_0
21. b_9_33 → b_1_0⁸·b_1_1 + b_1_0⁹ + b_6_47·b_1_1³ + b_6_47·b_1_0·b_1_1²
       + c_4_19·b_1_1²·b_3_10 + c_4_19·b_1_0²·b_3_11 + c_4_19·b_1_0²·b_3_10
       + c_4_19·b_1_0⁴·b_1_1 + c_4_18·b_1_1²·b_3_11 + c_4_18·b_1_1²·b_3_10
       + c_4_18·b_1_0·b_1_1⁴ + c_4_18·b_1_0²·b_3_11 + c_4_19²·b_1_1 + c_4_18²·b_1_0
22. b_9_26 → b_1_0⁴·b_1_1⁵ + b_6_47·b_1_0·b_1_1² + b_6_47·b_1_0²·b_1_1 + b_6_47·b_1_0³
       + c_4_19·b_1_1²·b_3_11 + c_4_19·b_1_0²·b_3_10 + c_4_19·b_1_0²·b_1_1³
       + c_4_19·b_1_0³·b_1_1² + c_4_18·b_1_1²·b_3_10 + c_4_18·b_1_0·b_1_1⁴
       + c_4_18·b_1_0²·b_3_11 + c_4_18·b_1_0²·b_3_10 + c_4_18·b_1_0²·b_1_1³
       + c_4_18·b_1_0³·b_1_1² + c_4_18·b_1_0⁴·b_1_1 + c_4_18·b_1_0⁵ + c_4_19²·b_1_1
       + c_4_19²·b_1_0 + c_4_18²·b_1_1
23. c_12_74 → c_4_18·b_1_0·b_1_1⁴·b_3_11 + c_4_18·b_1_0²·b_1_1⁶
       + c_4_18·b_1_0³·b_1_1²·b_3_10 + c_4_18·b_1_0⁴·b_1_1·b_3_11
       + c_4_18·b_1_0⁴·b_1_1⁴ + c_4_18·b_1_0⁵·b_3_10 + c_4_18·b_1_0⁷·b_1_1
       + c_4_18·b_6_47·b_1_1² + c_4_18·b_6_47·b_1_0·b_1_1 + c_4_18·b_6_47·b_1_0²
       + c_4_18·c_4_19·b_1_1⁴ + c_4_18·c_4_19·b_1_0·b_1_1³ + c_4_18·c_4_19·b_1_0³·b_1_1
       + c_4_18²·b_1_1·b_3_10 + c_4_18²·b_1_1⁴ + c_4_18²·b_1_0·b_3_11
       + c_4_18²·b_1_0·b_3_10 + c_4_18²·b_1_0²·b_1_1² + c_4_18·c_4_19²
       + c_4_18²·c_4_19
24. c_12_73 → c_4_18·b_1_1⁸ + c_4_18·b_1_0·b_1_1⁷ + c_4_18·b_1_0³·b_1_1²·b_3_10
       + c_4_18·b_1_0⁴·b_1_1·b_3_10 + c_4_18·b_1_0⁶·b_1_1² + c_4_18·b_1_0⁷·b_1_1
       + c_4_18·b_1_0⁸ + c_4_18·b_6_47·b_1_0·b_1_1 + c_4_18·b_6_47·b_1_0²
       + c_4_19²·b_1_1·b_3_10 + c_4_19²·b_1_0·b_3_11 + c_4_19²·b_1_0·b_3_10
       + c_4_19²·b_1_0²·b_1_1² + c_4_18·c_4_19·b_1_1⁴ + c_4_18·c_4_19·b_1_0·b_1_1³
       + c_4_18·c_4_19·b_1_0²·b_1_1² + c_4_18·c_4_19·b_1_0³·b_1_1 + c_4_18²·b_1_0⁴
       + c_4_19³ + c_4_18·c_4_19² + c_4_18³

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

1. a_2_3 → 0, an element of degree 2
2. a_2_2 → 0, an element of degree 2
3. b_2_1 → 0, an element of degree 2
4. b_2_0 → 0, an element of degree 2
5. b_3_5 → 0, an element of degree 3
6. b_3_4 → 0, an element of degree 3
7. b_3_3 → 0, an element of degree 3
8. b_3_2 → 0, an element of degree 3
9. b_3_1 → 0, an element of degree 3
10. b_3_0 → 0, an element of degree 3
11. b_5_12 → 0, an element of degree 5
12. b_5_11 → 0, an element of degree 5
13. b_5_9 → 0, an element of degree 5
14. b_5_8 → 0, an element of degree 5
15. b_6_19 → 0, an element of degree 6
16. b_6_18 → 0, an element of degree 6
17. b_6_7 → 0, an element of degree 6
18. c_8_32 → c_1_1⁸ + c_1_0⁴·c_1_1⁴ + c_1_0⁸, an element of degree 8
19. b_9_43 → 0, an element of degree 9
20. b_9_42 → 0, an element of degree 9
21. b_9_33 → 0, an element of degree 9
22. b_9_26 → 0, an element of degree 9
23. c_12_74 → c_1_0⁴·c_1_1⁸ + c_1_0⁸·c_1_1⁴, an element of degree 12
24. c_12_73 → c_1_1¹² + c_1_0⁴·c_1_1⁸ + c_1_0¹², an element of degree 12

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

1. a_2_3 → 0, an element of degree 2
2. a_2_2 → 0, an element of degree 2
3. b_2_1 → 0, an element of degree 2
4. b_2_0 → c_1_3² + c_1_2·c_1_3 + c_1_2², an element of degree 2
5. b_3_5 → 0, an element of degree 3
6. b_3_4 → 0, an element of degree 3
7. b_3_3 → c_1_2·c_1_3² + c_1_2²·c_1_3, an element of degree 3
8. b_3_2 → c_1_3³ + c_1_2²·c_1_3 + c_1_2³, an element of degree 3
9. b_3_1 → c_1_1·c_1_3² + c_1_1²·c_1_3 + c_1_0·c_1_2² + c_1_0²·c_1_2, an element of degree 3
10. b_3_0 → c_1_1·c_1_2² + c_1_1²·c_1_2 + c_1_0·c_1_3² + c_1_0·c_1_2² + c_1_0²·c_1_3
       + c_1_0²·c_1_2, an element of degree 3
11. b_5_12 → c_1_1·c_1_3⁴ + c_1_1⁴·c_1_3 + c_1_0·c_1_2⁴ + c_1_0⁴·c_1_2, an element of degree 5
12. b_5_11 → 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_3 + 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_3 + c_1_0·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_3, an element of degree 5
13. b_5_9 → 0, an element of degree 5
14. b_5_8 → 0, an element of degree 5
15. b_6_19 → 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_2·c_1_3⁴
       + c_1_0·c_1_2⁴·c_1_3 + c_1_0·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², an element of degree 6
16. b_6_18 → 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_3² + 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_3 + c_1_0·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_3², an element of degree 6
17. b_6_7 → 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_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_0·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_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_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_3² + c_1_0⁴·c_1_2·c_1_3 + c_1_0⁴·c_1_2², an element of degree 6
18. c_8_32 → 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_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_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_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_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_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_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_2²
       + c_1_0⁸, an element of degree 8
19. b_9_43 → 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_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_2³·c_1_3²
       + c_1_0⁴·c_1_2⁴·c_1_3 + c_1_0⁸·c_1_2, an element of degree 9
20. b_9_42 → 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_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_0²·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_2²·c_1_3³ + c_1_0⁴·c_1_2⁴·c_1_3
       + c_1_0⁴·c_1_2⁵ + c_1_0⁸·c_1_3, an element of degree 9
21. b_9_33 → 0, an element of degree 9
22. b_9_26 → 0, an element of degree 9
23. c_12_74 → 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_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_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_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_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_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_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_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_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_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_2²·c_1_3⁴
       + c_1_0⁶·c_1_2⁵·c_1_3 + c_1_0⁶·c_1_2⁶ + c_1_0⁸·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_2·c_1_3 + 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_2², an element of degree 12
24. c_12_73 → 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_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_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_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_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_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_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_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_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_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_3²
       + c_1_0⁶·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_2²·c_1_3² + c_1_0⁸·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_3² + c_1_0⁹·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_2·c_1_3 + c_1_0¹², an element of degree 12

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

1. a_2_3 → 0, an element of degree 2
2. a_2_2 → 0, an element of degree 2
3. b_2_1 → c_1_3² + c_1_2·c_1_3 + c_1_2², an element of degree 2
4. b_2_0 → c_1_3² + c_1_2·c_1_3 + c_1_2², an element of degree 2
5. b_3_5 → c_1_2·c_1_3² + c_1_2²·c_1_3, an element of degree 3
6. b_3_4 → c_1_3³ + c_1_2²·c_1_3 + c_1_2³, an element of degree 3
7. b_3_3 → c_1_2·c_1_3² + c_1_2²·c_1_3, an element of degree 3
8. b_3_2 → c_1_3³ + c_1_2·c_1_3² + c_1_2³, an element of degree 3
9. b_3_1 → c_1_1·c_1_3² + c_1_1·c_1_2² + c_1_1²·c_1_3 + c_1_1²·c_1_2 + c_1_0·c_1_3²
      + c_1_0²·c_1_3, an element of degree 3
10. b_3_0 → c_1_1·c_1_2² + c_1_1²·c_1_2 + c_1_0·c_1_3² + c_1_0·c_1_2² + c_1_0²·c_1_3
       + c_1_0²·c_1_2, an element of degree 3
11. b_5_12 → 0, an element of degree 5
12. b_5_11 → 0, an element of degree 5
13. b_5_9 → c_1_1·c_1_3⁴ + c_1_1·c_1_2⁴ + c_1_1⁴·c_1_3 + c_1_1⁴·c_1_2 + c_1_0·c_1_3⁴
       + c_1_0⁴·c_1_3, an element of degree 5
14. b_5_8 → 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_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_3³ + c_1_0²·c_1_2³
       + c_1_0⁴·c_1_3 + c_1_0⁴·c_1_2, an element of degree 5
15. b_6_19 → 0, an element of degree 6
16. b_6_18 → 0, an element of degree 6
17. b_6_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_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_2², an element of degree 6
18. c_8_32 → 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_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_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_1⁶·c_1_2·c_1_3 + c_1_1⁶·c_1_2² + c_1_1⁸ + c_1_0·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_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_0²·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_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_3⁵ + c_1_0³·c_1_2·c_1_3⁴
       + 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_3² + c_1_0⁴·c_1_1²·c_1_2²
       + c_1_0⁴·c_1_1⁴ + c_1_0⁵·c_1_3³ + c_1_0⁵·c_1_2²·c_1_3 + c_1_0⁶·c_1_3²
       + c_1_0⁶·c_1_2·c_1_3 + c_1_0⁸, an element of degree 8
19. b_9_43 → 0, an element of degree 9
20. b_9_42 → 0, an element of degree 9
21. b_9_33 → 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_2⁷·c_1_3² + 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_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_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_1⁶·c_1_3³ + c_1_1⁶·c_1_2³ + 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_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_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_0²·c_1_2⁴·c_1_3³ + c_1_0²·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_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_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_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_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_3⁴
       + c_1_0⁶·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_3
       + c_1_0⁸·c_1_2, an element of degree 9
22. b_9_26 → 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_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_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_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_2²·c_1_3⁵ + c_1_0²·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_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_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_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_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_2, an element of degree 9
23. c_12_74 → 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_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_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_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_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_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_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_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_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_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_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_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_2·c_1_3² + c_1_0¹⁰·c_1_2·c_1_3, an element of degree 12
24. c_12_73 → 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_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_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_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_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_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_1¹⁰·c_1_2·c_1_3
       + c_1_1¹² + c_1_0·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_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_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_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_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_2⁷·c_1_3²
       + c_1_0⁴·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_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_0⁵·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_3³ + c_1_0⁶·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_3 + c_1_0⁸·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_1²·c_1_2·c_1_3 + c_1_0⁹·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¹², an element of degree 12

About the group

Ring generators

Ring relations

Completion information

Restriction maps