O, R, X, X c O{X~X|RVW O, S, U, X c (O{S{X)~UVW O, S, X, U c (O{S{X)~UVW O, T, U, W c (O{T{W)~UVW O, T, W, U c (O{T{W)~UVW O, U, S, X c (O{U)~(S{X)VW O, U, T, W c (O{U)~(T{W)VW O, U, U, V c (O{U)~(U{V)VW O, U, V, U c (O{U{V)~UVW O, U, W, T c (O{U)~(W{T)VW O, U, W, X c O{U{W~XVW O, U, X, S c (O{U)~(X{S)VW O, U, X, W c O{U{X~WVW O, V, U, U c (O{V{U)~UVW O, W, T, U c (O{W{T)~UVW O, W, U, T c (O{W{T)~UVW O, W, U, X c O{W~X{UVW O, W, X, U c O{W~X{UVW O, X, R, X c O{X~X|RVW O, X, S, U c (O{X{S)~UVW O, X, U, S c (O{X{S)~UVW O, X, U, W c O{X~W{UVW O, X, W, U c O{X~W{UVW O, X, X, R c O{X~X|RVW P, Q, T, W c Q~(T~W|P)VW P, Q, U, U c (P{Q~U)~UVW P, Q, U, V c (Q~V|P)~UVW P, Q, V, U c (Q~V|P)~UVW P, Q, V, X c P{(Q{X)~VVW P, Q, W, T c Q~(W~T|P)VW P, Q, W, X c (P{X)~W|QVW P, Q, X, V c P{(Q{X)~VVW P, Q, X, W c (P{X)~W|QVW P, Q, X, X c (X~X)|(P{Q)VW P, R, R, X c R~(R~X|P)VW P, R, S, U c (P{R~S)~UVW P, R, T, T c (P{T~T)~RVW P, R, U, S c (P{R~S)~UVW P, R, U, X c (P{R{X)~UVW P, R, V, W c P{(R{W)~VVW P, R, W, V c P{(R{W)~VVW P, R, W, X c (P{W)~X|RVW P, R, X, R c (R~X|P)~RVW P, R, X, U c (P{R{X)~UVW P, R, X, W c (P{W)~X|RVW P, R, X, X c P~X~X|RVW P, S, R, U c (P{S~R)~UVW P, S, T, X c (P{T)~(S{X)VW P, S, U, R c (P{S~R)~UVW P, S, U, W c (P{S{W)~UVW P, S, U, X c (P~S{X)~UVW P, S, V, V c P{(S{V)~VVW P, S, V, X c (S{X)~(V|P)VW P, S, W, U c (P{S{W)~UVW P, S, X, T c (P{T)~(S{X)VW P, S, X, U c (P~S{X)~UVW P, S, X, V c (S{X)~(V|P)VW P, S, X, X c P{X~X|SVW P, T, Q, W c (T~W|P)~QVW P, T, R, T c (P{T~T)~RVW P, T, S, X c (P{T)~(S{X)VW P, T, T, R c (P{T~T)~RVW P, T, T, W c (P{T)~(T{W)VW P, T, U, V c P{(T{U)~VVW P, T, U, W c (P~T{W)~UVW P, T, U, X c (T|P{X)~UVW P, T, V, U c (P{T{V)~UVW P, T, V, W c (T{W)~(V|P)VW P, T, W, Q c (T~W|P)~QVW P, T, W, T c (P{T)~(W{T)VW P, T, W, U c (P~T{W)~UVW P, T, W, V c (T{W)~(V|P)VW P, T, W, X c P{T{W~XVW P, T, X, S c (P{T)~(X{S)VW P, T, X, U c (T|P{X)~UVW P, T, X, W c P{T{X~WVW P, U, Q, U c (P{U~Q)~UVW P, U, Q, V c U~(Q~V|P)VW P, U, R, S c (P{R~S)~UVW P, U, R, X c (P{R{X)~UVW P, U, S, R c (P{S~R)~UVW P, U, S, W c (P{S{W)~UVW P, U, S, X c (P~U)~(S{X)VW P, U, T, V c P{(U{T)~VVW P, U, T, W c (P~U)~(T{W)VW P, U, T, X c U~(T|P{X)VW P, U, U, Q c (P{U~Q)~UVW P, U, U, U c (P{U{U)~UVW P, U, U, V c (P~U)~(U{V)VW P, U, U, W c (U|P{W)~UVW P, U, V, Q c U~(V~Q|P)VW P, U, V, T c P{(U{T)~VVW P, U, V, U c (P~U{V)~UVW P, U, V, V c U~(V|P{V)VW P, U, V, X c (P{V)~X{UVW P, U, W, S c (P{W{S)~UVW P, U, W, T c (P~U)~(W{T)VW P, U, W, U c (U|P{W)~UVW P, U, W, W c (P{W)~W{UVW P, U, W, X c P~U{W~XVW P, U, X, R c (P{X{R)~UVW P, U, X, S c (P~U)~(X{S)VW P, U, X, T c U~(X|P{T)VW P, U, X, V c (P{V)~X{UVW P, U, X, W c P~U{X~WVW P, U, X, X c U{(X|P)~XVW P, V, Q, U c (V~Q|P)~UVW P, V, Q, X c P{V~(Q{X)VW P, V, R, W c P{V~(R{W)VW P, V, S, V c P{(V{S)~VVW P, V, S, X c (V|P)~(S{X)VW P, V, T, U c (P{V{T)~UVW P, V, T, W c (V|P)~(T{W)VW P, V, U, Q c (V~Q|P)~UVW P, V, U, T c P{V~(U{T)VW P, V, U, U c (P~V{U)~UVW P, V, U, V c (V|P)~(U{V)VW P, V, U, X c (P{V)~X{UVW P, V, V, S c P{V~(V{S)VW P, V, V, U c (V|P{V)~UVW P, V, W, R c P{V~(W{R)VW P, V, W, T c (V|P)~(W{T)VW P, V, W, X c (P{X)~V{WVW P, V, X, Q c P{V~(X{Q)VW P, V, X, S c (V|P)~(X{S)VW P, V, X, U c (P{V)~X{UVW P, V, X, W c (P{X)~V{WVW P, W, Q, T c (W~T|P)~QVW P, W, Q, X c (P{X)~W|QVW P, W, R, V c P{(W{R)~VVW P, W, R, X c (P{W)~X|RVW P, W, S, U c (P{W{S)~UVW P, W, T, Q c (W~T|P)~QVW P, W, T, T c (P{T)~(W{T)VW P, W, T, U c (P~W{T)~UVW P, W, T, V c (W{T)~(V|P)VW P, W, T, X c P{W~X{TVW P, W, U, S c (P{W{S)~UVW P, W, U, T c (P~W{T)~UVW P, W, U, U c (W|P{U)~UVW P, W, U, W c (P{W)~W{UVW P, W, U, X c P~W~X{UVW P, W, V, R c P{(W{R)~VVW P, W, V, T c (W{T)~(V|P)VW P, W, V, X c (P{X)~V{WVW P, W, W, U c (P{W)~W{UVW P, W, X, Q c (P{X)~W|QVW P, W, X, R c (P{W)~X|RVW P, W, X, T c P{W~X{TVW P, W, X, U c P~W~X{UVW P, W, X, V c (P{X)~V{WVW P, X, Q, V c P{(X{Q)~VVW P, X, Q, W c (P{X)~W|QVW P, X, Q, X c (X~X)|(P{Q)VW P, X, R, R c (X~R|P)~RVW P, X, R, U c (P{X{R)~UVW P, X, R, W c (P{W)~X|RVW P, X, R, X c P~X~X|RVW P, X, S, T c (P{T)~(X{S)VW P, X, S, U c (P~X{S)~UVW P, X, S, V c (X{S)~(V|P)VW P, X, S, X c P{X~X|SVW P, X, T, S c (P{T)~(X{S)VW P, X, T, U c (X|P{T)~UVW P, X, T, W c P{X~W{TVW P, X, U, R c (P{X{R)~UVW P, X, U, S c (P~X{S)~UVW P, X, U, T c (X|P{T)~UVW P, X, U, V c (P{V)~X{UVW P, X, U, W c P~X~W{UVW P, X, U, X c (X|P)~X{UVW P, X, V, Q c P{(X{Q)~VVW P, X, V, S c (X{S)~(V|P)VW P, X, V, U c (P{V)~X{UVW P, X, V, W c (P{X)~V{WVW P, X, W, Q c (P{X)~W|QVW P, X, W, R c (P{W)~X|RVW P, X, W, T c P{X~W{TVW P, X, W, U c P~X~W{UVW P, X, W, V c (P{X)~V{WVW P, X, X, Q c (X~X)|(P{Q)VW P, X, X, R c P~X~X|RVW P, X, X, S c P{X~X|SVW P, X, X, U c (X|P)~X{UVW Q, P, T, W c Q~(T~W|P)VW Q, P, U, U c (Q~U{P)~UVW Q, P, U, V c (Q~V|P)~UVW Q, P, V, U c (Q~V|P)~UVW Q, P, V, X c (Q{X)~V{PVW Q, P, W, T c Q~(W~T|P)VW Q, P, W, X c (P{X)~W|QVW Q, P, X, V c (Q{X)~V{PVW Q, P, X, W c (P{X)~W|QVW Q, P, X, X c (X~X)|(Q{P)VW Q, Q, T, W c Q~T~W|QVW Q, Q, U, X c (Q{Q{X)~UVW Q, Q, W, T c Q~W~T|QVW Q, Q, W, W c (Q{W)~W|QVW Q, Q, X, U c (Q{Q{X)~UVW Q, R, R, W c (Q{R~W)~RVW Q, R, S, U c (Q{S~U)~RVW Q, R, S, V c R~(S~V|Q)VW Q, R, S, X c Q~(R{S~X)VW Q, R, T, U c (Q~T{R)~UVW Q, R, T, W c (Q~R)~(T{W)VW Q, R, U, S c (Q{U~S)~RVW Q, R, U, T c (Q~T{R)~UVW Q, R, U, U c Q~(R{U~U)VW Q, R, U, V c (Q~R)~(U{V)VW Q, R, U, W c (Q{R{W)~UVW Q, R, V, S c R~(V~S|Q)VW Q, R, V, U c (Q~R{V)~UVW Q, R, V, W c (R{V)~W|QVW Q, R, V, X c (Q{V)~X|RVW Q, R, W, R c (Q{R~W)~RVW Q, R, W, T c (Q~R)~(W{T)VW Q, R, W, U c (Q{R{W)~UVW Q, R, W, V c (R{V)~W|QVW Q, R, W, X c Q~R{W~XVW Q, R, X, S c Q~(R{X~S)VW Q, R, X, V c (Q{V)~X|RVW Q, R, X, W c Q~R{X~WVW Q, S, R, U c (Q{S~U)~RVW Q, S, R, V c (S~V|Q)~RVW Q, S, R, X c Q~(S{X)~RVW Q, S, S, T c S~S~T|QVW Q, S, S, X c (Q{S)~(S{X)VW Q, S, T, S c S~T~S|QVW Q, S, T, U c (Q~S{T)~UVW Q, S, T, V c Q~(S{T~V)VW Q, S, T, W c (Q{S)~(T{W)VW Q, S, U, R c (Q{S~U)~RVW Q, S, U, T c (Q~S{T)~UVW Q, S, U, V c (Q{S)~(U{V)VW Q, S, U, W c (S{U)~W|QVW Q, S, U, X c Q~S~X{UVW Q, S, V, R c (S~V|Q)~RVW Q, S, V, T c Q~(S{V~T)VW Q, S, V, U c (Q{S{V)~UVW Q, S, V, W c Q~(S~W{V)VW Q, S, W, T c (Q{S)~(W{T)VW Q, S, W, U c (S{U)~W|QVW Q, S, W, V c Q~(S~W{V)VW Q, S, W, X c Q{S{W~XVW Q, S, X, R c Q~(S{X)~RVW Q, S, X, S c (Q{S)~(X{S)VW Q, S, X, U c Q~S~X{UVW Q, S, X, W c Q{S{X~WVW Q, T, P, W c Q~(T~W|P)VW Q, T, Q, W c Q~T~W|QVW Q, T, R, U c (Q~T{R)~UVW Q, T, R, W c Q~(T{W)~RVW Q, T, S, S c T~S~S|QVW Q, T, S, U c (Q~S{T)~UVW Q, T, S, V c Q~(T~V{S)VW Q, T, S, W c (Q{S)~(T{W)VW Q, T, T, W c (T{T)~W|QVW Q, T, U, R c (Q~T{R)~UVW Q, T, U, S c (Q~S{T)~UVW Q, T, U, U c (Q{T{U)~UVW Q, T, U, X c Q~(T~U{X)VW Q, T, V, S c Q~(T~V{S)VW Q, T, V, W c Q~T~V{WVW Q, T, V, X c T~(V{X)|QVW Q, T, W, P c Q~(T~W|P)VW Q, T, W, Q c Q~T~W|QVW Q, T, W, R c Q~(T{W)~RVW Q, T, W, S c (Q{S)~(T{W)VW Q, T, W, T c (T{T)~W|QVW Q, T, W, V c Q~T~V{WVW Q, T, W, W c (T{W)~(W|Q)VW Q, T, X, U c Q~(T~X|U)VW Q, T, X, V c T~(X{V)|QVW Q, T, X, X c Q{X~X|TVW Q, U, P, U c (Q~U{P)~UVW Q, U, P, V c (Q~V|P)~UVW Q, U, Q, X c (Q{Q{X)~UVW Q, U, R, S c (Q{U~S)~RVW Q, U, R, T c (Q~T{R)~UVW Q, U, R, U c Q~(U~U{R)VW Q, U, R, V c Q~(U{V)~RVW Q, U, R, W c (Q{R{W)~UVW Q, U, S, R c (Q{U~S)~RVW Q, U, S, T c (Q~S{T)~UVW Q, U, S, V c (Q{S)~(U{V)VW Q, U, S, W c (U{S)~W|QVW Q, U, S, X c Q~S~X{UVW Q, U, T, R c (Q~T{R)~UVW Q, U, T, S c (Q~S{T)~UVW Q, U, T, U c (Q{U{T)~UVW Q, U, T, X c Q~(U~T{X)VW Q, U, U, P c (Q~U{P)~UVW Q, U, U, R c Q~(U~U{R)VW Q, U, U, T c (Q{U{T)~UVW Q, U, U, U c Q~U~U{UVW Q, U, U, V c Q~U~V|UVW Q, U, U, X c (Q{U)~X{UVW Q, U, V, P c (Q~V|P)~UVW Q, U, V, R c Q~(U{V)~RVW Q, U, V, S c (Q{V{S)~UVW Q, U, V, U c Q~U~V|UVW Q, U, V, W c (Q{V)~W{UVW Q, U, W, R c (Q{W{R)~UVW Q, U, W, S c (U{S)~W|QVW Q, U, W, V c (Q{V)~W{UVW Q, U, W, X c Q~(U~W|X)VW Q, U, X, Q c (Q{X{Q)~UVW Q, U, X, S c Q~X~S{UVW Q, U, X, T c Q~(U~T{X)VW Q, U, X, U c (Q{U)~X{UVW Q, U, X, W c Q~(U~W|X)VW Q, U, X, X c (X|QU)~XVW Q, V, P, U c (Q~V|P)~UVW Q, V, P, X c (Q{X)~V{PVW Q, V, R, S c (V~S|Q)~RVW Q, V, R, U c Q~(V{U)~RVW Q, V, R, W c (V{R)~W|QVW Q, V, R, X c (Q{V)~X|RVW Q, V, S, R c (V~S|Q)~RVW Q, V, S, T c Q~(V~T{S)VW Q, V, S, U c (Q{V{S)~UVW Q, V, S, W c Q~(V{S~W)VW Q, V, T, S c Q~(V~T{S)VW Q, V, T, W c Q~V~T{WVW Q, V, T, X c (V{X)~T|QVW Q, V, U, P c (Q~V|P)~UVW Q, V, U, R c Q~(V{U)~RVW Q, V, U, S c (Q{V{S)~UVW Q, V, U, U c Q~V~U|UVW Q, V, U, W c (Q{V)~W{UVW Q, V, W, R c (V{R)~W|QVW Q, V, W, S c Q~(V{W~S)VW Q, V, W, T c Q~V~T{WVW Q, V, W, U c (Q{V)~W{UVW Q, V, W, W c Q~V{W~WVW Q, V, X, P c (Q{X)~V{PVW Q, V, X, R c (Q{V)~X|RVW Q, V, X, T c (V{X)~T|QVW Q, W, P, T c Q~(W~T|P)VW Q, W, P, X c W~(P{X)|QVW Q, W, Q, T c Q~W~T|QVW Q, W, Q, W c (Q{W)~W|QVW Q, W, R, R c (Q{W~R)~RVW Q, W, R, T c Q~(W{T)~RVW Q, W, R, U c (Q{W{R)~UVW Q, W, R, V c W~(R{V)|QVW Q, W, R, X c Q~R{W~XVW Q, W, S, T c (Q{S)~(W{T)VW Q, W, S, U c W~(S{U)|QVW Q, W, S, V c Q~(W~S{V)VW Q, W, S, X c Q{W~X{SVW Q, W, T, P c Q~(W~T|P)VW Q, W, T, Q c Q~W~T|QVW Q, W, T, R c Q~(W{T)~RVW Q, W, T, S c (Q{S)~(W{T)VW Q, W, T, T c W~(T{T)|QVW Q, W, T, V c Q~T~V{WVW Q, W, T, W c (W|Q)~(T{W)VW Q, W, U, R c (Q{W{R)~UVW Q, W, U, S c W~(U{S)|QVW Q, W, U, V c (Q{V)~W{UVW Q, W, U, X c Q~(W~U|X)VW Q, W, V, R c W~(V{R)|QVW Q, W, V, S c Q~(W~S{V)VW Q, W, V, T c Q~V~T{WVW Q, W, V, U c (Q{V)~W{UVW Q, W, V, W c (Q{W)~V{WVW Q, W, W, Q c (Q{W)~W|QVW Q, W, W, T c (W|Q)~(W{T)VW Q, W, W, V c (Q{W)~V{WVW Q, W, W, X c W|Q{W~XVW Q, W, X, P c W~(X{P)|QVW Q, W, X, R c (Q~X{W)~RVW Q, W, X, S c Q{W~X{SVW Q, W, X, U c Q~(W~U|X)VW Q, W, X, W c W|Q{X~WVW Q, X, P, V c (Q{X)~V{PVW Q, X, P, W c (X{P)~W|QVW Q, X, P, X c (X~X)|(Q{P)VW Q, X, Q, U c (Q{X{Q)~UVW Q, X, R, S c Q~(X{S)~RVW Q, X, R, V c (Q{V)~X|RVW Q, X, R, W c (Q~X{W)~RVW Q, X, S, R c Q~(X{S)~RVW Q, X, S, S c (Q{S)~(X{S)VW Q, X, S, U c Q~X~S{UVW Q, X, S, W c Q{X~W{SVW Q, X, T, U c Q~(X{T~U)VW Q, X, T, V c (X{V)~T|QVW Q, X, T, X c Q{X~X|TVW Q, X, U, Q c (Q{X{Q)~UVW Q, X, U, S c Q~X~S{UVW Q, X, U, T c Q~(X{U~T)VW Q, X, U, U c (Q{U)~X{UVW Q, X, U, W c Q~(U~W|X)VW Q, X, U, X c (X|QU)~XVW Q, X, V, P c (Q{X)~V{PVW Q, X, V, R c (Q{V)~X|RVW Q, X, V, T c (X{V)~T|QVW Q, X, W, P c (X{P)~W|QVW Q, X, W, R c (Q~X{W)~RVW Q, X, W, S c Q{X~W{SVW Q, X, W, U c Q~(W~U|X)VW Q, X, W, W c X~W|Q{WVW Q, X, X, P c (X~X)|(Q{P)VW Q, X, X, T c Q{X~X|TVW Q, X, X, U c (X|QU)~XVW R, O, X, X c O{X~X|RVW R, P, R, X c R~(R~X|P)VW R, P, S, U c (R~S{P)~UVW R, P, T, T c R~(P{T~T)VW R, P, U, S c (R~S{P)~UVW R, P, U, X c (R{P{X)~UVW R, P, V, W c (R{W)~V{PVW R, P, W, V c (R{W)~V{PVW R, P, W, X c (P{W)~X|RVW R, P, X, R c (R~X|P)~RVW R, P, X, U c (R{P{X)~UVW R, P, X, W c (P{W)~X|RVW R, P, X, X c P~X~X|RVW R, Q, R, W c R~(Q{R~W)VW R, Q, S, U c R~(Q{S~U)VW R, Q, S, V c R~(S~V|Q)VW R, Q, S, X c (R~Q)~(S{X)VW R, Q, T, U c (R{Q~T)~UVW R, Q, T, W c (R~Q)~(T{W)VW R, Q, U, S c R~(Q{U~S)VW R, Q, U, T c (R{Q~T)~UVW R, Q, U, U c (R{U~U)~QVW R, Q, U, V c (R~Q)~(U{V)VW R, Q, U, W c (R{Q{W)~UVW R, Q, V, S c R~(V~S|Q)VW R, Q, V, U c (R~Q{V)~UVW R, Q, V, W c (R{V)~W|QVW R, Q, V, X c (Q{V)~X|RVW R, Q, W, R c R~(Q{W~R)VW R, Q, W, T c (R~Q)~(W{T)VW R, Q, W, U c (R{Q{W)~UVW R, Q, W, V c (R{V)~W|QVW R, Q, W, X c R~Q{W~XVW R, Q, X, S c (R~Q)~(X{S)VW R, Q, X, V c (Q{V)~X|RVW R, Q, X, W c R~Q{X~WVW R, R, P, X c R~(R~X|P)VW R, R, Q, W c R~(R~W{Q)VW R, R, R, X c R~R~X|RVW R, R, S, U c (R~R{S)~UVW R, R, S, X c (R{R)~(S{X)VW R, R, T, T c R{R~T~TVW R, R, T, V c R~(R~V{T)VW R, R, T, W c (R{R)~(T{W)VW R, R, U, S c (R~R{S)~UVW R, R, U, V c (R{R)~(U{V)VW R, R, U, W c R~(R~U{W)VW R, R, U, X c (R{U)~X|RVW R, R, V, T c R~(R~V{T)VW R, R, V, U c (R{R{V)~UVW R, R, W, Q c R~(R~W{Q)VW R, R, W, T c (R{R)~(W{T)VW R, R, W, U c R~R~W{UVW R, R, W, X c R{R{W~XVW R, R, X, P c R~(R~X|P)VW R, R, X, R c R~R~X|RVW R, R, X, S c (R{R)~(X{S)VW R, R, X, U c (R{U)~X|RVW R, R, X, W c R{R{X~WVW R, S, P, U c (R~S{P)~UVW R, S, Q, U c R~(S~U{Q)VW R, S, Q, V c R~(S~V|Q)VW R, S, Q, X c (R{S~X)~QVW R, S, R, U c (R~R{S)~UVW R, S, R, X c (R{R)~(S{X)VW R, S, S, U c (S~S|R)~UVW R, S, T, U c R~(S~T{U)VW R, S, T, X c (S{T)~X|RVW R, S, U, P c (R~S{P)~UVW R, S, U, Q c R~(S~U{Q)VW R, S, U, R c (R~R{S)~UVW R, S, U, S c (S~S|R)~UVW R, S, U, T c R~(S~T{U)VW R, S, U, U c (R{S{U)~UVW R, S, U, V c R~S~V|UVW R, S, U, W c R~(S~W|U)VW R, S, V, Q c R~(S~V|Q)VW R, S, V, U c R~S~V|UVW R, S, W, U c R~(S~W|U)VW R, S, W, X c (RS{X)~WVW R, S, X, Q c (R{S~X)~QVW R, S, X, R c (R{R)~(S{X)VW R, S, X, T c (S{T)~X|RVW R, S, X, W c (RS{X)~WVW R, S, X, X c (S{X)~(X|R)VW R, T, P, T c R~(T~T{P)VW R, T, Q, U c (R{T~Q)~UVW R, T, Q, W c R~(T{W)~QVW R, T, R, T c R{T~R~TVW R, T, R, V c R~(T{R~V)VW R, T, R, W c (R{R)~(T{W)VW R, T, S, U c R~(T~S{U)VW R, T, S, X c (T{S)~X|RVW R, T, T, P c R~(T~T{P)VW R, T, T, R c R{T~T~RVW R, T, T, U c (R{T{T)~UVW R, T, U, Q c (R{T~Q)~UVW R, T, U, S c R~(T~U|S)VW R, T, U, T c (R{T{T)~UVW R, T, U, U c (R~U|T)~UVW R, T, U, X c R{T~(U{X)VW R, T, V, R c R~(T{V~R)VW R, T, V, W c R{T~(V{W)VW R, T, V, X c R~T{V~XVW R, T, W, Q c R~(T{W)~QVW R, T, W, R c (R{R)~(T{W)VW R, T, W, V c R{T~(W{V)VW R, T, W, X c (T{W)~(X|R)VW R, T, X, S c (T{S)~X|RVW R, T, X, U c (R{T)~X{UVW R, T, X, V c R~T{X~VVW R, T, X, W c (T{W)~(X|R)VW R, U, P, S c (R~S{P)~UVW R, U, P, X c (R{P{X)~UVW R, U, Q, S c R~(U~S{Q)VW R, U, Q, T c (R{Q~T)~UVW R, U, Q, U c (R{U~U)~QVW R, U, Q, V c R~(U{V)~QVW R, U, Q, W c (R{Q{W)~UVW R, U, R, S c (R~R{S)~UVW R, U, R, V c (R{R)~(U{V)VW R, U, R, W c R~(U~R{W)VW R, U, R, X c (R{U)~X|RVW R, U, S, P c (R~S{P)~UVW R, U, S, Q c R~(U~S{Q)VW R, U, S, R c (R~R{S)~UVW R, U, S, S c U~(S~S|R)VW R, U, S, T c R~(U{S~T)VW R, U, S, U c (R{U{S)~UVW R, U, S, V c R~S~V|UVW R, U, S, W c R~(S~W|U)VW R, U, T, Q c (R{T~Q)~UVW R, U, T, S c R~(U{T~S)VW R, U, T, T c (R{T{T)~UVW R, U, T, U c (R~U|T)~UVW R, U, T, X c R{(U{X)~TVW R, U, U, Q c (R{U~U)~QVW R, U, U, S c (R{U{S)~UVW R, U, U, T c (R~U|T)~UVW R, U, U, W c (R{U)~W{UVW R, U, U, X c (R{X)~U{UVW R, U, V, Q c R~(U{V)~QVW R, U, V, R c (R{V{R)~UVW R, U, V, S c R~V~S|UVW R, U, V, W c (R~V|W)~UVW R, U, V, X c (R{X)~V|UVW R, U, W, Q c (R{W{Q)~UVW R, U, W, R c (R~U{W)~RVW R, U, W, S c R~(W~S|U)VW R, U, W, U c (R{U)~W{UVW R, U, W, V c (R~V|W)~UVW R, U, W, W c U~(W|R{W)VW R, U, W, X c R~W{U~XVW R, U, X, P c (R{X{P)~UVW R, U, X, R c (R{U)~X|RVW R, U, X, T c R{(U{X)~TVW R, U, X, U c (R{X)~U{UVW R, U, X, V c (R{X)~V|UVW R, U, X, W c R~W{U~XVW R, U, X, X c R{X~X|UVW R, V, P, W c (R{W)~V{PVW R, V, Q, S c R~(V~S|Q)VW R, V, Q, U c R~(V{U)~QVW R, V, Q, W c (R{V)~W|QVW R, V, Q, X c (V{Q)~X|RVW R, V, R, T c R~(V~R{T)VW R, V, R, U c (R{V{R)~UVW R, V, S, Q c R~(V~S|Q)VW R, V, S, U c R~V~S|UVW R, V, T, R c (R~V{T)~RVW R, V, T, W c R{(V{W)~TVW R, V, T, X c R~(V~T|X)VW R, V, U, Q c R~(V{U)~QVW R, V, U, R c (R{V{R)~UVW R, V, U, S c R~V~S|UVW R, V, U, W c (R~V|W)~UVW R, V, U, X c (R{X)~V|UVW R, V, V, W c (R{V)~V{WVW R, V, W, P c (R{W)~V{PVW R, V, W, Q c (R{V)~W|QVW R, V, W, T c R{(V{W)~TVW R, V, W, U c (R~V|W)~UVW R, V, W, V c (R{V)~V{WVW R, V, X, Q c (V{Q)~X|RVW R, V, X, T c R~(V~T|X)VW R, V, X, U c (R{X)~V|UVW R, W, P, V c (R{W)~V{PVW R, W, P, X c (W{P)~X|RVW R, W, Q, R c (R~W{Q)~RVW R, W, Q, T c R~(W{T)~QVW R, W, Q, U c (R{W{Q)~UVW R, W, Q, V c (R{V)~W|QVW R, W, Q, X c R~(W{Q~X)VW R, W, R, Q c R~(W~R{Q)VW R, W, R, T c (R{R)~(W{T)VW R, W, R, U c R~(W{R~U)VW R, W, R, X c R{W~X{RVW R, W, S, U c R~(W~S|U)VW R, W, S, X c (RS{X)~WVW R, W, T, Q c R~(W{T)~QVW R, W, T, R c (R{R)~(W{T)VW R, W, T, V c R{(W{V)~TVW R, W, T, X c (W{T)~(X|R)VW R, W, U, Q c (R{W{Q)~UVW R, W, U, R c R~(W{U~R)VW R, W, U, S c R~(W~S|U)VW R, W, U, U c (R{U)~W{UVW R, W, U, V c (R~V|W)~UVW R, W, U, W c (W|R{W)~UVW R, W, U, X c R~W{U~XVW R, W, V, P c (R{W)~V{PVW R, W, V, Q c (R{V)~W|QVW R, W, V, T c R{(W{V)~TVW R, W, V, U c (R~V|W)~UVW R, W, V, V c (R{V)~V{WVW R, W, W, U c (W|R{W)~UVW R, W, X, P c (W{P)~X|RVW R, W, X, Q c R~(W{X~Q)VW R, W, X, R c R{W~X{RVW R, W, X, S c (RS{X)~WVW R, W, X, T c (W{T)~(X|R)VW R, W, X, U c R~W{X~UVW R, W, X, X c R~(W{X{X)VW R, X, O, X c (X{O)~X|RVW R, X, P, R c (R~X|P)~RVW R, X, P, U c (R{X{P)~UVW R, X, P, W c X~(P{W)|RVW R, X, P, X c (X|PR)~XVW R, X, Q, S c (R{X~S)~QVW R, X, Q, V c X~(Q{V)|RVW R, X, Q, W c R~(X~Q{W)VW R, X, R, P c R~(X~R|P)VW R, X, R, R c R~X~R|RVW R, X, R, S c (R{R)~(X{S)VW R, X, R, U c (R{U)~X|RVW R, X, R, W c R{X~W{RVW R, X, S, Q c (R{X~S)~QVW R, X, S, R c (R{R)~(X{S)VW R, X, S, T c X~(S{T)|RVW R, X, S, W c (RS{X)~WVW R, X, S, X c (X|R)~(S{X)VW R, X, T, S c X~(T{S)|RVW R, X, T, U c R{(X{U)~TVW R, X, T, V c R~T{X~VVW R, X, T, W c (X|R)~(T{W)VW R, X, U, P c (R{X{P)~UVW R, X, U, R c (R{U)~X|RVW R, X, U, T c R{(X{U)~TVW R, X, U, U c (R{X)~U{UVW R, X, U, V c (R{X)~V|UVW R, X, U, W c R~W{X~UVW R, X, U, X c R{X~X|UVW R, X, V, Q c X~(V{Q)|RVW R, X, V, T c R~(V~T|X)VW R, X, V, U c (R{X)~V|UVW R, X, W, P c X~(W{P)|RVW R, X, W, Q c R~(X~Q{W)VW R, X, W, R c R{X~W{RVW R, X, W, S c (RS{X)~WVW R, X, W, T c (X|R)~(W{T)VW R, X, W, U c R~W{X~UVW R, X, W, X c R~(X{W{X)VW R, X, X, O c X~X|R{OVW R, X, X, P c X~X|R~PVW R, X, X, S c (X|R)~(X{S)VW R, X, X, U c R{X~X|UVW R, X, X, W c R~(X{X{W)VW R, X, X, X c (X|RX)~XVW S, O, U, X c (S{O{X)~UVW S, O, X, U c (S{O{X)~UVW S, P, R, U c (S~R{P)~UVW S, P, T, X c (S{X)~(P{T)VW S, P, U, R c (S~R{P)~UVW S, P, U, W c (S{P{W)~UVW S, P, U, X c (S{P~X)~UVW S, P, V, V c (S{V)~V{PVW S, P, V, X c (S{X)~(V|P)VW S, P, W, U c (S{P{W)~UVW S, P, X, T c (S{X)~(P{T)VW S, P, X, U c (S{P~X)~UVW S, P, X, V c (S{X)~(V|P)VW S, P, X, X c P{X~X|SVW S, Q, R, U c (S~U{Q)~RVW S, Q, R, V c (S~V|Q)~RVW S, Q, R, X c (S{X)~(Q~R)VW S, Q, S, T c S~S~T|QVW S, Q, S, X c (S{Q)~(S{X)VW S, Q, T, S c S~T~S|QVW S, Q, T, U c (S~Q{T)~UVW S, Q, T, V c (S{T~V)~QVW S, Q, T, W c (S{Q)~(T{W)VW S, Q, U, R c (S~U{Q)~RVW S, Q, U, T c (S~Q{T)~UVW S, Q, U, V c (S{Q)~(U{V)VW S, Q, U, W c (S{U)~W|QVW S, Q, U, X c S~Q~X{UVW S, Q, V, R c (S~V|Q)~RVW S, Q, V, T c (S{V~T)~QVW S, Q, V, U c (S{Q{V)~UVW S, Q, V, W c (S~W{V)~QVW S, Q, W, T c (S{Q)~(W{T)VW S, Q, W, U c (S{U)~W|QVW S, Q, W, V c (S~W{V)~QVW S, Q, W, X c S{Q{W~XVW S, Q, X, R c (S{X)~(Q~R)VW S, Q, X, S c (S{Q)~(X{S)VW S, Q, X, U c S~Q~X{UVW S, Q, X, W c S{Q{X~WVW S, R, P, U c (S~R{P)~UVW S, R, Q, U c (S~U{Q)~RVW S, R, Q, V c (S~V|Q)~RVW S, R, Q, X c (S{X)~(R~Q)VW S, R, R, U c (S{R~R)~UVW S, R, R, X c (S{X)~(R{R)VW S, R, S, U c (S~S|R)~UVW S, R, T, U c (S~T{U)~RVW S, R, T, X c (S{T)~X|RVW S, R, U, P c (S~R{P)~UVW S, R, U, Q c (S~U{Q)~RVW S, R, U, R c (S{R~R)~UVW S, R, U, S c (S~S|R)~UVW S, R, U, T c (S~T{U)~RVW S, R, U, U c (S{R{U)~UVW S, R, U, V c S~R~V|UVW S, R, U, W c (S~W|U)~RVW S, R, V, Q c (S~V|Q)~RVW S, R, V, U c S~R~V|UVW S, R, W, U c (S~W|U)~RVW S, R, W, X c (RS{X)~WVW S, R, X, Q c (S{X)~(R~Q)VW S, R, X, R c (S{X)~(R{R)VW S, R, X, T c (S{T)~X|RVW S, R, X, W c (RS{X)~WVW S, R, X, X c (S{X)~(X|R)VW S, S, Q, T c S~S~T|QVW S, S, Q, X c (S{Q)~(S{X)VW S, S, R, U c (S~S|R)~UVW S, S, T, Q c S~S~T|QVW S, S, T, U c (S{S{T)~UVW S, S, U, R c (S~S|R)~UVW S, S, U, T c (S{S{T)~UVW S, S, U, X c (S{S)~X{UVW S, S, X, Q c (S{X)~(S{Q)VW S, S, X, U c (S{S)~X{UVW S, T, P, X c (S{X)~(T{P)VW S, T, Q, S c S~T~S|QVW S, T, Q, U c (S~Q{T)~UVW S, T, Q, V c (S{T~V)~QVW S, T, Q, W c (S{Q)~(T{W)VW S, T, R, U c (S~T{U)~RVW S, T, R, X c (S{T)~X|RVW S, T, S, Q c S~T~S|QVW S, T, S, U c (S{T{S)~UVW S, T, U, Q c (S~Q{T)~UVW S, T, U, R c (S~T{U)~RVW S, T, U, S c (S{T{S)~UVW S, T, U, V c (S~T|V)~UVW S, T, U, W c (S{T)~W{UVW S, T, V, Q c (S{T~V)~QVW S, T, V, U c (S~T|V)~UVW S, T, W, Q c (S{Q)~(T{W)VW S, T, W, U c (S{T)~W{UVW S, T, X, P c (S{X)~(T{P)VW S, T, X, R c (S{T)~X|RVW S, U, O, X c (S{O{X)~UVW S, U, P, R c (S~R{P)~UVW S, U, P, W c (S{P{W)~UVW S, U, P, X c (S{P~X)~UVW S, U, Q, R c (S~U{Q)~RVW S, U, Q, T c (S~Q{T)~UVW S, U, Q, V c (S{Q)~(U{V)VW S, U, Q, W c (S{U)~W|QVW S, U, Q, X c S~Q~X{UVW S, U, R, P c (S~R{P)~UVW S, U, R, Q c (S~U{Q)~RVW S, U, R, R c (S{R~R)~UVW S, U, R, S c (S~S|R)~UVW S, U, R, T c (S~T{U)~RVW S, U, R, U c (S{U{R)~UVW S, U, R, V c S~R~V|UVW S, U, R, W c (S~W|U)~RVW S, U, S, R c (S~S|R)~UVW S, U, S, T c (S{S{T)~UVW S, U, S, X c (S{S)~X{UVW S, U, T, Q c (S~Q{T)~UVW S, U, T, R c (S~T{U)~RVW S, U, T, S c (S{T{S)~UVW S, U, T, V c (S~T|V)~UVW S, U, T, W c (S{T)~W{UVW S, U, U, R c (S{U{R)~UVW S, U, U, W c (S{W)~U{UVW S, U, U, X c S~U{U~XVW S, U, V, Q c (S{V{Q)~UVW S, U, V, R c S~V~R|UVW S, U, V, T c (S~T|V)~UVW S, U, V, W c (S{U)~V{WVW S, U, V, X c S~X{U~VVW S, U, W, P c (S{W{P)~UVW S, U, W, Q c (S{U)~W|QVW S, U, W, R c (S~W|U)~RVW S, U, W, T c (S{T)~W{UVW S, U, W, U c (S{W)~U{UVW S, U, W, V c (S{U)~V{WVW S, U, W, X c (SU{W)~XVW S, U, X, O c (S{X)~(U{O)VW S, U, X, P c (S{X)~(U~P)VW S, U, X, Q c S~X~Q{UVW S, U, X, S c (S{S)~X{UVW S, U, X, U c S~U{X~UVW S, U, X, V c S~X{U~VVW S, U, X, W c (SU{W)~XVW S, U, X, X c S~(X{X){UVW S, V, P, V c (S{V)~V{PVW S, V, P, X c (S{X)~(V|P)VW S, V, Q, R c (S~V|Q)~RVW S, V, Q, T c (S{V~T)~QVW S, V, Q, U c (S{V{Q)~UVW S, V, Q, W c (S~W{V)~QVW S, V, R, Q c (S~V|Q)~RVW S, V, R, U c S~V~R|UVW S, V, T, Q c (S{V~T)~QVW S, V, T, U c (S~T|V)~UVW S, V, U, Q c (S{V{Q)~UVW S, V, U, R c S~V~R|UVW S, V, U, T c (S~T|V)~UVW S, V, U, W c (S{U)~V{WVW S, V, U, X c S~X{V~UVW S, V, V, P c (S{V)~V{PVW S, V, W, Q c (S~W{V)~QVW S, V, W, U c (S{W)~V|UVW S, V, W, W c (VS{W)~WVW S, V, X, P c (S{X)~(V|P)VW S, V, X, U c S~X{V~UVW S, V, X, X c S{X~X|VVW S, W, P, U c (S{W{P)~UVW S, W, Q, T c (S{Q)~(W{T)VW S, W, Q, U c (S{U)~W|QVW S, W, Q, V c (S~W{V)~QVW S, W, Q, X c S{W~X{QVW S, W, R, U c (S~W|U)~RVW S, W, R, X c W~(RS{X)VW S, W, T, Q c (S{Q)~(W{T)VW S, W, T, U c (S{T)~W{UVW S, W, U, P c (S{W{P)~UVW S, W, U, Q c (S{U)~W|QVW S, W, U, R c (S~W|U)~RVW S, W, U, T c (S{T)~W{UVW S, W, U, U c (S{W)~U{UVW S, W, U, V c (S{W)~V|UVW S, W, U, X c (SU{W)~XVW S, W, V, Q c (S~W{V)~QVW S, W, V, U c (S{W)~V|UVW S, W, V, W c (W{VS)~WVW S, W, W, V c W~(W{VS)VW S, W, X, Q c S{W~X{QVW S, W, X, R c W~(X{RS)VW S, W, X, U c (SU{W)~XVW S, X, O, U c (S{X{O)~UVW S, X, P, T c (S{X)~(P{T)VW S, X, P, U c (S{X)~(P~U)VW S, X, P, V c (S{X)~(V|P)VW S, X, P, X c X~X|S{PVW S, X, Q, R c (S{X)~(Q~R)VW S, X, Q, S c (S{X)~(Q{S)VW S, X, Q, U c S~X~Q{UVW S, X, Q, W c S{X~W{QVW S, X, R, Q c (S{X)~(R~Q)VW S, X, R, R c (S{X)~(R{R)VW S, X, R, T c (S{T)~X|RVW S, X, R, W c (X{RS)~WVW S, X, R, X c (S{X)~(X|R)VW S, X, S, Q c (S{X)~(S{Q)VW S, X, S, U c (S{S)~X{UVW S, X, T, P c (S{X)~(T{P)VW S, X, T, R c (S{T)~X|RVW S, X, U, O c (S{X)~(U{O)VW S, X, U, P c (S{X)~(U~P)VW S, X, U, Q c S~X~Q{UVW S, X, U, S c (S{S)~X{UVW S, X, U, U c S~U{X~UVW S, X, U, V c S~X{U~VVW S, X, U, W c (SU{W)~XVW S, X, U, X c S~(X{X){UVW S, X, V, P c (S{X)~(V|P)VW S, X, V, U c S~X{V~UVW S, X, V, X c S{X~X|VVW S, X, W, Q c S{X~W{QVW S, X, W, R c (X{RS)~WVW S, X, W, U c (SU{W)~XVW S, X, X, P c X~X|S{PVW S, X, X, R c (S{X)~(X|R)VW S, X, X, U c S~(X{X){UVW S, X, X, V c S{X~X|VVW T, O, U, W c (T{O{W)~UVW T, O, W, U c (T{O{W)~UVW T, P, Q, W c (T~W|P)~QVW T, P, R, T c (T~T{P)~RVW T, P, S, X c (T{P)~(S{X)VW T, P, T, R c (T~T{P)~RVW T, P, T, W c (T{P)~(T{W)VW T, P, U, V c (T{P)~(U{V)VW T, P, U, W c (T{P~W)~UVW T, P, U, X c (T|P{X)~UVW T, P, V, U c (T{P{V)~UVW T, P, V, W c (T{W)~(V|P)VW T, P, W, Q c (T~W|P)~QVW T, P, W, T c (T{P)~(W{T)VW T, P, W, U c (T{P~W)~UVW T, P, W, V c (T{W)~(V|P)VW T, P, W, X c T{P{W~XVW T, P, X, S c (T{P)~(X{S)VW T, P, X, U c (T|P{X)~UVW T, P, X, W c T{P{X~WVW T, Q, P, W c (T~W|P)~QVW T, Q, Q, W c T~Q~W|QVW T, Q, R, U c (T~Q{R)~UVW T, Q, R, W c (T{W)~(Q~R)VW T, Q, S, S c T~S~S|QVW T, Q, S, U c (T{Q~S)~UVW T, Q, S, V c (T~V{S)~QVW T, Q, S, W c (T{W)~(Q{S)VW T, Q, T, W c (T{T)~W|QVW T, Q, U, R c (T~Q{R)~UVW T, Q, U, S c (T{Q~S)~UVW T, Q, U, U c (T{Q{U)~UVW T, Q, U, X c (T~U{X)~QVW T, Q, V, S c (T~V{S)~QVW T, Q, V, W c T~Q~V{WVW T, Q, V, X c T~(V{X)|QVW T, Q, W, P c (T~W|P)~QVW T, Q, W, Q c T~Q~W|QVW T, Q, W, R c (T{W)~(Q~R)VW T, Q, W, S c (T{W)~(Q{S)VW T, Q, W, T c (T{T)~W|QVW T, Q, W, V c T~Q~V{WVW T, Q, W, W c (T{W)~(W|Q)VW T, Q, X, U c (T~X|U)~QVW T, Q, X, V c T~(X{V)|QVW T, Q, X, X c Q{X~X|TVW T, R, P, T c (T~T{P)~RVW T, R, Q, U c (T~R|Q)~UVW T, R, Q, W c (T{W)~(R~Q)VW T, R, R, T c T~R~T{RVW T, R, R, V c (T{R~V)~RVW T, R, R, W c (T{W)~(R{R)VW T, R, S, U c (T~S{U)~RVW T, R, S, X c (T{S)~X|RVW T, R, T, P c (T~T{P)~RVW T, R, T, R c T~R~T{RVW T, R, T, U c (T{R{T)~UVW T, R, U, Q c (T~R|Q)~UVW T, R, U, S c (T~U|S)~RVW T, R, U, T c (T{R{T)~UVW T, R, U, U c (R~U|T)~UVW T, R, U, X c (T{R)~X{UVW T, R, V, R c (T{R~V)~RVW T, R, V, W c T~(V{W){RVW T, R, V, X c T~R{V~XVW T, R, W, Q c (T{W)~(R~Q)VW T, R, W, R c (T{W)~(R{R)VW T, R, W, V c T~(W{V){RVW T, R, W, X c (T{W)~(X|R)VW T, R, X, S c (T{S)~X|RVW T, R, X, U c (T{R)~X{UVW T, R, X, V c T~R{X~VVW T, R, X, W c (T{W)~(X|R)VW T, S, P, X c (T{P)~(S{X)VW T, S, Q, S c T~S~S|QVW T, S, Q, U c (T{S~Q)~UVW T, S, Q, V c (T~V{S)~QVW T, S, Q, W c (T{W)~(S{Q)VW T, S, R, U c (T~S{U)~RVW T, S, R, X c (T{S)~X|RVW T, S, S, Q c T~S~S|QVW T, S, S, U c (T{S{S)~UVW T, S, U, Q c (T{S~Q)~UVW T, S, U, R c (T~S{U)~RVW T, S, U, S c (T{S{S)~UVW T, S, U, V c (T~S|V)~UVW T, S, U, W c (T{S)~W{UVW T, S, V, Q c (T~V{S)~QVW T, S, V, U c (T~S|V)~UVW T, S, W, Q c (T{W)~(S{Q)VW T, S, W, U c (T{S)~W{UVW T, S, X, P c (T{P)~(S{X)VW T, S, X, R c (T{S)~X|RVW T, T, P, R c (T~T{P)~RVW T, T, P, W c (T{P)~(T{W)VW T, T, Q, W c (T{T)~W|QVW T, T, R, P c (T~T{P)~RVW T, T, R, R c T~T~R{RVW T, T, R, U c (T{T{R)~UVW T, T, U, R c (T{T{R)~UVW T, T, V, W c (T{T)~V{WVW T, T, W, P c (T{W)~(T{P)VW T, T, W, Q c (T{T)~W|QVW T, T, W, V c (T{T)~V{WVW T, T, W, X c T~(T{X){WVW T, T, X, W c T~(T{X){WVW T, U, O, W c (T{O{W)~UVW T, U, P, V c (T{U)~V{PVW T, U, P, W c (T{P~W)~UVW T, U, P, X c (T|P{X)~UVW T, U, Q, R c (T~Q{R)~UVW T, U, Q, S c (T{Q~S)~UVW T, U, Q, U c (T{U{Q)~UVW T, U, Q, X c (T~U{X)~QVW T, U, R, Q c (T~R|Q)~UVW T, U, R, S c (T~U|S)~RVW T, U, R, T c (T{R{T)~UVW T, U, R, U c (U~R|T)~UVW T, U, R, X c T~(U{X){RVW T, U, S, Q c (T{S~Q)~UVW T, U, S, R c (T~U|S)~RVW T, U, S, S c (T{S{S)~UVW T, U, S, V c (T~S|V)~UVW T, U, S, W c (T{S)~W{UVW T, U, T, R c (T{T{R)~UVW T, U, U, Q c (T{U{Q)~UVW T, U, U, R c U~(U~R|T)VW T, U, U, V c (T{V)~U{UVW T, U, U, W c T~U{U~WVW T, U, U, X c (T{X)~U|UVW T, U, V, P c (T{U)~V{PVW T, U, V, S c (T~S|V)~UVW T, U, V, U c (T{V)~U{UVW T, U, V, V c (T{V)~V|UVW T, U, W, O c (T{W)~(U{O)VW T, U, W, P c (T{W)~(U~P)VW T, U, W, S c (T{S)~W{UVW T, U, W, U c T~U{W~UVW T, U, W, W c T~(U{W){WVW T, U, X, P c (T{X|P)~UVW T, U, X, Q c (T~U{X)~QVW T, U, X, R c T~(U{X){RVW T, U, X, U c (T{X)~U|UVW T, U, X, X c U~(X|T{X)VW T, V, P, U c (T{V{P)~UVW T, V, P, W c (T{W)~(V|P)VW T, V, Q, S c (T~V{S)~QVW T, V, Q, W c T~V~Q{WVW T, V, Q, X c T~(V{X)|QVW T, V, R, R c (T{V~R)~RVW T, V, R, W c T~(V{W){RVW T, V, R, X c (T~V|X)~RVW T, V, S, Q c (T~V{S)~QVW T, V, S, U c (T~S|V)~UVW T, V, T, W c (T{T)~V{WVW T, V, U, P c (T{V{P)~UVW T, V, U, S c (T~S|V)~UVW T, V, U, U c (T{V)~U{UVW T, V, U, V c (T{V)~V|UVW T, V, V, U c (T{V)~V|UVW T, V, V, W c T~(V{V){WVW T, V, W, P c (T{W)~(V|P)VW T, V, W, Q c T~V~Q{WVW T, V, W, R c T~(V{W){RVW T, V, W, T c (T{T)~V{WVW T, V, W, V c T~(V{V){WVW T, V, W, X c T~(W{X)|VVW T, V, X, Q c T~(V{X)|QVW T, V, X, R c (T~V|X)~RVW T, V, X, W c T~(X{W)|VVW T, W, O, U c (T{W{O)~UVW T, W, P, Q c (T~W|P)~QVW T, W, P, T c (T{W)~(P{T)VW T, W, P, U c (T{W)~(P~U)VW T, W, P, V c (T{W)~(V|P)VW T, W, P, X c T{W~X{PVW T, W, Q, P c (T~W|P)~QVW T, W, Q, Q c T~W~Q|QVW T, W, Q, R c (T{W)~(Q~R)VW T, W, Q, S c (T{W)~(Q{S)VW T, W, Q, T c (T{T)~W|QVW T, W, Q, V c T~Q~V{WVW T, W, Q, W c (T{W)~(W|Q)VW T, W, R, Q c (T{W)~(R~Q)VW T, W, R, R c (T{W)~(R{R)VW T, W, R, V c T~(W{V){RVW T, W, R, X c (T{W)~(X|R)VW T, W, S, Q c (T{W)~(S{Q)VW T, W, S, U c (T{S)~W{UVW T, W, T, P c (T{W)~(T{P)VW T, W, T, Q c (T{T)~W|QVW T, W, T, V c (T{T)~V{WVW T, W, T, X c T~(T{X){WVW T, W, U, O c (T{W)~(U{O)VW T, W, U, P c (T{W)~(U~P)VW T, W, U, S c (T{S)~W{UVW T, W, U, U c T~U{W~UVW T, W, U, W c T~(W{U){WVW T, W, V, P c (T{W)~(V|P)VW T, W, V, Q c T~V~Q{WVW T, W, V, R c T~(W{V){RVW T, W, V, T c (T{T)~V{WVW T, W, V, V c T~(V{V){WVW T, W, V, X c T~(W{X)|VVW T, W, W, Q c (T{W)~(W|Q)VW T, W, W, U c T~(W{U){WVW T, W, W, X c T{W~W{XVW T, W, X, P c T{W~X{PVW T, W, X, R c (T{W)~(X|R)VW T, W, X, T c (T{X)~T{WVW T, W, X, V c T~(W{X)|VVW T, W, X, W c T{W~W{XVW T, W, X, X c T{X~X|WVW T, X, P, S c (T{P)~(X{S)VW T, X, P, U c (T{X|P)~UVW T, X, P, W c T{X~W{PVW T, X, Q, U c (T~X|U)~QVW T, X, Q, V c T~(X{V)|QVW T, X, Q, X c X~X|T{QVW T, X, R, S c (T{S)~X|RVW T, X, R, U c T~(X{U){RVW T, X, R, V c T~R{X~VVW T, X, R, W c (T{W)~(X|R)VW T, X, S, P c (T{P)~(X{S)VW T, X, S, R c (T{S)~X|RVW T, X, T, W c (T{X)~T{WVW T, X, U, P c (T{X|P)~UVW T, X, U, Q c (T~X|U)~QVW T, X, U, R c T~(X{U){RVW T, X, U, U c (T{X)~U|UVW T, X, U, X c (X|T{X)~UVW T, X, V, Q c T~(X{V)|QVW T, X, V, R c (T~V|X)~RVW T, X, V, W c T~(X{W)|VVW T, X, W, P c T{X~W{PVW T, X, W, R c (T{W)~(X|R)VW T, X, W, T c (T{X)~T{WVW T, X, W, V c T~(X{W)|VVW T, X, W, W c T{X{W~WVW T, X, W, X c T{X~X|WVW T, X, X, Q c X~X|T{QVW T, X, X, U c (X|T{X)~UVW T, X, X, W c T{X~X|WVW U, O, S, X c (U{O)~(S{X)VW U, O, T, W c (U{O)~(T{W)VW U, O, U, V c (U{O)~(U{V)VW U, O, V, U c (U{O{V)~UVW U, O, W, T c (U{O)~(W{T)VW U, O, W, X c U{O{W~XVW U, O, X, S c (U{O)~(X{S)VW U, O, X, W c U{O{X~WVW U, P, Q, U c U~(P{Q~U)VW U, P, Q, V c U~(Q~V|P)VW U, P, R, S c U~(P{R~S)VW U, P, R, X c U~(P{R{X)VW U, P, S, R c U~(P{S~R)VW U, P, S, W c U~(P{S{W)VW U, P, S, X c (U~P)~(S{X)VW U, P, T, V c U~(P{T{V)VW U, P, T, W c (U~P)~(T{W)VW U, P, T, X c U~(T|P{X)VW U, P, U, Q c U~(P{U~Q)VW U, P, U, U c (U{P{U)~UVW U, P, U, V c (U~P)~(U{V)VW U, P, U, W c (U|P{W)~UVW U, P, V, Q c U~(V~Q|P)VW U, P, V, T c U~(P{V{T)VW U, P, V, U c (U{P~V)~UVW U, P, V, V c U~(V|P{V)VW U, P, V, X c U{(P{V)~XVW U, P, W, S c U~(P{W{S)VW U, P, W, T c (U~P)~(W{T)VW U, P, W, U c (U|P{W)~UVW U, P, W, W c U{(P{W)~WVW U, P, W, X c U{P~W~XVW U, P, X, R c U~(P{X{R)VW U, P, X, S c (U~P)~(X{S)VW U, P, X, T c U~(X|P{T)VW U, P, X, V c U{(P{V)~XVW U, P, X, W c U{P~X~WVW U, P, X, X c U{(X|P)~XVW U, Q, P, U c (U~Q{P)~UVW U, Q, P, V c U~(Q~V|P)VW U, Q, Q, X c U~(Q{Q{X)VW U, Q, R, S c (U~S{Q)~RVW U, Q, R, T c U~(Q~T{R)VW U, Q, R, U c (U~U{R)~QVW U, Q, R, V c U~(Q~R{V)VW U, Q, R, W c U~(Q{R{W)VW U, Q, S, R c (U~S{Q)~RVW U, Q, S, T c U~(Q~S{T)VW U, Q, S, V c U~(Q{S{V)VW U, Q, S, W c (U{S)~W|QVW U, Q, S, X c U{Q~S~XVW U, Q, T, R c U~(Q~T{R)VW U, Q, T, S c U~(Q~S{T)VW U, Q, T, U c (U{Q{T)~UVW U, Q, T, X c U~(Q~X|T)VW U, Q, U, P c U~(Q~U{P)VW U, Q, U, R c (U~U{R)~QVW U, Q, U, T c U~(Q{U{T)VW U, Q, U, U c U{Q~U~UVW U, Q, U, V c U~Q~V|UVW U, Q, U, X c U{(Q{U)~XVW U, Q, V, P c U~(Q~V|P)VW U, Q, V, R c U~(Q~R{V)VW U, Q, V, S c U~(Q{V{S)VW U, Q, V, U c U~Q~V|UVW U, Q, V, W c U{(Q{V)~WVW U, Q, W, R c U~(Q{W{R)VW U, Q, W, S c (U{S)~W|QVW U, Q, W, V c U{(Q{V)~WVW U, Q, W, X c U~(WQ{X)VW U, Q, X, Q c U~(Q{X{Q)VW U, Q, X, S c U{Q~X~SVW U, Q, X, T c U~(Q~X|T)VW U, Q, X, U c (U{Q)~X{UVW U, Q, X, W c U~(X{WQ)VW U, Q, X, X c (X|QU)~XVW U, R, P, S c U~(R~S{P)VW U, R, P, X c U~(R{P{X)VW U, R, Q, S c (U~S{Q)~RVW U, R, Q, T c U~(R{Q~T)VW U, R, Q, U c (U~U{R)~QVW U, R, Q, V c U~(R~Q{V)VW U, R, Q, W c U~(R{Q{W)VW U, R, R, S c U~(R~R{S)VW U, R, R, V c U~(R{R{V)VW U, R, R, W c U{R~R~WVW U, R, R, X c (U{R)~X|RVW U, R, S, P c U~(R~S{P)VW U, R, S, Q c (U~S{Q)~RVW U, R, S, R c U~(R~R{S)VW U, R, S, S c U~(S~S|R)VW U, R, S, T c (U{S~T)~RVW U, R, S, U c (U{R{S)~UVW U, R, S, V c R~S~V|UVW U, R, S, W c R~(S~W|U)VW U, R, T, Q c U~(R{T~Q)VW U, R, T, S c (U{T~S)~RVW U, R, T, T c U~(R{T{T)VW U, R, T, U c (U~R|T)~UVW U, R, T, X c U{(R{T)~XVW U, R, U, Q c (U~U{R)~QVW U, R, U, S c U{R~U~SVW U, R, U, T c U~(R~U|T)VW U, R, U, W c U{(R{U)~WVW U, R, U, X c U{(R{X)~UVW U, R, V, Q c U~(R~Q{V)VW U, R, V, R c U~(R{V{R)VW U, R, V, S c R~V~S|UVW U, R, V, W c U~(R~V|W)VW U, R, V, X c U~(V|R{X)VW U, R, W, Q c U~(R{W{Q)VW U, R, W, R c U{R~W~RVW U, R, W, S c R~(W~S|U)VW U, R, W, U c (U{R)~W{UVW U, R, W, V c U~(R~V|W)VW U, R, W, W c U~(W|R{W)VW U, R, W, X c (U{WR)~XVW U, R, X, P c U~(R{X{P)VW U, R, X, R c (U{R)~X|RVW U, R, X, T c U{(R{T)~XVW U, R, X, U c U{(R{X)~UVW U, R, X, V c U~(X|R{V)VW U, R, X, W c U~X{R~WVW U, R, X, X c R{X~X|UVW U, S, O, X c U~(S{O{X)VW U, S, P, R c U~(S~R{P)VW U, S, P, W c U~(S{P{W)VW U, S, P, X c U~(S{P~X)VW U, S, Q, R c (U~S{Q)~RVW U, S, Q, T c U~(S~Q{T)VW U, S, Q, V c U~(S{Q{V)VW U, S, Q, W c (U{S)~W|QVW U, S, Q, X c U{S~Q~XVW U, S, R, P c U~(S~R{P)VW U, S, R, Q c (U~S{Q)~RVW U, S, R, R c U~(S{R~R)VW U, S, R, S c U~(S~S|R)VW U, S, R, T c (U{S~T)~RVW U, S, R, U c (U{S{R)~UVW U, S, R, V c S~R~V|UVW U, S, R, W c (S~W|U)~RVW U, S, S, R c U~(S~S|R)VW U, S, S, T c U~(S{S{T)VW U, S, S, X c U{(S{S)~XVW U, S, T, Q c U~(S~Q{T)VW U, S, T, R c (U{S~T)~RVW U, S, T, S c U~(S{T{S)VW U, S, T, V c U~(S~T|V)VW U, S, T, W c U{(S{T)~WVW U, S, U, R c U{S~U~RVW U, S, U, W c U{(S{W)~UVW U, S, U, X c U~S{U~XVW U, S, V, Q c U~(S{V{Q)VW U, S, V, R c S~V~R|UVW U, S, V, T c U~(S~T|V)VW U, S, V, W c (U{S)~V{WVW U, S, V, X c U~V{S~XVW U, S, W, P c U~(S{W{P)VW U, S, W, Q c (U{S)~W|QVW U, S, W, R c (S~W|U)~RVW U, S, W, T c U{(S{T)~WVW U, S, W, U c U{(S{W)~UVW U, S, W, V c (U{S)~V{WVW U, S, W, X c U~(W|S{X)VW U, S, X, O c U~(S{X){OVW U, S, X, P c U~(S{X)~PVW U, S, X, Q c U{S~X~QVW U, S, X, S c U{(S{S)~XVW U, S, X, U c U~S{X~UVW U, S, X, V c U~V{S~XVW U, S, X, W c U~(X|S{W)VW U, S, X, X c U{S~(X{X)VW U, T, O, W c U~(T{O{W)VW U, T, P, V c U~(T{P{V)VW U, T, P, W c U~(T{P~W)VW U, T, P, X c U~(T|P{X)VW U, T, Q, R c U~(T~Q{R)VW U, T, Q, S c U~(T{Q~S)VW U, T, Q, U c (U{T{Q)~UVW U, T, Q, X c (U~T{X)~QVW U, T, R, Q c U~(T~R|Q)VW U, T, R, S c (U{T~S)~RVW U, T, R, T c U~(T{R{T)VW U, T, R, U c (U~R|T)~UVW U, T, R, X c U{(T{R)~XVW U, T, S, Q c U~(T{S~Q)VW U, T, S, R c (U{T~S)~RVW U, T, S, S c U~(T{S{S)VW U, T, S, V c U~(T~S|V)VW U, T, S, W c U{(T{S)~WVW U, T, T, R c U~(T{T{R)VW U, T, U, Q c U~(T{U{Q)VW U, T, U, R c U~(U~R|T)VW U, T, U, V c U{(T{V)~UVW U, T, U, W c U~T{U~WVW U, T, U, X c U~(T{X)|UVW U, T, V, P c (U{T)~V{PVW U, T, V, S c U~(T~S|V)VW U, T, V, U c U{(T{V)~UVW U, T, V, V c (T{V)~V|UVW U, T, W, O c U~(T{W){OVW U, T, W, P c U~(T{W)~PVW U, T, W, S c U{(T{S)~WVW U, T, W, U c U~T{W~UVW U, T, W, W c (U{W)~T{WVW U, T, X, P c U~(T{X|P)VW U, T, X, Q c (U~T{X)~QVW U, T, X, R c U{(T{R)~XVW U, T, X, U c U~(T{X)|UVW U, T, X, X c U~(X|T{X)VW U, U, O, V c U~(U{O{V)VW U, U, P, Q c U~(U~Q{P)VW U, U, P, U c (U{U{P)~UVW U, U, P, V c U~(U{P~V)VW U, U, P, W c U~(U|P{W)VW U, U, Q, P c U~(U~Q{P)VW U, U, Q, R c (U~U{R)~QVW U, U, Q, T c U~(U{Q{T)VW U, U, Q, U c U{U~Q~UVW U, U, Q, V c U~Q~V|UVW U, U, Q, X c U{(U{Q)~XVW U, U, R, Q c (U~U{R)~QVW U, U, R, S c U{U~R~SVW U, U, R, T c U~(U~R|T)VW U, U, R, W c U{(U{R)~WVW U, U, R, X c U{U~(R{X)VW U, U, S, R c U{U~S~RVW U, U, S, W c U{U~(S{W)VW U, U, S, X c U~S{U~XVW U, U, T, Q c U~(U{T{Q)VW U, U, T, R c U~(U~R|T)VW U, U, T, V c U{U~(T{V)VW U, U, T, W c U~T{U~WVW U, U, T, X c U~(T{X)|UVW U, U, U, P c U~(U{U{P)VW U, U, U, Q c U{U~U~QVW U, U, U, U c U{(U{U)~UVW U, U, U, V c U~U{U~VVW U, U, U, W c U~(U{W)|UVW U, U, V, O c U~(U{V){OVW U, U, V, P c U~(U{V)~PVW U, U, V, Q c U~V~Q|UVW U, U, V, T c U{U~(V{T)VW U, U, V, U c (U{U)~V|UVW U, U, V, V c U~(V{V)|UVW U, U, W, P c U~(U{W|P)VW U, U, W, R c U{(U{R)~WVW U, U, W, S c U{U~(W{S)VW U, U, W, T c U~W{U~TVW U, U, W, U c U~(U{W)|UVW U, U, X, Q c U~(U{X|Q)VW U, U, X, R c U{U~(X{R)VW U, U, X, S c U~X{U~SVW U, U, X, T c U~(X{T)|UVW U, V, O, U c (U{V{O)~UVW U, V, P, Q c U~(V~Q|P)VW U, V, P, T c (U{V)~(P{T)VW U, V, P, U c (U{V)~(P~U)VW U, V, P, V c U~(V|P{V)VW U, V, P, X c U{(V{P)~XVW U, V, Q, P c U~(V~Q|P)VW U, V, Q, R c (U{V)~(Q~R)VW U, V, Q, S c (U{V)~(Q{S)VW U, V, Q, U c U~V~Q|UVW U, V, Q, W c U{(V{Q)~WVW U, V, R, Q c (U{V)~(R~Q)VW U, V, R, R c (U{V)~(R{R)VW U, V, R, S c V~R~S|UVW U, V, R, W c U~(V~R|W)VW U, V, R, X c U~(V|R{X)VW U, V, S, Q c (U{V)~(S{Q)VW U, V, S, R c V~S~R|UVW U, V, S, T c U~(S~T|V)VW U, V, S, W c (U{S)~V{WVW U, V, S, X c U~V{S~XVW U, V, T, P c (U{V)~(T{P)VW U, V, T, S c U~(T~S|V)VW U, V, T, U c U{(V{T)~UVW U, V, T, V c (V{T)~V|UVW U, V, U, O c (U{V)~(U{O)VW U, V, U, P c (U{V)~(U~P)VW U, V, U, Q c U~V~Q|UVW U, V, U, T c U{(V{T)~UVW U, V, U, U c U~V{U~UVW U, V, U, V c U~(V{V)|UVW U, V, V, P c (U{V)~(V|P)VW U, V, V, T c V~(V{T)|UVW U, V, V, U c U~(V{V)|UVW U, V, W, Q c (U{V)~(W|Q)VW U, V, W, R c U~(V~R|W)VW U, V, W, S c (U{S)~V{WVW U, V, X, P c U{(V{P)~XVW U, V, X, R c (U{V)~(X|R)VW U, V, X, S c U~V{X~SVW U, V, X, X c U{V~X{XVW U, W, O, T c U~(W{O{T)VW U, W, O, X c U{(W{O)~XVW U, W, P, S c U~(W{P{S)VW U, W, P, T c U~(W{P~T)VW U, W, P, U c (U{W|P)~UVW U, W, P, W c U{(W{P)~WVW U, W, P, X c U{W~P~XVW U, W, Q, R c U~(W{Q{R)VW U, W, Q, S c (U{S)~W|QVW U, W, Q, V c U{W~(Q{V)VW U, W, Q, X c U~(WQ{X)VW U, W, R, Q c U~(W{R{Q)VW U, W, R, R c U{W~R~RVW U, W, R, S c (W~S|U)~RVW U, W, R, U c U{W~(R{U)VW U, W, R, V c U~(R~V|W)VW U, W, R, W c U~(W|R{W)VW U, W, R, X c (U{WR)~XVW U, W, S, P c U~(W{S{P)VW U, W, S, Q c (U{S)~W|QVW U, W, S, R c (W~S|U)~RVW U, W, S, T c U{W~(S{T)VW U, W, S, U c U{(W{S)~UVW U, W, S, V c (U{S)~V{WVW U, W, S, X c U~(W|S{X)VW U, W, T, O c U~(W{T){OVW U, W, T, P c U~(W{T)~PVW U, W, T, S c U{W~(T{S)VW U, W, T, U c U~W{T~UVW U, W, T, W c (U{W)~T{WVW U, W, U, P c U~(W{U|P)VW U, W, U, R c U{W~(U{R)VW U, W, U, S c U{(W{S)~UVW U, W, U, T c U~W{U~TVW U, W, U, U c (U{W)~U|UVW U, W, V, Q c U{W~(V{Q)VW U, W, V, R c U~(V~R|W)VW U, W, V, S c (U{S)~V{WVW U, W, W, P c U{W~(W{P)VW U, W, W, R c U~(W{W|R)VW U, W, W, T c (U{W)~T{WVW U, W, W, W c U{W{W~WVW U, W, W, X c (UW{X)~WVW U, W, X, O c U{W~X{OVW U, W, X, P c U{W~X~PVW U, W, X, Q c (U~W|X)~QVW U, W, X, R c (U{WR)~XVW U, W, X, S c U~(W{X|S)VW U, W, X, W c (UW{X)~WVW U, W, X, X c (UX{W)~XVW U, X, O, S c U~(X{O{S)VW U, X, O, W c U{(X{O)~WVW U, X, P, R c U~(X{P{R)VW U, X, P, S c U~(X{P~S)VW U, X, P, T c U~(X|P{T)VW U, X, P, V c U{X~(P{V)VW U, X, P, W c U{X~P~WVW U, X, P, X c U{(X|P)~XVW U, X, Q, Q c U~(X{Q{Q)VW U, X, Q, S c U{X~Q~SVW U, X, Q, T c U~(X~Q|T)VW U, X, Q, U c (U{X|Q)~UVW U, X, Q, W c U~(X{WQ)VW U, X, Q, X c (X|QU)~XVW U, X, R, P c U~(X{R{P)VW U, X, R, R c (U{R)~X|RVW U, X, R, T c U{X~(R{T)VW U, X, R, U c U{(X{R)~UVW U, X, R, V c U~(X|R{V)VW U, X, R, W c U~X{R~WVW U, X, R, X c X~X|U{RVW U, X, S, O c U~(X{S){OVW U, X, S, P c U~(X{S)~PVW U, X, S, Q c U{X~S~QVW U, X, S, S c U{X~(S{S)VW U, X, S, U c U~X{S~UVW U, X, S, V c U~V{X~SVW U, X, S, W c U~(X|S{W)VW U, X, S, X c U{(X{X)~SVW U, X, T, P c U~(X{T|P)VW U, X, T, Q c U~(X~Q|T)VW U, X, T, R c (U{X)~T{RVW U, X, T, U c U~(X{T)|UVW U, X, T, X c U~(X|T{X)VW U, X, U, Q c U{X~(U{Q)VW U, X, U, R c U{(X{R)~UVW U, X, U, S c U~X{U~SVW U, X, U, T c U~(X{T)|UVW U, X, V, P c U{X~(V{P)VW U, X, V, R c U~(X{V|R)VW U, X, V, S c U~V{X~SVW U, X, V, X c U{X{V~XVW U, X, W, O c U{X~W{OVW U, X, W, P c U{X~W~PVW U, X, W, Q c U~(X{WQ)VW U, X, W, R c U~X{W~RVW U, X, W, S c U~(X{W|S)VW U, X, W, W c (UW{X)~WVW U, X, W, X c (UX{W)~XVW U, X, X, P c U{X~(X|P)VW U, X, X, Q c X~X|UQVW U, X, X, R c X~X|U{RVW U, X, X, S c U{(X{X)~SVW U, X, X, T c U~(X{X|T)VW U, X, X, V c U{X{X~VVW U, X, X, W c (UX{W)~XVW U, X, X, X c U{X~X|XVW V, O, U, U c (V{O{U)~UVW V, P, Q, U c (V~Q|P)~UVW V, P, Q, X c V~(Q{X){PVW V, P, R, W c V~(R{W){PVW V, P, S, V c (V{S)~V{PVW V, P, S, X c (V|P)~(S{X)VW V, P, T, U c (V{P{T)~UVW V, P, T, W c (V|P)~(T{W)VW V, P, U, Q c (V~Q|P)~UVW V, P, U, T c (V{P{T)~UVW V, P, U, U c (V{P~U)~UVW V, P, U, V c (V|P)~(U{V)VW V, P, U, X c (V{P)~X{UVW V, P, V, S c V~(V{S){PVW V, P, V, U c (V|P{V)~UVW V, P, W, R c V~(W{R){PVW V, P, W, T c (V|P)~(W{T)VW V, P, W, X c V|P{W~XVW V, P, X, Q c V~(X{Q){PVW V, P, X, S c (V|P)~(X{S)VW V, P, X, U c (V{P)~X{UVW V, P, X, W c V|P{X~WVW V, Q, P, U c (V~Q|P)~UVW V, Q, P, X c V~(Q{X){PVW V, Q, R, S c (V~S|Q)~RVW V, Q, R, U c (V{Q~R)~UVW V, Q, R, W c (V{R)~W|QVW V, Q, R, X c (V{Q)~X|RVW V, Q, S, R c (V~S|Q)~RVW V, Q, S, T c (V~T{S)~QVW V, Q, S, U c (V{Q{S)~UVW V, Q, S, W c (V{S~W)~QVW V, Q, T, S c (V~T{S)~QVW V, Q, T, W c V~Q~T{WVW V, Q, T, X c (V{X)~T|QVW V, Q, U, P c (V~Q|P)~UVW V, Q, U, R c (V{Q~R)~UVW V, Q, U, S c (V{Q{S)~UVW V, Q, U, U c V~Q~U|UVW V, Q, U, W c (V{Q)~W{UVW V, Q, W, R c (V{R)~W|QVW V, Q, W, S c (V{W~S)~QVW V, Q, W, T c V~Q~T{WVW V, Q, W, U c (V{Q)~W{UVW V, Q, W, W c V~(Q{W){WVW V, Q, X, P c V~(Q{X){PVW V, Q, X, R c (V{Q)~X|RVW V, Q, X, T c (V{X)~T|QVW V, R, P, W c V~(R{W){PVW V, R, Q, S c (V~S|Q)~RVW V, R, Q, U c (V{R~Q)~UVW V, R, Q, W c (V{R)~W|QVW V, R, Q, X c (V{Q)~X|RVW V, R, R, T c (V~R{T)~RVW V, R, R, U c (V{R{R)~UVW V, R, S, Q c (V~S|Q)~RVW V, R, S, U c V~R~S|UVW V, R, T, R c (V~R{T)~RVW V, R, T, W c (V{W)~T{RVW V, R, T, X c (V{TR)~XVW V, R, U, Q c (V{R~Q)~UVW V, R, U, R c (V{R{R)~UVW V, R, U, S c V~R~S|UVW V, R, U, W c (V~R|W)~UVW V, R, U, X c (V|R{X)~UVW V, R, V, W c (V{R)~V{WVW V, R, W, P c V~(R{W){PVW V, R, W, Q c (V{R)~W|QVW V, R, W, T c (V{W)~T{RVW V, R, W, U c (V~R|W)~UVW V, R, W, V c (V{R)~V{WVW V, R, X, Q c (V{Q)~X|RVW V, R, X, T c V~X{R~TVW V, R, X, U c (V|R{X)~UVW V, S, P, V c (V{S)~V{PVW V, S, P, X c (V|P)~(S{X)VW V, S, Q, R c (V~S|Q)~RVW V, S, Q, T c (V~T{S)~QVW V, S, Q, U c (V{S{Q)~UVW V, S, Q, W c (V{S~W)~QVW V, S, R, Q c (V~S|Q)~RVW V, S, R, U c V~S~R|UVW V, S, T, Q c (V~T{S)~QVW V, S, T, U c (S~T|V)~UVW V, S, U, Q c (V{S{Q)~UVW V, S, U, R c V~S~R|UVW V, S, U, T c (S~T|V)~UVW V, S, U, W c V~(S{U){WVW V, S, U, X c V~U{S~XVW V, S, V, P c (V{S)~V{PVW V, S, W, Q c (V{S~W)~QVW V, S, W, U c V~(S{W)|UVW V, S, W, W c (VS{W)~WVW V, S, X, P c (V|P)~(S{X)VW V, S, X, U c V~U{S~XVW V, S, X, X c S{X~X|VVW V, T, P, U c (V{T{P)~UVW V, T, P, W c (V|P)~(T{W)VW V, T, Q, S c (V~T{S)~QVW V, T, Q, W c V~T~Q{WVW V, T, Q, X c (V{X)~T|QVW V, T, R, R c (V~R{T)~RVW V, T, R, W c (V{W)~T{RVW V, T, R, X c (V{TR)~XVW V, T, S, Q c (V~T{S)~QVW V, T, S, U c (T~S|V)~UVW V, T, T, W c V~(T{T){WVW V, T, U, P c V~(T{U){PVW V, T, U, S c (T~S|V)~UVW V, T, U, U c (V{T)~U{UVW V, T, U, V c (V{T)~V|UVW V, T, V, U c (V{T)~V|UVW V, T, V, W c (V{V)~T{WVW V, T, W, P c (V|P)~(T{W)VW V, T, W, Q c V~T~Q{WVW V, T, W, R c (V{W)~T{RVW V, T, W, T c V~(T{T){WVW V, T, W, V c (V{V)~T{WVW V, T, W, X c T~(W{X)|VVW V, T, X, Q c (V{X)~T|QVW V, T, X, R c (V~T|X)~RVW V, T, X, W c T~(X{W)|VVW V, U, O, U c (V{U{O)~UVW V, U, P, Q c (V~Q|P)~UVW V, U, P, T c (V{U)~(P{T)VW V, U, P, U c (V{U)~(P~U)VW V, U, P, V c (V{U)~(V|P)VW V, U, P, X c (V{P)~X{UVW V, U, Q, P c (V~Q|P)~UVW V, U, Q, R c (V{U)~(Q~R)VW V, U, Q, S c (V{U)~(Q{S)VW V, U, Q, U c V~U~Q|UVW V, U, Q, W c (V{U)~(W|Q)VW V, U, R, Q c (V{U)~(R~Q)VW V, U, R, R c (V{U)~(R{R)VW V, U, R, S c V~R~S|UVW V, U, R, W c (V~R|W)~UVW V, U, R, X c (V{U)~(X|R)VW V, U, S, Q c (V{U)~(S{Q)VW V, U, S, R c V~S~R|UVW V, U, S, T c U~(S~T|V)VW V, U, S, W c V~(U{S){WVW V, U, S, X c V~U{S~XVW V, U, T, P c (V{U)~(T{P)VW V, U, T, S c U~(T~S|V)VW V, U, T, U c (V{T)~U{UVW V, U, T, V c (V{T)~V|UVW V, U, U, O c (V{U)~(U{O)VW V, U, U, P c (V{U)~(U~P)VW V, U, U, Q c V~U~Q|UVW V, U, U, T c (V{T)~U{UVW V, U, U, U c V~(U{U)|UVW V, U, U, V c (V{V)~U|UVW V, U, V, P c (V{U)~(V|P)VW V, U, V, T c V~(V{T)|UVW V, U, V, U c (V{V)~U|UVW V, U, W, Q c (V{U)~(W|Q)VW V, U, W, R c (V~R|W)~UVW V, U, W, S c V~(U{S){WVW V, U, X, P c (V{P)~X{UVW V, U, X, R c (V{U)~(X|R)VW V, U, X, S c V~U{X~SVW V, U, X, X c V~X{U{XVW V, V, P, S c V~(V{S){PVW V, V, P, U c (V{V|P)~UVW V, V, R, W c V~(V{R){WVW V, V, S, P c V~(V{S){PVW V, V, T, U c V~(V{T)|UVW V, V, T, W c (V{V)~T{WVW V, V, U, P c (V{V|P)~UVW V, V, U, T c V~(V{T)|UVW V, V, U, U c (V{V)~U|UVW V, V, W, R c V~(V{R){WVW V, V, W, T c (V{V)~T{WVW V, V, W, W c V{V{W~WVW V, V, W, X c V{V~X{WVW V, V, X, W c V{V~X{WVW V, W, P, R c V~(W{R){PVW V, W, P, T c (V|P)~(W{T)VW V, W, P, X c V{W~X|PVW V, W, Q, R c (V{R)~W|QVW V, W, Q, S c (V{W~S)~QVW V, W, Q, T c V~Q~T{WVW V, W, Q, U c (V{W|Q)~UVW V, W, Q, W c V~(W{Q){WVW V, W, R, P c V~(W{R){PVW V, W, R, Q c (V{R)~W|QVW V, W, R, T c (V{W)~T{RVW V, W, R, U c (V~R|W)~UVW V, W, R, V c (V{R)~V{WVW V, W, S, Q c (V{W~S)~QVW V, W, S, U c V~(W{S)|UVW V, W, S, W c (VS{W)~WVW V, W, T, P c (V|P)~(W{T)VW V, W, T, Q c V~T~Q{WVW V, W, T, R c (V{W)~T{RVW V, W, T, T c V~(T{T){WVW V, W, T, V c (V{V)~T{WVW V, W, T, X c (W{X)~T|VVW V, W, U, Q c (V{W|Q)~UVW V, W, U, R c (V~R|W)~UVW V, W, U, S c V~(W{S)|UVW V, W, V, R c V~(V{R){WVW V, W, V, T c (V{V)~T{WVW V, W, V, W c V{W~W{VVW V, W, V, X c V{W{V~XVW V, W, W, Q c V~(W{Q){WVW V, W, W, S c (VS{W)~WVW V, W, W, V c V{W~W{VVW V, W, X, P c V{W~X|PVW V, W, X, T c (W{X)~T|VVW V, W, X, V c V{W{X~VVW V, X, P, Q c V~(X{Q){PVW V, X, P, S c (V|P)~(X{S)VW V, X, P, U c (V{P)~X{UVW V, X, P, W c V~(X{P){WVW V, X, Q, P c V~(X{Q){PVW V, X, Q, R c (V{Q)~X|RVW V, X, Q, T c (V{X)~T|QVW V, X, R, Q c (V{Q)~X|RVW V, X, R, T c V~X{R~TVW V, X, R, U c (V{X|R)~UVW V, X, S, P c (V|P)~(X{S)VW V, X, S, U c V~U{X~SVW V, X, S, X c X~X|V{SVW V, X, T, Q c (V{X)~T|QVW V, X, T, R c V~X{T~RVW V, X, T, W c (X{W)~T|VVW V, X, U, P c (V{P)~X{UVW V, X, U, R c (V{X|R)~UVW V, X, U, S c V~U{X~SVW V, X, U, X c V~X{U{XVW V, X, V, W c V{X~V{WVW V, X, W, P c V{X~W|PVW V, X, W, T c (X{W)~T|VVW V, X, W, V c V~X{W{VVW V, X, X, S c X~X|V{SVW V, X, X, U c V~X{X{UVW W, O, T, U c (W{O{T)~UVW W, O, U, T c (W{O{T)~UVW W, O, U, X c (W{O)~X{UVW W, O, X, U c (W{O)~X{UVW W, P, Q, T c (W~T|P)~QVW W, P, Q, X c W~(P{X)|QVW W, P, R, V c (W{R)~V{PVW W, P, R, X c (W{P)~X|RVW W, P, S, U c (W{P{S)~UVW W, P, T, Q c (W~T|P)~QVW W, P, T, T c (W{T)~(P{T)VW W, P, T, U c (W{P~T)~UVW W, P, T, V c (W{T)~(V|P)VW W, P, T, X c W~X{P{TVW W, P, U, S c (W{P{S)~UVW W, P, U, T c (W{P~T)~UVW W, P, U, U c (W|P{U)~UVW W, P, U, W c (W{P)~W{UVW W, P, U, X c W~P~X{UVW W, P, V, R c (W{R)~V{PVW W, P, V, T c (W{T)~(V|P)VW W, P, V, X c W{(P{X)~VVW W, P, W, U c (W{P)~W{UVW W, P, X, Q c W~(P{X)|QVW W, P, X, R c (W{P)~X|RVW W, P, X, T c W~X{P{TVW W, P, X, U c W~P~X{UVW W, P, X, V c W{(P{X)~VVW W, Q, P, T c (W~T|P)~QVW W, Q, P, X c W~(P{X)|QVW W, Q, Q, T c W~Q~T|QVW W, Q, Q, W c (W{Q)~W|QVW W, Q, R, R c (W~R{Q)~RVW W, Q, R, T c (W{T)~(Q~R)VW W, Q, R, U c (W{Q{R)~UVW W, Q, R, V c W~(R{V)|QVW W, Q, R, X c (W{QR)~XVW W, Q, S, T c (W{T)~(Q{S)VW W, Q, S, U c W~(S{U)|QVW W, Q, S, V c (W~S{V)~QVW W, Q, S, X c (W|Q)~(S{X)VW W, Q, T, P c (W~T|P)~QVW W, Q, T, Q c W~Q~T|QVW W, Q, T, R c (W{T)~(Q~R)VW W, Q, T, S c (W{T)~(Q{S)VW W, Q, T, T c W~(T{T)|QVW W, Q, T, V c W{Q~T~VVW W, Q, T, W c (W|Q)~(T{W)VW W, Q, U, R c (W{Q{R)~UVW W, Q, U, S c W~(U{S)|QVW W, Q, U, V c (W|Q)~(U{V)VW W, Q, U, X c (WQ{X)~UVW W, Q, V, R c W~(V{R)|QVW W, Q, V, S c (W~S{V)~QVW W, Q, V, T c W{Q~V~TVW W, Q, V, U c (W|Q{V)~UVW W, Q, V, W c (W{Q)~V{WVW W, Q, W, Q c (W{Q)~W|QVW W, Q, W, T c (W|Q)~(W{T)VW W, Q, W, V c W{(Q{W)~VVW W, Q, W, X c W|Q{W~XVW W, Q, X, P c W~(X{P)|QVW W, Q, X, R c (W{Q~X)~RVW W, Q, X, S c (W|Q)~(X{S)VW W, Q, X, U c (WQ{X)~UVW W, Q, X, W c W|Q{X~WVW W, R, P, V c (W{R)~V{PVW W, R, P, X c (W{P)~X|RVW W, R, Q, R c (W~R{Q)~RVW W, R, Q, T c (W{T)~(R~Q)VW W, R, Q, U c (W{R{Q)~UVW W, R, Q, V c W~(R{V)|QVW W, R, Q, X c (W{QR)~XVW W, R, R, Q c (W~R{Q)~RVW W, R, R, T c (W{T)~(R{R)VW W, R, R, U c W~R~R{UVW W, R, R, X c W~X{R{RVW W, R, S, U c (W~S|U)~RVW W, R, S, X c W~(RS{X)VW W, R, T, Q c (W{T)~(R~Q)VW W, R, T, R c (W{T)~(R{R)VW W, R, T, V c (W{V)~T{RVW W, R, T, X c (W{T)~(X|R)VW W, R, U, Q c (W{R{Q)~UVW W, R, U, R c (W{R~U)~RVW W, R, U, S c (W~S|U)~RVW W, R, U, U c W~(R{U){UVW W, R, U, V c (R~V|W)~UVW W, R, U, W c (W|R{W)~UVW W, R, U, X c W~R{U~XVW W, R, V, P c (W{R)~V{PVW W, R, V, Q c W~(R{V)|QVW W, R, V, T c (W{V)~T{RVW W, R, V, U c (R~V|W)~UVW W, R, V, V c W{(R{V)~VVW W, R, W, U c (W|R{W)~UVW W, R, X, P c (W{P)~X|RVW W, R, X, Q c W~X{R~QVW W, R, X, R c W~X{R{RVW W, R, X, S c W~(RS{X)VW W, R, X, T c (W{T)~(X|R)VW W, R, X, U c W~R{X~UVW W, R, X, X c W~X|R{XVW W, S, P, U c (W{S{P)~UVW W, S, Q, T c (W{T)~(S{Q)VW W, S, Q, U c W~(S{U)|QVW W, S, Q, V c (W~S{V)~QVW W, S, Q, X c (W|Q)~(S{X)VW W, S, R, U c (W~S|U)~RVW W, S, R, X c W~(RS{X)VW W, S, T, Q c (W{T)~(S{Q)VW W, S, T, U c W~(S{T){UVW W, S, U, P c (W{S{P)~UVW W, S, U, Q c W~(S{U)|QVW W, S, U, R c (W~S|U)~RVW W, S, U, T c W~(S{T){UVW W, S, U, U c (W{S)~U{UVW W, S, U, V c W{(S{U)~VVW W, S, U, X c (W{SU)~XVW W, S, V, Q c (W~S{V)~QVW W, S, V, U c (W{S)~V|UVW W, S, V, W c (W{VS)~WVW W, S, W, V c W~(W{VS)VW W, S, X, Q c W~X{S{QVW W, S, X, R c W~(X{RS)VW W, S, X, U c (W|S{X)~UVW W, T, O, U c (W{T{O)~UVW W, T, P, Q c (W~T|P)~QVW W, T, P, T c (W{T)~(P{T)VW W, T, P, U c (W{T)~(P~U)VW W, T, P, V c (W{T)~(V|P)VW W, T, P, X c W~X{T{PVW W, T, Q, P c (W~T|P)~QVW W, T, Q, Q c W~T~Q|QVW W, T, Q, R c (W{T)~(Q~R)VW W, T, Q, S c (W{T)~(Q{S)VW W, T, Q, T c W~(T{T)|QVW W, T, Q, V c W{T~Q~VVW W, T, Q, W c (W{T)~(W|Q)VW W, T, R, Q c (W{T)~(R~Q)VW W, T, R, R c (W{T)~(R{R)VW W, T, R, V c (W{V)~T{RVW W, T, R, X c (W{T)~(X|R)VW W, T, S, Q c (W{T)~(S{Q)VW W, T, S, U c W~(T{S){UVW W, T, T, P c (W{T)~(T{P)VW W, T, T, Q c W~(T{T)|QVW W, T, T, V c W{(T{T)~VVW W, T, T, X c W{T~(T{X)VW W, T, U, O c (W{T)~(U{O)VW W, T, U, P c (W{T)~(U~P)VW W, T, U, S c W~(T{S){UVW W, T, U, U c W~U{T~UVW W, T, U, W c W{T~(U{W)VW W, T, V, P c (W{T)~(V|P)VW W, T, V, Q c W{T~V~QVW W, T, V, R c (W{V)~T{RVW W, T, V, T c W{(T{T)~VVW W, T, V, V c W{T~(V{V)VW W, T, V, X c (W{X)~T|VVW W, T, W, Q c (W{T)~(W|Q)VW W, T, W, U c W{T~(W{U)VW W, T, W, X c W~W{T{XVW W, T, X, P c W~X{T{PVW W, T, X, R c (W{T)~(X|R)VW W, T, X, T c W{(T{X)~TVW W, T, X, V c (W{X)~T|VVW W, T, X, W c W~W{T{XVW W, T, X, X c T{X~X|WVW W, U, O, T c (W{O{T)~UVW W, U, O, X c (W{O)~X{UVW W, U, P, S c (W{P{S)~UVW W, U, P, T c (W{P~T)~UVW W, U, P, U c (W{U|P)~UVW W, U, P, W c (W{P)~W{UVW W, U, P, X c W~P~X{UVW W, U, Q, R c (W{Q{R)~UVW W, U, Q, S c W~(U{S)|QVW W, U, Q, V c (W|Q)~(U{V)VW W, U, Q, X c (W~U|X)~QVW W, U, R, Q c (W{R{Q)~UVW W, U, R, R c (W{U~R)~RVW W, U, R, S c (W~S|U)~RVW W, U, R, U c W~(U{R){UVW W, U, R, V c U~(R~V|W)VW W, U, R, W c (W|R{W)~UVW W, U, R, X c W~R{U~XVW W, U, S, P c (W{S{P)~UVW W, U, S, Q c W~(U{S)|QVW W, U, S, R c (W~S|U)~RVW W, U, S, T c W~(S{T){UVW W, U, S, U c (W{S)~U{UVW W, U, S, V c W{(U{S)~VVW W, U, S, X c (W{SU)~XVW W, U, T, O c (W{T)~(U{O)VW W, U, T, P c (W{T)~(U~P)VW W, U, T, S c W~(T{S){UVW W, U, T, U c W~U{T~UVW W, U, T, W c (W{U)~T{WVW W, U, U, P c (W{U|P)~UVW W, U, U, R c W~(U{R){UVW W, U, U, S c (W{S)~U{UVW W, U, U, T c W~U{U~TVW W, U, U, U c (W{U)~U|UVW W, U, V, Q c (W{V|Q)~UVW W, U, V, R c U~(V~R|W)VW W, U, V, S c W{(U{S)~VVW W, U, W, P c W~(W{P){UVW W, U, W, R c (W{W|R)~UVW W, U, W, T c W{(U{W)~TVW W, U, W, W c W{U{W~WVW W, U, W, X c W~(UW{X)VW W, U, X, O c W~X{U{OVW W, U, X, P c W~X{U~PVW W, U, X, Q c (W~U|X)~QVW W, U, X, R c W~R{U~XVW W, U, X, S c (W{X|S)~UVW W, U, X, W c W~(UW{X)VW W, U, X, X c (W{UX)~XVW W, V, P, R c (W{R)~V{PVW W, V, P, T c (W{T)~(V|P)VW W, V, P, X c W{V~(P{X)VW W, V, Q, R c W~(V{R)|QVW W, V, Q, S c (W~S{V)~QVW W, V, Q, T c W{V~Q~TVW W, V, Q, U c (W{V|Q)~UVW W, V, Q, W c W{V~(Q{W)VW W, V, R, P c (W{R)~V{PVW W, V, R, Q c W~(V{R)|QVW W, V, R, T c (W{V)~T{RVW W, V, R, U c (V~R|W)~UVW W, V, R, V c W{(V{R)~VVW W, V, S, Q c (W~S{V)~QVW W, V, S, U c W{V~(S{U)VW W, V, S, W c (W{VS)~WVW W, V, T, P c (W{T)~(V|P)VW W, V, T, Q c W{V~T~QVW W, V, T, R c (W{V)~T{RVW W, V, T, T c W{V~(T{T)VW W, V, T, V c W{(V{V)~TVW W, V, T, X c (W{X)~T|VVW W, V, U, Q c (W{V|Q)~UVW W, V, U, R c (V~R|W)~UVW W, V, U, S c W{V~(U{S)VW W, V, V, R c W{V~(V{R)VW W, V, V, T c W{(V{V)~TVW W, V, V, W c W~W{V{VVW W, V, V, X c W{V{V~XVW W, V, W, Q c W{V~(W{Q)VW W, V, W, S c (W{VS)~WVW W, V, W, V c W~W{V{VVW W, V, X, P c W{V~(X{P)VW W, V, X, T c (W{X)~T|VVW W, V, X, V c W{V{X~VVW W, W, P, U c W~(W{P){UVW W, W, Q, Q c W~(W{Q)|QVW W, W, Q, T c (W{W)~T|QVW W, W, Q, V c W{(W{Q)~VVW W, W, Q, X c W{W~X|QVW W, W, R, U c (W{W|R)~UVW W, W, S, V c W~(W{VS)VW W, W, T, Q c (W{W)~T|QVW W, W, T, U c W{(W{U)~TVW W, W, T, X c W~W{T{XVW W, W, U, P c W~(W{P){UVW W, W, U, R c (W{W|R)~UVW W, W, U, T c W{(W{U)~TVW W, W, U, W c W~W{U{WVW W, W, U, X c W~(UW{X)VW W, W, V, Q c W~W{V~QVW W, W, V, S c W~(W{VS)VW W, W, V, V c W~W{V{VVW W, W, W, U c W{W~W{UVW W, W, X, Q c W{W~X|QVW W, W, X, T c W~W{X{TVW W, W, X, U c W~(X{UW)VW W, X, O, U c W~X{O{UVW W, X, P, Q c W~(X{P)|QVW W, X, P, R c (W{P)~X|RVW W, X, P, T c W~X{P{TVW W, X, P, U c W~X{P~UVW W, X, P, V c W{(X{P)~VVW W, X, Q, P c W~(X{P)|QVW W, X, Q, R c (W{X~Q)~RVW W, X, Q, S c W~X{Q{SVW W, X, Q, U c (WQ{X)~UVW W, X, Q, W c W~X|Q{WVW W, X, R, P c (W{P)~X|RVW W, X, R, Q c W~X{R~QVW W, X, R, R c W~X{R{RVW W, X, R, S c W~(X{RS)VW W, X, R, T c (W{T)~(X|R)VW W, X, R, U c W~R{X~UVW W, X, R, X c W~X|R{XVW W, X, S, Q c W~X{S{QVW W, X, S, R c W~(X{RS)VW W, X, S, U c (W{X|S)~UVW W, X, T, P c W~X{T{PVW W, X, T, R c (W{T)~(X|R)VW W, X, T, T c W{(X{T)~TVW W, X, T, V c (W{X)~T|VVW W, X, T, W c W~W{X{TVW W, X, T, X c X~X|W{TVW W, X, U, O c W~X{U{OVW W, X, U, P c W~X{U~PVW W, X, U, Q c (W~U|X)~QVW W, X, U, R c W~R{X~UVW W, X, U, S c (W{X|S)~UVW W, X, U, W c W~(X{UW)VW W, X, U, X c (W{UX)~XVW W, X, V, P c W~X{V|PVW W, X, V, T c (W{X)~T|VVW W, X, V, V c W{X~V{VVW W, X, W, Q c W{X~W|QVW W, X, W, T c W~W{X{TVW W, X, W, U c W~(X{UW)VW W, X, X, R c (W{X{X)~RVW W, X, X, T c X~X|W{TVW W, X, X, U c (W{UX)~XVW X, O, R, X c (X{O)~X|RVW X, O, S, U c (X{O{S)~UVW X, O, U, S c (X{O{S)~UVW X, O, U, W c (X{O)~W{UVW X, O, W, U c (X{O)~W{UVW X, O, X, R c (X{O)~X|RVW X, P, Q, V c (X{Q)~V{PVW X, P, Q, W c (X{P)~W|QVW X, P, Q, X c (X~X)|(P{Q)VW X, P, R, R c (X~R|P)~RVW X, P, R, U c (X{P{R)~UVW X, P, R, W c X~(P{W)|RVW X, P, R, X c (X|PR)~XVW X, P, S, T c (X{S)~(P{T)VW X, P, S, U c (X{P~S)~UVW X, P, S, V c (X{S)~(V|P)VW X, P, S, X c X~X{P|SVW X, P, T, S c (X{S)~(P{T)VW X, P, T, U c (X|P{T)~UVW X, P, T, W c X~W{P{TVW X, P, U, R c (X{P{R)~UVW X, P, U, S c (X{P~S)~UVW X, P, U, T c (X|P{T)~UVW X, P, U, V c X~(P{V){UVW X, P, U, W c X~P~W{UVW X, P, U, X c (X|P)~X{UVW X, P, V, Q c (X{Q)~V{PVW X, P, V, S c (X{S)~(V|P)VW X, P, V, U c X~(P{V){UVW X, P, V, W c (X{P)~V{WVW X, P, W, Q c (X{P)~W|QVW X, P, W, R c X~(P{W)|RVW X, P, W, T c X~W{P{TVW X, P, W, U c X~P~W{UVW X, P, W, V c (X{P)~V{WVW X, P, X, Q c (X~X)|(P{Q)VW X, P, X, R c X~P~X|RVW X, P, X, S c X~X{P|SVW X, P, X, U c (X|P)~X{UVW X, Q, P, V c (X{Q)~V{PVW X, Q, P, W c (X{P)~W|QVW X, Q, P, X c (X~X)|(Q{P)VW X, Q, Q, U c (X{Q{Q)~UVW X, Q, R, S c (X{S)~(Q~R)VW X, Q, R, V c X~(Q{V)|RVW X, Q, R, W c X~(QR{W)VW X, Q, S, R c (X{S)~(Q~R)VW X, Q, S, S c (X{S)~(Q{S)VW X, Q, S, U c X~Q~S{UVW X, Q, S, W c (X{S)~(W|Q)VW X, Q, T, U c (X~Q|T)~UVW X, Q, T, V c (X{V)~T|QVW X, Q, T, X c X~X{Q|TVW X, Q, U, Q c (X{Q{Q)~UVW X, Q, U, S c X~Q~S{UVW X, Q, U, T c (X~Q|T)~UVW X, Q, U, U c (X|Q{U)~UVW X, Q, U, W c (X{WQ)~UVW X, Q, U, X c (X|QU)~XVW X, Q, V, P c (X{Q)~V{PVW X, Q, V, R c X~(Q{V)|RVW X, Q, V, T c (X{V)~T|QVW X, Q, W, P c (X{P)~W|QVW X, Q, W, R c (X~Q{W)~RVW X, Q, W, S c X~W{Q{SVW X, Q, W, U c (X{WQ)~UVW X, Q, W, W c X~W|Q{WVW X, Q, X, P c (X~X)|(Q{P)VW X, Q, X, T c X~X{Q|TVW X, Q, X, U c (X|QU)~XVW X, R, O, X c (X{O)~X|RVW X, R, P, R c (X~R|P)~RVW X, R, P, U c (X{R{P)~UVW X, R, P, W c X~(P{W)|RVW X, R, P, X c (X|PR)~XVW X, R, Q, S c (X{S)~(R~Q)VW X, R, Q, V c X~(Q{V)|RVW X, R, Q, W c X~(QR{W)VW X, R, R, P c (X~R|P)~RVW X, R, R, R c X~R~R|RVW X, R, R, S c (X{S)~(R{R)VW X, R, R, U c X~(R{U)|RVW X, R, R, W c X~W{R{RVW X, R, S, Q c (X{S)~(R~Q)VW X, R, S, R c (X{S)~(R{R)VW X, R, S, T c X~(S{T)|RVW X, R, S, W c (X{RS)~WVW X, R, S, X c (X|R)~(S{X)VW X, R, T, S c X~(T{S)|RVW X, R, T, U c X~(R{T){UVW X, R, T, V c X~(TR{V)VW X, R, T, W c (X|R)~(T{W)VW X, R, U, P c (X{R{P)~UVW X, R, U, R c X~(R{U)|RVW X, R, U, T c X~(R{T){UVW X, R, U, U c (X{R)~U{UVW X, R, U, V c (X|R)~(U{V)VW X, R, U, W c X~U{R~WVW X, R, U, X c X~X{R|UVW X, R, V, Q c X~(V{Q)|RVW X, R, V, T c X~V{R~TVW X, R, V, U c (X{R)~V|UVW X, R, W, P c X~(W{P)|RVW X, R, W, Q c X~W{R~QVW X, R, W, R c X~W{R{RVW X, R, W, S c (X{RS)~WVW X, R, W, T c (X|R)~(W{T)VW X, R, W, U c X~(WR{U)VW X, R, W, X c X|R{W~XVW X, R, X, O c X~X|R{OVW X, R, X, P c X~X|R~PVW X, R, X, S c (X|R)~(X{S)VW X, R, X, U c X~X{R|UVW X, R, X, W c X|R{X~WVW X, R, X, X c (X|RX)~XVW X, S, O, U c (X{S{O)~UVW X, S, P, T c (X{S)~(P{T)VW X, S, P, U c (X{S)~(P~U)VW X, S, P, V c (X{S)~(V|P)VW X, S, P, X c X~X|S{PVW X, S, Q, R c (X{S)~(Q~R)VW X, S, Q, S c (X{S)~(Q{S)VW X, S, Q, U c X~S~Q{UVW X, S, Q, W c (X{S)~(W|Q)VW X, S, R, Q c (X{S)~(R~Q)VW X, S, R, R c (X{S)~(R{R)VW X, S, R, T c X~(S{T)|RVW X, S, R, W c (X{RS)~WVW X, S, R, X c (X{S)~(X|R)VW X, S, S, Q c (X{S)~(S{Q)VW X, S, S, U c X~(S{S){UVW X, S, T, P c (X{S)~(T{P)VW X, S, T, R c X~(S{T)|RVW X, S, U, O c (X{S)~(U{O)VW X, S, U, P c (X{S)~(U~P)VW X, S, U, Q c X~S~Q{UVW X, S, U, S c X~(S{S){UVW X, S, U, U c X~U{S~UVW X, S, U, V c X~S{U~VVW X, S, U, W c X~(SU{W)VW X, S, U, X c (X{X)~S{UVW X, S, V, P c (X{S)~(V|P)VW X, S, V, U c X~S{V~UVW X, S, V, X c X~X{S|VVW X, S, W, Q c (X{S)~(W|Q)VW X, S, W, R c (X{RS)~WVW X, S, W, U c (X|S{W)~UVW X, S, X, P c X~X|S{PVW X, S, X, R c (X{S)~(X|R)VW X, S, X, U c (X{X)~S{UVW X, S, X, V c X~X{S|VVW X, T, P, S c (X{S)~(T{P)VW X, T, P, U c (X{T|P)~UVW X, T, P, W c X~W{T{PVW X, T, Q, U c (X{T~U)~QVW X, T, Q, V c (X{V)~T|QVW X, T, Q, X c X~X|T{QVW X, T, R, S c X~(T{S)|RVW X, T, R, U c X~(T{R){UVW X, T, R, V c X~(TR{V)VW X, T, R, W c (X|R)~(T{W)VW X, T, S, P c (X{S)~(T{P)VW X, T, S, R c X~(T{S)|RVW X, T, T, W c (X{T)~T{WVW X, T, U, P c (X{T|P)~UVW X, T, U, Q c (X{T~U)~QVW X, T, U, R c X~(T{R){UVW X, T, U, U c (X{T)~U|UVW X, T, U, X c (X|T{X)~UVW X, T, V, Q c (X{V)~T|QVW X, T, V, R c X~(TR{V)VW X, T, V, W c (X{W)~T|VVW X, T, W, P c X~W{T{PVW X, T, W, R c (X|R)~(T{W)VW X, T, W, T c (X{T)~T{WVW X, T, W, V c (X{W)~T|VVW X, T, W, W c X{T{W~WVW X, T, W, X c X~X{T|WVW X, T, X, Q c X~X|T{QVW X, T, X, U c (X|T{X)~UVW X, T, X, W c X~X{T|WVW X, U, O, S c (X{O{S)~UVW X, U, O, W c (X{O)~W{UVW X, U, P, R c (X{P{R)~UVW X, U, P, S c (X{P~S)~UVW X, U, P, T c (X|P{T)~UVW X, U, P, V c X~(P{V){UVW X, U, P, W c X~P~W{UVW X, U, P, X c (X|P)~X{UVW X, U, Q, Q c (X{Q{Q)~UVW X, U, Q, S c X~Q~S{UVW X, U, Q, T c (X{U~T)~QVW X, U, Q, U c (X{U|Q)~UVW X, U, Q, W c (X{WQ)~UVW X, U, Q, X c (X|QU)~XVW X, U, R, P c (X{R{P)~UVW X, U, R, R c X~(U{R)|RVW X, U, R, T c (X{U)~T{RVW X, U, R, U c (X{R)~U{UVW X, U, R, V c (X|R)~(U{V)VW X, U, R, W c X~U{R~WVW X, U, R, X c X~X|U{RVW X, U, S, O c (X{S)~(U{O)VW X, U, S, P c (X{S)~(U~P)VW X, U, S, Q c X~S~Q{UVW X, U, S, S c X~(S{S){UVW X, U, S, U c X~U{S~UVW X, U, S, V c X~S{U~VVW X, U, S, W c X~(SU{W)VW X, U, S, X c (X{X)~S{UVW X, U, T, P c (X{T|P)~UVW X, U, T, Q c (X{U~T)~QVW X, U, T, R c (X{U)~T{RVW X, U, T, U c (X{T)~U|UVW X, U, T, X c (X|T{X)~UVW X, U, U, Q c (X{U|Q)~UVW X, U, U, R c (X{R)~U{UVW X, U, U, S c X~U{U~SVW X, U, U, T c (X{T)~U|UVW X, U, V, P c X~(V{P){UVW X, U, V, R c (X{V|R)~UVW X, U, V, S c X~S{U~VVW X, U, V, X c X{U{V~XVW X, U, W, O c X~W{U{OVW X, U, W, P c X~W{U~PVW X, U, W, Q c (X{WQ)~UVW X, U, W, R c X~U{W~RVW X, U, W, S c (X{W|S)~UVW X, U, W, W c (X{UW)~WVW X, U, W, X c X~(UX{W)VW X, U, X, P c X~(X|P){UVW X, U, X, Q c X~X|UQVW X, U, X, R c X~X|U{RVW X, U, X, S c (X{X)~S{UVW X, U, X, T c (X{X|T)~UVW X, U, X, V c X{U{X~VVW X, U, X, W c X~(UX{W)VW X, U, X, X c X~X{U|XVW X, V, P, Q c (X{Q)~V{PVW X, V, P, S c (X{S)~(V|P)VW X, V, P, U c X~(V{P){UVW X, V, P, W c (X{P)~V{WVW X, V, Q, P c (X{Q)~V{PVW X, V, Q, R c X~(V{Q)|RVW X, V, Q, T c (X{V)~T|QVW X, V, R, Q c X~(V{Q)|RVW X, V, R, T c X~V{R~TVW X, V, R, U c (X{V|R)~UVW X, V, S, P c (X{S)~(V|P)VW X, V, S, U c X~S{V~UVW X, V, S, X c X~X|V{SVW X, V, T, Q c (X{V)~T|QVW X, V, T, R c X~V{T~RVW X, V, T, W c (X{W)~T|VVW X, V, U, P c X~(V{P){UVW X, V, U, R c (X{V|R)~UVW X, V, U, S c X~S{V~UVW X, V, U, X c X~V{U{XVW X, V, V, W c X~V{V{WVW X, V, W, P c X~W{V|PVW X, V, W, T c (X{W)~T|VVW X, V, W, V c X~V{W{VVW X, V, X, S c X~X|V{SVW X, V, X, U c X{V~X{UVW X, W, O, U c X~W{O{UVW X, W, P, Q c (X{P)~W|QVW X, W, P, R c X~(W{P)|RVW X, W, P, T c X~W{P{TVW X, W, P, U c X~W{P~UVW X, W, P, V c X~W|P{VVW X, W, Q, P c (X{P)~W|QVW X, W, Q, R c X~W{Q~RVW X, W, Q, S c X~W{Q{SVW X, W, Q, U c (X{WQ)~UVW X, W, Q, W c X~W|Q{WVW X, W, R, P c X~(W{P)|RVW X, W, R, Q c X~W{R~QVW X, W, R, R c X~W{R{RVW X, W, R, S c (X{RS)~WVW X, W, R, T c (X|R)~(W{T)VW X, W, R, U c X~(WR{U)VW X, W, R, X c X~W|R{XVW X, W, S, Q c X~W{S{QVW X, W, S, R c (X{RS)~WVW X, W, S, U c (X{W|S)~UVW X, W, T, P c X~W{T{PVW X, W, T, R c (X|R)~(W{T)VW X, W, T, T c (X{T)~T{WVW X, W, T, V c (X{W)~T|VVW X, W, T, W c X{W~W{TVW X, W, T, X c X~X|W{TVW X, W, U, O c X~W{U{OVW X, W, U, P c X~W{U~PVW X, W, U, Q c (X{WQ)~UVW X, W, U, R c X~(WR{U)VW X, W, U, S c (X{W|S)~UVW X, W, U, W c (X{UW)~WVW X, W, U, X c X~(W{UX)VW X, W, V, P c X~W{V|PVW X, W, V, T c (X{W)~T|VVW X, W, V, V c X~V{W{VVW X, W, W, Q c X~W{W|QVW X, W, W, T c X{W~W{TVW X, W, W, U c (X{UW)~WVW X, W, X, R c (X{W{X)~RVW X, W, X, T c X~X|W{TVW X, W, X, U c X~(W{UX)VW X, X, O, R c X~X{O|RVW X, X, P, Q c (X~X)|(P{Q)VW X, X, P, R c X~X|P~RVW X, X, P, S c X~X{P|SVW X, X, P, U c X~(X|P){UVW X, X, Q, P c (X~X)|(Q{P)VW X, X, Q, T c X~X{Q|TVW X, X, Q, U c X~(X|QU)VW X, X, R, O c X~X|R{OVW X, X, R, P c X~X|R~PVW X, X, R, S c (X|R)~(X{S)VW X, X, R, U c X~X{R|UVW X, X, R, W c (X{X{W)~RVW X, X, R, X c X~(X|RX)VW X, X, S, P c X~X|S{PVW X, X, S, R c (X{S)~(X|R)VW X, X, S, U c (X{X)~S{UVW X, X, S, V c X~X{S|VVW X, X, T, Q c X~X|T{QVW X, X, T, U c (X{X|T)~UVW X, X, T, W c X~X{T|WVW X, X, U, P c X~(X|P){UVW X, X, U, Q c X~X|UQVW X, X, U, R c X~X|U{RVW X, X, U, S c (X{X)~S{UVW X, X, U, T c (X{X|T)~UVW X, X, U, V c X{X~V{UVW X, X, U, W c X~(UX{W)VW X, X, U, X c X~X{U|XVW X, X, V, S c X~X|V{SVW X, X, V, U c X{X~V{UVW X, X, W, R c (X{X{W)~RVW X, X, W, T c X~X|W{TVW X, X, W, U c X~(W{UX)VW X, X, X, R c X~X|XRVW X, X, X, U c X~X|X{UVW