David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 390 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

• The group has 3 minimal generators and exponent 8.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 2.
• It has a unique conjugacy class of maximal elementary abelian subgroups, which is of rank 3.

Structure of the cohomology ring

General information

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

  t13  +  t12  −  t11  +  t10  −  2·t9  +  2·t8  −  2·t7  −  2·t6  −  t5  −  t4  −  t3  −  t2  −  t  −  1

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

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

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

1. a_1_1, a nilpotent element of degree 1
2. a_1_2, a nilpotent element of degree 1
3. b_1_0, an element of degree 1
4. a_2_4, a nilpotent element of degree 2
5. b_3_5, an element of degree 3
6. b_3_6, an element of degree 3
7. a_4_6, a nilpotent element of degree 4
8. a_4_8, a nilpotent element of degree 4
9. b_5_8, an element of degree 5
10. b_5_9, an element of degree 5
11. b_5_10, an element of degree 5
12. a_6_4, a nilpotent element of degree 6
13. a_6_8, a nilpotent element of degree 6
14. a_6_9, a nilpotent element of degree 6
15. a_6_10, a nilpotent element of degree 6
16. b_7_14, an element of degree 7
17. b_7_15, an element of degree 7
18. b_7_16, an element of degree 7
19. b_7_17, an element of degree 7
20. c_8_18, a Duflot regular element of degree 8
21. c_8_19, a Duflot regular element of degree 8
22. a_9_11, a nilpotent element of degree 9
23. a_9_7, a nilpotent element of degree 9
24. b_9_21, an element of degree 9
25. b_9_22, an element of degree 9
26. b_9_23, an element of degree 9
27. b_11_31, an element of degree 11
28. b_11_32, an element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 324 minimal relations of maximal degree 22:

1. a_1_1·b_1_0
2. a_1_2·b_1_0
3. a_2_4·a_1_1 + a_1_2³ + a_1_1·a_1_2² + a_1_1²·a_1_2
4. a_2_4·b_1_0
5. a_2_4·a_1_2 + a_1_2³ + a_1_1³
6. a_2_4²
7. a_1_1·b_3_5 + a_1_1⁴
8. a_1_2·b_3_5 + a_1_1³·a_1_2
9. a_1_1·b_3_6 + a_1_1·a_1_2³
10. a_1_2·b_3_6 + a_1_1²·a_1_2² + a_1_1⁴
11. a_1_1³·a_1_2² + a_1_1⁴·a_1_2
12. a_1_1²·a_1_2³ + a_1_1⁴·a_1_2 + a_1_1⁵
13. a_2_4·b_3_5 + a_1_1⁴·a_1_2 + a_1_1⁵
14. a_2_4·b_3_6 + a_1_1⁴·a_1_2 + a_1_1⁵
15. a_4_6·b_1_0
16. a_4_8·a_1_1 + a_4_6·a_1_2 + a_4_6·a_1_1 + a_1_1⁴·a_1_2 + a_1_1⁵
17. a_4_8·b_1_0
18. a_2_4·a_4_8 + a_4_6·a_1_2² + a_4_6·a_1_1·a_1_2 + a_4_6·a_1_1²
19. a_2_4·a_4_6 + a_4_8·a_1_2² + a_4_6·a_1_1·a_1_2
20. a_1_1·b_5_8
21. b_3_5² + b_1_0·b_5_8 + b_1_0³·b_3_6 + b_1_0³·b_3_5
22. a_1_2·b_5_8
23. a_1_1·b_5_9 + a_4_6·a_1_1·a_1_2
24. b_3_6² + b_1_0·b_5_9
25. a_1_2·b_5_9 + a_4_6·a_1_2²
26. a_1_1·b_5_10 + a_2_4·a_4_6
27. b_3_6² + b_3_5·b_3_6 + b_3_5² + b_1_0·b_5_10 + b_1_0³·b_3_5
28. a_1_2·b_5_10 + a_2_4·a_4_6 + a_4_6·a_1_2² + a_4_6·a_1_1·a_1_2 + a_4_6·a_1_1²
29. a_4_6·b_3_5 + a_4_6·a_1_1³
30. a_4_6·b_3_6 + a_4_6·a_1_2³
31. a_4_8·b_3_5 + a_4_6·a_1_1²·a_1_2 + a_4_6·a_1_1³
32. a_4_8·b_3_6 + a_4_6·a_1_2³ + a_4_6·a_1_1·a_1_2² + a_4_6·a_1_1³
33. a_2_4·b_5_8
34. a_2_4·b_5_9 + a_4_6·a_1_2³ + a_4_6·a_1_1³
35. a_2_4·b_5_10
36. a_6_4·b_1_0
37. a_6_8·b_1_0
38. a_6_9·a_1_1 + a_6_4·a_1_2 + a_6_4·a_1_1 + a_4_6·a_1_2³ + a_4_6·a_1_1·a_1_2²
       + a_4_6·a_1_1³
39. a_6_9·b_1_0
40. a_6_9·a_1_2 + a_6_8·a_1_1 + a_6_4·a_1_2 + a_6_4·a_1_1 + a_4_6·a_1_2³
       + a_4_6·a_1_1·a_1_2²
41. a_6_10·a_1_1 + a_6_8·a_1_2 + a_6_8·a_1_1 + a_4_6·a_1_1²·a_1_2
42. a_6_10·b_1_0
43. a_6_10·a_1_2 + a_6_8·a_1_2 + a_6_4·a_1_1 + a_4_6·a_1_2³
44. a_4_6²
45. a_4_8²
46. a_4_6·a_4_8 + a_4_6·a_1_1·a_1_2³ + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1³·a_1_2
       + a_4_6·a_1_1⁴
47. b_3_6·b_5_8 + b_3_5·b_5_10 + b_3_5·b_5_9 + b_3_5·b_5_8 + b_1_0³·b_5_9
       + a_4_6·a_1_1·a_1_2³ + a_4_6·a_1_1²·a_1_2²
48. b_3_6·b_5_10 + b_3_6·b_5_9 + b_3_6·b_5_8 + b_3_5·b_5_9 + b_1_0³·b_5_9
       + a_4_6·a_1_1·a_1_2³ + a_4_6·a_1_1⁴
49. a_2_4·a_6_8 + a_2_4·a_6_4 + a_6_4·a_1_2² + a_6_4·a_1_1·a_1_2 + a_6_4·a_1_1²
       + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1³·a_1_2 + a_4_6·a_1_1⁴
50. a_2_4·a_6_4 + a_6_8·a_1_1·a_1_2 + a_6_4·a_1_2² + a_4_6·a_1_1²·a_1_2²
       + a_4_6·a_1_1³·a_1_2
51. a_2_4·a_6_9 + a_6_4·a_1_2² + a_6_4·a_1_1·a_1_2 + a_6_4·a_1_1² + a_4_6·a_1_1⁴
52. a_2_4·a_6_10 + a_2_4·a_6_4 + a_4_6·a_1_1·a_1_2³ + a_4_6·a_1_1²·a_1_2²
       + a_4_6·a_1_1⁴
53. a_1_1·b_7_14 + a_2_4·a_6_4 + a_6_4·a_1_2² + a_6_4·a_1_1·a_1_2 + a_4_6·a_1_1⁴
54. b_3_5·b_5_8 + b_1_0·b_7_14 + b_1_0³·b_5_10 + b_1_0³·b_5_9 + b_1_0⁵·b_3_5
55. a_1_2·b_7_14 + a_6_4·a_1_2² + a_6_4·a_1_1² + a_4_6·a_1_1²·a_1_2²
56. a_1_1·b_7_15 + a_2_4·a_6_4 + a_6_4·a_1_2² + a_6_4·a_1_1·a_1_2 + a_4_6·a_1_1·a_1_2³
       + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1³·a_1_2
57. b_3_6·b_5_8 + b_1_0·b_7_15 + b_1_0³·b_5_8 + b_1_0⁵·b_3_5
58. a_1_2·b_7_15 + a_6_4·a_1_2² + a_6_4·a_1_1² + a_4_6·a_1_1³·a_1_2 + a_4_6·a_1_1⁴
59. a_1_1·b_7_16 + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1⁴
60. b_3_6·b_5_8 + b_3_5·b_5_9 + b_1_0·b_7_16 + b_1_0³·b_5_10 + b_1_0³·b_5_8 + b_1_0⁵·b_3_6
       + a_4_6·a_1_1³·a_1_2
61. a_1_2·b_7_16 + a_4_6·a_1_1·a_1_2³ + a_4_6·a_1_1³·a_1_2 + a_4_6·a_1_1⁴
62. a_1_1·b_7_17 + a_6_4·a_1_1² + a_4_6·a_1_1²·a_1_2²
63. b_3_6·b_5_9 + b_3_5·b_5_8 + b_1_0·b_7_17 + b_1_0³·b_5_8 + b_1_0⁵·b_3_6
       + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1⁴
64. a_1_2·b_7_17 + a_6_4·a_1_1·a_1_2 + a_4_6·a_1_1²·a_1_2² + a_4_6·a_1_1³·a_1_2
65. a_4_8·b_5_8
66. a_4_6·b_5_8
67. a_4_8·b_5_9
68. a_4_6·b_5_9
69. a_4_8·b_5_10
70. a_4_6·b_5_10
71. a_6_4·a_1_1·a_1_2² + a_6_4·a_1_1²·a_1_2
72. a_6_4·b_3_5 + a_6_4·a_1_1³
73. a_6_4·b_3_6 + a_6_4·a_1_2³
74. a_6_8·b_3_5 + a_6_4·a_1_1²·a_1_2 + a_6_4·a_1_1³
75. a_6_8·b_3_6 + a_6_4·a_1_1²·a_1_2
76. a_6_9·b_3_5 + a_6_4·a_1_1²·a_1_2 + a_6_4·a_1_1³
77. a_6_9·b_3_6 + a_6_4·a_1_2³ + a_6_4·a_1_1²·a_1_2 + a_6_4·a_1_1³
78. a_6_10·b_3_5 + a_6_4·a_1_2³ + a_6_4·a_1_1³
79. a_6_10·b_3_6
80. a_2_4·b_7_14 + a_6_4·a_1_2³
81. a_2_4·b_7_15 + a_6_4·a_1_2³
82. a_2_4·b_7_16
83. a_2_4·b_7_17 + a_6_4·a_1_2³
84. a_4_8·a_6_9 + a_4_6·a_6_8 + a_6_4·a_1_1³·a_1_2
85. a_4_8·a_6_4 + a_4_6·a_6_9 + a_6_4·a_1_1³·a_1_2 + a_6_4·a_1_1⁴
86. a_4_8·a_6_10 + a_4_6·a_6_8 + a_4_6·a_6_4 + a_6_4·a_1_1⁴
87. a_4_8·a_6_8 + a_4_6·a_6_10
88. b_5_8² + b_3_5·b_7_14 + b_1_0⁵·b_5_9 + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_6 + b_1_0⁷·b_3_5
       + a_6_4·a_1_1³·a_1_2
89. b_5_8·b_5_10 + b_5_8·b_5_9 + b_5_8² + b_3_5·b_7_15 + b_1_0³·b_7_15 + b_1_0³·b_7_14
       + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_9 + b_1_0⁷·b_3_6 + b_1_0⁷·b_3_5 + a_6_4·a_1_1³·a_1_2
90. b_5_8·b_5_9 + b_3_6·b_7_15 + b_1_0³·b_7_15 + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_9
       + b_1_0⁷·b_3_6 + b_1_0⁷·b_3_5 + a_6_4·a_1_1⁴
91. b_5_8·b_5_10 + b_5_8·b_5_9 + b_5_8² + b_3_6·b_7_14 + b_1_0³·b_7_16 + b_1_0³·b_7_15
       + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_5 + a_6_4·a_1_1⁴
92. b_5_10² + b_5_9² + b_5_8² + b_3_6·b_7_14 + b_3_5·b_7_16 + b_1_0⁵·b_5_9
       + a_6_4·a_1_1⁴
93. b_5_9·b_5_10 + b_5_9² + b_5_8·b_5_10 + b_5_8·b_5_9 + b_5_8² + b_3_6·b_7_16
       + b_3_6·b_7_14 + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_6 + a_6_4·a_1_1⁴
