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