1065

Blue lines are angle bisectors. Prove the red points are concyclic.