94. b_5_10² + b_5_9² + b_5_8·b_5_10 + b_3_6·b_7_14 + b_1_0³·b_7_17 + b_1_0³·b_7_14
       + b_1_0⁷·b_3_5 + a_6_4·a_1_1⁴
95. b_5_10² + b_5_9·b_5_10 + b_5_8·b_5_10 + b_5_8·b_5_9 + b_5_8² + b_3_6·b_7_14
       + b_3_5·b_7_17 + b_1_0³·b_7_15 + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_5
96. b_5_9² + b_5_8·b_5_10 + b_5_8·b_5_9 + b_5_8² + b_3_6·b_7_17 + b_1_0⁵·b_5_9
       + a_6_4·a_1_1³·a_1_2
97. b_5_8² + b_1_0³·b_7_15 + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_8 + c_8_18·b_1_0²
98. b_5_9² + b_5_8² + b_1_0³·b_7_14 + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_9 + c_8_19·b_1_0²
99. a_1_1·a_9_11 + a_4_6·a_6_4 + a_6_4·a_1_1³·a_1_2 + c_8_19·a_1_1·a_1_2 + c_8_19·a_1_1²
       + c_8_18·a_1_1·a_1_2 + c_8_18·a_1_1²
100. b_1_0·a_9_11
101. a_1_2·a_9_11 + a_4_8·a_6_4 + a_4_6·a_6_4 + a_6_4·a_1_1⁴ + c_8_19·a_1_2²
        + c_8_19·a_1_1·a_1_2 + c_8_18·a_1_2² + c_8_18·a_1_1·a_1_2
102. a_1_1·a_9_7 + a_4_6·a_6_8 + a_4_6·a_6_4 + c_8_19·a_1_1·a_1_2 + c_8_19·a_1_1²
        + c_8_18·a_1_1²
103. b_1_0·a_9_7
104. a_1_2·a_9_7 + a_4_8·a_6_8 + a_4_8·a_6_4 + a_4_6·a_6_8 + a_4_6·a_6_4 + a_6_4·a_1_1⁴
        + c_8_19·a_1_2² + c_8_19·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2
105. a_1_1·b_9_21 + c_8_19·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2
106. b_5_8·b_5_9 + b_1_0·b_9_21 + b_1_0³·b_7_15 + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_5
107. a_1_2·b_9_21 + a_6_4·a_1_1³·a_1_2 + c_8_19·a_1_2² + c_8_18·a_1_2²
108. a_1_1·b_9_22 + a_4_8·a_6_4 + a_4_6·a_6_8 + a_4_6·a_6_4 + a_6_4·a_1_1⁴ + c_8_18·a_1_1²
109. b_5_8·b_5_9 + b_5_8² + b_3_6·b_7_14 + b_1_0·b_9_22 + b_1_0³·b_7_15 + b_1_0³·b_7_14
        + b_1_0⁵·b_5_10 + b_1_0⁵·b_5_8 + b_1_0⁷·b_3_6 + a_6_4·a_1_1⁴
110. a_1_2·b_9_22 + a_4_8·a_6_8 + a_4_6·a_6_4 + a_6_4·a_1_1³·a_1_2 + a_6_4·a_1_1⁴
        + c_8_18·a_1_1·a_1_2
111. a_1_1·b_9_23 + a_4_8·a_6_8 + a_4_6·a_6_8 + a_6_4·a_1_1³·a_1_2 + a_6_4·a_1_1⁴
        + c_8_19·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2
112. b_5_10² + b_5_9·b_5_10 + b_5_8·b_5_9 + b_3_6·b_7_14 + b_1_0·b_9_23 + b_1_0³·b_7_15
        + b_1_0³·b_7_14 + b_1_0⁵·b_5_9 + a_6_4·a_1_1⁴
113. a_1_2·b_9_23 + a_4_6·a_6_4 + c_8_19·a_1_2² + c_8_18·a_1_2²
114. a_6_4·b_5_8
115. a_6_4·b_5_9 + a_4_6·a_6_4·a_1_2
116. a_6_8·b_5_10 + a_6_4·b_5_10 + a_4_6·a_6_8·a_1_1 + a_4_6·a_6_4·a_1_2
117. a_6_8·b_5_10 + a_4_6·a_6_8·a_1_2 + a_4_6·a_6_4·a_1_2 + a_4_6·a_6_4·a_1_1
118. a_6_8·b_5_8
119. a_6_8·b_5_10 + a_6_8·b_5_9 + a_4_6·a_6_4·a_1_2 + a_4_6·a_6_4·a_1_1
120. a_6_9·b_5_10 + a_6_8·b_5_10 + a_6_4·b_5_10
121. a_6_9·b_5_8
122. a_6_9·b_5_9 + a_6_8·b_5_10 + a_6_4·b_5_10 + a_4_6·a_6_4·a_1_1
123. a_6_10·b_5_10 + a_6_4·b_5_10
124. a_6_10·b_5_8
125. a_6_10·b_5_9 + a_6_8·b_5_10 + a_4_6·a_6_4·a_1_2
126. a_6_4·b_5_10 + a_4_8·b_7_14 + a_4_6·a_6_4·a_1_2 + a_4_6·a_6_4·a_1_1
127. a_6_8·b_5_10 + a_4_6·b_7_14 + a_4_6·a_6_4·a_1_1
128. a_6_4·b_5_10 + a_4_8·b_7_15 + a_4_6·a_6_4·a_1_2 + a_4_6·a_6_4·a_1_1
129. a_6_8·b_5_10 + a_4_6·b_7_15 + a_4_6·a_6_4·a_1_1
130. a_4_8·b_7_16
131. a_4_6·b_7_16
132. a_4_8·b_7_17 + a_4_6·a_6_4·a_1_2 + a_4_6·a_6_4·a_1_1
133. a_4_6·b_7_17 + a_4_6·a_6_4·a_1_1
134. a_6_4·b_5_10 + a_2_4·a_9_11 + c_8_19·a_1_1·a_1_2² + c_8_19·a_1_1²·a_1_2
        + c_8_19·a_1_1³ + c_8_18·a_1_1·a_1_2² + c_8_18·a_1_1²·a_1_2 + c_8_18·a_1_1³
135. a_6_8·b_5_10 + a_6_4·b_5_10 + a_2_4·a_9_7 + c_8_19·a_1_1·a_1_2² + c_8_19·a_1_1²·a_1_2
        + c_8_19·a_1_1³ + c_8_18·a_1_2³ + c_8_18·a_1_1·a_1_2² + c_8_18·a_1_1²·a_1_2
136. a_2_4·b_9_21 + c_8_19·a_1_2³ + c_8_19·a_1_1³ + c_8_18·a_1_2³ + c_8_18·a_1_1³
137. a_2_4·b_9_22 + c_8_18·a_1_2³ + c_8_18·a_1_1·a_1_2² + c_8_18·a_1_1²·a_1_2
138. a_6_8·b_5_10 + a_6_4·b_5_10 + a_2_4·b_9_23 + c_8_19·a_1_2³ + c_8_19·a_1_1³
        + c_8_18·a_1_2³ + c_8_18·a_1_1³
139. a_6_8² + a_6_4·a_6_8 + a_6_4² + a_4_6·a_6_4·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1²
140. a_6_9² + a_6_8² + a_6_4²
141. a_6_8·a_6_10 + a_6_8·a_6_9 + a_6_4·a_6_9 + a_4_6·a_6_4·a_1_2²
142. a_6_9·a_6_10 + a_6_8² + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1²
143. a_6_10² + a_6_4²
144. a_6_8·a_6_9 + a_6_4·a_6_10 + a_4_6·a_6_4·a_1_2²
145. b_5_10·b_7_17 + b_5_9·b_7_17 + b_5_9·b_7_16 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17
        + b_5_8·b_7_16 + b_1_0⁵·b_7_17 + b_1_0⁵·b_7_16 + b_1_0⁵·b_7_14 + b_1_0⁹·b_3_5
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1·a_1_2
146. b_5_10·b_7_15 + b_5_9·b_7_15 + b_5_8·b_7_16 + b_1_0⁵·b_7_15 + b_1_0⁵·b_7_14
        + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_5 + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1²
        + c_8_18·b_1_0⁴
147. b_5_10·b_7_15 + b_5_9·b_7_15 + b_5_8·b_7_16 + b_5_8·b_7_14 + b_1_0⁵·b_7_16
        + b_1_0⁵·b_7_15 + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_9 + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_5
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1² + c_8_18·b_1_0·b_3_5
148. b_5_10·b_7_14 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17 + b_1_0⁵·b_7_16
        + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_10 + b_1_0⁷·b_5_9 + b_1_0⁹·b_3_5
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2² + c_8_18·b_1_0·b_3_6
149. a_6_4² + c_8_19·a_1_1⁴ + c_8_18·a_1_1²·a_1_2² + c_8_18·a_1_1⁴
150. b_5_10·b_7_16 + b_5_10·b_7_15 + b_5_9·b_7_16 + b_5_9·b_7_14 + b_1_0⁵·b_7_17
        + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_10 + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_6
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1² + c_8_19·b_1_0⁴
151. a_6_4·a_6_9 + a_6_4² + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
        + a_4_6·a_6_4·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1² + c_8_19·a_1_1³·a_1_2
        + c_8_18·a_1_1·a_1_2³ + c_8_18·a_1_1³·a_1_2
152. a_6_8² + c_8_19·a_1_1²·a_1_2² + c_8_18·a_1_1⁴
153. a_6_8·a_6_9 + a_6_8² + a_6_4·a_6_9 + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
        + c_8_19·a_1_1·a_1_2³ + c_8_18·a_1_1³·a_1_2
154. b_5_10·b_7_16 + b_5_10·b_7_14 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17 + b_5_8·b_7_14
        + b_1_0⁵·b_7_17 + b_1_0⁹·b_3_5 + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
        + c_8_19·b_1_0·b_3_5
155. b_5_10·b_7_17 + b_5_9·b_7_16 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17 + b_1_0⁵·b_7_16
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2² + c_8_19·b_1_0·b_3_6
156. b_3_5·a_9_11 + a_6_4·a_6_9 + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
        + a_4_6·a_6_4·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2³ + c_8_18·a_1_1²·a_1_2²
157. b_3_6·a_9_11 + a_6_8·a_6_9 + a_6_4·a_6_9 + a_6_4² + a_4_6·a_6_4·a_1_2²
        + a_4_6·a_6_4·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2³ + c_8_18·a_1_1³·a_1_2
        + c_8_18·a_1_1⁴
158. b_3_5·a_9_7 + a_6_4·a_6_9 + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1·a_1_2
        + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1·a_1_2³ + c_8_18·a_1_1²·a_1_2²
        + c_8_18·a_1_1³·a_1_2
159. b_3_6·a_9_7 + a_6_8·a_6_9 + a_6_4·a_6_9 + a_6_4² + a_4_6·a_6_4·a_1_2²
        + c_8_18·a_1_1·a_1_2³ + c_8_18·a_1_1²·a_1_2² + c_8_18·a_1_1³·a_1_2
160. b_5_10·b_7_15 + b_5_10·b_7_14 + b_5_9·b_7_14 + b_5_8·b_7_17 + b_5_8·b_7_16 + b_5_8·b_7_15
        + b_1_0³·b_9_21 + b_1_0⁵·b_7_17 + b_1_0⁵·b_7_15 + b_1_0⁷·b_5_9 + b_1_0⁹·b_3_6
        + b_1_0⁹·b_3_5 + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1²
161. b_5_10·b_7_14 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17 + b_5_8·b_7_16 + b_3_5·b_9_21
        + b_1_0⁵·b_7_17 + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_6 + a_6_4·a_6_9 + a_6_4²
        + a_4_6·a_6_4·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1·a_1_2³
162. b_5_9·b_7_15 + b_3_6·b_9_21 + b_1_0⁵·b_7_16 + b_1_0⁵·b_7_15 + b_1_0⁷·b_5_10
        + b_1_0⁹·b_3_6 + b_1_0⁹·b_3_5 + a_6_8² + a_6_4² + a_4_6·a_6_4·a_1_2²
        + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1⁴
