r158	circumcircle, point X(858), inverse points
r728	complement, point X(468), Gob point, ninecircle, orthocentroidal circle, inverse points
r1146	circumcircle, De Longchamps line
r1393	isogonal points