Direct product of SmallGroup(32,12) and Z2

Definition
This group is defined as the external direct product of the following two groups: defining ingredient::nontrivial semidirect product of Z4 and Z8 and defining ingredient::cyclic group:Z2.