source: git/Tst/Short/bug_40.tst @ 4e59df4

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