Direct product of SmallGroup(32,2) and Z2

Definition
This group is defined as the external direct product of defining ingredient::SmallGroup(32,2) and defining ingredient::cyclic group:Z2.