|
[
[
"Version 01-May-2025, 05:45:39 UTC. ",
"This file contains a list of length two, ",
"this description at pos. 1 ",
"and at pos. 2 the lexicographically sorted list of those ",
"lists [<id>, <nam1>, <nam2>, ...] where <id> is an identifier ",
"of an ordinary table in GAP's CTblLib package ",
"for which <nam1>, <nam2>, ... are other admissible names, ",
"normalized to lower case."
],
[
["(11:5xD12).2","2.co1n11"],
["(11:5xM12):2","mn11a"],
["(13:6xA4).2","co1n13"],
["(13:6xL3(3)).2","mm35","mn13a"],
["(2.A4x3).2","2.a7m5"],
["(2.A5x3).2","2.a8m6"],
["(2.A5xD10).2","2.j2.2m7"],
["(2.A6x3).2_1","2.a9m3"],
["(2.A6xU3(3)).2","2.co1m14"],
["(2.A7x3).2","2.a10m3"],
["(2.A7xL2(7)).2","2.co1m17"],
["(2.A8x3).2","2.a11m3","3.mcl.2m7"],
["(2.A9x3).2","2.a12m3"],
["(2^(1+8)x2^6):S6(2)","f4(2)c2a","f4(2)m1","f4(2)n2a"],
["(2^2x11:5).2","fi23n11"],
["(2^2x13:4):3","run13"],
["(2^2x2^(1+8)).(3xU4(2)).2","fi23c2c","fi23m10","fi23n2c"],
["(2^2x3).(3^(1+4).[2^7.3])","(2^2x3).u6(2)m15"],
["(2^2x3).2","2.a5.2m4"],
["(2^2x3).U6(2)","6.fi22m1"],
["(2^2x3).U6(2).2","6.fi22.2m2"],
["(2^2x3^4).2^3.S4","2^2.o8+(2)m14"],
["(2^2xA5):2","m12.2c2a","m12.2m4","m12.2n2a","s4(5)c2b","s4(5)m7","s4(5)n2b"],
["(2^2xD14):3","r(27)m5","r(27)n7","run7"],
["(2^2xF4(2)):2","bm6"],
["(2^2xSz(8)):3","rum3"],
["(2^2xU4(2)):2","o7(3)m12"],
["(2^4:S5x3).2","3.m22.2m4"],
["(2x13).6","2.g2(4)n13","2.l2(13)m1","2.suzn13"],
["(2x17).8","2.l2(17)m1"],
["(2x2.(A5xA5)):2^2","2^2.o8+(2)m15"],
["(2x29).14","2.l2(29)m1","2.run29"],
["(2x2^(1+6)_+).A8","2^2.o8+(2)m4"],
["(2x2^(1+8)):(U4(2):2x2)","fi22.2c2b","fi22.2m6","fi22.2n2b"],
["(2x2^(1+8)):U4(2):2","fi22c2b","fi22m7","fi22n2b"],
["(2x2^(1+8)_+).O8+(2)","2.co1m5"],
["(2x3.A6).2","2.j2m2"],
["(2x3^(1+2)_+:8):2","2.run3","6.l3(4).2_2m6","6.l3(4).2_2n3","j4n3"],
["(2x3^3).S4","2.a9m7"],
["(2x3^3).S4`","2.u4(2)m4"],
["(2x3^4:2^3).S4","2.o8+(2)m14"],
["(2x3^5).U4(2).2","2.o7(3)m2"],
["(2x5^2).12","2.l2(25)m1"],
["(2xA6).2^2","2.m22.2m6"],
["(2xA6).2_3","2.m22m7"],
["(2xA6.2^2).2","hs.2m8"],
["(2xL3(2)).2","2.j2m7"],
["(2xL3(3)).2","2.suzm14","2.suzm15"],
["(2xO8+(3)).S4","2.bm12"],
["(3.A6.2_2xA5):2","3.suz.2m13"],
["(3.A6x2.A5).2","6.suzm12"],
["(3.A6xA5):2","3.suzm12"],
["(3^(1+2)+x3^2):2S4","g2(3)m3","g2(3)n3a"],
["(3^(1+2):2^2xG2(3)):2","3.f3+.2m16","ndg(m,3^(1+2))"],
["(3^(1+2):4x2.A6).2","6.suzm13"],
["(3^(1+2):4xA6).2","3.suzm13"],
["(3^(1+2):4xD10).2","3.onn5"],
["(3^(1+2):8x2.A6).2","6.suz.2m14"],
["(3^(1+2):8xA6).2","3.suz.2m14"],
["(3^2:2x13:6).2","f3+n13"],
["(3^2:2xG2(3)).2","f3+m17"],
["(3^2:2xO8+(3)).S4","mm13"],
["(3^2:4x2.A6).2","2.suzm13"],
["(3^2:4xA6).2^2","on.2m4"],
["(3^2:4xD10).2","onn5"],
["(3^2:4xa6).2","suzm13"],
["(3^2:8xA6).2","suz.2m14"],
["(3^2:D8xD10).2","on.2n5"],
["(3^2:D8xU4(3).2^2).2","bm14"],
["(3^2x2).U4(3).D8","2.co1m10"],
["(3x13:6).2","thn13"],
["(3x2.D10).2","2.a8n5"],
["(3x2.U4(2)):2","2.o8+(2)m11"],
["(3x2S5).2","u3(5).3.2m4"],
["(3x2^(1+6)_-.U4(2)).2","3.suz.2c2a","3.suz.2m5"],
["(3x2^(2+8):(A5xS3)).2","3.suz.2m10"],
["(3x2^(4+6):3A6).2","3.suz.2m8"],
["(3xA6).2_1","a9m3"],
["(3xD10).2","a8n5","m23n5"],
["(3xG2(3)):2","thm5"],
["(3xG2(4)).2","3.suz.2m2"],
["(3xL2(16):2).2","3.j3.2m2"],
["(3xL2(25)).2_2","3.suz.2m15"],
["(3xL3(4).2_2).2","3.mcl.2m6"],
["(3xM10):2","j3.2m5"],
["(3xMcLN2).2","ndg(ly,[2^7])"],
["(3xO8+(2)):2","o10-(2)m4"],
["(3xO8+(3):3):2","(3xo8+(3).3):2","f3+m3","f3+n3a"],
["(3xO8-(2)):2","o10+(2)m5"],
["(3xU4(2)):2","o8+(2)m10"],
["(3xU5(2)).2","3.suz.2m4"],
["(4^2x2)(2xS4)","u4(3).(2^2)_{133}m13"],
["(4^2x2)S4","u4(3).2_3m11"],
["(4^2x3):S3","u3(11)m9"],
["(4xA6).2_3","4.m22m7"],
["(4xA6):2","l4(3)m6"],
["(5^2:4S4x2.A5):2","2.bm23"],
["(5^2:[2^4]xU3(5)).S3","mm25"],
["(7:3x3):2","g2(4)n7","u3(5).3.2m7"],
["(7:3x3):4","2.g2(4)n7"],
["(7:3xA5):2","hnn7"],
["(7:3xHe):2","mm17"],
["(7:3xL2(7)):2","3d4(2).3m6","f4(2)n7a","thn7a"],
["(7^2:(3x2A4)xL2(7)).2","mm34"],
["(7xL2(7)):2","3d4(2)m5"],
["(7xL2(8)).3","l6(2)m9"],
["(9x3).S3","u3(8)m6"],
["(A10x3):2","a13m3"],
["(A4x11:5).2","f3+n11"],
["(A4x2(A4xA4).2).2","o7(3)m15"],
["(A4x3):2","a7m5","l3(7)m6"],
["(A4x3.L3(4)).2","3.suzm8"],
["(A4x3.L3(4).2_3).2","3.suz.2m9"],
["(A4x7:3):2","suzn7"],
["(A4xA5):2","a9m6","j2.2m6"],
["(A4xD10).2","m24n5"],
["(A4xG2(4)):2","co1m7"],
["(A4xL3(4):2_3):2","suz.2m9"],
["(A4xO8+(2).3).2","(a4xo8+(2):3):2","f3+m12"],
["(A4xU4(2)):2","o8+(3)m18"],
["(A5x3):2","a8m6"],
["(A5xA12):2","mm18"],
["(A5xA5).(2x4)","2.o8+(2)m15"],
["(A5xA5):2","g2(4).2m8"],
["(A5xA5):2^2","o8+(2)m15","s4(4).2m6"],
["(A5xA5):4","a10m4"],
["(A5xA9):2","(a5xa9).2","a14m6","f3+m18"],
["(A5xD10).2","j2.2m7","o8+(2)n5a","suzn5b"],
["(A5xJ2):2","co1m12"],
["(A5xU3(8):3):2","mm21"],
["(A5xU4(2)):2","o10+(2)m8"],
["(A6:2_2xA5).2","suz.2m13"],
["(A6x2.A5).2","2.suzm12"],
["(A6xA4).2","a10m5"],
["(A6xA5):2","a11m5"],
["(A6xA6).D8","hnm8"],
["(A6xA6):2^2","a12m4","o8+(3)m24"],
["(A6xA6xA6).(2xS4)","mm20"],
["(A6xU3(3)):2","co1m14"],
["(A7x(A5xA5):2^2):2","mm27"],
["(A7x3).2","a10m3"],
["(A7xA4):2","a11m4"],
["(A7xA5):2","a12m6"],
["(A7xA6):2","a13m6"],
["(A7xL2(7)):2","(a7xl3(2)):2","co1m17"],
["(A8x3).2","a11m3","o8-(2)m5"],
["(A8xA4):2","a12m5"],
["(A8xA5):2","a13m5"],
["(A9x3):2","a12m3"],
["(A9xA4):2","a13m4"],
["(D10x(A5xA5).2).2","co1m18"],
["(D10x2.(A5xA5).2).2","2.co1m18"],
["(D10x2^3.L3(2)).2","j4n5"],
["(D10xA5).2","o8+(2)n5b"],
["(D10xA6).2","suzn5a"],
["(D10xD10).2^2","o8+(2)n5"],
["(D10xHN).2","mm12","mn5a"],
["(D10xU3(5)).2","hnm5","hnn5a"],
["(GL(2,3)x2F4(2)').2","2.bm16"],
["(L2(11)x3).2","3.m22.2m7"],
["(L2(11)xL2(11)):4","mm32"],
["(L2(11)xM12):2","mm26"],
["(L3(2)xL3(2)).4","f4(2).2m9"],
["(L3(2)xL3(2)):2","f4(2)m14"],
["(L3(2)xL3(4)).2","2e6(2)m16"],
["(L3(2)xL3(4).2_2).2","2e6(2).2m14"],
["(L3(2)xS4(4):2).2","mm23"],
["(Q8x13:4):3","2.run13"],
["(Q8xD14):3","2.run7"],
["(QD16x2F4(2)').2","ndg(2.b,qd16)","ndg(m,qd16)"],
["(S3x2.Fi22).2","2.bm9","2.bn6a","3.f3+.2m3","3.f3+.2n6a","mn6a"],
["(S3xS3):2xS5","o8-(2).2m8"],
["(S3xS3xA5):2","o8-(2)m7"],
["(S3xS3xG2(3)):2","f3+.2m16"],
["(S5xS5xS5):S3","mm31"],
["(S6wr2).2","f4(2).2m7"],
["(S6xL3(4).2).2","bm19"],
["(S6xS6).2^2","hn.2m9"],
["(S6xS6).4","bm22"],
["(S6xS6):2","a12.2m5","s8(2)m10"],
["(SL(2,3)x7:3).2","2.suzn7"],
["(SL2(3)x7:3).2","lyn7"],
["(a4xpsl(3,4)):2","suzm8"],
["(a6xa5).2","suzm12"],
["109:54","l2(109)m1"],
["10^2:S3","l3(11)m4","u3(9)m4"],
["11+^(1+2):(5x2S4)","j4m7","j4n11"],
["113:56","l2(113)m1"],
["11:10","a11.2m7","agl(1,11)","co2n11","j1m5","j1n11","l2(11).2m2","l2(11).2n11","m12.2n11","m24n11","onn11","suzn11"],
["11:10xS3","co1n11"],
["11:20","2.suzn11"],
["11:5","hsn11","l2(11)m3","l2(11)n11","m11n11","m12n11","m22n11","m23n11","mcln11","u6(2)n11"],
["11:5xS3","3.mcl.2n11","lyn11"],
["11^(1+2)+:40","u3(11)m1"],
["11^2:(5x2.A5)","11^2:(5x2a5)","mm39","mn11"],
["11^2:(5x2L2(11).2)","agl(2,11)","l3(11)m1","l3(11)m2"],
["11^2:60","l2(121)m1"],
["127:7","l7(2)m4"],
["12_1.L3(4)","12.m22m1"],
["12_1.U4(3).2_2","6.o7(3)m1"],
["12_2.L3(4).2_1","3.onm4"],
["12x11:5","12.m22n11"],
["12x7:3","12.m22n7"],
["133:3","l3(11)m5"],
["13:12","2f4(2)'.2m7","3d4(2).3m10","a13.2m8","agl(1,13)","f4(2)n13","sz(8).3m3"],
["13:3","l3(3)m3","u3(4)m4"],
["13:4","3d4(2)m9","3d4(2)n13","sz(8)m2","sz(8)n13"],
["13:6","2f4(2)'n13","a13m9","fi22n13","g2(3)n13","g2(4)n13","l2(13)m1","l3(3).2m4","o7(3)n13","suzn13","u3(4).2m5"],
["13^(1+2):(3x4S4)","mm36","mn13","mn13b"],
["13^2:2.L2(13).4","mm33"],
["17:16","agl(1,17)","f3+n17","fi23n17","he.2n17","l2(17).2m2"],
["17:8","f4(2)n17","hen17","j3n17","l2(17)m1"],
["19:18","agl(1,19)","j3.2m9","l2(19).2m2","r(27).3m7","r(27).3n19","thn19"],
["19:3","l3(7)m8","u3(8)m7"],
["19:6","j1m4","j1n19","onn19","r(27)m6","r(27)n19"],
["19:9","hnn19","j3n19","l2(19)m1","l2(19)n19"],
["2(A4xA4).2^2","2.a8m5","u4(3)m14"],
["2(A4xA4).4.2","u4(3).2_3m7"],
["2(A4xA4).4.2^2","u4(3).(2^2)_{133}m9"],
["2(L2(11)x2).2","u3(11)m2"],
["2(L2(7)x4).2","u3(7)m2"],
["2.(13:6xA4).2","2.co1n13"],
["2.(2.(A4xA4).2)","2.u4(2)m5"],
["2.(2.(A4xA4).2.2)","2.u4(2).2m6"],
["2.(2^2xSz(8)):3","2.rum3"],
["2.(2^2xU4(2)).2","2.o7(3)m12"],
["2.(2^4:A5)","2.u4(2)m1"],
["2.(2^5:S6)","2.s6(2)m3"],
["2.(2x2^(1+8)):U4(2):2","2.fi22m7"],
["2.(2x3.A7)","12.m22m3","12.m22m4"],
["2.(2x3^4:A6)","4.u4(3)m1"],
["2.(2xA7)","4.m22m3","4.m22m4"],
["2.(2xF4(2)).2","4.f4(2).2","mc4b"],
["2.(2xL2(11))","4.m22m8"],
["2.(3^(1+4).[2^7.3])","2.u6(2)m15"],
["2.(3^(1+6):2^(3+4):3^2:2)","2.fi22m11"],
["2.(3^2:D8xU4(3).2^2).2","2.bm14"],
["2.(3^3:(S4x2))","2.u4(2).2m4"],
["2.(A4x2(A4xA4).2).2","2.o7(3)m15"],
["2.(A4xG2(4)).2","2.co1m7"],
["2.(A4xL3(4)).2","2.suzm8"],
["2.(A4xU4(2))","s6(3)c2a","s6(3)m4","s6(3)n2a"],
["2.(A5xA4).2","2.a9m6"],
["2.(A5xA5).2","g2(5)c2a","g2(5)m5","g2(5)n2a"],
["2.(A5xA5).2^2","2.o8+(2)m16"],
["2.(A5xA5).4","2.a10m4"],
["2.(A5xJ2).2","2.co1m12"],
["2.(A6xA4).2","2.a10m5"],
["2.(A6xA5).2","2.a11m5"],
["2.(A6xA6).2^2","2.a12m4"],
["2.(A7xA4).2","2.a11m4"],
["2.(A7xA5).2","2.a12m6"],
["2.(A8xA4).2","2.a12m5"],
["2.(S3x5:4)","2.s6(2)n5"],
["2.(S3xS6)","2.s6(2)m7"],
["2.(S6x2)","2.u4(2).2m3"],
["2.(S6xS4)","2.o7(3)m14"],
["2..11.m23","f23m6","fi23m6"],
["2.2.2^4+6:S5","2.rum6"],
["2.2E6(2).2","bc2a","bm1","bn2a"],
["2.2^(1+8)_+:(S3xS3xS3)","2.o8+(2)m13"],
["2.2^(1+8)_+:U4(2)","2.u6(2)m2"],
["2.2^(2+12):(A8xS3)","2.co1m8"],
["2.2^(2+8).(3xA5)","2.g2(4)m2"],
["2.2^(3+3):7","2.sz(8)m1","2.sz(8)n2"],
["2.2^(4+12).(S3x3S6)","2.co1m9"],
["2.2^(4+6).(A5x3)","2.g2(4)m3"],
["2.2^(4+8):(S3xA5)","2.u6(2)m7"],
["2.2^11:M24","2.co1m3"],
["2.2^3+8:L3(2)","2.rum4"],
["2.2^4+6:S5","ruc2a","rum6","run2a"],
["2.2^4.S6","2.hsm6"],
["2.2^5.S6","2.a12m10"],
["2.2^6.L3(2)","2.s6(2)m5"],
["2.2^6:u3(3):2","2.rum2"],
["2.2^8.f20","2f4(2)'c2a","2f4(2)'m3","2f4(2)'n2a"],
["2.3^4.2^3.S4","2.a12m11"],
["2.4^3.L3(2)","2.hsm7"],
["2.A10","2.a11m1"],
["2.A10.2","2.s10"],
["2.A11","2.a12m1","lyc2a","lym4","lyn2a"],
["2.A11.2","2.s11"],
["2.A12.2","2.s12"],
["2.A13.2","2.s13"],
["2.A14.2","2.s14"],
["2.A15.2","2.s15"],
["2.A16.2","2.s16"],
["2.A17.2","2.s17"],
["2.A18.2","2.s18"],
["2.A4xS3","2.m12m11"],
["2.A5","2.a1(4)","2.a1(5)","2.a5.2m1","2.a6m1","2.j2m9","2.l2(11)m1","2.l2(11)m2","2.l2(19)m2","2.l2(19)m3","2.l2(29)m2","2.l2(29)m3","2.l2(31)m2","2.l2(31)m3","2.l2(4)","2.l2(5)","2.o3(4)","2.o3(5)","2.o4-(2)","2.s2(4)","2.s2(5)","2.u2(4)","2.u2(5)","isoclinic(2.a5.2)m1"],
["2.A5.2","2.s5","u3(5)c2a","u3(5)m8","u3(5)n2a"],
["2.A5xA5","2.g2(4)m7"],
["2.A6","2.a1(9)","2.a7m1","2.c2(2)'","2.l2(9)","2.o3(9)","2.o4-(3)","2.o5(2)'","2.s2(9)","2.s4(2)'","2.u2(9)"],
["2.A6.2_1","2.a8m4","2.s6","2.u4(2)m2"],
["2.A7","2.a8m1","2.suzm17"],
["2.A7.2","2.s7","2.suz.2m16"],
["2.A8","2.a9m1","mclc2a","mclm8","mcln2a"],
["2.A8.2","2.s8"],
["2.A9","2.a10m1","2.o8+(2)m8"],
["2.A9.2","2.s9"],
["2.A9xS3","2.co1m16"],
["2.B","2.f2+","mc2a","mm1","mn2a"],
["2.Co1","2.f2-"],
["2.D12","2.l2(11)m4","2.l2(13)m3","2.l3(2).2m4"],
["2.D14","2.l2(13)m2"],
["2.D16","2.l2(17)m5","2.l3(2).2m3"],
["2.D18","2.l2(17)m4","2.l2(19)m5"],
["2.D20","2.l2(19)m4"],
["2.D22","2.l2(23)m5"],
["2.D24","2.l2(23)m4","2.l2(25)m5"],
["2.D26","2.l2(25)m4","2.l2(27)m3"],
["2.D28","2.l2(27)m2","2.l2(29)m5"],
["2.D30","2.l2(29)m4","2.l2(31)m5"],
["2.D32","2.l2(31)m4"],
["2.D8","2.a6n2","2.a7n2","2.l3(2)n2","q16"],
["2.F4(2)","2.2e6(2)m4"],
["2.Fi22","2.2e6(2)m8","2.f22","f23m1","fi23c2a","fi23m1","fi23n2a"],
["2.Fi22.2","f3+c2a","f3+m2","f3+n2a"],
["2.Fi22N2","fi23n2"],
["2.G2(4)","2.suzm1"],
["2.G2(4).2","g2f4c"],
["2.HS","2.hs.2m1"],
["2.HS.2","hnc2a","hnm2","hnn2a"],
["2.HS.2N5","2.hs.2m9","hnn10a"],
["2.J2","2.f5-","2.g2(4)m1","2.hj","2.j2.2m1"],
["2.J2.2","2.f5-.2","2.hj.2","2.suzm6"],
["2.J2.2N5","2.g2(4).2n5","2.suzn5"],
["2.J2M8","2.g2(4)n5","2.j2n5"],
["2.L2(11)","2.a1(11)","2.m12m5","2.o3(11)","2.s2(11)","2.u2(11)"],
["2.L2(13)","2.a1(13)","2.g2(4)m8","2.o3(13)","2.s2(13)","2.u2(13)"],
["2.L2(17)","2.a1(17)","2.o3(17)","2.s2(17)","2.u2(17)"],
["2.L2(19)","2.a1(19)","2.o3(19)","2.s2(19)","2.u2(19)"],
["2.L2(25)","2.suzm16"],
["2.L2(29)","2.rum9"],
["2.L2(3)","2.a5m1","2.a5n2","2.l2(13)m4","2.l2(27)m4","sl(2,3)"],
["2.L3(2)","2.a1(7)","2.a2(2)","2.a7m2","2.a7m3","2.l2(7)","2.l3(2).2m1","2.o3(7)","2.s2(7)","2.u2(7)","isoclinic(2.l3(2).2)m1"],
["2.L3(2).2","2.l2(7).2"],
["2.L3(4)","2.m22m1"],
["2.L3(4).(2^2)_{1*23}","2.hs.2m3"],
["2.L3(4).2_1","2.u6(2)m16"],
["2.L3(4).2_2","2.m22.2m2"],
["2.L4(3).2_2","2.o7(3)m3"],
["2.M12","2.a12m7","2.m12.2m1"],
["2.M22","2.hsm1","2.m22.2m1","2.u6(2)m12"],
["2.M22.2","2.hs.2m2"],
["2.O8+(2).2","w(e8)"],
["2.S3","2.a5m3","2.a5n3","2.l3(2)n3"],
["2.S4","2.a5.2m2","m11c2","m11c2a","m11m5","m11n2a","m8:s3"],
["2.S6(2)","2.o7(3)m7","2.o8+(2)m2","2.s6f2","co3c2a","co3m6","co3n2a"],
["2.Suz","2.suz.2m1"],
["2.Symm(4)","2.a6m4","2.l2(17)m2","2.l2(17)m3","2.l2(23)m2","2.l2(23)m3","2.l2(31)m6","2.l2(31)m7","2.l3(2)m1","2.l3(2)m2"],
["2.U4(2)","2.u4(2).2m1"],
["2.U4(2).2","2.s6(2)m1"],
["2.U4(3).(2^2)_{122}","o8+(3)c2a","o8+(3)m15","o8+(3)n2a"],
["2.U4(3).2_2","2.u6(2)m5","o7(3)c2a","o7(3)m1","o7(3)n2a"],
["2.U6(2)","2.u6(2).2m1","fi22c2a","fi22m1","fi22n2a"],
["2.U6(2).2","fi22.2m2"],
["2.[2^6]:(S3xS3)","s6(2)c2b","s6(2)m6","s6(2)n2b"],
["2.[2^9]:5:4","2f4(2)'.2m2"],
["23:11","co1n23","co2n23","co3n23","f3+n23","fi23n23","l2(23)m1","m23m7","m23n23","m24n23"],
["23:22","agl(1,23)","j4n23","l2(23).2n23"],
["25:4","sz(32)m3"],
["29:14","f3+m25","f3+n29","l2(29)m1","run29"],
["2A4xA5","2.j2m5","2.l2(3)xa5"],
["2A5xD10","2.j2m6"],
["2E6(2)","2e6(2).2m1","e6f2"],
["2E6(2).2","e6f2.2"],
["2E6(2).2N3C","2e6(2).2m12"],
["2E6(2).3.2","2e6(2).s3"],
["2E6(2)N3C","2e6(2)m14"],
["2F4(2)'","2f4(2)'.2m1","fi22m9","r(2)'","r2c","tits"],
["2F4(2)'.2","2f4(2)","f4(2)m11","fi22.2m8","r(2)","rum1","tits.2"],
["2F4(2)x2","f4(2).2m4"],
["2S5.2","u3(5).2m5"],
["2^(1+12).3_1.U4(3).2_2'","f3+c2b","f3+m9","f3+n2b"],
["2^(1+12)_+.3_1.U4(3).2^2_{122}","f3+.2m10"],
["2^(1+22).Co2","bm2","bn2b"],
["2^(1+3):L3(2)","2.a8m2","2.a8m3"],
["2^(1+4)+.(S3xS3)","g2(3).2m6"],
["2^(1+4)+:3^2.2","g2(3)c2a","g2(3)m10"],
["2^(1+4).S3","u3(3).2c2a","u3(3).2m4","u3(3).2n2a","u3(3).2n4a"],
["2^(1+4).S5","2.a10m6","j2.2c2a","j2.2m4","j2.2n2a","j3.2c2a","j3.2m7","j3.2n2a"],
["2^(1+5+8).(S3xA6)","2.fi22m10"],
["2^(1+6)_+.A8","2.o8+(2)m5"],
["2^(1+6)_+.L3(2).2","he.2m4"],
["2^(1+6)_+:3A7","6.o7(3)m13"],
["2^(1+6)_+:A7","2.o7(3)m13"],
["2^(1+6)_+:S5","hs.2m7"],
["2^(1+6)_-.3^3.S4","2.a12m9"],
["2^(1+6)_-.U4(2).2","suz.2c2a","suz.2m5","suz.2n2a"],
["2^(1+8)+.O8+(2)","cenc1","co1c2a","co1m5","co1n2a"],
["2^(1+8)+:L2(8)","3d4(2)m1"],
["2^(1+8).(A5xA5).2","hnc2b","hnm4","hnn2b"],
["2^(1+8)_+.(A5xA5).2^2","hn.2m5"],
["2^(1+8)_+:(S3xS3xS3)","o8+(2)m13"],
["2^(1+8)_+:L2(8):3","3d4(2).3m2"],
["2^(1+8)_+:U4(2)","u6(2)m2"],
["2^(10+16).O10+(2)","mm5"],
["2^(2+10+20).(M22.2xS3)","bm7"],
["2^(2+11+22).(M24xS3)","mm6"],
["2^(2+12):(A8xS3)","co1m8"],
["2^(2+4):(3xD10)","u3(4).2m2"],
["2^(2+4):(S3xS3)","j2.2m5","j3.2m8","l3(4).d12m5","mcl.2m10"],
["2^(2+4):15","u3(4)m1"],
["2^(2+6):3^3:S3","s6(3)m5"],
["2^(2+8):(3xA5)","2^2+8:(a5xz3)","castbl","g2(4)m2"],
["2^(2+8):(3xA5):2","g2(4).2m3"],
["2^(2+8):(S5xS3)","suz.2m10"],
["2^(3+12).(L3(2)xA6)","f3+m15"],
["2^(3+12).(L3(2)xS6)","f3+.2m14"],
["2^(3+3):7","sz(8)m1","sz(8)n2"],
["2^(3+3):7:3","sz(8).3m2","sz(8).3n2"],
["2^(3+6):21","u3(8)m1"],
["2^(3+8):(S3xS6)","s8(2)m5"],
["2^(4+10)(S5xS3)","co2m8"],
["2^(4+12).(S3x3S6)","co1m9"],
["2^(4+4).(S3xS3).2","he.2m8"],
["2^(4+4):(3xA5)","u5(2)m3"],
["2^(4+6):(A5x3)","2^4+6:(z3xa5)","g2(4)m3"],
["2^(4+6):(A5x3):2","g2(4).2m4"],
["2^(4+6):3S6","suz.2m8"],
["2^(4+8).(2xA4)","u6(2)n2"],
["2^(4+8):(S3xA5)","u6(2)m7"],
["2^(5+10+20).(S3xL5(2))","mm8"],
["2^(5+5):31","sz(32)m1"],
["2^(5+8):(S3x3.A6)","3.fi22m10"],
["2^(5+8):(S3xA6)","fi22m10"],
["2^(5+8):(S3xS6)","fi22.2m9"],
["2^(6+6):(S3xL3(2))","s8(2)m7"],
["2^(6+8).(S3xA8)","f3+m16"],
["2^(6+8):(A7xS3)","fi23m11"],
["2^(7+8).(S3xA8)","f3+.2m15"],
["2^(9+16).S8(2)","bm4"],
["2^1+24.Co1","2^(1+24).co1","mc2b","mm2","mn2b"],
["2^1+4+6.a8","co2c2b","co2m6","co2n2b"],
["2^1+4b:a5","j2c2a","j2m3","j2n2a","j3c2a","j3m8","j3n2a","s2j2"],
["2^1+6.psl(3,2)","2^1+6.l3(2)","hec2b","hem5","hen2b"],
["2^1+6.u4q2","suzc2a","suzm4","suzn2a"],
["2^1+8.a9","thc2a","thm3","thn2a"],
["2^1+8:s6f2","c2c2","co2c2a","co2m4","co2n2a"],
["2^10.A8","s8(2)m4"],
["2^10:(L5(2)xS3)","l7(2)m2","p2l72"],
["2^10:L5(2)","j4m3","o10+(2)m3"],
["2^10:m22","f22m5","fi22m5"],
["2^10:m22:2","co2m2"],
["2^11:M24","2^11.m24","co1m3"],
["2^12.M24","f3+.2m8"],
["2^12:(L4(2)xL3(2))","l7(2)m3","p3l72"],
["2^2+4.3xs3","j2m4","j3m9"],
["2^2+8(a5xs3)","suzm9"],
["2^2.(2^(1+8)_+:(S3xS3xS3))","2^2.o8+(2)m13"],
["2^2.(3^2:2A4)","2^2.l3(4).3m4"],
["2^2.(3^2:Q8)","2^2.l3(4)m9"],
["2^2.(3^2:Q8.2)","2^2.l3(4).2_2m6"],
["2^2.2E6(2).2","2.bm1"],
["2^2.2E6(2).3.2","2^2.2e6(2).s3","mm4"],
["2^2.2^(1+8)_+:U4(2)","2^2.u6(2)m2"],
["2^2.2^(3+3):7","2^2.sz(8)m1"],
["2^2.2^(4+8):(S3xA5)","2^2.u6(2)m7"],
["2^2.2^8:s3","2f4(2)'m5"],
["2^2.Fi22.2","f3+.2m3"],
["2^2.L3(4)","2^2.l3(4).2_2m1","2^2.l3(4).3m1","v4.l3(4)"],
["2^2.L3(4).2_2","2^2.psl(3,4).s3m2"],
["2^2.L3(4).3","2^2.psl(3,4).s3m1"],
["2^2.L3(4).D12","he.2m3"],
["2^2.O8+(3)","spin8+(3)"],
["2^2.S6","2^2.l3(4).2_2m4"],
["2^2.Sz(8)","2^2.sz(8).3m1"],
["2^2.U6(2)","2.fi22m1","v4.u6(2)"],
["2^2.U6(2).2","fi23c2b","fi23m3","fi23n2b"],
["2^2.U6(2).3","v4.u6(2).3"],
["2^2.U6(2).3.2","2^2.u6(2):s3","f3+m8"],
["2^2.U6(2):S3x2","f3+.2m9"],
["2^2.[2^6].(S3xS3)","2.s6(2)m6"],
["2^2.[2^7*3^2].S3","2^2.2^6.3.(s3xs3)","co3m12"],
["2^2.[2^9]:(7:3xS3)","3d4(2).3m3"],
["2^2.[2^9]:(7xS3)","3d4(2)m2"],
["2^2.[2^9]:S3","2f4(2)'.2m4"],
["2^2.psl(3,4).s3","hem2"],
["2^2x11:5","2.fi22n11"],
["2^2x13:4","2^2.sz(8)m2"],
["2^2x3xS3xU4(2)","(2^2x3).u6(2)m14"],
["2^2x3xS6(2)","(2^2x3).u6(2)m8"],
["2^2x3xU5(2)","(2^2x3).u6(2)m1"],
["2^2xA6","2^2.l3(4)m3"],
["2^2xD14","2^2.sz(8)m4"],
["2^2xL2(7)","2^2.l3(4)m6"],
["2^2xS3xU4(2)","2^2.u6(2)m14"],
["2^2xS6(2)","2^2.u6(2)m8"],
["2^2xU5(2)","2^2.u6(2)m1"],
["2^3+8:L3(2)","rum4"],
["2^3.(S4x2)","m12.2m5"],
["2^3.2^2.2^6.(3xL3(2))","hnm9"],
["2^3.2^2.2^6.(S3xL3(2))","hn.2m10"],
["2^3.7.3","j1m2","j1n2","l2(8).3m2"],
["2^3.L3(2)","g2(3)m8","g2(5)m7"],
["2^3.L3(2):2","g2(3).2m4"],
["2^3:7","agl(1,8)","l2(8)m1"],
["2^3:L3(2)xS3","3.m22.2m5"],
["2^3:sl(3,2)","a8m2","a8m3","agl(3,2)","m22m6"],
["2^4+6:3a6","suzm7"],
["2^4.a8","co3m9"],
["2^4.s6","hsm6","u4(3).2_1m9"],
["2^4:(3xA5).2","2^4:(3xa5):2","j3.2m3","m23m6"],
["2^4:(S3xS3)","a8m5","mo61p"],
["2^4:3.S6","3.m22.2m3"],
["2^4:A4","u4(2)n2"],
["2^4:A4b","l3(4)n2"],
["2^4:A5","l3(4)m1","l3(4)m2","m20"],
["2^4:D8","2.a8n2","m22n2","m23n2","u4(3)n2"],
["2^4:a6","2^4.a6","m22m2","u4(3)m8"],
["2^4:a7","m23m3","mclm9"],
["2^4:a8","agl(4,2)","l5(2)m1","l5(2)m2","m24m3"],
["2^4:s5","m22m5"],
["2^5.S6","hs.2m5"],
["2^5.psl(5,2)","2^5.l5(2)","thm2"],
["2^5:L5(2)","agl(5,2)","l6(2)m1","l6(2)m2"],
["2^5:S6","2.m22.2m3","a12c2b","a12m10","a12n2b","s6(2)c2a","s6(2)m3","s6(2)n2a"],
["2^6.U4(2)","hnm7"],
["2^6.U4(2).2","hn.2m8"],
["2^6:(3xA5)","2^2.l3(4).3m2","2^2.l3(4).3m3","s4(4)m1"],
["2^6:(3xA5):2","2^2.psl(3,4).s3m3","2^2.psl(3,4).s3m4","s4(4).2m2"],
["2^6:(7xL2(8))","agl(2,8)","l3(8)m1","l3(8)m2"],
["2^6:(psl(3,2)xs3)","l5(2)m3","l5(2)m4","m24m7"],
["2^6:3.s6","hem3","hem4","m24m5"],
["2^6:3A7","3.o7(3)m13"],
["2^6:3^3:S4","a12m9"],
["2^6:A7","o7(3)m13"],
["2^6:A8","o8+(2)m4"],
["2^6:L3(2)","s6(2)m5"],
["2^6:L6(2)","agl(6,2)","l7(2)m1","p1l72"],
["2^6:S5","2.m22.2m4"],
["2^6:S6","a12.2m9"],
["2^6:S7","a14m8","o7(3).2m8"],
["2^6:U4(2)","o8-(2)m1"],
["2^6:U4(2).2","2^6:o6f2","o8-(2).2m2"],
["2^6:s6f2","2^6:s6(2)","f22m6","fi22m6"],
["2^6:u3(3):2","rum2"],
["2^7:S6(2)","2^6:s6f2.2","2^7:s6f2","fi22.2m5"],
["2^8:O8+(2)","o10+(2)m2"],
["2^8:O8+(2):2","o10+(2).2m3"],
["2^8:O8-(2)","2^8.o8-(2)","o10-(2)m1"],
["2^8:O8-(2):2","o10-(2).2m2"],
["2^9.L3(4)","2^9:l3(4)","u6(2)m3"],
["2^[39].(L3(2)x3.S6)","mm10"],
["2^{1+4}_-:2A5","2.j2m3"],
["2^{1+6}:3^{1+2}:2A4","u5(2)c2a","u5(2)m1","u5(2)n2a"],
["2^{1+8}_+:(S3xA5)","o8-(2)m4"],
["2^{3+4}:(3xS3)","2.j2m4"],
["2^{3+6}:(L3(2)x3)","o8-(2)m3"],
["2x(3.A7)","6.m22m3","6.m22m4"],
["2x(3^2.QD16)","hsn3"],
["2x(3x2.U4(2)):2","2^2.o8+(2)m10"],
["2x(3xU4(2)):2","2.o8+(2)m10"],
["2x11:10","hnn11"],
["2x11:5","2.hsn11","2.l2(11)m3","2.m12n11","2.m22n11","co3n11","fi22n11"],
["2x13:4","2.sz(8)m2","2.sz(8)n13"],
["2x13:6","2.fi22n13"],
["2x19:9","2.l2(19)m1"],
["2x2.A9","2^2.o8+(2)m7"],
["2x2.F4(2)","2^2.2e6(2)m3"],
["2x2.Fi22","2^2.2e6(2)m7"],
["2x2.M22","2^2.u6(2)m11"],
["2x2.S6(2)","2^2.o8+(2)m1"],
["2x2.U4(3).2_2","2^2.u6(2)m4"],
["2x23:11","2.l2(23)m1"],
["2x2F4(2)'","2.fi22m9"],
["2x2^3:L3(2)","2.m22m6","2^3:l3(2)x2","m22.2c2b","m22.2m5","m22.2n2b"],
["2x2^3:L3(2)x2","2.m22.2m5"],
["2x3.(3^(3+3):L3(3))","6.o7(3)m6"],
["2x3.3^5:(3^2:SD16)","6.suzn3"],
["2x3.Fi22","6.2e6(2)m7"],
["2x3.Fi22N3","6.fi22n3"],
["2x3.G2(3)","6.o7(3)m4"],
["2x3.M22","6.u6(2)m11"],
["2x3.O7(3)","6.fi22m2"],
["2x31:15","2.l2(31)m1"],
["2x3^(1+2)+:2A4","2.u4(2)m3"],
["2x3^(1+2)_+:2S4","2.u4(2).2m5"],
["2x3^(1+4).2U4(2).2","2.co1m13"],
["2x3^(3+3):L3(3)","2.o7(3)m6"],
["2x3^2.2.S4","2.m12m6","l3(4).d12m6"],
["2x3^2:2A4","2.a9m8"],
["2x3^3:(S3x2)","2.s6(2)n3"],
["2x3^3:13","2.l2(27)m1"],
["2x3^3:S3","2.u4(2)n3"],
["2x3^4:(2xA6)","isoclinic(2.u4(3).2_1)m2"],
["2x3^4:A6","2.u4(3)m1"],
["2x3^5:(3^2:SD16)","2.suzn3"],
["2x3^5:M11","2.suzm5"],
["2x3^6.M11","6.suzm5"],
["2x3^6:2.M12","2.co1m11"],
["2x3_1.U4(3).2_2","6.u6(2)m4"],
["2x47:23","2.bm30","mn47"],
["2x5:4","2.m22n5","2.sz(8)m3","2.sz(8)n5","m12n5","m22.2n5","u4(2).2n5","u4(3).2_1n5","u4(3).2_2n5","u4(3).2_3n5"],
["2x5^(1+2):GL2(5)","2.co1m19"],
["2x5^2:2A5","2.co1m22"],
["2x5^2:4S5","2.rum10"],
["2x6.Fi22","(2^2x3).2e6(2)m7"],
["2x6.M22","(2^2x3).u6(2)m11"],
["2x6_1.U4(3).2_2","(2^2x3).u6(2)m4"],
["2x6x11:5","6.fi22n11"],
["2x7:3","2.a7n7","2.a8n7","2.l3(2)m3","2.l3(2)n7","2.m22n7","m23n7","mcln7","u4(3).2_1n7"],
["2x7:6","2.s6(2)n7","o7(3)n7"],
["2x7^2:(3x2A4)","2.co1m21","2.co1n7","2xco1n7"],
["2xA5","j1c2a","j1m3","j1n2a","l2(16).2c2b","l2(16).2n2b","l3(4).2_3c2b","l3(4).2_3n2b"],
["2xA6","2.l3(4)m3"],
["2xA7","2.m22m3","2.m22m4"],
["2xA8","2.rum8"],
["2xA9","2.o8+(2)m7"],
["2xBN5","2.bn5"],
["2xCo1N3","2.co1n3"],
["2xCo1N5","2.co1n5"],
["2xCo2","2.co1m1"],
["2xCo3","2.co1m4"],
["2xF4(2)","2.2e6(2)m3"],
["2xFi22","2.2e6(2)m7"],
["2xFi22N3","2.fi22n3"],
["2xFi22N5","2.fi22n5","fi23n5"],
["2xFi23","2.bm3","f3+.2m2"],
["2xG2(3)","2.o7(3)m4"],
["2xL2(11)","2.m22m8"],
["2xL2(11).2","2.m12.2m2","2.m22.2m7"],
["2xL3(2)","2.l3(4)m6"],
["2xM11","2.a11m6","2.bm26","2.hsm8","2.m12m1","mcl.2c2b","mcl.2m8","mcl.2n2b"],
["2xM12N3","2.m12n3"],
["2xM22","2.u6(2)m11"],
["2xO7(3)","2.fi22m2"],
["2xS3x7:6","2.fi22n7"],
["2xS3xS6(2)","2.f4(2)n3a"],
["2xS3xU4(2)","2.u6(2)m14"],
["2xS5","a7.2c2b","a7.2m3","a7.2n2b","l2(25).2_2c2b","l2(25).2_2n2b","l3(4).2^2c2d","l3(4).2^2n2d","m12c2a","m12m8","m12n2a"],
["2xS6(2)","2.o8+(2)m1","2.u6(2)m8","o8+(2).2m2","o8-(2).2m3","w(e7)"],
["2xSymm(4)","a6.2_1c2b","a6.2_1m5","l3(3).2m5"],
["2xTh","2.bm5"],
["2xU3(3)","2.j2m1","u4(3).2_1c2b","u4(3).2_1m8","u4(3).2_1n2b"],
["2xU3(3).2","2.s6(2)m4","g2(4).2m7","s6(3)c2b","s6(3)m7","s6(3)n2b","u4(3).(2^2)_{133}m8"],
["2xU3(5).2","2.rum5"],
["2xU4(3).2_2","2.u6(2)m4"],
["2xU5(2)","2.suzm3","2.u6(2)m1"],
["2xU5(2).2","2.suz.2m4"],
["2xU6(2).3.2","2.co1m6"],
["2xa6.2^2","hsc2b","hsm11","hsn2b","u4(3).(2^2)_{133}m10"],
["2xm12","2.fi22m14","co3c2b","co3m11","co3n2b"],
["3.(3^(1+2)+x3^2):2S4","3.g2(3)m3"],
["3.(3^(1+4).[2^7.3])","3.u6(2)m15"],
["3.(3^(3+3):L3(3))","3.o7(3)m6"],
["3.(3xM10):2","3.j3.2m5","ndg(3.j3.2,3^2)"],
["3.(A4x2(A4xA4).2).2","3.o7(3)m15"],
["3.(A4x3):2","3.a7m5","3.l3(7)m6"],
["3.2^(1+12).3U4(3).2","3.f3+n2b"],
["3.2^(1+4)+:3^2.2","3.g2(3)m10"],
["3.2^(2+4):(S3xS3)","3.mcl.2m10"],
["3.2^4:a7","3.mclm9"],
["3.3^(1+4):2S5","3.mclm5"],
["3.3^(1+4):4S5","3.mcl.2m4"],
["3.3^(1+6):2^(3+4):3^2:2","3.fi22m11"],
["3.3^(2+4):2(A4x2^2).2","3.suzm11"],
["3.3^(2+4):2(S4xD8)","3.suz.2m12"],
["3.3^4.3^2.Q8","3.mcln3"],
["3.3^5:(3^2:SD16)","3.suzn3"],
["3.3^5:U4(2):2","3.o7(3)m2"],
["3.A6","3.a1(9)","3.a6.2_1m1","3.a7m1","3.c2(2)'","3.l2(9)","3.l3(4)m3","3.o3(9)","3.o4-(3)","3.o5(2)'","3.s2(9)","3.s4(2)'","3.u2(9)"],
["3.A6.(2x4)","2.rum11"],
["3.A6.2^2","3.a6.v4","3.m22.2m6","j2.2m3","j2.2n3a","rum11","run3a"],
["3.A6.2_1","3.s6"],
["3.A6.2_2","3.pgl(2,9)","j2m2","j2n3a"],
["3.A6.2_3","3.m22m7","3.u3(5)m5"],
["3.A7","3.m22m3","3.m22m4","3.onm12","3.onm13","3.suzm17","3.u3(5)m1"],
["3.A7.2","3.s7","3.suz.2m16","hem7","hen3a"],
["3.F3+","3.fi24'","3.fi24'.2m1"],
["3.F3+.2","3.fi24","3.fi24'.2","mm3","mn3a"],
["3.Fi22","3.2e6(2)m7","3.fi22.2m1"],
["3.G2(3)","3.o7(3)m4"],
["3.J3","3.j3.2m1"],
["3.L3(4)","3.m22m1"],
["3.L3(4).2^2","3.l3(4).v4","g2(4).2m6"],
["3.L3(4).2_1","3.u6(2)m16"],
["3.L3(4).2_2","3.m22.2m2"],
["3.L3(4).2_3","g2(4)m5","g2(4)n3a"],
["3.L3(4).3.2_2","l6(2)m7"],
["3.M22","3.m22.2m1","3.mclm2","3.u6(2)m11"],
["3.McL","3.mcl.2m1"],
["3.McL.2","lym2","lyn3a"],
["3.McL.2N5","3.mcl.2m9"],
["3.O7(3)","3.fi22m2"],
["3.ON","3.o'n","3.on.2m1"],
["3.ON.2","3.o'n.2"],
["3.ONM6","3.onn3"],
["3.Suz","3.suz.2m1"],
["3.Suz.2","co1m2","co1n3a"],
["3.U3(5)","3.mclm4"],
["3.U3(5).2","3.mcl.2m3","g2(5)m3","g2(5)n3a"],
["3.U3(8)","u3q8a"],
["3.U6(2).3.2","3.u6(2).s3","3.u6(2):s3"],
["3.s7x2","he.2m6"],
["31:10","j4n31"],
["31:15","bn31","l2(31)m1","onn31","thm15","thn31"],
["31:3","l3(5)m5"],
["31:30","agl(1,31)","on.2m8"],
["31:5","l5(2)m5"],
["31:6","g2(5)n31","l3(5).2m6","l3(5).2n31","lyn31"],
["37:12","j4m13","j4n37"],
["37:18","lym9","lyn37","r(27).3m5","r(27).3n37"],
["37:3","u3(11)m10"],
["3D4(2)","3d4(2).3m1","st2"],
["3D4(2).3","f4(2)m9","st2.3","thm1"],
["3^(1+10):(2xU5(2):2)","f3+.2m7"],
["3^(1+10):U5(2):2","3^(1+10):u5(2).2","f3+m6","f3+n3b"],
["3^(1+12).2.Suz.2","3^(1+12):2.suz.2","mm7","mn3b"],
["3^(1+2)+.2S4","3d4(2)m6"],
["3^(1+2)+:2A4","u4(2)m3"],
["3^(1+2)+:2S4","u4(2).2m4"],
["3^(1+2):4","3.a6m3","3.a6n3","3.a7n3"],
["3^(1+2):8","3^1+2:8","j2n3","u3(3)m1","u3(3)n3"],
["3^(1+2):8:4","2.g2(4)n3"],
["3^(1+2):D8","2f4(2)'n3","3.a6.2_1n3","3.a7.2n3","hen3","l3(3).2m2","m12.2m7","m24n3"],
["3^(1+2):SD16","2f4(2)'.2m6","g2(4)n3","j2.2n3","run3","u3(3).2m2"],
["3^(1+2)_+.(2S4x3)","3d4(2).3m7"],
["3^(1+2)_+:Q8","3.l3(4)m9","3.l3(4)n3","3.l3(7)m7","3.m22n3"],
["3^(1+4)+.2^(1+4)-.S3","u4(3).(2^2)_{133}m7"],
["3^(1+4)+.4S4","u4(3).2_1m7"],
["3^(1+4).2U4(2)","co1c3c","s6(3)m1"],
["3^(1+4).2U4(2).2","3^(1+4):2u4(2):2","co1m13","co1n3c","s6(3).2m1"],
["3^(1+4).2^(1+1+2+2).S3","u6(2)m15"],
["3^(1+4):2S5","3^1+4:2.s5","mclm5","mcln3a"],
["3^(1+4):4A5","hnm14","hnn3b"],
["3^(1+4):4S4","u4(3).2_3m5"],
["3^(1+4):4S5","mcl.2m4","mcl.2n3a"],
["3^(1+4)_+.2S4","u4(3)m6"],
["3^(1+4)_+:(S3xQD16)","co2n3","u4(3).d8n3"],
["3^(1+6):2^(3+4):3^2:2","fi22m11","fi22n3b"],
["3^(1+6)_+:2^(3+4):(S3xS3)","fi22.2m11","fi22.2n3b"],
["3^(1+8).2^(1+6).3^(1+2).2S4","fi23m7","fi23n3b"],
["3^(1+8).2^(1+6).U4(2).2","bm13","bn3b"],
["3^(2+4):2(S4xD8)","suz.2m12"],
["3^(2+4):2A5.D8","lym7"],
["3^(2+4):80","u3(9)m1"],
["3^(2+5+10).(M11x2S4)","mm14"],
["3^(3+2+6+6):(L3(3)xSD16)","mm15"],
["3^(3+3):L3(3)","o7(3)m6"],
["3^(3+4):(2.S4)^2","2.co1m15"],
["3^(3+4):2(S4xA4)","s6(3)m3"],
["3^(3+4):2(S4xS4)","co1m15"],
["3^(3+6):(L3(3)x2)","o8+(3).2_2m8"],
["3^(3+6):26","r(27)m1","r(27)n3"],
["3^1+4:2^1+4.s5","co2m10","co2n3a","gg"],
["3^1+4:4s6","co3m8","co3n3a"],
["3^2+4:2(2^2xa4)2","suzm11"],
["3^2.(3^(1+4)_+.2S4)","3^2.u4(3)m6"],
["3^2.(3^4:A6)","3^2.u4(3)m1"],
["3^2.(3x3^(1+2)+):2^2","g2(3)n3"],
["3^2.(3x3^(1+2)+):D8","g2(3).2m2"],
["3^2.2.S4","a9.2m7","agl(2,3)","l3(3)m1","l3(3)m2","m12hut","m12m6","m9:s3","u3(5).3.2m6"],
["3^2.3^(1+2):8","j3m7","j3n3"],
["3^2.3^(1+2):8.2","j3.2m6"],
["3^2.3^3.3^6.(S4x2S4)","bm17"],
["3^2.3^4.3^8.(A5x2A4).2","f3+m11"],
["3^2.3^4.3^8.(S5x2S4)","f3+.2m12"],
["3^2.U4(3).(2^2)_{133}","3.suz.2m3"],
["3^2.U4(3).2_3'","3.suzm2","3.suzn3c"],
["3^2.U4(3).D8","co1m10"],
["3^2:2A4","3d4(2)m8","a9m8","u3(5).3m4","u3(8)m3"],
["3^2:2A4x3","3d4(2).3m9"],
["3^2:4","a6m3","a6n3","a7n3"],
["3^2:8","2.a6m3","2.a6n3","2.a7n3"],
["3^2:Q8","a6.2_3m2","l3(4)m9","l3(4)n3","l3(7)m7","m22n3","u3(11)m11","u3(5)n3"],
["3^2:Q8.2","3^2:sd16","m11m3","m11n3","m22.2n3","m23n3"],
["3^3.(3x3^(1+2)+):2^2","3.g2(3)n3"],
["3^3.3^(1+2):8","3.j3m7","3.j3n3"],
["3^3.3^(1+2):8.2","3.j3.2m6","3.j3.2n3"],
["3^3.S4","a9m7"],
["3^3.[3^10].(L3(3)x2^2)","f3+.2m11"],
["3^3.[3^10].GL3(3)","f3+m10"],
["3^3:(S3x2)","s6(2)n3"],
["3^3:13","l2(27)m1"],
["3^3:L3(3)","l4(3)m1","l4(3)m2"],
["3^3:S3","u4(2)n3"],
["3^3:S4`","u4(2)m4"],
["3^4.3^2:4","u4(3)n3"],
["3^4.A6.D8","u4(3).d8m4"],
["3^4:(2xA6)","u4(3).2_1m2"],
["3^4:(3^2:Q8)","mcln3"],
["3^4:(M10x2)","mcl.2m5","u4(3).(2^2)_{133}m4"],
["3^4:2(A4xA4).2","l4(3)m5"],
["3^4:2(A4xA4).4","hnm13"],
["3^4:2(S4xS4).2","hn.2m12"],
["3^4:2^(1+4).(5:4)","on.2m5","on.2n3"],
["3^4:2^(1+4)D10","onm6","onn3"],
["3^4:2^3.S4","a12m11"],
["3^4:2^3.S4(a)","o8+(2)m14"],
["3^4:3^2:D8","u6(2)n3"],
["3^4:40","l2(81)m1","l2(81)n3"],
["3^4:A6","3^4.a6","u4(3)m1"],
["3^4:GL2(9)","agl(2,9)","l3(9)m1","l3(9)m2"],
["3^4:S5","u5(2)m4"],
["3^4:m10","mclm6","u4(3).2_3m2"],
["3^5:(2xU4(2).2)","fi22.2m10"],
["3^5:(2xm11)","co3m5"],
["3^5:(3^2:SD16)","suzn3"],
["3^5:(M10x2)","3.mcl.2m5"],
["3^5:(M11x2)","suz.2m6"],
["3^5:2S6","thm8","thn3c"],
["3^5:M10","3.3^4:m10","3.mclm6"],
["3^5:M11","lyu1","suzm5"],
["3^5:U4(2):2","o7(3)m2"],
["3^6.M11","3.suzm5","3^6:m11"],
["3^6:(L4(3)x2)","o8+(3).2_1m4"],
["3^6:(M11x2)","3.suz.2m6"],
["3^6:2M12","3^6:2.m12","co1m11"],
["3^6:2U4(3).2_1","o8-(3)m1"],
["3^6:L3(3)","s6(3)m2"],
["3^6:L4(3)","3^6.l4(3)","o8+(3)m7"],
["3^6:L4(3):2_2","o8+(3).2_2m4"],
["3^7.O7(3)","f3+m5"],
["3^7.O7(3):2","f3+.2m6"],
["3^8.O8-(3).2_3","mm11"],
["3_1.U4(3).2_2","3.u6(2)m4"],
["3_2.U4(3)","3.mclm1"],
["3_2.U4(3).(2^2)_{133}","suz.2m3","suz.2n3a"],
["3_2.U4(3).2_3'","3.mcl.2m2","3.u4(3):2","suzm2","suzn3a"],
["3x(2^2xU4(2)):2","3.o7(3)m12"],
["3x(2x13).6","6.suzn13"],
["3x(2x2^(1+8)):U4(2):2","3.fi22m7"],
["3x(2xL3(3)).2","6.suzm14","6.suzm15"],
["3x(3xA6):2_2","3.j3m6","ndg(3.j3,3^2)"],
["3x(A4x11:5).2","3.f3+n11"],
["3x(A4x7:3):2","3.suzn7"],
["3x(SL(2,3)x7:3).2","6.suzn7"],
["3x11:10","3.onn11","3.suzn11"],
["3x11:20","6.suzn11"],
["3x11:5","3.m22n11","3.mcln11"],
["3x13:6","3.fi22n13","3.g2(3)n13","3.suzn13"],
["3x17:16","3.f3+n17"],
["3x17:8","3.j3n17"],
["3x19:3","3.l3(7)m8"],
["3x19:6","3.onn19"],
["3x19:9","3.j3n19"],
["3x2.(2^2xU4(2)).2","6.o7(3)m12"],
["3x2.(2xL2(11))","12.m22m8"],
["3x2.(S6xS4)","6.o7(3)m14"],
["3x2.2^(1+8)_+:U4(2)","6.u6(2)m2"],
["3x2.2^(4+8):(S3xA5)","6.u6(2)m7"],
["3x2.A5","6.a6m1"],
["3x2.A8","3.mclm8"],
["3x2.D10","6.a6n5"],
["3x2.F4(2)","6.2e6(2)m4"],
["3x2.Fi22N2","6.fi22n2"],
["3x2.G2(4)","6.suzm1"],
["3x2.J2.2","6.suzm6"],
["3x2.J2.2N5","6.suzn5"],
["3x2.L2(25)","6.suzm16"],
["3x2.L3(2)","6.a7m2","6.a7m3"],
["3x2.L4(3).2_2","6.o7(3)m3"],
["3x2.M22M5","6.m22m5"],
["3x2.M22N2","6.m22n2"],
["3x2.S6(2)","6.o7(3)m7"],
["3x2.SuzM4","6.suzm4"],
["3x2.SuzM7","6.suzm7"],
["3x2.SuzM9","6.suzm9"],
["3x2.SuzN2","6.suzn2"],
["3x2.Symm(4)","6.a6m4"],
["3x23:11","3.f3+n23"],
["3x29:14","3.f3+n29"],
["3x2F4(2)'","3.fi22m9"],
["3x2S5","3.u3(5)m8","u3(5).3m3"],
["3x2^(1+4)_-:A5","3.j3m8"],
["3x2^(1+6)_-.U4(2)","3.suzm4"],
["3x2^(1+8)_+:U4(2)","3.u6(2)m2"],
["3x2^(2+4):(3xS3)","3.j3m9"],
["3x2^(2+8):(A5xS3)","3.suzm9"],
["3x2^(4+6).3A6","3.suzm7"],
["3x2^(4+8):(S3xA5)","3.u6(2)m7"],
["3x2^2.2^(1+8)_+:U4(2)","(2^2x3).u6(2)m2"],
["3x2^2.2^(4+8):(S3xA5)","(2^2x3).u6(2)m7"],
["3x2^3.L3(2)","3.g2(3)m8"],
["3x2^3:L3(2)","3.m22m6"],
["3x2^4:(3xA5)","3.j3m4"],
["3x2^4:A5","3.l3(4)m1","3.l3(4)m2"],
["3x2^4:s5","3.m22m5"],
["3x2^5.A5","6.l3(4)m1"],
["3x2^6:S6(2)","3.fi22m6"],
["3x31:15","3.onn31"],
["3x4.M22M5","12.m22m5"],
["3x4.M22M6","12.m22m6"],
["3x4.M22N2","12.m22n2"],
["3x4^3.L3(2)","3.onm9"],
["3x4_1.2^4:A5","12_1.l3(4)m1"],
["3x4_2.2^4:A5","12_2.l3(4)m1"],
["3x5:8","6.a7n5"],
["3x5^(1+2):3:8","3.mclm12","3.mcln5","3xmcln5"],
["3x5^(1+2)_+:8","3.u3(5)m4"],
["3x5^2:(4xS3)","3.suzn5"],
["3x7:6","3.g2(3)n7"],
["3x7^(1+2):(D8x3)","3.onn7","3xonn7"],
["3x7^2:2.L2(7).2","3.l3(7)m1"],
["3xA10.2","3.fi22m12","3.fi22m13"],
["3xA5","3.a6m1"],
["3xA5.2","3.a7m4","3xs5"],
["3xD10","3.a6n5"],
["3xD6xD10","3.j3n5"],
["3xD8","3.a6n2","3.a7n2"],
["3xF3+N7","3.f3+n7"],
["3xF4(2)","3.2e6(2)m3"],
["3xFi22N2","3.fi22n2"],
["3xFi22N5","3.fi22n5"],
["3xFi23","3.f3+m1"],
["3xG2(4)","3.suzm1"],
["3xIsoclinic(2.A5.2)","6.a7m4"],
["3xIsoclinic(2.A9.2)","6.o7(3)m10"],
["3xIsoclinic(2.M12.2)","6.suzm10"],
["3xIsoclinic(2x5:8)","12.m22n5"],
["3xJ1","3.onm3"],
["3xJ2.2","3.suzm6"],
["3xJ3N2","3.j3n2"],
["3xL2(11)","3.m22m8"],
["3xL2(13)","3.g2(3)m9"],
["3xL2(16).2","3.j3m1"],
["3xL2(17)","3.j3m5"],
["3xL2(19)","3.j3m2","3.j3m3"],
["3xL2(25)","3.suzm16"],
["3xL2(31)","3.onm7"],
["3xL2(8)","u3(8)m2"],
["3xL2(8).3","3.g2(3)m7"],
["3xL3(2)","3.a7m2","3.a7m3","3.l3(4)m6"],
["3xL3(2).2","3.l3(7)m3"],
["3xL3(3).2","3.g2(3)m5","3.suzm14","3.suzm15"],
["3xL3(4).2_2","3.mclm7"],
["3xL3(7).2","3.onm1"],
["3xL4(3).2_2","3.o7(3)m3"],
["3xM11","3.mclm11","3.onm10"],
["3xM12","3.fi22m14"],
["3xM12.2","3.suzm10"],
["3xM12N2","3.g2(3)n2"],
["3xMcLN2","3.m22n2","3.mcln2"],
["3xO8+(2):S3","3.fi22m4"],
["3xONM11","3.onm11"],
["3xONM2","3.onm2"],
["3xONM8","3.onm8"],
["3xONN2","3.onn2"],
["3xS3x7:6","3.fi22n7"],
["3xS3xU4(2)","3.u6(2)m14"],
["3xS6(2)","3.o7(3)m7","3.u6(2)m8"],
["3xS6xS4","3.o7(3)m14"],
["3xS9","3.o7(3)m10"],
["3xSuzN2","3.suzn2"],
["3xSymm(4)","3.a6m4"],
["3xU3(3).2","3.g2(3)m1","3d4(2).3m4"],
["3xU4(2)","u5(2)m2"],
["3xU5(2)","3.suzm3","3.u6(2)m1"],
["4(A4xA4).4","u4(3).2_1m11"],
["4.2^4.S5","g","hsc2a","hsm10"],
["4.3^(1+4)_+.2S4","4.u4(3)m6"],
["4.HS.2","hn.2c2a","hn.2m3","hn.2n2a","hn.2n4d"],
["4.U4(3).2_2","2.o7(3)m1"],
["4.U4(3).4","u5(3)m2"],
["4.s4","u3(3)m3"],
["41:4","sz(32)m2"],
["41:40","agl(1,41)","mm46","mn41"],
["43:14","j4m12","j4n43"],
["43:3","u3(7)m5"],
["47:23","bm30"],
["4^2:D12","2^2+3.s3","m12m10","u3(3).2m5"],
["4^2:D12.2","m12.2m6"],
["4^2:s3","l3(5)m4","u3(3)m4"],
["4^3.(L3(2)x2)","on.2m6"],
["4^3.D8","onn2"],
["4^3.L3(2)","onm9"],
["4^3:(L3(2)x2)","hs.2m6"],
["4^3:psl(3,2)","2^3+3:psl(3,2)","hsm7"],
["4_1.2^4:A5","4_1.l3(4)m1"],
["4_1.L3(4)","4.m22m1"],
["4_2.2^4:A5","4_2.l3(4)m1"],
["4_2.L3(4).(2^2)_{12*3}","on.2m3"],
["4_2.L3(4).2_1","onc2a","onm4","onn2a","onn4a"],
["4x11:5","4.m22n11"],
["4x7:3","4.m22n7"],
["59:29","mm45","mn59"],
["5:4","a5.2m3","a6.2_3m3","a7n5","agl(1,5)","l3(4).2_1n5","l3(4).2_2n5","m11n5","m22n5","sz(8)m3","sz(8)n5","u4(2)n5","u4(3)n5"],
["5:4x2.A5","2.hsm12","2.rum15"],
["5:4x2^2","2^2.sz(8)m3"],
["5:4x3","3.a7n5","3.m22n5","sz(8).3m4"],
["5:4xHS.2","bm15"],
["5:4xS4","o7(3)n5"],
["5:4xS5","hs.2m10"],
["5:4xS6","f4(2)n5a"],
["5:4xU3(5):2","hn.2m6"],
["5:4xa5","hsm12","rum15"],
["5:8","2.a5.2m3","2.a7n5","2.u4(2)n5"],
["5^(1+2)+:24","u3(5).3m2"],
["5^(1+2)+:4A5","s4(5)m1"],
["5^(1+2)+:8","u3(5)m4"],
["5^(1+2):(24:2)","co3n5","mcl.2m9","mcl.2n5","u3(5).3.2m3","u3(5).3.2n5"],
["5^(1+2):(4x4):4","2.rum12","2.run5"],
["5^(1+2):(8.2)","5^(1+2):8:2","hsn5","u3(5).2m3","u3(5).2n5"],
["5^(1+2):3:8","mclm12","mcln5"],
["5^(1+2):4S4","5^1+2:2s4","co2m11","co2n5","thm9","thn5"],
["5^(1+2):8:4","2.hsn5"],
["5^(1+2):GL2(5)","a","co1m19","co1n5c"],
["5^(1+4).2^(1+4).A5.4","bm21"],
["5^(1+4):2^(1+4).5.4","group4","hamax2","hnm6","hnn5b"],
["5^(1+4):4S6","5^(1+4).4s6","lym5"],
["5^(1+4):GL(2,5)","g2(5)m1"],
["5^(1+4)_+:(4Y2^(1+4)_-.5.4)","hn.2m7"],
["5^(1+6):2.J2.4","mm16","mn5b"],
["5^(2+2+4):(S3xGL2(5))","mm22"],
["5^(3+3).(2xL3(5))","mm19"],
["5^1+2:(2^5)","rum12","run5"],
["5^2.5.5^2.4A5","hnm10"],
["5^2.5.5^2.4S5","g2(5)m2","hn.2m11"],
["5^2:(4xS3)","j2.2m9","j2.2n5","suzd3","suzn5","u3(4).4m4","u3(4).4n5"],
["5^2:12","l2(25)m1"],
["5^2:2A5","co1m22"],
["5^2:4A4","2f4(2)'m8","2f4(2)'n5","hem11","hen5","max"],
["5^2:4S4xS5","bm23"],
["5^2:4s5","agl(2,5)","l3(5)m1","l3(5)m2","rum10","thm10"],
["5^2:D12","g2(4)n5","j2m8","j2n5","u3(4).2m4"],
["5^2:S3","u3(4)m3"],
["5^3.psl(3,5)","5^3.l3(5)","bm20","lym3"],
["5^3:(2xA5).2","s4(5)m2"],
["5^3:(4x(2xA5).2)","2.co1m20"],
["5^3:(4xS5)","co1m20"],
["5^3:62","l2(125)m1"],
["5^4:(3x2.L2(25)).2","mm28"],
["5xA5","u3(4)m2"],
["5xIsoclinic(2.A6.2_2)","u3(9)m2"],
["6.(3^(1+4).[2^7.3])","6.u6(2)m15"],
["6.(3^5:U4(2):2)","6.o7(3)m2"],
["6.(A4x2(A4xA4).2).2","6.o7(3)m15"],
["6.(A4x3).2","6.a7m5"],
["6.A6","6.a1(9)","6.a6.2_1m1","6.a7m1","6.c2(2)'","6.l2(9)","6.o3(9)","6.o4-(3)","6.o5(2)'","6.s2(9)","6.s4(2)'","6.u2(9)"],
["6.A6.2_1","6.s6"],
["6.A6M3","6.a6n3","6.a7n3"],
["6.A6N2","6.a7n2"],
["6.A7","6.suzm17"],
["6.A7.2","6.s7"],
["6.Fi22","6.2e6(2)m8","6.fi22.2m1"],
["6.L3(4)","6.m22m1"],
["6.L3(4).2_1","6.u6(2)m16"],
["6.L3(4).2_2","6.m22.2m2"],
["6.M22","6.m22.2m1","6.u6(2)m12"],
["6.M22.2","j4n3a"],
["6.Suz","6.suz.2m1"],
["6.Suz.2","2.co1m2"],
["6.U6(2)","3.fi22m1"],
["6.U6(2).2","3.fi22.2m2"],
["67:22","lym8","lyn67"],
["6^2:D12","u3(5).3.2m5"],
["6^2:S3","u3(5).3m5"],
["6_1.U4(3).2_2","3.o7(3)m1","6.u6(2)m5"],
["6x11:5","3.fi22n11","6.m22n11"],
["6x13:6","6.fi22n13"],
["6x2.F4(2)","(2^2x3).2e6(2)m3"],
["6x2^3:L3(2)","6.m22m6"],
["6x5:4","6.m22n5"],
["6x7:3","3.mcln7","6.a7n7","6.m22n7"],
["6xF4(2)","6.2e6(2)m3"],
["6xFi22N5","6.fi22n5"],
["6xL2(11)","6.m22m8"],
["6xL3(2)","6.l3(4)m6"],
["6xO8+(2):S3","6.fi22m4"],
["6xS3x7:6","6.fi22n7"],
["6xS3xU4(2)","6.u6(2)m14"],
["6xS6(2)","6.u6(2)m8"],
["6xU5(2)","6.suzm3","6.u6(2)m1"],
["73:3","l3(8)m4","u3(9)m5"],
["7:12","2.hsn7","2.j2n7","2.l3(2).2m2"],
["7:3","a7n7","a8n7","l3(2)m3","l3(2)n7","l3(4)n7","m22n7","u3(3)n7","u4(3)n7"],
["7:3x3","3.a7n7","3.m22n7","u3(5).3m6"],
["7:3xS3","m24n7"],
["7:3xS4","2^2.psl(3,4).s3m6"],
["7:3xS5","j4n7"],
["7:3xpsl(3,2)","hem10"],
["7:6","a7.2m5","a8.2n7","agl(1,7)","g2(3)n7","hsn7","j1m7","j1n7","j2n7","l2(8).3m4","l3(2).2m2","l3(4).2_1n7","l3(4).2_3n7","o8+(2)n7","s6(2)n7","sz(8).3m5","u4(3).2_2n7","u4(3).2_3n7","u6(2)n7"],
["7:6xA5.2","a12.2n7","fi23n7"],
["7:6xA7","f3+m20"],
["7:6xL3(2)","he.2m11"],
["7:6xS7","f3+.2m19"],
["7^(1+2):(D8x3)","l3(7).2m2","onn7"],
["7^(1+2):(S3x3)","hem8","hen7"],
["7^(1+2):(S3x6)","f3+n7","he.2m9","he.2n7","he.2n7c"],
["7^(1+2):48","u3(7)m1"],
["7^(1+2)_+:(3xD16)","on.2m7","on.2n7"],
["7^(1+2)_+:(6xS3).2","f3+.2m20","f3+.2n7"],
["7^(1+4):(3x2.S7)","mm24","mn7b"],
["7^(2+1+2):GL2(7)","mm29"],
["7^1+4.2A7","mc7b"],
["7^2:(3x2A4)","2e6(2)n7","3d4(2).3m8","3d4(2).3n7","co1m21","co1n7","f4(2)n7"],
["7^2:(3x2S4)","f4(2).2m10","f4(2).2n7","thm11","thn7"],
["7^2:2.L2(7).2","he.2m5","l3(7)m1"],
["7^2:24","l2(49)m1","l2(49)n7"],
["7^2:2A4","3d4(2)m7","3d4(2)n7"],
["7^2:2psl(2,7)","7^2:2.l2(7)","hem6","mm42"],
["7^2:S3","l3(8)m3"],
["8^2:S3","l3(9)m6","u3(7)m3"],
["91:3","l3(9)m7"],
["9:6","l2(8).3m3"],
["A10","a10.2m1","a11m1"],
["A10.2","a11.2m2","a12m2","fi22m12","fi22m13","s10","s8(2)m8"],
["A11","a11.2m1","a12m1"],
["A11.2","a12.2m2","a13m2","s11"],
["A12","a12.2m1","a13m1","hnm1","o10-(2)m7"],
["A12.2","a13.2m2","a14m2","fi23m9","hn.2m2","s12"],
["A13","a13.2m1","a14m1"],
["A13.2","a14.2m2","s13"],
["A14","a14.2m1"],
["A14.2","s12(2)m13","s14"],
["A15.2","s15"],
["A16.2","s16"],
["A17.2","s17"],
["A18.2","s18"],
["A19.2","s19"],
["A4x7:3","2^2.l3(4).3m5"],
["A4xS3","m12m11","m12n3b"],
["A5","a1(4)","a1(5)","a5.2m1","a6m1","j2m9","l2(109)m4","l2(109)m5","l2(11)m1","l2(11)m2","l2(125)m4","l2(19)m2","l2(19)m3","l2(29)m2","l2(29)m3","l2(31)m2","l2(31)m3","l2(4)","l2(5)","o3(4)","o3(5)","o4-(2)","s2(4)","s2(5)","s6(3)m11","u2(4)","u2(5)"],
["A5.2","a6.2_1m2","a7m4","j2.2m10","l2(25)m2","l3(5)m3","m11m4","m12.2m9","s5","thm16"],
["A5.2xM22.2","bm18","s5xm22.2"],
["A5xA5","g2(4)m7"],
["A6","a1(9)","a6.2_1m1","a6.2_3m1","a7m1","c2(2)'","l2(9)","l3(4)m3","o3(9)","o4-(3)","o5(2)'","s2(9)","s4(2)'","s4(5)m8","u2(9)","u3(11)m6","u3(11)m7","u3(11)m8"],
["A6.2^2","2f4(2)'m6","a10.2m8","a6.v4","m10.2","m12m3","m22.2m6","rum14","s6.2","u3(5).2m4","u4(3).2_1m12","u4(3).2_1m13","u4(3).2_3m9"],
["A6.2_1","a7.2m2","a8m4","o5(2)","s4(2)","s4(4)m7","s6","u4(2)m2"],
["A6.2_2","l3(9)m5","l4(3)m7","on.2m9","pgl(2,9)","u3(9)m3"],
["A6.2_3","a10m7","m10","m11m1","m22m7","thm14","u3(5)m5","u4(3)m15","u4(3)m16"],
["A6.D8","2.m12m3","2.rum14"],
["A6xL2(8):3","f3+m19"],
["A7","a7.2m1","a8m1","m22m3","m22m4","onm12","onm13","suzm17","u3(5)m1","u4(3)m10","u4(3)m11"],
["A7.2","a8.2m2","a9m2","s7","suz.2m16","u3(5).2m2"],
["A8","a8.2m1","a9m1","l4(2)","m23m4","rum8","sl42"],
["A8.2","a10m2","a9.2m2","hsm5","s6(2)m2","s8"],
["A8.2N2","a8.2syl2"],
["A9","a10m1","a9.2m1","o8+(2)m7"],
["A9.2","a10.2m2","a11m2","o7(3)m10","s9"],
["A9xS3","co1m16"],
["B","bm","f2+"],
["C9Y3.3^5.U4(2)","mc9a"],
["Co1","f2-"],
["Co2","co1m1"],
["Co3","co1m4"],
["Co3N2","2.s6(2)n2"],
["Co3N3","3^(1+4):4.3^2:d8"],
["D10","a5m2","a5n5","a6n5","l3(4)n5"],
["D108","27:2^2","l2(109)m3"],
["D110","l2(109)m2"],
["D112","28.2^2","l2(113)m3"],
["D114","l2(113)m2"],
["D120","l2(121)m5"],
["D122","l2(121)m4"],
["D126","l2(125)m2"],
["D14","l2(13)m2","l2(8)m3","sz(8)m4","sz(8)n7"],
["D16","l2(17)m5","l3(2).2m3"],
["D18","l2(17)m4","l2(19)m5","l2(8)m2"],
["D20","l2(11).2m5","l2(19)m4"],
["D22","l2(23)m5"],
["D24","l2(11).2m4","l2(23)m4","l2(25)m5"],
["D26","l2(25)m4","l2(27)m3"],
["D28","2.sz(8)m4","2.sz(8)n7","l2(27)m2","l2(29)m5"],
["D30","l2(29)m4","l2(31)m5"],
["D32","l2(31)m4"],
["D62","l2(32)m3","sz(32)m4"],
["D62x2","d124","l2(125)m3"],
["D6xD10","j1m6","j1n3","j1n5","j3n5","l2(16).2m5","l2(16).2n5","s3xd10"],
["D8","a6n2","a7n2","l3(2)n2"],
["D8x2F4(2)'.2","ndg(b,d8)"],
["D8xL3(2)","2^2.l3(4).2_2m5"],
["D8xL4(3).2_2","o8-(3).2_1m7"],
["D8xS6(2)","ndg(fi23,d8)"],
["F3+","f24c","f3+.2m1","fi24'"],
["F3+.2","f24","fi24","fi24'.2"],
["F4(2)","2e6(2)m3","f4(2).2m1","f4f2"],
["F4(2).2M8","f4(2).2n3b"],
["F4(2)M13","f4(2)n3c"],
["Fi22","2e6(2)m7","f22","fi22.2m1"],
["Fi22.2","2e6(2).2m6","f22.2"],
["Fi22N3","f22n3","o7(3)n3"],
["Fi22N5","2f4(2)'.2m5","2f4(2)'.2n5","f22n5","f4(2)n5","he.2m12","he.2n5","o8+(2).3.2n5"],
["Fi23","bm3","f23","f3+m1"],
["Fi23N3","bn3"],
["G2(3)","g2(3).2m1","g2f3","o7(3)m4"],
["G2(3).2","fi22.2m12","g2f3b"],
["G2(4)","g2(4).2m1","g2f4","suzm1"],
["G2(4).2","g2f4b","suz.2m2"],
["G2(5)","g2f5","lym1"],
["HN","f5+","ha","hn.2m1"],
["HN.2","bm11","f5+.2","ha.2"],
["HS","co3m2","hs.2m1"],
["HS.2","co2m5","hs:2"],
["HS.2N5","hs.2m9"],
["He","he.2m1"],
["He.2","f3+m13"],
["Isoclinic((3^2x2).U4(3).2_3')","6.suzm2"],
["Isoclinic(2.A10.2)","2.a12m2"],
["Isoclinic(2.A5.2)","2.a7m4","2.l2(25)m2"],
["Isoclinic(2.A7.2)","2.a9m2"],
["Isoclinic(2.A8.2)","2.a10m2","2.s6(2)m2","mcl.2c2a","mcl.2m7","mcl.2n2a"],
["Isoclinic(2.A9.2)","2.a11m2","2.o7(3)m10"],
["Isoclinic(2.G2(4).2)","2.suz.2m2"],
["Isoclinic(2.L3(2).2)","isoclinic(2.l2(7).2)"],
["Isoclinic(2.L3(4).2_1)","2.hsm4","2.l3(4).2_1*"],
["Isoclinic(2.L3(4).2_2)","2.l3(4).2_2*"],
["Isoclinic(2.L3(4).2_3)","2.l3(4).2_3*"],
["Isoclinic(2.M12.2)","2.suzm10"],
["Isoclinic(2.U4(3).2_1)","2.u4(3).2_1*"],
["Isoclinic(2.U4(3).2_2')","2.u4(3).2_2'*"],
["Isoclinic(2.U4(3).2_2)","2.u4(3).2_2*"],
["Isoclinic(2.U4(3).2_3')","2.u4(3).2_3'*"],
["Isoclinic(2.U4(3).2_3)","2.u4(3).2_3*"],
["Isoclinic(2x3^(1+2)_+:Q8)","6.l3(4)m9","6.m22n3"],
["Isoclinic(2x3^2:Q8)","2.l3(4)m9","2.m22n3"],
["Isoclinic(2x5:8)","4.m22n5"],
["Isoclinic(2xU3(3).2)","2.g2(4)m6","2.j2.2m2"],
["Isoclinic(2xU3(4).2)","2.g2(4)m4"],
["Isoclinic(4_1.L3(4).2_1)","4_1.l3(4).2_1*"],
["Isoclinic(4_1.L3(4).2_2)","4_1.l3(4).2_2*"],
["Isoclinic(4_2.L3(4).2_1)","4_2.l3(4).2_1*"],
["Isoclinic(4_2.L3(4).2_3)","4_2.l3(4).2_3*"],
["Isoclinic(4x3^2:Q8)","4.m22n3"],
["Isoclinic(6.A6x2)","4y6.a6"],
["Isoclinic(6.L3(4).2_1)","6.l3(4).2_1*"],
["Isoclinic(6.L3(4).2_2)","6.l3(4).2_2*"],
["Isoclinic(6.L3(4).2_3)","2.g2(4)m5","6.l3(4).2_3*"],
["Isoclinic(6_2.U4(3).2_3')","2.suzm2","2.suzn3a","6_2.u4(3).2_3'*"],
["Isoclinic(L2(13).2x2)","2.rum13"],
["Isoclinic(S8x2)","2.hsm5"],
["Isoclinic(U3(5).2x2)","2.hsm2"],
["J1","onm3"],
["J1x2","on.2m2"],
["J2","f5-","g2(4)m1","hj","j2.2m1"],
["J2.2","f5-.2","g2(4).2m2","hj.2","suzm6"],
["J2.2x2","suz.2m7"],
["J3","j3.2m1"],
["J4M4","n8j4"],
["L2(11)","a1(11)","j1m1","l2(11).2m1","m11m2","m12m5","m22m8","o3(11)","psl(2,11)","s2(11)","u2(11)","u5(2)m6"],
["L2(11).2","a12.2m11","bm29","l2(121)m2","l3(11)m3","m12.2m2","m22.2m7","pgl(2,11)","u3(11)m3","u5(2).2m7"],
["L2(13)","a1(13)","a14m9","g2(3)m9","g2(4)m8","o3(13)","psl(2,13)","s2(13)","s6(3)m10","s6(3)m9","u2(13)"],
["L2(13).2","f3+m23","f3+m24","g2(3).2m5","g2(4).2m9","mm44","pgl(2,13)","psl(2,13):2","rum13"],
["L2(16)","l2(16).2m1","psl(2,16)"],
["L2(16).2","j3m1","o8-(2)m6","psl(2,16):2","s4(4)m3"],
["L2(16).4","j3.2m2","o8-(2).2m7","s4(4).2m4"],
["L2(17)","a1(17)","j3m5","l2(17).2m1","o3(17)","psl(2,17)","s2(17)","s8(2)m11","u2(17)"],
["L2(17).2","bm28","pgl(2,17)"],
["L2(17)x2","j3.2m4"],
["L2(19)","a1(19)","j3m2","l2(19).2m1","o3(19)","psl(2,19)","s2(19)","u2(19)"],
["L2(19).2","mm43","pgl(2,19)","thm12"],
["L2(23)","fi23m14","m24m8","psl(2,23)"],
["L2(23).2","j4m9","pgl(2,23)"],
["L2(25)","2f4(2)'m4","psl(2,25)","suzm16"],
["L2(25).(2x4)","2.rum7"],
["L2(25).2^2","l2(25).v4","psl(2,25).2^2","rum7"],
["L2(25).2_1","pgl(2,25)","psl(2,25).2"],
["L2(25).2_2","s12(2)m16","s4(5)m3","suz.2m15"],
["L2(25).2_3","2f4(2)'.2m3"],
["L2(27)","psl(2,27)"],
["L2(27).2","psl(2,27).2"],
["L2(27).3","psl(2,27).3","s6(3)m6"],
["L2(29)","l2(29).2m1","psl(2,29)","rum9"],
["L2(29).2","mm41","pgl(2,29)"],
["L2(31)","bm25","onm7","psl(2,31)"],
["L2(31).2","pgl(2,31)"],
["L2(32)","l2(32).5m1"],
["L2(32).5","j4m8","psl(2,32):5","s10(2)m10"],
["L2(41)","mm40"],
["L2(49).2_3","bm24"],
["L2(71)","mm38"],
["L2(8)","2g2(3)'","a1(8)","l2(8).3m1","o3(8)","psl(2,8)","r(3)'","s2(8)","u2(8)"],
["L2(8).3","2g2(3)","a9m4","g2(3)m7","psl(2,8).3","r(27)m3","s6(2)m8"],
["L2(8):3x2","2.a9m4","2.s6(2)m8","g2(3).2m3"],
["L2(81).2_1","o8-(3)m9"],
["L2(81).4_1","o8-(3).2_1m10"],
["L3(2)","a1(7)","a2(2)","a7m2","a7m3","l2(7)","l3(11)m6","l3(2).2m1","l3(4)m6","l3(8)m5","m24m9","o3(7)","o8-(2)m8","psl(2,7)","s2(7)","u2(7)","u3(3)m2"],
["L3(2).2","a8.2m7","j2m7","l2(7).2","l3(7)m3","l3(8).2m6","o8-(2).2m9","on.2m10","pgl(2,7)","u3(3).2m3","u3(5).2m6","u3(7)m4"],
["L3(2).2x2","j2.2m8"],
["L3(2)wr2","l6(2)m8"],
["L3(2)xS3","hen3b","m24n3b"],
["L3(3)","a13m7","a13m8","bm27","l3(3).2m1","l3(9)m4","psl(3,3)","thm13"],
["L3(3).2","2f4(2)'m1","g2(3)m5","psl(3,3).2","psl(3,3):2","s6(3)m8","suzm14","suzm15"],
["L3(4)","m21","m22m1","psl(3,4)","u4(3)m4","u4(3)m5"],
["L3(4).2^2","hs.2m3","l3(4).d12m4","l3(4).v4","mcl.2m6","u4(3).(2^2)_{133}m5"],
["L3(4).2_1","hsm4","psl(3,4).2","u4(3).2_3m4","u6(2)m16"],
["L3(4).2_2","m22.2m2","m23m2","mclm7","psl(3,4):2","u4(3).2_1m5","u4(3).2_1m6"],
["L3(4).2_3","u4(3).2_3m3"],
["L3(4).3.2_2","l3(4).d12m3","m24m6","psl(3,4):s3"],
["L3(4).3.2_3","l3(4).d12m1"],
["L3(4).6","l3(4).d12m2"],
["L3(4).D12","co3m10","pls(3,4):d12","psl(3,4):d12"],
["L3(4)Syl2","l3(4)c2a","l3(4)n2a"],
["L3(5)","l3(5).2m1","psl(3,5)"],
["L3(5).2","g2(5)m4","psl(3,5).2"],
["L3(7)","l3(7).2m1"],
["L3(7).2","onm1"],
["L3(7).S3","l3(7).3.2"],
["L3(8)","l3(8).2m1","l3(8).3m1","psl(3,8)"],
["L4(3)","o6+(3)","psl(4,3)"],
["L4(3).2^2","f4(2).2m5","o6+(3).2^2","psl(4,3).v4"],
["L4(3).2_1","o6+(3).2_1","pgl(4,3)"],
["L4(3).2_2","f4(2)m12","o6+(3).2_2","o6p3b","o7(3)m3"],
["L4(3).2_3","o6+(3).2_3","psl(4,3).2"],
["L4(4)","o6+(4)"],
["L4(4).2^2","o6+(4).2^2"],
["L4(4).2_1","o6+(4).2_1"],
["L4(4).2_2","o6+(4).2_2"],
["L4(4).2_3","o6+(4).2_3"],
["L4(5)","o6+(5)"],
["L4(9)","o6+(9)"],
["L5(2)","l5(2).2m1","psl(5,2)"],
["L5(2).2","psl(5,2).2"],
["L5(3)","sl(5,3)"],
["L5(3).2","sl(5,3).2"],
["L6(2)","l6f2"],
["L7(2)","l7(2).2m1","l7f2"],
["L7(2).2","l7f2.2"],
["LyN2","(2.a11)syl2","mcl.2n2"],
["LyN5","bn5","hn.2n5"],
["M","f1"],
["M10x2","2.a10m7","u4(3).2_3m8"],
["M11","a11m6","a11m7","bm26","hsm8","m12m1","m23m5","mclm11","onm10"],
["M11N2","a6.2_3m4","m11syl2","qd16"],
["M11xA6.2^2","mm30"],
["M11xS3","3.mcl.2m8"],
["M12","a12m7","a12m8","fi22m14","m12.2m1"],
["M12.2","fi22.2m13","hnm11","m12:2","m24m4","suzm10"],
["M12.2x2","suz.2m11"],
["M12C4","u3(3)n2"],
["M12N2","g2(3)n2","m12syl2","p2(m12)"],
["M12N3","m12n3a"],
["M22","hsm1","m22.2m1","m23m1","mclm2","u6(2)m11"],
["M22.2","hs.2m2","j4m12v1","j4m12v2","j4m6","m24m2","u6(2).2m8"],
["M22C2A","m22n2a"],
["M23","co2m9","co3m4","m24m1"],
["M23C2A","m23c2","m23n2a"],
["M24C2A","m24n2a"],
["M24C2B","2^2.l3(4).2_2m2","2^2.l3(4).2_2m3","m24n2b"],
["M24N2","hen2"],
["M8.S4","2^{1+4}_+.s3","m12m9","q8.s4"],
["McL","co2m3","mcl.2m1"],
["McL.2","co3m1"],
["McLN2","(2.a8)syl2"],
["O10+(2)","o10+(2).2m1","o10p2c"],
["O10+(2).2","o10p2","s10(2)m2"],
["O10-(2)","2e6(2)m10","f3+m4","o10-(2).2m1"],
["O10-(2).2","2e6(2).2m7","f3+.2m5","s10(2)m1"],
["O12+(2).2","o12p2","s12(2)m2"],
["O12-(2).2","s12(2)m1"],
["O7(3)","f22m2","fi22m2","o7(3).2m1","o7f3","o8+(3)m1"],
["O7(3).2","2e6(2).2m10","o7f3d","o8-(3)m2"],
["O7(3).2x2","o8-(3).2_1m3"],
["O7(3)N3A","o7(3)m9"],
["O8+(2)","o8+(2).2m1","o8+(2).3m1","o8+(3)m10","o8p2"],
["O8+(2).2","f22u4","o8p2b","s8(2)m2"],
["O8+(2).3","o8p2d"],
["O8+(2).3.2","f22m4","f4(2)m7","fi22m4","o8+(2).s3","o8+(2):s3","o8p2s3"],
["O8+(2):S3x2","2.fi22m4","2xo8+(2):s3","fi22.2m3"],
["O8+(3)","o8p3"],
["O8+(3).3.2","fi23m2","o8+(3).s3","o8+(3):s3"],
["O8+(3).S4","bm12"],
["O8+(3)M27","o8+(3)c2d"],
["O8-(2)","o8-(2).2m1"],
["O8-(2).2","s8(2)m1"],
["O8-(3)","o8-(3).2_1m1","o8-(3).2_2m1","o8-(3).2_3m1"],
["ON","o'n","on.2m1"],
["ON.2","o'n.2"],
["P1/G1/L1/V1/ext2","2^4.a5","s4(5)m5","u4(2)m1"],
["P1/G1/L1/V1/ext3","3^4.a5v1"],
["P1/G1/L1/V1/ext4","4^4.a5"],
["P1/G1/L1/V1/ext5","5^4.a5"],
["P1/G1/L1/V1/ext6","6^4.a5v1"],
["P1/G1/L1/V2/ext3","3^4.a5v2"],
["P1/G1/L1/V2/ext6","6^4.a5v2"],
["P1/G2/L1/V1/ext2","2.l3(4)m1","2.l3(4)m2","2^5.a5v1","2am20"],
["P1/G2/L1/V1/ext3","3^5.a5"],
["P1/G2/L1/V1/ext4","4^5.a5v1"],
["P1/G2/L1/V2/ext2","2^5.a5v2","2cm20"],
["P1/G2/L1/V2/ext4","4^5.a5v2"],
["P1/G2/L2/V2/ext2","2^5.a5v3"],
["P1/G2/L2/V2/ext4","4^5.a5v3"],
["P1/G3/L2/V1/ext2","2^2.l3(4)m1","2^2.l3(4)m2","2^6.a5"],
["P1/G3/L2/V1/ext3","3^6.a5"],
["P11/G1/L1/V1/ext2","2^6.l3(2)v1"],
["P11/G1/L1/V1/ext3","3^6.l3(2)v1"],
["P11/G1/L1/V1/ext4","4^6.l3(2)v1"],
["P11/G1/L1/V2/ext2","2^6.l3(2)v2"],
["P11/G1/L1/V2/ext4","4^6.l3(2)v2"],
["P11/G1/L1/V3/ext2","2^6.l3(2)v3"],
["P11/G1/L1/V3/ext4","4^6.l3(2)v3"],
["P11/G2/L1/V1/ext2","2^6.l3(2)v4"],
["P11/G2/L1/V1/ext3","3^6.l3(2)v2"],
["P11/G2/L1/V2/ext2","2^6.l3(2)v5"],
["P11/G3/L1/V1/ext2","2^7.l3(2)v1"],
["P11/G3/L1/V1/ext3","3^7.l3(2)v1"],
["P11/G3/L1/V2/ext3","3^7.l3(2)v2"],
["P11/G3/L3/V1/ext2","2^7.l3(2)v2"],
["P11/G3/L3/V2/ext3","3^7.l3(2)v3"],
["P11/G3/L4/V2/ext2","2^7.l3(2)v3"],
["P11/G3/L4/V2/ext3","3^7.l3(2)v4"],
["P11/G3/L4/V3/ext2","2^7.l3(2)v4"],
["P11/G4/L1/V1/ext2","2^8.l3(2)"],
["P11/G4/L1/V1/ext3","3^8.l3(2)"],
["P12/G1/L2/V1/ext2","2^8.2.l3(2)"],
["P12/G1/L2/V1/ext3","3^8.2.l3(2)"],
["P13/G1/L2/V1/ext2","2^7.2^3:sl(3,2)v1"],
["P13/G1/L2/V1/ext3","3^7.2^3:sl(3,2)"],
["P13/G1/L6/V1/ext2","2^7.2^3:sl(3,2)v2"],
["P1L82","agl(7,2)"],
["P2/G1/L1/V1/ext2","2^8.2.a5v1"],
["P2/G1/L1/V1/ext3","3^8.2.a5v1"],
["P2/G2/L1/V1/ext2","2^8.2.a5v2"],
["P2/G2/L1/V1/ext3","3^8.2.a5v2"],
["P2/G2/L1/V2/ext2","2^8.2.a5v3"],
["P21/G1/L1/V1/ext2","2^5.a6"],
["P21/G1/L1/V1/ext3","3^5.a6v1"],
["P21/G1/L1/V1/ext4","4^5.a6"],
["P21/G1/L3/V2/ext3","3^5.a6v2"],
["P21/G2/L1/V1/ext2","2^9.a6v1"],
["P21/G2/L1/V2/ext2","2^9.a6v2"],
["P21/G2/L1/V3/ext2","2^9.a6v3"],
["P21/G2/L2/V1/ext2","2^9.a6v4"],
["P21/G2/L2/V2/ext2","2^9.a6v5"],
["P21/G2/L2/V3/ext2","2^9.a6v6"],
["P21/G2/L5/V2/ext2","2^9.a6v7"],
["P21/G3/L2/V1/ext2","2^10.a6v1"],
["P21/G3/L5/V1/ext2","2^10.a6v2"],
["P27/G1/L1/V1/ext2","2^6.a7"],
["P27/G1/L1/V1/ext3","3^6.a7"],
["P27/G1/L1/V1/ext4","4^6.a7"],
["P2L62","2^8:(a8xs3)","l6(2)m3","l6(2)m4"],
["P31/G1/L1/V1/ext2","2.o8+(2)m4","2^7.a8"],
["P31/G1/L1/V1/ext3","3^7.a8"],
["P3L62","2^9:(l3(2)xl3(2))","l6(2)m5"],
["P41/G1/L1/V1/ext2","2^7.l2(8)v1"],
["P41/G1/L1/V1/ext3","3^7.l2(8)v1"],
["P41/G1/L1/V2/ext2","2^7.l2(8)v2"],
["P41/G1/L1/V3/ext3","3^7.l2(8)v2"],
["P41/G1/L1/V4/ext2","2^7.l2(8)v3"],
["P41/G1/L1/V4/ext3","3^7.l2(8)v3"],
["P41/G2/L1/V1/ext2","2^8.l2(8)"],
["P41/G2/L1/V1/ext3","3^8.l2(8)"],
["P43/G1/L1/V1/ext2","2^10.l2(11)v1"],
["P43/G2/L1/V1/ext2","2^10.l2(11)v2"],
["P43/G3/L1/V1/ext2","2^10.l2(11)v3"],
["P43/G3/L1/V2/ext2","2^10.l2(11)v4"],
["P48/G1/L1/V1/ext2","2^10.m11v1"],
["P48/G1/L1/V2/ext2","2^10.m11v2"],
["P49/G1/L1/V1/ext2","2^7.u3(3)"],
["P49/G1/L1/V1/ext3","3^7.u3(3)v1"],
["P49/G1/L1/V2/ext3","3^7.u3(3)v2"],
["P50/G1/L1/V1/ext3","3^6.u4(2)"],
["P50/G1/L1/V1/ext4","4^6.u4(2)"],
["R(27)","2g2(27)","r(27).3m1"],
["S10(2)","o11(2)","o11f2","s10f2"],
["S10x2","2.fi22m12","a12.2m3"],
["S10xS3","a13.2m4"],
["S11x2","a13.2m3"],
["S12(2)","o13(2)"],
["S3","a5m3","a5n3","agl(1,3)","l2(2)","l3(2)n3"],
["S3wrS4","a12.2m10"],
["S3x13:6","fi23n13","s3xo7(3)n13"],
["S3x2","a5.2m4","d12","l2(11)m4","l2(13)m3","l3(2).2m4"],
["S3x2.U4(3).2_2","2.fi22m8"],
["S3x3^(1+2)+:2A4","u5(2)m5"],
["S3x3_1.U4(3).2_2","3.fi22m8"],
["S3x5:4","a8.2n5","s6(2)n5","u6(2)n5"],
["S3x6_1.U4(3).2_2","6.fi22m8","ndg(6.fi22,3^2)"],
["S3x7:6","co3n7","fi22n7","l3(4).d12m8"],
["S3xFi22.2","bm9","bn3a"],
["S3xJ2.2","3.suz.2m7"],
["S3xL2(8)","3d4(2)m4"],
["S3xM12.2","3.suz.2m11"],
["S3xO7(3)","fi23m5"],
["S3xO8+(3):S3","f3+.2m4","f3+.2n3a"],
["S3xS6","a9.2m4","s6(2)m7"],
["S3xS6(2)","f4(2)n3a","s8(2)m6"],
["S3xTh","mm9","mn3c"],
["S3xU4(2)","u6(2)m14"],
["S3xU4(3).(2^2)_{122}","fi22.2m7","fi22.2n3a"],
["S3xU4(3).2_2","fi22m8","s3xu4(3):2_2"],
["S4(4)","o5(4)","s4(4).2m1","s4f4"],
["S4(4).2","hem1","o5(4).2","s4f4:2","s8(2)m9"],
["S4(4).4","f4(2).2m6","fi23m13","he.2m2","o5(4).4"],
["S4(5)","o5(5)"],
["S4(5).2","o5(5).2"],
["S4(7)","o5(7)"],
["S4(7).2","o5(7).2"],
["S4(8)","o5(8)"],
["S4(8).3","o5(8).3","s12(2)m14"],
["S4(9)","o5(9)"],
["S4(9).2^2","o5(9).2^2"],
["S4(9).2_1","o5(9).2_1"],
["S4(9).2_2","o5(9).2_2"],
["S4(9).2_3","o5(9).2_3"],
["S4wrS3","a12.2m8"],
["S4x2F4(2)'.2","bm16","s4x2f4(2)"],
["S4x5^2:4S4","f3+.2n5"],
["S4xL3(2).2","he.2m10"],
["S4xO8+(2):S3","f3+.2m13"],
["S4xS3","a7.2m4","m12.2m8"],
["S4xS4","l4(3)m8"],
["S4xS6(2)","fi23m12"],
["S4xU4(2).2","o8-(3)m7"],
["S5xS3","a8.2m5","l3(4).d12m7","s4(5)m6"],
["S5xS4","a9.2m5"],
["S5xS9","f3+.2m17"],
["S6(2)","l6(2)m6","o7(2)","o7(3)m7","o8+(2)m1","o8-(2)m2","s6f2","u6(2)m8"],
["S6(2)N2","o7(3)n2"],
["S6(3)","s6f3"],
["S6(4)","o7(4)"],
["S6(4).2","o7(4).2","s12(2)m11"],
["S6x2","a8.2m3","s4(4).2m8","u4(2).2m3"],
["S6xL2(8):3","f3+.2m18"],
["S6xS4","a10.2m6","o7(3)m14"],
["S6xS5","a11.2m6"],
["S7x2","a9.2m3"],
["S7xS3","a10.2m4"],
["S7xS4","a11.2m5"],
["S7xS5","a12.2m7"],
["S7xS6","a13.2m7"],
["S8(2)","f4(2)m3","fi23m4","l8(2)m8","o10+(2)m1","o10-(2)m2","o9(2)","s8f2"],
["S8(2)M3","2.fi22m6","s8(2)c2a"],
["S8x2","a10.2m3","hs.2m4"],
["S8xS3","a11.2m4","o8-(2).2m6"],
["S8xS4","a12.2m6"],
["S8xS5","a13.2m6"],
["S9x2","a11.2m3"],
["S9xS3","a12.2m4"],
["S9xS4","a13.2m5"],
["Suz","suz.2m1"],
["Symm(4)","l2(31)m6","l2(31)m7","l3(2)m1","l3(2)m2"],
["Sz(8)","sz(8).3m1","sz8"],
["Th","bm5","f3"],
["ThN3B","thm6"],
["U3(11)","u3q11"],
["U3(11).2","j4m5","psu(3,11):2"],
["U3(11).S3","u3(11).3.2"],
["U3(3)","g2(2)'","j2m1","j4m10","l3(9)m3","u3(3).2m1","u3q3","u4(3)m7"],
["U3(3).2","3d4(2)m3","f3+m21","f3+m22","g2(2)","g2(3)m1","g2(4)m6","g2(5)m6","j2.2m2","s6(2)m4","u332","u3q3a","u4(3).2_3m6"],
["U3(4)","u3(4).2m1","u3q4"],
["U3(4).2","g2(4)m4","u3(4).4m1","u3q4a"],
["U3(4).4","g2(4).2m5","mm37"],
["U3(5)","mclm4","u3(5).2m1","u3(5).3m1","u3q5"],
["U3(5).2","c4u2","hsm2","mcl.2m3","rum5","u3(5).3.2m2","u3q5:2"],
["U3(5).3","u3(5).3.2m1","u3q5.3"],
["U3(5).3.2","co3m7","u3(5).s3","u3(5):s3","u3q5:s3"],
["U3(8)","u3q8"],
["U3(8).3_1","2e6(2)m15","hnm3"],
["U3(8).6","2e6(2).2m13","hn.2m4","thm4"],
["U4(2)","s4(3)","u4(2).2m1","u4(3)m2","u4q2"],
["U4(2).2","l4(3)m3","o6m2.2","s6(2)m1","s6f2s1","u4(3).2_1m3","u5(3)m5","w(e6)"],
["U4(3)","c3u1","f22u1","mclm1","u4(3).2_1m1","u4(3).2_3m1","u4q3"],
["U4(3).(2^2)_{133}","co3m3"],
["U4(3).2_1","u4(3).(2^2)_{133}m1"],
["U4(3).2_2","f22u2","u4q3b","u6(2)m4"],
["U4(3).2_3","mcl.2m2","u4(3).(2^2)_{133}m2"],
["U4(3).2_3'","u4(3).(2^2)_{133}m3"],
["U4(3).D8","co2m7","u4q3.d8"],
["U4(3)M12","u4(3)m13"],
["U5(2)","suzm3","u5(2).2m1","u5q2","u6(2)m1"],
["U5(2).2","suz.2m4","u6(2).2m2"],
["U6(2)","u6(2).2m1","u6(2).3m1","u6q2"],
["U6(2).2","co2m1","u6q2.2"],
["U6(2).3","u6q2.3"],
["U6(2).3.2","co1m6","u6(2).s3","u6(2):s3"],
["V4","2^2"],
["[2^20]:(S3xL3(2))","f4(2)m5"],
["[2^20]:A6.2^2","f4(2).2m2"],
["[2^22]:(S3xS3):2","f4(2).2m3"],
["[2^30].L5(2)","bm8"],
["[2^35].(S5xL3(2))","bm10"],
["[7^6]:(6x6)","mn7"],
["a4","a5m1","a5n2","agl(1,4)","l2(13)m4","l2(27)m4","l2(3)"],
["a4xa5","j2m5"],
["a4xs5","co3m14"],
["a5wc2","s4(4)m5"],
["a5xd10","j2m6","u3(4).2m3"],
["b33141","u4(2)m5"],
["bd10","2.a5m2","2.a5n5","2.a6n5"],
["c2aj4","j4c2a","j4m2"],
["c3d2","co3d2"],
["f22s2","fi22n2"],
["frob","29:28","agl(1,29)","f3+.2m21","f3+.2n29","f3+.2n29a","j4m11","j4n29","j4n29a","l2(29).2m2"],
["group6","l3(3).2m3"],
["h4","s4(5)m4"],
["hed3","2^2.psl(3,4).s3m5"],
["j2nd2","j2d2"],
["j3m4","2^4:(3xa5)","agl(2,4)"],
["j3m6","(3xa6):2_2","j3n3a"],
["mo61","a8.2m4"],
["mo62","a10m6","u4(2).2m2"],
["mx1j4","j4m1"],
["s2wrs3","a6.2_1m6"],
["s2wrs4","a8.2m6","w(b4)"],
["s2wrs5","a10.2m7","w(b5)"],
["s3wrs2","3^2:d8","a6.2_1m4","a8n3"],
["s3wrs3","a9.2m6","u4(2).2m5"],
["s3xpsl(2,8).3","3d4(2).3m5","co3m13"],
["s4","a5.2m2","a6m4","agl(2,2)","l2(11).2m3","l2(113)m4","l2(113)m5","l2(17)m2","l2(17)m3","l2(23)m2","l2(23)m3","l3(3)m4"],
["s4xpsl(3,2)","hem9"],
["s5wrs2","a10.2m5","he.2m7"],
["s61p","a8n2","a8syl2"],
["twd5a","2.u4(2).2m2"],
["w(f4)","u4(2).2m6","weylf(4)"]
]
]
[ Dauer der Verarbeitung: 0.27 Sekunden
(vorverarbeitet)
]
|
