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