# Group 3.1 downloaded from the LMFDB on 21 May 2024. # If the group is solvable, G is the polycyclic group matching the one presented in LMFDB.# Generators will be stored as a, b, c,... to match LMFDB. # If the group is nonsolvable, G is a permutation group giving with generators as in LMFDB.# gpsize:= 3; encd:= 0; G:=PcGroupCode(encd, gpsize); a:= G.1;