# Group 3888.ds downloaded from the LMFDB on 12 June 2026. ## Various presentations of this group are stored in this file: # GPC is polycyclic presentation GPerm is permutation group # GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups # Many characteristics of the group are stored as booleans in a record: # Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, # metacyclic, monomial, nilpotent, perfect, quasisimple, rational, # solvable, supersolvable # The character table is stored as a record chartbl_n_i where n is the order # of the group and i is which group of that order it is. The record is # converted to a character table using ConvertToLibraryCharacterTableNC # Constructions GPC := PcGroupCode(1140213794833937280207379797138854669206018161019829653610438101984824233450842717640820107917059987644439429759262146127,3888); a := GPC.1; b := GPC.2; c := GPC.4; d := GPC.7; e := GPC.8; f := GPC.9; GPerm := Group( (1,2,4)(3,6)(7,8,9)(11,12,14,17)(13,16,15,18), (1,3,4,6)(2,5)(7,8)(10,11,13,14,18,17,12,15) ); # Booleans booleans_3888_ds := rec( Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := false, metacyclic := false, monomial := true, nilpotent := false, perfect := false, quasisimple := false, rational := false, solvable := true, supersolvable := false); # Character Table chartbl_3888_ds:=rec(); chartbl_3888_ds.IsFinite:= true; chartbl_3888_ds.UnderlyingCharacteristic:= 0; chartbl_3888_ds.UnderlyingGroup:= GPerm; chartbl_3888_ds.Size:= 3888; chartbl_3888_ds.InfoText:= "Character table for group 3888.ds downloaded from the LMFDB."; chartbl_3888_ds.Identifier:= " C3^5:SD16 "; chartbl_3888_ds.NrConjugacyClasses:= 48; chartbl_3888_ds.ConjugacyClasses:= [(), (11,14)(12,17)(13,15)(16,18), (1,3)(2,5)(4,6)(7,8)(11,18)(12,17)(14,16), (7,8,9), (1,4,2)(3,6,5), (3,6,5), (3,5,6)(7,8,9), (3,6,5)(7,9,8), (10,13,15)(11,16,17)(12,18,14), (1,2,4)(3,6,5)(7,9,8), (1,4,2)(3,5,6)(10,11,14)(12,13,16)(15,17,18), (1,2,4)(3,6,5)(10,14,11)(12,16,13)(15,18,17), (7,8,9)(10,11,14)(12,13,16)(15,17,18), (1,2,4)(3,5,6)(10,11,14)(12,13,16)(15,17,18), (1,2,4)(3,5,6)(7,8,9)(10,11,14)(12,13,16)(15,17,18), (1,2,4)(3,5,6)(7,8,9)(10,16,18)(11,12,15)(13,17,14), (3,5,6)(10,11,14)(12,13,16)(15,17,18), (3,5,6)(10,12,17)(11,13,18)(14,16,15), (3,5,6)(7,8,9)(10,11,14)(12,13,16)(15,17,18), (3,5,6)(7,9,8)(10,12,17)(11,13,18)(14,16,15), (3,5,6)(7,8,9)(10,12,17)(11,13,18)(14,16,15), (3,5,6)(7,9,8)(10,11,14)(12,13,16)(15,17,18), (1,2,4)(3,5,6)(7,8,9)(10,12,17)(11,13,18)(14,16,15), (1,2,4)(3,5,6)(7,8,9)(10,13,15)(11,16,17)(12,18,14), (2,4)(10,15,17,11)(13,18,16,14), (1,2)(5,6)(10,15,14,12)(13,16,18,17), (7,9,8)(10,14)(12,15)(13,18)(16,17), (1,2,4)(3,5,6)(11,14)(12,17)(13,15)(16,18), (3,5,6)(10,14)(12,15)(13,18)(16,17), (3,6,5)(7,9,8)(10,17)(11,15)(13,16)(14,18), (3,5,6)(7,8,9)(10,17)(11,15)(13,16)(14,18), (1,4,2)(3,5,6)(7,8,9)(10,17)(11,15)(13,16)(14,18), (1,3,4,5,2,6)(7,9)(11,14)(12,13)(15,17), (1,6,2,5,4,3)(7,9)(11,14)(12,13)(15,17), (1,3)(2,5)(4,6)(7,8)(10,15,13)(11,12,16,18,17,14), (1,3,4,5,2,6)(8,9)(10,17,11,18,14,15)(12,16,13), (1,6,2,5,4,3)(8,9)(10,15,14,18,11,17)(12,13,16), (1,5,4,6)(2,3)(8,9)(10,14,12,11,18,15,13,17), (1,6,4,5)(2,3)(8,9)(10,17,13,15,18,11,12,14), (3,5)(7,9,8)(10,15,12,18)(11,14,16,13), (3,5)(7,8,9)(10,18,12,15)(11,13,16,14), (1,4)(3,6,5)(10,16,14,17)(12,18,15,13), (1,4)(3,5,6)(10,16,14,17)(12,18,15,13), (2,4)(3,5,6)(7,8,9)(10,11,17,15)(13,14,16,18), (2,4)(3,6,5)(7,9,8)(10,15,17,11)(13,18,16,14), (2,4)(3,6,5)(7,9,8)(10,11,17,15)(13,14,16,18), (2,4)(3,5,6)(7,8,9)(10,15,17,11)(13,18,16,14), (1,2)(5,6)(7,8,9)(10,12,14,15)(13,17,18,16)]; chartbl_3888_ds.IdentificationOfConjugacyClasses:= [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48]; chartbl_3888_ds.ComputedPowerMaps:= [ , [1, 1, 1, 4, 5, 6, 8, 7, 9, 10, 12, 11, 13, 14, 15, 16, 18, 17, 20, 19, 22, 21, 24, 23, 2, 2, 4, 5, 6, 7, 8, 10, 5, 5, 9, 11, 12, 26, 26, 27, 27, 29, 29, 30, 31, 31, 30, 27], [1, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 25, 26, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 38, 39, 25, 25, 25, 25, 25, 25, 25, 25, 26]]; chartbl_3888_ds.SizesCentralizers:= [3888, 432, 36, 1944, 972, 972, 972, 972, 486, 486, 486, 486, 243, 243, 243, 243, 243, 243, 243, 243, 243, 243, 243, 243, 36, 24, 216, 108, 108, 108, 108, 54, 36, 36, 18, 18, 18, 8, 8, 36, 36, 36, 36, 36, 36, 36, 36, 12]; chartbl_3888_ds.ClassNames:= ["1A", "2A", "2B", "3A", "3B", "3C", "3D1", "3D-1", "3E", "3F", "3G1", "3G-1", "3H", "3I", "3J", "3K", "3L1", "3L-1", "3M1", "3M-1", "3N1", "3N-1", "3O1", "3O-1", "4A", "4B", "6A", "6B", "6C", "6D1", "6D-1", "6E", "6F1", "6F-1", "6G", "6H1", "6H-1", "8A1", "8A-1", "12A1", "12A-1", "12B1", "12B5", "12C1", "12C-1", "12C5", "12C-5", "12D"]; chartbl_3888_ds.OrderClassRepresentatives:= [1, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 8, 8, 12, 12, 12, 12, 12, 12, 12, 12, 12]; chartbl_3888_ds.Irr:= [[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [1, 1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, -1, 1, 1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [1, 1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, -1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 1], [2, 2, 0, -1, 2, 2, -1, -1, 2, -1, 2, 2, -1, 2, -1, -1, 2, 2, -1, -1, -1, -1, -1, -1, 2, 2, -1, 2, 2, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, -1, -1, 2, 2, -1, -1, -1, -1, -1], [2, 2, 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 0, -2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2], [2, 2, 0, -1, 2, 2, -1, -1, 2, -1, 2, 2, -1, 2, -1, -1, 2, 2, -1, -1, -1, -1, -1, -1, -2, 2, -1, 2, 2, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 1, 1, -2, -2, 1, 1, 1, 1, -1], [2, -2, 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, -2, -2, -2, -2, -2, -2, 0, 0, 0, 0, 0, -1*E(8)-E(8)^3, E(8)+E(8)^3, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, -2, 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, -2, -2, -2, -2, -2, -2, 0, 0, 0, 0, 0, E(8)+E(8)^3, -1*E(8)-E(8)^3, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, 2, 0, -1, 2, 2, -1, -1, 2, -1, 2, 2, -1, 2, -1, -1, 2, 2, -1, -1, -1, -1, -1, -1, 0, -2, -1, 2, 2, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, -1-2*E(3), 1+2*E(3), 0, 0, -1-2*E(3), 1+2*E(3), 1+2*E(3), -1-2*E(3), 1], [2, 2, 0, -1, 2, 2, -1, -1, 2, -1, 2, 2, -1, 2, -1, -1, 2, 2, -1, -1, -1, -1, -1, -1, 0, -2, -1, 2, 2, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 1+2*E(3), -1-2*E(3), 0, 0, 1+2*E(3), -1-2*E(3), -1-2*E(3), 1+2*E(3), 1], [4, 4, 0, 4, -2, 1, 1, 1, 4, -2, -2, -2, 4, -2, -2, -2, 1, 1, 1, 1, 1, 1, -2, -2, 2, 0, 4, -2, 1, 1, 1, -2, 0, 0, 0, 0, 0, 0, 0, 2, 2, -1, -1, -1, -1, -1, -1, 0], [4, 4, 2, 4, 1, -2, -2, -2, 4, 1, 1, 1, 4, 1, 1, 1, -2, -2, -2, -2, -2, -2, 1, 1, 0, 0, 4, 1, -2, -2, -2, 1, -1, -1, 2, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 4, -2, 4, 1, -2, -2, -2, 4, 1, 1, 1, 4, 1, 1, 1, -2, -2, -2, -2, -2, -2, 1, 1, 0, 0, 4, 1, -2, -2, -2, 1, 1, 1, -2, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 4, 0, 4, -2, 1, 1, 1, 4, -2, -2, -2, 4, -2, -2, -2, 1, 1, 1, 1, 1, 1, -2, -2, -2, 0, 4, -2, 1, 1, 1, -2, 0, 0, 0, 0, 0, 0, 0, -2, -2, 1, 1, 1, 1, 1, 1, 0], [4, -4, 0, -2, 4, 4, -2, -2, 4, -2, 4, 4, -2, 4, -2, -2, 4, 4, -2, -2, -2, -2, -2, -2, 0, 0, 2, -4, -4, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 4, 0, -2, -2, 1, -2-3*E(3), 1+3*E(3), 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, -2-3*E(3), 1+3*E(3), -2-3*E(3), 1+3*E(3), 1, 1, 2, 0, -2, -2, 1, 1+3*E(3), -2-3*E(3), 1, 0, 0, 0, 0, 0, 0, 0, 2*E(3), 2*E(3)^-1, -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), 0], [4, 4, 0, -2, -2, 1, 1+3*E(3), -2-3*E(3), 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, 1+3*E(3), -2-3*E(3), 1+3*E(3), -2-3*E(3), 1, 1, 2, 0, -2, -2, 1, -2-3*E(3), 1+3*E(3), 1, 0, 0, 0, 0, 0, 0, 0, 2*E(3)^-1, 2*E(3), -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, 0], [4, -4, 0, 4, 1, -2, -2, -2, 4, 1, 1, 1, 4, 1, 1, 1, -2, -2, -2, -2, -2, -2, 1, 1, 0, 0, -4, -1, 2, 2, 2, -1, -1-2*E(3), 1+2*E(3), 0, 1+2*E(3), -1-2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, -4, 0, 4, 1, -2, -2, -2, 4, 1, 1, 1, 4, 1, 1, 1, -2, -2, -2, -2, -2, -2, 1, 1, 0, 0, -4, -1, 2, 2, 2, -1, 1+2*E(3), -1-2*E(3), 0, -1-2*E(3), 1+2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 4, 0, -2, -2, 1, -2-3*E(3), 1+3*E(3), 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, -2-3*E(3), 1+3*E(3), -2-3*E(3), 1+3*E(3), 1, 1, -2, 0, -2, -2, 1, 1+3*E(3), -2-3*E(3), 1, 0, 0, 0, 0, 0, 0, 0, -2*E(3), -2*E(3)^-1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), 0], [4, 4, 0, -2, -2, 1, 1+3*E(3), -2-3*E(3), 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, 1+3*E(3), -2-3*E(3), 1+3*E(3), -2-3*E(3), 1, 1, -2, 0, -2, -2, 1, -2-3*E(3), 1+3*E(3), 1, 0, 0, 0, 0, 0, 0, 0, -2*E(3)^-1, -2*E(3), 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, 0], [4, -4, 0, 4, -2, 1, 1, 1, 4, -2, -2, -2, 4, -2, -2, -2, 1, 1, 1, 1, 1, 1, -2, -2, 0, 0, -4, 2, -1, -1, -1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1*E(12)-E(12)^-1, E(12)+E(12)^-1, E(12)+E(12)^-1, E(12)+E(12)^-1, -1*E(12)-E(12)^-1, -1*E(12)-E(12)^-1, 0], [4, -4, 0, 4, -2, 1, 1, 1, 4, -2, -2, -2, 4, -2, -2, -2, 1, 1, 1, 1, 1, 1, -2, -2, 0, 0, -4, 2, -1, -1, -1, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(12)+E(12)^-1, -1*E(12)-E(12)^-1, -1*E(12)-E(12)^-1, -1*E(12)-E(12)^-1, E(12)+E(12)^-1, E(12)+E(12)^-1, 0], [4, -4, 0, -2, -2, 1, 1-3*E(12)^2, -2+3*E(12)^2, 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, 1-3*E(12)^2, -2+3*E(12)^2, 1-3*E(12)^2, -2+3*E(12)^2, 1, 1, 0, 0, 2, 2, -1, 2-3*E(12)^2, -1+3*E(12)^2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1*E(12)-E(12)^-1, E(12)+E(12)^-1, -1*E(12)+2*E(12)^3, -1*E(12)-E(12)^3, E(12)+E(12)^3, E(12)-2*E(12)^3, 0], [4, -4, 0, -2, -2, 1, -2+3*E(12)^2, 1-3*E(12)^2, 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, -2+3*E(12)^2, 1-3*E(12)^2, -2+3*E(12)^2, 1-3*E(12)^2, 1, 1, 0, 0, 2, 2, -1, -1+3*E(12)^2, 2-3*E(12)^2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1*E(12)-E(12)^-1, E(12)+E(12)^-1, -1*E(12)-E(12)^3, -1*E(12)+2*E(12)^3, E(12)-2*E(12)^3, E(12)+E(12)^3, 0], [4, -4, 0, -2, -2, 1, 1-3*E(12)^2, -2+3*E(12)^2, 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, 1-3*E(12)^2, -2+3*E(12)^2, 1-3*E(12)^2, -2+3*E(12)^2, 1, 1, 0, 0, 2, 2, -1, 2-3*E(12)^2, -1+3*E(12)^2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(12)+E(12)^-1, -1*E(12)-E(12)^-1, E(12)-2*E(12)^3, E(12)+E(12)^3, -1*E(12)-E(12)^3, -1*E(12)+2*E(12)^3, 0], [4, -4, 0, -2, -2, 1, -2+3*E(12)^2, 1-3*E(12)^2, 4, 1, -2, -2, -2, -2, 1, 1, 1, 1, -2+3*E(12)^2, 1-3*E(12)^2, -2+3*E(12)^2, 1-3*E(12)^2, 1, 1, 0, 0, 2, 2, -1, -1+3*E(12)^2, 2-3*E(12)^2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, E(12)+E(12)^-1, -1*E(12)-E(12)^-1, E(12)+E(12)^3, E(12)-2*E(12)^3, -1*E(12)+2*E(12)^3, -1*E(12)-E(12)^3, 0], [8, 0, 2, 8, 8, 8, 8, 8, -1, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 8, 0, -4, 2, -4, 2, 2, 8, -1, 2, 2, -4, 2, -1, -1, -4, -4, 2, 2, 2, 2, -1, -1, 0, 0, -4, 2, -4, 2, 2, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 0, -2, 8, 8, 8, 8, 8, -1, 8, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, -2, -2, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, -8, 0, -4, 2, -4, 2, 2, 8, -1, 2, 2, -4, 2, -1, -1, -4, -4, 2, 2, 2, 2, -1, -1, 0, 0, 4, -2, 4, -2, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 0, 2, 8, 2, -4, -4, -4, -1, 2, -4-3*E(3), -1+3*E(3), -1, 2, 2, 2, 2+3*E(3), -1-3*E(3), 2+3*E(3), -1-3*E(3), -1-3*E(3), 2+3*E(3), -1+3*E(3), -4-3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 2*E(3), 2*E(3)^-1, -1, -1*E(3)^-1, -1*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 0, 2, 8, 2, -4, -4, -4, -1, 2, -1+3*E(3), -4-3*E(3), -1, 2, 2, 2, -1-3*E(3), 2+3*E(3), -1-3*E(3), 2+3*E(3), 2+3*E(3), -1-3*E(3), -4-3*E(3), -1+3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 2*E(3)^-1, 2*E(3), -1, -1*E(3), -1*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 0, -2, 8, 2, -4, -4, -4, -1, 2, -4-3*E(3), -1+3*E(3), -1, 2, 2, 2, 2+3*E(3), -1-3*E(3), 2+3*E(3), -1-3*E(3), -1-3*E(3), 2+3*E(3), -1+3*E(3), -4-3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, -2*E(3), -2*E(3)^-1, 1, E(3)^-1, E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8, 0, -2, 8, 2, -4, -4, -4, -1, 2, -1+3*E(3), -4-3*E(3), -1, 2, 2, 2, -1-3*E(3), 2+3*E(3), -1-3*E(3), 2+3*E(3), 2+3*E(3), -1-3*E(3), -4-3*E(3), -1+3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, -2*E(3)^-1, -2*E(3), 1, E(3), E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, 16, 16, -8, -8, -2, -8, -2, -2, 1, -2, 1, 1, -2, -2, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, 16, 4, -8, -8, -8, -2, 4, 4, 4, -2, -5, -5, -5, 1, 1, 1, 1, 1, 1, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, 4, -8, 4, 4, -2, -2, 4, 4, 1, -5, -2, 7, 1, 1, 4, 4, -5, -5, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, 4, -8, 4, 4, -2, -2, 4, 4, 1, -5, 7, -2, 1, 1, -5, -5, 4, 4, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, -8, 4, -8-12*E(3), 4+12*E(3), -2, 4, 4+6*E(3), -2-6*E(3), 1, 1, -5, 4, 1+3*E(3), -2-3*E(3), -2, -2, 4+3*E(3), 1-3*E(3), 1+3*E(3), -2-3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, -8, 4, 4+12*E(3), -8-12*E(3), -2, 4, -2-6*E(3), 4+6*E(3), 1, 1, -5, 4, -2-3*E(3), 1+3*E(3), -2, -2, 1-3*E(3), 4+3*E(3), -2-3*E(3), 1+3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, -8, 4, -8-12*E(3), 4+12*E(3), -2, 4, -2-6*E(3), 4+6*E(3), 1, 1, 4, -5, -2-3*E(3), 1+3*E(3), 4+3*E(3), 1-3*E(3), -2, -2, -2-3*E(3), 1+3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, -8, 4, 4+12*E(3), -8-12*E(3), -2, 4, 4+6*E(3), -2-6*E(3), 1, 1, 4, -5, 1+3*E(3), -2-3*E(3), 1-3*E(3), 4+3*E(3), -2, -2, 1+3*E(3), -2-3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, 4, -8, 4, 4, -2, -2, -8-6*E(3), -2+6*E(3), 1, 4, -2, -2, 4+6*E(3), -2-6*E(3), -2-3*E(3), 1+3*E(3), 1+3*E(3), -2-3*E(3), 1-3*E(3), 4+3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, -8, 4, -8, 4, 4, -2, -2, -2+6*E(3), -8-6*E(3), 1, 4, -2, -2, -2-6*E(3), 4+6*E(3), 1+3*E(3), -2-3*E(3), -2-3*E(3), 1+3*E(3), 4+3*E(3), 1-3*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, 16, -8, 4, 4, 4, -2, -8, -2-6*E(3), 4+6*E(3), -2, 1, 1, 1, -2-3*E(3), 1+3*E(3), -2-3*E(3), 1+3*E(3), 1+3*E(3), -2-3*E(3), 4+6*E(3), -2-6*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16, 0, 0, 16, -8, 4, 4, 4, -2, -8, 4+6*E(3), -2-6*E(3), -2, 1, 1, 1, 1+3*E(3), -2-3*E(3), 1+3*E(3), -2-3*E(3), -2-3*E(3), 1+3*E(3), -2-6*E(3), 4+6*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]; ConvertToLibraryCharacterTableNC(chartbl_3888_ds);