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