r158
The point X(858) is the inverse of the Exeter point in the circumcircle.