A product of theMurphgroup.