Lines Matching refs:x5
1 R = QQ[x1, x2, x3, x4, x5, x6, x7, x8];
3 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^7*x8^5 +
4 x1^10*x2^10*x3^7*x4^10*x5^7*x6^8*x7^4*x8^5 +
5 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^8*x8^5 +
6 x1^10*x2^10*x3^7*x4^10*x5^7*x6^7*x7^7*x8^5 +
7 x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^8*x8^5 +
8 -x1^10*x2^10*x3^7*x4^10*x5^7*x6^5*x7^4*x8^5 +
9 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^10*x8^9 +
10 -x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^10*x8^5 +
11 -x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^9*x8^9 +
12 x1^10*x2^10*x3^5*x4^10*x5^7*x6^7*x7^8*x8^5 +
13 -x1^10*x2^10*x3^5*x4^10*x5^7*x6^6*x7^10*x8^9 +
14 x1^10*x2^10*x3^5*x4^10*x5^7*x6^6*x7^10*x8^5 +
15 x1^10*x2^10*x3^5*x4^10*x5^7*x6^5*x7^9*x8^9 +
16 -x1^10*x2^10*x3^5*x4^10*x5^7*x6^5*x7^8*x8^5 +
17 -x1^10*x2^10*x3^4*x4^10*x5^7*x6^7*x7^10*x8^9 +
18 x1^10*x2^10*x3^4*x4^10*x5^7*x6^7*x7^9*x8^9 +
19 x1^10*x2^10*x3^4*x4^10*x5^7*x6^6*x7^10*x8^9 +
20 -x1^10*x2^10*x3^4*x4^10*x5^7*x6^5*x7^9*x8^9 +
21 x1^10*x2^10*x3^3*x4^10*x5^7*x6^8*x7^7*x8^5 +
22 -x1^10*x2^10*x3^3*x4^10*x5^7*x6^8*x7^4*x8^5 +
23 x1^10*x2^10*x3^3*x4^10*x5^7*x6^7*x7^10*x8^5 +
24 -x1^10*x2^10*x3^3*x4^10*x5^7*x6^7*x7^7*x8^5 +
25 -x1^10*x2^10*x3^3*x4^10*x5^7*x6^6*x7^10*x8^5 +
26 x1^10*x2^10*x3^3*x4^10*x5^7*x6^5*x7^4*x8^5 +
27 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^10*x7^4*x8^8 +
28 x1^10*x2^7*x3^9*x4^10*x5^3*x6^10*x7^4*x8^5 +
29 x1^10*x2^7*x3^9*x4^10*x5^3*x6^10*x7^3*x8^8 +
30 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^10*x7^3*x8^5 +
31 x1^10*x2^7*x3^9*x4^10*x5^3*x6^7*x7^10*x8^8 +
32 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^7*x7^10*x8^5 +
33 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^7*x7^7*x8^8 +
34 x1^10*x2^7*x3^9*x4^10*x5^3*x6^7*x7^7*x8^5 +
35 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^6*x7^10*x8^8 +
36 x1^10*x2^7*x3^9*x4^10*x5^3*x6^6*x7^10*x8^5 +
37 x1^10*x2^7*x3^9*x4^10*x5^3*x6^5*x7^4*x8^8 +
38 -x1^10*x2^7*x3^9*x4^10*x5^3*x6^5*x7^4*x8^5 +
39 x1^10*x2^7*x3^9*x4^10*x5^2*x6^10*x7^4*x8^8 +
40 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^10*x7^4*x8^5 +
41 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^10*x7^3*x8^8 +
42 x1^10*x2^7*x3^9*x4^10*x5^2*x6^10*x7^3*x8^5 +
43 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^7*x7^10*x8^8 +
44 x1^10*x2^7*x3^9*x4^10*x5^2*x6^7*x7^10*x8^5 +
45 x1^10*x2^7*x3^9*x4^10*x5^2*x6^7*x7^7*x8^8 +
46 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^7*x7^7*x8^5 +
47 x1^10*x2^7*x3^9*x4^10*x5^2*x6^6*x7^10*x8^8 +
48 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^6*x7^10*x8^5 +
49 -x1^10*x2^7*x3^9*x4^10*x5^2*x6^5*x7^4*x8^8 +
50 x1^10*x2^7*x3^9*x4^10*x5^2*x6^5*x7^4*x8^5 +
51 x1^10*x2^7*x3^9*x4^7*x5^6*x6^10*x7^7*x8^9 +
52 -x1^10*x2^7*x3^9*x4^7*x5^6*x6^10*x7^7*x8^7 +
53 -x1^10*x2^7*x3^9*x4^7*x5^6*x6^10*x7^3*x8^9 +
54 x1^10*x2^7*x3^9*x4^7*x5^6*x6^10*x7^3*x8^7 +
55 -x1^10*x2^7*x3^9*x4^7*x5^3*x6^10*x7^7*x8^9 +
56 x1^10*x2^7*x3^9*x4^7*x5^3*x6^10*x7^7*x8^7 +
57 x1^10*x2^7*x3^9*x4^7*x5^3*x6^10*x7^3*x8^9 +
58 -x1^10*x2^7*x3^9*x4^7*x5^3*x6^10*x7^3*x8^7 +
59 -x1^10*x2^7*x3^9*x4^6*x5^6*x6^10*x7^7*x8^9 +
60 x1^10*x2^7*x3^9*x4^6*x5^6*x6^10*x7^7*x8^7 +
61 x1^10*x2^7*x3^9*x4^6*x5^6*x6^10*x7^3*x8^9 +
62 -x1^10*x2^7*x3^9*x4^6*x5^6*x6^10*x7^3*x8^7 +
63 x1^10*x2^7*x3^9*x4^6*x5^3*x6^10*x7^7*x8^9 +
64 -x1^10*x2^7*x3^9*x4^6*x5^3*x6^10*x7^7*x8^7 +
65 -x1^10*x2^7*x3^9*x4^6*x5^3*x6^10*x7^3*x8^9 +
66 x1^10*x2^7*x3^9*x4^6*x5^3*x6^10*x7^3*x8^7 +
67 x1^10*x2^6*x3^8*x4^10*x5^3*x6^10*x7^8*x8^8 +
68 -x1^10*x2^6*x3^8*x4^10*x5^3*x6^10*x7^7*x8^8 +
69 -x1^10*x2^6*x3^8*x4^10*x5^3*x6^7*x7^8*x8^8 +
70 x1^10*x2^6*x3^8*x4^10*x5^3*x6^7*x7^7*x8^8 +
71 -x1^10*x2^6*x3^8*x4^10*x5^2*x6^10*x7^8*x8^8 +
72 x1^10*x2^6*x3^8*x4^10*x5^2*x6^10*x7^7*x8^8 +
73 x1^10*x2^6*x3^8*x4^10*x5^2*x6^7*x7^8*x8^8 +
74 -x1^10*x2^6*x3^8*x4^10*x5^2*x6^7*x7^7*x8^8 +
75 -x1^10*x2^6*x3^7*x4^10*x5^6*x6^9*x7^8*x8^9 +
76 x1^10*x2^6*x3^7*x4^10*x5^6*x6^9*x7^8*x8^5 +
77 x1^10*x2^6*x3^7*x4^10*x5^6*x6^9*x7^7*x8^9 +
78 -x1^10*x2^6*x3^7*x4^10*x5^6*x6^9*x7^7*x8^5 +
79 x1^10*x2^6*x3^7*x4^10*x5^6*x6^8*x7^8*x8^9 +
80 -x1^10*x2^6*x3^7*x4^10*x5^6*x6^8*x7^8*x8^5 +
81 -x1^10*x2^6*x3^7*x4^10*x5^6*x6^8*x7^7*x8^9 +
82 x1^10*x2^6*x3^7*x4^10*x5^6*x6^8*x7^7*x8^5 +
83 -x1^10*x2^6*x3^7*x4^10*x5^5*x6^10*x7^8*x8^9 +
84 x1^10*x2^6*x3^7*x4^10*x5^5*x6^10*x7^8*x8^5 +
85 x1^10*x2^6*x3^7*x4^10*x5^5*x6^10*x7^7*x8^9 +
86 -x1^10*x2^6*x3^7*x4^10*x5^5*x6^10*x7^7*x8^5 +
87 x1^10*x2^6*x3^7*x4^10*x5^5*x6^9*x7^8*x8^9 +
88 -x1^10*x2^6*x3^7*x4^10*x5^5*x6^9*x7^8*x8^5 +
89 -x1^10*x2^6*x3^7*x4^10*x5^5*x6^9*x7^7*x8^9 +
90 x1^10*x2^6*x3^7*x4^10*x5^5*x6^9*x7^7*x8^5 +
91 x1^10*x2^6*x3^7*x4^10*x5^3*x6^10*x7^8*x8^9 +
92 -x1^10*x2^6*x3^7*x4^10*x5^3*x6^10*x7^8*x8^5 +
93 -x1^10*x2^6*x3^7*x4^10*x5^3*x6^10*x7^7*x8^9 +
94 x1^10*x2^6*x3^7*x4^10*x5^3*x6^10*x7^7*x8^5 +
95 -x1^10*x2^6*x3^7*x4^10*x5^3*x6^8*x7^8*x8^9 +
96 x1^10*x2^6*x3^7*x4^10*x5^3*x6^8*x7^7*x8^9 +
97 x1^10*x2^6*x3^7*x4^10*x5^3*x6^7*x7^8*x8^5 +
98 -x1^10*x2^6*x3^7*x4^10*x5^3*x6^7*x7^7*x8^5 +
99 -x1^10*x2^6*x3^6*x4^10*x5^5*x6^10*x7^10*x8^9 +
100 x1^10*x2^6*x3^6*x4^10*x5^5*x6^10*x7^10*x8^5 +
101 x1^10*x2^6*x3^6*x4^10*x5^5*x6^10*x7^8*x8^9 +
102 -x1^10*x2^6*x3^6*x4^10*x5^5*x6^10*x7^8*x8^5 +
103 x1^10*x2^6*x3^6*x4^10*x5^5*x6^8*x7^10*x8^9 +
104 -x1^10*x2^6*x3^6*x4^10*x5^5*x6^8*x7^8*x8^9 +
105 -x1^10*x2^6*x3^6*x4^10*x5^5*x6^7*x7^10*x8^5 +
106 x1^10*x2^6*x3^6*x4^10*x5^5*x6^7*x7^8*x8^5 +
107 x1^10*x2^6*x3^6*x4^10*x5^3*x6^10*x7^10*x8^9 +
108 -x1^10*x2^6*x3^6*x4^10*x5^3*x6^10*x7^8*x8^9 +
109 -x1^10*x2^6*x3^6*x4^10*x5^3*x6^8*x7^10*x8^9 +
110 x1^10*x2^6*x3^6*x4^10*x5^3*x6^8*x7^8*x8^9 +
111 -x1^10*x2^6*x3^6*x4^10*x5^2*x6^10*x7^10*x8^5 +
112 x1^10*x2^6*x3^6*x4^10*x5^2*x6^10*x7^8*x8^5 +
113 x1^10*x2^6*x3^6*x4^10*x5^2*x6^7*x7^10*x8^5 +
114 -x1^10*x2^6*x3^6*x4^10*x5^2*x6^7*x7^8*x8^5 +
115 -x1^10*x2^6*x3^6*x4^8*x5^6*x6^10*x7^10*x8^9 +
116 x1^10*x2^6*x3^6*x4^8*x5^6*x6^10*x7^10*x8^5 +
117 x1^10*x2^6*x3^6*x4^8*x5^6*x6^10*x7^7*x8^9 +
118 -x1^10*x2^6*x3^6*x4^8*x5^6*x6^10*x7^7*x8^5 +
119 x1^10*x2^6*x3^6*x4^8*x5^5*x6^10*x7^10*x8^9 +
120 -x1^10*x2^6*x3^6*x4^8*x5^5*x6^10*x7^10*x8^5 +
121 -x1^10*x2^6*x3^6*x4^8*x5^5*x6^10*x7^7*x8^9 +
122 x1^10*x2^6*x3^6*x4^8*x5^5*x6^10*x7^7*x8^5 +
123 x1^10*x2^6*x3^6*x4^5*x5^6*x6^10*x7^10*x8^9 +
124 -x1^10*x2^6*x3^6*x4^5*x5^6*x6^10*x7^10*x8^5 +
125 -x1^10*x2^6*x3^6*x4^5*x5^6*x6^10*x7^7*x8^9 +
126 x1^10*x2^6*x3^6*x4^5*x5^6*x6^10*x7^7*x8^5 +
127 -x1^10*x2^6*x3^6*x4^5*x5^3*x6^10*x7^10*x8^9 +
128 x1^10*x2^6*x3^6*x4^5*x5^3*x6^10*x7^7*x8^9 +
129 x1^10*x2^6*x3^6*x4^5*x5^2*x6^10*x7^10*x8^5 +
130 -x1^10*x2^6*x3^6*x4^5*x5^2*x6^10*x7^7*x8^5 +
131 -x1^10*x2^6*x3^5*x4^10*x5^6*x6^9*x7^10*x8^9 +
132 x1^10*x2^6*x3^5*x4^10*x5^6*x6^9*x7^10*x8^5 +
133 x1^10*x2^6*x3^5*x4^10*x5^6*x6^9*x7^8*x8^9 +
134 -x1^10*x2^6*x3^5*x4^10*x5^6*x6^9*x7^8*x8^5 +
135 x1^10*x2^6*x3^5*x4^10*x5^6*x6^8*x7^10*x8^9 +
136 -x1^10*x2^6*x3^5*x4^10*x5^6*x6^8*x7^10*x8^5 +
137 -x1^10*x2^6*x3^5*x4^10*x5^6*x6^8*x7^8*x8^9 +
138 x1^10*x2^6*x3^5*x4^10*x5^6*x6^8*x7^8*x8^5 +
139 x1^10*x2^6*x3^5*x4^10*x5^5*x6^9*x7^10*x8^9 +
140 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^9*x7^10*x8^5 +
141 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^9*x7^8*x8^9 +
142 x1^10*x2^6*x3^5*x4^10*x5^5*x6^9*x7^8*x8^5 +
143 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^8*x7^10*x8^9 +
144 x1^10*x2^6*x3^5*x4^10*x5^5*x6^8*x7^8*x8^9 +
145 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^7*x7^10*x8^9 +
146 x1^10*x2^6*x3^5*x4^10*x5^5*x6^7*x7^10*x8^5 +
147 x1^10*x2^6*x3^5*x4^10*x5^5*x6^7*x7^9*x8^9 +
148 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^7*x7^8*x8^5 +
149 x1^10*x2^6*x3^5*x4^10*x5^5*x6^6*x7^10*x8^9 +
150 -x1^10*x2^6*x3^5*x4^10*x5^5*x6^5*x7^9*x8^9 +
151 x1^10*x2^6*x3^4*x4^10*x5^6*x6^9*x7^10*x8^9 +
152 -x1^10*x2^6*x3^4*x4^10*x5^6*x6^9*x7^7*x8^9 +
153 -x1^10*x2^6*x3^4*x4^10*x5^6*x6^8*x7^10*x8^9 +
154 x1^10*x2^6*x3^4*x4^10*x5^6*x6^8*x7^7*x8^9 +
155 x1^10*x2^6*x3^4*x4^10*x5^5*x6^10*x7^10*x8^9 +
156 -x1^10*x2^6*x3^4*x4^10*x5^5*x6^10*x7^7*x8^9 +
157 -x1^10*x2^6*x3^4*x4^10*x5^5*x6^9*x7^10*x8^9 +
158 x1^10*x2^6*x3^4*x4^10*x5^5*x6^9*x7^7*x8^9 +
159 x1^10*x2^6*x3^4*x4^10*x5^5*x6^7*x7^10*x8^9 +
160 -x1^10*x2^6*x3^4*x4^10*x5^5*x6^7*x7^9*x8^9 +
161 -x1^10*x2^6*x3^4*x4^10*x5^5*x6^6*x7^10*x8^9 +
162 x1^10*x2^6*x3^4*x4^10*x5^5*x6^5*x7^9*x8^9 +
163 -x1^10*x2^6*x3^4*x4^10*x5^3*x6^10*x7^10*x8^9 +
164 x1^10*x2^6*x3^4*x4^10*x5^3*x6^10*x7^7*x8^9 +
165 x1^10*x2^6*x3^4*x4^10*x5^3*x6^8*x7^10*x8^9 +
166 -x1^10*x2^6*x3^4*x4^10*x5^3*x6^8*x7^7*x8^9 +
167 x1^10*x2^6*x3^4*x4^8*x5^6*x6^10*x7^10*x8^9 +
168 -x1^10*x2^6*x3^4*x4^8*x5^6*x6^10*x7^7*x8^9 +
169 -x1^10*x2^6*x3^4*x4^8*x5^5*x6^10*x7^10*x8^9 +
170 x1^10*x2^6*x3^4*x4^8*x5^5*x6^10*x7^7*x8^9 +
171 -x1^10*x2^6*x3^4*x4^5*x5^6*x6^10*x7^10*x8^9 +
172 x1^10*x2^6*x3^4*x4^5*x5^6*x6^10*x7^7*x8^9 +
173 x1^10*x2^6*x3^4*x4^5*x5^3*x6^10*x7^10*x8^9 +
174 -x1^10*x2^6*x3^4*x4^5*x5^3*x6^10*x7^7*x8^9 +
175 -x1^10*x2^6*x3^4*x4*x5^5*x6^10*x7^9*x8^9 +
176 x1^10*x2^6*x3^4*x5^5*x6^10*x7^9*x8^9 +
177 -x1^10*x2^6*x3^3*x4^10*x5^6*x6^9*x7^10*x8^5 +
178 x1^10*x2^6*x3^3*x4^10*x5^6*x6^9*x7^7*x8^5 +
179 x1^10*x2^6*x3^3*x4^10*x5^6*x6^8*x7^10*x8^5 +
180 -x1^10*x2^6*x3^3*x4^10*x5^6*x6^8*x7^7*x8^5 +
181 -x1^10*x2^6*x3^3*x4^10*x5^5*x6^10*x7^10*x8^5 +
182 x1^10*x2^6*x3^3*x4^10*x5^5*x6^10*x7^7*x8^5 +
183 x1^10*x2^6*x3^3*x4^10*x5^5*x6^9*x7^10*x8^5 +
184 -x1^10*x2^6*x3^3*x4^10*x5^5*x6^9*x7^7*x8^5 +
185 x1^10*x2^6*x3^3*x4^10*x5^2*x6^10*x7^10*x8^5 +
186 -x1^10*x2^6*x3^3*x4^10*x5^2*x6^10*x7^7*x8^5 +
187 -x1^10*x2^6*x3^3*x4^10*x5^2*x6^7*x7^10*x8^5 +
188 x1^10*x2^6*x3^3*x4^10*x5^2*x6^7*x7^7*x8^5 +
189 -x1^10*x2^6*x3^3*x4^8*x5^6*x6^10*x7^10*x8^5 +
190 x1^10*x2^6*x3^3*x4^8*x5^6*x6^10*x7^7*x8^5 +
191 x1^10*x2^6*x3^3*x4^8*x5^5*x6^10*x7^10*x8^5 +
192 -x1^10*x2^6*x3^3*x4^8*x5^5*x6^10*x7^7*x8^5 +
193 x1^10*x2^6*x3^3*x4^5*x5^6*x6^10*x7^10*x8^5 +
194 -x1^10*x2^6*x3^3*x4^5*x5^6*x6^10*x7^7*x8^5 +
195 -x1^10*x2^6*x3^3*x4^5*x5^2*x6^10*x7^10*x8^5 +
196 x1^10*x2^6*x3^3*x4^5*x5^2*x6^10*x7^7*x8^5 +
197 -x1^10*x2^5*x3^8*x4^10*x5^3*x6^10*x7^8*x8^8 +
198 x1^10*x2^5*x3^8*x4^10*x5^3*x6^10*x7^4*x8^8 +
199 -x1^10*x2^5*x3^8*x4^10*x5^3*x6^7*x7^10*x8^8 +
200 x1^10*x2^5*x3^8*x4^10*x5^3*x6^7*x7^8*x8^8 +
201 x1^10*x2^5*x3^8*x4^10*x5^3*x6^6*x7^10*x8^8 +
202 -x1^10*x2^5*x3^8*x4^10*x5^3*x6^5*x7^4*x8^8 +
203 x1^10*x2^5*x3^8*x4^10*x5^2*x6^10*x7^8*x8^8 +
204 -x1^10*x2^5*x3^8*x4^10*x5^2*x6^10*x7^4*x8^8 +
205 x1^10*x2^5*x3^8*x4^10*x5^2*x6^7*x7^10*x8^8 +
206 -x1^10*x2^5*x3^8*x4^10*x5^2*x6^7*x7^8*x8^8 +
207 -x1^10*x2^5*x3^8*x4^10*x5^2*x6^6*x7^10*x8^8 +
208 x1^10*x2^5*x3^8*x4^10*x5^2*x6^5*x7^4*x8^8 +
209 x1^10*x2^5*x3^7*x4^10*x5^6*x6^10*x7^5*x8^9 +
210 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^10*x7^5*x8^5 +
211 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^10*x7^4*x8^9 +
212 x1^10*x2^5*x3^7*x4^10*x5^6*x6^10*x7^4*x8^5 +
213 x1^10*x2^5*x3^7*x4^10*x5^6*x6^9*x7^8*x8^9 +
214 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^9*x7^8*x8^5 +
215 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^9*x7^5*x8^9 +
216 x1^10*x2^5*x3^7*x4^10*x5^6*x6^9*x7^5*x8^5 +
217 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^8*x7^8*x8^9 +
218 x1^10*x2^5*x3^7*x4^10*x5^6*x6^8*x7^8*x8^5 +
219 x1^10*x2^5*x3^7*x4^10*x5^6*x6^8*x7^4*x8^9 +
220 -x1^10*x2^5*x3^7*x4^10*x5^6*x6^8*x7^4*x8^5 +
221 x1^10*x2^5*x3^7*x4^10*x5^5*x6^10*x7^8*x8^9 +
222 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^10*x7^8*x8^5 +
223 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^10*x7^5*x8^9 +
224 x1^10*x2^5*x3^7*x4^10*x5^5*x6^10*x7^5*x8^5 +
225 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^9*x7^8*x8^9 +
226 x1^10*x2^5*x3^7*x4^10*x5^5*x6^9*x7^8*x8^5 +
227 x1^10*x2^5*x3^7*x4^10*x5^5*x6^9*x7^5*x8^9 +
228 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^9*x7^5*x8^5 +
229 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^7*x7^10*x8^5 +
230 x1^10*x2^5*x3^7*x4^10*x5^5*x6^7*x7^8*x8^5 +
231 x1^10*x2^5*x3^7*x4^10*x5^5*x6^6*x7^10*x8^5 +
232 -x1^10*x2^5*x3^7*x4^10*x5^5*x6^5*x7^8*x8^5 +
233 -x1^10*x2^5*x3^7*x4^10*x5^3*x6^10*x7^8*x8^9 +
234 x1^10*x2^5*x3^7*x4^10*x5^3*x6^10*x7^8*x8^5 +
235 x1^10*x2^5*x3^7*x4^10*x5^3*x6^10*x7^4*x8^9 +
236 -x1^10*x2^5*x3^7*x4^10*x5^3*x6^10*x7^4*x8^5 +
237 x1^10*x2^5*x3^7*x4^10*x5^3*x6^8*x7^8*x8^9 +
238 -x1^10*x2^5*x3^7*x4^10*x5^3*x6^8*x7^4*x8^9 +
239 x1^10*x2^5*x3^7*x4^10*x5^3*x6^7*x7^10*x8^5 +
240 -x1^10*x2^5*x3^7*x4^10*x5^3*x6^7*x7^8*x8^5 +
241 -x1^10*x2^5*x3^7*x4^10*x5^3*x6^6*x7^10*x8^5 +
242 x1^10*x2^5*x3^7*x4^10*x5^3*x6^5*x7^4*x8^5 +
243 x1^10*x2^5*x3^6*x4^10*x5^5*x6^10*x7^10*x8^9 +
244 -x1^10*x2^5*x3^6*x4^10*x5^5*x6^10*x7^10*x8^5 +
245 -x1^10*x2^5*x3^6*x4^10*x5^5*x6^10*x7^8*x8^9 +
246 x1^10*x2^5*x3^6*x4^10*x5^5*x6^10*x7^8*x8^5 +
247 -x1^10*x2^5*x3^6*x4^10*x5^5*x6^8*x7^10*x8^9 +
248 x1^10*x2^5*x3^6*x4^10*x5^5*x6^8*x7^8*x8^9 +
249 x1^10*x2^5*x3^6*x4^10*x5^5*x6^7*x7^10*x8^5 +
250 -x1^10*x2^5*x3^6*x4^10*x5^5*x6^7*x7^8*x8^5 +
251 -x1^10*x2^5*x3^6*x4^10*x5^3*x6^10*x7^10*x8^9 +
252 x1^10*x2^5*x3^6*x4^10*x5^3*x6^10*x7^8*x8^9 +
253 x1^10*x2^5*x3^6*x4^10*x5^3*x6^8*x7^10*x8^9 +
254 -x1^10*x2^5*x3^6*x4^10*x5^3*x6^8*x7^8*x8^9 +
255 x1^10*x2^5*x3^6*x4^10*x5^2*x6^10*x7^10*x8^5 +
256 -x1^10*x2^5*x3^6*x4^10*x5^2*x6^10*x7^8*x8^5 +
257 -x1^10*x2^5*x3^6*x4^10*x5^2*x6^7*x7^10*x8^5 +
258 x1^10*x2^5*x3^6*x4^10*x5^2*x6^7*x7^8*x8^5 +
259 x1^10*x2^5*x3^6*x4^8*x5^6*x6^10*x7^10*x8^9 +
260 -x1^10*x2^5*x3^6*x4^8*x5^6*x6^10*x7^10*x8^5 +
261 -x1^10*x2^5*x3^6*x4^8*x5^5*x6^10*x7^10*x8^9 +
262 x1^10*x2^5*x3^6*x4^8*x5^5*x6^10*x7^10*x8^5 +
263 -x1^10*x2^5*x3^6*x4^3*x5^6*x6^10*x7^10*x8^9 +
264 x1^10*x2^5*x3^6*x4^3*x5^6*x6^10*x7^10*x8^5 +
265 x1^10*x2^5*x3^6*x4^3*x5^3*x6^10*x7^10*x8^9 +
266 -x1^10*x2^5*x3^6*x4^3*x5^2*x6^10*x7^10*x8^5 +
267 x1^10*x2^5*x3^5*x4^10*x5^6*x6^9*x7^10*x8^9 +
268 -x1^10*x2^5*x3^5*x4^10*x5^6*x6^9*x7^10*x8^5 +
269 -x1^10*x2^5*x3^5*x4^10*x5^6*x6^9*x7^8*x8^9 +
270 x1^10*x2^5*x3^5*x4^10*x5^6*x6^9*x7^8*x8^5 +
271 -x1^10*x2^5*x3^5*x4^10*x5^6*x6^8*x7^10*x8^9 +
272 x1^10*x2^5*x3^5*x4^10*x5^6*x6^8*x7^10*x8^5 +
273 x1^10*x2^5*x3^5*x4^10*x5^6*x6^8*x7^8*x8^9 +
274 -x1^10*x2^5*x3^5*x4^10*x5^6*x6^8*x7^8*x8^5 +
275 -x1^10*x2^5*x3^5*x4^10*x5^5*x6^9*x7^10*x8^9 +
276 x1^10*x2^5*x3^5*x4^10*x5^5*x6^9*x7^10*x8^5 +
277 x1^10*x2^5*x3^5*x4^10*x5^5*x6^9*x7^8*x8^9 +
278 -x1^10*x2^5*x3^5*x4^10*x5^5*x6^9*x7^8*x8^5 +
279 x1^10*x2^5*x3^5*x4^10*x5^5*x6^8*x7^10*x8^9 +
280 -x1^10*x2^5*x3^5*x4^10*x5^5*x6^8*x7^8*x8^9 +
281 -x1^10*x2^5*x3^5*x4^10*x5^5*x6^6*x7^10*x8^5 +
282 x1^10*x2^5*x3^5*x4^10*x5^5*x6^5*x7^8*x8^5 +
283 -x1^10*x2^5*x3^4*x4^10*x5^6*x6^10*x7^5*x8^9 +
284 x1^10*x2^5*x3^4*x4^10*x5^6*x6^10*x7^4*x8^9 +
285 -x1^10*x2^5*x3^4*x4^10*x5^6*x6^9*x7^10*x8^9 +
286 x1^10*x2^5*x3^4*x4^10*x5^6*x6^9*x7^5*x8^9 +
287 x1^10*x2^5*x3^4*x4^10*x5^6*x6^8*x7^10*x8^9 +
288 -x1^10*x2^5*x3^4*x4^10*x5^6*x6^8*x7^4*x8^9 +
289 -x1^10*x2^5*x3^4*x4^10*x5^5*x6^10*x7^10*x8^9 +
290 x1^10*x2^5*x3^4*x4^10*x5^5*x6^10*x7^5*x8^9 +
291 x1^10*x2^5*x3^4*x4^10*x5^5*x6^9*x7^10*x8^9 +
292 -x1^10*x2^5*x3^4*x4^10*x5^5*x6^9*x7^5*x8^9 +
293 x1^10*x2^5*x3^4*x4^10*x5^3*x6^10*x7^10*x8^9 +
294 -x1^10*x2^5*x3^4*x4^10*x5^3*x6^10*x7^4*x8^9 +
295 -x1^10*x2^5*x3^4*x4^10*x5^3*x6^8*x7^10*x8^9 +
296 x1^10*x2^5*x3^4*x4^10*x5^3*x6^8*x7^4*x8^9 +
297 -x1^10*x2^5*x3^4*x4^8*x5^6*x6^10*x7^10*x8^9 +
298 x1^10*x2^5*x3^4*x4^8*x5^5*x6^10*x7^10*x8^9 +
299 x1^10*x2^5*x3^4*x4^3*x5^6*x6^10*x7^10*x8^9 +
300 -x1^10*x2^5*x3^4*x4^3*x5^3*x6^10*x7^10*x8^9 +
301 x1^10*x2^5*x3^3*x4^10*x5^6*x6^10*x7^5*x8^5 +
302 -x1^10*x2^5*x3^3*x4^10*x5^6*x6^10*x7^4*x8^5 +
303 x1^10*x2^5*x3^3*x4^10*x5^6*x6^9*x7^10*x8^5 +
304 -x1^10*x2^5*x3^3*x4^10*x5^6*x6^9*x7^5*x8^5 +
305 -x1^10*x2^5*x3^3*x4^10*x5^6*x6^8*x7^10*x8^5 +
306 x1^10*x2^5*x3^3*x4^10*x5^6*x6^8*x7^4*x8^5 +
307 x1^10*x2^5*x3^3*x4^10*x5^5*x6^10*x7^10*x8^5 +
308 -x1^10*x2^5*x3^3*x4^10*x5^5*x6^10*x7^5*x8^5 +
309 -x1^10*x2^5*x3^3*x4^10*x5^5*x6^9*x7^10*x8^5 +
310 x1^10*x2^5*x3^3*x4^10*x5^5*x6^9*x7^5*x8^5 +
311 -x1^10*x2^5*x3^3*x4^10*x5^2*x6^10*x7^10*x8^5 +
312 x1^10*x2^5*x3^3*x4^10*x5^2*x6^10*x7^4*x8^5 +
313 x1^10*x2^5*x3^3*x4^10*x5^2*x6^6*x7^10*x8^5 +
314 -x1^10*x2^5*x3^3*x4^10*x5^2*x6^5*x7^4*x8^5 +
315 x1^10*x2^5*x3^3*x4^8*x5^6*x6^10*x7^10*x8^5 +
316 -x1^10*x2^5*x3^3*x4^8*x5^5*x6^10*x7^10*x8^5 +
317 -x1^10*x2^5*x3^3*x4^3*x5^6*x6^10*x7^10*x8^5 +
318 x1^10*x2^5*x3^3*x4^3*x5^2*x6^10*x7^10*x8^5 +
319 x1^10*x2^3*x3^8*x4^9*x5^3*x6^10*x7^7*x8^8 +
320 -x1^10*x2^3*x3^8*x4^9*x5^3*x6^10*x7^3*x8^8 +
321 -x1^10*x2^3*x3^8*x4^9*x5^2*x6^10*x7^7*x8^8 +
322 x1^10*x2^3*x3^8*x4^9*x5^2*x6^10*x7^3*x8^8 +
323 x1^10*x2^2*x3^7*x4^8*x5^6*x6^10*x7^7*x8^9 +
324 -x1^10*x2^2*x3^7*x4^8*x5^6*x6^10*x7^7*x8^5 +
325 -x1^10*x2^2*x3^7*x4^8*x5^6*x6^10*x7^5*x8^9 +
326 x1^10*x2^2*x3^7*x4^8*x5^6*x6^10*x7^5*x8^5 +
327 -x1^10*x2^2*x3^7*x4^8*x5^5*x6^10*x7^7*x8^9 +
328 x1^10*x2^2*x3^7*x4^8*x5^5*x6^10*x7^7*x8^5 +
329 x1^10*x2^2*x3^7*x4^8*x5^5*x6^10*x7^5*x8^9 +
330 -x1^10*x2^2*x3^7*x4^8*x5^5*x6^10*x7^5*x8^5 +
331 -x1^10*x2^2*x3^7*x4^7*x5^6*x6^10*x7^7*x8^9 +
332 x1^10*x2^2*x3^7*x4^7*x5^6*x6^10*x7^7*x8^5 +
333 x1^10*x2^2*x3^7*x4^7*x5^6*x6^10*x7^3*x8^9 +
334 -x1^10*x2^2*x3^7*x4^7*x5^6*x6^10*x7^3*x8^5 +
335 x1^10*x2^2*x3^7*x4^7*x5^3*x6^10*x7^7*x8^9 +
336 -x1^10*x2^2*x3^7*x4^7*x5^3*x6^10*x7^7*x8^5 +
337 -x1^10*x2^2*x3^7*x4^7*x5^3*x6^10*x7^3*x8^9 +
338 x1^10*x2^2*x3^7*x4^7*x5^3*x6^10*x7^3*x8^5 +
339 -x1^10*x2*x3^6*x4^8*x5^6*x6^10*x7^7*x8^9 +
340 x1^10*x2*x3^6*x4^8*x5^6*x6^10*x7^7*x8^5 +
341 x1^10*x2*x3^6*x4^8*x5^5*x6^10*x7^7*x8^9 +
342 -x1^10*x2*x3^6*x4^8*x5^5*x6^10*x7^7*x8^5 +
343 -x1^10*x2*x3^6*x4^3*x5^6*x6^10*x7^8*x8^9 +
344 x1^10*x2*x3^6*x4^3*x5^6*x6^10*x7^8*x8^5 +
345 x1^10*x2*x3^6*x4^3*x5^6*x6^10*x7^7*x8^9 +
346 -x1^10*x2*x3^6*x4^3*x5^6*x6^10*x7^7*x8^5 +
347 x1^10*x2*x3^6*x4^3*x5^3*x6^10*x7^8*x8^9 +
348 -x1^10*x2*x3^6*x4^3*x5^3*x6^10*x7^7*x8^9 +
349 -x1^10*x2*x3^6*x4^3*x5^2*x6^10*x7^8*x8^5 +
350 x1^10*x2*x3^6*x4^3*x5^2*x6^10*x7^7*x8^5 +
351 x1^10*x2*x3^6*x4^2*x5^6*x6^10*x7^8*x8^9 +
352 -x1^10*x2*x3^6*x4^2*x5^6*x6^10*x7^8*x8^5 +
353 -x1^10*x2*x3^6*x4*x5^3*x6^10*x7^8*x8^9 +
354 x1^10*x2*x3^6*x4*x5^2*x6^10*x7^8*x8^5 +
355 x1^10*x2*x3^4*x4^8*x5^6*x6^10*x7^5*x8^9 +
356 -x1^10*x2*x3^4*x4^8*x5^5*x6^10*x7^5*x8^9 +
357 -x1^10*x2*x3^4*x4^2*x5^6*x6^10*x7^3*x8^9 +
358 x1^10*x2*x3^4*x4*x5^3*x6^10*x7^3*x8^9 +
359 -x1^10*x2*x3^3*x4^8*x5^6*x6^10*x7^5*x8^5 +
360 x1^10*x2*x3^3*x4^8*x5^5*x6^10*x7^5*x8^5 +
361 x1^10*x2*x3^3*x4^2*x5^6*x6^10*x7^3*x8^5 +
362 -x1^10*x2*x3^3*x5^2*x6^10*x7^3*x8^5 +
363 -x1^8*x2^10*x3^7*x4^8*x5^7*x6^8*x7^10*x8^5 +
364 x1^8*x2^10*x3^7*x4^8*x5^7*x6^8*x7^10*x8^4 +
365 x1^8*x2^10*x3^7*x4^8*x5^7*x6^8*x7^8*x8^5 +
366 -x1^8*x2^10*x3^7*x4^8*x5^7*x6^8*x7^8*x8^4 +
367 x1^8*x2^10*x3^7*x4^8*x5^7*x6^7*x7^10*x8^5 +
368 -x1^8*x2^10*x3^7*x4^8*x5^7*x6^7*x7^10*x8^4 +
369 -x1^8*x2^10*x3^7*x4^8*x5^7*x6^7*x7^8*x8^5 +
370 x1^8*x2^10*x3^7*x4^8*x5^7*x6^7*x7^8*x8^4 +
371 x1^8*x2^10*x3^7*x4^7*x5^7*x6^8*x7^10*x8^5 +
372 -x1^8*x2^10*x3^7*x4^7*x5^7*x6^8*x7^10*x8^4 +
373 -x1^8*x2^10*x3^7*x4^7*x5^7*x6^8*x7^8*x8^5 +
374 x1^8*x2^10*x3^7*x4^7*x5^7*x6^8*x7^7*x8^4 +
375 -x1^8*x2^10*x3^7*x4^7*x5^7*x6^7*x7^10*x8^5 +
376 x1^8*x2^10*x3^7*x4^7*x5^7*x6^7*x7^10*x8^4 +
377 x1^8*x2^10*x3^7*x4^7*x5^7*x6^7*x7^8*x8^5 +
378 -x1^8*x2^10*x3^7*x4^7*x5^7*x6^7*x7^7*x8^4 +
379 -x1^8*x2^10*x3^6*x4^8*x5^7*x6^8*x7^10*x8^9 +
380 x1^8*x2^10*x3^6*x4^8*x5^7*x6^8*x7^10*x8^5 +
381 x1^8*x2^10*x3^6*x4^8*x5^7*x6^8*x7^9*x8^9 +
382 -x1^8*x2^10*x3^6*x4^8*x5^7*x6^8*x7^8*x8^5 +
383 x1^8*x2^10*x3^6*x4^8*x5^7*x6^7*x7^10*x8^9 +
384 -x1^8*x2^10*x3^6*x4^8*x5^7*x6^7*x7^10*x8^5 +
385 -x1^8*x2^10*x3^6*x4^8*x5^7*x6^7*x7^9*x8^9 +
386 x1^8*x2^10*x3^6*x4^8*x5^7*x6^7*x7^8*x8^5 +
387 x1^8*x2^10*x3^6*x4^6*x5^7*x6^8*x7^10*x8^9 +
388 -x1^8*x2^10*x3^6*x4^6*x5^7*x6^8*x7^10*x8^5 +
389 -x1^8*x2^10*x3^6*x4^6*x5^7*x6^8*x7^9*x8^9 +
390 x1^8*x2^10*x3^6*x4^6*x5^7*x6^8*x7^8*x8^5 +
391 -x1^8*x2^10*x3^6*x4^6*x5^7*x6^7*x7^10*x8^9 +
392 x1^8*x2^10*x3^6*x4^6*x5^7*x6^7*x7^10*x8^5 +
393 x1^8*x2^10*x3^6*x4^6*x5^7*x6^7*x7^9*x8^9 +
394 -x1^8*x2^10*x3^6*x4^6*x5^7*x6^7*x7^8*x8^5 +
395 x1^8*x2^10*x3^5*x4^8*x5^7*x6^8*x7^10*x8^9 +
396 -x1^8*x2^10*x3^5*x4^8*x5^7*x6^8*x7^10*x8^4 +
397 -x1^8*x2^10*x3^5*x4^8*x5^7*x6^8*x7^9*x8^9 +
398 x1^8*x2^10*x3^5*x4^8*x5^7*x6^8*x7^8*x8^4 +
399 -x1^8*x2^10*x3^5*x4^8*x5^7*x6^7*x7^10*x8^9 +
400 x1^8*x2^10*x3^5*x4^8*x5^7*x6^7*x7^10*x8^4 +
401 x1^8*x2^10*x3^5*x4^8*x5^7*x6^7*x7^9*x8^9 +
402 -x1^8*x2^10*x3^5*x4^8*x5^7*x6^7*x7^8*x8^4 +
403 -x1^8*x2^10*x3^4*x4^6*x5^7*x6^8*x7^10*x8^9 +
404 x1^8*x2^10*x3^4*x4^6*x5^7*x6^8*x7^9*x8^9 +
405 x1^8*x2^10*x3^4*x4^6*x5^7*x6^7*x7^10*x8^9 +
406 -x1^8*x2^10*x3^4*x4^6*x5^7*x6^7*x7^9*x8^9 +
407 x1^8*x2^10*x3^3*x4^6*x5^7*x6^8*x7^10*x8^4 +
408 -x1^8*x2^10*x3^3*x4^6*x5^7*x6^8*x7^7*x8^4 +
409 -x1^8*x2^10*x3^3*x4^6*x5^7*x6^7*x7^10*x8^4 +
410 x1^8*x2^10*x3^3*x4^6*x5^7*x6^7*x7^7*x8^4 +
411 -x1^8*x2^9*x3^6*x4^8*x5^6*x6^8*x7^10*x8^9 +
412 x1^8*x2^9*x3^6*x4^8*x5^6*x6^8*x7^10*x8^6 +
413 x1^8*x2^9*x3^6*x4^8*x5^6*x6^8*x7^8*x8^9 +
414 -x1^8*x2^9*x3^6*x4^8*x5^6*x6^8*x7^8*x8^6 +
415 x1^8*x2^9*x3^6*x4^8*x5^5*x6^8*x7^10*x8^9 +
416 -x1^8*x2^9*x3^6*x4^8*x5^5*x6^8*x7^10*x8^6 +
417 -x1^8*x2^9*x3^6*x4^8*x5^5*x6^8*x7^8*x8^9 +
418 x1^8*x2^9*x3^6*x4^8*x5^5*x6^8*x7^8*x8^6 +
419 x1^8*x2^9*x3^6*x4^6*x5^6*x6^8*x7^10*x8^9 +
420 -x1^8*x2^9*x3^6*x4^6*x5^6*x6^8*x7^10*x8^6 +
421 -x1^8*x2^9*x3^6*x4^6*x5^6*x6^8*x7^8*x8^9 +
422 x1^8*x2^9*x3^6*x4^6*x5^6*x6^8*x7^8*x8^6 +
423 -x1^8*x2^9*x3^6*x4^6*x5^4*x6^8*x7^10*x8^9 +
424 x1^8*x2^9*x3^6*x4^6*x5^4*x6^8*x7^10*x8^6 +
425 x1^8*x2^9*x3^6*x4^6*x5^4*x6^8*x7^8*x8^9 +
426 -x1^8*x2^9*x3^6*x4^6*x5^4*x6^8*x7^8*x8^6 +
427 x1^8*x2^9*x3^5*x4^8*x5^6*x6^8*x7^10*x8^9 +
428 -x1^8*x2^9*x3^5*x4^8*x5^6*x6^8*x7^10*x8^6 +
429 -x1^8*x2^9*x3^5*x4^8*x5^6*x6^8*x7^8*x8^9 +
430 x1^8*x2^9*x3^5*x4^8*x5^6*x6^8*x7^8*x8^6 +
431 -x1^8*x2^9*x3^5*x4^8*x5^5*x6^8*x7^10*x8^9 +
432 x1^8*x2^9*x3^5*x4^8*x5^5*x6^8*x7^10*x8^6 +
433 x1^8*x2^9*x3^5*x4^8*x5^5*x6^8*x7^8*x8^9 +
434 -x1^8*x2^9*x3^5*x4^8*x5^5*x6^8*x7^8*x8^6 +
435 -x1^8*x2^9*x3^4*x4^6*x5^6*x6^8*x7^10*x8^9 +
436 x1^8*x2^9*x3^4*x4^6*x5^6*x6^8*x7^10*x8^6 +
437 x1^8*x2^9*x3^4*x4^6*x5^6*x6^8*x7^8*x8^9 +
438 -x1^8*x2^9*x3^4*x4^6*x5^6*x6^8*x7^8*x8^6 +
439 x1^8*x2^9*x3^4*x4^6*x5^4*x6^8*x7^10*x8^9 +
440 -x1^8*x2^9*x3^4*x4^6*x5^4*x6^8*x7^10*x8^6 +
441 -x1^8*x2^9*x3^4*x4^6*x5^4*x6^8*x7^8*x8^9 +
442 x1^8*x2^9*x3^4*x4^6*x5^4*x6^8*x7^8*x8^6 +
443 -x1^8*x2^7*x3^9*x4^10*x5^3*x6^10*x7^8*x8^5 +
444 x1^8*x2^7*x3^9*x4^10*x5^3*x6^10*x7^7*x8^5 +
445 -x1^8*x2^7*x3^9*x4^10*x5^3*x6^7*x7^10*x8^8 +
446 x1^8*x2^7*x3^9*x4^10*x5^3*x6^7*x7^8*x8^5 +
447 x1^8*x2^7*x3^9*x4^10*x5^3*x6^7*x7^7*x8^8 +
448 -x1^8*x2^7*x3^9*x4^10*x5^3*x6^7*x7^7*x8^5 +
449 x1^8*x2^7*x3^9*x4^10*x5^3*x6^6*x7^10*x8^8 +
450 -x1^8*x2^7*x3^9*x4^10*x5^3*x6^5*x7^2*x8^8 +
451 x1^8*x2^7*x3^9*x4^10*x5^2*x6^7*x7^10*x8^8 +
452 -x1^8*x2^7*x3^9*x4^10*x5^2*x6^6*x7^10*x8^8 +
453 x1^8*x2^7*x3^9*x4^10*x5*x6^10*x7^8*x8^5 +
454 -x1^8*x2^7*x3^9*x4^10*x5*x6^10*x7^7*x8^5 +
455 -x1^8*x2^7*x3^9*x4^10*x5*x6^7*x7^8*x8^5 +
456 -x1^8*x2^7*x3^9*x4^10*x5*x6^7*x7^7*x8^8 +
457 x1^8*x2^7*x3^9*x4^10*x5*x6^7*x7^7*x8^5 +
458 x1^8*x2^7*x3^9*x4^10*x5*x6^5*x7^2*x8^8 +
459 -x1^8*x2^6*x3^8*x4^9*x5^3*x6^10*x7^8*x8^8 +
460 x1^8*x2^6*x3^8*x4^9*x5^3*x6^10*x7^7*x8^8 +
461 x1^8*x2^6*x3^8*x4^9*x5^3*x6^7*x7^8*x8^8 +
462 -x1^8*x2^6*x3^8*x4^9*x5^3*x6^7*x7^7*x8^8 +
463 x1^8*x2^6*x3^8*x4^9*x5*x6^10*x7^8*x8^8 +
464 -x1^8*x2^6*x3^8*x4^9*x5*x6^10*x7^7*x8^8 +
465 -x1^8*x2^6*x3^8*x4^9*x5*x6^7*x7^8*x8^8 +
466 x1^8*x2^6*x3^8*x4^9*x5*x6^7*x7^7*x8^8 +
467 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^10*x7^8*x8^9 +
468 x1^8*x2^6*x3^7*x4^8*x5^6*x6^10*x7^8*x8^5 +
469 x1^8*x2^6*x3^7*x4^8*x5^6*x6^10*x7^7*x8^9 +
470 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^10*x7^7*x8^5 +
471 x1^8*x2^6*x3^7*x4^8*x5^6*x6^9*x7^8*x8^9 +
472 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^9*x7^8*x8^4 +
473 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^9*x7^7*x8^9 +
474 x1^8*x2^6*x3^7*x4^8*x5^6*x6^9*x7^7*x8^4 +
475 x1^8*x2^6*x3^7*x4^8*x5^6*x6^8*x7^10*x8^5 +
476 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^8*x7^10*x8^4 +
477 -x1^8*x2^6*x3^7*x4^8*x5^6*x6^8*x7^8*x8^5 +
478 x1^8*x2^6*x3^7*x4^8*x5^6*x6^8*x7^8*x8^4 +
479 x1^8*x2^6*x3^7*x4^8*x5^5*x6^10*x7^8*x8^9 +
480 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^10*x7^8*x8^5 +
481 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^10*x7^7*x8^9 +
482 x1^8*x2^6*x3^7*x4^8*x5^5*x6^10*x7^7*x8^5 +
483 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^9*x7^8*x8^9 +
484 x1^8*x2^6*x3^7*x4^8*x5^5*x6^9*x7^8*x8^4 +
485 x1^8*x2^6*x3^7*x4^8*x5^5*x6^9*x7^7*x8^9 +
486 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^9*x7^7*x8^4 +
487 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^7*x7^10*x8^5 +
488 x1^8*x2^6*x3^7*x4^8*x5^5*x6^7*x7^10*x8^4 +
489 x1^8*x2^6*x3^7*x4^8*x5^5*x6^7*x7^8*x8^5 +
490 -x1^8*x2^6*x3^7*x4^8*x5^5*x6^7*x7^8*x8^4 +
491 x1^8*x2^6*x3^7*x4^7*x5^6*x6^10*x7^8*x8^9 +
492 -x1^8*x2^6*x3^7*x4^7*x5^6*x6^10*x7^8*x8^5 +
493 -x1^8*x2^6*x3^7*x4^7*x5^6*x6^10*x7^7*x8^9 +
494 x1^8*x2^6*x3^7*x4^7*x5^6*x6^10*x7^7*x8^5 +
495 -x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^10*x8^5 +
496 x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^10*x8^4 +
497 -x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^8*x8^9 +
498 x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^8*x8^5 +
499 x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^7*x8^9 +
500 -x1^8*x2^6*x3^7*x4^7*x5^6*x6^8*x7^7*x8^4 +
501 -x1^8*x2^6*x3^7*x4^7*x5^3*x6^10*x7^8*x8^9 +
502 x1^8*x2^6*x3^7*x4^7*x5^3*x6^10*x7^8*x8^5 +
503 x1^8*x2^6*x3^7*x4^7*x5^3*x6^10*x7^7*x8^9 +
504 -x1^8*x2^6*x3^7*x4^7*x5^3*x6^10*x7^7*x8^5 +
505 x1^8*x2^6*x3^7*x4^7*x5^3*x6^8*x7^8*x8^9 +
506 -x1^8*x2^6*x3^7*x4^7*x5^3*x6^8*x7^7*x8^9 +
507 x1^8*x2^6*x3^7*x4^7*x5^3*x6^7*x7^10*x8^5 +
508 -x1^8*x2^6*x3^7*x4^7*x5^3*x6^7*x7^10*x8^4 +
509 -x1^8*x2^6*x3^7*x4^7*x5^3*x6^7*x7^8*x8^5 +
510 x1^8*x2^6*x3^7*x4^7*x5^3*x6^7*x7^7*x8^4 +
511 x1^8*x2^6*x3^6*x4^8*x5^6*x6^10*x7^8*x8^9 +
512 -x1^8*x2^6*x3^6*x4^8*x5^6*x6^10*x7^8*x8^5 +
513 -x1^8*x2^6*x3^6*x4^8*x5^6*x6^10*x7^7*x8^9 +
514 x1^8*x2^6*x3^6*x4^8*x5^6*x6^10*x7^7*x8^5 +
515 x1^8*x2^6*x3^6*x4^8*x5^6*x6^8*x7^10*x8^9 +
516 -x1^8*x2^6*x3^6*x4^8*x5^6*x6^8*x7^10*x8^5 +
517 -x1^8*x2^6*x3^6*x4^8*x5^6*x6^8*x7^8*x8^9 +
518 x1^8*x2^6*x3^6*x4^8*x5^6*x6^8*x7^8*x8^5 +
519 -x1^8*x2^6*x3^6*x4^8*x5^5*x6^10*x7^8*x8^9 +
520 x1^8*x2^6*x3^6*x4^8*x5^5*x6^10*x7^8*x8^5 +
521 x1^8*x2^6*x3^6*x4^8*x5^5*x6^10*x7^7*x8^9 +
522 -x1^8*x2^6*x3^6*x4^8*x5^5*x6^10*x7^7*x8^5 +
523 -x1^8*x2^6*x3^6*x4^8*x5^5*x6^8*x7^9*x8^9 +
524 x1^8*x2^6*x3^6*x4^8*x5^5*x6^8*x7^8*x8^9 +
525 -x1^8*x2^6*x3^6*x4^8*x5^5*x6^7*x7^10*x8^9 +
526 x1^8*x2^6*x3^6*x4^8*x5^5*x6^7*x7^10*x8^5 +
527 x1^8*x2^6*x3^6*x4^8*x5^5*x6^7*x7^9*x8^9 +
528 -x1^8*x2^6*x3^6*x4^8*x5^5*x6^7*x7^8*x8^5 +
529 -x1^8*x2^6*x3^6*x4^5*x5^6*x6^10*x7^8*x8^9 +
530 x1^8*x2^6*x3^6*x4^5*x5^6*x6^10*x7^8*x8^5 +
531 x1^8*x2^6*x3^6*x4^5*x5^6*x6^10*x7^7*x8^9 +
532 -x1^8*x2^6*x3^6*x4^5*x5^6*x6^10*x7^7*x8^5 +
533 -x1^8*x2^6*x3^6*x4^5*x5^6*x6^8*x7^10*x8^9 +
534 x1^8*x2^6*x3^6*x4^5*x5^6*x6^8*x7^10*x8^5 +
535 x1^8*x2^6*x3^6*x4^5*x5^6*x6^8*x7^8*x8^9 +
536 -x1^8*x2^6*x3^6*x4^5*x5^6*x6^8*x7^8*x8^5 +
537 -x1^8*x2^6*x3^6*x4^5*x5^5*x6^8*x7^10*x8^9 +
538 x1^8*x2^6*x3^6*x4^5*x5^5*x6^8*x7^9*x8^9 +
539 x1^8*x2^6*x3^6*x4^5*x5^5*x6^7*x7^10*x8^9 +
540 -x1^8*x2^6*x3^6*x4^5*x5^5*x6^7*x7^9*x8^9 +
541 x1^8*x2^6*x3^6*x4^5*x5^3*x6^10*x7^8*x8^9 +
542 -x1^8*x2^6*x3^6*x4^5*x5^3*x6^10*x7^7*x8^9 +
543 x1^8*x2^6*x3^6*x4^5*x5^3*x6^8*x7^10*x8^9 +
544 -x1^8*x2^6*x3^6*x4^5*x5^3*x6^8*x7^8*x8^9 +
545 -x1^8*x2^6*x3^6*x4^5*x5^2*x6^7*x7^10*x8^5 +
546 -x1^8*x2^6*x3^6*x4^5*x5*x6^10*x7^8*x8^5 +
547 x1^8*x2^6*x3^6*x4^5*x5*x6^10*x7^7*x8^5 +
548 x1^8*x2^6*x3^6*x4^5*x5*x6^7*x7^8*x8^5 +
549 x1^8*x2^6*x3^5*x4^8*x5^6*x6^9*x7^10*x8^9 +
550 -x1^8*x2^6*x3^5*x4^8*x5^6*x6^9*x7^10*x8^4 +
551 -x1^8*x2^6*x3^5*x4^8*x5^6*x6^9*x7^8*x8^9 +
552 x1^8*x2^6*x3^5*x4^8*x5^6*x6^9*x7^8*x8^4 +
553 -x1^8*x2^6*x3^5*x4^8*x5^6*x6^8*x7^10*x8^9 +
554 x1^8*x2^6*x3^5*x4^8*x5^6*x6^8*x7^10*x8^4 +
555 x1^8*x2^6*x3^5*x4^8*x5^6*x6^8*x7^8*x8^9 +
556 -x1^8*x2^6*x3^5*x4^8*x5^6*x6^8*x7^8*x8^4 +
557 -x1^8*x2^6*x3^5*x4^8*x5^5*x6^9*x7^10*x8^9 +
558 x1^8*x2^6*x3^5*x4^8*x5^5*x6^9*x7^10*x8^4 +
559 x1^8*x2^6*x3^5*x4^8*x5^5*x6^9*x7^8*x8^9 +
560 -x1^8*x2^6*x3^5*x4^8*x5^5*x6^9*x7^8*x8^4 +
561 x1^8*x2^6*x3^5*x4^8*x5^5*x6^8*x7^9*x8^9 +
562 -x1^8*x2^6*x3^5*x4^8*x5^5*x6^8*x7^8*x8^9 +
563 x1^8*x2^6*x3^5*x4^8*x5^5*x6^7*x7^10*x8^9 +
564 -x1^8*x2^6*x3^5*x4^8*x5^5*x6^7*x7^10*x8^4 +
565 -x1^8*x2^6*x3^5*x4^8*x5^5*x6^7*x7^9*x8^9 +
566 x1^8*x2^6*x3^5*x4^8*x5^5*x6^7*x7^8*x8^4 +
567 -x1^8*x2^6*x3^4*x4^8*x5^6*x6^9*x7^10*x8^9 +
568 x1^8*x2^6*x3^4*x4^8*x5^6*x6^9*x7^7*x8^9 +
569 x1^8*x2^6*x3^4*x4^8*x5^5*x6^9*x7^10*x8^9 +
570 -x1^8*x2^6*x3^4*x4^8*x5^5*x6^9*x7^7*x8^9 +
571 x1^8*x2^6*x3^4*x4^5*x5^6*x6^8*x7^10*x8^9 +
572 -x1^8*x2^6*x3^4*x4^5*x5^6*x6^8*x7^7*x8^9 +
573 x1^8*x2^6*x3^4*x4^5*x5^5*x6^8*x7^10*x8^9 +
574 -x1^8*x2^6*x3^4*x4^5*x5^5*x6^8*x7^9*x8^9 +
575 -x1^8*x2^6*x3^4*x4^5*x5^5*x6^7*x7^10*x8^9 +
576 x1^8*x2^6*x3^4*x4^5*x5^5*x6^7*x7^9*x8^9 +
577 -x1^8*x2^6*x3^4*x4^5*x5^3*x6^8*x7^10*x8^9 +
578 x1^8*x2^6*x3^4*x4^5*x5^3*x6^8*x7^7*x8^9 +
579 x1^8*x2^6*x3^3*x4^8*x5^6*x6^9*x7^10*x8^4 +
580 -x1^8*x2^6*x3^3*x4^8*x5^6*x6^9*x7^7*x8^4 +
581 -x1^8*x2^6*x3^3*x4^8*x5^5*x6^9*x7^10*x8^4 +
582 x1^8*x2^6*x3^3*x4^8*x5^5*x6^9*x7^7*x8^4 +
583 -x1^8*x2^6*x3^3*x4^5*x5^6*x6^8*x7^10*x8^4 +
584 x1^8*x2^6*x3^3*x4^5*x5^6*x6^8*x7^7*x8^4 +
585 x1^8*x2^6*x3^3*x4^5*x5^2*x6^7*x7^10*x8^4 +
586 -x1^8*x2^6*x3^3*x4^5*x5*x6^7*x7^7*x8^4 +
587 x1^8*x2^5*x3^8*x4^9*x5^3*x6^7*x7^10*x8^8 +
588 -x1^8*x2^5*x3^8*x4^9*x5^3*x6^6*x7^10*x8^8 +
589 -x1^8*x2^5*x3^8*x4^9*x5^2*x6^7*x7^10*x8^8 +
590 x1^8*x2^5*x3^8*x4^9*x5^2*x6^6*x7^10*x8^8 +
591 -x1^8*x2^5*x3^5*x4^8*x5^6*x6^9*x7^10*x8^9 +
592 x1^8*x2^5*x3^5*x4^8*x5^6*x6^9*x7^10*x8^4 +
593 x1^8*x2^5*x3^5*x4^8*x5^5*x6^9*x7^10*x8^9 +
594 -x1^8*x2^5*x3^5*x4^8*x5^5*x6^9*x7^10*x8^4 +
595 x1^8*x2^5*x3^4*x4^8*x5^6*x6^9*x7^10*x8^9 +
596 -x1^8*x2^5*x3^4*x4^8*x5^5*x6^9*x7^10*x8^9 +
597 -x1^8*x2^5*x3^3*x4^8*x5^6*x6^9*x7^10*x8^4 +
598 x1^8*x2^5*x3^3*x4^8*x5^5*x6^9*x7^10*x8^4 +
599 x1^8*x2^3*x3^8*x4^9*x5^3*x6^10*x7^8*x8^8 +
600 -x1^8*x2^3*x3^8*x4^9*x5^3*x6^10*x7^7*x8^8 +
601 -x1^8*x2^3*x3^8*x4^9*x5^3*x6^7*x7^8*x8^8 +
602 x1^8*x2^3*x3^8*x4^9*x5^3*x6^2*x7^2*x8^8 +
603 -x1^8*x2^3*x3^8*x4^9*x5*x6^10*x7^8*x8^8 +
604 x1^8*x2^3*x3^8*x4^9*x5*x6^10*x7^7*x8^8 +
605 x1^8*x2^3*x3^8*x4^9*x5*x6^7*x7^8*x8^8 +
606 -x1^8*x2^3*x3^8*x4^9*x5*x6^2*x7^2*x8^8 +
607 -x1^8*x2^3*x3^7*x4^8*x5^6*x6^9*x7^8*x8^5 +
608 x1^8*x2^3*x3^7*x4^8*x5^6*x6^9*x7^8*x8^4 +
609 x1^8*x2^3*x3^7*x4^8*x5^5*x6^9*x7^8*x8^5 +
610 -x1^8*x2^3*x3^7*x4^8*x5^5*x6^9*x7^8*x8^4 +
611 -x1^8*x2^3*x3^6*x4^8*x5^6*x6^9*x7^8*x8^9 +
612 x1^8*x2^3*x3^6*x4^8*x5^6*x6^9*x7^8*x8^5 +
613 x1^8*x2^3*x3^6*x4^8*x5^5*x6^9*x7^8*x8^9 +
614 -x1^8*x2^3*x3^6*x4^8*x5^5*x6^9*x7^8*x8^5 +
615 x1^8*x2^3*x3^5*x4^8*x5^6*x6^9*x7^8*x8^9 +
616 -x1^8*x2^3*x3^5*x4^8*x5^6*x6^9*x7^8*x8^4 +
617 -x1^8*x2^3*x3^5*x4^8*x5^5*x6^9*x7^8*x8^9 +
618 x1^8*x2^3*x3^5*x4^8*x5^5*x6^9*x7^8*x8^4 +
619 x1^8*x2^2*x3^7*x4^8*x5^6*x6^10*x7^8*x8^9 +
620 -x1^8*x2^2*x3^7*x4^8*x5^6*x6^10*x7^8*x8^5 +
621 -x1^8*x2^2*x3^7*x4^8*x5^6*x6^10*x7^7*x8^9 +
622 x1^8*x2^2*x3^7*x4^8*x5^6*x6^10*x7^7*x8^5 +
623 -x1^8*x2^2*x3^7*x4^8*x5^6*x6^9*x7^8*x8^9 +
624 x1^8*x2^2*x3^7*x4^8*x5^6*x6^9*x7^8*x8^5 +
625 x1^8*x2^2*x3^7*x4^8*x5^6*x6^9*x7^5*x8^9 +
626 -x1^8*x2^2*x3^7*x4^8*x5^6*x6^9*x7^5*x8^4 +
627 -x1^8*x2^2*x3^7*x4^8*x5^5*x6^10*x7^8*x8^9 +
628 x1^8*x2^2*x3^7*x4^8*x5^5*x6^10*x7^8*x8^5 +
629 x1^8*x2^2*x3^7*x4^8*x5^5*x6^10*x7^7*x8^9 +
630 -x1^8*x2^2*x3^7*x4^8*x5^5*x6^10*x7^7*x8^5 +
631 x1^8*x2^2*x3^7*x4^8*x5^5*x6^9*x7^8*x8^9 +
632 -x1^8*x2^2*x3^7*x4^8*x5^5*x6^9*x7^8*x8^5 +
633 -x1^8*x2^2*x3^7*x4^8*x5^5*x6^9*x7^5*x8^9 +
634 x1^8*x2^2*x3^7*x4^8*x5^5*x6^9*x7^5*x8^4 +
635 -x1^8*x2*x3^6*x4^8*x5^6*x6^10*x7^8*x8^9 +
636 x1^8*x2*x3^6*x4^8*x5^6*x6^10*x7^8*x8^5 +
637 x1^8*x2*x3^6*x4^8*x5^6*x6^10*x7^7*x8^9 +
638 -x1^8*x2*x3^6*x4^8*x5^6*x6^10*x7^7*x8^5 +
639 x1^8*x2*x3^6*x4^8*x5^6*x6^9*x7^8*x8^9 +
640 -x1^8*x2*x3^6*x4^8*x5^6*x6^9*x7^8*x8^5 +
641 x1^8*x2*x3^6*x4^8*x5^5*x6^10*x7^8*x8^9 +
642 -x1^8*x2*x3^6*x4^8*x5^5*x6^10*x7^8*x8^5 +
643 -x1^8*x2*x3^6*x4^8*x5^5*x6^10*x7^7*x8^9 +
644 x1^8*x2*x3^6*x4^8*x5^5*x6^10*x7^7*x8^5 +
645 -x1^8*x2*x3^6*x4^8*x5^5*x6^9*x7^8*x8^9 +
646 x1^8*x2*x3^6*x4^8*x5^5*x6^9*x7^8*x8^5 +
647 -x1^8*x2*x3^4*x4^8*x5^6*x6^9*x7^5*x8^9 +
648 x1^8*x2*x3^4*x4^8*x5^5*x6^9*x7^5*x8^9 +
649 x1^8*x2*x3^3*x4^8*x5^6*x6^9*x7^5*x8^4 +
650 -x1^8*x2*x3^3*x4^8*x5^5*x6^9*x7^5*x8^4 +
651 x1^7*x2^10*x3^7*x4^8*x5^7*x6^7*x7^10*x8^9 +
652 -x1^7*x2^10*x3^7*x4^8*x5^7*x6^7*x7^9*x8^9 +
653 -x1^7*x2^10*x3^7*x4^8*x5^7*x6^6*x7^10*x8^9 +
654 x1^7*x2^10*x3^7*x4^8*x5^7*x6^5*x7^9*x8^9 +
655 -x1^7*x2^10*x3^7*x4^7*x5^7*x6^7*x7^10*x8^9 +
656 x1^7*x2^10*x3^7*x4^7*x5^7*x6^7*x7^9*x8^9 +
657 x1^7*x2^10*x3^7*x4^7*x5^7*x6^6*x7^10*x8^9 +
658 -x1^7*x2^10*x3^7*x4^7*x5^7*x6^5*x7^9*x8^9 +
659 x1^7*x2^10*x3^6*x4^8*x5^7*x6^8*x7^10*x8^9 +
660 -x1^7*x2^10*x3^6*x4^8*x5^7*x6^8*x7^9*x8^9 +
661 -x1^7*x2^10*x3^6*x4^8*x5^7*x6^7*x7^10*x8^9 +
662 x1^7*x2^10*x3^6*x4^8*x5^7*x6^7*x7^9*x8^9 +
663 -x1^7*x2^10*x3^6*x4^6*x5^7*x6^8*x7^10*x8^9 +
664 x1^7*x2^10*x3^6*x4^6*x5^7*x6^8*x7^9*x8^9 +
665 x1^7*x2^10*x3^6*x4^6*x5^7*x6^7*x7^10*x8^9 +
666 -x1^7*x2^10*x3^6*x4^6*x5^7*x6^7*x7^9*x8^9 +
667 -x1^7*x2^10*x3^5*x4^8*x5^7*x6^8*x7^10*x8^9 +
668 x1^7*x2^10*x3^5*x4^8*x5^7*x6^8*x7^9*x8^9 +
669 x1^7*x2^10*x3^5*x4^8*x5^7*x6^6*x7^10*x8^9 +
670 -x1^7*x2^10*x3^5*x4^8*x5^7*x6^5*x7^9*x8^9 +
671 x1^7*x2^10*x3^4*x4^6*x5^7*x6^8*x7^10*x8^9 +
672 -x1^7*x2^10*x3^4*x4^6*x5^7*x6^8*x7^9*x8^9 +
673 -x1^7*x2^10*x3^4*x4^6*x5^7*x6^6*x7^10*x8^9 +
674 x1^7*x2^10*x3^4*x4^6*x5^7*x6^5*x7^9*x8^9 +
675 x1^7*x2^9*x3^6*x4^8*x5^6*x6^8*x7^10*x8^9 +
676 -x1^7*x2^9*x3^6*x4^8*x5^6*x6^8*x7^8*x8^9 +
677 -x1^7*x2^9*x3^6*x4^8*x5^5*x6^8*x7^10*x8^9 +
678 x1^7*x2^9*x3^6*x4^8*x5^5*x6^8*x7^8*x8^9 +
679 -x1^7*x2^9*x3^6*x4^6*x5^6*x6^8*x7^10*x8^9 +
680 x1^7*x2^9*x3^6*x4^6*x5^6*x6^8*x7^8*x8^9 +
681 x1^7*x2^9*x3^6*x4^6*x5^4*x6^8*x7^10*x8^9 +
682 -x1^7*x2^9*x3^6*x4^6*x5^4*x6^8*x7^8*x8^9 +
683 -x1^7*x2^9*x3^5*x4^8*x5^6*x6^8*x7^10*x8^9 +
684 x1^7*x2^9*x3^5*x4^8*x5^6*x6^8*x7^8*x8^9 +
685 x1^7*x2^9*x3^5*x4^8*x5^5*x6^8*x7^10*x8^9 +
686 -x1^7*x2^9*x3^5*x4^8*x5^5*x6^8*x7^8*x8^9 +
687 x1^7*x2^9*x3^4*x4^6*x5^6*x6^8*x7^10*x8^9 +
688 -x1^7*x2^9*x3^4*x4^6*x5^6*x6^8*x7^8*x8^9 +
689 -x1^7*x2^9*x3^4*x4^6*x5^4*x6^8*x7^10*x8^9 +
690 x1^7*x2^9*x3^4*x4^6*x5^4*x6^8*x7^8*x8^9 +
691 -x1^7*x2^7*x3^9*x4^7*x5^6*x6^10*x7^7*x8^9 +
692 x1^7*x2^7*x3^9*x4^7*x5^6*x6^10*x7*x8^9 +
693 x1^7*x2^7*x3^9*x4^7*x5^3*x6^10*x7^7*x8^9 +
694 -x1^7*x2^7*x3^9*x4^7*x5^3*x6^10*x8^9 +
695 x1^7*x2^7*x3^9*x4^6*x5^6*x6^10*x7^7*x8^9 +
696 -x1^7*x2^7*x3^9*x4^6*x5^6*x6^10*x7*x8^9 +
697 -x1^7*x2^7*x3^9*x4^6*x5^3*x6^10*x7^7*x8^9 +
698 x1^7*x2^7*x3^9*x4^6*x5^3*x6^10*x8^9 +
699 -x1^7*x2^6*x3^7*x4^8*x5^5*x6^7*x7^10*x8^9 +
700 x1^7*x2^6*x3^7*x4^8*x5^5*x6^7*x7^9*x8^9 +
701 x1^7*x2^6*x3^7*x4^8*x5^5*x6^6*x7^10*x8^9 +
702 -x1^7*x2^6*x3^7*x4^8*x5^5*x6^5*x7^9*x8^9 +
703 x1^7*x2^6*x3^7*x4^7*x5^5*x6^7*x7^10*x8^9 +
704 -x1^7*x2^6*x3^7*x4^7*x5^5*x6^7*x7^9*x8^9 +
705 -x1^7*x2^6*x3^7*x4^7*x5^5*x6^6*x7^10*x8^9 +
706 x1^7*x2^6*x3^7*x4^7*x5^5*x6^5*x7^9*x8^9 +
707 -x1^7*x2^6*x3^6*x4^8*x5^5*x6^8*x7^10*x8^9 +
708 x1^7*x2^6*x3^6*x4^8*x5^5*x6^8*x7^9*x8^9 +
709 x1^7*x2^6*x3^6*x4^8*x5^5*x6^7*x7^10*x8^9 +
710 -x1^7*x2^6*x3^6*x4^8*x5^5*x6^7*x7^9*x8^9 +
711 x1^7*x2^6*x3^6*x4^3*x5^5*x6^8*x7^10*x8^9 +
712 -x1^7*x2^6*x3^6*x4^3*x5^5*x6^7*x7^10*x8^9 +
713 -x1^7*x2^6*x3^6*x4*x5^5*x6^8*x7^9*x8^9 +
714 x1^7*x2^6*x3^6*x4*x5^5*x6^7*x7^9*x8^9 +
715 x1^7*x2^6*x3^5*x4^8*x5^5*x6^8*x7^10*x8^9 +
716 -x1^7*x2^6*x3^5*x4^8*x5^5*x6^8*x7^9*x8^9 +
717 -x1^7*x2^6*x3^5*x4^8*x5^5*x6^6*x7^10*x8^9 +
718 x1^7*x2^6*x3^5*x4^8*x5^5*x6^5*x7^9*x8^9 +
719 -x1^7*x2^6*x3^4*x4^3*x5^5*x6^8*x7^10*x8^9 +
720 x1^7*x2^6*x3^4*x4^3*x5^5*x6^6*x7^10*x8^9 +
721 x1^7*x2^6*x3^4*x4*x5^5*x6^8*x7^9*x8^9 +
722 -x1^7*x2^6*x3^4*x5^5*x6^5*x7^9*x8^9 +
723 -x1^7*x2^5*x3^6*x4^8*x5^6*x6^8*x7^10*x8^9 +
724 x1^7*x2^5*x3^6*x4^8*x5^5*x6^8*x7^10*x8^9 +
725 x1^7*x2^5*x3^6*x4^3*x5^6*x6^8*x7^10*x8^9 +
726 -x1^7*x2^5*x3^6*x4^3*x5^3*x6^8*x7^10*x8^9 +
727 x1^7*x2^5*x3^5*x4^8*x5^6*x6^8*x7^10*x8^9 +
728 -x1^7*x2^5*x3^5*x4^8*x5^5*x6^8*x7^10*x8^9 +
729 -x1^7*x2^5*x3^4*x4^3*x5^6*x6^8*x7^10*x8^9 +
730 x1^7*x2^5*x3^4*x4^3*x5^3*x6^8*x7^10*x8^9 +
731 x1^7*x2^3*x3^6*x4^8*x5^6*x6^8*x7^8*x8^9 +
732 -x1^7*x2^3*x3^6*x4^8*x5^5*x6^8*x7^8*x8^9 +
733 -x1^7*x2^3*x3^5*x4^8*x5^6*x6^8*x7^8*x8^9 +
734 x1^7*x2^3*x3^5*x4^8*x5^5*x6^8*x7^8*x8^9 +
735 -x1^7*x2^2*x3^7*x4^7*x5^6*x6^10*x7^8*x8^9 +
736 x1^7*x2^2*x3^7*x4^7*x5^6*x6^10*x7^7*x8^9 +
737 x1^7*x2^2*x3^7*x4^7*x5^6*x6^8*x7^8*x8^9 +
738 -x1^7*x2^2*x3^7*x4^7*x5^6*x6^8*x7*x8^9 +
739 x1^7*x2^2*x3^7*x4^7*x5^3*x6^10*x7^8*x8^9 +
740 -x1^7*x2^2*x3^7*x4^7*x5^3*x6^10*x7^7*x8^9 +
741 -x1^7*x2^2*x3^7*x4^7*x5^3*x6^8*x7^8*x8^9 +
742 x1^7*x2^2*x3^7*x4^7*x5^3*x6^8*x8^9 +
743 x1^7*x2*x3^6*x4^3*x5^6*x6^10*x7^8*x8^9 +
744 -x1^7*x2*x3^6*x4^3*x5^6*x6^10*x7^7*x8^9 +
745 -x1^7*x2*x3^6*x4^3*x5^3*x6^10*x7^8*x8^9 +
746 x1^7*x2*x3^6*x4^3*x5^3*x6^10*x7^7*x8^9 +
747 -x1^7*x2*x3^6*x4^2*x5^6*x6^8*x7^8*x8^9 +
748 x1^7*x2*x3^6*x4*x5^3*x6^8*x7^8*x8^9 +
749 x1^7*x2*x3^4*x4^2*x5^6*x6^8*x7*x8^9 +
750 -x1^7*x2*x3^4*x4*x5^3*x6^8*x8^9 +
751 x1^6*x2^10*x3^7*x4^8*x5^7*x6^8*x7^10*x8^5 +
752 -x1^6*x2^10*x3^7*x4^8*x5^7*x6^8*x7^10*x8^4 +
753 -x1^6*x2^10*x3^7*x4^8*x5^7*x6^8*x7^8*x8^5 +
754 x1^6*x2^10*x3^7*x4^8*x5^7*x6^8*x7^8*x8^4 +
755 -x1^6*x2^10*x3^7*x4^8*x5^7*x6^7*x7^10*x8^5 +
756 x1^6*x2^10*x3^7*x4^8*x5^7*x6^7*x7^8*x8^5 +
757 x1^6*x2^10*x3^7*x4^8*x5^7*x6^6*x7^10*x8^4 +
758 -x1^6*x2^10*x3^7*x4^8*x5^7*x6^5*x7^8*x8^4 +
759 -x1^6*x2^10*x3^7*x4^7*x5^7*x6^8*x7^10*x8^5 +
760 x1^6*x2^10*x3^7*x4^7*x5^7*x6^8*x7^10*x8^4 +
761 x1^6*x2^10*x3^7*x4^7*x5^7*x6^8*x7^8*x8^5 +
762 -x1^6*x2^10*x3^7*x4^7*x5^7*x6^8*x7^2*x8^4 +
763 x1^6*x2^10*x3^7*x4^7*x5^7*x6^7*x7^10*x8^5 +
764 -x1^6*x2^10*x3^7*x4^7*x5^7*x6^7*x7^8*x8^5 +
765 -x1^6*x2^10*x3^7*x4^7*x5^7*x6^6*x7^10*x8^4 +
766 x1^6*x2^10*x3^7*x4^7*x5^7*x6^5*x7^2*x8^4 +
767 -x1^6*x2^10*x3^6*x4^8*x5^7*x6^8*x7^10*x8^5 +
768 x1^6*x2^10*x3^6*x4^8*x5^7*x6^8*x7^8*x8^5 +
769 x1^6*x2^10*x3^6*x4^8*x5^7*x6^7*x7^10*x8^5 +
770 -x1^6*x2^10*x3^6*x4^8*x5^7*x6^7*x7^8*x8^5 +
771 x1^6*x2^10*x3^6*x4^6*x5^7*x6^8*x7^10*x8^5 +
772 -x1^6*x2^10*x3^6*x4^6*x5^7*x6^8*x7^8*x8^5 +
773 -x1^6*x2^10*x3^6*x4^6*x5^7*x6^7*x7^10*x8^5 +
774 x1^6*x2^10*x3^6*x4^6*x5^7*x6^7*x7^8*x8^5 +
775 x1^6*x2^10*x3^5*x4^8*x5^7*x6^8*x7^10*x8 +
776 -x1^6*x2^10*x3^5*x4^8*x5^7*x6^8*x7^8*x8 +
777 -x1^6*x2^10*x3^5*x4^8*x5^7*x6^6*x7^10*x8 +
778 x1^6*x2^10*x3^5*x4^8*x5^7*x6^5*x7^8*x8 +
779 -x1^6*x2^10*x3^3*x4^6*x5^7*x6^8*x7^10*x8 +
780 x1^6*x2^10*x3^3*x4^6*x5^7*x6^6*x7^10*x8 +
781 x1^6*x2^10*x3^2*x4^6*x5^7*x6^8*x7^2*x8 +
782 -x1^6*x2^10*x3^2*x4^6*x5^7*x6^5*x7^2*x8 +
783 -x1^6*x2^9*x3^6*x4^8*x5^6*x6^8*x7^10*x8^6 +
784 x1^6*x2^9*x3^6*x4^8*x5^5*x6^8*x7^10*x8^6 +
785 x1^6*x2^9*x3^6*x4^6*x5^6*x6^8*x7^10*x8^6 +
786 -x1^6*x2^9*x3^6*x4^6*x5^4*x6^8*x7^10*x8^6 +
787 x1^6*x2^9*x3^5*x4^8*x5^6*x6^8*x7^10*x8^6 +
788 -x1^6*x2^9*x3^5*x4^8*x5^5*x6^8*x7^10*x8^6 +
789 -x1^6*x2^9*x3^4*x4^6*x5^6*x6^8*x7^10*x8^6 +
790 x1^6*x2^9*x3^4*x4^6*x5^4*x6^8*x7^10*x8^6 +
791 x1^6*x2^7*x3^9*x4^10*x5^3*x6^10*x7^8*x8^5 +
792 -x1^6*x2^7*x3^9*x4^10*x5^3*x6^10*x7^7*x8^5 +
793 x1^6*x2^7*x3^9*x4^10*x5^3*x6^7*x7^10*x8^5 +
794 -x1^6*x2^7*x3^9*x4^10*x5^3*x6^6*x7^10*x8^5 +
795 -x1^6*x2^7*x3^9*x4^10*x5^2*x6^7*x7^10*x8^5 +
796 x1^6*x2^7*x3^9*x4^10*x5^2*x6^6*x7^10*x8^5 +
797 -x1^6*x2^7*x3^9*x4^10*x5*x6^10*x7^8*x8^5 +
798 x1^6*x2^7*x3^9*x4^10*x5*x6^10*x7^7*x8^5 +
799 -x1^6*x2^7*x3^9*x4^7*x5^6*x6^10*x7^8*x8^7 +
800 x1^6*x2^7*x3^9*x4^7*x5^6*x6^10*x7^7*x8^7 +
801 x1^6*x2^7*x3^9*x4^7*x5^3*x6^10*x7^8*x8^7 +
802 -x1^6*x2^7*x3^9*x4^7*x5^3*x6^10*x7^7*x8^7 +
803 x1^6*x2^7*x3^9*x4^6*x5^6*x6^10*x7^8*x8^7 +
804 -x1^6*x2^7*x3^9*x4^6*x5^6*x6^10*x7^7*x8^7 +
805 -x1^6*x2^7*x3^9*x4^6*x5^3*x6^10*x7^8*x8^7 +
806 x1^6*x2^7*x3^9*x4^6*x5^3*x6^10*x7^7*x8^7 +
807 -x1^6*x2^5*x3^7*x4^8*x5^6*x6^8*x7^10*x8^5 +
808 x1^6*x2^5*x3^7*x4^8*x5^6*x6^8*x7^10*x8^4 +
809 x1^6*x2^5*x3^7*x4^8*x5^5*x6^7*x7^10*x8^5 +
810 -x1^6*x2^5*x3^7*x4^8*x5^5*x6^6*x7^10*x8^4 +
811 x1^6*x2^5*x3^7*x4^7*x5^6*x6^8*x7^10*x8^5 +
812 -x1^6*x2^5*x3^7*x4^7*x5^6*x6^8*x7^10*x8^4 +
813 -x1^6*x2^5*x3^7*x4^7*x5^3*x6^7*x7^10*x8^5 +
814 x1^6*x2^5*x3^7*x4^7*x5^3*x6^6*x7^10*x8^4 +
815 x1^6*x2^5*x3^6*x4^8*x5^6*x6^8*x7^10*x8^5 +
816 -x1^6*x2^5*x3^6*x4^8*x5^5*x6^7*x7^10*x8^5 +
817 -x1^6*x2^5*x3^6*x4^3*x5^6*x6^8*x7^10*x8^5 +
818 x1^6*x2^5*x3^6*x4^3*x5^2*x6^7*x7^10*x8^5 +
819 -x1^6*x2^5*x3^5*x4^8*x5^6*x6^8*x7^10*x8 +
820 x1^6*x2^5*x3^5*x4^8*x5^5*x6^6*x7^10 +
821 x1^6*x2^5*x3^3*x4^3*x5^6*x6^8*x7^10*x8 +
822 -x1^6*x2^5*x3^3*x4^3*x5^2*x6^6*x7^10 +
823 x1^6*x2^2*x3^7*x4^7*x5^6*x6^10*x7^8*x8^5 +
824 -x1^6*x2^2*x3^7*x4^7*x5^6*x6^10*x7^7*x8^5 +
825 -x1^6*x2^2*x3^7*x4^7*x5^3*x6^10*x7^8*x8^5 +
826 x1^6*x2^2*x3^7*x4^7*x5^3*x6^10*x7^7*x8^5 +
827 x1^6*x2*x3^6*x4^8*x5^8*x6^10*x7^8*x8^9 +
828 -x1^6*x2*x3^6*x4^8*x5^8*x6^10*x7^7*x8^9 +
829 -x1^6*x2*x3^6*x4^3*x5^6*x6^10*x7^8*x8^5 +
830 x1^6*x2*x3^6*x4^3*x5^6*x6^10*x7^7*x8^5 +
831 -x1^6*x3^6*x4^8*x5^8*x6^10*x7^8*x8^9 +
832 x1^6*x3^6*x4^8*x5^8*x6^10*x7^7*x8^9 +
833 x1^6*x3^6*x4^3*x5*x6^10*x7^8*x8^5 +
834 -x1^6*x3^6*x4^3*x5*x6^10*x7^7*x8^5 +
835 -x1^5*x2^7*x3^9*x4^10*x5^3*x6^7*x7^8*x8^5 +
836 x1^5*x2^7*x3^9*x4^10*x5^3*x6^5*x7*x8^5 +
839 x1^5*x2^7*x3^9*x4^7*x5^6*x6^10*x7^8*x8^7 +
840 -x1^5*x2^7*x3^9*x4^7*x5^6*x6^10*x7*x8^7 +
841 -x1^5*x2^7*x3^9*x4^7*x5^3*x6^10*x7^8*x8^7 +
842 x1^5*x2^7*x3^9*x4^7*x5^3*x6^10*x8^7 +
843 x1^5*x2^3*x3^7*x4^8*x5^6*x6^8*x7^8*x8^5 +
844 -x1^5*x2^3*x3^7*x4^8*x5^6*x6^8*x7^8*x8^4 +
845 -x1^5*x2^3*x3^7*x4^8*x5^5*x6^7*x7^8*x8^5 +
846 x1^5*x2^3*x3^7*x4^8*x5^5*x6^5*x7^8*x8^4 +
847 -x1^5*x2^2*x3^7*x4^7*x5^6*x6^8*x7^8*x8^5 +
848 x1^5*x2^2*x3^7*x4^7*x5^6*x6^8*x7*x8^4 +
849 x1^5*x2^2*x3^7*x4^7*x5^3*x6^7*x7^8*x8^5 +
850 -x1^5*x2^2*x3^7*x4^7*x5^3*x6^2*x8^4 +
851 x1^4*x2^9*x3^6*x4^8*x5^6*x6^8*x7^8*x8^6 +
852 -x1^4*x2^9*x3^6*x4^8*x5^5*x6^8*x7^8*x8^6 +
853 -x1^4*x2^9*x3^5*x4^8*x5^6*x6^8*x7^8*x8^6 +
854 x1^4*x2^9*x3^5*x4^8*x5^5*x6^8*x7^8*x8^6 +
855 -x1^4*x2^3*x3^6*x4^8*x5^7*x6^7*x7^8*x8^10 +
856 x1^4*x2^3*x3^6*x4^8*x5^7*x6^6*x7^8*x8^10 +
857 -x1^4*x2^3*x3^6*x4^8*x5^6*x6^8*x7^8*x8^5 +
858 x1^4*x2^3*x3^6*x4^8*x5^5*x6^7*x7^8*x8^5 +
859 x1^4*x2^3*x3^5*x4^8*x5^6*x6^8*x7^8*x8 +
860 -x1^4*x2^3*x3^5*x4^8*x5^5*x6^5*x7^8 +
861 -x1^3*x2^9*x3^6*x4^6*x5^6*x6^8*x7^8*x8^6 +
862 x1^3*x2^9*x3^6*x4^6*x5^4*x6^8*x7^8*x8^6 +
863 x1^3*x2^9*x3^4*x4^6*x5^6*x6^8*x7^8*x8^6 +
864 -x1^3*x2^9*x3^4*x4^6*x5^4*x6^8*x7^8*x8^6 +
865 x1^3*x2^7*x3^9*x4^8*x5^8*x6^10*x7^8*x8^10 +
866 -x1^3*x2^7*x3^9*x4^8*x5^8*x6^10*x7^6*x8^9 +
867 -x1^3*x2^7*x3^9*x4^8*x5^7*x6^10*x7^8*x8^10 +
868 -x1^3*x2^7*x3^9*x4^6*x5^6*x6^10*x7^8*x8^7 +
869 x1^3*x2^7*x3^9*x4^6*x5^6*x6^10*x7*x8^7 +
870 x1^3*x2^7*x3^9*x4^6*x5^3*x6^10*x7^8*x8^7 +
871 -x1^3*x2^3*x3^6*x4^8*x5^8*x6^10*x7^8*x8^10 +
872 x1^3*x2^3*x3^6*x4^8*x5^7*x6^7*x7^8*x8^10 +
873 x1^3*x2^2*x3*x4^7*x5^7*x6^9*x7^10*x8^9 +
874 -x1^3*x2^2*x4^7*x5^7*x6^9*x7^10*x8^9 +
875 -x1^3*x2*x3^6*x4^8*x5^8*x6^10*x7^8*x8^9 +
876 x1^3*x2*x3^6*x4^2*x5^6*x6^8*x7^8*x8^5 +
877 x1^3*x2*x3^3*x4^8*x5^8*x6^10*x7^6*x8^9 +
878 -x1^3*x2*x3*x4^2*x5^6*x6^8*x7*x8 +
879 x1^3*x3^6*x4^8*x5^8*x6^10*x7^8*x8^9 +
881 -x1^2*x2^7*x3^9*x4^8*x5^8*x6^10*x7^8*x8^10 +
882 x1^2*x2^7*x3^9*x4^8*x5^8*x6^10*x7^6*x8^9 +
883 x1^2*x2^3*x3^6*x4^8*x5^8*x6^10*x7^8*x8^10 +
884 -x1^2*x3^3*x4^8*x5^8*x6^10*x7^6*x8^9 +
885 x1*x2^7*x3^9*x4^8*x5^7*x6^10*x7^8*x8^10 +
886 -x1*x2^7*x3^9*x4^6*x5^3*x6^10*x8^7 +
887 -x1*x2^3*x3^6*x4^8*x5^7*x6^6*x7^8*x8^10 +