|\^/| Maple 18 (X86 64 LINUX) ._|\| |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2014 \ MAPLE / All rights reserved. Maple is a trademark of <____ ____> Waterloo Maple Inc. | Type ? for help. [&x, *, +, -, ., <,>, <|>, About, AddCoordinates, ArcLength, BasisFormat, Binormal, Compatibility, ConvertVector, CrossProduct, Curl, Curvature, D, Del, DirectionalDiff, Divergence, DotProduct, Flux, GetCoordinateParameters, GetCoordinates, GetNames, GetPVDescription, GetRootPoint, GetSpace, Gradient, Hessian, IsPositionVector, IsRootedVector, IsVectorField, Jacobian, Laplacian, LineInt, MapToBasis, Nabla, Norm, Normalize, PathInt, PlotPositionVector, PlotVector, PositionVector, PrincipalNormal, RadiusOfCurvature, RootedVector, ScalarPotential, SetCoordinateParameters, SetCoordinates, SpaceCurve, SurfaceInt, TNBFrame, Tangent, TangentLine, TangentPlane, TangentVector, Torsion, Vector, VectorField, VectorPotential, VectorSpace, Wronskian, diff, eval, evalVF, int, limit, series] Path set to /dsk/l1/fgb/13379/FGblib/../libfgbunid.so FGb/Maple interface package Version 1.63 JC Faugere (Jean-Charles.Faugere@inria.fr) Type ?FGb for documentation Warning, `n` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `EQUS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `linear` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `var` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `S` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `par` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `ls` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myrand1` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myrand` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `myprime` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `gb` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `rr1` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `DEG` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `boo` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `i` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `NEWVARS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `LS` is implicitly declared local to procedure `FGbRationalParametrization` Warning, `param` is implicitly declared local to procedure `FGbRationalParametrization` FGbRationalParametrization := proc(EQUATIONS, VARS) local n, EQUS, linear, var, S, par, ls, myrand1, myrand, myprime, gb, rr1, DEG, boo, i, NEWVARS, LS, param; n := nops(VARS); EQUS := expand(EQUATIONS); if indets(VARS) <> indets(EQUS) then print(indets(EQUS) <> indets(VARS)); error "Variables do not match" end if; if n = 1 then error "Univariate Case" end if; if member(1, map(degree, EQUS)) then linear := map(_pol -> if degree(_pol) = 1 then _pol end if, EQUS); var := indets(linear[1])[1]; S := solve(linear[1], var); par, ls := FGbRationalParametrization(subs(var = S, EQUATIONS), remove(member, VARS, [var])); return par, {op(ls), var = S} end if; myrand1 := rand(1 .. 10); myrand := rand(9000 .. 65519); myprime := nextprime(myrand()); gb := FGb:-fgb_gbasis_lm([VectorCalculus:-`+`( add(VectorCalculus:-`*`(myrand(), VARS[i]), i = 1 .. n), myrand()), op(EQUS)], myprime, [], VARS, {"index" = 99886600, "verb" = 0}); if gb[1] <> [1] then printf("\t\n\n Positive dimension \n\n"); error "Positive dimension" end if; gb := FGb:-fgb_gbasis(EQUS, myprime, [], VARS, {"index" = 99886600, "verb" = 0}); if member(1, map(degree, gb)) then FGb:-fgb_gbasis(EQUS, 0, [], VARS, {"index" = 99886600, "verb" = 0}) ; return [1], {}; error "There is a linear polynomial in the Gb" end if; if gb = [1] then return [seq(1, i = 1 .. nops(vars))], {} end if; rr1 := FGb:-fgb_matrixn(subs(VARS[n] = VectorCalculus:-`+`(add( VectorCalculus:-`*`(myrand(), VARS[i]), i = 1 .. VectorCalculus:-`+`(n, -1)), VARS[n]), gb), myprime, VARS, {"index" = 99886600, "verb" = 0}); if 1 <= nops(map(_sqr -> if 1 < _sqr[2] then _sqr[2] end if, (Sqrfree(rr1[nops(rr1)]) mod myprime)[2])) then printf("Non radical case\n", degree(rr1[nops(rr1)]), add( degree(_pol[1]), _pol in (Sqrfree(rr1[nops(rr1)]) mod myprime)[2])); error "Non radical case" end if; DEG := degree(rr1[nops(rr1)]); printf("\n\nDegree is %d\n\n", DEG); boo := false; for i from nops(VARS) by -1 to 1 do NEWVARS := [op(remove(member, VARS, VARS[i .. i])), VARS[i]]; try rr1 := FGb:-fgb_matrixn(gb, myprime, NEWVARS, {"index" = 99886600, "verb" = 0}); if 0 < nops(rr1) then boo := true; break end if catch: end try end do; if boo then LS := {}; if 0 = 0 then param := FGb:-fgb_matrixn(EQUS, 0, NEWVARS, {"index" = 99886600, "verb" = 0}) else param := FGb:-fgb_matrixn(EQUS, 65521, NEWVARS, {"index" = 99886600, "verb" = 0}) end if else printf("\n\nChange of variables requested\n\n"); LS := {VARS[n] = VectorCalculus:-`+`(VARS[n], add(VectorCalculus:-`*`(myrand1(), VARS[i]), i = 1 .. n))}; if 0 = 0 then param := FGb:-fgb_matrixn( map(expand, subs(LS, EQUS)), 0, VARS, {"index" = 99886600, "verb" = 0}) else param := FGb:-fgb_matrixn(map(expand, subs(LS, EQUS)), 65521, VARS, {"index" = 99886600, "verb" = 0}) end if end if; return param, LS end proc MyIsolation := proc(rrform) local newrr, elimvars, othervars, reg, SOLS, vars, DEG; elimvars := indets(rrform[1])[1]; othervars := map(_eqs -> indets(_eqs) minus {elimvars}, rrform[2 .. nops(rrform)]); othervars := map(_v -> _v[1], othervars); DEG := degree(rrform[1]); newrr := [rrform[1], VectorCalculus:-diff(rrform[1], elimvars), [rem( VectorCalculus:-`*`(VectorCalculus:-diff(rrform[1], elimvars), elimvars), rrform[1], elimvars), seq(VectorCalculus:-`-`( VectorCalculus:-`*`( coeff(rrform[i], othervars[VectorCalculus:-`+`(i, -1)], 0), DEG)), i = 2 .. nops(rrform))]]; reg := lcm(op(map(denom, newrr[3])), denom(newrr[2])); newrr := [numer(newrr[1]), expand(VectorCalculus:-`*`(reg, newrr[2])), map(_eqs -> expand(VectorCalculus:-`*`(_eqs, reg)), newrr[3])]; SOLS := fgbrs:-rs_isolate_rur(newrr[1], newrr[2], newrr[3], elimvars, verbose = 0); vars := [elimvars, op(othervars)]; SOLS := map(_point -> [seq(vars[i] = VectorCalculus:-`*`( VectorCalculus:-`+`(_point[i][1], _point[i][2]), 1/2), i = 1 .. nops(vars))], SOLS); return SOLS end proc my_rs_rur_sys := proc( sys::depends(list(polynom(integer, vars))), vars::list(name), v::name := _Z , {constraints := [], fulloutput::boolean := false, noresult::boolean := false, sepvector::list(integer) := [], useblockingerror::boolean := FAIL, verbose::nonnegint := 0}, $) fgbrs:-rs_rur_gb( fgbrs:-rs_gbasis(sys, vars, ':-useblockingerror' = useblockingerror), vars, v, ':-constraints' = constraints, ':-verbose' = verbose, ':-noresult' = noresult, ':-sepvector' = sepvector, ':-fulloutput' = fulloutput, ':-useblockingerror' = useblockingerror) end proc > with(RAG): RAGlib release 3.23 (April 2014) Mohab Safey El Din (Mohab.Safey@lip6.fr) > > st:=time():PointsPerComponents(map(_pol->_pol=0, [-1584984*X1^3+2598532*X1^2*X2+2073230*X1^2*X3-407035*X1*X2^2-3897648*X1*X2*X3+2756494*X1*X3^2-2862007*X2^3+9401936*X2^2*X3-9638991*X2*X3^2+3170132*X3^3+7496376*X1^2-6339446*X1*X2-1995086*X1*X3-4036566*X2^2+10671187*X2*X3-4708199*X3^2-8537083*X1+2842893*X2+65895*X3+2891692, -1444488*X1^3-2163790*X1^2*X2+2408090*X1^2*X3+2690748*X1*X2^2-1792431*X1*X2*X3+856096*X1*X3^2-2296398*X2^3+7478279*X2^2*X3-9479805*X2*X3^2+3003710*X3^3+1638954*X1^2-3320441*X1*X2-3971227*X1*X3+7325197*X2^2-6529433*X2*X3-432325*X3^2-675179*X1+4281929*X2+3002100*X3-181900, 1687348*X1^3+6193723*X1^2*X2-204633*X1^2*X3-7164101*X1*X2^2+5983660*X1*X2*X3-61326*X1*X3^2+3414724*X2^3-15254069*X2^2*X3+17419154*X2*X3^2-4203341*X3^3+642075*X1^2-13787640*X1*X2+6049414*X1*X3-1158363*X2^2+3753471*X2*X3-1003496*X3^2-1635843*X1+4695413*X2-5104573*X3-135940, 189120*X1^3-308446*X1^2*X2+320796*X1^2*X3-1088333*X1*X2^2+2119419*X1*X2*X3-1910536*X1*X3^2+1354325*X2^3-3555572*X2^2*X3+2809343*X2*X3^2+369908*X3^3-3264018*X1^2+2334985*X1*X2+3993761*X1*X3+1186111*X2^2-9997870*X2*X3+9141827*X3^2+8924140*X1-4627623*X2-4584754*X3-3958697, 1051580*X1^3-1914823*X1^2*X2-1363829*X1^2*X3+2838587*X1*X2^2-1536656*X1*X2*X3-2098029*X1*X3^2-564270*X2^3+391154*X2^2*X3+4884068*X2*X3^2-5687780*X3^3-2959523*X1^2+5963069*X1*X2-4114083*X1*X3-4529560*X2^2+13199066*X2*X3-8906760*X3^2-843446*X1-3519678*X2+6472696*X3+2952332, 1159700*X1^3+2002467*X1^2*X2-1006581*X1^2*X3-2045933*X1*X2^2+3217027*X1*X2*X3-1790402*X1*X3^2+1163120*X2^3-5851373*X2^2*X3+8433650*X2*X3^2-4898721*X3^3-1697837*X1^2-4413128*X1*X2+1875592*X1*X3-2963603*X2^2+7956226*X2*X3-2700547*X3^2-3553907*X1+11169092*X2-4537273*X3-371815, -1161204*X1^3+3697958*X1^2*X2+2700702*X1^2*X3-330224*X1*X2^2-5413546*X1*X2*X3+166998*X1*X3^2-383670*X2^3+503227*X2^2*X3+1114587*X2*X3^2+449016*X3^3+7229736*X1^2+1471880*X1*X2-8023442*X1*X3-3959612*X2^2-860884*X2*X3+7989895*X3^2-4731314*X1-2886937*X2+2280037*X3+537717, 1190354*X1^3-5876037*X1^2*X2-3943218*X1^2*X3+1552560*X1*X2^2+3167655*X1*X2*X3+399774*X1*X3^2-1303509*X2^3+5322744*X2^2*X3-2452773*X2*X3^2-3364882*X3^3-11582219*X1^2+7103089*X1*X2+12740089*X1*X3+1455204*X2^2+1209727*X2*X3-8549529*X3^2+15066121*X1+464017*X2-6911763*X3-4669576, -151360*X1^3-4579186*X1^2*X2-2575149*X1^2*X3+3251488*X1*X2^2-2132815*X1*X2*X3+1954770*X1*X3^2-1503666*X2^3+5382475*X2^2*X3-1135032*X2*X3^2-2592877*X3^3-5276055*X1^2+10947314*X1*X2+4564547*X1*X3+2055649*X2^2-6503746*X2*X3-756601*X3^2+1166160*X1-8266225*X2-3363962*X3+319015, -912450*X1^3+3293159*X1^2*X2+1827053*X1^2*X3-1644276*X1*X2^2-911555*X1*X2*X3+2312245*X1*X3^2+692475*X2^3-2014974*X2^2*X3-704443*X2*X3^2+412982*X3^3+6482686*X1^2-6134143*X1*X2-5599251*X1*X3+262827*X2^2-2174104*X2*X3+5509151*X3^2-12796950*X1+4694541*X2+13201082*X3+5843609, 1604534*X1^3-6147305*X1^2*X2+1492488*X1^2*X3+7608768*X1*X2^2-6499619*X1*X2*X3+1733070*X1*X3^2-2595848*X2^3+6411299*X2^2*X3-7895569*X2*X3^2+4046076*X3^3-3517171*X1^2+9707192*X1*X2-5890555*X1*X3-7696810*X2^2+14687697*X2*X3-7722857*X3^2+4348148*X1-6955180*X2+5516060*X3-1757604, 4776338*X1^3-9860796*X1^2*X2-658834*X1^2*X3+3414665*X1*X2^2+9896491*X1*X2*X3-5690450*X1*X3^2+368127*X2^3-4453020*X2^2*X3+76975*X2*X3^2+2241330*X3^3-6574024*X1^2+4978646*X1*X2+15434865*X1*X3+963997*X2^2-20735324*X2*X3+9289485*X3^2-3492083*X1+8492692*X2-13410920*X3+3530370, 234427*X1^3-149177*X1^2*X2-3298411*X1^2*X3-2491718*X1*X2^2+9727019*X1*X2*X3-9312985*X1*X3^2+1391687*X2^3-6708025*X2^2*X3+18562445*X2*X3^2-10540563*X3^3+8086608*X1^2-18496128*X1*X2+7342945*X1*X3+10988315*X2^2-10077351*X2*X3+7251582*X3^2-8377489*X1+8083139*X2-480469*X3+1492680, -844980*X1^3+2932989*X1^2*X2-95172*X1^2*X3-3529811*X1*X2^2+1337992*X1*X2*X3-1133700*X1*X3^2-553776*X2^3+5711897*X2^2*X3-6864351*X2*X3^2+2993836*X3^3+6608259*X1^2-12622129*X1*X2-2459746*X1*X3+4559736*X2^2+6285488*X2*X3-3190119*X3^2-3093300*X1+1661548*X2+4030629*X3-392688, -1447629*X1^3+4070563*X1^2*X2-851624*X1^2*X3-3798395*X1*X2^2+7179779*X1*X2*X3-2394095*X1*X3^2+728296*X2^3-4105024*X2^2*X3+431364*X2*X3^2+937292*X3^3-1058609*X1^2+6074789*X1*X2+727559*X1*X3-10016594*X2^2+10269440*X2*X3-6834642*X3^2+6508351*X1-11739602*X2+4314440*X3-2948474, -4185813*X1^3+4469875*X1^2*X2+229723*X1^2*X3-2953161*X1*X2^2+6720146*X1*X2*X3-2269975*X1*X3^2-400173*X2^3+5336435*X2^2*X3-15127831*X2*X3^2+8318553*X3^3-3102383*X1^2+4591520*X1*X2-1523008*X1*X3+2436976*X2^2-5450051*X2*X3+567357*X3^2-5859950*X1+15316264*X2-10093047*X3+5588885, -1427646*X1^3-1206956*X1^2*X2+4758856*X1^2*X3+3740978*X1*X2^2-8251534*X1*X2*X3+138006*X1*X3^2-1501095*X2^3+4295402*X2^2*X3-2545187*X2*X3^2+1796960*X3^3+3635744*X1^2+3642061*X1*X2-18440352*X1*X3-3750813*X2^2+11691179*X2*X3+2884315*X3^2+5858413*X1-6366736*X2+7604107*X3-4374906, -2730939*X1^3+5646403*X1^2*X2+3207151*X1^2*X3-1611903*X1*X2^2-1072*X1*X2*X3-821032*X1*X3^2-379911*X2^3+1952232*X2^2*X3-4415987*X2*X3^2-316514*X3^3-899087*X1^2+937837*X1*X2+5599518*X1*X3-3382921*X2^2+3850321*X2*X3-8243754*X3^2+2704444*X1-2189511*X2-3042477*X3+1169122, -7920810*X1^3+3288617*X1^2*X2+14405939*X1^2*X3+1973873*X1*X2^2-11006129*X1*X2*X3+2555918*X1*X3^2-750891*X2^3+3398747*X2^2*X3-8533801*X2*X3^2+4505985*X3^3-2185950*X1^2+12894555*X1*X2-25122632*X1*X3-5517819*X2^2+1907430*X2*X3+7600785*X3^2+7717395*X1-2782667*X2+3655126*X3-6063805, 150129*X1^3-4857438*X1^2*X2+1869144*X1^2*X3+913591*X1*X2^2+1768529*X1*X2*X3+791101*X1*X3^2-502197*X2^3+3591016*X2^2*X3-3601885*X2*X3^2-650474*X3^3-8106480*X1^2-1342011*X1*X2+15768078*X1*X3+6174624*X2^2-5784482*X2*X3-4724606*X3^2-4563559*X1+8231488*X2-3003443*X3+7600345, 311770*X1^3-195556*X1^2*X2+1209982*X1^2*X3-2880405*X1*X2^2+2191495*X1*X2*X3-1391580*X1*X3^2+3986123*X2^3-8046348*X2^2*X3+6489537*X2*X3^2-1239996*X3^3+855502*X1^2-5846361*X1*X2+150847*X1*X3+9224146*X2^2-9490377*X2*X3+3147163*X3^2-2609488*X1+5184625*X2-1739779*X3+1269842, -644610*X1^3+381548*X1^2*X2+5515320*X1^2*X3+583668*X1*X2^2-10460280*X1*X2*X3+4084506*X1*X3^2+1260582*X2^3-1807066*X2^2*X3+2529600*X2*X3^2+474720*X3^3+2552318*X1^2+4075155*X1*X2-9872642*X1*X3-8248433*X2^2+13221609*X2*X3-2806100*X3^2-1399633*X1-3440126*X2+4597385*X3-12695, 1650685*X1^3-8565128*X1^2*X2-644344*X1^2*X3+13702348*X1*X2^2-10652246*X1*X2*X3+1836967*X1*X3^2-6815693*X2^3+18246319*X2^2*X3-14438344*X2*X3^2+1586448*X3^3-1064274*X1^2-3130258*X1*X2+9140204*X1*X3+4307625*X2^2-5550723*X2*X3+413680*X3^2-2769203*X1+9742898*X2-9433148*X3+1836610, 145948*X1^3-39546*X1^2*X2-1248280*X1^2*X3+131957*X1*X2^2+2218271*X1*X2*X3+27908*X1*X3^2-477265*X2^3-1541696*X2^2*X3+3397321*X2*X3^2-2757120*X3^3-369506*X1^2-203388*X1*X2+6641707*X1*X3-2516527*X2^2-922586*X2*X3-377325*X3^2+3162767*X1-3259159*X2-2191350*X3-1793385, -597815*X1^3+1822991*X1^2*X2-792261*X1^2*X3-2070034*X1*X2^2+629983*X1*X2*X3-1067516*X1*X3^2+2283598*X2^3-2589024*X2^2*X3-362150*X2*X3^2+2316130*X3^3-18326*X1^2+26671*X1*X2-4443375*X1*X3+2103930*X2^2+2398108*X2*X3-1506682*X3^2+1286791*X1-3684926*X2+6798410*X3-255498, 463301*X1^3+8754*X1^2*X2-3824838*X1^2*X3+1478134*X1*X2^2+3211586*X1*X2*X3-6315571*X1*X3^2-93883*X2^3-2494931*X2^2*X3+8762208*X2*X3^2-4414160*X3^3-3672865*X1^2+5648378*X1*X2+1364755*X1*X3-7629954*X2^2+13827931*X2*X3-6787690*X3^2-2881088*X1+8601889*X2-7588670*X3+2596380, 957940*X1^3+278788*X1^2*X2-3925840*X1^2*X3-3671504*X1*X2^2+7649382*X1*X2*X3+135538*X1*X3^2+1446030*X2^3-1880168*X2^2*X3+1221752*X2*X3^2-1443534*X3^3-640336*X1^2-10925694*X1*X2+11337602*X1*X3+7044868*X2^2-675908*X2*X3-1506950*X3^2-675158*X1+5578930*X2-3182412*X3+156604, -1791470*X1^3+5327656*X1^2*X2+952018*X1^2*X3-3900612*X1*X2^2-1309039*X1*X2*X3-1033177*X1*X3^2+2784546*X2^3-6230496*X2^2*X3+1218799*X2*X3^2+1360511*X3^3+32278*X1^2+6750960*X1*X2-6126074*X1*X3-3030922*X2^2-3486207*X2*X3+674719*X3^2+6284668*X1-12361184*X2+5468702*X3-4295256, -1367860*X1^3+10775258*X1^2*X2-5586030*X1^2*X3-9651326*X1*X2^2+7471148*X1*X2*X3-3393870*X1*X3^2+3353094*X2^3-6298130*X2^2*X3+2737908*X2*X3^2-2367712*X3^3-4318880*X1^2-822022*X1*X2+7675429*X1*X3-3996764*X2^2+7532120*X2*X3-5598411*X3^2+5612250*X1+3238782*X2-10090709*X3-183560, 998202*X1^3-1719350*X1^2*X2-1349048*X1^2*X3+2573968*X1*X2^2+394567*X1*X2*X3-1200939*X1*X3^2-1161810*X2^3-659864*X2^2*X3+3406779*X2*X3^2+328775*X3^3-1772272*X1^2+3064106*X1*X2+1342003*X1*X3-3505692*X2^2+1648299*X2*X3+1687908*X3^2-7337906*X1+5162614*X2+6564389*X3+6097656, -1988840*X1^3+3970063*X1^2*X2+4265897*X1^2*X3+1150694*X1*X2^2-9571969*X1*X2*X3-937228*X1*X3^2-7487191*X2^3+14108943*X2^2*X3+1449158*X2*X3^2-7823012*X3^3+4609171*X1^2-1660494*X1*X2-10939368*X1*X3-4353577*X2^2+6893320*X2*X3+3686005*X3^2-778576*X1-2031680*X2+9579628*X3-2843520, -3438410*X1^3+684550*X1^2*X2+5579451*X1^2*X3+11187266*X1*X2^2-16745127*X1*X2*X3+3918017*X1*X3^2-804934*X2^3-13187742*X2^2*X3+25014628*X2*X3^2-10889964*X3^3-880835*X1^2-1377592*X1*X2-7115612*X1*X3+10081905*X2^2-7541773*X2*X3+9281110*X3^2+4511002*X1-630148*X2-7121962*X3+2721084, 1164253*X1^3+4920286*X1^2*X2-2004003*X1^2*X3-2341957*X1*X2^2-14623120*X1*X2*X3+4721729*X1*X3^2+5312972*X2^3-14776828*X2^2*X3+8645136*X2*X3^2-931128*X3^3-2139511*X1^2+1012076*X1*X2+1166013*X1*X3+11076259*X2^2-5121247*X2*X3-3592198*X3^2-2395674*X1+1490678*X2+4071706*X3+1181880, -650190*X1^3+1158807*X1^2*X2+2540256*X1^2*X3-2901464*X1*X2^2-2969271*X1*X2*X3+2261148*X1*X3^2+3618227*X2^3-7526347*X2^2*X3+10662178*X2*X3^2-6728124*X3^3+1141614*X1^2+2257540*X1*X2+1999228*X1*X3-2270554*X2^2-5411106*X2*X3+1698411*X3^2+437043*X1-2473371*X2+2492561*X3-2998920, 799299*X1^3-3942896*X1^2*X2-1765719*X1^2*X3+7470215*X1*X2^2-2477290*X1*X2*X3+2527944*X1*X3^2-1528512*X2^3+1111088*X2^2*X3+6649792*X2*X3^2-4866336*X3^3-2650852*X1^2+9060314*X1*X2-1703729*X1*X3-8760924*X2^2+4116860*X2*X3+4833160*X3^2+5763314*X1-10823370*X2+5452148*X3-5744720, 1001253*X1^3-6023306*X1^2*X2-1005204*X1^2*X3+265669*X1*X2^2+2530224*X1*X2*X3+2341833*X1*X3^2+2403196*X2^3-10525964*X2^2*X3+15006480*X2*X3^2-5973336*X3^3-540769*X1^2+2077576*X1*X2-5521786*X1*X3+3460427*X2^2-16138107*X2*X3+12574122*X3^2+5142677*X1+3446843*X2-8543024*X3+4250894, 1067550*X1^3+3545956*X1^2*X2-4495489*X1^2*X3-1541705*X1*X2^2-5402484*X1*X2*X3+4480182*X1*X3^2-4406537*X2^3+13903117*X2^2*X3-6495442*X2*X3^2-3045908*X3^3-2445503*X1^2-3912626*X1*X2+12096823*X1*X3-2919773*X2^2+10657148*X2*X3-19438857*X3^2-2472756*X1-3851337*X2+7272927*X3+1960362, 2973521*X1^3-3090988*X1^2*X2-10625160*X1^2*X3-7785333*X1*X2^2+13461919*X1*X2*X3+12012526*X1*X3^2-1042240*X2^3+2236056*X2^2*X3-1130616*X2*X3^2+2004720*X3^3-1812118*X1^2-7493190*X1*X2+11840870*X1*X3-5634098*X2^2+5941830*X2*X3-3660800*X3^2-7899189*X1+43779*X2-4639301*X3+5618100, 5765714*X1^3+9858853*X1^2*X2-18051522*X1^2*X3+506861*X1*X2^2-7705486*X1*X2*X3+12968485*X1*X3^2-3238964*X2^3+10863652*X2^2*X3-9992880*X2*X3^2+3153192*X3^3+8966191*X1^2+12680252*X1*X2-7821489*X1*X3-5909673*X2^2+3125753*X2*X3-2276330*X3^2-2784015*X1+3889140*X2+8973782*X3-4561392, 1401141*X1^3-637461*X1^2*X2-7020669*X1^2*X3-507728*X1*X2^2-882857*X1*X2*X3+5547114*X1*X3^2+1403264*X2^3-2976200*X2^2*X3-1582888*X2*X3^2+3618864*X3^3-1457805*X1^2-5139187*X1*X2-5698625*X1*X3+7342942*X2^2-13050714*X2*X3+8331656*X3^2-763328*X1+3848237*X2-14133379*X3+1964643, -213580*X1^3+2886457*X1^2*X2-2351984*X1^2*X3-1146655*X1*X2^2-5501965*X1*X2*X3+5022260*X1*X3^2-810544*X2^3+8087633*X2^2*X3-11726432*X2*X3^2+2135019*X3^3-327709*X1^2-9790133*X1*X2+7090711*X1*X3+4562350*X2^2+1085835*X2*X3-5291689*X3^2-207314*X1+10705462*X2-5976000*X3+1184288, 260994*X1^3+2627332*X1^2*X2-4374783*X1^2*X3+4017666*X1*X2^2-3907253*X1*X2*X3+1865703*X1*X3^2-4763616*X2^3+19379962*X2^2*X3-25048446*X2*X3^2+5625672*X3^3-583085*X1^2-4171661*X1*X2+1007083*X1*X3+11683852*X2^2-3435337*X2*X3-1856139*X3^2-1128176*X1-2703534*X2+4056095*X3-24554, -745285*X1^3+624719*X1^2*X2+2448870*X1^2*X3-13296760*X1*X2^2+8899209*X1*X2*X3-766872*X1*X3^2-3405112*X2^3-934983*X2^2*X3+10086625*X2*X3^2-2956852*X3^3-919315*X1^2+3539609*X1*X2-1199598*X1*X3+15167130*X2^2-24562434*X2*X3+5625760*X3^2+1134364*X1+4895892*X2-4560178*X3+1354000, 274202*X1^3-48397*X1^2*X2-1394431*X1^2*X3-519971*X1*X2^2+3070709*X1*X2*X3+293442*X1*X3^2+324080*X2^3-1145681*X2^2*X3-3089856*X2*X3^2+6273609*X3^3-1141336*X1^2+3350576*X1*X2+3843139*X1*X3-525562*X2^2-8308976*X2*X3+7813692*X3^2+1008515*X1-4425246*X2-268545*X3-1756668, -389235*X1^3-505091*X1^2*X2+2442471*X1^2*X3-386770*X1*X2^2-1657772*X1*X2*X3-1429429*X1*X3^2-223026*X2^3+3705752*X2^2*X3-2324076*X2*X3^2-4041280*X3^3+1484556*X1^2-597986*X1*X2-6247345*X1*X3+2041404*X2^2-1583370*X2*X3+3601236*X3^2+762334*X1+1164078*X2+4829084*X3-2612352, -481181*X1^3-126717*X1^2*X2+2351225*X1^2*X3-519328*X1*X2^2-3843279*X1*X2*X3-27464*X1*X3^2-2672204*X2^3+4887301*X2^2*X3-3394395*X2*X3^2-1960068*X3^3+663979*X1^2-5566099*X1*X2-2383365*X1*X3+8443340*X2^2-47359*X2*X3+2434916*X3^2+3363409*X1-383760*X2-5096510*X3+2062566, -863992*X1^3+667506*X1^2*X2+4107676*X1^2*X3-3357518*X1*X2^2-3576594*X1*X2*X3-4326604*X1*X3^2+2581680*X2^3-6051499*X2^2*X3+6128566*X2*X3^2+2309973*X3^3+967570*X1^2-3418358*X1*X2-6681348*X1*X3-1599620*X2^2-14705250*X2*X3+12957170*X3^2-2126762*X1-3388615*X2+2435578*X3+269121, 1670740*X1^3-4971431*X1^2*X2-2530002*X1^2*X3+7660998*X1*X2^2+11303214*X1*X2*X3-1018731*X1*X3^2+2490533*X2^3-851289*X2^2*X3-1360830*X2*X3^2-2336384*X3^3-237387*X1^2+17823951*X1*X2-3854243*X1*X3-9399990*X2^2+7954325*X2*X3-1829105*X3^2-2003367*X1-17625807*X2+10384945*X3-532184, 973252*X1^3-6180632*X1^2*X2+2355903*X1^2*X3-931066*X1*X2^2+17023285*X1*X2*X3-2932224*X1*X3^2+3791322*X2^3-4276909*X2^2*X3+5157945*X2*X3^2-2957108*X3^3+3700543*X1^2+12649372*X1*X2-5411676*X1*X3-14775339*X2^2+54103*X2*X3+1740356*X3^2+2670332*X1+7023601*X2-5283269*X3-296653, -570392*X1^3-120793*X1^2*X2+3070931*X1^2*X3+640184*X1*X2^2-2893252*X1*X2*X3-4093630*X1*X3^2-1706155*X2^3+304973*X2^2*X3-194294*X2*X3^2-2492864*X3^3+2339328*X1^2-6766829*X1*X2-12529068*X1*X3+2712019*X2^2+11451939*X2*X3+525737*X3^2-2104010*X1+7891827*X2-4029426*X3+1383033, -174995*X1^3-3011017*X1^2*X2+1674034*X1^2*X3+11840442*X1*X2^2-10038081*X1*X2*X3+4067829*X1*X3^2-11163115*X2^3+13179751*X2^2*X3-4721505*X2*X3^2-335019*X3^3-1136706*X1^2+9532095*X1*X2-2751469*X1*X3-12491801*X2^2+7567266*X2*X3-3244481*X3^2+1244022*X1-3884890*X2-38218*X3+528864, 671406*X1^3-9125299*X1^2*X2+85635*X1^2*X3+12752849*X1*X2^2+2750754*X1*X2*X3+3236685*X1*X3^2+321778*X2^3-17901984*X2^2*X3+5351238*X2*X3^2+5918904*X3^3-1804740*X1^2+3568850*X1*X2+2118980*X1*X3+9578727*X2^2-24106658*X2*X3+5224875*X3^2-891633*X1+8947345*X2-6531005*X3+286644, -1242500*X1^3+5809984*X1^2*X2+4051469*X1^2*X3-9591612*X1*X2^2-896826*X1*X2*X3-6985820*X1*X3^2+9216773*X2^3-10402844*X2^2*X3+12628795*X2*X3^2-7766220*X3^3-399336*X1^2-5748314*X1*X2+3459416*X1*X3+13756284*X2^2-27103764*X2*X3+19615320*X3^2+1304296*X1+8578398*X2-13457590*X3+1100220, -723357*X1^3+2258732*X1^2*X2+1067341*X1^2*X3-1088908*X1*X2^2-9267669*X1*X2*X3+3746739*X1*X3^2+1142551*X2^3+6301389*X2^2*X3-4924395*X2*X3^2+626943*X3^3+44883*X1^2-4613509*X1*X2-1477168*X1*X3+6228402*X2^2+2083436*X2*X3-562350*X3^2-1196715*X1+2503371*X2+921195*X3+1184328, 990225*X1^3-2635418*X1^2*X2-2164488*X1^2*X3+5166902*X1*X2^2+1779173*X1*X2*X3+962559*X1*X3^2-5898024*X2^3+1015800*X2^2*X3+2577444*X2*X3^2-1315664*X3^3-358048*X1^2+802745*X1*X2+2368803*X1*X3-403290*X2^2-5155570*X2*X3-132136*X3^2-2914266*X1+3635872*X2+430092*X3+2111784, 1336770*X1^3-1306721*X1^2*X2-3717700*X1^2*X3+5889170*X1*X2^2-1943776*X1*X2*X3+1545500*X1*X3^2+1113353*X2^3-4035324*X2^2*X3-9498641*X2*X3^2+8710884*X3^3+4234836*X1^2-7834018*X1*X2-4792475*X1*X3+10377083*X2^2+4322641*X2*X3-11763500*X3^2-2467953*X1+3589046*X2+2279370*X3-1319226, -181558*X1^3+2526000*X1^2*X2+850968*X1^2*X3+3649376*X1*X2^2-10063488*X1*X2*X3-1078674*X1*X3^2-6507253*X2^3+12879559*X2^2*X3+198051*X2*X3^2-547737*X3^3+158240*X1^2-2391035*X1*X2-691337*X1*X3-5778759*X2^2+14169137*X2*X3+3723442*X3^2-872379*X1-9654876*X2+5178937*X3-2760522, 642065*X1^3+4539687*X1^2*X2-5936135*X1^2*X3-9986849*X1*X2^2+6254794*X1*X2*X3+3645726*X1*X3^2-1500553*X2^3-347139*X2^2*X3-3355870*X2*X3^2+590792*X3^3+2722175*X1^2-3115967*X1*X2-2779302*X1*X3-7563393*X2^2+11376950*X2*X3-8475317*X3^2-606488*X1-11249203*X2+15352049*X3-5034502, -1174322*X1^3+12306417*X1^2*X2+981823*X1^2*X3+4953599*X1*X2^2-18546741*X1*X2*X3-6255408*X1*X3^2-5329429*X2^3+8009430*X2^2*X3-7230689*X2*X3^2+2259588*X3^3+3096226*X1^2+12880981*X1*X2-14916647*X1*X3-5320723*X2^2+14497673*X2*X3+255140*X3^2+9692035*X1-4267609*X2-10308545*X3+3014143, 1626669*X1^3-483310*X1^2*X2-5831698*X1^2*X3-254659*X1*X2^2+8348665*X1*X2*X3+1926581*X1*X3^2+3591685*X2^3-2273945*X2^2*X3-4761478*X2*X3^2+1045448*X3^3+1788290*X1^2+6807655*X1*X2-1806008*X1*X3+880450*X2^2+4125462*X2*X3-7678927*X3^2-1103269*X1+6663108*X2+7156818*X3-251247, 116244*X1^3-2688468*X1^2*X2+1889442*X1^2*X3+7646869*X1*X2^2-3153497*X1*X2*X3-4922906*X1*X3^2-4696086*X2^3+5480562*X2^2*X3+1349451*X2*X3^2-2003484*X3^3-3033140*X1^2+4240420*X1*X2-2993613*X1*X3-4705826*X2^2+3993538*X2*X3+4086085*X3^2+5820155*X1-4215346*X2+380062*X3-1850178, -1011552*X1^3-7417594*X1^2*X2+5238138*X1^2*X3+7452888*X1*X2^2+6799835*X1*X2*X3-5799588*X1*X3^2+1435334*X2^3-15645141*X2^2*X3+12782537*X2*X3^2-3382094*X3^3+483484*X1^2+3342617*X1*X2-2657769*X1*X3+1332044*X2^2-16039481*X2*X3+8647185*X3^2+915045*X1+3929720*X2-514262*X3-1599246, -778792*X1^3-3451719*X1^2*X2-477370*X1^2*X3+1548482*X1*X2^2-5037098*X1*X2*X3+1571443*X1*X3^2+1982314*X2^3-3609291*X2^2*X3+9751600*X2*X3^2-2166487*X3^3-1835389*X1^2-3866647*X1*X2-1252537*X1*X3+16047788*X2^2-1180113*X2*X3-5932080*X3^2+5141523*X1-3340334*X2+3179283*X3-620410, -1159200*X1^3+2505450*X1^2*X2+4023516*X1^2*X3-4597179*X1*X2^2-2632789*X1*X2*X3-2079600*X1*X3^2+779863*X2^3+2537214*X2^2*X3+2058361*X2*X3^2-1619284*X3^3+5545446*X1^2-5669292*X1*X2-8582151*X1*X3+2228414*X2^2+6250064*X2*X3+1848749*X3^2-2722155*X1-595145*X2+3207560*X3+557766, -748482*X1^3+464739*X1^2*X2+848171*X1^2*X3-221393*X1*X2^2+2900530*X1*X2*X3+1860989*X1*X3^2+77777*X2^3-2672013*X2^2*X3-1054834*X2*X3^2-908888*X3^3-1463565*X1^2+7377470*X1*X2+5180624*X1*X3-11133240*X2^2-1330704*X2*X3+1025143*X3^2+6832589*X1-6624446*X2-4116260*X3-2703353, -1252944*X1^3-2896323*X1^2*X2+1452623*X1^2*X3-1241843*X1*X2^2+6371699*X1*X2*X3+956704*X1*X3^2+305424*X2^3+1903875*X2^2*X3-5943252*X2*X3^2+216729*X3^3-4220394*X1^2+9809395*X1*X2+156633*X1*X3+6680358*X2^2-20112257*X2*X3+8890741*X3^2+1766714*X1+4958362*X2-4944945*X3-2523741, -481536*X1^3+3140166*X1^2*X2+2588370*X1^2*X3+4228630*X1*X2^2-14126345*X1*X2*X3-2137746*X1*X3^2-1897639*X2^3+786499*X2^2*X3+10541041*X2*X3^2-3462288*X3^3+1986060*X1^2+1986671*X1*X2-11324875*X1*X3-4672508*X2^2+6684735*X2*X3+10621211*X3^2+4897621*X1-3813817*X2+1106056*X3-3410682, -419484*X1^3+4086079*X1^2*X2-691454*X1^2*X3-1253092*X1*X2^2-2312870*X1*X2*X3+7860796*X1*X3^2-1256453*X2^3+4355582*X2^2*X3-2253283*X2*X3^2-8204982*X3^3+2156163*X1^2+8526678*X1*X2+2374270*X1*X3-688100*X2^2-8477651*X2*X3-7242643*X3^2-2496964*X1-4183954*X2+3589875*X3+1723279, 424224*X1^3+7761282*X1^2*X2-4417338*X1^2*X3+2857283*X1*X2^2-18725435*X1*X2*X3+13948891*X1*X3^2-417004*X2^3-4213359*X2^2*X3+13487018*X2*X3^2-10106903*X3^3-3735524*X1^2-361217*X1*X2+7558823*X1*X3-7472528*X2^2-503994*X2*X3+1340109*X3^2-5847485*X1-5839578*X2-2108784*X3+2633243, 1082592*X1^3-2605887*X1^2*X2-5041023*X1^2*X3-573810*X1*X2^2+2026487*X1*X2*X3+8025839*X1*X3^2+177226*X2^3+1255113*X2^2*X3+240697*X2*X3^2-5060866*X3^3-6539916*X1^2-6962391*X1*X2+18222040*X1*X3+4954335*X2^2+7502402*X2*X3-15193984*X3^2-2420949*X1+9429456*X2+2819155*X3+4463944, -535452*X1^3+1253810*X1^2*X2+540772*X1^2*X3-1012887*X1*X2^2-6017542*X1*X2*X3+2009026*X1*X3^2+3697765*X2^3-2783321*X2^2*X3+1231516*X2*X3^2-832314*X3^3+2189750*X1^2-7059624*X1*X2-1040194*X1*X3+7697421*X2^2+717838*X2*X3-1433302*X3^2-3163369*X1+3463407*X2+1037515*X3+977591, -174816*X1^3+2044698*X1^2*X2-1709154*X1^2*X3+4119852*X1*X2^2-14150819*X1*X2*X3+4169436*X1*X3^2-1146870*X2^3+7279623*X2^2*X3-6208213*X2*X3^2+748542*X3^3-300*X1^2-5937003*X1*X2+2729961*X1*X3-3893137*X2^2+12900317*X2*X3-2858189*X3^2+277591*X1+4069278*X2-720740*X3-95199, -98496*X1^3-898863*X1^2*X2+1575796*X1^2*X3+3637989*X1*X2^2+3639735*X1*X2*X3-2214529*X1*X3^2-8784714*X2^3+14692868*X2^2*X3-6457358*X2*X3^2+1049827*X3^3+36715*X1^2-8128099*X1*X2-364433*X1*X3+19297105*X2^2-25490223*X2*X3+5313901*X3^2-357978*X1+4133234*X2-455065*X3-997285, 384864*X1^3+210082*X1^2*X2-2490564*X1^2*X3-405305*X1*X2^2+3072307*X1*X2*X3+3355208*X1*X3^2-609455*X2^3-979158*X2^2*X3-1489467*X2*X3^2+1338228*X3^3-1889938*X1^2+413137*X1*X2+9800807*X1*X3-1960366*X2^2-3546183*X2*X3-3808437*X3^2+4015686*X1-2072417*X2-4880127*X3-1377114, -329930*X1^3+1004674*X1^2*X2+1544490*X1^2*X3-2002051*X1*X2^2-1420050*X1*X2*X3-3081375*X1*X3^2+1941191*X2^3+1198444*X2^2*X3-2541852*X2*X3^2+1443125*X3^3-91852*X1^2+327508*X1*X2-5513990*X1*X3+2434839*X2^2-1672777*X2*X3+8562703*X3^2+1247019*X1-3521071*X2+4300151*X3-97119, -178512*X1^3+485175*X1^2*X2+861597*X1^2*X3+1858923*X1*X2^2-510099*X1*X2*X3-2845028*X1*X3^2-2049936*X2^3+2002309*X2^2*X3+1366310*X2*X3^2+390079*X3^3-386162*X1^2-2497631*X1*X2-4727623*X1*X3-8406*X2^2+7319534*X2*X3+323305*X3^2-1072053*X1+8590481*X2-4485699*X3-1395399, -233472*X1^3+536476*X1^2*X2-266712*X1^2*X3-4122040*X1*X2^2+4144304*X1*X2*X3+866754*X1*X3^2+1498290*X2^3+1125304*X2^2*X3-3772824*X2*X3^2+3174966*X3^3+1261160*X1^2-5990050*X1*X2+5220174*X1*X3+5692658*X2^2+3317502*X2*X3-3246516*X3^2-760366*X1+4125516*X2-2030164*X3+121540, 63112*X1^3+1162070*X1^2*X2-770326*X1^2*X3-3218242*X1*X2^2-144025*X1*X2*X3+94852*X1*X3^2+2749852*X2^3-1117378*X2^2*X3-6146995*X2*X3^2+768294*X3^3-2207794*X1^2+8583310*X1*X2-1187909*X1*X3-4622848*X2^2-16001403*X2*X3+8308669*X3^2+6365592*X1-8476008*X2-1661303*X3-3279108, 63552*X1^3+580452*X1^2*X2-623892*X1^2*X3-6463458*X1*X2^2+6360072*X1*X2*X3-3289737*X1*X3^2+2706588*X2^3+4517316*X2^2*X3-13229112*X2*X3^2+3313731*X3^3-708872*X1^2+14375114*X1*X2-8256211*X1*X3-1390510*X2^2-14625952*X2*X3+5635060*X3^2-847678*X1-10699876*X2+94367*X3+443312, 98496*X1^3-1398006*X1^2*X2+437612*X1^2*X3+2864546*X1*X2^2+3067283*X1*X2*X3-3194989*X1*X3^2-1239770*X2^3-2553508*X2^2*X3+1338037*X2*X3^2+4269687*X3^3+1475408*X1^2+1011186*X1*X2-7329888*X1*X3-2090154*X2^2+2149831*X2*X3+9838255*X3^2-7681062*X1+3331328*X2+13058042*X3+4631292, 564922*X1^3-2963005*X1^2*X2+1156104*X1^2*X3+5080473*X1*X2^2-1301894*X1*X2*X3+909168*X1*X3^2-3186694*X2^3-440639*X2^2*X3+2661171*X2*X3^2-1845954*X3^3-1266973*X1^2+2679078*X1*X2-572802*X1*X3-268956*X2^2-3170042*X2*X3+1043961*X3^2-188301*X1+497328*X2-50833*X3+218286, 1029456*X1^3-6453512*X1^2*X2+1088106*X1^2*X3+6639549*X1*X2^2+940423*X1*X2*X3+6897180*X1*X3^2+971761*X2^3-9944046*X2^2*X3-335481*X2*X3^2+1093074*X3^3-1629672*X1^2+4965721*X1*X2-48833*X1*X3-219046*X2^2-3618497*X2*X3-4186655*X3^2-2246040*X1+1559033*X2-1078295*X3+1959264, 748186*X1^3-3439026*X1^2*X2+671806*X1^2*X3+3818785*X1*X2^2-7710759*X1*X2*X3-3607467*X1*X3^2+376391*X2^3+7130209*X2^2*X3-2185451*X2*X3^2+1814925*X3^3+552653*X1^2-8122894*X1*X2+8571973*X1*X3+9254058*X2^2-12077207*X2*X3+8628889*X3^2-6335282*X1+13040876*X2-8974603*X3+2568605, -824976*X1^3+1508667*X1^2*X2+1577132*X1^2*X3+479238*X1*X2^2-7469549*X1*X2*X3+1278992*X1*X3^2+524027*X2^3+987607*X2^2*X3+2731532*X2*X3^2-1238484*X3^3+1109487*X1^2-2285393*X1*X2-313843*X1*X3+525122*X2^2+1424135*X2*X3+371148*X3^2+123525*X1+637905*X2-392958*X3-389286, 28683*X1^3-1046206*X1^2*X2-1903514*X1^2*X3+3449430*X1*X2^2+1063215*X1*X2*X3+2267864*X1*X3^2-2190707*X2^3-113882*X2^2*X3-584265*X2*X3^2-607923*X3^3-305764*X1^2-629241*X1*X2-1064904*X1*X3+4135556*X2^2-5580410*X2*X3+1933247*X3^2+270958*X1-208078*X2+1732665*X3-136959, 1144872*X1^3-3249555*X1^2*X2-6864185*X1^2*X3+5360801*X1*X2^2+1440682*X1*X2*X3+4183904*X1*X3^2+729936*X2^3-5613126*X2^2*X3+3150901*X2*X3^2-857687*X3^3+1265361*X1^2-4021187*X1*X2-3792728*X1*X3+110481*X2^2+14068780*X2*X3-8432969*X3^2-6019356*X1+5268830*X2+5627769*X3+3351489, -684288*X1^3+712608*X1^2*X2+2800686*X1^2*X3+4470740*X1*X2^2-10093718*X1*X2*X3-1968818*X1*X3^2-1290086*X2^3-1799970*X2^2*X3+6302782*X2*X3^2+1575348*X3^3-74936*X1^2+1244524*X1*X2-1817886*X1*X3-2220494*X2^2-972496*X2*X3+1896284*X3^2+1841016*X1+1516680*X2-2290436*X3+4464, -776112*X1^3+1829124*X1^2*X2-1338777*X1^2*X3+1303162*X1*X2^2-2792232*X1*X2*X3+5508472*X1*X3^2-1882574*X2^3+3178598*X2^2*X3-1087372*X2*X3^2-3245223*X3^3+722264*X1^2+451946*X1*X2-4962899*X1*X3+5139126*X2^2-7564252*X2*X3+6335679*X3^2+2456026*X1-204590*X2-1873418*X3-764148, -508032*X1^3+4425216*X1^2*X2-5790342*X1^2*X3+3179380*X1*X2^2-7930279*X1*X2*X3+5558495*X1*X3^2+421702*X2^3-10001316*X2^2*X3+9389035*X2*X3^2+3470513*X3^3+3184376*X1^2-3130992*X1*X2-13601608*X1*X3-5740776*X2^2+12221511*X2*X3+79201*X3^2+2411280*X1-9661522*X2+12485564*X3-6911272, 1168128*X1^3+79560*X1^2*X2-5050137*X1^2*X3-2493588*X1*X2^2+1300299*X1*X2*X3+7200147*X1*X3^2+1196450*X2^3+1178806*X2^2*X3-2388483*X2*X3^2-2696084*X3^3-325764*X1^2+352594*X1*X2-2343537*X1*X3-783578*X2^2-541497*X2*X3+4403810*X3^2-2484890*X1-4023580*X2+3562110*X3+1365564, -687550*X1^3+2361236*X1^2*X2+793252*X1^2*X3-5985604*X1*X2^2-1981911*X1*X2*X3-1181347*X1*X3^2+11003557*X2^3-4185360*X2^2*X3-1391572*X2*X3^2+3403227*X3^3+1437644*X1^2-8532951*X1*X2-935595*X1*X3+4089114*X2^2+3681003*X2*X3+1527448*X3^2-269811*X1+4683589*X2-1756269*X3-203568, -598896*X1^3+2666990*X1^2*X2-381552*X1^2*X3-9877500*X1*X2^2-1080450*X1*X2*X3-2208984*X1*X3^2-3379438*X2^3+29527448*X2^2*X3-11976234*X2*X3^2+3620508*X3^3-291156*X1^2-814226*X1*X2+560111*X1*X3-2569785*X2^2+4632236*X2*X3-5088957*X3^2+1916313*X1+640829*X2-1470545*X3+1639980, -411946*X1^3-631548*X1^2*X2+2073726*X1^2*X3-3580195*X1*X2^2+9868622*X1*X2*X3-2405667*X1*X3^2-11691410*X2^3+5591907*X2^2*X3-8368811*X2*X3^2+1756580*X3^3-928003*X1^2-5415179*X1*X2-489208*X1*X3+4761385*X2^2+7193031*X2*X3+2928274*X3^2+1594595*X1+5428675*X2-7234338*X3+2491070, 357552*X1^3-1710162*X1^2*X2-1255229*X1^2*X3+163945*X1*X2^2+9944774*X1*X2*X3-165324*X1*X3^2-1814841*X2^3-3941026*X2^2*X3-6484800*X2*X3^2+3122373*X3^3-44247*X1^2+4155688*X1*X2+1983488*X1*X3-2856747*X2^2-5790343*X2*X3+1099089*X3^2+1634436*X1-1280934*X2-2796180*X3-1290744, -527823*X1^3+852116*X1^2*X2+3095814*X1^2*X3-4790141*X1*X2^2-2587522*X1*X2*X3-5065254*X1*X3^2+5227617*X2^3+4614734*X2^2*X3-1126336*X2*X3^2+1880488*X3^3-208670*X1^2+1175362*X1*X2-1345782*X1*X3-547116*X2^2-2497788*X2*X3+1851174*X3^2+3498358*X1-214691*X2-2937096*X3-2203068, -673992*X1^3+1171197*X1^2*X2+3456599*X1^2*X3-5560067*X1*X2^2-4285453*X1*X2*X3-4181767*X1*X3^2-3533808*X2^3+8001503*X2^2*X3+3368501*X2*X3^2+388932*X3^3-2270661*X1^2+1627464*X1*X2+6095893*X1*X3-1989630*X2^2-3935020*X2*X3-4271066*X3^2-143652*X1+3512189*X2+2547234*X3+1953420, 572928*X1^3-568958*X1^2*X2-2955432*X1^2*X3-82342*X1*X2^2+9178847*X1*X2*X3+4821053*X1*X3^2+4439163*X2^3-323850*X2^2*X3-18060082*X2*X3^2-3725619*X3^3+36988*X1^2+2998097*X1*X2+59624*X1*X3+7440750*X2^2-9964496*X2*X3-3864167*X3^2-353469*X1+6128733*X2+20630*X3+2150106, 746428*X1^3-1063391*X1^2*X2+63945*X1^2*X3+3831394*X1*X2^2-185353*X1*X2*X3-5150825*X1*X3^2-201941*X2^3+2707343*X2^2*X3+4984082*X2*X3^2+5239344*X3^3-1458359*X1^2+7141282*X1*X2+6096444*X1*X3+15709798*X2^2-10068983*X2*X3-7937437*X3^2-1565160*X1+4573128*X2-3384560*X3+3748789, 306912*X1^3-2953002*X1^2*X2+4322784*X1^2*X3+2960897*X1*X2^2+14449876*X1*X2*X3-11400071*X1*X3^2+4778684*X2^3-2155779*X2^2*X3-9909811*X2*X3^2+7496836*X3^3-1107940*X1^2-7052291*X1*X2+14920144*X1*X3-568510*X2^2+26387324*X2*X3-14443358*X3^2-5007819*X1-5805852*X2+11750439*X3-3889975, -828000*X1^3+712875*X1^2*X2+5222726*X1^2*X3+207574*X1*X2^2-6764099*X1*X2*X3-10806061*X1*X3^2-2075670*X2^3-2871577*X2^2*X3+6142846*X2*X3^2+6865592*X3^3-1127160*X1^2-5129161*X1*X2+2661058*X1*X3-5081529*X2^2-2128847*X2*X3-4510037*X3^2+89035*X1-4492536*X2-5531025*X3+500556])):lprint(time()-st): .915 > quit memory used=41.9MB, alloc=44.3MB, time=0.99