// inversion-line-circle3.ggb, 166s, 100s, 89s, 49.4s, 44.77s, 38.44s, 37.56s, 34.93, 31.58s
l:=[-1*v23*v22+v24*v21+v23*v20+-1*v21*v20+-1*v24*v19+v22*v19,-1*v25*v22+v26*v21+v25*v20+-1*v21*v20+-1*v26*v19+v22*v19,-1*v27*v22^2+-1*v27*v21^2+v21*v20^2+v21*v19^2,-1*v28*v22^2+-1*v28*v21^2+v22*v20^2+v22*v19^2,-1*v29*v24^2+-1*v29*v23^2+v23*v20^2+v23*v19^2,-1*v30*v24^2+-1*v30*v23^2+v24*v20^2+v24*v19^2,-1*v31*v26^2+-1*v31*v25^2+v25*v20^2+v25*v19^2,-1*v32*v26^2+-1*v32*v25^2+v26*v20^2+v26*v19^2,-1+-1*v35*v31*v30^2*v28+v35*v32^2*v29*v28+v35*v31^2*v29*v28+-1*v35*v31*v29^2*v28+v35*v31*v30*v28^2+-1*v35*v32*v29*v28^2+-1*v35*v32^2*v30*v27+-1*v35*v31^2*v30*v27+v35*v32*v30^2*v27+v35*v32*v29^2*v27+v35*v31*v30*v27^2+-1*v35*v32*v29*v27^2+v35*v31*v30^2*v20+-1*v35*v32^2*v29*v20+-1*v35*v31^2*v29*v20+v35*v31*v29^2*v20+-1*v35*v31*v28^2*v20+v35*v29*v28^2*v20+v35*v32^2*v27*v20+v35*v31^2*v27*v20+-1*v35*v30^2*v27*v20+-1*v35*v29^2*v27*v20+-1*v35*v31*v27^2*v20+v35*v29*v27^2*v20+-1*v35*v31*v30*v20^2+v35*v32*v29*v20^2+v35*v31*v28*v20^2+-1*v35*v29*v28*v20^2+-1*v35*v32*v27*v20^2+v35*v30*v27*v20^2+v35*v32^2*v30*v19+v35*v31^2*v30*v19+-1*v35*v32*v30^2*v19+-1*v35*v32*v29^2*v19+-1*v35*v32^2*v28*v19+-1*v35*v31^2*v28*v19+v35*v30^2*v28*v19+v35*v29^2*v28*v19+v35*v32*v28^2*v19+-1*v35*v30*v28^2*v19+v35*v32*v27^2*v19+-1*v35*v30*v27^2*v19+-1*v35*v31*v30*v19^2+v35*v32*v29*v19^2+v35*v31*v28*v19^2+-1*v35*v29*v28*v19^2+-1*v35*v32*v27*v19^2+v35*v30*v27*v19^2]:;
v:=[v35,v32,v31,v30,v29,v28,v27,v26,v24];
aa:=eliminate(l,v):;
write("aa",aa);