163. b_5_10·b_7_15 + b_5_8·b_7_17 + b_5_8·b_7_16 + b_5_8·b_7_14 + b_1_0³·b_9_22
        + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_9 + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_5
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
164. b_5_9·b_7_15 + b_5_8·b_7_17 + b_5_8·b_7_16 + b_3_5·b_9_22 + b_1_0⁵·b_7_17
        + b_1_0⁵·b_7_15 + b_1_0⁷·b_5_9 + b_1_0⁹·b_3_6 + b_1_0⁹·b_3_5
        + a_4_6·a_6_4·a_1_1·a_1_2 + c_8_18·a_1_1⁴
165. b_5_10·b_7_14 + b_5_9·b_7_15 + b_5_8·b_7_14 + b_3_6·b_9_22 + b_1_0⁷·b_5_9
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1·a_1_2
        + c_8_18·a_1_1·a_1_2³
166. b_5_10·b_7_15 + b_5_10·b_7_14 + b_5_8·b_7_17 + b_1_0³·b_9_23 + b_1_0⁵·b_7_16
        + b_1_0⁵·b_7_15 + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_9
167. b_5_10·b_7_16 + b_5_10·b_7_14 + b_5_9·b_7_16 + b_5_9·b_7_15 + b_5_9·b_7_14 + b_5_8·b_7_17
        + b_5_8·b_7_16 + b_5_8·b_7_14 + b_3_5·b_9_23 + b_1_0⁵·b_7_17 + b_1_0⁵·b_7_16
        + b_1_0⁵·b_7_15 + b_1_0⁷·b_5_9 + b_1_0⁹·b_3_6 + b_1_0⁹·b_3_5 + a_6_4·a_6_9 + a_6_4²
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1²
        + c_8_18·a_1_1·a_1_2³
168. b_5_10·b_7_16 + b_5_10·b_7_15 + b_5_9·b_7_15 + b_5_8·b_7_17 + b_5_8·b_7_15 + b_5_8·b_7_14
        + b_3_6·b_9_23 + b_1_0⁵·b_7_17 + b_1_0⁷·b_5_8 + b_1_0⁹·b_3_6 + a_6_8² + a_6_4²
        + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1²
        + c_8_18·a_1_1⁴
169. a_1_1·b_11_31 + a_6_8·a_6_9 + a_6_8² + a_6_4² + a_4_6·a_6_8·a_1_1·a_1_2
        + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1·a_1_2 + c_8_18·a_1_1·a_1_2³
        + c_8_18·a_1_1²·a_1_2²
170. b_5_10·b_7_16 + b_5_10·b_7_15 + b_5_9·b_7_15 + b_5_8·b_7_15 + b_1_0·b_11_31
        + b_1_0⁵·b_7_17 + b_1_0⁵·b_7_16 + b_1_0⁵·b_7_15 + b_1_0⁵·b_7_14 + b_1_0⁷·b_5_10
        + b_1_0⁷·b_5_9 + b_1_0⁹·b_3_6 + b_1_0⁹·b_3_5 + a_4_6·a_6_8·a_1_1·a_1_2
        + a_4_6·a_6_4·a_1_1²
171. a_1_2·b_11_31 + a_6_4² + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_2²
        + a_4_6·a_6_4·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1·a_1_2³
        + c_8_18·a_1_1²·a_1_2² + c_8_18·a_1_1⁴
172. a_1_1·b_11_32 + a_6_8² + a_4_6·a_6_8·a_1_1·a_1_2 + a_4_6·a_6_4·a_1_1·a_1_2
        + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1³·a_1_2
173. b_5_10·b_7_16 + b_5_10·b_7_15 + b_5_10·b_7_14 + b_5_9·b_7_14 + b_5_8·b_7_16 + b_5_8·b_7_15
        + b_1_0·b_11_32 + b_1_0⁵·b_7_15 + b_1_0⁷·b_5_10 + b_1_0⁷·b_5_9 + b_1_0⁷·b_5_8
        + a_4_6·a_6_4·a_1_2² + a_4_6·a_6_4·a_1_1²
174. a_1_2·b_11_32 + a_6_8·a_6_9 + a_6_8² + a_6_4·a_6_9 + a_4_6·a_6_4·a_1_1·a_1_2
        + a_4_6·a_6_4·a_1_1² + c_8_18·a_1_1²·a_1_2²
175. a_6_9·b_7_14
176. a_6_10·b_7_14 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
177. a_6_8·b_7_15 + a_6_8·b_7_14 + a_4_6·a_6_4·a_1_1³
178. a_6_9·b_7_15 + a_4_6·a_6_4·a_1_1²·a_1_2
179. a_6_10·b_7_15 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
180. a_6_4·b_7_15 + a_6_4·b_7_14 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
181. a_6_8·b_7_16 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
182. a_6_9·b_7_16 + a_4_6·a_6_4·a_1_1²·a_1_2
183. a_6_10·b_7_16 + a_4_6·a_6_4·a_1_1³
184. a_6_4·b_7_16 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
185. a_6_8·b_7_17 + a_6_4·b_7_14 + a_4_6·a_6_4·a_1_1²·a_1_2
186. a_6_9·b_7_17 + a_6_4·b_7_14
187. a_6_10·b_7_17 + a_6_8·b_7_14 + a_4_6·a_6_4·a_1_1³
188. a_6_8·b_7_14 + a_6_4·b_7_17 + a_6_4·b_7_14
189. a_6_8·b_7_14 + a_6_4·b_7_14 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³
        + c_8_19·a_1_1⁵ + c_8_18·a_1_1⁴·a_1_2 + c_8_18·a_1_1⁵
190. a_6_8·b_7_14 + a_4_6·a_6_4·a_1_1²·a_1_2 + c_8_19·a_1_1⁴·a_1_2 + c_8_18·a_1_1⁵
191. a_6_4·b_7_14 + a_4_8·a_9_11 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_8·c_8_19·a_1_2
        + a_4_8·c_8_18·a_1_2 + a_4_6·c_8_19·a_1_2 + a_4_6·c_8_19·a_1_1 + a_4_6·c_8_18·a_1_2
        + a_4_6·c_8_18·a_1_1 + c_8_18·a_1_1⁵
192. a_4_6·a_9_11 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·c_8_19·a_1_2 + a_4_6·c_8_19·a_1_1
        + a_4_6·c_8_18·a_1_2 + a_4_6·c_8_18·a_1_1
193. a_6_4·b_7_14 + a_4_8·a_9_7 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_8·c_8_19·a_1_2
        + a_4_6·c_8_19·a_1_2 + a_4_6·c_8_19·a_1_1 + a_4_6·c_8_18·a_1_2 + a_4_6·c_8_18·a_1_1
        + c_8_18·a_1_1⁵
194. a_4_6·a_9_7 + a_4_6·a_6_4·a_1_1³ + a_4_6·c_8_19·a_1_2 + a_4_6·c_8_19·a_1_1
        + a_4_6·c_8_18·a_1_1
195. a_4_8·b_9_21 + a_4_8·c_8_19·a_1_2 + a_4_8·c_8_18·a_1_2
196. a_4_6·b_9_21 + a_4_6·a_6_4·a_1_1³ + a_4_6·c_8_19·a_1_2 + a_4_6·c_8_18·a_1_2
197. a_4_8·b_9_22 + a_4_6·c_8_18·a_1_2 + a_4_6·c_8_18·a_1_1 + c_8_18·a_1_1⁴·a_1_2
        + c_8_18·a_1_1⁵
198. a_4_6·b_9_22 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·c_8_18·a_1_1
199. a_4_8·b_9_23 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_8·c_8_19·a_1_2 + a_4_8·c_8_18·a_1_2
200. a_4_6·b_9_23 + a_4_6·a_6_4·a_1_1²·a_1_2 + a_4_6·a_6_4·a_1_1³ + a_4_6·c_8_19·a_1_2
        + a_4_6·c_8_18·a_1_2
201. a_6_8·b_7_14 + a_6_4·b_7_14 + a_2_4·b_11_31 + c_8_18·a_1_1⁴·a_1_2
202. a_6_8·b_7_14 + a_6_4·b_7_14 + a_2_4·b_11_32 + a_4_6·a_6_4·a_1_1²·a_1_2
        + a_4_6·a_6_4·a_1_1³ + c_8_18·a_1_1⁴·a_1_2
203. b_7_14² + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_9
        + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5 + c_8_18·b_1_0·b_5_8
        + c_8_18·b_1_0³·b_3_5
204. b_7_17² + b_7_16·b_7_17 + b_7_15·b_7_17 + b_7_15·b_7_16 + b_7_14·b_7_17 + b_7_14·b_7_16
        + b_7_14² + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_16 + b_1_0⁹·b_5_10 + c_8_19·b_1_0·b_5_10
        + c_8_19·b_1_0·b_5_8 + c_8_18·b_1_0·b_5_8 + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
205. b_7_16·b_7_17 + b_7_15·b_7_16 + b_7_14·b_7_17 + b_7_14·b_7_16 + b_7_14·b_7_15 + b_7_14²
        + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_15 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_8
        + c_8_19·b_1_0·b_5_10 + c_8_19·b_1_0·b_5_9 + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_9
        + c_8_18·b_1_0·b_5_8 + c_8_18·b_1_0⁶
206. b_7_17² + b_7_16·b_7_17 + b_7_16² + b_7_15·b_7_17 + b_7_15·b_7_16 + b_7_15²
        + b_7_14·b_7_17 + b_7_14·b_7_16 + b_7_14² + b_1_0⁷·b_7_15 + b_1_0⁷·b_7_14
        + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0·b_5_10 + c_8_19·b_1_0³·b_3_6
        + c_8_19·b_1_0³·b_3_5 + c_8_19·b_1_0⁶ + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
207. b_5_10·a_9_11 + a_4_6·c_8_19·a_1_2² + a_4_6·c_8_19·a_1_1·a_1_2
        + a_4_6·c_8_19·a_1_1² + a_4_6·c_8_18·a_1_2² + a_4_6·c_8_18·a_1_1·a_1_2
        + a_4_6·c_8_18·a_1_1²
208. b_5_8·a_9_11
209. b_5_9·a_9_11 + a_4_6·c_8_19·a_1_2² + a_4_6·c_8_19·a_1_1·a_1_2
        + a_4_6·c_8_18·a_1_2² + a_4_6·c_8_18·a_1_1·a_1_2
210. b_5_10·a_9_7 + a_4_8·c_8_18·a_1_2² + a_4_6·c_8_19·a_1_2²
        + a_4_6·c_8_19·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1² + a_4_6·c_8_18·a_1_1·a_1_2
211. b_5_8·a_9_7
212. b_5_9·a_9_7 + a_4_6·c_8_19·a_1_2² + a_4_6·c_8_19·a_1_1·a_1_2
        + a_4_6·c_8_18·a_1_1·a_1_2
213. b_7_17² + b_7_16·b_7_17 + b_7_15·b_7_16 + b_7_14·b_7_17 + b_7_14·b_7_15 + b_1_0⁵·b_9_21
        + b_1_0⁷·b_7_15 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0·b_5_10
        + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0³·b_3_6
214. b_7_15·b_7_17 + b_7_15·b_7_16 + b_7_14² + b_5_10·b_9_21 + b_1_0⁷·b_7_14
        + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_9 + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_6 + c_8_18·b_1_0·b_5_10
        + c_8_18·b_1_0·b_5_9 + a_4_8·c_8_19·a_1_2² + a_4_8·c_8_18·a_1_2²
        + a_4_6·c_8_19·a_1_2² + a_4_6·c_8_19·a_1_1² + a_4_6·c_8_18·a_1_2²
        + a_4_6·c_8_18·a_1_1²
215. b_7_17² + b_7_16·b_7_17 + b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_17 + b_7_14·b_7_15
        + b_5_8·b_9_21 + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_9
        + b_1_0⁹·b_5_8 + c_8_19·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0⁶
216. b_7_17² + b_7_16·b_7_17 + b_7_15·b_7_17 + b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_17
        + b_7_14·b_7_16 + b_7_14·b_7_15 + b_7_14² + b_5_9·b_9_21 + b_1_0⁷·b_7_17
        + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_9 + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0·b_5_10
        + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_8 + a_4_6·c_8_19·a_1_2²
        + a_4_6·c_8_18·a_1_2²
