local S, T;
S := [[ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6 ], [ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6 ], [ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2 ], [ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2 ], [ 1/42, 1/42, 1/42, 1/42, 1/42, 1/42, 1/7, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, 6/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, -1/7, -1/7, -1/7, -1/7, -1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, 0, 0, 0, 0, 0, 0, 0, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6 ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, 1/6, -1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, 0, 0, 0, 0, 0, 0, 0, 1/6, -1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, 1/6, -1/6, 1/6, 1/6, -1/6, -1/6 ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, -1/6, 1/6, -1/6, -1/6, 1/6, 1/6, -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2 ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, 1/6, -1/6, 1/6, 1/6, -1/6, -1/6, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/6, -1/6, -1/6, -1/6, 1/6, 1/6, 0, 1/6, -1/6, 1/6, 1/6, -1/6, -1/6, -1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, 1/6*E(3), -1/6*E(3), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3)^2 ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3) ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3) ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6, 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, -1/6*E(3), -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6, -1/6*E(3)^2 ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3), -1/6, -1/6*E(3)^2, -1/6, -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, -1/6*E(3)^2, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6*E(3), -1/6 ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2 ], [ 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6/7, -1/7, -1/7, -1/7, -1/7, -1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/7, 1/7, 1/7, 1/7, 1/7, 1/7, -1/7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/7, -2/7*E(7)^2-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^5, -2/7*E(7)-2/7*E(7)^2-2/7*E(7)^5-2/7*E(7)^6, 2/7*E(7)+1/7*E(7)^2+1/7*E(7)^5+2/7*E(7)^6, -2/7*E(7)-2/7*E(7)^3-2/7*E(7)^4-2/7*E(7)^6, 2/7*E(7)^2+1/7*E(7)^3+1/7*E(7)^4+2/7*E(7)^5, 1/7*E(7)+2/7*E(7)^3+2/7*E(7)^4+1/7*E(7)^6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3) ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, -1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, 1/6, -1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3) ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2, -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2 ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, -1/6, 1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6 ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, -1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3), -1/6, -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3), 1/6, 1/6*E(3)^2, -1/6, -1/6*E(3)^2 ], [ 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 1/6, -1/6, 1/6*E(3)^2, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3), 1/6*E(3), -1/6, -1/6*E(3)^2, 1/6, 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3), -1/6*E(3), 1/6, 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, -1/6*E(3), -1/6, 1/6*E(3), 1/6, 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3), 1/6, -1/6*E(3), -1/6 ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2 ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2 ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6, -1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6 ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3), -1/6*E(3)^2, -1/6*E(3)^2, -1/6, -1/6*E(3), -1/6, -1/6*E(3) ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6 ], [ 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6*E(3)^2, 1/6, 1/6*E(3), 1/6, 1/6*E(3) ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2 ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, -1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 0, 0, 0, 0, 0, 0, 0, 1/6, -1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2 ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3), -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6 ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, -1/6, 1/6, -1/6*E(3), -1/6*E(3)^2, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 0, 0, 0, -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3), -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3) ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, -1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3), 0, 0, 0, 0, 0, 0, 0, 1/6*E(3)^2, -1/6*E(3)^2, 1/6, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, 1/6*E(3), -1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3)^2, -1/6 ], [ 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 1/6*E(3)^2, 1/6*E(3), 0, 1/6, -1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3), -1/6*E(3)^2, -1/6*E(3), 1/6*E(3), -1/6*E(3)^2, -1/6, 1/6*E(3)^2, 1/6, 0, 0, 0, 0, 0, 0, 0, 1/6*E(3), -1/6*E(3), 1/6*E(3)^2, 1/6, -1/6*E(3)^2, -1/6, -1/6*E(3)^2, 1/6*E(3)^2, -1/6, -1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6*E(3)^2, 1/6, 1/6*E(3), -1/6, -1/6*E(3) ]];
T := [ 1, 1, 1, 1, 1, 1, 1, E(4), -E(4), E(4), E(4), -E(4), -E(4), 1, 1, E(3), E(3)^2, E(3), E(3)^2, 1, E(7)^4, E(7), E(7)^5, E(7)^2, E(7)^6, E(7)^3, E(4), -E(4), E(12)^7, E(12)^11, -E(12)^7, -E(12)^11, 1, 1, E(3)^2, E(3), E(3)^2, E(3), E(4), -E(4), E(12)^11, E(12)^7, -E(12)^11, -E(12)^7 ];
return rec(S := S, T := T);;