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