217. b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_17 + b_7_14·b_7_15 + b_7_14² + b_1_0⁵·b_9_22
        + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_9 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0³·b_3_5
        + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_9 + c_8_18·b_1_0·b_5_8
        + c_8_18·b_1_0⁶
218. b_7_15·b_7_17 + b_7_14·b_7_16 + b_7_14·b_7_15 + b_5_10·b_9_22 + b_1_0⁷·b_7_17
        + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_9 + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0³·b_3_5
        + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_9 + a_4_8·c_8_18·a_1_2²
        + a_4_6·c_8_18·a_1_1·a_1_2
219. b_7_15² + b_7_14·b_7_15 + b_5_8·b_9_22 + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_9 + b_1_0⁹·b_5_8
        + b_1_0¹¹·b_3_5 + c_8_18·b_1_0·b_5_8
220. b_7_15·b_7_17 + b_7_15² + b_7_14·b_7_17 + b_5_9·b_9_22 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15
        + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_9 + b_1_0¹¹·b_3_6 + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10
        + c_8_18·b_1_0·b_5_9 + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
        + a_4_6·c_8_18·a_1_1·a_1_2
221. b_7_17² + b_7_16·b_7_17 + b_7_15² + b_7_14·b_7_15 + b_1_0⁵·b_9_23 + b_1_0⁷·b_7_17
        + b_1_0⁷·b_7_16 + b_1_0⁹·b_5_10 + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0·b_5_10
        + c_8_19·b_1_0³·b_3_5 + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_8
        + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
222. b_7_17² + b_7_15·b_7_17 + b_7_14·b_7_17 + b_7_14·b_7_15 + b_7_14² + b_5_10·b_9_23
        + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_9
        + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5 + c_8_19·b_1_0·b_5_10 + c_8_19·b_1_0³·b_3_5
        + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_9 + a_4_8·c_8_19·a_1_2²
        + a_4_8·c_8_18·a_1_2² + a_4_6·c_8_19·a_1_2² + a_4_6·c_8_19·a_1_1²
        + a_4_6·c_8_18·a_1_2² + a_4_6·c_8_18·a_1_1²
223. b_7_17² + b_7_16·b_7_17 + b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_16 + b_5_8·b_9_23
        + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_5
        + c_8_19·b_1_0·b_5_10 + c_8_19·b_1_0³·b_3_5 + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_8
        + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
224. b_7_16·b_7_17 + b_7_16² + b_7_15·b_7_17 + b_7_14·b_7_17 + b_7_14² + b_5_9·b_9_23
        + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_8
        + b_1_0¹¹·b_3_5 + c_8_19·b_1_0³·b_3_5 + c_8_18·b_1_0·b_5_9 + a_4_6·c_8_19·a_1_2²
        + a_4_6·c_8_18·a_1_2²
225. b_7_15·b_7_16 + b_7_14·b_7_17 + b_7_14·b_7_16 + b_7_14·b_7_15 + b_1_0³·b_11_31
        + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_9 + c_8_18·b_1_0·b_5_8 + c_8_18·b_1_0⁶
226. b_7_16² + b_7_15·b_7_16 + b_7_14·b_7_17 + b_3_5·b_11_31 + b_1_0⁷·b_7_17
        + b_1_0⁷·b_7_15 + b_1_0⁹·b_5_10 + b_1_0¹¹·b_3_6 + b_1_0¹¹·b_3_5
        + c_8_19·b_1_0³·b_3_5 + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0³·b_3_6
        + c_8_18·b_1_0⁶
227. b_7_16·b_7_17 + b_7_16² + b_7_15² + b_7_14·b_7_17 + b_3_6·b_11_31 + b_1_0⁷·b_7_16
        + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_8 + b_1_0¹¹·b_3_6 + c_8_19·b_1_0³·b_3_5
        + c_8_19·b_1_0⁶ + c_8_18·b_1_0·b_5_10 + c_8_18·b_1_0·b_5_9
228. b_7_15·b_7_16 + b_7_14·b_7_17 + b_1_0³·b_11_32 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15
        + b_1_0⁹·b_5_10 + b_1_0⁹·b_5_8 + c_8_18·b_1_0·b_5_9 + c_8_18·b_1_0·b_5_8
        + c_8_18·b_1_0³·b_3_6
229. b_7_17² + b_7_16·b_7_17 + b_7_16² + b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_16
        + b_7_14·b_7_15 + b_3_5·b_11_32 + b_1_0⁷·b_7_17 + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_10
        + b_1_0⁹·b_5_9 + c_8_19·b_1_0·b_5_10 + c_8_19·b_1_0³·b_3_5 + c_8_18·b_1_0·b_5_10
        + c_8_18·b_1_0·b_5_9 + c_8_18·b_1_0³·b_3_6 + c_8_18·b_1_0⁶
230. b_7_16·b_7_17 + b_7_16² + b_7_15·b_7_17 + b_7_15·b_7_16 + b_7_15² + b_7_14·b_7_17
        + b_7_14·b_7_16 + b_7_14² + b_3_6·b_11_32 + b_1_0⁷·b_7_16 + b_1_0⁷·b_7_15
        + b_1_0⁷·b_7_14 + b_1_0⁹·b_5_9 + b_1_0¹¹·b_3_6 + c_8_19·b_1_0³·b_3_5
        + c_8_18·b_1_0⁶
231. a_6_8·a_9_11 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_2
        + a_6_8·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_1·a_1_2²
232. a_6_9·a_9_11 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1²·a_1_2
        + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
233. a_6_10·a_9_11 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_1 + a_6_4·c_8_19·a_1_1
        + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
234. a_6_4·a_9_11 + a_6_4·c_8_19·a_1_2 + a_6_4·c_8_19·a_1_1 + a_6_4·c_8_18·a_1_2
        + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_1·a_1_2²
        + a_4_6·c_8_18·a_1_1³
235. a_6_8·a_9_7 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_1
        + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1³
236. a_6_9·a_9_7 + a_6_8·c_8_19·a_1_1 + a_6_4·c_8_18·a_1_2 + a_6_4·c_8_18·a_1_1
        + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
237. a_6_10·a_9_7 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_2 + a_6_8·c_8_18·a_1_1
        + a_6_4·c_8_19·a_1_1 + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1³
238. a_6_4·a_9_7 + a_6_4·c_8_19·a_1_2 + a_6_4·c_8_19·a_1_1 + a_6_4·c_8_18·a_1_1
        + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1³
239. a_6_8·b_9_21 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_18·a_1_2
240. a_6_9·b_9_21 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_1 + a_6_4·c_8_19·a_1_2
        + a_6_4·c_8_19·a_1_1 + a_6_4·c_8_18·a_1_2 + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_2³
        + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2²
241. a_6_10·b_9_21 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_18·a_1_2 + a_6_4·c_8_19·a_1_1
        + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_18·a_1_2³
242. a_6_4·b_9_21 + a_6_4·c_8_19·a_1_2 + a_6_4·c_8_18·a_1_2
243. a_6_8·b_9_22 + a_6_8·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_2³
        + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1²·a_1_2 + a_4_6·c_8_18·a_1_2³
        + a_4_6·c_8_18·a_1_1³
244. a_6_9·b_9_22 + a_6_4·c_8_18·a_1_2 + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_2³
        + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1²·a_1_2
245. a_6_10·b_9_22 + a_6_8·c_8_18·a_1_2 + a_6_8·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1·a_1_2²
        + a_4_6·c_8_19·a_1_1²·a_1_2 + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_2³
        + a_4_6·c_8_18·a_1_1·a_1_2²
246. a_6_4·b_9_22 + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1·a_1_2²
        + a_4_6·c_8_19·a_1_1²·a_1_2 + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_2³
        + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
247. a_6_8·b_9_23 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_18·a_1_2 + a_4_6·c_8_19·a_1_2³
        + a_4_6·c_8_18·a_1_1²·a_1_2
248. a_6_9·b_9_23 + a_6_8·c_8_19·a_1_1 + a_6_8·c_8_18·a_1_1 + a_6_4·c_8_19·a_1_2
        + a_6_4·c_8_19·a_1_1 + a_6_4·c_8_18·a_1_2 + a_6_4·c_8_18·a_1_1
        + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1²·a_1_2 + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_1³
249. a_6_10·b_9_23 + a_6_8·c_8_19·a_1_2 + a_6_8·c_8_18·a_1_2 + a_6_4·c_8_19·a_1_1
        + a_6_4·c_8_18·a_1_1 + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_19·a_1_1³
        + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
250. a_6_4·b_9_23 + a_6_4·c_8_19·a_1_2 + a_6_4·c_8_18·a_1_2 + a_4_6·c_8_19·a_1_2³
        + a_4_6·c_8_19·a_1_1²·a_1_2 + a_4_6·c_8_18·a_1_2³
251. a_4_8·b_11_31 + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_19·a_1_1²·a_1_2
        + a_4_6·c_8_19·a_1_1³ + a_4_6·c_8_18·a_1_2³ + a_4_6·c_8_18·a_1_1·a_1_2²
252. a_4_6·b_11_31 + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_19·a_1_1²·a_1_2
        + a_4_6·c_8_18·a_1_1·a_1_2²
253. a_4_8·b_11_32 + a_4_6·c_8_19·a_1_2³ + a_4_6·c_8_19·a_1_1·a_1_2²
        + a_4_6·c_8_18·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1³
254. a_4_6·b_11_32 + a_4_6·c_8_19·a_1_1·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2
        + a_4_6·c_8_18·a_1_1³
255. b_7_14·a_9_11 + a_6_8·c_8_19·a_1_1·a_1_2 + a_6_8·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴
        + a_4_6·c_8_18·a_1_1⁴
256. b_7_15·a_9_11 + a_6_8·c_8_19·a_1_1·a_1_2 + a_6_8·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴ + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1⁴
257. b_7_17·a_9_11 + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1³·a_1_2
        + a_4_6·c_8_19·a_1_1⁴ + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1³·a_1_2
        + a_4_6·c_8_18·a_1_1⁴
258. b_7_16·a_9_11 + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1³·a_1_2
259. b_7_14·a_9_7 + a_6_8·c_8_19·a_1_1·a_1_2 + a_6_8·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1⁴
        + a_4_6·c_8_18·a_1_1·a_1_2³ + a_4_6·c_8_18·a_1_1²·a_1_2²
        + a_4_6·c_8_18·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1⁴
260. b_7_15·a_9_7 + a_6_8·c_8_19·a_1_1·a_1_2 + a_6_8·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1⁴
261. b_7_17·a_9_7 + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1²·a_1_2² + a_4_6·c_8_19·a_1_1³·a_1_2
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1⁴
262. b_7_16·a_9_7 + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1⁴
263. b_7_15·b_9_22 + b_7_15·b_9_21 + b_1_0⁹·b_7_16 + b_1_0⁹·b_7_15 + b_1_0⁹·b_7_14
        + b_1_0¹¹·b_5_9 + b_1_0¹³·b_3_6 + b_1_0¹³·b_3_5 + c_8_19·b_1_0⁵·b_3_5
        + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_16 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0⁵·b_3_6
        + c_8_18·b_1_0⁵·b_3_5 + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1⁴
264. b_7_16·b_9_21 + b_7_15·b_9_21 + b_1_0⁷·b_9_22 + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_17
        + b_1_0⁹·b_7_14 + b_1_0¹¹·b_5_9 + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_5 + c_8_19·b_1_0·b_7_14
        + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9 + c_8_19·b_1_0³·b_5_8
        + c_8_19·b_1_0⁵·b_3_5 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_9
        + c_8_18·b_1_0³·b_5_8 + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1·a_1_2³
265. b_7_17·b_9_22 + b_7_14·b_9_22 + b_1_0⁹·b_7_17 + b_1_0¹¹·b_5_10 + b_1_0¹³·b_3_5
        + c_8_19·b_1_0·b_7_15 + c_8_19·b_1_0·b_7_14 + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁸
        + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_15 + c_8_18·b_1_0⁵·b_3_5
        + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_18·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1⁴
