Direct product of SmallGroup(32,13) and Z2

Definition
This group is defined as an external direct product of the following two schools: defining ingredient::semidirect product of Z8 and Z4 of semidihedral type (GAP ID: (32,13)) and defining ingredient::cyclic group:Z2.