# Group 3888.ha downloaded from the LMFDB on 19 July 2026. ## Various presentations of this group are stored in this file: # GPC is polycyclic presentation GPerm is permutation group # GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups # Many characteristics of the group are stored as booleans in a record: # Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, # metacyclic, monomial, nilpotent, perfect, quasisimple, rational, # solvable, supersolvable # 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(19410226756915649048442451470710299612759530148642196977374460301284966159214087519793800415830405921155671631,3888); a := GPC.1; b := GPC.4; c := GPC.5; d := GPC.8; GPerm := Group( (1,2,4,7)(3,5,9,11,14,17,15,6,8,10,12,16)(13,18)(19,20,21,22), (1,3,6,9,10,13,18,14,16,12,17,7,4,8,11,15,5,2)(19,20,21,22) ); # Booleans booleans_3888_ha := 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_ha:=rec(); chartbl_3888_ha.IsFinite:= true; chartbl_3888_ha.UnderlyingCharacteristic:= 0; chartbl_3888_ha.UnderlyingGroup:= GPC; chartbl_3888_ha.Size:= 3888; chartbl_3888_ha.InfoText:= "Character table for group 3888.ha downloaded from the LMFDB."; chartbl_3888_ha.Identifier:= " D9^2:C12 "; chartbl_3888_ha.NrConjugacyClasses:= 66; chartbl_3888_ha.ConjugacyClasses:= [ of ..., f2*f3*f4*f7^2*f9^2, f5*f6*f7*f9^2, f2*f3*f5*f7*f8*f9, f2*f3*f6*f8^2*f9, f4*f7, f9^2, f7^2*f9^2, f3^2*f7*f9, f3*f7^2*f9^2, f1*f2*f5*f9, f1*f3^2*f4*f5*f7^2*f9^2, f1*f3^2*f4*f7*f8^2*f9, f1*f2*f4*f6*f9, f2*f3*f4*f7^2, f2*f3*f4, f2*f4, f2*f3^2*f4*f7*f9, f5*f6*f7^2*f8*f9^2, f2*f3*f4*f5*f6*f7*f9, f3*f5*f6, f3^2*f5*f6, f2*f5*f8, f2*f3^2*f5*f8, f2*f6*f7*f8^2, f2*f3^2*f6*f7^2*f8^2*f9^2, f3*f4*f7, f3^2*f4*f7, f8^2*f9^2, f6^2*f7*f8, f7^2*f8^2*f9^2, f6^2*f7^2*f8^2*f9^2, f3*f7^2*f8^2*f9, f3^2*f7*f8, f3^2*f6^2*f7*f8*f9^2, f3*f6*f7^2*f8^2*f9^2, f1*f2*f5*f7*f9, f1*f3^2*f4*f5*f7^2, f1*f4*f5, f1*f2*f3^2*f5, f1*f3*f4*f5, f1*f2*f3*f5, f1*f2*f3*f4*f6*f7^2, f1*f3*f4*f8^2, f1*f2*f3^2*f4*f6*f7*f9^2, f1*f4*f7^2*f8^2*f9^2, f2*f3*f4*f7^2*f8, f2*f3*f4*f6*f7*f8^2, f2*f3*f4*f8, f2*f3*f4*f6*f8, f2*f4*f8, f2*f3^2*f4*f8, f2*f3^2*f4*f6*f7^2*f8^2, f2*f4*f6^2*f7^2*f8*f9^2, f4*f5*f6*f8^2*f9, f2*f3*f4*f5*f6^2*f7*f8^2*f9^2, f3*f5*f6^2*f7*f8*f9^2, f3^2*f5*f7^2*f8*f9^2, f2*f3^2*f4*f5*f6^2*f7^2*f9^2, f2*f4*f5*f7^2, f1*f3^2*f4*f5*f7^2*f8^2, f1*f2*f5*f6^2*f9, f1*f3*f4*f5*f6^2*f7*f8, f1*f2*f3*f5*f6*f7^2*f8^2*f9^2, f1*f4*f5*f6*f7^2*f8^2*f9^2, f1*f2*f3^2*f5*f6^2*f7*f8]; chartbl_3888_ha.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, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66]; chartbl_3888_ha.ComputedPowerMaps:= [ , [1, 1, 1, 1, 1, 1, 7, 8, 10, 9, 2, 2, 5, 5, 7, 8, 10, 9, 7, 7, 9, 10, 10, 9, 10, 9, 9, 10, 29, 30, 31, 32, 34, 33, 36, 35, 16, 16, 17, 18, 18, 17, 25, 26, 26, 25, 29, 30, 31, 32, 33, 34, 35, 36, 29, 29, 34, 33, 34, 33, 48, 48, 53, 54, 54, 53], [1, 2, 3, 4, 5, 6, 1, 1, 1, 1, 12, 11, 14, 13, 2, 2, 2, 2, 3, 4, 3, 3, 4, 4, 5, 5, 6, 6, 7, 8, 7, 8, 7, 7, 8, 8, 12, 11, 11, 12, 11, 12, 13, 14, 13, 14, 15, 16, 15, 16, 15, 15, 16, 16, 19, 20, 19, 19, 20, 20, 37, 38, 37, 38, 37, 38]]; chartbl_3888_ha.SizesCentralizers:= [3888, 3888, 216, 216, 48, 48, 972, 972, 432, 432, 216, 216, 24, 24, 972, 972, 432, 432, 108, 108, 72, 72, 72, 72, 48, 48, 48, 48, 324, 324, 162, 162, 108, 108, 108, 108, 108, 108, 72, 72, 72, 72, 24, 24, 24, 24, 324, 324, 162, 162, 108, 108, 108, 108, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36, 36]; chartbl_3888_ha.ClassNames:= ["1A", "2A", "2B", "2C", "2D", "2E", "3A", "3B", "3C1", "3C-1", "4A1", "4A-1", "4B1", "4B-1", "6A", "6B", "6C1", "6C-1", "6D", "6E", "6F1", "6F-1", "6G1", "6G-1", "6H1", "6H-1", "6I1", "6I-1", "9A", "9B", "9C", "9D", "9E1", "9E-1", "9F1", "9F-1", "12A1", "12A-1", "12B1", "12B-1", "12B5", "12B-5", "12C1", "12C-1", "12C5", "12C-5", "18A", "18B", "18C", "18D", "18E1", "18E-1", "18F1", "18F-1", "18G", "18H", "18I1", "18I-1", "18J1", "18J-1", "36A1", "36A-1", "36B1", "36B-1", "36B5", "36B-5"]; chartbl_3888_ha.OrderClassRepresentatives:= [1, 2, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 9, 9, 9, 9, 9, 9, 9, 9, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 36, 36, 36, 36, 36, 36]; chartbl_3888_ha.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, 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, E(3)^-1, E(3), 1, 1, 1, 1, 1, 1, E(3)^-1, E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, E(3), E(3)^-1, E(3), E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1], [1, 1, 1, 1, 1, 1, 1, 1, E(3), E(3)^-1, 1, 1, 1, 1, 1, 1, E(3), E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, E(3)^-1, E(3), E(3)^-1, E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3)], [1, -1, -1, 1, -1, 1, 1, 1, 1, 1, -1*E(4), E(4), -1*E(4), E(4), -1, -1, -1, -1, -1, 1, -1, -1, 1, 1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1*E(4), E(4), E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4), -1, -1, -1, -1, -1, -1, -1, -1, -1, 1, -1, -1, 1, 1, E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4)], [1, -1, -1, 1, -1, 1, 1, 1, 1, 1, E(4), -1*E(4), E(4), -1*E(4), -1, -1, -1, -1, -1, 1, -1, -1, 1, 1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, E(4), -1*E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4), -1, -1, -1, -1, -1, -1, -1, -1, -1, 1, -1, -1, 1, 1, -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4)], [1, -1, 1, -1, -1, 1, 1, 1, 1, 1, -1*E(4), E(4), E(4), -1*E(4), -1, -1, -1, -1, 1, -1, 1, 1, -1, -1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -1*E(4), E(4), E(4), -1*E(4), E(4), -1*E(4), -1*E(4), E(4), -1*E(4), E(4), -1, -1, -1, -1, -1, -1, -1, -1, 1, -1, 1, 1, -1, -1, E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4)], [1, -1, 1, -1, -1, 1, 1, 1, 1, 1, E(4), -1*E(4), -1*E(4), E(4), -1, -1, -1, -1, 1, -1, 1, 1, -1, -1, -1, -1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, E(4), -1*E(4), -1*E(4), E(4), -1*E(4), E(4), E(4), -1*E(4), E(4), -1*E(4), -1, -1, -1, -1, -1, -1, -1, -1, 1, -1, 1, 1, -1, -1, -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4)], [1, 1, -1, -1, 1, 1, 1, 1, E(3)^-1, E(3), -1, -1, 1, 1, 1, 1, E(3)^-1, E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3), -1*E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1], [1, 1, -1, -1, 1, 1, 1, 1, E(3), E(3)^-1, -1, -1, 1, 1, 1, 1, E(3), E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3)^-1, -1*E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3)], [1, 1, -1, -1, 1, 1, 1, 1, E(3)^-1, E(3), 1, 1, -1, -1, 1, 1, E(3)^-1, E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3), -1*E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1], [1, 1, -1, -1, 1, 1, 1, 1, E(3), E(3)^-1, 1, 1, -1, -1, 1, 1, E(3), E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3)^-1, -1*E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3)], [1, 1, 1, 1, 1, 1, 1, 1, E(3)^-1, E(3), -1, -1, -1, -1, 1, 1, E(3)^-1, E(3), 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, 1, 1, E(3), E(3)^-1, E(3), E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1], [1, 1, 1, 1, 1, 1, 1, 1, E(3), E(3)^-1, -1, -1, -1, -1, 1, 1, E(3), E(3)^-1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1, 1, 1, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3), 1, 1, E(3)^-1, E(3), E(3)^-1, E(3), -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3)], [1, -1, -1, 1, -1, 1, 1, 1, -1*E(12)^2, E(12)^4, -1*E(12)^3, E(12)^3, -1*E(12)^3, E(12)^3, -1, -1, E(12)^2, -1*E(12)^4, -1, 1, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, 1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^2, E(12)^4, -1*E(12)^3, E(12)^3, -1*E(12), E(12)^5, -1*E(12)^5, E(12), -1*E(12), E(12)^5, -1*E(12)^5, E(12), -1, -1, -1, -1, E(12)^2, -1*E(12)^4, -1*E(12)^4, E(12)^2, -1, 1, -1*E(12)^4, E(12)^2, E(12)^4, -1*E(12)^2, E(12)^3, -1*E(12)^3, -1*E(12)^5, E(12), -1*E(12), E(12)^5], [1, -1, -1, 1, -1, 1, 1, 1, E(12)^4, -1*E(12)^2, E(12)^3, -1*E(12)^3, E(12)^3, -1*E(12)^3, -1, -1, -1*E(12)^4, E(12)^2, -1, 1, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, 1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^4, -1*E(12)^2, E(12)^3, -1*E(12)^3, E(12)^5, -1*E(12), E(12), -1*E(12)^5, E(12)^5, -1*E(12), E(12), -1*E(12)^5, -1, -1, -1, -1, -1*E(12)^4, E(12)^2, E(12)^2, -1*E(12)^4, -1, 1, E(12)^2, -1*E(12)^4, -1*E(12)^2, E(12)^4, -1*E(12)^3, E(12)^3, E(12), -1*E(12)^5, E(12)^5, -1*E(12)], [1, -1, -1, 1, -1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^3, -1*E(12)^3, E(12)^3, -1*E(12)^3, -1, -1, E(12)^2, -1*E(12)^4, -1, 1, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, 1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^2, E(12)^4, E(12)^3, -1*E(12)^3, E(12), -1*E(12)^5, E(12)^5, -1*E(12), E(12), -1*E(12)^5, E(12)^5, -1*E(12), -1, -1, -1, -1, E(12)^2, -1*E(12)^4, -1*E(12)^4, E(12)^2, -1, 1, -1*E(12)^4, E(12)^2, E(12)^4, -1*E(12)^2, -1*E(12)^3, E(12)^3, E(12)^5, -1*E(12), E(12), -1*E(12)^5], [1, -1, -1, 1, -1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^3, E(12)^3, -1*E(12)^3, E(12)^3, -1, -1, -1*E(12)^4, E(12)^2, -1, 1, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, 1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^4, -1*E(12)^2, -1*E(12)^3, E(12)^3, -1*E(12)^5, E(12), -1*E(12), E(12)^5, -1*E(12)^5, E(12), -1*E(12), E(12)^5, -1, -1, -1, -1, -1*E(12)^4, E(12)^2, E(12)^2, -1*E(12)^4, -1, 1, E(12)^2, -1*E(12)^4, -1*E(12)^2, E(12)^4, E(12)^3, -1*E(12)^3, -1*E(12), E(12)^5, -1*E(12)^5, E(12)], [1, -1, 1, -1, -1, 1, 1, 1, -1*E(12)^2, E(12)^4, -1*E(12)^3, E(12)^3, E(12)^3, -1*E(12)^3, -1, -1, E(12)^2, -1*E(12)^4, 1, -1, E(12)^4, -1*E(12)^2, E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, 1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^2, E(12)^4, -1*E(12)^3, E(12)^3, -1*E(12), E(12)^5, -1*E(12)^5, E(12), E(12), -1*E(12)^5, E(12)^5, -1*E(12), -1, -1, -1, -1, E(12)^2, -1*E(12)^4, -1*E(12)^4, E(12)^2, 1, -1, E(12)^4, -1*E(12)^2, -1*E(12)^4, E(12)^2, E(12)^3, -1*E(12)^3, -1*E(12)^5, E(12), -1*E(12), E(12)^5], [1, -1, 1, -1, -1, 1, 1, 1, E(12)^4, -1*E(12)^2, E(12)^3, -1*E(12)^3, -1*E(12)^3, E(12)^3, -1, -1, -1*E(12)^4, E(12)^2, 1, -1, -1*E(12)^2, E(12)^4, -1*E(12)^4, E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, 1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^4, -1*E(12)^2, E(12)^3, -1*E(12)^3, E(12)^5, -1*E(12), E(12), -1*E(12)^5, -1*E(12)^5, E(12), -1*E(12), E(12)^5, -1, -1, -1, -1, -1*E(12)^4, E(12)^2, E(12)^2, -1*E(12)^4, 1, -1, -1*E(12)^2, E(12)^4, E(12)^2, -1*E(12)^4, -1*E(12)^3, E(12)^3, E(12), -1*E(12)^5, E(12)^5, -1*E(12)], [1, -1, 1, -1, -1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^3, -1*E(12)^3, -1*E(12)^3, E(12)^3, -1, -1, E(12)^2, -1*E(12)^4, 1, -1, E(12)^4, -1*E(12)^2, E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^4, E(12)^4, -1*E(12)^2, 1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^2, E(12)^4, E(12)^3, -1*E(12)^3, E(12), -1*E(12)^5, E(12)^5, -1*E(12), -1*E(12), E(12)^5, -1*E(12)^5, E(12), -1, -1, -1, -1, E(12)^2, -1*E(12)^4, -1*E(12)^4, E(12)^2, 1, -1, E(12)^4, -1*E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^3, E(12)^3, E(12)^5, -1*E(12), E(12), -1*E(12)^5], [1, -1, 1, -1, -1, 1, 1, 1, E(12)^4, -1*E(12)^2, -1*E(12)^3, E(12)^3, E(12)^3, -1*E(12)^3, -1, -1, -1*E(12)^4, E(12)^2, 1, -1, -1*E(12)^2, E(12)^4, -1*E(12)^4, E(12)^2, -1*E(12)^4, E(12)^2, -1*E(12)^2, E(12)^4, 1, 1, 1, 1, -1*E(12)^2, E(12)^4, E(12)^4, -1*E(12)^2, -1*E(12)^3, E(12)^3, -1*E(12)^5, E(12), -1*E(12), E(12)^5, E(12)^5, -1*E(12), E(12), -1*E(12)^5, -1, -1, -1, -1, -1*E(12)^4, E(12)^2, E(12)^2, -1*E(12)^4, 1, -1, -1*E(12)^2, E(12)^4, E(12)^2, -1*E(12)^4, E(12)^3, -1*E(12)^3, -1*E(12), E(12)^5, -1*E(12)^5, E(12)], [2, -2, 0, 0, 2, -2, 2, 2, 2, 2, 0, 0, 0, 0, -2, -2, -2, -2, 0, 0, 0, 0, 0, 0, 2, 2, -2, -2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, -2, -2, -2, -2, -2, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, 2, 0, 0, -2, -2, 2, 2, 2, 2, 0, 0, 0, 0, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, -2, -2, -2, -2, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, -2, 0, 0, 2, -2, 2, 2, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, -2, -2, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 2*E(3)^-1, 2*E(3), -2*E(3), -2*E(3)^-1, 2, 2, 2, 2, 2*E(3), 2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, -2, -2, -2, -2*E(3)^-1, -2*E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, -2, 0, 0, 2, -2, 2, 2, 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, -2, -2, -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 2*E(3), 2*E(3)^-1, -2*E(3)^-1, -2*E(3), 2, 2, 2, 2, 2*E(3)^-1, 2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, -2, -2, -2, -2*E(3), -2*E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, 2, 0, 0, -2, -2, 2, 2, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 2, 2, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 0, 0, -2*E(3)^-1, -2*E(3), -2*E(3), -2*E(3)^-1, 2, 2, 2, 2, 2*E(3), 2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2*E(3)^-1, 2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2, 2, 0, 0, -2, -2, 2, 2, 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 2, 2, 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 0, 0, -2*E(3), -2*E(3)^-1, -2*E(3)^-1, -2*E(3), 2, 2, 2, 2, 2*E(3)^-1, 2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 2, 2, 2, 2*E(3), 2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4, 4, 0, 0, 0, 0, 4, 4, 4, 4, 2, 2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, 0, 0, 0, 0, 0, 0, -1, -1, -1, -1, -1, -1], [4, 4, 2, 2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 4, 2, 2, 2, 2, 2, 2, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0], [4, 4, -2, -2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, 4, 4, 4, 4, -2, -2, -2, -2, -2, -2, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0], [4, 4, 0, 0, 0, 0, 4, 4, 4, 4, -2, -2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, -2, -2, -2, -2, -2, -2, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1], [4, -4, -2, 2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, -4, -4, -4, -4, -2, 2, -2, -2, 2, 2, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1, -1, 2, 2, 1, -1, 1, 1, -1, -1, 0, 0, 0, 0, 0, 0], [4, -4, 2, -2, 0, 0, 4, 4, 4, 4, 0, 0, 0, 0, -4, -4, -4, -4, 2, -2, 2, 2, -2, -2, 0, 0, 0, 0, 1, -2, 1, -2, 1, 1, -2, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1, -1, 2, 2, -1, 1, -1, -1, 1, 1, 0, 0, 0, 0, 0, 0], [4, 4, 0, 0, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 2, 2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3), -2*E(3)^-1, E(3)^-1, E(3), 2, 2, 2*E(3), 2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3)^-1, -2*E(3), E(3), E(3)^-1, 0, 0, 0, 0, 0, 0, -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3), -1*E(3)^-1], [4, 4, 0, 0, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 2, 2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3)^-1, -2*E(3), E(3), E(3)^-1, 2, 2, 2*E(3)^-1, 2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3), -2*E(3)^-1, E(3)^-1, E(3), 0, 0, 0, 0, 0, 0, -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3)^-1, -1*E(3)], [4, 4, 2, 2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 2, 2, 2*E(3), 2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, -1, -1, -1*E(3), -1*E(3)^-1, -1*E(3), -1*E(3)^-1, 0, 0, 0, 0, 0, 0], [4, 4, 2, 2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 2, 2, 2*E(3)^-1, 2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), -1, -1, -1*E(3)^-1, -1*E(3), -1*E(3)^-1, -1*E(3), 0, 0, 0, 0, 0, 0], [4, -4, 0, 0, 0, 0, 4, 4, 4, 4, -2*E(4), 2*E(4), 0, 0, -4, -4, -4, -4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, -2*E(4), 2*E(4), 2*E(4), -2*E(4), 2*E(4), -2*E(4), 0, 0, 0, 0, 2, -1, 2, -1, 2, 2, -1, -1, 0, 0, 0, 0, 0, 0, -1*E(4), E(4), -1*E(4), E(4), -1*E(4), E(4)], [4, -4, 0, 0, 0, 0, 4, 4, 4, 4, 2*E(4), -2*E(4), 0, 0, -4, -4, -4, -4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2, -2, 1, 1, 2*E(4), -2*E(4), -2*E(4), 2*E(4), -2*E(4), 2*E(4), 0, 0, 0, 0, 2, -1, 2, -1, 2, 2, -1, -1, 0, 0, 0, 0, 0, 0, E(4), -1*E(4), E(4), -1*E(4), E(4), -1*E(4)], [4, 4, -2, -2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), -2, -2, -2*E(3), -2*E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, 1, 1, E(3), E(3)^-1, E(3), E(3)^-1, 0, 0, 0, 0, 0, 0], [4, 4, -2, -2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, -2, -2, -2*E(3)^-1, -2*E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), 1, 1, E(3)^-1, E(3), E(3)^-1, E(3), 0, 0, 0, 0, 0, 0], [4, 4, 0, 0, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), -2, -2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3), -2*E(3)^-1, E(3)^-1, E(3), -2, -2, -2*E(3), -2*E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3)^-1, -2*E(3), E(3), E(3)^-1, 0, 0, 0, 0, 0, 0, 1, 1, E(3)^-1, E(3), E(3), E(3)^-1], [4, 4, 0, 0, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, -2, -2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3)^-1, -2*E(3), E(3), E(3)^-1, -2, -2, -2*E(3)^-1, -2*E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(3), -2*E(3)^-1, E(3)^-1, E(3), 0, 0, 0, 0, 0, 0, 1, 1, E(3), E(3)^-1, E(3)^-1, E(3)], [4, -4, -2, 2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, -4, -4, -4*E(3)^-1, -4*E(3), -2, 2, -2*E(3), -2*E(3)^-1, 2*E(3)^-1, 2*E(3), 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1*E(3)^-1, -1*E(3), 2*E(3), 2*E(3)^-1, 1, -1, E(3), E(3)^-1, -1*E(3), -1*E(3)^-1, 0, 0, 0, 0, 0, 0], [4, -4, -2, 2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, -4, -4, -4*E(3), -4*E(3)^-1, -2, 2, -2*E(3)^-1, -2*E(3), 2*E(3), 2*E(3)^-1, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1*E(3), -1*E(3)^-1, 2*E(3)^-1, 2*E(3), 1, -1, E(3)^-1, E(3), -1*E(3)^-1, -1*E(3), 0, 0, 0, 0, 0, 0], [4, -4, 2, -2, 0, 0, 4, 4, 4*E(3)^-1, 4*E(3), 0, 0, 0, 0, -4, -4, -4*E(3)^-1, -4*E(3), 2, -2, 2*E(3), 2*E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 1, -2, 1, -2, E(3), E(3)^-1, -2*E(3)^-1, -2*E(3), 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1*E(3)^-1, -1*E(3), 2*E(3), 2*E(3)^-1, -1, 1, -1*E(3), -1*E(3)^-1, E(3), E(3)^-1, 0, 0, 0, 0, 0, 0], [4, -4, 2, -2, 0, 0, 4, 4, 4*E(3), 4*E(3)^-1, 0, 0, 0, 0, -4, -4, -4*E(3), -4*E(3)^-1, 2, -2, 2*E(3)^-1, 2*E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 1, -2, 1, -2, E(3)^-1, E(3), -2*E(3), -2*E(3)^-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 2, -1, 2, -1*E(3), -1*E(3)^-1, 2*E(3)^-1, 2*E(3), -1, 1, -1*E(3)^-1, -1*E(3), E(3)^-1, E(3), 0, 0, 0, 0, 0, 0], [4, -4, 0, 0, 0, 0, 4, 4, -4*E(12)^2, 4*E(12)^4, -2*E(12)^3, 2*E(12)^3, 0, 0, -4, -4, 4*E(12)^2, -4*E(12)^4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(12)^4, 2*E(12)^2, -1*E(12)^2, E(12)^4, -2*E(12)^3, 2*E(12)^3, -2*E(12), 2*E(12)^5, -2*E(12)^5, 2*E(12), 0, 0, 0, 0, 2, -1, 2, -1, -2*E(12)^2, 2*E(12)^4, -1*E(12)^4, E(12)^2, 0, 0, 0, 0, 0, 0, -1*E(12)^3, E(12)^3, E(12)^5, -1*E(12), E(12), -1*E(12)^5], [4, -4, 0, 0, 0, 0, 4, 4, 4*E(12)^4, -4*E(12)^2, 2*E(12)^3, -2*E(12)^3, 0, 0, -4, -4, -4*E(12)^4, 4*E(12)^2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, 2*E(12)^2, -2*E(12)^4, E(12)^4, -1*E(12)^2, 2*E(12)^3, -2*E(12)^3, 2*E(12)^5, -2*E(12), 2*E(12), -2*E(12)^5, 0, 0, 0, 0, 2, -1, 2, -1, 2*E(12)^4, -2*E(12)^2, E(12)^2, -1*E(12)^4, 0, 0, 0, 0, 0, 0, E(12)^3, -1*E(12)^3, -1*E(12), E(12)^5, -1*E(12)^5, E(12)], [4, -4, 0, 0, 0, 0, 4, 4, -4*E(12)^2, 4*E(12)^4, 2*E(12)^3, -2*E(12)^3, 0, 0, -4, -4, 4*E(12)^2, -4*E(12)^4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, -2*E(12)^4, 2*E(12)^2, -1*E(12)^2, E(12)^4, 2*E(12)^3, -2*E(12)^3, 2*E(12), -2*E(12)^5, 2*E(12)^5, -2*E(12), 0, 0, 0, 0, 2, -1, 2, -1, -2*E(12)^2, 2*E(12)^4, -1*E(12)^4, E(12)^2, 0, 0, 0, 0, 0, 0, E(12)^3, -1*E(12)^3, -1*E(12)^5, E(12), -1*E(12), E(12)^5], [4, -4, 0, 0, 0, 0, 4, 4, 4*E(12)^4, -4*E(12)^2, -2*E(12)^3, 2*E(12)^3, 0, 0, -4, -4, -4*E(12)^4, 4*E(12)^2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, -2, 1, 2*E(12)^2, -2*E(12)^4, E(12)^4, -1*E(12)^2, -2*E(12)^3, 2*E(12)^3, -2*E(12)^5, 2*E(12), -2*E(12), 2*E(12)^5, 0, 0, 0, 0, 2, -1, 2, -1, 2*E(12)^4, -2*E(12)^2, E(12)^2, -1*E(12)^4, 0, 0, 0, 0, 0, 0, -1*E(12)^3, E(12)^3, E(12), -1*E(12)^5, E(12)^5, -1*E(12)], [12, 12, 0, 0, 0, 0, -6, 3, 0, 0, 6, 6, 0, 0, -6, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, -3, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 12, 6, 6, 0, 0, 3, -6, 0, 0, 0, 0, 0, 0, 3, -6, 0, 0, -3, -3, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 12, -6, -6, 0, 0, 3, -6, 0, 0, 0, 0, 0, 0, 3, -6, 0, 0, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, 12, 0, 0, 0, 0, -6, 3, 0, 0, -6, -6, 0, 0, -6, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, -12, -6, 6, 0, 0, 3, -6, 0, 0, 0, 0, 0, 0, -3, 6, 0, 0, 3, -3, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, -12, 6, -6, 0, 0, 3, -6, 0, 0, 0, 0, 0, 0, -3, 6, 0, 0, -3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, -12, 0, 0, 0, 0, -6, 3, 0, 0, -6*E(4), 6*E(4), 0, 0, 6, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 3*E(4), -3*E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [12, -12, 0, 0, 0, 0, -6, 3, 0, 0, 6*E(4), -6*E(4), 0, 0, 6, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, -3*E(4), 3*E(4), 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [24, 24, 0, 0, 0, 0, -12, 6, 0, 0, 0, 0, 0, 0, -12, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [24, 24, 0, 0, 0, 0, 6, -12, 0, 0, 0, 0, 0, 0, 6, -12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [24, -24, 0, 0, 0, 0, -12, 6, 0, 0, 0, 0, 0, 0, 12, -6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [24, -24, 0, 0, 0, 0, 6, -12, 0, 0, 0, 0, 0, 0, -6, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -6, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, -3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]]; ConvertToLibraryCharacterTableNC(chartbl_3888_ha);