Initial release of BGap
[BGap.git] / auxiliary / allNptJregs / all5ptJregs.h
blob4e34474877ed311d2e4b1df8b65b44fa66a9c709
1 * computed in all5ptJregs-sliced.frm
2 * 1.75 sec + 15.44 sec: 17.20 sec out of 6.69 sec
4 id Z(1,2)*Z(1,3) =
6 + zeta7 * (
7 - 5*s(1,2)^4*s(2,4)
8 + s(1,2)^4*s(3,4)
9 - 10*s(1,2)^3*s(1,3)*s(2,4)
10 + 5*s(1,2)^3*s(1,3)*s(3,4)
11 - 15*s(1,2)^3*s(2,3)*s(2,4)
12 + 5*s(1,2)^3*s(2,3)*s(3,4)
13 - 12*s(1,2)^3*s(2,4)^2
14 - 5*s(1,2)^3*s(2,4)*s(3,4)
15 + 3*s(1,2)^3*s(3,4)^2
16 - 10*s(1,2)^2*s(1,3)^2*s(2,4)
17 + 10*s(1,2)^2*s(1,3)^2*s(3,4)
18 - 32*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
19 + 20*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
20 - 18*s(1,2)^2*s(1,3)*s(2,4)^2
21 - 3*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
22 + 12*s(1,2)^2*s(1,3)*s(3,4)^2
23 - 333/16*s(1,2)^2*s(2,3)^2*s(2,4)
24 + 10*s(1,2)^2*s(2,3)^2*s(3,4)
25 - 30*s(1,2)^2*s(2,3)*s(2,4)^2
26 - 77/8*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
27 + 12*s(1,2)^2*s(2,3)*s(3,4)^2
28 - 15*s(1,2)^2*s(2,4)^3
29 - 12*s(1,2)^2*s(2,4)^2*s(3,4)
30 + 19/16*s(1,2)^2*s(2,4)*s(3,4)^2
31 + 5*s(1,2)^2*s(3,4)^3
32 - 5*s(1,2)*s(1,3)^3*s(2,4)
33 + 10*s(1,2)*s(1,3)^3*s(3,4)
34 - 21*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
35 + 30*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
36 - 12*s(1,2)*s(1,3)^2*s(2,4)^2
37 + 3*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
38 + 18*s(1,2)*s(1,3)^2*s(3,4)^2
39 - 573/16*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
40 + 30*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
41 - 589/16*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
42 - 5/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
43 + 36*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
44 - 15*s(1,2)*s(1,3)*s(2,4)^3
45 - 179/16*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
46 + 179/16*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
47 + 15*s(1,2)*s(1,3)*s(3,4)^3
48 - 109/8*s(1,2)*s(2,3)^3*s(2,4)
49 + 10*s(1,2)*s(2,3)^3*s(3,4)
50 - 229/8*s(1,2)*s(2,3)^2*s(2,4)^2
51 - 81/16*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
52 + 18*s(1,2)*s(2,3)^2*s(3,4)^2
53 - 28*s(1,2)*s(2,3)*s(2,4)^3
54 - 327/16*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
55 + 39/4*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
56 + 15*s(1,2)*s(2,3)*s(3,4)^3
57 - 10*s(1,2)*s(2,4)^4
58 - 13*s(1,2)*s(2,4)^3*s(3,4)
59 - 61/16*s(1,2)*s(2,4)^2*s(3,4)^2
60 + 99/16*s(1,2)*s(2,4)*s(3,4)^3
61 + 5*s(1,2)*s(3,4)^4
62 - s(1,3)^4*s(2,4)
63 + 5*s(1,3)^4*s(3,4)
64 - 8*s(1,3)^3*s(2,3)*s(2,4)
65 + 20*s(1,3)^3*s(2,3)*s(3,4)
66 - 3*s(1,3)^3*s(2,4)^2
67 + 5*s(1,3)^3*s(2,4)*s(3,4)
68 + 12*s(1,3)^3*s(3,4)^2
69 - 16*s(1,3)^2*s(2,3)^2*s(2,4)
70 + 30*s(1,3)^2*s(2,3)^2*s(3,4)
71 - 11*s(1,3)^2*s(2,3)*s(2,4)^2
72 + 29/16*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
73 + 36*s(1,3)^2*s(2,3)*s(3,4)^2
74 - 5*s(1,3)^2*s(2,4)^3
75 - 19/16*s(1,3)^2*s(2,4)^2*s(3,4)
76 + 12*s(1,3)^2*s(2,4)*s(3,4)^2
77 + 15*s(1,3)^2*s(3,4)^3
78 - 301/16*s(1,3)*s(2,3)^3*s(2,4)
79 + 20*s(1,3)*s(2,3)^3*s(3,4)
80 - 165/8*s(1,3)*s(2,3)^2*s(2,4)^2
81 - 61/16*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
82 + 36*s(1,3)*s(2,3)^2*s(3,4)^2
83 - 269/16*s(1,3)*s(2,3)*s(2,4)^3
84 - 7*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
85 + 15*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
86 + 30*s(1,3)*s(2,3)*s(3,4)^3
87 - 5*s(1,3)*s(2,4)^4
88 - 99/16*s(1,3)*s(2,4)^3*s(3,4)
89 + 61/16*s(1,3)*s(2,4)^2*s(3,4)^2
90 + 13*s(1,3)*s(2,4)*s(3,4)^3
91 + 10*s(1,3)*s(3,4)^4
92 - 93/16*s(2,3)^4*s(2,4)
93 + 5*s(2,3)^4*s(3,4)
94 - 77/8*s(2,3)^3*s(2,4)^2
95 - 71/16*s(2,3)^3*s(2,4)*s(3,4)
96 + 12*s(2,3)^3*s(3,4)^2
97 - 237/16*s(2,3)^2*s(2,4)^3
98 - 33/4*s(2,3)^2*s(2,4)^2*s(3,4)
99 + 89/16*s(2,3)^2*s(2,4)*s(3,4)^2
100 + 15*s(2,3)^2*s(3,4)^3
101 - 9*s(2,3)*s(2,4)^4
102 - 205/16*s(2,3)*s(2,4)^3*s(3,4)
103 + 11/8*s(2,3)*s(2,4)^2*s(3,4)^2
104 + 147/16*s(2,3)*s(2,4)*s(3,4)^3
105 + 10*s(2,3)*s(3,4)^4
106 - 3*s(2,4)^5
107 - 4*s(2,4)^4*s(3,4)
108 - 3*s(2,4)^3*s(3,4)^2
109 + 3*s(2,4)^2*s(3,4)^3
110 + 4*s(2,4)*s(3,4)^4
111 + 3*s(3,4)^5
114 + zeta5 * (
115 - 3*s(1,2)^2*s(2,4)
116 + s(1,2)^2*s(3,4)
117 - 3*s(1,2)*s(1,3)*s(2,4)
118 + 3*s(1,2)*s(1,3)*s(3,4)
119 - 9/2*s(1,2)*s(2,3)*s(2,4)
120 + 3*s(1,2)*s(2,3)*s(3,4)
121 - 4*s(1,2)*s(2,4)^2
122 - 3/2*s(1,2)*s(2,4)*s(3,4)
123 + 2*s(1,2)*s(3,4)^2
124 - s(1,3)^2*s(2,4)
125 + 3*s(1,3)^2*s(3,4)
126 - 5*s(1,3)*s(2,3)*s(2,4)
127 + 6*s(1,3)*s(2,3)*s(3,4)
128 - 2*s(1,3)*s(2,4)^2
129 + 3/2*s(1,3)*s(2,4)*s(3,4)
130 + 4*s(1,3)*s(3,4)^2
131 - 7/2*s(2,3)^2*s(2,4)
132 + 3*s(2,3)^2*s(3,4)
133 - 5/2*s(2,3)*s(2,4)^2
134 - 2*s(2,3)*s(2,4)*s(3,4)
135 + 4*s(2,3)*s(3,4)^2
136 - 2*s(2,4)^3
137 - 1/2*s(2,4)^2*s(3,4)
138 + 1/2*s(2,4)*s(3,4)^2
139 + 2*s(3,4)^3
142 + zeta3 * (
143 - s(2,4)
144 + s(3,4)
147 + zeta3^2 * (
148 + s(1,2)^2*s(2,3)*s(3,4)
149 - 3/2*s(1,2)^2*s(2,4)^2
150 + 1/2*s(1,2)^2*s(3,4)^2
151 - 1/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)
152 + s(1,2)*s(1,3)*s(2,3)*s(3,4)
153 - 3/2*s(1,2)*s(1,3)*s(2,4)^2
154 + 1/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)
155 + 3/2*s(1,2)*s(1,3)*s(3,4)^2
156 + 1/2*s(1,2)*s(2,3)^2*s(2,4)
157 + 2*s(1,2)*s(2,3)^2*s(3,4)
158 - 3*s(1,2)*s(2,3)*s(2,4)^2
159 + 3/2*s(1,2)*s(2,3)*s(2,4)*s(3,4)
160 + 5/2*s(1,2)*s(2,3)*s(3,4)^2
161 - 2*s(1,2)*s(2,4)^3
162 - 3/2*s(1,2)*s(2,4)^2*s(3,4)
163 + s(1,2)*s(2,4)*s(3,4)^2
164 + s(1,2)*s(3,4)^3
165 - 1/2*s(1,3)^2*s(2,3)*s(2,4)
166 - 1/2*s(1,3)^2*s(2,4)^2
167 + 3/2*s(1,3)^2*s(3,4)^2
168 - 3/2*s(1,3)*s(2,3)^2*s(2,4)
169 + s(1,3)*s(2,3)^2*s(3,4)
170 - 5/2*s(1,3)*s(2,3)*s(2,4)^2
171 + 1/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)
172 + 3*s(1,3)*s(2,3)*s(3,4)^2
173 - s(1,3)*s(2,4)^3
174 + 3/2*s(1,3)*s(2,4)*s(3,4)^2
175 + 2*s(1,3)*s(3,4)^3
176 + s(2,3)^3*s(3,4)
177 - 3/2*s(2,3)^2*s(2,4)^2
178 + 1/2*s(2,3)^2*s(2,4)*s(3,4)
179 + 5/2*s(2,3)^2*s(3,4)^2
180 - 2*s(2,3)*s(2,4)^3
181 - 1/2*s(2,3)*s(2,4)^2*s(3,4)
182 + 3/2*s(2,3)*s(2,4)*s(3,4)^2
183 + 2*s(2,3)*s(3,4)^3
184 - 1/2*s(2,4)^4
185 - s(2,4)^3*s(3,4)
186 + 1/2*s(2,4)^2*s(3,4)^2
187 + s(2,4)*s(3,4)^3
188 + 1/2*s(3,4)^4
191 + zeta2*zeta5 * (
192 + 2*s(1,2)^3*s(2,3)*s(2,4)
193 - 2*s(1,2)^3*s(2,3)*s(3,4)
194 + 4*s(1,2)^3*s(2,4)^2
195 + 2*s(1,2)^3*s(2,4)*s(3,4)
196 - s(1,2)^3*s(3,4)^2
197 + 4*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
198 - 3*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
199 + 6*s(1,2)^2*s(1,3)*s(2,4)^2
200 + 2*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
201 - 4*s(1,2)^2*s(1,3)*s(3,4)^2
202 + 7/2*s(1,2)^2*s(2,3)^2*s(2,4)
203 - 5*s(1,2)^2*s(2,3)^2*s(3,4)
204 + 23/2*s(1,2)^2*s(2,3)*s(2,4)^2
205 + 6*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
206 - 6*s(1,2)^2*s(2,3)*s(3,4)^2
207 + 6*s(1,2)^2*s(2,4)^3
208 + 11/2*s(1,2)^2*s(2,4)^2*s(3,4)
209 - 1/2*s(1,2)^2*s(2,4)*s(3,4)^2
210 - 2*s(1,2)^2*s(3,4)^3
211 - 3*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
212 + 4*s(1,2)*s(1,3)^2*s(2,4)^2
213 - 2*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
214 - 6*s(1,2)*s(1,3)^2*s(3,4)^2
215 + 5*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
216 - 6*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
217 + 13*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
218 - 16*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
219 + 6*s(1,2)*s(1,3)*s(2,4)^3
220 + 6*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
221 - 6*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
222 - 6*s(1,2)*s(1,3)*s(3,4)^3
223 + 5/2*s(1,2)*s(2,3)^3*s(2,4)
224 - 5*s(1,2)*s(2,3)^3*s(3,4)
225 + 9*s(1,2)*s(2,3)^2*s(2,4)^2
226 + 7*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
227 - 10*s(1,2)*s(2,3)^2*s(3,4)^2
228 + 17/2*s(1,2)*s(2,3)*s(2,4)^3
229 + 9*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
230 - s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
231 - 8*s(1,2)*s(2,3)*s(3,4)^3
232 + 4*s(1,2)*s(2,4)^4
233 + 5/2*s(1,2)*s(2,4)^3*s(3,4)
234 - 5/2*s(1,2)*s(2,4)*s(3,4)^3
235 - 2*s(1,2)*s(3,4)^4
236 + s(1,3)^3*s(2,3)*s(2,4)
237 - s(1,3)^3*s(2,3)*s(3,4)
238 + s(1,3)^3*s(2,4)^2
239 - 3*s(1,3)^3*s(2,4)*s(3,4)
240 - 4*s(1,3)^3*s(3,4)^2
241 + s(1,3)^2*s(2,3)^2*s(2,4)
242 - 3*s(1,3)^2*s(2,3)^2*s(3,4)
243 + 3*s(1,3)^2*s(2,3)*s(2,4)^2
244 - 3/2*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
245 - 14*s(1,3)^2*s(2,3)*s(3,4)^2
246 + 2*s(1,3)^2*s(2,4)^3
247 + 1/2*s(1,3)^2*s(2,4)^2*s(3,4)
248 - 15/2*s(1,3)^2*s(2,4)*s(3,4)^2
249 - 6*s(1,3)^2*s(3,4)^3
250 + s(1,3)*s(2,3)^3*s(2,4)
251 - 3*s(1,3)*s(2,3)^3*s(3,4)
252 + 3*s(1,3)*s(2,3)^2*s(2,4)^2
253 + 2*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
254 - 16*s(1,3)*s(2,3)^2*s(3,4)^2
255 + 4*s(1,3)*s(2,3)*s(2,4)^3
256 + 5/2*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
257 - 6*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
258 - 14*s(1,3)*s(2,3)*s(3,4)^3
259 + 2*s(1,3)*s(2,4)^4
260 + 5/2*s(1,3)*s(2,4)^3*s(3,4)
261 - 9/2*s(1,3)*s(2,4)*s(3,4)^3
262 - 4*s(1,3)*s(3,4)^4
263 - 2*s(2,3)^4*s(3,4)
264 + s(2,3)^3*s(2,4)^2
265 + 5/2*s(2,3)^3*s(2,4)*s(3,4)
266 - 6*s(2,3)^3*s(3,4)^2
267 + 2*s(2,3)^2*s(2,4)^3
268 + 5/2*s(2,3)^2*s(2,4)^2*s(3,4)
269 - 8*s(2,3)^2*s(3,4)^3
270 + 2*s(2,3)*s(2,4)^4
271 + 2*s(2,3)*s(2,4)^3*s(3,4)
272 + 1/2*s(2,3)*s(2,4)^2*s(3,4)^2
273 - 5/2*s(2,3)*s(2,4)*s(3,4)^3
274 - 5*s(2,3)*s(3,4)^4
275 + s(2,4)^5
276 - s(2,4)*s(3,4)^4
277 - s(3,4)^5
280 + zeta2*zeta3 * (
281 - 2*s(1,2)*s(2,3)*s(3,4)
282 + 2*s(1,2)*s(2,4)^2
283 - s(1,2)*s(3,4)^2
284 + s(1,3)*s(2,3)*s(2,4)
285 - s(1,3)*s(2,3)*s(3,4)
286 + s(1,3)*s(2,4)^2
287 - s(1,3)*s(2,4)*s(3,4)
288 - 2*s(1,3)*s(3,4)^2
289 - 2*s(2,3)^2*s(3,4)
290 + s(2,3)*s(2,4)^2
291 - 3*s(2,3)*s(3,4)^2
292 + s(2,4)^3
293 - s(2,4)*s(3,4)^2
294 - s(3,4)^3
297 + zeta2^2 * (
298 + 4/5*s(1,2)*s(2,4)
299 - 2/5*s(1,2)*s(3,4)
300 + 2/5*s(1,3)*s(2,4)
301 - 4/5*s(1,3)*s(3,4)
302 + 9/10*s(2,3)*s(2,4)
303 + 1/5*s(2,3)*s(3,4)
304 + 1/10*s(2,4)^2
305 + 1/2*s(2,4)*s(3,4)
306 - 1/10*s(3,4)^2
309 + zeta2^2*zeta3 * (
310 - 4/5*s(1,2)^3*s(2,3)*s(3,4)
311 + 8/5*s(1,2)^3*s(2,4)^2
312 - 2/5*s(1,2)^3*s(3,4)^2
313 + 2/5*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
314 - 6/5*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
315 + 12/5*s(1,2)^2*s(1,3)*s(2,4)^2
316 - 2/5*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
317 - 8/5*s(1,2)^2*s(1,3)*s(3,4)^2
318 - 1/10*s(1,2)^2*s(2,3)^2*s(2,4)
319 - 7/10*s(1,2)^2*s(2,3)^2*s(3,4)
320 + 16/5*s(1,2)^2*s(2,3)*s(2,4)^2
321 - 3/5*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
322 - 11/10*s(1,2)^2*s(2,3)*s(3,4)^2
323 + 3/2*s(1,2)^2*s(2,4)^3
324 + 4/5*s(1,2)^2*s(2,4)^2*s(3,4)
325 - 1/2*s(1,2)^2*s(2,4)*s(3,4)^2
326 - 1/2*s(1,2)^2*s(3,4)^3
327 + 4/5*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
328 - 2/5*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
329 + 8/5*s(1,2)*s(1,3)^2*s(2,4)^2
330 - 12/5*s(1,2)*s(1,3)^2*s(3,4)^2
331 + s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
332 - 17/10*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
333 + 9/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
334 - 1/5*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
335 - 29/10*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
336 + 3/2*s(1,2)*s(1,3)*s(2,4)^3
337 + 3/10*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
338 - 2/5*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
339 - 3/2*s(1,2)*s(1,3)*s(3,4)^3
340 - 4/5*s(1,2)*s(2,3)^3*s(2,4)
341 - 7/10*s(1,2)*s(2,3)^3*s(3,4)
342 + 4*s(1,2)*s(2,3)^2*s(2,4)^2
343 - 13/5*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
344 - 7/10*s(1,2)*s(2,3)^2*s(3,4)^2
345 + 21/5*s(1,2)*s(2,3)*s(2,4)^3
346 + 3/2*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
347 - 14/5*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
348 - 9/10*s(1,2)*s(2,3)*s(3,4)^3
349 + s(1,2)*s(2,4)^4
350 + 27/10*s(1,2)*s(2,4)^3*s(3,4)
351 + 11/10*s(1,2)*s(2,4)^2*s(3,4)^2
352 - s(1,2)*s(2,4)*s(3,4)^3
353 - 1/2*s(1,2)*s(3,4)^4
354 + 2/5*s(1,3)^3*s(2,3)*s(2,4)
355 + 2/5*s(1,3)^3*s(2,4)^2
356 - 8/5*s(1,3)^3*s(3,4)^2
357 + 13/10*s(1,3)^2*s(2,3)^2*s(2,4)
358 - 2/5*s(1,3)^2*s(2,3)^2*s(3,4)
359 + 9/5*s(1,3)^2*s(2,3)*s(2,4)^2
360 + 1/10*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
361 - 19/5*s(1,3)^2*s(2,3)*s(3,4)^2
362 + 1/2*s(1,3)^2*s(2,4)^3
363 + 1/10*s(1,3)^2*s(2,4)^2*s(3,4)
364 + 1/5*s(1,3)^2*s(2,4)*s(3,4)^2
365 - 3/2*s(1,3)^2*s(3,4)^3
366 + 21/10*s(1,3)*s(2,3)^3*s(2,4)
367 - 6/5*s(1,3)*s(2,3)^3*s(3,4)
368 + 47/10*s(1,3)*s(2,3)^2*s(2,4)^2
369 - 1/5*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
370 - 29/10*s(1,3)*s(2,3)^2*s(3,4)^2
371 + 31/10*s(1,3)*s(2,3)*s(2,4)^3
372 + 4/5*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
373 - 8/5*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
374 - 2*s(1,3)*s(2,3)*s(3,4)^3
375 + 1/2*s(1,3)*s(2,4)^4
376 + 3/5*s(1,3)*s(2,4)^3*s(3,4)
377 - 6/5*s(1,3)*s(2,4)^2*s(3,4)^2
378 - 17/10*s(1,3)*s(2,4)*s(3,4)^3
379 - s(1,3)*s(3,4)^4
380 - 4/5*s(2,3)^4*s(3,4)
381 + 21/10*s(2,3)^3*s(2,4)^2
382 - 4/5*s(2,3)^3*s(2,4)*s(3,4)
383 - 11/10*s(2,3)^3*s(3,4)^2
384 + 17/5*s(2,3)^2*s(2,4)^3
385 + 7/10*s(2,3)^2*s(2,4)^2*s(3,4)
386 - 5/2*s(2,3)^2*s(2,4)*s(3,4)^2
387 - 9/10*s(2,3)^2*s(3,4)^3
388 + 17/10*s(2,3)*s(2,4)^4
389 + 27/10*s(2,3)*s(2,4)^3*s(3,4)
390 - 6/5*s(2,3)*s(2,4)^2*s(3,4)^2
391 - 11/5*s(2,3)*s(2,4)*s(3,4)^3
392 - s(2,3)*s(3,4)^4
393 + 2/5*s(2,4)^5
394 + 6/5*s(2,4)^4*s(3,4)
395 + 4/5*s(2,4)^3*s(3,4)^2
396 - 6/5*s(2,4)^2*s(3,4)^3
397 - 6/5*s(2,4)*s(3,4)^4
398 - 2/5*s(3,4)^5
401 + zeta2^3 * (
402 + 32/35*s(1,2)^3*s(2,4)
403 - 8/35*s(1,2)^3*s(3,4)
404 + 48/35*s(1,2)^2*s(1,3)*s(2,4)
405 - 32/35*s(1,2)^2*s(1,3)*s(3,4)
406 + 26/15*s(1,2)^2*s(2,3)*s(2,4)
407 - 4/35*s(1,2)^2*s(2,3)*s(3,4)
408 + 18/35*s(1,2)^2*s(2,4)^2
409 + 38/105*s(1,2)^2*s(2,4)*s(3,4)
410 - 6/35*s(1,2)^2*s(3,4)^2
411 + 32/35*s(1,2)*s(1,3)^2*s(2,4)
412 - 48/35*s(1,2)*s(1,3)^2*s(3,4)
413 + 268/105*s(1,2)*s(1,3)*s(2,3)*s(2,4)
414 - 68/35*s(1,2)*s(1,3)*s(2,3)*s(3,4)
415 + 18/35*s(1,2)*s(1,3)*s(2,4)^2
416 - 18/35*s(1,2)*s(1,3)*s(3,4)^2
417 + 34/21*s(1,2)*s(2,3)^2*s(2,4)
418 - 33/70*s(1,2)*s(2,3)^2*s(3,4)
419 + 37/35*s(1,2)*s(2,3)*s(2,4)^2
420 - 4/35*s(1,2)*s(2,3)*s(2,4)*s(3,4)
421 - 29/70*s(1,2)*s(2,3)*s(3,4)^2
422 + 23/35*s(1,2)*s(2,4)^3
423 + 19/35*s(1,2)*s(2,4)^2*s(3,4)
424 - 2/105*s(1,2)*s(2,4)*s(3,4)^2
425 - 23/70*s(1,2)*s(3,4)^3
426 + 8/35*s(1,3)^3*s(2,4)
427 - 32/35*s(1,3)^3*s(3,4)
428 + 38/35*s(1,3)^2*s(2,3)*s(2,4)
429 - 82/35*s(1,3)^2*s(2,3)*s(3,4)
430 + 6/35*s(1,3)^2*s(2,4)^2
431 + 4/105*s(1,3)^2*s(2,4)*s(3,4)
432 - 18/35*s(1,3)^2*s(3,4)^2
433 + 401/210*s(1,3)*s(2,3)^2*s(2,4)
434 - 68/35*s(1,3)*s(2,3)^2*s(3,4)
435 + 13/15*s(1,3)*s(2,3)*s(2,4)^2
436 + 2/105*s(1,3)*s(2,3)*s(2,4)*s(3,4)
437 - 13/14*s(1,3)*s(2,3)*s(3,4)^2
438 + 23/70*s(1,3)*s(2,4)^3
439 + 2/105*s(1,3)*s(2,4)^2*s(3,4)
440 - 31/70*s(1,3)*s(2,4)*s(3,4)^2
441 - 23/35*s(1,3)*s(3,4)^3
442 + 15/14*s(2,3)^3*s(2,4)
443 - 4/35*s(2,3)^3*s(3,4)
444 + 73/105*s(2,3)^2*s(2,4)^2
445 + 17/42*s(2,3)^2*s(2,4)*s(3,4)
446 - 29/70*s(2,3)^2*s(3,4)^2
447 + 149/210*s(2,3)*s(2,4)^3
448 + 89/210*s(2,3)*s(2,4)^2*s(3,4)
449 - 2/105*s(2,3)*s(2,4)*s(3,4)^2
450 - 9/35*s(2,3)*s(3,4)^3
451 + 6/35*s(2,4)^4
452 + 8/21*s(2,4)^3*s(3,4)
453 + 2/105*s(2,4)*s(3,4)^3
454 - 6/35*s(3,4)^4
457 id Z(1,3)*Z(2,3) =
459 + zeta7 * (
460 + 11*s(1,2)^4*s(2,4)
461 + 5*s(1,2)^4*s(3,4)
462 + 25*s(1,2)^3*s(1,3)*s(2,4)
463 + 20*s(1,2)^3*s(1,3)*s(3,4)
464 + 30*s(1,2)^3*s(2,3)*s(2,4)
465 + 10*s(1,2)^3*s(2,3)*s(3,4)
466 + 27*s(1,2)^3*s(2,4)^2
467 + 35*s(1,2)^3*s(2,4)*s(3,4)
468 + 12*s(1,2)^3*s(3,4)^2
469 + 42*s(1,2)^2*s(1,3)^2*s(2,4)
470 + 30*s(1,2)^2*s(1,3)^2*s(3,4)
471 + 845/16*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
472 + 30*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
473 + 48*s(1,2)^2*s(1,3)*s(2,4)^2
474 + 1469/16*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
475 + 36*s(1,2)^2*s(1,3)*s(3,4)^2
476 + 653/16*s(1,2)^2*s(2,3)^2*s(2,4)
477 + 10*s(1,2)^2*s(2,3)^2*s(3,4)
478 + 60*s(1,2)^2*s(2,3)*s(2,4)^2
479 + 557/8*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
480 + 18*s(1,2)^2*s(2,3)*s(3,4)^2
481 + 35*s(1,2)^2*s(2,4)^3
482 + 72*s(1,2)^2*s(2,4)^2*s(3,4)
483 + 941/16*s(1,2)^2*s(2,4)*s(3,4)^2
484 + 15*s(1,2)^2*s(3,4)^3
485 + 26*s(1,2)*s(1,3)^3*s(2,4)
486 + 20*s(1,2)*s(1,3)^3*s(3,4)
487 + 909/16*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
488 + 30*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
489 + 781/16*s(1,2)*s(1,3)^2*s(2,4)^2
490 + 701/8*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
491 + 36*s(1,2)*s(1,3)^2*s(3,4)^2
492 + 791/16*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
493 + 20*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
494 + 1047/16*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
495 + 919/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
496 + 36*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
497 + 43*s(1,2)*s(1,3)*s(2,4)^3
498 + 973/8*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
499 + 1719/16*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
500 + 30*s(1,2)*s(1,3)*s(3,4)^3
501 + 229/8*s(1,2)*s(2,3)^3*s(2,4)
502 + 5*s(1,2)*s(2,3)^3*s(3,4)
503 + 469/8*s(1,2)*s(2,3)^2*s(2,4)^2
504 + 1041/16*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
505 + 12*s(1,2)*s(2,3)^2*s(3,4)^2
506 + 58*s(1,2)*s(2,3)*s(2,4)^3
507 + 1767/16*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
508 + 321/4*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
509 + 15*s(1,2)*s(2,3)*s(3,4)^3
510 + 25*s(1,2)*s(2,4)^4
511 + 73*s(1,2)*s(2,4)^3*s(3,4)
512 + 1501/16*s(1,2)*s(2,4)^2*s(3,4)^2
513 + 861/16*s(1,2)*s(2,4)*s(3,4)^3
514 + 10*s(1,2)*s(3,4)^4
515 + 9*s(1,3)^4*s(2,4)
516 + 5*s(1,3)^4*s(3,4)
517 + 24*s(1,3)^3*s(2,3)*s(2,4)
518 + 10*s(1,3)^3*s(2,3)*s(3,4)
519 + 14*s(1,3)^3*s(2,4)^2
520 + 34*s(1,3)^3*s(2,4)*s(3,4)
521 + 12*s(1,3)^3*s(3,4)^2
522 + 557/16*s(1,3)^2*s(2,3)^2*s(2,4)
523 + 10*s(1,3)^2*s(2,3)^2*s(3,4)
524 + 253/8*s(1,3)^2*s(2,3)*s(2,4)^2
525 + 1165/16*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
526 + 18*s(1,3)^2*s(2,3)*s(3,4)^2
527 + 349/16*s(1,3)^2*s(2,4)^3
528 + 957/16*s(1,3)^2*s(2,4)^2*s(3,4)
529 + 63*s(1,3)^2*s(2,4)*s(3,4)^2
530 + 15*s(1,3)^2*s(3,4)^3
531 + 197/8*s(1,3)*s(2,3)^3*s(2,4)
532 + 5*s(1,3)*s(2,3)^3*s(3,4)
533 + 121/4*s(1,3)*s(2,3)^2*s(2,4)^2
534 + 273/4*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
535 + 12*s(1,3)*s(2,3)^2*s(3,4)^2
536 + 253/8*s(1,3)*s(2,3)*s(2,4)^3
537 + 1377/16*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
538 + 709/8*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
539 + 15*s(1,3)*s(2,3)*s(3,4)^3
540 + 14*s(1,3)*s(2,4)^4
541 + 957/16*s(1,3)*s(2,4)^3*s(3,4)
542 + 1357/16*s(1,3)*s(2,4)^2*s(3,4)^2
543 + 57*s(1,3)*s(2,4)*s(3,4)^3
544 + 10*s(1,3)*s(3,4)^4
545 + 189/16*s(2,3)^4*s(2,4)
546 + s(2,3)^4*s(3,4)
547 + 197/8*s(2,3)^3*s(2,4)^2
548 + 551/16*s(2,3)^3*s(2,4)*s(3,4)
549 + 3*s(2,3)^3*s(3,4)^2
550 + 557/16*s(2,3)^2*s(2,4)^3
551 + 273/4*s(2,3)^2*s(2,4)^2*s(3,4)
552 + 871/16*s(2,3)^2*s(2,4)*s(3,4)^2
553 + 5*s(2,3)^2*s(3,4)^3
554 + 24*s(2,3)*s(2,4)^4
555 + 1165/16*s(2,3)*s(2,4)^3*s(3,4)
556 + 709/8*s(2,3)*s(2,4)^2*s(3,4)^2
557 + 813/16*s(2,3)*s(2,4)*s(3,4)^3
558 + 5*s(2,3)*s(3,4)^4
559 + 9*s(2,4)^5
560 + 34*s(2,4)^4*s(3,4)
561 + 63*s(2,4)^3*s(3,4)^2
562 + 57*s(2,4)^2*s(3,4)^3
563 + 26*s(2,4)*s(3,4)^4
564 + 3*s(3,4)^5
567 + zeta5 * (
568 + 7*s(1,2)^2*s(2,4)
569 + 3*s(1,2)^2*s(3,4)
570 + 15/2*s(1,2)*s(1,3)*s(2,4)
571 + 6*s(1,2)*s(1,3)*s(3,4)
572 + 21/2*s(1,2)*s(2,3)*s(2,4)
573 + 3*s(1,2)*s(2,3)*s(3,4)
574 + 10*s(1,2)*s(2,4)^2
575 + 27/2*s(1,2)*s(2,4)*s(3,4)
576 + 4*s(1,2)*s(3,4)^2
577 + 6*s(1,3)^2*s(2,4)
578 + 3*s(1,3)^2*s(3,4)
579 + 17/2*s(1,3)*s(2,3)*s(2,4)
580 + 3*s(1,3)*s(2,3)*s(3,4)
581 + 9/2*s(1,3)*s(2,4)^2
582 + 25/2*s(1,3)*s(2,4)*s(3,4)
583 + 4*s(1,3)*s(3,4)^2
584 + 15/2*s(2,3)^2*s(2,4)
585 + s(2,3)^2*s(3,4)
586 + 17/2*s(2,3)*s(2,4)^2
587 + 14*s(2,3)*s(2,4)*s(3,4)
588 + 2*s(2,3)*s(3,4)^2
589 + 6*s(2,4)^3
590 + 25/2*s(2,4)^2*s(3,4)
591 + 23/2*s(2,4)*s(3,4)^2
592 + 2*s(3,4)^3
595 + zeta3 * (
596 + 3*s(2,4)
597 + s(3,4)
600 + zeta3^2 * (
601 + s(1,2)^3*s(2,4)
602 + s(1,2)^3*s(3,4)
603 + s(1,2)^2*s(1,3)*s(3,4)
604 + 3*s(1,2)^2*s(2,3)*s(2,4)
605 + 2*s(1,2)^2*s(2,3)*s(3,4)
606 + 9/2*s(1,2)^2*s(2,4)^2
607 + 6*s(1,2)^2*s(2,4)*s(3,4)
608 + 5/2*s(1,2)^2*s(3,4)^2
609 + 1/2*s(1,2)*s(1,3)^2*s(2,4)
610 + s(1,2)*s(1,3)*s(2,3)*s(3,4)
611 + 9/2*s(1,2)*s(1,3)*s(2,4)^2
612 + 17/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)
613 + 3*s(1,2)*s(1,3)*s(3,4)^2
614 + 3/2*s(1,2)*s(2,3)^2*s(2,4)
615 + s(1,2)*s(2,3)^2*s(3,4)
616 + 6*s(1,2)*s(2,3)*s(2,4)^2
617 + 11/2*s(1,2)*s(2,3)*s(2,4)*s(3,4)
618 + 5/2*s(1,2)*s(2,3)*s(3,4)^2
619 + 4*s(1,2)*s(2,4)^3
620 + 15/2*s(1,2)*s(2,4)^2*s(3,4)
621 + 6*s(1,2)*s(2,4)*s(3,4)^2
622 + 2*s(1,2)*s(3,4)^3
623 + 1/2*s(1,3)^3*s(2,4)
624 + 2*s(1,3)^2*s(2,3)*s(2,4)
625 + 3*s(1,3)^2*s(2,4)^2
626 + 6*s(1,3)^2*s(2,4)*s(3,4)
627 + 3/2*s(1,3)^2*s(3,4)^2
628 + 3/2*s(1,3)*s(2,3)^2*s(2,4)
629 + 4*s(1,3)*s(2,3)*s(2,4)^2
630 + 15/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)
631 + 3/2*s(1,3)*s(2,3)*s(3,4)^2
632 + 3*s(1,3)*s(2,4)^3
633 + 7*s(1,3)*s(2,4)^2*s(3,4)
634 + 15/2*s(1,3)*s(2,4)*s(3,4)^2
635 + 2*s(1,3)*s(3,4)^3
636 + 3/2*s(2,3)^2*s(2,4)^2
637 + 3/2*s(2,3)^2*s(2,4)*s(3,4)
638 + 1/2*s(2,3)^2*s(3,4)^2
639 + 2*s(2,3)*s(2,4)^3
640 + 3/2*s(2,3)*s(2,4)^2*s(3,4)
641 + 5/2*s(2,3)*s(2,4)*s(3,4)^2
642 + s(2,3)*s(3,4)^3
643 + 1/2*s(2,4)^4
644 + s(2,4)^3*s(3,4)
645 + 1/2*s(2,4)^2*s(3,4)^2
646 + s(2,4)*s(3,4)^3
647 + 1/2*s(3,4)^4
650 + zeta2*zeta5 * (
651 - 2*s(1,2)^4*s(2,4)
652 - 2*s(1,2)^4*s(3,4)
653 - 2*s(1,2)^3*s(1,3)*s(2,4)
654 - 3*s(1,2)^3*s(1,3)*s(3,4)
655 - 8*s(1,2)^3*s(2,3)*s(2,4)
656 - 5*s(1,2)^3*s(2,3)*s(3,4)
657 - 10*s(1,2)^3*s(2,4)^2
658 - 15*s(1,2)^3*s(2,4)*s(3,4)
659 - 6*s(1,2)^3*s(3,4)^2
660 - 4*s(1,2)^2*s(1,3)^2*s(2,4)
661 - 3*s(1,2)^2*s(1,3)^2*s(3,4)
662 - 15/2*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
663 - 6*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
664 - 35/2*s(1,2)^2*s(1,3)*s(2,4)^2
665 - 73/2*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
666 - 16*s(1,2)^2*s(1,3)*s(3,4)^2
667 - 23/2*s(1,2)^2*s(2,3)^2*s(2,4)
668 - 5*s(1,2)^2*s(2,3)^2*s(3,4)
669 - 47/2*s(1,2)^2*s(2,3)*s(2,4)^2
670 - 34*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
671 - 10*s(1,2)^2*s(2,3)*s(3,4)^2
672 - 14*s(1,2)^2*s(2,4)^3
673 - 63/2*s(1,2)^2*s(2,4)^2*s(3,4)
674 - 55/2*s(1,2)^2*s(2,4)*s(3,4)^2
675 - 8*s(1,2)^2*s(3,4)^3
676 - s(1,2)*s(1,3)^3*s(3,4)
677 - 5*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
678 - 3*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
679 - 17*s(1,2)*s(1,3)^2*s(2,4)^2
680 - 28*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
681 - 14*s(1,2)*s(1,3)^2*s(3,4)^2
682 - 15/2*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
683 - 3*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
684 - 22*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
685 - 91/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
686 - 16*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
687 - 29/2*s(1,2)*s(1,3)*s(2,4)^3
688 - 51*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
689 - 93/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
690 - 14*s(1,2)*s(1,3)*s(3,4)^3
691 - 15/2*s(1,2)*s(2,3)^3*s(2,4)
692 - 2*s(1,2)*s(2,3)^3*s(3,4)
693 - 19*s(1,2)*s(2,3)^2*s(2,4)^2
694 - 33*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
695 - 6*s(1,2)*s(2,3)^2*s(3,4)^2
696 - 37/2*s(1,2)*s(2,3)*s(2,4)^3
697 - 45*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
698 - 41*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
699 - 8*s(1,2)*s(2,3)*s(3,4)^3
700 - 9*s(1,2)*s(2,4)^4
701 - 49/2*s(1,2)*s(2,4)^3*s(3,4)
702 - 36*s(1,2)*s(2,4)^2*s(3,4)^2
703 - 47/2*s(1,2)*s(2,4)*s(3,4)^3
704 - 5*s(1,2)*s(3,4)^4
705 - s(1,3)^4*s(2,4)
706 - 2*s(1,3)^3*s(2,3)*s(2,4)
707 - 4*s(1,3)^3*s(2,4)^2
708 - 11*s(1,3)^3*s(2,4)*s(3,4)
709 - 4*s(1,3)^3*s(3,4)^2
710 - 2*s(1,3)^2*s(2,3)^2*s(2,4)
711 - 6*s(1,3)^2*s(2,3)*s(2,4)^2
712 - 41/2*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
713 - 6*s(1,3)^2*s(2,3)*s(3,4)^2
714 - 6*s(1,3)^2*s(2,4)^3
715 - 37/2*s(1,3)^2*s(2,4)^2*s(3,4)
716 - 45/2*s(1,3)^2*s(2,4)*s(3,4)^2
717 - 6*s(1,3)^2*s(3,4)^3
718 - s(1,3)*s(2,3)^3*s(2,4)
719 - 4*s(1,3)*s(2,3)^2*s(2,4)^2
720 - 20*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
721 - 4*s(1,3)*s(2,3)^2*s(3,4)^2
722 - 6*s(1,3)*s(2,3)*s(2,4)^3
723 - 25*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
724 - 65/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
725 - 6*s(1,3)*s(2,3)*s(3,4)^3
726 - 4*s(1,3)*s(2,4)^4
727 - 20*s(1,3)*s(2,4)^3*s(3,4)
728 - 61/2*s(1,3)*s(2,4)^2*s(3,4)^2
729 - 43/2*s(1,3)*s(2,4)*s(3,4)^3
730 - 4*s(1,3)*s(3,4)^4
731 - s(2,3)^3*s(2,4)^2
732 - 15/2*s(2,3)^3*s(2,4)*s(3,4)
733 - s(2,3)^3*s(3,4)^2
734 - 2*s(2,3)^2*s(2,4)^3
735 - 17/2*s(2,3)^2*s(2,4)^2*s(3,4)
736 - 14*s(2,3)^2*s(2,4)*s(3,4)^2
737 - 2*s(2,3)^2*s(3,4)^3
738 - 2*s(2,3)*s(2,4)^4
739 - 6*s(2,3)*s(2,4)^3*s(3,4)
740 - 25/2*s(2,3)*s(2,4)^2*s(3,4)^2
741 - 23/2*s(2,3)*s(2,4)*s(3,4)^3
742 - 2*s(2,3)*s(3,4)^4
743 - s(2,4)^5
744 - s(2,4)^4*s(3,4)
745 - 4*s(2,4)^3*s(3,4)^2
746 - 6*s(2,4)^2*s(3,4)^3
747 - 4*s(2,4)*s(3,4)^4
748 - s(3,4)^5
751 + zeta2*zeta3 * (
752 - 2*s(1,2)^2*s(2,4)
753 - 2*s(1,2)^2*s(3,4)
754 - s(1,2)*s(1,3)*s(3,4)
755 - 3*s(1,2)*s(2,3)*s(2,4)
756 - 2*s(1,2)*s(2,3)*s(3,4)
757 - 5*s(1,2)*s(2,4)^2
758 - 7*s(1,2)*s(2,4)*s(3,4)
759 - 3*s(1,2)*s(3,4)^2
760 - s(1,3)^2*s(2,4)
761 - s(1,3)*s(2,3)*s(2,4)
762 - 2*s(1,3)*s(2,4)^2
763 - 6*s(1,3)*s(2,4)*s(3,4)
764 - 2*s(1,3)*s(3,4)^2
765 - s(2,3)*s(2,4)^2
766 - 3*s(2,3)*s(2,4)*s(3,4)
767 - s(2,3)*s(3,4)^2
768 - s(2,4)^3
769 - s(2,4)^2*s(3,4)
770 - 2*s(2,4)*s(3,4)^2
771 - s(3,4)^3
774 + zeta2^2 * (
775 - s(1,2)*s(2,4)
776 + 1/5*s(1,2)*s(3,4)
777 - 13/10*s(1,3)*s(2,4)
778 - 4/5*s(1,3)*s(3,4)
779 - 21/10*s(2,3)*s(2,4)
780 - 2/5*s(2,3)*s(3,4)
781 - 13/10*s(2,4)^2
782 - 19/10*s(2,4)*s(3,4)
783 - 1/10*s(3,4)^2
786 + zeta2^2*zeta3 * (
787 - 4/5*s(1,2)^4*s(2,4)
788 - 4/5*s(1,2)^4*s(3,4)
789 - 6/5*s(1,2)^3*s(1,3)*s(3,4)
790 - 3/2*s(1,2)^3*s(2,3)*s(2,4)
791 - 7/10*s(1,2)^3*s(2,3)*s(3,4)
792 - 31/10*s(1,2)^3*s(2,4)^2
793 - 3*s(1,2)^3*s(2,4)*s(3,4)
794 - 11/10*s(1,2)^3*s(3,4)^2
795 - 2/5*s(1,2)^2*s(1,3)^2*s(2,4)
796 - 2/5*s(1,2)^2*s(1,3)^2*s(3,4)
797 - 3/10*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
798 - 17/10*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
799 - 28/5*s(1,2)^2*s(1,3)*s(2,4)^2
800 - 46/5*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
801 - 29/10*s(1,2)^2*s(1,3)*s(3,4)^2
802 - 19/10*s(1,2)^2*s(2,3)^2*s(2,4)
803 - 7/10*s(1,2)^2*s(2,3)^2*s(3,4)
804 - 31/5*s(1,2)^2*s(2,3)*s(2,4)^2
805 - 19/5*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
806 - 7/10*s(1,2)^2*s(2,3)*s(3,4)^2
807 - 7/2*s(1,2)^2*s(2,4)^3
808 - 29/5*s(1,2)^2*s(2,4)^2*s(3,4)
809 - 39/10*s(1,2)^2*s(2,4)*s(3,4)^2
810 - 9/10*s(1,2)^2*s(3,4)^3
811 - 4/5*s(1,2)*s(1,3)^3*s(2,4)
812 - 9/5*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
813 - 2/5*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
814 - 61/10*s(1,2)*s(1,3)^2*s(2,4)^2
815 - 123/10*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
816 - 19/5*s(1,2)*s(1,3)^2*s(3,4)^2
817 - 1/5*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
818 - 6/5*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
819 - 17/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
820 - 23/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
821 - 29/10*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
822 - 57/10*s(1,2)*s(1,3)*s(2,4)^3
823 - 109/10*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
824 - 89/10*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
825 - 2*s(1,2)*s(1,3)*s(3,4)^3
826 - 6/5*s(1,2)*s(2,3)^3*s(2,4)
827 - 4/5*s(1,2)*s(2,3)^3*s(3,4)
828 - 8*s(1,2)*s(2,3)^2*s(2,4)^2
829 - 3*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
830 - 11/10*s(1,2)*s(2,3)^2*s(3,4)^2
831 - 41/5*s(1,2)*s(2,3)*s(2,4)^3
832 - 53/5*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
833 - 37/10*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
834 - 9/10*s(1,2)*s(2,3)*s(3,4)^3
835 - 3*s(1,2)*s(2,4)^4
836 - 97/10*s(1,2)*s(2,4)^3*s(3,4)
837 - 51/5*s(1,2)*s(2,4)^2*s(3,4)^2
838 - 23/5*s(1,2)*s(2,4)*s(3,4)^3
839 - s(1,2)*s(3,4)^4
840 - 2/5*s(1,3)^4*s(2,4)
841 - 17/10*s(1,3)^3*s(2,3)*s(2,4)
842 - 11/5*s(1,3)^3*s(2,4)^2
843 - 47/10*s(1,3)^3*s(2,4)*s(3,4)
844 - 8/5*s(1,3)^3*s(3,4)^2
845 - 17/5*s(1,3)^2*s(2,3)^2*s(2,4)
846 - 13/2*s(1,3)^2*s(2,3)*s(2,4)^2
847 - 58/5*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
848 - 12/5*s(1,3)^2*s(2,3)*s(3,4)^2
849 - 18/5*s(1,3)^2*s(2,4)^3
850 - 44/5*s(1,3)^2*s(2,4)^2*s(3,4)
851 - 77/10*s(1,3)^2*s(2,4)*s(3,4)^2
852 - 3/2*s(1,3)^2*s(3,4)^3
853 - 21/10*s(1,3)*s(2,3)^3*s(2,4)
854 - 34/5*s(1,3)*s(2,3)^2*s(2,4)^2
855 - 101/10*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
856 - 8/5*s(1,3)*s(2,3)^2*s(3,4)^2
857 - 13/2*s(1,3)*s(2,3)*s(2,4)^3
858 - 66/5*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
859 - 51/5*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
860 - 3/2*s(1,3)*s(2,3)*s(3,4)^3
861 - 11/5*s(1,3)*s(2,4)^4
862 - 79/10*s(1,3)*s(2,4)^3*s(3,4)
863 - 101/10*s(1,3)*s(2,4)^2*s(3,4)^2
864 - 63/10*s(1,3)*s(2,4)*s(3,4)^3
865 - s(1,3)*s(3,4)^4
866 - 21/10*s(2,3)^3*s(2,4)^2
867 - 6/5*s(2,3)^3*s(2,4)*s(3,4)
868 - 2/5*s(2,3)^3*s(3,4)^2
869 - 17/5*s(2,3)^2*s(2,4)^3
870 - 23/10*s(2,3)^2*s(2,4)^2*s(3,4)
871 - 11/10*s(2,3)^2*s(2,4)*s(3,4)^2
872 - 1/2*s(2,3)^2*s(3,4)^3
873 - 17/10*s(2,3)*s(2,4)^4
874 - 31/10*s(2,3)*s(2,4)^3*s(3,4)
875 - 13/10*s(2,3)*s(2,4)^2*s(3,4)^2
876 - 7/5*s(2,3)*s(2,4)*s(3,4)^3
877 - 1/2*s(2,3)*s(3,4)^4
878 - 2/5*s(2,4)^5
879 - 6/5*s(2,4)^4*s(3,4)
880 - 6/5*s(2,4)^3*s(3,4)^2
881 - 2/5*s(2,4)^2*s(3,4)^3
882 - 4/5*s(2,4)*s(3,4)^4
883 - 2/5*s(3,4)^5
886 + zeta2^3 * (
887 - 44/35*s(1,2)^3*s(2,4)
888 - 4/35*s(1,2)^3*s(3,4)
889 - 326/105*s(1,2)^2*s(1,3)*s(2,4)
890 - 68/35*s(1,2)^2*s(1,3)*s(3,4)
891 - 571/210*s(1,2)^2*s(2,3)*s(2,4)
892 - 33/70*s(1,2)^2*s(2,3)*s(3,4)
893 - 3/2*s(1,2)^2*s(2,4)^2
894 - 29/15*s(1,2)^2*s(2,4)*s(3,4)
895 - 29/70*s(1,2)^2*s(3,4)^2
896 - 52/15*s(1,2)*s(1,3)^2*s(2,4)
897 - 82/35*s(1,2)*s(1,3)^2*s(3,4)
898 - 146/35*s(1,2)*s(1,3)*s(2,3)*s(2,4)
899 - 68/35*s(1,2)*s(1,3)*s(2,3)*s(3,4)
900 - 11/7*s(1,2)*s(1,3)*s(2,4)^2
901 - 61/21*s(1,2)*s(1,3)*s(2,4)*s(3,4)
902 - 13/14*s(1,2)*s(1,3)*s(3,4)^2
903 - 242/105*s(1,2)*s(2,3)^2*s(2,4)
904 - 4/35*s(1,2)*s(2,3)^2*s(3,4)
905 - 73/35*s(1,2)*s(2,3)*s(2,4)^2
906 - 61/35*s(1,2)*s(2,3)*s(2,4)*s(3,4)
907 - 29/70*s(1,2)*s(2,3)*s(3,4)^2
908 - 47/35*s(1,2)*s(2,4)^3
909 - 5/2*s(1,2)*s(2,4)^2*s(3,4)
910 - 193/105*s(1,2)*s(2,4)*s(3,4)^2
911 - 9/35*s(1,2)*s(3,4)^3
912 - 46/35*s(1,3)^3*s(2,4)
913 - 32/35*s(1,3)^3*s(3,4)
914 - 629/210*s(1,3)^2*s(2,3)*s(2,4)
915 - 48/35*s(1,3)^2*s(2,3)*s(3,4)
916 - 109/105*s(1,3)^2*s(2,4)^2
917 - 431/210*s(1,3)^2*s(2,4)*s(3,4)
918 - 18/35*s(1,3)^2*s(3,4)^2
919 - 313/105*s(1,3)*s(2,3)^2*s(2,4)
920 - 32/35*s(1,3)*s(2,3)^2*s(3,4)
921 - 164/105*s(1,3)*s(2,3)*s(2,4)^2
922 - 292/105*s(1,3)*s(2,3)*s(2,4)*s(3,4)
923 - 18/35*s(1,3)*s(2,3)*s(3,4)^2
924 - 109/105*s(1,3)*s(2,4)^3
925 - 256/105*s(1,3)*s(2,4)^2*s(3,4)
926 - 179/70*s(1,3)*s(2,4)*s(3,4)^2
927 - 23/35*s(1,3)*s(3,4)^3
928 - 31/14*s(2,3)^3*s(2,4)
929 - 8/35*s(2,3)^3*s(3,4)
930 - 313/105*s(2,3)^2*s(2,4)^2
931 - 709/210*s(2,3)^2*s(2,4)*s(3,4)
932 - 6/35*s(2,3)^2*s(3,4)^2
933 - 629/210*s(2,3)*s(2,4)^3
934 - 1277/210*s(2,3)*s(2,4)^2*s(3,4)
935 - 911/210*s(2,3)*s(2,4)*s(3,4)^2
936 - 23/70*s(2,3)*s(3,4)^3
937 - 46/35*s(2,4)^4
938 - 478/105*s(2,4)^3*s(3,4)
939 - 198/35*s(2,4)^2*s(3,4)^2
940 - 314/105*s(2,4)*s(3,4)^3
941 - 6/35*s(3,4)^4
944 id Z(1,2)*Z(3,4) =
946 + zeta7 * (
947 + s(1,2)^5
948 + 6*s(1,2)^4*s(1,3)
949 + 6*s(1,2)^4*s(2,3)
950 + 6*s(1,2)^4*s(2,4)
951 + 3*s(1,2)^4*s(3,4)
952 + 15*s(1,2)^3*s(1,3)^2
953 + 30*s(1,2)^3*s(1,3)*s(2,3)
954 + 19*s(1,2)^3*s(1,3)*s(2,4)
955 + 15*s(1,2)^3*s(1,3)*s(3,4)
956 + 15*s(1,2)^3*s(2,3)^2
957 + 30*s(1,2)^3*s(2,3)*s(2,4)
958 + 15*s(1,2)^3*s(2,3)*s(3,4)
959 + 15*s(1,2)^3*s(2,4)^2
960 + 15*s(1,2)^3*s(2,4)*s(3,4)
961 + 5*s(1,2)^3*s(3,4)^2
962 + 20*s(1,2)^2*s(1,3)^3
963 + 60*s(1,2)^2*s(1,3)^2*s(2,3)
964 + 33*s(1,2)^2*s(1,3)^2*s(2,4)
965 + 30*s(1,2)^2*s(1,3)^2*s(3,4)
966 + 60*s(1,2)^2*s(1,3)*s(2,3)^2
967 + 1267/16*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
968 + 60*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
969 + 33*s(1,2)^2*s(1,3)*s(2,4)^2
970 + 739/16*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
971 + 20*s(1,2)^2*s(1,3)*s(3,4)^2
972 + 20*s(1,2)^2*s(2,3)^3
973 + 60*s(1,2)^2*s(2,3)^2*s(2,4)
974 + 30*s(1,2)^2*s(2,3)^2*s(3,4)
975 + 60*s(1,2)^2*s(2,3)*s(2,4)^2
976 + 60*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
977 + 20*s(1,2)^2*s(2,3)*s(3,4)^2
978 + 20*s(1,2)^2*s(2,4)^3
979 + 30*s(1,2)^2*s(2,4)^2*s(3,4)
980 + 20*s(1,2)^2*s(2,4)*s(3,4)^2
981 + 5*s(1,2)^2*s(3,4)^3
982 + 15*s(1,2)*s(1,3)^4
983 + 60*s(1,2)*s(1,3)^3*s(2,3)
984 + 27*s(1,2)*s(1,3)^3*s(2,4)
985 + 30*s(1,2)*s(1,3)^3*s(3,4)
986 + 90*s(1,2)*s(1,3)^2*s(2,3)^2
987 + 90*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
988 + 90*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
989 + 541/16*s(1,2)*s(1,3)^2*s(2,4)^2
990 + 899/16*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
991 + 30*s(1,2)*s(1,3)^2*s(3,4)^2
992 + 60*s(1,2)*s(1,3)*s(2,3)^3
993 + 1747/16*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
994 + 90*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
995 + 90*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
996 + 1027/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
997 + 60*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
998 + 27*s(1,2)*s(1,3)*s(2,4)^3
999 + 899/16*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1000 + 739/16*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1001 + 15*s(1,2)*s(1,3)*s(3,4)^3
1002 + 15*s(1,2)*s(2,3)^4
1003 + 60*s(1,2)*s(2,3)^3*s(2,4)
1004 + 30*s(1,2)*s(2,3)^3*s(3,4)
1005 + 90*s(1,2)*s(2,3)^2*s(2,4)^2
1006 + 90*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
1007 + 30*s(1,2)*s(2,3)^2*s(3,4)^2
1008 + 60*s(1,2)*s(2,3)*s(2,4)^3
1009 + 90*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
1010 + 60*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
1011 + 15*s(1,2)*s(2,3)*s(3,4)^3
1012 + 15*s(1,2)*s(2,4)^4
1013 + 30*s(1,2)*s(2,4)^3*s(3,4)
1014 + 30*s(1,2)*s(2,4)^2*s(3,4)^2
1015 + 15*s(1,2)*s(2,4)*s(3,4)^3
1016 + 3*s(1,2)*s(3,4)^4
1017 + 6*s(1,3)^5
1018 + 30*s(1,3)^4*s(2,3)
1019 + 11*s(1,3)^4*s(2,4)
1020 + 15*s(1,3)^4*s(3,4)
1021 + 60*s(1,3)^3*s(2,3)^2
1022 + 653/16*s(1,3)^3*s(2,3)*s(2,4)
1023 + 60*s(1,3)^3*s(2,3)*s(3,4)
1024 + 221/16*s(1,3)^3*s(2,4)^2
1025 + 27*s(1,3)^3*s(2,4)*s(3,4)
1026 + 20*s(1,3)^3*s(3,4)^2
1027 + 60*s(1,3)^2*s(2,3)^3
1028 + 1133/16*s(1,3)^2*s(2,3)^2*s(2,4)
1029 + 90*s(1,3)^2*s(2,3)^2*s(3,4)
1030 + 413/8*s(1,3)^2*s(2,3)*s(2,4)^2
1031 + 90*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
1032 + 60*s(1,3)^2*s(2,3)*s(3,4)^2
1033 + 221/16*s(1,3)^2*s(2,4)^3
1034 + 541/16*s(1,3)^2*s(2,4)^2*s(3,4)
1035 + 33*s(1,3)^2*s(2,4)*s(3,4)^2
1036 + 15*s(1,3)^2*s(3,4)^3
1037 + 30*s(1,3)*s(2,3)^4
1038 + 60*s(1,3)*s(2,3)^3*s(2,4)
1039 + 60*s(1,3)*s(2,3)^3*s(3,4)
1040 + 1133/16*s(1,3)*s(2,3)^2*s(2,4)^2
1041 + 1747/16*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
1042 + 60*s(1,3)*s(2,3)^2*s(3,4)^2
1043 + 653/16*s(1,3)*s(2,3)*s(2,4)^3
1044 + 90*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
1045 + 1267/16*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
1046 + 30*s(1,3)*s(2,3)*s(3,4)^3
1047 + 11*s(1,3)*s(2,4)^4
1048 + 27*s(1,3)*s(2,4)^3*s(3,4)
1049 + 33*s(1,3)*s(2,4)^2*s(3,4)^2
1050 + 19*s(1,3)*s(2,4)*s(3,4)^3
1051 + 6*s(1,3)*s(3,4)^4
1052 + 6*s(2,3)^5
1053 + 30*s(2,3)^4*s(2,4)
1054 + 15*s(2,3)^4*s(3,4)
1055 + 60*s(2,3)^3*s(2,4)^2
1056 + 60*s(2,3)^3*s(2,4)*s(3,4)
1057 + 20*s(2,3)^3*s(3,4)^2
1058 + 60*s(2,3)^2*s(2,4)^3
1059 + 90*s(2,3)^2*s(2,4)^2*s(3,4)
1060 + 60*s(2,3)^2*s(2,4)*s(3,4)^2
1061 + 15*s(2,3)^2*s(3,4)^3
1062 + 30*s(2,3)*s(2,4)^4
1063 + 60*s(2,3)*s(2,4)^3*s(3,4)
1064 + 60*s(2,3)*s(2,4)^2*s(3,4)^2
1065 + 30*s(2,3)*s(2,4)*s(3,4)^3
1066 + 6*s(2,3)*s(3,4)^4
1067 + 6*s(2,4)^5
1068 + 15*s(2,4)^4*s(3,4)
1069 + 20*s(2,4)^3*s(3,4)^2
1070 + 15*s(2,4)^2*s(3,4)^3
1071 + 6*s(2,4)*s(3,4)^4
1072 + s(3,4)^5
1075 + zeta5 * (
1076 + s(1,2)^3
1077 + 4*s(1,2)^2*s(1,3)
1078 + 4*s(1,2)^2*s(2,3)
1079 + 4*s(1,2)^2*s(2,4)
1080 + 2*s(1,2)^2*s(3,4)
1081 + 6*s(1,2)*s(1,3)^2
1082 + 12*s(1,2)*s(1,3)*s(2,3)
1083 + 13/2*s(1,2)*s(1,3)*s(2,4)
1084 + 6*s(1,2)*s(1,3)*s(3,4)
1085 + 6*s(1,2)*s(2,3)^2
1086 + 12*s(1,2)*s(2,3)*s(2,4)
1087 + 6*s(1,2)*s(2,3)*s(3,4)
1088 + 6*s(1,2)*s(2,4)^2
1089 + 6*s(1,2)*s(2,4)*s(3,4)
1090 + 2*s(1,2)*s(3,4)^2
1091 + 4*s(1,3)^3
1092 + 12*s(1,3)^2*s(2,3)
1093 + 11/2*s(1,3)^2*s(2,4)
1094 + 6*s(1,3)^2*s(3,4)
1095 + 12*s(1,3)*s(2,3)^2
1096 + 12*s(1,3)*s(2,3)*s(2,4)
1097 + 12*s(1,3)*s(2,3)*s(3,4)
1098 + 11/2*s(1,3)*s(2,4)^2
1099 + 13/2*s(1,3)*s(2,4)*s(3,4)
1100 + 4*s(1,3)*s(3,4)^2
1101 + 4*s(2,3)^3
1102 + 12*s(2,3)^2*s(2,4)
1103 + 6*s(2,3)^2*s(3,4)
1104 + 12*s(2,3)*s(2,4)^2
1105 + 12*s(2,3)*s(2,4)*s(3,4)
1106 + 4*s(2,3)*s(3,4)^2
1107 + 4*s(2,4)^3
1108 + 6*s(2,4)^2*s(3,4)
1109 + 4*s(2,4)*s(3,4)^2
1110 + s(3,4)^3
1113 + zeta3 * (
1114 + s(1,2)
1115 + 2*s(1,3)
1116 + 2*s(2,3)
1117 + 2*s(2,4)
1118 + s(3,4)
1121 + zeta3^2 * (
1122 + s(1,2)^3*s(2,3)
1123 + s(1,2)^3*s(2,4)
1124 + 1/2*s(1,2)^3*s(3,4)
1125 + 2*s(1,2)^2*s(1,3)*s(2,3)
1126 + 3*s(1,2)^2*s(1,3)*s(2,4)
1127 + 2*s(1,2)^2*s(1,3)*s(3,4)
1128 + 3*s(1,2)^2*s(2,3)^2
1129 + 6*s(1,2)^2*s(2,3)*s(2,4)
1130 + 3*s(1,2)^2*s(2,3)*s(3,4)
1131 + 3*s(1,2)^2*s(2,4)^2
1132 + 3*s(1,2)^2*s(2,4)*s(3,4)
1133 + s(1,2)^2*s(3,4)^2
1134 + s(1,2)*s(1,3)^2*s(2,3)
1135 + 7/2*s(1,2)*s(1,3)^2*s(2,4)
1136 + 3*s(1,2)*s(1,3)^2*s(3,4)
1137 + 4*s(1,2)*s(1,3)*s(2,3)^2
1138 + 21/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)
1139 + 7*s(1,2)*s(1,3)*s(2,3)*s(3,4)
1140 + 9/2*s(1,2)*s(1,3)*s(2,4)^2
1141 + 7*s(1,2)*s(1,3)*s(2,4)*s(3,4)
1142 + 3*s(1,2)*s(1,3)*s(3,4)^2
1143 + 3*s(1,2)*s(2,3)^3
1144 + 7*s(1,2)*s(2,3)^2*s(2,4)
1145 + 5*s(1,2)*s(2,3)^2*s(3,4)
1146 + 6*s(1,2)*s(2,3)*s(2,4)^2
1147 + 7*s(1,2)*s(2,3)*s(2,4)*s(3,4)
1148 + 3*s(1,2)*s(2,3)*s(3,4)^2
1149 + 2*s(1,2)*s(2,4)^3
1150 + 3*s(1,2)*s(2,4)^2*s(3,4)
1151 + 2*s(1,2)*s(2,4)*s(3,4)^2
1152 + 1/2*s(1,2)*s(3,4)^3
1153 + s(1,3)^3*s(2,4)
1154 + 2*s(1,3)^3*s(3,4)
1155 + s(1,3)^2*s(2,3)^2
1156 + 13/2*s(1,3)^2*s(2,3)*s(2,4)
1157 + 6*s(1,3)^2*s(2,3)*s(3,4)
1158 + 3*s(1,3)^2*s(2,4)^2
1159 + 9/2*s(1,3)^2*s(2,4)*s(3,4)
1160 + 3*s(1,3)^2*s(3,4)^2
1161 + 2*s(1,3)*s(2,3)^3
1162 + 17/2*s(1,3)*s(2,3)^2*s(2,4)
1163 + 7*s(1,3)*s(2,3)^2*s(3,4)
1164 + 13/2*s(1,3)*s(2,3)*s(2,4)^2
1165 + 21/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1166 + 6*s(1,3)*s(2,3)*s(3,4)^2
1167 + s(1,3)*s(2,4)^3
1168 + 7/2*s(1,3)*s(2,4)^2*s(3,4)
1169 + 3*s(1,3)*s(2,4)*s(3,4)^2
1170 + s(1,3)*s(3,4)^3
1171 + s(2,3)^4
1172 + 2*s(2,3)^3*s(2,4)
1173 + 3*s(2,3)^3*s(3,4)
1174 + s(2,3)^2*s(2,4)^2
1175 + 4*s(2,3)^2*s(2,4)*s(3,4)
1176 + 3*s(2,3)^2*s(3,4)^2
1177 + s(2,3)*s(2,4)^2*s(3,4)
1178 + 2*s(2,3)*s(2,4)*s(3,4)^2
1179 + s(2,3)*s(3,4)^3
1182 + zeta2 * (
1186 + zeta2*zeta5 * (
1187 - 2*s(1,2)^4*s(2,3)
1188 - 2*s(1,2)^4*s(2,4)
1189 - s(1,2)^4*s(3,4)
1190 - 5*s(1,2)^3*s(1,3)*s(2,3)
1191 - 6*s(1,2)^3*s(1,3)*s(2,4)
1192 - 5*s(1,2)^3*s(1,3)*s(3,4)
1193 - 7*s(1,2)^3*s(2,3)^2
1194 - 13*s(1,2)^3*s(2,3)*s(2,4)
1195 - 7*s(1,2)^3*s(2,3)*s(3,4)
1196 - 6*s(1,2)^3*s(2,4)^2
1197 - 6*s(1,2)^3*s(2,4)*s(3,4)
1198 - 2*s(1,2)^3*s(3,4)^2
1199 - 6*s(1,2)^2*s(1,3)^2*s(2,3)
1200 - 10*s(1,2)^2*s(1,3)^2*s(2,4)
1201 - 10*s(1,2)^2*s(1,3)^2*s(3,4)
1202 - 14*s(1,2)^2*s(1,3)*s(2,3)^2
1203 - 57/2*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
1204 - 26*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
1205 - 25/2*s(1,2)^2*s(1,3)*s(2,4)^2
1206 - 37/2*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
1207 - 8*s(1,2)^2*s(1,3)*s(3,4)^2
1208 - 10*s(1,2)^2*s(2,3)^3
1209 - 28*s(1,2)^2*s(2,3)^2*s(2,4)
1210 - 16*s(1,2)^2*s(2,3)^2*s(3,4)
1211 - 26*s(1,2)^2*s(2,3)*s(2,4)^2
1212 - 28*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
1213 - 10*s(1,2)^2*s(2,3)*s(3,4)^2
1214 - 8*s(1,2)^2*s(2,4)^3
1215 - 12*s(1,2)^2*s(2,4)^2*s(3,4)
1216 - 8*s(1,2)^2*s(2,4)*s(3,4)^2
1217 - 2*s(1,2)^2*s(3,4)^3
1218 - 4*s(1,2)*s(1,3)^3*s(2,3)
1219 - 10*s(1,2)*s(1,3)^3*s(2,4)
1220 - 10*s(1,2)*s(1,3)^3*s(3,4)
1221 - 12*s(1,2)*s(1,3)^2*s(2,3)^2
1222 - 30*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
1223 - 36*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
1224 - 12*s(1,2)*s(1,3)^2*s(2,4)^2
1225 - 24*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
1226 - 12*s(1,2)*s(1,3)^2*s(3,4)^2
1227 - 14*s(1,2)*s(1,3)*s(2,3)^3
1228 - 77/2*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
1229 - 42*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
1230 - 36*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
1231 - 107/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1232 - 28*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
1233 - 27/2*s(1,2)*s(1,3)*s(2,4)^3
1234 - 24*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1235 - 37/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1236 - 6*s(1,2)*s(1,3)*s(3,4)^3
1237 - 7*s(1,2)*s(2,3)^4
1238 - 26*s(1,2)*s(2,3)^3*s(2,4)
1239 - 16*s(1,2)*s(2,3)^3*s(3,4)
1240 - 36*s(1,2)*s(2,3)^2*s(2,4)^2
1241 - 42*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
1242 - 16*s(1,2)*s(2,3)^2*s(3,4)^2
1243 - 22*s(1,2)*s(2,3)*s(2,4)^3
1244 - 36*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
1245 - 26*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
1246 - 7*s(1,2)*s(2,3)*s(3,4)^3
1247 - 5*s(1,2)*s(2,4)^4
1248 - 10*s(1,2)*s(2,4)^3*s(3,4)
1249 - 10*s(1,2)*s(2,4)^2*s(3,4)^2
1250 - 5*s(1,2)*s(2,4)*s(3,4)^3
1251 - s(1,2)*s(3,4)^4
1252 - s(1,3)^4*s(2,3)
1253 - 5*s(1,3)^4*s(2,4)
1254 - 5*s(1,3)^4*s(3,4)
1255 - 4*s(1,3)^3*s(2,3)^2
1256 - 31/2*s(1,3)^3*s(2,3)*s(2,4)
1257 - 22*s(1,3)^3*s(2,3)*s(3,4)
1258 - 11/2*s(1,3)^3*s(2,4)^2
1259 - 27/2*s(1,3)^3*s(2,4)*s(3,4)
1260 - 8*s(1,3)^3*s(3,4)^2
1261 - 6*s(1,3)^2*s(2,3)^3
1262 - 20*s(1,3)^2*s(2,3)^2*s(2,4)
1263 - 36*s(1,3)^2*s(2,3)^2*s(3,4)
1264 - 31/2*s(1,3)^2*s(2,3)*s(2,4)^2
1265 - 36*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
1266 - 26*s(1,3)^2*s(2,3)*s(3,4)^2
1267 - 11/2*s(1,3)^2*s(2,4)^3
1268 - 12*s(1,3)^2*s(2,4)^2*s(3,4)
1269 - 25/2*s(1,3)^2*s(2,4)*s(3,4)^2
1270 - 6*s(1,3)^2*s(3,4)^3
1271 - 5*s(1,3)*s(2,3)^4
1272 - 31/2*s(1,3)*s(2,3)^3*s(2,4)
1273 - 26*s(1,3)*s(2,3)^3*s(3,4)
1274 - 20*s(1,3)*s(2,3)^2*s(2,4)^2
1275 - 77/2*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
1276 - 28*s(1,3)*s(2,3)^2*s(3,4)^2
1277 - 31/2*s(1,3)*s(2,3)*s(2,4)^3
1278 - 30*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
1279 - 57/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
1280 - 13*s(1,3)*s(2,3)*s(3,4)^3
1281 - 5*s(1,3)*s(2,4)^4
1282 - 10*s(1,3)*s(2,4)^3*s(3,4)
1283 - 10*s(1,3)*s(2,4)^2*s(3,4)^2
1284 - 6*s(1,3)*s(2,4)*s(3,4)^3
1285 - 2*s(1,3)*s(3,4)^4
1286 - 2*s(2,3)^5
1287 - 5*s(2,3)^4*s(2,4)
1288 - 7*s(2,3)^4*s(3,4)
1289 - 6*s(2,3)^3*s(2,4)^2
1290 - 14*s(2,3)^3*s(2,4)*s(3,4)
1291 - 10*s(2,3)^3*s(3,4)^2
1292 - 4*s(2,3)^2*s(2,4)^3
1293 - 12*s(2,3)^2*s(2,4)^2*s(3,4)
1294 - 14*s(2,3)^2*s(2,4)*s(3,4)^2
1295 - 7*s(2,3)^2*s(3,4)^3
1296 - s(2,3)*s(2,4)^4
1297 - 4*s(2,3)*s(2,4)^3*s(3,4)
1298 - 6*s(2,3)*s(2,4)^2*s(3,4)^2
1299 - 5*s(2,3)*s(2,4)*s(3,4)^3
1300 - 2*s(2,3)*s(3,4)^4
1303 + zeta2*zeta3 * (
1304 - 2*s(1,2)^2*s(2,3)
1305 - 2*s(1,2)^2*s(2,4)
1306 - s(1,2)^2*s(3,4)
1307 - 3*s(1,2)*s(1,3)*s(2,3)
1308 - 4*s(1,2)*s(1,3)*s(2,4)
1309 - 3*s(1,2)*s(1,3)*s(3,4)
1310 - 4*s(1,2)*s(2,3)^2
1311 - 7*s(1,2)*s(2,3)*s(2,4)
1312 - 4*s(1,2)*s(2,3)*s(3,4)
1313 - 3*s(1,2)*s(2,4)^2
1314 - 3*s(1,2)*s(2,4)*s(3,4)
1315 - s(1,2)*s(3,4)^2
1316 - s(1,3)^2*s(2,3)
1317 - 3*s(1,3)^2*s(2,4)
1318 - 3*s(1,3)^2*s(3,4)
1319 - 3*s(1,3)*s(2,3)^2
1320 - 7*s(1,3)*s(2,3)*s(2,4)
1321 - 7*s(1,3)*s(2,3)*s(3,4)
1322 - 3*s(1,3)*s(2,4)^2
1323 - 4*s(1,3)*s(2,4)*s(3,4)
1324 - 2*s(1,3)*s(3,4)^2
1325 - 2*s(2,3)^3
1326 - 3*s(2,3)^2*s(2,4)
1327 - 4*s(2,3)^2*s(3,4)
1328 - s(2,3)*s(2,4)^2
1329 - 3*s(2,3)*s(2,4)*s(3,4)
1330 - 2*s(2,3)*s(3,4)^2
1333 + zeta2^2 * (
1334 - 2/5*s(1,2)^2
1335 - 6/5*s(1,2)*s(1,3)
1336 - 1/5*s(1,2)*s(2,3)
1337 - 1/5*s(1,2)*s(2,4)
1338 - 1/10*s(1,2)*s(3,4)
1339 - 6/5*s(1,3)^2
1340 - 7/5*s(1,3)*s(2,3)
1341 + 3/10*s(1,3)*s(2,4)
1342 - 1/5*s(1,3)*s(3,4)
1343 - 1/5*s(2,3)^2
1344 - 7/5*s(2,3)*s(2,4)
1345 - 1/5*s(2,3)*s(3,4)
1346 - 6/5*s(2,4)^2
1347 - 6/5*s(2,4)*s(3,4)
1348 - 2/5*s(3,4)^2
1351 + zeta2^2*zeta3 * (
1352 - 4/5*s(1,2)^4*s(2,3)
1353 - 4/5*s(1,2)^4*s(2,4)
1354 - 2/5*s(1,2)^4*s(3,4)
1355 - 2*s(1,2)^3*s(1,3)*s(2,3)
1356 - 16/5*s(1,2)^3*s(1,3)*s(2,4)
1357 - 2*s(1,2)^3*s(1,3)*s(3,4)
1358 - 3/2*s(1,2)^3*s(2,3)^2
1359 - 3*s(1,2)^3*s(2,3)*s(2,4)
1360 - 3/2*s(1,2)^3*s(2,3)*s(3,4)
1361 - 3/2*s(1,2)^3*s(2,4)^2
1362 - 3/2*s(1,2)^3*s(2,4)*s(3,4)
1363 - 1/2*s(1,2)^3*s(3,4)^2
1364 - 8/5*s(1,2)^2*s(1,3)^2*s(2,3)
1365 - 26/5*s(1,2)^2*s(1,3)^2*s(2,4)
1366 - 4*s(1,2)^2*s(1,3)^2*s(3,4)
1367 - 18/5*s(1,2)^2*s(1,3)*s(2,3)^2
1368 - 51/5*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
1369 - 28/5*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
1370 - 37/10*s(1,2)^2*s(1,3)*s(2,4)^2
1371 - 5*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
1372 - 2*s(1,2)^2*s(1,3)*s(3,4)^2
1373 - 7/5*s(1,2)^2*s(2,3)^3
1374 - 22/5*s(1,2)^2*s(2,3)^2*s(2,4)
1375 - 9/5*s(1,2)^2*s(2,3)^2*s(3,4)
1376 - 5*s(1,2)^2*s(2,3)*s(2,4)^2
1377 - 22/5*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
1378 - 7/5*s(1,2)^2*s(2,3)*s(3,4)^2
1379 - 2*s(1,2)^2*s(2,4)^3
1380 - 3*s(1,2)^2*s(2,4)^2*s(3,4)
1381 - 2*s(1,2)^2*s(2,4)*s(3,4)^2
1382 - 1/2*s(1,2)^2*s(3,4)^3
1383 - 2/5*s(1,2)*s(1,3)^3*s(2,3)
1384 - 16/5*s(1,2)*s(1,3)^3*s(2,4)
1385 - 4*s(1,2)*s(1,3)^3*s(3,4)
1386 - 5/2*s(1,2)*s(1,3)^2*s(2,3)^2
1387 - 25/2*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
1388 - 91/10*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
1389 - 21/5*s(1,2)*s(1,3)^2*s(2,4)^2
1390 - 49/10*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
1391 - 3*s(1,2)*s(1,3)^2*s(3,4)^2
1392 - 18/5*s(1,2)*s(1,3)*s(2,3)^3
1393 - 143/10*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
1394 - 13/2*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
1395 - 91/10*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
1396 - 121/10*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1397 - 22/5*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
1398 - 13/10*s(1,2)*s(1,3)*s(2,4)^3
1399 - 49/10*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1400 - 5*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1401 - 3/2*s(1,2)*s(1,3)*s(3,4)^3
1402 - 3/2*s(1,2)*s(2,3)^4
1403 - 28/5*s(1,2)*s(2,3)^3*s(2,4)
1404 - 9/5*s(1,2)*s(2,3)^3*s(3,4)
1405 - 91/10*s(1,2)*s(2,3)^2*s(2,4)^2
1406 - 13/2*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
1407 - 9/5*s(1,2)*s(2,3)^2*s(3,4)^2
1408 - 7*s(1,2)*s(2,3)*s(2,4)^3
1409 - 91/10*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
1410 - 28/5*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
1411 - 3/2*s(1,2)*s(2,3)*s(3,4)^3
1412 - 2*s(1,2)*s(2,4)^4
1413 - 4*s(1,2)*s(2,4)^3*s(3,4)
1414 - 4*s(1,2)*s(2,4)^2*s(3,4)^2
1415 - 2*s(1,2)*s(2,4)*s(3,4)^3
1416 - 2/5*s(1,2)*s(3,4)^4
1417 - 4/5*s(1,3)^4*s(2,4)
1418 - 2*s(1,3)^4*s(3,4)
1419 - 2/5*s(1,3)^3*s(2,3)^2
1420 - 23/5*s(1,3)^3*s(2,3)*s(2,4)
1421 - 7*s(1,3)^3*s(2,3)*s(3,4)
1422 - 7/5*s(1,3)^3*s(2,4)^2
1423 - 13/10*s(1,3)^3*s(2,4)*s(3,4)
1424 - 2*s(1,3)^3*s(3,4)^2
1425 - 8/5*s(1,3)^2*s(2,3)^3
1426 - 117/10*s(1,3)^2*s(2,3)^2*s(2,4)
1427 - 91/10*s(1,3)^2*s(2,3)^2*s(3,4)
1428 - 79/10*s(1,3)^2*s(2,3)*s(2,4)^2
1429 - 91/10*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
1430 - 5*s(1,3)^2*s(2,3)*s(3,4)^2
1431 - 7/5*s(1,3)^2*s(2,4)^3
1432 - 21/5*s(1,3)^2*s(2,4)^2*s(3,4)
1433 - 37/10*s(1,3)^2*s(2,4)*s(3,4)^2
1434 - 3/2*s(1,3)^2*s(3,4)^3
1435 - 2*s(1,3)*s(2,3)^4
1436 - 111/10*s(1,3)*s(2,3)^3*s(2,4)
1437 - 28/5*s(1,3)*s(2,3)^3*s(3,4)
1438 - 117/10*s(1,3)*s(2,3)^2*s(2,4)^2
1439 - 143/10*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
1440 - 22/5*s(1,3)*s(2,3)^2*s(3,4)^2
1441 - 23/5*s(1,3)*s(2,3)*s(2,4)^3
1442 - 25/2*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
1443 - 51/5*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
1444 - 3*s(1,3)*s(2,3)*s(3,4)^3
1445 - 4/5*s(1,3)*s(2,4)^4
1446 - 16/5*s(1,3)*s(2,4)^3*s(3,4)
1447 - 26/5*s(1,3)*s(2,4)^2*s(3,4)^2
1448 - 16/5*s(1,3)*s(2,4)*s(3,4)^3
1449 - 4/5*s(1,3)*s(3,4)^4
1450 - 4/5*s(2,3)^5
1451 - 2*s(2,3)^4*s(2,4)
1452 - 3/2*s(2,3)^4*s(3,4)
1453 - 8/5*s(2,3)^3*s(2,4)^2
1454 - 18/5*s(2,3)^3*s(2,4)*s(3,4)
1455 - 7/5*s(2,3)^3*s(3,4)^2
1456 - 2/5*s(2,3)^2*s(2,4)^3
1457 - 5/2*s(2,3)^2*s(2,4)^2*s(3,4)
1458 - 18/5*s(2,3)^2*s(2,4)*s(3,4)^2
1459 - 3/2*s(2,3)^2*s(3,4)^3
1460 - 2/5*s(2,3)*s(2,4)^3*s(3,4)
1461 - 8/5*s(2,3)*s(2,4)^2*s(3,4)^2
1462 - 2*s(2,3)*s(2,4)*s(3,4)^3
1463 - 4/5*s(2,3)*s(3,4)^4
1466 + zeta2^3 * (
1467 - 8/35*s(1,2)^4
1468 - 8/7*s(1,2)^3*s(1,3)
1469 - 12/35*s(1,2)^3*s(2,3)
1470 - 12/35*s(1,2)^3*s(2,4)
1471 - 6/35*s(1,2)^3*s(3,4)
1472 - 16/7*s(1,2)^2*s(1,3)^2
1473 - 104/35*s(1,2)^2*s(1,3)*s(2,3)
1474 - 2/3*s(1,2)^2*s(1,3)*s(2,4)
1475 - 24/35*s(1,2)^2*s(1,3)*s(3,4)
1476 - 41/70*s(1,2)^2*s(2,3)^2
1477 - 11/7*s(1,2)^2*s(2,3)*s(2,4)
1478 - 41/70*s(1,2)^2*s(2,3)*s(3,4)
1479 - 69/70*s(1,2)^2*s(2,4)^2
1480 - 69/70*s(1,2)^2*s(2,4)*s(3,4)
1481 - 23/70*s(1,2)^2*s(3,4)^2
1482 - 16/7*s(1,2)*s(1,3)^3
1483 - 198/35*s(1,2)*s(1,3)^2*s(2,3)
1484 - 36/35*s(1,2)*s(1,3)^2*s(2,4)
1485 - 36/35*s(1,2)*s(1,3)^2*s(3,4)
1486 - 61/14*s(1,2)*s(1,3)*s(2,3)^2
1487 - 317/105*s(1,2)*s(1,3)*s(2,3)*s(2,4)
1488 - 13/7*s(1,2)*s(1,3)*s(2,3)*s(3,4)
1489 - 10/7*s(1,2)*s(1,3)*s(2,4)^2
1490 - 209/105*s(1,2)*s(1,3)*s(2,4)*s(3,4)
1491 - 69/70*s(1,2)*s(1,3)*s(3,4)^2
1492 - 41/70*s(1,2)*s(2,3)^3
1493 - 13/7*s(1,2)*s(2,3)^2*s(2,4)
1494 - 29/35*s(1,2)*s(2,3)^2*s(3,4)
1495 - 137/70*s(1,2)*s(2,3)*s(2,4)^2
1496 - 13/7*s(1,2)*s(2,3)*s(2,4)*s(3,4)
1497 - 41/70*s(1,2)*s(2,3)*s(3,4)^2
1498 - 24/35*s(1,2)*s(2,4)^3
1499 - 36/35*s(1,2)*s(2,4)^2*s(3,4)
1500 - 24/35*s(1,2)*s(2,4)*s(3,4)^2
1501 - 6/35*s(1,2)*s(3,4)^3
1502 - 8/7*s(1,3)^4
1503 - 146/35*s(1,3)^3*s(2,3)
1504 - 32/105*s(1,3)^3*s(2,4)
1505 - 24/35*s(1,3)^3*s(3,4)
1506 - 198/35*s(1,3)^2*s(2,3)^2
1507 - 419/210*s(1,3)^2*s(2,3)*s(2,4)
1508 - 137/70*s(1,3)^2*s(2,3)*s(3,4)
1509 - 29/30*s(1,3)^2*s(2,4)^2
1510 - 10/7*s(1,3)^2*s(2,4)*s(3,4)
1511 - 69/70*s(1,3)^2*s(3,4)^2
1512 - 104/35*s(1,3)*s(2,3)^3
1513 - 33/14*s(1,3)*s(2,3)^2*s(2,4)
1514 - 13/7*s(1,3)*s(2,3)^2*s(3,4)
1515 - 419/210*s(1,3)*s(2,3)*s(2,4)^2
1516 - 317/105*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1517 - 11/7*s(1,3)*s(2,3)*s(3,4)^2
1518 - 32/105*s(1,3)*s(2,4)^3
1519 - 36/35*s(1,3)*s(2,4)^2*s(3,4)
1520 - 2/3*s(1,3)*s(2,4)*s(3,4)^2
1521 - 12/35*s(1,3)*s(3,4)^3
1522 - 12/35*s(2,3)^4
1523 - 104/35*s(2,3)^3*s(2,4)
1524 - 41/70*s(2,3)^3*s(3,4)
1525 - 198/35*s(2,3)^2*s(2,4)^2
1526 - 61/14*s(2,3)^2*s(2,4)*s(3,4)
1527 - 41/70*s(2,3)^2*s(3,4)^2
1528 - 146/35*s(2,3)*s(2,4)^3
1529 - 198/35*s(2,3)*s(2,4)^2*s(3,4)
1530 - 104/35*s(2,3)*s(2,4)*s(3,4)^2
1531 - 12/35*s(2,3)*s(3,4)^3
1532 - 8/7*s(2,4)^4
1533 - 16/7*s(2,4)^3*s(3,4)
1534 - 16/7*s(2,4)^2*s(3,4)^2
1535 - 8/7*s(2,4)*s(3,4)^3
1536 - 8/35*s(3,4)^4
1539 id Z(1,3)*Z(2,4) =
1541 + zeta7 * (
1542 - 6*s(1,2)^5
1543 - 15*s(1,2)^4*s(1,3)
1544 - 26*s(1,2)^4*s(2,3)
1545 - 15*s(1,2)^4*s(2,4)
1546 - 11*s(1,2)^4*s(3,4)
1547 - 20*s(1,2)^3*s(1,3)^2
1548 - 57*s(1,2)^3*s(1,3)*s(2,3)
1549 - 30*s(1,2)^3*s(1,3)*s(2,4)
1550 - 27*s(1,2)^3*s(1,3)*s(3,4)
1551 - 813/16*s(1,2)^3*s(2,3)^2
1552 - 57*s(1,2)^3*s(2,3)*s(2,4)
1553 - 357/8*s(1,2)^3*s(2,3)*s(3,4)
1554 - 20*s(1,2)^3*s(2,4)^2
1555 - 27*s(1,2)^3*s(2,4)*s(3,4)
1556 - 221/16*s(1,2)^3*s(3,4)^2
1557 - 15*s(1,2)^2*s(1,3)^3
1558 - 63*s(1,2)^2*s(1,3)^2*s(2,3)
1559 - 30*s(1,2)^2*s(1,3)^2*s(2,4)
1560 - 33*s(1,2)^2*s(1,3)^2*s(3,4)
1561 - 709/8*s(1,2)^2*s(1,3)*s(2,3)^2
1562 - 1357/16*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
1563 - 1479/16*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
1564 - 30*s(1,2)^2*s(1,3)*s(2,4)^2
1565 - 899/16*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
1566 - 541/16*s(1,2)^2*s(1,3)*s(3,4)^2
1567 - 871/16*s(1,2)^2*s(2,3)^3
1568 - 709/8*s(1,2)^2*s(2,3)^2*s(2,4)
1569 - 1195/16*s(1,2)^2*s(2,3)^2*s(3,4)
1570 - 63*s(1,2)^2*s(2,3)*s(2,4)^2
1571 - 1479/16*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
1572 - 785/16*s(1,2)^2*s(2,3)*s(3,4)^2
1573 - 15*s(1,2)^2*s(2,4)^3
1574 - 33*s(1,2)^2*s(2,4)^2*s(3,4)
1575 - 541/16*s(1,2)^2*s(2,4)*s(3,4)^2
1576 - 221/16*s(1,2)^2*s(3,4)^3
1577 - 6*s(1,2)*s(1,3)^4
1578 - 34*s(1,2)*s(1,3)^3*s(2,3)
1579 - 15*s(1,2)*s(1,3)^3*s(2,4)
1580 - 19*s(1,2)*s(1,3)^3*s(3,4)
1581 - 1165/16*s(1,2)*s(1,3)^2*s(2,3)^2
1582 - 957/16*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
1583 - 1373/16*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
1584 - 20*s(1,2)*s(1,3)^2*s(2,4)^2
1585 - 739/16*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
1586 - 33*s(1,2)*s(1,3)^2*s(3,4)^2
1587 - 273/4*s(1,2)*s(1,3)*s(2,3)^3
1588 - 1377/16*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
1589 - 1899/16*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
1590 - 957/16*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
1591 - 1029/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1592 - 1479/16*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
1593 - 15*s(1,2)*s(1,3)*s(2,4)^3
1594 - 739/16*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1595 - 899/16*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1596 - 27*s(1,2)*s(1,3)*s(3,4)^3
1597 - 551/16*s(1,2)*s(2,3)^4
1598 - 273/4*s(1,2)*s(2,3)^3*s(2,4)
1599 - 139/2*s(1,2)*s(2,3)^3*s(3,4)
1600 - 1165/16*s(1,2)*s(2,3)^2*s(2,4)^2
1601 - 1899/16*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
1602 - 1195/16*s(1,2)*s(2,3)^2*s(3,4)^2
1603 - 34*s(1,2)*s(2,3)*s(2,4)^3
1604 - 1373/16*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
1605 - 1479/16*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
1606 - 357/8*s(1,2)*s(2,3)*s(3,4)^3
1607 - 6*s(1,2)*s(2,4)^4
1608 - 19*s(1,2)*s(2,4)^3*s(3,4)
1609 - 33*s(1,2)*s(2,4)^2*s(3,4)^2
1610 - 27*s(1,2)*s(2,4)*s(3,4)^3
1611 - 11*s(1,2)*s(3,4)^4
1612 - s(1,3)^5
1613 - 9*s(1,3)^4*s(2,3)
1614 - 3*s(1,3)^4*s(2,4)
1615 - 6*s(1,3)^4*s(3,4)
1616 - 24*s(1,3)^3*s(2,3)^2
1617 - 14*s(1,3)^3*s(2,3)*s(2,4)
1618 - 34*s(1,3)^3*s(2,3)*s(3,4)
1619 - 5*s(1,3)^3*s(2,4)^2
1620 - 15*s(1,3)^3*s(2,4)*s(3,4)
1621 - 15*s(1,3)^3*s(3,4)^2
1622 - 557/16*s(1,3)^2*s(2,3)^3
1623 - 253/8*s(1,3)^2*s(2,3)^2*s(2,4)
1624 - 1165/16*s(1,3)^2*s(2,3)^2*s(3,4)
1625 - 349/16*s(1,3)^2*s(2,3)*s(2,4)^2
1626 - 957/16*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
1627 - 63*s(1,3)^2*s(2,3)*s(3,4)^2
1628 - 5*s(1,3)^2*s(2,4)^3
1629 - 20*s(1,3)^2*s(2,4)^2*s(3,4)
1630 - 30*s(1,3)^2*s(2,4)*s(3,4)^2
1631 - 20*s(1,3)^2*s(3,4)^3
1632 - 197/8*s(1,3)*s(2,3)^4
1633 - 121/4*s(1,3)*s(2,3)^3*s(2,4)
1634 - 273/4*s(1,3)*s(2,3)^3*s(3,4)
1635 - 253/8*s(1,3)*s(2,3)^2*s(2,4)^2
1636 - 1377/16*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
1637 - 709/8*s(1,3)*s(2,3)^2*s(3,4)^2
1638 - 14*s(1,3)*s(2,3)*s(2,4)^3
1639 - 957/16*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
1640 - 1357/16*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
1641 - 57*s(1,3)*s(2,3)*s(3,4)^3
1642 - 3*s(1,3)*s(2,4)^4
1643 - 15*s(1,3)*s(2,4)^3*s(3,4)
1644 - 30*s(1,3)*s(2,4)^2*s(3,4)^2
1645 - 30*s(1,3)*s(2,4)*s(3,4)^3
1646 - 15*s(1,3)*s(3,4)^4
1647 - 189/16*s(2,3)^5
1648 - 197/8*s(2,3)^4*s(2,4)
1649 - 551/16*s(2,3)^4*s(3,4)
1650 - 557/16*s(2,3)^3*s(2,4)^2
1651 - 273/4*s(2,3)^3*s(2,4)*s(3,4)
1652 - 871/16*s(2,3)^3*s(3,4)^2
1653 - 24*s(2,3)^2*s(2,4)^3
1654 - 1165/16*s(2,3)^2*s(2,4)^2*s(3,4)
1655 - 709/8*s(2,3)^2*s(2,4)*s(3,4)^2
1656 - 813/16*s(2,3)^2*s(3,4)^3
1657 - 9*s(2,3)*s(2,4)^4
1658 - 34*s(2,3)*s(2,4)^3*s(3,4)
1659 - 63*s(2,3)*s(2,4)^2*s(3,4)^2
1660 - 57*s(2,3)*s(2,4)*s(3,4)^3
1661 - 26*s(2,3)*s(3,4)^4
1662 - s(2,4)^5
1663 - 6*s(2,4)^4*s(3,4)
1664 - 15*s(2,4)^3*s(3,4)^2
1665 - 20*s(2,4)^2*s(3,4)^3
1666 - 15*s(2,4)*s(3,4)^4
1667 - 6*s(3,4)^5
1670 + zeta5 * (
1671 - 4*s(1,2)^3
1672 - 6*s(1,2)^2*s(1,3)
1673 - 23/2*s(1,2)^2*s(2,3)
1674 - 6*s(1,2)^2*s(2,4)
1675 - 11/2*s(1,2)^2*s(3,4)
1676 - 4*s(1,2)*s(1,3)^2
1677 - 25/2*s(1,2)*s(1,3)*s(2,3)
1678 - 6*s(1,2)*s(1,3)*s(2,4)
1679 - 13/2*s(1,2)*s(1,3)*s(3,4)
1680 - 14*s(1,2)*s(2,3)^2
1681 - 25/2*s(1,2)*s(2,3)*s(2,4)
1682 - 31/2*s(1,2)*s(2,3)*s(3,4)
1683 - 4*s(1,2)*s(2,4)^2
1684 - 13/2*s(1,2)*s(2,4)*s(3,4)
1685 - 11/2*s(1,2)*s(3,4)^2
1686 - s(1,3)^3
1687 - 6*s(1,3)^2*s(2,3)
1688 - 2*s(1,3)^2*s(2,4)
1689 - 4*s(1,3)^2*s(3,4)
1690 - 17/2*s(1,3)*s(2,3)^2
1691 - 9/2*s(1,3)*s(2,3)*s(2,4)
1692 - 25/2*s(1,3)*s(2,3)*s(3,4)
1693 - 2*s(1,3)*s(2,4)^2
1694 - 6*s(1,3)*s(2,4)*s(3,4)
1695 - 6*s(1,3)*s(3,4)^2
1696 - 15/2*s(2,3)^3
1697 - 17/2*s(2,3)^2*s(2,4)
1698 - 14*s(2,3)^2*s(3,4)
1699 - 6*s(2,3)*s(2,4)^2
1700 - 25/2*s(2,3)*s(2,4)*s(3,4)
1701 - 23/2*s(2,3)*s(3,4)^2
1702 - s(2,4)^3
1703 - 4*s(2,4)^2*s(3,4)
1704 - 6*s(2,4)*s(3,4)^2
1705 - 4*s(3,4)^3
1708 + zeta3 * (
1709 - 2*s(1,2)
1710 - s(1,3)
1711 - 3*s(2,3)
1712 - s(2,4)
1713 - 2*s(3,4)
1716 + zeta3^2 * (
1717 - s(1,2)^3*s(2,3)
1718 - 2*s(1,2)^3*s(2,4)
1719 - s(1,2)^3*s(3,4)
1720 - 1/2*s(1,2)^2*s(1,3)*s(2,3)
1721 - 3*s(1,2)^2*s(1,3)*s(2,4)
1722 - 5/2*s(1,2)^2*s(1,3)*s(3,4)
1723 - 5/2*s(1,2)^2*s(2,3)^2
1724 - 15/2*s(1,2)^2*s(2,3)*s(2,4)
1725 - 9/2*s(1,2)^2*s(2,3)*s(3,4)
1726 - 3*s(1,2)^2*s(2,4)^2
1727 - 9/2*s(1,2)^2*s(2,4)*s(3,4)
1728 - 2*s(1,2)^2*s(3,4)^2
1729 - s(1,2)*s(1,3)^2*s(2,3)
1730 - 2*s(1,2)*s(1,3)^2*s(2,4)
1731 - 3*s(1,2)*s(1,3)^2*s(3,4)
1732 - 3/2*s(1,2)*s(1,3)*s(2,3)^2
1733 - 7*s(1,2)*s(1,3)*s(2,3)*s(2,4)
1734 - 8*s(1,2)*s(1,3)*s(2,3)*s(3,4)
1735 - 3*s(1,2)*s(1,3)*s(2,4)^2
1736 - 6*s(1,2)*s(1,3)*s(2,4)*s(3,4)
1737 - 9/2*s(1,2)*s(1,3)*s(3,4)^2
1738 - 3/2*s(1,2)*s(2,3)^3
1739 - 15/2*s(1,2)*s(2,3)^2*s(2,4)
1740 - 5*s(1,2)*s(2,3)^2*s(3,4)
1741 - 6*s(1,2)*s(2,3)*s(2,4)^2
1742 - 8*s(1,2)*s(2,3)*s(2,4)*s(3,4)
1743 - 9/2*s(1,2)*s(2,3)*s(3,4)^2
1744 - s(1,2)*s(2,4)^3
1745 - 3*s(1,2)*s(2,4)^2*s(3,4)
1746 - 5/2*s(1,2)*s(2,4)*s(3,4)^2
1747 - s(1,2)*s(3,4)^3
1748 - 1/2*s(1,3)^3*s(2,3)
1749 - 1/2*s(1,3)^3*s(2,4)
1750 - s(1,3)^3*s(3,4)
1751 - 2*s(1,3)^2*s(2,3)^2
1752 - 3*s(1,3)^2*s(2,3)*s(2,4)
1753 - 6*s(1,3)^2*s(2,3)*s(3,4)
1754 - s(1,3)^2*s(2,4)^2
1755 - 3*s(1,3)^2*s(2,4)*s(3,4)
1756 - 3*s(1,3)^2*s(3,4)^2
1757 - 3/2*s(1,3)*s(2,3)^3
1758 - 4*s(1,3)*s(2,3)^2*s(2,4)
1759 - 15/2*s(1,3)*s(2,3)^2*s(3,4)
1760 - 3*s(1,3)*s(2,3)*s(2,4)^2
1761 - 7*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1762 - 15/2*s(1,3)*s(2,3)*s(3,4)^2
1763 - 1/2*s(1,3)*s(2,4)^3
1764 - 2*s(1,3)*s(2,4)^2*s(3,4)
1765 - 3*s(1,3)*s(2,4)*s(3,4)^2
1766 - 2*s(1,3)*s(3,4)^3
1767 - 3/2*s(2,3)^3*s(2,4)
1768 - 3/2*s(2,3)^3*s(3,4)
1769 - 2*s(2,3)^2*s(2,4)^2
1770 - 3/2*s(2,3)^2*s(2,4)*s(3,4)
1771 - 5/2*s(2,3)^2*s(3,4)^2
1772 - 1/2*s(2,3)*s(2,4)^3
1773 - s(2,3)*s(2,4)^2*s(3,4)
1774 - 1/2*s(2,3)*s(2,4)*s(3,4)^2
1775 - s(2,3)*s(3,4)^3
1778 + zeta2 * (
1782 + zeta2*zeta5 * (
1783 + 4*s(1,2)^4*s(2,3)
1784 + 5*s(1,2)^4*s(2,4)
1785 + 4*s(1,2)^4*s(3,4)
1786 + 6*s(1,2)^3*s(1,3)*s(2,3)
1787 + 10*s(1,2)^3*s(1,3)*s(2,4)
1788 + 10*s(1,2)^3*s(1,3)*s(3,4)
1789 + 23/2*s(1,2)^3*s(2,3)^2
1790 + 43/2*s(1,2)^3*s(2,3)*s(2,4)
1791 + 21*s(1,2)^3*s(2,3)*s(3,4)
1792 + 8*s(1,2)^3*s(2,4)^2
1793 + 23/2*s(1,2)^3*s(2,4)*s(3,4)
1794 + 11/2*s(1,2)^3*s(3,4)^2
1795 + 4*s(1,2)^2*s(1,3)^2*s(2,3)
1796 + 10*s(1,2)^2*s(1,3)^2*s(2,4)
1797 + 10*s(1,2)^2*s(1,3)^2*s(3,4)
1798 + 25/2*s(1,2)^2*s(1,3)*s(2,3)^2
1799 + 61/2*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
1800 + 73/2*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
1801 + 12*s(1,2)^2*s(1,3)*s(2,4)^2
1802 + 24*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
1803 + 12*s(1,2)^2*s(1,3)*s(3,4)^2
1804 + 14*s(1,2)^2*s(2,3)^3
1805 + 65/2*s(1,2)^2*s(2,3)^2*s(2,4)
1806 + 41*s(1,2)^2*s(2,3)^2*s(3,4)
1807 + 45/2*s(1,2)^2*s(2,3)*s(2,4)^2
1808 + 81/2*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
1809 + 53/2*s(1,2)^2*s(2,3)*s(3,4)^2
1810 + 6*s(1,2)^2*s(2,4)^3
1811 + 21/2*s(1,2)^2*s(2,4)^2*s(3,4)
1812 + 12*s(1,2)^2*s(2,4)*s(3,4)^2
1813 + 11/2*s(1,2)^2*s(3,4)^3
1814 + s(1,2)*s(1,3)^3*s(2,3)
1815 + 5*s(1,2)*s(1,3)^3*s(2,4)
1816 + 5*s(1,2)*s(1,3)^3*s(3,4)
1817 + 6*s(1,2)*s(1,3)^2*s(2,3)^2
1818 + 20*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
1819 + 53/2*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
1820 + 8*s(1,2)*s(1,3)^2*s(2,4)^2
1821 + 37/2*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
1822 + 21/2*s(1,2)*s(1,3)^2*s(3,4)^2
1823 + 17/2*s(1,2)*s(1,3)*s(2,3)^3
1824 + 25*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
1825 + 95/2*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
1826 + 37/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
1827 + 107/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1828 + 81/2*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
1829 + 6*s(1,2)*s(1,3)*s(2,4)^3
1830 + 37/2*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1831 + 24*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1832 + 23/2*s(1,2)*s(1,3)*s(3,4)^3
1833 + 15/2*s(1,2)*s(2,3)^4
1834 + 20*s(1,2)*s(2,3)^3*s(2,4)
1835 + 71/2*s(1,2)*s(2,3)^3*s(3,4)
1836 + 41/2*s(1,2)*s(2,3)^2*s(2,4)^2
1837 + 95/2*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
1838 + 41*s(1,2)*s(2,3)^2*s(3,4)^2
1839 + 11*s(1,2)*s(2,3)*s(2,4)^3
1840 + 53/2*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
1841 + 73/2*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
1842 + 21*s(1,2)*s(2,3)*s(3,4)^3
1843 + 2*s(1,2)*s(2,4)^4
1844 + 5*s(1,2)*s(2,4)^3*s(3,4)
1845 + 10*s(1,2)*s(2,4)^2*s(3,4)^2
1846 + 10*s(1,2)*s(2,4)*s(3,4)^3
1847 + 4*s(1,2)*s(3,4)^4
1848 + s(1,3)^4*s(2,3)
1849 + s(1,3)^4*s(2,4)
1850 + 2*s(1,3)^4*s(3,4)
1851 + 2*s(1,3)^3*s(2,3)^2
1852 + 4*s(1,3)^3*s(2,3)*s(2,4)
1853 + 11*s(1,3)^3*s(2,3)*s(3,4)
1854 + 2*s(1,3)^3*s(2,4)^2
1855 + 6*s(1,3)^3*s(2,4)*s(3,4)
1856 + 6*s(1,3)^3*s(3,4)^2
1857 + 2*s(1,3)^2*s(2,3)^3
1858 + 6*s(1,3)^2*s(2,3)^2*s(2,4)
1859 + 41/2*s(1,3)^2*s(2,3)^2*s(3,4)
1860 + 6*s(1,3)^2*s(2,3)*s(2,4)^2
1861 + 37/2*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
1862 + 45/2*s(1,3)^2*s(2,3)*s(3,4)^2
1863 + 2*s(1,3)^2*s(2,4)^3
1864 + 8*s(1,3)^2*s(2,4)^2*s(3,4)
1865 + 12*s(1,3)^2*s(2,4)*s(3,4)^2
1866 + 8*s(1,3)^2*s(3,4)^3
1867 + s(1,3)*s(2,3)^4
1868 + 4*s(1,3)*s(2,3)^3*s(2,4)
1869 + 20*s(1,3)*s(2,3)^3*s(3,4)
1870 + 6*s(1,3)*s(2,3)^2*s(2,4)^2
1871 + 25*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
1872 + 65/2*s(1,3)*s(2,3)^2*s(3,4)^2
1873 + 4*s(1,3)*s(2,3)*s(2,4)^3
1874 + 20*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
1875 + 61/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
1876 + 43/2*s(1,3)*s(2,3)*s(3,4)^3
1877 + s(1,3)*s(2,4)^4
1878 + 5*s(1,3)*s(2,4)^3*s(3,4)
1879 + 10*s(1,3)*s(2,4)^2*s(3,4)^2
1880 + 10*s(1,3)*s(2,4)*s(3,4)^3
1881 + 5*s(1,3)*s(3,4)^4
1882 + s(2,3)^4*s(2,4)
1883 + 15/2*s(2,3)^4*s(3,4)
1884 + 2*s(2,3)^3*s(2,4)^2
1885 + 17/2*s(2,3)^3*s(2,4)*s(3,4)
1886 + 14*s(2,3)^3*s(3,4)^2
1887 + 2*s(2,3)^2*s(2,4)^3
1888 + 6*s(2,3)^2*s(2,4)^2*s(3,4)
1889 + 25/2*s(2,3)^2*s(2,4)*s(3,4)^2
1890 + 23/2*s(2,3)^2*s(3,4)^3
1891 + s(2,3)*s(2,4)^4
1892 + s(2,3)*s(2,4)^3*s(3,4)
1893 + 4*s(2,3)*s(2,4)^2*s(3,4)^2
1894 + 6*s(2,3)*s(2,4)*s(3,4)^3
1895 + 4*s(2,3)*s(3,4)^4
1898 + zeta2*zeta3 * (
1899 + 2*s(1,2)^2*s(2,3)
1900 + 3*s(1,2)^2*s(2,4)
1901 + 2*s(1,2)^2*s(3,4)
1902 + s(1,2)*s(1,3)*s(2,3)
1903 + 3*s(1,2)*s(1,3)*s(2,4)
1904 + 3*s(1,2)*s(1,3)*s(3,4)
1905 + 3*s(1,2)*s(2,3)^2
1906 + 6*s(1,2)*s(2,3)*s(2,4)
1907 + 7*s(1,2)*s(2,3)*s(3,4)
1908 + 2*s(1,2)*s(2,4)^2
1909 + 3*s(1,2)*s(2,4)*s(3,4)
1910 + 2*s(1,2)*s(3,4)^2
1911 + s(1,3)^2*s(2,3)
1912 + s(1,3)^2*s(2,4)
1913 + 2*s(1,3)^2*s(3,4)
1914 + s(1,3)*s(2,3)^2
1915 + 2*s(1,3)*s(2,3)*s(2,4)
1916 + 6*s(1,3)*s(2,3)*s(3,4)
1917 + s(1,3)*s(2,4)^2
1918 + 3*s(1,3)*s(2,4)*s(3,4)
1919 + 3*s(1,3)*s(3,4)^2
1920 + s(2,3)^2*s(2,4)
1921 + 3*s(2,3)^2*s(3,4)
1922 + s(2,3)*s(2,4)^2
1923 + s(2,3)*s(2,4)*s(3,4)
1924 + 2*s(2,3)*s(3,4)^2
1927 + zeta2^2 * (
1928 + 6/5*s(1,2)^2
1929 + 6/5*s(1,2)*s(1,3)
1930 + 19/10*s(1,2)*s(2,3)
1931 + 1/5*s(1,2)*s(2,4)
1932 + 7/10*s(1,2)*s(3,4)
1933 + 2/5*s(1,3)^2
1934 + 13/10*s(1,3)*s(2,3)
1935 + 1/10*s(1,3)*s(2,4)
1936 + 1/5*s(1,3)*s(3,4)
1937 + 21/10*s(2,3)^2
1938 + 13/10*s(2,3)*s(2,4)
1939 + 19/10*s(2,3)*s(3,4)
1940 + 2/5*s(2,4)^2
1941 + 6/5*s(2,4)*s(3,4)
1942 + 6/5*s(3,4)^2
1945 + zeta2^2*zeta3 * (
1946 + 4/5*s(1,2)^4*s(2,3)
1947 + 2*s(1,2)^4*s(2,4)
1948 + 4/5*s(1,2)^4*s(3,4)
1949 + 2/5*s(1,2)^3*s(1,3)*s(2,3)
1950 + 4*s(1,2)^3*s(1,3)*s(2,4)
1951 + 14/5*s(1,2)^3*s(1,3)*s(3,4)
1952 + 7/5*s(1,2)^3*s(2,3)^2
1953 + 63/10*s(1,2)^3*s(2,3)*s(2,4)
1954 + 12/5*s(1,2)^3*s(2,3)*s(3,4)
1955 + 2*s(1,2)^3*s(2,4)^2
1956 + 23/10*s(1,2)^3*s(2,4)*s(3,4)
1957 + s(1,2)^3*s(3,4)^2
1958 + 6/5*s(1,2)^2*s(1,3)^2*s(2,3)
1959 + 4*s(1,2)^2*s(1,3)^2*s(2,4)
1960 + 24/5*s(1,2)^2*s(1,3)^2*s(3,4)
1961 + 13/10*s(1,2)^2*s(1,3)*s(2,3)^2
1962 + 101/10*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
1963 + 9*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
1964 + 3*s(1,2)^2*s(1,3)*s(2,4)^2
1965 + 24/5*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
1966 + 41/10*s(1,2)^2*s(1,3)*s(3,4)^2
1967 + 11/10*s(1,2)^2*s(2,3)^3
1968 + 51/5*s(1,2)^2*s(2,3)^2*s(2,4)
1969 + 6/5*s(1,2)^2*s(2,3)^2*s(3,4)
1970 + 77/10*s(1,2)^2*s(2,3)*s(2,4)^2
1971 + 73/10*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
1972 + 11/10*s(1,2)^2*s(2,3)*s(3,4)^2
1973 + 3/2*s(1,2)^2*s(2,4)^3
1974 + 47/10*s(1,2)^2*s(2,4)^2*s(3,4)
1975 + 41/10*s(1,2)^2*s(2,4)*s(3,4)^2
1976 + s(1,2)^2*s(3,4)^3
1977 + 6/5*s(1,2)*s(1,3)^3*s(2,3)
1978 + 2*s(1,2)*s(1,3)^3*s(2,4)
1979 + 16/5*s(1,2)*s(1,3)^3*s(3,4)
1980 + 31/10*s(1,2)*s(1,3)^2*s(2,3)^2
1981 + 79/10*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
1982 + 62/5*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
1983 + 2*s(1,2)*s(1,3)^2*s(2,4)^2
1984 + 23/5*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
1985 + 47/10*s(1,2)*s(1,3)^2*s(3,4)^2
1986 + 23/10*s(1,2)*s(1,3)*s(2,3)^3
1987 + 66/5*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
1988 + 113/10*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
1989 + 44/5*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
1990 + 117/10*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
1991 + 73/10*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
1992 + 3/2*s(1,2)*s(1,3)*s(2,4)^3
1993 + 23/5*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
1994 + 24/5*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
1995 + 23/10*s(1,2)*s(1,3)*s(3,4)^3
1996 + 6/5*s(1,2)*s(2,3)^4
1997 + 101/10*s(1,2)*s(2,3)^3*s(2,4)
1998 + 11/5*s(1,2)*s(2,3)^3*s(3,4)
1999 + 58/5*s(1,2)*s(2,3)^2*s(2,4)^2
2000 + 113/10*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2001 + 6/5*s(1,2)*s(2,3)^2*s(3,4)^2
2002 + 47/10*s(1,2)*s(2,3)*s(2,4)^3
2003 + 62/5*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2004 + 9*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2005 + 12/5*s(1,2)*s(2,3)*s(3,4)^3
2006 + 4/5*s(1,2)*s(2,4)^4
2007 + 16/5*s(1,2)*s(2,4)^3*s(3,4)
2008 + 24/5*s(1,2)*s(2,4)^2*s(3,4)^2
2009 + 14/5*s(1,2)*s(2,4)*s(3,4)^3
2010 + 4/5*s(1,2)*s(3,4)^4
2011 + 2/5*s(1,3)^4*s(2,3)
2012 + 2/5*s(1,3)^4*s(2,4)
2013 + 4/5*s(1,3)^4*s(3,4)
2014 + 17/10*s(1,3)^3*s(2,3)^2
2015 + 11/5*s(1,3)^3*s(2,3)*s(2,4)
2016 + 47/10*s(1,3)^3*s(2,3)*s(3,4)
2017 + 1/2*s(1,3)^3*s(2,4)^2
2018 + 3/2*s(1,3)^3*s(2,4)*s(3,4)
2019 + 3/2*s(1,3)^3*s(3,4)^2
2020 + 17/5*s(1,3)^2*s(2,3)^3
2021 + 13/2*s(1,3)^2*s(2,3)^2*s(2,4)
2022 + 58/5*s(1,3)^2*s(2,3)^2*s(3,4)
2023 + 18/5*s(1,3)^2*s(2,3)*s(2,4)^2
2024 + 44/5*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2025 + 77/10*s(1,3)^2*s(2,3)*s(3,4)^2
2026 + 1/2*s(1,3)^2*s(2,4)^3
2027 + 2*s(1,3)^2*s(2,4)^2*s(3,4)
2028 + 3*s(1,3)^2*s(2,4)*s(3,4)^2
2029 + 2*s(1,3)^2*s(3,4)^3
2030 + 21/10*s(1,3)*s(2,3)^4
2031 + 34/5*s(1,3)*s(2,3)^3*s(2,4)
2032 + 101/10*s(1,3)*s(2,3)^3*s(3,4)
2033 + 13/2*s(1,3)*s(2,3)^2*s(2,4)^2
2034 + 66/5*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2035 + 51/5*s(1,3)*s(2,3)^2*s(3,4)^2
2036 + 11/5*s(1,3)*s(2,3)*s(2,4)^3
2037 + 79/10*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
2038 + 101/10*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2039 + 63/10*s(1,3)*s(2,3)*s(3,4)^3
2040 + 2/5*s(1,3)*s(2,4)^4
2041 + 2*s(1,3)*s(2,4)^3*s(3,4)
2042 + 4*s(1,3)*s(2,4)^2*s(3,4)^2
2043 + 4*s(1,3)*s(2,4)*s(3,4)^3
2044 + 2*s(1,3)*s(3,4)^4
2045 + 21/10*s(2,3)^4*s(2,4)
2046 + 6/5*s(2,3)^4*s(3,4)
2047 + 17/5*s(2,3)^3*s(2,4)^2
2048 + 23/10*s(2,3)^3*s(2,4)*s(3,4)
2049 + 11/10*s(2,3)^3*s(3,4)^2
2050 + 17/10*s(2,3)^2*s(2,4)^3
2051 + 31/10*s(2,3)^2*s(2,4)^2*s(3,4)
2052 + 13/10*s(2,3)^2*s(2,4)*s(3,4)^2
2053 + 7/5*s(2,3)^2*s(3,4)^3
2054 + 2/5*s(2,3)*s(2,4)^4
2055 + 6/5*s(2,3)*s(2,4)^3*s(3,4)
2056 + 6/5*s(2,3)*s(2,4)^2*s(3,4)^2
2057 + 2/5*s(2,3)*s(2,4)*s(3,4)^3
2058 + 4/5*s(2,3)*s(3,4)^4
2061 + zeta2^3 * (
2062 + 8/7*s(1,2)^4
2063 + 16/7*s(1,2)^3*s(1,3)
2064 + 314/105*s(1,2)^3*s(2,3)
2065 + 24/35*s(1,2)^3*s(2,4)
2066 + 74/105*s(1,2)^3*s(3,4)
2067 + 16/7*s(1,2)^2*s(1,3)^2
2068 + 198/35*s(1,2)^2*s(1,3)*s(2,3)
2069 + 36/35*s(1,2)^2*s(1,3)*s(2,4)
2070 + 36/35*s(1,2)^2*s(1,3)*s(3,4)
2071 + 911/210*s(1,2)^2*s(2,3)^2
2072 + 179/70*s(1,2)^2*s(2,3)*s(2,4)
2073 + 191/105*s(1,2)^2*s(2,3)*s(3,4)
2074 + 69/70*s(1,2)^2*s(2,4)^2
2075 + 107/70*s(1,2)^2*s(2,4)*s(3,4)
2076 + 29/30*s(1,2)^2*s(3,4)^2
2077 + 8/7*s(1,2)*s(1,3)^3
2078 + 478/105*s(1,2)*s(1,3)^2*s(2,3)
2079 + 24/35*s(1,2)*s(1,3)^2*s(2,4)
2080 + 16/15*s(1,2)*s(1,3)^2*s(3,4)
2081 + 1277/210*s(1,2)*s(1,3)*s(2,3)^2
2082 + 256/105*s(1,2)*s(1,3)*s(2,3)*s(2,4)
2083 + 307/105*s(1,2)*s(1,3)*s(2,3)*s(3,4)
2084 + 69/70*s(1,2)*s(1,3)*s(2,4)^2
2085 + 209/105*s(1,2)*s(1,3)*s(2,4)*s(3,4)
2086 + 107/70*s(1,2)*s(1,3)*s(3,4)^2
2087 + 709/210*s(1,2)*s(2,3)^3
2088 + 292/105*s(1,2)*s(2,3)^2*s(2,4)
2089 + 451/210*s(1,2)*s(2,3)^2*s(3,4)
2090 + 431/210*s(1,2)*s(2,3)*s(2,4)^2
2091 + 307/105*s(1,2)*s(2,3)*s(2,4)*s(3,4)
2092 + 191/105*s(1,2)*s(2,3)*s(3,4)^2
2093 + 12/35*s(1,2)*s(2,4)^3
2094 + 16/15*s(1,2)*s(2,4)^2*s(3,4)
2095 + 36/35*s(1,2)*s(2,4)*s(3,4)^2
2096 + 74/105*s(1,2)*s(3,4)^3
2097 + 8/35*s(1,3)^4
2098 + 46/35*s(1,3)^3*s(2,3)
2099 + 6/35*s(1,3)^3*s(2,4)
2100 + 12/35*s(1,3)^3*s(3,4)
2101 + 629/210*s(1,3)^2*s(2,3)^2
2102 + 109/105*s(1,3)^2*s(2,3)*s(2,4)
2103 + 431/210*s(1,3)^2*s(2,3)*s(3,4)
2104 + 23/70*s(1,3)^2*s(2,4)^2
2105 + 69/70*s(1,3)^2*s(2,4)*s(3,4)
2106 + 69/70*s(1,3)^2*s(3,4)^2
2107 + 313/105*s(1,3)*s(2,3)^3
2108 + 164/105*s(1,3)*s(2,3)^2*s(2,4)
2109 + 292/105*s(1,3)*s(2,3)^2*s(3,4)
2110 + 109/105*s(1,3)*s(2,3)*s(2,4)^2
2111 + 256/105*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2112 + 179/70*s(1,3)*s(2,3)*s(3,4)^2
2113 + 6/35*s(1,3)*s(2,4)^3
2114 + 24/35*s(1,3)*s(2,4)^2*s(3,4)
2115 + 36/35*s(1,3)*s(2,4)*s(3,4)^2
2116 + 24/35*s(1,3)*s(3,4)^3
2117 + 31/14*s(2,3)^4
2118 + 313/105*s(2,3)^3*s(2,4)
2119 + 709/210*s(2,3)^3*s(3,4)
2120 + 629/210*s(2,3)^2*s(2,4)^2
2121 + 1277/210*s(2,3)^2*s(2,4)*s(3,4)
2122 + 911/210*s(2,3)^2*s(3,4)^2
2123 + 46/35*s(2,3)*s(2,4)^3
2124 + 478/105*s(2,3)*s(2,4)^2*s(3,4)
2125 + 198/35*s(2,3)*s(2,4)*s(3,4)^2
2126 + 314/105*s(2,3)*s(3,4)^3
2127 + 8/35*s(2,4)^4
2128 + 8/7*s(2,4)^3*s(3,4)
2129 + 16/7*s(2,4)^2*s(3,4)^2
2130 + 16/7*s(2,4)*s(3,4)^3
2131 + 8/7*s(3,4)^4
2135 id Z(2,4)*Z(3,4) =
2137 + zeta7 * (
2138 + 3*s(1,2)^5
2139 + 4*s(1,2)^4*s(1,3)
2140 + 10*s(1,2)^4*s(2,3)
2141 + 10*s(1,2)^4*s(2,4)
2142 + 5*s(1,2)^4*s(3,4)
2143 + 3*s(1,2)^3*s(1,3)^2
2144 + 147/16*s(1,2)^3*s(1,3)*s(2,3)
2145 + 13*s(1,2)^3*s(1,3)*s(2,4)
2146 + 99/16*s(1,2)^3*s(1,3)*s(3,4)
2147 + 15*s(1,2)^3*s(2,3)^2
2148 + 30*s(1,2)^3*s(2,3)*s(2,4)
2149 + 15*s(1,2)^3*s(2,3)*s(3,4)
2150 + 15*s(1,2)^3*s(2,4)^2
2151 + 15*s(1,2)^3*s(2,4)*s(3,4)
2152 + 5*s(1,2)^3*s(3,4)^2
2153 - 3*s(1,2)^2*s(1,3)^3
2154 + 11/8*s(1,2)^2*s(1,3)^2*s(2,3)
2155 + 61/16*s(1,2)^2*s(1,3)^2*s(2,4)
2156 - 61/16*s(1,2)^2*s(1,3)^2*s(3,4)
2157 + 89/16*s(1,2)^2*s(1,3)*s(2,3)^2
2158 + 15*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2159 + 39/4*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2160 + 12*s(1,2)^2*s(1,3)*s(2,4)^2
2161 + 179/16*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2162 + 19/16*s(1,2)^2*s(1,3)*s(3,4)^2
2163 + 12*s(1,2)^2*s(2,3)^3
2164 + 36*s(1,2)^2*s(2,3)^2*s(2,4)
2165 + 18*s(1,2)^2*s(2,3)^2*s(3,4)
2166 + 36*s(1,2)^2*s(2,3)*s(2,4)^2
2167 + 36*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2168 + 12*s(1,2)^2*s(2,3)*s(3,4)^2
2169 + 12*s(1,2)^2*s(2,4)^3
2170 + 18*s(1,2)^2*s(2,4)^2*s(3,4)
2171 + 12*s(1,2)^2*s(2,4)*s(3,4)^2
2172 + 3*s(1,2)^2*s(3,4)^3
2173 - 4*s(1,2)*s(1,3)^4
2174 - 205/16*s(1,2)*s(1,3)^3*s(2,3)
2175 - 99/16*s(1,2)*s(1,3)^3*s(2,4)
2176 - 13*s(1,2)*s(1,3)^3*s(3,4)
2177 - 33/4*s(1,2)*s(1,3)^2*s(2,3)^2
2178 - 7*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2179 - 327/16*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2180 - 19/16*s(1,2)*s(1,3)^2*s(2,4)^2
2181 - 179/16*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2182 - 12*s(1,2)*s(1,3)^2*s(3,4)^2
2183 - 71/16*s(1,2)*s(1,3)*s(2,3)^3
2184 - 61/16*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2185 - 81/16*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2186 + 29/16*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2187 - 5/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2188 - 77/8*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2189 + 5*s(1,2)*s(1,3)*s(2,4)^3
2190 + 3*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
2191 - 3*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2192 - 5*s(1,2)*s(1,3)*s(3,4)^3
2193 + 5*s(1,2)*s(2,3)^4
2194 + 20*s(1,2)*s(2,3)^3*s(2,4)
2195 + 10*s(1,2)*s(2,3)^3*s(3,4)
2196 + 30*s(1,2)*s(2,3)^2*s(2,4)^2
2197 + 30*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2198 + 10*s(1,2)*s(2,3)^2*s(3,4)^2
2199 + 20*s(1,2)*s(2,3)*s(2,4)^3
2200 + 30*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2201 + 20*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2202 + 5*s(1,2)*s(2,3)*s(3,4)^3
2203 + 5*s(1,2)*s(2,4)^4
2204 + 10*s(1,2)*s(2,4)^3*s(3,4)
2205 + 10*s(1,2)*s(2,4)^2*s(3,4)^2
2206 + 5*s(1,2)*s(2,4)*s(3,4)^3
2207 + s(1,2)*s(3,4)^4
2208 - 3*s(1,3)^5
2209 - 9*s(1,3)^4*s(2,3)
2210 - 5*s(1,3)^4*s(2,4)
2211 - 10*s(1,3)^4*s(3,4)
2212 - 237/16*s(1,3)^3*s(2,3)^2
2213 - 269/16*s(1,3)^3*s(2,3)*s(2,4)
2214 - 28*s(1,3)^3*s(2,3)*s(3,4)
2215 - 5*s(1,3)^3*s(2,4)^2
2216 - 15*s(1,3)^3*s(2,4)*s(3,4)
2217 - 15*s(1,3)^3*s(3,4)^2
2218 - 77/8*s(1,3)^2*s(2,3)^3
2219 - 165/8*s(1,3)^2*s(2,3)^2*s(2,4)
2220 - 229/8*s(1,3)^2*s(2,3)^2*s(3,4)
2221 - 11*s(1,3)^2*s(2,3)*s(2,4)^2
2222 - 589/16*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2223 - 30*s(1,3)^2*s(2,3)*s(3,4)^2
2224 - 3*s(1,3)^2*s(2,4)^3
2225 - 12*s(1,3)^2*s(2,4)^2*s(3,4)
2226 - 18*s(1,3)^2*s(2,4)*s(3,4)^2
2227 - 12*s(1,3)^2*s(3,4)^3
2228 - 93/16*s(1,3)*s(2,3)^4
2229 - 301/16*s(1,3)*s(2,3)^3*s(2,4)
2230 - 109/8*s(1,3)*s(2,3)^3*s(3,4)
2231 - 16*s(1,3)*s(2,3)^2*s(2,4)^2
2232 - 573/16*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2233 - 333/16*s(1,3)*s(2,3)^2*s(3,4)^2
2234 - 8*s(1,3)*s(2,3)*s(2,4)^3
2235 - 21*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
2236 - 32*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2237 - 15*s(1,3)*s(2,3)*s(3,4)^3
2238 - s(1,3)*s(2,4)^4
2239 - 5*s(1,3)*s(2,4)^3*s(3,4)
2240 - 10*s(1,3)*s(2,4)^2*s(3,4)^2
2241 - 10*s(1,3)*s(2,4)*s(3,4)^3
2242 - 5*s(1,3)*s(3,4)^4
2245 + zeta5 * (
2246 + 2*s(1,2)^3
2247 + 1/2*s(1,2)^2*s(1,3)
2248 + 4*s(1,2)^2*s(2,3)
2249 + 4*s(1,2)^2*s(2,4)
2250 + 2*s(1,2)^2*s(3,4)
2251 - 1/2*s(1,2)*s(1,3)^2
2252 - 2*s(1,2)*s(1,3)*s(2,3)
2253 + 3/2*s(1,2)*s(1,3)*s(2,4)
2254 - 3/2*s(1,2)*s(1,3)*s(3,4)
2255 + 3*s(1,2)*s(2,3)^2
2256 + 6*s(1,2)*s(2,3)*s(2,4)
2257 + 3*s(1,2)*s(2,3)*s(3,4)
2258 + 3*s(1,2)*s(2,4)^2
2259 + 3*s(1,2)*s(2,4)*s(3,4)
2260 + s(1,2)*s(3,4)^2
2261 - 2*s(1,3)^3
2262 - 5/2*s(1,3)^2*s(2,3)
2263 - 2*s(1,3)^2*s(2,4)
2264 - 4*s(1,3)^2*s(3,4)
2265 - 7/2*s(1,3)*s(2,3)^2
2266 - 5*s(1,3)*s(2,3)*s(2,4)
2267 - 9/2*s(1,3)*s(2,3)*s(3,4)
2268 - s(1,3)*s(2,4)^2
2269 - 3*s(1,3)*s(2,4)*s(3,4)
2270 - 3*s(1,3)*s(3,4)^2
2273 + zeta3 * (
2274 + s(1,2)
2275 - s(1,3)
2278 + zeta3^2 * (
2279 + 1/2*s(1,2)^4
2280 + s(1,2)^3*s(1,3)
2281 + 2*s(1,2)^3*s(2,3)
2282 + 2*s(1,2)^3*s(2,4)
2283 + s(1,2)^3*s(3,4)
2284 + 1/2*s(1,2)^2*s(1,3)^2
2285 + 3/2*s(1,2)^2*s(1,3)*s(2,3)
2286 + 3/2*s(1,2)^2*s(1,3)*s(2,4)
2287 + s(1,2)^2*s(1,3)*s(3,4)
2288 + 5/2*s(1,2)^2*s(2,3)^2
2289 + 3*s(1,2)^2*s(2,3)*s(2,4)
2290 + 5/2*s(1,2)^2*s(2,3)*s(3,4)
2291 + 3/2*s(1,2)^2*s(2,4)^2
2292 + 3/2*s(1,2)^2*s(2,4)*s(3,4)
2293 + 1/2*s(1,2)^2*s(3,4)^2
2294 - s(1,2)*s(1,3)^3
2295 - 1/2*s(1,2)*s(1,3)^2*s(2,3)
2296 - 3/2*s(1,2)*s(1,3)^2*s(3,4)
2297 + 1/2*s(1,2)*s(1,3)*s(2,3)^2
2298 + 1/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)
2299 + 3/2*s(1,2)*s(1,3)*s(2,3)*s(3,4)
2300 + 1/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)
2301 + s(1,2)*s(2,3)^3
2302 + s(1,2)*s(2,3)^2*s(2,4)
2303 + 2*s(1,2)*s(2,3)^2*s(3,4)
2304 + s(1,2)*s(2,3)*s(2,4)*s(3,4)
2305 + s(1,2)*s(2,3)*s(3,4)^2
2306 - 1/2*s(1,3)^4
2307 - 2*s(1,3)^3*s(2,3)
2308 - s(1,3)^3*s(2,4)
2309 - 2*s(1,3)^3*s(3,4)
2310 - 3/2*s(1,3)^2*s(2,3)^2
2311 - 5/2*s(1,3)^2*s(2,3)*s(2,4)
2312 - 3*s(1,3)^2*s(2,3)*s(3,4)
2313 - 1/2*s(1,3)^2*s(2,4)^2
2314 - 3/2*s(1,3)^2*s(2,4)*s(3,4)
2315 - 3/2*s(1,3)^2*s(3,4)^2
2316 - 3/2*s(1,3)*s(2,3)^2*s(2,4)
2317 + 1/2*s(1,3)*s(2,3)^2*s(3,4)
2318 - 1/2*s(1,3)*s(2,3)*s(2,4)^2
2319 - 1/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2322 + zeta2*zeta5 * (
2323 - s(1,2)^5
2324 - s(1,2)^4*s(1,3)
2325 - 5*s(1,2)^4*s(2,3)
2326 - 4*s(1,2)^4*s(2,4)
2327 - 2*s(1,2)^4*s(3,4)
2328 - 5/2*s(1,2)^3*s(1,3)*s(2,3)
2329 - 9/2*s(1,2)^3*s(1,3)*s(2,4)
2330 - 5/2*s(1,2)^3*s(1,3)*s(3,4)
2331 - 8*s(1,2)^3*s(2,3)^2
2332 - 14*s(1,2)^3*s(2,3)*s(2,4)
2333 - 8*s(1,2)^3*s(2,3)*s(3,4)
2334 - 6*s(1,2)^3*s(2,4)^2
2335 - 6*s(1,2)^3*s(2,4)*s(3,4)
2336 - 2*s(1,2)^3*s(3,4)^2
2337 + 1/2*s(1,2)^2*s(1,3)^2*s(2,3)
2338 - 6*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2339 - s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2340 - 15/2*s(1,2)^2*s(1,3)*s(2,4)^2
2341 - 6*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2342 - 1/2*s(1,2)^2*s(1,3)*s(3,4)^2
2343 - 6*s(1,2)^2*s(2,3)^3
2344 - 16*s(1,2)^2*s(2,3)^2*s(2,4)
2345 - 10*s(1,2)^2*s(2,3)^2*s(3,4)
2346 - 14*s(1,2)^2*s(2,3)*s(2,4)^2
2347 - 16*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2348 - 6*s(1,2)^2*s(2,3)*s(3,4)^2
2349 - 4*s(1,2)^2*s(2,4)^3
2350 - 6*s(1,2)^2*s(2,4)^2*s(3,4)
2351 - 4*s(1,2)^2*s(2,4)*s(3,4)^2
2352 - s(1,2)^2*s(3,4)^3
2353 + 2*s(1,2)*s(1,3)^3*s(2,3)
2354 + 5/2*s(1,2)*s(1,3)^3*s(2,4)
2355 + 5/2*s(1,2)*s(1,3)^3*s(3,4)
2356 + 5/2*s(1,2)*s(1,3)^2*s(2,3)^2
2357 + 5/2*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2358 + 9*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2359 + 1/2*s(1,2)*s(1,3)^2*s(2,4)^2
2360 + 6*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2361 + 11/2*s(1,2)*s(1,3)^2*s(3,4)^2
2362 + 5/2*s(1,2)*s(1,3)*s(2,3)^3
2363 + 2*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2364 + 7*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2365 - 3/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2366 + 6*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2367 - 3*s(1,2)*s(1,3)*s(2,4)^3
2368 - 2*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
2369 + 2*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2370 + 2*s(1,2)*s(1,3)*s(3,4)^3
2371 - 2*s(1,2)*s(2,3)^4
2372 - 3*s(1,2)*s(2,3)^3*s(2,4)
2373 - 5*s(1,2)*s(2,3)^3*s(3,4)
2374 - 3*s(1,2)*s(2,3)^2*s(2,4)^2
2375 - 6*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2376 - 5*s(1,2)*s(2,3)^2*s(3,4)^2
2377 - s(1,2)*s(2,3)*s(2,4)^3
2378 - 3*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2379 - 3*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2380 - 2*s(1,2)*s(2,3)*s(3,4)^3
2381 + s(1,3)^5
2382 + 2*s(1,3)^4*s(2,3)
2383 + 2*s(1,3)^4*s(2,4)
2384 + 4*s(1,3)^4*s(3,4)
2385 + 2*s(1,3)^3*s(2,3)^2
2386 + 4*s(1,3)^3*s(2,3)*s(2,4)
2387 + 17/2*s(1,3)^3*s(2,3)*s(3,4)
2388 + 2*s(1,3)^3*s(2,4)^2
2389 + 6*s(1,3)^3*s(2,4)*s(3,4)
2390 + 6*s(1,3)^3*s(3,4)^2
2391 + s(1,3)^2*s(2,3)^3
2392 + 3*s(1,3)^2*s(2,3)^2*s(2,4)
2393 + 9*s(1,3)^2*s(2,3)^2*s(3,4)
2394 + 3*s(1,3)^2*s(2,3)*s(2,4)^2
2395 + 13*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2396 + 23/2*s(1,3)^2*s(2,3)*s(3,4)^2
2397 + s(1,3)^2*s(2,4)^3
2398 + 4*s(1,3)^2*s(2,4)^2*s(3,4)
2399 + 6*s(1,3)^2*s(2,4)*s(3,4)^2
2400 + 4*s(1,3)^2*s(3,4)^3
2401 + s(1,3)*s(2,3)^3*s(2,4)
2402 + 5/2*s(1,3)*s(2,3)^3*s(3,4)
2403 + s(1,3)*s(2,3)^2*s(2,4)^2
2404 + 5*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2405 + 7/2*s(1,3)*s(2,3)^2*s(3,4)^2
2406 + s(1,3)*s(2,3)*s(2,4)^3
2407 + 4*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2408 + 2*s(1,3)*s(2,3)*s(3,4)^3
2411 + zeta2*zeta3 * (
2412 - s(1,2)^3
2413 - s(1,2)^2*s(1,3)
2414 - 3*s(1,2)^2*s(2,3)
2415 - 2*s(1,2)^2*s(2,4)
2416 - s(1,2)^2*s(3,4)
2417 - s(1,2)*s(1,3)*s(2,4)
2418 - 2*s(1,2)*s(2,3)^2
2419 - s(1,2)*s(2,3)*s(2,4)
2420 - 2*s(1,2)*s(2,3)*s(3,4)
2421 + s(1,3)^3
2422 + s(1,3)^2*s(2,3)
2423 + s(1,3)^2*s(2,4)
2424 + 2*s(1,3)^2*s(3,4)
2425 + s(1,3)*s(2,3)*s(2,4)
2428 + zeta2^2 * (
2429 - 1/10*s(1,2)^2
2430 + 1/2*s(1,2)*s(1,3)
2431 + 1/5*s(1,2)*s(2,3)
2432 - 4/5*s(1,2)*s(2,4)
2433 - 2/5*s(1,2)*s(3,4)
2434 + 1/10*s(1,3)^2
2435 + 9/10*s(1,3)*s(2,3)
2436 + 2/5*s(1,3)*s(2,4)
2437 + 4/5*s(1,3)*s(3,4)
2440 + zeta2^2*zeta3 * (
2441 - 2/5*s(1,2)^5
2442 - 6/5*s(1,2)^4*s(1,3)
2443 - s(1,2)^4*s(2,3)
2444 - s(1,2)^4*s(2,4)
2445 - 1/2*s(1,2)^4*s(3,4)
2446 - 6/5*s(1,2)^3*s(1,3)^2
2447 - 11/5*s(1,2)^3*s(1,3)*s(2,3)
2448 - 17/10*s(1,2)^3*s(1,3)*s(2,4)
2449 - s(1,2)^3*s(1,3)*s(3,4)
2450 - 9/10*s(1,2)^3*s(2,3)^2
2451 - 2*s(1,2)^3*s(2,3)*s(2,4)
2452 - 9/10*s(1,2)^3*s(2,3)*s(3,4)
2453 - 3/2*s(1,2)^3*s(2,4)^2
2454 - 3/2*s(1,2)^3*s(2,4)*s(3,4)
2455 - 1/2*s(1,2)^3*s(3,4)^2
2456 + 4/5*s(1,2)^2*s(1,3)^3
2457 - 6/5*s(1,2)^2*s(1,3)^2*s(2,3)
2458 - 6/5*s(1,2)^2*s(1,3)^2*s(2,4)
2459 + 11/10*s(1,2)^2*s(1,3)^2*s(3,4)
2460 - 5/2*s(1,2)^2*s(1,3)*s(2,3)^2
2461 - 8/5*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2462 - 14/5*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2463 + 1/5*s(1,2)^2*s(1,3)*s(2,4)^2
2464 - 2/5*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2465 - 1/2*s(1,2)^2*s(1,3)*s(3,4)^2
2466 - 11/10*s(1,2)^2*s(2,3)^3
2467 - 29/10*s(1,2)^2*s(2,3)^2*s(2,4)
2468 - 7/10*s(1,2)^2*s(2,3)^2*s(3,4)
2469 - 19/5*s(1,2)^2*s(2,3)*s(2,4)^2
2470 - 29/10*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2471 - 11/10*s(1,2)^2*s(2,3)*s(3,4)^2
2472 - 8/5*s(1,2)^2*s(2,4)^3
2473 - 12/5*s(1,2)^2*s(2,4)^2*s(3,4)
2474 - 8/5*s(1,2)^2*s(2,4)*s(3,4)^2
2475 - 2/5*s(1,2)^2*s(3,4)^3
2476 + 6/5*s(1,2)*s(1,3)^4
2477 + 27/10*s(1,2)*s(1,3)^3*s(2,3)
2478 + 3/5*s(1,2)*s(1,3)^3*s(2,4)
2479 + 27/10*s(1,2)*s(1,3)^3*s(3,4)
2480 + 7/10*s(1,2)*s(1,3)^2*s(2,3)^2
2481 + 4/5*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2482 + 3/2*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2483 + 1/10*s(1,2)*s(1,3)^2*s(2,4)^2
2484 + 3/10*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2485 + 4/5*s(1,2)*s(1,3)^2*s(3,4)^2
2486 - 4/5*s(1,2)*s(1,3)*s(2,3)^3
2487 - 1/5*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2488 - 13/5*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2489 + 1/10*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2490 - 1/5*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2491 - 3/5*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2492 - 2/5*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2493 - 4/5*s(1,2)*s(2,3)^4
2494 - 6/5*s(1,2)*s(2,3)^3*s(2,4)
2495 - 7/10*s(1,2)*s(2,3)^3*s(3,4)
2496 - 2/5*s(1,2)*s(2,3)^2*s(2,4)^2
2497 - 17/10*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2498 - 7/10*s(1,2)*s(2,3)^2*s(3,4)^2
2499 - 2/5*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2500 - 6/5*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2501 - 4/5*s(1,2)*s(2,3)*s(3,4)^3
2502 + 2/5*s(1,3)^5
2503 + 17/10*s(1,3)^4*s(2,3)
2504 + 1/2*s(1,3)^4*s(2,4)
2505 + s(1,3)^4*s(3,4)
2506 + 17/5*s(1,3)^3*s(2,3)^2
2507 + 31/10*s(1,3)^3*s(2,3)*s(2,4)
2508 + 21/5*s(1,3)^3*s(2,3)*s(3,4)
2509 + 1/2*s(1,3)^3*s(2,4)^2
2510 + 3/2*s(1,3)^3*s(2,4)*s(3,4)
2511 + 3/2*s(1,3)^3*s(3,4)^2
2512 + 21/10*s(1,3)^2*s(2,3)^3
2513 + 47/10*s(1,3)^2*s(2,3)^2*s(2,4)
2514 + 4*s(1,3)^2*s(2,3)^2*s(3,4)
2515 + 9/5*s(1,3)^2*s(2,3)*s(2,4)^2
2516 + 9/2*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2517 + 16/5*s(1,3)^2*s(2,3)*s(3,4)^2
2518 + 2/5*s(1,3)^2*s(2,4)^3
2519 + 8/5*s(1,3)^2*s(2,4)^2*s(3,4)
2520 + 12/5*s(1,3)^2*s(2,4)*s(3,4)^2
2521 + 8/5*s(1,3)^2*s(3,4)^3
2522 + 21/10*s(1,3)*s(2,3)^3*s(2,4)
2523 - 4/5*s(1,3)*s(2,3)^3*s(3,4)
2524 + 13/10*s(1,3)*s(2,3)^2*s(2,4)^2
2525 + s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2526 - 1/10*s(1,3)*s(2,3)^2*s(3,4)^2
2527 + 2/5*s(1,3)*s(2,3)*s(2,4)^3
2528 + 4/5*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
2529 + 2/5*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2532 + zeta2^3 * (
2533 - 6/35*s(1,2)^4
2534 + 2/105*s(1,2)^3*s(1,3)
2535 - 9/35*s(1,2)^3*s(2,3)
2536 - 23/35*s(1,2)^3*s(2,4)
2537 - 23/70*s(1,2)^3*s(3,4)
2538 - 2/105*s(1,2)^2*s(1,3)*s(2,3)
2539 - 31/70*s(1,2)^2*s(1,3)*s(2,4)
2540 - 2/105*s(1,2)^2*s(1,3)*s(3,4)
2541 - 29/70*s(1,2)^2*s(2,3)^2
2542 - 13/14*s(1,2)^2*s(2,3)*s(2,4)
2543 - 29/70*s(1,2)^2*s(2,3)*s(3,4)
2544 - 18/35*s(1,2)^2*s(2,4)^2
2545 - 18/35*s(1,2)^2*s(2,4)*s(3,4)
2546 - 6/35*s(1,2)^2*s(3,4)^2
2547 + 8/21*s(1,2)*s(1,3)^3
2548 + 89/210*s(1,2)*s(1,3)^2*s(2,3)
2549 + 2/105*s(1,2)*s(1,3)^2*s(2,4)
2550 + 19/35*s(1,2)*s(1,3)^2*s(3,4)
2551 + 17/42*s(1,2)*s(1,3)*s(2,3)^2
2552 + 2/105*s(1,2)*s(1,3)*s(2,3)*s(2,4)
2553 - 4/35*s(1,2)*s(1,3)*s(2,3)*s(3,4)
2554 + 4/105*s(1,2)*s(1,3)*s(2,4)^2
2555 + 38/105*s(1,2)*s(1,3)*s(3,4)^2
2556 - 4/35*s(1,2)*s(2,3)^3
2557 - 68/35*s(1,2)*s(2,3)^2*s(2,4)
2558 - 33/70*s(1,2)*s(2,3)^2*s(3,4)
2559 - 82/35*s(1,2)*s(2,3)*s(2,4)^2
2560 - 68/35*s(1,2)*s(2,3)*s(2,4)*s(3,4)
2561 - 4/35*s(1,2)*s(2,3)*s(3,4)^2
2562 - 32/35*s(1,2)*s(2,4)^3
2563 - 48/35*s(1,2)*s(2,4)^2*s(3,4)
2564 - 32/35*s(1,2)*s(2,4)*s(3,4)^2
2565 - 8/35*s(1,2)*s(3,4)^3
2566 + 6/35*s(1,3)^4
2567 + 149/210*s(1,3)^3*s(2,3)
2568 + 23/70*s(1,3)^3*s(2,4)
2569 + 23/35*s(1,3)^3*s(3,4)
2570 + 73/105*s(1,3)^2*s(2,3)^2
2571 + 13/15*s(1,3)^2*s(2,3)*s(2,4)
2572 + 37/35*s(1,3)^2*s(2,3)*s(3,4)
2573 + 6/35*s(1,3)^2*s(2,4)^2
2574 + 18/35*s(1,3)^2*s(2,4)*s(3,4)
2575 + 18/35*s(1,3)^2*s(3,4)^2
2576 + 15/14*s(1,3)*s(2,3)^3
2577 + 401/210*s(1,3)*s(2,3)^2*s(2,4)
2578 + 34/21*s(1,3)*s(2,3)^2*s(3,4)
2579 + 38/35*s(1,3)*s(2,3)*s(2,4)^2
2580 + 268/105*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2581 + 26/15*s(1,3)*s(2,3)*s(3,4)^2
2582 + 8/35*s(1,3)*s(2,4)^3
2583 + 32/35*s(1,3)*s(2,4)^2*s(3,4)
2584 + 48/35*s(1,3)*s(2,4)*s(3,4)^2
2585 + 32/35*s(1,3)*s(3,4)^3
2588 id Z(2,3)*Z(2,4) =
2590 + zeta7 * (
2591 + 3*s(1,2)^5
2592 + 26*s(1,2)^4*s(1,3)
2593 + 5*s(1,2)^4*s(2,3)
2594 + 10*s(1,2)^4*s(2,4)
2595 + 10*s(1,2)^4*s(3,4)
2596 + 57*s(1,2)^3*s(1,3)^2
2597 + 813/16*s(1,2)^3*s(1,3)*s(2,3)
2598 + 57*s(1,2)^3*s(1,3)*s(2,4)
2599 + 861/16*s(1,2)^3*s(1,3)*s(3,4)
2600 + 5*s(1,2)^3*s(2,3)^2
2601 + 15*s(1,2)^3*s(2,3)*s(2,4)
2602 + 15*s(1,2)^3*s(2,3)*s(3,4)
2603 + 15*s(1,2)^3*s(2,4)^2
2604 + 30*s(1,2)^3*s(2,4)*s(3,4)
2605 + 15*s(1,2)^3*s(3,4)^2
2606 + 63*s(1,2)^2*s(1,3)^3
2607 + 709/8*s(1,2)^2*s(1,3)^2*s(2,3)
2608 + 1357/16*s(1,2)^2*s(1,3)^2*s(2,4)
2609 + 1501/16*s(1,2)^2*s(1,3)^2*s(3,4)
2610 + 871/16*s(1,2)^2*s(1,3)*s(2,3)^2
2611 + 709/8*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2612 + 321/4*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2613 + 63*s(1,2)^2*s(1,3)*s(2,4)^2
2614 + 1719/16*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2615 + 941/16*s(1,2)^2*s(1,3)*s(3,4)^2
2616 + 3*s(1,2)^2*s(2,3)^3
2617 + 12*s(1,2)^2*s(2,3)^2*s(2,4)
2618 + 12*s(1,2)^2*s(2,3)^2*s(3,4)
2619 + 18*s(1,2)^2*s(2,3)*s(2,4)^2
2620 + 36*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2621 + 18*s(1,2)^2*s(2,3)*s(3,4)^2
2622 + 12*s(1,2)^2*s(2,4)^3
2623 + 36*s(1,2)^2*s(2,4)^2*s(3,4)
2624 + 36*s(1,2)^2*s(2,4)*s(3,4)^2
2625 + 12*s(1,2)^2*s(3,4)^3
2626 + 34*s(1,2)*s(1,3)^4
2627 + 1165/16*s(1,2)*s(1,3)^3*s(2,3)
2628 + 957/16*s(1,2)*s(1,3)^3*s(2,4)
2629 + 73*s(1,2)*s(1,3)^3*s(3,4)
2630 + 273/4*s(1,2)*s(1,3)^2*s(2,3)^2
2631 + 1377/16*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2632 + 1767/16*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2633 + 957/16*s(1,2)*s(1,3)^2*s(2,4)^2
2634 + 973/8*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2635 + 72*s(1,2)*s(1,3)^2*s(3,4)^2
2636 + 551/16*s(1,2)*s(1,3)*s(2,3)^3
2637 + 273/4*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2638 + 1041/16*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2639 + 1165/16*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2640 + 919/8*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2641 + 557/8*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2642 + 34*s(1,2)*s(1,3)*s(2,4)^3
2643 + 701/8*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
2644 + 1469/16*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2645 + 35*s(1,2)*s(1,3)*s(3,4)^3
2646 + s(1,2)*s(2,3)^4
2647 + 5*s(1,2)*s(2,3)^3*s(2,4)
2648 + 5*s(1,2)*s(2,3)^3*s(3,4)
2649 + 10*s(1,2)*s(2,3)^2*s(2,4)^2
2650 + 20*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2651 + 10*s(1,2)*s(2,3)^2*s(3,4)^2
2652 + 10*s(1,2)*s(2,3)*s(2,4)^3
2653 + 30*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2654 + 30*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2655 + 10*s(1,2)*s(2,3)*s(3,4)^3
2656 + 5*s(1,2)*s(2,4)^4
2657 + 20*s(1,2)*s(2,4)^3*s(3,4)
2658 + 30*s(1,2)*s(2,4)^2*s(3,4)^2
2659 + 20*s(1,2)*s(2,4)*s(3,4)^3
2660 + 5*s(1,2)*s(3,4)^4
2661 + 9*s(1,3)^5
2662 + 24*s(1,3)^4*s(2,3)
2663 + 14*s(1,3)^4*s(2,4)
2664 + 25*s(1,3)^4*s(3,4)
2665 + 557/16*s(1,3)^3*s(2,3)^2
2666 + 253/8*s(1,3)^3*s(2,3)*s(2,4)
2667 + 58*s(1,3)^3*s(2,3)*s(3,4)
2668 + 349/16*s(1,3)^3*s(2,4)^2
2669 + 43*s(1,3)^3*s(2,4)*s(3,4)
2670 + 35*s(1,3)^3*s(3,4)^2
2671 + 197/8*s(1,3)^2*s(2,3)^3
2672 + 121/4*s(1,3)^2*s(2,3)^2*s(2,4)
2673 + 469/8*s(1,3)^2*s(2,3)^2*s(3,4)
2674 + 253/8*s(1,3)^2*s(2,3)*s(2,4)^2
2675 + 1047/16*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2676 + 60*s(1,3)^2*s(2,3)*s(3,4)^2
2677 + 14*s(1,3)^2*s(2,4)^3
2678 + 781/16*s(1,3)^2*s(2,4)^2*s(3,4)
2679 + 48*s(1,3)^2*s(2,4)*s(3,4)^2
2680 + 27*s(1,3)^2*s(3,4)^3
2681 + 189/16*s(1,3)*s(2,3)^4
2682 + 197/8*s(1,3)*s(2,3)^3*s(2,4)
2683 + 229/8*s(1,3)*s(2,3)^3*s(3,4)
2684 + 557/16*s(1,3)*s(2,3)^2*s(2,4)^2
2685 + 791/16*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2686 + 653/16*s(1,3)*s(2,3)^2*s(3,4)^2
2687 + 24*s(1,3)*s(2,3)*s(2,4)^3
2688 + 909/16*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
2689 + 845/16*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2690 + 30*s(1,3)*s(2,3)*s(3,4)^3
2691 + 9*s(1,3)*s(2,4)^4
2692 + 26*s(1,3)*s(2,4)^3*s(3,4)
2693 + 42*s(1,3)*s(2,4)^2*s(3,4)^2
2694 + 25*s(1,3)*s(2,4)*s(3,4)^3
2695 + 11*s(1,3)*s(3,4)^4
2698 + zeta5 * (
2699 + 2*s(1,2)^3
2700 + 23/2*s(1,2)^2*s(1,3)
2701 + 2*s(1,2)^2*s(2,3)
2702 + 4*s(1,2)^2*s(2,4)
2703 + 4*s(1,2)^2*s(3,4)
2704 + 25/2*s(1,2)*s(1,3)^2
2705 + 14*s(1,2)*s(1,3)*s(2,3)
2706 + 25/2*s(1,2)*s(1,3)*s(2,4)
2707 + 27/2*s(1,2)*s(1,3)*s(3,4)
2708 + s(1,2)*s(2,3)^2
2709 + 3*s(1,2)*s(2,3)*s(2,4)
2710 + 3*s(1,2)*s(2,3)*s(3,4)
2711 + 3*s(1,2)*s(2,4)^2
2712 + 6*s(1,2)*s(2,4)*s(3,4)
2713 + 3*s(1,2)*s(3,4)^2
2714 + 6*s(1,3)^3
2715 + 17/2*s(1,3)^2*s(2,3)
2716 + 9/2*s(1,3)^2*s(2,4)
2717 + 10*s(1,3)^2*s(3,4)
2718 + 15/2*s(1,3)*s(2,3)^2
2719 + 17/2*s(1,3)*s(2,3)*s(2,4)
2720 + 21/2*s(1,3)*s(2,3)*s(3,4)
2721 + 6*s(1,3)*s(2,4)^2
2722 + 15/2*s(1,3)*s(2,4)*s(3,4)
2723 + 7*s(1,3)*s(3,4)^2
2726 + zeta3 * (
2727 + s(1,2)
2728 + 3*s(1,3)
2731 + zeta3^2 * (
2732 + 1/2*s(1,2)^4
2733 + s(1,2)^3*s(1,3)
2734 + s(1,2)^3*s(2,3)
2735 + 2*s(1,2)^3*s(2,4)
2736 + 2*s(1,2)^3*s(3,4)
2737 + 1/2*s(1,2)^2*s(1,3)^2
2738 + 5/2*s(1,2)^2*s(1,3)*s(2,3)
2739 + 15/2*s(1,2)^2*s(1,3)*s(2,4)
2740 + 6*s(1,2)^2*s(1,3)*s(3,4)
2741 + 1/2*s(1,2)^2*s(2,3)^2
2742 + 3/2*s(1,2)^2*s(2,3)*s(2,4)
2743 + 5/2*s(1,2)^2*s(2,3)*s(3,4)
2744 + 3/2*s(1,2)^2*s(2,4)^2
2745 + 3*s(1,2)^2*s(2,4)*s(3,4)
2746 + 5/2*s(1,2)^2*s(3,4)^2
2747 + s(1,2)*s(1,3)^3
2748 + 3/2*s(1,2)*s(1,3)^2*s(2,3)
2749 + 7*s(1,2)*s(1,3)^2*s(2,4)
2750 + 15/2*s(1,2)*s(1,3)^2*s(3,4)
2751 + 3/2*s(1,2)*s(1,3)*s(2,3)^2
2752 + 15/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)
2753 + 11/2*s(1,2)*s(1,3)*s(2,3)*s(3,4)
2754 + 6*s(1,2)*s(1,3)*s(2,4)^2
2755 + 17/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)
2756 + 6*s(1,2)*s(1,3)*s(3,4)^2
2757 + s(1,2)*s(2,3)^2*s(3,4)
2758 + s(1,2)*s(2,3)*s(2,4)*s(3,4)
2759 + 2*s(1,2)*s(2,3)*s(3,4)^2
2760 + s(1,2)*s(2,4)*s(3,4)^2
2761 + s(1,2)*s(3,4)^3
2762 + 1/2*s(1,3)^4
2763 + 2*s(1,3)^3*s(2,3)
2764 + 3*s(1,3)^3*s(2,4)
2765 + 4*s(1,3)^3*s(3,4)
2766 + 3/2*s(1,3)^2*s(2,3)^2
2767 + 4*s(1,3)^2*s(2,3)*s(2,4)
2768 + 6*s(1,3)^2*s(2,3)*s(3,4)
2769 + 3*s(1,3)^2*s(2,4)^2
2770 + 9/2*s(1,3)^2*s(2,4)*s(3,4)
2771 + 9/2*s(1,3)^2*s(3,4)^2
2772 + 3/2*s(1,3)*s(2,3)^2*s(2,4)
2773 + 3/2*s(1,3)*s(2,3)^2*s(3,4)
2774 + 2*s(1,3)*s(2,3)*s(2,4)^2
2775 + 3*s(1,3)*s(2,3)*s(3,4)^2
2776 + 1/2*s(1,3)*s(2,4)^3
2777 + 1/2*s(1,3)*s(2,4)^2*s(3,4)
2778 + s(1,3)*s(3,4)^3
2781 + zeta2*zeta5 * (
2782 - s(1,2)^5
2783 - 4*s(1,2)^4*s(1,3)
2784 - 2*s(1,2)^4*s(2,3)
2785 - 4*s(1,2)^4*s(2,4)
2786 - 5*s(1,2)^4*s(3,4)
2787 - 6*s(1,2)^3*s(1,3)^2
2788 - 23/2*s(1,2)^3*s(1,3)*s(2,3)
2789 - 43/2*s(1,2)^3*s(1,3)*s(2,4)
2790 - 47/2*s(1,2)^3*s(1,3)*s(3,4)
2791 - 2*s(1,2)^3*s(2,3)^2
2792 - 6*s(1,2)^3*s(2,3)*s(2,4)
2793 - 8*s(1,2)^3*s(2,3)*s(3,4)
2794 - 6*s(1,2)^3*s(2,4)^2
2795 - 14*s(1,2)^3*s(2,4)*s(3,4)
2796 - 8*s(1,2)^3*s(3,4)^2
2797 - 4*s(1,2)^2*s(1,3)^3
2798 - 25/2*s(1,2)^2*s(1,3)^2*s(2,3)
2799 - 61/2*s(1,2)^2*s(1,3)^2*s(2,4)
2800 - 36*s(1,2)^2*s(1,3)^2*s(3,4)
2801 - 14*s(1,2)^2*s(1,3)*s(2,3)^2
2802 - 65/2*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2803 - 41*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2804 - 45/2*s(1,2)^2*s(1,3)*s(2,4)^2
2805 - 93/2*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2806 - 55/2*s(1,2)^2*s(1,3)*s(3,4)^2
2807 - s(1,2)^2*s(2,3)^3
2808 - 4*s(1,2)^2*s(2,3)^2*s(2,4)
2809 - 6*s(1,2)^2*s(2,3)^2*s(3,4)
2810 - 6*s(1,2)^2*s(2,3)*s(2,4)^2
2811 - 16*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2812 - 10*s(1,2)^2*s(2,3)*s(3,4)^2
2813 - 4*s(1,2)^2*s(2,4)^3
2814 - 14*s(1,2)^2*s(2,4)^2*s(3,4)
2815 - 16*s(1,2)^2*s(2,4)*s(3,4)^2
2816 - 6*s(1,2)^2*s(3,4)^3
2817 - s(1,2)*s(1,3)^4
2818 - 6*s(1,2)*s(1,3)^3*s(2,3)
2819 - 20*s(1,2)*s(1,3)^3*s(2,4)
2820 - 49/2*s(1,2)*s(1,3)^3*s(3,4)
2821 - 17/2*s(1,2)*s(1,3)^2*s(2,3)^2
2822 - 25*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2823 - 45*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2824 - 37/2*s(1,2)*s(1,3)^2*s(2,4)^2
2825 - 51*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2826 - 63/2*s(1,2)*s(1,3)^2*s(3,4)^2
2827 - 15/2*s(1,2)*s(1,3)*s(2,3)^3
2828 - 20*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2829 - 33*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2830 - 41/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2831 - 91/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2832 - 34*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2833 - 11*s(1,2)*s(1,3)*s(2,4)^3
2834 - 28*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
2835 - 73/2*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2836 - 15*s(1,2)*s(1,3)*s(3,4)^3
2837 - 2*s(1,2)*s(2,3)^3*s(3,4)
2838 - 3*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2839 - 5*s(1,2)*s(2,3)^2*s(3,4)^2
2840 - 3*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2841 - 6*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2842 - 5*s(1,2)*s(2,3)*s(3,4)^3
2843 - s(1,2)*s(2,4)^3*s(3,4)
2844 - 3*s(1,2)*s(2,4)^2*s(3,4)^2
2845 - 3*s(1,2)*s(2,4)*s(3,4)^3
2846 - 2*s(1,2)*s(3,4)^4
2847 - s(1,3)^5
2848 - 2*s(1,3)^4*s(2,3)
2849 - 4*s(1,3)^4*s(2,4)
2850 - 9*s(1,3)^4*s(3,4)
2851 - 2*s(1,3)^3*s(2,3)^2
2852 - 6*s(1,3)^3*s(2,3)*s(2,4)
2853 - 37/2*s(1,3)^3*s(2,3)*s(3,4)
2854 - 6*s(1,3)^3*s(2,4)^2
2855 - 29/2*s(1,3)^3*s(2,4)*s(3,4)
2856 - 14*s(1,3)^3*s(3,4)^2
2857 - s(1,3)^2*s(2,3)^3
2858 - 4*s(1,3)^2*s(2,3)^2*s(2,4)
2859 - 19*s(1,3)^2*s(2,3)^2*s(3,4)
2860 - 6*s(1,3)^2*s(2,3)*s(2,4)^2
2861 - 22*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2862 - 47/2*s(1,3)^2*s(2,3)*s(3,4)^2
2863 - 4*s(1,3)^2*s(2,4)^3
2864 - 17*s(1,3)^2*s(2,4)^2*s(3,4)
2865 - 35/2*s(1,3)^2*s(2,4)*s(3,4)^2
2866 - 10*s(1,3)^2*s(3,4)^3
2867 - s(1,3)*s(2,3)^3*s(2,4)
2868 - 15/2*s(1,3)*s(2,3)^3*s(3,4)
2869 - 2*s(1,3)*s(2,3)^2*s(2,4)^2
2870 - 15/2*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
2871 - 23/2*s(1,3)*s(2,3)^2*s(3,4)^2
2872 - 2*s(1,3)*s(2,3)*s(2,4)^3
2873 - 5*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
2874 - 15/2*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
2875 - 8*s(1,3)*s(2,3)*s(3,4)^3
2876 - s(1,3)*s(2,4)^4
2877 - 4*s(1,3)*s(2,4)^2*s(3,4)^2
2878 - 2*s(1,3)*s(2,4)*s(3,4)^3
2879 - 2*s(1,3)*s(3,4)^4
2882 + zeta2*zeta3 * (
2883 - s(1,2)^3
2884 - 2*s(1,2)^2*s(1,3)
2885 - s(1,2)^2*s(2,3)
2886 - 2*s(1,2)^2*s(2,4)
2887 - 3*s(1,2)^2*s(3,4)
2888 - s(1,2)*s(1,3)^2
2889 - 3*s(1,2)*s(1,3)*s(2,3)
2890 - 6*s(1,2)*s(1,3)*s(2,4)
2891 - 7*s(1,2)*s(1,3)*s(3,4)
2892 - 2*s(1,2)*s(2,3)*s(3,4)
2893 - s(1,2)*s(2,4)*s(3,4)
2894 - 2*s(1,2)*s(3,4)^2
2895 - s(1,3)^3
2896 - s(1,3)^2*s(2,3)
2897 - 2*s(1,3)^2*s(2,4)
2898 - 5*s(1,3)^2*s(3,4)
2899 - s(1,3)*s(2,3)*s(2,4)
2900 - 3*s(1,3)*s(2,3)*s(3,4)
2901 - s(1,3)*s(2,4)^2
2902 - 2*s(1,3)*s(3,4)^2
2905 + zeta2^2 * (
2906 - 1/10*s(1,2)^2
2907 - 19/10*s(1,2)*s(1,3)
2908 - 2/5*s(1,2)*s(2,3)
2909 - 4/5*s(1,2)*s(2,4)
2910 + 1/5*s(1,2)*s(3,4)
2911 - 13/10*s(1,3)^2
2912 - 21/10*s(1,3)*s(2,3)
2913 - 13/10*s(1,3)*s(2,4)
2914 - s(1,3)*s(3,4)
2917 + zeta2^2*zeta3 * (
2918 - 2/5*s(1,2)^5
2919 - 4/5*s(1,2)^4*s(1,3)
2920 - 1/2*s(1,2)^4*s(2,3)
2921 - s(1,2)^4*s(2,4)
2922 - s(1,2)^4*s(3,4)
2923 - 2/5*s(1,2)^3*s(1,3)^2
2924 - 7/5*s(1,2)^3*s(1,3)*s(2,3)
2925 - 63/10*s(1,2)^3*s(1,3)*s(2,4)
2926 - 23/5*s(1,2)^3*s(1,3)*s(3,4)
2927 - 1/2*s(1,2)^3*s(2,3)^2
2928 - 3/2*s(1,2)^3*s(2,3)*s(2,4)
2929 - 9/10*s(1,2)^3*s(2,3)*s(3,4)
2930 - 3/2*s(1,2)^3*s(2,4)^2
2931 - 2*s(1,2)^3*s(2,4)*s(3,4)
2932 - 9/10*s(1,2)^3*s(3,4)^2
2933 - 6/5*s(1,2)^2*s(1,3)^3
2934 - 13/10*s(1,2)^2*s(1,3)^2*s(2,3)
2935 - 101/10*s(1,2)^2*s(1,3)^2*s(2,4)
2936 - 51/5*s(1,2)^2*s(1,3)^2*s(3,4)
2937 - 11/10*s(1,2)^2*s(1,3)*s(2,3)^2
2938 - 51/5*s(1,2)^2*s(1,3)*s(2,3)*s(2,4)
2939 - 37/10*s(1,2)^2*s(1,3)*s(2,3)*s(3,4)
2940 - 77/10*s(1,2)^2*s(1,3)*s(2,4)^2
2941 - 89/10*s(1,2)^2*s(1,3)*s(2,4)*s(3,4)
2942 - 39/10*s(1,2)^2*s(1,3)*s(3,4)^2
2943 - 2/5*s(1,2)^2*s(2,3)^3
2944 - 8/5*s(1,2)^2*s(2,3)^2*s(2,4)
2945 - 11/10*s(1,2)^2*s(2,3)^2*s(3,4)
2946 - 12/5*s(1,2)^2*s(2,3)*s(2,4)^2
2947 - 29/10*s(1,2)^2*s(2,3)*s(2,4)*s(3,4)
2948 - 7/10*s(1,2)^2*s(2,3)*s(3,4)^2
2949 - 8/5*s(1,2)^2*s(2,4)^3
2950 - 19/5*s(1,2)^2*s(2,4)^2*s(3,4)
2951 - 29/10*s(1,2)^2*s(2,4)*s(3,4)^2
2952 - 11/10*s(1,2)^2*s(3,4)^3
2953 - 6/5*s(1,2)*s(1,3)^4
2954 - 31/10*s(1,2)*s(1,3)^3*s(2,3)
2955 - 79/10*s(1,2)*s(1,3)^3*s(2,4)
2956 - 97/10*s(1,2)*s(1,3)^3*s(3,4)
2957 - 23/10*s(1,2)*s(1,3)^2*s(2,3)^2
2958 - 66/5*s(1,2)*s(1,3)^2*s(2,3)*s(2,4)
2959 - 53/5*s(1,2)*s(1,3)^2*s(2,3)*s(3,4)
2960 - 44/5*s(1,2)*s(1,3)^2*s(2,4)^2
2961 - 109/10*s(1,2)*s(1,3)^2*s(2,4)*s(3,4)
2962 - 29/5*s(1,2)*s(1,3)^2*s(3,4)^2
2963 - 6/5*s(1,2)*s(1,3)*s(2,3)^3
2964 - 101/10*s(1,2)*s(1,3)*s(2,3)^2*s(2,4)
2965 - 3*s(1,2)*s(1,3)*s(2,3)^2*s(3,4)
2966 - 58/5*s(1,2)*s(1,3)*s(2,3)*s(2,4)^2
2967 - 23/2*s(1,2)*s(1,3)*s(2,3)*s(2,4)*s(3,4)
2968 - 19/5*s(1,2)*s(1,3)*s(2,3)*s(3,4)^2
2969 - 47/10*s(1,2)*s(1,3)*s(2,4)^3
2970 - 123/10*s(1,2)*s(1,3)*s(2,4)^2*s(3,4)
2971 - 46/5*s(1,2)*s(1,3)*s(2,4)*s(3,4)^2
2972 - 3*s(1,2)*s(1,3)*s(3,4)^3
2973 - 4/5*s(1,2)*s(2,3)^3*s(3,4)
2974 - 6/5*s(1,2)*s(2,3)^2*s(2,4)*s(3,4)
2975 - 7/10*s(1,2)*s(2,3)^2*s(3,4)^2
2976 - 2/5*s(1,2)*s(2,3)*s(2,4)^2*s(3,4)
2977 - 17/10*s(1,2)*s(2,3)*s(2,4)*s(3,4)^2
2978 - 7/10*s(1,2)*s(2,3)*s(3,4)^3
2979 - 2/5*s(1,2)*s(2,4)^2*s(3,4)^2
2980 - 6/5*s(1,2)*s(2,4)*s(3,4)^3
2981 - 4/5*s(1,2)*s(3,4)^4
2982 - 2/5*s(1,3)^5
2983 - 17/10*s(1,3)^4*s(2,3)
2984 - 11/5*s(1,3)^4*s(2,4)
2985 - 3*s(1,3)^4*s(3,4)
2986 - 17/5*s(1,3)^3*s(2,3)^2
2987 - 13/2*s(1,3)^3*s(2,3)*s(2,4)
2988 - 41/5*s(1,3)^3*s(2,3)*s(3,4)
2989 - 18/5*s(1,3)^3*s(2,4)^2
2990 - 57/10*s(1,3)^3*s(2,4)*s(3,4)
2991 - 7/2*s(1,3)^3*s(3,4)^2
2992 - 21/10*s(1,3)^2*s(2,3)^3
2993 - 34/5*s(1,3)^2*s(2,3)^2*s(2,4)
2994 - 8*s(1,3)^2*s(2,3)^2*s(3,4)
2995 - 13/2*s(1,3)^2*s(2,3)*s(2,4)^2
2996 - 17/2*s(1,3)^2*s(2,3)*s(2,4)*s(3,4)
2997 - 31/5*s(1,3)^2*s(2,3)*s(3,4)^2
2998 - 11/5*s(1,3)^2*s(2,4)^3
2999 - 61/10*s(1,3)^2*s(2,4)^2*s(3,4)
3000 - 28/5*s(1,3)^2*s(2,4)*s(3,4)^2
3001 - 31/10*s(1,3)^2*s(3,4)^3
3002 - 21/10*s(1,3)*s(2,3)^3*s(2,4)
3003 - 6/5*s(1,3)*s(2,3)^3*s(3,4)
3004 - 17/5*s(1,3)*s(2,3)^2*s(2,4)^2
3005 - 1/5*s(1,3)*s(2,3)^2*s(2,4)*s(3,4)
3006 - 19/10*s(1,3)*s(2,3)^2*s(3,4)^2
3007 - 17/10*s(1,3)*s(2,3)*s(2,4)^3
3008 - 9/5*s(1,3)*s(2,3)*s(2,4)^2*s(3,4)
3009 - 3/10*s(1,3)*s(2,3)*s(2,4)*s(3,4)^2
3010 - 3/2*s(1,3)*s(2,3)*s(3,4)^3
3011 - 2/5*s(1,3)*s(2,4)^4
3012 - 4/5*s(1,3)*s(2,4)^3*s(3,4)
3013 - 2/5*s(1,3)*s(2,4)^2*s(3,4)^2
3014 - 4/5*s(1,3)*s(3,4)^4
3017 + zeta2^3 * (
3018 - 6/35*s(1,2)^4
3019 - 314/105*s(1,2)^3*s(1,3)
3020 - 23/70*s(1,2)^3*s(2,3)
3021 - 23/35*s(1,2)^3*s(2,4)
3022 - 9/35*s(1,2)^3*s(3,4)
3023 - 198/35*s(1,2)^2*s(1,3)^2
3024 - 911/210*s(1,2)^2*s(1,3)*s(2,3)
3025 - 179/70*s(1,2)^2*s(1,3)*s(2,4)
3026 - 193/105*s(1,2)^2*s(1,3)*s(3,4)
3027 - 6/35*s(1,2)^2*s(2,3)^2
3028 - 18/35*s(1,2)^2*s(2,3)*s(2,4)
3029 - 29/70*s(1,2)^2*s(2,3)*s(3,4)
3030 - 18/35*s(1,2)^2*s(2,4)^2
3031 - 13/14*s(1,2)^2*s(2,4)*s(3,4)
3032 - 29/70*s(1,2)^2*s(3,4)^2
3033 - 478/105*s(1,2)*s(1,3)^3
3034 - 1277/210*s(1,2)*s(1,3)^2*s(2,3)
3035 - 256/105*s(1,2)*s(1,3)^2*s(2,4)
3036 - 5/2*s(1,2)*s(1,3)^2*s(3,4)
3037 - 709/210*s(1,2)*s(1,3)*s(2,3)^2
3038 - 292/105*s(1,2)*s(1,3)*s(2,3)*s(2,4)
3039 - 61/35*s(1,2)*s(1,3)*s(2,3)*s(3,4)
3040 - 431/210*s(1,2)*s(1,3)*s(2,4)^2
3041 - 61/21*s(1,2)*s(1,3)*s(2,4)*s(3,4)
3042 - 29/15*s(1,2)*s(1,3)*s(3,4)^2
3043 - 8/35*s(1,2)*s(2,3)^3
3044 - 32/35*s(1,2)*s(2,3)^2*s(2,4)
3045 - 4/35*s(1,2)*s(2,3)^2*s(3,4)
3046 - 48/35*s(1,2)*s(2,3)*s(2,4)^2
3047 - 68/35*s(1,2)*s(2,3)*s(2,4)*s(3,4)
3048 - 33/70*s(1,2)*s(2,3)*s(3,4)^2
3049 - 32/35*s(1,2)*s(2,4)^3
3050 - 82/35*s(1,2)*s(2,4)^2*s(3,4)
3051 - 68/35*s(1,2)*s(2,4)*s(3,4)^2
3052 - 4/35*s(1,2)*s(3,4)^3
3053 - 46/35*s(1,3)^4
3054 - 629/210*s(1,3)^3*s(2,3)
3055 - 109/105*s(1,3)^3*s(2,4)
3056 - 47/35*s(1,3)^3*s(3,4)
3057 - 313/105*s(1,3)^2*s(2,3)^2
3058 - 164/105*s(1,3)^2*s(2,3)*s(2,4)
3059 - 73/35*s(1,3)^2*s(2,3)*s(3,4)
3060 - 109/105*s(1,3)^2*s(2,4)^2
3061 - 11/7*s(1,3)^2*s(2,4)*s(3,4)
3062 - 3/2*s(1,3)^2*s(3,4)^2
3063 - 31/14*s(1,3)*s(2,3)^3
3064 - 313/105*s(1,3)*s(2,3)^2*s(2,4)
3065 - 242/105*s(1,3)*s(2,3)^2*s(3,4)
3066 - 629/210*s(1,3)*s(2,3)*s(2,4)^2
3067 - 146/35*s(1,3)*s(2,3)*s(2,4)*s(3,4)
3068 - 571/210*s(1,3)*s(2,3)*s(3,4)^2
3069 - 46/35*s(1,3)*s(2,4)^3
3070 - 52/15*s(1,3)*s(2,4)^2*s(3,4)
3071 - 326/105*s(1,3)*s(2,4)*s(3,4)^2
3072 - 44/35*s(1,3)*s(3,4)^3