Matrix t2*K(2) in Subspace 145 with Dimension 16

(K(2) is the second-order Grosse operator)

(-35*t*U)/12 (48*t^2 + (7 + (5*I)*Sqrt[3])*U^2)/24 -((3*I + Sqrt[3])*t*U)/(12*Sqrt[2]) ((-3*I + Sqrt[3])*t^2)/2 ((-9*I + Sqrt[3])*t*U)/8 ((3*I - 5*Sqrt[3])*U^2)/(12*Sqrt[2]) -((9*I + 5*Sqrt[3])*U^2)/(12*Sqrt[2]) (t*(Sqrt[2]*U + I*Sqrt[6]*U))/8 (3*(1 - I*Sqrt[3])*t^2)/2 ((-1 + (3*I)*Sqrt[3])*t*U)/8 ((17 - I*Sqrt[3])*t*U)/(6*Sqrt[2]) -(12*t^2 + (1 - I*Sqrt[3])*U^2)/(3*Sqrt[2]) ((-1/4 - I/4)*(9*Sqrt[4 - 2*Sqrt[3]] - (4 - I)*(-3 + Sqrt[3]))*t*U)/(Sqrt[3]*(3 - Sqrt[3])^(3/2)) ((1/12 - I/12)*(-9 + (4 + I)*Sqrt[3])*t*U)/Sqrt[3 + Sqrt[3]] ((5*I + 2*Sqrt[3])*t*U)/4 -((-3*I + Sqrt[3])*U^2)/24
(48*t^2 + (7 - (5*I)*Sqrt[3])*U^2)/24 (-31*t*U)/12 0 -((9*I + 2*Sqrt[3])*t*U)/12 (-I + 1/Sqrt[3])*t^2 ((3*I + Sqrt[3])*t*U)/(6*Sqrt[2]) -((6*I + 5*Sqrt[3])*t*U)/(3*Sqrt[2]) 0 -(t*U)/4 (-1 + I*Sqrt[3])*t^2 ((1 - I*Sqrt[3])*U^2)/(6*Sqrt[2]) ((-5 - (3*I)*Sqrt[3])*t*U)/(6*Sqrt[2]) 0 0 (-16*Sqrt[3]*t^2 + 3*(3*I + Sqrt[3])*U^2)/24 -((2*I + Sqrt[3])*t*U)/4
-((-3*I + Sqrt[3])*t*U)/(12*Sqrt[2]) 0 -2*t*U ((I/4)*(5*I + Sqrt[3])*U^2)/Sqrt[2] (t*(Sqrt[2]*U + I*Sqrt[6]*U))/4 -2*t^2 (-1 + I*Sqrt[3])*t^2 0 ((-3*I + Sqrt[3])*U^2)/(4*Sqrt[2]) 0 (t*U)/Sqrt[3] 0 0 0 (3*(1 - I*Sqrt[3])*t*U)/(4*Sqrt[2]) 0
((3*I + Sqrt[3])*t^2)/2 ((9*I - 2*Sqrt[3])*t*U)/12 ((-I/4)*(-5*I + Sqrt[3])*U^2)/Sqrt[2] (-15*t*U)/4 (8*t^2 + (-1 + (3*I)*Sqrt[3])*U^2)/8 (3*t*U)/(2*Sqrt[2]) (3*t*U)/(2*Sqrt[2]) ((3*I + Sqrt[3])*U^2)/(4*Sqrt[2]) ((-3*I)/4)*t*U (-8*Sqrt[3]*t^2 - (3*I + Sqrt[3])*U^2)/8 0 (t*U)/Sqrt[6] 0 0 (-I/2)*(-I + Sqrt[3])*t^2 ((3*I)/4)*(2*I + Sqrt[3])*t*U
((9*I + Sqrt[3])*t*U)/8 (I + 1/Sqrt[3])*t^2 (t*(Sqrt[2]*U - I*Sqrt[6]*U))/4 (8*t^2 + (-1 - (3*I)*Sqrt[3])*U^2)/8 (-3*t*U)/4 0 0 0 (8*Sqrt[3]*t^2 - (-3*I + Sqrt[3])*U^2)/8 (-5*Sqrt[3]*t*U)/4 ((3*I + Sqrt[3])*t*U)/(2*Sqrt[2]) -(Sqrt[2]*(3*I + Sqrt[3])*t^2)/3 0 0 ((3*I)/8)*(I + Sqrt[3])*t*U 0
-((3*I + 5*Sqrt[3])*U^2)/(12*Sqrt[2]) ((-3*I + Sqrt[3])*t*U)/(6*Sqrt[2]) -2*t^2 (3*t*U)/(2*Sqrt[2]) 0 -4*t*U t*U -2*Sqrt[3]*t^2 -(Sqrt[3/2]*t*U)/2 0 -(U^2/Sqrt[3]) ((-3*I + 4*Sqrt[3])*t*U)/3 (-4*(-3 + Sqrt[3])*t^2)/Sqrt[18 - 6*Sqrt[3]] (2*(Sqrt[2] + Sqrt[6])*t^2)/Sqrt[3 + Sqrt[3]] ((3 - I*Sqrt[3])*U^2)/(4*Sqrt[2]) ((2 - I*Sqrt[3])*t*U)/Sqrt[2]
((9*I - 5*Sqrt[3])*U^2)/(12*Sqrt[2]) ((6*I - 5*Sqrt[3])*t*U)/(3*Sqrt[2]) (-1 - I*Sqrt[3])*t^2 (3*t*U)/(2*Sqrt[2]) 0 t*U -4*t*U (-3*I - Sqrt[3])*t^2 -(Sqrt[3/2]*t*U)/2 0 ((3*I + Sqrt[3])*U^2)/6 ((-3*I + Sqrt[3])*t*U)/6 (((-2 + 6*I)*Sqrt[18 - 6*Sqrt[3]] + (6 - 6*I)*Sqrt[6 - 2*Sqrt[3]])*t^2)/(6*Sqrt[4 - 2*Sqrt[3]]) (1 + I)*(2 + I + Sqrt[3])*Sqrt[2/(3 + Sqrt[3])]*t^2 ((-I/4)*(-I + Sqrt[3])*U^2)/Sqrt[2] ((5 - I*Sqrt[3])*t*U)/(2*Sqrt[2])
(t*(Sqrt[2]*U - I*Sqrt[6]*U))/8 0 0 ((-3*I + Sqrt[3])*U^2)/(4*Sqrt[2]) 0 -2*Sqrt[3]*t^2 (3*I - Sqrt[3])*t^2 -6*t*U ((-I/4)*(-3*I + Sqrt[3])*U^2)/Sqrt[2] (3*(1 + I*Sqrt[3])*t*U)/(2*Sqrt[2]) -(t*U) 0 0 0 (-3*(-3*I + Sqrt[3])*t*U)/(4*Sqrt[2]) 0
(3*(1 + I*Sqrt[3])*t^2)/2 -(t*U)/4 ((3*I + Sqrt[3])*U^2)/(4*Sqrt[2]) ((3*I)/4)*t*U (8*Sqrt[3]*t^2 - (3*I + Sqrt[3])*U^2)/8 -(Sqrt[3/2]*t*U)/2 -(Sqrt[3/2]*t*U)/2 ((I/4)*(3*I + Sqrt[3])*U^2)/Sqrt[2] (-15*t*U)/4 (-24*t^2 + I*(3*I + Sqrt[3])*U^2)/8 0 -((t*U)/Sqrt[2]) 0 0 ((-3*I - Sqrt[3])*t^2)/2 (3*Sqrt[3]*t*U)/4
-(t*(U + (3*I)*Sqrt[3]*U))/8 (-1 - I*Sqrt[3])*t^2 0 (-8*Sqrt[3]*t^2 - (-3*I + Sqrt[3])*U^2)/8 (-5*Sqrt[3]*t*U)/4 0 0 (3*(1 - I*Sqrt[3])*t*U)/(2*Sqrt[2]) (-24*t^2 - (3 + I*Sqrt[3])*U^2)/8 (-21*t*U)/4 ((-I/2)*(-I + Sqrt[3])*t*U)/Sqrt[2] (Sqrt[2] + I*Sqrt[6])*t^2 0 0 ((-3*I + Sqrt[3])*t*U)/8 0
((17 + I*Sqrt[3])*t*U)/(6*Sqrt[2]) ((1 + I*Sqrt[3])*U^2)/(6*Sqrt[2]) (t*U)/Sqrt[3] 0 ((-3*I + Sqrt[3])*t*U)/(2*Sqrt[2]) -(U^2/Sqrt[3]) ((-3*I + Sqrt[3])*U^2)/6 -(t*U) 0 ((I/2)*(I + Sqrt[3])*t*U)/Sqrt[2] (-23*t*U)/6 (I/12)*(5*I + Sqrt[3])*U^2 -(((-3 + 6*I + Sqrt[3])*t*U)/(Sqrt[6]*(3 - Sqrt[3])^(3/2))) -((-3*I + (1 + 3*I)*Sqrt[3])*t*U)/(3*Sqrt[2*(3 + Sqrt[3])]) -((-I + Sqrt[3])*t*U)/(2*Sqrt[2]) -((3*I + Sqrt[3])*U^2)/(6*Sqrt[2])
-(12*t^2 + (1 + I*Sqrt[3])*U^2)/(3*Sqrt[2]) ((-5 + (3*I)*Sqrt[3])*t*U)/(6*Sqrt[2]) 0 (t*U)/Sqrt[6] -(Sqrt[2]*(-3*I + Sqrt[3])*t^2)/3 ((3*I + 4*Sqrt[3])*t*U)/3 ((3*I + Sqrt[3])*t*U)/6 0 -((t*U)/Sqrt[2]) (Sqrt[2] - I*Sqrt[6])*t^2 (-I/12)*(-5*I + Sqrt[3])*U^2 (-13*t*U)/6 0 0 2*Sqrt[2/3]*t^2 ((-I + Sqrt[3])*t*U)/(2*Sqrt[2])
((1/4 + I/4)*((9*I)*Sqrt[4 - 2*Sqrt[3]] + (1 - 4*I)*(-3 + Sqrt[3]))*t*U)/(Sqrt[3]*(3 - Sqrt[3])^(3/2)) 0 0 0 0 (-4*(-3 + Sqrt[3])*t^2)/Sqrt[18 - 6*Sqrt[3]] (((-2 - 6*I)*Sqrt[18 - 6*Sqrt[3]] + (6 + 6*I)*Sqrt[6 - 2*Sqrt[3]])*t^2)/(6*Sqrt[4 - 2*Sqrt[3]]) 0 0 0 -(((-3 - 6*I + Sqrt[3])*t*U)/(Sqrt[6]*(3 - Sqrt[3])^(3/2))) 0 (-2*(-9 + 2*Sqrt[3] + 12*Sqrt[4 - 2*Sqrt[3]])*t*U)/(Sqrt[4 - 2*Sqrt[3]]*(-3 + Sqrt[3])^2) -((-3 + Sqrt[3] - 3*Sqrt[4 - 2*Sqrt[3]])*t*U)/(6*Sqrt[2]) ((1/4 + I/4)*Sqrt[3]*((-1 - 2*I)*Sqrt[4 - 2*Sqrt[3]] + (2 + I)*(-3 + Sqrt[3]))*t*U)/(3 - Sqrt[3])^(3/2) 0
((-9 - 9*I + (5 + 3*I)*Sqrt[3])*t*U)/(12*Sqrt[3 + Sqrt[3]]) 0 0 0 0 (2*(Sqrt[2] + Sqrt[6])*t^2)/Sqrt[3 + Sqrt[3]] (1 - I)*(2 - I + Sqrt[3])*Sqrt[2/(3 + Sqrt[3])]*t^2 0 0 0 ((I/3)*(-3 + (3 + I)*Sqrt[3])*t*U)/Sqrt[2*(3 + Sqrt[3])] 0 -((-3 + Sqrt[3] - 3*Sqrt[4 - 2*Sqrt[3]])*t*U)/(6*Sqrt[2]) (-7*t*U)/(3 + Sqrt[3]) ((-1 - 3*I - (1 - 3*I)*Sqrt[3])*t*U)/(4*Sqrt[3 + Sqrt[3]]) 0
((-5*I + 2*Sqrt[3])*t*U)/4 (-16*Sqrt[3]*t^2 + 3*(-3*I + Sqrt[3])*U^2)/24 (3*(1 + I*Sqrt[3])*t*U)/(4*Sqrt[2]) (I/2)*(I + Sqrt[3])*t^2 ((-3*I)/8)*(-I + Sqrt[3])*t*U ((3 + I*Sqrt[3])*U^2)/(4*Sqrt[2]) ((I/4)*(I + Sqrt[3])*U^2)/Sqrt[2] (-3*(3*I + Sqrt[3])*t*U)/(4*Sqrt[2]) ((3*I - Sqrt[3])*t^2)/2 ((3*I + Sqrt[3])*t*U)/8 -((I + Sqrt[3])*t*U)/(2*Sqrt[2]) 2*Sqrt[2/3]*t^2 ((I/16)*((36 - 12*I)*Sqrt[4 - 2*Sqrt[3]] - (36 + 12*I)*(-3 + Sqrt[3]))*t*U)/(Sqrt[3]*(3 - Sqrt[3])^(3/2)) ((-1 + 3*I - (1 + 3*I)*Sqrt[3])*t*U)/(4*Sqrt[3 + Sqrt[3]]) (-21*t*U)/4 ((3 + I*Sqrt[3])*U^2)/8
-((3*I + Sqrt[3])*U^2)/24 -((-2*I + Sqrt[3])*t*U)/4 0 ((-3*I)/4)*(-2*I + Sqrt[3])*t*U 0 ((2 + I*Sqrt[3])*t*U)/Sqrt[2] ((5 + I*Sqrt[3])*t*U)/(2*Sqrt[2]) 0 (3*Sqrt[3]*t*U)/4 0 -((-3*I + Sqrt[3])*U^2)/(6*Sqrt[2]) ((I + Sqrt[3])*t*U)/(2*Sqrt[2]) 0 0 ((3 - I*Sqrt[3])*U^2)/8 (-15*t*U)/4