266. b_7_16·b_9_22 + b_7_15·b_9_21 + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_17 + b_1_0⁹·b_7_16
        + b_1_0⁹·b_7_15 + b_1_0⁹·b_7_14 + b_1_0¹³·b_3_6 + c_8_19·b_1_0·b_7_14
        + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_17
        + c_8_18·b_1_0·b_7_15 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_9 + c_8_18·b_1_0⁸
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2²
        + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1³·a_1_2
267. b_7_16·b_9_21 + b_7_14·b_9_23 + b_7_14·b_9_21 + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_17
        + b_1_0⁹·b_7_16 + b_1_0⁹·b_7_15 + b_1_0¹³·b_3_6 + c_8_19·b_1_0·b_7_14
        + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9 + c_8_19·b_1_0³·b_5_8
        + c_8_19·b_1_0⁵·b_3_6 + c_8_19·b_1_0⁵·b_3_5 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_15
        + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁸ + a_4_6·c_8_19·a_1_1·a_1_2³
        + a_4_6·c_8_19·a_1_1²·a_1_2² + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴
        + a_4_6·c_8_18·a_1_1·a_1_2³ + a_4_6·c_8_18·a_1_1³·a_1_2
268. b_7_16·b_9_21 + b_7_15·b_9_23 + b_1_0⁹·b_7_16 + b_1_0⁹·b_7_15 + b_1_0¹¹·b_5_10
        + b_1_0¹¹·b_5_9 + b_1_0¹³·b_3_6 + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_5
        + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_16 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_9
        + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁸ + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_18·a_1_1·a_1_2³ + a_4_6·c_8_18·a_1_1⁴
269. b_7_14·b_9_22 + b_7_14·b_9_21 + b_1_0⁷·b_9_23 + b_1_0⁹·b_7_17 + b_1_0⁹·b_7_15
        + b_1_0⁹·b_7_14 + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_6 + b_1_0¹³·b_3_5 + c_8_19·b_1_0⁸
        + c_8_18·b_1_0·b_7_15 + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0⁵·b_3_6
        + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴ + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1⁴
270. b_7_17·b_9_23 + b_7_17·b_9_21 + b_7_16·b_9_21 + b_7_15·b_9_21 + b_1_0⁷·b_9_21
        + b_1_0⁹·b_7_17 + b_1_0¹¹·b_5_10 + c_8_19·b_1_0·b_7_16 + c_8_19·b_1_0·b_7_15
        + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_5
        + c_8_18·b_1_0·b_7_16 + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_9
        + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁵·b_3_5 + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1³·a_1_2
271. b_7_17·b_9_21 + b_7_16·b_9_23 + b_7_16·b_9_21 + b_7_14·b_9_21 + b_1_0⁷·b_9_21
        + b_1_0⁹·b_7_17 + b_1_0¹¹·b_5_9 + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_6 + c_8_19·b_1_0·b_7_14
        + c_8_19·b_1_0³·b_5_10 + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_15
        + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_9 + c_8_18·b_1_0⁵·b_3_6
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1³·a_1_2
272. b_7_15·b_9_21 + b_7_14·b_9_22 + b_1_0⁵·b_11_31 + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_14
        + b_1_0¹¹·b_5_9 + b_1_0¹³·b_3_5 + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_6
        + c_8_19·b_1_0⁵·b_3_5 + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_16
        + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_9 + c_8_18·b_1_0³·b_5_8
        + c_8_18·b_1_0⁵·b_3_6 + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1³·a_1_2
273. b_7_17·b_9_21 + b_7_15·b_9_21 + b_7_14·b_9_21 + b_5_10·b_11_31 + b_1_0⁹·b_7_15
        + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_5 + c_8_19·b_1_0·b_7_16 + c_8_19·b_1_0·b_7_15
        + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9 + c_8_19·b_1_0³·b_5_8
        + c_8_19·b_1_0⁵·b_3_6 + c_8_19·b_1_0⁵·b_3_5 + c_8_18·b_1_0·b_7_17
        + c_8_18·b_1_0·b_7_16 + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_9
        + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁸
        + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1²·a_1_2²
        + a_4_6·c_8_18·a_1_1³·a_1_2
274. b_7_17·b_9_21 + b_7_15·b_9_21 + b_7_14·b_9_22 + b_7_14·b_9_21 + b_5_8·b_11_31
        + b_1_0⁹·b_7_17 + c_8_19·b_1_0·b_7_15 + c_8_19·b_1_0·b_7_14 + c_8_19·b_1_0³·b_5_10
        + c_8_19·b_1_0³·b_5_9 + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_6
        + c_8_19·b_1_0⁵·b_3_5 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_15
        + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_8
        + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁵·b_3_5 + c_8_18·b_1_0⁸
        + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1·a_1_2³
275. b_7_17·b_9_21 + b_7_16·b_9_21 + b_7_15·b_9_21 + b_7_14·b_9_21 + b_5_9·b_11_31
        + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_17 + b_1_0⁹·b_7_16 + b_1_0⁹·b_7_15 + b_1_0⁹·b_7_14
        + b_1_0¹¹·b_5_10 + b_1_0¹¹·b_5_9 + b_1_0¹³·b_3_6 + b_1_0¹³·b_3_5
        + c_8_19·b_1_0·b_7_16 + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0⁵·b_3_6
        + c_8_19·b_1_0⁵·b_3_5 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_16
        + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_9
        + c_8_18·b_1_0⁵·b_3_5 + c_8_18·b_1_0⁸ + a_6_4·c_8_19·a_1_1·a_1_2
        + a_6_4·c_8_18·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1³·a_1_2
        + a_4_6·c_8_19·a_1_1⁴ + a_4_6·c_8_18·a_1_1³·a_1_2
276. b_7_14·b_9_21 + b_1_0⁵·b_11_32 + b_1_0⁹·b_7_16 + b_1_0¹¹·b_5_9 + b_1_0¹¹·b_5_8
        + b_1_0¹³·b_3_6 + b_1_0¹³·b_3_5 + c_8_18·b_1_0·b_7_16 + c_8_18·b_1_0·b_7_15
        + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁸ + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1²·a_1_2²
277. b_7_14·b_9_22 + b_7_14·b_9_21 + b_5_10·b_11_32 + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_17
        + b_1_0⁹·b_7_14 + b_1_0¹¹·b_5_9 + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_6 + c_8_19·b_1_0·b_7_16
        + c_8_19·b_1_0·b_7_15 + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9
        + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_5 + c_8_18·b_1_0·b_7_16
        + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁵·b_3_6
        + c_8_18·b_1_0⁵·b_3_5 + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_2²
        + a_6_4·c_8_19·a_1_1² + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2
        + a_6_4·c_8_18·a_1_1² + a_4_6·c_8_19·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1³·a_1_2
278. b_7_14·b_9_22 + b_7_14·b_9_21 + b_5_8·b_11_32 + b_1_0⁹·b_7_17 + b_1_0⁹·b_7_16
        + b_1_0⁹·b_7_14 + c_8_19·b_1_0·b_7_14 + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0³·b_5_9
        + c_8_19·b_1_0³·b_5_8 + c_8_19·b_1_0⁵·b_3_6 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_17
        + c_8_18·b_1_0³·b_5_9 + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁸
        + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_19·a_1_1⁴ + a_4_6·c_8_18·a_1_1·a_1_2³
        + a_4_6·c_8_18·a_1_1²·a_1_2² + a_4_6·c_8_18·a_1_1⁴
279. b_7_17·b_9_21 + b_7_14·b_9_21 + b_5_9·b_11_32 + b_1_0⁹·b_7_16 + b_1_0¹¹·b_5_9
        + b_1_0¹¹·b_5_8 + b_1_0¹³·b_3_6 + b_1_0¹³·b_3_5 + c_8_19·b_1_0·b_7_16
        + c_8_19·b_1_0·b_7_15 + c_8_19·b_1_0³·b_5_10 + c_8_19·b_1_0⁵·b_3_6
        + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_14 + c_8_18·b_1_0³·b_5_10
        + c_8_18·b_1_0³·b_5_9 + c_8_18·b_1_0³·b_5_8 + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁸
        + a_6_4·c_8_19·a_1_2² + a_6_4·c_8_19·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1²
        + a_6_4·c_8_18·a_1_2² + a_6_4·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_18·a_1_1²
        + a_4_6·c_8_19·a_1_1·a_1_2³ + a_4_6·c_8_19·a_1_1³·a_1_2
        + a_4_6·c_8_18·a_1_1²·a_1_2²
280. b_7_17·b_9_21 + b_7_15·b_9_21 + b_7_14·b_9_22 + b_7_14·b_9_21 + b_1_0²·b_3_5·b_11_32
        + b_1_0⁷·b_9_21 + b_1_0⁹·b_7_16 + b_1_0⁹·b_7_15 + b_1_0⁹·b_7_14 + b_1_0¹¹·b_5_8
        + c_8_19·b_1_0·b_7_15 + c_8_19·b_1_0⁸ + c_8_18·b_1_0·b_7_17 + c_8_18·b_1_0·b_7_16
        + c_8_18·b_1_0·b_7_15 + c_8_18·b_1_0³·b_5_10 + c_8_18·b_1_0³·b_5_8
        + c_8_18·b_1_0⁵·b_3_6 + c_8_18·b_1_0⁵·b_3_5 + c_8_18·b_1_0⁸
        + a_6_8·c_8_18·a_1_1·a_1_2 + a_6_4·c_8_19·a_1_1·a_1_2 + a_4_6·c_8_19·a_1_1²·a_1_2²
        + a_4_6·c_8_19·a_1_1³·a_1_2 + a_4_6·c_8_18·a_1_1·a_1_2³
281. a_6_8·b_11_31 + a_6_4·c_8_19·a_1_2³ + a_6_4·c_8_18·a_1_1³
282. a_6_9·b_11_31 + a_6_4·c_8_19·a_1_2³ + a_6_4·c_8_19·a_1_1²·a_1_2
        + a_6_4·c_8_19·a_1_1³ + a_6_4·c_8_18·a_1_2³ + a_6_4·c_8_18·a_1_1²·a_1_2
283. a_6_10·b_11_31 + a_6_4·c_8_19·a_1_2³ + a_6_4·c_8_19·a_1_1²·a_1_2
        + a_6_4·c_8_19·a_1_1³ + a_6_4·c_8_18·a_1_1²·a_1_2 + a_6_4·c_8_18·a_1_1³
284. a_6_4·b_11_31 + a_6_4·c_8_19·a_1_2³ + a_6_4·c_8_19·a_1_1²·a_1_2
        + a_6_4·c_8_18·a_1_1²·a_1_2
285. a_6_8·b_11_32 + a_6_4·c_8_19·a_1_1³ + a_6_4·c_8_18·a_1_2³ + a_6_4·c_8_18·a_1_1³
286. a_6_9·b_11_32 + a_6_4·c_8_19·a_1_2³ + a_6_4·c_8_19·a_1_1²·a_1_2
        + a_6_4·c_8_18·a_1_1²·a_1_2 + a_6_4·c_8_18·a_1_1³
287. a_6_10·b_11_32 + a_6_4·c_8_19·a_1_1²·a_1_2 + a_6_4·c_8_19·a_1_1³
        + a_6_4·c_8_18·a_1_1²·a_1_2
288. a_6_4·b_11_32 + a_6_4·c_8_19·a_1_1²·a_1_2 + a_6_4·c_8_18·a_1_1²·a_1_2
        + a_6_4·c_8_18·a_1_1³
289. a_9_11² + c_8_19²·a_1_2² + c_8_19²·a_1_1² + c_8_18²·a_1_2²
        + c_8_18²·a_1_1²
290. a_9_7² + c_8_19²·a_1_2² + c_8_19²·a_1_1² + c_8_18²·a_1_1²
291. a_9_11·a_9_7 + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18 + a_4_6·a_6_9·c_8_18
        + a_4_6·a_6_4·c_8_18 + a_6_4·c_8_19·a_1_1³·a_1_2 + c_8_19²·a_1_2²
        + c_8_19²·a_1_1² + c_8_18·c_8_19·a_1_2² + c_8_18·c_8_19·a_1_1·a_1_2
        + c_8_18²·a_1_1·a_1_2 + c_8_18²·a_1_1²
