// ceva4 29.2s, 19.8s, 16.9s, 15.7s, 13.92s, 12.11s, 10.76s, 9.2s, 8.88s
//[v7*v6-v8*v5,v7*v4-v8*v3,v5*v4-v6*v3]
l:=[-1*v9*v8+v10*v7,-1*v9*v6+v10*v5+v9*v4+-1*v5*v4+-1*v10*v3+v6*v3,-1*v11*v8+v12*v7+v11*v4+-1*v7*v4+-1*v12*v3+v8*v3,v11*v6+-1*v12*v5,-1*v13*v4+v14*v3,-1*v13*v8+v14*v7+v13*v6+-1*v7*v6+-1*v14*v5+v8*v5,v26^2+-1*v12^2+-1*v11^2,v27^2+-1*v12^2+-1*v11^2+2*v12*v6+-1*v6^2+2*v11*v5+-1*v5^2,v28^2+-1*v14^2+-1*v13^2+2*v14*v4+-1*v4^2+2*v13*v3+-1*v3^2,v29^2+-1*v14^2+-1*v13^2,v30^2+-1*v10^2+-1*v9^2+2*v10*v6+-1*v6^2+2*v9*v5+-1*v5^2,v31^2+-1*v10^2+-1*v9^2+2*v10*v4+-1*v4^2+2*v9*v3+-1*v3^2,-1+-1*v32*v31^2*v29^2*v27^2+v32*v30^2*v28^2*v26^2];
v:=[v30,v31,v28,v29,v26,v27,v14,v13,v12,v11,v10,v9,v32];
eliminate(l,v)