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