cup8;7Xsetaf1Xsetab4Xsmul R   cup8;9Xrmulop