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