// answer
// [v23^3*v22^2*v19*v25+v23^3*v21^2*v19*v25-v23*v22^2*v19^3*v25-v23*v21^2*v19^3*v25-v23^3*v22^2*v25^2-v23^3*v21^2*v25^2-v23^2*v22^2*v19*v25^2-v23^2*v21^2*v19*v25^2-v21^2*v20^2*v19*v25^2+v23*v22^2*v19^2*v25^2+v23*v21^2*v19^2*v25^2+v22^2*v19^3*v25^2+v23^2*v22^2*v25^3+v23^2*v21^2*v25^3+v21^2*v20^2*v25^3-v22^2*v19^2*v25^3,v23^3*v22*v21*v20*v19-v23^2*v22*v21^2*v20*v19-v23^3*v22^2*v19^2+v23^2*v22^2*v21*v19^2-v23^2*v22*v21*v20*v19^2+v23*v22*v21^2*v20*v19^2+v23^2*v22^2*v19^3-v23*v22^2*v21*v19^3-v23^3*v22*v21*v20*v25+v23^2*v22*v21^2*v20*v25-v23^3*v21^2*v19*v25+v23^2*v21^3*v19*v25-v23^3*v22*v20*v19*v25-v23^2*v22*v21*v20*v19*v25+2*v23*v22*v21^2*v20*v19*v25+v21^3*v20^2*v19*v25-v23^3*v21*v19^2*v25-2*v23*v22^2*v21*v19^2*v25-v23^2*v21^2*v19^2*v25+v23^2*v22*v20*v19^2*v25+2*v23*v22*v21*v20*v19^2*v25-3*v22*v21^2*v20*v19^2*v25+v23^2*v21*v19^3*v25+2*v22^2*v21*v19^3*v25+2*v23*v21^2*v19^3*v25+v23^3*v22^2*v25^2-v23^2*v22^2*v21*v25^2+v23^3*v21^2*v25^2-v23^2*v21^3*v25^2+v23^3*v22*v20*v25^2+2*v23^2*v22*v21*v20*v25^2-3*v23*v22*v21^2*v20*v25^2-v21^3*v20^2*v25^2-v23^2*v22^2*v19*v25^2+v23^3*v21*v19*v25^2+3*v23*v22^2*v21*v19*v25^2+v23^2*v21^2*v19*v25^2+2*v23^2*v22*v20*v19*v25^2-5*v23*v22*v21*v20*v19*v25^2+3*v22*v21^2*v20*v19*v25^2-v21^2*v20^2*v19*v25^2+2*v23*v22^2*v19^2*v25^2+2*v23^2*v21*v19^2*v25^2-2*v22^2*v21*v19^2*v25^2-3*v23*v21^2*v19^2*v25^2-3*v23*v22*v20*v19^2*v25^2+3*v22*v21*v20*v19^2*v25^2-2*v22^2*v19^3*v25^2-3*v23*v21*v19^3*v25^2-3*v23^2*v22*v20*v25^3+3*v23*v22*v21*v20*v25^3+v21^2*v20^2*v25^3-2*v23*v22^2*v19*v25^3-3*v23^2*v21*v19*v25^3+v23*v21^2*v19*v25^3+3*v23*v22*v20*v19*v25^3-3*v22*v21*v20*v19*v25^3+2*v22^2*v19^2*v25^3+3*v23*v21*v19^2*v25^3,v23^3*v21^2*v20*v19-v23^2*v21^3*v20*v19-v23^3*v22*v21*v19^2+v23^2*v22*v21^2*v19^2-v23^2*v21^2*v20*v19^2+v23*v21^3*v20*v19^2+v23^2*v22*v21*v19^3-v23*v22*v21^2*v19^3-v23^3*v21^2*v20*v25+v23^2*v21^3*v20*v25+v23^3*v22*v21*v19*v25-v23^2*v22*v21^2*v19*v25-v23^3*v21*v20*v19*v25+v23^2*v21^2*v20*v19*v25+v23^3*v22*v19^2*v25-v23^2*v22*v21*v19^2*v25+v23^2*v21*v20*v19^2*v25-v21^3*v20*v19^2*v25-v23^2*v22*v19^3*v25+v22*v21^2*v19^3*v25+v23^3*v21*v20*v25^2-v23*v21^3*v20*v25^2-v23^3*v22*v19*v25^2+v23*v22*v21^2*v19*v25^2-v23*v21^2*v20*v19*v25^2+v21^3*v20*v19*v25^2+v23*v22*v21*v19^2*v25^2-v22*v21^2*v19^2*v25^2-v23*v21*v20*v19^2*v25^2+v21^2*v20*v19^2*v25^2+v23*v22*v19^3*v25^2-v22*v21*v19^3*v25^2-v23^2*v21*v20*v25^3+v23*v21^2*v20*v25^3+v23^2*v22*v19*v25^3-v23*v22*v21*v19*v25^3+v23*v21*v20*v19*v25^3-v21^2*v20*v19*v25^3-v23*v22*v19^2*v25^3+v22*v21*v19^2*v25^3,v23^2*v22^4*v25+2*v23^2*v22^2*v21^2*v25+v23^2*v21^4*v25+2*v23*v22^3*v21*v20*v25+2*v23*v22*v21^3*v20*v25+v22^2*v21^2*v20^2*v25+v21^4*v20^2*v25-2*v23*v22^4*v19*v25-2*v23*v22^2*v21^2*v19*v25-2*v23*v22^3*v20*v19*v25-8*v23^2*v22*v21*v20*v19*v25-2*v22^3*v21*v20*v19*v25+6*v23*v22*v21^2*v20*v19*v25-2*v22*v21^3*v20*v19*v25-2*v22^2*v21*v20^2*v19*v25+2*v21^3*v20^2*v19*v25+v22^4*v19^2*v25-6*v23*v22^2*v21*v19^2*v25-8*v23^2*v21^2*v19^2*v25+v22^2*v21^2*v19^2*v25+2*v23*v21^3*v19^2*v25+2*v22^3*v20*v19^2*v25+8*v23*v22*v21*v20*v19^2*v25-6*v22*v21^2*v20*v19^2*v25+4*v22^2*v21*v19^3*v25+8*v23*v21^2*v19^3*v25-4*v23^2*v22^2*v21*v25^2-4*v23^2*v21^3*v25^2+8*v23^2*v22*v21*v20*v25^2-8*v23*v22*v21^2*v20*v25^2-4*v21^3*v20^2*v25^2+8*v23*v22^2*v21*v19*v25^2+8*v23^2*v21^2*v19*v25^2+8*v23^2*v22*v20*v19*v25^2-16*v23*v22*v21*v20*v19*v25^2+8*v22*v21^2*v20*v19*v25^2+8*v23*v22^2*v19^2*v25^2+8*v23^2*v21*v19^2*v25^2-4*v22^2*v21*v19^2*v25^2-8*v23*v21^2*v19^2*v25^2-8*v23*v22*v20*v19^2*v25^2+8*v22*v21*v20*v19^2*v25^2-8*v22^2*v19^3*v25^2-8*v23*v21*v19^3*v25^2+4*v23^2*v22^2*v25^3+4*v23^2*v21^2*v25^3-8*v23^2*v22*v20*v25^3+8*v23*v22*v21*v20*v25^3-12*v23*v22^2*v19*v25^3-8*v23^2*v21*v19*v25^3-4*v23*v21^2*v19*v25^3+8*v23*v22*v20*v19*v25^3-8*v22*v21*v20*v19*v25^3+8*v22^2*v19^2*v25^3+8*v23*v21*v19^2*v25^3,v23^2*v22^3*v20*v25+v23^2*v22*v21^2*v20*v25-2*v23*v22^3*v20*v19*v25-2*v23^2*v22*v21*v20*v19*v25-v22^2*v21*v20^2*v19*v25-2*v23*v22^2*v21*v19^2*v25-2*v23^2*v21^2*v19^2*v25+v22^3*v20*v19^2*v25+2*v23*v22*v21*v20*v19^2*v25-v22*v21^2*v20*v19^2*v25+v22^2*v21*v19^3*v25+2*v23*v21^2*v19^3*v25-v23^2*v22^2*v21*v25^2-v23^2*v21^3*v25^2+2*v23^2*v22*v21*v20*v25^2-2*v23*v22*v21^2*v20*v25^2-v21^3*v20^2*v25^2+v23^2*v22^2*v19*v25^2+2*v23*v22^2*v21*v19*v25^2+3*v23^2*v21^2*v19*v25^2+2*v23^2*v22*v20*v19*v25^2-4*v23*v22*v21*v20*v19*v25^2+2*v22*v21^2*v20*v19*v25^2+v21^2*v20^2*v19*v25^2+2*v23*v22^2*v19^2*v25^2+2*v23^2*v21*v19^2*v25^2-v22^2*v21*v19^2*v25^2-2*v23*v21^2*v19^2*v25^2-2*v23*v22*v20*v19^2*v25^2+2*v22*v21*v20*v19^2*v25^2-3*v22^2*v19^3*v25^2-2*v23*v21*v19^3*v25^2+v23^2*v22^2*v25^3+v23^2*v21^2*v25^3-2*v23^2*v22*v20*v25^3+2*v23*v22*v21*v20*v25^3-v21^2*v20^2*v25^3-4*v23*v22^2*v19*v25^3-2*v23^2*v21*v19*v25^3-2*v23*v21^2*v19*v25^3+2*v23*v22*v20*v19*v25^3-2*v22*v21*v20*v19*v25^3+3*v22^2*v19^2*v25^3+2*v23*v21*v19^2*v25^3,2*v23^2*v22^3*v19*v25+2*v23^2*v22*v21^2*v19*v25-2*v23*v22^3*v19^2*v25-2*v23*v22*v21^2*v19^2*v25-v22^2*v21*v20*v19^2*v25-v21^3*v20*v19^2*v25+v22^3*v19^3*v25+v22*v21^2*v19^3*v25-2*v23^2*v22^3*v25^2-2*v23^2*v22*v21^2*v25^2-2*v22*v21*v20^2*v19*v25^2+2*v22^2*v20*v19^2*v25^2+2*v21^2*v20*v19^2*v25^2-2*v22*v21*v19^3*v25^2+2*v23*v22^3*v25^3+2*v23*v22*v21^2*v25^3+v22^2*v21*v20*v25^3+v21^3*v20*v25^3+2*v22*v21*v20^2*v25^3-v22^3*v19*v25^3-v22*v21^2*v19*v25^3-2*v22^2*v20*v19*v25^3-2*v21^2*v20*v19*v25^3+2*v22*v21*v19^2*v25^3,v23^2*v22^2*v21*v20+v23^2*v21^3*v20-v23^2*v22^3*v19-v23^2*v22*v21^2*v19+2*v23^2*v22^3*v25+2*v23^2*v22*v21^2*v25-2*v23^2*v22^2*v20*v25-2*v23^2*v21^2*v20*v25-2*v23*v22^3*v25^2-2*v23*v22*v21^2*v25^2+2*v23*v22^2*v20*v25^2-v22^2*v21*v20*v25^2+2*v23*v21^2*v20*v25^2-v21^3*v20*v25^2+v22^3*v19*v25^2+v22*v21^2*v19*v25^2,v23^2*v22^2*v21*v19*v25+v23^2*v21^3*v19*v25-2*v23^2*v22*v21*v20*v19*v25+2*v23*v22*v21^2*v20*v19*v25+v21^3*v20^2*v19*v25-2*v23*v22^2*v21*v19^2*v25-2*v23^2*v21^2*v19^2*v25+2*v23*v22*v21*v20*v19^2*v25-2*v22*v21^2*v20*v19^2*v25+v22^2*v21*v19^3*v25+2*v23*v21^2*v19^3*v25-v23^2*v22^2*v21*v25^2-v23^2*v21^3*v25^2+2*v23^2*v22*v21*v20*v25^2-2*v23*v22*v21^2*v20*v25^2-v21^3*v20^2*v25^2-v23^2*v22^2*v19*v25^2+2*v23*v22^2*v21*v19*v25^2+v23^2*v21^2*v19*v25^2+2*v23^2*v22*v20*v19*v25^2-4*v23*v22*v21*v20*v19*v25^2+2*v22*v21^2*v20*v19*v25^2-v21^2*v20^2*v19*v25^2+2*v23*v22^2*v19^2*v25^2+2*v23^2*v21*v19^2*v25^2-v22^2*v21*v19^2*v25^2-2*v23*v21^2*v19^2*v25^2-2*v23*v22*v20*v19^2*v25^2+2*v22*v21*v20*v19^2*v25^2-v22^2*v19^3*v25^2-2*v23*v21*v19^3*v25^2+v23^2*v22^2*v25^3+v23^2*v21^2*v25^3-2*v23^2*v22*v20*v25^3+2*v23*v22*v21*v20*v25^3+v21^2*v20^2*v25^3-2*v23*v22^2*v19*v25^3-2*v23^2*v21*v19*v25^3+2*v23*v22*v20*v19*v25^3-2*v22*v21*v20*v19*v25^3+v22^2*v19^2*v25^3+2*v23*v21*v19^2*v25^3,v23^2*v22^2*v20*v19*v25+v23^2*v21^2*v20*v19*v25-v23*v22^2*v20*v19^2*v25-v23*v21^2*v20*v19^2*v25-v23^2*v22^2*v20*v25^2-v23^2*v21^2*v20*v25^2-v22*v21*v20^2*v19*v25^2+v22^2*v20*v19^2*v25^2+v21^2*v20*v19^2*v25^2-v22*v21*v19^3*v25^2+v23*v22^2*v20*v25^3+v23*v21^2*v20*v25^3+v22*v21*v20^2*v25^3-v22^2*v20*v19*v25^3-v21^2*v20*v19*v25^3+v22*v21*v19^2*v25^3,v23^2*v22^2*v19^2*v25+v23^2*v21^2*v19^2*v25-v23*v22^2*v19^3*v25-v23*v21^2*v19^3*v25-v23^2*v22^2*v19*v25^2-v23^2*v21^2*v19*v25^2-v21^2*v20^2*v19*v25^2+v22^2*v19^3*v25^2+v21^2*v20^2*v25^3+v23*v22^2*v19*v25^3+v23*v21^2*v19*v25^3-v22^2*v19^2*v25^3,4*v23^2*v22*v21^2*v20*v19*v25-4*v23*v22*v21^3*v20*v19*v25+2*v22^2*v21^2*v20^2*v19*v25+2*v23*v22^2*v21^2*v19^2*v25+4*v23^2*v21^3*v19^2*v25-2*v23*v21^4*v19^2*v25-3*v22^3*v21*v20*v19^2*v25-4*v23*v22*v21^2*v20*v19^2*v25+v22*v21^3*v20*v19^2*v25+v22^4*v19^3*v25-v22^2*v21^2*v19^3*v25-4*v23*v21^3*v19^3*v25-4*v23^2*v22*v21^2*v20*v25^2+4*v23*v22*v21^3*v20*v25^2-2*v22^2*v21^2*v20^2*v25^2-4*v23*v22^2*v21^2*v19*v25^2-4*v23^2*v21^3*v19*v25^2+4*v22^3*v21*v20*v19*v25^2+4*v23*v22*v21^2*v20*v19*v25^2-2*v22^2*v21*v20^2*v19*v25^2-4*v21^3*v20^2*v19*v25^2-2*v22^4*v19^2*v25^2+4*v23*v21^3*v19^2*v25^2+2*v22^3*v20*v19^2*v25^2+2*v22*v21^2*v20*v19^2*v25^2+2*v22^2*v21*v19^3*v25^2+2*v23*v22^2*v21^2*v25^3+2*v23*v21^4*v25^3-v22^3*v21*v20*v25^3-v22*v21^3*v20*v25^3+2*v22^2*v21*v20^2*v25^3+4*v21^3*v20^2*v25^3+2*v23^2*v22^2*v19*v25^3+v22^4*v19*v25^3+2*v23^2*v21^2*v19*v25^3+v22^2*v21^2*v19*v25^3-4*v23^2*v22*v20*v19*v25^3-2*v22^3*v20*v19*v25^3+4*v23*v22*v21*v20*v19*v25^3-2*v22*v21^2*v20*v19*v25^3+2*v21^2*v20^2*v19*v25^3-4*v23*v22^2*v19^2*v25^3-4*v23^2*v21*v19^2*v25^3-2*v22^2*v21*v19^2*v25^3+4*v23*v22*v20*v19^2*v25^3-4*v22*v21*v20*v19^2*v25^3+2*v22^2*v19^3*v25^3+4*v23*v21*v19^3*v25^3-2*v23^2*v22^2*v25^4-2*v23^2*v21^2*v25^4+4*v23^2*v22*v20*v25^4-4*v23*v22*v21*v20*v25^4-2*v21^2*v20^2*v25^4+4*v23*v22^2*v19*v25^4+4*v23^2*v21*v19*v25^4-4*v23*v22*v20*v19*v25^4+4*v22*v21*v20*v19*v25^4-2*v22^2*v19^2*v25^4-4*v23*v21*v19^2*v25^4,v23^2*v22*v21*v20^2-v23^2*v22^2*v20*v19-v23^2*v21^2*v20*v19-v23*v22*v21*v20^2*v19+v23^2*v22*v21*v19^2+v23*v22^2*v20*v19^2+v23*v21^2*v20*v19^2-v23*v22*v21*v19^3+v23^2*v22^2*v20*v25+v23^2*v21^2*v20*v25+v22*v21*v20^2*v19*v25-v22^2*v20*v19^2*v25-v21^2*v20*v19^2*v25+v22*v21*v19^3*v25-v23*v22^2*v20*v25^2-v23*v21^2*v20*v25^2-v22*v21*v20^2*v25^2+v22^2*v20*v19*v25^2+v21^2*v20*v19*v25^2-v22*v21*v19^2*v25^2,2*v23^2*v22*v21*v20*v19^2*v25-2*v23*v22*v21^2*v20*v19^2*v25-v21^3*v20^2*v19^2*v25+v23*v22^2*v21*v19^3*v25+2*v23^2*v21^2*v19^3*v25-v23*v21^3*v19^3*v25-2*v23*v22*v21*v20*v19^3*v25+2*v22*v21^2*v20*v19^3*v25-v22^2*v21*v19^4*v25-2*v23*v21^2*v19^4*v25-2*v23^2*v22*v21*v20*v19*v25^2+2*v23*v22*v21^2*v20*v19*v25^2-2*v23*v22^2*v21*v19^2*v25^2-2*v23^2*v21^2*v19^2*v25^2-2*v23^2*v22*v20*v19^2*v25^2+4*v23*v22*v21*v20*v19^2*v25^2-2*v22*v21^2*v20*v19^2*v25^2+v21^2*v20^2*v19^2*v25^2-v23*v22^2*v19^3*v25^2-2*v23^2*v21*v19^3*v25^2+2*v22^2*v21*v19^3*v25^2+3*v23*v21^2*v19^3*v25^2+2*v23*v22*v20*v19^3*v25^2-2*v22*v21*v20*v19^3*v25^2+v22^2*v19^4*v25^2+2*v23*v21*v19^4*v25^2+v21^3*v20^2*v25^3+v23*v22^2*v21*v19*v25^3+v23*v21^3*v19*v25^3+2*v23^2*v22*v20*v19*v25^3-2*v23*v22*v21*v20*v19*v25^3+2*v23*v22^2*v19^2*v25^3+2*v23^2*v21*v19^2*v25^3-v22^2*v21*v19^2*v25^3-2*v23*v22*v20*v19^2*v25^3+2*v22*v21*v20*v19^2*v25^3-2*v22^2*v19^3*v25^3-2*v23*v21*v19^3*v25^3-v21^2*v20^2*v25^4-v23*v22^2*v19*v25^4-v23*v21^2*v19*v25^4+v22^2*v19^2*v25^4,v23^2*v21^2*v20^2-v23*v21^2*v20^2*v19-v23^2*v22^2*v19^2+v23*v22^2*v19^3+v23^2*v22^2*v19*v25+v23^2*v21^2*v19*v25+v21^2*v20^2*v19*v25-v22^2*v19^3*v25-v21^2*v20^2*v25^2-v23*v22^2*v19*v25^2-v23*v21^2*v19*v25^2+v22^2*v19^2*v25^2,2*v23^2*v21^2*v20*v19^2*v25-2*v23*v21^3*v20*v19^2*v25+v22*v21^2*v20^2*v19^2*v25+v23*v22^3*v19^3*v25-2*v23^2*v22*v21*v19^3*v25+3*v23*v22*v21^2*v19^3*v25-2*v23*v21^2*v20*v19^3*v25+2*v21^3*v20*v19^3*v25-v22^3*v19^4*v25+2*v23*v22*v21*v19^4*v25-2*v22*v21^2*v19^4*v25-2*v23*v22^2*v21*v20*v19*v25^2-2*v23^2*v21^2*v20*v19*v25^2-4*v22*v21^2*v20^2*v19*v25^2-2*v23*v22^3*v19^2*v25^2+2*v23^2*v22*v21*v19^2*v25^2-4*v23*v22*v21^2*v19^2*v25^2+v23*v22^2*v20*v19^2*v25^2-2*v23^2*v21*v20*v19^2*v25^2+2*v22^2*v21*v20*v19^2*v25^2+5*v23*v21^2*v20*v19^2*v25^2+v22*v21*v20^2*v19^2*v25^2+2*v23^2*v22*v19^3*v25^2+2*v22^3*v19^3*v25^2-4*v23*v22*v21*v19^3*v25^2-v22^2*v20*v19^3*v25^2+2*v23*v21*v20*v19^3*v25^2-3*v21^2*v20*v19^3*v25^2-2*v23*v22*v19^4*v25^2+3*v22*v21*v19^4*v25^2+2*v23*v22^2*v21*v20*v25^3+2*v23*v21^3*v20*v25^3+3*v22*v21^2*v20^2*v25^3+v23*v22^3*v19*v25^3+v23*v22*v21^2*v19*v25^3+2*v23^2*v21*v20*v19*v25^3-2*v22^2*v21*v20*v19*v25^3-2*v23*v21^2*v20*v19*v25^3-2*v21^3*v20*v19*v25^3-2*v23^2*v22*v19^2*v25^3-v22^3*v19^2*v25^3+2*v23*v22*v21*v19^2*v25^3+2*v22*v21^2*v19^2*v25^3-2*v23*v21*v20*v19^2*v25^3+2*v21^2*v20*v19^2*v25^3+2*v23*v22*v19^3*v25^3-2*v22*v21*v19^3*v25^3-v23*v22^2*v20*v25^4-v23*v21^2*v20*v25^4-v22*v21*v20^2*v25^4+v22^2*v20*v19*v25^4+v21^2*v20*v19*v25^4-v22*v21*v19^2*v25^4,v23^2*v21*v20^3-v23^2*v22*v20^2*v19+v23^2*v21*v20*v19^2-v23^2*v22*v19^3,v23*v22^4*v19^3*v25+2*v23*v22^2*v21^2*v19^3*v25+v23*v21^4*v19^3*v25-3*v23*v22^4*v19^2*v25^2-2*v23*v22^2*v21^2*v19^2*v25^2+v23*v21^4*v19^2*v25^2-4*v23*v22^2*v21*v19^3*v25^2-4*v23*v21^3*v19^3*v25^2+3*v23*v22^4*v19*v25^3+2*v23*v22^2*v21^2*v19*v25^3-v23*v21^4*v19*v25^3+4*v23*v22^2*v19^3*v25^3+4*v23*v21^2*v19^3*v25^3-v23*v22^4*v25^4-2*v23*v22^2*v21^2*v25^4-v23*v21^4*v25^4+4*v23*v22^2*v21*v19*v25^4+4*v23*v21^3*v19*v25^4-4*v23*v22^2*v19^2*v25^4-4*v23*v21^2*v19^2*v25^4,2*v23*v22^3*v21*v20*v19*v25+2*v23*v22*v21^3*v20*v19*v25-v23*v22^4*v19^2*v25+v23*v21^4*v19^2*v25-2*v23*v22^3*v21*v20*v25^2-2*v23*v22*v21^3*v20*v25^2+2*v23*v22^4*v19*v25^2+2*v23*v22^2*v21^2*v19*v25^2-2*v23*v22^3*v20*v19*v25^2-2*v23*v22*v21^2*v20*v19*v25^2-2*v23*v22^2*v21*v19^2*v25^2-2*v23*v21^3*v19^2*v25^2-v23*v22^4*v25^3-2*v23*v22^2*v21^2*v25^3-v23*v21^4*v25^3+2*v23*v22^3*v20*v25^3+2*v23*v22*v21^2*v20*v25^3+2*v23*v22^2*v21*v19*v25^3+2*v23*v21^3*v19*v25^3,v23*v22^3*v20*v19^2*v25+v23*v22*v21^2*v20*v19^2*v25+v23*v22^2*v21*v19^3*v25+v23*v21^3*v19^3*v25-2*v23*v22^3*v20*v19*v25^2-2*v23*v22*v21^2*v20*v19*v25^2-2*v23*v22^2*v19^3*v25^2-2*v23*v21^2*v19^3*v25^2+v23*v22^3*v20*v25^3+v23*v22*v21^2*v20*v25^3-v23*v22^2*v21*v19*v25^3-v23*v21^3*v19*v25^3+2*v23*v22^2*v19^2*v25^3+2*v23*v21^2*v19^2*v25^3,2*v23*v22^2*v21^2*v20^2-4*v23*v22^3*v21*v20*v19-4*v23^2*v22*v21^2*v20*v19-2*v22^2*v21^2*v20^2*v19+2*v23*v22^4*v19^2+4*v23^2*v22^2*v21*v19^2+3*v22^3*v21*v20*v19^2+4*v23*v22*v21^2*v20*v19^2-v22*v21^3*v20*v19^2-v22^4*v19^3-4*v23*v22^2*v21*v19^3+v22^2*v21^2*v19^3+4*v23*v22^3*v21*v20*v25+4*v23^2*v22*v21^2*v20*v25+2*v22^2*v21^2*v20^2*v25-4*v23*v22^4*v19*v25+4*v23^2*v21^3*v19*v25+4*v23*v22^3*v20*v19*v25-8*v23^2*v22*v21*v20*v19*v25-4*v22^3*v21*v20*v19*v25+8*v23*v22*v21^2*v20*v19*v25+2*v22^2*v21*v20^2*v19*v25+4*v21^3*v20^2*v19*v25+2*v22^4*v19^2*v25-4*v23*v22^2*v21*v19^2*v25-8*v23^2*v21^2*v19^2*v25-2*v22^3*v20*v19^2*v25+8*v23*v22*v21*v20*v19^2*v25-10*v22*v21^2*v20*v19^2*v25+6*v22^2*v21*v19^3*v25+8*v23*v21^2*v19^3*v25+2*v23*v22^4*v25^2-4*v23^2*v22^2*v21*v25^2+2*v23*v22^2*v21^2*v25^2-4*v23^2*v21^3*v25^2-4*v23*v22^3*v20*v25^2+8*v23^2*v22*v21*v20*v25^2+v22^3*v21*v20*v25^2-12*v23*v22*v21^2*v20*v25^2+v22*v21^3*v20*v25^2-2*v22^2*v21*v20^2*v25^2-4*v21^3*v20^2*v25^2-6*v23^2*v22^2*v19*v25^2-v22^4*v19*v25^2+8*v23*v22^2*v21*v19*v25^2+2*v23^2*v21^2*v19*v25^2-v22^2*v21^2*v19*v25^2+12*v23^2*v22*v20*v19*v25^2+2*v22^3*v20*v19*v25^2-20*v23*v22*v21*v20*v19*v25^2+10*v22*v21^2*v20*v19*v25^2-6*v21^2*v20^2*v19*v25^2+12*v23*v22^2*v19^2*v25^2+12*v23^2*v21*v19^2*v25^2-6*v22^2*v21*v19^2*v25^2-8*v23*v21^2*v19^2*v25^2-12*v23*v22*v20*v19^2*v25^2+12*v22*v21*v20*v19^2*v25^2-6*v22^2*v19^3*v25^2-12*v23*v21*v19^3*v25^2+6*v23^2*v22^2*v25^3+6*v23^2*v21^2*v25^3-12*v23^2*v22*v20*v25^3+12*v23*v22*v21*v20*v25^3+6*v21^2*v20^2*v25^3-12*v23*v22^2*v19*v25^3-12*v23^2*v21*v19*v25^3+12*v23*v22*v20*v19*v25^3-12*v22*v21*v20*v19*v25^3+6*v22^2*v19^2*v25^3+12*v23*v21*v19^2*v25^3,4*v23*v22^2*v21^2*v20*v19*v25+4*v23^2*v21^3*v20*v19*v25+2*v22*v21^3*v20^2*v19*v25-2*v23*v22^3*v21*v19^2*v25-4*v23^2*v22*v21^2*v19^2*v25+2*v23*v22*v21^3*v19^2*v25-3*v22^2*v21^2*v20*v19^2*v25-4*v23*v21^3*v20*v19^2*v25+v21^4*v20*v19^2*v25+v22^3*v21*v19^3*v25+4*v23*v22*v21^2*v19^3*v25-v22*v21^3*v19^3*v25-4*v23*v22^2*v21^2*v20*v25^2-4*v23^2*v21^3*v20*v25^2-2*v22*v21^3*v20^2*v25^2+4*v23*v22^3*v21*v19*v25^2+4*v23^2*v22*v21^2*v19*v25^2-8*v23*v22^2*v21*v20*v19*v25^2-4*v23^2*v21^2*v20*v19*v25^2+4*v22^2*v21^2*v20*v19*v25^2-4*v22*v21^2*v20^2*v19*v25^2+2*v23*v22^3*v19^2*v25^2+4*v23^2*v22*v21*v19^2*v25^2-2*v22^3*v21*v19^2*v25^2-6*v23*v22*v21^2*v19^2*v25^2+5*v22^2*v21*v20*v19^2*v25^2+4*v23*v21^2*v20*v19^2*v25^2+v21^3*v20*v19^2*v25^2-v22^3*v19^3*v25^2-4*v23*v22*v21*v19^3*v25^2-v22*v21^2*v19^3*v25^2-2*v23*v22^3*v21*v25^3-2*v23*v22*v21^3*v25^3+8*v23*v22^2*v21*v20*v25^3+4*v23^2*v21^2*v20*v25^3-v22^2*v21^2*v20*v25^3+4*v23*v21^3*v20*v25^3-v21^4*v20*v25^3+4*v22*v21^2*v20^2*v25^3-4*v23*v22^3*v19*v25^3-4*v23^2*v22*v21*v19*v25^3+v22^3*v21*v19*v25^3+v22*v21^3*v19*v25^3+4*v23*v22^2*v20*v19*v25^3-6*v22^2*v21*v20*v19*v25^3-2*v21^3*v20*v19*v25^3+2*v22*v21*v20^2*v19*v25^3+2*v22^3*v19^2*v25^3+4*v23*v22*v21*v19^2*v25^3+2*v22*v21^2*v19^2*v25^3-2*v22^2*v20*v19^2*v25^3-2*v21^2*v20*v19^2*v25^3+2*v22*v21*v19^3*v25^3+2*v23*v22^3*v25^4+2*v23*v22*v21^2*v25^4-4*v23*v22^2*v20*v25^4+v22^2*v21*v20*v25^4-4*v23*v21^2*v20*v25^4+v21^3*v20*v25^4-2*v22*v21*v20^2*v25^4-v22^3*v19*v25^4-v22*v21^2*v19*v25^4+2*v22^2*v20*v19*v25^4+2*v21^2*v20*v19*v25^4-2*v22*v21*v19^2*v25^4,v23*v22^2*v21*v20^2*v19-v23*v22^3*v20*v19^2-2*v23^2*v22*v21*v20*v19^2+v23*v22*v21^2*v20*v19^2+v21^3*v20^2*v19^2+2*v23^2*v22^2*v19^3-v23*v22^2*v21*v19^3+2*v23*v22*v21*v20*v19^3-2*v22*v21^2*v20*v19^3-2*v23*v22^2*v19^4+v22^2*v21*v19^4+2*v23*v22^3*v20*v19*v25+2*v23^2*v22*v21*v20*v19*v25+2*v23*v22^2*v21*v19^2*v25+2*v23^2*v21^2*v19^2*v25+2*v23^2*v22*v20*v19^2*v25-4*v23*v22*v21*v20*v19^2*v25+2*v22*v21^2*v20*v19^2*v25-3*v21^2*v20^2*v19^2*v25+v23*v22^2*v19^3*v25+2*v23^2*v21*v19^3*v25-2*v22^2*v21*v19^3*v25-3*v23*v21^2*v19^3*v25-2*v23*v22*v20*v19^3*v25+2*v22*v21*v20*v19^3*v25+v22^2*v19^4*v25-2*v23*v21*v19^4*v25-v23*v22^3*v20*v25^2-v23*v22*v21^2*v20*v25^2-v21^3*v20^2*v25^2-2*v23^2*v22^2*v19*v25^2-2*v23^2*v21^2*v19*v25^2-2*v23^2*v22*v20*v19*v25^2+2*v23*v22*v21*v20*v19*v25^2-2*v23*v22^2*v19^2*v25^2-2*v23^2*v21*v19^2*v25^2+v22^2*v21*v19^2*v25^2+2*v23*v22*v20*v19^2*v25^2-2*v22*v21*v20*v19^2*v25^2+2*v22^2*v19^3*v25^2+2*v23*v21*v19^3*v25^2+3*v21^2*v20^2*v25^3+3*v23*v22^2*v19*v25^3+3*v23*v21^2*v19*v25^3-3*v22^2*v19^2*v25^3,v23*v22^2*v21*v20*v19^2+v23*v21^3*v20*v19^2-v23*v22^3*v19^3-v23*v22*v21^2*v19^3+2*v23*v22^3*v19^2*v25+2*v23*v22*v21^2*v19^2*v25-2*v23*v22^2*v20*v19^2*v25-2*v23*v21^2*v20*v19^2*v25-v23*v22^2*v21*v20*v25^2-v23*v21^3*v20*v25^2-v23*v22^3*v19*v25^2-v23*v22*v21^2*v19*v25^2+2*v23*v22^2*v20*v19*v25^2+2*v23*v21^2*v20*v19*v25^2,2*v23*v22*v21^3*v20^2-4*v23*v22^2*v21^2*v20*v19-4*v23^2*v21^3*v20*v19-2*v22*v21^3*v20^2*v19+2*v23*v22^3*v21*v19^2+4*v23^2*v22*v21^2*v19^2+3*v22^2*v21^2*v20*v19^2+4*v23*v21^3*v20*v19^2-v21^4*v20*v19^2-v22^3*v21*v19^3-4*v23*v22*v21^2*v19^3+v22*v21^3*v19^3+4*v23*v22^2*v21^2*v20*v25+4*v23^2*v21^3*v20*v25+2*v22*v21^3*v20^2*v25-4*v23*v22^3*v21*v19*v25-4*v23^2*v22*v21^2*v19*v25+8*v23*v22^2*v21*v20*v19*v25+4*v23^2*v21^2*v20*v19*v25-4*v22^2*v21^2*v20*v19*v25+4*v22*v21^2*v20^2*v19*v25-2*v23*v22^3*v19^2*v25-4*v23^2*v22*v21*v19^2*v25+2*v22^3*v21*v19^2*v25+6*v23*v22*v21^2*v19^2*v25-5*v22^2*v21*v20*v19^2*v25-4*v23*v21^2*v20*v19^2*v25-v21^3*v20*v19^2*v25+v22^3*v19^3*v25+4*v23*v22*v21*v19^3*v25+v22*v21^2*v19^3*v25+2*v23*v22^3*v21*v25^2+2*v23*v22*v21^3*v25^2-8*v23*v22^2*v21*v20*v25^2-4*v23^2*v21^2*v20*v25^2+v22^2*v21^2*v20*v25^2-4*v23*v21^3*v20*v25^2+v21^4*v20*v25^2-4*v22*v21^2*v20^2*v25^2+4*v23*v22^3*v19*v25^2+4*v23^2*v22*v21*v19*v25^2-v22^3*v21*v19*v25^2-v22*v21^3*v19*v25^2-4*v23*v22^2*v20*v19*v25^2+6*v22^2*v21*v20*v19*v25^2+2*v21^3*v20*v19*v25^2-2*v22*v21*v20^2*v19*v25^2-2*v22^3*v19^2*v25^2-4*v23*v22*v21*v19^2*v25^2-2*v22*v21^2*v19^2*v25^2+2*v22^2*v20*v19^2*v25^2+2*v21^2*v20*v19^2*v25^2-2*v22*v21*v19^3*v25^2-2*v23*v22^3*v25^3-2*v23*v22*v21^2*v25^3+4*v23*v22^2*v20*v25^3-v22^2*v21*v20*v25^3+4*v23*v21^2*v20*v25^3-v21^3*v20*v25^3+2*v22*v21*v20^2*v25^3+v22^3*v19*v25^3+v22*v21^2*v19*v25^3-2*v22^2*v20*v19*v25^3-2*v21^2*v20*v19*v25^3+2*v22*v21*v19^2*v25^3,v23*v22*v21^2*v20^2*v19-2*v23^2*v21^2*v20*v19^2+2*v23*v21^3*v20*v19^2-v22*v21^2*v20^2*v19^2-v23*v22^3*v19^3+2*v23^2*v22*v21*v19^3-2*v23*v22*v21^2*v19^3+2*v23*v21^2*v20*v19^3-2*v21^3*v20*v19^3+v22^3*v19^4-2*v23*v22*v21*v19^4+2*v22*v21^2*v19^4+2*v23*v22^2*v21*v20*v19*v25+2*v23^2*v21^2*v20*v19*v25+4*v22*v21^2*v20^2*v19*v25+2*v23*v22^3*v19^2*v25-2*v23^2*v22*v21*v19^2*v25+4*v23*v22*v21^2*v19^2*v25-v23*v22^2*v20*v19^2*v25+2*v23^2*v21*v20*v19^2*v25-2*v22^2*v21*v20*v19^2*v25-5*v23*v21^2*v20*v19^2*v25-v22*v21*v20^2*v19^2*v25-2*v23^2*v22*v19^3*v25-2*v22^3*v19^3*v25+4*v23*v22*v21*v19^3*v25+v22^2*v20*v19^3*v25-2*v23*v21*v20*v19^3*v25+3*v21^2*v20*v19^3*v25+2*v23*v22*v19^4*v25-3*v22*v21*v19^4*v25-2*v23*v22^2*v21*v20*v25^2-2*v23*v21^3*v20*v25^2-3*v22*v21^2*v20^2*v25^2-v23*v22^3*v19*v25^2-v23*v22*v21^2*v19*v25^2-2*v23^2*v21*v20*v19*v25^2+2*v22^2*v21*v20*v19*v25^2+2*v23*v21^2*v20*v19*v25^2+2*v21^3*v20*v19*v25^2+2*v23^2*v22*v19^2*v25^2+v22^3*v19^2*v25^2-2*v23*v22*v21*v19^2*v25^2-2*v22*v21^2*v19^2*v25^2+2*v23*v21*v20*v19^2*v25^2-2*v21^2*v20*v19^2*v25^2-2*v23*v22*v19^3*v25^2+2*v22*v21*v19^3*v25^2+v23*v22^2*v20*v25^3+v23*v21^2*v20*v25^3+v22*v21*v20^2*v25^3-v22^2*v20*v19*v25^3-v21^2*v20*v19*v25^3+v22*v21*v19^2*v25^3,v23*v22*v21*v20^3-v23*v22^2*v20^2*v19+v23*v22*v21*v20*v19^2-v23*v22^2*v19^3,v23*v22*v20^2*v25+v23*v22*v19^2*v25,2*v23*v21^4*v20^2+4*v23^2*v22*v21^2*v20*v19-4*v23*v22*v21^3*v20*v19+2*v22^2*v21^2*v20^2*v19-4*v23^2*v22^2*v21*v19^2+2*v23*v22^2*v21^2*v19^2-3*v22^3*v21*v20*v19^2-4*v23*v22*v21^2*v20*v19^2+v22*v21^3*v20*v19^2+v22^4*v19^3+4*v23*v22^2*v21*v19^3-v22^2*v21^2*v19^3-4*v23^2*v22*v21^2*v20*v25+4*v23*v22*v21^3*v20*v25-2*v22^2*v21^2*v20^2*v25-4*v23*v22^2*v21^2*v19*v25-4*v23^2*v21^3*v19*v25+8*v23^2*v22*v21*v20*v19*v25+4*v22^3*v21*v20*v19*v25-4*v23*v22*v21^2*v20*v19*v25-2*v22^2*v21*v20^2*v19*v25-4*v21^3*v20^2*v19*v25-2*v22^4*v19^2*v25+8*v23*v22^2*v21*v19^2*v25+8*v23^2*v21^2*v19^2*v25+4*v23*v21^3*v19^2*v25+2*v22^3*v20*v19^2*v25-8*v23*v22*v21*v20*v19^2*v25+10*v22*v21^2*v20*v19^2*v25-6*v22^2*v21*v19^3*v25-8*v23*v21^2*v19^3*v25+4*v23^2*v22^2*v21*v25^2+2*v23*v22^2*v21^2*v25^2+4*v23^2*v21^3*v25^2+2*v23*v21^4*v25^2-8*v23^2*v22*v21*v20*v25^2-v22^3*v21*v20*v25^2+8*v23*v22*v21^2*v20*v25^2-v22*v21^3*v20*v25^2+2*v22^2*v21*v20^2*v25^2+4*v21^3*v20^2*v25^2+6*v23^2*v22^2*v19*v25^2+v22^4*v19*v25^2-12*v23*v22^2*v21*v19*v25^2-2*v23^2*v21^2*v19*v25^2+v22^2*v21^2*v19*v25^2-4*v23*v21^3*v19*v25^2-12*v23^2*v22*v20*v19*v25^2-2*v22^3*v20*v19*v25^2+20*v23*v22*v21*v20*v19*v25^2-10*v22*v21^2*v20*v19*v25^2+6*v21^2*v20^2*v19*v25^2-12*v23*v22^2*v19^2*v25^2-12*v23^2*v21*v19^2*v25^2+6*v22^2*v21*v19^2*v25^2+8*v23*v21^2*v19^2*v25^2+12*v23*v22*v20*v19^2*v25^2-12*v22*v21*v20*v19^2*v25^2+6*v22^2*v19^3*v25^2+12*v23*v21*v19^3*v25^2-6*v23^2*v22^2*v25^3-6*v23^2*v21^2*v25^3+12*v23^2*v22*v20*v25^3-12*v23*v22*v21*v20*v25^3-6*v21^2*v20^2*v25^3+12*v23*v22^2*v19*v25^3+12*v23^2*v21*v19*v25^3-12*v23*v22*v20*v19*v25^3+12*v22*v21*v20*v19*v25^3-6*v22^2*v19^2*v25^3-12*v23*v21*v19^2*v25^3,v23*v21^3*v20^2*v19+2*v23^2*v22*v21*v20*v19^2-2*v23*v22*v21^2*v20*v19^2-v21^3*v20^2*v19^2-2*v23^2*v22^2*v19^3+v23*v22^2*v21*v19^3-2*v23*v22*v21*v20*v19^3+2*v22*v21^2*v20*v19^3+2*v23*v22^2*v19^4-v22^2*v21*v19^4-2*v23^2*v22*v21*v20*v19*v25+2*v23*v22*v21^2*v20*v19*v25-2*v23*v22^2*v21*v19^2*v25-2*v23^2*v21^2*v19^2*v25-2*v23^2*v22*v20*v19^2*v25+4*v23*v22*v21*v20*v19^2*v25-2*v22*v21^2*v20*v19^2*v25+3*v21^2*v20^2*v19^2*v25+v23*v22^2*v19^3*v25-2*v23^2*v21*v19^3*v25+2*v22^2*v21*v19^3*v25+5*v23*v21^2*v19^3*v25+2*v23*v22*v20*v19^3*v25-2*v22*v21*v20*v19^3*v25-v22^2*v19^4*v25+2*v23*v21*v19^4*v25+v21^3*v20^2*v25^2+2*v23^2*v22^2*v19*v25^2+v23*v22^2*v21*v19*v25^2+2*v23^2*v21^2*v19*v25^2+v23*v21^3*v19*v25^2+2*v23^2*v22*v20*v19*v25^2-2*v23*v22*v21*v20*v19*v25^2+2*v23^2*v21*v19^2*v25^2-v22^2*v21*v19^2*v25^2-2*v23*v21^2*v19^2*v25^2-2*v23*v22*v20*v19^2*v25^2+2*v22*v21*v20*v19^2*v25^2-2*v22^2*v19^3*v25^2-2*v23*v21*v19^3*v25^2-3*v21^2*v20^2*v25^3-3*v23*v22^2*v19*v25^3-3*v23*v21^2*v19*v25^3+3*v22^2*v19^2*v25^3,v23*v21^2*v20^3-v23*v22*v21*v20^2*v19+v23*v21^2*v20*v19^2-v23*v22*v21*v19^3,v23*v21*v20^4-v23*v22*v20^3*v19+v23*v21*v20^2*v19^2-v23*v22*v20*v19^3,v23*v21*v20^3*v19-v23*v22*v20^2*v19^2+v23*v21*v20*v19^3-v23*v22*v19^4,v23*v21*v20^2*v25+v23*v21*v19^2*v25,2*v22^3*v21^2*v20^2*v19+2*v22*v21^4*v20^2*v19-3*v22^4*v21*v20*v19^2-2*v22^2*v21^3*v20*v19^2+v21^5*v20*v19^2+v22^5*v19^3-v22*v21^4*v19^3-2*v22^3*v21^2*v20^2*v25-2*v22*v21^4*v20^2*v25+4*v22^4*v21*v20*v19*v25+4*v22^2*v21^3*v20*v19*v25-2*v22^3*v21*v20^2*v19*v25-2*v22*v21^3*v20^2*v19*v25-2*v22^5*v19^2*v25-2*v22^3*v21^2*v19^2*v25+2*v22^4*v20*v19^2*v25-2*v21^4*v20*v19^2*v25+2*v22^3*v21*v19^3*v25+2*v22*v21^3*v19^3*v25-v22^4*v21*v20*v25^2-2*v22^2*v21^3*v20*v25^2-v21^5*v20*v25^2+2*v22^3*v21*v20^2*v25^2+2*v22*v21^3*v20^2*v25^2+v22^5*v19*v25^2+2*v22^3*v21^2*v19*v25^2+v22*v21^4*v19*v25^2-2*v22^4*v20*v19*v25^2+2*v21^4*v20*v19*v25^2-2*v22^3*v21*v19^2*v25^2-2*v22*v21^3*v19^2*v25^2,v22^2*v21*v20^3-v22^3*v20^2*v19+v22^2*v21*v20*v19^2-v22^3*v19^3,v22^2*v21*v20^2*v19^2+v21^3*v20^2*v19^2-v22^3*v20*v19^3-v22*v21^2*v20*v19^3-2*v22^2*v21*v20^2*v19*v25+2*v22^3*v20*v19^2*v25+2*v22*v21^2*v20*v19^2*v25-2*v21^2*v20^2*v19^2*v25-2*v22^2*v21*v19^3*v25+2*v22^2*v19^4*v25+v22^2*v21*v20^2*v25^2-v21^3*v20^2*v25^2-v22^3*v20*v19*v25^2-v22*v21^2*v20*v19*v25^2+2*v21^2*v20^2*v19*v25^2+2*v22^2*v21*v19^2*v25^2-2*v22^2*v19^3*v25^2,v22^2*v21*v20*v19^3+v21^3*v20*v19^3-v22^3*v19^4-v22*v21^2*v19^4-2*v22*v21^2*v20^2*v19*v25+2*v22*v21*v20^2*v19^2*v25+2*v22^3*v19^3*v25-2*v22^2*v20*v19^3*v25-2*v21^2*v20*v19^3*v25+2*v22*v21*v19^4*v25+2*v22*v21^2*v20^2*v25^2-v22^2*v21*v20*v19*v25^2-v21^3*v20*v19*v25^2-2*v22*v21*v20^2*v19*v25^2-v22^3*v19^2*v25^2+v22*v21^2*v19^2*v25^2+2*v22^2*v20*v19^2*v25^2+2*v21^2*v20*v19^2*v25^2-2*v22*v21*v19^3*v25^2,v22*v21^2*v20^3-v22^2*v21*v20^2*v19+v22*v21^2*v20*v19^2-v22^2*v21*v19^3,v22*v21*v20^4-v22^2*v20^3*v19+v22*v21*v20^2*v19^2-v22^2*v20*v19^3,v22*v21*v20^3*v19-v22^2*v20^2*v19^2+v22*v21*v20*v19^3-v22^2*v19^4,v22*v21*v20^3*v25-v22^2*v20^2*v19*v25+v22*v21*v20*v19^2*v25-v22^2*v19^3*v25,v21^3*v20^3-v22*v21^2*v20^2*v19+v21^3*v20*v19^2-v22*v21^2*v19^3,v21^2*v20^4-v22^2*v20^2*v19^2+v21^2*v20^2*v19^2-v22^2*v19^4,v21^2*v20^3*v19-v22*v21*v20^2*v19^2+v21^2*v20*v19^3-v22*v21*v19^4,v21^2*v20^3*v25-v22*v21*v20^2*v19*v25+v21^2*v20*v19^2*v25-v22*v21*v19^3*v25,v21*v20^6-v22*v20^5*v19+2*v21*v20^4*v19^2-2*v22*v20^3*v19^3+v21*v20^2*v19^4-v22*v20*v19^5,v21*v20^5*v19-v22*v20^4*v19^2+2*v21*v20^3*v19^3-2*v22*v20^2*v19^4+v21*v20*v19^5-v22*v19^6,v21*v20^4*v25-v22*v20^3*v19*v25+v21*v20^2*v19^2*v25-v22*v20*v19^3*v25,v21*v20^3*v19*v25-v22*v20^2*v19^2*v25+v21*v20*v19^3*v25-v22*v19^4*v25,v21*v20^3*v25^2-v22*v20^2*v19*v25^2+v21*v20*v19^2*v25^2-v22*v19^3*v25^2]