292. a_9_7·b_9_21 + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18 + a_4_6·a_6_9·c_8_19
        + a_4_6·a_6_9·c_8_18 + a_4_6·a_6_8·c_8_19 + a_4_6·a_6_8·c_8_18 + a_4_6·a_6_4·c_8_19
        + a_4_6·a_6_4·c_8_18 + a_6_4·c_8_18·a_1_1³·a_1_2 + c_8_19²·a_1_2²
        + c_8_19²·a_1_1·a_1_2 + c_8_18·c_8_19·a_1_2² + c_8_18²·a_1_1·a_1_2
293. a_9_11·b_9_21 + a_4_6·a_6_9·c_8_19 + a_4_6·a_6_9·c_8_18 + a_4_6·a_6_4·c_8_19
        + a_4_6·a_6_4·c_8_18 + c_8_19²·a_1_2² + c_8_19²·a_1_1·a_1_2 + c_8_18²·a_1_2²
        + c_8_18²·a_1_1·a_1_2
294. a_9_7·b_9_22 + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_9·c_8_19 + a_4_6·a_6_9·c_8_18
        + a_4_6·a_6_8·c_8_19 + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1³·a_1_2
        + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18·c_8_19·a_1_1² + c_8_18²·a_1_1²
295. a_9_11·b_9_22 + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18 + a_4_6·a_6_9·c_8_19
        + a_4_6·a_6_9·c_8_18 + a_4_6·a_6_8·c_8_19 + a_4_6·a_6_8·c_8_18 + a_4_6·a_6_4·c_8_18
        + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1³·a_1_2 + a_6_4·c_8_18·a_1_1⁴
        + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18·c_8_19·a_1_1² + c_8_18²·a_1_1·a_1_2
        + c_8_18²·a_1_1²
296. a_9_7·b_9_23 + a_4_6·a_6_9·c_8_19 + a_4_6·a_6_9·c_8_18 + a_4_6·a_6_4·c_8_18
        + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1⁴ + c_8_19²·a_1_2²
        + c_8_19²·a_1_1·a_1_2 + c_8_18·c_8_19·a_1_2² + c_8_18²·a_1_1·a_1_2
297. b_9_23² + b_9_21·b_9_23 + b_9_21·b_9_22 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_17
        + b_1_0¹³·b_5_9 + b_1_0¹³·b_5_8 + b_1_0¹⁵·b_3_6 + b_1_0¹⁵·b_3_5 + c_8_19·b_1_0·b_9_22
        + c_8_19·b_1_0³·b_7_17 + c_8_19·b_1_0⁵·b_5_10 + c_8_19·b_1_0⁵·b_5_9
        + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0⁷·b_3_6 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_22
        + c_8_18·b_1_0·b_9_21 + c_8_18·b_1_0³·b_7_16 + c_8_18·b_1_0⁵·b_5_8
        + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0⁷·b_3_5 + a_4_6·a_6_10·c_8_19
        + a_4_6·a_6_10·c_8_18 + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1⁴
        + c_8_18²·b_1_0² + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18²·a_1_1·a_1_2
298. b_9_22·b_9_23 + b_9_21·b_9_23 + b_1_0⁹·b_9_22 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_15
        + b_1_0¹¹·b_7_14 + b_1_0¹³·b_5_10 + b_1_0¹³·b_5_9 + c_8_19·b_1_0³·b_7_15
        + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_10 + c_8_19·b_1_0⁵·b_5_9
        + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0³·b_7_15
        + c_8_18·b_1_0⁵·b_5_10 + c_8_18·b_1_0⁵·b_5_8 + c_8_18·b_1_0¹⁰ + a_4_6·a_6_10·c_8_19
        + a_4_6·a_6_8·c_8_18 + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1³·a_1_2
        + c_8_18·c_8_19·b_1_0² + c_8_19²·a_1_2² + c_8_18·c_8_19·a_1_1·a_1_2
        + c_8_18²·a_1_2² + c_8_18²·a_1_1·a_1_2
299. a_9_11·b_9_23 + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18 + a_4_6·a_6_9·c_8_19
        + a_4_6·a_6_9·c_8_18 + a_4_6·a_6_8·c_8_19 + a_4_6·a_6_8·c_8_18 + a_6_4·c_8_19·a_1_1⁴
        + a_6_4·c_8_18·a_1_1⁴ + c_8_19²·a_1_2² + c_8_19²·a_1_1·a_1_2 + c_8_18²·a_1_2²
        + c_8_18²·a_1_1·a_1_2
300. b_9_21² + b_1_0⁹·b_9_23 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_17 + b_1_0¹⁵·b_3_6
        + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0⁵·b_5_10 + c_8_19·b_1_0⁵·b_5_8
        + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁵·b_5_8
        + c_8_18·b_1_0⁷·b_3_5 + c_8_18·c_8_19·b_1_0² + c_8_18²·b_1_0² + c_8_19²·a_1_2²
        + c_8_18²·a_1_2²
301. b_9_21·b_9_23 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_17 + b_1_0¹¹·b_7_15 + b_1_0¹³·b_5_8
        + b_1_0¹⁵·b_3_5 + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0·b_9_21 + c_8_19·b_1_0³·b_7_16
        + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_9 + c_8_19·b_1_0⁷·b_3_6
        + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_23 + c_8_18·b_1_0³·b_7_16
        + c_8_18·b_1_0⁵·b_5_10 + c_8_18·b_1_0⁵·b_5_8 + c_8_18·b_1_0⁷·b_3_6
        + c_8_18·b_1_0⁷·b_3_5 + c_8_18·b_1_0¹⁰ + a_4_6·a_6_4·c_8_19 + a_4_6·a_6_4·c_8_18
        + a_6_4·c_8_19·a_1_1³·a_1_2 + a_6_4·c_8_18·a_1_1³·a_1_2 + c_8_19²·a_1_2²
        + c_8_18²·a_1_2²
302. b_9_21·b_9_23 + b_9_21² + b_7_15·b_11_31 + b_1_0⁹·b_9_22 + b_1_0¹¹·b_7_15
        + c_8_19·b_1_0⁷·b_3_5 + c_8_18·b_1_0³·b_7_17 + c_8_18·b_1_0³·b_7_16
        + c_8_18·b_1_0³·b_7_15 + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁵·b_5_9
        + c_8_18·b_1_0⁵·b_5_8 + c_8_18·b_1_0⁷·b_3_5 + a_4_6·a_6_4·c_8_19 + a_4_6·a_6_4·c_8_18
        + a_6_4·c_8_18·a_1_1³·a_1_2
303. b_9_22² + b_9_21·b_9_23 + b_9_21·b_9_22 + b_9_21² + b_1_0⁷·b_11_31 + b_1_0⁹·b_9_21
        + b_1_0¹¹·b_7_17 + b_1_0¹¹·b_7_16 + b_1_0¹¹·b_7_14 + b_1_0¹³·b_5_9 + b_1_0¹³·b_5_8
        + b_1_0¹⁵·b_3_6 + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0·b_9_21 + c_8_19·b_1_0³·b_7_16
        + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁷·b_3_5
        + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_22 + c_8_18·b_1_0³·b_7_16
        + c_8_18·b_1_0³·b_7_15 + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁵·b_5_8
        + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0⁷·b_3_5 + a_4_6·a_6_10·c_8_19
        + a_4_6·a_6_10·c_8_18 + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1⁴
        + c_8_18·c_8_19·b_1_0² + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18²·a_1_1·a_1_2
        + c_8_18²·a_1_1²
304. b_9_22² + b_9_21·b_9_23 + b_7_17·b_11_31 + b_7_14·b_11_31 + b_1_0⁹·b_9_22
        + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_15 + b_1_0¹¹·b_7_14 + b_1_0¹³·b_5_9 + b_1_0¹³·b_5_8
        + b_1_0¹⁵·b_3_6 + c_8_19·b_1_0·b_9_23 + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0³·b_7_16
        + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_9
        + c_8_19·b_1_0⁷·b_3_5 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0⁵·b_5_10 + a_4_6·a_6_4·c_8_19
        + a_4_6·a_6_4·c_8_18 + c_8_18·c_8_19·b_1_0² + c_8_19²·a_1_2² + c_8_18²·a_1_2²
        + c_8_18²·a_1_1²
305. b_9_21·b_9_23 + b_9_21·b_9_22 + b_9_21² + b_7_16·b_11_31 + b_7_14·b_11_31
        + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_16 + b_1_0¹¹·b_7_14 + b_1_0¹⁵·b_3_5
        + c_8_19·b_1_0·b_9_21 + c_8_19·b_1_0³·b_7_17 + c_8_19·b_1_0³·b_7_14
        + c_8_19·b_1_0⁵·b_5_9 + c_8_19·b_1_0⁷·b_3_5 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_22
        + c_8_18·b_1_0³·b_7_16 + c_8_18·b_1_0³·b_7_15 + c_8_18·b_1_0⁵·b_5_8
        + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18 + a_6_4·c_8_19·a_1_1³·a_1_2
        + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1⁴ + c_8_18·c_8_19·b_1_0²
        + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18²·a_1_1·a_1_2
306. b_9_22² + b_9_21·b_9_23 + b_7_14·b_11_32 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_17
        + b_1_0¹¹·b_7_15 + b_1_0¹¹·b_7_14 + b_1_0¹³·b_5_10 + b_1_0¹³·b_5_9 + b_1_0¹³·b_5_8
        + b_1_0¹⁵·b_3_5 + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0·b_9_21 + c_8_19·b_1_0³·b_7_16
        + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_10 + c_8_19·b_1_0⁵·b_5_9
        + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0⁷·b_3_5 + c_8_18·b_1_0³·b_7_17
        + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁵·b_5_10 + c_8_18·b_1_0⁷·b_3_6
        + c_8_18·b_1_0⁷·b_3_5 + c_8_18·b_1_0¹⁰ + a_4_6·a_6_4·c_8_19 + a_4_6·a_6_4·c_8_18
        + a_6_4·c_8_19·a_1_1³·a_1_2 + a_6_4·c_8_18·a_1_1³·a_1_2 + a_6_4·c_8_18·a_1_1⁴
        + c_8_18²·b_1_0² + c_8_19²·a_1_2² + c_8_18²·a_1_2² + c_8_18²·a_1_1²
307. b_9_22² + b_9_21² + b_7_15·b_11_32 + b_7_14·b_11_31 + b_1_0⁹·b_9_22 + b_1_0¹¹·b_7_16
        + b_1_0¹¹·b_7_15 + b_1_0¹³·b_5_10 + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0·b_9_21
        + c_8_19·b_1_0³·b_7_16 + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0⁵·b_5_10
        + c_8_19·b_1_0⁷·b_3_6 + c_8_19·b_1_0⁷·b_3_5 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_22
        + c_8_18·b_1_0³·b_7_17 + c_8_18·b_1_0³·b_7_16 + c_8_18·b_1_0⁵·b_5_10
        + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0¹⁰ + a_6_4·c_8_19·a_1_1³·a_1_2
        + a_6_4·c_8_18·a_1_1⁴ + c_8_18·c_8_19·b_1_0² + c_8_19²·a_1_2²
        + c_8_18²·a_1_2² + c_8_18²·a_1_1²
308. b_9_22² + b_1_0⁷·b_11_32 + b_1_0⁹·b_9_22 + b_1_0¹¹·b_7_15 + b_1_0¹³·b_5_8
        + b_1_0¹⁵·b_3_6 + b_1_0¹⁵·b_3_5 + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0⁵·b_5_10
        + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0⁷·b_3_6 + c_8_19·b_1_0⁷·b_3_5
        + c_8_18·b_1_0·b_9_21 + c_8_18·b_1_0³·b_7_16 + c_8_18·b_1_0³·b_7_14
        + c_8_18·b_1_0⁵·b_5_10 + c_8_18·b_1_0⁵·b_5_9 + c_8_18·b_1_0⁵·b_5_8
        + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0¹⁰ + c_8_18·c_8_19·b_1_0² + c_8_18²·a_1_1²
