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