# Group 22674816.mj downloaded from the LMFDB on 19 July 2026. 
 
## 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 
GPC := PcGroupCode(204753924464296186969946519059962375052652655475942633568214243427490136073407930074016560457401090758537159028231590404130482766329098938130388729837530391094828875584511118200227703157844612941215182329908480334752322883765913875948411016494417544765931299291642024743845676310532080892374929434764549838331695343823269578187068826408567792155284713829628961499749037323627366548038341873190493293365599438982450894799256332546048845508911613530946071784879863941886876707819948508685463361930474072589461315775216445223007363038598937475536066547926401390585134985878227548532034793956994513598410894989156133140369601191232459037995320970281916461416661527939855296155230678890617507301750322135724738672420720413495878018377795647746822981001316894306571013552751651583865453982375687948007991113346077794474868874988118590632861002409256968891022415042539068708390634273870401527472460447232081372665331661649351332922367,22674816); a := GPC.1; b := GPC.3; c := GPC.5; d := GPC.7; e := GPC.8; f := GPC.10; g := GPC.12; h := GPC.13; i := GPC.15; j := GPC.16; k := GPC.17; l := GPC.18;
GPerm := Group( (1,2)(4,35,16,24,29,12,6,36,18,22,28,10,5,34,17,23,30,11)(7,9,8)(13,27,15,25,14,26)(19,20,21), (1,29,9,12,27,18,32,24,14,5,21,35,3,30,7,11,26,16,33,23,13,6,19,34,2,28,8,10,25,17,31,22,15,4,20,36), (1,12,27,23,13,35,3,11,26,22,15,34,2,10,25,24,14,36)(4,9,18,20,29,33,6,8,17,19,28,32,5,7,16,21,30,31) );

 
# Booleans 
booleans_22674816_mj := rec( 
Agroup := false,
Zgroup := false,
abelian := false,
almost_simple := false,
cyclic := false,
metabelian := false,
metacyclic := false,
nilpotent := false,
perfect := false,
quasisimple := false,
rational := false,
solvable := true,
supersolvable := false);