local S, T; S := [[ 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 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/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 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/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 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)^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/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 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/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 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), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -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/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -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, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -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), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3), 1/6*E(3) ], [ 1/12, 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, -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, -1/12, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -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)^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/8, 1/8, 1/8, 1/4, 1/4, 1/4, 3/8, 0, 0, 0, 0, 0, 0, -1/4, -1/4, -1/4, -1/4, 1/8, 1/8, 1/8, 1/4, 1/4, 1/4, 3/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, 1/2, -1/2, 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, -1/2, 1/2, 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, 1/2, -1/2, 0, 0, -1/4, -1/4, -1/4, 0, 0, 0, 1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/4, 1/4, 1/4, 0, 0, 0, -1/4, 0, 0, 0, 0, 0, 0, -1/2, 1/2, 0, 0, -1/4, -1/4, -1/4, 0, 0, 0, 1/4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -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/4, 1/4, -1/4, -1/4, 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, 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), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -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/4, 1/4, -1/4, -1/4, 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, 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)^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/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/4, 1/4, -1/4, -1/4, 1/24, 1/24, 1/24, -1/12, -1/12, -1/12, 1/8, 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/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, -1/12, -1/12, -1/12, 1/6, 1/6, 1/6, -1/4, -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/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 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, -1/12, -1/12, -1/12, 1/6, 1/6, 1/6, -1/4, -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)^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/12, 1/12, 1/12, -1/6, -1/6, -1/6, 1/4, 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, -1/12, -1/12, -1/12, 1/6, 1/6, 1/6, -1/4, -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), 1/6*E(3), 1/6*E(3), -1/6*E(3), -1/6*E(3), -1/6*E(3) ], [ 1/8, 1/8, 1/8, -1/4, -1/4, -1/4, 3/8, 0, 0, 0, 0, 0, 0, -1/4, -1/4, 1/4, 1/4, 1/8, 1/8, 1/8, -1/4, -1/4, -1/4, 3/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), -1/6, -1/6*E(3), -1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 0, 0, 0, 0, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, -1/6*E(9)^4, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2 ], [ 1/6, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 0, 0, 0, 0, -1/6*E(3)^2, -1/6*E(3), -1/6, -1/6, -1/6*E(3), -1/6*E(3)^2, 0, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^7, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^7, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 0, 0, 0, 0, 1/6*E(3), 1/6*E(3)^2, 1/6, 1/6, 1/6*E(3)^2, 1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, -1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^2, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^5, -1/6*E(9)^7, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7 ], [ 1/6, 1/6*E(3)^2, 1/6*E(3), 1/6, 1/6*E(3), 1/6*E(3)^2, 0, -1/6*E(9)^5, 1/6*E(9)^2+1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^5, -1/6*E(9)^2-1/6*E(9)^5, 1/6*E(9)^2, 0, 0, 0, 0, -1/6*E(3), -1/6*E(3)^2, -1/6, -1/6, -1/6*E(3)^2, -1/6*E(3), 0, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7, 1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, -1/6*E(9)^4, -1/6*E(9)^5, -1/6*E(9)^2, 1/6*E(9)^2+1/6*E(9)^5, 1/6*E(9)^5, 1/6*E(9)^2, -1/6*E(9)^2-1/6*E(9)^5, -1/6*E(9)^4, 1/6*E(9)^4+1/6*E(9)^7, -1/6*E(9)^7, 1/6*E(9)^4, -1/6*E(9)^4-1/6*E(9)^7, 1/6*E(9)^7 ]]; T := [ 1, 1, 1, 1, 1, 1, 1, E(9)^4, E(9)^7, -E(9)^4-E(9)^7, E(9)^4, E(9)^7, -E(9)^4-E(9)^7, -E(8)^3, E(8)^3, E(8), -E(8), -1, -1, -1, 1, 1, 1, -1, E(9)^7, -E(9)^4-E(9)^7, E(9)^4, E(9)^7, -E(9)^4-E(9)^7, E(9)^4, -E(9)^4, E(9)^4+E(9)^7, -E(9)^7, E(9)^4, -E(9)^4-E(9)^7, E(9)^7, -E(9)^4, -E(9)^7, E(9)^4+E(9)^7, E(9)^4, E(9)^7, -E(9)^4-E(9)^7 ]; return rec(S := S, T := T);;