P, Q, T, X c (P{Q~X)~TXT P, Q, U, W c Q~U~W|PXT P, Q, W, U c Q~W~U|PXT P, Q, X, T c (P{Q~X)~TXT P, R, S, W c R~S~W|PXT P, R, T, U c (P{R~U)~TXT P, R, U, T c (P{R~U)~TXT P, R, W, S c R~W~S|PXT P, R, W, X c (R{X)~W|PXT P, R, X, W c (R{X)~W|PXT P, S, R, W c S~R~W|PXT P, S, S, U c S~S~U|PXT P, S, T, T c (S~T|P)~TXT P, S, U, S c S~U~S|PXT P, S, W, R c S~W~R|PXT P, S, W, W c (S{W)~W|PXT P, T, Q, X c (P{Q~X)~TXT P, T, R, U c (P{R~U)~TXT P, T, S, T c (T~S|P)~TXT P, T, T, S c T~(T~S|P)XT P, T, U, R c (P{U~R)~TXT P, T, V, W c (T{V)~W|PXT P, T, W, V c (T{V)~W|PXT P, T, X, Q c (P{X~Q)~TXT P, T, X, X c (P{X{X)~TXT P, U, Q, W c U~Q~W|PXT P, U, R, T c (P{U~R)~TXT P, U, S, S c U~S~S|PXT P, U, T, R c (P{U~R)~TXT P, U, U, W c (U{U)~W|PXT P, U, V, X c U~(V{X)|PXT P, U, W, Q c U~W~Q|PXT P, U, W, U c (U{U)~W|PXT P, U, W, W c U~(W{W)|PXT P, U, X, V c U~(X{V)|PXT P, V, T, W c (V{T)~W|PXT P, V, U, X c (V{X)~U|PXT P, V, W, T c (V{T)~W|PXT P, V, X, U c (V{X)~U|PXT P, W, Q, U c W~Q~U|PXT P, W, R, S c W~R~S|PXT P, W, R, X c W~(R{X)|PXT P, W, S, R c W~S~R|PXT P, W, S, W c (W{S)~W|PXT P, W, T, V c W~(T{V)|PXT P, W, U, Q c W~U~Q|PXT P, W, U, U c W~(U{U)|PXT P, W, U, W c (W{W)~U|PXT P, W, V, T c W~(V{T)|PXT P, W, W, S c W~(W{S)|PXT P, W, W, U c (W{W)~U|PXT P, W, X, R c W~(X{R)|PXT P, X, Q, T c (P{X~Q)~TXT P, X, R, W c (X{R)~W|PXT P, X, T, Q c (P{X~Q)~TXT P, X, T, X c (P{X{X)~TXT P, X, U, V c (X{V)~U|PXT P, X, V, U c (X{V)~U|PXT P, X, W, R c (X{R)~W|PXT P, X, X, T c (P{X{X)~TXT Q, P, T, X c (Q~X{P)~TXT Q, P, U, W c Q~U~W|PXT Q, P, W, U c Q~W~U|PXT Q, P, X, T c (Q~X{P)~TXT Q, R, T, V c (R~V|Q)~TXT Q, R, T, W c (Q~W{R)~TXT Q, R, V, T c (R~V|Q)~TXT Q, R, V, V c Q~V~V|RXT Q, R, W, T c (Q~W{R)~TXT Q, S, X, X c (Q{X)~X|SXT Q, T, P, X c (Q~X{P)~TXT Q, T, R, V c T~(R~V|Q)XT Q, T, R, W c (Q~W{R)~TXT Q, T, T, V c (Q~V{T)~TXT Q, T, T, X c (Q~T{X)~TXT Q, T, U, V c (Q~U{V)~TXT Q, T, V, R c T~(V~R|Q)XT Q, T, V, T c (Q~V{T)~TXT Q, T, V, U c (Q~U{V)~TXT Q, T, W, R c (Q~W{R)~TXT Q, T, W, X c (Q{W{X)~TXT Q, T, X, P c (Q~X{P)~TXT Q, T, X, T c (Q~T{X)~TXT Q, T, X, W c (Q{X{W)~TXT Q, U, P, W c Q~U~W|PXT Q, U, T, V c (Q~U{V)~TXT Q, U, V, T c (Q~U{V)~TXT Q, U, W, P c Q~U~W|PXT Q, V, R, T c (V~R|Q)~TXT Q, V, R, V c Q~V~V|RXT Q, V, T, R c (V~R|Q)~TXT Q, V, T, T c (Q~V{T)~TXT Q, V, T, U c (Q~U{V)~TXT Q, V, U, T c (Q~U{V)~TXT Q, V, V, R c Q~V~V|RXT Q, V, W, X c (Q{X)~W{VXT Q, V, X, W c (Q{X)~W{VXT Q, V, X, X c Q~V{X~XXT Q, W, P, U c Q~W~U|PXT Q, W, R, T c (Q~W{R)~TXT Q, W, T, R c (Q~W{R)~TXT Q, W, T, X c (Q{W{X)~TXT Q, W, U, P c Q~W~U|PXT Q, W, V, X c (Q{X)~W{VXT Q, W, X, T c (Q{W{X)~TXT Q, W, X, V c (Q{X)~W{VXT Q, X, P, T c (Q~X{P)~TXT Q, X, S, X c (Q{X)~X|SXT Q, X, T, P c (Q~X{P)~TXT Q, X, T, T c Q~X~T{TXT Q, X, T, W c (Q{X{W)~TXT Q, X, V, W c (Q{X)~W{VXT Q, X, V, X c Q~V{X~XXT Q, X, W, T c (Q{X{W)~TXT Q, X, W, V c (Q{X)~W{VXT Q, X, X, S c (Q{X)~X|SXT Q, X, X, V c Q~V{X~XXT R, P, S, W c R~S~W|PXT R, P, T, U c (R~U{P)~TXT R, P, U, T c (R~U{P)~TXT R, P, W, S c R~W~S|PXT R, P, W, X c (R{X)~W|PXT R, P, X, W c (R{X)~W|PXT R, Q, T, V c (R~V|Q)~TXT R, Q, T, W c (R{Q~W)~TXT R, Q, V, T c (R~V|Q)~TXT R, Q, V, V c Q~V~V|RXT R, Q, W, T c (R{Q~W)~TXT R, S, P, W c R~S~W|PXT R, S, S, T c (R{S~S)~TXT R, S, T, S c (R{S~S)~TXT R, S, T, T c (R~T{S)~TXT R, S, T, V c (R~S{V)~TXT R, S, V, T c (R~S{V)~TXT R, S, W, P c R~S~W|PXT R, S, W, X c (R{W)~X|SXT R, S, X, W c (R{W)~X|SXT R, T, P, U c (R~U{P)~TXT R, T, Q, V c (R~V|Q)~TXT R, T, Q, W c (R{Q~W)~TXT R, T, S, S c (R{S~S)~TXT R, T, S, T c (R~T{S)~TXT R, T, S, V c (R~S{V)~TXT R, T, T, S c (R~T{S)~TXT R, T, T, U c R~T~U{TXT R, T, T, W c (R~W|T)~TXT R, T, U, P c (R~U{P)~TXT R, T, U, T c R~T~U{TXT R, T, V, Q c (R~V|Q)~TXT R, T, V, S c (R~S{V)~TXT R, T, V, X c (R{V{X)~TXT R, T, W, Q c (R{W~Q)~TXT R, T, W, T c (R~W|T)~TXT R, T, W, W c (R{W{W)~TXT R, T, W, X c (R~X|W)~TXT R, T, X, V c (R{X{V)~TXT R, T, X, W c (R~X|W)~TXT R, U, P, T c (R~U{P)~TXT R, U, T, P c (R~U{P)~TXT R, U, T, T c R~U~T{TXT R, U, V, W c (U{W)~V|RXT R, U, W, V c (U{W)~V|RXT R, V, Q, T c (R~V|Q)~TXT R, V, Q, V c V~Q~V|RXT R, V, S, T c (R~S{V)~TXT R, V, T, Q c (R~V|Q)~TXT R, V, T, S c (R~S{V)~TXT R, V, T, X c (R{V{X)~TXT R, V, U, W c V~(U{W)|RXT R, V, V, Q c V~V~Q|RXT R, V, V, V c (V{V)~V|RXT R, V, W, U c V~(W{U)|RXT R, V, W, W c (R{W)~W{VXT R, V, X, T c (R{V{X)~TXT R, W, P, S c R~W~S|PXT R, W, P, X c (R{X)~W|PXT R, W, Q, T c (R{W~Q)~TXT R, W, S, P c R~W~S|PXT R, W, S, X c (R{W)~X|SXT R, W, T, Q c (R{W~Q)~TXT R, W, T, T c (R~W|T)~TXT R, W, T, W c (R{W{W)~TXT R, W, T, X c (R~X|W)~TXT R, W, U, V c (W{U)~V|RXT R, W, V, U c (W{U)~V|RXT R, W, V, W c (R{W)~W{VXT R, W, W, T c (R{W{W)~TXT R, W, W, V c (R{W)~W{VXT R, W, X, P c (R{X)~W|PXT R, W, X, S c (R{W)~X|SXT R, W, X, T c (R~X|W)~TXT R, X, P, W c (R{X)~W|PXT R, X, S, W c (R{W)~X|SXT R, X, T, V c (R{X{V)~TXT R, X, T, W c (R~X|W)~TXT R, X, V, T c (R{X{V)~TXT R, X, W, P c (R{X)~W|PXT R, X, W, S c (R{W)~X|SXT R, X, W, T c (R~X|W)~TXT S, P, R, W c S~R~W|PXT S, P, S, U c S~S~U|PXT S, P, T, T c (S~T|P)~TXT S, P, U, S c S~U~S|PXT S, P, W, R c S~W~R|PXT S, P, W, W c (S{W)~W|PXT S, Q, X, X c (Q{X)~X|SXT S, R, P, W c S~R~W|PXT S, R, S, T c (S~S{R)~TXT S, R, T, S c (S~S{R)~TXT S, R, T, T c (S{R~T)~TXT S, R, T, V c (S~R{V)~TXT S, R, V, T c (S~R{V)~TXT S, R, W, P c S~R~W|PXT S, R, W, X c (R{W)~X|SXT S, R, X, W c (R{W)~X|SXT S, S, P, U c S~S~U|PXT S, S, R, T c (S~S{R)~TXT S, S, T, R c (S~S{R)~TXT S, S, U, P c S~S~U|PXT S, S, V, X c S{(S{X)~VXT S, S, X, V c S{(S{X)~VXT S, T, P, T c (S~T|P)~TXT S, T, R, S c (S~S{R)~TXT S, T, R, T c (S{T~R)~TXT S, T, R, V c (S~R{V)~TXT S, T, S, R c (S~S{R)~TXT S, T, T, P c (S~T|P)~TXT S, T, T, R c (S{T~R)~TXT S, T, T, T c S~T~T|TXT S, T, T, U c (S~U|T)~TXT S, T, U, T c (S~U|T)~TXT S, T, U, X c (S{U{X)~TXT S, T, V, R c (S~R{V)~TXT S, T, V, W c S{(T{W)~VXT S, T, V, X c (S~V|X)~TXT S, T, W, V c S{(T{W)~VXT S, T, X, U c (S{X{U)~TXT S, T, X, V c (S~V|X)~TXT S, U, P, S c S~U~S|PXT S, U, S, P c S~U~S|PXT S, U, T, T c (S~U|T)~TXT S, U, T, X c (S{U{X)~TXT S, U, V, V c S{(U{V)~VXT S, U, X, T c (S{U{X)~TXT S, V, R, T c (S~R{V)~TXT S, V, S, X c S{V~(S{X)XT S, V, T, R c (S~R{V)~TXT S, V, T, W c S{V~(T{W)XT S, V, T, X c (S~V|X)~TXT S, V, U, V c S{(V{U)~VXT S, V, V, U c S{V~(V{U)XT S, V, V, W c (S{V)~W{VXT S, V, W, T c (S{V{W)~TXT S, V, W, V c (S{V)~W{VXT S, V, W, X c S~W{V~XXT S, V, X, S c S{V~(X{S)XT S, V, X, T c (S~V|X)~TXT S, V, X, W c S~W{V~XXT S, W, P, R c S~W~R|PXT S, W, P, W c (S{W)~W|PXT S, W, R, P c S~W~R|PXT S, W, R, X c (W{R)~X|SXT S, W, T, V c S{(W{T)~VXT S, W, V, T c (S{W{V)~TXT S, W, V, V c (S{V)~W{VXT S, W, V, X c S~W{V~XXT S, W, W, P c (S{W)~W|PXT S, W, X, R c (W{R)~X|SXT S, W, X, V c S~W{X~VXT S, W, X, X c (S{X)~W|XXT S, X, Q, X c (X{Q)~X|SXT S, X, R, W c X~(R{W)|SXT S, X, S, V c S{(X{S)~VXT S, X, T, U c (S{X{U)~TXT S, X, T, V c (S~V|X)~TXT S, X, U, T c (S{X{U)~TXT S, X, V, S c (S{X)~V{SXT S, X, V, T c (S~V|X)~TXT S, X, V, W c S~W{X~VXT S, X, W, R c X~(W{R)|SXT S, X, W, V c S~W{X~VXT S, X, W, X c (S{X)~W|XXT S, X, X, Q c X~(X{Q)|SXT S, X, X, W c (S{X)~W|XXT T, P, Q, X c T~(P{Q~X)XT T, P, R, U c T~(P{R~U)XT T, P, S, T c (T~S|P)~TXT T, P, T, S c T~(T~S|P)XT T, P, U, R c T~(P{U~R)XT T, P, V, W c (T{V)~W|PXT T, P, W, V c (T{V)~W|PXT T, P, X, Q c T~(P{X~Q)XT T, P, X, X c T{(P{X)~XXT T, Q, P, X c T~(Q~X{P)XT T, Q, R, V c T~(R~V|Q)XT T, Q, R, W c T~(Q~W{R)XT T, Q, T, V c (T{Q~V)~TXT T, Q, T, X c T{Q~T~XXT T, Q, U, V c T~(Q~U{V)XT T, Q, V, R c T~(V~R|Q)XT T, Q, V, T c (T{Q~V)~TXT T, Q, V, U c T~(Q~U{V)XT T, Q, W, R c T~(Q~W{R)XT T, Q, W, X c T{(Q{W)~XXT T, Q, X, P c T~(Q~X{P)XT T, Q, X, T c T{Q~X~TXT T, Q, X, W c T~(Q{X{W)XT T, R, P, U c T~(R~U{P)XT T, R, Q, V c T~(R~V|Q)XT T, R, Q, W c T~(R{Q~W)XT T, R, S, S c T~(R{S~S)XT T, R, S, T c (T~R{S)~TXT T, R, S, V c T~(R~S{V)XT T, R, T, S c T~(R~T{S)XT T, R, T, U c T{R~T~UXT T, R, T, W c T~(R~W|T)XT T, R, U, P c T~(R~U{P)XT T, R, U, T c T{R~U~TXT T, R, V, Q c T~(R~V|Q)XT T, R, V, S c T~(R~S{V)XT T, R, V, X c T{(R{V)~XXT T, R, W, Q c T~(R{W~Q)XT T, R, W, T c T~(R~W|T)XT T, R, W, W c T~(R{W{W)XT T, R, W, X c T~(R~X|W)XT T, R, X, V c T~(R{X{V)XT T, R, X, W c T~(R~X|W)XT T, S, P, T c (T~S|P)~TXT T, S, R, S c T~(S~S{R)XT T, S, R, T c T~(S{R~T)XT T, S, R, V c T~(S~R{V)XT T, S, S, R c T~(S~S{R)XT T, S, T, P c T~(S~T|P)XT T, S, T, R c T~(S{T~R)XT T, S, T, T c T~S~T|TXT T, S, T, U c T~(S~U|T)XT T, S, U, T c T~(S~U|T)XT T, S, U, X c T{(S{U)~XXT T, S, V, R c T~(S~R{V)XT T, S, V, W c T~(S{V{W)XT T, S, V, X c T~(S~V|X)XT T, S, W, V c T~(S{W{V)XT T, S, X, U c T~(S{X{U)XT T, S, X, V c T~(S~V|X)XT T, T, P, S c T~(T~S|P)XT T, T, Q, V c T~(T{Q~V)XT T, T, Q, X c T{T~Q~XXT T, T, R, S c T~(T~R{S)XT T, T, R, U c T{T~R~UXT T, T, R, W c T~(R~W|T)XT T, T, S, P c T~(T~S|P)XT T, T, S, R c T~(T~R{S)XT T, T, S, T c T~T~S|TXT T, T, S, U c T~(S~U|T)XT T, T, T, S c T~T~S|TXT T, T, T, U c T~(T~T|U)XT T, T, T, X c T{(T{T)~XXT T, T, U, R c T{T~U~RXT T, T, U, S c T~(U~S|T)XT T, T, U, T c (T~T|U)~TXT T, T, U, W c T~(T{U{W)XT T, T, V, Q c T~(T{V~Q)XT T, T, V, V c T~(T{V{V)XT T, T, W, R c T~(W~R|T)XT T, T, W, U c T~(T{W{U)XT T, T, X, Q c T{T~X~QXT T, T, X, T c (T{T{X)~TXT T, T, X, X c T{T~(X{X)XT T, U, P, R c T~(U~R{P)XT T, U, Q, V c T~(U~Q{V)XT T, U, R, P c T~(U~R{P)XT T, U, R, T c T{U~R~TXT T, U, S, T c T~(U~S|T)XT T, U, S, X c T{(U{S)~XXT T, U, T, R c T{U~T~RXT T, U, T, S c T~(U~S|T)XT T, U, T, T c (T~T|U)~TXT T, U, T, W c T~(U{T{W)XT T, U, U, V c T~(U{U{V)XT T, U, U, X c T{U~(U{X)XT T, U, V, Q c T~(U~Q{V)XT T, U, V, U c T~(U{V{U)XT T, U, V, W c T{U~(V{W)XT T, U, W, T c (T{U{W)~TXT T, U, W, V c (T{U)~W{VXT T, U, X, S c (T{U)~X|SXT T, U, X, U c T{(U{X)~UXT T, V, P, W c (T{V)~W|PXT T, V, Q, R c T~(V~R|Q)XT T, V, Q, T c (T{V~Q)~TXT T, V, Q, U c T~(V{Q~U)XT T, V, R, Q c T~(V~R|Q)XT T, V, R, S c T~(V{R~S)XT T, V, R, X c T{(V{R)~XXT T, V, S, R c T~(V{S~R)XT T, V, S, W c T~(V{S{W)XT T, V, S, X c T~(V~S|X)XT T, V, T, Q c (T{V~Q)~TXT T, V, T, V c T~(V{T{V)XT T, V, U, Q c T~(V{U~Q)XT T, V, U, U c T~(V{U{U)XT T, V, U, W c T{(V{W)~UXT T, V, V, T c (T{V{V)~TXT T, V, W, P c (T{V)~W|PXT T, V, W, S c T~(V{W{S)XT T, V, W, U c T{(V{W)~UXT T, V, X, R c T~(V{X{R)XT T, V, X, S c T~(V~S|X)XT T, W, P, V c (T{V)~W|PXT T, W, Q, R c T~(W~Q{R)XT T, W, Q, X c T{(W{Q)~XXT T, W, R, Q c T~(W~Q{R)XT T, W, R, T c T~(W~R|T)XT T, W, R, W c T~(W{R{W)XT T, W, R, X c T~(R~X|W)XT T, W, S, V c T~(W{S{V)XT T, W, T, R c T~(W~R|T)XT T, W, T, U c T~(W{T{U)XT T, W, U, T c (T{W{U)~TXT T, W, U, V c T{(W{V)~UXT T, W, V, P c (T{V)~W|PXT T, W, V, S c (T{W)~V{SXT T, W, V, U c T{(W{V)~UXT T, W, W, R c T~(W{W{R)XT T, W, W, X c (T{W)~W|XXT T, W, X, Q c T~(W{X{Q)XT T, W, X, R c T~(X~R|W)XT T, W, X, W c (T{W)~W|XXT T, X, P, Q c T~(X~Q{P)XT T, X, P, X c T{(X{P)~XXT T, X, Q, P c T~(X~Q{P)XT T, X, Q, T c T{X~Q~TXT T, X, Q, W c T{X~(Q{W)XT T, X, R, V c T{X~(R{V)XT T, X, R, W c T~(X~R|W)XT T, X, S, U c T{X~(S{U)XT T, X, S, V c T~(S~V|X)XT T, X, T, Q c T{X~T~QXT T, X, T, T c (T{X{T)~TXT T, X, T, X c T{(X{X)~TXT T, X, U, S c T{X~(U{S)XT T, X, U, U c T{(X{U)~UXT T, X, V, R c T{X~(V{R)XT T, X, V, S c T~(V~S|X)XT T, X, W, Q c T{X~(W{Q)XT T, X, W, R c T~(X~R|W)XT T, X, W, W c (T{W)~W|XXT T, X, X, P c T{X~(X{P)XT T, X, X, T c T{(X{X)~TXT T, X, X, X c T{X{X~XXT U, P, Q, W c U~Q~W|PXT U, P, R, T c (U~R{P)~TXT U, P, S, S c U~S~S|PXT U, P, T, R c (U~R{P)~TXT U, P, U, W c (U{U)~W|PXT U, P, V, X c U~(V{X)|PXT U, P, W, Q c U~W~Q|PXT U, P, W, U c (U{U)~W|PXT U, P, W, W c U~(W{W)|PXT U, P, X, V c U~(X{V)|PXT U, Q, P, W c U~Q~W|PXT U, Q, T, V c (U~Q{V)~TXT U, Q, V, T c (U~Q{V)~TXT U, Q, W, P c U~Q~W|PXT U, R, P, T c (U~R{P)~TXT U, R, T, P c (U~R{P)~TXT U, R, T, T c U~R~T{TXT U, R, V, W c (U{W)~V|RXT U, R, W, V c (U{W)~V|RXT U, S, P, S c U~S~S|PXT U, S, S, P c U~S~S|PXT U, S, T, T c (U~S|T)~TXT U, S, T, X c (U{S{X)~TXT U, S, V, V c (U{V)~V{SXT U, S, X, T c (U{S{X)~TXT U, T, P, R c (U~R{P)~TXT U, T, Q, V c (U~Q{V)~TXT U, T, R, P c (U~R{P)~TXT U, T, R, T c U~T~R{TXT U, T, S, T c (U~S|T)~TXT U, T, S, X c (U{T)~X|SXT U, T, T, R c U~T~R{TXT U, T, T, S c (U~S|T)~TXT U, T, T, T c (T~T|U)~TXT U, T, T, W c (U{T{W)~TXT U, T, U, V c (U{U{V)~TXT U, T, U, X c U~(U{X){TXT U, T, V, Q c (U~Q{V)~TXT U, T, V, U c (U{V{U)~TXT U, T, V, W c (U{T)~W{VXT U, T, W, T c (U{T{W)~TXT U, T, W, V c (U{T)~W{VXT U, T, X, S c (U{T)~X|SXT U, T, X, U c (U{X)~U{TXT U, U, P, W c (U{U)~W|PXT U, U, T, V c (U{U{V)~TXT U, U, T, X c U~(U{X){TXT U, U, V, T c (U{U{V)~TXT U, U, W, P c (U{U)~W|PXT U, U, X, T c U~(U{X){TXT U, V, P, X c U~(V{X)|PXT U, V, Q, T c (U~Q{V)~TXT U, V, R, W c (U{W)~V|RXT U, V, S, V c (U{V)~V{SXT U, V, T, Q c (U~Q{V)~TXT U, V, T, U c (U{V{U)~TXT U, V, T, W c U~(V{W){TXT U, V, U, T c (U{V{U)~TXT U, V, V, S c (U{V)~V{SXT U, V, W, R c (U{W)~V|RXT U, V, W, T c U~(V{W){TXT U, V, W, X c (U{V)~W|XXT U, V, X, P c U~(V{X)|PXT U, V, X, W c (U{V)~W|XXT U, W, P, Q c U~W~Q|PXT U, W, P, U c (U{U)~W|PXT U, W, P, W c U~(W{W)|PXT U, W, Q, P c U~W~Q|PXT U, W, R, V c (U{W)~V|RXT U, W, T, T c (U{W{T)~TXT U, W, T, V c U~(W{V){TXT U, W, U, P c (U{U)~W|PXT U, W, V, R c (U{W)~V|RXT U, W, V, T c U~(W{V){TXT U, W, V, X c U~(W{X)|VXT U, W, W, P c U~(W{W)|PXT U, W, X, V c U~(W{X)|VXT U, W, X, X c U{W{X~XXT U, X, P, V c U~(X{V)|PXT U, X, S, T c (U{X{S)~TXT U, X, T, S c (U{X{S)~TXT U, X, T, U c (U{X)~U{TXT U, X, U, T c (U{X)~U{TXT U, X, V, P c U~(X{V)|PXT U, X, V, W c U~(X{W)|VXT U, X, W, V c U~(X{W)|VXT U, X, W, X c U{X~X{WXT U, X, X, W c U{X~X{WXT V, P, T, W c (V{T)~W|PXT V, P, U, X c (V{X)~U|PXT V, P, W, T c (V{T)~W|PXT V, P, X, U c (V{X)~U|PXT V, Q, R, T c (V~R|Q)~TXT V, Q, R, V c V~Q~V|RXT V, Q, T, R c (V~R|Q)~TXT V, Q, T, T c (V~Q{T)~TXT V, Q, T, U c (V{Q~U)~TXT V, Q, U, T c (V{Q~U)~TXT V, Q, V, R c V~Q~V|RXT V, Q, W, X c V{(Q{X)~WXT V, Q, X, W c V{(Q{X)~WXT V, Q, X, X c V~Q{X~XXT V, R, Q, T c (V~R|Q)~TXT V, R, Q, V c V~Q~V|RXT V, R, S, T c (V{R~S)~TXT V, R, T, Q c (V~R|Q)~TXT V, R, T, S c (V{R~S)~TXT V, R, T, X c (V{R{X)~TXT V, R, U, W c V~(U{W)|RXT V, R, V, Q c V~V~Q|RXT V, R, V, V c (V{V)~V|RXT V, R, W, U c V~(W{U)|RXT V, R, W, W c V{(R{W)~WXT V, R, X, T c (V{R{X)~TXT V, S, R, T c (V{S~R)~TXT V, S, S, X c (V{S)~X|SXT V, S, T, R c (V{S~R)~TXT V, S, T, W c (V{S{W)~TXT V, S, T, X c (V~S|X)~TXT V, S, U, V c (V{U)~V{SXT V, S, V, U c V~(V{U){SXT V, S, V, W c V{(S{V)~WXT V, S, W, T c (V{S{W)~TXT V, S, W, V c (V{S)~W{VXT V, S, W, X c V~X{S~WXT V, S, X, S c (V{S)~X|SXT V, S, X, T c (V~S|X)~TXT V, S, X, W c V~X{S~WXT V, T, P, W c (V{T)~W|PXT V, T, Q, R c (V~R|Q)~TXT V, T, Q, T c (V~Q{T)~TXT V, T, Q, U c (V{Q~U)~TXT V, T, R, Q c (V~R|Q)~TXT V, T, R, S c (V{R~S)~TXT V, T, R, X c V~(T{X)|RXT V, T, S, R c (V{S~R)~TXT V, T, S, W c V~(T{W){SXT V, T, S, X c (V~S|X)~TXT V, T, T, Q c (V~Q{T)~TXT V, T, T, V c (V{T{V)~TXT V, T, U, Q c (V{U~Q)~TXT V, T, U, U c (V{U{U)~TXT V, T, U, W c V{(T{U)~WXT V, T, V, T c (V{T{V)~TXT V, T, W, P c (V{T)~W|PXT V, T, W, S c V~(T{W){SXT V, T, W, U c V{(T{U)~WXT V, T, X, R c V~(T{X)|RXT V, T, X, S c (V~S|X)~TXT V, U, P, X c (V{X)~U|PXT V, U, Q, T c (V{U~Q)~TXT V, U, R, W c V~(U{W)|RXT V, U, S, V c (V{U)~V{SXT V, U, T, Q c (V{U~Q)~TXT V, U, T, U c (V{U{U)~TXT V, U, T, W c V{(U{T)~WXT V, U, U, T c (V{U{U)~TXT V, U, V, S c (V{U)~V{SXT V, U, W, R c V~(U{W)|RXT V, U, W, T c V{(U{T)~WXT V, U, W, X c (V{U)~W|XXT V, U, X, P c (V{X)~U|PXT V, U, X, W c (V{U)~W|XXT V, V, Q, R c V~V~Q|RXT V, V, R, Q c V~V~Q|RXT V, V, R, V c (V{V)~V|RXT V, V, S, U c V~(V{U){SXT V, V, S, W c V{(V{S)~WXT V, V, T, T c (V{V{T)~TXT V, V, U, S c V~(V{U){SXT V, V, V, R c (V{V)~V|RXT V, V, W, S c V{(V{S)~WXT V, V, X, X c V{V{X~XXT V, W, P, T c (V{T)~W|PXT V, W, Q, X c V{W~(Q{X)XT V, W, R, U c V~(W{U)|RXT V, W, R, W c V{(W{R)~WXT V, W, S, T c (V{W{S)~TXT V, W, S, V c V{W~(S{V)XT V, W, S, X c V~X{W~SXT V, W, T, P c (V{T)~W|PXT V, W, T, S c V~(W{T){SXT V, W, T, U c V{W~(T{U)XT V, W, U, R c V~(W{U)|RXT V, W, U, T c (V{W)~U{TXT V, W, U, X c (V{U)~W|XXT V, W, V, S c V{W~(V{S)XT V, W, W, R c V{W~(W{R)XT V, W, X, Q c V{W~(X{Q)XT V, W, X, S c V~X{W~SXT V, W, X, U c (V{U)~W|XXT V, X, P, U c (V{X)~U|PXT V, X, Q, W c V{(X{Q)~WXT V, X, Q, X c V~Q{X~XXT V, X, R, T c (V{X{R)~TXT V, X, S, S c V~(X{S){SXT V, X, S, T c (V~S|X)~TXT V, X, S, W c V~X{S~WXT V, X, T, R c V~(X{T)|RXT V, X, T, S c (V~S|X)~TXT V, X, U, P c (V{X)~U|PXT V, X, U, W c (V{U)~W|XXT V, X, V, X c V{X~X{VXT V, X, W, Q c V{(X{Q)~WXT V, X, W, S c V~X{W~SXT V, X, W, U c (V{U)~W|XXT V, X, X, Q c V~Q{X~XXT V, X, X, V c V{X~X{VXT W, P, Q, U c W~Q~U|PXT W, P, R, S c W~R~S|PXT W, P, R, X c W~(R{X)|PXT W, P, S, R c W~S~R|PXT W, P, S, W c (W{S)~W|PXT W, P, T, V c W~(T{V)|PXT W, P, U, Q c W~U~Q|PXT W, P, U, U c W~(U{U)|PXT W, P, U, W c (W{W)~U|PXT W, P, V, T c W~(V{T)|PXT W, P, W, S c W~(W{S)|PXT W, P, W, U c (W{W)~U|PXT W, P, X, R c W~(X{R)|PXT W, Q, P, U c W~Q~U|PXT W, Q, R, T c (W~Q{R)~TXT W, Q, T, R c (W~Q{R)~TXT W, Q, T, X c (W{Q{X)~TXT W, Q, U, P c W~Q~U|PXT W, Q, V, X c W~(Q{X){VXT W, Q, X, T c (W{Q{X)~TXT W, Q, X, V c W~(Q{X){VXT W, R, P, S c W~R~S|PXT W, R, P, X c W~(R{X)|PXT W, R, Q, T c (W~Q{R)~TXT W, R, S, P c W~R~S|PXT W, R, S, X c (W{R)~X|SXT W, R, T, Q c (W~Q{R)~TXT W, R, T, T c (W~R|T)~TXT W, R, T, W c (W{R{W)~TXT W, R, T, X c (R~X|W)~TXT W, R, U, V c (W{U)~V|RXT W, R, V, U c (W{U)~V|RXT W, R, V, W c (W{R)~W{VXT W, R, W, T c (W{R{W)~TXT W, R, W, V c (W{R)~W{VXT W, R, X, P c W~(R{X)|PXT W, R, X, S c (W{R)~X|SXT W, R, X, T c (R~X|W)~TXT W, S, P, R c W~S~R|PXT W, S, P, W c (W{S)~W|PXT W, S, R, P c W~S~R|PXT W, S, R, X c (W{R)~X|SXT W, S, T, V c (W{S{V)~TXT W, S, V, T c (W{S{V)~TXT W, S, V, V c W~(S{V){VXT W, S, V, X c W~S{V~XXT W, S, W, P c (W{S)~W|PXT W, S, X, R c (W{R)~X|SXT W, S, X, V c W~S{X~VXT W, S, X, X c W~(S{X)|XXT W, T, P, V c W~(T{V)|PXT W, T, Q, R c (W~Q{R)~TXT W, T, Q, X c (W{Q{X)~TXT W, T, R, Q c (W~Q{R)~TXT W, T, R, T c (W~R|T)~TXT W, T, R, W c (W{R{W)~TXT W, T, R, X c T~(R~X|W)XT W, T, S, V c (W{T)~V{SXT W, T, T, R c (W~R|T)~TXT W, T, T, U c (W{T{U)~TXT W, T, U, T c (W{T{U)~TXT W, T, U, V c W~(T{U){VXT W, T, V, P c W~(T{V)|PXT W, T, V, S c (W{T)~V{SXT W, T, V, U c W~(T{U){VXT W, T, W, R c (W{W{R)~TXT W, T, W, X c (W{T)~W|XXT W, T, X, Q c (W{X{Q)~TXT W, T, X, R c T~(X~R|W)XT W, T, X, W c (W{T)~W|XXT W, U, P, Q c W~U~Q|PXT W, U, P, U c W~(U{U)|PXT W, U, P, W c (W{W)~U|PXT W, U, Q, P c W~U~Q|PXT W, U, R, V c (W{U)~V|RXT W, U, T, T c (W{U{T)~TXT W, U, T, V c W~(U{T){VXT W, U, U, P c W~(U{U)|PXT W, U, V, R c (W{U)~V|RXT W, U, V, T c W~(U{T){VXT W, U, V, X c W~(U{V)|XXT W, U, W, P c (W{W)~U|PXT W, U, X, V c W~(U{V)|XXT W, U, X, X c W{U{X~XXT W, V, P, T c W~(V{T)|PXT W, V, Q, X c W~(Q{X){VXT W, V, R, U c (W{U)~V|RXT W, V, R, W c (W{R)~W{VXT W, V, S, T c (W{V{S)~TXT W, V, S, V c W~(V{S){VXT W, V, S, X c W~S{V~XXT W, V, T, P c W~(V{T)|PXT W, V, T, S c (W{V{S)~TXT W, V, T, U c (W{V)~U{TXT W, V, U, R c (W{U)~V|RXT W, V, U, T c (W{V)~U{TXT W, V, U, X c W~(V{U)|XXT W, V, V, S c W~(V{S){VXT W, V, W, R c W~(W{R){VXT W, V, X, Q c W~(X{Q){VXT W, V, X, S c W~S{V~XXT W, V, X, U c W~(V{U)|XXT W, W, P, S c W~(W{S)|PXT W, W, P, U c (W{W)~U|PXT W, W, R, T c (W{W{R)~TXT W, W, R, V c W~(W{R){VXT W, W, S, P c W~(W{S)|PXT W, W, T, R c (W{W{R)~TXT W, W, T, X c W~(W{T)|XXT W, W, U, P c (W{W)~U|PXT W, W, V, R c W~(W{R){VXT W, W, X, T c W~(W{T)|XXT W, X, P, R c W~(X{R)|PXT W, X, Q, T c (W{X{Q)~TXT W, X, Q, V c W~(X{Q){VXT W, X, R, P c W~(X{R)|PXT W, X, R, S c (W{R)~X|SXT W, X, R, T c (X~R|W)~TXT W, X, S, R c (W{R)~X|SXT W, X, S, V c W~S{X~VXT W, X, S, X c W~(X{S)|XXT W, X, T, Q c (W{X{Q)~TXT W, X, T, R c (X~R|W)~TXT W, X, T, W c (W{T)~W|XXT W, X, U, V c (W{X)~U|VXT W, X, U, X c W{X~X{UXT W, X, V, Q c W~(X{Q){VXT W, X, V, S c W~S{X~VXT W, X, V, U c (W{X)~U|VXT W, X, W, T c W~(W{T)|XXT W, X, X, S c W~(X{S)|XXT W, X, X, U c W{X~X{UXT X, P, Q, T c (X~Q{P)~TXT X, P, R, W c (X{R)~W|PXT X, P, T, Q c (X~Q{P)~TXT X, P, T, X c (X{P{X)~TXT X, P, U, V c (X{V)~U|PXT X, P, V, U c (X{V)~U|PXT X, P, W, R c (X{R)~W|PXT X, P, X, T c (X{P{X)~TXT X, Q, P, T c (X~Q{P)~TXT X, Q, S, X c (X{Q)~X|SXT X, Q, T, P c (X~Q{P)~TXT X, Q, T, T c (X{Q~T)~TXT X, Q, T, W c (X{Q{W)~TXT X, Q, V, W c (X{Q)~W{VXT X, Q, V, X c X~X{Q~VXT X, Q, W, T c (X{Q{W)~TXT X, Q, W, V c (X{Q)~W{VXT X, Q, X, S c (X{Q)~X|SXT X, Q, X, V c X~X{Q~VXT X, R, P, W c (X{R)~W|PXT X, R, S, W c X~(R{W)|SXT X, R, T, V c (X{R{V)~TXT X, R, T, W c (X~R|W)~TXT X, R, V, T c (X{R{V)~TXT X, R, W, P c (X{R)~W|PXT X, R, W, S c X~(R{W)|SXT X, R, W, T c (X~R|W)~TXT X, S, Q, X c (X{Q)~X|SXT X, S, R, W c X~(R{W)|SXT X, S, S, V c (X{S)~V{SXT X, S, T, U c (X{S{U)~TXT X, S, T, V c (S~V|X)~TXT X, S, U, T c (X{S{U)~TXT X, S, V, S c (X{S)~V{SXT X, S, V, T c (S~V|X)~TXT X, S, V, W c X~V{S~WXT X, S, W, R c X~(W{R)|SXT X, S, W, V c X~V{S~WXT X, S, W, X c (X{S)~W|XXT X, S, X, Q c X~(X{Q)|SXT X, S, X, W c (X{S)~W|XXT X, T, P, Q c (X~Q{P)~TXT X, T, P, X c (X{P{X)~TXT X, T, Q, P c (X~Q{P)~TXT X, T, Q, T c (X{T~Q)~TXT X, T, Q, W c (X{Q{W)~TXT X, T, R, V c (X{T)~V|RXT X, T, R, W c (X~R|W)~TXT X, T, S, U c X~(T{U)|SXT X, T, S, V c T~(S~V|X)XT X, T, T, Q c (X{T~Q)~TXT X, T, T, T c (X{T{T)~TXT X, T, T, X c (X{X)~T{TXT X, T, U, S c X~(T{U)|SXT X, T, U, U c (X{U)~U{TXT X, T, V, R c (X{T)~V|RXT X, T, V, S c T~(V~S|X)XT X, T, W, Q c (X{W{Q)~TXT X, T, W, R c (X~R|W)~TXT X, T, W, W c (T{W)~W|XXT X, T, X, P c (X{X{P)~TXT X, T, X, T c (X{X)~T{TXT X, T, X, X c X{T{X~XXT X, U, P, V c (X{V)~U|PXT X, U, S, T c (X{U{S)~TXT X, U, T, S c X~(U{T)|SXT X, U, T, U c (X{U)~U{TXT X, U, U, T c (X{U)~U{TXT X, U, V, P c (X{V)~U|PXT X, U, V, W c (X{W)~U|VXT X, U, W, V c (X{W)~U|VXT X, U, W, X c X~X{U{WXT X, U, X, W c X~X{U{WXT X, V, P, U c (X{V)~U|PXT X, V, Q, W c (X{Q)~W{VXT X, V, Q, X c X~X{V~QXT X, V, R, T c (X{V{R)~TXT X, V, S, S c X~(V{S)|SXT X, V, S, T c (V~S|X)~TXT X, V, S, W c X~V{S~WXT X, V, T, R c (X{V{R)~TXT X, V, T, S c (V~S|X)~TXT X, V, U, P c (X{V)~U|PXT X, V, U, W c (X{W)~U|VXT X, V, V, X c X~X{V{VXT X, V, W, Q c (X{Q)~W{VXT X, V, W, S c X~V{W~SXT X, V, W, U c (X{W)~U|VXT X, V, X, Q c X~X{V~QXT X, V, X, V c X~X{V{VXT X, W, P, R c (X{R)~W|PXT X, W, Q, T c (X{W{Q)~TXT X, W, Q, V c (X{Q)~W{VXT X, W, R, P c (X{R)~W|PXT X, W, R, S c X~(W{R)|SXT X, W, R, T c (X~R|W)~TXT X, W, S, R c X~(W{R)|SXT X, W, S, V c X~V{W~SXT X, W, S, X c (X{S)~W|XXT X, W, T, Q c (X{W{Q)~TXT X, W, T, R c (X~R|W)~TXT X, W, T, W c (W{T)~W|XXT X, W, U, V c (X{W)~U|VXT X, W, U, X c X~X{W{UXT X, W, V, Q c (X{Q)~W{VXT X, W, V, S c X~V{W~SXT X, W, V, U c (X{W)~U|VXT X, W, W, T c W~(W{T)|XXT X, W, X, S c (X{S)~W|XXT X, W, X, U c X~X{W{UXT X, X, P, T c (X{X{P)~TXT X, X, Q, S c X~(X{Q)|SXT X, X, Q, V c X~X{Q~VXT X, X, S, Q c X~(X{Q)|SXT X, X, S, W c (X{S)~W|XXT X, X, T, P c (X{X{P)~TXT X, X, T, T c (X{X)~T{TXT X, X, T, X c X~X{T{XXT X, X, U, W c X~X{U{WXT X, X, V, Q c X~X{V~QXT X, X, V, V c X~X{V{VXT X, X, W, S c (X{S)~W|XXT X, X, W, U c X~X{W{UXT X, X, X, T c X{X~X{TXT