1 ;;; -*- mode: lisp; package:maxima; syntax:common-lisp; -*- saved by
3 '((mplus simp
) ((mexpt simp
) $e2
12)
4 ((mtimes simp
) -
16 $e1
((mexpt simp
) $e2
10) $e3
)
5 ((mtimes simp
) 96 ((mexpt simp
) $e1
2) ((mexpt simp
) $e2
8)
7 ((mtimes simp
) 32 ((mexpt simp
) $e2
9) ((mexpt simp
) $e3
2))
8 ((mtimes simp
) -
256 ((mexpt simp
) $e1
3)
9 ((mexpt simp
) $e2
6) ((mexpt simp
) $e3
3))
10 ((mtimes simp
) -
384 $e1
((mexpt simp
) $e2
7)
12 ((mtimes simp
) 256 ((mexpt simp
) $e1
4) ((mexpt simp
) $e2
4)
14 ((mtimes simp
) 1536 ((mexpt simp
) $e1
2)
15 ((mexpt simp
) $e2
5) ((mexpt simp
) $e3
4))
16 ((mtimes simp
) 384 ((mexpt simp
) $e2
6)
18 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
3)
19 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
5))
20 ((mtimes simp
) -
3072 $e1
((mexpt simp
) $e2
4)
22 ((mtimes simp
) 6144 ((mexpt simp
) $e1
2)
23 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
6))
24 ((mtimes simp
) 2048 ((mexpt simp
) $e2
3)
26 ((mtimes simp
) -
8192 $e1 $e2
((mexpt simp
) $e3
7))
27 ((mtimes simp
) 4096 ((mexpt simp
) $e3
8))
28 ((mtimes simp
) 32 ((mexpt simp
) $e1
2) ((mexpt simp
) $e2
9)
30 ((mtimes simp
) -
56 ((mexpt simp
) $e2
10) $e4
)
31 ((mtimes simp
) -
384 ((mexpt simp
) $e1
3)
32 ((mexpt simp
) $e2
7) $e3 $e4
)
33 ((mtimes simp
) 672 $e1
((mexpt simp
) $e2
8) $e3 $e4
)
34 ((mtimes simp
) 1536 ((mexpt simp
) $e1
4)
35 ((mexpt simp
) $e2
5) ((mexpt simp
) $e3
2) $e4
)
36 ((mtimes simp
) -
1920 ((mexpt simp
) $e1
2)
37 ((mexpt simp
) $e2
6) ((mexpt simp
) $e3
2) $e4
)
38 ((mtimes simp
) -
1344 ((mexpt simp
) $e2
7)
39 ((mexpt simp
) $e3
2) $e4
)
40 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
5)
41 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
3) $e4
)
42 ((mtimes simp
) -
2560 ((mexpt simp
) $e1
3)
43 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
3) $e4
)
44 ((mtimes simp
) 10752 $e1
((mexpt simp
) $e2
5)
45 ((mexpt simp
) $e3
3) $e4
)
46 ((mtimes simp
) 12288 ((mexpt simp
) $e1
4)
47 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
4) $e4
)
48 ((mtimes simp
) -
15360 ((mexpt simp
) $e1
2)
49 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
4) $e4
)
50 ((mtimes simp
) -
10752 ((mexpt simp
) $e2
4)
51 ((mexpt simp
) $e3
4) $e4
)
52 ((mtimes simp
) -
24576 ((mexpt simp
) $e1
3) $e2
53 ((mexpt simp
) $e3
5) $e4
)
54 ((mtimes simp
) 43008 $e1
((mexpt simp
) $e2
2)
55 ((mexpt simp
) $e3
5) $e4
)
56 ((mtimes simp
) 16384 ((mexpt simp
) $e1
2)
57 ((mexpt simp
) $e3
6) $e4
)
58 ((mtimes simp
) -
28672 $e2
((mexpt simp
) $e3
6) $e4
)
59 ((mtimes simp
) 384 ((mexpt simp
) $e1
4) ((mexpt simp
) $e2
6)
61 ((mtimes simp
) -
1344 ((mexpt simp
) $e1
2)
62 ((mexpt simp
) $e2
7) ((mexpt simp
) $e4
2))
63 ((mtimes simp
) 1136 ((mexpt simp
) $e2
8)
65 ((mtimes simp
) -
3072 ((mexpt simp
) $e1
5)
66 ((mexpt simp
) $e2
4) $e3
((mexpt simp
) $e4
2))
67 ((mtimes simp
) 10752 ((mexpt simp
) $e1
3)
68 ((mexpt simp
) $e2
5) $e3
((mexpt simp
) $e4
2))
69 ((mtimes simp
) -
8960 $e1
((mexpt simp
) $e2
6) $e3
71 ((mtimes simp
) 6144 ((mexpt simp
) $e1
6)
72 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2)
74 ((mtimes simp
) -
15360 ((mexpt simp
) $e1
4)
75 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
2)
77 ((mtimes simp
) -
4352 ((mexpt simp
) $e1
2)
78 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
2)
80 ((mtimes simp
) 18176 ((mexpt simp
) $e2
5)
81 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2))
82 ((mtimes simp
) -
24576 ((mexpt simp
) $e1
5) $e2
83 ((mexpt simp
) $e3
3) ((mexpt simp
) $e4
2))
84 ((mtimes simp
) 88064 ((mexpt simp
) $e1
3)
85 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
3)
87 ((mtimes simp
) -
70656 $e1
((mexpt simp
) $e2
3)
88 ((mexpt simp
) $e3
3) ((mexpt simp
) $e4
2))
89 ((mtimes simp
) 24576 ((mexpt simp
) $e1
4)
90 ((mexpt simp
) $e3
4) ((mexpt simp
) $e4
2))
91 ((mtimes simp
) -
94208 ((mexpt simp
) $e1
2) $e2
92 ((mexpt simp
) $e3
4) ((mexpt simp
) $e4
2))
93 ((mtimes simp
) 72704 ((mexpt simp
) $e2
2)
94 ((mexpt simp
) $e3
4) ((mexpt simp
) $e4
2))
95 ((mtimes simp
) 8192 $e1
((mexpt simp
) $e3
5)
97 ((mtimes simp
) 2048 ((mexpt simp
) $e1
6)
98 ((mexpt simp
) $e2
3) ((mexpt simp
) $e4
3))
99 ((mtimes simp
) -
10752 ((mexpt simp
) $e1
4)
100 ((mexpt simp
) $e2
4) ((mexpt simp
) $e4
3))
101 ((mtimes simp
) 18176 ((mexpt simp
) $e1
2)
102 ((mexpt simp
) $e2
5) ((mexpt simp
) $e4
3))
103 ((mtimes simp
) -
10496 ((mexpt simp
) $e2
6)
104 ((mexpt simp
) $e4
3))
105 ((mtimes simp
) -
8192 ((mexpt simp
) $e1
7) $e2 $e3
106 ((mexpt simp
) $e4
3))
107 ((mtimes simp
) 43008 ((mexpt simp
) $e1
5)
108 ((mexpt simp
) $e2
2) $e3
((mexpt simp
) $e4
3))
109 ((mtimes simp
) -
70656 ((mexpt simp
) $e1
3)
110 ((mexpt simp
) $e2
3) $e3
((mexpt simp
) $e4
3))
111 ((mtimes simp
) 40960 $e1
((mexpt simp
) $e2
4) $e3
112 ((mexpt simp
) $e4
3))
113 ((mtimes simp
) 16384 ((mexpt simp
) $e1
6)
114 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
3))
115 ((mtimes simp
) -
94208 ((mexpt simp
) $e1
4) $e2
116 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
3))
117 ((mtimes simp
) 149504 ((mexpt simp
) $e1
2)
118 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2)
119 ((mexpt simp
) $e4
3))
120 ((mtimes simp
) -
89088 ((mexpt simp
) $e2
3)
121 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
3))
122 ((mtimes simp
) 16384 ((mexpt simp
) $e1
3)
123 ((mexpt simp
) $e3
3) ((mexpt simp
) $e4
3))
124 ((mtimes simp
) 12288 $e1 $e2
((mexpt simp
) $e3
3)
125 ((mexpt simp
) $e4
3))
126 ((mtimes simp
) -
40960 ((mexpt simp
) $e3
4)
127 ((mexpt simp
) $e4
3))
128 ((mtimes simp
) 4096 ((mexpt simp
) $e1
8)
129 ((mexpt simp
) $e4
4))
130 ((mtimes simp
) -
28672 ((mexpt simp
) $e1
6) $e2
131 ((mexpt simp
) $e4
4))
132 ((mtimes simp
) 72704 ((mexpt simp
) $e1
4)
133 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
4))
134 ((mtimes simp
) -
89088 ((mexpt simp
) $e1
2)
135 ((mexpt simp
) $e2
3) ((mexpt simp
) $e4
4))
136 ((mtimes simp
) 48896 ((mexpt simp
) $e2
4)
137 ((mexpt simp
) $e4
4))
138 ((mtimes simp
) 8192 ((mexpt simp
) $e1
5) $e3
139 ((mexpt simp
) $e4
4))
140 ((mtimes simp
) 12288 ((mexpt simp
) $e1
3) $e2 $e3
141 ((mexpt simp
) $e4
4))
142 ((mtimes simp
) -
49152 $e1
((mexpt simp
) $e2
2) $e3
143 ((mexpt simp
) $e4
4))
144 ((mtimes simp
) -
77824 ((mexpt simp
) $e1
2)
145 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
4))
146 ((mtimes simp
) 143360 $e2
((mexpt simp
) $e3
2)
147 ((mexpt simp
) $e4
4))
148 ((mtimes simp
) -
40960 ((mexpt simp
) $e1
4)
149 ((mexpt simp
) $e4
5))
150 ((mtimes simp
) 143360 ((mexpt simp
) $e1
2) $e2
151 ((mexpt simp
) $e4
5))
152 ((mtimes simp
) -
112640 ((mexpt simp
) $e2
2)
153 ((mexpt simp
) $e4
5))
154 ((mtimes simp
) -
40960 $e1 $e3
((mexpt simp
) $e4
5))
155 ((mtimes simp
) 102400 ((mexpt simp
) $e4
6))
156 ((mtimes simp
) -
96 $e1
((mexpt simp
) $e2
9) $e5
)
157 ((mtimes simp
) 1152 ((mexpt simp
) $e1
2)
158 ((mexpt simp
) $e2
7) $e3 $e5
)
159 ((mtimes simp
) 160 ((mexpt simp
) $e2
8) $e3 $e5
)
160 ((mtimes simp
) -
4608 ((mexpt simp
) $e1
3)
161 ((mexpt simp
) $e2
5) ((mexpt simp
) $e3
2) $e5
)
162 ((mtimes simp
) -
4096 $e1
((mexpt simp
) $e2
6)
163 ((mexpt simp
) $e3
2) $e5
)
164 ((mtimes simp
) 6144 ((mexpt simp
) $e1
4)
165 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
3) $e5
)
166 ((mtimes simp
) 25088 ((mexpt simp
) $e1
2)
167 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
3) $e5
)
168 ((mtimes simp
) 2560 ((mexpt simp
) $e2
5)
169 ((mexpt simp
) $e3
3) $e5
)
170 ((mtimes simp
) -
45056 ((mexpt simp
) $e1
3)
171 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
4) $e5
)
172 ((mtimes simp
) -
36864 $e1
((mexpt simp
) $e2
3)
173 ((mexpt simp
) $e3
4) $e5
)
174 ((mtimes simp
) 106496 ((mexpt simp
) $e1
2) $e2
175 ((mexpt simp
) $e3
5) $e5
)
176 ((mtimes simp
) 10240 ((mexpt simp
) $e2
2)
177 ((mexpt simp
) $e3
5) $e5
)
178 ((mtimes simp
) -
81920 $e1
((mexpt simp
) $e3
6) $e5
)
179 ((mtimes simp
) -
2304 ((mexpt simp
) $e1
3)
180 ((mexpt simp
) $e2
6) $e4 $e5
)
181 ((mtimes simp
) 3968 $e1
((mexpt simp
) $e2
7) $e4 $e5
)
182 ((mtimes simp
) 18432 ((mexpt simp
) $e1
4)
183 ((mexpt simp
) $e2
4) $e3 $e4 $e5
)
184 ((mtimes simp
) -
29184 ((mexpt simp
) $e1
2)
185 ((mexpt simp
) $e2
5) $e3 $e4 $e5
)
186 ((mtimes simp
) -
1280 ((mexpt simp
) $e2
6) $e3 $e4 $e5
)
187 ((mtimes simp
) -
36864 ((mexpt simp
) $e1
5)
188 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2) $e4 $e5
)
189 ((mtimes simp
) 8192 ((mexpt simp
) $e1
3)
190 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
2) $e4 $e5
)
191 ((mtimes simp
) 70144 $e1
((mexpt simp
) $e2
4)
192 ((mexpt simp
) $e3
2) $e4 $e5
)
193 ((mtimes simp
) 180224 ((mexpt simp
) $e1
4) $e2
194 ((mexpt simp
) $e3
3) $e4 $e5
)
195 ((mtimes simp
) -
239616 ((mexpt simp
) $e1
2)
196 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
3) $e4 $e5
)
197 ((mtimes simp
) 15360 ((mexpt simp
) $e2
3)
198 ((mexpt simp
) $e3
3) $e4 $e5
)
199 ((mtimes simp
) -
212992 ((mexpt simp
) $e1
3)
200 ((mexpt simp
) $e3
4) $e4 $e5
)
201 ((mtimes simp
) 163840 $e1 $e2
((mexpt simp
) $e3
4) $e4 $e5
)
202 ((mtimes simp
) 204800 ((mexpt simp
) $e3
5) $e4 $e5
)
203 ((mtimes simp
) -
18432 ((mexpt simp
) $e1
5)
204 ((mexpt simp
) $e2
3) ((mexpt simp
) $e4
2) $e5
)
205 ((mtimes simp
) 63488 ((mexpt simp
) $e1
3)
206 ((mexpt simp
) $e2
4) ((mexpt simp
) $e4
2) $e5
)
207 ((mtimes simp
) -
52736 $e1
((mexpt simp
) $e2
5)
208 ((mexpt simp
) $e4
2) $e5
)
209 ((mtimes simp
) 73728 ((mexpt simp
) $e1
6) $e2 $e3
210 ((mexpt simp
) $e4
2) $e5
)
211 ((mtimes simp
) -
243712 ((mexpt simp
) $e1
4)
212 ((mexpt simp
) $e2
2) $e3
((mexpt simp
) $e4
2) $e5
)
213 ((mtimes simp
) 220160 ((mexpt simp
) $e1
2)
214 ((mexpt simp
) $e2
3) $e3
((mexpt simp
) $e4
2) $e5
)
215 ((mtimes simp
) -
61440 ((mexpt simp
) $e2
4) $e3
216 ((mexpt simp
) $e4
2) $e5
)
217 ((mtimes simp
) -
180224 ((mexpt simp
) $e1
5)
218 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2) $e5
)
219 ((mtimes simp
) 442368 ((mexpt simp
) $e1
3) $e2
220 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2) $e5
)
221 ((mtimes simp
) -
143360 $e1
((mexpt simp
) $e2
2)
222 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2) $e5
)
223 ((mtimes simp
) 327680 ((mexpt simp
) $e1
2)
224 ((mexpt simp
) $e3
3) ((mexpt simp
) $e4
2) $e5
)
225 ((mtimes simp
) -
716800 $e2
((mexpt simp
) $e3
3)
226 ((mexpt simp
) $e4
2) $e5
)
227 ((mtimes simp
) -
49152 ((mexpt simp
) $e1
7)
228 ((mexpt simp
) $e4
3) $e5
)
229 ((mtimes simp
) 253952 ((mexpt simp
) $e1
5) $e2
230 ((mexpt simp
) $e4
3) $e5
)
231 ((mtimes simp
) -
421888 ((mexpt simp
) $e1
3)
232 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
3) $e5
)
233 ((mtimes simp
) 256000 $e1
((mexpt simp
) $e2
3)
234 ((mexpt simp
) $e4
3) $e5
)
235 ((mtimes simp
) 155648 ((mexpt simp
) $e1
4) $e3
236 ((mexpt simp
) $e4
3) $e5
)
237 ((mtimes simp
) -
757760 ((mexpt simp
) $e1
2) $e2 $e3
238 ((mexpt simp
) $e4
3) $e5
)
239 ((mtimes simp
) 512000 ((mexpt simp
) $e2
2) $e3
240 ((mexpt simp
) $e4
3) $e5
)
241 ((mtimes simp
) 614400 $e1
((mexpt simp
) $e3
2)
242 ((mexpt simp
) $e4
3) $e5
)
243 ((mtimes simp
) 245760 ((mexpt simp
) $e1
3)
244 ((mexpt simp
) $e4
4) $e5
)
245 ((mtimes simp
) -
409600 $e1 $e2
((mexpt simp
) $e4
4) $e5
)
246 ((mtimes simp
) -
1024000 $e3
((mexpt simp
) $e4
4) $e5
)
247 ((mtimes simp
) 5504 ((mexpt simp
) $e1
2)
248 ((mexpt simp
) $e2
6) ((mexpt simp
) $e5
2))
249 ((mtimes simp
) -
8000 ((mexpt simp
) $e2
7)
250 ((mexpt simp
) $e5
2))
251 ((mtimes simp
) -
44032 ((mexpt simp
) $e1
3)
252 ((mexpt simp
) $e2
4) $e3
((mexpt simp
) $e5
2))
253 ((mtimes simp
) 56320 $e1
((mexpt simp
) $e2
5) $e3
254 ((mexpt simp
) $e5
2))
255 ((mtimes simp
) 88064 ((mexpt simp
) $e1
4)
256 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2)
257 ((mexpt simp
) $e5
2))
258 ((mtimes simp
) 15360 ((mexpt simp
) $e1
2)
259 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
2)
260 ((mexpt simp
) $e5
2))
261 ((mtimes simp
) -
121600 ((mexpt simp
) $e2
4)
262 ((mexpt simp
) $e3
2) ((mexpt simp
) $e5
2))
263 ((mtimes simp
) -
450560 ((mexpt simp
) $e1
3) $e2
264 ((mexpt simp
) $e3
3) ((mexpt simp
) $e5
2))
265 ((mtimes simp
) 409600 $e1
((mexpt simp
) $e2
2)
266 ((mexpt simp
) $e3
3) ((mexpt simp
) $e5
2))
267 ((mtimes simp
) 614400 ((mexpt simp
) $e1
2)
268 ((mexpt simp
) $e3
4) ((mexpt simp
) $e5
2))
269 ((mtimes simp
) -
512000 $e2
((mexpt simp
) $e3
4)
270 ((mexpt simp
) $e5
2))
271 ((mtimes simp
) 88064 ((mexpt simp
) $e1
4)
272 ((mexpt simp
) $e2
3) $e4
((mexpt simp
) $e5
2))
273 ((mtimes simp
) -
279040 ((mexpt simp
) $e1
2)
274 ((mexpt simp
) $e2
4) $e4
((mexpt simp
) $e5
2))
275 ((mtimes simp
) 224000 ((mexpt simp
) $e2
5) $e4
276 ((mexpt simp
) $e5
2))
277 ((mtimes simp
) -
352256 ((mexpt simp
) $e1
5) $e2 $e3 $e4
278 ((mexpt simp
) $e5
2))
279 ((mtimes simp
) 1054720 ((mexpt simp
) $e1
3)
280 ((mexpt simp
) $e2
2) $e3 $e4
((mexpt simp
) $e5
2))
281 ((mtimes simp
) -
947200 $e1
((mexpt simp
) $e2
3) $e3 $e4
282 ((mexpt simp
) $e5
2))
283 ((mtimes simp
) 901120 ((mexpt simp
) $e1
4)
284 ((mexpt simp
) $e3
2) $e4
((mexpt simp
) $e5
2))
285 ((mtimes simp
) -
1945600 ((mexpt simp
) $e1
2) $e2
286 ((mexpt simp
) $e3
2) $e4
((mexpt simp
) $e5
2))
287 ((mtimes simp
) 2048000 ((mexpt simp
) $e2
2)
288 ((mexpt simp
) $e3
2) $e4
((mexpt simp
) $e5
2))
289 ((mtimes simp
) -
2048000 $e1
((mexpt simp
) $e3
3) $e4
290 ((mexpt simp
) $e5
2))
291 ((mtimes simp
) 352256 ((mexpt simp
) $e1
6)
292 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
293 ((mtimes simp
) -
1720320 ((mexpt simp
) $e1
4) $e2
294 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
295 ((mtimes simp
) 2764800 ((mexpt simp
) $e1
2)
296 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
2)
297 ((mexpt simp
) $e5
2))
298 ((mtimes simp
) -
1408000 ((mexpt simp
) $e2
3)
299 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
300 ((mtimes simp
) -
1024000 ((mexpt simp
) $e1
3) $e3
301 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
302 ((mtimes simp
) 1536000 $e1 $e2 $e3
((mexpt simp
) $e4
2)
303 ((mexpt simp
) $e5
2))
304 ((mtimes simp
) 2560000 ((mexpt simp
) $e3
2)
305 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
306 ((mtimes simp
) -
1024000 ((mexpt simp
) $e1
2)
307 ((mexpt simp
) $e4
3) ((mexpt simp
) $e5
2))
308 ((mtimes simp
) 2560000 $e2
((mexpt simp
) $e4
3)
309 ((mexpt simp
) $e5
2))
310 ((mtimes simp
) -
153600 ((mexpt simp
) $e1
3)
311 ((mexpt simp
) $e2
3) ((mexpt simp
) $e5
3))
312 ((mtimes simp
) 384000 $e1
((mexpt simp
) $e2
4)
313 ((mexpt simp
) $e5
3))
314 ((mtimes simp
) 614400 ((mexpt simp
) $e1
4) $e2 $e3
315 ((mexpt simp
) $e5
3))
316 ((mtimes simp
) -
1280000 ((mexpt simp
) $e1
2)
317 ((mexpt simp
) $e2
2) $e3
((mexpt simp
) $e5
3))
318 ((mtimes simp
) -
640000 ((mexpt simp
) $e2
3) $e3
319 ((mexpt simp
) $e5
3))
320 ((mtimes simp
) -
2048000 ((mexpt simp
) $e1
3)
321 ((mexpt simp
) $e3
2) ((mexpt simp
) $e5
3))
322 ((mtimes simp
) 5120000 $e1 $e2
((mexpt simp
) $e3
2)
323 ((mexpt simp
) $e5
3))
324 ((mtimes simp
) -
1228800 ((mexpt simp
) $e1
5) $e4
325 ((mexpt simp
) $e5
3))
326 ((mtimes simp
) 5120000 ((mexpt simp
) $e1
3) $e2 $e4
327 ((mexpt simp
) $e5
3))
328 ((mtimes simp
) -
5120000 $e1
((mexpt simp
) $e2
2) $e4
329 ((mexpt simp
) $e5
3))
330 ((mtimes simp
) 5120000 ((mexpt simp
) $e1
2) $e3 $e4
331 ((mexpt simp
) $e5
3))
332 ((mtimes simp
) -
12800000 $e2 $e3 $e4
((mexpt simp
) $e5
3))
333 ((mtimes simp
) 2560000 ((mexpt simp
) $e1
4)
334 ((mexpt simp
) $e5
4))
335 ((mtimes simp
) -
12800000 ((mexpt simp
) $e1
2) $e2
336 ((mexpt simp
) $e5
4))
337 ((mtimes simp
) 16000000 ((mexpt simp
) $e2
2)
338 ((mexpt simp
) $e5
4))
340 ((mplus simp
) ((mtimes simp
) -
6 ((mexpt simp
) $e2
10))
341 ((mtimes simp
) 80 $e1
((mexpt simp
) $e2
8) $e3
)
342 ((mtimes simp
) -
384 ((mexpt simp
) $e1
2)
343 ((mexpt simp
) $e2
6) ((mexpt simp
) $e3
2))
344 ((mtimes simp
) -
128 ((mexpt simp
) $e2
7)
345 ((mexpt simp
) $e3
2))
346 ((mtimes simp
) 768 ((mexpt simp
) $e1
3)
347 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
3))
348 ((mtimes simp
) 1152 $e1
((mexpt simp
) $e2
5)
349 ((mexpt simp
) $e3
3))
350 ((mtimes simp
) -
512 ((mexpt simp
) $e1
4)
351 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
4))
352 ((mtimes simp
) -
3072 ((mexpt simp
) $e1
2)
353 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
4))
354 ((mtimes simp
) -
896 ((mexpt simp
) $e2
4)
355 ((mexpt simp
) $e3
4))
356 ((mtimes simp
) 2048 ((mexpt simp
) $e1
3) $e2
357 ((mexpt simp
) $e3
5))
358 ((mtimes simp
) 4096 $e1
((mexpt simp
) $e2
2)
359 ((mexpt simp
) $e3
5))
360 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
2)
361 ((mexpt simp
) $e3
6))
362 ((mtimes simp
) -
2048 $e2
((mexpt simp
) $e3
6))
363 ((mtimes simp
) -
128 ((mexpt simp
) $e1
2)
364 ((mexpt simp
) $e2
7) $e4
)
365 ((mtimes simp
) 184 ((mexpt simp
) $e2
8) $e4
)
366 ((mtimes simp
) 1152 ((mexpt simp
) $e1
3)
367 ((mexpt simp
) $e2
5) $e3 $e4
)
368 ((mtimes simp
) -
1472 $e1
((mexpt simp
) $e2
6) $e3 $e4
)
369 ((mtimes simp
) -
3072 ((mexpt simp
) $e1
4)
370 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
2) $e4
)
371 ((mtimes simp
) 1152 ((mexpt simp
) $e1
2)
372 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
2) $e4
)
373 ((mtimes simp
) 2496 ((mexpt simp
) $e2
5)
374 ((mexpt simp
) $e3
2) $e4
)
375 ((mtimes simp
) 2048 ((mexpt simp
) $e1
5) $e2
376 ((mexpt simp
) $e3
3) $e4
)
377 ((mtimes simp
) 8192 ((mexpt simp
) $e1
3)
378 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
3) $e4
)
379 ((mtimes simp
) -
8192 $e1
((mexpt simp
) $e2
3)
380 ((mexpt simp
) $e3
3) $e4
)
381 ((mtimes simp
) -
4096 ((mexpt simp
) $e1
4)
382 ((mexpt simp
) $e3
4) $e4
)
383 ((mtimes simp
) -
13312 ((mexpt simp
) $e1
2) $e2
384 ((mexpt simp
) $e3
4) $e4
)
385 ((mtimes simp
) 8192 ((mexpt simp
) $e2
2)
386 ((mexpt simp
) $e3
4) $e4
)
387 ((mtimes simp
) 14336 $e1
((mexpt simp
) $e3
5) $e4
)
388 ((mtimes simp
) -
896 ((mexpt simp
) $e1
4)
389 ((mexpt simp
) $e2
4) ((mexpt simp
) $e4
2))
390 ((mtimes simp
) 2496 ((mexpt simp
) $e1
2)
391 ((mexpt simp
) $e2
5) ((mexpt simp
) $e4
2))
392 ((mtimes simp
) -
1984 ((mexpt simp
) $e2
6)
393 ((mexpt simp
) $e4
2))
394 ((mtimes simp
) 4096 ((mexpt simp
) $e1
5)
395 ((mexpt simp
) $e2
2) $e3
((mexpt simp
) $e4
2))
396 ((mtimes simp
) -
8192 ((mexpt simp
) $e1
3)
397 ((mexpt simp
) $e2
3) $e3
((mexpt simp
) $e4
2))
398 ((mtimes simp
) 4608 $e1
((mexpt simp
) $e2
4) $e3
399 ((mexpt simp
) $e4
2))
400 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
6)
401 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2))
402 ((mtimes simp
) -
13312 ((mexpt simp
) $e1
4) $e2
403 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2))
404 ((mtimes simp
) 29184 ((mexpt simp
) $e1
2)
405 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2)
406 ((mexpt simp
) $e4
2))
407 ((mtimes simp
) -
12800 ((mexpt simp
) $e2
3)
408 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2))
409 ((mtimes simp
) 30720 ((mexpt simp
) $e1
3)
410 ((mexpt simp
) $e3
3) ((mexpt simp
) $e4
2))
411 ((mtimes simp
) -
39936 $e1 $e2
((mexpt simp
) $e3
3)
412 ((mexpt simp
) $e4
2))
413 ((mtimes simp
) -
3072 ((mexpt simp
) $e3
4)
414 ((mexpt simp
) $e4
2))
415 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
6) $e2
416 ((mexpt simp
) $e4
3))
417 ((mtimes simp
) 8192 ((mexpt simp
) $e1
4)
418 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
3))
419 ((mtimes simp
) -
12800 ((mexpt simp
) $e1
2)
420 ((mexpt simp
) $e2
3) ((mexpt simp
) $e4
3))
421 ((mtimes simp
) 1792 ((mexpt simp
) $e2
4)
422 ((mexpt simp
) $e4
3))
423 ((mtimes simp
) 14336 ((mexpt simp
) $e1
5) $e3
424 ((mexpt simp
) $e4
3))
425 ((mtimes simp
) -
39936 ((mexpt simp
) $e1
3) $e2 $e3
426 ((mexpt simp
) $e4
3))
427 ((mtimes simp
) 58368 $e1
((mexpt simp
) $e2
2) $e3
428 ((mexpt simp
) $e4
3))
429 ((mtimes simp
) -
30720 ((mexpt simp
) $e1
2)
430 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
3))
431 ((mtimes simp
) -
29696 $e2
((mexpt simp
) $e3
2)
432 ((mexpt simp
) $e4
3))
433 ((mtimes simp
) -
3072 ((mexpt simp
) $e1
4)
434 ((mexpt simp
) $e4
4))
435 ((mtimes simp
) -
29696 ((mexpt simp
) $e1
2) $e2
436 ((mexpt simp
) $e4
4))
437 ((mtimes simp
) 41472 ((mexpt simp
) $e2
2)
438 ((mexpt simp
) $e4
4))
439 ((mtimes simp
) 94208 $e1 $e3
((mexpt simp
) $e4
4))
440 ((mtimes simp
) -
108544 ((mexpt simp
) $e4
5))
441 ((mtimes simp
) 128 ((mexpt simp
) $e1
3)
442 ((mexpt simp
) $e2
6) $e5
)
443 ((mtimes simp
) -
192 $e1
((mexpt simp
) $e2
7) $e5
)
444 ((mtimes simp
) -
1024 ((mexpt simp
) $e1
4)
445 ((mexpt simp
) $e2
4) $e3 $e5
)
446 ((mtimes simp
) 1152 ((mexpt simp
) $e1
2)
447 ((mexpt simp
) $e2
5) $e3 $e5
)
448 ((mtimes simp
) 320 ((mexpt simp
) $e2
6) $e3 $e5
)
449 ((mtimes simp
) 2048 ((mexpt simp
) $e1
5)
450 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2) $e5
)
451 ((mtimes simp
) 2048 ((mexpt simp
) $e1
3)
452 ((mexpt simp
) $e2
3) ((mexpt simp
) $e3
2) $e5
)
453 ((mtimes simp
) -
6144 $e1
((mexpt simp
) $e2
4)
454 ((mexpt simp
) $e3
2) $e5
)
455 ((mtimes simp
) -
14336 ((mexpt simp
) $e1
4) $e2
456 ((mexpt simp
) $e3
3) $e5
)
457 ((mtimes simp
) 18432 ((mexpt simp
) $e1
2)
458 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
3) $e5
)
459 ((mtimes simp
) -
6144 ((mexpt simp
) $e2
3)
460 ((mexpt simp
) $e3
3) $e5
)
461 ((mtimes simp
) 12288 ((mexpt simp
) $e1
3)
462 ((mexpt simp
) $e3
4) $e5
)
463 ((mtimes simp
) 12288 $e1 $e2
((mexpt simp
) $e3
4) $e5
)
464 ((mtimes simp
) -
59392 ((mexpt simp
) $e3
5) $e5
)
465 ((mtimes simp
) 2048 ((mexpt simp
) $e1
5)
466 ((mexpt simp
) $e2
3) $e4 $e5
)
467 ((mtimes simp
) -
7424 ((mexpt simp
) $e1
3)
468 ((mexpt simp
) $e2
4) $e4 $e5
)
469 ((mtimes simp
) 8832 $e1
((mexpt simp
) $e2
5) $e4 $e5
)
470 ((mtimes simp
) -
8192 ((mexpt simp
) $e1
6) $e2 $e3 $e4 $e5
)
471 ((mtimes simp
) 26624 ((mexpt simp
) $e1
4)
472 ((mexpt simp
) $e2
2) $e3 $e4 $e5
)
473 ((mtimes simp
) -
49152 ((mexpt simp
) $e1
2)
474 ((mexpt simp
) $e2
3) $e3 $e4 $e5
)
475 ((mtimes simp
) 43008 ((mexpt simp
) $e2
4) $e3 $e4 $e5
)
476 ((mtimes simp
) 28672 ((mexpt simp
) $e1
5)
477 ((mexpt simp
) $e3
2) $e4 $e5
)
478 ((mtimes simp
) -
4096 ((mexpt simp
) $e1
3) $e2
479 ((mexpt simp
) $e3
2) $e4 $e5
)
480 ((mtimes simp
) -
129024 $e1
((mexpt simp
) $e2
2)
481 ((mexpt simp
) $e3
2) $e4 $e5
)
482 ((mtimes simp
) -
116736 ((mexpt simp
) $e1
2)
483 ((mexpt simp
) $e3
3) $e4 $e5
)
484 ((mtimes simp
) 414720 $e2
((mexpt simp
) $e3
3) $e4 $e5
)
485 ((mtimes simp
) 8192 ((mexpt simp
) $e1
7)
486 ((mexpt simp
) $e4
2) $e5
)
487 ((mtimes simp
) -
47104 ((mexpt simp
) $e1
5) $e2
488 ((mexpt simp
) $e4
2) $e5
)
489 ((mtimes simp
) 109568 ((mexpt simp
) $e1
3)
490 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
2) $e5
)
491 ((mtimes simp
) -
75776 $e1
((mexpt simp
) $e2
3)
492 ((mexpt simp
) $e4
2) $e5
)
493 ((mtimes simp
) -
174080 ((mexpt simp
) $e1
4) $e3
494 ((mexpt simp
) $e4
2) $e5
)
495 ((mtimes simp
) 553984 ((mexpt simp
) $e1
2) $e2 $e3
496 ((mexpt simp
) $e4
2) $e5
)
497 ((mtimes simp
) -
445440 ((mexpt simp
) $e2
2) $e3
498 ((mexpt simp
) $e4
2) $e5
)
499 ((mtimes simp
) -
327680 $e1
((mexpt simp
) $e3
2)
500 ((mexpt simp
) $e4
2) $e5
)
501 ((mtimes simp
) 180224 ((mexpt simp
) $e1
3)
502 ((mexpt simp
) $e4
3) $e5
)
503 ((mtimes simp
) -
317440 $e1 $e2
((mexpt simp
) $e4
3) $e5
)
504 ((mtimes simp
) 614400 $e3
((mexpt simp
) $e4
3) $e5
)
505 ((mtimes simp
) -
6144 ((mexpt simp
) $e1
4)
506 ((mexpt simp
) $e2
3) ((mexpt simp
) $e5
2))
507 ((mtimes simp
) 41088 ((mexpt simp
) $e1
2)
508 ((mexpt simp
) $e2
4) ((mexpt simp
) $e5
2))
509 ((mtimes simp
) -
86592 ((mexpt simp
) $e2
5)
510 ((mexpt simp
) $e5
2))
511 ((mtimes simp
) 24576 ((mexpt simp
) $e1
5) $e2 $e3
512 ((mexpt simp
) $e5
2))
513 ((mtimes simp
) -
178176 ((mexpt simp
) $e1
3)
514 ((mexpt simp
) $e2
2) $e3
((mexpt simp
) $e5
2))
515 ((mtimes simp
) 440320 $e1
((mexpt simp
) $e2
3) $e3
516 ((mexpt simp
) $e5
2))
517 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
4)
518 ((mexpt simp
) $e3
2) ((mexpt simp
) $e5
2))
519 ((mtimes simp
) -
35840 ((mexpt simp
) $e1
2) $e2
520 ((mexpt simp
) $e3
2) ((mexpt simp
) $e5
2))
521 ((mtimes simp
) -
652800 ((mexpt simp
) $e2
2)
522 ((mexpt simp
) $e3
2) ((mexpt simp
) $e5
2))
523 ((mtimes simp
) 409600 $e1
((mexpt simp
) $e3
3)
524 ((mexpt simp
) $e5
2))
525 ((mtimes simp
) -
49152 ((mexpt simp
) $e1
6) $e4
526 ((mexpt simp
) $e5
2))
527 ((mtimes simp
) 411648 ((mexpt simp
) $e1
4) $e2 $e4
528 ((mexpt simp
) $e5
2))
529 ((mtimes simp
) -
1198080 ((mexpt simp
) $e1
2)
530 ((mexpt simp
) $e2
2) $e4
((mexpt simp
) $e5
2))
531 ((mtimes simp
) 857600 ((mexpt simp
) $e2
3) $e4
532 ((mexpt simp
) $e5
2))
533 ((mtimes simp
) 92160 ((mexpt simp
) $e1
3) $e3 $e4
534 ((mexpt simp
) $e5
2))
535 ((mtimes simp
) 947200 $e1 $e2 $e3 $e4
536 ((mexpt simp
) $e5
2))
537 ((mtimes simp
) -
1024000 ((mexpt simp
) $e3
2) $e4
538 ((mexpt simp
) $e5
2))
539 ((mtimes simp
) -
716800 ((mexpt simp
) $e1
2)
540 ((mexpt simp
) $e4
2) ((mexpt simp
) $e5
2))
541 ((mtimes simp
) -
128000 $e2
((mexpt simp
) $e4
2)
542 ((mexpt simp
) $e5
2))
543 ((mtimes simp
) -
57344 ((mexpt simp
) $e1
5)
544 ((mexpt simp
) $e5
3))
545 ((mtimes simp
) 358400 ((mexpt simp
) $e1
3) $e2
546 ((mexpt simp
) $e5
3))
547 ((mtimes simp
) -
384000 $e1
((mexpt simp
) $e2
2)
548 ((mexpt simp
) $e5
3))
549 ((mtimes simp
) -
768000 ((mexpt simp
) $e1
2) $e3
550 ((mexpt simp
) $e5
3))
551 ((mtimes simp
) 640000 $e2 $e3
((mexpt simp
) $e5
3))
552 ((mtimes simp
) 2560000 $e1 $e4
((mexpt simp
) $e5
3))
553 ((mtimes simp
) -
3200000 ((mexpt simp
) $e5
4)))
556 ((mplus simp
) ((mtimes simp
) 15 ((mexpt simp
) $e2
8))
557 ((mtimes simp
) -
160 $e1
((mexpt simp
) $e2
6) $e3
)
558 ((mtimes simp
) 576 ((mexpt simp
) $e1
2)
559 ((mexpt simp
) $e2
4) ((mexpt simp
) $e3
2))
560 ((mtimes simp
) 192 ((mexpt simp
) $e2
5)
561 ((mexpt simp
) $e3
2))
562 ((mtimes simp
) -
768 ((mexpt simp
) $e1
3)
563 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
3))
564 ((mtimes simp
) -
1152 $e1
((mexpt simp
) $e2
3)
565 ((mexpt simp
) $e3
3))
566 ((mtimes simp
) 256 ((mexpt simp
) $e1
4)
567 ((mexpt simp
) $e3
4))
568 ((mtimes simp
) 1536 ((mexpt simp
) $e1
2) $e2
569 ((mexpt simp
) $e3
4))
570 ((mtimes simp
) 640 ((mexpt simp
) $e2
2)
571 ((mexpt simp
) $e3
4))
572 ((mtimes simp
) -
1024 $e1
((mexpt simp
) $e3
5))
573 ((mtimes simp
) 192 ((mexpt simp
) $e1
2)
574 ((mexpt simp
) $e2
5) $e4
)
575 ((mtimes simp
) -
176 ((mexpt simp
) $e2
6) $e4
)
576 ((mtimes simp
) -
1152 ((mexpt simp
) $e1
3)
577 ((mexpt simp
) $e2
3) $e3 $e4
)
578 ((mtimes simp
) 384 $e1
((mexpt simp
) $e2
4) $e3 $e4
)
579 ((mtimes simp
) 1536 ((mexpt simp
) $e1
4) $e2
580 ((mexpt simp
) $e3
2) $e4
)
581 ((mtimes simp
) 3456 ((mexpt simp
) $e1
2)
582 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2) $e4
)
583 ((mtimes simp
) -
960 ((mexpt simp
) $e2
3)
584 ((mexpt simp
) $e3
2) $e4
)
585 ((mtimes simp
) -
5632 ((mexpt simp
) $e1
3)
586 ((mexpt simp
) $e3
3) $e4
)
587 ((mtimes simp
) -
2560 $e1 $e2
((mexpt simp
) $e3
3) $e4
)
588 ((mtimes simp
) 2560 ((mexpt simp
) $e3
4) $e4
)
589 ((mtimes simp
) 640 ((mexpt simp
) $e1
4)
590 ((mexpt simp
) $e2
2) ((mexpt simp
) $e4
2))
591 ((mtimes simp
) -
960 ((mexpt simp
) $e1
2)
592 ((mexpt simp
) $e2
3) ((mexpt simp
) $e4
2))
593 ((mtimes simp
) 1440 ((mexpt simp
) $e2
4)
594 ((mexpt simp
) $e4
2))
595 ((mtimes simp
) -
1024 ((mexpt simp
) $e1
5) $e3
596 ((mexpt simp
) $e4
2))
597 ((mtimes simp
) -
2560 ((mexpt simp
) $e1
3) $e2 $e3
598 ((mexpt simp
) $e4
2))
599 ((mtimes simp
) -
3840 $e1
((mexpt simp
) $e2
2) $e3
600 ((mexpt simp
) $e4
2))
601 ((mtimes simp
) 24320 ((mexpt simp
) $e1
2)
602 ((mexpt simp
) $e3
2) ((mexpt simp
) $e4
2))
603 ((mtimes simp
) -
1280 $e2
((mexpt simp
) $e3
2)
604 ((mexpt simp
) $e4
2))
605 ((mtimes simp
) 2560 ((mexpt simp
) $e1
4)
606 ((mexpt simp
) $e4
3))
607 ((mtimes simp
) -
1280 ((mexpt simp
) $e1
2) $e2
608 ((mexpt simp
) $e4
3))
609 ((mtimes simp
) 1280 ((mexpt simp
) $e2
2)
610 ((mexpt simp
) $e4
3))
611 ((mtimes simp
) -
46080 $e1 $e3
((mexpt simp
) $e4
3))
612 ((mtimes simp
) 44800 ((mexpt simp
) $e4
4))
613 ((mtimes simp
) -
384 ((mexpt simp
) $e1
3)
614 ((mexpt simp
) $e2
4) $e5
)
615 ((mtimes simp
) 1152 $e1
((mexpt simp
) $e2
5) $e5
)
616 ((mtimes simp
) 2048 ((mexpt simp
) $e1
4)
617 ((mexpt simp
) $e2
2) $e3 $e5
)
618 ((mtimes simp
) -
5760 ((mexpt simp
) $e1
2)
619 ((mexpt simp
) $e2
3) $e3 $e5
)
620 ((mtimes simp
) -
1920 ((mexpt simp
) $e2
4) $e3 $e5
)
621 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
5)
622 ((mexpt simp
) $e3
2) $e5
)
623 ((mtimes simp
) 2560 ((mexpt simp
) $e1
3) $e2
624 ((mexpt simp
) $e3
2) $e5
)
625 ((mtimes simp
) 15360 $e1
((mexpt simp
) $e2
2)
626 ((mexpt simp
) $e3
2) $e5
)
627 ((mtimes simp
) -
2560 ((mexpt simp
) $e1
2)
628 ((mexpt simp
) $e3
3) $e5
)
629 ((mtimes simp
) -
12800 $e2
((mexpt simp
) $e3
3) $e5
)
630 ((mtimes simp
) -
2048 ((mexpt simp
) $e1
5) $e2 $e4 $e5
)
631 ((mtimes simp
) 6400 ((mexpt simp
) $e1
3)
632 ((mexpt simp
) $e2
2) $e4 $e5
)
633 ((mtimes simp
) -
1920 $e1
((mexpt simp
) $e2
3) $e4 $e5
)
634 ((mtimes simp
) 20480 ((mexpt simp
) $e1
4) $e3 $e4 $e5
)
635 ((mtimes simp
) -
69120 ((mexpt simp
) $e1
2) $e2 $e3 $e4
637 ((mtimes simp
) 19200 ((mexpt simp
) $e2
2) $e3 $e4 $e5
)
638 ((mtimes simp
) 38400 $e1
((mexpt simp
) $e3
2) $e4 $e5
)
639 ((mtimes simp
) -
46080 ((mexpt simp
) $e1
3)
640 ((mexpt simp
) $e4
2) $e5
)
641 ((mtimes simp
) 140800 $e1 $e2
((mexpt simp
) $e4
2) $e5
)
642 ((mtimes simp
) -
128000 $e3
((mexpt simp
) $e4
2) $e5
)
643 ((mtimes simp
) 4096 ((mexpt simp
) $e1
6)
644 ((mexpt simp
) $e5
2))
645 ((mtimes simp
) -
30720 ((mexpt simp
) $e1
4) $e2
646 ((mexpt simp
) $e5
2))
647 ((mtimes simp
) 67200 ((mexpt simp
) $e1
2)
648 ((mexpt simp
) $e2
2) ((mexpt simp
) $e5
2))
649 ((mtimes simp
) -
24000 ((mexpt simp
) $e2
3)
650 ((mexpt simp
) $e5
2))
651 ((mtimes simp
) 25600 ((mexpt simp
) $e1
3) $e3
652 ((mexpt simp
) $e5
2))
653 ((mtimes simp
) -
128000 $e1 $e2 $e3
((mexpt simp
) $e5
2))
654 ((mtimes simp
) 160000 ((mexpt simp
) $e3
2)
655 ((mexpt simp
) $e5
2))
656 ((mtimes simp
) 64000 ((mexpt simp
) $e1
2) $e4
657 ((mexpt simp
) $e5
2))
658 ((mtimes simp
) -
160000 $e2 $e4
((mexpt simp
) $e5
2)))
661 ((mplus simp
) ((mtimes simp
) -
20 ((mexpt simp
) $e2
6))
662 ((mtimes simp
) 160 $e1
((mexpt simp
) $e2
4) $e3
)
663 ((mtimes simp
) -
384 ((mexpt simp
) $e1
2)
664 ((mexpt simp
) $e2
2) ((mexpt simp
) $e3
2))
665 ((mtimes simp
) -
128 ((mexpt simp
) $e2
3)
666 ((mexpt simp
) $e3
2))
667 ((mtimes simp
) 256 ((mexpt simp
) $e1
3)
668 ((mexpt simp
) $e3
3))
669 ((mtimes simp
) 384 $e1 $e2
((mexpt simp
) $e3
3))
670 ((mtimes simp
) -
128 ((mexpt simp
) $e3
4))
671 ((mtimes simp
) -
128 ((mexpt simp
) $e1
2)
672 ((mexpt simp
) $e2
3) $e4
)
673 ((mtimes simp
) -
16 ((mexpt simp
) $e2
4) $e4
)
674 ((mtimes simp
) 384 ((mexpt simp
) $e1
3) $e2 $e3 $e4
)
675 ((mtimes simp
) 960 $e1
((mexpt simp
) $e2
2) $e3 $e4
)
676 ((mtimes simp
) -
2688 ((mexpt simp
) $e1
2)
677 ((mexpt simp
) $e3
2) $e4
)
678 ((mtimes simp
) -
192 $e2
((mexpt simp
) $e3
2) $e4
)
679 ((mtimes simp
) -
128 ((mexpt simp
) $e1
4)
680 ((mexpt simp
) $e4
2))
681 ((mtimes simp
) -
192 ((mexpt simp
) $e1
2) $e2
682 ((mexpt simp
) $e4
2))
683 ((mtimes simp
) -
1472 ((mexpt simp
) $e2
2)
684 ((mexpt simp
) $e4
2))
685 ((mtimes simp
) 8192 $e1 $e3
((mexpt simp
) $e4
2))
686 ((mtimes simp
) -
8960 ((mexpt simp
) $e4
3))
687 ((mtimes simp
) 384 ((mexpt simp
) $e1
3)
688 ((mexpt simp
) $e2
2) $e5
)
689 ((mtimes simp
) -
1344 $e1
((mexpt simp
) $e2
3) $e5
)
690 ((mtimes simp
) -
1024 ((mexpt simp
) $e1
4) $e3 $e5
)
691 ((mtimes simp
) 3456 ((mexpt simp
) $e1
2) $e2 $e3 $e5
)
692 ((mtimes simp
) 2240 ((mexpt simp
) $e2
2) $e3 $e5
)
693 ((mtimes simp
) -
5120 $e1
((mexpt simp
) $e3
2) $e5
)
694 ((mtimes simp
) 3328 ((mexpt simp
) $e1
3) $e4 $e5
)
695 ((mtimes simp
) -
10880 $e1 $e2 $e4 $e5
)
696 ((mtimes simp
) 12800 $e3 $e4 $e5
)
697 ((mtimes simp
) -
3200 ((mexpt simp
) $e1
2)
698 ((mexpt simp
) $e5
2))
699 ((mtimes simp
) 8000 $e2
((mexpt simp
) $e5
2)))
702 ((mplus simp
) ((mtimes simp
) 15 ((mexpt simp
) $e2
4))
703 ((mtimes simp
) -
80 $e1
((mexpt simp
) $e2
2) $e3
)
704 ((mtimes simp
) 96 ((mexpt simp
) $e1
2)
705 ((mexpt simp
) $e3
2))
706 ((mtimes simp
) 32 $e2
((mexpt simp
) $e3
2))
707 ((mtimes simp
) 32 ((mexpt simp
) $e1
2) $e2 $e4
)
708 ((mtimes simp
) 104 ((mexpt simp
) $e2
2) $e4
)
709 ((mtimes simp
) -
544 $e1 $e3 $e4
)
710 ((mtimes simp
) 880 ((mexpt simp
) $e4
2))
711 ((mtimes simp
) -
128 ((mexpt simp
) $e1
3) $e5
)
712 ((mtimes simp
) 480 $e1 $e2 $e5
)
713 ((mtimes simp
) -
800 $e3 $e5
))
716 ((mplus simp
) ((mtimes simp
) 6 ((mexpt simp
) $e2
2))
717 ((mtimes simp
) -
16 $e1 $e3
) ((mtimes simp
) 40 $e4
))
719 ((mexpt simp
) $x
6)))
720 (add2lnc '$q $values
)
722 (setq aaaaa
(gensym))
724 (mremprop '$q
'array
)
725 (mputprop '$q aaaaa
'hashar
)
726 (setf (symbol-array aaaaa
)
727 (make-array 11 :initial-contents
'(8 5 1 nil
729 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
730 ((mlist simp
) -
2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))
731 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
732 ((mlist simp
) 2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))
733 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
734 ((mlist simp
) -
2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))
735 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
736 ((mlist simp
) -
2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))
737 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
738 ((mlist simp
) -
2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))
739 ((mlist simp
) ((mlist simp
) 1 2 2 0 0 0)
740 ((mlist simp
) 2 2 1 1 0 0) ((mlist simp
) 2 1 1 1 1 0))))
742 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
743 ((mlist simp
) -
4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
744 ((mlist simp
) 12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
745 ((mlist simp
) -
12 3 3 2 0 0) ((mlist simp
) 4 3 3 1 1 0)
746 ((mlist simp
) -
12 3 2 1 1 1) ((mlist simp
) -
6 2 2 2 2 0)
747 ((mlist simp
) 12 2 2 2 1 1))
748 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
749 ((mlist simp
) 4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
750 ((mlist simp
) -
12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
751 ((mlist simp
) -
12 3 3 2 0 0) ((mlist simp
) 4 3 3 1 1 0)
752 ((mlist simp
) 24 3 2 2 1 0) ((mlist simp
) -
12 3 2 1 1 1)
753 ((mlist simp
) -
6 2 2 2 2 0) ((mlist simp
) 12 2 2 2 1 1))
754 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
755 ((mlist simp
) -
4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
756 ((mlist simp
) -
12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
757 ((mlist simp
) 12 3 3 2 0 0) ((mlist simp
) 4 3 3 1 1 0)
758 ((mlist simp
) -
12 3 2 1 1 1) ((mlist simp
) -
6 2 2 2 2 0)
759 ((mlist simp
) 12 2 2 2 1 1))
760 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
761 ((mlist simp
) -
4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
762 ((mlist simp
) 12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
763 ((mlist simp
) 12 3 3 2 0 0) ((mlist simp
) 4 3 3 1 1 0)
764 ((mlist simp
) -
24 3 2 2 1 0) ((mlist simp
) -
12 3 2 1 1 1)
765 ((mlist simp
) -
6 2 2 2 2 0) ((mlist simp
) 12 2 2 2 1 1))
766 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
767 ((mlist simp
) -
4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
768 ((mlist simp
) -
12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
769 ((mlist simp
) -
12 3 3 2 0 0) ((mlist simp
) 20 3 3 1 1 0)
770 ((mlist simp
) -
24 3 2 2 1 0) ((mlist simp
) -
12 3 2 1 1 1)
771 ((mlist simp
) -
6 2 2 2 2 0) ((mlist simp
) 12 2 2 2 1 1))
772 ((mlist simp
) ((mlist simp
) 1 4 4 0 0 0)
773 ((mlist simp
) 4 4 3 1 0 0) ((mlist simp
) 6 4 2 2 0 0)
774 ((mlist simp
) -
12 4 2 1 1 0) ((mlist simp
) 24 4 1 1 1 1)
775 ((mlist simp
) -
12 3 3 2 0 0) ((mlist simp
) 20 3 3 1 1 0)
776 ((mlist simp
) 24 3 2 2 1 0) ((mlist simp
) -
12 3 2 1 1 1)
777 ((mlist simp
) -
6 2 2 2 2 0) ((mlist simp
) 12 2 2 2 1 1))))
779 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
780 ((mlist simp
) -
6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
781 ((mlist simp
) 30 6 4 1 1 0) ((mlist simp
) -
20 6 3 3 0 0)
782 ((mlist simp
) -
60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
783 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) -
180 6 2 2 1 1)
784 ((mlist simp
) -
30 5 5 2 0 0) ((mlist simp
) 6 5 5 1 1 0)
785 ((mlist simp
) 60 5 4 3 0 0) ((mlist simp
) 30 5 4 2 1 0)
786 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) -
60 5 3 3 1 0)
787 ((mlist simp
) 120 5 3 2 2 0) ((mlist simp
) 180 5 3 2 1 1)
788 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
789 ((mlist simp
) -
120 4 4 3 1 0) ((mlist simp
) -
165 4 4 2 2 0)
790 ((mlist simp
) 90 4 4 2 1 1) ((mlist simp
) 240 4 3 3 2 0)
791 ((mlist simp
) -
180 4 3 3 1 1) ((mlist simp
) -
300 4 3 2 2 1)
792 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
793 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))
794 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
795 ((mlist simp
) 6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
796 ((mlist simp
) -
30 6 4 1 1 0) ((mlist simp
) 20 6 3 3 0 0)
797 ((mlist simp
) -
60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
798 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) 180 6 2 2 1 1)
799 ((mlist simp
) -
30 5 5 2 0 0) ((mlist simp
) 6 5 5 1 1 0)
800 ((mlist simp
) -
60 5 4 3 0 0) ((mlist simp
) 90 5 4 2 1 0)
801 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) 180 5 3 3 1 0)
802 ((mlist simp
) -
120 5 3 2 2 0) ((mlist simp
) -
300 5 3 2 1 1)
803 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
804 ((mlist simp
) -
120 4 4 3 1 0) ((mlist simp
) -
165 4 4 2 2 0)
805 ((mlist simp
) 90 4 4 2 1 1) ((mlist simp
) 120 4 3 3 2 0)
806 ((mlist simp
) 300 4 3 3 1 1) ((mlist simp
) 180 4 3 2 2 1)
807 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
808 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))
809 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
810 ((mlist simp
) -
6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
811 ((mlist simp
) -
30 6 4 1 1 0) ((mlist simp
) -
20 6 3 3 0 0)
812 ((mlist simp
) 60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
813 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) -
180 6 2 2 1 1)
814 ((mlist simp
) 30 5 5 2 0 0) ((mlist simp
) 6 5 5 1 1 0)
815 ((mlist simp
) -
60 5 4 3 0 0) ((mlist simp
) 30 5 4 2 1 0)
816 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) -
60 5 3 3 1 0)
817 ((mlist simp
) -
120 5 3 2 2 0) ((mlist simp
) -
60 5 3 2 1 1)
818 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
819 ((mlist simp
) 120 4 4 3 1 0) ((mlist simp
) -
165 4 4 2 2 0)
820 ((mlist simp
) 270 4 4 2 1 1) ((mlist simp
) 240 4 3 3 2 0)
821 ((mlist simp
) -
180 4 3 3 1 1) ((mlist simp
) 180 4 3 2 2 1)
822 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
823 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))
824 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
825 ((mlist simp
) -
6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
826 ((mlist simp
) 30 6 4 1 1 0) ((mlist simp
) -
20 6 3 3 0 0)
827 ((mlist simp
) -
60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
828 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) -
180 6 2 2 1 1)
829 ((mlist simp
) 30 5 5 2 0 0) ((mlist simp
) 6 5 5 1 1 0)
830 ((mlist simp
) -
60 5 4 3 0 0) ((mlist simp
) -
90 5 4 2 1 0)
831 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) 180 5 3 3 1 0)
832 ((mlist simp
) 120 5 3 2 2 0) ((mlist simp
) -
60 5 3 2 1 1)
833 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
834 ((mlist simp
) 120 4 4 3 1 0) ((mlist simp
) -
165 4 4 2 2 0)
835 ((mlist simp
) 270 4 4 2 1 1) ((mlist simp
) -
120 4 3 3 2 0)
836 ((mlist simp
) -
180 4 3 3 1 1) ((mlist simp
) -
300 4 3 2 2 1)
837 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
838 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))
839 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
840 ((mlist simp
) -
6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
841 ((mlist simp
) -
30 6 4 1 1 0) ((mlist simp
) -
20 6 3 3 0 0)
842 ((mlist simp
) 60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
843 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) -
180 6 2 2 1 1)
844 ((mlist simp
) -
30 5 5 2 0 0) ((mlist simp
) 54 5 5 1 1 0)
845 ((mlist simp
) 60 5 4 3 0 0) ((mlist simp
) -
150 5 4 2 1 0)
846 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) 180 5 3 3 1 0)
847 ((mlist simp
) -
240 5 3 2 2 0) ((mlist simp
) 180 5 3 2 1 1)
848 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
849 ((mlist simp
) -
240 4 4 3 1 0) ((mlist simp
) 315 4 4 2 2 0)
850 ((mlist simp
) 90 4 4 2 1 1) ((mlist simp
) -
120 4 3 3 2 0)
851 ((mlist simp
) -
180 4 3 3 1 1) ((mlist simp
) -
60 4 3 2 2 1)
852 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
853 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))
854 ((mlist simp
) ((mlist simp
) 1 6 6 0 0 0)
855 ((mlist simp
) 6 6 5 1 0 0) ((mlist simp
) 15 6 4 2 0 0)
856 ((mlist simp
) -
30 6 4 1 1 0) ((mlist simp
) 20 6 3 3 0 0)
857 ((mlist simp
) -
60 6 3 2 1 0) ((mlist simp
) 120 6 3 1 1 1)
858 ((mlist simp
) 90 6 2 2 2 0) ((mlist simp
) 180 6 2 2 1 1)
859 ((mlist simp
) -
30 5 5 2 0 0) ((mlist simp
) 54 5 5 1 1 0)
860 ((mlist simp
) -
60 5 4 3 0 0) ((mlist simp
) 150 5 4 2 1 0)
861 ((mlist simp
) -
90 5 4 1 1 1) ((mlist simp
) 180 5 3 3 1 0)
862 ((mlist simp
) -
240 5 3 2 2 0) ((mlist simp
) -
300 5 3 2 1 1)
863 ((mlist simp
) 180 5 2 2 2 1) ((mlist simp
) 90 4 4 4 0 0)
864 ((mlist simp
) -
240 4 4 3 1 0) ((mlist simp
) 315 4 4 2 2 0)
865 ((mlist simp
) 90 4 4 2 1 1) ((mlist simp
) 120 4 3 3 2 0)
866 ((mlist simp
) 300 4 3 3 1 1) ((mlist simp
) -
60 4 3 2 2 1)
867 ((mlist simp
) -
180 4 2 2 2 2) ((mlist simp
) -
340 3 3 3 3 0)
868 ((mlist simp
) 60 3 3 3 2 1) ((mlist simp
) 60 3 3 2 2 2))))
870 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
871 ((mlist simp
) -
8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
872 ((mlist simp
) 56 8 6 1 1 0) ((mlist simp
) -
56 8 5 3 0 0)
873 ((mlist simp
) -
168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
874 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) 280 8 4 3 1 0)
875 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) -
840 8 4 2 1 1)
876 ((mlist simp
) -
560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
877 ((mlist simp
) 1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
878 ((mlist simp
) -
56 7 7 2 0 0) ((mlist simp
) 8 7 7 1 1 0)
879 ((mlist simp
) 168 7 6 3 0 0) ((mlist simp
) 112 7 6 2 1 0)
880 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) -
280 7 5 4 0 0)
881 ((mlist simp
) -
392 7 5 3 1 0) ((mlist simp
) 336 7 5 2 2 0)
882 ((mlist simp
) 1176 7 5 2 1 1) ((mlist simp
) 560 7 4 4 1 0)
883 ((mlist simp
) -
280 7 4 3 2 0) ((mlist simp
) -
1960 7 4 3 1 1)
884 ((mlist simp
) 1680 7 3 3 3 0) ((mlist simp
) -
560 7 3 3 2 1)
885 ((mlist simp
) -
1680 7 3 2 2 2) ((mlist simp
) 420 6 6 4 0 0)
886 ((mlist simp
) -
336 6 6 3 1 0) ((mlist simp
) -
812 6 6 2 2 0)
887 ((mlist simp
) 280 6 6 2 1 1) ((mlist simp
) -
560 6 5 5 0 0)
888 ((mlist simp
) 280 6 5 4 1 0) ((mlist simp
) 1792 6 5 3 2 0)
889 ((mlist simp
) 56 6 5 3 1 1) ((mlist simp
) -
3192 6 5 2 2 1)
890 ((mlist simp
) -
2240 6 4 4 2 0) ((mlist simp
) 560 6 4 4 1 1)
891 ((mlist simp
) -
840 6 4 3 3 0) ((mlist simp
) 4480 6 4 3 2 1)
892 ((mlist simp
) -
2940 6 4 2 2 2) ((mlist simp
) -
1680 6 3 3 3 1)
893 ((mlist simp
) 4480 6 3 3 2 2) ((mlist simp
) 1680 5 5 5 1 0)
894 ((mlist simp
) 840 5 5 4 2 0) ((mlist simp
) -
3360 5 5 4 1 1)
895 ((mlist simp
) -
3304 5 5 3 3 0) ((mlist simp
) -
3528 5 5 3 2 1)
896 ((mlist simp
) 5544 5 5 2 2 2) ((mlist simp
) 3920 5 4 4 3 0)
897 ((mlist simp
) 1680 5 4 4 2 1) ((mlist simp
) -
3080 5 4 3 3 1)
898 ((mlist simp
) -
3360 5 4 3 2 2) ((mlist simp
) -
1120 5 3 3 3 2)
899 ((mlist simp
) -
4550 4 4 4 4 0) ((mlist simp
) -
1400 4 4 4 3 1)
900 ((mlist simp
) 2100 4 4 4 2 2) ((mlist simp
) 1400 4 4 3 3 2))
901 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
902 ((mlist simp
) 8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
903 ((mlist simp
) -
56 8 6 1 1 0) ((mlist simp
) 56 8 5 3 0 0)
904 ((mlist simp
) -
168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
905 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) -
280 8 4 3 1 0)
906 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) 840 8 4 2 1 1)
907 ((mlist simp
) 560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
908 ((mlist simp
) -
1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
909 ((mlist simp
) -
56 7 7 2 0 0) ((mlist simp
) 8 7 7 1 1 0)
910 ((mlist simp
) -
168 7 6 3 0 0) ((mlist simp
) 224 7 6 2 1 0)
911 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) -
280 7 5 4 0 0)
912 ((mlist simp
) 728 7 5 3 1 0) ((mlist simp
) -
336 7 5 2 2 0)
913 ((mlist simp
) -
1512 7 5 2 1 1) ((mlist simp
) 1120 7 4 4 1 0)
914 ((mlist simp
) -
1400 7 4 3 2 0) ((mlist simp
) -
3080 7 4 3 1 1)
915 ((mlist simp
) 1680 7 4 2 2 1) ((mlist simp
) 1680 7 3 3 3 0)
916 ((mlist simp
) 3920 7 3 3 2 1) ((mlist simp
) -
1680 7 3 2 2 2)
917 ((mlist simp
) 420 6 6 4 0 0) ((mlist simp
) -
336 6 6 3 1 0)
918 ((mlist simp
) -
812 6 6 2 2 0) ((mlist simp
) 280 6 6 2 1 1)
919 ((mlist simp
) 560 6 5 5 0 0) ((mlist simp
) -
1400 6 5 4 1 0)
920 ((mlist simp
) -
112 6 5 3 2 0) ((mlist simp
) 2744 6 5 3 1 1)
921 ((mlist simp
) 2184 6 5 2 2 1) ((mlist simp
) 2240 6 4 4 2 0)
922 ((mlist simp
) 4480 6 4 4 1 1) ((mlist simp
) 840 6 4 3 3 0)
923 ((mlist simp
) -
1120 6 4 3 2 1) ((mlist simp
) -
2940 6 4 2 2 2)
924 ((mlist simp
) -
1680 6 3 3 3 1) ((mlist simp
) -
1120 6 3 3 2 2)
925 ((mlist simp
) 1680 5 5 5 1 0) ((mlist simp
) 840 5 5 4 2 0)
926 ((mlist simp
) -
3360 5 5 4 1 1) ((mlist simp
) -
3304 5 5 3 3 0)
927 ((mlist simp
) -
3528 5 5 3 2 1) ((mlist simp
) 5544 5 5 2 2 2)
928 ((mlist simp
) -
2240 5 4 4 3 0) ((mlist simp
) 1680 5 4 4 2 1)
929 ((mlist simp
) 4760 5 4 3 3 1) ((mlist simp
) 1680 5 4 3 2 2)
930 ((mlist simp
) -
1120 5 3 3 3 2) ((mlist simp
) -
4550 4 4 4 4 0)
931 ((mlist simp
) -
1400 4 4 4 3 1) ((mlist simp
) 2100 4 4 4 2 2)
932 ((mlist simp
) 1400 4 4 3 3 2))
933 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
934 ((mlist simp
) -
8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
935 ((mlist simp
) -
56 8 6 1 1 0) ((mlist simp
) -
56 8 5 3 0 0)
936 ((mlist simp
) 168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
937 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) -
280 8 4 3 1 0)
938 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) -
840 8 4 2 1 1)
939 ((mlist simp
) -
560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
940 ((mlist simp
) -
1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
941 ((mlist simp
) 56 7 7 2 0 0) ((mlist simp
) 8 7 7 1 1 0)
942 ((mlist simp
) -
168 7 6 3 0 0) ((mlist simp
) 112 7 6 2 1 0)
943 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) 280 7 5 4 0 0)
944 ((mlist simp
) -
392 7 5 3 1 0) ((mlist simp
) -
336 7 5 2 2 0)
945 ((mlist simp
) -
168 7 5 2 1 1) ((mlist simp
) 560 7 4 4 1 0)
946 ((mlist simp
) 280 7 4 3 2 0) ((mlist simp
) 1400 7 4 3 1 1)
947 ((mlist simp
) 1680 7 4 2 2 1) ((mlist simp
) 1680 7 3 3 3 0)
948 ((mlist simp
) -
560 7 3 3 2 1) ((mlist simp
) -
1680 7 3 2 2 2)
949 ((mlist simp
) 420 6 6 4 0 0) ((mlist simp
) 336 6 6 3 1 0)
950 ((mlist simp
) -
812 6 6 2 2 0) ((mlist simp
) 1400 6 6 2 1 1)
951 ((mlist simp
) -
560 6 5 5 0 0) ((mlist simp
) -
280 6 5 4 1 0)
952 ((mlist simp
) 1792 6 5 3 2 0) ((mlist simp
) -
1736 6 5 3 1 1)
953 ((mlist simp
) 2184 6 5 2 2 1) ((mlist simp
) -
2240 6 4 4 2 0)
954 ((mlist simp
) 560 6 4 4 1 1) ((mlist simp
) 840 6 4 3 3 0)
955 ((mlist simp
) -
4480 6 4 3 2 1) ((mlist simp
) -
2940 6 4 2 2 2)
956 ((mlist simp
) -
1680 6 3 3 3 1) ((mlist simp
) 4480 6 3 3 2 2)
957 ((mlist simp
) 1680 5 5 5 1 0) ((mlist simp
) -
840 5 5 4 2 0)
958 ((mlist simp
) 3360 5 5 4 1 1) ((mlist simp
) -
3304 5 5 3 3 0)
959 ((mlist simp
) 1848 5 5 3 2 1) ((mlist simp
) 5544 5 5 2 2 2)
960 ((mlist simp
) 3920 5 4 4 3 0) ((mlist simp
) 1680 5 4 4 2 1)
961 ((mlist simp
) 4760 5 4 3 3 1) ((mlist simp
) -
1680 5 4 3 2 2)
962 ((mlist simp
) -
1120 5 3 3 3 2) ((mlist simp
) -
4550 4 4 4 4 0)
963 ((mlist simp
) -
1400 4 4 4 3 1) ((mlist simp
) 2100 4 4 4 2 2)
964 ((mlist simp
) 1400 4 4 3 3 2))
965 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
966 ((mlist simp
) -
8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
967 ((mlist simp
) 56 8 6 1 1 0) ((mlist simp
) -
56 8 5 3 0 0)
968 ((mlist simp
) -
168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
969 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) 280 8 4 3 1 0)
970 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) -
840 8 4 2 1 1)
971 ((mlist simp
) -
560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
972 ((mlist simp
) 1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
973 ((mlist simp
) 56 7 7 2 0 0) ((mlist simp
) 8 7 7 1 1 0)
974 ((mlist simp
) -
168 7 6 3 0 0) ((mlist simp
) -
224 7 6 2 1 0)
975 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) 280 7 5 4 0 0)
976 ((mlist simp
) 728 7 5 3 1 0) ((mlist simp
) 336 7 5 2 2 0)
977 ((mlist simp
) -
168 7 5 2 1 1) ((mlist simp
) -
1120 7 4 4 1 0)
978 ((mlist simp
) -
1400 7 4 3 2 0) ((mlist simp
) 1400 7 4 3 1 1)
979 ((mlist simp
) 1680 7 3 3 3 0) ((mlist simp
) -
2800 7 3 3 2 1)
980 ((mlist simp
) -
1680 7 3 2 2 2) ((mlist simp
) 420 6 6 4 0 0)
981 ((mlist simp
) 336 6 6 3 1 0) ((mlist simp
) -
812 6 6 2 2 0)
982 ((mlist simp
) 1400 6 6 2 1 1) ((mlist simp
) -
560 6 5 5 0 0)
983 ((mlist simp
) -
1400 6 5 4 1 0) ((mlist simp
) 112 6 5 3 2 0)
984 ((mlist simp
) -
1736 6 5 3 1 1) ((mlist simp
) -
3192 6 5 2 2 1)
985 ((mlist simp
) 2240 6 4 4 2 0) ((mlist simp
) 560 6 4 4 1 1)
986 ((mlist simp
) -
840 6 4 3 3 0) ((mlist simp
) 2800 6 4 3 2 1)
987 ((mlist simp
) -
2940 6 4 2 2 2) ((mlist simp
) -
1680 6 3 3 3 1)
988 ((mlist simp
) 4480 6 3 3 2 2) ((mlist simp
) 1680 5 5 5 1 0)
989 ((mlist simp
) -
840 5 5 4 2 0) ((mlist simp
) 3360 5 5 4 1 1)
990 ((mlist simp
) -
3304 5 5 3 3 0) ((mlist simp
) 1848 5 5 3 2 1)
991 ((mlist simp
) 5544 5 5 2 2 2) ((mlist simp
) 2240 5 4 4 3 0)
992 ((mlist simp
) -
3360 5 4 4 2 1) ((mlist simp
) -
3080 5 4 3 3 1)
993 ((mlist simp
) -
1680 5 4 3 2 2) ((mlist simp
) -
1120 5 3 3 3 2)
994 ((mlist simp
) -
4550 4 4 4 4 0) ((mlist simp
) -
1400 4 4 4 3 1)
995 ((mlist simp
) 2100 4 4 4 2 2) ((mlist simp
) 1400 4 4 3 3 2))
996 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
997 ((mlist simp
) -
8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
998 ((mlist simp
) -
56 8 6 1 1 0) ((mlist simp
) -
56 8 5 3 0 0)
999 ((mlist simp
) 168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
1000 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) -
280 8 4 3 1 0)
1001 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) -
840 8 4 2 1 1)
1002 ((mlist simp
) -
560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
1003 ((mlist simp
) -
1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
1004 ((mlist simp
) -
56 7 7 2 0 0) ((mlist simp
) 104 7 7 1 1 0)
1005 ((mlist simp
) 168 7 6 3 0 0) ((mlist simp
) -
448 7 6 2 1 0)
1006 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) -
280 7 5 4 0 0)
1007 ((mlist simp
) 952 7 5 3 1 0) ((mlist simp
) -
1344 7 5 2 2 0)
1008 ((mlist simp
) 1176 7 5 2 1 1) ((mlist simp
) -
1120 7 4 4 1 0)
1009 ((mlist simp
) 1960 7 4 3 2 0) ((mlist simp
) -
1960 7 4 3 1 1)
1010 ((mlist simp
) 3360 7 4 2 2 1) ((mlist simp
) 1680 7 3 3 3 0)
1011 ((mlist simp
) -
2800 7 3 3 2 1) ((mlist simp
) -
1680 7 3 2 2 2)
1012 ((mlist simp
) 420 6 6 4 0 0) ((mlist simp
) -
1344 6 6 3 1 0)
1013 ((mlist simp
) 1876 6 6 2 2 0) ((mlist simp
) 280 6 6 2 1 1)
1014 ((mlist simp
) -
560 6 5 5 0 0) ((mlist simp
) 1960 6 5 4 1 0)
1015 ((mlist simp
) -
3248 6 5 3 2 0) ((mlist simp
) 56 6 5 3 1 1)
1016 ((mlist simp
) -
1848 6 5 2 2 1) ((mlist simp
) 2240 6 4 4 2 0)
1017 ((mlist simp
) 560 6 4 4 1 1) ((mlist simp
) -
2520 6 4 3 3 0)
1018 ((mlist simp
) 1120 6 4 3 2 1) ((mlist simp
) -
2940 6 4 2 2 2)
1019 ((mlist simp
) -
1680 6 3 3 3 1) ((mlist simp
) 4480 6 3 3 2 2)
1020 ((mlist simp
) 1680 5 5 5 1 0) ((mlist simp
) -
2520 5 5 4 2 0)
1021 ((mlist simp
) -
3360 5 5 4 1 1) ((mlist simp
) 2744 5 5 3 3 0)
1022 ((mlist simp
) 1848 5 5 3 2 1) ((mlist simp
) 5544 5 5 2 2 2)
1023 ((mlist simp
) 2240 5 4 4 3 0) ((mlist simp
) -
3360 5 4 4 2 1)
1024 ((mlist simp
) 1400 5 4 3 3 1) ((mlist simp
) -
3360 5 4 3 2 2)
1025 ((mlist simp
) -
1120 5 3 3 3 2) ((mlist simp
) -
4550 4 4 4 4 0)
1026 ((mlist simp
) -
1400 4 4 4 3 1) ((mlist simp
) 2100 4 4 4 2 2)
1027 ((mlist simp
) -
1400 4 4 3 3 2))
1028 ((mlist simp
) ((mlist simp
) 1 8 8 0 0 0)
1029 ((mlist simp
) 8 8 7 1 0 0) ((mlist simp
) 28 8 6 2 0 0)
1030 ((mlist simp
) -
56 8 6 1 1 0) ((mlist simp
) 56 8 5 3 0 0)
1031 ((mlist simp
) -
168 8 5 2 1 0) ((mlist simp
) 336 8 5 1 1 1)
1032 ((mlist simp
) 70 8 4 4 0 0) ((mlist simp
) -
280 8 4 3 1 0)
1033 ((mlist simp
) 420 8 4 2 2 0) ((mlist simp
) 840 8 4 2 1 1)
1034 ((mlist simp
) 560 8 3 3 2 0) ((mlist simp
) 1120 8 3 3 1 1)
1035 ((mlist simp
) -
1680 8 3 2 2 1) ((mlist simp
) 2520 8 2 2 2 2)
1036 ((mlist simp
) -
56 7 7 2 0 0) ((mlist simp
) 104 7 7 1 1 0)
1037 ((mlist simp
) -
168 7 6 3 0 0) ((mlist simp
) 448 7 6 2 1 0)
1038 ((mlist simp
) -
280 7 6 1 1 1) ((mlist simp
) -
280 7 5 4 0 0)
1039 ((mlist simp
) 952 7 5 3 1 0) ((mlist simp
) -
1344 7 5 2 2 0)
1040 ((mlist simp
) -
1512 7 5 2 1 1) ((mlist simp
) 1120 7 4 4 1 0)
1041 ((mlist simp
) -
1960 7 4 3 2 0) ((mlist simp
) -
3080 7 4 3 1 1)
1042 ((mlist simp
) 3360 7 4 2 2 1) ((mlist simp
) 1680 7 3 3 3 0)
1043 ((mlist simp
) 3920 7 3 3 2 1) ((mlist simp
) -
1680 7 3 2 2 2)
1044 ((mlist simp
) 420 6 6 4 0 0) ((mlist simp
) -
1344 6 6 3 1 0)
1045 ((mlist simp
) 1876 6 6 2 2 0) ((mlist simp
) 280 6 6 2 1 1)
1046 ((mlist simp
) 560 6 5 5 0 0) ((mlist simp
) -
1960 6 5 4 1 0)
1047 ((mlist simp
) 3248 6 5 3 2 0) ((mlist simp
) 2744 6 5 3 1 1)
1048 ((mlist simp
) -
1848 6 5 2 2 1) ((mlist simp
) 2240 6 4 4 2 0)
1049 ((mlist simp
) 4480 6 4 4 1 1) ((mlist simp
) -
2520 6 4 3 3 0)
1050 ((mlist simp
) -
3920 6 4 3 2 1) ((mlist simp
) -
2940 6 4 2 2 2)
1051 ((mlist simp
) -
1680 6 3 3 3 1) ((mlist simp
) -
1120 6 3 3 2 2)
1052 ((mlist simp
) 1680 5 5 5 1 0) ((mlist simp
) -
2520 5 5 4 2 0)
1053 ((mlist simp
) -
3360 5 5 4 1 1) ((mlist simp
) 2744 5 5 3 3 0)
1054 ((mlist simp
) 1848 5 5 3 2 1) ((mlist simp
) 5544 5 5 2 2 2)
1055 ((mlist simp
) -
2240 5 4 4 3 0) ((mlist simp
) 1680 5 4 4 2 1)
1056 ((mlist simp
) 1400 5 4 3 3 1) ((mlist simp
) 1680 5 4 3 2 2)
1057 ((mlist simp
) -
1120 5 3 3 3 2) ((mlist simp
) -
4550 4 4 4 4 0)
1058 ((mlist simp
) -
1400 4 4 4 3 1) ((mlist simp
) 2100 4 4 4 2 2)
1059 ((mlist simp
) -
1400 4 4 3 3 2))))
1061 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1062 ((mlist simp
) -
10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1063 ((mlist simp
) 90 10 8 1 1 0) ((mlist simp
) -
120 10 7 3 0 0)
1064 ((mlist simp
) -
360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1065 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) 840 10 6 3 1 0)
1066 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) -
2520 10 6 2 1 1)
1067 ((mlist simp
) -
252 10 5 5 0 0) ((mlist simp
) -
1260 10 5 4 1 0)
1068 ((mlist simp
) -
2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1069 ((mlist simp
) 7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1070 ((mlist simp
) -
6300 10 4 4 1 1) ((mlist simp
) 4200 10 4 3 3 0)
1071 ((mlist simp
) -
12600 10 4 3 2 1)
1072 ((mlist simp
) 18900 10 4 2 2 2)
1073 ((mlist simp
) 16800 10 3 3 3 1)
1074 ((mlist simp
) -
25200 10 3 3 2 2) ((mlist simp
) -
90 9 9 2 0 0)
1075 ((mlist simp
) 10 9 9 1 1 0) ((mlist simp
) 360 9 8 3 0 0)
1076 ((mlist simp
) 270 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1077 ((mlist simp
) -
840 9 7 4 0 0) ((mlist simp
) -
1320 9 7 3 1 0)
1078 ((mlist simp
) 720 9 7 2 2 0) ((mlist simp
) 3960 9 7 2 1 1)
1079 ((mlist simp
) 1260 9 6 5 0 0) ((mlist simp
) 2940 9 6 4 1 0)
1080 ((mlist simp
) -
10920 9 6 3 1 1) ((mlist simp
) -
2520 9 6 2 2 1)
1081 ((mlist simp
) -
3780 9 5 5 1 0) ((mlist simp
) -
1260 9 5 4 2 0)
1082 ((mlist simp
) 16380 9 5 4 1 1) ((mlist simp
) 7560 9 5 3 3 0)
1083 ((mlist simp
) 7560 9 5 3 2 1) ((mlist simp
) -
22680 9 5 2 2 2)
1084 ((mlist simp
) -
8400 9 4 4 3 0) ((mlist simp
) -
6300 9 4 4 2 1)
1085 ((mlist simp
) 21000 9 4 3 3 1) ((mlist simp
) 25200 9 4 3 2 2)
1086 ((mlist simp
) 25200 9 3 3 3 2) ((mlist simp
) 1260 8 8 4 0 0)
1087 ((mlist simp
) -
720 8 8 3 1 0) ((mlist simp
) -
2475 8 8 2 2 0)
1088 ((mlist simp
) 630 8 8 2 1 1) ((mlist simp
) -
2520 8 7 5 0 0)
1089 ((mlist simp
) 7200 8 7 3 2 0) ((mlist simp
) 3240 8 7 3 1 1)
1090 ((mlist simp
) -
14760 8 7 2 2 1) ((mlist simp
) 3150 8 6 6 0 0)
1091 ((mlist simp
) 1260 8 6 5 1 0) ((mlist simp
) -
11970 8 6 4 2 0)
1092 ((mlist simp
) -
8820 8 6 4 1 1) ((mlist simp
) -
10080 8 6 3 3 0)
1093 ((mlist simp
) 27720 8 6 3 2 1) ((mlist simp
) -
20160 8 6 2 2 2)
1094 ((mlist simp
) 13860 8 5 5 2 0) ((mlist simp
) 6300 8 5 5 1 1)
1095 ((mlist simp
) 17640 8 5 4 3 0) ((mlist simp
) -
39060 8 5 4 2 1)
1096 ((mlist simp
) -
47880 8 5 3 3 1) ((mlist simp
) 32760 8 5 3 2 2)
1097 ((mlist simp
) 6300 8 4 4 4 0) ((mlist simp
) 50400 8 4 4 3 1)
1098 ((mlist simp
) -
59850 8 4 4 2 2)
1099 ((mlist simp
) -
75600 8 4 3 3 2)
1100 ((mlist simp
) -
75600 8 3 3 3 3) ((mlist simp
) -
4200 7 7 6 0 0)
1101 ((mlist simp
) 7560 7 7 5 1 0) ((mlist simp
) 10080 7 7 4 2 0)
1102 ((mlist simp
) -
17640 7 7 4 1 1)
1103 ((mlist simp
) -
15000 7 7 3 3 0)
1104 ((mlist simp
) -
35640 7 7 3 2 1) ((mlist simp
) 52200 7 7 2 2 2)
1105 ((mlist simp
) -
8400 7 6 6 1 0) ((mlist simp
) -
17640 7 6 5 2 0)
1106 ((mlist simp
) 22680 7 6 5 1 1) ((mlist simp
) 19320 7 6 4 3 0)
1107 ((mlist simp
) 55440 7 6 4 2 1) ((mlist simp
) -
9240 7 6 3 3 1)
1108 ((mlist simp
) -
83160 7 6 3 2 2)
1109 ((mlist simp
) -
20160 7 5 5 3 0)
1110 ((mlist simp
) -
50400 7 5 5 2 1)
1111 ((mlist simp
) -
45360 7 5 4 4 0) ((mlist simp
) 25200 7 5 4 3 1)
1112 ((mlist simp
) 78120 7 5 4 2 2) ((mlist simp
) 37800 7 5 3 3 2)
1113 ((mlist simp
) -
75600 7 4 4 4 1) ((mlist simp
) 25200 7 4 4 3 2)
1114 ((mlist simp
) 37800 7 4 3 3 3) ((mlist simp
) 6300 6 6 6 2 0)
1115 ((mlist simp
) 46200 6 6 6 1 1) ((mlist simp
) 45360 6 6 5 3 0)
1116 ((mlist simp
) 2520 6 6 5 2 1) ((mlist simp
) -
18690 6 6 4 4 0)
1117 ((mlist simp
) -
81480 6 6 4 3 1)
1118 ((mlist simp
) -
42840 6 6 4 2 2) ((mlist simp
) 47880 6 6 3 3 2)
1119 ((mlist simp
) 16380 6 5 5 4 0) ((mlist simp
) 75600 6 5 5 3 1)
1120 ((mlist simp
) -
27720 6 5 5 2 2) ((mlist simp
) 13860 6 5 4 4 1)
1121 ((mlist simp
) -
60480 6 5 4 3 2) ((mlist simp
) -
2520 6 5 3 3 3)
1122 ((mlist simp
) 22050 6 4 4 4 2) ((mlist simp
) -
37800 6 4 4 3 3)
1123 ((mlist simp
) -
12348 5 5 5 5 0)
1124 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1125 ((mlist simp
) 1260 5 5 4 4 2) ((mlist simp
) -
17640 5 5 4 3 3)
1126 ((mlist simp
) 12600 5 4 4 4 3)
1127 ((mlist simp
) -
63000 4 4 4 4 4))
1128 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1129 ((mlist simp
) 10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1130 ((mlist simp
) -
90 10 8 1 1 0) ((mlist simp
) 120 10 7 3 0 0)
1131 ((mlist simp
) -
360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1132 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) -
840 10 6 3 1 0)
1133 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) 2520 10 6 2 1 1)
1134 ((mlist simp
) 252 10 5 5 0 0) ((mlist simp
) -
1260 10 5 4 1 0)
1135 ((mlist simp
) 2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1136 ((mlist simp
) -
7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1137 ((mlist simp
) 6300 10 4 4 1 1) ((mlist simp
) -
4200 10 4 3 3 0)
1138 ((mlist simp
) -
12600 10 4 3 2 1)
1139 ((mlist simp
) 18900 10 4 2 2 2)
1140 ((mlist simp
) 16800 10 3 3 3 1)
1141 ((mlist simp
) 25200 10 3 3 2 2) ((mlist simp
) -
90 9 9 2 0 0)
1142 ((mlist simp
) 10 9 9 1 1 0) ((mlist simp
) -
360 9 8 3 0 0)
1143 ((mlist simp
) 450 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1144 ((mlist simp
) -
840 9 7 4 0 0) ((mlist simp
) 2040 9 7 3 1 0)
1145 ((mlist simp
) -
720 9 7 2 2 0) ((mlist simp
) -
4680 9 7 2 1 1)
1146 ((mlist simp
) -
1260 9 6 5 0 0) ((mlist simp
) 4620 9 6 4 1 0)
1147 ((mlist simp
) -
5040 9 6 3 2 0) ((mlist simp
) -
14280 9 6 3 1 1)
1148 ((mlist simp
) 7560 9 6 2 2 1) ((mlist simp
) 6300 9 5 5 1 0)
1149 ((mlist simp
) -
11340 9 5 4 2 0)
1150 ((mlist simp
) -
23940 9 5 4 1 1) ((mlist simp
) 7560 9 5 3 3 0)
1151 ((mlist simp
) 27720 9 5 3 2 1) ((mlist simp
) -
22680 9 5 2 2 2)
1152 ((mlist simp
) 16800 9 4 4 3 0) ((mlist simp
) 44100 9 4 4 2 1)
1153 ((mlist simp
) -
29400 9 4 3 3 1)
1154 ((mlist simp
) -
50400 9 4 3 2 2) ((mlist simp
) 25200 9 3 3 3 2)
1155 ((mlist simp
) 1260 8 8 4 0 0) ((mlist simp
) -
720 8 8 3 1 0)
1156 ((mlist simp
) -
2475 8 8 2 2 0) ((mlist simp
) 630 8 8 2 1 1)
1157 ((mlist simp
) 2520 8 7 5 0 0) ((mlist simp
) -
5040 8 7 4 1 0)
1158 ((mlist simp
) -
2160 8 7 3 2 0) ((mlist simp
) 11880 8 7 3 1 1)
1159 ((mlist simp
) 11160 8 7 2 2 1) ((mlist simp
) 3150 8 6 6 0 0)
1160 ((mlist simp
) -
11340 8 6 5 1 0) ((mlist simp
) 8190 8 6 4 2 0)
1161 ((mlist simp
) 34020 8 6 4 1 1) ((mlist simp
) 10080 8 6 3 3 0)
1162 ((mlist simp
) -
2520 8 6 3 2 1) ((mlist simp
) -
20160 8 6 2 2 2)
1163 ((mlist simp
) 23940 8 5 5 2 0) ((mlist simp
) 46620 8 5 5 1 1)
1164 ((mlist simp
) -
7560 8 5 4 3 0) ((mlist simp
) -
44100 8 5 4 2 1)
1165 ((mlist simp
) -
27720 8 5 3 3 1) ((mlist simp
) 12600 8 5 3 2 2)
1166 ((mlist simp
) 6300 8 4 4 4 0) ((mlist simp
) 25200 8 4 4 3 1)
1167 ((mlist simp
) 40950 8 4 4 2 2) ((mlist simp
) 50400 8 4 3 3 2)
1168 ((mlist simp
) -
75600 8 3 3 3 3) ((mlist simp
) -
4200 7 7 6 0 0)
1169 ((mlist simp
) 7560 7 7 5 1 0) ((mlist simp
) 10080 7 7 4 2 0)
1170 ((mlist simp
) -
17640 7 7 4 1 1)
1171 ((mlist simp
) -
15000 7 7 3 3 0)
1172 ((mlist simp
) -
35640 7 7 3 2 1) ((mlist simp
) 52200 7 7 2 2 2)
1173 ((mlist simp
) 16800 7 6 6 1 0) ((mlist simp
) -
7560 7 6 5 2 0)
1174 ((mlist simp
) -
47880 7 6 5 1 1)
1175 ((mlist simp
) -
29400 7 6 4 3 0)
1176 ((mlist simp
) -
10080 7 6 4 2 1) ((mlist simp
) 64680 7 6 3 3 1)
1177 ((mlist simp
) 57960 7 6 3 2 2) ((mlist simp
) 50400 7 5 5 2 1)
1178 ((mlist simp
) 45360 7 5 4 4 0) ((mlist simp
) 55440 7 5 4 3 1)
1179 ((mlist simp
) -
2520 7 5 4 2 2) ((mlist simp
) -
83160 7 5 3 3 2)
1180 ((mlist simp
) -
75600 7 4 4 4 1)
1181 ((mlist simp
) -
50400 7 4 4 3 2) ((mlist simp
) 37800 7 4 3 3 3)
1182 ((mlist simp
) 6300 6 6 6 2 0) ((mlist simp
) 46200 6 6 6 1 1)
1183 ((mlist simp
) 45360 6 6 5 3 0) ((mlist simp
) 2520 6 6 5 2 1)
1184 ((mlist simp
) -
18690 6 6 4 4 0)
1185 ((mlist simp
) -
81480 6 6 4 3 1)
1186 ((mlist simp
) -
42840 6 6 4 2 2) ((mlist simp
) 47880 6 6 3 3 2)
1187 ((mlist simp
) -
66780 6 5 5 4 0)
1188 ((mlist simp
) -
35280 6 5 5 3 1) ((mlist simp
) 27720 6 5 5 2 2)
1189 ((mlist simp
) 46620 6 5 4 4 1) ((mlist simp
) 45360 6 5 4 3 2)
1190 ((mlist simp
) -
2520 6 5 3 3 3) ((mlist simp
) 22050 6 4 4 4 2)
1191 ((mlist simp
) 12600 6 4 4 3 3) ((mlist simp
) -
12348 5 5 5 5 0)
1192 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1193 ((mlist simp
) 1260 5 5 4 4 2) ((mlist simp
) -
17640 5 5 4 3 3)
1194 ((mlist simp
) 12600 5 4 4 4 3)
1195 ((mlist simp
) -
63000 4 4 4 4 4))
1196 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1197 ((mlist simp
) -
10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1198 ((mlist simp
) -
90 10 8 1 1 0) ((mlist simp
) -
120 10 7 3 0 0)
1199 ((mlist simp
) 360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1200 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) -
840 10 6 3 1 0)
1201 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) -
2520 10 6 2 1 1)
1202 ((mlist simp
) -
252 10 5 5 0 0) ((mlist simp
) 1260 10 5 4 1 0)
1203 ((mlist simp
) -
2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1204 ((mlist simp
) -
7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1205 ((mlist simp
) -
6300 10 4 4 1 1)
1206 ((mlist simp
) -
4200 10 4 3 3 0)
1207 ((mlist simp
) 12600 10 4 3 2 1)
1208 ((mlist simp
) 18900 10 4 2 2 2)
1209 ((mlist simp
) 16800 10 3 3 3 1)
1210 ((mlist simp
) -
25200 10 3 3 2 2) ((mlist simp
) 90 9 9 2 0 0)
1211 ((mlist simp
) 10 9 9 1 1 0) ((mlist simp
) -
360 9 8 3 0 0)
1212 ((mlist simp
) 270 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1213 ((mlist simp
) 840 9 7 4 0 0) ((mlist simp
) -
1320 9 7 3 1 0)
1214 ((mlist simp
) -
720 9 7 2 2 0) ((mlist simp
) -
360 9 7 2 1 1)
1215 ((mlist simp
) -
1260 9 6 5 0 0) ((mlist simp
) 2940 9 6 4 1 0)
1216 ((mlist simp
) 5880 9 6 3 1 1) ((mlist simp
) 7560 9 6 2 2 1)
1217 ((mlist simp
) -
3780 9 5 5 1 0) ((mlist simp
) 1260 9 5 4 2 0)
1218 ((mlist simp
) -
13860 9 5 4 1 1) ((mlist simp
) 7560 9 5 3 3 0)
1219 ((mlist simp
) -
2520 9 5 3 2 1) ((mlist simp
) -
22680 9 5 2 2 2)
1220 ((mlist simp
) -
8400 9 4 4 3 0) ((mlist simp
) -
6300 9 4 4 2 1)
1221 ((mlist simp
) -
29400 9 4 3 3 1) ((mlist simp
) 25200 9 3 3 3 2)
1222 ((mlist simp
) 1260 8 8 4 0 0) ((mlist simp
) 720 8 8 3 1 0)
1223 ((mlist simp
) -
2475 8 8 2 2 0) ((mlist simp
) 4410 8 8 2 1 1)
1224 ((mlist simp
) -
2520 8 7 5 0 0) ((mlist simp
) 7200 8 7 3 2 0)
1225 ((mlist simp
) -
8280 8 7 3 1 1) ((mlist simp
) 11160 8 7 2 2 1)
1226 ((mlist simp
) 3150 8 6 6 0 0) ((mlist simp
) -
1260 8 6 5 1 0)
1227 ((mlist simp
) -
11970 8 6 4 2 0) ((mlist simp
) 3780 8 6 4 1 1)
1228 ((mlist simp
) 10080 8 6 3 3 0) ((mlist simp
) -
32760 8 6 3 2 1)
1229 ((mlist simp
) -
20160 8 6 2 2 2) ((mlist simp
) 13860 8 5 5 2 0)
1230 ((mlist simp
) 6300 8 5 5 1 1) ((mlist simp
) -
17640 8 5 4 3 0)
1231 ((mlist simp
) 44100 8 5 4 2 1) ((mlist simp
) -
27720 8 5 3 3 1)
1232 ((mlist simp
) 63000 8 5 3 2 2) ((mlist simp
) 6300 8 4 4 4 0)
1233 ((mlist simp
) 50400 8 4 4 3 1) ((mlist simp
) -
59850 8 4 4 2 2)
1234 ((mlist simp
) 50400 8 4 3 3 2) ((mlist simp
) -
75600 8 3 3 3 3)
1235 ((mlist simp
) 4200 7 7 6 0 0) ((mlist simp
) 7560 7 7 5 1 0)
1236 ((mlist simp
) -
10080 7 7 4 2 0) ((mlist simp
) 22680 7 7 4 1 1)
1237 ((mlist simp
) -
15000 7 7 3 3 0) ((mlist simp
) 10440 7 7 3 2 1)
1238 ((mlist simp
) 52200 7 7 2 2 2) ((mlist simp
) -
8400 7 6 6 1 0)
1239 ((mlist simp
) 17640 7 6 5 2 0) ((mlist simp
) -
27720 7 6 5 1 1)
1240 ((mlist simp
) 19320 7 6 4 3 0) ((mlist simp
) 20160 7 6 4 2 1)
1241 ((mlist simp
) 64680 7 6 3 3 1) ((mlist simp
) -
42840 7 6 3 2 2)
1242 ((mlist simp
) -
20160 7 5 5 3 0)
1243 ((mlist simp
) -
50400 7 5 5 2 1) ((mlist simp
) 45360 7 5 4 4 0)
1244 ((mlist simp
) -
55440 7 5 4 3 1)
1245 ((mlist simp
) -
27720 7 5 4 2 2)
1246 ((mlist simp
) -
83160 7 5 3 3 2)
1247 ((mlist simp
) -
75600 7 4 4 4 1) ((mlist simp
) 25200 7 4 4 3 2)
1248 ((mlist simp
) 37800 7 4 3 3 3) ((mlist simp
) 6300 6 6 6 2 0)
1249 ((mlist simp
) 46200 6 6 6 1 1) ((mlist simp
) -
45360 6 6 5 3 0)
1250 ((mlist simp
) 27720 6 6 5 2 1) ((mlist simp
) -
18690 6 6 4 4 0)
1251 ((mlist simp
) -
39480 6 6 4 3 1) ((mlist simp
) 78120 6 6 4 2 2)
1252 ((mlist simp
) 47880 6 6 3 3 2) ((mlist simp
) 16380 6 5 5 4 0)
1253 ((mlist simp
) 75600 6 5 5 3 1) ((mlist simp
) -
27720 6 5 5 2 2)
1254 ((mlist simp
) 46620 6 5 4 4 1) ((mlist simp
) 30240 6 5 4 3 2)
1255 ((mlist simp
) -
2520 6 5 3 3 3) ((mlist simp
) 22050 6 4 4 4 2)
1256 ((mlist simp
) -
37800 6 4 4 3 3)
1257 ((mlist simp
) -
12348 5 5 5 5 0)
1258 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1259 ((mlist simp
) 1260 5 5 4 4 2) ((mlist simp
) 42840 5 5 4 3 3)
1260 ((mlist simp
) 12600 5 4 4 4 3)
1261 ((mlist simp
) -
63000 4 4 4 4 4))
1262 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1263 ((mlist simp
) -
10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1264 ((mlist simp
) 90 10 8 1 1 0) ((mlist simp
) -
120 10 7 3 0 0)
1265 ((mlist simp
) -
360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1266 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) 840 10 6 3 1 0)
1267 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) -
2520 10 6 2 1 1)
1268 ((mlist simp
) -
252 10 5 5 0 0) ((mlist simp
) -
1260 10 5 4 1 0)
1269 ((mlist simp
) -
2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1270 ((mlist simp
) 7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1271 ((mlist simp
) -
6300 10 4 4 1 1) ((mlist simp
) 4200 10 4 3 3 0)
1272 ((mlist simp
) -
12600 10 4 3 2 1)
1273 ((mlist simp
) 18900 10 4 2 2 2)
1274 ((mlist simp
) 16800 10 3 3 3 1)
1275 ((mlist simp
) -
25200 10 3 3 2 2) ((mlist simp
) 90 9 9 2 0 0)
1276 ((mlist simp
) 10 9 9 1 1 0) ((mlist simp
) -
360 9 8 3 0 0)
1277 ((mlist simp
) -
450 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1278 ((mlist simp
) 840 9 7 4 0 0) ((mlist simp
) 2040 9 7 3 1 0)
1279 ((mlist simp
) 720 9 7 2 2 0) ((mlist simp
) -
360 9 7 2 1 1)
1280 ((mlist simp
) -
1260 9 6 5 0 0) ((mlist simp
) -
4620 9 6 4 1 0)
1281 ((mlist simp
) -
5040 9 6 3 2 0) ((mlist simp
) 5880 9 6 3 1 1)
1282 ((mlist simp
) -
2520 9 6 2 2 1) ((mlist simp
) 6300 9 5 5 1 0)
1283 ((mlist simp
) 11340 9 5 4 2 0) ((mlist simp
) -
13860 9 5 4 1 1)
1284 ((mlist simp
) 7560 9 5 3 3 0) ((mlist simp
) -
12600 9 5 3 2 1)
1285 ((mlist simp
) -
22680 9 5 2 2 2)
1286 ((mlist simp
) -
16800 9 4 4 3 0) ((mlist simp
) 31500 9 4 4 2 1)
1287 ((mlist simp
) 21000 9 4 3 3 1) ((mlist simp
) 25200 9 3 3 3 2)
1288 ((mlist simp
) 1260 8 8 4 0 0) ((mlist simp
) 720 8 8 3 1 0)
1289 ((mlist simp
) -
2475 8 8 2 2 0) ((mlist simp
) 4410 8 8 2 1 1)
1290 ((mlist simp
) -
2520 8 7 5 0 0) ((mlist simp
) -
5040 8 7 4 1 0)
1291 ((mlist simp
) 2160 8 7 3 2 0) ((mlist simp
) -
8280 8 7 3 1 1)
1292 ((mlist simp
) -
14760 8 7 2 2 1) ((mlist simp
) 3150 8 6 6 0 0)
1293 ((mlist simp
) 11340 8 6 5 1 0) ((mlist simp
) 8190 8 6 4 2 0)
1294 ((mlist simp
) 3780 8 6 4 1 1) ((mlist simp
) -
10080 8 6 3 3 0)
1295 ((mlist simp
) 27720 8 6 3 2 1) ((mlist simp
) -
20160 8 6 2 2 2)
1296 ((mlist simp
) -
23940 8 5 5 2 0) ((mlist simp
) 6300 8 5 5 1 1)
1297 ((mlist simp
) -
7560 8 5 4 3 0) ((mlist simp
) -
8820 8 5 4 2 1)
1298 ((mlist simp
) -
47880 8 5 3 3 1) ((mlist simp
) 63000 8 5 3 2 2)
1299 ((mlist simp
) 6300 8 4 4 4 0) ((mlist simp
) -
59850 8 4 4 2 2)
1300 ((mlist simp
) -
75600 8 4 3 3 2)
1301 ((mlist simp
) -
75600 8 3 3 3 3) ((mlist simp
) 4200 7 7 6 0 0)
1302 ((mlist simp
) 7560 7 7 5 1 0) ((mlist simp
) -
10080 7 7 4 2 0)
1303 ((mlist simp
) 22680 7 7 4 1 1) ((mlist simp
) -
15000 7 7 3 3 0)
1304 ((mlist simp
) 10440 7 7 3 2 1) ((mlist simp
) 52200 7 7 2 2 2)
1305 ((mlist simp
) -
16800 7 6 6 1 0) ((mlist simp
) -
7560 7 6 5 2 0)
1306 ((mlist simp
) -
27720 7 6 5 1 1) ((mlist simp
) 29400 7 6 4 3 0)
1307 ((mlist simp
) -
45360 7 6 4 2 1) ((mlist simp
) -
9240 7 6 3 3 1)
1308 ((mlist simp
) -
42840 7 6 3 2 2) ((mlist simp
) 40320 7 5 5 2 1)
1309 ((mlist simp
) -
45360 7 5 4 4 0) ((mlist simp
) 65520 7 5 4 3 1)
1310 ((mlist simp
) -
27720 7 5 4 2 2) ((mlist simp
) 37800 7 5 3 3 2)
1311 ((mlist simp
) -
75600 7 4 4 4 1) ((mlist simp
) 50400 7 4 4 3 2)
1312 ((mlist simp
) 37800 7 4 3 3 3) ((mlist simp
) 6300 6 6 6 2 0)
1313 ((mlist simp
) 46200 6 6 6 1 1) ((mlist simp
) -
45360 6 6 5 3 0)
1314 ((mlist simp
) 27720 6 6 5 2 1) ((mlist simp
) -
18690 6 6 4 4 0)
1315 ((mlist simp
) -
39480 6 6 4 3 1) ((mlist simp
) 78120 6 6 4 2 2)
1316 ((mlist simp
) 47880 6 6 3 3 2) ((mlist simp
) 66780 6 5 5 4 0)
1317 ((mlist simp
) -
25200 6 5 5 3 1)
1318 ((mlist simp
) -
27720 6 5 5 2 2) ((mlist simp
) 13860 6 5 4 4 1)
1319 ((mlist simp
) -
75600 6 5 4 3 2) ((mlist simp
) -
2520 6 5 3 3 3)
1320 ((mlist simp
) 22050 6 4 4 4 2) ((mlist simp
) -
37800 6 4 4 3 3)
1321 ((mlist simp
) -
12348 5 5 5 5 0)
1322 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1323 ((mlist simp
) 1260 5 5 4 4 2) ((mlist simp
) 42840 5 5 4 3 3)
1324 ((mlist simp
) 12600 5 4 4 4 3)
1325 ((mlist simp
) -
63000 4 4 4 4 4))
1326 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1327 ((mlist simp
) -
10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1328 ((mlist simp
) -
90 10 8 1 1 0) ((mlist simp
) -
120 10 7 3 0 0)
1329 ((mlist simp
) 360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1330 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) -
840 10 6 3 1 0)
1331 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) -
2520 10 6 2 1 1)
1332 ((mlist simp
) -
252 10 5 5 0 0) ((mlist simp
) 1260 10 5 4 1 0)
1333 ((mlist simp
) -
2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1334 ((mlist simp
) -
7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1335 ((mlist simp
) -
6300 10 4 4 1 1)
1336 ((mlist simp
) -
4200 10 4 3 3 0)
1337 ((mlist simp
) 12600 10 4 3 2 1)
1338 ((mlist simp
) 18900 10 4 2 2 2)
1339 ((mlist simp
) 16800 10 3 3 3 1)
1340 ((mlist simp
) -
25200 10 3 3 2 2) ((mlist simp
) -
90 9 9 2 0 0)
1341 ((mlist simp
) 170 9 9 1 1 0) ((mlist simp
) 360 9 8 3 0 0)
1342 ((mlist simp
) -
990 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1343 ((mlist simp
) -
840 9 7 4 0 0) ((mlist simp
) 3000 9 7 3 1 0)
1344 ((mlist simp
) -
4320 9 7 2 2 0) ((mlist simp
) 3960 9 7 2 1 1)
1345 ((mlist simp
) 1260 9 6 5 0 0) ((mlist simp
) -
5460 9 6 4 1 0)
1346 ((mlist simp
) 10080 9 6 3 2 0) ((mlist simp
) -
10920 9 6 3 1 1)
1347 ((mlist simp
) 17640 9 6 2 2 1) ((mlist simp
) 6300 9 5 5 1 0)
1348 ((mlist simp
) -
13860 9 5 4 2 0) ((mlist simp
) 16380 9 5 4 1 1)
1349 ((mlist simp
) 17640 9 5 3 3 0) ((mlist simp
) -
32760 9 5 3 2 1)
1350 ((mlist simp
) -
22680 9 5 2 2 2)
1351 ((mlist simp
) -
16800 9 4 4 3 0) ((mlist simp
) 31500 9 4 4 2 1)
1352 ((mlist simp
) -
46200 9 4 3 3 1) ((mlist simp
) 25200 9 4 3 2 2)
1353 ((mlist simp
) 25200 9 3 3 3 2) ((mlist simp
) 1260 8 8 4 0 0)
1354 ((mlist simp
) -
4320 8 8 3 1 0) ((mlist simp
) 6165 8 8 2 2 0)
1355 ((mlist simp
) 630 8 8 2 1 1) ((mlist simp
) -
2520 8 7 5 0 0)
1356 ((mlist simp
) 10080 8 7 4 1 0) ((mlist simp
) -
18000 8 7 3 2 0)
1357 ((mlist simp
) 3240 8 7 3 1 1) ((mlist simp
) -
10440 8 7 2 2 1)
1358 ((mlist simp
) 3150 8 6 6 0 0) ((mlist simp
) -
13860 8 6 5 1 0)
1359 ((mlist simp
) 28350 8 6 4 2 0) ((mlist simp
) -
8820 8 6 4 1 1)
1360 ((mlist simp
) -
35280 8 6 3 3 0) ((mlist simp
) 27720 8 6 3 2 1)
1361 ((mlist simp
) -
20160 8 6 2 2 2)
1362 ((mlist simp
) -
23940 8 5 5 2 0) ((mlist simp
) 6300 8 5 5 1 1)
1363 ((mlist simp
) 32760 8 5 4 3 0) ((mlist simp
) -
23940 8 5 4 2 1)
1364 ((mlist simp
) 52920 8 5 3 3 1) ((mlist simp
) 32760 8 5 3 2 2)
1365 ((mlist simp
) 6300 8 4 4 4 0) ((mlist simp
) -
59850 8 4 4 2 2)
1366 ((mlist simp
) 25200 8 4 3 3 2) ((mlist simp
) -
75600 8 3 3 3 3)
1367 ((mlist simp
) -
4200 7 7 6 0 0) ((mlist simp
) 17640 7 7 5 1 0)
1368 ((mlist simp
) -
35280 7 7 4 2 0)
1369 ((mlist simp
) -
17640 7 7 4 1 1) ((mlist simp
) 43560 7 7 3 3 0)
1370 ((mlist simp
) 10440 7 7 3 2 1) ((mlist simp
) 52200 7 7 2 2 2)
1371 ((mlist simp
) -
16800 7 6 6 1 0) ((mlist simp
) 32760 7 6 5 2 0)
1372 ((mlist simp
) 22680 7 6 5 1 1) ((mlist simp
) -
42840 7 6 4 3 0)
1373 ((mlist simp
) -
15120 7 6 4 2 1)
1374 ((mlist simp
) -
22680 7 6 3 3 1)
1375 ((mlist simp
) -
83160 7 6 3 2 2) ((mlist simp
) 40320 7 5 5 2 1)
1376 ((mlist simp
) 5040 7 5 4 4 0) ((mlist simp
) -
25200 7 5 4 3 1)
1377 ((mlist simp
) 78120 7 5 4 2 2) ((mlist simp
) -
63000 7 5 3 3 2)
1378 ((mlist simp
) -
75600 7 4 4 4 1) ((mlist simp
) 50400 7 4 4 3 2)
1379 ((mlist simp
) 37800 7 4 3 3 3) ((mlist simp
) 6300 6 6 6 2 0)
1380 ((mlist simp
) 46200 6 6 6 1 1) ((mlist simp
) 5040 6 6 5 3 0)
1381 ((mlist simp
) -
52920 6 6 5 2 1)
1382 ((mlist simp
) -
11970 6 6 4 4 0) ((mlist simp
) 22680 6 6 4 3 1)
1383 ((mlist simp
) -
42840 6 6 4 2 2) ((mlist simp
) 68040 6 6 3 3 2)
1384 ((mlist simp
) 66780 6 5 5 4 0) ((mlist simp
) -
25200 6 5 5 3 1)
1385 ((mlist simp
) -
27720 6 5 5 2 2) ((mlist simp
) 36540 6 5 4 4 1)
1386 ((mlist simp
) 10080 6 5 4 3 2) ((mlist simp
) -
2520 6 5 3 3 3)
1387 ((mlist simp
) 22050 6 4 4 4 2) ((mlist simp
) -
37800 6 4 4 3 3)
1388 ((mlist simp
) -
12348 5 5 5 5 0)
1389 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1390 ((mlist simp
) -
36540 5 5 4 4 2)
1391 ((mlist simp
) -
17640 5 5 4 3 3) ((mlist simp
) 12600 5 4 4 4 3)
1392 ((mlist simp
) -
63000 4 4 4 4 4))
1393 ((mlist simp
) ((mlist simp
) 1 10 10 0 0 0)
1394 ((mlist simp
) 10 10 9 1 0 0) ((mlist simp
) 45 10 8 2 0 0)
1395 ((mlist simp
) -
90 10 8 1 1 0) ((mlist simp
) 120 10 7 3 0 0)
1396 ((mlist simp
) -
360 10 7 2 1 0) ((mlist simp
) 720 10 7 1 1 1)
1397 ((mlist simp
) 210 10 6 4 0 0) ((mlist simp
) -
840 10 6 3 1 0)
1398 ((mlist simp
) 1260 10 6 2 2 0) ((mlist simp
) 2520 10 6 2 1 1)
1399 ((mlist simp
) 252 10 5 5 0 0) ((mlist simp
) -
1260 10 5 4 1 0)
1400 ((mlist simp
) 2520 10 5 3 2 0) ((mlist simp
) 5040 10 5 3 1 1)
1401 ((mlist simp
) -
7560 10 5 2 2 1) ((mlist simp
) 3150 10 4 4 2 0)
1402 ((mlist simp
) 6300 10 4 4 1 1) ((mlist simp
) -
4200 10 4 3 3 0)
1403 ((mlist simp
) -
12600 10 4 3 2 1)
1404 ((mlist simp
) 18900 10 4 2 2 2)
1405 ((mlist simp
) 16800 10 3 3 3 1)
1406 ((mlist simp
) 25200 10 3 3 2 2) ((mlist simp
) -
90 9 9 2 0 0)
1407 ((mlist simp
) 170 9 9 1 1 0) ((mlist simp
) -
360 9 8 3 0 0)
1408 ((mlist simp
) 990 9 8 2 1 0) ((mlist simp
) -
630 9 8 1 1 1)
1409 ((mlist simp
) -
840 9 7 4 0 0) ((mlist simp
) 3000 9 7 3 1 0)
1410 ((mlist simp
) -
4320 9 7 2 2 0) ((mlist simp
) -
4680 9 7 2 1 1)
1411 ((mlist simp
) -
1260 9 6 5 0 0) ((mlist simp
) 5460 9 6 4 1 0)
1412 ((mlist simp
) -
10080 9 6 3 2 0)
1413 ((mlist simp
) -
14280 9 6 3 1 1) ((mlist simp
) 17640 9 6 2 2 1)
1414 ((mlist simp
) 6300 9 5 5 1 0) ((mlist simp
) -
13860 9 5 4 2 0)
1415 ((mlist simp
) -
23940 9 5 4 1 1) ((mlist simp
) 17640 9 5 3 3 0)
1416 ((mlist simp
) 37800 9 5 3 2 1) ((mlist simp
) -
22680 9 5 2 2 2)
1417 ((mlist simp
) 16800 9 4 4 3 0) ((mlist simp
) 44100 9 4 4 2 1)
1418 ((mlist simp
) -
46200 9 4 3 3 1)
1419 ((mlist simp
) -
50400 9 4 3 2 2) ((mlist simp
) 25200 9 3 3 3 2)
1420 ((mlist simp
) 1260 8 8 4 0 0) ((mlist simp
) -
4320 8 8 3 1 0)
1421 ((mlist simp
) 6165 8 8 2 2 0) ((mlist simp
) 630 8 8 2 1 1)
1422 ((mlist simp
) 2520 8 7 5 0 0) ((mlist simp
) -
10080 8 7 4 1 0)
1423 ((mlist simp
) 18000 8 7 3 2 0) ((mlist simp
) 11880 8 7 3 1 1)
1424 ((mlist simp
) -
10440 8 7 2 2 1) ((mlist simp
) 3150 8 6 6 0 0)
1425 ((mlist simp
) -
13860 8 6 5 1 0) ((mlist simp
) 28350 8 6 4 2 0)
1426 ((mlist simp
) 34020 8 6 4 1 1) ((mlist simp
) -
35280 8 6 3 3 0)
1427 ((mlist simp
) -
42840 8 6 3 2 1)
1428 ((mlist simp
) -
20160 8 6 2 2 2) ((mlist simp
) 23940 8 5 5 2 0)
1429 ((mlist simp
) 46620 8 5 5 1 1) ((mlist simp
) -
32760 8 5 4 3 0)
1430 ((mlist simp
) -
66780 8 5 4 2 1) ((mlist simp
) 52920 8 5 3 3 1)
1431 ((mlist simp
) 12600 8 5 3 2 2) ((mlist simp
) 6300 8 4 4 4 0)
1432 ((mlist simp
) 25200 8 4 4 3 1) ((mlist simp
) 40950 8 4 4 2 2)
1433 ((mlist simp
) 25200 8 4 3 3 2) ((mlist simp
) -
75600 8 3 3 3 3)
1434 ((mlist simp
) -
4200 7 7 6 0 0) ((mlist simp
) 17640 7 7 5 1 0)
1435 ((mlist simp
) -
35280 7 7 4 2 0)
1436 ((mlist simp
) -
17640 7 7 4 1 1) ((mlist simp
) 43560 7 7 3 3 0)
1437 ((mlist simp
) 10440 7 7 3 2 1) ((mlist simp
) 52200 7 7 2 2 2)
1438 ((mlist simp
) 16800 7 6 6 1 0) ((mlist simp
) -
32760 7 6 5 2 0)
1439 ((mlist simp
) -
47880 7 6 5 1 1) ((mlist simp
) 42840 7 6 4 3 0)
1440 ((mlist simp
) 55440 7 6 4 2 1) ((mlist simp
) -
22680 7 6 3 3 1)
1441 ((mlist simp
) 57960 7 6 3 2 2) ((mlist simp
) 50400 7 5 5 2 1)
1442 ((mlist simp
) 5040 7 5 4 4 0) ((mlist simp
) -
15120 7 5 4 3 1)
1443 ((mlist simp
) -
2520 7 5 4 2 2) ((mlist simp
) -
63000 7 5 3 3 2)
1444 ((mlist simp
) -
75600 7 4 4 4 1)
1445 ((mlist simp
) -
50400 7 4 4 3 2) ((mlist simp
) 37800 7 4 3 3 3)
1446 ((mlist simp
) 6300 6 6 6 2 0) ((mlist simp
) 46200 6 6 6 1 1)
1447 ((mlist simp
) 5040 6 6 5 3 0) ((mlist simp
) -
52920 6 6 5 2 1)
1448 ((mlist simp
) -
11970 6 6 4 4 0) ((mlist simp
) 22680 6 6 4 3 1)
1449 ((mlist simp
) -
42840 6 6 4 2 2) ((mlist simp
) 68040 6 6 3 3 2)
1450 ((mlist simp
) -
66780 6 5 5 4 0)
1451 ((mlist simp
) -
35280 6 5 5 3 1) ((mlist simp
) 27720 6 5 5 2 2)
1452 ((mlist simp
) 36540 6 5 4 4 1) ((mlist simp
) -
2520 6 5 3 3 3)
1453 ((mlist simp
) 22050 6 4 4 4 2) ((mlist simp
) 12600 6 4 4 3 3)
1454 ((mlist simp
) -
12348 5 5 5 5 0)
1455 ((mlist simp
) -
36540 5 5 5 4 1) ((mlist simp
) 27720 5 5 5 3 2)
1456 ((mlist simp
) -
36540 5 5 4 4 2)
1457 ((mlist simp
) -
17640 5 5 4 3 3) ((mlist simp
) 12600 5 4 4 4 3)
1458 ((mlist simp
) -
63000 4 4 4 4 4))))
1461 (add2lnc '$q $arrays
)
