Direct product of SmallGroup(16,4) and Z2

Definition
This group is defined as the external direct product of SmallGroup(16,4) and the cyclic group of order two.