Changeset 4481
- Timestamp:
- 2016-06-15T09:24:53-07:00 (9 years ago)
- File:
-
- 1 edited
-
branches/f4grobner/5am-buchberger.lisp (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
branches/f4grobner/5am-buchberger.lisp
r4480 r4481 155 155 (def-fixture buchberger-cox-tough-context () 156 156 (let ((fl (cdr (string->poly "[x^5+y^4+z^3-1,x^3+y^3+z^2-1]" '(x y z)))) 157 (gb (cdr (string->poly "[z^ 3+y^4+x^5-1,z^2+y^3+x^3-1,z^3-x^2*z^2+y^4-x^2*y^3+x^2-1,157 (gb (cdr (string->poly "[z^2+y^3+x^3-1,z^3-x^2*z^2+y^4-x^2*y^3+x^2-1, 158 158 (-z^4)-x*z^3-2*y^3*z^2+2*z^2-y^6-x*y^4+2*y^3+x-1, 159 (-y^2*z^4)+x*z^4-x*y^2*z^3+y*z^3+x^2*z^3-2*y^5*z^2+2*x*y^3*z^2160 +2*y^2*z^2-x^2*y*z^2-2*x*z^2-y^8+3*y^5-2*x*y^3+x*y^2-y^2161 +x^2*y-y-x^2+x,162 z^7+y^2*z^6+2*y*z^6+3*y^3*z^5+x*y^2*z^5+x*y*z^5-y*z^5-x^2*z^5-3*z^5163 +2*y^5*z^4+5*y^4*z^4-x*y^3*z^4-x*y^2*z^4-2*y^2*z^4-6*y*z^4-x^2*z^4164 -x*z^4+z^4+3*y^6*z^3-9*y^3*z^3+x*y^2*z^3-y*z^3-x^2*z^3+4*z^3+y^8*z^2165 +4*y^7*z^2-y^5*z^2-9*y^4*z^2+2*y^3*z^2+x*y^2*z^2-y^2*z^2-2*x*y*z^2166 +7*y*z^2+3*x^2*z^2+x*z^2-3*z^2+y^9*z-5*y^6*z-x*y^3*z+5*y^3*z167 -x^2*y^2*z+y^2*z+x^2*y*z-x*y*z+2*x*z-2*z+y^10+y^8-5*y^7+y^6-3*y^5168 +4*y^4+2*x*y^3-y^3+x^2*y^2-2*x*y^2+y^2-x^2*y+2*x*y-y-2*x+2,169 z^9+y^2*z^8+y*z^8+3*z^8+3*y^3*z^7+x*y^2*z^7+2*y^2*z^7-y*z^7-x^2*z^7170 +2*x*z^7-3*z^7+2*y^5*z^6+3*y^4*z^6-x*y^3*z^6+9*y^3*z^6+x*y^2*z^6171 -2*y^2*z^6-x*y*z^6-7*y*z^6-x^2*z^6-13*z^6+3*y^6*z^5+5*y^5*z^5172 -7*y^3*z^5+x*y^2*z^5-9*y^2*z^5-2*x*y*z^5-x^2*z^5-3*x*z^5+z^5+y^8*z^4173 +3*y^7*z^4+10*y^6*z^4-y^5*z^4-14*y^4*z^4-30*y^3*z^4-3*x*y^2*z^4174 +y^2*z^4+4*x*y*z^4+14*y*z^4+6*x^2*z^4-3*x*z^4+22*z^4+y^9*z^3175 +4*y^8*z^3-4*y^6*z^3-18*y^5*z^3+2*y^4*z^3+5*x*y^3*z^3+4*y^3*z^3176 +14*y^2*z^3+x*y*z^3-y*z^3-x^2*z^3-2*x*z^3+y^10*z^2+5*y^9*z^2+y^8*z^2177 -9*y^7*z^2-23*y^6*z^2+y^5*z^2+13*y^4*z^2-3*x*y^3*z^2+34*y^3*z^2178 -4*x*y^2*z^2-3*y^2*z^2-x*y*z^2-7*y*z^2-2*x^2*z^2+8*x*z^2-13*z^2179 +y^11*z-8*y^8*z+y^7*z+13*y^5*z-7*x*y^3*z+5*x*y^2*z-5*y^2*z+2*x^2*y*z180 -x*y*z-y*z-2*x^2*z+3*x*z-z+y^12-y^10-7*y^9+2*y^8+5*y^7+14*y^6-3*y^5181 -4*y^4+6*x*y^3-13*y^3-x*y^2+y^2-2*x^2*y+2*y+2*x^2-5*x+3,182 (-z^9)-y^2*z^8-y*z^8-5*z^8-3*y^3*z^7-x*y^2*z^7-4*y^2*z^7-y*z^7+x^2*z^7183 -2*x*z^7+z^7-2*y^5*z^6-3*y^4*z^6+x*y^3*z^6-15*y^3*z^6-3*x*y^2*z^6184 -6*y^2*z^6+x*y*z^6+5*y*z^6+3*x^2*z^6+2*x*z^6+17*z^6-3*y^6*z^5185 -9*y^5*z^5-6*y^4*z^5+2*x*y^3*z^5+y^3*z^5-7*x*y^2*z^5+11*y^2*z^5186 +10*y*z^5+5*x^2*z^5+3*x*z^5+3*z^5-y^8*z^4-3*y^7*z^4-16*y^6*z^4187 -17*y^5*z^4+4*y^4*z^4+8*x*y^3*z^4+38*y^3*z^4+x*y^2*z^4+23*y^2*z^4188 -2*x*y*z^4-3*x*z^4-20*z^4-y^9*z^3-6*y^8*z^3-6*y^7*z^3-2*y^6*z^3189 +16*y^5*z^3+16*y^4*z^3-3*x*y^3*z^3+10*y^3*z^3+4*x*y^2*z^3190 -6*y^2*z^3-x*y*z^3-11*y*z^3-5*x^2*z^3-6*z^3-y^10*z^2-7*y^9*z^2191 -13*y^8*z^2+y^7*z^2+25*y^6*z^2+33*y^5*z^2+y^4*z^2-11*x*y^3*z^2192 -28*y^3*z^2+8*x*y^2*z^2-19*y^2*z^2+3*x*y*z^2-3*y*z^2-4*x^2*z^2193 +11*z^2-y^11*z-2*y^10*z-2*y^9*z+4*y^8*z+9*y^7*z+8*y^6*z-y^5*z194 -8*y^4*z+x*y^3*z-8*y^3*z+x*y^2*z-y^2*z-x*y*z+y*z-x*z+z-y^12195 -2*y^11-y^10+5*y^9+10*y^8+3*y^7-6*y^6-11*y^5-4*y^4+2*x*y^3+5*y^3196 -3*x*y^2+3*y^2+x-1,197 (-y*z^7)+3*y^2*z^6-x*y*z^6-x*z^6-z^6-2*y^4*z^5+3*x*y^2*z^5+2*y*z^5198 +7*y^5*z^4-3*x*y^3*z^4-9*y^2*z^4+y*z^4+3*x*z^4-y^7*z^3199 -3*x*y^2*z^3+2*x*y*z^3-y*z^3+2*z^3+5*y^8*z^2-14*y^5*z^2200 +2*y^4*z^2+6*x*y^3*z^2-3*x*y^2*z^2+9*y^2*z^2-2*y*z^2-3*x*z^2201 +y^11-6*y^8+y^7+7*y^5-3*x*y^3+3*x*y^2-3*y^2-x*y+y+x-1,202 y*z^9-9*z^9-3*y^2*z^8+x*y*z^8+3*y*z^8-8*x*z^8+19*z^8+2*y^4*z^7203 -21*y^3*z^7-3*x*y^2*z^7+12*y^2*z^7+3*x*y*z^7+12*x*z^7+21*z^7204 -7*y^5*z^6+15*y^4*z^6+54*y^3*z^6+9*x*y^2*z^6-4*x*y*z^6-31*y*z^6205 +8*x*z^6-61*z^6+y^7*z^5-15*y^6*z^5+30*y^5*z^5+4*y^4*z^5+42*y^3*z^5206 -3*x*y^2*z^5-42*y^2*z^5-20*x*y*z^5+3*y*z^5-29*z^5-5*y^8*z^4207 +24*y^7*z^4+60*y^6*z^4-83*y^4*z^4-141*y^3*z^4-6*x*y^2*z^4208 +15*y^2*z^4+21*x*y*z^4+48*y*z^4-21*x*z^4+93*z^4-3*y^9*z^3209 +24*y^8*z^3+2*y^7*z^3+9*y^6*z^3-84*y^5*z^3+12*y^4*z^3+24*x*y^3*z^3210 -21*y^3*z^3+54*y^2*z^3+5*x*y*z^3+2*y*z^3-18*x*z^3+5*z^3-y^11*z^2211 +15*y^10*z^2+30*y^9*z^2-4*y^8*z^2-61*y^7*z^2-105*y^6*z^2212 +33*y^5*z^2+77*y^4*z^2-27*x*y^3*z^2+120*y^3*z^2-6*x*y^2*z^2213 -27*y^2*z^2+x*y*z^2-33*y*z^2+32*x*z^2-44*z^2+6*y^11*z-36*y^8*z214 +6*y^7*z+42*y^5*z-18*x*y^3*z+18*x*y^2*z-18*y^2*z-6*x*y*z+6*y*z215 +6*x*z-6*z+3*y^13+6*y^12-2*y^11-18*y^10-33*y^9+18*y^8+28*y^7216 +51*y^6-14*y^5-27*y^4+21*x*y^3-33*y^3-9*x*y^2+9*y^2-x*y+y-11*x+11,217 (-y*z^9)+9*z^9+3*y^2*z^8-x*y*z^8-11*y*z^8+8*x*z^8+5*z^8-2*y^4*z^7218 +21*y^3*z^7+3*x*y^2*z^7+4*y^2*z^7-11*x*y*z^7+4*x*z^7-29*z^7219 +7*y^5*z^6-31*y^4*z^6+18*y^3*z^6+7*x*y^2*z^6-4*x*y*z^6+39*y*z^6220 -8*x*z^6-35*z^6-y^7*z^5+15*y^6*z^5+10*y^5*z^5-4*y^4*z^5221 -42*y^3*z^5+3*x*y^2*z^5-14*y^2*z^5+20*x*y*z^5+5*y*z^5-24*x*z^5222 +29*z^5+5*y^8*z^4-32*y^7*z^4+20*y^6*z^4+83*y^4*z^4-75*y^3*z^4223 -18*x*y^2*z^4-7*y^2*z^4+19*x*y*z^4-56*y*z^4-3*x*z^4+67*z^4224 +3*y^9*z^3+8*y^8*z^3-2*y^7*z^3-9*y^6*z^3-28*y^5*z^3+4*y^4*z^3225 +21*y^3*z^3-8*x*y^2*z^3+10*y^2*z^3-5*x*y*z^3-2*y*z^3+18*x*z^3226 -5*z^3+y^11*z^2-15*y^10*z^2+10*y^9*z^2+4*y^8*z^2+61*y^7*z^2227 -55*y^6*z^2-17*y^5*z^2-77*y^4*z^2+3*x*y^3*z^2+96*y^3*z^2228 +6*x*y^2*z^2+11*y^2*z^2-25*x*y*z^2+33*y*z^2+16*x*z^2-52*z^2229 +2*y^11*z-12*y^8*z+2*y^7*z+14*y^5*z-6*x*y^3*z+6*x*y^2*z-6*y^2*z230 -2*x*y*z+2*y*z+2*x*z-2*z-3*y^13+2*y^12+2*y^11+18*y^10-15*y^9231 -10*y^8-28*y^7+29*y^6+14*y^5+27*y^4+3*x*y^3-39*y^3+x*y^2-y^2232 +9*x*y-9*y-13*x+13,233 y*z^10-6*z^10-3*y^2*z^9+x*y*z^9-y*z^9-5*x*z^9+z^9+2*y^4*z^8-15*y^3*z^8234 -3*x*y^2*z^8+9*y^2*z^8-x*y*z^8+5*y*z^8-x*z^8+32*z^8-7*y^5*z^7235 +4*y^4*z^7+6*y^3*z^7+6*x*y^2*z^7+8*y^2*z^7+4*x*y*z^7-15*y*z^7236 +16*x*z^7-8*z^7+y^7*z^6-12*y^6*z^6+28*y^5*z^6+23*y^4*z^6237 +69*y^3*z^6+2*x*y^2*z^6-30*y^2*z^6-19*x*y*z^6-25*y*z^6-x*z^6238 -69*z^6-5*y^8*z^5+14*y^7*z^5+15*y^6*z^5+20*y^5*z^5-49*y^4*z^5239 -30*y^3*z^5+3*x*y^2*z^5-16*y^2*z^5+2*x*y*z^5+38*y*z^5-6*x*z^5240 +14*z^5-3*y^9*z^4+32*y^8*z^4+28*y^7*z^4+49*y^6*z^4-67*y^5*z^4241 -58*y^4*z^4-108*y^3*z^4-3*x*y^2*z^4+34*y^2*z^4+16*x*y*z^4242 +33*y*z^4-12*x*z^4+61*z^4-y^11*z^3+12*y^10*z^3+12*y^9*z^3243 +12*y^8*z^3-56*y^7*z^3-42*y^6*z^3-29*y^5*z^3+64*y^4*z^3244 +36*y^3*z^3-13*x*y^2*z^3+17*y^2*z^3+9*x*y*z^3-28*y*z^3+5*x*z^3245 +3*z^3+16*y^11*z^2+15*y^10*z^2+20*y^9*z^2-46*y^8*z^2-44*y^7*z^2246 -65*y^6*z^2+40*y^5*z^2+47*y^4*z^2+72*y^3*z^2-11*y^2*z^2-4*x*y*z^2247 -16*y*z^2+4*x*z^2-28*z^2+3*y^13*z+3*y^12*z+2*y^11*z-18*y^10*z248 -15*y^9*z-9*y^8*z+32*y^7*z+21*y^6*z+14*y^5*z-27*y^4*z-6*y^3*z249 +6*x*y^2*z-6*y^2*z-8*x*y*z+8*y*z+2*x*z-2*z+3*y^14+3*y^13+4*y^12250 -14*y^11-15*y^10-21*y^9+10*y^8+25*y^7+34*y^6+y^5-6*y^4-24*y^3251 +2*x*y^2-2*y^2-2*x+2,252 3*z^10-13*y*z^9+3*x*z^9+15*z^9+6*y^3*z^8+16*y^2*z^8-13*x*y*z^8-5*y*z^8253 +11*x*z^8+5*z^8-29*y^4*z^7+45*y^3*z^7+16*x*y^2*z^7+10*y^2*z^7254 -10*x*y*z^7+24*y*z^7+10*x*z^7-71*z^7+3*y^6*z^6+45*y^5*z^6255 -10*y^4*z^6+36*y^3*z^6+10*x*y^2*z^6-44*y^2*z^6-2*x*y*z^6+18*y*z^6256 -33*x*z^6-63*z^6-19*y^7*z^5+50*y^6*z^5+25*y^5*z^5+30*y^4*z^5257 -147*y^3*z^5-12*x*y^2*z^5-30*y^2*z^5+41*x*y*z^5-14*y*z^5-30*x*z^5258 +110*z^5+45*y^8*z^4-5*y^7*z^4+50*y^6*z^4-95*y^5*z^4+29*y^4*z^4259 -135*y^3*z^4-26*x*y^2*z^4+36*y^2*z^4+25*x*y*z^4-24*y*z^4+6*x*z^4260 +103*z^4-3*y^10*z^3+25*y^9*z^3+20*y^8*z^3+3*y^7*z^3-106*y^6*z^3261 -60*y^5*z^3-11*y^4*z^3+153*y^3*z^3-14*x*y^2*z^3+30*y^2*z^3262 -21*x*y*z^3+3*y*z^3+39*x*z^3-54*z^3+19*y^11*z^2+25*y^9*z^2263 -54*y^8*z^2+19*y^7*z^2-100*y^6*z^2+35*y^5*z^2-30*y^4*z^2264 +141*y^3*z^2+12*x*y^2*z^2-4*y^2*z^2-28*x*y*z^2+19*y*z^2+16*x*z^2265 -70*z^2+5*y^12*z+5*y^11*z-30*y^9*z-25*y^8*z+5*y^7*z+50*y^6*z266 +35*y^5*z-45*y^3*z+10*x*y^2*z-10*y^2*z-10*x*z+10*z+3*y^14+5*y^12267 -12*y^11+3*y^10-30*y^9-y^8-3*y^7+53*y^6+15*y^5+21*y^4-54*y^3268 +4*x*y^2-4*y^2+8*x*y-8*y-12*x+12,269 12*z^11-60*y*z^10+12*x*z^10-219*z^10+24*y^3*z^9-60*x*y*z^9+325*y*z^9270 -279*x*z^9-507*z^9-132*y^4*z^8-246*y^3*z^8+240*y^2*z^8271 +217*x*y*z^8+745*y*z^8-395*x*z^8+619*z^8+12*y^6*z^7+60*y^5*z^7272 +1229*y^4*z^7-825*y^3*z^7-386*y^2*z^7+634*x*y*z^7-1744*y*z^7273 +298*x*z^7+1399*z^7-84*y^7*z^6+381*y^6*z^6+875*y^5*z^6274 +2174*y^4*z^6-108*y^3*z^6-386*x*y^2*z^6-1260*y^2*z^6-682*x*y*z^6275 -2642*y*z^6+697*x*z^6+319*z^6+132*y^8*z^5+1723*y^7*z^5276 -210*y^6*z^5-641*y^5*z^5-4450*y^4*z^5+1803*y^3*z^5+180*x*y^2*z^5277 +358*y^2*z^5-1073*x*y*z^5+3238*y*z^5+1038*x*z^5-2018*z^5278 -12*y^10*z^4+660*y^9*z^4+1171*y^8*z^4+2413*y^7*z^4-1834*y^6*z^4279 -2933*y^5*z^4-5633*y^4*z^4+2151*y^3*z^4+546*x*y^2*z^4280 +2180*y^2*z^4-137*x*y*z^4+3356*y*z^4-474*x*z^4-1655*z^4281 +84*y^11*z^3+1059*y^10*z^3+255*y^9*z^3-448*y^8*z^3-4331*y^7*z^3282 -342*y^6*z^3+368*y^5*z^3+5587*y^4*z^3-1497*y^3*z^3-194*x*y^2*z^3283 +202*y^2*z^3+1033*x*y*z^3-2267*y*z^3-975*x*z^3+1330*z^3284 +288*y^12*z^2+677*y^11*z^2+1200*y^10*z^2-1013*y^9*z^2285 -2354*y^8*z^2-4123*y^7*z^2+1940*y^6*z^2+3221*y^5*z^2286 +4582*y^4*z^2-2853*y^3*z^2-180*x*y^2*z^2-1300*y^2*z^2287 +940*x*y*z^2-1823*y*z^2-760*x*z^2+1558*z^2+12*y^14*z+240*y^13*z288 +99*y^12*z-49*y^11*z-1428*y^10*z-354*y^9*z+81*y^8*z+2387*y^7*z289 +282*y^6*z+53*y^5*z-2076*y^4*z+753*y^3*z+174*x*y^2*z-174*y^2*z290 -608*x*y*z+608*y*z+434*x*z-434*z+36*y^15+141*y^14+240*y^13291 -145*y^12-808*y^11-1299*y^10+174*y^9+1361*y^8+2015*y^7-229*y^6292 -1003*y^5-1281*y^4+798*y^3-140*x*y^2+140*y^2-264*x*y+264*y+404*x293 -404,294 75*z^11-761*y*z^10+75*x*z^10-6435*z^10+150*y^3*z^9-761*x*y*z^9295 +10089*y*z^9-7196*x*z^9+1222*z^9-1597*y^4*z^8-10512*y^3*z^8296 +3816*y^2*z^8+8256*x*y*z^8+8082*y*z^8-1359*x*z^8+20901*z^8297 +75*y^6*z^7+761*y^5*z^7+32337*y^4*z^7+13806*y^3*z^7+3866*x*y*z^7298 -51430*y*z^7+10451*x*z^7-10315*z^7-911*y^7*z^6+789*y^6*z^6299 +8991*y^5*z^6+28159*y^4*z^6+36960*y^3*z^6-8454*y^2*z^6300 -24431*x*y*z^6-43050*y*z^6+11835*x*z^6-36365*z^6+1597*y^8*z^5301 +38223*y^7*z^5+26190*y^6*z^5+5499*y^5*z^5-116303*y^4*z^5302 -39249*y^3*z^5+14442*x*y^2*z^5-12720*y^2*z^5-18045*x*y*z^5303 +81708*y*z^5-750*x*z^5+17013*z^5-75*y^10*z^4+7599*y^9*z^4304 +5823*y^8*z^4+35105*y^7*z^4+7548*y^6*z^4-8826*y^5*z^4305 -101550*y^4*z^4-50391*y^3*z^4+2544*x*y^2*z^4-78*y^2*z^4306 +12509*x*y*z^4+76559*y*z^4-13095*x*z^4+29945*z^4+911*y^11*z^3307 +19791*y^10*z^3+18819*y^9*z^3+7043*y^8*z^3-79999*y^7*z^3308 -58590*y^6*z^3-31089*y^5*z^3+114869*y^4*z^3+37977*y^3*z^3309 -20802*x*y^2*z^3+21624*y^2*z^3+29182*x*y*z^3-47799*y*z^3310 -6721*x*z^3-3557*z^3+2958*y^12*z^2-63*y^11*z^2+19080*y^10*z^2311 +4332*y^9*z^2+7386*y^8*z^2-76383*y^7*z^2-35160*y^6*z^2312 -21219*y^5*z^2+117900*y^4*z^2+31239*y^3*z^2-14442*x*y^2*z^2313 +14070*y^2*z^2+11472*x*y*z^2-55446*y*z^2+2970*x*z^2-8694*z^2314 +75*y^14*z+3816*y^13*z+4527*y^12*z+2830*y^11*z-22821*y^10*z315 -23346*y^9*z-14403*y^8*z+41215*y^7*z+33897*y^6*z+22285*y^5*z316 -33819*y^4*z-14256*y^3*z+8904*x*y^2*z-8904*y^2*z-9976*x*y*z317 +9976*y*z+1072*x*z-1072*z+225*y^15-711*y^14+3816*y^13+2616*y^12318 +6723*y^11-23607*y^10-17730*y^9-17211*y^8+42750*y^7+25251*y^6319 +23598*y^5-39996*y^4-5724*y^3+9354*x*y^2-9354*y^2-12072*x*y320 +12072*y+2718*x-2718,321 33*z^11-46*y*z^10+33*x*z^10+57*z^10+66*y^3*z^9-46*x*y*z^9-86*y*z^9322 +11*x*z^9-40*z^9-125*y^4*z^8+285*y^3*z^8-54*y^2*z^8-26*x*y*z^8323 +90*y*z^8+76*x*z^8-239*z^8+33*y^6*z^7+46*y^5*z^7-310*y^4*z^7324 +9*y^3*z^7-32*x*y*z^7+478*y*z^7-23*x*z^7-206*z^7-112*y^7*z^6325 +636*y^6*z^6-184*y^5*z^6-319*y^4*z^6-1068*y^3*z^6+324*y^2*z^6326 +130*x*y*z^6+314*y*z^6-88*x*z^6+367*z^6+125*y^8*z^5-416*y^7*z^5327 -30*y^6*z^5-180*y^5*z^5+1203*y^4*z^5-228*y^3*z^5+180*y^2*z^5328 +244*x*y*z^5-1020*y*z^5-330*x*z^5+361*z^5-33*y^10*z^4329 +744*y^9*z^4-230*y^8*z^4-440*y^7*z^4-1878*y^6*z^4+738*y^5*z^4330 +1051*y^4*z^4+1224*y^3*z^4-36*x*y^2*z^4-612*y^2*z^4+16*x*y*z^4331 -686*y*z^4+15*x*z^4+178*z^4+112*y^11*z^3-246*y^10*z^3-96*y^9*z^3332 -656*y^8*z^3+1098*y^7*z^3+216*y^6*z^3+474*y^5*z^3-1160*y^4*z^3333 +246*y^3*z^3+90*x*y^2*z^3-306*y^2*z^3-254*x*y*z^3+824*y*z^3334 +220*x*z^3-506*z^3+435*y^12*z^2-124*y^11*z^2-270*y^10*z^2335 -1560*y^9*z^2+554*y^8*z^2+956*y^7*z^2+1860*y^6*z^2-960*y^5*z^2336 -1078*y^4*z^2-408*y^3*z^2+414*y^2*z^2-344*x*y*z^2+444*y*z^2337 +344*x*z^2-263*z^2+33*y^14*z-54*y^13*z-30*y^12*z-199*y^11*z338 +357*y^10*z+126*y^9*z+306*y^8*z-640*y^7*z-105*y^6*z-304*y^5*z339 +717*y^4*z-207*y^3*z-126*x*y^2*z+126*y^2*z+232*x*y*z-232*y*z340 -106*x*z+106*z+99*y^15-24*y^14-54*y^13-582*y^12+166*y^11341 +300*y^10+864*y^9-63*y^8-446*y^7-732*y^6+370*y^5+21*y^4+81*y^3342 +72*x*y^2-72*y^2+80*x*y-80*y-152*x+152,343 159 (-z^10)+z^9-5*y^3*z^8+5*z^8-10*y^6*z^6+3*y^4*z^6+20*y^3*z^6-13*z^6 344 160 -10*y^9*z^4+30*y^6*z^4-30*y^3*z^4+10*z^4+3*y^8*z^3-6*y^4*z^3 345 161 +3*z^3-5*y^12*z^2+20*y^9*z^2-30*y^6*z^2+20*y^3*z^2-5*z^2-y^15 346 162 +6*y^12-10*y^9-3*y^8+10*y^6+3*y^4-5*y^3, 347 (-6*y*z^11)-75*z^11-6*x*y*z^10+104*y*z^10-81*x*z^10-12*z^10-12*y^4*z^9348 -132*y^3*z^9+36*y^2*z^9+86*x*y*z^9+172*y*z^9-73*x*z^9-7*z^9349 +6*y^5*z^8+337*y^4*z^8+168*y^3*z^8+90*y^2*z^8+76*x*y*z^8350 -324*y*z^8-74*x*z^8-92*z^8-6*y^7*z^7-21*y^6*z^7+76*y^5*z^7351 +668*y^4*z^7-9*y^3*z^7-216*y^2*z^7-14*x*y*z^7-962*y*z^7352 +163*x*z^7+316*z^7+12*y^8*z^6+398*y^7*z^6+456*y^6*z^6353 +404*y^5*z^6-466*y^4*z^6-906*y^3*z^6-684*y^2*z^6-332*x*y*z^6354 -58*y*z^6+218*x*z^6+850*z^6+54*y^9*z^5+23*y^8*z^5355 +928*y^7*z^5-102*y^6*z^5-246*y^5*z^5-2463*y^4*z^5356 +492*y^3*z^5+108*y^2*z^5-284*x*y*z^5+1914*y*z^5+426*x*z^5357 -725*z^5+6*y^11*z^4+201*y^10*z^4+384*y^9*z^4+574*y^8*z^4358 +112*y^7*z^4-1500*y^6*z^4-1662*y^5*z^4-845*y^4*z^4359 +2034*y^3*z^4+1296*y^2*z^4+142*x*y*z^4+628*y*z^4-159*x*z^4360 -1316*z^4+18*y^12*z^3-38*y^11*z^3+564*y^10*z^3+102*y^9*z^3361 +97*y^8*z^3-2346*y^7*z^3-252*y^6*z^3-132*y^5*z^3362 +3256*y^4*z^3-582*y^3*z^3-126*x*y^2*z^3+234*y^2*z^3363 +436*x*y*z^3-1474*y*z^3-398*x*z^3+553*z^3+36*y^13*z^2364 +102*y^12*z^2+332*y^11*z^2+234*y^10*z^2-606*y^9*z^2365 -1300*y^8*z^2-1108*y^7*z^2+1482*y^6*z^2+1980*y^5*z^2366 +1154*y^4*z^2-1956*y^3*z^2+108*x*y^2*z^2-846*y^2*z^2367 +352*x*y*z^2-450*y*z^2-460*x*z^2+946*z^2-21*y^14*z368 +126*y^13*z+60*y^12*z+137*y^11*z-777*y^10*z-234*y^9*z369 -216*y^8*z+1334*y^7*z+201*y^6*z+266*y^5*z-1281*y^4*z370 +405*y^3*z+162*x*y^2*z-162*y^2*z-392*x*y*z+392*y*z+230*x*z371 -230*z+66*y^14+90*y^13-6*y^12-410*y^11-474*y^10+126*y^9372 +738*y^8+688*y^7-264*y^6-692*y^5-348*y^4+486*y^3-144*x*y^2373 +144*y^2-64*x*y+64*y+208*x-208,374 (-3*z^12)+5*y*z^11-3*x*z^11+6*z^11-6*y^3*z^10+5*x*y*z^10+5*y*z^10375 +2*x*z^10+8*z^10+13*y^4*z^9+21*y^3*z^9+2*x*y*z^9-13*y*z^9376 +2*x*z^9-37*z^9-3*y^6*z^8-5*y^5*z^8+13*y^4*z^8+30*y^3*z^8377 -3*x*y*z^8-23*y*z^8-6*x*z^8-36*z^8+11*y^7*z^7+27*y^6*z^7378 -5*y^5*z^7-21*y^4*z^7-87*y^3*z^7-3*x*y*z^7-2*y*z^7-11*x*z^7379 +93*z^7-13*y^8*z^6+11*y^7*z^6+27*y^6*z^6+4*y^5*z^6-47*y^4*z^6380 -87*y^3*z^6-3*x*y*z^6+34*y*z^6+19*x*z^6+84*z^6+3*y^10*z^5381 +15*y^9*z^5-13*y^8*z^5+6*y^7*z^5-84*y^6*z^5+9*y^5*z^5382 -26*y^4*z^5+156*y^3*z^5-18*x*y*z^5+31*y*z^5+21*x*z^5-99*z^5383 -11*y^11*z^4+3*y^10*z^4+15*y^9*z^4+9*y^8*z^4-16*y^7*z^4384 -84*y^6*z^4+6*y^5*z^4+42*y^4*z^4+138*y^3*z^4-3*x*y*z^4385 -11*y*z^4+x*z^4-93*z^4+3*y^12*z^3-11*y^11*z^3+3*y^10*z^3386 -33*y^9*z^3+22*y^8*z^3-16*y^7*z^3+96*y^6*z^3-3*y^5*z^3387 +55*y^4*z^3-132*y^3*z^3+27*x*y*z^3-29*y*z^3-29*x*z^3+45*z^3388 -3*y^14*z^2+3*y^12*z^2+3*y^11*z^2-3*y^10*z^2-33*y^9*z^2389 +13*y^8*z^2-6*y^7*z^2+87*y^6*z^2-4*y^5*z^2+13*y^4*z^2390 -105*y^3*z^2+12*x*y*z^2-13*y*z^2-12*x*z^2+48*z^2-3*y^14*z391 -3*y^12*z+14*y^11*z-3*y^10*z+18*y^9*z-9*y^8*z+5*y^7*z-33*y^6*z392 -y^5*z-21*y^4*z+36*y^3*z-8*x*y*z+8*y*z+8*x*z-8*z-3*y^14-3*y^12393 +14*y^11-3*y^10+18*y^9-9*y^8+5*y^7-33*y^6-y^5-21*y^4+36*y^3394 -8*x*y+8*y+8*x-8,395 315*z^13+315*x*z^12+774*z^12+630*y^3*z^11-1890*y*z^11+1719*x*z^11396 +9852*z^11-315*y^4*z^10-972*y^3*z^10-3150*y^2*z^10-4225*y*z^10397 +8079*x*z^10+3666*z^10+315*y^6*z^9-10224*y^4*z^9+19497*y^3*z^9398 -2700*y^2*z^9-4621*x*y*z^9+6799*y*z^9+3419*x*z^9-34729*z^9399 -630*y^7*z^8-6156*y^6*z^8-13860*y^5*z^8-23729*y^4*z^8400 +21345*y^3*z^8+15300*y^2*z^8-656*x*y*z^8+25824*y*z^8401 -10787*x*z^8-34142*z^8+315*y^8*z^7-17928*y^7*z^7+10779*y^6*z^7402 -19355*y^5*z^7+10688*y^4*z^7-59724*y^3*z^7+28800*y^2*z^7403 +12394*x*y*z^7+6166*y*z^7-23597*x*z^7+59056*z^7-315*y^10*z^6404 -6300*y^9*z^6-21276*y^8*z^6-40003*y^7*z^6+21309*y^6*z^6405 +29183*y^5*z^6+63701*y^4*z^6-59964*y^3*z^6-8550*y^2*z^6406 +13669*x*y*z^6-24442*y*z^6-2422*x*z^6+58708*z^6+630*y^11*z^5407 -12744*y^10*z^5-1620*y^9*z^5-31936*y^8*z^5+8197*y^7*z^5408 -28218*y^6*z^5+69783*y^5*z^5+39183*y^4*z^5+76677*y^3*z^5409 -42750*y^2*z^5-9161*x*y*z^5-37728*y*z^5+10092*x*z^5-38978*z^5410 -1890*y^12*z^4-13572*y^11*z^4-25719*y^10*z^4+195*y^9*z^4411 +16753*y^8*z^4+60793*y^7*z^4-13668*y^6*z^4+9282*y^5*z^4412 -18056*y^4*z^4+59751*y^3*z^4-21600*y^2*z^4-20831*x*y*z^4413 -6707*y*z^4+21327*x*z^4-44501*z^4+315*y^14*z^3-3150*y^13*z^3414 -1494*y^12*z^3-19442*y^11*z^3-9264*y^10*z^3-14991*y^9*z^3415 +54214*y^8*z^3+69093*y^7*z^3+56187*y^6*z^3-51801*y^5*z^3416 -76880*y^4*z^3-53124*y^3*z^3+13950*y^2*z^3-746*x*y*z^3417 +31337*y*z^3+1807*x*z^3+5050*z^3-3006*y^14*z^2-5850*y^13*z^2418 -3489*y^12*z^2+1451*y^11*z^2+14094*y^10*z^2+3354*y^9*z^2419 +24986*y^8*z^2+5933*y^7*z^2+8574*y^6*z^2-39423*y^5*z^2420 -27604*y^4*z^2-19515*y^3*z^2+1350*x*y^2*z^2+19350*y^2*z^2421 +1024*x*y*z^2+13794*y*z^2-2374*x*z^2+7351*z^2-3531*y^14*z422 -6300*y^13*z-4881*y^12*z+17228*y^11*z+34269*y^10*z+22986*y^9*z423 -16443*y^8*z-56365*y^7*z-33441*y^6*z+4073*y^5*z+31983*y^4*z424 +10422*y^3*z-2700*x*y^2*z+2700*y^2*z+7384*x*y*z-7384*y*z425 -4684*x*z+4684*z-3021*y^14-3600*y^13-2346*y^12+15973*y^11426 +18579*y^10+10476*y^9-19638*y^8-29090*y^7-15681*y^6+12118*y^5427 +11253*y^4+4977*y^3+1350*x*y^2-1350*y^2+1544*x*y-1544*y-2894*x428 +2894,429 75*z^14+75*x*z^13+270*z^13+150*y^3*z^12-450*y*z^12+495*x*z^12+1887*z^12430 -75*y^4*z^11-60*y^3*z^11-750*y^2*z^11-420*y*z^11+1722*x*z^11431 +4701*z^11+75*y^6*z^10-2520*y^4*z^10+3039*y^3*z^10-1500*y^2*z^10432 +1850*y*z^10+3252*x*z^10-5517*z^10-150*y^7*z^9-1380*y^6*z^9433 -3300*y^5*z^9-5562*y^4*z^9+14736*y^3*z^9+3000*y^2*z^9434 -748*x*y*z^9+5537*y*z^9-1378*x*z^9-25852*z^9+75*y^8*z^8435 -4440*y^7*z^8+222*y^6*z^8-9480*y^5*z^8-152*y^4*z^8-1290*y^3*z^8436 +11250*y^2*z^8+2297*x*y*z^8+2537*y*z^8-10081*x*z^8-3496*z^8437 -75*y^10*z^7-1500*y^9*z^7-4980*y^8*z^7-11964*y^7*z^7438 +13977*y^6*z^7+760*y^5*z^7+15094*y^4*z^7-49962*y^3*z^7439 +5250*y^2*z^7+5922*x*y*z^7-7042*y*z^7-9036*x*z^7+51603*z^7440 +150*y^11*z^6-3120*y^10*z^6-2100*y^9*z^6-16263*y^8*z^6441 -5464*y^7*z^6+6267*y^6*z^6+26479*y^5*z^6+14988*y^4*z^6442 -19782*y^3*z^6-14250*y^2*z^6+22*x*y*z^6-8196*y*z^6+6539*x*z^6443 +27604*z^6-450*y^12*z^5-3060*y^11*z^5-8922*y^10*z^5+3090*y^9*z^5444 -7543*y^8*z^5+20411*y^7*z^5-29934*y^6*z^5+22579*y^5*z^5445 -5721*y^4*z^5+71151*y^3*z^5-16500*y^2*z^5-12193*x*y*z^5-64*y*z^5446 +13596*x*z^5-45139*z^5+75*y^14*z^4-750*y^13*z^4-870*y^12*z^4447 -10761*y^11*z^4-8022*y^10*z^4+810*y^9*z^4+20939*y^8*z^4448 +29709*y^7*z^4-12909*y^6*z^4-12709*y^5*z^4-16003*y^4*z^4449 +39588*y^3*z^4+750*y^2*z^4-6153*x*y*z^4+4784*y*z^4+6051*x*z^4450 -35013*z^4-630*y^14*z^3-2250*y^13*z^3-522*y^12*z^3-7496*y^11*z^3451 +2943*y^10*z^3-10383*y^9*z^3+25857*y^8*z^3+10659*y^7*z^3452 +38106*y^6*z^3-24488*y^5*z^3-6915*y^4*z^3-50037*y^3*z^3453 +9000*y^2*z^3+7177*x*y*z^3+1581*y*z^3-7559*x*z^3+14575*z^3454 -2328*y^14*z^2-3000*y^13*z^2-1182*y^12*z^2+6013*y^11*z^2455 +11922*y^10*z^2-2523*y^9*z^2+2468*y^8*z^2-15971*y^7*z^2456 +17562*y^6*z^2-5599*y^5*z^2+5948*y^4*z^2-31245*y^3*z^2457 +3750*y^2*z^2+5612*x*y*z^2-2053*y*z^2-5612*x*z^2+16238*z^2458 -2403*y^14*z-2250*y^13*z-2403*y^12*z+11964*y^11*z+11097*y^10*z459 +12168*y^9*z-11709*y^8*z-17745*y^7*z-19683*y^6*z+4449*y^5*z460 +3429*y^4*z+13086*y^3*z-408*x*y*z+408*y*z+408*x*z-408*z461 -1323*y^14-750*y^13-1323*y^12+6424*y^11+3177*y^10+7188*y^9462 -5469*y^8-5045*y^7-12303*y^6+1309*y^5-2511*y^4+10626*y^3463 -1528*x*y+1528*y+1528*x-1528,464 (-2244*z^15)-2244*x*z^14-15867*z^14-4488*y^3*z^13+13464*y*z^13465 -22599*x*z^13-84498*z^13+2244*y^4*z^12-13782*y^3*z^12466 +22440*y^2*z^12+59298*y*z^12-102927*x*z^12-323187*z^12467 -2244*y^6*z^11+83187*y^4*z^11-84696*y^3*z^11468 +122766*y^2*z^11-34116*y*z^11-262698*x*z^11-349977*z^11469 +4488*y^7*z^10+33501*y^6*z^10+98736*y^5*z^10470 +428112*y^4*z^10-729639*y^3*z^10+66012*y^2*z^10471 -380166*y*z^10-305436*x*z^10+1310613*z^10-2244*y^8*z^9472 +148422*y^7*z^9+136668*y^6*z^9+626340*y^5*z^9473 +523962*y^4*z^9-1585704*y^3*z^9-648144*y^2*z^9-592725*y*z^9474 +435774*x*z^9+2954892*z^9+2244*y^10*z^8+44880*y^9*z^8475 +141213*y^8*z^8+819048*y^7*z^8-427818*y^6*z^8476 +984120*y^5*z^8-494016*y^4*z^8+1494546*y^3*z^8477 -1325370*y^2*z^8-402297*x*y*z^8+50183*y*z^8+1344105*x*z^8478 -1019772*z^8-4488*y^11*z^7+101139*y^10*z^7+218604*y^9*z^7479 +1003752*y^8*z^7+1356684*y^7*z^7-1759845*y^6*z^7480 -848796*y^5*z^7-1921926*y^4*z^7+6169746*y^3*z^7481 -118842*y^2*z^7-602218*x*y*z^7+985474*y*z^7+791960*x*z^7482 -6601051*z^7+13464*y^12*z^6+75978*y^11*z^6+590952*y^10*z^6483 +125628*y^9*z^6+1972755*y^8*z^6-92508*y^7*z^6484 +123957*y^6*z^6-3443259*y^5*z^6-1174928*y^4*z^6485 +314898*y^3*z^6+1973514*y^2*z^6+375958*x*y*z^6+700868*y*z^6486 -1170899*x*z^6-1892048*z^6-2244*y^14*z^5+22440*y^13*z^5487 +72762*y^12*z^5+639744*y^11*z^5+1153122*y^10*z^5488 -412266*y^9*z^5+215019*y^8*z^5-3035391*y^7*z^5489 +3870810*y^6*z^5-2004815*y^5*z^5+1189301*y^4*z^5490 -9271623*y^3*z^5+1691052*y^2*z^5+1530885*x*y*z^5491 -275248*y*z^5-1686960*x*z^5+6178311*z^5+11061*y^14*z^4492 +145206*y^13*z^4+105966*y^12*z^4+1391025*y^11*z^4493 +731586*y^10*z^4+159402*y^9*z^4-2988399*y^8*z^4494 -3332521*y^7*z^4+576429*y^6*z^4+2025629*y^5*z^4495 +1680783*y^4*z^4-3231720*y^3*z^4-347166*y^2*z^4496 +437669*x*y*z^4-494876*y*z^4-406695*x*z^4+3616217*z^4497 +135078*y^14*z^3+323418*y^13*z^3+76146*y^12*z^3498 +647772*y^11*z^3-675759*y^10*z^3+1301451*y^9*z^3499 -2857513*y^8*z^3-557447*y^7*z^3-4912386*y^6*z^3500 +2723980*y^5*z^3+293963*y^4*z^3+6721929*y^3*z^3501 -1046832*y^2*z^3-1034081*x*y*z^3+27047*y*z^3+1082703*x*z^3502 -2200847*z^3+327084*y^14*z^2+378864*y^13*z^2503 +181218*y^12*z^2-995829*y^11*z^2-1556670*y^10*z^2504 +45651*y^9*z^2+35848*y^8*z^2+2216343*y^7*z^2505 -1624278*y^6*z^2+466235*y^5*z^2-778472*y^4*z^2506 +3323181*y^3*z^2-389430*y^2*z^2-624300*x*y*z^2+259181*y*z^2507 +624300*x*z^2-1888926*z^2+302559*y^14*z+256098*y^13*z508 +302559*y^12*z-1497308*y^11*z-1234029*y^10*z-1559256*y^9*z509 +1419873*y^8*z+1971349*y^7*z+2559855*y^6*z-496709*y^5*z510 -186969*y^4*z-1838022*y^3*z+123896*x*y*z-123896*y*z511 -123896*x*z+123896*z+150819*y^14+77886*y^13+150819*y^12512 -729784*y^11-316497*y^10-827028*y^9+608229*y^8+501533*y^7513 +1425351*y^6-131461*y^5+354759*y^4-1264626*y^3+194488*x*y514 -194488*y-194488*x+194488,515 (-1206891*z^16)-1206891*x*z^15-3020910*z^15-2413782*y^3*z^14516 +7241346*y*z^14-6641583*x*z^14-28159668*z^14517 +1206891*y^4*z^13+3613308*y^3*z^13+12068910*y^2*z^13518 -1184796*y*z^13-21532815*x*z^13-44333787*z^13519 -1206891*y^6*z^12+39227640*y^4*z^12-55082985*y^3*z^12520 +10898844*y^2*z^12-33858600*y*z^12-31610193*x*z^12521 +59910189*z^12+2413782*y^7*z^11+23530692*y^6*z^11522 +53103204*y^5*z^11+47580399*y^4*z^11-166993284*y^3*z^11523 -49150374*y^2*z^11+837888*y*z^11-17009715*x*z^11524 +204859335*z^11-1206891*y^8*z^10+68800152*y^7*z^10525 -30492435*y^6*z^10+94299528*y^5*z^10-41002956*y^4*z^10526 +60601743*y^3*z^10-76871310*y^2*z^10+80036142*y*z^10527 +44060151*x*z^10-34702161*z^10+1206891*y^10*z^9528 +24137820*y^9*z^9+81461460*y^8*z^9+119269158*y^7*z^9529 -166665513*y^6*z^9-54879600*y^5*z^9+55955709*y^4*z^9530 +436861011*y^3*z^9+11689398*y^2*z^9-118500690*y*z^9531 +50935020*x*z^9-329772720*z^9-2413782*y^11*z^8532 +48882768*y^10*z^8+7314996*y^9*z^8+171235122*y^8*z^8533 +1828140*y^7*z^8+40308024*y^6*z^8-132001404*y^5*z^8534 +223948545*y^4*z^8+19766982*y^3*z^8-62066148*y^2*z^8535 -327123062*y*z^8+39916506*x*z^8-33709884*z^8536 +7241346*y^12*z^7+51888948*y^11*z^7+91057935*y^10*z^7537 -35586606*y^9*z^7+35607951*y^8*z^7+77999124*y^7*z^7538 +347078946*y^6*z^7+13512516*y^5*z^7-276420654*y^4*z^7539 -535798128*y^3*z^7-165247050*y^2*z^7-31333184*x*y*z^7540 -7090804*y*z^7+38409925*x*z^7+272469727*z^7541 -1206891*y^14*z^6+12068910*y^13*z^6+6056550*y^12*z^6542 +114029055*y^11*z^6+70885554*y^10*z^6+77088990*y^9*z^6543 -26572671*y^8*z^6+175263666*y^7*z^6-35487801*y^6*z^6544 -278535636*y^5*z^6-809357548*y^4*z^6-38002101*y^3*z^6545 +183134760*y^2*z^6-106624768*x*y*z^6+500924578*y*z^6546 +77773379*x*z^6-13687279*z^6+11461782*y^14*z^5547 +22967754*y^13*z^5+8404680*y^12*z^5+61613832*y^11*z^5548 +141380202*y^10*z^5+204728880*y^9*z^5+46409139*y^8*z^5549 -239388858*y^7*z^5-540661500*y^6*z^5-516551848*y^5*z^5550 -362919584*y^4*z^5+458275800*y^3*z^5+431682852*y^2*z^5551 +1425024*x*y*z^5+428556106*y*z^5-7169976*x*z^5552 -176398125*z^5+23780835*y^14*z^4+34161930*y^13*z^4553 +32283972*y^12*z^4+43797039*y^11*z^4+159721179*y^10*z^4554 +74054580*y^9*z^4-252090588*y^8*z^4-706461920*y^7*z^4555 -324069963*y^6*z^4+164891836*y^5*z^4+657966399*y^4*z^4556 +103355523*y^3*z^4+72919944*y^2*z^4+148442176*x*y*z^4557 -153516094*y*z^4-168881064*x*z^4+60253336*z^4558 +26303745*y^14*z^3+60060480*y^13*z^3+61390812*y^12*z^3559 +41332521*y^11*z^3-28380975*y^10*z^3-169325880*y^9*z^3560 -440088944*y^8*z^3-521738548*y^7*z^3+172096089*y^6*z^3561 +642176528*y^5*z^3+859376551*y^4*z^3-252707787*y^3*z^3562 -241043736*y^2*z^3+128634080*x*y*z^3-384373256*y*z^3563 -137586072*x*z^3+174922400*z^3+32577456*y^14*z^2564 +74764854*y^13*z^2+59433432*y^12*z^2-98169612*y^11*z^2565 -287995578*y^10*z^2-220959588*y^9*z^2-38314282*y^8*z^2566 +235146936*y^7*z^2+287128704*y^6*z^2+207028108*y^5*z^2567 +91390640*y^4*z^2-114642660*y^3*z^2-128016090*y^2*z^2568 -22979808*x*y*z^2-109512278*y*z^2+22979808*x*z^2569 +10139958*z^2+32912346*y^14*z+63570678*y^13*z570 +32912346*y^12*z-174781174*y^11*z-348511722*y^10*z571 -133903398*y^9*z+225878394*y^8*z+559662644*y^7*z572 +171323772*y^6*z-137360800*y^5*z-341749680*y^4*z573 +50046594*y^3*z-81755552*x*y*z+81755552*y*z+81755552*x*z574 -81755552*z+12175230*y^14+25603218*y^13+12175230*y^12575 -65352146*y^11-141444078*y^10-47448162*y^9+87732126*y^8576 +227205724*y^7+57117876*y^6-55682432*y^5-145202352*y^4577 +33119766*y^3-35807968*x*y+35807968*y+35807968*x578 -35807968,579 (-489581*z^17)-489581*x*z^16-292312*z^16-979162*y^3*z^15+2937486*y*z^15580 -1761055*x*z^15-9016520*z^15+489581*y^4*z^14581 +3332024*y^3*z^14+4895810*y^2*z^14-6079424*y*z^14582 -3528903*x*z^14+4289371*z^14-489581*y^6*z^13583 +14979742*y^4*z^13-24996583*y^3*z^13-4910176*y^2*z^13584 -13244240*y*z^13+4539755*x*z^13+61250181*z^13585 +979162*y^7*z^12+10478470*y^6*z^12+21541564*y^5*z^12586 -11099399*y^4*z^12-24717550*y^3*z^12-29073746*y^2*z^12587 +24644912*y*z^12+20791993*x*z^12+46992267*z^12588 -489581*y^8*z^11+26042836*y^7*z^11-30491773*y^6*z^11589 -2804864*y^5*z^11-56049142*y^4*z^11+156373857*y^3*z^11590 +2939730*y^2*z^11+32897090*y*z^11+39324507*x*z^11591 -161411177*z^11+489581*y^10*z^10+9791620*y^9*z^10592 +33978358*y^8*z^10-4954054*y^7*z^10-45091205*y^6*z^10593 -98291456*y^5*z^10+40874963*y^4*z^10+153411875*y^3*z^10594 +62090974*y^2*z^10-97940834*y*z^10-3753886*x*z^10595 -148351538*z^10-979162*y^11*z^9+18896390*y^10*z^9596 -15695324*y^9*z^9+6549510*y^8*z^9-96163328*y^7*z^9597 +140894262*y^6*z^9-30904644*y^5*z^9+31027969*y^4*z^9598 -279650288*y^3*z^9-13737424*y^2*z^9-22350622*y*z^9599 -36957362*x*z^9+147937532*z^9+2937486*y^12*z^8600 +22915264*y^11*z^8-927607*y^10*z^8-21509594*y^9*z^8601 -122411251*y^8*z^8+4349668*y^7*z^8+123145950*y^6*z^8602 +76448228*y^5*z^8-269673792*y^4*z^8-279852036*y^3*z^8603 +22829234*y^2*z^8+248460456*y*z^8-57747753*x*z^8604 +168811553*z^8-489581*y^14*z^7+4895810*y^13*z^7605 -3141938*y^12*z^7+6279137*y^11*z^7-44843844*y^10*z^7606 +51879350*y^9*z^7-70023643*y^8*z^7-32074234*y^7*z^7607 -227145739*y^6*z^7-96619332*y^5*z^7-53876304*y^4*z^7608 +203917101*y^3*z^7+205808644*y^2*z^7+177549062*y*z^7609 -23170081*x*z^7-7660043*z^7+5582660*y^14*z^6610 -14366*y^13*z^6-1698748*y^12*z^6-65570634*y^11*z^6611 -16126134*y^10*z^6+19477004*y^9*z^6-22957273*y^8*z^6612 -229695410*y^7*z^6-195800086*y^6*z^6+114603008*y^5*z^6613 +515674056*y^4*z^6+205334782*y^3*z^6-28833076*y^2*z^6614 +71139072*x*y*z^6-235598774*y*z^6-26046530*x*z^6615 -1195417*z^6+855777*y^14*z^5-4609062*y^13*z^5616 +4298988*y^12*z^5-50084135*y^11*z^5-80952111*y^10*z^5617 -115224628*y^9*z^5-144937438*y^8*z^5-5588564*y^7*z^5618 +164266747*y^6*z^5+529614100*y^5*z^5+509930809*y^4*z^5619 -19465211*y^3*z^5-357613056*y^2*z^5+10746624*x*y*z^5620 -384925726*y*z^5-9664776*x*z^5-34373746*z^5621 -8065907*y^14*z^4-6636972*y^13*z^4-3405556*y^12*z^4622 -61044931*y^11*z^4-158119059*y^10*z^4-130981024*y^9*z^4623 +110802808*y^8*z^4+439860884*y^7*z^4+302161305*y^6*z^4624 +69013032*y^5*z^4-213214897*y^4*z^4-80318471*y^3*z^4625 -143191576*y^2*z^4-76418336*x*y*z^4-21593012*y*z^4626 +87611080*x*z^4-89881392*z^4-11389870*y^14*z^3627 -26326662*y^13*z^3-25762016*y^12*z^3-92246274*y^11*z^3628 -73532980*y^10*z^3+165780*y^9*z^3+415004346*y^8*z^3629 +516394464*y^7*z^3+138620594*y^6*z^3-498594316*y^5*z^3630 -636660514*y^4*z^3-63496082*y^3*z^3+167512282*y^2*z^3631 -76106656*x*y*z^3+251907926*y*z^3+81491888*x*z^3632 -61596678*z^3-22171050*y^14*z^2-43988442*y^13*z^2633 -38326746*y^12*z^2+36464110*y^11*z^2+130477222*y^10*z^2634 +115078894*y^9*z^2+120119554*y^8*z^2-24803940*y^7*z^2635 -101183004*y^6*z^2-230519944*y^5*z^2-184697456*y^4*z^2636 +3945222*y^3*z^2+111282380*y^2*z^2+4327392*x*y*z^2637 +109647604*y*z^2-4327392*x*z^2+18675596*z^2638 -30067226*y^14*z-46856342*y^13*z-30067226*y^12*z639 +155932502*y^11*z+251070826*y^10*z+133547014*y^9*z640 -183914362*y^8*z-402832596*y^7*z-190170460*y^6*z641 +99309056*y^5*z+211236496*y^4*z+32812318*y^3*z642 +44770976*x*y*z-44770976*y*z-44770976*x*z+44770976*z643 -14178628*y^14-22256476*y^13-14178628*y^12+73585756*y^11644 +119360228*y^10+62815292*y^9-87048836*y^8-191514888*y^7645 -89195480*y^6+47205568*y^5+101057888*y^4+14348204*y^3646 +21540928*x*y-21540928*y-21540928*x+21540928,647 (-92629*z^18)-92629*x*z^17-356523*z^17-185258*y^3*z^16+555774*y*z^16648 -634410*x*z^16-2404212*z^16+92629*y^4*z^15+27986*y^3*z^15649 +926290*y^2*z^15+657074*y*z^15-2269604*x*z^15-6033581*z^15650 -92629*y^6*z^14+3135393*y^4*z^14-3716191*y^3*z^14651 +2083166*y^2*z^14-3135608*y*z^14-4165226*x*z^14652 +2131298*z^14+185258*y^7*z^13+1681315*y^6*z^13653 +4075676*y^5*z^13+7634791*y^4*z^13-18503719*y^3*z^13654 -3337434*y^2*z^13-3994704*y*z^13-2522718*x*z^13655 +27531354*z^13-92629*y^8*z^12+5529754*y^7*z^12656 +159441*y^6*z^12+12722884*y^5*z^12-582783*y^4*z^12657 -9283157*y^3*z^12-12649852*y^2*z^12+6842690*y*z^12658 +6654062*x*z^12+24108320*z^12+92629*y^10*z^11659 +1852580*y^9*z^11+6127507*y^8*z^11+16122558*y^7*z^11660 -17183616*y^6*z^11+2488624*y^5*z^11-6312235*y^4*z^11661 +53501482*y^3*z^11-7556812*y^2*z^11+2069580*y*z^11662 +16177651*x*z^11-39377477*z^11-185258*y^11*z^10663 +3876425*y^10*z^10+3054784*y^9*z^10+21626108*y^8*z^10664 +8311782*y^7*z^10-14183737*y^6*z^10-25814020*y^5*z^10665 +13405734*y^4*z^10+67509729*y^3*z^10+2581674*y^2*z^10666 -30106884*y*z^10+9624624*x*z^10-78190974*z^10667 +555774*y^12*z^9+3733146*y^11*z^9+11969039*y^10*z^9668 -3357566*y^9*z^9+15862111*y^8*z^9-7108532*y^7*z^9669 +38392044*y^6*z^9-28124408*y^5*z^9-7895845*y^4*z^9670 -37345552*y^3*z^9+888602*y^2*z^9-17645906*y*z^9671 -11784367*x*z^9-18699283*z^9-92629*y^14*z^8672 +926290*y^13*z^8+1212848*y^12*z^8+14249889*y^11*z^8673 +11942995*y^10*z^8-276048*y^9*z^8-15006568*y^8*z^8674 -2607006*y^7*z^8+50104927*y^6*z^8-27948056*y^5*z^8675 -79911876*y^4*z^8-125108127*y^3*z^8+26323650*y^2*z^8676 +45939334*y*z^8-22766792*x*z^8+87932460*z^8677 +755025*y^14*z^7+3009456*y^13*z^7+856110*y^12*z^7678 +13746805*y^11*z^7+8473554*y^10*z^7+20317454*y^9*z^7679 -32130130*y^8*z^7-29686872*y^7*z^7-27706147*y^6*z^7680 -31958156*y^5*z^7-54321744*y^4*z^7-65848063*y^3*z^7681 +50185776*y^2*z^7+61616676*y*z^7-2684085*x*z^7682 +112103646*z^7+3078241*y^14*z^6+4303472*y^13*z^6683 +2369872*y^12*z^6-836065*y^11*z^6+5211879*y^10*z^6684 +23297288*y^9*z^6-52961449*y^8*z^6-67092074*y^7*z^6685 -104631939*y^6*z^6+51065028*y^5*z^6+66081065*y^4*z^6686 +106326259*y^3*z^6-6732524*y^2*z^6-2603328*y*z^6687 +15554654*x*z^6-13118557*z^6+3923996*y^14*z^5688 +5774610*y^13*z^5+5610976*y^12*z^5-15897300*y^11*z^5689 -18990852*y^10*z^5-7730476*y^9*z^5-48273990*y^8*z^5690 -23048880*y^7*z^5-74012650*y^6*z^5+117014132*y^5*z^5691 +117500814*y^4*z^5+169685596*y^3*z^5-61680680*y^2*z^5692 -7234336*x*y*z^5-56821566*y*z^5+7549808*x*z^5693 -113928218*z^5+3097785*y^14*z^4+5610222*y^13*z^4694 +6898500*y^12*z^4-36197723*y^11*z^4-42585917*y^10*z^4695 -48744380*y^9*z^4+38402498*y^8*z^4+64859596*y^7*z^4696 +72925285*y^6*z^4+18957628*y^5*z^4+30999347*y^4*z^4697 -17032247*y^3*z^4-25082334*y^2*z^4+2348928*x*y*z^4698 -31568814*y*z^4-3223416*x*z^4-41071590*z^4+96640*y^14*z^3699 +1279452*y^13*z^3+3269510*y^12*z^3-32101108*y^11*z^3700 -32746602*y^10*z^3-50861014*y^9*z^3+89014808*y^8*z^3701 +88902444*y^7*z^3+140069182*y^6*z^3-74522620*y^5*z^3702 -57498042*y^4*z^3-146873596*y^3*z^3+20574258*y^2*z^3703 +9250048*x*y*z^3+10620894*y*z^3-9782192*x*z^3+40775794*z^3704 -5335552*y^14*z^2-3813220*y^13*z^2-3739120*y^12*z^2705 +9767304*y^11*z^2+4067548*y^10*z^2+1154200*y^9*z^2706 +22649148*y^8*z^2+9533328*y^7*z^2+25105888*y^6*z^2707 -34107880*y^5*z^2-34412096*y^4*z^2-40610728*y^3*z^2708 +13476220*y^2*z^2+1261888*x*y*z^2+11948260*y*z^2709 -1261888*x*z^2+24316700*z^2-7043730*y^14*z-5731998*y^13*z710 -7043730*y^12*z+34781406*y^11*z+27348258*y^10*z711 +36530382*y^9*z-32595186*y^8*z-43669764*y^7*z712 -60285036*y^6*z+11026752*y^5*z+2281872*y^4*z713 +44400774*y^3*z-3497952*x*y*z+3497952*y*z+3497952*x*z714 -3497952*z-3493460*y^14-2695244*y^13-3493460*y^12715 +17201228*y^11+12678004*y^10+18265516*y^9-15870868*y^8716 -20231592*y^7-30342328*y^6+5124416*y^5-197024*y^4717 +23054812*y^3-2128576*x*y+2128576*y+2128576*x-2128576,718 5425752*z^19+5425752*x*z^18+23464704*z^18+10851504*y^3*z^17719 -32554512*y*z^17+39741960*x*z^17+153678605*z^17720 -5425752*y^4*z^16+3523392*y^3*z^16-54257520*y^2*z^16721 -53976192*y*z^16+153537941*x*z^16+422158096*z^16722 +5425752*y^6*z^15-186237264*y^4*z^15+222728866*y^3*z^15723 -147835008*y^2*z^15+147859890*y*z^15+317716663*x*z^15724 +97008176*z^15-10851504*y^7*z^14-95901840*y^6*z^14725 -238733088*y^5*z^14-537500357*y^4*z^14+1167570136*y^3*z^14726 +108275182*y^2*z^14+357584768*y*z^14+284863311*x*z^14727 -1697595811*z^14+5425752*y^8*z^13-329068512*y^7*z^13728 -53277019*y^6*z^13-858822912*y^5*z^13-267855214*y^4*z^13729 +1208310223*y^3*z^13+863220400*y^2*z^13-210597280*y*z^13730 -346502291*x*z^13-2544223629*z^13-5425752*y^10*z^12731 -108515040*y^9*z^12-356337936*y^8*z^12-1104313162*y^7*z^12732 +939671858*y^6*z^12-628642108*y^5*z^12+452095871*y^4*z^12733 -2727921626*y^3*z^12+968343170*y^2*z^12-458715968*y*z^12734 -1256890345*x*z^12+1354783653*z^12+10851504*y^11*z^11735 -229643280*y^10*z^11-230560992*y^9*z^11-1434593155*y^8*z^11736 -1091287060*y^7*z^11+1491307213*y^6*z^11737 +1459414496*y^5*z^11-275469794*y^4*z^11-6376807425*y^3*z^11738 +41856558*y^2*z^11+1509882382*y*z^11-1248836715*x*z^11739 +6638867465*z^11-32554512*y^12*z^10-213506688*y^11*z^10740 -812030021*y^10*z^10+53215148*y^9*z^10-1734187630*y^8*z^10741 +214264102*y^7*z^10-1584958987*y^6*z^10+2952251168*y^5*z^10742 -154562867*y^4*z^10-607630979*y^3*z^10-493850062*y^2*z^10743 +2456014754*y*z^10+444416950*x*z^10+4157978906*z^10744 +5425752*y^14*z^9-54257520*y^13*z^9-86530704*y^12*z^9745 -932889374*y^11*z^9-1145668550*y^10*z^9+203228300*y^9*z^9746 +397960674*y^8*z^9+923615600*y^7*z^9-4844050734*y^6*z^9747 +2604905124*y^5*z^9+4716059327*y^4*z^9+10034730488*y^3*z^9748 -1484843984*y^2*z^9-2066018354*y*z^9+1882110314*x*z^9749 -5510764628*z^9-41644320*y^14*z^8-202092528*y^13*z^8750 -101443374*y^12*z^8-1338827536*y^11*z^8-823634969*y^10*z^8751 -1054278406*y^9*z^8+3029383819*y^8*z^8+1785652364*y^7*z^8752 -506947854*y^6*z^8+2195417116*y^5*z^8+7015201440*y^4*z^8753 +9010490868*y^3*z^8-3809196434*y^2*z^8-6369412632*y*z^8754 +1135657977*x*z^8-10022492105*z^8-198432619*y^14*z^7755 -365104946*y^13*z^7-143957614*y^12*z^7-371519033*y^11*z^7756 -274302996*y^10*z^7-2239865174*y^9*z^7+4414715179*y^8*z^7757 +4948278298*y^7*z^7+8253957763*y^6*z^7-1525015836*y^5*z^7758 -2035970664*y^4*z^7-5607716901*y^3*z^7-2230127044*y^2*z^7759 -2622212534*y*z^7-698300063*x*z^7-2309997637*z^7760 -348885308*y^14*z^6-458089666*y^13*z^6-384586916*y^12*z^6761 +1345067346*y^11*z^6+1063206942*y^10*z^6-312441548*y^9*z^6762 +4440304537*y^8*z^6+4587997010*y^7*z^6+8417442814*y^6*z^6763 -8959819328*y^5*z^6-11795833296*y^4*z^6-14125505686*y^3*z^6764 +3972318964*y^2*z^6+4804260374*y*z^6-720549214*x*z^6765 +7046057497*z^6-295902513*y^14*z^5-462088458*y^13*z^5766 -586051692*y^12*z^5+2861637239*y^11*z^5+3505906095*y^10*z^5767 +3756990292*y^9*z^5-40810802*y^8*z^5-3123553132*y^7*z^5768 -3187541323*y^6*z^5-7526070004*y^5*z^5-8127730537*y^4*z^5769 -3615097525*y^3*z^5+5318267856*y^2*z^5+5725495246*y*z^5770 +35987592*x*z^5+5785417954*z^5-43942237*y^14*z^4771 -191752548*y^13*z^4-363469916*y^12*z^4+3252689203*y^11*z^4772 +4046760387*y^10*z^4+5117782288*y^9*z^4-6944247016*y^8*z^4773 -9635047988*y^7*z^4-12036683961*y^6*z^4+3425779992*y^5*z^4774 +3774129649*y^4*z^4+9556210487*y^3*z^4+346787320*y^2*z^4775 -152082400*x*y*z^4+386246036*y*z^4+140951096*x*z^4776 -708490224*z^4+377683006*y^14*z^3+344523798*y^13*z^3777 +281362064*y^12*z^3+871936914*y^11*z^3+1112320036*y^10*z^3778 +1348773660*y^9*z^3-6279338058*y^8*z^3-6111893760*y^7*z^3779 -6199672370*y^6*z^3+7044591244*y^5*z^3+7410393154*y^4*z^3780 +6849999842*y^3*z^3-2360538778*y^2*z^3+121651360*x*y*z^3781 -2496380054*y*z^3-138899888*x*z^3-2193760698*z^3782 +693341130*y^14*z^2+704041722*y^13*z^2+745086714*y^12*z^2783 -2526718798*y^11*z^2-2492488582*y^10*z^2-2857421902*y^9*z^2784 +562578782*y^8*z^2+2440039332*y^7*z^2+3434277084*y^6*z^2785 +1677738760*y^5*z^2+1925499248*y^4*z^2-1492560870*y^3*z^2786 -1038420620*y^2*z^2+143950368*x*y*z^2-1190995252*y*z^2787 -143950368*x*z^2-583996748*z^2+580021274*y^14*z788 +596718230*y^13*z+580021274*y^12*z-2905672022*y^11*z789 -3000288106*y^10*z-2883409414*y^9*z+2933500282*y^8*z790 +4801574100*y^7*z+4590079324*y^6*z-1199002112*y^5*z791 -1310315152*y^4*z-2783227678*y^3*z-44525216*x*y*z792 +44525216*y*z+44525216*x*z-44525216*z+181811332*y^14793 +207684124*y^13+181811332*y^12-917680924*y^11794 -1064293412*y^10-883183868*y^9+960802244*y^8+1704594312*y^7795 +1376872280*y^6-423992512*y^5-596477792*y^4-727947116*y^3796 -68994112*x*y+68994112*y+68994112*x-68994112,797 (-1901030*z^20)-1901030*x*z^19-9124762*z^19-3802060*y^3*z^18798 +11406180*y*z^18-14827852*x*z^18-58433804*z^18799 +1901030*y^4*z^17-3041284*y^3*z^17+19010300*y^2*z^17800 +24332092*y*z^17-61094700*x*z^17-176125920*z^17801 -1901030*y^6*z^16+66155662*y^4*z^16-79989082*y^3*z^16802 +60831140*y^2*z^16-38725208*y*z^16-141555986*x*z^16803 -121987211*z^16+3802060*y^7*z^15+32697898*y^6*z^15804 +83645320*y^5*z^15+220015894*y^4*z^15-445962006*y^3*z^15805 -6499172*y^2*z^15-145066660*y*z^15-169425253*x*z^15806 +534196514*z^15-1901030*y^8*z^14+117103084*y^7*z^14807 +33952250*y^6*z^14+340656568*y^5*z^14+206437392*y^4*z^14808 -645131456*y^3*z^14-305132132*y^2*z^14-8846618*y*z^14809 +43295079*x*z^14+1189773846*z^14+1901030*y^10*z^13810 +38020600*y^9*z^13+123947338*y^8*z^13+443074892*y^7*z^13811 -307979826*y^6*z^13+393273232*y^5*z^13-57568451*y^4*z^13812 +618310242*y^3*z^13-507589450*y^2*z^13+166362300*y*z^13813 +479490441*x*z^13+151723609*z^13-3802060*y^11*z^12814 +81363902*y^10*z^12+98849920*y^9*z^12+561289236*y^8*z^12815 +606955512*y^7*z^12-677793853*y^6*z^12816 -312956032*y^5*z^12+16949814*y^4*z^12817 +2620078601*y^3*z^12-269069540*y^2*z^12-402242712*y*z^12818 +695841945*x*z^12-2374071553*z^12+11406180*y^12*z^11819 +72999916*y^11*z^11+323430470*y^10*z^11820 +33388972*y^9*z^11+891604480*y^8*z^11+225381030*y^7*z^11821 +180452542*y^6*z^11-1259049116*y^5*z^11822 +53526949*y^4*z^11+1668713610*y^3*z^11823 +110401322*y^2*z^11-1096671392*y*z^11+171379965*x*z^11824 -2852256305*z^11-1901030*y^14*z^10+19010300*y^13*z^10825 +35738272*y^12*z^10+361042598*y^11*z^10826 +565165996*y^10*z^10-57565448*y^9*z^10827 +308599645*y^8*z^10-298062552*y^7*z^10828 +1856643697*y^6*z^10-1594374328*y^5*z^10829 -1527897338*y^4*z^10-2917463441*y^3*z^10830 +621489522*y^2*z^10+93189406*y*z^10-662542785*x*z^10831 +662583039*z^10+13687598*y^14*z^9+79841440*y^13*z^9832 +54043964*y^12*z^9+651911314*y^11*z^9+567492835*y^10*z^9833 +310821040*y^9*z^9-1010836984*y^8*z^9-831783810*y^7*z^9834 +1266941069*y^6*z^9-1410085264*y^5*z^9835 -3301314877*y^4*z^9-5102887683*y^3*z^9836 +1588407894*y^2*z^9+2445683234*y*z^9-798074994*x*z^9837 +4291414128*z^9+75776730*y^14*z^8+168393768*y^13*z^8838 +76262484*y^12*z^8+458045256*y^11*z^8+321211684*y^10*z^8839 +958290616*y^9*z^8-2161719654*y^8*z^8-2050251984*y^7*z^8840 -2438492066*y^6*z^8-37071676*y^5*z^8-1043292605*y^4*z^8841 -456970028*y^3*z^8+1609498744*y^2*z^8+2317634842*y*z^8842 -112115232*x*z^8+3125790660*z^8+160840014*y^14*z^7843 +243458536*y^13*z^7+165023254*y^12*z^7844 -308161482*y^11*z^7-264432909*y^10*z^7+632061294*y^9*z^7845 -2527470259*y^8*z^7-2650060248*y^7*z^7846 -4527599648*y^6*z^7+3157792356*y^5*z^7847 +4071804254*y^4*z^7+5397856666*y^3*z^7-650820266*y^2*z^7848 -792830676*y*z^7+348957823*x*z^7-1258409243*z^7849 +184438803*y^14*z^6+269872886*y^13*z^6850 +286825646*y^12*z^6-1232750031*y^11*z^6851 -1367006692*y^10*z^6-1092722282*y^9*z^6852 -1115110457*y^8*z^6-163676530*y^7*z^6-1055368119*y^6*z^6853 +4504867188*y^5*z^6+5298473826*y^4*z^6854 +4401698661*y^3*z^6-2574355204*y^2*z^6-2825141214*y*z^6855 +221932859*x*z^6-3296849257*z^6+93566868*y^14*z^5856 +186656478*y^13*z^5+266256132*y^12*z^5857 -1733209434*y^11*z^5-2141486900*y^10*z^5858 -2475608812*y^9*z^5+2084294867*y^8*z^5859 +3726153902*y^7*z^5+4202893538*y^6*z^5+914684024*y^5*z^5860 +896394002*y^4*z^5-1496468530*y^3*z^5-1461318256*y^2*z^5861 -1507156886*y*z^5+231768*x*z^5-1554195369*z^5862 -102195903*y^14*z^4-47461622*y^13*z^4+12748556*y^12*z^4863 -1113696963*y^11*z^4-1377187127*y^10*z^4864 -1683720988*y^9*z^4+3639185236*y^8*z^4865 +4223411688*y^7*z^4+4713450611*y^6*z^4866 -2898986852*y^5*z^4-2996459359*y^4*z^4867 -4116618567*y^3*z^4+584578600*y^2*z^4+577826674*y*z^4868 +1455624*x*z^4+584078344*z^4-305099931*y^14*z^3869 -294615928*y^13*z^3-283822424*y^12*z^3870 +503667781*y^11*z^3+446895969*y^10*z^3+401964620*y^9*z^3871 +1504054128*y^8*z^3+817537780*y^7*z^3+860674985*y^6*z^3872 -2309669544*y^5*z^3-2331987649*y^4*z^3873 -1699396367*y^3*z^3+908407628*y^2*z^3-2558880*x*y*z^3874 +911170484*y*z^3+1511208*x*z^3+870218468*z^3875 -357964740*y^14*z^2-354383622*y^13*z^2876 -354821724*y^12*z^2+1510708928*y^11*z^2877 +1496178122*y^10*z^2+1494530312*y^9*z^2878 -954660462*y^8*z^2-2018386032*y^7*z^2-1995124344*y^6*z^2879 -110474580*y^5*z^2-114966768*y^4*z^2+924554040*y^3*z^2880 +272158870*y^2*z^2+927072*x*y*z^2+270707962*y*z^2881 -927072*x*z^2+291944038*z^2-212157154*y^14*z882 -214340590*y^13*z-212157154*y^12*z+1061513582*y^11*z883 +1073886386*y^10*z+1058602334*y^9*z-1065152642*y^8*z884 -1718363780*y^7*z-1690706924*y^6*z+429408992*y^5*z885 +443965232*y^4*z+1045501718*y^3*z+5822496*x*y*z886 -5822496*y*z-5822496*x*z+5822496*z-56003282*y^14887 -54431774*y^13-56003282*y^12+279492574*y^11888 +270587362*y^10+281587918*y^9-276873394*y^8889 -432835012*y^7-452740780*y^6+108339712*y^5+97862992*y^4890 +291016966*y^3-4190688*x*y+4190688*y+4190688*x-4190688,891 163 (-44425*z^21)-44425*x*z^20-193795*z^20-88850*y^3*z^19+266550*y*z^19 892 164 -327070*x*z^19-1274354*z^19+44425*y^4*z^18-32190*y^3*z^18 … … 1026 298 +768*y^6*z-192*y^5*z-192*y^4*z-480*y^3*z+16*y^14+16*y^13+16*y^12 1027 299 -80*y^11-80*y^10-80*y^9+80*y^8+128*y^7+128*y^6-32*y^5-32*y^4 1028 -80*y^3]" '(x y z))))) 300 -80*y^3, 301 (-62093*z^21)-62093*x*z^20-294905*z^20-124186*y^3*z^19+372558*y*z^19 302 -481184*x*z^19-1896895*z^19+62093*y^4*z^18-93066*y^3*z^18 303 +620930*y^2*z^18+775942*y*z^18-1974401*x*z^18-5672158*z^18 304 -62093*y^6*z^17+2157695*y^4*z^17-2614317*y^3*z^17 305 +1955562*y^2*z^17-1285014*y*z^17-4548614*x*z^17 306 -3792326*z^17+124186*y^7*z^16+1071141*y^6*z^16 307 +2732092*y^5*z^16+7080558*y^4*z^16-14439323*y^3*z^16 308 -279292*y^2*z^16-4633130*y*z^16-5402786*x*z^16 309 +17358124*z^16-62093*y^8*z^15+3818646*y^7*z^15 310 +1051714*y^6*z^15+10988844*y^5*z^15+6495674*y^4*z^15 311 -20470190*y^3*z^15-9851406*y^2*z^15-138226*y*z^15 312 +1471927*x*z^15+37860730*z^15+62093*y^10*z^14 313 +1241860*y^9*z^14+4051605*y^8*z^14+14285596*y^7*z^14 314 -10057949*y^6*z^14+12430164*y^5*z^14-1846064*y^4*z^14 315 +20484593*y^3*z^14-16124282*y^2*z^14+5184446*y*z^14 316 +15375648*x*z^14+4109437*z^14-124186*y^11*z^13 317 +2654439*y^10*z^13+3166008*y^9*z^13+18125525*y^8*z^13 318 +19298896*y^7*z^13-21572134*y^6*z^13-10283576*y^5*z^13 319 +885080*y^4*z^13+83602226*y^3*z^13-8540932*y^2*z^13 320 -13306902*y*z^13+22142511*x*z^13-75897065*z^13 321 +372558*y^12*z^12+2390654*y^11*z^12+10433286*y^10*z^12 322 +994182*y^9*z^12+28414036*y^8*z^12+7117194*y^7*z^12 323 +6413327*y^6*z^12-40089496*y^5*z^12+1387642*y^4*z^12 324 +51887995*y^3*z^12+3321430*y^2*z^12-34770050*y*z^12 325 +5326449*x*z^12-89966545*z^12-62093*y^14*z^11 326 +620930*y^13*z^11+1148500*y^12*z^11+11665603*y^11*z^11 327 +18068852*y^10*z^11-1766604*y^9*z^11+9581124*y^8*z^11 328 -9270810*y^7*z^11+59209974*y^6*z^11-50953520*y^5*z^11 329 -49868373*y^4*z^11-93415586*y^3*z^11+20070502*y^2*z^11 330 +3870366*y*z^11-20991981*x*z^11+21700007*z^11 331 +450211*y^14*z^10+2576492*y^13*z^10+1726276*y^12*z^10 332 +20826185*y^11*z^10+18157977*y^10*z^10+10234776*y^9*z^10 333 -32226896*y^8*z^10-26804700*y^7*z^10+39254296*y^6*z^10 334 -45553956*y^5*z^10-105032993*y^4*z^10-161017882*y^3*z^10 335 +51189864*y^2*z^10+77880544*y*z^10-25192515*x*z^10 336 +135785208*z^10+2449174*y^14*z^9+5401850*y^13*z^9 337 +2463088*y^12*z^9+14515838*y^11*z^9+10384929*y^10*z^9 338 +30607428*y^9*z^9-69123395*y^8*z^9-66254262*y^7*z^9 339 -78227581*y^6*z^9-701820*y^5*z^9-31820374*y^4*z^9 340 -13363721*y^3*z^9+50901220*y^2*z^9+72922124*y*z^9 341 -3694290*x*z^9+98509917*z^9+5152725*y^14*z^8 342 +7811974*y^13*z^8+5337046*y^12*z^8-9842841*y^11*z^8 343 -8576554*y^10*z^8+19746518*y^9*z^8-81091480*y^8*z^8 344 -84309180*y^7*z^8-143215725*y^6*z^8+101520364*y^5*z^8 345 +129546847*y^4*z^8+170255391*y^3*z^8-21177336*y^2*z^8 346 -25219024*y*z^8+10699009*x*z^8-39012662*z^8 347 +5893152*y^14*z^7+8669290*y^13*z^7+9191446*y^12*z^7 348 -39441258*y^11*z^7-43983913*y^10*z^7-35115338*y^9*z^7 349 -35307862*y^8*z^7-4494634*y^7*z^7-32549470*y^6*z^7 350 +142704156*y^5*z^7+167383594*y^4*z^7+137957690*y^3*z^7 351 -81223016*y^2*z^7-88829334*y*z^7+7091971*x*z^7 352 -103259594*z^7+2999595*y^14*z^6+5973124*y^13*z^6 353 +8486896*y^12*z^6-55471863*y^11*z^6-68351032*y^10*z^6 354 -78724496*y^9*z^6+66547639*y^8*z^6+118530918*y^7*z^6 355 +132719201*y^6*z^6+28845308*y^5*z^6+28654796*y^4*z^6 356 -45834331*y^3*z^6-46221546*y^2*z^6-47570630*y*z^6 357 +7776*x^2*z^6+217021*x*z^6-50374091*z^6-3276945*y^14*z^5 358 -1522340*y^13*z^5+394832*y^12*z^5-35486271*y^11*z^5 359 -43934307*y^10*z^5-53390064*y^9*z^5+115182683*y^8*z^5 360 +133783318*y^7*z^5+148478637*y^6*z^5-90595828*y^5*z^5 361 -93073209*y^4*z^5-128446523*y^3*z^5+17771150*y^2*z^5 362 +16921524*y*z^5+15552*x^2*z^5+7776*x*z^5+17195287*z^5 363 -9750375*y^14*z^4-9389888*y^13*z^4-9020896*y^12*z^4 364 +15841297*y^11*z^4+13952111*y^10*z^4+12147732*y^9*z^4 365 +48088910*y^8*z^4+26287984*y^7*z^4+29119635*y^6*z^4 366 -72824464*y^5*z^4-73097103*y^4*z^4-55627499*y^3*z^4 367 +28155166*y^2*z^4+28220776*y*z^4+23328*x^2*z^4+9720*x*z^4 368 +27941326*z^4-11437557*y^14*z^3-11328236*y^13*z^3 369 -11280880*y^12*z^3+47780995*y^11*z^3+47175827*y^10*z^3 370 +46880484*y^9*z^3-29152980*y^8*z^3-62322100*y^7*z^3 371 -61589201*y^6*z^3-4522320*y^5*z^3-5850743*y^4*z^3 372 +27747047*y^3*z^3+8893592*y^2*z^3+9356264*y*z^3 373 -23328*x^2*z^3+5832*x*z^3+9673136*z^3-6849778*y^14*z^2 374 -6905668*y^13*z^2-6894490*y^12*z^2+33943290*y^11*z^2 375 +34193580*y^10*z^2+34174626*y^9*z^2-33299528*y^8*z^2 376 -54131228*y^7*z^2-54345068*y^6*z^2+12452276*y^5*z^2 377 +13044224*y^4*z^2+33736442*y^3*z^2+538394*y^2*z^2 378 +247766*y*z^2-23328*x^2*z^2+95162*z^2-1891498*y^14*z 379 -1884694*y^13*z-1910938*y^12*z+9409862*y^11*z 380 +9408890*y^10*z+9573158*y^9*z-9206714*y^8*z-15072692*y^7*z 381 -15315692*y^6*z+3496256*y^5*z+3690656*y^4*z+54432*x*y^3*z 382 +9648974*y^3*z-93312*x*y^2*z+93312*y^2*z+7776*x^2*y*z 383 -7776*y*z-7776*x^2*z+38880*x*z-31104*z-67438*y^14 384 -78130*y^13-55774*y^12+373154*y^11+393566*y^10+248738*y^9 385 -541310*y^8-571580*y^7-359684*y^6+386624*y^5+200000*y^4 386 -54432*x*y^3+126266*y^3+93312*x*y^2-93312*y^2-7776*x^2*y 387 +7776*y+7776*x^2-38880*x+31104, 388 62197*z^21+62197*x*z^20+291088*z^20+124394*y^3*z^19-373182*y*z^19 389 +477679*x*z^19+1878962*z^19-62197*y^4*z^18+84600*y^3*z^18 390 -621970*y^2*z^18-751376*y*z^18+1943665*x*z^18+5547434*z^18 391 +62197*y^6*z^17-2156998*y^4*z^17+2610963*y^3*z^17 392 -1915728*y^2*z^17+1344852*y*z^17+4414720*x*z^17+3387640*z^17 393 -124394*y^7*z^16-1077246*y^6*z^16-2736668*y^5*z^16 394 -6941979*y^4*z^16+14282032*y^3*z^16+421886*y^2*z^16 395 +4556674*y*z^16+5079481*x*z^16-17694533*z^16+62197*y^8*z^15 396 -3816420*y^7*z^15-979745*y^6*z^15-10817568*y^5*z^15 397 -5993371*y^4*z^15+19475671*y^3*z^15+9863628*y^2*z^15 398 -201616*y*z^15-1881863*x*z^15-36718052*z^15-62197*y^10*z^14 399 -1243940*y^9*z^14-4062702*y^8*z^14-14043134*y^7*z^14 400 +10159270*y^6*z^14-11660088*y^5*z^14+2355712*y^4*z^14 401 -22068016*y^3*z^14+15450484*y^2*z^14-5236534*y*z^14 402 -15324612*x*z^14-1299572*z^14+124394*y^11*z^13 403 -2654574*y^10*z^13-3085092*y^9*z^13-17875228*y^8*z^13 404 -18301298*y^7*z^13+20912123*y^6*z^13+11254696*y^5*z^13 405 -998824*y^4*z^13-82420621*y^3*z^13+7344470*y^2*z^13 406 +13720314*y*z^13-21069324*x*z^13+76544146*z^13 407 -373182*y^12*z^12-2403280*y^11*z^12-10265835*y^10*z^12 408 -763326*y^9*z^12-27161252*y^8*z^12-5672886*y^7*z^12 409 -8030785*y^6*z^12+39489536*y^5*z^12-1373297*y^4*z^12 410 -45846113*y^3*z^12-4006574*y^2*z^12+33940378*y*z^12 411 -3669771*x*z^12+84649877*z^12+62197*y^14*z^11 412 -621970*y^13*z^11-1124558*y^12*z^11-11520437*y^11*z^11 413 -17348077*y^10*z^11+1861182*y^9*z^11-7471074*y^8*z^11 414 +9874692*y^7*z^11-58997319*y^6*z^11+48089980*y^5*z^11 415 +50094117*y^4*z^11+97789063*y^3*z^11-19868540*y^2*z^11 416 -6467994*y*z^11+21506892*x*z^11-28651966*z^11 417 -455276*y^14*z^10-2537698*y^13*z^10-1645616*y^12*z^10 418 -20025700*y^11*z^10-16847943*y^10*z^10-10386480*y^9*z^10 419 +33102991*y^8*z^10+26175312*y^7*z^10-35006123*y^6*z^10 420 +41808924*y^5*z^10+101736412*y^4*z^10+154747355*y^3*z^10 421 -49836054*y^2*z^10-77962850*y*z^10+23712288*x*z^10 422 -134827431*z^10-2422655*y^14*z^9-5225662*y^13*z^9 423 -2338550*y^12*z^9-12994009*y^11*z^9-9032604*y^10*z^9 424 -29961138*y^9*z^9+66936577*y^8*z^9+64418844*y^7*z^9 425 +81555203*y^6*z^9-2708652*y^5*z^9+24063602*y^4*z^9 426 +1148833*y^3*z^9-47268530*y^2*z^9-67373776*y*z^9 427 +1764237*x*z^9-88593549*z^9-4986216*y^14*z^8-7428554*y^13*z^8 428 -5165504*y^12*z^8+10993230*y^11*z^8+9390554*y^10*z^8 429 -17534260*y^9*z^8+76120232*y^8*z^8+79656150*y^7*z^8 430 +137987784*y^6*z^8-101941496*y^5*z^8-132624275*y^4*z^8 431 -172225566*y^3*z^8+25125354*y^2*z^8+30962138*y*z^8 432 -11052938*x*z^8+46839364*z^8-5523915*y^14*z^7 433 -8105042*y^13*z^7-8820386*y^12*z^7+38847465*y^11*z^7 434 +43483352*y^10*z^7+36765466*y^9*z^7+29301146*y^8*z^7 435 -1847500*y^7*z^7+21773417*y^6*z^7-135684168*y^5*z^7 436 -158340584*y^4*z^7-125604427*y^3*z^7+80065726*y^2*z^7 437 +87379542*y*z^7-3888*x^2*z^7-6288353*x*z^7+100799218*z^7 438 -2561289*y^14*z^6-5335154*y^13*z^6-7823078*y^12*z^6 439 +52680669*y^11*z^6+65292989*y^10*z^6+76413538*y^9*z^6 440 -69509327*y^8*z^6-119457606*y^7*z^6-135926551*y^6*z^6 441 -18081196*y^5*z^6-15863623*y^4*z^6+56776217*y^3*z^6 442 +40208808*y^2*z^6+40930240*y*z^6-11664*x^2*z^6+343198*x*z^6 443 +42613627*z^6+3518784*y^14*z^5+1983340*y^13*z^5 444 +253010*y^12*z^5+31408200*y^11*z^5+38911488*y^10*z^5 445 +47606934*y^9*z^5-110691688*y^8*z^5-125367140*y^7*z^5 446 -139019436*y^6*z^5+93428348*y^5*z^5+95842332*y^4*z^5 447 +125597464*y^3*z^5-21532348*y^2*z^5-20745570*y*z^5 448 -19440*x^2*z^5-5832*x*z^5-21217046*z^5+9539685*y^14*z^4 449 +9316858*y^13*z^4+9093788*y^12*z^4-18625895*y^11*z^4 450 -17408485*y^10*z^4-16339548*y^9*z^4-39460090*y^8*z^4 451 -16066196*y^7*z^4-17749911*y^6*z^4+66181556*y^5*z^4 452 +66222615*y^4*z^4+45915757*y^3*z^4-26910314*y^2*z^4 453 -27005570*y*z^4-11664*x*z^4-26735354*z^4+10740936*y^14*z^3 454 +10658716*y^13*z^3+10641134*y^12*z^3-46816940*y^11*z^3 455 -46335370*y^10*z^3-46176990*y^9*z^3+33130656*y^8*z^3 456 +64709996*y^7*z^3+64170334*y^6*z^3-1268748*y^5*z^3 457 +131590*y^4*z^3-32235268*y^3*z^3-6653686*y^2*z^3 458 -7185370*y*z^3+19440*x^2*z^3-7526542*z^3+6000836*y^14*z^2 459 +6064016*y^13*z^2+6053324*y^12*z^2-30408756*y^11*z^2 460 -30703272*y^10*z^2-30698412*y^9*z^2+31174168*y^8*z^2 461 +49525624*y^7*z^2+49799728*y^6*z^2-12830488*y^5*z^2 462 -13526440*y^4*z^2-31703908*y^3*z^2+133388*y^2*z^2 463 +469700*y*z^2+15552*x^2*z^2+650492*z^2+1367102*y^14*z 464 +1360298*y^13*z+1388486*y^12*z-6785938*y^11*z-6786910*y^10*z 465 -6962842*y^9*z+6567238*y^8*z+10879468*y^7*z+11139964*y^6*z 466 -2410528*y^5*z-2641864*y^4*z-69984*x*y^3*z-7044490*y^3*z 467 +104976*x*y^2*z-104976*y^2*z-34992*x*z+34992*z-74500*y^14 468 -64780*y^13-90052*y^12+331676*y^11+318068*y^10+479420*y^9 469 -139220*y^8-559064*y^7-796232*y^6-148432*y^5+77072*y^4 470 +69984*x*y^3+596060*y^3-104976*x*y^2+104976*y^2+34992*x 471 -34992]" '(x y z))))) 1029 472 (&body))) 1030 473
Note:
See TracChangeset
for help on using the changeset viewer.
