// perpendicular-to-altitudes-feetpoint-equidistant-ex186.ggb 12s., 8.9s, 7.4s, 6.9s, 5.98s, 5.52s, 4.9s, 4.32s
// [v31^3*v33-2*v31^2*v33^2+v31*v33^3-v31^2*v32^2+v31*v33*v32^2+v31^2*v32*v30-2*v31*v33*v32*v30+v33^2*v32*v30+v32^3*v30+v31*v33*v30^2-v33^2*v30^2-2*v32^2*v30^2+v32*v30^3]
aa:=eliminate([-1*v35+v33+v30,-1*v34+v32+-1*v31,v36*v35+-1*v37*v34+-1*v36*v33+v34*v33+v37*v32+-1*v35*v32,-1*v36*v31+v37*v30,-1*v39+-1*v32+v31,-1*v38+v33+v30,-1*v41+v32+-1*v30,-1*v40+-1*v33+v31,v42*v41+-1*v43*v40,-1*v42*v33+v43*v32+v42*v31+-1*v32*v31+-1*v43*v30+v33*v30,v44*v39+-1*v45*v38+-1*v44*v31+v38*v31+v45*v30+-1*v39*v30,v44*v33+-1*v45*v32,-1*v47+-1*v44+v42+v33,-1*v46+v45+-1*v43+v32,v48*v47+-1*v49*v46+-1*v48*v33+v46*v33+v49*v32+-1*v47*v32,v48*v45+-1*v49*v44+-1*v48*v43+v44*v43+v49*v42+-1*v45*v42,-1*v51+v42+-1*v36+v31,-1*v50+-1*v43+v37+v30,v52*v51+-1*v53*v50+-1*v52*v31+v50*v31+v53*v30+-1*v51*v30,-1*v52*v43+v53*v42+v52*v37+-1*v42*v37+-1*v53*v36+v43*v36,-1+v56*v53^2+v56*v52^2+-1*v56*v49^2+-1*v56*v48^2+2*v56*v49*v45+-1*v56*v45^2+2*v56*v48*v44+-1*v56*v44^2+-2*v56*v53*v37+v56*v37^2+-2*v56*v52*v36+v56*v36^2],revlist([v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50,v51,v52,v53,v56]))