Direct product of SmallGroup(16,3) and Z4

Definition
This group is defined as the external direct product of defining ingredient::SmallGroup(16,3) and defining ingredient::cyclic group:Z4.