Direct product of SmallGroup(16,13) and Z2

Definition
This group is defined as the defining ingredient::external direct product of the defining ingredient::central product of D8 and Z4 (which is SmallGroup(16,13)) and defining ingredient::cyclic group:Z2.