P, R, S, W c R~(S~W|P)XR P, R, T, U c (P{T~U)~RXR P, R, U, T c (P{U~T)~RXR P, R, W, S c R~(W~S|P)XR P, R, X, X c (P{X)~X{RXR P, S, R, W c (S~W|P)~RXR P, S, W, R c (S~W|P)~RXR P, T, R, U c (P{T~U)~RXR P, T, U, R c (P{T~U)~RXR P, U, R, T c (P{U~T)~RXR P, U, T, R c (P{U~T)~RXR P, W, R, S c (W~S|P)~RXR P, W, S, R c (W~S|P)~RXR P, X, R, X c (P{X)~X{RXR P, X, X, R c (P{X)~X{RXR Q, R, T, X c Q~T~X{RXR Q, R, U, W c Q~U~W|RXR Q, R, W, U c Q~W~U|RXR Q, R, W, X c (Q{W)~X{RXR Q, R, X, T c Q~X~T{RXR Q, R, X, W c (Q{W)~X{RXR Q, S, V, X c Q{(S{X)~VXR Q, S, X, V c Q{(S{X)~VXR Q, T, R, X c Q~T~X{RXR Q, T, V, V c Q~V~V|TXR Q, T, V, W c Q{(T{W)~VXR Q, T, W, V c Q{(T{W)~VXR Q, T, W, X c (Q{X)~W{TXR Q, T, X, R c Q~T~X{RXR Q, T, X, W c (Q{X)~W{TXR Q, U, R, W c Q~U~W|RXR Q, U, V, V c Q{(U{V)~VXR Q, U, V, X c Q~U~V{XXR Q, U, W, R c Q~U~W|RXR Q, U, X, V c Q~U~V{XXR Q, U, X, X c Q~U{X~XXR Q, V, S, X c Q{V~(S{X)XR Q, V, T, V c Q~V~V|TXR Q, V, T, W c Q{V~(T{W)XR Q, V, U, V c Q{(V{U)~VXR Q, V, U, X c Q~V~U{XXR Q, V, V, T c Q~V~V|TXR Q, V, V, U c Q{V~(V{U)XR Q, V, W, T c Q{V~(W{T)XR Q, V, X, S c Q{V~(X{S)XR Q, V, X, U c Q~V~U{XXR Q, W, R, U c Q~W~U|RXR Q, W, R, X c (Q{W)~X{RXR Q, W, T, V c Q{(W{T)~VXR Q, W, T, X c (Q{X)~W{TXR Q, W, U, R c Q~W~U|RXR Q, W, V, T c Q{(W{T)~VXR Q, W, X, R c (Q{W)~X{RXR Q, W, X, T c (Q{X)~W{TXR Q, X, R, T c Q~X~T{RXR Q, X, R, W c (Q{W)~X{RXR Q, X, S, V c Q{(X{S)~VXR Q, X, T, R c Q~X~T{RXR Q, X, T, W c (Q{X)~W{TXR Q, X, U, V c Q~U~V{XXR Q, X, U, X c (Q{X)~X|UXR Q, X, V, S c Q{(X{S)~VXR Q, X, V, U c Q~V~U{XXR Q, X, W, R c (Q{W)~X{RXR Q, X, W, T c (Q{X)~W{TXR Q, X, X, U c (Q{X)~X|UXR R, P, S, W c R~(S~W|P)XR R, P, T, U c R~(P{T~U)XR R, P, U, T c R~(P{U~T)XR R, P, W, S c R~(W~S|P)XR R, P, X, X c R{(P{X)~XXR R, Q, T, X c R{Q~T~XXR R, Q, U, W c Q~U~W|RXR R, Q, W, U c Q~W~U|RXR R, Q, W, X c R{(Q{W)~XXR R, Q, X, T c R{Q~X~TXR R, Q, X, W c R{(Q{W)~XXR R, R, S, V c R~(R{S~V)XR R, R, S, W c R~S~W|RXR R, R, S, X c R~(R~X{S)XR R, R, T, U c R{R~T~UXR R, R, U, T c R{R~U~TXR R, R, V, S c R~(R{V~S)XR R, R, V, W c R~(R~W{V)XR R, R, V, X c R{(R{V)~XXR R, R, W, S c R~W~S|RXR R, R, W, V c R~(R~W{V)XR R, R, W, X c (R{X)~W|RXR R, R, X, S c R~(R~X{S)XR R, R, X, V c R{(R{V)~XXR R, R, X, W c (R{X)~W|RXR R, S, P, W c R~(S~W|P)XR R, S, R, V c (R{S~V)~RXR R, S, R, W c R~S~W|RXR R, S, R, X c R~(S{R~X)XR R, S, S, U c S~S~U|RXR R, S, T, V c R~(T~V|S)XR R, S, T, X c R~(S~X|T)XR R, S, U, S c S~U~S|RXR R, S, U, V c R~(S~U{V)XR R, S, U, X c R{(S{U)~XXR R, S, V, R c (R{S~V)~RXR R, S, V, T c R~(V~T|S)XR R, S, V, U c R~(S~U{V)XR R, S, V, X c R~S~V{XXR R, S, W, P c R~(S~W|P)XR R, S, W, R c R~S~W|RXR R, S, W, W c (S{W)~W|RXR R, S, X, R c R~(S{X~R)XR R, S, X, T c R~(S~X|T)XR R, S, X, U c R{(S{U)~XXR R, S, X, V c R~S~V{XXR R, S, X, X c R~S{X~XXR R, T, P, U c R~(T~U{P)XR R, T, Q, X c R{T~Q~XXR R, T, R, U c R{T~R~UXR R, T, S, V c R~(T~V|S)XR R, T, S, X c R~(S~X|T)XR R, T, T, U c R~(T~T{U)XR R, T, T, X c R{(T{T)~XXR R, T, U, P c R~(T~U{P)XR R, T, U, R c R{T~U~RXR R, T, U, T c R~(T~T{U)XR R, T, U, U c R~(U~U|T)XR R, T, V, S c R~(T~V|S)XR R, T, V, W c (T{V)~W|RXR R, T, W, V c (T{V)~W|RXR R, T, W, W c (R{W)~W{TXR R, T, W, X c R~(T~W|X)XR R, T, X, Q c R{T~X~QXR R, T, X, S c R~(X~S|T)XR R, T, X, T c R{(T{T)~XXR R, T, X, W c R~(T~W|X)XR R, T, X, X c R{T~(X{X)XR R, U, P, T c R~(U~T{P)XR R, U, Q, W c U~Q~W|RXR R, U, R, T c R{U~R~TXR R, U, S, S c U~S~S|RXR R, U, S, V c R~(U~S{V)XR R, U, S, X c R{(U{S)~XXR R, U, T, P c R~(U~T{P)XR R, U, T, R c R{U~T~RXR R, U, T, T c R~(U{T~T)XR R, U, T, U c R~(U~U|T)XR R, U, U, T c R~(U~U|T)XR R, U, U, W c (U{U)~W|RXR R, U, U, X c R{U~(U{X)XR R, U, V, S c R~(U~S{V)XR R, U, V, W c R{U~(V{W)XR R, U, V, X c U~(V{X)|RXR R, U, W, Q c U~W~Q|RXR R, U, W, U c (U{U)~W|RXR R, U, W, V c R{U~(W{V)XR R, U, W, W c U~(W{W)|RXR R, U, W, X c (R{W)~X|UXR R, U, X, S c R{(U{S)~XXR R, U, X, U c R{(U{X)~UXR R, U, X, V c U~(X{V)|RXR R, U, X, W c (R{W)~X|UXR R, V, R, S c (R{V~S)~RXR R, V, R, W c R~(V{R~W)XR R, V, R, X c R{(V{R)~XXR R, V, S, R c (R{V~S)~RXR R, V, S, T c R~(V~T|S)XR R, V, S, U c R~(V{S~U)XR R, V, S, X c R~V~S{XXR R, V, T, S c R~(V~T|S)XR R, V, T, W c (V{T)~W|RXR R, V, U, S c R~(V{U~S)XR R, V, U, W c R{(V{W)~UXR R, V, U, X c (V{X)~U|RXR R, V, W, R c R~(V{W~R)XR R, V, W, T c (V{T)~W|RXR R, V, W, U c R{(V{W)~UXR R, V, W, X c R~V{W~XXR R, V, X, R c (R{V)~X{RXR R, V, X, S c R~V~S{XXR R, V, X, U c (V{X)~U|RXR R, V, X, W c R~V{X~WXR R, V, X, X c (R{X)~V{XXR R, W, P, S c R~(W~S|P)XR R, W, Q, U c W~Q~U|RXR R, W, Q, X c R{(W{Q)~XXR R, W, R, S c R~W~S|RXR R, W, R, V c R~(W~R{V)XR R, W, R, X c (R{X)~W|RXR R, W, S, P c R~(W~S|P)XR R, W, S, R c R~W~S|RXR R, W, S, W c (W{S)~W|RXR R, W, T, V c W~(T{V)|RXR R, W, T, W c (R{W)~W{TXR R, W, T, X c R~(W~T|X)XR R, W, U, Q c W~U~Q|RXR R, W, U, U c W~(U{U)|RXR R, W, U, V c R{(W{V)~UXR R, W, U, W c (W{W)~U|RXR R, W, U, X c (R{W)~X|UXR R, W, V, R c (R~W{V)~RXR R, W, V, T c W~(V{T)|RXR R, W, V, U c R{(W{V)~UXR R, W, V, X c R~V{W~XXR R, W, W, S c W~(W{S)|RXR R, W, W, T c (R{W)~W{TXR R, W, W, U c (W{W)~U|RXR R, W, X, Q c R{(W{Q)~XXR R, W, X, R c (R{X)~W|RXR R, W, X, T c R~(W~T|X)XR R, W, X, U c (R{W)~X|UXR R, W, X, V c R~V{W~XXR R, X, P, X c R{(X{P)~XXR R, X, Q, T c R{X~Q~TXR R, X, Q, W c R{X~(Q{W)XR R, X, R, S c R~(X~R{S)XR R, X, R, V c R{X~(R{V)XR R, X, R, W c (R{X)~W|RXR R, X, S, R c (R~X{S)~RXR R, X, S, T c R~(X~S|T)XR R, X, S, U c R{X~(S{U)XR R, X, S, V c R~S~V{XXR R, X, S, X c R~S{X~XXR R, X, T, Q c R{X~T~QXR R, X, T, S c R~(X~S|T)XR R, X, T, T c R{X~(T{T)XR R, X, T, W c R~(T~W|X)XR R, X, T, X c R{(X{X)~TXR R, X, U, S c R{X~(U{S)XR R, X, U, U c R{(X{U)~UXR R, X, U, V c (X{V)~U|RXR R, X, U, W c (R{W)~X|UXR R, X, V, R c R{X~(V{R)XR R, X, V, S c R~V~S{XXR R, X, V, U c (X{V)~U|RXR R, X, V, W c R~V{X~WXR R, X, V, X c (R{X)~V{XXR R, X, W, Q c R{X~(W{Q)XR R, X, W, R c (R{X)~W|RXR R, X, W, T c R~(W~T|X)XR R, X, W, U c (R{W)~X|UXR R, X, W, V c R~V{X~WXR R, X, X, P c R{X~(X{P)XR R, X, X, S c R~S{X~XXR R, X, X, T c R{(X{X)~TXR R, X, X, V c (R{X)~V{XXR R, X, X, X c R{X{X~XXR S, P, R, W c (S~W|P)~RXR S, P, W, R c (S~W|P)~RXR S, Q, V, X c (S{X)~V{QXR S, Q, X, V c (S{X)~V{QXR S, R, P, W c (S~W|P)~RXR S, R, R, V c (S~V{R)~RXR S, R, R, W c S~R~W|RXR S, R, R, X c (S{R~X)~RXR S, R, S, U c S~S~U|RXR S, R, T, V c R~(T~V|S)XR S, R, T, X c (S~X|T)~RXR S, R, U, S c S~U~S|RXR S, R, U, V c (S~U{V)~RXR S, R, U, X c (S{U)~X{RXR S, R, V, R c (S~V{R)~RXR S, R, V, T c R~(V~T|S)XR S, R, V, U c (S~U{V)~RXR S, R, V, X c S~R~V{XXR S, R, W, P c (S~W|P)~RXR S, R, W, R c S~R~W|RXR S, R, W, W c (S{W)~W|RXR S, R, X, R c (S{R~X)~RXR S, R, X, T c (S~X|T)~RXR S, R, X, U c (S{U)~X{RXR S, R, X, V c S~R~V{XXR S, R, X, X c S~R{X~XXR S, S, R, U c S~S~U|RXR S, S, U, R c S~S~U|RXR S, T, R, V c (T~V|S)~RXR S, T, R, X c (S~X|T)~RXR S, T, T, V c S~T~T|VXR S, T, V, R c (T~V|S)~RXR S, T, V, T c S~T~T|VXR S, T, V, W c (S{V)~W{TXR S, T, W, V c (S{V)~W{TXR S, T, X, R c (S~X|T)~RXR S, U, R, S c S~U~S|RXR S, U, R, V c (S~U{V)~RXR S, U, R, X c (S{U)~X{RXR S, U, S, R c S~U~S|RXR S, U, V, R c (S~U{V)~RXR S, U, V, X c (S{V)~X|UXR S, U, X, R c (S{U)~X{RXR S, U, X, V c (S{V)~X|UXR S, V, Q, X c (S{X)~V{QXR S, V, R, R c (S~V{R)~RXR S, V, R, T c (V~T|S)~RXR S, V, R, U c (S~U{V)~RXR S, V, R, X c S~V~R{XXR S, V, T, R c (V~T|S)~RXR S, V, T, T c S~T~T|VXR S, V, T, W c (S{V)~W{TXR S, V, U, R c (S~U{V)~RXR S, V, U, X c (S{V)~X|UXR S, V, W, T c (S{V)~W{TXR S, V, W, X c (S{W)~V{XXR S, V, X, Q c (S{X)~V{QXR S, V, X, R c S~V~R{XXR S, V, X, U c (S{V)~X|UXR S, V, X, W c (S{W)~V{XXR S, W, P, R c (S~W|P)~RXR S, W, R, P c (S~W|P)~RXR S, W, R, R c S~W~R|RXR S, W, R, W c (S{W)~W|RXR S, W, T, V c (S{V)~W{TXR S, W, V, T c (S{V)~W{TXR S, W, V, X c (S{W)~V{XXR S, W, W, R c (S{W)~W|RXR S, W, X, V c (S{W)~V{XXR S, W, X, X c S{W{X~XXR S, X, Q, V c (S{X)~V{QXR S, X, R, R c (S{X~R)~RXR S, X, R, T c (S~X|T)~RXR S, X, R, U c (S{U)~X{RXR S, X, R, V c S~R~V{XXR S, X, R, X c S~R{X~XXR S, X, T, R c (S~X|T)~RXR S, X, U, R c (S{U)~X{RXR S, X, U, V c (S{V)~X|UXR S, X, V, Q c (S{X)~V{QXR S, X, V, R c S~V~R{XXR S, X, V, U c (S{V)~X|UXR S, X, V, W c (S{W)~V{XXR S, X, W, V c (S{W)~V{XXR S, X, W, X c S{X~X{WXR S, X, X, R c S~R{X~XXR S, X, X, W c S{X~X{WXR T, P, R, U c (T~U{P)~RXR T, P, U, R c (T~U{P)~RXR T, Q, R, X c T~Q~X{RXR T, Q, V, V c Q~V~V|TXR T, Q, V, W c (T{W)~V{QXR T, Q, W, V c (T{W)~V{QXR T, Q, W, X c T{(Q{X)~WXR T, Q, X, R c T~Q~X{RXR T, Q, X, W c T{(Q{X)~WXR T, R, P, U c (T~U{P)~RXR T, R, Q, X c T~Q~X{RXR T, R, R, U c T~R~U{RXR T, R, S, V c (T~V|S)~RXR T, R, S, X c R~(S~X|T)XR T, R, T, U c (T~T{U)~RXR T, R, T, X c (T{T)~X{RXR T, R, U, P c (T~U{P)~RXR T, R, U, R c T~R~U{RXR T, R, U, T c (T~T{U)~RXR T, R, U, U c R~(U~U|T)XR T, R, V, S c (T~V|S)~RXR T, R, V, W c (T{V)~W|RXR T, R, W, V c (T{V)~W|RXR T, R, W, W c T{(R{W)~WXR T, R, W, X c (T~W|X)~RXR T, R, X, Q c T~X~Q{RXR T, R, X, S c R~(X~S|T)XR T, R, X, T c (T{T)~X{RXR T, R, X, W c (T~W|X)~RXR T, R, X, X c T~(X{X){RXR T, S, R, V c (T~V|S)~RXR T, S, R, X c (S~X|T)~RXR T, S, T, V c T~S~T|VXR T, S, V, R c (T~V|S)~RXR T, S, V, T c T~S~T|VXR T, S, V, W c T{(S{V)~WXR T, S, W, V c T{(S{V)~WXR T, S, X, R c (S~X|T)~RXR T, T, R, U c (T~T{U)~RXR T, T, R, X c (T{T)~X{RXR T, T, S, V c T~T~S|VXR T, T, U, R c (T~T{U)~RXR T, T, U, W c T{(T{U)~WXR T, T, V, S c T~T~S|VXR T, T, V, X c (T{X)~V|TXR T, T, W, U c T{(T{U)~WXR T, T, X, R c (T{T)~X{RXR T, T, X, V c (T{X)~V|TXR T, U, P, R c (T~U{P)~RXR T, U, R, P c (T~U{P)~RXR T, U, R, R c T~U~R{RXR T, U, R, T c (T~T{U)~RXR T, U, R, U c (U~U|T)~RXR T, U, T, R c (T~T{U)~RXR T, U, T, W c T{(U{T)~WXR T, U, U, R c (U~U|T)~RXR T, U, U, X c (T{U)~X|UXR T, U, V, W c (U{W)~V|TXR T, U, V, X c T~U{V~XXR T, U, W, T c (T{U)~W{TXR T, U, W, V c (U{W)~V|TXR T, U, W, X c T~X{U~WXR T, U, X, U c (T{U)~X|UXR T, U, X, V c T~U{X~VXR T, U, X, W c T~X{U~WXR T, U, X, X c (T{X)~U{XXR T, V, Q, V c V~Q~V|TXR T, V, Q, W c (T{W)~V{QXR T, V, R, S c (T~V|S)~RXR T, V, R, W c (T{V)~W|RXR T, V, S, R c (T~V|S)~RXR T, V, S, T c T~S~T|VXR T, V, S, W c T{(V{S)~WXR T, V, T, S c T~T~S|VXR T, V, T, X c (T{X)~V|TXR T, V, U, W c V~(U{W)|TXR T, V, U, X c T~U{V~XXR T, V, V, Q c V~V~Q|TXR T, V, V, V c (V{V)~V|TXR T, V, V, X c (T{V)~V{XXR T, V, W, Q c (T{W)~V{QXR T, V, W, R c (T{V)~W|RXR T, V, W, S c T{(V{S)~WXR T, V, W, U c V~(W{U)|TXR T, V, X, T c (T{X)~V|TXR T, V, X, U c T~U{V~XXR T, V, X, V c (T{V)~V{XXR T, V, X, X c T{V{X~XXR T, W, Q, V c (T{W)~V{QXR T, W, Q, X c T{W~(Q{X)XR T, W, R, V c (T{V)~W|RXR T, W, R, W c T{(W{R)~WXR T, W, R, X c (T~W|X)~RXR T, W, S, V c T{W~(S{V)XR T, W, T, U c T{W~(T{U)XR T, W, U, T c T{W~(U{T)XR T, W, U, V c (W{U)~V|TXR T, W, U, X c T~X{W~UXR T, W, V, Q c (T{W)~V{QXR T, W, V, R c (T{V)~W|RXR T, W, V, S c T{W~(V{S)XR T, W, V, U c (W{U)~V|TXR T, W, W, R c T{W~(W{R)XR T, W, W, X c T~(W{X){WXR T, W, X, Q c T{W~(X{Q)XR T, W, X, R c (T~W|X)~RXR T, W, X, U c T~X{W~UXR T, W, X, W c T~(W{X){WXR T, X, Q, R c T~X~Q{RXR T, X, Q, W c T{(X{Q)~WXR T, X, R, Q c T~X~Q{RXR T, X, R, S c (X~S|T)~RXR T, X, R, T c (T{T)~X{RXR T, X, R, W c (T~W|X)~RXR T, X, R, X c T~(X{X){RXR T, X, S, R c (X~S|T)~RXR T, X, T, R c (T{T)~X{RXR T, X, T, V c (T{X)~V|TXR T, X, U, U c (T{U)~X|UXR T, X, U, V c T~U{X~VXR T, X, U, W c T~X{U~WXR T, X, U, X c (T{X)~U{XXR T, X, V, T c (T{X)~V|TXR T, X, V, U c T~U{X~VXR T, X, V, V c (T{V)~V{XXR T, X, V, X c T{X~X{VXR T, X, W, Q c T{(X{Q)~WXR T, X, W, R c (T~W|X)~RXR T, X, W, U c T~X{W~UXR T, X, W, W c T~(X{W){WXR T, X, X, R c T~(X{X){RXR T, X, X, U c (T{X)~U{XXR T, X, X, V c T{X~X{VXR U, P, R, T c (U~T{P)~RXR U, P, T, R c (U~T{P)~RXR U, Q, R, W c U~Q~W|RXR U, Q, V, V c (U{V)~V{QXR U, Q, V, X c U~Q~V{XXR U, Q, W, R c U~Q~W|RXR U, Q, X, V c U~Q~V{XXR U, Q, X, X c U~Q{X~XXR U, R, P, T c (U~T{P)~RXR U, R, Q, W c U~Q~W|RXR U, R, R, T c U~R~T{RXR U, R, S, S c U~S~S|RXR U, R, S, V c (U~S{V)~RXR U, R, S, X c (U{S)~X{RXR U, R, T, P c (U~T{P)~RXR U, R, T, R c U~R~T{RXR U, R, T, T c (U{T~T)~RXR U, R, T, U c (U~U|T)~RXR U, R, U, T c (U~U|T)~RXR U, R, U, W c (U{U)~W|RXR U, R, U, X c U~(U{X){RXR U, R, V, S c (U~S{V)~RXR U, R, V, W c U~(V{W){RXR U, R, V, X c U~(V{X)|RXR U, R, W, Q c U~W~Q|RXR U, R, W, U c (U{U)~W|RXR U, R, W, V c U~(W{V){RXR U, R, W, W c U~(W{W)|RXR U, R, W, X c (R{W)~X|UXR U, R, X, S c (U{S)~X{RXR U, R, X, U c (U{X)~U{RXR U, R, X, V c U~(X{V)|RXR U, R, X, W c (R{W)~X|UXR U, S, R, S c U~S~S|RXR U, S, R, V c (U~S{V)~RXR U, S, R, X c (U{S)~X{RXR U, S, S, R c U~S~S|RXR U, S, V, R c (U~S{V)~RXR U, S, V, X c (S{V)~X|UXR U, S, X, R c (U{S)~X{RXR U, S, X, V c (S{V)~X|UXR U, T, P, R c (U~T{P)~RXR U, T, R, P c (U~T{P)~RXR U, T, R, R c U~T~R{RXR U, T, R, T c (U{T~T)~RXR U, T, R, U c (U~U|T)~RXR U, T, T, R c (U{T~T)~RXR U, T, T, W c (U{T)~W{TXR U, T, U, R c (U~U|T)~RXR U, T, U, X c (U{T)~X|UXR U, T, V, W c (U{W)~V|TXR U, T, V, X c U~T{V~XXR U, T, W, T c (U{T)~W{TXR U, T, W, V c (U{W)~V|TXR U, T, W, X c U~W{T~XXR U, T, X, U c (U{T)~X|UXR U, T, X, V c U~T{X~VXR U, T, X, W c U~W{T~XXR U, T, X, X c U~(T{X){XXR U, U, R, T c (U~U|T)~RXR U, U, R, W c (U{U)~W|RXR U, U, R, X c U~(U{X){RXR U, U, T, R c (U~U|T)~RXR U, U, T, X c (U{T)~X|UXR U, U, V, X c (U{U)~V{XXR U, U, W, R c (U{U)~W|RXR U, U, W, X c U~(U{W){XXR U, U, X, R c U~(U{X){RXR U, U, X, T c (U{T)~X|UXR U, U, X, V c (U{U)~V{XXR U, U, X, W c U~(U{W){XXR U, U, X, X c U{U{X~XXR U, V, Q, V c (U{V)~V{QXR U, V, Q, X c U~V~Q{XXR U, V, R, S c (U~S{V)~RXR U, V, R, W c U~(V{W){RXR U, V, R, X c U~(V{X)|RXR U, V, S, R c (U~S{V)~RXR U, V, S, X c (V{S)~X|UXR U, V, T, W c (U{W)~V|TXR U, V, T, X c U~T{V~XXR U, V, U, X c (U{U)~V{XXR U, V, V, Q c (U{V)~V{QXR U, V, V, X c U~(V{V){XXR U, V, W, R c U~(V{W){RXR U, V, W, T c (U{W)~V|TXR U, V, X, Q c U~V~Q{XXR U, V, X, R c U~(V{X)|RXR U, V, X, S c (V{S)~X|UXR U, V, X, T c U~T{V~XXR U, V, X, U c (U{U)~V{XXR U, V, X, V c U~(V{V){XXR U, W, Q, R c U~W~Q|RXR U, W, R, Q c U~W~Q|RXR U, W, R, U c (U{U)~W|RXR U, W, R, V c U~(W{V){RXR U, W, R, W c U~(W{W)|RXR U, W, R, X c (W{R)~X|UXR U, W, T, T c (U{T)~W{TXR U, W, T, V c (U{W)~V|TXR U, W, T, X c U~W{T~XXR U, W, U, R c (U{U)~W|RXR U, W, U, X c (U{W)~U{XXR U, W, V, R c U~(W{V){RXR U, W, V, T c (U{W)~V|TXR U, W, W, R c U~(W{W)|RXR U, W, X, R c (W{R)~X|UXR U, W, X, T c U~W{X~TXR U, W, X, U c (U{W)~U{XXR U, W, X, X c U~(W{X)|XXR U, X, Q, V c U~Q~V{XXR U, X, Q, X c U~Q{X~XXR U, X, R, S c (U{S)~X{RXR U, X, R, U c (U{X)~U{RXR U, X, R, V c U~(X{V)|RXR U, X, R, W c X~(R{W)|UXR U, X, S, R c (U{S)~X{RXR U, X, S, V c X~(S{V)|UXR U, X, T, U c (U{T)~X|UXR U, X, T, V c U~T{X~VXR U, X, T, W c U~W{X~TXR U, X, T, X c U~(X{T){XXR U, X, U, R c (U{X)~U{RXR U, X, U, T c (U{T)~X|UXR U, X, U, V c (U{U)~V{XXR U, X, U, W c U~(U{W){XXR U, X, U, X c U{X~X{UXR U, X, V, Q c U~V~Q{XXR U, X, V, R c U~(X{V)|RXR U, X, V, S c X~(V{S)|UXR U, X, V, T c U~T{X~VXR U, X, V, U c (U{U)~V{XXR U, X, V, V c U~(V{V){XXR U, X, W, R c X~(W{R)|UXR U, X, W, T c U~W{X~TXR U, X, W, U c (U{W)~U{XXR U, X, W, X c U~(X{W)|XXR U, X, X, Q c U~Q{X~XXR U, X, X, T c U~(X{T){XXR U, X, X, U c U{X~X{UXR U, X, X, W c U~(X{W)|XXR V, Q, S, X c V~(S{X){QXR V, Q, T, V c V~Q~V|TXR V, Q, T, W c V~(T{W){QXR V, Q, U, V c (V{U)~V{QXR V, Q, U, X c V~Q~U{XXR V, Q, V, T c V~Q~V|TXR V, Q, V, U c V~(V{U){QXR V, Q, W, T c V~(W{T){QXR V, Q, X, S c V~(X{S){QXR V, Q, X, U c V~Q~U{XXR V, R, R, S c (V~S{R)~RXR V, R, R, W c (V{R~W)~RXR V, R, R, X c (V{R)~X{RXR V, R, S, R c (V~S{R)~RXR V, R, S, T c (V~T|S)~RXR V, R, S, U c (V{S~U)~RXR V, R, S, X c V~R~S{XXR V, R, T, S c (V~T|S)~RXR V, R, T, W c (V{T)~W|RXR V, R, U, S c (V{U~S)~RXR V, R, U, W c (V{W)~U{RXR V, R, U, X c (V{X)~U|RXR V, R, W, R c (V{R~W)~RXR V, R, W, T c (V{T)~W|RXR V, R, W, U c (V{W)~U{RXR V, R, W, X c V~R{W~XXR V, R, X, R c (V{R)~X{RXR V, R, X, S c V~R~S{XXR V, R, X, U c (V{X)~U|RXR V, R, X, W c V~R{X~WXR V, R, X, X c V~(R{X){XXR V, S, Q, X c V~(S{X){QXR V, S, R, R c (V~S{R)~RXR V, S, R, T c (V~T|S)~RXR V, S, R, U c (V{S~U)~RXR V, S, R, X c V~S~R{XXR V, S, T, R c (V~T|S)~RXR V, S, T, T c S~T~T|VXR V, S, T, W c (V{S)~W{TXR V, S, U, R c (V{S~U)~RXR V, S, U, X c (V{S)~X|UXR V, S, W, T c (V{S)~W{TXR V, S, W, X c V~(S{W){XXR V, S, X, Q c V~(S{X){QXR V, S, X, R c V~S~R{XXR V, S, X, U c (V{S)~X|UXR V, S, X, W c V~(S{W){XXR V, T, Q, V c V~Q~V|TXR V, T, Q, W c V~(T{W){QXR V, T, R, S c (V~T|S)~RXR V, T, R, W c (V{T)~W|RXR V, T, S, R c (V~T|S)~RXR V, T, S, T c T~S~T|VXR V, T, S, W c (V{S)~W{TXR V, T, T, S c T~T~S|VXR V, T, T, X c V~(T{X)|TXR V, T, U, W c V~(U{W)|TXR V, T, U, X c V~X{T~UXR V, T, V, Q c V~V~Q|TXR V, T, V, V c (V{V)~V|TXR V, T, V, X c (V{T)~V{XXR V, T, W, Q c V~(T{W){QXR V, T, W, R c (V{T)~W|RXR V, T, W, S c (V{S)~W{TXR V, T, W, U c V~(W{U)|TXR V, T, X, T c V~(T{X)|TXR V, T, X, U c V~X{T~UXR V, T, X, V c (V{T)~V{XXR V, T, X, X c V{T{X~XXR V, U, Q, V c (V{U)~V{QXR V, U, Q, X c V~U~Q{XXR V, U, R, S c (V{U~S)~RXR V, U, R, W c (V{W)~U{RXR V, U, R, X c (V{X)~U|RXR V, U, S, R c (V{U~S)~RXR V, U, S, X c (V{S)~X|UXR V, U, T, W c V~(U{W)|TXR V, U, T, X c V~X{U~TXR V, U, U, X c V~(U{U){XXR V, U, V, Q c (V{U)~V{QXR V, U, V, X c (V{V)~U{XXR V, U, W, R c (V{W)~U{RXR V, U, W, T c V~(U{W)|TXR V, U, X, Q c V~U~Q{XXR V, U, X, R c (V{X)~U|RXR V, U, X, S c (V{S)~X|UXR V, U, X, T c V~X{U~TXR V, U, X, U c V~(U{U){XXR V, U, X, V c (V{V)~U{XXR V, V, Q, T c V~V~Q|TXR V, V, Q, U c V~(V{U){QXR V, V, T, Q c V~V~Q|TXR V, V, T, V c (V{V)~V|TXR V, V, T, X c V~(V{T){XXR V, V, U, Q c V~(V{U){QXR V, V, U, X c (V{V)~U{XXR V, V, V, T c (V{V)~V|TXR V, V, X, T c V~(V{T){XXR V, V, X, U c (V{V)~U{XXR V, W, Q, T c V~(W{T){QXR V, W, R, R c (V{W~R)~RXR V, W, R, T c (V{T)~W|RXR V, W, R, U c (V{W)~U{RXR V, W, R, X c V~R{W~XXR V, W, S, T c (V{S)~W{TXR V, W, S, X c V~(W{S){XXR V, W, T, Q c V~(W{T){QXR V, W, T, R c (V{T)~W|RXR V, W, T, S c (V{S)~W{TXR V, W, T, U c V~(W{U)|TXR V, W, U, R c (V{W)~U{RXR V, W, U, T c V~(W{U)|TXR V, W, X, R c V~R{W~XXR V, W, X, S c V~(W{S){XXR V, X, Q, S c V~(X{S){QXR V, X, Q, U c V~Q~U{XXR V, X, R, R c (V{R)~X{RXR V, X, R, S c V~R~S{XXR V, X, R, U c (V{X)~U|RXR V, X, R, W c V~R{X~WXR V, X, R, X c V~(X{R){XXR V, X, S, Q c V~(X{S){QXR V, X, S, R c V~S~R{XXR V, X, S, U c (V{S)~X|UXR V, X, S, W c V~(S{W){XXR V, X, T, T c V~(X{T)|TXR V, X, T, U c V~X{T~UXR V, X, T, V c (V{T)~V{XXR V, X, T, X c V{X~X{TXR V, X, U, Q c V~U~Q{XXR V, X, U, R c (V{X)~U|RXR V, X, U, S c (V{S)~X|UXR V, X, U, T c V~X{U~TXR V, X, U, U c V~(U{U){XXR V, X, U, V c (V{V)~U{XXR V, X, V, T c V~(V{T){XXR V, X, V, U c (V{V)~U{XXR V, X, W, R c V~R{X~WXR V, X, W, S c V~(W{S){XXR V, X, X, R c V~(X{R){XXR V, X, X, T c V{X~X{TXR W, P, R, S c (W~S|P)~RXR W, P, S, R c (W~S|P)~RXR W, Q, R, U c W~Q~U|RXR W, Q, R, X c (W{Q)~X{RXR W, Q, T, V c (W{T)~V{QXR W, Q, T, X c W~(Q{X){TXR W, Q, U, R c W~Q~U|RXR W, Q, V, T c (W{T)~V{QXR W, Q, X, R c (W{Q)~X{RXR W, Q, X, T c W~(Q{X){TXR W, R, P, S c (W~S|P)~RXR W, R, Q, U c W~Q~U|RXR W, R, Q, X c (W{Q)~X{RXR W, R, R, S c W~R~S|RXR W, R, R, V c (W~R{V)~RXR W, R, R, X c W~(R{X)|RXR W, R, S, P c (W~S|P)~RXR W, R, S, R c W~R~S|RXR W, R, S, W c (W{S)~W|RXR W, R, T, V c W~(T{V)|RXR W, R, T, W c (W{R)~W{TXR W, R, T, X c (W~T|X)~RXR W, R, U, Q c W~U~Q|RXR W, R, U, U c W~(U{U)|RXR W, R, U, V c (W{V)~U{RXR W, R, U, W c (W{W)~U|RXR W, R, U, X c (W{R)~X|UXR W, R, V, R c (W~R{V)~RXR W, R, V, T c W~(V{T)|RXR W, R, V, U c (W{V)~U{RXR W, R, V, X c (W{VR)~XXR W, R, W, S c W~(W{S)|RXR W, R, W, T c (W{R)~W{TXR W, R, W, U c (W{W)~U|RXR W, R, X, Q c (W{Q)~X{RXR W, R, X, R c W~(R{X)|RXR W, R, X, T c (W~T|X)~RXR W, R, X, U c (W{R)~X|UXR W, R, X, V c W~X{R~VXR W, S, P, R c (W~S|P)~RXR W, S, R, P c (W~S|P)~RXR W, S, R, R c W~S~R|RXR W, S, R, W c (W{S)~W|RXR W, S, T, V c W~(S{V){TXR W, S, V, T c W~(S{V){TXR W, S, V, X c (W{S)~V{XXR W, S, W, R c (W{S)~W|RXR W, S, X, V c (W{S)~V{XXR W, S, X, X c W{S{X~XXR W, T, Q, V c (W{T)~V{QXR W, T, Q, X c W~(Q{X){TXR W, T, R, V c W~(T{V)|RXR W, T, R, W c (W{R)~W{TXR W, T, R, X c (W~T|X)~RXR W, T, S, V c W~(S{V){TXR W, T, T, U c W~(T{U){TXR W, T, U, T c W~(T{U){TXR W, T, U, V c (W{U)~V|TXR W, T, U, X c W~U{T~XXR W, T, V, Q c (W{T)~V{QXR W, T, V, R c W~(T{V)|RXR W, T, V, S c W~(V{S){TXR W, T, V, U c (W{U)~V|TXR W, T, W, R c W~(W{R){TXR W, T, W, X c W{T~(W{X)XR W, T, X, Q c W~(X{Q){TXR W, T, X, R c (W~T|X)~RXR W, T, X, U c W~U{T~XXR W, T, X, W c W{T~(X{W)XR W, U, Q, R c W~U~Q|RXR W, U, R, Q c W~U~Q|RXR W, U, R, U c W~(U{U)|RXR W, U, R, V c (W{V)~U{RXR W, U, R, W c (W{W)~U|RXR W, U, R, X c (W{R)~X|UXR W, U, T, T c W~(U{T){TXR W, U, T, V c (W{U)~V|TXR W, U, T, X c W~U{T~XXR W, U, U, R c W~(U{U)|RXR W, U, U, X c (W{U)~U{XXR W, U, V, R c (W{V)~U{RXR W, U, V, T c (W{U)~V|TXR W, U, W, R c (W{W)~U|RXR W, U, X, R c (W{R)~X|UXR W, U, X, T c W~U{X~TXR W, U, X, U c (W{U)~U{XXR W, U, X, X c (WU{X)~XXR W, V, Q, T c (W{T)~V{QXR W, V, R, R c (W~R{V)~RXR W, V, R, T c W~(V{T)|RXR W, V, R, U c (W{V)~U{RXR W, V, R, X c (W{VR)~XXR W, V, S, T c W~(V{S){TXR W, V, S, X c (W{S)~V{XXR W, V, T, Q c (W{T)~V{QXR W, V, T, R c W~(V{T)|RXR W, V, T, S c W~(V{S){TXR W, V, T, U c (W{U)~V|TXR W, V, U, R c (W{V)~U{RXR W, V, U, T c (W{U)~V|TXR W, V, X, R c (W{VR)~XXR W, V, X, S c (W{S)~V{XXR W, W, R, S c W~(W{S)|RXR W, W, R, T c W~(W{R){TXR W, W, R, U c (W{W)~U|RXR W, W, S, R c W~(W{S)|RXR W, W, T, R c W~(W{R){TXR W, W, T, X c W{(W{X)~TXR W, W, U, R c (W{W)~U|RXR W, W, X, T c W{(W{X)~TXR W, X, Q, R c (W{Q)~X{RXR W, X, Q, T c W~(X{Q){TXR W, X, R, Q c (W{Q)~X{RXR W, X, R, R c W~(X{R)|RXR W, X, R, T c (W~T|X)~RXR W, X, R, U c (W{R)~X|UXR W, X, R, V c W~X{R~VXR W, X, S, V c (W{S)~V{XXR W, X, S, X c W{X~X{SXR W, X, T, Q c W~(X{Q){TXR W, X, T, R c (W~T|X)~RXR W, X, T, U c W~U{X~TXR W, X, T, W c (W{X)~T{WXR W, X, U, R c (W{R)~X|UXR W, X, U, T c W~U{X~TXR W, X, U, U c (W{U)~U{XXR W, X, U, X c (W{X)~U|XXR W, X, V, R c W~X{V~RXR W, X, V, S c (W{S)~V{XXR W, X, W, T c W{(X{W)~TXR W, X, X, S c W{X~X{SXR W, X, X, U c (W{X)~U|XXR X, P, R, X c (X{P)~X{RXR X, P, X, R c (X{P)~X{RXR X, Q, R, T c X~Q~T{RXR X, Q, R, W c X~(Q{W){RXR X, Q, S, V c (X{S)~V{QXR X, Q, T, R c X~Q~T{RXR X, Q, T, W c (X{Q)~W{TXR X, Q, U, V c X{Q~U~VXR X, Q, U, X c (X{Q)~X|UXR X, Q, V, S c (X{S)~V{QXR X, Q, V, U c X{Q~V~UXR X, Q, W, R c X~(Q{W){RXR X, Q, W, T c (X{Q)~W{TXR X, Q, X, U c (X{Q)~X|UXR X, R, P, X c (X{P)~X{RXR X, R, Q, T c X~Q~T{RXR X, R, Q, W c X~(Q{W){RXR X, R, R, S c (X~R{S)~RXR X, R, R, V c X~(R{V){RXR X, R, R, W c (X{R)~W|RXR X, R, S, R c (X~R{S)~RXR X, R, S, T c (X~S|T)~RXR X, R, S, U c X~(S{U){RXR X, R, S, V c X{R~S~VXR X, R, S, X c (X{SR)~XXR X, R, T, Q c X~T~Q{RXR X, R, T, S c (X~S|T)~RXR X, R, T, T c X~(T{T){RXR X, R, T, W c R~(T~W|X)XR X, R, T, X c (X{X)~T{RXR X, R, U, S c X~(U{S){RXR X, R, U, U c (X{U)~U{RXR X, R, U, V c (X{V)~U|RXR X, R, U, W c X~(R{W)|UXR X, R, V, R c X~(R{V){RXR X, R, V, S c X{R~V~SXR X, R, V, U c (X{V)~U|RXR X, R, V, W c X~(VR{W)XR X, R, V, X c (X{R)~V{XXR X, R, W, Q c X~(W{Q){RXR X, R, W, R c (X{R)~W|RXR X, R, W, T c R~(W~T|X)XR X, R, W, U c X~(R{W)|UXR X, R, W, V c X~W{R~VXR X, R, X, P c X~(X{P){RXR X, R, X, S c X~X{R~SXR X, R, X, T c (X{X)~T{RXR X, R, X, V c X{(R{X)~VXR X, R, X, X c X{R{X~XXR X, S, Q, V c (X{S)~V{QXR X, S, R, R c (X~R{S)~RXR X, S, R, T c (X~S|T)~RXR X, S, R, U c X~(S{U){RXR X, S, R, V c X{S~R~VXR X, S, R, X c (X{SR)~XXR X, S, T, R c (X~S|T)~RXR X, S, U, R c X~(S{U){RXR X, S, U, V c X~(S{V)|UXR X, S, V, Q c (X{S)~V{QXR X, S, V, R c X{S~V~RXR X, S, V, U c X~(S{V)|UXR X, S, V, W c X{(S{W)~VXR X, S, W, V c X{(S{W)~VXR X, S, W, X c X~X{S{WXR X, S, X, R c (X{SR)~XXR X, S, X, W c X~X{S{WXR X, T, Q, R c X~T~Q{RXR X, T, Q, W c (X{Q)~W{TXR X, T, R, Q c X~T~Q{RXR X, T, R, S c (X~S|T)~RXR X, T, R, T c X~(T{T){RXR X, T, R, W c (T~W|X)~RXR X, T, R, X c (X{X)~T{RXR X, T, S, R c (X~S|T)~RXR X, T, T, R c X~(T{T){RXR X, T, T, V c (X{T)~V|TXR X, T, U, U c X~(T{U)|UXR X, T, U, V c X~V{T~UXR X, T, U, W c X~T{U~WXR X, T, U, X c (X{T)~U{XXR X, T, V, T c (X{T)~V|TXR X, T, V, U c X~V{T~UXR X, T, V, V c X{(T{V)~VXR X, T, V, X c X~X{T{VXR X, T, W, Q c (X{Q)~W{TXR X, T, W, R c (T~W|X)~RXR X, T, W, U c X~T{W~UXR X, T, W, W c (X{W)~T{WXR X, T, X, R c (X{X)~T{RXR X, T, X, U c X{(T{X)~UXR X, T, X, V c X~X{T{VXR X, U, Q, V c X{U~Q~VXR X, U, Q, X c (X{Q)~X|UXR X, U, R, S c X~(U{S){RXR X, U, R, U c (X{U)~U{RXR X, U, R, V c (X{V)~U|RXR X, U, R, W c X~(R{W)|UXR X, U, S, R c X~(U{S){RXR X, U, S, V c X~(S{V)|UXR X, U, T, U c X~(U{T)|UXR X, U, T, V c X~V{U~TXR X, U, T, W c X~T{U~WXR X, U, T, X c X{U~(T{X)XR X, U, U, R c (X{U)~U{RXR X, U, U, T c X~(U{T)|UXR X, U, U, V c X{(U{U)~VXR X, U, U, W c X{U~(U{W)XR X, U, U, X c X~X{U{UXR X, U, V, Q c X{U~V~QXR X, U, V, R c (X{V)~U|RXR X, U, V, S c X~(V{S)|UXR X, U, V, T c X~V{U~TXR X, U, V, U c X{(U{U)~VXR X, U, V, V c X{U~(V{V)XR X, U, W, R c X~(W{R)|UXR X, U, W, T c X~T{U~WXR X, U, W, U c X{(U{W)~UXR X, U, W, X c (X{W)~U|XXR X, U, X, Q c X~X{U~QXR X, U, X, T c X{U~(X{T)XR X, U, X, U c X~X{U{UXR X, U, X, W c X~(X{WU)XR X, V, Q, S c (X{S)~V{QXR X, V, Q, U c X{V~Q~UXR X, V, R, R c X~(V{R){RXR X, V, R, S c X{V~R~SXR X, V, R, U c (X{V)~U|RXR X, V, R, W c X~(VR{W)XR X, V, R, X c X{V~(R{X)XR X, V, S, Q c (X{S)~V{QXR X, V, S, R c X{V~S~RXR X, V, S, U c X~(V{S)|UXR X, V, S, W c X{V~(S{W)XR X, V, T, T c (X{T)~V|TXR X, V, T, U c X~V{T~UXR X, V, T, V c X{(V{T)~VXR X, V, T, X c X~X{V{TXR X, V, U, Q c X{V~U~QXR X, V, U, R c (X{V)~U|RXR X, V, U, S c X~(V{S)|UXR X, V, U, T c X~V{U~TXR X, V, U, U c X{V~(U{U)XR X, V, U, V c X{(V{V)~UXR X, V, V, T c X{V~(V{T)XR X, V, V, U c X{(V{V)~UXR X, V, W, R c X~(VR{W)XR X, V, W, S c X{V~(W{S)XR X, V, X, R c X{V~(X{R)XR X, V, X, T c X~X{V{TXR X, W, Q, R c X~(W{Q){RXR X, W, Q, T c (X{Q)~W{TXR X, W, R, Q c X~(W{Q){RXR X, W, R, R c (X{R)~W|RXR X, W, R, T c (W~T|X)~RXR X, W, R, U c X~(W{R)|UXR X, W, R, V c X~W{R~VXR X, W, S, V c X{(W{S)~VXR X, W, S, X c X~X{W{SXR X, W, T, Q c (X{Q)~W{TXR X, W, T, R c (W~T|X)~RXR X, W, T, U c X~T{W~UXR X, W, T, W c (X{W)~T{WXR X, W, U, R c X~(W{R)|UXR X, W, U, T c X~T{W~UXR X, W, U, U c X{(W{U)~UXR X, W, U, X c (X{W)~U|XXR X, W, V, R c X~W{V~RXR X, W, V, S c X{(W{S)~VXR X, W, W, T c (X{W)~T{WXR X, W, X, S c X~X{W{SXR X, W, X, U c (X{W)~U|XXR X, X, P, R c X~(X{P){RXR X, X, Q, U c X~(X{Q)|UXR X, X, R, P c X~(X{P){RXR X, X, R, S c X~X{R~SXR X, X, R, T c (X{X)~T{RXR X, X, R, V c X{(X{R)~VXR X, X, R, X c X~X{R{XXR X, X, S, R c X~X{S~RXR X, X, S, W c X~X{S{WXR X, X, T, R c (X{X)~T{RXR X, X, T, U c X{(X{T)~UXR X, X, T, V c X~X{T{VXR X, X, U, Q c X~X{U~QXR X, X, U, T c X{(X{T)~UXR X, X, U, U c X~X{U{UXR X, X, U, W c X~(X{WU)XR X, X, V, R c X{(X{R)~VXR X, X, V, T c X~X{V{TXR X, X, W, S c X~X{W{SXR X, X, W, U c X~(X{WU)XR X, X, X, R c X{X~X{RXR