309. b_9_21·b_9_23 + b_9_21² + b_7_17·b_11_32 + b_1_0⁹·b_9_21 + b_1_0¹¹·b_7_17
        + b_1_0¹¹·b_7_16 + b_1_0¹¹·b_7_15 + b_1_0¹³·b_5_9 + b_1_0¹⁵·b_3_6
        + c_8_19·b_1_0·b_9_23 + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_10
        + c_8_19·b_1_0⁷·b_3_6 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0³·b_7_16
        + c_8_18·b_1_0³·b_7_15 + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁵·b_5_9
        + c_8_18·b_1_0⁵·b_5_8 + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0⁷·b_3_5
        + a_4_6·a_6_4·c_8_19 + a_4_6·a_6_4·c_8_18 + a_6_4·c_8_18·a_1_1⁴
        + c_8_18·c_8_19·b_1_0² + c_8_18²·b_1_0²
310. b_9_22² + b_9_21·b_9_23 + b_7_16·b_11_32 + b_7_14·b_11_31 + b_1_0⁹·b_9_21
        + b_1_0¹¹·b_7_17 + b_1_0¹¹·b_7_16 + b_1_0¹³·b_5_9 + c_8_19·b_1_0·b_9_22
        + c_8_19·b_1_0³·b_7_17 + c_8_19·b_1_0³·b_7_16 + c_8_19·b_1_0⁵·b_5_10
        + c_8_19·b_1_0⁵·b_5_9 + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0⁷·b_3_6
        + c_8_19·b_1_0⁷·b_3_5 + c_8_19·b_1_0¹⁰ + c_8_18·b_1_0·b_9_22 + c_8_18·b_1_0·b_9_21
        + c_8_18·b_1_0³·b_7_15 + c_8_18·b_1_0³·b_7_14 + a_4_6·a_6_4·c_8_19
        + a_4_6·a_6_4·c_8_18 + a_6_4·c_8_18·a_1_1³·a_1_2 + c_8_18·c_8_19·b_1_0²
        + c_8_19²·a_1_2² + c_8_18²·a_1_2² + c_8_18²·a_1_1²
311. b_9_22² + b_9_21·b_9_23 + b_9_21·b_9_22 + b_7_14·b_11_31 + b_1_0⁴·b_3_5·b_11_32
        + b_1_0⁹·b_9_22 + b_1_0¹¹·b_7_16 + b_1_0¹³·b_5_9 + b_1_0¹³·b_5_8 + b_1_0¹⁵·b_3_5
        + c_8_19·b_1_0·b_9_22 + c_8_19·b_1_0·b_9_21 + c_8_19·b_1_0³·b_7_16
        + c_8_19·b_1_0³·b_7_15 + c_8_19·b_1_0³·b_7_14 + c_8_19·b_1_0⁵·b_5_9
        + c_8_19·b_1_0⁵·b_5_8 + c_8_19·b_1_0⁷·b_3_6 + c_8_18·b_1_0³·b_7_17
        + c_8_18·b_1_0³·b_7_14 + c_8_18·b_1_0⁷·b_3_6 + c_8_18·b_1_0⁷·b_3_5
        + c_8_18·b_1_0¹⁰ + a_4_6·a_6_10·c_8_19 + a_4_6·a_6_10·c_8_18
        + a_6_4·c_8_19·a_1_1³·a_1_2 + a_6_4·c_8_19·a_1_1⁴ + a_6_4·c_8_18·a_1_1⁴
        + c_8_18·c_8_19·b_1_0² + c_8_18²·b_1_0² + c_8_19²·a_1_2²
        + c_8_18·c_8_19·a_1_1·a_1_2 + c_8_18²·a_1_2² + c_8_18²·a_1_1·a_1_2
        + c_8_18²·a_1_1²
312. a_9_7·b_11_31 + a_4_6·a_6_8·c_8_18·a_1_1·a_1_2 + c_8_19²·a_1_1·a_1_2³
        + c_8_19²·a_1_1³·a_1_2 + c_8_19²·a_1_1⁴ + c_8_18·c_8_19·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1³·a_1_2 + c_8_18²·a_1_1²·a_1_2²
313. a_9_11·b_11_31 + a_4_6·a_6_8·c_8_19·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_19·a_1_1·a_1_2
        + a_4_6·a_6_4·c_8_18·a_1_2² + a_4_6·a_6_4·c_8_18·a_1_1·a_1_2
        + c_8_19²·a_1_1·a_1_2³ + c_8_19²·a_1_1³·a_1_2 + c_8_19²·a_1_1⁴
        + c_8_18·c_8_19·a_1_1²·a_1_2² + c_8_18·c_8_19·a_1_1³·a_1_2
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1·a_1_2³ + c_8_18²·a_1_1²·a_1_2²
314. a_9_7·b_11_32 + a_4_6·a_6_4·c_8_19·a_1_1² + a_4_6·a_6_4·c_8_18·a_1_2²
        + a_4_6·a_6_4·c_8_18·a_1_1² + c_8_19²·a_1_1·a_1_2³ + c_8_19²·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1³·a_1_2 + c_8_18²·a_1_1⁴
315. b_9_23·b_11_32 + b_9_23·b_11_31 + b_9_21·b_11_31 + b_1_0⁹·b_11_31 + b_1_0¹¹·b_9_23
        + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_15 + b_1_0¹⁵·b_5_10 + b_1_0¹⁵·b_5_9 + b_1_0¹⁵·b_5_8
        + b_1_0¹⁷·b_3_6 + b_1_0¹⁷·b_3_5 + c_8_19·b_1_0³·b_9_22 + c_8_19·b_1_0⁵·b_7_15
        + c_8_19·b_1_0⁷·b_5_10 + c_8_19·b_1_0⁷·b_5_9 + c_8_19·b_1_0⁷·b_5_8
        + c_8_19·b_1_0⁹·b_3_6 + c_8_19·b_1_0⁹·b_3_5 + c_8_18·b_1_0³·b_9_22
        + c_8_18·b_1_0³·b_9_21 + c_8_18·b_1_0⁵·b_7_17 + c_8_18·b_1_0⁵·b_7_14
        + c_8_18·b_1_0⁷·b_5_10 + c_8_18·b_1_0⁷·b_5_8 + a_4_6·a_6_8·c_8_19·a_1_1·a_1_2
        + a_4_6·a_6_4·c_8_18·a_1_2² + c_8_18·c_8_19·b_1_0·b_3_5 + c_8_18²·b_1_0·b_3_6
        + c_8_18²·b_1_0⁴ + c_8_19²·a_1_1·a_1_2³ + c_8_18·c_8_19·a_1_1·a_1_2³
        + c_8_18·c_8_19·a_1_1²·a_1_2² + c_8_18·c_8_19·a_1_1³·a_1_2
        + c_8_18²·a_1_1²·a_1_2² + c_8_18²·a_1_1³·a_1_2
316. b_9_22·b_11_32 + b_9_22·b_11_31 + b_1_0¹¹·b_9_22 + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_17
        + b_1_0¹³·b_7_15 + b_1_0¹³·b_7_14 + b_1_0¹⁷·b_3_5 + c_8_19·b_1_0³·b_9_22
        + c_8_19·b_1_0⁵·b_7_17 + c_8_19·b_1_0⁵·b_7_15 + c_8_18·b_1_0³·b_9_23
        + c_8_18·b_1_0⁵·b_7_17 + c_8_18·b_1_0⁵·b_7_15 + c_8_18·b_1_0⁵·b_7_14
        + c_8_18·b_1_0⁷·b_5_9 + c_8_18·b_1_0⁷·b_5_8 + c_8_18·b_1_0¹²
        + a_4_6·a_6_4·c_8_18·a_1_2² + a_4_6·a_6_4·c_8_18·a_1_1·a_1_2
        + c_8_18·c_8_19·b_1_0·b_3_6 + c_8_18·c_8_19·b_1_0⁴ + c_8_18²·b_1_0·b_3_5
        + c_8_18²·b_1_0⁴ + c_8_18·c_8_19·a_1_1·a_1_2³ + c_8_18·c_8_19·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1³·a_1_2 + c_8_18²·a_1_1²·a_1_2² + c_8_18²·a_1_1³·a_1_2
        + c_8_18²·a_1_1⁴
317. b_9_21·b_11_32 + b_9_21·b_11_31 + b_1_0⁶·b_3_5·b_11_32 + b_1_0⁹·b_11_31
        + b_1_0¹¹·b_9_23 + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_17 + b_1_0¹³·b_7_15 + b_1_0¹³·b_7_14
        + b_1_0¹⁵·b_5_10 + b_1_0¹⁷·b_3_5 + c_8_19·b_1_0³·b_9_22 + c_8_19·b_1_0⁵·b_7_17
        + c_8_19·b_1_0⁵·b_7_16 + c_8_19·b_1_0⁵·b_7_15 + c_8_19·b_1_0⁷·b_5_9
        + c_8_19·b_1_0⁷·b_5_8 + c_8_19·b_1_0⁹·b_3_6 + c_8_18·b_1_0·b_11_31
        + c_8_18·b_1_0³·b_9_23 + c_8_18·b_1_0³·b_9_21 + c_8_18·b_1_0⁵·b_7_17
        + c_8_18·b_1_0⁵·b_7_16 + c_8_18·b_1_0⁵·b_7_15 + c_8_18·b_1_0⁵·b_7_14
        + c_8_18·b_1_0⁷·b_5_10 + c_8_18·b_1_0⁷·b_5_8 + c_8_18·b_1_0¹²
        + c_8_18·c_8_19·b_1_0·b_3_6 + c_8_19²·a_1_1·a_1_2³ + c_8_19²·a_1_1⁴
        + c_8_18·c_8_19·a_1_1²·a_1_2² + c_8_18·c_8_19·a_1_1³·a_1_2
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1·a_1_2³ + c_8_18²·a_1_1²·a_1_2²
        + c_8_18²·a_1_1³·a_1_2
318. a_9_11·b_11_32 + a_4_6·a_6_4·c_8_18·a_1_2² + a_4_6·a_6_4·c_8_18·a_1_1·a_1_2
        + a_4_6·a_6_4·c_8_18·a_1_1² + c_8_19²·a_1_1·a_1_2³ + c_8_19²·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1·a_1_2³ + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1²·a_1_2²
        + c_8_18²·a_1_1⁴
319. b_9_22·b_11_31 + b_9_21·b_11_32 + b_9_21·b_11_31 + b_1_0⁹·b_11_32 + b_1_0⁹·b_11_31
        + b_1_0¹¹·b_9_23 + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_17 + b_1_0¹³·b_7_16 + b_1_0¹⁵·b_5_9
        + b_1_0¹⁷·b_3_6 + c_8_19·b_1_0·b_11_31 + c_8_19·b_1_0³·b_9_22 + c_8_19·b_1_0⁵·b_7_17
        + c_8_19·b_1_0⁷·b_5_8 + c_8_19·b_1_0⁹·b_3_6 + c_8_18·b_1_0³·b_9_22
        + c_8_18·b_1_0⁵·b_7_14 + c_8_18·b_1_0⁷·b_5_9 + c_8_18·b_1_0⁷·b_5_8
        + a_4_6·a_6_8·c_8_19·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_19·a_1_1·a_1_2
        + a_4_6·a_6_4·c_8_19·a_1_1² + a_4_6·a_6_4·c_8_18·a_1_2²
        + a_4_6·a_6_4·c_8_18·a_1_1·a_1_2 + c_8_19²·b_1_0·b_3_5 + c_8_18·c_8_19·b_1_0·b_3_6
        + c_8_18²·b_1_0·b_3_6 + c_8_18²·b_1_0·b_3_5 + c_8_19²·a_1_1·a_1_2³
        + c_8_19²·a_1_1⁴ + c_8_18·c_8_19·a_1_1·a_1_2³ + c_8_18·c_8_19·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1·a_1_2³ + c_8_18²·a_1_1³·a_1_2
