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