Example: GMR bound to 4YVX