320. b_9_21·b_11_31 + b_1_0⁹·b_11_31 + b_1_0¹¹·b_9_23 + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_15
        + c_8_19·b_1_0·b_11_31 + c_8_19·b_1_0³·b_9_22 + c_8_19·b_1_0⁵·b_7_16
        + c_8_19·b_1_0⁵·b_7_14 + c_8_19·b_1_0⁷·b_5_9 + c_8_19·b_1_0⁷·b_5_8
        + c_8_19·b_1_0⁹·b_3_6 + c_8_19·b_1_0⁹·b_3_5 + c_8_19·b_1_0¹² + c_8_18·b_1_0·b_11_32
        + c_8_18·b_1_0·b_11_31 + c_8_18·b_1_0³·b_9_22 + c_8_18·b_1_0³·b_9_21
        + c_8_18·b_1_0⁵·b_7_17 + c_8_18·b_1_0⁵·b_7_16 + c_8_18·b_1_0⁵·b_7_15
        + c_8_18·b_1_0⁵·b_7_14 + c_8_18·b_1_0⁷·b_5_9 + c_8_18·b_1_0⁷·b_5_8
        + c_8_18·b_1_0⁹·b_3_5 + c_8_18·b_1_0¹² + a_4_6·a_6_8·c_8_19·a_1_1·a_1_2
        + a_4_6·a_6_8·c_8_18·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_19·a_1_2²
        + a_4_6·a_6_4·c_8_19·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_19·a_1_1²
        + a_4_6·a_6_4·c_8_18·a_1_2² + a_4_6·a_6_4·c_8_18·a_1_1·a_1_2
        + a_4_6·a_6_4·c_8_18·a_1_1² + c_8_19²·b_1_0·b_3_5 + c_8_18·c_8_19·b_1_0·b_3_6
        + c_8_18·c_8_19·b_1_0⁴ + c_8_19²·a_1_1⁴ + c_8_18·c_8_19·a_1_1·a_1_2³
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1·a_1_2³
321. b_9_23·b_11_31 + b_9_22·b_11_31 + b_9_21·b_11_32 + b_1_0¹¹·b_9_21 + b_1_0¹³·b_7_16
        + b_1_0¹³·b_7_15 + b_1_0¹³·b_7_14 + b_1_0¹⁵·b_5_8 + b_1_0¹⁷·b_3_5
        + c_8_19·b_1_0·b_11_32 + c_8_19·b_1_0·b_11_31 + c_8_19·b_1_0³·b_9_23
        + c_8_19·b_1_0³·b_9_21 + c_8_19·b_1_0⁵·b_7_17 + c_8_19·b_1_0⁵·b_7_15
        + c_8_19·b_1_0⁵·b_7_14 + c_8_19·b_1_0⁷·b_5_8 + c_8_19·b_1_0⁹·b_3_6
        + c_8_18·b_1_0³·b_9_22 + c_8_18·b_1_0⁵·b_7_15 + c_8_18·b_1_0⁷·b_5_8
        + c_8_18·b_1_0⁹·b_3_5 + a_4_6·a_6_8·c_8_19·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_19·a_1_2²
        + a_4_6·a_6_4·c_8_19·a_1_1·a_1_2 + a_4_6·a_6_4·c_8_18·a_1_2² + c_8_19²·b_1_0⁴
        + c_8_18²·b_1_0·b_3_5 + c_8_18²·b_1_0⁴ + c_8_19²·a_1_1·a_1_2³
        + c_8_19²·a_1_1⁴ + c_8_18·c_8_19·a_1_1·a_1_2³ + c_8_18·c_8_19·a_1_1²·a_1_2²
        + c_8_18·c_8_19·a_1_1⁴ + c_8_18²·a_1_1·a_1_2³ + c_8_18²·a_1_1³·a_1_2
322. b_11_31² + b_1_0⁸·b_3_5·b_11_32 + b_1_0¹¹·b_11_32 + b_1_0¹¹·b_11_31
        + b_1_0¹³·b_9_23 + b_1_0¹³·b_9_22 + b_1_0¹³·b_9_21 + b_1_0¹⁵·b_7_17 + b_1_0¹⁵·b_7_15
        + b_1_0¹⁵·b_7_14 + b_1_0¹⁹·b_3_6 + b_1_0¹⁹·b_3_5 + c_8_19·b_1_0⁵·b_9_21
        + c_8_19·b_1_0⁷·b_7_16 + c_8_19·b_1_0⁹·b_5_10 + c_8_19·b_1_0⁹·b_5_9
        + c_8_19·b_1_0⁹·b_5_8 + c_8_19·b_1_0¹¹·b_3_6 + c_8_19·b_1_0¹¹·b_3_5
        + c_8_19·b_1_0¹⁴ + c_8_18·b_1_0⁵·b_9_22 + c_8_18·b_1_0⁵·b_9_21
        + c_8_18·b_1_0⁷·b_7_16 + c_8_18·b_1_0⁹·b_5_10 + c_8_18·b_1_0¹¹·b_3_6
        + c_8_19²·b_1_0·b_5_8 + c_8_19²·b_1_0³·b_3_6 + c_8_19²·b_1_0³·b_3_5
        + c_8_18·c_8_19·b_1_0·b_5_8 + c_8_18·c_8_19·b_1_0³·b_3_5 + c_8_18²·b_1_0·b_5_9
        + c_8_18²·b_1_0³·b_3_5
323. b_11_32² + b_11_31² + b_1_0¹¹·b_11_31 + b_1_0¹⁵·b_7_17 + b_1_0¹⁵·b_7_14
        + b_1_0¹⁷·b_5_10 + c_8_19·b_1_0³·b_11_32 + c_8_19·b_1_0⁵·b_9_23
        + c_8_19·b_1_0⁷·b_7_17 + c_8_19·b_1_0⁷·b_7_16 + c_8_19·b_1_0⁷·b_7_15
        + c_8_19·b_1_0⁷·b_7_14 + c_8_19·b_1_0⁹·b_5_10 + c_8_19·b_1_0⁹·b_5_9
        + c_8_19·b_1_0⁹·b_5_8 + c_8_19·b_1_0¹¹·b_3_6 + c_8_19·b_1_0¹⁴
        + c_8_18·b_1_0³·b_11_31 + c_8_18·b_1_0⁵·b_9_23 + c_8_18·b_1_0⁵·b_9_22
        + c_8_18·b_1_0⁷·b_7_17 + c_8_18·b_1_0⁷·b_7_16 + c_8_18·b_1_0⁹·b_5_10
        + c_8_18·b_1_0⁹·b_5_9 + c_8_18·b_1_0⁹·b_5_8 + c_8_18·b_1_0¹¹·b_3_5
        + c_8_19²·b_1_0³·b_3_5 + c_8_19²·b_1_0⁶ + c_8_18·c_8_19·b_1_0·b_5_9
        + c_8_18·c_8_19·b_1_0·b_5_8 + c_8_18·c_8_19·b_1_0³·b_3_6 + c_8_18²·b_1_0·b_5_9
        + c_8_18²·b_1_0³·b_3_6
324. b_11_31·b_11_32 + b_11_31² + b_1_0¹³·b_9_23 + b_1_0¹³·b_9_21 + b_1_0¹⁵·b_7_16
        + b_1_0¹⁵·b_7_15 + b_1_0¹⁷·b_5_9 + c_8_19·b_3_5·b_11_32 + c_8_19·b_1_0³·b_11_31
        + c_8_19·b_1_0⁷·b_7_17 + c_8_19·b_1_0⁷·b_7_16 + c_8_19·b_1_0⁷·b_7_15
        + c_8_19·b_1_0⁹·b_5_10 + c_8_19·b_1_0⁹·b_5_9 + c_8_19·b_1_0⁹·b_5_8
        + c_8_19·b_1_0¹¹·b_3_6 + c_8_19·b_1_0¹¹·b_3_5 + c_8_18·b_1_0³·b_11_31
        + c_8_18·b_1_0⁵·b_9_22 + c_8_18·b_1_0⁷·b_7_17 + c_8_18·b_1_0⁷·b_7_15
        + c_8_18·b_1_0⁷·b_7_14 + c_8_18·b_1_0⁹·b_5_10 + c_8_18·b_1_0⁹·b_5_9
        + c_8_18·b_1_0¹¹·b_3_6 + c_8_18·b_1_0¹⁴ + c_8_19²·b_1_0·b_5_8
        + c_8_19²·b_1_0³·b_3_6 + c_8_19²·b_1_0⁶ + c_8_18·c_8_19·b_1_0·b_5_9
        + c_8_18·c_8_19·b_1_0·b_5_8 + c_8_18·c_8_19·b_1_0³·b_3_5 + c_8_18²·b_1_0·b_5_8
        + c_8_18²·b_1_0³·b_3_5

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Data used for Benson′s test

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

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Restriction maps

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

1. a_1_1 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_0 → 0, an element of degree 1
4. a_2_4 → 0, an element of degree 2
5. b_3_5 → 0, an element of degree 3
6. b_3_6 → 0, an element of degree 3
7. a_4_6 → 0, an element of degree 4
8. a_4_8 → 0, an element of degree 4
9. b_5_8 → 0, an element of degree 5
10. b_5_9 → 0, an element of degree 5
11. b_5_10 → 0, an element of degree 5
12. a_6_4 → 0, an element of degree 6
13. a_6_8 → 0, an element of degree 6
14. a_6_9 → 0, an element of degree 6
15. a_6_10 → 0, an element of degree 6
16. b_7_14 → 0, an element of degree 7
17. b_7_15 → 0, an element of degree 7
18. b_7_16 → 0, an element of degree 7
19. b_7_17 → 0, an element of degree 7
20. c_8_18 → c_1_1⁸ + c_1_0⁸, an element of degree 8
21. c_8_19 → c_1_1⁸, an element of degree 8
22. a_9_11 → 0, an element of degree 9
23. a_9_7 → 0, an element of degree 9
24. b_9_21 → 0, an element of degree 9
25. b_9_22 → 0, an element of degree 9
26. b_9_23 → 0, an element of degree 9
27. b_11_31 → 0, an element of degree 11
28. b_11_32 → 0, an element of degree 11

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

1. a_1_1 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_0 → c_1_2, an element of degree 1
4. a_2_4 → 0, an element of degree 2
5. b_3_5 → c_1_1·c_1_2² + c_1_1²·c_1_2 + c_1_0·c_1_2² + c_1_0²·c_1_2, an element of degree 3
6. b_3_6 → c_1_0·c_1_2² + c_1_0²·c_1_2, an element of degree 3
7. a_4_6 → 0, an element of degree 4
8. a_4_8 → 0, an element of degree 4
9. b_5_8 → c_1_1·c_1_2⁴ + c_1_1⁴·c_1_2 + c_1_0²·c_1_2³ + c_1_0⁴·c_1_2, an element of degree 5
10. b_5_9 → c_1_0²·c_1_2³ + c_1_0⁴·c_1_2, an element of degree 5
11. b_5_10 → c_1_1·c_1_2⁴ + 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_2, an element of degree 5
12. a_6_4 → 0, an element of degree 6
13. a_6_8 → 0, an element of degree 6
14. a_6_9 → 0, an element of degree 6
15. a_6_10 → 0, an element of degree 6
16. b_7_14 → 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_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_2, an element of degree 7
17. b_7_15 → c_1_1²·c_1_2⁵ + 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_2⁴ + c_1_0⁵·c_1_2² + c_1_0⁶·c_1_2, an element of degree 7
18. b_7_16 → 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
19. b_7_17 → 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_1⁵·c_1_2² + 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_2³ + c_1_0⁴·c_1_1·c_1_2² + c_1_0⁴·c_1_1²·c_1_2, an element of degree 7
20. c_8_18 → c_1_1⁴·c_1_2⁴ + 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⁴·c_1_2²
       + c_1_0³·c_1_2⁵ + c_1_0⁴·c_1_2⁴ + c_1_0⁵·c_1_2³ + c_1_0⁶·c_1_2² + c_1_0⁸, an element of degree 8
21. c_8_19 → 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_1⁶·c_1_2² + c_1_1⁸ + 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_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_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_2², an element of degree 8
22. a_9_11 → 0, an element of degree 9
23. a_9_7 → 0, an element of degree 9
24. b_9_21 → 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_2⁴ + c_1_0⁶·c_1_2³
       + c_1_0⁸·c_1_2, an element of degree 9
25. b_9_22 → 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_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_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, an element of degree 9
26. b_9_23 → 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_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_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_2³, an element of degree 9
27. b_11_31 → c_1_1·c_1_2¹⁰ + 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_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_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_2²
       + c_1_0¹⁰·c_1_2, an element of degree 11
28. b_11_32 → 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_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_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, an element of degree 11

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128