source: CGBLisp/examples/billiard32.lisp@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

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