local S, T;
S := [[ 1/48, 1/48, 1/24, 1/24, 1/24, 1/16, 1/16, 1/12, 1/4, 1/4, 1/4, 1/4, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/48, 1/48, 1/24, 1/24, 1/24, 1/16, 1/16, 1/12, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8 ], [ 1/48, 1/48, 1/24, 1/24, 1/24, 1/16, 1/16, 1/12, -1/4, -1/4, -1/4, -1/4, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/48, 1/48, 1/24, 1/24, 1/24, 1/16, 1/16, 1/12, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8 ], [ 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/8, 1/6, 0, 0, 0, 0, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/8, 1/6, 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 ], [ 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/8, 1/6, 0, 0, 0, 0, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, 0, 0, 0, 0, -1/24, -1/24, -1/12, -1/12, -1/12, -1/8, -1/8, -1/6, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3 ], [ 1/24, 1/24, 1/12, 1/12, 1/12, 1/8, 1/8, 1/6, 0, 0, 0, 0, -1/6, -1/6, -1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, 0, 0, 0, 0, -1/24, -1/24, -1/12, -1/12, -1/12, -1/8, -1/8, -1/6, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3 ], [ 1/16, 1/16, 1/8, 1/8, 1/8, 3/16, 3/16, 1/4, 1/4, 1/4, 1/4, 1/4, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, 1/16, 1/16, 1/8, 1/8, 1/8, 3/16, 3/16, 1/4, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8 ], [ 1/16, 1/16, 1/8, 1/8, 1/8, 3/16, 3/16, 1/4, -1/4, -1/4, -1/4, -1/4, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, -1/8, 1/16, 1/16, 1/8, 1/8, 1/8, 3/16, 3/16, 1/4, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 0, 0, 0, 0, 0, 0, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8, 1/8 ], [ 1/12, 1/12, 1/6, 1/6, 1/6, 1/4, 1/4, 1/3, 0, 0, 0, 0, 1/6, 1/6, 1/6, 1/6, 1/6, 1/6, 0, 0, 0, 0, 0, 0, 0, 0, -1/12, -1/12, -1/6, -1/6, -1/6, -1/4, -1/4, -1/3, 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 ], [ 1/4, -1/4, 0, 0, 0, 1/4, -1/4, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/4, -1/4, 0, 0, 0, 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, 0, 0 ], [ 1/4, -1/4, 0, 0, 0, 1/4, -1/4, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/4, -1/4, 0, 0, 0, 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, 0, 0 ], [ 1/4, -1/4, 0, 0, 0, 1/4, -1/4, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/4, 1/4, 0, 0, 0, -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, 0, 0 ], [ 1/4, -1/4, 0, 0, 0, 1/4, -1/4, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/4, 1/4, 0, 0, 0, -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, 0, 0 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, -1/6, -1/6, 1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, -1/6, -1/6, 1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, -1/6, -1/6, 1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, -1/8, -1/4, 0, 0, 1/8, 1/8, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, -1/8, -1/4, 0, 0, 1/8, 1/8, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, -1/8, -1/4, 0, 0, 1/8, 1/8, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7 ], [ 1/8, 1/8, 1/4, 0, 0, -1/8, -1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, -1/8, -1/4, 0, 0, 1/8, 1/8, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7 ], [ 1/48, 1/48, 1/24, -1/24, -1/24, 1/16, 1/16, -1/12, 1/4, 1/4, -1/4, -1/4, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8, -1/48, -1/48, -1/24, 1/24, 1/24, -1/16, -1/16, 1/12, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8 ], [ 1/48, 1/48, 1/24, -1/24, -1/24, 1/16, 1/16, -1/12, -1/4, -1/4, 1/4, 1/4, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8, -1/48, -1/48, -1/24, 1/24, 1/24, -1/16, -1/16, 1/12, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8 ], [ 1/24, 1/24, 1/12, -1/12, -1/12, 1/8, 1/8, -1/6, 0, 0, 0, 0, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 1/4, 1/4, 1/4, 1/4, -1/4, -1/4, -1/4, -1/4, -1/24, -1/24, -1/12, 1/12, 1/12, -1/8, -1/8, 1/6, 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 ], [ 1/24, 1/24, 1/12, -1/12, -1/12, 1/8, 1/8, -1/6, 0, 0, 0, 0, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, 0, 0, 0, 0, 1/24, 1/24, 1/12, -1/12, -1/12, 1/8, 1/8, -1/6, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3 ], [ 1/24, 1/24, 1/12, -1/12, -1/12, 1/8, 1/8, -1/6, 0, 0, 0, 0, 1/6, 1/6, 1/6, -1/6, -1/6, -1/6, 0, 0, 0, 0, 0, 0, 0, 0, 1/24, 1/24, 1/12, -1/12, -1/12, 1/8, 1/8, -1/6, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3 ], [ 1/16, 1/16, 1/8, -1/8, -1/8, 3/16, 3/16, -1/4, 1/4, 1/4, -1/4, -1/4, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8, -1/16, -1/16, -1/8, 1/8, 1/8, -3/16, -3/16, 1/4, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8 ], [ 1/16, 1/16, 1/8, -1/8, -1/8, 3/16, 3/16, -1/4, -1/4, -1/4, 1/4, 1/4, 0, 0, 0, 0, 0, 0, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8, -1/16, -1/16, -1/8, 1/8, 1/8, -3/16, -3/16, 1/4, -1/8, -1/8, -1/8, -1/8, 1/8, 1/8, 1/8, 1/8, 0, 0, 0, 0, 0, 0, 1/8, 1/8, 1/8, 1/8, -1/8, -1/8, -1/8, -1/8 ], [ 1/12, 1/12, 1/6, -1/6, -1/6, 1/4, 1/4, -1/3, 0, 0, 0, 0, -1/6, -1/6, -1/6, 1/6, 1/6, 1/6, 0, 0, 0, 0, 0, 0, 0, 0, 1/12, 1/12, 1/6, -1/6, -1/6, 1/4, 1/4, -1/3, 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 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8, 1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, -1/8, 0, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 0, 0, 0, 0, 0, 0, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8, 1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, -1/8, 0, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, 0, 0, 0, 0, 0, 0, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8, 1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, -1/8, 0, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 0, 0, 0, 0, 0, 0, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8, 1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, 1/8, -1/8, 0, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, 0, 0, 0, 0, 0, 0, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 0, 0, 0, 0, 0, 0, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, 0, 0, 0, 0, 0, 0, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 0, 0, 0, 0, 0, 0, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11 ], [ 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8, -1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, -1/8, 1/8, 0, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, 0, 0, 0, 0, 0, 0, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, -1/6, -1/6, 1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, -1/6, -1/6, 1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, -1/6, -1/6, 1/6, -1/6, -1/6, 0, 0, 1/6, 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 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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, 1/6, 1/6, -1/6, 1/6, 1/6, 0, 0, -1/6, 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 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, 0, 0, 0, 0, 0, 0, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 0, 0, 0, 0, 0, 0, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, 0, 0, 0, 0, 0, 0, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 0, 0, 0, 0, 0, 0, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8, 1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, -1/8, 0, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, 0, 0, 0, 0, 0, 0, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8, 1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, -1/8, 0, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 0, 0, 0, 0, 0, 0, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^5-1/8*E(32)^11, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^3+1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)+1/8*E(16)^7, -1/8, 1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, -1/8, 0, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11, 0, 0, 0, 0, 0, 0, 1/8*E(32)-1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, -1/8*E(32)^7+1/8*E(32)^9, -1/8*E(32)+1/8*E(32)^15, -1/8*E(32)^5+1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 1/8*E(32)^3-1/8*E(32)^13, 1/8*E(32)^5-1/8*E(32)^11 ], [ 1/8, -1/8, 0, 1/8*E(8)-1/8*E(8)^3, -1/8*E(8)+1/8*E(8)^3, -1/8, 1/8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8*E(16)^3+1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, 1/8*E(16)^3-1/8*E(16)^5, -1/8*E(16)^3+1/8*E(16)^5, -1/8*E(16)+1/8*E(16)^7, 1/8*E(16)-1/8*E(16)^7, -1/8, 1/8, 0, -1/8*E(8)+1/8*E(8)^3, 1/8*E(8)-1/8*E(8)^3, 1/8, -1/8, 0, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13, 0, 0, 0, 0, 0, 0, -1/8*E(32)^7+1/8*E(32)^9, 1/8*E(32)-1/8*E(32)^15, -1/8*E(32)+1/8*E(32)^15, 1/8*E(32)^7-1/8*E(32)^9, 1/8*E(32)^3-1/8*E(32)^13, -1/8*E(32)^5+1/8*E(32)^11, 1/8*E(32)^5-1/8*E(32)^11, -1/8*E(32)^3+1/8*E(32)^13 ]];
T := [ 1, 1, 1, 1, 1, 1, 1, 1, E(16)^7, -E(16)^7, E(16)^3, -E(16)^3, -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(16)^3, -E(16)^3, E(16)^3, E(16)^3, E(16)^7, E(16)^7, -E(16)^7, -E(16)^7, E(4), E(4), E(4), -E(4), -E(4), E(4), E(4), -E(4), E(64)^11, E(64)^27, -E(64)^27, -E(64)^11, E(64)^3, E(64)^19, -E(64)^19, -E(64)^3, -E(36)-E(36)^25, E(36), E(36)^25, E(36)+E(36)^25, -E(36), -E(36)^25, E(64)^27, -E(64)^11, E(64)^11, -E(64)^27, -E(64)^19, E(64)^3, -E(64)^3, E(64)^19 ];
return rec(S := S, T := T);;