H57.051: Tonic pupil, right eye