|
{
"date":"13.09.2023",
"comment":[
"The data records are arrays of length 5 or 6.",
"The first four entries of each record are the character name,",
"the character position, the degree of the character field,",
"and a string describing the OD.",
"The last entry is a string that lists how the OD was computed,",
"as a comma separated sequence of flags.",
"For non-simple groups in characteristic 2,",
"the record has length 6, and position 5 describes whether",
"the matrix group embeds in the simple orthogonal group (value S+)",
"or not (value S-).",
"The flags listed in the last column mean the following:",
"- AGR: verified using the Atlas of Group Representations",
"- RP: verified using a representations constructed by Richard Parker",
"- const(<rep>): verified using a constituent of the reduction of <rep>",
" (a permutation representation from the AGR)",
"- order: group order divides the order of only one relevant O+/O- group",
"- permchar: chi+1 is a 2-trans. permutation character",
"- lift: the p-modular OD arises from the ordinary OD",
"- lift(+...): the p-modular OD arises from the ordinary OD and known ODs",
"- ev: there is a group element without eigenvalues +-1",
"- ext(...): the OD of the restriction to a subgroup is known",
"- rest(...): the character is the restriction from an overgroup",
"- specht: verified using the Jantzen-Schaper formula",
"- syl(<p>): verified by orth. stable restriction to a Sylow <p>-subgroup"
],
"names":["A5","L3(2)","A6","L2(8)","L2(11)","L2(13)","L2(17)","A7","L2(19)","L2(16)","L3(3)","U3(3)","L2(23)","L2(25)","M11","L2(27)","L2(29)","L2(31)","L3(4)","A8","U4(2)","Sz(8)","L2(32)","L2(49)","U3(4)","M12","U3(5)","J1","A9","L2(81)","L3(5)","M22","J2","S4(4)","S6(2)","A10","L3(7)","U4(3)","G2(3)","S4(5)","U3(8)","U3(7)","L4(3)","L5(2)","M23","U5(2)","L3(8)","2F4(2)'","A11","Sz(32)","L3(9)","U3(9)","HS","J3","U3(11)","O8+(2)","O8-(2)","3D4(2)","A12","M24","G2(4)","McL","A13","He","O7(3)","S6(3)","G2(5)","U6(2)","R(27)","L6(2)","S8(2)","Ru","Suz","ON","Co3","O8+(3)","O8-(3)","O10+(2)","O10-(2)","Co2","Fi22","HN","F4(2)","S10(2)","Ly","Th","Fi23","Co1"],
"A5":{
"names":["A5","A5.2"],
"A5":{
"0":[
["4a",4,1,"5","OBGN,permchar,AGR,ev,ext(D10),rest(A5.2),syl(5),specht"]],
"2":[
["4a",4,1,"O-","RP,order,AGR,lift,syl(5)"]],
"3":[
["4a",4,1,"O-","RP,order,lift,AGR,ev,ext(D10),syl(5)"]],
"5":[]},
"A5.2":{
"0":[
["6a",3,1,"-5","ind(A5),ext(5:4),specht"],
["4a",4,1,"5","permchar,ev,ext(A5),ext(5:4),specht,syl(5)"],
["4b",5,1,"5","ev,permchar,ext(A5),ext(5:4),specht,syl(5)"]],
"2":[
["4b",3,1,"O-","S-","RP,order,lift,ext(A5),const(S5G1-p5B0),syl(5),ext(5:4)"]],
"3":[
["6a",3,1,"O+","RP,AGR,ext(5:4),lift"],
["4a",4,1,"O-","order,lift,ev,ext(5:4),ext(A5),syl(5)"],
["4b",5,1,"O-","order,ev,lift,ext(5:4),ext(A5),syl(5)"]],
"5":[]}},
"L3(2)":{
"names":["L3(2)","L3(2).2"],
"L3(2)":{
"0":[
["6a",4,1,"-7","OBGN,permchar,ev,ext(7:3),rest(A7),AGR,syl(7)"],
["8a",6,1,"21","OBGN,ext(7:3),AGR"]],
"2":[
["8a",4,1,"O-","RP,AGR,ext(7:3),lift"]],
"3":[
["6a",4,1,"O-","RP,order,lift,ev,AGR,ext(7:3),syl(7)"]],
"7":[]},
"L3(2).2":{
"0":[
["6a",3,1,"-7","ev,permchar,ext(L3(2)),ext(7:6),syl(7)"],
["6b",4,2,"-7","ev,permchar,ext(L3(2)),ext(7:6),syl(7)"],
["6c",5,2,"-7","ev,permchar,ext(L3(2)),ext(7:6),syl(7)"],
["8a",8,1,"21","ext(L3(2)),ext(7:6)"],
["8b",9,1,"21","ext(L3(2)),ext(7:6)"]],
"2":[
["6a",2,1,"O+","S-","RP,order,ext(L3(2)),lift,const(L27d2G1-p8B0),syl(7),ext(7:6)"],
["8a",3,1,"O-","S-","RP,ext(L3(2)),rest(O8-(2).2),lift,const(L27d2G1-p21B0),ext(7:6)"]],
"3":[
["6a",3,1,"O-","RP,order,ev,lift,ext(L3(2)),ext(7:6),syl(7)"],
["6b",4,2,"O+","order,ev,lift,ind(L3(2)),ext(7:6),ext(L3(2)),syl(7)"],
["6c",5,2,"O+","order,ev,lift,ind(L3(2)),ext(7:6),ext(L3(2)),syl(7)"]],
"7":[]}},
"A6":{
"names":["A6","A6.2_1","A6.2_2","A6.2_3"],
"A6":{
"0":[
["8a",4,2,"1","OBGN,permchar,ext(3^2:4),rest(A6.2_2),syl(3)"],
["8b",5,2,"1","OBGN,permchar,ext(3^2:4),rest(A6.2_2),syl(3)"],
["10a",7,1,"-1","OBGN,ext(3^2:4),AGR,specht"]],
"2":[
["8a",4,2,"O+","RP,syl(3),ext(3^2:4)"],
["8b",5,2,"O+","RP,syl(3),ext(3^2:4)"]],
"3":[
["4a",4,1,"O-","RP,order,ev,AGR,ext(A6M2),ext(D10),ext(A5),syl(5)"]],
"5":[
["8a",4,1,"O+","RP,lift,AGR,ext(3^2:4),syl(3)"],
["10a",5,1,"O+","RP,lift,AGR,ext(3^2:4)"]]},
"A6.2_1":{
"0":[
["16a",7,1,"1","ext(A6),ext(s3wrs2),specht,syl(3)"],
["10a",10,1,"-1","ext(A5.2),ext(A6),ext(s3wrs2),ext(5:4),specht"],
["10b",11,1,"-1","ext(A5.2),ext(A6),ext(s3wrs2),ext(5:4),specht"]],
"2":[
["16a",4,1,"O+","S+","RP,ext(s3wrs2),lift,ext(A6),syl(3)"]],
"3":[
["6a",3,1,"O+","RP,ext(5:4),ext(A5.2)"],
["4a",4,1,"O-","order,ev,ext(A6.2_1M3),ext(5:4),ext(A5.2),ext(A6),syl(5)"],
["4b",5,1,"O-","order,ev,ext(A6.2_1M3),ext(5:4),ext(A5.2),ext(A6),syl(5)"]],
"5":[
["8a",7,1,"O+","ext(A6),ext(s3wrs2),syl(3)"],
["8b",8,1,"O+","ext(A6),ext(s3wrs2),syl(3)"],
["10a",9,1,"O+","ext(A6),ext(s3wrs2),lift"],
["10b",10,1,"O+","ext(A6),ext(s3wrs2),lift"]]},
"A6.2_2":{
"0":[
["10a",3,1,"-1","ind(A6)"],
["8a",4,2,"1","permchar,ext(A6),syl(3)"],
["8b",5,2,"1","permchar,ext(A6),syl(3)"],
["8c",6,2,"1","permchar,ext(A6),syl(3)"],
["8d",7,2,"1","permchar,ext(A6),syl(3)"],
["10b",10,2,"-1","ext(A6)"],
["10c",11,2,"-1","ext(A6)"]],
"2":[
["8b",3,2,"O+","S-","RP,ext(A6),syl(3)"],
["8c",4,2,"O+","S-","RP,ext(A6),syl(3)"]],
"3":[
["4a",7,2,"O+","ev,ind(A6),ext(D16),ext(D20),ext(A6),syl(5)"],
["4b",8,2,"O+","ev,ind(A6),ext(D16),ext(D20),ext(A6),syl(5)"]],
"5":[
["10a",3,1,"O+","RP,lift"],
["8a",4,1,"O+","lift,ext(A6),syl(3)"],
["8b",5,1,"O+","lift,ext(A6),syl(3)"],
["10b",6,2,"O+","ind(A6),ext(A6),lift"],
["10c",7,2,"O+","ind(A6),ext(A6),lift"]]},
"A6.2_3":{
"0":[
["10a",3,1,"-1","ind(A6)"],
["16a",4,1,"1","ind(A6),ext(A6),ext(3^2:Q8),syl(3)"]],
"2":[
["16a",3,1,"O+","S+","RP,ext(3^2:Q8),lift,ext(A6),syl(3)"]],
"3":[
["6a",3,1,"O+","RP,ext(5:4)"]],
"5":[
["10a",3,1,"O+","RP,lift"],
["8a",4,1,"O+","ext(A6),syl(3),ext(3^2:Q8)"],
["8b",5,1,"O+","ext(A6),syl(3),ext(3^2:Q8)"]]}},
"L2(8)":{
"names":["L2(8)","L2(8).3"],
"L2(8)":{
"0":[
["8a",6,1,"1","TB,permchar,AGR,ev,ext(D18),syl(3)"]],
"2":[
["4a",5,3,"O+","AGR,ext(2^3:7),syl(3),syl(7)"],
["4b",6,3,"O+","AGR,ext(2^3:7),syl(3),syl(7)"],
["4c",7,3,"O+","AGR,ext(2^3:7),syl(3),syl(7)"],
["8a",8,1,"O+","AGR,lift,syl(3)"]],
"3":[],
"7":[
["8a",6,1,"O+","lift,AGR,ev,ext(D18),syl(3)"]]},
"L2(8).3":{
"0":[
["8a",8,1,"1","permchar,AGR,ev,ext(L2(8)),ext(9:6),rest(A9),syl(3)"]],
"2":[
["12a",5,1,"O+","AGR,ext(7:6),ext(2^3.7.3),ext(L2(8)),syl(3),syl(7),ext(9:6)"],
["8a",6,1,"O+","AGR,lift,ext(L2(8)),syl(3),ext(9:6)"]],
"3":[],
"7":[
["8a",8,1,"O+","lift,AGR,ev,ext(9:6),ext(L2(8)),syl(3)"]]}},
"L2(11)":{
"names":["L2(11)","L2(11).2"],
"L2(11)":{
"0":[
["10a",4,1,"-11","OBGN,AGR,ev,permchar,ext(11:5),syl(11)"],
["10b",5,1,"-11","OBGN,permchar,AGR,ev,ext(11:5),syl(11)"],
["12a",7,2,"22-11b5","OBGN,ext(11:5),AGR"],
["12b",8,2,"11b5+33","OBGN(edited),ext(11:5),AGR"]],
"2":[
["10a",4,1,"O-","RP,order,AGR,ext(11:5),lift,syl(11)"],
["12a",5,2,"O-","RP,AGR,ext(11:5)"],
["12b",6,2,"O-","RP,AGR,ext(11:5)"]],
"3":[
["10a",4,1,"O+","RP,order,lift,AGR,ev,ext(11:5),syl(11)"],
["12a",5,2,"O-","RP,lift,AGR,ext(11:5)"],
["12b",6,2,"O-","RP,lift,AGR,ext(11:5)"]],
"5":[
["10a",4,1,"O+","RP,order,lift,AGR,ev,ext(11:5),syl(11)"],
["10b",5,1,"O+","RP,order,lift,AGR,ev,ext(11:5),syl(11)"]],
"11":[]},
"L2(11).2":{
"0":[
["10a",3,1,"-11","ev,permchar,ext(L2(11)),ext(11:10),syl(11)"],
["10b",4,1,"-11","ev,permchar,ext(L2(11)),ext(11:10),syl(11)"],
["10c",5,1,"-11","ev,permchar,ext(L2(11)),ext(11:10),syl(11)"],
["10d",6,2,"-11","ev,permchar,ext(L2(11)),ext(11:10),syl(11)"],
["10e",7,2,"-11","ev,permchar,ext(L2(11)),ext(11:10),syl(11)"],
["12a",10,2,"22-11b5","ext(L2(11)),ext(11:10)"],
["12b",11,2,"22-11b5","ext(L2(11)),ext(11:10)"],
["12c",12,2,"11b5+33","ext(L2(11)),ext(11:10)"],
["12d",13,2,"11b5+33","ext(L2(11)),ext(11:10)"]],
"2":[
["10a",2,1,"O-","S-","RP,order,AGR,ext(L2(11)),lift,syl(11),ext(11:10)"],
["10b",3,1,"O-","S-","RP,order,AGR,lift,ext(L2(11)),syl(11),ext(11:10)"],
["12a",4,2,"O-","S-","RP,AGR,ext(L2(11)),ext(11:10)"],
["12b",5,2,"O-","S-","RP,AGR,ext(L2(11)),ext(11:10)"]],
"3":[
["10a",3,1,"O+","RP,order,ev,lift,ext(L2(11)),ext(11:10),syl(11)"],
["10b",4,1,"O+","order,ev,lift,ext(11:10),ext(L2(11)),syl(11)"],
["10c",5,1,"O+","order,ev,lift,ext(11:10),ext(L2(11)),syl(11)"],
["12a",6,2,"O-","ext(L2(11)),ext(11:10),lift"],
["12b",7,2,"O-","ext(L2(11)),ext(11:10),lift"],
["12c",8,2,"O-","ext(L2(11)),ext(11:10),lift"],
["12d",9,2,"O-","ext(L2(11)),ext(11:10),lift"]],
"5":[
["10a",3,1,"O+","RP,order,ev,lift,ext(L2(11)),ext(11:10),syl(11)"],
["10b",4,1,"O+","order,ev,lift,ext(11:10),ext(L2(11)),syl(11)"],
["10c",5,1,"O+","order,ev,lift,ext(11:10),ext(L2(11)),syl(11)"],
["10d",6,2,"O+","order,ev,lift,ind(L2(11)),ext(11:10),ext(L2(11)),syl(11)"],
["10e",7,2,"O+","order,ev,lift,ind(L2(11)),ext(11:10),ext(L2(11)),syl(11)"]],
"11":[]}},
"L2(13)":{
"names":["L2(13)","L2(13).2"],
"L2(13)":{
"0":[
["12a",4,3,"13","OBGN,AGR,ev,permchar,ext(13:6),rest(L2(13).2),syl(13)"],
["12b",5,3,"13","OBGN,AGR,ev,permchar,ext(13:6),rest(L2(13).2),syl(13)"],
["12c",6,3,"13","OBGN,AGR,ev,permchar,ext(13:6),rest(L2(13).2),syl(13)"],
["14a",8,1,"-39","OBGN,AGR,ext(13:6),rest(L2(13).2)"],
["14b",9,1,"-39","OBGN,AGR,ext(13:6)"]],
"2":[
["12a",4,3,"O-","RP,AGR,syl(13)"],
["12b",5,3,"O-","RP,AGR,syl(13)"],
["12c",6,3,"O-","RP,AGR,syl(13)"],
["14a",7,1,"O+","RP,AGR,lift"]],
"3":[
["12a",4,3,"O+","RP,lift,ev,ext(13:6),syl(13)"],
["12b",5,3,"O+","RP,lift,ev,ext(13:6),syl(13)"],
["12c",6,3,"O+","RP,lift,ev,ext(13:6),syl(13)"]],
"7":[
["12a",4,1,"O-","RP,order,lift,AGR,ev,ext(13:6),syl(13)"],
["14a",5,1,"O-","RP,lift,ext(13:6)"],
["14b",6,1,"O-","RP,lift,ext(13:6)"]],
"13":[]},
"L2(13).2":{
"0":[
["14a",3,1,"-13","ind(L2(13))"],
["12a",4,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["12b",5,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["12c",6,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["12d",7,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["12e",8,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["12f",9,3,"13","ev,permchar,ext(L2(13)),syl(13)"],
["14b",12,1,"-39","ext(L2(13))"],
["14c",13,1,"-39","ext(L2(13))"],
["14d",14,2,"-13","ext(L2(13))"],
["14e",15,2,"-13","ext(L2(13))"]],
"2":[
["12b",3,3,"O-","S-","RP,ext(L2(13)),syl(13)"],
["12c",4,3,"O-","S-","RP,ext(L2(13)),syl(13)"],
["12d",5,3,"O-","S-","RP,ext(L2(13)),syl(13)"],
["14a",6,1,"O+","S-","RP,AGR,lift,ext(L2(13))"]],
"3":[
["14a",3,1,"O-","RP,lift"],
["12a",4,3,"O+","ev,lift,ext(L2(13)),syl(13)"],
["12b",5,3,"O+","ev,lift,ext(L2(13)),syl(13)"],
["12c",6,3,"O+","ev,lift,ext(L2(13)),syl(13)"],
["12d",7,3,"O+","ev,lift,ext(L2(13)),syl(13)"],
["12e",8,3,"O+","ev,lift,ext(L2(13)),syl(13)"],
["12f",9,3,"O+","ev,lift,ext(L2(13)),syl(13)"]],
"7":[
["14a",3,1,"O+","RP,lift"],
["12a",4,1,"O-","order,ev,lift,ext(L2(13)),syl(13)"],
["12b",5,1,"O-","order,ev,lift,ext(L2(13)),syl(13)"],
["14b",6,1,"O-","ext(L2(13)),lift"],
["14c",7,1,"O-","ext(L2(13)),lift"],
["14d",8,2,"O+","ind(L2(13)),ext(L2(13)),lift"],
["14e",9,2,"O+","ind(L2(13)),ext(L2(13)),lift"]],
"13":[]}},
"L2(17)":{
"names":["L2(17)","L2(17).2"],
"L2(17)":{
"0":[
["16a",4,1,"17","TB,AGR,ev,permchar,ext(17:8),rest(L2(17).2),syl(17)"],
["16b",5,3,"17","TB,ev,permchar,ext(17:8),rest(L2(17).2),syl(17)"],
["16c",6,3,"17","TB,ev,permchar,ext(17:8),rest(L2(17).2),syl(17)"],
["16d",7,3,"17","TB,ev,permchar,ext(17:8),rest(L2(17).2),syl(17)"],
["18a",9,1,"-17","TB,AGR,ext(17:8)"],
["18b",10,2,"-17","TB,ext(17:8)"],
["18c",11,2,"-17","TB,ext(17:8)"]],
"2":[
["16a",4,1,"O+","RP,AGR,lift,syl(17)"],
["16b",5,3,"O+","RP,AGR,syl(17)"],
["16c",6,3,"O+","RP,AGR,syl(17)"],
["16d",7,3,"O+","RP,AGR,syl(17)"]],
"3":[
["16a",4,1,"O-","RP,order,lift,AGR,ev,ext(17:8),syl(17)"],
["18a",5,1,"O+","RP,lift,AGR,ext(17:8)"],
["18b",6,2,"O+","RP,lift,AGR,ext(17:8)"],
["18c",7,2,"O+","RP,lift,AGR,ext(17:8)"]],
"17":[]},
"L2(17).2":{
"0":[
["18a",3,1,"-17","ind(L2(17)),ext(17:16)"],
["16a",4,1,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16b",5,1,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16c",6,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16d",7,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16e",8,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16f",9,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16g",10,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["16h",11,3,"17","ev,permchar,ext(L2(17)),ext(17:16),syl(17)"],
["18b",14,2,"-17","ext(L2(17)),ext(17:16)"],
["18c",15,2,"-17","ext(L2(17)),ext(17:16)"],
["18d",16,4,"-17","ext(L2(17)),ext(17:16)"],
["18e",17,4,"-17","ext(L2(17)),ext(17:16)"],
["18f",18,4,"-17","ext(L2(17)),ext(17:16)"],
["18g",19,4,"-17","ext(L2(17)),ext(17:16)"]],
"2":[
["16b",3,1,"O+","S-","RP,ext(L2(17)),lift,syl(17),ext(17:16)"],
["16c",4,3,"O+","S-","RP,ext(L2(17)),syl(17),ext(17:16)"],
["16d",5,3,"O+","S-","RP,ext(L2(17)),syl(17),ext(17:16)"],
["16e",6,3,"O+","S-","RP,ext(L2(17)),syl(17),ext(17:16)"]],
"3":[
["18a",3,1,"O+","RP,ext(17:16),lift"],
["16a",4,1,"O-","order,ev,lift,ext(17:16),ext(L2(17)),syl(17)"],
["16b",5,1,"O-","order,ev,lift,ext(17:16),ext(L2(17)),syl(17)"],
["18b",6,2,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"],
["18c",7,2,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"],
["18d",8,4,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"],
["18e",9,4,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"],
["18f",10,4,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"],
["18g",11,4,"O+","ind(L2(17)),ext(L2(17)),ext(17:16),lift"]],
"17":[]}},
"A7":{
"names":["A7","A7.2"],
"A7":{
"0":[
["6a",2,1,"-7","TB,permchar,ev,ext(7:3),ext(L3(2)),AGR,syl(7),specht"],
["14a",5,1,"-3","TB,ext(7:3),ext(L3(2)),AGR,specht"],
["14b",6,1,"-15","TB,permchar,rest(A8),AGR,specht"]],
"2":[
["6a",4,1,"O+","RP,order,AGR,ext(7:3),ext(L3(2)),lift,syl(7)"],
["14a",5,1,"O-","RP,AGR,ext(7:3),lift,ext(L3(2))"]],
"3":[
["6a",2,1,"O-","RP,order,lift,ev,AGR,ext(7:3),ext(L3(2)),syl(7)"]],
"5":[
["6a",2,1,"O-","RP,order,lift,ev,AGR,ext(7:3),ext(L3(2)),syl(7)"],
["8a",3,1,"O+","RP,AGR,ext(7:3),ext(3^2:4),ext((A4x3):2),ext(A6),ext(L3(2)),syl(3)"]],
"7":[
["10a",3,1,"O-","RP,AGR,ext(3^2:4),ext(5:4),ext(A5.2),ext(A6)"],
["14a",4,1,"O+","RP,lift,AGR"],
["14b",5,1,"O-","RP,lift,AGR"]]},
"A7.2":{
"0":[
["6a",3,1,"-7","permchar,ev,ext(A7),ext(7:6),specht,syl(7)"],
["6b",4,1,"-7","ev,permchar,ext(A7),ext(7:6),specht,syl(7)"],
["20a",5,1,"1","ext(A6.2_1),ext(A7),ext(s3wrs2),ext(2x5:4),specht"],
["14a",6,1,"-3","ext(A7),ext(7:6),specht"],
["14b",7,1,"-3","ext(A7),ext(7:6),specht"],
["14c",8,1,"-15","ext(A7),rest(A8.2),specht"],
["14d",9,1,"-15","ext(A7),rest(A8.2),specht"]],
"2":[
["8a",2,1,"O+","S+","RP,AGR,ext(A6.2_1),ext(A7),ext(2xS5),ext(S4xS3),ext(s3wrs2),ext(2x5:4),syl(3),syl(5)"],
["6a",3,1,"O+","S-","RP,order,AGR,lift,ext(A7),syl(7),ext(7:6)"],
["14a",4,1,"O-","S+","RP,AGR,ext(7:6),lift,ext(A7)"]],
"3":[
["6a",3,1,"O-","order,lift,ev,ext(7:6),ext(A7),syl(7)"],
["6b",4,1,"O-","order,ev,lift,ext(7:6),ext(A7),syl(7)"],
["20a",5,1,"O+","RP,AGR,ind(A7),ext(A7),ext(2x5:4),lift,ext(A6.2_1)"]],
"5":[
["6a",3,1,"O-","order,lift,ev,ext(7:6),ext(A7),syl(7)"],
["6b",4,1,"O-","order,ev,lift,ext(7:6),ext(A7),syl(7)"],
["8a",5,1,"O+","ext(A6.2_1),ext(A7),ext(S4xS3),ext(7:6),ext(s3wrs2),syl(3)"],
["8b",6,1,"O+","ext(A6.2_1),ext(A7),ext(S4xS3),ext(7:6),ext(s3wrs2),syl(3)"],
["20a",7,1,"O+","RP,AGR,ind(A7),ext(A7),ext(s3wrs2),lift,ext(A6.2_1)"]],
"7":[
["10a",5,1,"O-","ext(A7),ext(s3wrs2),ext(2x5:4),ext(A6.2_1)"],
["10b",6,1,"O-","ext(A7),ext(s3wrs2),ext(2x5:4),ext(A6.2_1)"],
["14a",7,1,"O+","ext(A7),lift"],
["14b",8,1,"O+","ext(A7),lift"],
["14c",9,1,"O-","ext(A7),lift"],
["14d",10,1,"O-","ext(A7),lift"]]}},
"L2(19)":{
"names":["L2(19)","L2(19).2"],
"L2(19)":{
"0":[
["18a",4,2,"-19","OBGN,ev,permchar,ext(19:9),syl(19)"],
["18b",5,2,"-19","OBGN,ev,permchar,ext(19:9),syl(19)"],
["18c",6,2,"-19","OBGN,ev,permchar,ext(19:9),syl(19)"],
["18d",7,2,"-19","OBGN,ev,permchar,ext(19:9),syl(19)"],
["20a",9,1,"57","OBGN,AGR,ext(19:9)"],
["20b",10,3,"57","OBGN,ext(19:9)"],
["20c",11,3,"57","OBGN,ext(19:9)"],
["20d",12,3,"57","OBGN,ext(19:9)"]],
"2":[
["18a",4,2,"O+","RP,order,AGR,ext(19:9),syl(19)"],
["18b",5,2,"O+","order,AGR,ext(19:9),syl(19)"],
["20a",6,1,"O+","RP,AGR,ext(19:9),lift"],
["20b",7,3,"O+","RP,AGR,ext(19:9)"],
["20c",8,3,"O+","RP,AGR,ext(19:9)"],
["20d",9,3,"O+","RP,AGR,ext(19:9)"]],
"3":[
["18a",4,2,"O+","RP,order,lift,AGR,ev,ext(19:9),syl(19)"],
["18b",5,2,"O+","RP,order,lift,AGR,ev,ext(19:9),syl(19)"],
["18c",6,2,"O+","RP,order,lift,AGR,ev,ext(19:9),syl(19)"],
["18d",7,2,"O+","RP,order,lift,AGR,ev,ext(19:9),syl(19)"]],
"5":[
["18a",4,1,"O+","RP(edited),order,lift,AGR,ev,ext(19:9),syl(19)"],
["20a",5,1,"O-","RP,lift,AGR,ext(19:9)"],
["20b",6,3,"O-","RP,lift,AGR,ext(19:9)"],
["20c",7,3,"O-","RP,lift,AGR,ext(19:9)"],
["20d",8,3,"O-","RP,lift,AGR,ext(19:9)"]],
"19":[]},
"L2(19).2":{
"0":[
["18a",3,1,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18b",4,2,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18c",5,2,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18d",6,2,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18e",7,2,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18f",8,4,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18g",9,4,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18h",10,4,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["18i",11,4,"-19","ev,permchar,ext(L2(19)),ext(19:18),syl(19)"],
["20a",14,1,"57","ext(L2(19)),ext(19:18)"],
["20b",15,1,"57","ext(L2(19)),ext(19:18)"],
["20c",16,3,"57","ext(L2(19)),ext(19:18)"],
["20d",17,3,"57","ext(L2(19)),ext(19:18)"],
["20e",18,3,"57","ext(L2(19)),ext(19:18)"],
["20f",19,3,"57","ext(L2(19)),ext(19:18)"],
["20g",20,3,"57","ext(L2(19)),ext(19:18)"],
["20h",21,3,"57","ext(L2(19)),ext(19:18)"]],
"2":[
["18a",2,1,"O-","S-","RP,order,ext(L2(19)),lift,syl(19),ext(19:18)"],
["18b",3,2,"O+","S-","RP,order,ext(L2(19)),syl(19),ext(19:18)"],
["18c",4,2,"O+","S-","RP,order,ext(L2(19)),syl(19),ext(19:18)"],
["20a",5,1,"O+","S-","RP,ext(L2(19)),lift,ext(19:18)"],
["20b",6,3,"O+","S-","RP,ext(L2(19)),ext(19:18)"],
["20c",7,3,"O+","S-","RP,ext(L2(19)),ext(19:18)"],
["20d",8,3,"O+","S-","RP,ext(L2(19)),ext(19:18)"]],
"3":[
["18a",3,1,"O-","RP,order,ev,lift,ext(L2(19)),ext(19:18),syl(19)"],
["18b",4,2,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["18c",5,2,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["18d",6,2,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["18e",7,2,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["18f",8,4,"O+","order,ev,lift,ind(L2(19)),ext(19:18),ext(L2(19)),syl(19)"],
["18g",9,4,"O+","order,ev,lift,ind(L2(19)),ext(19:18),ext(L2(19)),syl(19)"],
["18h",10,4,"O+","order,ev,lift,ind(L2(19)),ext(19:18),ext(L2(19)),syl(19)"],
["18i",11,4,"O+","order,ev,lift,ind(L2(19)),ext(19:18),ext(L2(19)),syl(19)"]],
"5":[
["18a",3,1,"O+","order,ev,lift,ext(L2(19)),ext(19:18),syl(19)"],
["18b",4,1,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["18c",5,1,"O+","order,ev,lift,ext(19:18),ext(L2(19)),syl(19)"],
["20a",6,1,"O-","ext(L2(19)),ext(19:18),lift"],
["20b",7,1,"O-","ext(L2(19)),ext(19:18),lift"],
["20c",8,3,"O-","ext(L2(19)),ext(19:18),lift"],
["20d",9,3,"O-","ext(L2(19)),ext(19:18),lift"],
["20e",10,3,"O-","ext(L2(19)),ext(19:18),lift"],
["20f",11,3,"O-","ext(L2(19)),ext(19:18),lift"],
["20g",12,3,"O-","ext(L2(19)),ext(19:18),lift"],
["20h",13,3,"O-","ext(L2(19)),ext(19:18),lift"]],
"19":[]}},
"L2(16)":{
"names":["L2(16)","L2(16).2","L2(16).4"],
"L2(16)":{
"0":[
["16a",10,1,"17","TB,AGR,ev,permchar,rest(L2(16).2),rest(L2(16).4),syl(17)"]],
"2":[
["4a",6,2,"O-","order"],
["4b",7,2,"O-","order"],
["4c",8,4,"O+","ext(A5),syl(5),syl(17)"],
["4d",9,4,"O+","ext(A5),syl(5),syl(17)"],
["4e",10,4,"O+","ext(A5),syl(5),syl(17)"],
["4f",11,4,"O+","ext(A5),syl(5),syl(17)"],
["8a",12,4,"O+","TB,syl(17)"],
["8b",13,4,"O+","TB,syl(17)"],
["8c",14,4,"O+","TB,syl(17)"],
["8d",15,4,"O+","TB,syl(17)"],
["16a",16,1,"O+","rest(L2(16).4),lift,const(L216G1-p17B0),syl(17)"]],
"3":[
["16a",10,1,"O-","order,lift,AGR,ev,syl(17)"]],
"5":[
["16a",10,1,"O-","order,lift,AGR,ev,syl(17)"]],
"17":[]},
"L2(16).2":{
"0":[
["30a",3,4,"-d17*2+2&3-4","ind(L2(16))"],
["30b",4,4,"-d17+2&6-4","ind(L2(16))"],
["30c",5,4,"2d17*2-&6-4","ind(L2(16))"],
["30d",6,4,"2d17-&3-4","ind(L2(16))"],
["16a",7,1,"17","ev,permchar,ext(L2(16)),rest(L2(16).4),syl(17)"],
["16b",8,1,"17","ev,permchar,ext(L2(16)),syl(17)"],
["34a",15,2,"3b5-6","ind(L2(16))"],
["34b",16,2,"-3b5-9","ind(L2(16))"]],
"2":[
["4c",4,2,"O-","?","order,ext(L2(16))"],
["4d",5,2,"O-","?","order,ext(L2(16))"],
["8a",6,2,"O+","?","ext(2xA5),rest(O8-(2)),ext(L2(16)),syl(5),syl(17),ext(D6xD10)"],
["8b",7,2,"O+","?","ext(2xA5),rest(O8-(2)),ext(L2(16)),syl(5),syl(17),ext(D6xD10)"],
["16a",8,2,"O+","?","rest(S4(4)),syl(17),ext(L2(16)),ext(D6xD10)"],
["16b",9,2,"O+","?","rest(S4(4)),syl(17),ext(L2(16)),ext(D6xD10)"],
["16c",10,1,"O+","?","rest(L2(16).4),lift,ext(L2(16)),syl(17)"]],
"3":[
["30a",3,4,"O-","lift"],
["30b",4,4,"O-","lift"],
["30c",5,4,"O-","lift"],
["30d",6,4,"O-","lift"],
["16a",7,1,"O-","order,ev,lift,ext(L2(16)),syl(17)"],
["16b",8,1,"O-","order,ev,lift,ext(L2(16)),syl(17)"]],
"5":[
["30a",3,4,"O-","lift"],
["30b",4,4,"O-","lift"],
["30c",5,4,"O-","lift"],
["30d",6,4,"O-","lift"],
["16a",7,1,"O-","order,ev,lift,ext(L2(16)),syl(17)"],
["16b",8,1,"O-","order,ev,lift,ext(L2(16)),syl(17)"]],
"17":[
["34a",11,2,"O-","lift"],
["34b",12,2,"O-","lift"]]},
"L2(16).4":{
"0":[
["60a",5,2,"4r17+17","ext(L2(16).2),ind(L2(16).2)"],
["60b",6,2,"-4r17+17","ext(L2(16).2),ind(L2(16).2)"],
["16a",7,1,"17","ev,permchar,ext(L2(16)),ext(L2(16).2),syl(17)"],
["16c",9,1,"17","ev,permchar,ext(L2(16)),ext(L2(16).2),syl(17)"],
["34a",15,1,"-1","BR"],
["34b",16,1,"-5","rest(S4(4).2)"],
["68a",17,1,"5","ind(L2(16).2),ext(L2(16).2)"]],
"2":[
["8b",3,1,"O-","?","order,AGR,ext(L2(16)),ext(L2(16).2)"],
["16a",4,1,"O+","?","AGR,ext(L2(16)),ext(L2(16).2),syl(5),syl(17)"],
["32a",5,1,"O+","?","AGR,syl(17),ext(L2(16)),ext(L2(16).2)"],
["16b",6,1,"O+","?","AGR,lift,syl(17)"]],
"3":[
["60a",5,2,"O-","AGR,lift,ext(L2(16).2)"],
["60b",6,2,"O-","AGR,lift,ext(L2(16).2)"],
["16a",7,1,"O-","order,AGR,ev,lift,ext(L2(16)),ext(L2(16).2),syl(17)"],
["16c",9,1,"O-","order,ev,lift,ext(L2(16)),ext(L2(16).2),syl(17)"],
["34a",11,1,"O-","lift(+12)"],
["34b",12,1,"O+","lift"]],
"5":[
["60a",5,2,"O-","AGR,lift,ext(L2(16).2)"],
["60b",6,2,"O-","AGR,lift,ext(L2(16).2)"],
["16a",7,1,"O-","order,AGR,ev,lift,ext(L2(16)),ext(L2(16).2),syl(17)"],
["16c",9,1,"O-","order,ev,lift,ext(L2(16)),ext(L2(16).2),syl(17)"]],
"17":[
["34a",13,1,"O+","AGR"],
["34b",14,1,"O-","lift"],
["68a",15,1,"O-","AGR,lift,ext(L2(16).2)"]]}},
"L3(3)":{
"names":["L3(3)","L3(3).2"],
"L3(3)":{
"0":[
["12a",2,1,"13","TB,permchar,ev,rest(A13),ext(13:3),AGR,syl(13)"],
["26a",8,1,"-3","TB,permchar,ext(13:3),ext(3^2.2.S4),AGR,syl(3)"]],
"2":[
["12a",2,1,"O-","RP,order,AGR,ext(13:3),lift,syl(13)"],
["26a",7,1,"O-","RP,AGR,ext(13:3),lift,syl(3)"]],
"3":[],
"13":[
["16a",4,1,"O+","RP,AGR,syl(3),ext(3^2.2.S4)"],
["26a",5,1,"O+","RP,lift,const(L33G1-p234B0),AGR,syl(3),ext(3^2.2.S4)"]]},
"L3(3).2":{
"0":[
["12a",3,2,"13","ev,permchar,ext(L3(3)),ext(13:6),syl(13)"],
["12b",4,2,"13","ev,permchar,ext(L3(3)),ext(13:6),syl(13)"],
["32a",7,2,"1","ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["32b",8,2,"1","ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["26a",9,1,"-3","permchar,ext(L3(3)),ext(13:6),ext(3^(1+2):D8),syl(3)"],
["26b",10,1,"-3","permchar,ext(L3(3)),ext(13:6),ext(3^(1+2):D8),syl(3)"],
["52a",11,1,"1","ext(L3(3)),ext(13:6),ext(3^(1+2):D8),syl(3)"]],
"2":[
["12a",2,1,"O-","S+","RP,order,AGR,ext(L3(3)),syl(13)"],
["32a",3,2,"O+","S+","RP,ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["32b",4,2,"O+","S+","RP,ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["26a",5,1,"O-","S+","RP,AGR,ext(13:6),lift,ext(L3(3)),syl(3),ext(3^(1+2):D8)"]],
"3":[
["6a",3,1,"O+","RP,order,ev,AGR,ext(L3(3)),ext(13:6),syl(13)"],
["12a",4,1,"O+","RP,ev,lift,AGR,ext(L3(3)),ext(13:6),syl(13)"],
["30a",7,1,"O+","RP,ev,AGR,ext(L3(3)),ext(13:6),syl(13)"]],
"13":[
["16a",7,1,"O+","ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["16b",8,1,"O+","ext(L3(3)),ext(3^(1+2):D8),syl(3)"],
["26a",9,1,"O+","lift,ext(3^(1+2):D8),ext(L3(3)),syl(3)"],
["26b",10,1,"O+","lift,ext(3^(1+2):D8),ext(L3(3)),syl(3)"],
["52a",11,1,"O+","RP,AGR,ind(L3(3)),ext(L3(3)),ext(3^(1+2):D8),lift,syl(3)"]]}},
"U3(3)":{
"names":["U3(3)","U3(3).2"],
"U3(3)":{
"0":[
["14a",6,1,"-3","TB,ext(7:3),ext(L3(2)),ext(3^(1+2):8),AGR,syl(3)"]],
"2":[
["14a",3,1,"O-","RP,AGR,ext(7:3),lift,ext(L3(2)),syl(3),ext(3^(1+2):8)"]],
"3":[],
"7":[
["14a",6,1,"O+","RP,lift,AGR,syl(3),ext(3^(1+2):8)"],
["26a",10,1,"O+","RP,AGR,syl(3),ext(3^(1+2):8)"]]},
"U3(3).2":{
"0":[
["14a",7,1,"-1","ext(2^(1+4).S3),ext(3^(1+2):SD16),ext(U3(3))"],
["14b",8,1,"-3","ext(L3(2).2),ext(4^2:D12),ext(7:6),ext(3^(1+2):SD16),ext(U3(3)),syl(3)"],
["14c",9,1,"-3","ext(L3(2).2),ext(4^2:D12),ext(7:6),ext(3^(1+2):SD16),ext(U3(3)),rest(G2(3)),syl(3)"],
["42a",12,1,"-1","ext(3^(1+2):SD16),ext(U3(3))"],
["56a",15,1,"1","ext(3^(1+2):SD16),ext(U3(3)),rest(S6(2))"],
["64a",16,1,"1","ext(3^(1+2):SD16),ext(U3(3)),syl(3)"]],
"2":[
["14a",3,1,"O-","S+","RP,AGR,ext(7:6),lift,ext(L3(2).2),ext(U3(3)),syl(3),ext(3^(1+2):SD16)"],
["64a",4,1,"O+","S+","RP,AGR,ext(3^(1+2):SD16),ext(U3(3)),lift,syl(3)"]],
"3":[
["6a",3,1,"O-","RP,order,ev,AGR,ext(4^2:D12),ext(7:6),ext(2^(1+4).S3),ext(3^(1+2):SD16),ext(M12N2),ext(U3(3)),ext(L3(2).2),syl(7)"],
["12a",4,1,"O+","RP,ev,AGR,ext(7:6),ext(U3(3)),ext(L3(2).2),syl(7)"],
["30a",7,1,"O-","RP,AGR,ext(U3(3))"]],
"7":[
["14a",7,1,"O-","RP,ext(2^(1+4).S3),ext(3^(1+2):SD16),ext(U3(3)),lift"],
["14b",8,1,"O+","ext(4^2:D12),ext(U3(3)),lift,syl(3),ext(3^(1+2):SD16)"],
["14c",9,1,"O+","ext(4^2:D12),ext(U3(3)),lift,syl(3),ext(3^(1+2):SD16)"],
["42a",12,1,"O-","RP,ext(U3(3)),lift,ext(3^(1+2):SD16)"],
["26a",13,1,"O+","ext(U3(3)),syl(3),ext(3^(1+2):SD16)"],
["26b",14,1,"O+","ext(U3(3)),syl(3),ext(3^(1+2):SD16)"],
["56a",15,1,"O+","RP,ind(U3(3)),ext(U3(3)),lift,ext(3^(1+2):SD16)"]]}},
"L2(23)":{
"names":["L2(23)","L2(23).2"],
"L2(23)":{
"0":[
["22a",4,1,"-23","OBGN,AGR,ev,permchar,ext(23:11),syl(23)"],
["22b",5,1,"-23","OBGN,AGR,ev,permchar,ext(23:11),syl(23)"],
["22c",6,1,"-23","OBGN,AGR,ev,permchar,ext(23:11),syl(23)"],
["22d",7,2,"-23","OBGN,ev,permchar,ext(23:11),syl(23)"],
["22e",8,2,"-23","OBGN,ev,permchar,ext(23:11),syl(23)"],
["24a",10,5,"253","OBGN,ext(23:11),AGR"],
["24b",11,5,"253","OBGN,ext(23:11),AGR"],
["24c",12,5,"253","OBGN,ext(23:11),AGR"],
["24d",13,5,"253","OBGN,ext(23:11),AGR"],
["24e",14,5,"253","OBGN,ext(23:11),AGR"]],
"2":[
["22a",4,1,"O+","order,AGR,ext(23:11),lift,syl(23)"],
["24a",5,5,"O-","AGR,ext(23:11)"],
["24b",6,5,"O-","AGR,ext(23:11)"],
["24c",7,5,"O-","AGR,ext(23:11)"],
["24d",8,5,"O-","AGR,ext(23:11)"],
["24e",9,5,"O-","AGR,ext(23:11)"]],
"3":[
["22a",4,1,"O+","order,lift,AGR,ev,ext(23:11),syl(23)"],
["22b",5,1,"O+","order,lift,ev,ext(23:11),syl(23)"],
["24a",6,5,"O+","lift,ext(23:11)"],
["24b",7,5,"O+","lift,ext(23:11)"],
["24c",8,5,"O+","lift,ext(23:11)"],
["24d",9,5,"O+","lift,ext(23:11)"],
["24e",10,5,"O+","lift,ext(23:11)"]],
"11":[
["22a",4,1,"O-","order,lift,ev,ext(23:11),syl(23)"],
["22b",5,1,"O-","order,lift,ev,ext(23:11),syl(23)"],
["22c",6,1,"O-","order,lift,ev,ext(23:11),syl(23)"],
["22d",7,1,"O-","order,lift,ev,ext(23:11),syl(23)"],
["22e",8,1,"O-","order,lift,ev,ext(23:11),syl(23)"]],
"23":[]},
"L2(23).2":{
"0":[
["22a",3,1,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22b",4,1,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22c",5,1,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22d",6,2,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22e",7,2,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22f",8,2,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22g",9,2,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22h",10,4,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22i",11,4,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22j",12,4,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["22k",13,4,"-23","ev,permchar,ext(23:22),ext(L2(23)),syl(23)"],
["24a",16,5,"253","ext(23:22),ext(L2(23))"],
["24b",17,5,"253","ext(23:22),ext(L2(23))"],
["24c",18,5,"253","ext(23:22),ext(L2(23))"],
["24d",19,5,"253","ext(23:22),ext(L2(23))"],
["24e",20,5,"253","ext(23:22),ext(L2(23))"],
["24f",21,5,"253","ext(23:22),ext(L2(23))"],
["24g",22,5,"253","ext(23:22),ext(L2(23))"],
["24h",23,5,"253","ext(23:22),ext(L2(23))"],
["24i",24,5,"253","ext(23:22),ext(L2(23))"],
["24j",25,5,"253","ext(23:22),ext(L2(23))"]],
"2":[
["22a",2,1,"O+","?","order,AGR,ext(L2(23)),lift,syl(23),ext(23:22)"],
["22b",3,1,"O+","?","order,lift,ext(L2(23)),syl(23),ext(23:22)"],
["24a",4,5,"O-","?","ext(L2(23)),ext(23:22)"],
["24b",5,5,"O-","?","ext(L2(23)),ext(23:22)"],
["24c",6,5,"O-","?","ext(L2(23)),ext(23:22)"],
["24d",7,5,"O-","?","ext(L2(23)),ext(23:22)"],
["24e",8,5,"O-","?","ext(L2(23)),ext(23:22)"]],
"3":[
["22a",3,1,"O+","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22b",4,1,"O+","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22c",5,1,"O+","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22d",6,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22e",7,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["24a",8,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24b",9,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24c",10,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24d",11,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24e",12,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24f",13,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24g",14,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24h",15,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24i",16,5,"O+","ext(23:22),ext(L2(23)),lift"],
["24j",17,5,"O+","ext(23:22),ext(L2(23)),lift"]],
"11":[
["22a",3,1,"O-","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22b",4,1,"O-","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22c",5,1,"O-","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22d",6,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22e",7,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22f",8,1,"O-","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22g",9,1,"O-","order,ev,lift,ext(23:22),ext(L2(23)),syl(23)"],
["22h",10,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22i",11,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22j",12,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"],
["22k",13,2,"O+","order,ev,lift,ext(23:22),ind(L2(23)),ext(L2(23)),syl(23)"]],
"23":[]}},
"L2(25)":{
"names":["L2(25)","L2(25).2_1","L2(25).2_2","L2(25).2_3"],
"L2(25)":{
"0":[
["24a",4,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["24b",5,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["24c",6,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["24d",7,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["24e",8,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["24f",9,6,"1","OBGN,permchar,ext(5^2:12),rest(L2(25).2_1),syl(5)"],
["26a",11,1,"-3","OBGN,ext(5^2:12),rest(L2(25).2_1),rest(L2(25).2_3)"],
["26b",12,1,"-1","OBGN,ext(5^2:12)"],
["26c",13,1,"-3","OBGN,ext(5^2:12)"],
["26d",14,2,"-1","OBGN,ext(5^2:12)"],
["26e",15,2,"-1","OBGN,ext(5^2:12)"]],
"2":[
["24a",4,6,"O+","lift,syl(5),ext(5^2:12)"],
["24b",5,6,"O+","lift,syl(5),ext(5^2:12)"],
["24c",6,6,"O+","lift,syl(5),ext(5^2:12)"],
["24d",7,6,"O+","lift,syl(5),ext(5^2:12)"],
["24e",8,6,"O+","lift,syl(5),ext(5^2:12)"],
["24f",9,6,"O+","lift,syl(5),ext(5^2:12)"],
["26a",10,1,"O-","rest(2F4(2)'),lift,ext(5^2:12)"]],
"3":[
["24a",4,3,"O+","lift,ext(5^2:12),syl(5)"],
["24b",5,3,"O+","lift,ext(5^2:12),syl(5)"],
["24c",6,3,"O+","lift,ext(5^2:12),syl(5)"],
["24d",7,3,"O+","lift,ext(5^2:12),syl(5)"],
["24e",8,3,"O+","lift,ext(5^2:12),syl(5)"],
["24f",9,3,"O+","lift,ext(5^2:12),syl(5)"],
["26a",11,1,"O-","lift,ext(5^2:12)"]],
"5":[
["4a",4,1,"O-","order,ev,ext(D26),ext(5^2:12),ext(D24),syl(13)"],
["8a",7,2,"O+","ev,ext(D26),ext(5^2:12),ext(D24),syl(13)"],
["8b",8,2,"O+","ev,ext(D26),ext(5^2:12),ext(D24),syl(13)"],
["16a",12,1,"O+","ev,ext(D26),syl(13)"]],
"13":[
["24a",4,1,"O+","lift,ext(5^2:12),syl(5)"],
["26a",5,1,"O+","lift,ext(5^2:12)"],
["26b",6,1,"O+","lift,ext(5^2:12)"],
["26c",7,1,"O+","lift,ext(5^2:12)"],
["26d",8,1,"O+","lift,ext(5^2:12)"],
["26e",9,1,"O+","lift,ext(5^2:12)"]]},
"L2(25).2_1":{
"0":[
["26a",3,1,"-1","ind(L2(25))"],
["24a",4,6,"1","permchar,ext(L2(25)),syl(5)"],
["24b",5,6,"1","permchar,ext(L2(25)),syl(5)"],
["24c",6,6,"1","permchar,ext(L2(25)),syl(5)"],
["24d",7,6,"1","permchar,ext(L2(25)),syl(5)"],
["24e",8,6,"1","permchar,ext(L2(25)),syl(5)"],
["24f",9,6,"1","permchar,ext(L2(25)),syl(5)"],
["24g",10,6,"1","permchar,ext(L2(25)),syl(5)"],
["24h",11,6,"1","permchar,ext(L2(25)),syl(5)"],
["24i",12,6,"1","permchar,ext(L2(25)),syl(5)"],
["24j",13,6,"1","permchar,ext(L2(25)),syl(5)"],
["24k",14,6,"1","permchar,ext(L2(25)),syl(5)"],
["24l",15,6,"1","permchar,ext(L2(25)),syl(5)"],
["26b",18,1,"-3","ext(L2(25))"],
["26c",19,1,"-3","ext(L2(25))"],
["26d",20,2,"-1","ext(L2(25))"],
["26e",21,2,"-1","ext(L2(25))"],
["26f",22,2,"-1","ext(L2(25))"],
["26g",23,2,"-1","ext(L2(25))"],
["26h",24,4,"-1","ext(L2(25))"],
["26i",25,4,"-1","ext(L2(25))"],
["26j",26,4,"-1","ext(L2(25))"],
["26k",27,4,"-1","ext(L2(25))"]],
"2":[
["24b",3,6,"O+","?","lift,syl(5),ext(L2(25))"],
["24c",4,6,"O+","?","lift,syl(5),ext(L2(25))"],
["24d",5,6,"O+","?","lift,syl(5),ext(L2(25))"],
["24e",6,6,"O+","?","lift,syl(5),ext(L2(25))"],
["24f",7,6,"O+","?","lift,syl(5),ext(L2(25))"],
["24g",8,6,"O+","?","lift,syl(5),ext(L2(25))"],
["26a",9,1,"O-","?","lift,ext(L2(25))"]],
"3":[
["26a",3,1,"O-","lift"],
["24a",4,3,"O+","lift,ext(L2(25)),syl(5)"],
["24b",5,3,"O+","lift,ext(L2(25)),syl(5)"],
["24c",6,3,"O+","lift,ext(L2(25)),syl(5)"],
["24d",7,3,"O+","lift,ext(L2(25)),syl(5)"],
["24e",8,3,"O+","lift,ext(L2(25)),syl(5)"],
["24f",9,3,"O+","lift,ext(L2(25)),syl(5)"],
["24g",10,3,"O+","lift,ext(L2(25)),syl(5)"],
["24h",11,3,"O+","lift,ext(L2(25)),syl(5)"],
["24i",12,3,"O+","lift,ext(L2(25)),syl(5)"],
["24j",13,3,"O+","lift,ext(L2(25)),syl(5)"],
["24k",14,3,"O+","lift,ext(L2(25)),syl(5)"],
["24l",15,3,"O+","lift,ext(L2(25)),syl(5)"],
["26b",18,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26c",19,2,"O+","ind(L2(25)),ext(L2(25)),lift"]],
"5":[
["4a",7,2,"O+","ev,ind(L2(25)),ext(L2(25)),syl(13)"],
["4b",8,2,"O+","ev,ind(L2(25)),ext(L2(25)),syl(13)"],
["8a",13,2,"O+","ev,ext(L2(25)),syl(13)"],
["8b",14,2,"O+","ev,ext(L2(25)),syl(13)"],
["8c",15,2,"O+","ev,ext(L2(25)),syl(13)"],
["8d",16,2,"O+","ev,ext(L2(25)),syl(13)"],
["16a",23,2,"O+","ev,ind(L2(25)),ext(L2(25)),syl(13)"],
["16b",24,2,"O+","ev,ind(L2(25)),ext(L2(25)),syl(13)"]],
"13":[
["26a",3,1,"O+","lift"],
["24a",4,1,"O+","lift,ext(L2(25)),syl(5)"],
["24b",5,1,"O+","lift,ext(L2(25)),syl(5)"],
["26b",6,1,"O+","ext(L2(25)),lift"],
["26c",7,1,"O+","ext(L2(25)),lift"],
["26d",8,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26e",9,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26f",10,1,"O+","ext(L2(25)),lift"],
["26g",11,1,"O+","ext(L2(25)),lift"],
["26h",12,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26i",13,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26j",14,2,"O+","ind(L2(25)),ext(L2(25)),lift"],
["26k",15,2,"O+","ind(L2(25)),ext(L2(25)),lift"]]},
"L2(25).2_2":{
"0":[
["48a",7,3,"1","ext(L2(25)),ext(5^2:(4xS3)),syl(5)"],
["48b",8,3,"1","ext(L2(25)),ext(5^2:(4xS3)),syl(5)"],
["48c",9,3,"1","ext(L2(25)),ext(5^2:(4xS3)),syl(5)"],
["26a",12,1,"-3","ext(L2(25)),ext(5^2:(4xS3))"],
["26b",13,1,"-3","ext(L2(25)),ext(5^2:(4xS3))"],
["26c",14,1,"-1","ext(L2(25)),ext(5^2:(4xS3)),ext(13:4)"],
["26d",15,1,"-1","ext(L2(25)),ext(5^2:(4xS3)),ext(13:4)"],
["26e",16,1,"-3","ext(L2(25)),ext(5^2:(4xS3))"],
["26f",17,1,"-3","ext(L2(25)),ext(5^2:(4xS3))"],
["52a",18,1,"1","ext(L2(25)),ext(5^2:(4xS3)),ext(13:4)"]],
"2":[
["48a",4,3,"O+","?","ext(5^2:(4xS3)),syl(5),ext(L2(25))"],
["48b",5,3,"O+","?","ext(5^2:(4xS3)),syl(5),ext(L2(25))"],
["48c",6,3,"O+","?","ext(5^2:(4xS3)),syl(5),ext(L2(25))"],
["26a",7,1,"O-","?","lift,ext(L2(25))"]],
"3":[
["48a",7,3,"O+","ind(L2(25)),ext(5^2:(4xS3)),lift,ext(L2(25)),syl(5)"],
["48b",8,3,"O+","ind(L2(25)),ext(5^2:(4xS3)),lift,ext(L2(25)),syl(5)"],
["48c",9,3,"O+","ind(L2(25)),ext(5^2:(4xS3)),lift,ext(L2(25)),syl(5)"],
["26a",12,1,"O-","ext(L2(25)),ext(5^2:(4xS3)),ext(13:4),lift"],
["26b",13,1,"O-","ext(L2(25)),ext(5^2:(4xS3)),ext(13:4),lift"]],
"5":[
["6a",3,1,"O-","ext(13:4)"],
["4a",4,1,"O-","order,ev,ext(5^2:(4xS3)),ext(13:4),ext(L2(25)),syl(13)"],
["4b",5,1,"O-","order,ev,ext(5^2:(4xS3)),ext(13:4),ext(L2(25)),syl(13)"],
["10a",6,1,"O-","lift(+3+11+12),lift(+12),lift(+11)"],
["16a",7,1,"O+","ev,ind(L2(25)),ext(5^2:(4xS3)),ext(13:4),ext(L2(25)),syl(13)"],
["30a",10,1,"O-","ext(13:4)"],
["16b",11,1,"O+","ev,ext(13:4),ext(L2(25)),syl(13)"],
["16c",12,1,"O+","ev,ext(13:4),ext(L2(25)),syl(13)"]],
"13":[
["24a",7,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),syl(5)"],
["24b",8,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),syl(5)"],
["26a",9,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["26b",10,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["26c",11,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["26d",12,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["26e",13,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["26f",14,1,"O+","ext(L2(25)),ext(5^2:(4xS3)),lift"],
["52a",15,1,"O+","ind(L2(25)),ext(5^2:(4xS3)),lift,ext(L2(25))"]]},
"L2(25).2_3":{
"0":[
["26a",3,1,"-1","ind(L2(25))"],
["48a",4,3,"1","ind(L2(25)),ext(L2(25)),syl(5)"],
["48b",5,3,"1","ind(L2(25)),ext(L2(25)),syl(5)"],
["48c",6,3,"1","ind(L2(25)),ext(L2(25)),syl(5)"],
["26b",9,1,"-3","ext(L2(25))"],
["26c",10,1,"-3","ext(L2(25))"],
["52a",15,1,"1","ind(L2(25)),ext(L2(25))"]],
"2":[
["48a",3,3,"O+","?","lift,syl(5),ext(L2(25))"],
["48b",4,3,"O+","?","lift,syl(5),ext(L2(25))"],
["48c",5,3,"O+","?","lift,syl(5),ext(L2(25))"],
["26a",6,1,"O-","?","rest(2F4(2)'.2),lift,ext(L2(25))"]],
"3":[
["26a",3,1,"O-","lift"],
["48a",4,3,"O+","lift,ext(L2(25)),syl(5)"],
["48b",5,3,"O+","lift,ext(L2(25)),syl(5)"],
["48c",6,3,"O+","lift,ext(L2(25)),syl(5)"]],
"5":[
["6a",3,1,"?",""],
["10a",6,1,"?",""],
["16a",7,1,"O+","ev,ext(L2(25)),syl(13)"],
["30a",10,1,"?",""]],
"13":[
["26a",3,1,"O+","lift"],
["24a",4,1,"O+","ext(L2(25)),syl(5)"],
["24b",5,1,"O+","ext(L2(25)),syl(5)"],
["26b",6,1,"O+","ext(L2(25)),lift"],
["26c",7,1,"O+","ext(L2(25)),lift"],
["52a",12,1,"O+","lift,ext(L2(25))"]]}},
"M11":{
"names":["M11"],
"M11":{
"0":[
["10a",2,1,"-11","TB,permchar,AGR,ev,rest(A11),ext(L2(11)),ext(11:5),syl(11)"],
["44a",8,1,"5","TB,AGR,rest(A11),ext(L2(11)),ext(11:5)"]],
"2":[
["10a",2,1,"O-","RP,order,AGR,ext(11:5),lift,ext(L2(11)),syl(11)"],
["44a",5,1,"O-","RP,AGR,ext(11:5),lift,ext(L2(11))"]],
"3":[
["10a",4,1,"O+","RP,order,lift,AGR,ev,ext(L2(11)),ext(11:5),syl(11)"],
["24a",7,1,"O-","RP,AGR,ext(11:5),ext(L2(11))"]],
"5":[
["10a",2,1,"O+","RP,order,lift,AGR,ev,ext(11:5),ext(L2(11)),syl(11)"]],
"11":[
["16a",6,1,"O+","RP,AGR,ext(A6.2_3),syl(3),ext(3^2:Q8.2)"],
["44a",7,1,"O+","RP,lift,AGR"]]}},
"L2(27)":{
"names":["L2(27)","L2(27).2","L2(27).3","L2(27).6"],
"L2(27)":{
"0":[
["26a",4,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["26b",5,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["26c",6,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["26d",7,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["26e",8,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["26f",9,3,"-3","OBGN,permchar,ext(3^3:13),syl(3)"],
["28a",11,6,"24+9b13","OBGN,ext(3^3:13),AGR"],
["28b",12,6,"24+9b13","OBGN,ext(3^3:13),AGR"],
["28c",13,6,"24+9b13","OBGN,ext(3^3:13),AGR"],
["28d",14,6,"-9b13+15","OBGN(edited),ext(3^3:13),AGR"],
["28e",15,6,"-9b13+15","OBGN(edited),ext(3^3:13),AGR"],
["28f",16,6,"-9b13+15","OBGN(edited),ext(3^3:13),AGR"]],
"2":[
["26a",4,3,"O-","ext(3^3:13),syl(3)"],
["26b",5,3,"O-","ext(3^3:13),syl(3)"],
["26c",6,3,"O-","ext(3^3:13),syl(3)"],
["28a",7,6,"O-","ext(3^3:13)"],
["28b",8,6,"O-","ext(3^3:13)"],
["28c",9,6,"O-","ext(3^3:13)"],
["28d",10,6,"O-","ext(3^3:13)"],
["28e",11,6,"O-","ext(3^3:13)"],
["28f",12,6,"O-","ext(3^3:13)"]],
"3":[
["4a",5,3,"O+","ev,ext(D26),ext(D28),ext(3^3:13),syl(7),syl(13)"],
["4b",6,3,"O+","ev,ext(D26),ext(D28),ext(3^3:13),syl(7),syl(13)"],
["4c",7,3,"O+","ev,ext(D26),ext(D28),ext(3^3:13),syl(7),syl(13)"],
["12a",11,3,"O+","ev,ext(D26),ext(3^3:13),syl(13)"],
["12b",12,3,"O+","ev,ext(D26),ext(3^3:13),syl(13)"],
["12c",13,3,"O+","ev,ext(D26),ext(3^3:13),syl(13)"]],
"7":[
["26a",4,1,"O+","lift,AGR,ext(3^3:13),syl(3)"],
["28a",5,6,"O-","lift,ext(3^3:13)"],
["28b",6,6,"O-","lift,ext(3^3:13)"],
["28c",7,6,"O-","lift,ext(3^3:13)"],
["28d",8,6,"O-","lift,ext(3^3:13)"],
["28e",9,6,"O-","lift,ext(3^3:13)"],
["28f",10,6,"O-","lift,ext(3^3:13)"]],
"13":[
["26a",4,1,"O+","lift,ext(3^3:13),syl(3)"],
["26b",5,1,"O+","lift,ext(3^3:13),syl(3)"],
["26c",6,1,"O+","lift,ext(3^3:13),syl(3)"],
["26d",7,1,"O+","lift,ext(3^3:13),syl(3)"],
["26e",8,1,"O+","lift,ext(3^3:13),syl(3)"],
["26f",9,1,"O+","lift,ext(3^3:13),syl(3)"]]},
"L2(27).2":{
"0":[
["26a",3,1,"-3","permchar,ext(L2(27)),syl(3)"],
["26b",4,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26c",5,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26d",6,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26e",7,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26f",8,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26g",9,3,"-3","permchar,ext(L2(27)),syl(3)"],
["26h",10,6,"-3","permchar,ext(L2(27)),syl(3)"],
["26i",11,6,"-3","permchar,ext(L2(27)),syl(3)"],
["26j",12,6,"-3","permchar,ext(L2(27)),syl(3)"],
["26k",13,6,"-3","permchar,ext(L2(27)),syl(3)"],
["26l",14,6,"-3","permchar,ext(L2(27)),syl(3)"],
["26m",15,6,"-3","permchar,ext(L2(27)),syl(3)"],
["28a",18,6,"9b13+24","ext(L2(27))"],
["28b",19,6,"9b13+24","ext(L2(27))"],
["28c",20,6,"9b13+24","ext(L2(27))"],
["28d",21,6,"9b13+24","ext(L2(27))"],
["28e",22,6,"9b13+24","ext(L2(27))"],
["28f",23,6,"9b13+24","ext(L2(27))"],
["28g",24,6,"-9b13+15","ext(L2(27))"],
["28h",25,6,"-9b13+15","ext(L2(27))"],
["28i",26,6,"-9b13+15","ext(L2(27))"],
["28j",27,6,"-9b13+15","ext(L2(27))"],
["28k",28,6,"-9b13+15","ext(L2(27))"],
["28l",29,6,"-9b13+15","ext(L2(27))"]],
"2":[
["26a",2,1,"O-","?","ext(L2(27)),lift,syl(3)"],
["26b",3,3,"O-","?","ext(L2(27)),syl(3)"],
["26c",4,3,"O-","?","ext(L2(27)),syl(3)"],
["26d",5,3,"O-","?","ext(L2(27)),syl(3)"],
["28a",6,6,"O-","?","ext(L2(27))"],
["28b",7,6,"O-","?","ext(L2(27))"],
["28c",8,6,"O-","?","ext(L2(27))"],
["28d",9,6,"O-","?","ext(L2(27))"],
["28e",10,6,"O-","?","ext(L2(27))"],
["28f",11,6,"O-","?","ext(L2(27))"]],
"3":[
["4a",9,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["4b",10,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["4c",11,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["4d",12,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["4e",13,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["4f",14,3,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["12a",21,3,"O+","ev,ext(L2(27)),syl(13)"],
["12b",22,3,"O+","ev,ext(L2(27)),syl(13)"],
["12c",23,3,"O+","ev,ext(L2(27)),syl(13)"],
["12d",24,3,"O+","ev,ext(L2(27)),syl(13)"],
["12e",25,3,"O+","ev,ext(L2(27)),syl(13)"],
["12f",26,3,"O+","ev,ext(L2(27)),syl(13)"]],
"7":[
["26a",3,1,"O+","lift,ext(L2(27)),syl(3)"],
["26b",4,1,"O+","lift,ext(L2(27)),syl(3)"],
["26c",5,1,"O+","lift,ext(L2(27)),syl(3)"],
["28a",6,6,"O-","ext(L2(27)),lift"],
["28b",7,6,"O-","ext(L2(27)),lift"],
["28c",8,6,"O-","ext(L2(27)),lift"],
["28d",9,6,"O-","ext(L2(27)),lift"],
["28e",10,6,"O-","ext(L2(27)),lift"],
["28f",11,6,"O-","ext(L2(27)),lift"],
["28g",12,6,"O-","ext(L2(27)),lift"],
["28h",13,6,"O-","ext(L2(27)),lift"],
["28i",14,6,"O-","ext(L2(27)),lift"],
["28j",15,6,"O-","ext(L2(27)),lift"],
["28k",16,6,"O-","ext(L2(27)),lift"],
["28l",17,6,"O-","ext(L2(27)),lift"]],
"13":[
["26a",3,1,"O+","lift,ext(L2(27)),syl(3)"],
["26b",4,1,"O+","lift,ext(L2(27)),syl(3)"],
["26c",5,1,"O+","lift,ext(L2(27)),syl(3)"],
["26d",6,1,"O+","lift,ext(L2(27)),syl(3)"],
["26e",7,1,"O+","lift,ext(L2(27)),syl(3)"],
["26f",8,1,"O+","lift,ext(L2(27)),syl(3)"],
["26g",9,1,"O+","lift,ext(L2(27)),syl(3)"],
["26h",10,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"],
["26i",11,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"],
["26j",12,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"],
["26k",13,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"],
["26l",14,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"],
["26m",15,2,"O+","lift,ind(L2(27)),ext(L2(27)),syl(3)"]]},
"L2(27).3":{
"0":[
["78a",10,1,"-3","rest(S6(3)),ext(L2(27)),syl(3)"],
["78b",11,1,"-3","ext(L2(27)),syl(3)"],
["84a",15,2,"6318r13+22815","ext(L2(27))"],
["84b",16,2,"-6318r13+22815","ext(L2(27))"]],
"2":[
["78a",10,1,"O-","lift,ext(L2(27)),syl(3)"],
["84a",11,2,"O-","ext(L2(27))"],
["84b",12,2,"O-","ext(L2(27))"]],
"3":[
["12a",3,1,"O+","ev,ext(L2(27)),syl(7),syl(13)"],
["36a",5,1,"O+","ev,ext(L2(27)),syl(13)"]],
"7":[
["26a",10,1,"O+","ext(L2(27)),syl(3)"],
["84a",13,2,"O-","lift,ext(L2(27))"],
["84b",14,2,"O-","lift,ext(L2(27))"]],
"13":[
["78a",10,1,"O+","lift,ext(L2(27)),syl(3)"],
["78b",11,1,"O+","lift,ext(L2(27)),syl(3)"]]},
"L2(27).6":{
"0":[
["26a",7,1,"-3","rest(S6(3).2),ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78a",10,1,"-3","rest(S6(3).2),ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78b",11,1,"-3","rest(S6(3).2),ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78c",12,2,"-3","ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78d",13,2,"-3","ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["84a",20,2,"6318r13+22815","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84b",21,2,"6318r13+22815","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84c",22,2,"-6318r13+22815","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84d",23,2,"-6318r13+22815","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"]],
"2":[
["26a",4,1,"O-","?","ext(L2(27)),ext(L2(27).2),ext(L2(27).3),lift,syl(3)"],
["78a",7,1,"O-","?","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["84a",8,2,"O-","?","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84b",9,2,"O-","?","ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"]],
"3":[
["12a",5,1,"O+","ev,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(7),syl(13)"],
["12b",6,1,"O+","ev,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(7),syl(13)"],
["36a",9,1,"O+","ev,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(13)"],
["36b",10,1,"O+","ev,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(13)"]],
"7":[
["26a",7,1,"O+","lift,ext(L2(27)),ext(L2(27).3),ext(L2(27).2),syl(3)"],
["26d",10,1,"O+","ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["26g",13,1,"O+","ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["84a",16,2,"O-","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84b",17,2,"O-","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84c",18,2,"O-","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"],
["84d",19,2,"O-","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3)"]],
"13":[
["26a",7,1,"O+","lift,ext(L2(27)),ext(L2(27).3),ext(L2(27).2),syl(3)"],
["78a",10,1,"O+","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78b",11,1,"O+","lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78c",12,2,"O+","ind(L2(27).3),lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"],
["78d",13,2,"O+","ind(L2(27).3),lift,ext(L2(27)),ext(L2(27).2),ext(L2(27).3),syl(3)"]]}},
"L2(29)":{
"names":["L2(29)","L2(29).2"],
"L2(29)":{
"0":[
["28a",4,1,"29","OBGN,AGR,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28b",5,2,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28c",6,2,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28d",7,4,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28e",8,4,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28f",9,4,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["28g",10,4,"29","OBGN,ev,permchar,ext(29:14),rest(L2(29).2),syl(29)"],
["30a",12,3,"-203","OBGN,ext(29:14),AGR,rest(L2(29).2)"],
["30b",13,3,"-203","OBGN,ext(29:14),AGR,rest(L2(29).2)"],
["30c",14,3,"-203","OBGN,ext(29:14),AGR,rest(L2(29).2)"],
["30d",15,3,"-203","OBGN,ext(29:14),AGR"],
["30e",16,3,"-203","OBGN,ext(29:14),AGR"],
["30f",17,3,"-203","OBGN,ext(29:14),AGR"]],
"2":[
["28a",4,1,"O-","order,lift,syl(29)"],
["28b",5,2,"O+","AGR,syl(29)"],
["28c",6,2,"O+","AGR,syl(29)"],
["28d",7,4,"O+","AGR,syl(29)"],
["28e",8,4,"O+","AGR,syl(29)"],
["28f",9,4,"O+","AGR,syl(29)"],
["28g",10,4,"O+","AGR,syl(29)"],
["30a",11,3,"O-","AGR"],
["30b",12,3,"O-","AGR"],
["30c",13,3,"O-","AGR"]],
"3":[
["28a",4,1,"O-","order,lift,AGR,ev,ext(29:14),syl(29)"],
["28b",5,2,"O+","lift,ev,ext(29:14),syl(29)"],
["28c",6,2,"O+","lift,ev,ext(29:14),syl(29)"],
["30a",7,3,"O+","lift,ext(29:14)"],
["30b",8,3,"O+","lift,ext(29:14)"],
["30c",9,3,"O+","lift,ext(29:14)"],
["30d",10,3,"O+","lift,ext(29:14)"],
["30e",11,3,"O+","lift,ext(29:14)"],
["30f",12,3,"O+","lift,ext(29:14)"]],
"5":[
["28a",4,1,"O+","lift,ev,ext(29:14),syl(29)"],
["28b",5,1,"O+","lift,AGR,ev,ext(29:14),syl(29)"],
["30a",6,3,"O-","lift,ext(29:14)"],
["30b",7,3,"O-","lift,ext(29:14)"],
["30c",8,3,"O-","lift,ext(29:14)"],
["30d",9,3,"O-","lift,ext(29:14)"],
["30e",10,3,"O-","lift,ext(29:14)"],
["30f",11,3,"O-","lift,ext(29:14)"]],
"7":[
["28a",4,1,"O+","lift,ev,ext(29:14),syl(29)"],
["28b",5,2,"O+","lift,ev,ext(29:14),syl(29)"],
["28c",6,2,"O+","lift,ev,ext(29:14),syl(29)"],
["28d",7,4,"O+","lift,ev,ext(29:14),syl(29)"],
["28e",8,4,"O+","lift,ev,ext(29:14),syl(29)"],
["28f",9,4,"O+","lift,ev,ext(29:14),syl(29)"],
["28g",10,4,"O+","lift,ev,ext(29:14),syl(29)"]],
"29":[]},
"L2(29).2":{
"0":[
["30a",3,1,"-29","ind(L2(29)),ext(frob)"],
["28a",4,1,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28b",5,1,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28c",6,2,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28d",7,2,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28e",8,2,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28f",9,2,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28g",10,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28h",11,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28i",12,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28j",13,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28k",14,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28l",15,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28m",16,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["28n",17,4,"29","ev,permchar,ext(L2(29)),ext(frob),syl(29)"],
["30b",20,3,"-203","ext(L2(29)),ext(frob)"],
["30c",21,3,"-203","ext(L2(29)),ext(frob)"],
["30d",22,3,"-203","ext(L2(29)),ext(frob)"],
["30e",23,3,"-203","ext(L2(29)),ext(frob)"],
["30f",24,3,"-203","ext(L2(29)),ext(frob)"],
["30g",25,3,"-203","ext(L2(29)),ext(frob)"],
["30h",26,6,"-29","ext(L2(29)),ext(frob)"],
["30i",27,6,"-29","ext(L2(29)),ext(frob)"],
["30j",28,6,"-29","ext(L2(29)),ext(frob)"],
["30k",29,6,"-29","ext(L2(29)),ext(frob)"],
["30l",30,6,"-29","ext(L2(29)),ext(frob)"],
["30m",31,6,"-29","ext(L2(29)),ext(frob)"]],
"2":[
["28b",3,1,"O-","?","order,lift,ext(L2(29)),syl(29),ext(frob)"],
["28c",4,2,"O+","?","syl(29),ext(L2(29)),ext(frob)"],
["28d",5,2,"O+","?","galaut(4),syl(29),ext(L2(29)),ext(frob)"],
["28e",6,4,"O+","?","syl(29),ext(L2(29)),ext(frob)"],
["28f",7,4,"O+","?","galaut(6),syl(29),ext(L2(29)),ext(frob)"],
["28g",8,4,"O+","?","galaut(6),syl(29),ext(L2(29)),ext(frob)"],
["28h",9,4,"O+","?","galaut(6),syl(29),ext(L2(29)),ext(frob)"],
["30a",10,3,"O-","?","ext(L2(29)),ext(frob)"],
["30b",11,3,"O-","?","galaut(10),ext(L2(29)),ext(frob)"],
["30c",12,3,"O-","?","galaut(10),ext(L2(29)),ext(frob)"]],
"3":[
["30a",3,1,"O+","ext(frob),lift"],
["28a",4,1,"O-","order,ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28b",5,1,"O-","order,ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28c",6,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28d",7,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28e",8,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28f",9,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["30b",10,3,"O+","ext(L2(29)),ext(frob),lift"],
["30c",11,3,"O+","ext(L2(29)),ext(frob),lift"],
["30d",12,3,"O+","ext(L2(29)),ext(frob),lift"],
["30e",13,3,"O+","ext(L2(29)),ext(frob),lift"],
["30f",14,3,"O+","ext(L2(29)),ext(frob),lift"],
["30g",15,3,"O+","ext(L2(29)),ext(frob),lift"],
["30h",16,3,"O+","ext(L2(29)),ext(frob),lift"],
["30i",17,3,"O+","ext(L2(29)),ext(frob),lift"],
["30j",18,3,"O+","ext(L2(29)),ext(frob),lift"],
["30k",19,3,"O+","ext(L2(29)),ext(frob),lift"],
["30l",20,3,"O+","ext(L2(29)),ext(frob),lift"],
["30m",21,3,"O+","ext(L2(29)),ext(frob),lift"]],
"5":[
["30a",3,1,"O+","ext(frob),lift"],
["28a",4,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28b",5,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28c",6,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28d",7,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["30b",8,3,"O-","ext(L2(29)),ext(frob),lift"],
["30c",9,3,"O-","ext(L2(29)),ext(frob),lift"],
["30d",10,3,"O-","ext(L2(29)),ext(frob),lift"],
["30e",11,3,"O-","ext(L2(29)),ext(frob),lift"],
["30f",12,3,"O-","ext(L2(29)),ext(frob),lift"],
["30g",13,3,"O-","ext(L2(29)),ext(frob),lift"],
["30h",14,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"],
["30i",15,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"],
["30j",16,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"],
["30k",17,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"],
["30l",18,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"],
["30m",19,6,"O+","ind(L2(29)),ext(L2(29)),ext(frob),lift"]],
"7":[
["30a",3,1,"O-","ext(frob),lift"],
["28a",4,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28b",5,1,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28c",6,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28d",7,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28e",8,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28f",9,2,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28g",10,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28h",11,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28i",12,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28j",13,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28k",14,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28l",15,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28m",16,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"],
["28n",17,4,"O+","ev,lift,ext(frob),ext(L2(29)),syl(29)"]],
"29":[]}},
"L2(31)":{
"names":["L2(31)","L2(31).2"],
"L2(31)":{
"0":[
["30a",4,1,"-31","OBGN,AGR,ev,permchar,ext(31:15),syl(31)"],
["30b",5,2,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["30c",6,2,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["30d",7,4,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["30e",8,4,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["30f",9,4,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["30g",10,4,"-31","OBGN,ev,permchar,ext(31:15),syl(31)"],
["32a",12,1,"93","OBGN,AGR,ext(31:15)"],
["32b",13,2,"62-31b5","OBGN,ext(31:15),AGR"],
["32c",14,2,"31b5+93","OBGN(edited),ext(31:15),AGR"],
["32d",15,4,"93","OBGN,ext(31:15),AGR"],
["32e",16,4,"93","OBGN,ext(31:15),AGR"],
["32f",17,4,"93","OBGN,ext(31:15),AGR"],
["32g",18,4,"93","OBGN,ext(31:15),AGR"]],
"2":[
["32a",4,1,"O-","AGR,ext(31:15),lift"],
["32b",5,2,"O-","AGR,ext(31:15)"],
["32c",6,2,"O-","AGR,ext(31:15)"],
["32d",7,4,"O+","AGR,ext(31:15)"],
["32e",8,4,"O+","AGR,ext(31:15)"],
["32f",9,4,"O+","AGR,ext(31:15)"],
["32g",10,4,"O+","AGR,ext(31:15)"]],
"3":[
["30a",4,1,"O-","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30b",5,2,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30c",6,2,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30d",7,4,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30e",8,4,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30f",9,4,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["30g",10,4,"O+","OBGN,order,lift,ev,ext(31:15),syl(31)"],
["32a",12,2,"O-","OBGN,lift,ext(31:15)"],
["32b",13,2,"O-","OBGN,lift,ext(31:15)"]],
"5":[
["30a",4,1,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30b",5,2,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30c",6,2,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30d",7,4,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30e",8,4,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30f",9,4,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["30g",10,4,"O+","OBGN,lift,ev,ext(31:15),syl(31)"],
["32a",12,1,"O-","OBGN,lift,ext(31:15)"]],
"31":[]},
"L2(31).2":{
"0":[
["30a",3,1,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30b",4,2,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30c",5,2,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30d",6,4,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30e",7,4,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30f",8,4,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30g",9,4,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30h",10,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30i",11,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30j",12,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30k",13,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30l",14,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30m",15,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30n",16,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["30o",17,8,"-31","ev,permchar,ext(L2(31)),syl(31)"],
["32a",20,1,"93","ext(L2(31))"],
["32b",21,1,"93","ext(L2(31))"],
["32c",22,2,"-31b5+62","ext(L2(31))"],
["32d",23,2,"-31b5+62","ext(L2(31))"],
["32e",24,2,"31b5+93","ext(L2(31))"],
["32f",25,2,"31b5+93","ext(L2(31))"],
["32g",26,4,"93","ext(L2(31))"],
["32h",27,4,"93","ext(L2(31))"],
["32i",28,4,"93","ext(L2(31))"],
["32j",29,4,"93","ext(L2(31))"],
["32k",30,4,"93","ext(L2(31))"],
["32l",31,4,"93","ext(L2(31))"],
["32m",32,4,"93","ext(L2(31))"],
["32n",33,4,"93","ext(L2(31))"]],
"2":[
["30a",2,1,"O+","?","AGR,ext(L2(31)),lift,syl(31)"],
["32a",3,1,"O-","?","ext(L2(31)),lift"],
["32b",4,2,"O-","?","ext(L2(31))"],
["32c",5,2,"O-","?","ext(L2(31))"],
["32d",6,4,"O+","?","ext(L2(31))"],
["32e",7,4,"O+","?","ext(L2(31))"],
["32f",8,4,"O+","?","ext(L2(31))"],
["32g",9,4,"O+","?","ext(L2(31))"]],
"3":[
["30a",3,1,"O-","order,ev,lift,ext(L2(31)),syl(31)"],
["30b",4,2,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30c",5,2,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30d",6,4,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30e",7,4,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30f",8,4,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30g",9,4,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30h",10,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30i",11,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30j",12,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30k",13,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30l",14,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30m",15,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30n",16,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30o",17,8,"O+","order,ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["32a",20,2,"O-","ext(L2(31)),lift"],
["32b",21,2,"O-","ext(L2(31)),lift"],
["32c",22,2,"O-","ext(L2(31)),lift"],
["32d",23,2,"O-","ext(L2(31)),lift"]],
"5":[
["30a",3,1,"O+","ev,lift,ext(L2(31)),syl(31)"],
["30b",4,2,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30c",5,2,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30d",6,4,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30e",7,4,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30f",8,4,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30g",9,4,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30h",10,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30i",11,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30j",12,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30k",13,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30l",14,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30m",15,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30n",16,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["30o",17,8,"O+","ev,lift,ind(L2(31)),ext(L2(31)),syl(31)"],
["32a",20,1,"O-","ext(L2(31)),lift"],
["32b",21,1,"O-","ext(L2(31)),lift"]],
"31":[]}},
"L3(4)":{
"names":["L3(4)","L3(4).2_1","L3(4).3","L3(4).6","L3(4).2_2","L3(4).2_3"],
"L3(4)":{
"0":[
["20a",2,1,"21","TB,permchar,rest(L3(4).6),rest(L3(4).2_2),rest(L3(4).2_1),rest(L3(4).2_3),AGR"],
["64a",10,1,"105","TB,rest(L3(4).2_1),rest(L3(4).6),rest(L3(4).2_2),rest(L3(4).2_3),AGR"]],
"2":[
["8a",2,2,"O+","ext(A6),ext(7:3),ext(L3(2)),syl(3),ext(3^2:Q8)"],
["8b",3,2,"O+","ext(A6),ext(7:3),ext(L3(2)),syl(3),ext(3^2:Q8)"],
["64a",6,1,"O+","AGR,lift"]],
"3":[],
"5":[
["20a",2,1,"O+","lift,AGR"]],
"7":[]},
"L3(4).2_1":{
"0":[
["20a",3,1,"21","ext(L3(4))"],
["20b",4,1,"21","ext(L3(4))"],
["90a",11,1,"-7","ext(L3(4)),ind(L3(4))"],
["126a",12,1,"-5","ind(L3(4))"],
["64a",13,1,"105","ext(L3(4))"],
["64b",14,1,"105","ext(L3(4))"]],
"2":[
["16a",2,1,"O+","?","AGR,ext(L3(2).2),ext(7:6),ext(A6.2_3),ext(L3(4)),syl(3)"],
["18a",3,1,"O+","?","AGR,ext(L3(4)),ext(L3(2).2),syl(7),ext(7:6)"],
["64a",4,1,"O+","?","AGR,lift,ext(L3(4))"]],
"3":[
["90a",11,1,"O-","AGR,ext(L3(4)),lift"],
["126a",12,1,"O+","AGR,lift"]],
"5":[
["20a",3,1,"O+","AGR,lift,ext(L3(4))"],
["20b",4,1,"O+","ext(L3(4)),lift"],
["90a",11,1,"O-","AGR,ext(L3(4)),lift"]],
"7":[
["126a",13,1,"O+","AGR,lift"]]},
"L3(4).3":{
"0":[
["20a",4,1,"21","permchar,ev,ext(L3(4)),rest(L3(4).6)"],
["64a",20,1,"105","ext(L3(4)),rest(L3(4).6)"]],
"2":[
["8a",4,2,"O+","ext(L3(4)),syl(3),ext(3^2:2A4)"],
["8d",7,2,"O+","ext(L3(4)),syl(3),ext(3^2:2A4)"],
["64a",16,1,"O+","ext(L3(4)),lift"]],
"3":[],
"5":[
["20a",4,1,"O+","lift,ev,ext(L3(4))"]],
"7":[]},
"L3(4).6":{
"0":[
["20a",7,1,"21","ev,ext(L3(4)),ext(L3(4).2_1),ext(L3(4).3)"],
["20d",10,1,"21","ev,ext(L3(4)),ext(L3(4).2_1),ext(L3(4).3)"],
["90a",15,1,"-7","ext(L3(4)),ext(L3(4).2_1),ext(L3(4).3),ind(L3(4).3)"],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.27 Sekunden
(vorverarbeitet)
]
|
