134

The blue curves are circular arcs. Prove the red points are concyclic.