1355

Prove the green lines are perpendicular iff the red points are concyclic.