cup9;76Xsetaf1Xsetab4Xsmul  T  cup9;79Xrmulop