# Group 229597439051324561817600.a downloaded from the LMFDB on 30 September 2025. ## Various presentations of this group are stored in this file: # GPC is polycyclic presentation GPerm is permutation group # GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups # Many characteristics of the group are stored as booleans in a record: # Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, # metacyclic, monomial, nilpotent, perfect, quasisimple, rational, # solvable, supersolvable # Constructions GLFq := Group([[[Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^2, 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^1]],[[Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4)], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0], [0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4), Z(4)^0, 0*Z(4), 0*Z(4), 0*Z(4), 0*Z(4)]]]); # Booleans booleans_229597439051324561817600_a := rec( Agroup := false, Zgroup := false, abelian := false, almost_simple := true, cyclic := false, metabelian := false, metacyclic := false, monomial := false, nilpotent := false, perfect := true, quasisimple := true, solvable := false, supersolvable := false);