r293	Brocard line
r596	Euler line, incenter, point X(79), Feuerbach hyperbola
r1087	excenters, circumcenter, cevian triangle, concyclic points