#= Group 246480.a downloaded from the LMFDB on 21 September 2026. =#
 
#= Various presentations of this group are stored in this file: 
	 GPC is polycyclic presentation, GPerm is permutation group 
	 GLZ, GLFp, GLZN, GLZq, GLFq if they exist are matrix groups 
 
 Many characteristics of the group are stored as booleans in a NamedTuple: 
	 Agroup, Zgroup, abelian, almost_simple, cyclic, metabelian, 
	 metacyclic, monomial, nilpotent, perfect, quasisimple, rational, 
	 solvable, supersolvable 
 
=#
 
#= Constructions =#
GPerm = @permutation_group(80, (3,37,42,11,66,25,13,10,34,28,5,40,53,24,16,52,60,62,9,19,12,79,32,33,54,44,61,77,26,35,8,7,69,15,47,65,56,20,45)(4,71,64,74,21,23,31,67,59,30,43,78,55,49,73,70,58,17,72,41,46,80,38,63,27,18,36,68,14,76,75,48,57,6,22,39,29,50,51), (1,80,2)(3,37,62)(4,8,48)(5,56,40)(6,52,49)(7,72,55)(9,70,14)(10,75,27)(11,17,64)(12,73,68)(15,57,39)(16,28,47)(18,65,71)(19,63,41)(20,45,79)(21,31,53)(22,23,32)(24,38,36)(25,67,43)(26,77,42)(29,51,61)(30,76,33)(34,74,78)(35,54,66)(44,58,46)(50,59,60))

 
#= Booleans =#
booleans_246480_a = (
    Agroup = false,
    Zgroup = false,
    abelian = false,
    almost_simple = true,
    cyclic = false,
    metabelian = false,
    metacyclic = false,
    monomial = false,
    nilpotent = false,
    perfect = true,
    quasisimple = true,
    rational = false,
    solvable = false,
    supersolvable = false,
)