O, P, R, X c O{R~X|PQU O, P, T, T c O{P{T~TQU O, P, X, R c O{X~R|PQU O, Q, R, W c O{Q{R~WQU O, Q, S, U c O{Q{S~UQU O, Q, S, V c O{S~V|QQU O, Q, S, X c (O{Q)~(S{X)QU O, Q, T, W c (O{Q)~(T{W)QU O, Q, U, S c O{Q{U~SQU O, Q, U, V c (O{Q)~(U{V)QU O, Q, V, S c O{V~S|QQU O, Q, V, U c (O{Q)~(V{U)QU O, Q, W, R c O{Q{W~RQU O, Q, W, T c (O{Q)~(W{T)QU O, Q, W, X c O{Q~X{WQU O, Q, X, S c (O{Q)~(X{S)QU O, Q, X, W c O{Q~X{WQU O, R, P, X c O{R~X|PQU O, R, Q, W c O{R~W{QQU O, R, T, V c O{R~V{TQU O, R, U, W c O{R~U{WQU O, R, V, T c O{R~V{TQU O, R, W, Q c O{R~W{QQU O, R, W, U c O{R~U{WQU O, R, X, P c O{R~X|PQU O, S, Q, U c O{S~U{QQU O, S, Q, V c O{S~V|QQU O, S, Q, X c (O{S{X)~QQU O, S, T, U c O{S~T{UQU O, S, U, Q c O{S~U{QQU O, S, U, T c O{S~T{UQU O, S, U, W c O{S~W|UQU O, S, V, Q c O{S~V|QQU O, S, W, U c O{S~W|UQU O, S, X, Q c (O{S{X)~QQU O, T, P, T c O{T~T{PQU O, T, Q, W c (O{T{W)~QQU O, T, R, V c O{T{R~VQU O, T, S, U c O{T~S{UQU O, T, T, P c O{T~T{PQU O, T, U, S c O{T~U|SQU O, T, V, R c O{T{V~RQU O, T, V, X c O{T~V|XQU O, T, W, Q c (O{T{W)~QQU O, T, X, V c O{T~V|XQU O, U, Q, S c O{U~S{QQU O, U, Q, V c (O{U{V)~QQU O, U, R, W c O{U~R{WQU O, U, S, Q c O{U~S{QQU O, U, S, T c O{U{S~TQU O, U, S, W c O{S~W|UQU O, U, T, S c O{U{T~SQU O, U, V, Q c (O{U{V)~QQU O, U, W, R c O{U~R{WQU O, U, W, S c O{W~S|UQU O, V, Q, S c O{V~S|QQU O, V, Q, U c (O{V{U)~QQU O, V, R, T c O{V~R{TQU O, V, S, Q c O{V~S|QQU O, V, T, R c O{V~R{TQU O, V, T, X c O{V~T|XQU O, V, U, Q c (O{V{U)~QQU O, V, X, T c O{V~T|XQU O, W, Q, R c O{W~R{QQU O, W, Q, T c (O{W{T)~QQU O, W, Q, X c O{W{Q~XQU O, W, R, Q c O{W~R{QQU O, W, R, U c O{W{R~UQU O, W, S, U c O{W~S|UQU O, W, T, Q c (O{W{T)~QQU O, W, U, R c O{W{U~RQU O, W, U, S c O{W~S|UQU O, W, X, Q c O{W{X~QQU O, W, X, X c O{W{X{XQU O, X, P, R c O{X~R|PQU O, X, Q, S c (O{X{S)~QQU O, X, Q, W c O{X~Q{WQU O, X, R, P c O{X~R|PQU O, X, S, Q c (O{X{S)~QQU O, X, T, V c O{T~V|XQU O, X, V, T c O{V~T|XQU O, X, W, Q c O{X~Q{WQU O, X, W, X c O{X{W{XQU O, X, X, W c O{X{X{WQU P, O, R, X c O{R~X|PQU P, O, T, T c P{O{T~TQU P, O, X, R c O{X~R|PQU P, P, Q, X c (P{Q)~X|PQU P, P, R, W c P{P{R~WQU P, P, R, X c P~R~X|PQU P, P, S, T c P{(P{S)~TQU P, P, S, U c P{P{S~UQU P, P, S, V c (S~V)|(P{P)QU P, P, S, X c (P{P)~(S{X)QU P, P, T, S c P{(P{S)~TQU P, P, T, T c P{P~T~TQU P, P, T, U c P{T~(U|P)QU P, P, T, W c (P{P)~(T{W)QU P, P, U, S c P{P{U~SQU P, P, U, T c P{(U|P)~TQU P, P, U, V c (P{P)~(U{V)QU P, P, V, S c (V~S)|(P{P)QU P, P, V, U c (P{P)~(V{U)QU P, P, W, R c P{P{W~RQU P, P, W, T c (P{P)~(W{T)QU P, P, W, X c (P{P)~X{WQU P, P, X, Q c (P{Q)~X|PQU P, P, X, R c P~X~R|PQU P, P, X, S c (P{P)~(X{S)QU P, P, X, W c (P{P)~X{WQU P, Q, P, X c (P{Q)~X|PQU P, Q, Q, U c (P{Q~U)~QQU P, Q, Q, V c Q~(Q~V|P)QU P, Q, Q, W c (P{Q)~W{QQU P, Q, R, S c (P{R~S)~QQU P, Q, R, T c P{(Q{R)~TQU P, Q, R, U c (P{R)~U{QQU P, Q, R, V c (P{R)~V|QQU P, Q, R, W c P~Q{R~WQU P, Q, R, X c (P{R{X)~QQU P, Q, S, R c (P{S~R)~QQU P, Q, S, T c (P{T)~S{QQU P, Q, S, U c P~Q{S~UQU P, Q, S, V c P~S~V|QQU P, Q, S, W c (P{S{W)~QQU P, Q, S, X c (P~Q)~(S{X)QU P, Q, T, R c P{(Q{R)~TQU P, Q, T, S c (P{T)~S{QQU P, Q, T, T c Q|P{T~TQU P, Q, T, U c Q{(T|P)~UQU P, Q, T, V c (P{Q)~V{TQU P, Q, T, W c (P~Q)~(T{W)QU P, Q, T, X c Q~(T|P{X)QU P, Q, U, Q c (P{Q~U)~QQU P, Q, U, R c (P{R)~U{QQU P, Q, U, S c P~Q{U~SQU P, Q, U, T c Q{U~(T|P)QU P, Q, U, U c (P{U{U)~QQU P, Q, U, V c (P~Q)~(U{V)QU P, Q, U, W c (P{Q)~U{WQU P, Q, U, X c (P{X)~Q{UQU P, Q, V, Q c (Q~V|P)~QQU P, Q, V, R c (P{V)~R{QQU P, Q, V, S c P~V~S|QQU P, Q, V, T c (P{Q)~V{TQU P, Q, V, U c (P~Q)~(V{U)QU P, Q, V, V c Q~(V|P{V)QU P, Q, V, X c P{Q~X{VQU P, Q, W, Q c (P{Q)~W{QQU P, Q, W, R c P~Q{W~RQU P, Q, W, S c (P{W{S)~QQU P, Q, W, T c (P~Q)~(W{T)QU P, Q, W, U c (P{Q)~U{WQU P, Q, W, W c (P{W)~Q{WQU P, Q, W, X c P{Q~W{XQU P, Q, X, P c (P{Q)~X|PQU P, Q, X, R c (P{X{R)~QQU P, Q, X, S c (P~Q)~(X{S)QU P, Q, X, T c Q~(X|P{T)QU P, Q, X, U c (P{X)~Q{UQU P, Q, X, V c P{Q~X{VQU P, Q, X, W c P~Q~X{WQU P, Q, X, X c Q~X|P{XQU P, R, O, X c (R{O)~X|PQU P, R, P, W c P{R~W{PQU P, R, P, X c P~R~X|PQU P, R, Q, S c (P{R~S)~QQU P, R, Q, T c P{(R{Q)~TQU P, R, Q, U c (P{R)~U{QQU P, R, Q, V c (P{R)~V|QQU P, R, Q, W c P~R~W{QQU P, R, Q, X c (P{R{X)~QQU P, R, R, R c R~R~R|PQU P, R, R, U c R~(R{U)|PQU P, R, R, W c R|P{R~WQU P, R, R, X c R~(X|PR)QU P, R, S, Q c (P{R~S)~QQU P, R, S, T c R~(S{T)|PQU P, R, S, U c (PR{S)~UQU P, R, S, V c P{R~V{SQU P, R, S, W c (PS{R)~WQU P, R, S, X c (P{X)~R|SQU P, R, T, Q c P{(R{Q)~TQU P, R, T, S c R~(T{S)|PQU P, R, T, U c (P{R)~T{UQU P, R, T, V c P~R~V{TQU P, R, T, W c (P{T)~R{WQU P, R, U, Q c (P{R)~U{QQU P, R, U, R c (R{U)~R|PQU P, R, U, S c (PR{S)~UQU P, R, U, T c (P{R)~T{UQU P, R, U, V c P{R~U{VQU P, R, U, W c P~R~U{WQU P, R, U, X c R~U|P{XQU P, R, V, Q c (P{R)~V|QQU P, R, V, S c P{R~V{SQU P, R, V, T c P~R~V{TQU P, R, V, U c P{R~U{VQU P, R, V, W c R~(V|P){WQU P, R, W, P c P{R~W{PQU P, R, W, Q c P~R~W{QQU P, R, W, R c R|P{W~RQU P, R, W, S c (PS{R)~WQU P, R, W, T c P{(W|R)~TQU P, R, W, U c (P{R)~W|UQU P, R, W, V c R~(V|P){WQU P, R, W, X c (R|P)~X{WQU P, R, X, O c R~X|P{OQU P, R, X, P c P~R~X|PQU P, R, X, Q c (P{R{X)~QQU P, R, X, R c R~(X|PR)QU P, R, X, S c (P{X)~R|SQU P, R, X, U c R~U|P{XQU P, R, X, W c (R|P)~X{WQU P, R, X, X c (R|PX)~XQU P, S, P, T c P{(S{P)~TQU P, S, P, U c P{S~U{PQU P, S, P, V c (S~V)|(P{P)QU P, S, P, X c (P{P)~(S{X)QU P, S, Q, R c (P{S~R)~QQU P, S, Q, T c (P{T)~S{QQU P, S, Q, U c P~S~U{QQU P, S, Q, V c P~S~V|QQU P, S, Q, W c (P{S{W)~QQU P, S, Q, X c (P~S{X)~QQU P, S, R, Q c (P{S~R)~QQU P, S, R, T c (S{T)~R|PQU P, S, R, U c (PR{S)~UQU P, S, R, V c P{S{R~VQU P, S, R, W c (PS{R)~WQU P, S, R, X c (P{X)~R|SQU P, S, S, U c (P{S)~S{UQU P, S, S, X c P{S~S{XQU P, S, T, P c (P{S)~T{PQU P, S, T, Q c (P{T)~S{QQU P, S, T, R c (S{T)~R|PQU P, S, T, T c P{S~T{TQU P, S, T, U c P~S~T{UQU P, S, T, V c (S|P)~V{TQU P, S, T, W c (S~W)|(P{T)QU P, S, T, X c P{T~(X|S)QU P, S, U, P c P{S~U{PQU P, S, U, Q c P~S~U{QQU P, S, U, R c (PR{S)~UQU P, S, U, S c (P{S)~U|SQU P, S, U, T c P~S~T{UQU P, S, U, U c S~(U|P){UQU P, S, U, V c (P{V)~S|UQU P, S, U, W c P~S~W|UQU P, S, U, X c S~(X|P)|UQU P, S, V, P c (S~V)|(P{P)QU P, S, V, Q c P~S~V|QQU P, S, V, R c P{S{V~RQU P, S, V, T c (S|P)~V{TQU P, S, V, U c (P{V)~S|UQU P, S, V, W c P{S~W|VQU P, S, V, X c (P{S)~V|XQU P, S, W, Q c (P{S{W)~QQU P, S, W, R c (PS{R)~WQU P, S, W, T c (S~W)|(P{T)QU P, S, W, U c P~S~W|UQU P, S, W, V c P{S~W|VQU P, S, W, X c (P{XS)~WQU P, S, X, P c (P{P)~(S{X)QU P, S, X, Q c (P~S{X)~QQU P, S, X, R c (P{X)~R|SQU P, S, X, S c P{S~S{XQU P, S, X, T c P{(X|S)~TQU P, S, X, U c S~(X|P)|UQU P, S, X, V c (P{S)~V|XQU P, S, X, W c (P{XS)~WQU P, S, X, X c (S~X)|(P{X)QU P, T, O, T c P{(T{O)~TQU P, T, P, S c P{T~(P{S)QU P, T, P, T c P{T~P~TQU P, T, P, U c P{T~(U|P)QU P, T, P, W c (P{P)~(T{W)QU P, T, Q, R c P{T~(Q{R)QU P, T, Q, S c (P{T)~S{QQU P, T, Q, T c T~T|P{QQU P, T, Q, U c (T|P)~U{QQU P, T, Q, V c (P{T{V)~QQU P, T, Q, W c (P~T{W)~QQU P, T, Q, X c (T|P{X)~QQU P, T, R, Q c P{T~(R{Q)QU P, T, R, S c (T{S)~R|PQU P, T, R, U c (P{R)~T{UQU P, T, R, V c P~T{R~VQU P, T, R, W c (P{T)~R{WQU P, T, S, P c P{T~(S{P)QU P, T, S, Q c (P{T)~S{QQU P, T, S, R c (T{S)~R|PQU P, T, S, T c P{T{S~TQU P, T, S, U c P~T~S{UQU P, T, S, V c T{(S|P)~VQU P, T, S, W c (S~W)|(P{T)QU P, T, S, X c P{T~(X|S)QU P, T, T, O c P{T~T{OQU P, T, T, P c P{T~T~PQU P, T, T, Q c T~T|P{QQU P, T, T, S c P{T{T~SQU P, T, T, T c (PT{T)~TQU P, T, T, U c P{T~U|TQU P, T, U, P c P{T~(U|P)QU P, T, U, Q c (T|P)~U{QQU P, T, U, R c (P{U)~R{TQU P, T, U, S c P~T~U|SQU P, T, U, T c P{T~U|TQU P, T, U, W c (T|P)~W|UQU P, T, U, X c (P{U)~T|XQU P, T, V, Q c (P{T{V)~QQU P, T, V, R c P~T{V~RQU P, T, V, S c T~(V|P)|SQU P, T, V, W c (T~V)|(P{W)QU P, T, V, X c P~T~V|XQU P, T, W, P c (P{P)~(T{W)QU P, T, W, Q c (P~T{W)~QQU P, T, W, R c P{T~(W|R)QU P, T, W, S c (W~S)|(P{T)QU P, T, W, U c (T|P)~W|UQU P, T, W, V c (T~V)|(P{W)QU P, T, W, X c T~(W|P)|XQU P, T, X, Q c (T|P{X)~QQU P, T, X, S c P{T~(X|S)QU P, T, X, U c (P{U)~T|XQU P, T, X, V c P~T~V|XQU P, T, X, W c T~(W|P)|XQU P, U, P, S c P{U~S{PQU P, U, P, T c P{(U|P)~TQU P, U, P, V c (P{P)~(U{V)QU P, U, Q, Q c (P{U~Q)~QQU P, U, Q, R c (P{R)~U{QQU P, U, Q, S c (P{U)~S|QQU P, U, Q, T c U~(T|P){QQU P, U, Q, U c (P{U{U)~QQU P, U, Q, V c (P~U{V)~QQU P, U, Q, W c (P{Q)~U{WQU P, U, Q, X c (P{X)~Q{UQU P, U, R, Q c (P{R)~U{QQU P, U, R, R c (U{R)~R|PQU P, U, R, S c (PR{S)~UQU P, U, R, T c (P{U)~R{TQU P, U, R, V c P{U~R{VQU P, U, R, W c P~U~R{WQU P, U, R, X c U~R|P{XQU P, U, S, P c P{U~S{PQU P, U, S, Q c (P{U)~S|QQU P, U, S, R c (PR{S)~UQU P, U, S, S c (P{S)~U|SQU P, U, S, T c P~U{S~TQU P, U, S, U c (U|P)~S{UQU P, U, S, V c (P{V)~S|UQU P, U, S, W c P~S~W|UQU P, U, S, X c S~(X|P)|UQU P, U, T, P c P{(U|P)~TQU P, U, T, Q c U~(T|P){QQU P, U, T, R c (P{U)~R{TQU P, U, T, S c P~U{T~SQU P, U, T, T c P{U~T|TQU P, U, T, W c (T|P)~W|UQU P, U, T, X c (P{U)~T|XQU P, U, U, Q c (P{U{U)~QQU P, U, U, S c (U|P)~U|SQU P, U, U, X c (U~U)|(P{X)QU P, U, V, P c (P{P)~(U{V)QU P, U, V, Q c (P~U{V)~QQU P, U, V, R c P{U~R{VQU P, U, V, S c (P{V)~S|UQU P, U, V, X c (U|P)~V|XQU P, U, W, Q c (P{Q)~U{WQU P, U, W, R c P~U~R{WQU P, U, W, S c P~W~S|UQU P, U, W, T c W~(T|P)|UQU P, U, X, Q c (P{X)~Q{UQU P, U, X, R c U~R|P{XQU P, U, X, S c (X|P)~S|UQU P, U, X, T c (P{U)~T|XQU P, U, X, U c (U~U)|(P{X)QU P, U, X, V c (U|P)~V|XQU P, U, X, X c (X|U)~X|PQU P, V, P, S c (V~S)|(P{P)QU P, V, P, U c (P{P)~(V{U)QU P, V, Q, Q c (V~Q|P)~QQU P, V, Q, R c (P{V)~R{QQU P, V, Q, S c P~V~S|QQU P, V, Q, T c P{(V|Q)~TQU P, V, Q, U c (P~V{U)~QQU P, V, Q, V c (V|P{V)~QQU P, V, Q, X c P{V{Q~XQU P, V, R, Q c (P{V)~R{QQU P, V, R, S c P{V~R{SQU P, V, R, T c P~V~R{TQU P, V, R, U c P{V{R~UQU P, V, R, W c (V|P)~R{WQU P, V, S, P c (V~S)|(P{P)QU P, V, S, Q c P~V~S|QQU P, V, S, R c P{V~S|RQU P, V, S, T c V|P{S~TQU P, V, S, U c (P{V)~S|UQU P, V, S, W c P{S~W|VQU P, V, S, X c (P{S)~V|XQU P, V, T, Q c (P{V{T)~QQU P, V, T, R c P~V~R{TQU P, V, T, S c V|P{T~SQU P, V, T, W c (V~T)|(P{W)QU P, V, T, X c P~V~T|XQU P, V, U, P c (P{P)~(V{U)QU P, V, U, Q c (P~V{U)~QQU P, V, U, R c P{V{U~RQU P, V, U, S c (P{V)~S|UQU P, V, U, X c V~(U|P)|XQU P, V, V, Q c (V|P{V)~QQU P, V, W, R c (V|P)~R{WQU P, V, W, S c P{W~S|VQU P, V, W, T c (V~T)|(P{W)QU P, V, X, Q c P{V{X~QQU P, V, X, S c (P{S)~V|XQU P, V, X, T c P~V~T|XQU P, V, X, U c V~(U|P)|XQU P, V, X, X c P{V{X{XQU P, W, P, R c P{W~R{PQU P, W, P, T c (P{P)~(W{T)QU P, W, P, X c (P{P)~X{WQU P, W, Q, Q c (P{Q)~W{QQU P, W, Q, R c P~W~R{QQU P, W, Q, S c (P{W{S)~QQU P, W, Q, T c (P~W{T)~QQU P, W, Q, U c (P{Q)~U{WQU P, W, Q, W c (P{W)~Q{WQU P, W, Q, X c P{W~Q{XQU P, W, R, P c P{W~R{PQU P, W, R, Q c P~W~R{QQU P, W, R, R c W~R|P{RQU P, W, R, S c (PS{R)~WQU P, W, R, T c P{(W|R)~TQU P, W, R, U c P~W{R~UQU P, W, R, V c W{R~(V|P)QU P, W, R, X c W{(R|P)~XQU P, W, S, Q c (P{W{S)~QQU P, W, S, R c (PS{R)~WQU P, W, S, T c (W~S)|(P{T)QU P, W, S, U c P~W~S|UQU P, W, S, V c P{W~S|VQU P, W, S, X c (P{XS)~WQU P, W, T, P c (P{P)~(W{T)QU P, W, T, Q c (P~W{T)~QQU P, W, T, R c P{(W|R)~TQU P, W, T, S c (W~S)|(P{T)QU P, W, T, U c W~(T|P)|UQU P, W, T, V c (T~V)|(P{W)QU P, W, T, X c (W|P)~T|XQU P, W, U, Q c (P{Q)~U{WQU P, W, U, R c P~W{U~RQU P, W, U, S c P~W~S|UQU P, W, U, T c W~(T|P)|UQU P, W, V, R c W{(V|P)~RQU P, W, V, S c P{W~S|VQU P, W, V, T c (V~T)|(P{W)QU P, W, W, Q c (P{W)~Q{WQU P, W, W, X c P{W{W{XQU P, W, X, P c (P{P)~X{WQU P, W, X, Q c P~W{X~QQU P, W, X, R c W{X~(R|P)QU P, W, X, S c (P{XS)~WQU P, W, X, T c (W|P)~T|XQU P, W, X, W c P{W{X{WQU P, W, X, X c P~W{X{XQU P, X, O, R c (X{O)~R|PQU P, X, P, Q c (P{Q)~X|PQU P, X, P, R c P~X~R|PQU P, X, P, S c (P{P)~(X{S)QU P, X, P, W c (P{P)~X{WQU P, X, Q, P c (P{Q)~X|PQU P, X, Q, R c (P{X{R)~QQU P, X, Q, S c (P~X{S)~QQU P, X, Q, T c (X|P{T)~QQU P, X, Q, U c (P{X)~Q{UQU P, X, Q, V c P{X~Q{VQU P, X, Q, W c P{X{Q~WQU P, X, Q, X c X|P{Q~XQU P, X, R, O c X~R|P{OQU P, X, R, P c P~X~R|PQU P, X, R, Q c (P{X{R)~QQU P, X, R, R c (X|PR)~RQU P, X, R, S c (P{X)~R|SQU P, X, R, U c X|P{R~UQU P, X, R, W c X~(R|P){WQU P, X, R, X c X~(R|PX)QU P, X, S, P c (P{P)~(X{S)QU P, X, S, Q c (P~X{S)~QQU P, X, S, R c (P{X)~R|SQU P, X, S, S c P{X{S~SQU P, X, S, T c P{(X|S)~TQU P, X, S, U c (X|P)~S|UQU P, X, S, V c (P{S)~V|XQU P, X, S, W c (P{XS)~WQU P, X, S, X c (X~S)|(P{X)QU P, X, T, Q c (X|P{T)~QQU P, X, T, S c P{(X|S)~TQU P, X, T, U c (P{U)~T|XQU P, X, T, V c P~T~V|XQU P, X, T, W c X~(W|T)|PQU P, X, U, Q c (P{X)~Q{UQU P, X, U, R c X|P{U~RQU P, X, U, S c (X|P)~S|UQU P, X, U, T c (P{U)~T|XQU P, X, U, U c (U~U)|(P{X)QU P, X, U, V c (U|P)~V|XQU P, X, U, X c (X|U)~X|PQU P, X, V, Q c P{X~Q{VQU P, X, V, S c (P{S)~V|XQU P, X, V, T c P~V~T|XQU P, X, V, U c V~(U|P)|XQU P, X, V, X c P{X{V{XQU P, X, W, P c (P{P)~X{WQU P, X, W, Q c P{X{W~QQU P, X, W, R c X~(R|P){WQU P, X, W, S c (P{XS)~WQU P, X, W, T c X~(W|T)|PQU P, X, W, W c P{X{W{WQU P, X, W, X c P~X{W{XQU P, X, X, Q c X|P{X~QQU P, X, X, R c X~XR|PQU P, X, X, S c (X~S)|(P{X)QU P, X, X, U c X~(X|U)|PQU P, X, X, V c P{X{X{VQU P, X, X, W c P~X{X{WQU P, X, X, X c X|P{X{XQU Q, O, R, W c Q{O{R~WQU Q, O, S, U c Q{O{S~UQU Q, O, S, V c O{S~V|QQU Q, O, S, X c (Q{O)~(S{X)QU Q, O, T, W c (Q{O)~(T{W)QU Q, O, U, S c Q{O{U~SQU Q, O, U, V c (Q{O)~(U{V)QU Q, O, V, S c O{V~S|QQU Q, O, V, U c (Q{O)~(V{U)QU Q, O, W, R c Q{O{W~RQU Q, O, W, T c (Q{O)~(W{T)QU Q, O, W, X c (Q{O)~X{WQU Q, O, X, S c (Q{O)~(X{S)QU Q, O, X, W c (Q{O)~X{WQU Q, P, P, X c (Q{P)~X|PQU Q, P, Q, U c Q~(P{Q~U)QU Q, P, Q, V c Q~(Q~V|P)QU Q, P, Q, W c Q{(P{Q)~WQU Q, P, R, S c Q~(P{R~S)QU Q, P, R, T c (Q{R)~T{PQU Q, P, R, U c Q{(P{R)~UQU Q, P, R, V c Q{(P{V)~RQU Q, P, R, W c Q{P~R~WQU Q, P, R, X c Q~(P{R{X)QU Q, P, S, R c Q~(P{S~R)QU Q, P, S, T c Q{(P{T)~SQU Q, P, S, U c Q{P~S~UQU Q, P, S, V c Q{S~(V|P)QU Q, P, S, W c Q~(P{S{W)QU Q, P, S, X c (Q~P)~(S{X)QU Q, P, T, R c (Q{R)~T{PQU Q, P, T, S c Q{(P{T)~SQU Q, P, T, T c Q|P{T~TQU Q, P, T, U c Q{(T|P)~UQU Q, P, T, V c Q~(P{T{V)QU Q, P, T, W c (Q~P)~(T{W)QU Q, P, T, X c Q~(T|P{X)QU Q, P, U, Q c Q~(P{U~Q)QU Q, P, U, R c Q{(P{R)~UQU Q, P, U, S c Q{P~U~SQU Q, P, U, T c Q{U~(T|P)QU Q, P, U, U c Q~(P{U{U)QU Q, P, U, V c (Q~P)~(U{V)QU Q, P, U, W c (Q{P)~U{WQU Q, P, U, X c Q~(P{X){UQU Q, P, V, Q c (Q~V|P)~QQU Q, P, V, R c Q{(P{V)~RQU Q, P, V, S c Q{(V|P)~SQU Q, P, V, T c (Q{P)~V{TQU Q, P, V, U c (Q~P)~(V{U)QU Q, P, V, V c Q~(V|P{V)QU Q, P, V, X c Q~X{P{VQU Q, P, W, Q c (Q{P)~W{QQU Q, P, W, R c Q{P~W~RQU Q, P, W, S c Q~(P{W{S)QU Q, P, W, T c (Q~P)~(W{T)QU Q, P, W, U c (Q{P)~U{WQU Q, P, W, W c Q~(P{W){WQU Q, P, W, X c Q~P~X{WQU Q, P, X, P c (Q{P)~X|PQU Q, P, X, R c Q~(P{X{R)QU Q, P, X, S c (Q~P)~(X{S)QU Q, P, X, T c Q~(X|P{T)QU Q, P, X, U c Q~(P{X){UQU Q, P, X, V c Q~X{P{VQU Q, P, X, W c Q~P~X{WQU Q, P, X, X c Q~X|P{XQU Q, Q, P, U c Q~(Q~U{P)QU Q, Q, P, V c Q~(Q~V|P)QU Q, Q, P, W c Q{(Q{P)~WQU Q, Q, Q, U c Q{(Q{Q)~UQU Q, Q, Q, V c (Q{Q)~V|QQU Q, Q, Q, X c Q~(Q{Q{X)QU Q, Q, R, S c Q{Q~R~SQU Q, Q, R, T c Q~(Q~T{R)QU Q, Q, R, U c Q{(Q{U)~RQU Q, Q, R, V c Q~(Q~R{V)QU Q, Q, R, W c Q~(Q{R{W)QU Q, Q, R, X c Q{Q~(R{X)QU Q, Q, S, R c Q{Q~S~RQU Q, Q, S, S c Q{(Q{S)~SQU Q, Q, S, T c Q~(Q~S{T)QU Q, Q, S, V c Q~(Q{S{V)QU Q, Q, S, W c Q{Q~(S{W)QU Q, Q, S, X c Q~(Q{X){SQU Q, Q, T, R c Q~(Q~T{R)QU Q, Q, T, S c Q~(Q~S{T)QU Q, Q, T, T c QQ{T~TQU Q, Q, T, U c (Q{Q)~T{UQU Q, Q, T, V c Q{Q~(T{V)QU Q, Q, T, W c Q{(T|Q)~WQU Q, Q, T, X c Q~(Q~X|T)QU Q, Q, U, P c Q~(Q~U{P)QU Q, Q, U, Q c (Q{Q)~U{QQU Q, Q, U, R c Q{(Q{U)~RQU Q, Q, U, T c Q~(Q{U{T)QU Q, Q, U, U c Q{Q~(U{U)QU Q, Q, U, V c Q~U{Q~VQU Q, Q, U, W c (Q{Q)~W|UQU Q, Q, U, X c Q{Q~X{UQU Q, Q, V, P c Q~(Q~V|P)QU Q, Q, V, Q c (Q{Q)~V|QQU Q, Q, V, R c Q~(Q~R{V)QU Q, Q, V, S c Q~(Q{V{S)QU Q, Q, V, T c Q{Q~(V{T)QU Q, Q, V, U c Q~V{Q~UQU Q, Q, V, V c Q~(V{V)|QQU Q, Q, V, W c Q~(Q{V){WQU Q, Q, W, P c Q{(Q{P)~WQU Q, Q, W, R c Q~(Q{W{R)QU Q, Q, W, S c Q{Q~(W{S)QU Q, Q, W, T c Q~W{Q~TQU Q, Q, W, U c (Q{Q)~W|UQU Q, Q, W, V c Q~(Q{V){WQU Q, Q, W, W c Q{Q~W{WQU Q, Q, W, X c Q~(WQ{X)QU Q, Q, X, Q c (Q{Q{X)~QQU Q, Q, X, R c Q{Q~(X{R)QU Q, Q, X, S c Q~(Q{X){SQU Q, Q, X, T c Q~(Q~X|T)QU Q, Q, X, U c Q{Q~X{UQU Q, Q, X, W c Q~(X{WQ)QU Q, R, O, W c Q{(R{O)~WQU Q, R, P, S c Q~(R~S{P)QU Q, R, P, T c (Q{R)~T{PQU Q, R, P, U c Q{(R{P)~UQU Q, R, P, V c Q{R~(P{V)QU Q, R, P, W c Q{R~P~WQU Q, R, P, X c Q~(R{P{X)QU Q, R, Q, S c Q{R~Q~SQU Q, R, Q, T c Q~(R{Q~T)QU Q, R, Q, U c Q{R~(Q{U)QU Q, R, Q, V c Q~(R~Q{V)QU Q, R, Q, W c Q~(R{Q{W)QU Q, R, Q, X c Q{(R{X)~QQU Q, R, R, S c Q{(R{R)~SQU Q, R, R, T c Q{R~(R{T)QU Q, R, R, V c Q{R{R~VQU Q, R, R, W c Q~R~R{WQU Q, R, R, X c Q{R~X|RQU Q, R, S, P c Q~(R~S{P)QU Q, R, S, Q c Q{R~S~QQU Q, R, S, R c Q{(R{R)~SQU Q, R, S, S c Q{R~(S{S)QU Q, R, S, T c Q~R{S~TQU Q, R, S, U c (Q{R)~S{UQU Q, R, S, V c Q~V{R~SQU Q, R, S, W c Q~(R{W){SQU Q, R, S, X c Q{S~(X|R)QU Q, R, T, P c (Q{R)~T{PQU Q, R, T, Q c Q~(R{T~Q)QU Q, R, T, R c Q{(R{T)~RQU Q, R, T, S c Q~R{T~SQU Q, R, T, T c Q~(R{T{T)QU Q, R, T, U c Q~(R~U|T)QU Q, R, T, X c Q{R~T{XQU Q, R, U, P c Q{(R{P)~UQU Q, R, U, Q c Q{R~(U{Q)QU Q, R, U, S c (Q{R)~U|SQU Q, R, U, T c Q~(R~U|T)QU Q, R, U, U c Q{R~U{UQU Q, R, U, V c Q~(R{V){UQU Q, R, U, W c Q~(R{U){WQU Q, R, U, X c R~(X|QU)QU Q, R, V, P c Q{R~(V{P)QU Q, R, V, Q c (Q~R{V)~QQU Q, R, V, R c Q{R{V~RQU Q, R, V, S c Q~V{R~SQU Q, R, V, U c Q~(R{V){UQU Q, R, V, V c R~V|Q{VQU Q, R, V, W c Q~(R~V|W)QU Q, R, V, X c (Q{R)~V|XQU Q, R, W, O c Q{R~W{OQU Q, R, W, P c Q{R~W~PQU Q, R, W, Q c (Q{R{W)~QQU Q, R, W, R c (QR{W)~RQU Q, R, W, S c Q~(R{W){SQU Q, R, W, U c Q~(R{U){WQU Q, R, W, V c Q~(R~V|W)QU Q, R, W, W c Q~(W|R{W)QU Q, R, W, X c Q{WR~XQU Q, R, X, P c Q{R~(X|P)QU Q, R, X, Q c Q{(R{X)~QQU Q, R, X, R c Q{R~X|RQU Q, R, X, S c Q{(X|R)~SQU Q, R, X, T c Q{R~T{XQU Q, R, X, U c R~(X|QU)QU Q, R, X, V c (Q{R)~V|XQU Q, R, X, W c Q{XR~WQU Q, S, O, U c Q{(S{O)~UQU Q, S, O, V c (S{O)~V|QQU Q, S, O, X c Q~(S{O{X)QU Q, S, P, R c Q~(S~R{P)QU Q, S, P, T c Q{S~(P{T)QU Q, S, P, U c Q{S~P~UQU Q, S, P, V c Q{S~(V|P)QU Q, S, P, W c Q{(S|P)~WQU Q, S, P, X c Q~(S{P~X)QU Q, S, Q, R c Q{S~Q~RQU Q, S, Q, S c Q{(S{Q)~SQU Q, S, Q, T c Q~(S~Q{T)QU Q, S, Q, V c Q~(S{Q{V)QU Q, S, Q, W c Q{(S{W)~QQU Q, S, Q, X c Q~S{Q~XQU Q, S, R, P c Q~(S~R{P)QU Q, S, R, Q c Q{S~R~QQU Q, S, R, R c Q{S~(R{R)QU Q, S, R, S c Q{(S{S)~RQU Q, S, R, T c Q~R{S~TQU Q, S, R, U c Q~(S{R{U)QU Q, S, R, V c Q~V{S~RQU Q, S, R, W c (Q{S)~R{WQU Q, S, R, X c Q{S~(X|R)QU Q, S, S, Q c (Q{S)~S{QQU Q, S, S, R c Q{(S{S)~RQU Q, S, S, T c Q{S{S~TQU Q, S, S, U c Q~S~S|UQU Q, S, S, V c Q{S~V|SQU Q, S, S, W c Q{S~S{WQU Q, S, S, X c Q~X{S{SQU Q, S, T, P c Q{S~(T{P)QU Q, S, T, Q c (Q~S{T)~QQU Q, S, T, R c Q~T~R|SQU Q, S, T, S c Q{S{T~SQU Q, S, T, U c Q~(T{U){SQU Q, S, T, V c Q~(S~T|V)QU Q, S, T, W c Q~(S{T){WQU Q, S, T, X c S~X|Q~TQU Q, S, U, O c Q{S~U{OQU Q, S, U, P c Q{S~U~PQU Q, S, U, R c Q~(S{U{R)QU Q, S, U, S c (QS{U)~SQU Q, S, U, T c Q~(U{T){SQU Q, S, U, U c Q~(S{U){UQU Q, S, U, V c (S|Q)~(U{V)QU Q, S, U, W c Q{U~(W|S)QU Q, S, U, X c Q~(U{X)|SQU Q, S, V, O c S~V|Q{OQU Q, S, V, P c Q{S~(V|P)QU Q, S, V, Q c (Q{S{V)~QQU Q, S, V, R c Q~V{S~RQU Q, S, V, S c Q{S~V|SQU Q, S, V, T c Q~(S~T|V)QU Q, S, V, U c (S|Q)~(V{U)QU Q, S, V, V c (S|QV)~VQU Q, S, V, W c Q{(V|S)~WQU Q, S, W, P c Q~(S{W{P)QU Q, S, W, Q c Q{(S{W)~QQU Q, S, W, R c (Q{S)~R{WQU Q, S, W, S c Q{S~S{WQU Q, S, W, T c Q~(S{T){WQU Q, S, W, U c Q{(W|S)~UQU Q, S, W, V c Q{W~(V|S)QU Q, S, W, W c Q{S~W|WQU Q, S, W, X c Q~(W|S{X)QU Q, S, X, O c Q~(S{X){OQU Q, S, X, P c Q~(S{X)~PQU Q, S, X, Q c Q~S{X~QQU Q, S, X, R c Q{S~(X|R)QU Q, S, X, S c Q~X{S{SQU Q, S, X, T c S~X|Q~TQU Q, S, X, U c Q~(X{U)|SQU Q, S, X, W c Q~(X|S{W)QU Q, S, X, X c Q~S{X{XQU Q, T, O, W c Q~(T{O{W)QU Q, T, P, R c (Q{R)~T{PQU Q, T, P, S c Q{(T{P)~SQU Q, T, P, T c Q{T~T|PQU Q, T, P, U c Q{(T|P)~UQU Q, T, P, V c Q~(T{P{V)QU Q, T, P, W c Q~(T{P~W)QU Q, T, P, X c Q~(T|P{X)QU Q, T, Q, R c Q~(T~Q{R)QU Q, T, Q, S c Q~(T{Q~S)QU Q, T, Q, T c QQ{T~TQU Q, T, Q, U c Q~(T{Q{U)QU Q, T, Q, V c Q{(T{V)~QQU Q, T, Q, W c Q{(T|Q)~WQU Q, T, Q, X c Q~(T{X)|QQU Q, T, R, P c (Q{R)~T{PQU Q, T, R, Q c (Q~T{R)~QQU Q, T, R, R c Q{(T{R)~RQU Q, T, R, S c Q~T~R|SQU Q, T, R, T c (Q{T)~R{TQU Q, T, R, U c Q~(R~U|T)QU Q, T, R, X c Q{T~R{XQU Q, T, S, P c Q{(T{P)~SQU Q, T, S, Q c (Q{T)~S|QQU Q, T, S, R c Q~T~R|SQU Q, T, S, S c Q{T~S{SQU Q, T, S, U c Q~(T{U){SQU Q, T, S, V c Q~(T~S|V)QU Q, T, S, W c (Q{TS)~WQU Q, T, S, X c S~X|Q~TQU Q, T, T, P c Q{T~T|PQU Q, T, T, Q c QQ{T~TQU Q, T, T, R c Q~(T{T{R)QU Q, T, T, U c Q~(T{T){UQU Q, T, T, V c (T|Q)~V{TQU Q, T, T, W c Q~W{T{TQU Q, T, T, X c (Q{T)~T|XQU Q, T, U, P c Q{(T|P)~UQU Q, T, U, Q c (Q{T{U)~QQU Q, T, U, R c Q~(U~R|T)QU Q, T, U, S c Q~(T{U){SQU Q, T, U, T c Q~(T{T){UQU Q, T, U, U c Q{T~U|UQU Q, T, U, V c T{UQ~VQU Q, T, U, W c (T|Q)~U{WQU Q, T, U, X c Q~U{T{XQU Q, T, V, P c Q~(T{V{P)QU Q, T, V, Q c Q{(T{V)~QQU Q, T, V, S c Q~(T~S|V)QU Q, T, V, T c (T|Q)~V{TQU Q, T, V, U c T{VQ~UQU Q, T, V, V c Q~V{T{VQU Q, T, V, W c T~W|Q~VQU Q, T, V, X c Q~T{V{XQU Q, T, W, O c Q~(T{W){OQU Q, T, W, P c Q~(T{W)~PQU Q, T, W, Q c Q~T{W~QQU Q, T, W, S c (Q{TS)~WQU Q, T, W, T c Q~W{T{TQU Q, T, W, U c TQ~W{UQU Q, T, W, V c T~W|Q~VQU Q, T, W, W c Q~T{W{WQU Q, T, X, P c Q~(T{X|P)QU Q, T, X, Q c Q~(T{X)|QQU Q, T, X, R c Q{T~R{XQU Q, T, X, S c (X|TQ)~SQU Q, T, X, T c (Q{T)~T|XQU Q, T, X, U c Q{(X|T)~UQU Q, T, X, V c Q~T{X{VQU Q, T, X, X c Q~(X|T{X)QU Q, U, O, S c Q{(U{O)~SQU Q, U, O, V c Q~(U{O{V)QU Q, U, P, Q c (Q~U{P)~QQU Q, U, P, R c Q{U~(P{R)QU Q, U, P, S c Q{U~P~SQU Q, U, P, T c Q{U~(T|P)QU Q, U, P, U c Q~(U{P{U)QU Q, U, P, V c Q~(U{P~V)QU Q, U, P, W c Q~(U|P{W)QU Q, U, P, X c Q~(P{X){UQU Q, U, Q, P c Q~(U~Q{P)QU Q, U, Q, Q c Q{U~(Q{Q)QU Q, U, Q, R c Q{(U{Q)~RQU Q, U, Q, T c Q~(U{Q{T)QU Q, U, Q, U c Q{(U|Q)~UQU Q, U, Q, V c Q~U{Q~VQU Q, U, Q, W c Q{UQ~WQU Q, U, Q, X c Q{U{Q~XQU Q, U, R, P c Q{U~(R{P)QU Q, U, R, Q c (Q{U)~R{QQU Q, U, R, S c Q~(U{R{S)QU Q, U, R, T c Q~(U~R|T)QU Q, U, R, U c Q{U{R~UQU Q, U, R, V c Q{U~(V|R)QU Q, U, R, W c Q{(U|R)~WQU Q, U, R, X c R~(X|QU)QU Q, U, S, O c Q{U~S{OQU Q, U, S, P c Q{U~S~PQU Q, U, S, R c Q~(U{S{R)QU Q, U, S, S c (QS{U)~SQU Q, U, S, T c Q~(U{T){SQU Q, U, S, U c (Q{U)~S|UQU Q, U, S, V c U{S~(V|Q)QU Q, U, S, W c Q{U~(W|S)QU Q, U, S, X c Q~(U{X)|SQU Q, U, T, P c Q{U~(T|P)QU Q, U, T, Q c (Q{U{T)~QQU Q, U, T, R c Q~(U~R|T)QU Q, U, T, S c Q~(U{T){SQU Q, U, T, T c Q~(T{T){UQU Q, U, T, U c Q{U~T|UQU Q, U, T, V c UQ~V{TQU Q, U, T, W c U{TQ~WQU Q, U, T, X c Q~U{T{XQU Q, U, U, P c Q~(U{U{P)QU Q, U, U, Q c Q{(U{U)~QQU Q, U, U, R c Q{U{U~RQU Q, U, U, S c (Q{U)~S|UQU Q, U, U, T c Q{U~T|UQU Q, U, U, V c Q~V{U{UQU Q, U, U, W c Q~U{U{WQU Q, U, V, O c Q~(U{V){OQU Q, U, V, P c Q~(U{V)~PQU Q, U, V, Q c Q~U{V~QQU Q, U, V, R c Q{U~(V|R)QU Q, U, V, S c U{(V|Q)~SQU Q, U, V, T c UQ~V{TQU Q, U, V, U c Q~V{U{UQU Q, U, V, V c Q~U{V{VQU Q, U, V, W c U~V|Q~WQU Q, U, V, X c Q~(V{X)|UQU Q, U, W, P c Q~(U{W|P)QU Q, U, W, Q c Q{U~WQQU Q, U, W, R c Q{(U|R)~WQU Q, U, W, S c Q{U~(W|S)QU Q, U, W, T c U{WQ~TQU Q, U, W, U c Q~U{W{UQU Q, U, W, V c U~V|Q~WQU Q, U, W, W c Q~(W{W)|UQU Q, U, W, X c Q{W~(X|U)QU Q, U, X, P c Q~(X{P){UQU Q, U, X, Q c Q{U{X~QQU Q, U, X, R c (X|QU)~RQU Q, U, X, S c Q~(U{X)|SQU Q, U, X, T c Q{U~(X|T)QU Q, U, X, V c Q~(X{V)|UQU Q, U, X, W c Q{(X|U)~WQU Q, U, X, X c Q{U{X{XQU Q, V, O, S c (V{O)~S|QQU Q, V, O, U c Q~(V{O{U)QU Q, V, P, Q c (Q~V|P)~QQU Q, V, P, R c Q{(V{P)~RQU Q, V, P, S c Q{(V|P)~SQU Q, V, P, T c Q~(V{P{T)QU Q, V, P, U c Q~(V{P~U)QU Q, V, P, V c Q~(V|P{V)QU Q, V, P, X c Q~X{V{PQU Q, V, Q, P c Q~(V~Q|P)QU Q, V, Q, Q c Q~V~Q|QQU Q, V, Q, R c Q~(V{Q~R)QU Q, V, Q, S c Q~(V{Q{S)QU Q, V, Q, T c Q{(V{T)~QQU Q, V, Q, U c Q~V{Q~UQU Q, V, Q, V c Q~(V{V)|QQU Q, V, Q, W c (Q{V)~Q{WQU Q, V, R, P c (Q{V)~R|PQU Q, V, R, Q c Q~(V{R~Q)QU Q, V, R, R c Q{V~R{RQU Q, V, R, S c Q~V{R~SQU Q, V, R, U c Q{(V|R)~UQU Q, V, R, V c V|Q{R~VQU Q, V, R, W c Q~(V~R|W)QU Q, V, R, X c Q~V{R{XQU Q, V, S, O c V~S|Q{OQU Q, V, S, P c Q{(V|P)~SQU Q, V, S, Q c (Q{V{S)~QQU Q, V, S, R c Q~V{S~RQU Q, V, S, S c Q{V~S|SQU Q, V, S, T c Q~(S~T|V)QU Q, V, S, U c (V|Q)~S{UQU Q, V, S, V c V~(S|QV)QU Q, V, S, W c Q{(V|S)~WQU Q, V, T, P c Q~(V{T{P)QU Q, V, T, Q c Q{(V{T)~QQU Q, V, T, S c Q~(T~S|V)QU Q, V, T, T c V~(T|Q){TQU Q, V, T, U c VQ~U{TQU Q, V, T, V c Q~V{T{VQU Q, V, T, W c T~W|Q~VQU Q, V, T, X c Q~T{V{XQU Q, V, U, O c Q~(V{U){OQU Q, V, U, P c Q~(V{U)~PQU Q, V, U, Q c Q~V{U~QQU Q, V, U, R c Q{(V|R)~UQU Q, V, U, S c (V|Q)~U|SQU Q, V, U, T c VQ~U{TQU Q, V, U, U c Q~V{U{UQU Q, V, U, V c Q~U{V{VQU Q, V, U, W c V~U|Q~WQU Q, V, U, X c Q~(V{X)|UQU Q, V, V, P c Q~(V{V|P)QU Q, V, V, Q c Q~(V{V)|QQU Q, V, V, R c V|Q{V~RQU Q, V, V, S c V~(S|QV)QU Q, V, V, T c Q~V{V{TQU Q, V, V, U c Q~U{V{VQU Q, V, V, X c (V|Q)~V|XQU Q, V, W, Q c Q~(V{W|Q)QU Q, V, W, R c Q~(V~R|W)QU Q, V, W, S c Q~V{W{SQU Q, V, W, T c W~T|Q~VQU Q, V, W, U c V~U|Q~WQU Q, V, W, X c Q{V{W{XQU Q, V, X, P c Q~X{V{PQU Q, V, X, R c Q~V{X{RQU Q, V, X, T c Q~T{V{XQU Q, V, X, U c Q~(V{X)|UQU Q, V, X, V c (V|Q)~V|XQU Q, V, X, W c Q{V{X{WQU Q, W, O, R c Q{(W{O)~RQU Q, W, O, T c Q~(W{O{T)QU Q, W, O, X c (Q{O)~X{WQU Q, W, P, Q c Q{W~(P{Q)QU Q, W, P, R c Q{W~P~RQU Q, W, P, S c Q~(W{P{S)QU Q, W, P, T c Q~(W{P~T)QU Q, W, P, U c Q~(W|P{U)QU Q, W, P, W c Q~(W{P){WQU Q, W, P, X c Q~W{P{XQU Q, W, Q, P c Q{W~(Q{P)QU Q, W, Q, R c Q~(W{Q{R)QU Q, W, Q, S c Q{(W|Q)~SQU Q, W, Q, T c Q~W{Q~TQU Q, W, Q, U c (Q{W)~Q{UQU Q, W, Q, V c Q~(W|Q{V)QU Q, W, Q, W c Q{W{Q~WQU Q, W, Q, X c Q~(WQ{X)QU Q, W, R, O c Q{W~R{OQU Q, W, R, P c Q{W~R~PQU Q, W, R, Q c (Q{W{R)~QQU Q, W, R, R c (QR{W)~RQU Q, W, R, S c (Q{W)~R|SQU Q, W, R, U c Q{W~(U|R)QU Q, W, R, V c Q~W{R{VQU Q, W, R, W c Q~(W|R{W)QU Q, W, R, X c Q{WR~XQU Q, W, S, P c Q{W~(S|P)QU Q, W, S, Q c Q{(W{S)~QQU Q, W, S, R c (Q{W)~R|SQU Q, W, S, S c Q{W{S~SQU Q, W, S, T c Q~(S{T){WQU Q, W, S, U c Q{(W|S)~UQU Q, W, S, V c Q{W~(V|S)QU Q, W, S, W c Q{W~S|WQU Q, W, S, X c Q~(W|S{X)QU Q, W, T, O c Q~(W{T){OQU Q, W, T, P c Q~(W{T)~PQU Q, W, T, Q c Q{W~(T|Q)QU Q, W, T, S c (Q{TS)~WQU Q, W, T, T c Q~W{T{TQU Q, W, T, U c WQ~T{UQU Q, W, T, V c W~T|Q~VQU Q, W, T, W c Q{(W|T)~WQU Q, W, U, P c Q~(W{U|P)QU Q, W, U, Q c Q{W~UQQU Q, W, U, R c Q{W~(U|R)QU Q, W, U, S c Q~W{U{SQU Q, W, U, T c WQ~T{UQU Q, W, U, U c Q~U{W{UQU Q, W, U, V c U~V|Q~WQU Q, W, U, W c Q~(W{W)|UQU Q, W, U, X c Q{W~(X|U)QU Q, W, V, Q c Q~(W{V|Q)QU Q, W, V, R c Q~W{V{RQU Q, W, V, S c Q{W~(V|S)QU Q, W, V, T c W~T|Q~VQU Q, W, V, U c V~U|Q~WQU Q, W, V, X c Q{W{V{XQU Q, W, W, P c Q~(W{P){WQU Q, W, W, Q c Q{W{W~QQU Q, W, W, R c Q~(W{W|R)QU Q, W, W, S c Q{W~S|WQU Q, W, W, T c Q{W~(W|T)QU Q, W, W, U c Q~(W{W)|UQU Q, W, W, W c Q{W{W{WQU Q, W, W, X c Q~(W{X)|WQU Q, W, X, O c Q~X{W{OQU Q, W, X, P c Q~W{X{PQU Q, W, X, Q c Q~(WQ{X)QU Q, W, X, R c Q{W~XRQU Q, W, X, S c Q~(W{X|S)QU Q, W, X, U c Q{W~(X|U)QU Q, W, X, V c Q{W{X{VQU Q, W, X, W c Q~(W{X)|WQU Q, W, X, X c (Q{WX)~XQU Q, X, O, S c Q~(X{O{S)QU Q, X, O, W c Q~X{O{WQU Q, X, P, P c (Q{P)~X|PQU Q, X, P, R c Q{(X|P)~RQU Q, X, P, S c Q~(X{P~S)QU Q, X, P, T c Q~(X|P{T)QU Q, X, P, U c Q~(X{P){UQU Q, X, P, V c Q~X{P{VQU Q, X, P, W c Q~X{P~WQU Q, X, P, X c Q~X|P{XQU Q, X, Q, Q c (Q{X{Q)~QQU Q, X, Q, R c Q{(X{R)~QQU Q, X, Q, S c (Q{X)~Q{SQU Q, X, Q, T c Q~(X~Q|T)QU Q, X, Q, U c Q{X~Q{UQU Q, X, Q, W c Q~(X{WQ)QU Q, X, R, P c Q~(X{R{P)QU Q, X, R, Q c Q{(X{R)~QQU Q, X, R, R c Q{X~R|RQU Q, X, R, S c Q{(X|R)~SQU Q, X, R, T c Q{X{R~TQU Q, X, R, U c (X|QU)~RQU Q, X, R, V c (Q{X)~R|VQU Q, X, R, W c Q{XR~WQU Q, X, S, O c Q~(X{S){OQU Q, X, S, P c Q~(X{S)~PQU Q, X, S, Q c Q~X{S~QQU Q, X, S, R c Q{(X|R)~SQU Q, X, S, S c Q~X{S{SQU Q, X, S, T c X~S|Q~TQU Q, X, S, U c Q~(X{U)|SQU Q, X, S, W c Q~(X|S{W)QU Q, X, S, X c Q~S{X{XQU Q, X, T, P c Q~(X{T|P)QU Q, X, T, Q c Q~(X{T)|QQU Q, X, T, R c Q{X{T~RQU Q, X, T, S c (X|TQ)~SQU Q, X, T, T c (Q{T)~T|XQU Q, X, T, U c Q{(X|T)~UQU Q, X, T, V c Q~T{X{VQU Q, X, T, X c Q~(X|T{X)QU Q, X, U, P c Q~(X{P){UQU Q, X, U, Q c Q~X{U{QQU Q, X, U, R c (X|QU)~RQU Q, X, U, S c Q~(X{U)|SQU Q, X, U, T c Q{(X|T)~UQU Q, X, U, V c Q~(X{V)|UQU Q, X, U, W c Q{(X|U)~WQU Q, X, U, X c Q{X{U{XQU Q, X, V, P c Q~X{V{PQU Q, X, V, R c Q~(X{V|R)QU Q, X, V, T c Q~T{X{VQU Q, X, V, U c Q~(X{V)|UQU Q, X, V, V c (V|Q)~V|XQU Q, X, V, W c Q{X{V{WQU Q, X, W, O c Q~X{W{OQU Q, X, W, P c Q~X{W~PQU Q, X, W, Q c Q~(X{WQ)QU Q, X, W, R c Q{X~WRQU Q, X, W, S c Q~(X{W|S)QU Q, X, W, U c Q{(X|U)~WQU Q, X, W, V c Q{X{W{VQU Q, X, W, W c Q~(X{W)|WQU Q, X, W, X c (Q{WX)~XQU Q, X, X, P c Q~X{X|PQU Q, X, X, S c Q~S{X{XQU Q, X, X, T c Q~(X{X|T)QU Q, X, X, U c Q{X{X{UQU Q, X, X, W c (Q{WX)~XQU R, O, P, X c (R{O)~X|PQU R, O, Q, W c (R{O)~W{QQU R, O, T, V c (R{O)~V{TQU R, O, U, W c (R{O)~U{WQU R, O, V, T c (R{O)~V{TQU R, O, W, Q c (R{O)~W{QQU R, O, W, U c (R{O)~U{WQU R, O, X, P c (R{O)~X|PQU R, P, O, X c (R{O)~X|PQU R, P, P, W c R~(P{W)|PQU R, P, P, X c R~P~X|PQU R, P, Q, S c (R~S{P)~QQU R, P, Q, T c (R{Q)~T{PQU R, P, Q, U c (R{P)~U{QQU R, P, Q, V c (R{P)~V|QQU R, P, Q, W c R~P~W{QQU R, P, Q, X c (R{P{X)~QQU R, P, R, R c R~R~R|PQU R, P, R, U c R~(R{U)|PQU R, P, R, W c R|P{R~WQU R, P, R, X c R~(X|PR)QU R, P, S, Q c (R~S{P)~QQU R, P, S, T c R~(S{T)|PQU R, P, S, U c R|P{S~UQU R, P, S, V c R~V{P{SQU R, P, S, W c (R{PS)~WQU R, P, S, X c (R|P)~(S{X)QU R, P, T, Q c (R{Q)~T{PQU R, P, T, S c R~(T{S)|PQU R, P, T, U c (R{P)~T{UQU R, P, T, V c R~P~V{TQU R, P, T, W c (R|P)~(T{W)QU R, P, U, Q c (R{P)~U{QQU R, P, U, R c (R{U)~R|PQU R, P, U, S c R|P{U~SQU R, P, U, T c R~(P{U){TQU R, P, U, V c (R|P)~(U{V)QU R, P, U, W c R~P~U{WQU R, P, U, X c R~U|P{XQU R, P, V, Q c (R{P)~V|QQU R, P, V, S c R~V{P{SQU R, P, V, T c R~P~V{TQU R, P, V, U c (R|P)~(V{U)QU R, P, V, W c R~(V|P){WQU R, P, W, P c R~(P{W)|PQU R, P, W, Q c R~P~W{QQU R, P, W, R c R|P{W~RQU R, P, W, S c (R{PS)~WQU R, P, W, T c (R|P)~(W{T)QU R, P, W, U c (R{P)~W|UQU R, P, W, V c R~(V|P){WQU R, P, W, X c (R|P)~X{WQU R, P, X, O c R~X|P{OQU R, P, X, P c R~P~X|PQU R, P, X, Q c (R{P{X)~QQU R, P, X, R c R~(X|PR)QU R, P, X, S c (R|P)~(X{S)QU R, P, X, U c R~U|P{XQU R, P, X, W c (R|P)~X{WQU R, P, X, X c (R|PX)~XQU R, Q, O, W c (R{O)~W{QQU R, Q, P, S c (R~S{P)~QQU R, Q, P, T c (R{Q)~T{PQU R, Q, P, U c (R{P)~U{QQU R, Q, P, V c R~(Q{V)|PQU R, Q, P, W c R~P~W{QQU R, Q, P, X c (R{P{X)~QQU R, Q, Q, S c R~Q~S{QQU R, Q, Q, T c (R{Q~T)~QQU R, Q, Q, U c R~(Q{U){QQU R, Q, Q, V c (R~Q{V)~QQU R, Q, Q, W c (R{Q{W)~QQU R, Q, Q, X c (R{X)~Q{QQU R, Q, R, S c (R{R)~S{QQU R, Q, R, T c R~(R{T){QQU R, Q, R, V c R{Q{R~VQU R, Q, R, W c R~Q~R{WQU R, Q, R, X c R~X{Q|RQU R, Q, S, P c (R~S{P)~QQU R, Q, S, Q c R~Q~S{QQU R, Q, S, R c (R{R)~S{QQU R, Q, S, S c (R{S)~S|QQU R, Q, S, T c R~Q{S~TQU R, Q, S, U c (R{Q)~S{UQU R, Q, S, V c R~S{Q~VQU R, Q, S, W c R~(Q{S){WQU R, Q, S, X c Q{S~(X|R)QU R, Q, T, P c (R{Q)~T{PQU R, Q, T, Q c (R{Q~T)~QQU R, Q, T, R c (R{T)~R{QQU R, Q, T, S c R~Q{T~SQU R, Q, T, T c R|Q{T~TQU R, Q, T, U c (R~U|T)~QQU R, Q, T, X c R{Q~X{TQU R, Q, U, P c (R{P)~U{QQU R, Q, U, Q c R~(Q{U){QQU R, Q, U, S c (R{Q)~U|SQU R, Q, U, T c (R~U|T)~QQU R, Q, U, U c R~U{Q{UQU R, Q, U, V c (R{V)~Q{UQU R, Q, U, W c (R{U)~Q{WQU R, Q, U, X c R~(X|QU)QU R, Q, V, P c R~(Q{V)|PQU R, Q, V, Q c (R~Q{V)~QQU R, Q, V, R c R{Q{V~RQU R, Q, V, S c (R{VQ)~SQU R, Q, V, U c (R{V)~Q{UQU R, Q, V, V c R~V|Q{VQU R, Q, V, W c R{Q~W{VQU R, Q, V, X c R{Q~V{XQU R, Q, W, O c R~W{Q{OQU R, Q, W, P c R~W{Q~PQU R, Q, W, Q c (R{Q{W)~QQU R, Q, W, R c R~Q~R{WQU R, Q, W, S c R~(Q{W)|SQU R, Q, W, U c (R{U)~Q{WQU R, Q, W, V c R{Q~W{VQU R, Q, W, W c (R{QW)~WQU R, Q, W, X c Q{WR~XQU R, Q, X, P c R~X|Q{PQU R, Q, X, Q c (R{X)~Q{QQU R, Q, X, R c R~X{Q|RQU R, Q, X, S c Q{(X|R)~SQU R, Q, X, T c R{Q~X{TQU R, Q, X, U c R~(X|QU)QU R, Q, X, V c R~(Q{X)|VQU R, Q, X, W c Q{XR~WQU R, R, P, R c R~R~R|PQU R, R, P, U c R~(R{U)|PQU R, R, P, W c R{R~W|PQU R, R, P, X c R~(X|PR)QU R, R, Q, S c (R{R)~S{QQU R, R, Q, T c R~(R{T){QQU R, R, Q, V c (R{R{V)~QQU R, R, Q, W c R~R~Q{WQU R, R, Q, X c R~X|R{QQU R, R, R, P c R~R~R|PQU R, R, R, W c (R{R)~R{WQU R, R, R, X c R~X|RRQU R, R, S, Q c (R{R)~S{QQU R, R, S, T c R{R{S~TQU R, R, S, U c (R{SR)~UQU R, R, S, V c R~(R{V)|SQU R, R, S, W c (S~W)|(R{R)QU R, R, S, X c R{R~X|SQU R, R, T, Q c R~(R{T){QQU R, R, T, S c R{R{T~SQU R, R, T, T c RR{T~TQU R, R, T, U c R{R~U{TQU R, R, T, V c R~(TR{V)QU R, R, T, W c R{R~T{WQU R, R, U, P c R~(R{U)|PQU R, R, U, S c (R{SR)~UQU R, R, U, T c R{R~U{TQU R, R, U, W c R~(U{WR)QU R, R, V, Q c (R{R{V)~QQU R, R, V, S c R~(R{V)|SQU R, R, V, T c R~(V{TR)QU R, R, V, W c R~(R{W)|VQU R, R, W, P c R{R~W|PQU R, R, W, Q c R~R~Q{WQU R, R, W, R c (R{R)~R{WQU R, R, W, S c (W~S)|(R{R)QU R, R, W, T c R{R~T{WQU R, R, W, U c R~(WR{U)QU R, R, W, V c R~(R{W)|VQU R, R, W, X c R~R{W{XQU R, R, X, P c R~(X|PR)QU R, R, X, Q c R~X|R{QQU R, R, X, R c R~X|RRQU R, R, X, S c R{R~X|SQU R, R, X, W c R~R{X{WQU R, R, X, X c R~(X|RX)QU R, S, P, Q c (R~S{P)~QQU R, S, P, T c R~(S{T)|PQU R, S, P, U c R{S~U|PQU R, S, P, V c R~V{S{PQU R, S, P, W c (R{PS)~WQU R, S, P, X c (R|P)~(S{X)QU R, S, Q, P c (R~S{P)~QQU R, S, Q, Q c R~S~Q{QQU R, S, Q, R c (R{R)~S{QQU R, S, Q, S c (R{S)~S|QQU R, S, Q, T c R~Q{S~TQU R, S, Q, U c (R{S{U)~QQU R, S, Q, V c R~S{Q~VQU R, S, Q, W c R~(S{Q){WQU R, S, Q, X c S~(X|R){QQU R, S, R, Q c (R{R)~S{QQU R, S, R, T c (R{S)~R{TQU R, S, R, U c (R{SR)~UQU R, S, R, V c R~(R{V)|SQU R, S, R, W c (S~W)|(R{R)QU R, S, R, X c R{R~X|SQU R, S, S, Q c (R{S)~S|QQU R, S, S, U c R~(S{U)|SQU R, S, S, V c R{S~S{VQU R, S, S, W c (S|RS)~WQU R, S, S, X c R~X|SSQU R, S, T, P c R~(S{T)|PQU R, S, T, Q c R~T~Q|SQU R, S, T, R c R{S~T{RQU R, S, T, T c R~(T{T)|SQU R, S, T, U c (R{T)~S|UQU R, S, T, V c R{S~V|TQU R, S, T, X c (R{S)~T|XQU R, S, U, P c R{S~U|PQU R, S, U, Q c (R{S{U)~QQU R, S, U, R c (R{SR)~UQU R, S, U, S c R~(S{U)|SQU R, S, U, T c (R{T)~S|UQU R, S, U, U c (RU{U)~SQU R, S, U, V c S~(V|RU)QU R, S, U, W c R~S{U{WQU R, S, U, X c (RX{S)~UQU R, S, V, P c R~V{S{PQU R, S, V, Q c R~S{V~QQU R, S, V, R c (R{V)~R|SQU R, S, V, S c R{S~S{VQU R, S, V, T c R{S~V|TQU R, S, V, U c S~(V|RU)QU R, S, V, V c R~S{V{VQU R, S, V, X c R~V|S{XQU R, S, W, P c (R{PS)~WQU R, S, W, Q c R~(S{Q){WQU R, S, W, R c (S~W)|(R{R)QU R, S, W, S c (S|RS)~WQU R, S, W, U c R~S{W{UQU R, S, W, W c R~W{WSQU R, S, W, X c R{S~W|XQU R, S, X, P c R~(X{P)|SQU R, S, X, Q c S~(X|R){QQU R, S, X, R c R~X|S{RQU R, S, X, S c R~X|SSQU R, S, X, T c R~S{X{TQU R, S, X, U c (RX{S)~UQU R, S, X, V c R~V|S{XQU R, S, X, W c R{S~W|XQU R, T, O, V c (R{O)~V{TQU R, T, P, Q c (R{Q)~T{PQU R, T, P, S c R~(T{S)|PQU R, T, P, U c (R{P)~T{UQU R, T, P, V c R~P~V{TQU R, T, P, W c R~(T{P){WQU R, T, Q, P c (R{Q)~T{PQU R, T, Q, Q c (R{T~Q)~QQU R, T, Q, R c (R{T)~R{QQU R, T, Q, S c R~T~Q|SQU R, T, Q, T c R~(T{Q){TQU R, T, Q, U c (R~U|T)~QQU R, T, Q, X c R{T{Q~XQU R, T, R, Q c (R{T)~R{QQU R, T, R, S c R{T~S{RQU R, T, R, T c RR{T~TQU R, T, R, U c R{T{R~UQU R, T, R, V c R~(TR{V)QU R, T, R, W c R{T~R{WQU R, T, S, P c R~(T{S)|PQU R, T, S, Q c R~T~Q|SQU R, T, S, R c R{T~S{RQU R, T, S, T c R~(T{T)|SQU R, T, S, U c (R{T)~S|UQU R, T, S, V c R~T{S{VQU R, T, S, X c (R{S)~T|XQU R, T, T, Q c (R{T{T)~QQU R, T, T, R c RR{T~TQU R, T, T, S c R~(T{T)|SQU R, T, T, U c R~T{T{UQU R, T, T, W c (T|R)~(T{W)QU R, T, T, X c R~X|TTQU R, T, U, P c R~(U{P){TQU R, T, U, Q c (R~U|T)~QQU R, T, U, R c R{T{U~RQU R, T, U, S c (R{T)~S|UQU R, T, U, T c R~T{U{TQU R, T, U, U c (U|TR)~UQU R, T, U, V c R{T~U|VQU R, T, U, W c (T{W)R~UQU R, T, U, X c R~X{T|UQU R, T, V, O c R~V{T{OQU R, T, V, P c R~V{T~PQU R, T, V, R c R~(TR{V)QU R, T, V, S c R~T{V{SQU R, T, V, U c R{T~U|VQU R, T, V, V c (R{TV)~VQU R, T, V, W c R~W|T{VQU R, T, V, X c T{VR~XQU R, T, W, P c R~(T{P){WQU R, T, W, R c R~T{W{RQU R, T, W, T c (T|R)~(W{T)QU R, T, W, U c (T{W)R~UQU R, T, W, V c R~W|T{VQU R, T, W, X c (T|R)~X{WQU R, T, X, Q c R{T{X~QQU R, T, X, S c R~X|T{SQU R, T, X, T c R~X|TTQU R, T, X, U c R~X{T|UQU R, T, X, V c T{XR~VQU R, T, X, W c (T|R)~X{WQU R, T, X, X c R{T{X{XQU R, U, O, W c R~U{O{WQU R, U, P, Q c (R{P)~U{QQU R, U, P, R c (R{U)~R|PQU R, U, P, S c R{U~S|PQU R, U, P, T c R~(U{P){TQU R, U, P, V c R~U{P{VQU R, U, P, W c R~U{P~WQU R, U, P, X c R~U|P{XQU R, U, Q, P c (R{P)~U{QQU R, U, Q, Q c R~(U{Q){QQU R, U, Q, S c R~U{Q~SQU R, U, Q, T c (R~U|T)~QQU R, U, Q, U c R~U{Q{UQU R, U, Q, V c (R{V)~Q{UQU R, U, Q, W c (R{U)~Q{WQU R, U, Q, X c R~(X|QU)QU R, U, R, P c (R{U)~R|PQU R, U, R, S c (R{SR)~UQU R, U, R, T c R{U~R{TQU R, U, R, W c R~(U{WR)QU R, U, S, P c R{U~S|PQU R, U, S, Q c (R{U{S)~QQU R, U, S, R c (R{SR)~UQU R, U, S, S c R~U{S{SQU R, U, S, T c (R{T)~S|UQU R, U, S, U c (RU{U)~SQU R, U, S, V c S~(V|RU)QU R, U, S, W c R~S{U{WQU R, U, S, X c (RX{S)~UQU R, U, T, P c R~(U{P){TQU R, U, T, Q c (R~U|T)~QQU R, U, T, R c R~U{T{RQU R, U, T, S c (R{T)~S|UQU R, U, T, T c R~T{U{TQU R, U, T, U c (U|TR)~UQU R, U, T, V c R{U~T|VQU R, U, T, W c (UR)~(T{W)QU R, U, T, X c R~X|U{TQU R, U, U, Q c R~U{U{QQU R, U, U, S c (RU{U)~SQU R, U, U, T c U~(U|TR)QU R, U, U, V c (UR)~(U{V)QU R, U, U, W c (R{WU)~UQU R, U, U, X c R~X|UUQU R, U, V, P c R~U{V{PQU R, U, V, Q c (R{V)~Q{UQU R, U, V, S c (V|RU)~SQU R, U, V, T c R{U~T|VQU R, U, V, U c (UR)~(V{U)QU R, U, V, W c U~(V|WR)QU R, U, V, X c R~X{U|VQU R, U, W, O c R~U{W{OQU R, U, W, P c R~U{W~PQU R, U, W, Q c (R{U)~Q{WQU R, U, W, R c R~(U{WR)QU R, U, W, S c R~W{U|SQU R, U, W, T c (UR)~(W{T)QU R, U, W, U c (R{WU)~UQU R, U, W, V c U~(V|WR)QU R, U, W, W c R~W|U{WQU R, U, W, X c R{U{W{XQU R, U, X, P c R~U{X|PQU R, U, X, Q c R~(X|QU)QU R, U, X, S c (RX{S)~UQU R, U, X, T c R~X|U{TQU R, U, X, U c R~X|UUQU R, U, X, V c R~X{U|VQU R, U, X, W c R{U{X{WQU R, V, O, T c R~V{O{TQU R, V, P, Q c R~(V{P){QQU R, V, P, S c R~V{P{SQU R, V, P, T c R~V{P~TQU R, V, P, U c R~V|P{UQU R, V, P, W c R~(V|P){WQU R, V, Q, P c R~(V{Q)|PQU R, V, Q, Q c (R~Q{V)~QQU R, V, Q, R c R~V{Q{RQU R, V, Q, S c (R{VQ)~SQU R, V, Q, U c (R{V)~Q{UQU R, V, Q, V c R~V|Q{VQU R, V, Q, W c R{V{Q~WQU R, V, Q, X c R{V~Q{XQU R, V, R, Q c (R{V{R)~QQU R, V, R, S c (R{V)~R|SQU R, V, R, T c R~(V{TR)QU R, V, R, W c R~V|R{WQU R, V, S, P c R~V{S{PQU R, V, S, Q c (R{VQ)~SQU R, V, S, R c (R{V)~R|SQU R, V, S, S c R{V{S~SQU R, V, S, T c R{V~S|TQU R, V, S, U c (V|RU)~SQU R, V, S, V c R~(V{S)|VQU R, V, S, X c R~V|S{XQU R, V, T, O c R~V{T{OQU R, V, T, P c R~V{T~PQU R, V, T, R c R~(V{TR)QU R, V, T, S c R{V~S|TQU R, V, T, U c R{T~U|VQU R, V, T, V c (R{TV)~VQU R, V, T, W c R~W{V|TQU R, V, T, X c VR~X{TQU R, V, U, P c R~V{U|PQU R, V, U, Q c (R{V)~Q{UQU R, V, U, S c (V|RU)~SQU R, V, U, T c R{U~T|VQU R, V, U, U c (V{U)R~UQU R, V, U, W c (V|R)~W|UQU R, V, U, X c R~X|V{UQU R, V, V, Q c (R{V~V)QQU R, V, V, S c R~(V{S)|VQU R, V, V, T c (R{TV)~VQU R, V, V, X c R{V{V{XQU R, V, W, P c R~(V|P){WQU R, V, W, Q c R{V{W~QQU R, V, W, R c R~V{W|RQU R, V, W, T c R~W{V|TQU R, V, W, U c (V|R)~W|UQU R, V, W, W c R{V{W{WQU R, V, W, X c R~W|V{XQU R, V, X, Q c R{V~Q{XQU R, V, X, S c R~V{X|SQU R, V, X, T c VR~X{TQU R, V, X, U c R~X|V{UQU R, V, X, V c R{V{X{VQU R, V, X, W c R~X{V|WQU R, W, O, Q c R~W{O{QQU R, W, O, U c (R{O)~U{WQU R, W, P, P c R~W{P{PQU R, W, P, Q c R~W{P~QQU R, W, P, R c R~W|P{RQU R, W, P, S c (R{PS)~WQU R, W, P, T c R~(W|P){TQU R, W, P, U c (R{P)~W|UQU R, W, P, V c R~(V|P){WQU R, W, P, X c (R|P)~X{WQU R, W, Q, O c R~W{Q{OQU R, W, Q, P c R~W{Q~PQU R, W, Q, Q c (R{W{Q)~QQU R, W, Q, R c R~(W{QR)QU R, W, Q, S c (R{W)~Q{SQU R, W, Q, U c (R{U)~Q{WQU R, W, Q, V c R{W~Q{VQU R, W, Q, W c R~(W|Q){WQU R, W, Q, X c WR~X{QQU R, W, R, P c R{W~R|PQU R, W, R, Q c R~(W{QR)QU R, W, R, R c (R{R)~R{WQU R, W, R, S c (W~S)|(R{R)QU R, W, R, T c R{W{R~TQU R, W, R, U c R~(WR{U)QU R, W, R, V c (R{W)~R|VQU R, W, R, X c R~R{W{XQU R, W, S, P c (R{PS)~WQU R, W, S, Q c R~W{S|QQU R, W, S, R c (W~S)|(R{R)QU R, W, S, S c W~(S|RS)QU R, W, S, U c R~(W{SU)QU R, W, S, W c R~W{WSQU R, W, S, X c R{W~S|XQU R, W, T, P c R~(W|P){TQU R, W, T, R c R{W{T~RQU R, W, T, T c (W{T)~(T|R)QU R, W, T, U c (W{T)R~UQU R, W, T, V c R~W|T{VQU R, W, T, X c W{(T|R)~XQU R, W, U, O c R~U{W{OQU R, W, U, P c R~U{W~PQU R, W, U, Q c (R{U)~Q{WQU R, W, U, R c R~W{URQU R, W, U, S c R~W{U|SQU R, W, U, T c (W{T)R~UQU R, W, U, U c (R{WU)~UQU R, W, U, V c W~(V|R)|UQU R, W, U, W c R~W|U{WQU R, W, U, X c R{W{U{XQU R, W, V, P c R~(V|P){WQU R, W, V, Q c R{W~Q{VQU R, W, V, R c (R{W)~R|VQU R, W, V, T c R~W{V|TQU R, W, V, U c W~(V|R)|UQU R, W, V, W c R{W{V{WQU R, W, V, X c R~W|V{XQU R, W, W, Q c R~(W|Q){WQU R, W, W, S c R~W{WSQU R, W, W, U c R~W{W|UQU R, W, W, V c R{W{W{VQU R, W, W, X c R~X|WWQU R, W, X, P c (R|P)~X{WQU R, W, X, Q c WR~X{QQU R, W, X, R c R~(X|R){WQU R, W, X, S c R{W~S|XQU R, W, X, T c W{X~(T|R)QU R, W, X, U c R{W{X{UQU R, W, X, V c R~W{X|VQU R, W, X, W c R~X|WWQU R, W, X, X c R~X{W|XQU R, X, O, P c R~X{O|PQU R, X, P, O c R~X|P{OQU R, X, P, P c R~X|P~PQU R, X, P, Q c (R{X{P)~QQU R, X, P, R c R~(X|PR)QU R, X, P, S c R~(X{P)|SQU R, X, P, U c R~U{X|PQU R, X, P, W c (R|P)~X{WQU R, X, P, X c (R|PX)~XQU R, X, Q, P c R~X|Q{PQU R, X, Q, Q c (R{X)~Q{QQU R, X, Q, R c R~X{Q|RQU R, X, Q, S c (X|R)~S{QQU R, X, Q, T c R{X~Q{TQU R, X, Q, U c R~(X|QU)QU R, X, Q, V c R{X{Q~VQU R, X, Q, W c XR~W{QQU R, X, R, P c R~(X|PR)QU R, X, R, Q c R~X|R{QQU R, X, R, R c R~X|RRQU R, X, R, S c R{X~R|SQU R, X, R, W c R~(X|R){WQU R, X, R, X c R~(X|RX)QU R, X, S, P c R~(X{P)|SQU R, X, S, Q c (X|R)~S{QQU R, X, S, R c R~X|S{RQU R, X, S, S c R~X|SSQU R, X, S, T c R~X{S|TQU R, X, S, U c (RX{S)~UQU R, X, S, V c R~V{X|SQU R, X, S, W c R{S~W|XQU R, X, T, Q c R{X~Q{TQU R, X, T, S c R~X|T{SQU R, X, T, T c R~X|TTQU R, X, T, U c R~X{T|UQU R, X, T, V c XR~V{TQU R, X, T, W c X~(T|R){WQU R, X, T, X c R{X{T{XQU R, X, U, P c R~U{X|PQU R, X, U, Q c R~(X|QU)QU R, X, U, S c (RX{S)~UQU R, X, U, T c R~X|U{TQU R, X, U, U c R~X|UUQU R, X, U, V c R~X{U|VQU R, X, U, W c R{X{U{WQU R, X, V, Q c R{X{V~QQU R, X, V, S c R~V{X|SQU R, X, V, T c XR~V{TQU R, X, V, U c R~X|V{UQU R, X, V, V c R{X{V{VQU R, X, V, W c R~X{V|WQU R, X, W, P c (R|P)~X{WQU R, X, W, Q c XR~W{QQU R, X, W, R c R~(X|R){WQU R, X, W, S c R{W~S|XQU R, X, W, T c X~(T|R){WQU R, X, W, U c R{X{W{UQU R, X, W, V c R~X|W{VQU R, X, W, W c R~X|WWQU R, X, W, X c R~X{W|XQU R, X, X, P c (R|PX)~XQU R, X, X, R c R~(X|RX)QU R, X, X, T c R{X{X{TQU R, X, X, W c R~X|X{WQU R, X, X, X c R~X|XXQU S, O, Q, U c (S{O)~U{QQU S, O, Q, V c (S{O)~V|QQU S, O, Q, X c (S{O{X)~QQU S, O, T, U c (S{O)~T{UQU S, O, U, Q c (S{O)~U{QQU S, O, U, T c (S{O)~T{UQU S, O, U, W c (S{O)~W|UQU S, O, V, Q c (S{O)~V|QQU S, O, W, U c (S{O)~W|UQU S, O, X, Q c (S{O{X)~QQU S, P, P, T c (S{P)~T{PQU S, P, P, U c S~U{P{PQU S, P, P, V c (S~V)|(P{P)QU S, P, P, X c (S|P)~X|PQU S, P, Q, R c (S~R{P)~QQU S, P, Q, T c S~(P{T){QQU S, P, Q, U c S~(PQ{U)QU S, P, Q, V c S~P~V|QQU S, P, Q, W c (S{P{W)~QQU S, P, Q, X c (S{P~X)~QQU S, P, R, Q c (S~R{P)~QQU S, P, R, T c (S{T)~R|PQU S, P, R, U c (S{PR)~UQU S, P, R, V c S{P{R~VQU S, P, R, W c (PS{R)~WQU S, P, R, X c (S{X)~(R|P)QU S, P, S, U c (S{P)~S{UQU S, P, S, X c S~S{P{XQU S, P, T, P c (S{P)~T{PQU S, P, T, Q c S~(P{T){QQU S, P, T, R c (S{T)~R|PQU S, P, T, T c S~T{P{TQU S, P, T, U c S~P~T{UQU S, P, T, V c (S|P)~V{TQU S, P, T, W c (S~W)|(P{T)QU S, P, T, X c P{T~(X|S)QU S, P, U, P c S~U{P{PQU S, P, U, Q c S~(P{U)|QQU S, P, U, R c (S{PR)~UQU S, P, U, S c (S{P)~U|SQU S, P, U, T c S~P~T{UQU S, P, U, U c S~(U|P){UQU S, P, U, V c S~(P{V)|UQU S, P, U, W c (S|P)~U{WQU S, P, U, X c S~(X|P)|UQU S, P, V, P c (S~V)|(P{P)QU S, P, V, Q c S~P~V|QQU S, P, V, R c S{P{V~RQU S, P, V, T c (S|P)~V{TQU S, P, V, U c S~(P{V)|UQU S, P, V, W c S~W{P|VQU S, P, V, X c (S{P)~V|XQU S, P, W, Q c (S{P{W)~QQU S, P, W, R c (PS{R)~WQU S, P, W, T c (S~W)|(P{T)QU S, P, W, U c S~P~W|UQU S, P, W, V c S~W{P|VQU S, P, W, X c (P{XS)~WQU S, P, X, P c (S|P)~X|PQU S, P, X, Q c (S{P~X)~QQU S, P, X, R c (S{X)~(R|P)QU S, P, X, S c S~S{P{XQU S, P, X, T c P{(X|S)~TQU S, P, X, U c S~(X|P)|UQU S, P, X, V c (S{P)~V|XQU S, P, X, W c (P{XS)~WQU S, P, X, X c (S~X)|(P{X)QU S, Q, O, U c (S{O)~U{QQU S, Q, O, V c (S{O)~V|QQU S, Q, O, X c (S{O{X)~QQU S, Q, P, R c (S~R{P)~QQU S, Q, P, T c S~(P{T){QQU S, Q, P, U c S~(PQ{U)QU S, Q, P, V c S~P~V|QQU S, Q, P, W c (S{P{W)~QQU S, Q, P, X c (S{P~X)~QQU S, Q, Q, R c S~Q~R{QQU S, Q, Q, S c (S{Q)~S{QQU S, Q, Q, T c S~(Q{T)|QQU S, Q, Q, V c (S{Q{V)~QQU S, Q, Q, W c (S{W)~Q{QQU S, Q, Q, X c S{Q~(Q{X)QU S, Q, R, P c (S~R{P)~QQU S, Q, R, Q c S~Q~R{QQU S, Q, R, R c (S{R~R)~QQU S, Q, R, S c (S{R)~S|QQU S, Q, R, T c S~(RQ{T)QU S, Q, R, U c S~(Q{R){UQU S, Q, R, V c S~R{Q~VQU S, Q, R, W c (S{Q)~R{WQU S, Q, R, X c S~(X|R){QQU S, Q, S, Q c (S{Q)~S{QQU S, Q, S, R c (S{S)~R{QQU S, Q, S, T c S{Q{S~TQU S, Q, S, U c S|Q{S~UQU S, Q, S, V c S{Q~(S{V)QU S, Q, S, W c S~S{Q{WQU S, Q, S, X c (S|Q)~(S{X)QU S, Q, T, P c S~(T{P){QQU S, Q, T, Q c S~(Q{T)|QQU S, Q, T, R c S~T{Q~RQU S, Q, T, S c S{Q{T~SQU S, Q, T, U c S{Q~(T{U)QU S, Q, T, V c (S~T|V)~QQU S, Q, T, W c (S|Q)~(T{W)QU S, Q, T, X c S~X|Q~TQU S, Q, U, O c S~U{Q{OQU S, Q, U, P c S~U{Q~PQU S, Q, U, R c S~Q{U~RQU S, Q, U, S c S|Q{U~SQU S, Q, U, T c S{Q~(U{T)QU S, Q, U, U c (S{QU)~UQU S, Q, U, V c (S|Q)~(U{V)QU S, Q, U, W c S{Q~W{UQU S, Q, U, X c Q~(U{X)|SQU S, Q, V, O c S~V|Q{OQU S, Q, V, P c S~V|Q~PQU S, Q, V, Q c (S{Q{V)~QQU S, Q, V, R c S~(VQ{R)QU S, Q, V, S c S{Q~(V{S)QU S, Q, V, T c (S~T|V)~QQU S, Q, V, U c (S|Q)~(V{U)QU S, Q, V, V c (S|QV)~VQU S, Q, V, W c S{Q~V{WQU S, Q, W, P c (S{W{P)~QQU S, Q, W, Q c (S{W)~Q{QQU S, Q, W, R c S{Q~(W{R)QU S, Q, W, S c (S~W)|(Q{S)QU S, Q, W, T c (S|Q)~(W{T)QU S, Q, W, U c S{Q~W{UQU S, Q, W, V c S{Q~V{WQU S, Q, W, W c S~W{Q|WQU S, Q, W, X c (S|Q)~X{WQU S, Q, X, O c (S{X)~(Q{O)QU S, Q, X, P c (S{X)~(Q~P)QU S, Q, X, Q c S{(Q{X)~QQU S, Q, X, R c S~(X|R){QQU S, Q, X, S c S{Q~X{SQU S, Q, X, T c S~X|Q~TQU S, Q, X, U c Q~(X{U)|SQU S, Q, X, W c (S|Q)~X{WQU S, Q, X, X c S~Q{X{XQU S, R, P, Q c (S~R{P)~QQU S, R, P, T c (S{T)~R|PQU S, R, P, U c (S{PR)~UQU S, R, P, V c S{R~V{PQU S, R, P, W c (R{PS)~WQU S, R, P, X c (S{X)~(R|P)QU S, R, Q, P c (S~R{P)~QQU S, R, Q, Q c S~R~Q{QQU S, R, Q, R c (S{R~R)~QQU S, R, Q, S c (S{R)~S|QQU S, R, Q, T c S~(RQ{T)QU S, R, Q, U c S~(R{Q){UQU S, R, Q, V c S~R{Q~VQU S, R, Q, W c S{(R{W)~QQU S, R, Q, X c S~(X|R){QQU S, R, R, Q c (S{R~R)~QQU S, R, R, T c (S{R)~R{TQU S, R, R, U c (SR{R)~UQU S, R, R, V c R~(R{V)|SQU S, R, R, W c (S~W)|(R{R)QU S, R, R, X c R{R~X|SQU S, R, S, Q c (S{R)~S|QQU S, R, S, U c S{R~U{SQU S, R, S, V c S~S{R{VQU S, R, S, W c (S|RS)~WQU S, R, S, X c R~X|SSQU S, R, T, P c (S{T)~R|PQU S, R, T, Q c S~(RQ{T)QU S, R, T, R c (S{R)~R{TQU S, R, T, T c S|R{T~TQU S, R, T, U c S~(R{T)|UQU S, R, T, V c S{R~T{VQU S, R, T, X c (S{R)~T|XQU S, R, U, P c S~U{R|PQU S, R, U, Q c (S{R{U)~QQU S, R, U, R c (SR{R)~UQU S, R, U, S c S{R~U{SQU S, R, U, T c S~(R{T)|UQU S, R, U, U c S~(RU{U)QU S, R, U, V c S~(V|RU)QU S, R, U, W c S~R{U{WQU S, R, U, X c (S{RX)~UQU S, R, V, P c S{R~V{PQU S, R, V, Q c S~R{V~QQU S, R, V, R c (R{V)~R|SQU S, R, V, S c S~S{R{VQU S, R, V, T c S{R~T{VQU S, R, V, U c S~(V|RU)QU S, R, V, V c S~R{V{VQU S, R, V, X c (S~X)|(R{V)QU S, R, W, P c (R{PS)~WQU S, R, W, Q c S{(R{W)~QQU S, R, W, R c (S~W)|(R{R)QU S, R, W, S c (S|RS)~WQU S, R, W, U c S~R{W{UQU S, R, W, W c R~W{WSQU S, R, W, X c S~W{R|XQU S, R, X, P c (S{X)~(R|P)QU S, R, X, Q c S~(X|R){QQU S, R, X, R c R~X|S{RQU S, R, X, S c R~X|SSQU S, R, X, T c S{R~X|TQU S, R, X, U c (S{RX)~UQU S, R, X, V c (S~X)|(R{V)QU S, R, X, W c S~W{R|XQU S, S, P, U c S~(S{P){UQU S, S, P, X c S~S{P{XQU S, S, Q, Q c S~(S{Q){QQU S, S, Q, R c (S{S)~R{QQU S, S, Q, T c S~S{Q~TQU S, S, Q, U c S~S~Q|UQU S, S, Q, V c S{(S{V)~QQU S, S, Q, W c S~S{Q{WQU S, S, Q, X c S{S{Q~XQU S, S, R, Q c (S{S)~R{QQU S, S, R, U c S{S{R~UQU S, S, R, V c S~S{R{VQU S, S, R, W c (S|RS)~WQU S, S, R, X c R~X|SSQU S, S, S, U c S{S~S{UQU S, S, T, Q c (S{S{T)~QQU S, S, T, T c S~S{T{TQU S, S, T, U c S~(T{US)QU S, S, U, P c S~(S{P){UQU S, S, U, Q c S{S~U|QQU S, S, U, R c S{S{U~RQU S, S, U, S c S~S{U{SQU S, S, U, T c S~(US{T)QU S, S, U, U c S~U|S{UQU S, S, U, V c S{S~V|UQU S, S, U, W c S~(SW{U)QU S, S, U, X c (S~X)|(S{U)QU S, S, V, Q c S{(S{V)~QQU S, S, V, R c S~S{V{RQU S, S, V, U c S{S~V|UQU S, S, V, W c S~(V|SW)QU S, S, W, Q c S~S{W{QQU S, S, W, R c (S|RS)~WQU S, S, W, U c S~(SW{U)QU S, S, W, V c S~(V|SW)QU S, S, W, X c (S{X)S~WQU S, S, X, P c S~S{X{PQU S, S, X, Q c S{S{X~QQU S, S, X, R c X~R|SSQU S, S, X, U c (S~X)|(S{U)QU S, S, X, W c (S{X)S~WQU S, S, X, X c S{S{X{XQU S, T, O, U c S~T{O{UQU S, T, P, P c (S{P)~T{PQU S, T, P, Q c S~(T{P){QQU S, T, P, R c (S{T)~R|PQU S, T, P, T c S~T{P{TQU S, T, P, U c S~T{P~UQU S, T, P, V c S~T|P{VQU S, T, P, W c (S~W)|(T{P)QU S, T, P, X c T~(X|S){PQU S, T, Q, P c S~(T{P){QQU S, T, Q, Q c S~(T{Q)|QQU S, T, Q, R c S~T{Q~RQU S, T, Q, S c (S{TQ)~SQU S, T, Q, U c S{(T{U)~QQU S, T, Q, V c (S~T|V)~QQU S, T, Q, W c (S{T)~Q{WQU S, T, Q, X c S~X|T~QQU S, T, R, P c (S{T)~R|PQU S, T, R, Q c S~T{R~QQU S, T, R, R c S~T{R{RQU S, T, R, T c S{T~T|RQU S, T, R, U c S~(T{R)|UQU S, T, R, V c S{T~R{VQU S, T, R, X c S~T|R{XQU S, T, S, Q c (S{T{S)~QQU S, T, S, T c S~S{T{TQU S, T, S, U c S~(T{US)QU S, T, T, P c S~T{T{PQU S, T, T, R c S{T~T|RQU S, T, T, S c S~S{T{TQU S, T, T, T c T|S{T~TQU S, T, T, U c (S{UT)~TQU S, T, T, V c (T~V)|(S{T)QU S, T, T, X c (S~X)|(T{T)QU S, T, U, O c S~T{U{OQU S, T, U, P c S~T{U~PQU S, T, U, Q c S{(T{U)~QQU S, T, U, R c S~(T{R)|UQU S, T, U, S c S~(T{US)QU S, T, U, T c (S{UT)~TQU S, T, U, U c (T|SU)~UQU S, T, U, V c S~U|T{VQU S, T, U, W c S{T~U|WQU S, T, U, X c S~(T{XU)QU S, T, V, P c S~T{V|PQU S, T, V, Q c (S~T|V)~QQU S, T, V, R c S{T~R{VQU S, T, V, T c (T~V)|(S{T)QU S, T, V, U c S~U|T{VQU S, T, V, V c S~V{T|VQU S, T, V, W c (T|VS)~WQU S, T, V, X c (S{X)~(V|T)QU S, T, W, P c (S~W)|(T{P)QU S, T, W, Q c S~T{W|QQU S, T, W, U c S{T~U|WQU S, T, W, V c (T|VS)~WQU S, T, W, W c (T{W)S~WQU S, T, W, X c S{T{W{XQU S, T, X, P c T~(X|S){PQU S, T, X, Q c S~X|T~QQU S, T, X, R c S~T{X|RQU S, T, X, T c (S~X)|(T{T)QU S, T, X, U c S~(T{XU)QU S, T, X, V c (S{X)~(V|T)QU S, T, X, W c S{T{X{WQU S, U, O, Q c S~U{O{QQU S, U, O, T c (S{O)~T{UQU S, U, O, W c (S{O)~W|UQU S, U, P, P c S~U{P{PQU S, U, P, Q c S~(U{P)|QQU S, U, P, R c S~U|P{RQU S, U, P, S c (S{P)~U|SQU S, U, P, T c S~P~T{UQU S, U, P, U c S~(U|P){UQU S, U, P, V c S~(P{V)|UQU S, U, P, W c (S|P)~U{WQU S, U, P, X c S~(X|P)|UQU S, U, Q, O c S~U{Q{OQU S, U, Q, P c S~U{Q~PQU S, U, Q, R c (S{U{R)~QQU S, U, Q, S c S~(U{QS)QU S, U, Q, T c S{(U{T)~QQU S, U, Q, U c (S{U)~Q{UQU S, U, Q, V c S~(U{V)QQU S, U, Q, W c S{U{Q~WQU S, U, Q, X c (U{X)~Q|SQU S, U, R, P c S~U{R|PQU S, U, R, Q c (S{U{R)~QQU S, U, R, R c (SR{R)~UQU S, U, R, S c S{U~R{SQU S, U, R, T c S~U|R{TQU S, U, R, U c S~(U{RU)QU S, U, R, V c S~V|URQU S, U, R, W c (SU{W)~RQU S, U, R, X c (S{RX)~UQU S, U, S, P c S~(S{P){UQU S, U, S, Q c S{U~S|QQU S, U, S, R c S{U~R{SQU S, U, S, S c S{U{S~SQU S, U, S, T c S~(US{T)QU S, U, S, U c S~U|S{UQU S, U, S, V c S{S~V|UQU S, U, S, W c S~(U{SW)QU S, U, S, X c (S{X)~(U|S)QU S, U, T, O c S~T{U{OQU S, U, T, P c S~T{U~PQU S, U, T, Q c S{(U{T)~QQU S, U, T, R c S~U{T|RQU S, U, T, S c S~(US{T)QU S, U, T, T c (S{UT)~TQU S, U, T, U c U~(T|SU)QU S, U, T, V c S~U|T{VQU S, U, T, W c S{U~T|WQU S, U, T, X c S~(T{XU)QU S, U, U, P c S~(U|P){UQU S, U, U, Q c (S{U)~Q{UQU S, U, U, R c S~U{URQU S, U, U, S c S~U{U|SQU S, U, U, T c U~(T|SU)QU S, U, U, U c (U~U)|(S{U)QU S, U, U, V c (U|S)~(U{V)QU S, U, U, W c S~U|U{WQU S, U, V, P c S~(V{P)|UQU S, U, V, Q c S~(U{V)QQU S, U, V, R c S~V|URQU S, U, V, S c S~V|U{SQU S, U, V, T c S~U{V|TQU S, U, V, U c (U|S)~(V{U)QU S, U, V, W c S~V{U|WQU S, U, V, X c S{U{V{XQU S, U, W, O c S~W|U{OQU S, U, W, P c S~W|U~PQU S, U, W, Q c S{U{W~QQU S, U, W, R c (SU{W)~RQU S, U, W, S c S~U{WSQU S, U, W, T c S{U~T|WQU S, U, W, U c S~U{W|UQU S, U, W, V c S~V{U|WQU S, U, W, W c S{U{W{WQU S, U, W, X c S~(W|XU)QU S, U, X, P c S~(X|P)|UQU S, U, X, Q c (U{X)~Q|SQU S, U, X, R c (S{X)~(UR)QU S, U, X, S c (S{X)~(U|S)QU S, U, X, T c S~(XU{T)QU S, U, X, V c S{U{X{VQU S, U, X, W c (S{X)~(W|U)QU S, V, O, Q c S~V{O|QQU S, V, P, P c (S~V)|(P{P)QU S, V, P, Q c S~(V|P){QQU S, V, P, R c S~V{P|RQU S, V, P, T c (S|P)~V{TQU S, V, P, U c S~(V{P)|UQU S, V, P, W c S~W|V{PQU S, V, P, X c (S{P)~V|XQU S, V, Q, O c S~V|Q{OQU S, V, Q, P c S~V|Q~PQU S, V, Q, Q c (S{V{Q)~QQU S, V, Q, R c S~(VQ{R)QU S, V, Q, S c (S{V)~Q{SQU S, V, Q, T c (S~T|V)~QQU S, V, Q, U c S~(V|Q){UQU S, V, Q, V c (S|QV)~VQU S, V, Q, W c S{V~Q{WQU S, V, R, P c S{V~R{PQU S, V, R, Q c S~(VQ{R)QU S, V, R, R c (V{R)~R|SQU S, V, R, S c S~S{V{RQU S, V, R, T c S{V{R~TQU S, V, R, U c S~(V|RU)QU S, V, R, V c (S{V)~R|VQU S, V, R, X c (S~X)|(V{R)QU S, V, S, Q c S{(V{S)~QQU S, V, S, R c S~S{V{RQU S, V, S, U c S{V~S|UQU S, V, S, W c S~(V|SW)QU S, V, T, P c S~T{V|PQU S, V, T, Q c (S~T|V)~QQU S, V, T, R c S{V{T~RQU S, V, T, T c (V~T)|(S{T)QU S, V, T, U c S~U{V|TQU S, V, T, V c S~V{T|VQU S, V, T, W c (T|VS)~WQU S, V, T, X c (S{X)~(V|T)QU S, V, U, P c S~(V{P)|UQU S, V, U, Q c S~(V{U)QQU S, V, U, R c S~V|URQU S, V, U, S c S~V|U{SQU S, V, U, T c S~U{V|TQU S, V, U, U c (V{U)~(U|S)QU S, V, U, W c S~V{U|WQU S, V, U, X c S{V{U{XQU S, V, V, Q c (S|QV)~VQU S, V, V, R c (S{V)~R|VQU S, V, V, T c S~V|V{TQU S, V, V, W c S{V{V{WQU S, V, V, X c S~V{V|XQU S, V, W, P c S~W|V{PQU S, V, W, Q c S{V~Q{WQU S, V, W, S c S~V|WSQU S, V, W, T c W~(T|VS)QU S, V, W, U c S~V|W{UQU S, V, W, V c S{V{W{VQU S, V, X, P c (S{P)~V|XQU S, V, X, R c (S~X)|(V{R)QU S, V, X, T c (S{X)~(V|T)QU S, V, X, U c S{V{X{UQU S, V, X, V c S~V|X{VQU S, V, X, X c (S{X)~(X|V)QU S, W, O, U c S~W{O|UQU S, W, P, Q c (S{W{P)~QQU S, W, P, R c W~(PS{R)QU S, W, P, T c (S~W)|(P{T)QU S, W, P, U c S~W|P~UQU S, W, P, V c S~W{P|VQU S, W, P, X c W~(P{XS)QU S, W, Q, P c (S{W{P)~QQU S, W, Q, Q c (S{W)~Q{QQU S, W, Q, R c S~W|Q~RQU S, W, Q, S c (S~W)|(Q{S)QU S, W, Q, T c S~(W{T)QQU S, W, Q, U c S{W~Q{UQU S, W, Q, V c S{W{Q~VQU S, W, Q, W c S~W{Q|WQU S, W, Q, X c (S|Q)~X{WQU S, W, R, P c W~(R{PS)QU S, W, R, Q c S{(W{R)~QQU S, W, R, R c (S~W)|(R{R)QU S, W, R, S c (S|RS)~WQU S, W, R, U c S~(W|R){UQU S, W, R, W c WS{R~WQU S, W, R, X c S~W{R|XQU S, W, S, Q c (S~W)|(S{Q)QU S, W, S, R c (S|RS)~WQU S, W, S, U c S~(W|US)QU S, W, S, V c S~V|WSQU S, W, S, X c (S{X)~(WS)QU S, W, T, P c (S~W)|(T{P)QU S, W, T, Q c S~(W{T)QQU S, W, T, U c S{T~U|WQU S, W, T, V c W~(T|VS)QU S, W, T, W c (WS)~(T{W)QU S, W, T, X c S{W{T{XQU S, W, U, O c S~W|U{OQU S, W, U, P c S~W|U~PQU S, W, U, Q c (S{W~U)QQU S, W, U, R c S~(W|R){UQU S, W, U, S c S~(W|US)QU S, W, U, T c S{U~T|WQU S, W, U, U c S~U{W|UQU S, W, U, V c S~V|W{UQU S, W, U, W c S{W{U{WQU S, W, U, X c S~(W|XU)QU S, W, V, P c S~W|V{PQU S, W, V, Q c S{W{V~QQU S, W, V, S c S~V|WSQU S, W, V, T c W~(T|VS)QU S, W, V, U c S~V|W{UQU S, W, V, V c S{W{V{VQU S, W, W, Q c S~W|W{QQU S, W, W, R c WS{W~RQU S, W, W, T c (WS)~(W{T)QU S, W, W, U c S{W{W{UQU S, W, W, X c WS~X{WQU S, W, X, P c W~(XS{P)QU S, W, X, Q c (S~X)|(W{Q)QU S, W, X, R c S~W|X{RQU S, W, X, S c (S{X)~(WS)QU S, W, X, T c S{W{X{TQU S, W, X, U c S~(W|XU)QU S, W, X, W c WS~X{WQU S, X, O, Q c (S{X{O)~QQU S, X, P, P c (S{X)~(P{P)QU S, X, P, Q c (S{X)~(P~Q)QU S, X, P, R c (S{X)~(R|P)QU S, X, P, S c S~S{X{PQU S, X, P, T c (X|S)~T{PQU S, X, P, U c S~(X|P)|UQU S, X, P, V c (S{P)~V|XQU S, X, P, W c (XS{P)~WQU S, X, P, X c (S~X)|(P{X)QU S, X, Q, O c (S{X)~(Q{O)QU S, X, Q, P c (S{X)~(Q~P)QU S, X, Q, Q c S{(X{Q)~QQU S, X, Q, R c S~(X|R){QQU S, X, Q, S c S{X~Q{SQU S, X, Q, T c S~X|Q~TQU S, X, Q, U c (X{U)~Q|SQU S, X, Q, W c (S~X)|(Q{W)QU S, X, Q, X c S~Q{X{XQU S, X, R, P c (S{X)~(R|P)QU S, X, R, Q c S~(X|R){QQU S, X, R, R c X~R|S{RQU S, X, R, S c X~R|SSQU S, X, R, T c S{X~R|TQU S, X, R, U c (S{X)R~UQU S, X, R, V c (S~X)|(R{V)QU S, X, R, W c S~W|X{RQU S, X, S, P c S~S{X{PQU S, X, S, Q c (S{X)~(S|Q)QU S, X, S, R c X~R|SSQU S, X, S, U c (S~X)|(S{U)QU S, X, S, W c (S{X)S~WQU S, X, S, X c S{X{S{XQU S, X, T, P c (X|S)~T{PQU S, X, T, Q c S~X|T~QQU S, X, T, R c (S{X)~(T|R)QU S, X, T, T c (S~X)|(T{T)QU S, X, T, U c S~(XU{T)QU S, X, T, V c (S{X)~(V|T)QU S, X, T, W c S{X{T{WQU S, X, U, P c S~(X|P)|UQU S, X, U, Q c (X{U)~Q|SQU S, X, U, R c (S{X)~(UR)QU S, X, U, S c (S{X)~(U|S)QU S, X, U, T c S~(XU{T)QU S, X, U, V c S{X{U{VQU S, X, U, W c (S{X)~(W|U)QU S, X, V, P c (S{P)~V|XQU S, X, V, R c (S~X)|(V{R)QU S, X, V, T c (S{X)~(V|T)QU S, X, V, U c S{X{V{UQU S, X, V, V c S~V|X{VQU S, X, V, X c (S{X)~(X|V)QU S, X, W, P c (XS{P)~WQU S, X, W, Q c (S~X)|(W{Q)QU S, X, W, R c S~W|X{RQU S, X, W, S c (S{X)~(WS)QU S, X, W, T c S{X{W{TQU S, X, W, U c (S{X)~(W|U)QU S, X, W, W c XS~W{WQU S, X, X, P c (S~X)|(X{P)QU S, X, X, Q c S~Q{X{XQU S, X, X, S c S{X{X{SQU S, X, X, V c (S{X)~(X|V)QU T, O, P, T c (T{O)~T{PQU T, O, Q, W c (T{O{W)~QQU T, O, R, V c T{O{R~VQU T, O, S, U c (T{O)~S{UQU T, O, T, P c (T{O)~T{PQU T, O, U, S c (T{O)~U|SQU T, O, V, R c T{O{V~RQU T, O, V, X c (T{O)~V|XQU T, O, W, Q c (T{O{W)~QQU T, O, X, V c (T{O)~V|XQU T, P, O, T c (T{O)~T{PQU T, P, P, S c T~(P{S){PQU T, P, P, T c T~P~T{PQU T, P, P, U c T~(U|P){PQU T, P, P, W c (T{W)~(P{P)QU T, P, Q, R c T~(Q{R){PQU T, P, Q, S c (T{P)~S{QQU T, P, Q, T c T~T|P{QQU T, P, Q, U c (T|P)~U{QQU T, P, Q, V c T{(P{Q)~VQU T, P, Q, W c (T{P~W)~QQU T, P, Q, X c (T|P{X)~QQU T, P, R, Q c T~(R{Q){PQU T, P, R, S c (T{S)~R|PQU T, P, R, U c T~(P{R){UQU T, P, R, V c T{P~R~VQU T, P, R, W c (T{P)~R{WQU T, P, S, P c T~(P{S){PQU T, P, S, Q c (T{P)~S{QQU T, P, S, R c (T{S)~R|PQU T, P, S, T c T{P{S~TQU T, P, S, U c T~P~S{UQU T, P, S, V c T{(S|P)~VQU T, P, S, W c (S~W)|(T{P)QU T, P, S, X c T~(X|S){PQU T, P, T, O c T~T{P{OQU T, P, T, P c T~P~T{PQU T, P, T, Q c T~T|P{QQU T, P, T, S c T{P{T~SQU T, P, T, T c (T{PT)~TQU T, P, T, U c (T|P)~T{UQU T, P, U, P c T~(U|P){PQU T, P, U, Q c (T|P)~U{QQU T, P, U, R c T{(P{U)~RQU T, P, U, S c T~P~U|SQU T, P, U, T c (T|P)~T{UQU T, P, U, W c (T|P)~W|UQU T, P, U, X c T~(P{U)|XQU T, P, V, Q c (T{P{V)~QQU T, P, V, R c T{P~V~RQU T, P, V, S c T~(V|P)|SQU T, P, V, W c (T~V)|(P{W)QU T, P, V, X c T~P~V|XQU T, P, W, P c (T{W)~(P{P)QU T, P, W, Q c (T{P~W)~QQU T, P, W, R c (T{P)~R{WQU T, P, W, S c (W~S)|(T{P)QU T, P, W, U c (T|P)~W|UQU T, P, W, V c (T~V)|(P{W)QU T, P, W, X c T~(W|P)|XQU T, P, X, Q c (T|P{X)~QQU T, P, X, S c T~(X|S){PQU T, P, X, U c T~(P{U)|XQU T, P, X, V c T~P~V|XQU T, P, X, W c T~(W|P)|XQU T, Q, O, W c (T{O{W)~QQU T, Q, P, R c T~(Q{R){PQU T, Q, P, S c (T{P)~S{QQU T, Q, P, T c T~T{Q|PQU T, Q, P, U c (T|P)~U{QQU T, Q, P, V c T{(Q{P)~VQU T, Q, P, W c (T{P~W)~QQU T, Q, P, X c (T|Q)~X|PQU T, Q, Q, R c (T~Q{R)~QQU T, Q, Q, S c (T{Q)~S|QQU T, Q, Q, T c T~T{QQQU T, Q, Q, U c T~(Q{Q){UQU T, Q, Q, V c (T{V)~Q{QQU T, Q, Q, W c T~Q{Q~WQU T, Q, Q, X c (T{X)~Q|QQU T, Q, R, P c T~(Q{R){PQU T, Q, R, Q c (T~Q{R)~QQU T, Q, R, R c (T{R)~R{QQU T, Q, R, S c T~Q~R|SQU T, Q, R, T c (T{Q)~R{TQU T, Q, R, U c (T|QR)~UQU T, Q, R, X c T{Q~X{RQU T, Q, S, P c (T{P)~S{QQU T, Q, S, Q c (T{Q)~S|QQU T, Q, S, R c T~Q~R|SQU T, Q, S, S c T~(Q{S)|SQU T, Q, S, U c (T{U)~Q{SQU T, Q, S, V c (T~S|V)~QQU T, Q, S, W c (T{S)~Q{WQU T, Q, S, X c S~X|T~QQU T, Q, T, P c T~T{Q|PQU T, Q, T, Q c T~T{QQQU T, Q, T, R c T{(Q{T)~RQU T, Q, T, U c (T{T)~Q{UQU T, Q, T, V c (T|Q)~V{TQU T, Q, T, W c T{Q~W{TQU T, Q, T, X c (T{Q)~T|XQU T, Q, U, P c (T|P)~U{QQU T, Q, U, Q c (T{Q{U)~QQU T, Q, U, R c (T|QR)~UQU T, Q, U, S c (T{U)~Q{SQU T, Q, U, T c (T{T)~Q{UQU T, Q, U, U c T~U{Q|UQU T, Q, U, V c T{UQ~VQU T, Q, U, W c (T|Q)~U{WQU T, Q, U, X c T{Q~U{XQU T, Q, V, P c T{(Q{P)~VQU T, Q, V, Q c (T{V)~Q{QQU T, Q, V, S c (T~S|V)~QQU T, Q, V, T c (T|Q)~V{TQU T, Q, V, U c T{VQ~UQU T, Q, V, V c T{Q~V{VQU T, Q, V, W c T~W|Q~VQU T, Q, V, X c T~Q{V{XQU T, Q, W, O c (T{W)~(Q{O)QU T, Q, W, P c (T{W)~(Q~P)QU T, Q, W, Q c (T|Q)~W{QQU T, Q, W, S c (T{W)Q~SQU T, Q, W, T c T{Q~W{TQU T, Q, W, U c TQ~W{UQU T, Q, W, V c T~W|Q~VQU T, Q, W, W c T~Q{W{WQU T, Q, X, P c (T|Q)~X|PQU T, Q, X, Q c (T{X)~Q|QQU T, Q, X, R c T{Q~X{RQU T, Q, X, S c (X|TQ)~SQU T, Q, X, T c (T{Q)~T|XQU T, Q, X, U c T{Q~U{XQU T, Q, X, V c T~Q{X{VQU T, Q, X, X c T~(X|Q)|XQU T, R, O, V c T{(R{O)~VQU T, R, P, Q c T~(R{Q){PQU T, R, P, S c (T{S)~R|PQU T, R, P, U c T{R~(P{U)QU T, R, P, V c T{R~P~VQU T, R, P, W c T{R~(W|P)QU T, R, Q, P c T~(R{Q){PQU T, R, Q, Q c (T~R|Q)~QQU T, R, Q, R c (T{R)~R{QQU T, R, Q, S c (T{RQ)~SQU T, R, Q, T c T{R~(Q{T)QU T, R, Q, U c (T|QR)~UQU T, R, Q, X c T{R{Q~XQU T, R, R, Q c (T{R)~R{QQU T, R, R, S c T{R~(R{S)QU T, R, R, T c T~T{RRQU T, R, R, U c T{R{R~UQU T, R, R, V c (TR{V)~RQU T, R, R, W c T|R{R~WQU T, R, S, P c (T{S)~R|PQU T, R, S, Q c (T{RQ)~SQU T, R, S, R c T{(R{S)~RQU T, R, S, T c (T{T)~R|SQU T, R, S, U c (T{R)~S|UQU T, R, S, V c T~R{S{VQU T, R, S, X c T{R~S{XQU T, R, T, Q c (T{R{T)~QQU T, R, T, R c T~T{RRQU T, R, T, S c (T{T)~R|SQU T, R, T, U c T{R~T{UQU T, R, T, W c (T|R)~(T{W)QU T, R, T, X c R~X|TTQU T, R, U, P c T{R~(U{P)QU T, R, U, Q c (T|QR)~UQU T, R, U, R c T{R{U~RQU T, R, U, S c T|R{U~SQU T, R, U, T c T~R{U{TQU T, R, U, U c (U|TR)~UQU T, R, U, V c (T|R)~(U{V)QU T, R, U, W c (T{W)R~UQU T, R, U, X c T{R~X|UQU T, R, V, O c T{R~V{OQU T, R, V, P c T{R~V~PQU T, R, V, R c (TR{V)~RQU T, R, V, S c T~R{V{SQU T, R, V, U c (T|R)~(V{U)QU T, R, V, V c (TV{R)~VQU T, R, V, W c R~W|T{VQU T, R, V, X c T{VR~XQU T, R, W, P c T{R~(W|P)QU T, R, W, R c T{R~W|RQU T, R, W, T c (T|R)~(W{T)QU T, R, W, U c (T{W)R~UQU T, R, W, V c R~W|T{VQU T, R, W, X c (T|R)~X{WQU T, R, X, Q c T{R{X~QQU T, R, X, S c (T|R)~(X{S)QU T, R, X, T c R~X|TTQU T, R, X, U c T{R~X|UQU T, R, X, V c T{XR~VQU T, R, X, W c (T|R)~X{WQU T, R, X, X c T{R{X{XQU T, S, O, U c T~S{O{UQU T, S, P, P c T~(S{P){PQU T, S, P, Q c (T{P)~S{QQU T, S, P, R c (T{S)~R|PQU T, S, P, T c T~S{P{TQU T, S, P, U c T~S{P~UQU T, S, P, V c T{(S|P)~VQU T, S, P, W c (S~W)|(T{P)QU T, S, P, X c T~(X|S){PQU T, S, Q, P c (T{P)~S{QQU T, S, Q, Q c (T{S~Q)~QQU T, S, Q, R c T~S{Q~RQU T, S, Q, S c T~S{Q{SQU T, S, Q, U c (T{U)~Q{SQU T, S, Q, V c (T~S|V)~QQU T, S, Q, W c (T{S)~Q{WQU T, S, Q, X c S~X|T~QQU T, S, R, P c (T{S)~R|PQU T, S, R, Q c T~S{R~QQU T, S, R, R c T{(S{R)~RQU T, S, R, T c T~T{S|RQU T, S, R, U c T{S~U|RQU T, S, R, V c T~R{S{VQU T, S, R, X c T{S~R{XQU T, S, S, Q c (T{S{S)~QQU T, S, S, T c T{S~S{TQU T, S, S, U c (T{US)~SQU T, S, T, P c T{S~T{PQU T, S, T, R c T~T{S|RQU T, S, T, S c T{S~S{TQU T, S, T, T c T|S{T~TQU T, S, T, U c T~(S{UT)QU T, S, T, V c (T~V)|(S{T)QU T, S, T, X c (S~X)|(T{T)QU T, S, U, O c T~S{U{OQU T, S, U, P c T~S{U~PQU T, S, U, Q c (T{U)~Q{SQU T, S, U, R c T{S~U|RQU T, S, U, S c (T{US)~SQU T, S, U, T c T~(S{UT)QU T, S, U, U c (T|SU)~UQU T, S, U, V c S~U|T{VQU T, S, U, W c T~U{S|WQU T, S, U, X c (T{XU)~SQU T, S, V, P c T~S{V|PQU T, S, V, Q c (T~S|V)~QQU T, S, V, R c T~R{S{VQU T, S, V, T c (T~V)|(S{T)QU T, S, V, U c S~U|T{VQU T, S, V, V c T{S~V|VQU T, S, V, W c (T|VS)~WQU T, S, V, X c (S{X)~(V|T)QU T, S, W, P c (S~W)|(T{P)QU T, S, W, Q c T~S{W|QQU T, S, W, U c T~(W|S){UQU T, S, W, V c (T|VS)~WQU T, S, W, W c (T{W)S~WQU T, S, W, X c T{S{W{XQU T, S, X, P c T~(X|S){PQU T, S, X, Q c S~X|T~QQU T, S, X, R c T~S{X|RQU T, S, X, T c (S~X)|(T{T)QU T, S, X, U c (T{XU)~SQU T, S, X, V c (S{X)~(V|T)QU T, S, X, W c T{S{X{WQU T, T, O, P c T~T{O{PQU T, T, P, O c T~T{P{OQU T, T, P, P c T~T{P~PQU T, T, P, Q c T~T|P{QQU T, T, P, S c T~(T{P)|SQU T, T, P, T c T~(T{PT)QU T, T, P, U c T~(T|P){UQU T, T, Q, P c T~T{Q|PQU T, T, Q, Q c T~T{QQQU T, T, Q, R c T{(T{Q)~RQU T, T, Q, U c (T{T)~Q{UQU T, T, Q, V c T{(T|Q)~VQU T, T, Q, W c T{T{Q~WQU T, T, Q, X c T~(T{Q)|XQU T, T, R, Q c (T{T{R)~QQU T, T, R, R c T~T{RRQU T, T, R, S c (T{T)~R|SQU T, T, R, U c T{T~R{UQU T, T, R, W c (T|R)~(T{W)QU T, T, R, X c R~X|TTQU T, T, S, P c T{T~S{PQU T, T, S, R c T~T{S|RQU T, T, S, S c T{T{S~SQU T, T, S, T c T~T|S{TQU T, T, S, U c T~(S{UT)QU T, T, S, V c (T~V)|(T{S)QU T, T, S, X c (S~X)|(T{T)QU T, T, T, P c T~(T{PT)QU T, T, T, S c T{T~T|SQU T, T, T, T c T~T{TTQU T, T, T, U c T~T|T{UQU T, T, U, P c T~(T|P){UQU T, T, U, Q c (T{T)~Q{UQU T, T, U, R c T{T~R{UQU T, T, U, S c T~(UT{S)QU T, T, U, T c T~T{U|TQU T, T, U, U c T~T{UUQU T, T, U, V c T~T|U{VQU T, T, U, X c T{T~U|XQU T, T, V, Q c T{(T|Q)~VQU T, T, V, S c (T~V)|(T{S)QU T, T, V, U c T~T{V|UQU T, T, V, V c T~T{VVQU T, T, V, W c T~T|V{WQU T, T, V, X c T{T{V{XQU T, T, W, Q c T{T{W~QQU T, T, W, R c (T{W)~(T|R)QU T, T, W, V c T~T{W|VQU T, T, W, W c T{T{W{WQU T, T, W, X c T~T|W{XQU T, T, X, Q c T~(T{Q)|XQU T, T, X, R c X~R|TTQU T, T, X, S c (X~S)|(T{T)QU T, T, X, U c T{T~U|XQU T, T, X, V c T{T{X{VQU T, T, X, W c T~T{X|WQU T, T, X, X c T~T{XXQU T, U, O, S c T~U{O|SQU T, U, P, P c T~(U|P){PQU T, U, P, Q c (T|P)~U{QQU T, U, P, R c T{(U{P)~RQU T, U, P, S c T~U|P~SQU T, U, P, T c T~U{P|TQU T, U, P, W c (T|P)~W|UQU T, U, P, X c T~(U{P)|XQU T, U, Q, P c (T|P)~U{QQU T, U, Q, Q c (T{U{Q)~QQU T, U, Q, R c (T|QR)~UQU T, U, Q, S c (T{U)~Q{SQU T, U, Q, T c (T{T)~Q{UQU T, U, Q, U c T~U{Q|UQU T, U, Q, V c T{UQ~VQU T, U, Q, W c T~U|WQQU T, U, Q, X c T{U~Q{XQU T, U, R, P c (T~U)|(R{P)QU T, U, R, Q c (T|QR)~UQU T, U, R, R c T{U~R{RQU T, U, R, S c T{U~S|RQU T, U, R, T c T{U{R~TQU T, U, R, U c (U|TR)~UQU T, U, R, V c T{(U|R)~VQU T, U, R, W c (T{W)~(UR)QU T, U, R, X c T{R~X|UQU T, U, S, O c T~U|S{OQU T, U, S, P c T~U|S~PQU T, U, S, Q c (T{U)~Q{SQU T, U, S, R c T{U~S|RQU T, U, S, S c (T{US)~SQU T, U, S, T c T~(U|ST)QU T, U, S, U c (T|SU)~UQU T, U, S, V c U~S|T{VQU T, U, S, W c T~U{S|WQU T, U, S, X c (T{XU)~SQU T, U, T, P c T~U|T{PQU T, U, T, Q c (T{T)~Q{UQU T, U, T, R c T{U{T~RQU T, U, T, S c T~(UT{S)QU T, U, T, T c T~T{U|TQU T, U, T, U c T~T{UUQU T, U, T, V c T~T|U{VQU T, U, T, X c T{U~T|XQU T, U, U, Q c T~U|U{QQU T, U, U, R c (U|TR)~UQU T, U, U, S c (T|SU)~UQU T, U, U, T c T~T{UUQU T, U, U, X c T{U{U{XQU T, U, V, Q c T{U~VQQU T, U, V, R c T~U|V{RQU T, U, V, S c U~S|T{VQU T, U, V, T c T~T|U{VQU T, U, V, V c (U{V)~(V|T)QU T, U, V, W c T{U{V{WQU T, U, V, X c T{V~(X|U)QU T, U, W, P c (T|P)~W|UQU T, U, W, Q c T~U|WQQU T, U, W, R c (T{W)~(UR)QU T, U, W, S c T~U|W{SQU T, U, W, V c T{U{W{VQU T, U, W, W c (T~W)|(U{W)QU T, U, W, X c W~(X|T)|UQU T, U, X, P c T~(U{P)|XQU T, U, X, Q c T{U~Q{XQU T, U, X, R c T{X~R|UQU T, U, X, S c (T{XU)~SQU T, U, X, T c T~U|X{TQU T, U, X, U c T{U{X{UQU T, U, X, V c T{(X|U)~VQU T, U, X, W c (X|T)~W|UQU T, V, O, R c T{(V{O)~RQU T, V, O, X c T~V{O|XQU T, V, P, Q c (T{V{P)~QQU T, V, P, R c T{V~P~RQU T, V, P, S c T~(V|P)|SQU T, V, P, W c (T~V)|(P{W)QU T, V, P, X c T~V|P~XQU T, V, Q, P c T{V~(Q{P)QU T, V, Q, Q c (T{V)~Q{QQU T, V, Q, S c (T~S|V)~QQU T, V, Q, T c T{V~(T|Q)QU T, V, Q, U c T{VQ~UQU T, V, Q, V c T{V{Q~VQU T, V, Q, W c T~W|V~QQU T, V, Q, X c T~Q{V{XQU T, V, R, O c T{V~R{OQU T, V, R, P c T{V~R~PQU T, V, R, R c T~V|R~RQU T, V, R, S c T~R{V{SQU T, V, R, U c (T~V)|(R{U)QU T, V, R, V c (TV{R)~VQU T, V, R, W c V|T{R~WQU T, V, R, X c T{VR~XQU T, V, S, P c T{V~(S|P)QU T, V, S, Q c (T~S|V)~QQU T, V, S, R c T~R{V{SQU T, V, S, T c (T~V)|(S{T)QU T, V, S, U c V|T{S~UQU T, V, S, V c T{(V|S)~VQU T, V, S, W c (T|VS)~WQU T, V, S, X c (V|T)~(S{X)QU T, V, T, Q c T{V~(T|Q)QU T, V, T, S c (T~V)|(T{S)QU T, V, T, U c T~T{V|UQU T, V, T, V c T~T{VVQU T, V, T, W c T{V~(W|T)QU T, V, T, X c T{V{T{XQU T, V, U, Q c T{V~UQQU T, V, U, R c T{V~(U|R)QU T, V, U, S c V|T{U~SQU T, V, U, T c T~T{V|UQU T, V, U, V c (V|T)~(U{V)QU T, V, U, W c T{V{U{WQU T, V, U, X c T{V~(X|U)QU T, V, V, Q c T{V{V~QQU T, V, V, R c (TV{R)~VQU T, V, V, S c T{V~(V|S)QU T, V, V, T c T~T{VVQU T, V, V, U c (V|T)~(V{U)QU T, V, V, V c T{V{V{VQU T, V, V, W c (T~W)|(V{V)QU T, V, V, X c (T|XV)~VQU T, V, W, P c (T~V)|(W{P)QU T, V, W, Q c T~W|V~QQU T, V, W, R c V|T{W~RQU T, V, W, S c (T|VS)~WQU T, V, W, T c T{V~(W|T)QU T, V, W, U c T{V{W{UQU T, V, W, V c (T~W)|(V{V)QU T, V, W, X c (T{W)~(X|V)QU T, V, X, O c T~V|X{OQU T, V, X, P c T~V|X~PQU T, V, X, Q c (T~X{V)QQU T, V, X, R c T{V~XRQU T, V, X, S c (V|T)~(X{S)QU T, V, X, T c T{V{X{TQU T, V, X, U c T{V~(X|U)QU T, V, X, V c (T|XV)~VQU T, V, X, W c (T{W)~(X|V)QU T, W, O, Q c (T{W{O)~QQU T, W, P, P c (T{W)~(P{P)QU T, W, P, Q c (T{W)~(P~Q)QU T, W, P, R c T{(W|P)~RQU T, W, P, S c (W~S)|(T{P)QU T, W, P, U c (T|P)~W|UQU T, W, P, V c (T~V)|(W{P)QU T, W, P, X c T~(W|P)|XQU T, W, Q, O c (T{W)~(Q{O)QU T, W, Q, P c (T{W)~(Q~P)QU T, W, Q, Q c (T|Q)~W{QQU T, W, Q, S c (T{W)Q~SQU T, W, Q, T c T{W~Q{TQU T, W, Q, U c T~WQ{UQU T, W, Q, V c T~W|Q~VQU T, W, Q, W c T~Q{W{WQU T, W, R, P c (T{W)~(R|P)QU T, W, R, R c T{W~R|RQU T, W, R, T c (T{W)~(T|R)QU T, W, R, U c (T{W)R~UQU T, W, R, V c W~R|T{VQU T, W, R, X c (T|R)~X{WQU T, W, S, P c (W~S)|(T{P)QU T, W, S, Q c (T{W)~(S|Q)QU T, W, S, U c T~(W|S){UQU T, W, S, V c (T|VS)~WQU T, W, S, W c (T{W)S~WQU T, W, S, X c T{W{S{XQU T, W, T, Q c T{W~Q{TQU T, W, T, R c (T{W)~(T|R)QU T, W, T, V c T{(W|T)~VQU T, W, T, W c T{W{T{WQU T, W, T, X c (T~W)|(T{X)QU T, W, U, P c (T|P)~W|UQU T, W, U, Q c T~WQ{UQU T, W, U, R c (T{W)~(UR)QU T, W, U, S c (T{W)~(U|S)QU T, W, U, V c T{W{U{VQU T, W, U, W c (T~W)|(U{W)QU T, W, U, X c W~(X|T)|UQU T, W, V, P c (T~V)|(W{P)QU T, W, V, Q c T~W|V~QQU T, W, V, R c W~R|T{VQU T, W, V, S c (T|VS)~WQU T, W, V, T c (T{W)~(V|T)QU T, W, V, U c T{W{V{UQU T, W, V, V c (T~W)|(V{V)QU T, W, V, X c (T{W)~(X|V)QU T, W, W, Q c T~Q{W{WQU T, W, W, S c (T{W)~(WS)QU T, W, W, T c T{W{W{TQU T, W, W, U c (T{W)~(W|U)QU T, W, X, P c T~(W|P)|XQU T, W, X, R c (T|R)~X{WQU T, W, X, S c T{W{X{SQU T, W, X, T c (T~W)|(X{T)QU T, W, X, U c W~(X|T)|UQU T, W, X, V c (T{W)~(X|V)QU T, X, O, V c (T{O)~V|XQU T, X, P, Q c (T{X|P)~QQU T, X, P, S c T~(X|S){PQU T, X, P, U c T~(P{U)|XQU T, X, P, V c T~P~V|XQU T, X, P, W c T~(W|P)|XQU T, X, Q, P c (T{X|P)~QQU T, X, Q, Q c (T{X)~Q|QQU T, X, Q, R c T{(X|Q)~RQU T, X, Q, S c (X|TQ)~SQU T, X, Q, T c (T{Q)~T|XQU T, X, Q, U c T{X{Q~UQU T, X, Q, V c (T~X{V)QQU T, X, Q, X c T~(X|Q)|XQU T, X, R, Q c T{(X|Q)~RQU T, X, R, S c T{X{R~SQU T, X, R, T c X~R|TTQU T, X, R, U c T{X~R|UQU T, X, R, V c T{XR~VQU T, X, R, W c (T|R)~X{WQU T, X, R, X c T{X{R{XQU T, X, S, P c T~(X|S){PQU T, X, S, Q c (X|TQ)~SQU T, X, S, R c T{X{S~RQU T, X, S, T c (X~S)|(T{T)QU T, X, S, U c (T{XU)~SQU T, X, S, V c (X{S)~(V|T)QU T, X, S, W c T{X{S{WQU T, X, T, Q c T~(T{Q)|XQU T, X, T, R c X~R|TTQU T, X, T, S c (X~S)|(T{T)QU T, X, T, U c T~(X|T){UQU T, X, T, V c T{X{T{VQU T, X, T, W c T~T{X|WQU T, X, T, X c T~T{XXQU T, X, U, P c T~(U{P)|XQU T, X, U, Q c T{X{U~QQU T, X, U, R c T{X~R|UQU T, X, U, S c (T{XU)~SQU T, X, U, T c T~(X|T){UQU T, X, U, U c T{X{U{UQU T, X, U, V c T{(X|U)~VQU T, X, U, W c (X|T)~W|UQU T, X, V, O c T~V|X{OQU T, X, V, P c T~V|X~PQU T, X, V, Q c (T~X{V)QQU T, X, V, R c T{X~VRQU T, X, V, S c (X{S)~(V|T)QU T, X, V, T c T{X{V{TQU T, X, V, U c T{(X|U)~VQU T, X, V, V c (T|XV)~VQU T, X, V, W c (T{W)~(X|V)QU T, X, W, P c T~(W|P)|XQU T, X, W, R c (T|R)~X{WQU T, X, W, S c T{X{W{SQU T, X, W, T c (T~W)|(X{T)QU T, X, W, U c (X|T)~W|UQU T, X, W, V c (T{W)~(X|V)QU T, X, X, Q c T~(X|Q)|XQU T, X, X, R c T{X{X{RQU T, X, X, T c T~T{XXQU U, O, Q, S c (U{O)~S{QQU U, O, Q, V c (U{O{V)~QQU U, O, R, W c (U{O)~R{WQU U, O, S, Q c (U{O)~S{QQU U, O, S, T c U{O{S~TQU U, O, S, W c O{S~W|UQU U, O, T, S c U{O{T~SQU U, O, V, Q c (U{O{V)~QQU U, O, W, R c (U{O)~R{WQU U, O, W, S c O{W~S|UQU U, P, P, S c U~S{P{PQU U, P, P, T c (U|P)~T{PQU U, P, P, V c (U{V)~(P{P)QU U, P, Q, Q c (U~Q{P)~QQU U, P, Q, R c U~(P{R){QQU U, P, Q, S c (U{PQ)~SQU U, P, Q, T c U~(T|P){QQU U, P, Q, U c (U{P{U)~QQU U, P, Q, V c (U{P~V)~QQU U, P, Q, W c U~(P{Q){WQU U, P, Q, X c U{(P{X)~QQU U, P, R, Q c U~(P{R){QQU U, P, R, R c (U{R)~R|PQU U, P, R, S c U~(PR{S)QU U, P, R, T c U{(P{R)~TQU U, P, R, V c U|P{R~VQU U, P, R, W c U~P~R{WQU U, P, R, X c U~R|P{XQU U, P, S, P c U~S{P{PQU U, P, S, Q c (U{P)~S|QQU U, P, S, R c U~(PR{S)QU U, P, S, S c U{(P{S)~SQU U, P, S, T c U{P~S~TQU U, P, S, U c (U|P)~S{UQU U, P, S, V c (P{V)~S|UQU U, P, S, W c U~(S|P){WQU U, P, S, X c S~(X|P)|UQU U, P, T, P c (U|P)~T{PQU U, P, T, Q c U~(T|P){QQU U, P, T, R c U{(P{R)~TQU U, P, T, S c U{P~T~SQU U, P, T, T c U{(T|P)~TQU U, P, T, W c (T|P)~W|UQU U, P, T, X c (U{P)~T|XQU U, P, U, Q c (U{P{U)~QQU U, P, U, S c (U|P)~U|SQU U, P, U, X c (U~U)|(P{X)QU U, P, V, P c (U{V)~(P{P)QU U, P, V, Q c (U{P~V)~QQU U, P, V, R c U|P{V~RQU U, P, V, S c (P{V)~S|UQU U, P, V, X c (U|P)~V|XQU U, P, W, Q c (U|P{W)~QQU U, P, W, R c U~P~R{WQU U, P, W, S c U~(S|P){WQU U, P, W, T c W~(T|P)|UQU U, P, X, Q c U{(P{X)~QQU U, P, X, R c U~R|P{XQU U, P, X, S c (X|P)~S|UQU U, P, X, T c (U{P)~T|XQU U, P, X, U c (U~U)|(P{X)QU U, P, X, V c (U|P)~V|XQU U, P, X, X c (X|U)~X|PQU U, Q, O, S c (U{O)~S{QQU U, Q, O, V c (U{O{V)~QQU U, Q, P, Q c (U~Q{P)~QQU U, Q, P, R c U~(P{R){QQU U, Q, P, S c (U{PQ)~SQU U, Q, P, T c U~(T|P){QQU U, Q, P, U c (U{P{U)~QQU U, Q, P, V c (U{P~V)~QQU U, Q, P, W c U~(Q{P){WQU U, Q, P, X c U{Q~(P{X)QU U, Q, Q, P c (U~Q{P)~QQU U, Q, Q, Q c U~(Q{Q){QQU U, Q, Q, R c (U{Q)~R{QQU U, Q, Q, T c U{(Q{Q)~TQU U, Q, Q, U c (U|Q)~U{QQU U, Q, Q, V c U~Q{Q~VQU U, Q, Q, W c U{Q~(Q{W)QU U, Q, Q, X c U{Q{Q~XQU U, Q, R, P c U~(R{P){QQU U, Q, R, Q c (U{Q)~R{QQU U, Q, R, S c U{(Q{R)~SQU U, Q, R, T c (U~R|T)~QQU U, Q, R, U c U{Q{R~UQU U, Q, R, V c U{Q~(R{V)QU U, Q, R, W c (U{R)~Q{WQU U, Q, R, X c R~(X|QU)QU U, Q, S, O c U~S{Q{OQU U, Q, S, P c U~S{Q~PQU U, Q, S, R c U{(Q{R)~SQU U, Q, S, S c (U{QS)~SQU U, Q, S, T c (U{T)~Q{SQU U, Q, S, U c U{Q~(S{U)QU U, Q, S, V c U{S~(V|Q)QU U, Q, S, W c U{Q~W{SQU U, Q, S, X c (U{X)~Q|SQU U, Q, T, P c U~(T|P){QQU U, Q, T, Q c (U{Q{T)~QQU U, Q, T, R c U~(T|QR)QU U, Q, T, S c (U{T)~Q{SQU U, Q, T, T c U{Q~(T{T)QU U, Q, T, U c (U|Q)~T{UQU U, Q, T, V c UQ~V{TQU U, Q, T, W c U{TQ~WQU U, Q, T, X c U~Q{T{XQU U, Q, U, P c (U{U{P)~QQU U, Q, U, Q c (U|Q)~U{QQU U, Q, U, R c U{Q{U~RQU U, Q, U, S c U{Q~(U{S)QU U, Q, U, T c (U|Q)~T{UQU U, Q, U, V c U{Q~V{UQU U, Q, U, W c U{Q~U{WQU U, Q, V, O c (U{V)~(Q{O)QU U, Q, V, P c (U{V)~(Q~P)QU U, Q, V, Q c (U|Q)~V|QQU U, Q, V, R c U{Q~(V{R)QU U, Q, V, S c U{(V|Q)~SQU U, Q, V, T c UQ~V{TQU U, Q, V, U c U{Q~V{UQU U, Q, V, V c U~Q{V{VQU U, Q, V, W c U~V|Q~WQU U, Q, V, X c Q~(V{X)|UQU U, Q, W, P c U~(Q{P){WQU U, Q, W, Q c U{(Q{W)~QQU U, Q, W, R c (U{R)~Q{WQU U, Q, W, S c U{Q~W{SQU U, Q, W, T c U{WQ~TQU U, Q, W, U c (U|Q)~W|UQU U, Q, W, V c U~V|Q~WQU U, Q, W, W c Q~(W{W)|UQU U, Q, W, X c Q{W~(X|U)QU U, Q, X, P c U{Q~(X{P)QU U, Q, X, Q c U{Q{X~QQU U, Q, X, R c (X|QU)~RQU U, Q, X, S c (U{X)~Q|SQU U, Q, X, T c U~Q{X{TQU U, Q, X, V c Q~(X{V)|UQU U, Q, X, W c Q{(X|U)~WQU U, Q, X, X c U{Q{X{XQU U, R, O, W c U~R{O{WQU U, R, P, Q c U~(R{P){QQU U, R, P, R c (U{R)~R|PQU U, R, P, S c U~(PR{S)QU U, R, P, T c U{(R{P)~TQU U, R, P, V c U~R{P{VQU U, R, P, W c U~R{P~WQU U, R, P, X c U~R|P{XQU U, R, Q, P c U~(R{P){QQU U, R, Q, Q c (U{Q)~R{QQU U, R, Q, S c U{(R{Q)~SQU U, R, Q, T c (U~R|T)~QQU U, R, Q, U c U~R{Q{UQU U, R, Q, V c U{(R{V)~QQU U, R, Q, W c (U{R)~Q{WQU U, R, Q, X c R~(X|QU)QU U, R, R, P c (U{R)~R|PQU U, R, R, S c U~(R{SR)QU U, R, R, T c U~R{R{TQU U, R, R, W c UR{R~WQU U, R, S, P c U~S{R|PQU U, R, S, Q c (U{R{S)~QQU U, R, S, R c U~(R{SR)QU U, R, S, S c U~R{S{SQU U, R, S, T c U~S|R{TQU U, R, S, U c UR{S~UQU U, R, S, V c S~V|URQU U, R, S, W c U{R~S{WQU U, R, S, X c (UR)~(S{X)QU U, R, T, P c U{(R{P)~TQU U, R, T, Q c (U~R|T)~QQU U, R, T, R c U~R{T{RQU U, R, T, S c U~S|R{TQU U, R, T, T c U{R~T{TQU U, R, T, U c (U|TR)~UQU U, R, T, V c (U|R)~V{TQU U, R, T, W c (UR)~(T{W)QU U, R, T, X c R~X|U{TQU U, R, U, Q c U{R~U{QQU U, R, U, S c (U{RU)~SQU U, R, U, T c U~(U|TR)QU U, R, U, V c (UR)~(U{V)QU U, R, U, W c (U|R)~U{WQU U, R, U, X c R~X|UUQU U, R, V, P c U{R~V|PQU U, R, V, Q c U{(R{V)~QQU U, R, V, S c (V|RU)~SQU U, R, V, T c (U|R)~V{TQU U, R, V, U c (UR)~(V{U)QU U, R, V, W c U~(V|WR)QU U, R, V, X c U{R~X|VQU U, R, W, O c U~R{W{OQU U, R, W, P c U~R{W~PQU U, R, W, Q c (U|R)~W{QQU U, R, W, R c UR{W~RQU U, R, W, S c U{R~W|SQU U, R, W, T c (UR)~(W{T)QU U, R, W, U c U~(R{WU)QU U, R, W, V c U~(V|WR)QU U, R, W, W c R~W|U{WQU U, R, W, X c U{R{W{XQU U, R, X, P c (U|R)~X|PQU U, R, X, Q c R~(X|QU)QU U, R, X, S c U~(RX{S)QU U, R, X, T c R~X|U{TQU U, R, X, U c R~X|UUQU U, R, X, V c U{R~X|VQU U, R, X, W c U{R{X{WQU U, S, O, Q c U~S{O{QQU U, S, O, T c U{(S{O)~TQU U, S, O, W c (S{O)~W|UQU U, S, P, P c U~S{P{PQU U, S, P, Q c U~S{P~QQU U, S, P, R c U~(S{PR)QU U, S, P, S c U{(S{P)~SQU U, S, P, T c U{S~P~TQU U, S, P, U c U{S~(U|P)QU U, S, P, V c S~(P{V)|UQU U, S, P, W c U~(S|P){WQU U, S, P, X c S~(X|P)|UQU U, S, Q, O c U~S{Q{OQU U, S, Q, P c U~S{Q~PQU U, S, Q, R c U{S~(Q{R)QU U, S, Q, S c U~S|Q{SQU U, S, Q, T c (U{T)~Q{SQU U, S, Q, U c (U{S)~Q{UQU U, S, Q, V c U{S~(V|Q)QU U, S, Q, W c U{S{Q~WQU U, S, Q, X c (U{X)~Q|SQU U, S, R, P c U~S{R|PQU U, S, R, Q c (U{S{R)~QQU U, S, R, R c U~(SR{R)QU U, S, R, S c (U{S)~R|SQU U, S, R, T c U~S|R{TQU U, S, R, U c U~S{URQU U, S, R, V c S~V|URQU U, S, R, W c U{S~R{WQU U, S, R, X c U~(S{RX)QU U, S, S, P c U{S~(S{P)QU U, S, S, Q c U~S{S|QQU U, S, S, R c (U{S)~R|SQU U, S, S, S c U{S{S~SQU U, S, S, T c (US{T)~SQU U, S, S, U c U|S{S~UQU U, S, S, V c U~V|S~SQU U, S, S, W c (U{SW)~SQU U, S, S, X c (U|S)~(S{X)QU U, S, T, O c U{S~T{OQU U, S, T, P c U{S~T~PQU U, S, T, Q c (U{T)~Q{SQU U, S, T, R c U~S{T|RQU U, S, T, S c (US{T)~SQU U, S, T, T c (U|ST)~TQU U, S, T, U c U~(T|SU)QU U, S, T, V c U~S|T{VQU U, S, T, W c (U|S)~(T{W)QU U, S, T, X c S~(T{XU)QU U, S, U, P c U{S~(U|P)QU U, S, U, Q c U{(S{U)~QQU U, S, U, R c U~S{URQU U, S, U, S c U{S~U|SQU U, S, U, T c U~(T|SU)QU U, S, U, U c (U~U)|(S{U)QU U, S, U, V c (U|S)~(U{V)QU U, S, U, W c U~S|U{WQU U, S, V, P c S~(V{P)|UQU U, S, V, Q c U{S~(V|Q)QU U, S, V, R c S~V|URQU U, S, V, S c U~V|S~SQU U, S, V, T c U~S{V|TQU U, S, V, U c (U|S)~(V{U)QU U, S, V, W c U{S~V|WQU U, S, V, X c U{S{V{XQU U, S, W, O c S~W|U{OQU U, S, W, P c U~(S|P){WQU U, S, W, Q c U{S{W~QQU U, S, W, R c U{S~(W|R)QU U, S, W, S c (U{SW)~SQU U, S, W, T c (U|S)~(W{T)QU U, S, W, U c U~S{W|UQU U, S, W, V c U{S~V|WQU U, S, W, W c U{S{W{WQU U, S, W, X c (U|S)~X{WQU U, S, X, P c S~(X|P)|UQU U, S, X, Q c (U{X)~Q|SQU U, S, X, R c U~(S{X)RQU U, S, X, S c U{S~(X|S)QU U, S, X, T c S~(XU{T)QU U, S, X, V c U{S{X{VQU U, S, X, W c (U|S)~X{WQU U, T, O, S c U{(T{O)~SQU U, T, P, P c (U|P)~T{PQU U, T, P, Q c U~(T|P){QQU U, T, P, R c U{T~(P{R)QU U, T, P, S c U{T~P~SQU U, T, P, T c U{(T|P)~TQU U, T, P, W c (T|P)~W|UQU U, T, P, X c (U{P)~T|XQU U, T, Q, P c U~(T|P){QQU U, T, Q, Q c (U{T{Q)~QQU U, T, Q, R c U~(T|QR)QU U, T, Q, S c (U{T)~Q{SQU U, T, Q, T c U{(T{T)~QQU U, T, Q, U c U~T{Q|UQU U, T, Q, V c UQ~V{TQU U, T, Q, W c U{TQ~WQU U, T, Q, X c U~Q{T{XQU U, T, R, P c U{T~(R{P)QU U, T, R, Q c U~(T|QR)QU U, T, R, R c U~R{T{RQU U, T, R, S c U~S{T|RQU U, T, R, T c U{T{R~TQU U, T, R, U c (U|TR)~UQU U, T, R, V c (U{T)~R|VQU U, T, R, W c U~(T{W)RQU U, T, R, X c T{R~X|UQU U, T, S, O c U{T~S{OQU U, T, S, P c U{T~S~PQU U, T, S, Q c (U{T)~Q{SQU U, T, S, R c U~S{T|RQU U, T, S, S c (US{T)~SQU U, T, S, T c (UT{S)~TQU U, T, S, U c U~(T|SU)QU U, T, S, V c U~S|T{VQU U, T, S, W c U~T{S|WQU U, T, S, X c (T{XU)~SQU U, T, T, P c U{T~(T|P)QU U, T, T, Q c U{(T{T)~QQU U, T, T, R c U{T{T~RQU U, T, T, S c (UT{S)~TQU U, T, T, T c U{T~T|TQU U, T, T, U c (U~U)|(T{T)QU U, T, T, V c T~T|U{VQU U, T, T, X c U~T{T|XQU U, T, U, Q c U{T~(U|Q)QU U, T, U, R c (U|TR)~UQU U, T, U, S c U~(T|SU)QU U, T, U, T c (U~U)|(T{T)QU U, T, U, X c U{T{U{XQU U, T, V, Q c U~VQ{TQU U, T, V, R c U{T~(V|R)QU U, T, V, S c U~S|T{VQU U, T, V, T c T~T|U{VQU U, T, V, V c (U{V)~(V|T)QU U, T, V, W c U{T{V{WQU U, T, V, X c T{V~(X|U)QU U, T, W, P c (T|P)~W|UQU U, T, W, Q c U{T~WQQU U, T, W, R c U~(T{W)RQU U, T, W, S c U{T~(W|S)QU U, T, W, V c U{T{W{VQU U, T, W, W c U~(W|T){WQU U, T, W, X c W~(X|T)|UQU U, T, X, P c (U{P)~T|XQU U, T, X, Q c U~(X|T){QQU U, T, X, R c T{X~R|UQU U, T, X, S c (T{XU)~SQU U, T, X, T c U{T~(X|T)QU U, T, X, U c U{T{X{UQU U, T, X, V c T{(X|U)~VQU U, T, X, W c (X|T)~W|UQU U, U, P, Q c (U{U{P)~QQU U, U, P, S c U{(U|P)~SQU U, U, P, X c (U~U)|(P{X)QU U, U, Q, P c (U{U{P)~QQU U, U, Q, Q c (U{U)~Q{QQU U, U, Q, R c U{U~R{QQU U, U, Q, S c U{(U{S)~QQU U, U, Q, T c U{(U|Q)~TQU U, U, Q, V c U{U{Q~VQU U, U, Q, W c U{U~Q{WQU U, U, R, Q c U{U~R{QQU U, U, R, S c (U{RU)~SQU U, U, R, T c U~(U|TR)QU U, U, R, V c (U~U)|(R{V)QU U, U, R, W c U~(U|R){WQU U, U, R, X c R~X|UUQU U, U, S, P c U{(U|P)~SQU U, U, S, Q c U{(U{S)~QQU U, U, S, R c U~S{URQU U, U, S, S c U{U~S|SQU U, U, S, T c U~(T|SU)QU U, U, S, U c (U~U)|(S{U)QU U, U, S, V c (U|S)~(U{V)QU U, U, S, W c U~S|U{WQU U, U, T, Q c U~U|T~QQU U, U, T, R c U~(U|TR)QU U, U, T, S c U~(T|SU)QU U, U, T, T c (U~U)|(T{T)QU U, U, T, X c U{U{T{XQU U, U, U, S c (U~U)|(U{S)QU U, U, U, W c U{U{U{WQU U, U, V, Q c U{U{V~QQU U, U, V, R c U~(U{V)RQU U, U, V, S c (U{V)~(U|S)QU U, U, V, V c U{U{V{VQU U, U, V, W c (U{V)~(W|U)QU U, U, W, Q c (U~U)|(W{Q)QU U, U, W, R c U~(U|R){WQU U, U, W, S c U~S|U{WQU U, U, W, U c U{U{W{UQU U, U, W, V c (U{V)~(W|U)QU U, U, W, X c U~(X|U){WQU U, U, X, P c (U~U)|(X{P)QU U, U, X, R c X~R|UUQU U, U, X, T c U{U{X{TQU U, U, X, W c U~(X|U){WQU U, V, O, Q c (U{V{O)~QQU U, V, P, P c (U{V)~(P{P)QU U, V, P, Q c (U{V)~(P~Q)QU U, V, P, R c U{V~R|PQU U, V, P, S c (V{P)~S|UQU U, V, P, X c (U|P)~V|XQU U, V, Q, O c (U{V)~(Q{O)QU U, V, Q, P c (U{V)~(Q~P)QU U, V, Q, Q c (U|Q)~V|QQU U, V, Q, R c U{(V{R)~QQU U, V, Q, S c U{(V|Q)~SQU U, V, Q, T c U~VQ{TQU U, V, Q, U c U{V~Q{UQU U, V, Q, V c U~Q{V{VQU U, V, Q, W c U~V|Q~WQU U, V, Q, X c (V{X)~Q|UQU U, V, R, P c U{V~R|PQU U, V, R, Q c U{(V{R)~QQU U, V, R, S c (V|RU)~SQU U, V, R, T c U{(V|R)~TQU U, V, R, U c (U{V)R~UQU U, V, R, W c U~(V|WR)QU U, V, R, X c U{R~X|VQU U, V, S, P c (V{P)~S|UQU U, V, S, Q c (U{V)~(S|Q)QU U, V, S, R c V~S|URQU U, V, S, S c U~V|S~SQU U, V, S, T c U~S{V|TQU U, V, S, U c (U{V)~(U|S)QU U, V, S, W c U{V~S|WQU U, V, S, X c U{V{S{XQU U, V, T, Q c U~VQ{TQU U, V, T, R c (U{V)~(T|R)QU U, V, T, S c U~S{V|TQU U, V, T, T c V|U{T~TQU U, V, T, V c (U{V)~(V|T)QU U, V, T, W c U{V{T{WQU U, V, T, X c V~(X|U){TQU U, V, U, Q c U{V~Q{UQU U, V, U, R c (U{V)~(UR)QU U, V, U, S c (U{V)~(U|S)QU U, V, U, V c U{V{U{VQU U, V, U, W c (U{V)~(W|U)QU U, V, V, Q c U~Q{V{VQU U, V, V, T c (U{V)~(V|T)QU U, V, V, U c U{V{V{UQU U, V, V, X c (U~V)|(V{X)QU U, V, W, Q c U~V|W~QQU U, V, W, R c U~(V|WR)QU U, V, W, S c (U{V)~(WS)QU U, V, W, T c U{V{W{TQU U, V, W, U c (U{V)~(W|U)QU U, V, W, W c (U~V)|(W{W)QU U, V, X, P c (U|P)~V|XQU U, V, X, Q c (V{X)~Q|UQU U, V, X, R c U{X~R|VQU U, V, X, S c U{V{X{SQU U, V, X, T c V~(X|U){TQU U, V, X, V c (U{V)~(X|V)QU U, W, O, R c (U{O)~R{WQU U, W, O, S c (W{O)~S|UQU U, W, P, Q c (U{W|P)~QQU U, W, P, R c U~P~R{WQU U, W, P, S c U~(S|P){WQU U, W, P, T c W~(T|P)|UQU U, W, Q, P c (U{W|P)~QQU U, W, Q, Q c U{(W{Q)~QQU U, W, Q, R c (U|R)~W{QQU U, W, Q, S c U{W~Q{SQU U, W, Q, T c U{WQ~TQU U, W, Q, U c U{W{Q~UQU U, W, Q, V c U~V|W~QQU U, W, Q, W c WQ~W|UQU U, W, Q, X c W~(X|U){QQU U, W, R, O c U~R{W{OQU U, W, R, P c U~R{W~PQU U, W, R, Q c (U|R)~W{QQU U, W, R, R c (U{WR)~RQU U, W, R, S c U{W{R~SQU U, W, R, T c U~(W{T)RQU U, W, R, U c U~(WU{R)QU U, W, R, V c U~(V|WR)QU U, W, R, W c W|U{R~WQU U, W, R, X c U{W{R{XQU U, W, S, O c W~S|U{OQU U, W, S, P c U~(S|P){WQU U, W, S, Q c (U~W{S)QQU U, W, S, R c U{W{S~RQU U, W, S, S c (U{SW)~SQU U, W, S, T c U{(W|S)~TQU U, W, S, U c U~S{W|UQU U, W, S, V c U{S~V|WQU U, W, S, W c U{W{S{WQU U, W, S, X c (U|S)~X{WQU U, W, T, P c W~(T|P)|UQU U, W, T, Q c U{W~TQQU U, W, T, R c U~(W{T)RQU U, W, T, S c U{(W|S)~TQU U, W, T, V c U{W{T{VQU U, W, T, W c U~(W|T){WQU U, W, T, X c W~(X|T)|UQU U, W, U, Q c U{W{U~QQU U, W, U, R c U~(WU{R)QU U, W, U, S c U~S{W|UQU U, W, U, U c U{W{U{UQU U, W, U, V c (U{V)~(W|U)QU U, W, U, X c U~(X|U){WQU U, W, V, Q c U~V|W~QQU U, W, V, R c U~(V|WR)QU U, W, V, S c (U{V)~(WS)QU U, W, V, T c U{W{V{TQU U, W, V, U c (U{V)~(W|U)QU U, W, V, W c (U~V)|(W{W)QU U, W, W, Q c (W{W)~Q|UQU U, W, W, R c W|U{W~RQU U, W, W, S c U{W{W{SQU U, W, W, T c U~(W|T){WQU U, W, W, V c (U~V)|(W{W)QU U, W, W, X c (W|U)~X{WQU U, W, X, Q c W~(X|U){QQU U, W, X, R c U{W{X{RQU U, W, X, S c (U|S)~X{WQU U, W, X, T c W~(X|T)|UQU U, W, X, U c U~(X|U){WQU U, W, X, W c (W|U)~X{WQU U, X, P, Q c U{(X{P)~QQU U, X, P, R c (U|R)~X|PQU U, X, P, S c (X|P)~S|UQU U, X, P, T c (U{P)~T|XQU U, X, P, U c (U~U)|(X{P)QU U, X, P, V c (U|P)~V|XQU U, X, P, X c (X|U)~X|PQU U, X, Q, P c U~XQ|PQU U, X, Q, Q c (U{X|Q)~QQU U, X, Q, R c (X|QU)~RQU U, X, Q, S c (U{X)~Q|SQU U, X, Q, T c U~(X|T){QQU U, X, Q, V c (X{V)~Q|UQU U, X, Q, W c (X|U)~W{QQU U, X, Q, X c U{X{Q{XQU U, X, R, P c (U|R)~X|PQU U, X, R, Q c (X|QU)~RQU U, X, R, S c U~(X{S)RQU U, X, R, T c X~R|U{TQU U, X, R, U c X~R|UUQU U, X, R, V c U{X~R|VQU U, X, R, W c U{X{R{WQU U, X, S, P c (X|P)~S|UQU U, X, S, Q c (U{X)~Q|SQU U, X, S, R c U~(X{S)RQU U, X, S, S c U{(X|S)~SQU U, X, S, T c (XU{T)~SQU U, X, S, V c U{X{S{VQU U, X, S, W c (U|S)~X{WQU U, X, T, P c (U{P)~T|XQU U, X, T, Q c U~(X|T){QQU U, X, T, R c X~R|U{TQU U, X, T, S c (XU{T)~SQU U, X, T, T c U{(X|T)~TQU U, X, T, U c U{X{T{UQU U, X, T, V c (X|U)~V{TQU U, X, T, W c (X|T)~W|UQU U, X, U, P c (U~U)|(X{P)QU U, X, U, R c X~R|UUQU U, X, U, T c U{X{U{TQU U, X, U, W c U~(X|U){WQU U, X, V, P c (U|P)~V|XQU U, X, V, Q c (X{V)~Q|UQU U, X, V, R c U{X~R|VQU U, X, V, S c U{X{V{SQU U, X, V, T c (X|U)~V{TQU U, X, V, V c (U{V)~(X|V)QU U, X, W, Q c (X|U)~W{QQU U, X, W, R c U{X{W{RQU U, X, W, S c (U|S)~X{WQU U, X, W, T c (X|T)~W|UQU U, X, W, U c U~(X|U){WQU U, X, W, W c X~(W|U){WQU U, X, X, P c (X|U)~X|PQU U, X, X, Q c U{X{X{QQU V, O, Q, S c (V{O)~S|QQU V, O, Q, U c (V{O{U)~QQU V, O, R, T c (V{O)~R{TQU V, O, S, Q c (V{O)~S|QQU V, O, T, R c (V{O)~R{TQU V, O, T, X c (V{O)~T|XQU V, O, U, Q c (V{O{U)~QQU V, O, X, T c (V{O)~T|XQU V, P, P, S c (V~S)|(P{P)QU V, P, P, U c (V{U)~(P{P)QU V, P, Q, Q c (V~Q|P)~QQU V, P, Q, R c (V{P)~R{QQU V, P, Q, S c (V|PQ)~SQU V, P, Q, T c V~(P{Q){TQU V, P, Q, U c (V{P~U)~QQU V, P, Q, V c (V|P{V)~QQU V, P, Q, X c V{P{Q~XQU V, P, R, Q c (V{P)~R{QQU V, P, R, S c V~R{P{SQU V, P, R, T c V~P~R{TQU V, P, R, U c V{P{R~UQU V, P, R, W c (V|P)~R{WQU V, P, S, P c (V~S)|(P{P)QU V, P, S, Q c (V|P)~S{QQU V, P, S, R c V~S{P|RQU V, P, S, T c V|P{S~TQU V, P, S, U c (V{P)~S|UQU V, P, S, W c P{S~W|VQU V, P, S, X c V~(P{S)|XQU V, P, T, Q c (V{P{T)~QQU V, P, T, R c V~P~R{TQU V, P, T, S c V|P{T~SQU V, P, T, W c (V~T)|(P{W)QU V, P, T, X c V~P~T|XQU V, P, U, P c (V{U)~(P{P)QU V, P, U, Q c (V{P~U)~QQU V, P, U, R c V{P{U~RQU V, P, U, S c (V{P)~S|UQU V, P, U, X c V~(U|P)|XQU V, P, V, Q c (V|P{V)~QQU V, P, W, R c (V|P)~R{WQU V, P, W, S c P{W~S|VQU V, P, W, T c (V~T)|(P{W)QU V, P, X, Q c V{P{X~QQU V, P, X, S c V~(P{S)|XQU V, P, X, T c V~P~T|XQU V, P, X, U c V~(U|P)|XQU V, P, X, X c V{P{X{XQU V, Q, O, S c (V{O)~S|QQU V, Q, O, U c (V{O{U)~QQU V, Q, P, Q c (V~Q|P)~QQU V, Q, P, R c (V{Q)~R|PQU V, Q, P, S c (V|PQ)~SQU V, Q, P, T c V~(Q{P){TQU V, Q, P, U c (V{P~U)~QQU V, Q, P, V c (V|P{V)~QQU V, Q, P, X c V{Q~X{PQU V, Q, Q, P c (V~Q|P)~QQU V, Q, Q, Q c V~(Q{Q)|QQU V, Q, Q, R c (V{Q~R)~QQU V, Q, Q, S c (V{Q{S)~QQU V, Q, Q, T c (V{T)~Q{QQU V, Q, Q, U c V~Q{Q~UQU V, Q, Q, V c (V{V)~Q|QQU V, Q, Q, W c (V{Q)~Q{WQU V, Q, R, P c (V{Q)~R|PQU V, Q, R, Q c (V{Q~R)~QQU V, Q, R, R c V~R{Q{RQU V, Q, R, S c V~Q{R~SQU V, Q, R, U c (V{R)~Q{UQU V, Q, R, V c V|Q{R~VQU V, Q, R, W c V{Q~W{RQU V, Q, R, X c V~Q{R{XQU V, Q, S, O c V~S|Q{OQU V, Q, S, P c V~S|Q~PQU V, Q, S, Q c (V{Q{S)~QQU V, Q, S, R c V~Q{S~RQU V, Q, S, S c (V|QS)~SQU V, Q, S, T c Q~(S~T|V)QU V, Q, S, U c (V|Q)~S{UQU V, Q, S, V c V~(S|QV)QU V, Q, S, W c V~Q{S{WQU V, Q, T, P c (V|Q)~T{PQU V, Q, T, Q c (V{T)~Q{QQU V, Q, T, S c Q~(T~S|V)QU V, Q, T, T c V~(T|Q){TQU V, Q, T, U c VQ~U{TQU V, Q, T, V c V~Q{T{VQU V, Q, T, W c T~W|V~QQU V, Q, T, X c V{Q~T{XQU V, Q, U, O c (V{U)~(Q{O)QU V, Q, U, P c (V{U)~(Q~P)QU V, Q, U, Q c V~Q{U~QQU V, Q, U, R c (V{R)~Q{UQU V, Q, U, S c (V|Q)~U|SQU V, Q, U, T c VQ~U{TQU V, Q, U, U c V~Q{U{UQU V, Q, U, V c V{Q~U{VQU V, Q, U, W c V~U|Q~WQU V, Q, U, X c (V{X)~Q|UQU V, Q, V, P c (V{V|P)~QQU V, Q, V, Q c (V{V)~Q|QQU V, Q, V, R c V|Q{V~RQU V, Q, V, S c V~(S|QV)QU V, Q, V, T c V{Q~V{TQU V, Q, V, U c V{Q~U{VQU V, Q, V, X c (V|Q)~V|XQU V, Q, W, Q c (V|Q{W)~QQU V, Q, W, R c V{Q~W{RQU V, Q, W, S c V~Q{W{SQU V, Q, W, T c W~T|V~QQU V, Q, W, U c V~U|Q~WQU V, Q, W, X c V{Q{W{XQU V, Q, X, P c V{Q~X{PQU V, Q, X, R c V~Q{X{RQU V, Q, X, T c V{Q~T{XQU V, Q, X, U c (V{X)~Q|UQU V, Q, X, V c (V|Q)~V|XQU V, Q, X, W c V{Q{X{WQU V, R, O, T c V~R{O{TQU V, R, P, Q c V~(R{P)|QQU V, R, P, S c V~R{P{SQU V, R, P, T c V~R{P~TQU V, R, P, U c V~R|P{UQU V, R, P, W c (V|P)~R{WQU V, R, Q, P c V~(R{P)|QQU V, R, Q, Q c (V{R~Q)~QQU V, R, Q, R c V~R{Q{RQU V, R, Q, S c V~Q{R~SQU V, R, Q, U c (V{R)~Q{UQU V, R, Q, V c V~R|Q{VQU V, R, Q, W c V{R{Q~WQU V, R, Q, X c V~(R{Q)|XQU V, R, R, Q c (V{R{R)~QQU V, R, R, S c (V{R)~R|SQU V, R, R, T c (V{TR)~RQU V, R, R, W c V~R|R{WQU V, R, S, P c V~R{S{PQU V, R, S, Q c V~Q{R~SQU V, R, S, R c (V{R)~R|SQU V, R, S, S c V{R{S~SQU V, R, S, T c V{R~T{SQU V, R, S, U c (V|RU)~SQU V, R, S, V c V{R~S{VQU V, R, S, X c V~R|S{XQU V, R, T, O c V~R{T{OQU V, R, T, P c V~R{T~PQU V, R, T, R c (V{TR)~RQU V, R, T, S c V{R~T{SQU V, R, T, U c (V|R)~T{UQU V, R, T, V c V~(R{TV)QU V, R, T, W c V{R~W|TQU V, R, T, X c VR~X{TQU V, R, U, P c V{R~U{PQU V, R, U, Q c (V|R)~U{QQU V, R, U, S c (V|RU)~SQU V, R, U, T c (V|R)~T{UQU V, R, U, U c (V{U)R~UQU V, R, U, W c (V|R)~W|UQU V, R, U, X c R~X|V{UQU V, R, V, Q c V{R~V|QQU V, R, V, S c V{R~S{VQU V, R, V, T c V~(R{TV)QU V, R, V, X c V{R{V{XQU V, R, W, P c (V|P)~R{WQU V, R, W, Q c V{R{W~QQU V, R, W, R c V~R{W|RQU V, R, W, T c V{R~W|TQU V, R, W, U c (V|R)~W|UQU V, R, W, W c V{R{W{WQU V, R, W, X c V{R~X|WQU V, R, X, Q c (V|R{X)~QQU V, R, X, S c V~R{X|SQU V, R, X, T c VR~X{TQU V, R, X, U c R~X|V{UQU V, R, X, V c V{R{X{VQU V, R, X, W c V{R~X|WQU V, S, O, Q c V~S{O|QQU V, S, P, P c (V~S)|(P{P)QU V, S, P, Q c V~S|P~QQU V, S, P, R c V~S{P|RQU V, S, P, T c V~(S|P){TQU V, S, P, U c (V{P)~S|UQU V, S, P, W c S~W|V{PQU V, S, P, X c V~(S{P)|XQU V, S, Q, O c V~S|Q{OQU V, S, Q, P c V~S|Q~PQU V, S, Q, Q c (V{S{Q)~QQU V, S, Q, R c V~Q{S~RQU V, S, Q, S c (V{S)~Q{SQU V, S, Q, T c (S~T|V)~QQU V, S, Q, U c (V|Q)~S{UQU V, S, Q, V c V~(S|QV)QU V, S, Q, W c (V|S)~W{QQU V, S, R, P c V~S|R{PQU V, S, R, Q c V~Q{S~RQU V, S, R, R c (V{R)~R|SQU V, S, R, S c V{S~S{RQU V, S, R, T c V{S{R~TQU V, S, R, U c V~S|URQU V, S, R, V c V{S~R{VQU V, S, R, X c V~R|S{XQU V, S, S, Q c V~S|S{QQU V, S, S, R c V{S~S{RQU V, S, S, U c V~S{S|UQU V, S, S, W c (V|SW)~SQU V, S, T, P c V{S~T|PQU V, S, T, Q c (S~T|V)~QQU V, S, T, R c V{S{T~RQU V, S, T, T c (V~T)|(S{T)QU V, S, T, U c V{S~U|TQU V, S, T, V c V~S{T|VQU V, S, T, W c (T|VS)~WQU V, S, T, X c (V|T)~(S{X)QU V, S, U, P c (V{P)~S|UQU V, S, U, Q c (V{U)~(S|Q)QU V, S, U, R c V~S|URQU V, S, U, S c V~S|U{SQU V, S, U, T c V{S~U|TQU V, S, U, U c (V{U)~(U|S)QU V, S, U, W c (V|S)~U{WQU V, S, U, X c V{S{U{XQU V, S, V, Q c V~(S|QV)QU V, S, V, R c V{S~R{VQU V, S, V, T c (V|S)~V{TQU V, S, V, W c V{S{V{WQU V, S, V, X c V{S~V|XQU V, S, W, P c S~W|V{PQU V, S, W, Q c (V|S)~W{QQU V, S, W, S c (V|SW)~SQU V, S, W, T c W~(T|VS)QU V, S, W, U c V~S|W{UQU V, S, W, V c V{S{W{VQU V, S, X, P c (V|S)~X|PQU V, S, X, R c V~R|S{XQU V, S, X, T c (V|T)~(S{X)QU V, S, X, U c V{S{X{UQU V, S, X, V c V~S|X{VQU V, S, X, X c V~(X|S)|XQU V, T, O, R c (V{O)~R{TQU V, T, O, X c V~T{O|XQU V, T, P, Q c (V{T{P)~QQU V, T, P, R c V~P~R{TQU V, T, P, S c V{T~S|PQU V, T, P, W c (V~T)|(P{W)QU V, T, P, X c V~T|P~XQU V, T, Q, P c (V{T{P)~QQU V, T, Q, Q c (V{T)~Q{QQU V, T, Q, S c (T~S|V)~QQU V, T, Q, T c V~(T|Q){TQU V, T, Q, U c VQ~U{TQU V, T, Q, V c V{T{Q~VQU V, T, Q, W c T~W|V~QQU V, T, Q, X c V{T~Q{XQU V, T, R, O c V~R{T{OQU V, T, R, P c V~R{T~PQU V, T, R, R c (V{TR)~RQU V, T, R, S c V{T~R{SQU V, T, R, U c (V~T)|(R{U)QU V, T, R, V c V~(TV{R)QU V, T, R, W c V|T{R~WQU V, T, R, X c VR~X{TQU V, T, S, P c V{T~S|PQU V, T, S, Q c (T~S|V)~QQU V, T, S, R c V{T~R{SQU V, T, S, T c (V~T)|(S{T)QU V, T, S, U c V|T{S~UQU V, T, S, V c V~S{T|VQU V, T, S, W c (T|VS)~WQU V, T, S, X c (V|T)~(S{X)QU V, T, T, Q c V~(T|Q){TQU V, T, T, S c (V~T)|(T{S)QU V, T, T, U c V{T~T|UQU V, T, T, V c VV{T~TQU V, T, T, W c (V|T)~(T{W)QU V, T, T, X c V{T{T{XQU V, T, U, Q c V~UQ{TQU V, T, U, R c (V~T)|(U{R)QU V, T, U, S c V|T{U~SQU V, T, U, T c V{T~T|UQU V, T, U, V c (V|T)~(U{V)QU V, T, U, W c V{T{U{WQU V, T, U, X c V~(X|U){TQU V, T, V, Q c V{T{V~QQU V, T, V, R c V~(TV{R)QU V, T, V, S c V~(V|S){TQU V, T, V, T c VV{T~TQU V, T, V, U c (V|T)~(V{U)QU V, T, V, V c V{T{V{VQU V, T, V, W c (T~W)|(V{V)QU V, T, V, X c V~(T|XV)QU V, T, W, P c (V~T)|(W{P)QU V, T, W, Q c T~W|V~QQU V, T, W, R c V|T{W~RQU V, T, W, S c (T|VS)~WQU V, T, W, T c (V|T)~(W{T)QU V, T, W, U c V{T{W{UQU V, T, W, V c (T~W)|(V{V)QU V, T, W, X c (V|T)~X{WQU V, T, X, O c V~T|X{OQU V, T, X, P c V~T|X~PQU V, T, X, Q c (V{T~X)QQU V, T, X, R c V~XR{TQU V, T, X, S c (V|T)~(X{S)QU V, T, X, T c V{T{X{TQU V, T, X, U c V~(X|U){TQU V, T, X, V c V~(T|XV)QU V, T, X, W c (V|T)~X{WQU V, U, O, Q c (V{U{O)~QQU V, U, P, P c (V{U)~(P{P)QU V, U, P, Q c (V{U)~(P~Q)QU V, U, P, R c V{U~R{PQU V, U, P, S c (V{P)~S|UQU V, U, P, X c V~(U|P)|XQU V, U, Q, O c (V{U)~(Q{O)QU V, U, Q, P c (V{U)~(Q~P)QU V, U, Q, Q c V~(U|Q)|QQU V, U, Q, R c (V|R)~U{QQU V, U, Q, S c (V{U)Q~SQU V, U, Q, T c V~UQ{TQU V, U, Q, U c V~Q{U{UQU V, U, Q, V c V{U~Q{VQU V, U, Q, W c V~U|Q~WQU V, U, Q, X c (V{X)~Q|UQU V, U, R, P c V{U~R{PQU V, U, R, Q c (V|R)~U{QQU V, U, R, S c (V|RU)~SQU V, U, R, T c V~(U|R){TQU V, U, R, U c (V{U)R~UQU V, U, R, W c (V|R)~W|UQU V, U, R, X c U{R~X|VQU V, U, S, P c (V{P)~S|UQU V, U, S, Q c (V{U)~(S|Q)QU V, U, S, R c V~S|URQU V, U, S, S c V~U|S~SQU V, U, S, T c V{U~S|TQU V, U, S, U c (V{U)~(U|S)QU V, U, S, W c (V{U)S~WQU V, U, S, X c V{U{S{XQU V, U, T, Q c V~UQ{TQU V, U, T, R c (V{U)~(T|R)QU V, U, T, S c V{U~S|TQU V, U, T, T c V|U{T~TQU V, U, T, V c (V{U)~(V|T)QU V, U, T, W c V{U{T{WQU V, U, T, X c V~(X|U){TQU V, U, U, Q c V~Q{U{UQU V, U, U, R c (V{U)~(UR)QU V, U, U, S c (V{U)~(U|S)QU V, U, U, V c V{U{U{VQU V, U, U, W c (V{U)~(W|U)QU V, U, V, Q c V{U~Q{VQU V, U, V, T c (V{U)~(V|T)QU V, U, V, U c V{U{V{UQU V, U, V, X c (V~U)|(V{X)QU V, U, W, Q c V~U|W~QQU V, U, W, R c (V|WR)~UQU V, U, W, S c (V{U)~(WS)QU V, U, W, T c V{U{W{TQU V, U, W, U c (V{U)~(W|U)QU V, U, W, W c (V~U)|(W{W)QU V, U, X, P c V~(U|P)|XQU V, U, X, Q c (V{X)~Q|UQU V, U, X, R c U{X~R|VQU V, U, X, S c V{U{X{SQU V, U, X, T c V~(X|U){TQU V, U, X, V c (V{U)~(X|V)QU V, V, P, Q c (V{V|P)~QQU V, V, Q, P c (V{V|P)~QQU V, V, Q, Q c (V{V)~Q|QQU V, V, Q, R c V{V~R|QQU V, V, Q, S c V~(S|QV)QU V, V, Q, T c V{V~Q{TQU V, V, Q, U c V{V{Q~UQU V, V, Q, X c V~(V|Q)|XQU V, V, R, Q c V{V~R|QQU V, V, R, S c V{V{R~SQU V, V, R, T c V~(R{TV)QU V, V, R, X c V{V{R{XQU V, V, S, Q c V~(S|QV)QU V, V, S, R c V{V{S~RQU V, V, S, T c V~(V|S){TQU V, V, S, W c V{V{S{WQU V, V, S, X c V{V~S|XQU V, V, T, Q c V{V~Q{TQU V, V, T, R c V~(TV{R)QU V, V, T, S c V~(V|S){TQU V, V, T, T c VV{T~TQU V, V, T, U c (V|T)~(V{U)QU V, V, T, V c V{V{T{VQU V, V, T, W c (T~W)|(V{V)QU V, V, T, X c V~(T|XV)QU V, V, U, Q c V{V{U~QQU V, V, U, T c (V{U)~(V|T)QU V, V, U, U c V{V{U{UQU V, V, U, X c (V~U)|(V{X)QU V, V, V, T c V{V{V{TQU V, V, W, S c V{V{W{SQU V, V, W, T c (W~T)|(V{V)QU V, V, X, Q c V~(V|Q)|XQU V, V, X, R c V{V{X{RQU V, V, X, S c V{V~S|XQU V, V, X, T c V~(T|XV)QU V, V, X, U c (V~U)|(V{X)QU V, W, P, R c (V|P)~R{WQU V, W, P, S c W~S|V{PQU V, W, P, T c (V~T)|(W{P)QU V, W, Q, Q c (V{W|Q)~QQU V, W, Q, R c V{W~Q{RQU V, W, Q, S c (V{W)~Q|SQU V, W, Q, T c W~T|V~QQU V, W, Q, U c V~U|W~QQU V, W, Q, X c V{W{Q{XQU V, W, R, P c (V|P)~R{WQU V, W, R, Q c V{W~Q{RQU V, W, R, R c V~R{W|RQU V, W, R, T c V{W~R|TQU V, W, R, U c (V|WR)~UQU V, W, R, W c V{W{R{WQU V, W, R, X c V~(W|R)|XQU V, W, S, P c W~S|V{PQU V, W, S, Q c V~(W|S)|QQU V, W, S, S c (V|SW)~SQU V, W, S, T c W~(T|VS)QU V, W, S, U c V~S|W{UQU V, W, S, V c V{W{S{VQU V, W, T, P c (V~T)|(W{P)QU V, W, T, Q c W~T|V~QQU V, W, T, R c V{W~R|TQU V, W, T, S c W~(T|VS)QU V, W, T, T c V~(W|T){TQU V, W, T, U c V{W{T{UQU V, W, T, V c (W~T)|(V{V)QU V, W, T, X c (V|T)~X{WQU V, W, U, Q c V~U|W~QQU V, W, U, R c (V|WR)~UQU V, W, U, S c (V{U)~(WS)QU V, W, U, T c V{W{U{TQU V, W, U, U c (V{U)~(W|U)QU V, W, U, W c (V~U)|(W{W)QU V, W, V, S c V{W{V{SQU V, W, V, T c (W~T)|(V{V)QU V, W, W, R c V{W{W{RQU V, W, W, U c (V~U)|(W{W)QU V, W, X, Q c V{W{X{QQU V, W, X, R c V~(W|R)|XQU V, W, X, T c (V|T)~X{WQU V, W, X, X c W{(X|V)~XQU V, X, O, T c (V{O)~T|XQU V, X, P, Q c V{X~Q{PQU V, X, P, S c V~(P{S)|XQU V, X, P, T c V~P~T|XQU V, X, P, U c V~(U|P)|XQU V, X, P, X c V{X{P{XQU V, X, Q, P c V{X~Q{PQU V, X, Q, R c (V{X|R)~QQU V, X, Q, T c V{X{Q~TQU V, X, Q, U c (V{X)~Q|UQU V, X, Q, V c (V|Q)~V|XQU V, X, Q, W c V{X{Q{WQU V, X, R, Q c (V{X|R)~QQU V, X, R, S c V~R{X|SQU V, X, R, T c V~XR{TQU V, X, R, U c X~R|V{UQU V, X, R, V c V{X{R{VQU V, X, R, W c V{X~R|WQU V, X, S, P c (V|S)~X|PQU V, X, S, R c V~R{X|SQU V, X, S, T c (V|T)~(X{S)QU V, X, S, U c V{X{S{UQU V, X, S, V c V~S|X{VQU V, X, S, X c V~(X|S)|XQU V, X, T, O c V~T|X{OQU V, X, T, P c V~T|X~PQU V, X, T, Q c V{X{T~QQU V, X, T, R c V~XR{TQU V, X, T, S c (V|T)~(X{S)QU V, X, T, T c V{X{T{TQU V, X, T, U c V~(X|U){TQU V, X, T, V c V~(T|XV)QU V, X, T, W c (V|T)~X{WQU V, X, U, P c V~(U|P)|XQU V, X, U, Q c (V{X)~Q|UQU V, X, U, R c X~R|V{UQU V, X, U, S c V{X{U{SQU V, X, U, T c V~(X|U){TQU V, X, U, V c (V{U)~(X|V)QU V, X, V, Q c V~(V|Q)|XQU V, X, V, R c V{X{V{RQU V, X, V, S c V{V~S|XQU V, X, V, T c V~(T|XV)QU V, X, V, U c (V{U)~(X|V)QU V, X, W, Q c V{X{W{QQU V, X, W, R c V{X~R|WQU V, X, W, T c (V|T)~X{WQU V, X, W, X c (X|V)~X{WQU V, X, X, P c V{X{X{PQU V, X, X, S c V~(X|S)|XQU V, X, X, W c (X|V)~X{WQU W, O, Q, R c (W{O)~R{QQU W, O, Q, T c (W{O{T)~QQU W, O, Q, X c W{O{Q~XQU W, O, R, Q c (W{O)~R{QQU W, O, R, U c W{O{R~UQU W, O, S, U c (W{O)~S|UQU W, O, T, Q c (W{O{T)~QQU W, O, U, R c W{O{U~RQU W, O, U, S c (W{O)~S|UQU W, O, X, Q c W{O{X~QQU W, O, X, X c W{O{X{XQU W, P, P, R c (W{P)~R|PQU W, P, P, T c (W{T)~(P{P)QU W, P, P, X c W{(P{P)~XQU W, P, Q, Q c W~(P{Q){QQU W, P, Q, R c W~P~R{QQU W, P, Q, S c (W{P{S)~QQU W, P, Q, T c (W{P~T)~QQU W, P, Q, U c W{(P{Q)~UQU W, P, Q, W c (W{P)~Q{WQU W, P, Q, X c W{P~Q~XQU W, P, R, P c (W{P)~R|PQU W, P, R, Q c W~P~R{QQU W, P, R, R c W~R|P{RQU W, P, R, S c W~(PS{R)QU W, P, R, T c (W|P)~R{TQU W, P, R, U c W{P~R~UQU W, P, R, V c W{R~(V|P)QU W, P, R, X c W{(R|P)~XQU W, P, S, Q c (W{P{S)~QQU W, P, S, R c W~(PS{R)QU W, P, S, T c (W~S)|(P{T)QU W, P, S, U c W~P~S|UQU W, P, S, V c W~S{P|VQU W, P, S, X c W~(P{XS)QU W, P, T, P c (W{T)~(P{P)QU W, P, T, Q c (W{P~T)~QQU W, P, T, R c W{(P{T)~RQU W, P, T, S c (W~S)|(P{T)QU W, P, T, U c W~(T|P)|UQU W, P, T, V c (T~V)|(W{P)QU W, P, T, X c (W|P)~T|XQU W, P, U, Q c (W|P{U)~QQU W, P, U, R c W{P~U~RQU W, P, U, S c W~P~S|UQU W, P, U, T c W~(T|P)|UQU W, P, V, R c W{(V|P)~RQU W, P, V, S c W~S{P|VQU W, P, V, T c (V~T)|(W{P)QU W, P, W, Q c W{(P{W)~QQU W, P, W, X c W{P{W{XQU W, P, X, P c W{(P{P)~XQU W, P, X, Q c W{P~X~QQU W, P, X, R c W{X~(R|P)QU W, P, X, S c W~(P{XS)QU W, P, X, T c (W|P)~T|XQU W, P, X, W c W{P{X{WQU W, P, X, X c W{P~X{XQU W, Q, O, R c (W{O)~R{QQU W, Q, O, T c (W{O{T)~QQU W, Q, O, X c W{(Q{O)~XQU W, Q, P, Q c W~(Q{P){QQU W, Q, P, R c W~P~R{QQU W, Q, P, S c (W{P{S)~QQU W, Q, P, T c (W{P~T)~QQU W, Q, P, U c W{(Q{P)~UQU W, Q, P, W c W{Q~(P{W)QU W, Q, P, X c W{Q~P~XQU W, Q, Q, P c W~(Q{P){QQU W, Q, Q, R c (W{Q{R)~QQU W, Q, Q, S c (W|Q)~S{QQU W, Q, Q, T c W~Q{Q~TQU W, Q, Q, U c (W{Q)~Q{UQU W, Q, Q, V c W{Q~(Q{V)QU W, Q, Q, W c W{Q{Q~WQU W, Q, Q, X c (WQ{X)~QQU W, Q, R, O c W~R{Q{OQU W, Q, R, P c W~R{Q~PQU W, Q, R, Q c (W{Q{R)~QQU W, Q, R, R c W{Q~R~RQU W, Q, R, S c (W{Q)~R|SQU W, Q, R, U c W{Q~(R{U)QU W, Q, R, V c W~Q{R{VQU W, Q, R, W c (W|Q)~R{WQU W, Q, R, X c WR~X{QQU W, Q, S, P c (W{S{P)~QQU W, Q, S, Q c (W|Q)~S{QQU W, Q, S, R c W{(Q{S)~RQU W, Q, S, S c W{Q{S~SQU W, Q, S, T c W{Q~(S{T)QU W, Q, S, U c W~Q{S{UQU W, Q, S, V c W{Q~V{SQU W, Q, S, W c W~S{Q|WQU W, Q, S, X c W{(S|Q)~XQU W, Q, T, O c (W{T)~(Q{O)QU W, Q, T, P c (W{T)~(Q~P)QU W, Q, T, Q c W~Q{T~QQU W, Q, T, S c W{Q~(T{S)QU W, Q, T, T c W~Q{T{TQU W, Q, T, U c WQ~T{UQU W, Q, T, V c W~T|Q~VQU W, Q, T, W c W{Q~T{WQU W, Q, U, P c W{(Q{P)~UQU W, Q, U, Q c WQ~U{QQU W, Q, U, R c W{Q~(U{R)QU W, Q, U, S c W~Q{U{SQU W, Q, U, T c WQ~T{UQU W, Q, U, U c W{Q~U{UQU W, Q, U, V c U~V|W~QQU W, Q, U, W c WQ~W|UQU W, Q, U, X c W~(X|U){QQU W, Q, V, Q c W{(Q{V)~QQU W, Q, V, R c W~Q{V{RQU W, Q, V, S c W{Q~V{SQU W, Q, V, T c W~T|Q~VQU W, Q, V, U c V~U|W~QQU W, Q, V, X c W{Q{V{XQU W, Q, W, P c W{Q~(W{P)QU W, Q, W, Q c W{Q{W~QQU W, Q, W, R c W~(QW{R)QU W, Q, W, S c W~S{Q|WQU W, Q, W, T c W{Q~T{WQU W, Q, W, U c WQ~W|UQU W, Q, W, W c W{Q{W{WQU W, Q, W, X c (W{X)~Q|WQU W, Q, X, O c W{Q~X{OQU W, Q, X, P c W{Q~X~PQU W, Q, X, Q c (WQ{X)~QQU W, Q, X, R c W~XR{QQU W, Q, X, S c W{XQ~SQU W, Q, X, U c W~(X|U){QQU W, Q, X, V c W{Q{X{VQU W, Q, X, W c (W{X)~Q|WQU W, Q, X, X c (WX{Q)~XQU W, R, O, Q c W~R{O{QQU W, R, O, U c W{(R{O)~UQU W, R, P, P c W~R{P{PQU W, R, P, Q c W~R{P~QQU W, R, P, R c W~R|P{RQU W, R, P, S c W~(R{PS)QU W, R, P, T c W{R~(P{T)QU W, R, P, U c W{R~P~UQU W, R, P, V c W{R~(V|P)QU W, R, P, X c W{(R|P)~XQU W, R, Q, O c W~R{Q{OQU W, R, Q, P c W~R{Q~PQU W, R, Q, Q c (W{R{Q)~QQU W, R, Q, R c W{R~Q~RQU W, R, Q, S c (W{R)~Q{SQU W, R, Q, U c W{(R{U)~QQU W, R, Q, V c W~Q{R{VQU W, R, Q, W c W~(R{QW)QU W, R, Q, X c WR~X{QQU W, R, R, P c W~R{R|PQU W, R, R, Q c W{R~R~QQU W, R, R, R c W{(R{R)~RQU W, R, R, S c (W~S)|(R{R)QU W, R, R, T c W{R{R~TQU W, R, R, U c W~R{URQU W, R, R, V c (W{R)~R|VQU W, R, R, X c W{R~R{XQU W, R, S, P c W~(R{PS)QU W, R, S, Q c W{R~(S{Q)QU W, R, S, R c (W~S)|(R{R)QU W, R, S, S c W~(S|RS)QU W, R, S, U c W{R~S{UQU W, R, S, W c W~R{WSQU W, R, S, X c W~S{R|XQU W, R, T, P c W{R~(T{P)QU W, R, T, R c W{R{T~RQU W, R, T, T c (W{T)~(T|R)QU W, R, T, U c (W{T)R~UQU W, R, T, V c W~R|T{VQU W, R, T, X c W{(T|R)~XQU W, R, U, O c W{R~U{OQU W, R, U, P c W{R~U~PQU W, R, U, Q c W{(R{U)~QQU W, R, U, R c W~R{URQU W, R, U, S c (W|R)~U|SQU W, R, U, T c (W{T)R~UQU W, R, U, U c W{(U|R)~UQU W, R, U, V c W~(V|R)|UQU W, R, U, W c W~R|U{WQU W, R, U, X c W{R{U{XQU W, R, V, P c W{R~(V|P)QU W, R, V, Q c W~Q{R{VQU W, R, V, R c W{R~V|RQU W, R, V, T c W~R{V|TQU W, R, V, U c W~(V|R)|UQU W, R, V, W c W{R{V{WQU W, R, V, X c (W|R)~V|XQU W, R, W, Q c W{R~(W|Q)QU W, R, W, S c W~R{WSQU W, R, W, U c W{R~W|UQU W, R, W, V c W{R{W{VQU W, R, W, X c R~X|WWQU W, R, X, P c W{(R|P)~XQU W, R, X, Q c WR~X{QQU W, R, X, R c W{R~(X|R)QU W, R, X, S c W~S{R|XQU W, R, X, T c W{X~(T|R)QU W, R, X, U c W{R{X{UQU W, R, X, V c W~R{X|VQU W, R, X, W c R~X|WWQU W, R, X, X c W{R~X|XQU W, S, O, U c W~S{O|UQU W, S, P, Q c (W{S{P)~QQU W, S, P, R c W~(PS{R)QU W, S, P, T c (W~S)|(P{T)QU W, S, P, U c W{(S|P)~UQU W, S, P, V c W~S{P|VQU W, S, P, X c W~(P{XS)QU W, S, Q, P c (W{S{P)~QQU W, S, Q, Q c (W{S)~Q{QQU W, S, Q, R c W{(S{Q)~RQU W, S, Q, S c (W~S)|(Q{S)QU W, S, Q, T c W{(S{T)~QQU W, S, Q, U c (W|S)~U{QQU W, S, Q, V c W{S{Q~VQU W, S, Q, W c W~S{Q|WQU W, S, Q, X c W{(S|Q)~XQU W, S, R, P c W~(R{PS)QU W, S, R, Q c W~S|R~QQU W, S, R, R c (W~S)|(R{R)QU W, S, R, S c W~(S|RS)QU W, S, R, U c W{S~R{UQU W, S, R, W c WS{R~WQU W, S, R, X c W~S{R|XQU W, S, S, Q c W{S~S{QQU W, S, S, R c W~(S|RS)QU W, S, S, U c WS{S~UQU W, S, S, V c S~V|WSQU W, S, S, X c (WS)~(S{X)QU W, S, T, P c (W~S)|(T{P)QU W, S, T, Q c W{(S{T)~QQU W, S, T, U c (W|S)~T{UQU W, S, T, V c W~(T|VS)QU W, S, T, W c (WS)~(T{W)QU W, S, T, X c W{S{T{XQU W, S, U, O c W~S|U{OQU W, S, U, P c W~S|U~PQU W, S, U, Q c (W|S)~U{QQU W, S, U, R c (W{SU)~RQU W, S, U, S c WS{U~SQU W, S, U, T c (W|S)~T{UQU W, S, U, U c W{S~U|UQU W, S, U, V c (WS)~(U{V)QU W, S, U, W c W{S{U{WQU W, S, U, X c W{(U|S)~XQU W, S, V, P c W~S|V{PQU W, S, V, Q c W{S{V~QQU W, S, V, S c S~V|WSQU W, S, V, T c W~(T|VS)QU W, S, V, U c (WS)~(V{U)QU W, S, V, V c W{S{V{VQU W, S, W, Q c W~S|W{QQU W, S, W, R c WS{W~RQU W, S, W, T c (WS)~(W{T)QU W, S, W, U c W{S{W{UQU W, S, W, X c WS~X{WQU W, S, X, P c W~(XS{P)QU W, S, X, Q c W{S~XQQU W, S, X, R c W~S|X{RQU W, S, X, S c W~(S{X)SQU W, S, X, T c W{S{X{TQU W, S, X, U c W{X~(U|S)QU W, S, X, W c WS~X{WQU W, T, O, Q c (W{T{O)~QQU W, T, P, P c (W{T)~(P{P)QU W, T, P, Q c (W{T)~(P~Q)QU W, T, P, R c W{(T{P)~RQU W, T, P, S c (W~S)|(T{P)QU W, T, P, U c W~(T|P)|UQU W, T, P, V c (T~V)|(W{P)QU W, T, P, X c (W|T)~X|PQU W, T, Q, O c (W{T)~(Q{O)QU W, T, Q, P c (W{T)~(Q~P)QU W, T, Q, Q c W~(T|Q){QQU W, T, Q, S c (W{T)Q~SQU W, T, Q, T c W~Q{T{TQU W, T, Q, U c W{(T|Q)~UQU W, T, Q, V c W~T|Q~VQU W, T, Q, W c W{T~Q{WQU W, T, R, P c (W{T)~(R|P)QU W, T, R, R c W{T~R{RQU W, T, R, T c (W{T)~(T|R)QU W, T, R, U c (W{T)R~UQU W, T, R, V c W~R|T{VQU W, T, R, X c W{(T|R)~XQU W, T, S, P c (W~S)|(T{P)QU W, T, S, Q c W{(T{S)~QQU W, T, S, U c (W{T)~(U|S)QU W, T, S, V c W~(T|VS)QU W, T, S, W c (W{T)S~WQU W, T, S, X c W{T{S{XQU W, T, T, Q c W~Q{T{TQU W, T, T, R c (W{T)~(T|R)QU W, T, T, V c W{T~T|VQU W, T, T, W c W{T{T{WQU W, T, T, X c (W~T)|(T{X)QU W, T, U, P c W~(T|P)|UQU W, T, U, Q c W{(T|Q)~UQU W, T, U, R c (W{T)~(UR)QU W, T, U, S c (W{T)~(U|S)QU W, T, U, V c W{T{U{VQU W, T, U, W c (W|T)~U{WQU W, T, U, X c W~(X|T)|UQU W, T, V, P c (T~V)|(W{P)QU W, T, V, Q c W~T|V~QQU W, T, V, R c W~R|T{VQU W, T, V, S c W~(T|VS)QU W, T, V, T c (W{T)~(V|T)QU W, T, V, U c W{T{V{UQU W, T, V, V c (W~T)|(V{V)QU W, T, V, X c (W{T)~(X|V)QU W, T, W, Q c (W|T)~W{QQU W, T, W, S c (W{T)~(WS)QU W, T, W, T c W{T{W{TQU W, T, W, U c (W{T)~(W|U)QU W, T, X, P c (W|T)~X|PQU W, T, X, R c W{(T|R)~XQU W, T, X, S c W{T{X{SQU W, T, X, T c (W~T)|(X{T)QU W, T, X, U c W~(X|T)|UQU W, T, X, V c (W{T)~(X|V)QU W, U, O, R c W{(U{O)~RQU W, U, O, S c (W{O)~S|UQU W, U, P, Q c (W{U|P)~QQU W, U, P, R c W{U~P~RQU W, U, P, S c W{U~(S|P)QU W, U, P, T c W~(T|P)|UQU W, U, Q, P c W{U~(Q{P)QU W, U, Q, Q c (W{U)~Q|QQU W, U, Q, R c W{(U{R)~QQU W, U, Q, S c (W~U{S)QQU W, U, Q, T c W{U~(T|Q)QU W, U, Q, U c W{U{Q~UQU W, U, Q, V c U~V|W~QQU W, U, Q, W c WQ~W|UQU W, U, Q, X c W~(X|U){QQU W, U, R, O c W{U~R{OQU W, U, R, P c W{U~R~PQU W, U, R, Q c W{(U{R)~QQU W, U, R, R c W~R{URQU W, U, R, S c W{U{R~SQU W, U, R, T c (W{T)~(UR)QU W, U, R, U c W{(U|R)~UQU W, U, R, V c W~(V|R)|UQU W, U, R, W c W|U{R~WQU W, U, R, X c W{U{R{XQU W, U, S, O c W~S|U{OQU W, U, S, P c W{U~(S|P)QU W, U, S, Q c (W~U{S)QQU W, U, S, R c W{U{S~RQU W, U, S, S c (W|US)~SQU W, U, S, T c (W|S)~T{UQU W, U, S, U c W{U~S|UQU W, U, S, V c W{U~(V|S)QU W, U, S, W c W{U{S{WQU W, U, S, X c W{(U|S)~XQU W, U, T, P c W~(T|P)|UQU W, U, T, Q c W{U~(T|Q)QU W, U, T, R c (W{T)~(UR)QU W, U, T, S c (W{T)~(U|S)QU W, U, T, V c W{U{T{VQU W, U, T, W c (W|U)~(T{W)QU W, U, T, X c W~(X|T)|UQU W, U, U, Q c W{U{U~QQU W, U, U, R c W{U~(U|R)QU W, U, U, S c W|U{U~SQU W, U, U, U c W{U{U{UQU W, U, U, V c (W|U)~(U{V)QU W, U, U, X c W{U~(X|U)QU W, U, V, Q c U~V|W~QQU W, U, V, R c W~(V|R)|UQU W, U, V, S c W{U~(V|S)QU W, U, V, T c W{U{V{TQU W, U, V, U c (W|U)~(V{U)QU W, U, V, W c (U~V)|(W{W)QU W, U, W, Q c (W{W)~Q|UQU W, U, W, R c W|U{W~RQU W, U, W, S c W{U{W{SQU W, U, W, T c W{U~(W|T)QU W, U, W, V c (U~V)|(W{W)QU W, U, W, X c (W|U)~X{WQU W, U, X, Q c W~(X|U){QQU W, U, X, R c W{U{X{RQU W, U, X, S c (W|U)~(X{S)QU W, U, X, T c W~(X|T)|UQU W, U, X, U c W{U~(X|U)QU W, U, X, W c (W|U)~X{WQU W, V, P, R c W{(V|P)~RQU W, V, P, S c W~S|V{PQU W, V, P, T c (V~T)|(W{P)QU W, V, Q, Q c W{(V{Q)~QQU W, V, Q, R c W~Q{V{RQU W, V, Q, S c W{V~Q{SQU W, V, Q, T c W~T|V~QQU W, V, Q, U c V~U|W~QQU W, V, Q, X c W{V{Q{XQU W, V, R, P c W{(V|P)~RQU W, V, R, Q c W~Q{V{RQU W, V, R, R c W{V~R|RQU W, V, R, T c W~R{V|TQU W, V, R, U c W~(V|R)|UQU W, V, R, W c W{V{R{WQU W, V, R, X c (W|R)~V|XQU W, V, S, P c W~S|V{PQU W, V, S, Q c W~(V|S){QQU W, V, S, S c (V|SW)~SQU W, V, S, T c W~(T|VS)QU W, V, S, U c W{(V|S)~UQU W, V, S, V c W{V{S{VQU W, V, T, P c (V~T)|(W{P)QU W, V, T, Q c W~T|V~QQU W, V, T, R c W~R{V|TQU W, V, T, S c W~(T|VS)QU W, V, T, T c W|V{T~TQU W, V, T, U c W{V{T{UQU W, V, T, V c (W~T)|(V{V)QU W, V, T, X c W{(V|T)~XQU W, V, U, Q c V~U|W~QQU W, V, U, R c W~(V|R)|UQU W, V, U, S c W~(V{U)SQU W, V, U, T c W{V{U{TQU W, V, U, U c (W|U)~(V{U)QU W, V, U, W c (V~U)|(W{W)QU W, V, V, S c W{V{V{SQU W, V, V, T c (W~T)|(V{V)QU W, V, W, R c W{V{W{RQU W, V, W, U c (V~U)|(W{W)QU W, V, X, Q c W{V{X{QQU W, V, X, R c (W|R)~V|XQU W, V, X, T c W{(V|T)~XQU W, V, X, X c W{(X|V)~XQU W, W, P, Q c W{(W{P)~QQU W, W, P, X c W{W{P{XQU W, W, Q, P c W{(W{P)~QQU W, W, Q, Q c W{W~Q{QQU W, W, Q, R c W{(W|Q)~RQU W, W, Q, S c W~S|W{QQU W, W, Q, T c W{W{Q~TQU W, W, Q, U c (W{W)~Q|UQU W, W, Q, W c W{W{Q{WQU W, W, Q, X c (W{X)~Q|WQU W, W, R, Q c (W{W|R)~QQU W, W, R, S c W~R{WSQU W, W, R, U c W{W~R|UQU W, W, R, V c W{W{R{VQU W, W, R, X c R~X|WWQU W, W, S, Q c W~S|W{QQU W, W, S, R c WS{W~RQU W, W, S, T c W~(W{T)SQU W, W, S, U c W{W{S{UQU W, W, S, X c W{WS~XQU W, W, T, Q c W{W{T~QQU W, W, T, S c W~(W{T)SQU W, W, T, T c W{W{T{TQU W, W, T, U c W{(W|T)~UQU W, W, U, Q c (W{W)~Q|UQU W, W, U, R c W{W~R|UQU W, W, U, S c W{W{U{SQU W, W, U, T c W{(W|T)~UQU W, W, U, V c (U~V)|(W{W)QU W, W, U, X c W{(W|U)~XQU W, W, V, R c W{W{V{RQU W, W, V, U c (V~U)|(W{W)QU W, W, W, Q c W{W{W{QQU W, W, X, P c W{W{X{PQU W, W, X, Q c (W{X)~Q|WQU W, W, X, R c X~R|WWQU W, W, X, S c W{W~XSQU W, W, X, U c W{(W|U)~XQU W, X, O, Q c W{(X{O)~QQU W, X, O, X c W{X{O{XQU W, X, P, P c W{X~(P{P)QU W, X, P, Q c W{X~P~QQU W, X, P, R c W{X~(R|P)QU W, X, P, S c W~(XS{P)QU W, X, P, T c (W|P)~T|XQU W, X, P, W c W{X{P{WQU W, X, P, X c W{X{P~XQU W, X, Q, O c W{X~Q{OQU W, X, Q, P c W{X~Q~PQU W, X, Q, Q c (WQ{X)~QQU W, X, Q, R c W~XR{QQU W, X, Q, S c W{XQ~SQU W, X, Q, U c W~(X|U){QQU W, X, Q, V c W{X{Q{VQU W, X, Q, W c (W{X)~Q|WQU W, X, Q, X c (WX{Q)~XQU W, X, R, P c W{X~(R|P)QU W, X, R, Q c W~XR{QQU W, X, R, R c W{X{R~RQU W, X, R, S c W~S|X{RQU W, X, R, T c W{X~(T|R)QU W, X, R, U c W{X{R{UQU W, X, R, V c W~R{X|VQU W, X, R, W c X~R|WWQU W, X, R, X c W{X~R|XQU W, X, S, P c W~(XS{P)QU W, X, S, Q c (W{X|S)~QQU W, X, S, R c W~S|X{RQU W, X, S, S c W~(X{S)SQU W, X, S, T c W{X{S{TQU W, X, S, U c W{X~(U|S)QU W, X, S, W c W{XS~WQU W, X, T, P c (W|T)~X|PQU W, X, T, R c W{X~(T|R)QU W, X, T, S c W{X{T{SQU W, X, T, T c (W~T)|(X{T)QU W, X, T, U c W~(X|T)|UQU W, X, T, V c W{X~(V|T)QU W, X, U, Q c W~(X|U){QQU W, X, U, R c W{X{U{RQU W, X, U, S c W{X~(U|S)QU W, X, U, T c W~(X|T)|UQU W, X, U, U c W{(X|U)~UQU W, X, U, W c W{X~(W|U)QU W, X, V, Q c W{X{V{QQU W, X, V, R c W~R{X|VQU W, X, V, T c W{X~(V|T)QU W, X, V, X c W{(X|V)~XQU W, X, W, P c W{X{W{PQU W, X, W, Q c (W{X)~Q|WQU W, X, W, R c X~R|WWQU W, X, W, S c W{X~WSQU W, X, W, U c W{X~(W|U)QU W, X, X, O c W{X{X{OQU W, X, X, P c W{X{X~PQU W, X, X, Q c (WX{Q)~XQU W, X, X, R c W{X~R|XQU W, X, X, V c W{X~(X|V)QU X, O, P, R c (X{O)~R|PQU X, O, Q, S c (X{O{S)~QQU X, O, Q, W c (X{O)~Q{WQU X, O, R, P c (X{O)~R|PQU X, O, S, Q c (X{O{S)~QQU X, O, T, V c O{T~V|XQU X, O, V, T c O{V~T|XQU X, O, W, Q c (X{O)~Q{WQU X, O, W, X c X{O{W{XQU X, O, X, W c X{O{X{WQU X, P, O, R c (X{O)~R|PQU X, P, P, Q c X~(P{Q)|PQU X, P, P, R c X~P~R|PQU X, P, P, S c (X{S)~(P{P)QU X, P, P, W c X~(P{P){WQU X, P, Q, P c X~(P{Q)|PQU X, P, Q, R c (X{P{R)~QQU X, P, Q, S c (X{P~S)~QQU X, P, Q, T c (X|P{T)~QQU X, P, Q, U c (X{P)~Q{UQU X, P, Q, V c X~Q{P{VQU X, P, Q, W c X{P{Q~WQU X, P, Q, X c X|P{Q~XQU X, P, R, O c X~R|P{OQU X, P, R, P c X~P~R|PQU X, P, R, Q c (X{P{R)~QQU X, P, R, R c (X|PR)~RQU X, P, R, S c (X{P)~R|SQU X, P, R, U c X|P{R~UQU X, P, R, W c X~(R|P){WQU X, P, R, X c X~(R|PX)QU X, P, S, P c (X{S)~(P{P)QU X, P, S, Q c (X{P~S)~QQU X, P, S, R c (X{P)~R|SQU X, P, S, S c X{P{S~SQU X, P, S, T c (X|S)~T{PQU X, P, S, U c (X|P)~S|UQU X, P, S, V c X~(V|S)|PQU X, P, S, W c (XS{P)~WQU X, P, S, X c (X~S)|(P{X)QU X, P, T, Q c (X|P{T)~QQU X, P, T, S c (X|S)~T{PQU X, P, T, U c (P{U)~T|XQU X, P, T, V c P~T~V|XQU X, P, T, W c X~(W|T)|PQU X, P, U, Q c (X{P)~Q{UQU X, P, U, R c X|P{U~RQU X, P, U, S c (X|P)~S|UQU X, P, U, T c (P{U)~T|XQU X, P, U, U c (U~U)|(X{P)QU X, P, U, V c (U|P)~V|XQU X, P, U, X c (X|U)~X|PQU X, P, V, Q c X~Q{P{VQU X, P, V, S c X~(V|S)|PQU X, P, V, T c P~V~T|XQU X, P, V, U c V~(U|P)|XQU X, P, V, X c X{P{V{XQU X, P, W, P c X~(P{P){WQU X, P, W, Q c X{P{W~QQU X, P, W, R c X~(R|P){WQU X, P, W, S c (XS{P)~WQU X, P, W, T c X~(W|T)|PQU X, P, W, W c X{P{W{WQU X, P, W, X c X{P~W{XQU X, P, X, Q c X|P{X~QQU X, P, X, R c X~XR|PQU X, P, X, S c (X~S)|(P{X)QU X, P, X, U c X~(X|U)|PQU X, P, X, V c X{P{X{VQU X, P, X, W c X{P~X{WQU X, P, X, X c X|P{X{XQU X, Q, O, S c (X{O{S)~QQU X, Q, O, W c X~Q{O{WQU X, Q, P, P c X~(Q{P)|PQU X, Q, P, R c (X{P{R)~QQU X, Q, P, S c (X{P~S)~QQU X, Q, P, T c (X|P{T)~QQU X, Q, P, U c XQ~U|PQU X, Q, P, V c X~Q{P{VQU X, Q, P, W c X~Q{P~WQU X, Q, P, X c X~Q|P{XQU X, Q, Q, Q c (X{Q{Q)~QQU X, Q, Q, R c (X{R)~Q{QQU X, Q, Q, S c (X{Q)~Q{SQU X, Q, Q, T c (X~Q|T)~QQU X, Q, Q, U c X~Q{Q{UQU X, Q, Q, W c (X{WQ)~QQU X, Q, R, P c X~R|Q{PQU X, Q, R, Q c (X{R)~Q{QQU X, Q, R, R c X~R{Q|RQU X, Q, R, S c (X|R)~S{QQU X, Q, R, T c X{Q{R~TQU X, Q, R, U c (X|QU)~RQU X, Q, R, V c (X{Q)~R|VQU X, Q, R, W c XR~W{QQU X, Q, S, O c (X{S)~(Q{O)QU X, Q, S, P c (X{S)~(Q~P)QU X, Q, S, Q c (X|Q)~S|QQU X, Q, S, R c (X|R)~S{QQU X, Q, S, S c X~Q{S{SQU X, Q, S, T c X~S|Q~TQU X, Q, S, U c (X{U)~Q|SQU X, Q, S, W c XQ~S{WQU X, Q, S, X c X{Q~S{XQU X, Q, T, P c X~(T|Q)|PQU X, Q, T, Q c (X~Q|T)~QQU X, Q, T, R c X{Q{T~RQU X, Q, T, S c (X|TQ)~SQU X, Q, T, T c (Q{T)~T|XQU X, Q, T, U c X{Q~U{TQU X, Q, T, V c X{Q~T{VQU X, Q, T, X c (X|Q)~T|XQU X, Q, U, P c XQ~U|PQU X, Q, U, Q c (X|Q{U)~QQU X, Q, U, R c (X|QU)~RQU X, Q, U, S c (X{U)~Q|SQU X, Q, U, T c X{Q~U{TQU X, Q, U, V c (X{V)~Q|UQU X, Q, U, W c (X|U)~W{QQU X, Q, U, X c X{Q{U{XQU X, Q, V, P c X~Q{V{PQU X, Q, V, R c X{Q~V{RQU X, Q, V, T c X{Q~T{VQU X, Q, V, U c (X{V)~Q|UQU X, Q, V, V c (V|Q)~V|XQU X, Q, V, W c X{Q{V{WQU X, Q, W, O c X~Q{W{OQU X, Q, W, P c X{Q~W{PQU X, Q, W, Q c (X{WQ)~QQU X, Q, W, R c X~WR{QQU X, Q, W, S c XQ~S{WQU X, Q, W, U c (X|U)~W{QQU X, Q, W, V c X{Q{W{VQU X, Q, W, W c (X{W)~Q|WQU X, Q, W, X c X~(Q{WX)QU X, Q, X, P c X{Q~X|PQU X, Q, X, S c X{Q~S{XQU X, Q, X, T c (X|Q)~T|XQU X, Q, X, U c X{Q{X{UQU X, Q, X, W c X~(Q{WX)QU X, R, O, P c X~R{O|PQU X, R, P, O c X~R|P{OQU X, R, P, P c X~R|P~PQU X, R, P, Q c (X{R{P)~QQU X, R, P, R c (X|PR)~RQU X, R, P, S c (X{P)~R|SQU X, R, P, U c X{R~U|PQU X, R, P, W c X~(R|P){WQU X, R, P, X c X~(R|PX)QU X, R, Q, P c X~R|Q{PQU X, R, Q, Q c (X{R)~Q{QQU X, R, Q, R c X~R{Q|RQU X, R, Q, S c (X|R)~S{QQU X, R, Q, T c X{R~T{QQU X, R, Q, U c (X|QU)~RQU X, R, Q, V c X{R{Q~VQU X, R, Q, W c XR~W{QQU X, R, R, P c (X|PR)~RQU X, R, R, Q c X~R|R{QQU X, R, R, R c X~R|RRQU X, R, R, S c X~R{R|SQU X, R, R, W c X{R~R{WQU X, R, R, X c (X|RX)~RQU X, R, S, P c (X{S)~(R|P)QU X, R, S, Q c (X|R)~S{QQU X, R, S, R c X~R|S{RQU X, R, S, S c X~R|SSQU X, R, S, T c X{R~S{TQU X, R, S, U c (X{S)R~UQU X, R, S, V c X{R~V|SQU X, R, S, W c R{S~W|XQU X, R, T, Q c X{R~T{QQU X, R, T, S c X|R{T~SQU X, R, T, T c X~R|TTQU X, R, T, U c X~R{T|UQU X, R, T, V c XR~V{TQU X, R, T, W c X~(T|R){WQU X, R, T, X c X{R{T{XQU X, R, U, P c X{R~U|PQU X, R, U, Q c (X|QU)~RQU X, R, U, S c (X{S)R~UQU X, R, U, T c X~R|U{TQU X, R, U, U c X~R|UUQU X, R, U, V c X~R{U|VQU X, R, U, W c X{R{U{WQU X, R, V, Q c X{R{V~QQU X, R, V, S c X{R~V|SQU X, R, V, T c XR~V{TQU X, R, V, U c X~R|V{UQU X, R, V, V c X{R{V{VQU X, R, V, W c X~R{V|WQU X, R, W, P c X~(R|P){WQU X, R, W, Q c XR~W{QQU X, R, W, R c X{R~R{WQU X, R, W, S c R{W~S|XQU X, R, W, T c X~(T|R){WQU X, R, W, U c X{R{W{UQU X, R, W, V c X{R~W|VQU X, R, W, W c X~R|WWQU X, R, W, X c X~R{W|XQU X, R, X, P c XR~X|PQU X, R, X, R c (X|RX)~RQU X, R, X, T c X{R{X{TQU X, R, X, W c X~R|X{WQU X, R, X, X c X~R|XXQU X, S, O, Q c (X{S{O)~QQU X, S, P, P c (X{S)~(P{P)QU X, S, P, Q c (X{S)~(P~Q)QU X, S, P, R c (X{S)~(R|P)QU X, S, P, S c X{S~S{PQU X, S, P, T c (X|S)~T{PQU X, S, P, U c (X|P)~S|UQU X, S, P, V c X~(V|S)|PQU X, S, P, W c (XS{P)~WQU X, S, P, X c (X~S)|(P{X)QU X, S, Q, O c (X{S)~(Q{O)QU X, S, Q, P c (X{S)~(Q~P)QU X, S, Q, Q c (X|Q)~S|QQU X, S, Q, R c (X|R)~S{QQU X, S, Q, S c (X{S)Q~SQU X, S, Q, T c X~S|Q~TQU X, S, Q, U c (X{U)~Q|SQU X, S, Q, W c (X~S)|(Q{W)QU X, S, Q, X c X{S~Q{XQU X, S, R, P c (X{S)~(R|P)QU X, S, R, Q c (X|R)~S{QQU X, S, R, R c X~R|S{RQU X, S, R, S c X~R|SSQU X, S, R, T c X{S~R{TQU X, S, R, U c (X{S)R~UQU X, S, R, V c X|S{R~VQU X, S, R, W c S~W|X{RQU X, S, S, P c X{S~S{PQU X, S, S, Q c (X{S)~(S|Q)QU X, S, S, R c X~R|SSQU X, S, S, U c (X|S)~S{UQU X, S, S, W c (X{S)S~WQU X, S, S, X c X{S{S{XQU X, S, T, P c (X|S)~T{PQU X, S, T, Q c X~S|T~QQU X, S, T, R c X{S~T|RQU X, S, T, T c (X~S)|(T{T)QU X, S, T, U c (XU{T)~SQU X, S, T, V c (X{S)~(V|T)QU X, S, T, W c X{S{T{WQU X, S, U, P c (X|P)~S|UQU X, S, U, Q c (X{U)~Q|SQU X, S, U, R c (X{S)~(UR)QU X, S, U, S c (X{S)~(U|S)QU X, S, U, T c (XU{T)~SQU X, S, U, V c X{S{U{VQU X, S, U, W c (X{S)~(W|U)QU X, S, V, P c X~(V|S)|PQU X, S, V, R c X|S{V~RQU X, S, V, T c (X{S)~(V|T)QU X, S, V, U c X{S{V{UQU X, S, V, V c S~V|X{VQU X, S, V, X c (X|S)~V|XQU X, S, W, P c (XS{P)~WQU X, S, W, Q c (X|S{W)~QQU X, S, W, R c S~W|X{RQU X, S, W, S c (X{S)~(WS)QU X, S, W, T c X{S{W{TQU X, S, W, U c (X{S)~(W|U)QU X, S, W, W c XS~W{WQU X, S, X, P c (X~S)|(X{P)QU X, S, X, Q c X{S~Q{XQU X, S, X, S c X{S{X{SQU X, S, X, V c (X{S)~(X|V)QU X, T, O, V c (T{O)~V|XQU X, T, P, Q c (X{T|P)~QQU X, T, P, S c (X|S)~T{PQU X, T, P, U c T~(P{U)|XQU X, T, P, V c T~P~V|XQU X, T, P, W c X~(W|T)|PQU X, T, Q, P c X~(T|Q)|PQU X, T, Q, Q c (X{T)~Q|QQU X, T, Q, R c X{T~R{QQU X, T, Q, S c (X|TQ)~SQU X, T, Q, T c (T{Q)~T|XQU X, T, Q, U c X{T{Q~UQU X, T, Q, V c X{T~Q{VQU X, T, Q, X c (X|T{X)~QQU X, T, R, Q c X{T~R{QQU X, T, R, S c X{T{R~SQU X, T, R, T c X~R|TTQU X, T, R, U c X~R{T|UQU X, T, R, V c XR~V{TQU X, T, R, W c X~(T|R){WQU X, T, R, X c X{T{R{XQU X, T, S, P c (X|S)~T{PQU X, T, S, Q c (X|TQ)~SQU X, T, S, R c X{T{S~RQU X, T, S, T c (X~S)|(T{T)QU X, T, S, U c (XU{T)~SQU X, T, S, V c (X{S)~(V|T)QU X, T, S, W c X{T{S{WQU X, T, T, Q c T~(T{Q)|XQU X, T, T, R c X~R|TTQU X, T, T, S c (X~S)|(T{T)QU X, T, T, U c (X|T)~T{UQU X, T, T, V c X{T{T{VQU X, T, T, W c X{T~T|WQU X, T, T, X c XX{T~TQU X, T, U, P c T~(U{P)|XQU X, T, U, Q c X{T{U~QQU X, T, U, R c X~R{T|UQU X, T, U, S c (XU{T)~SQU X, T, U, T c (X|T)~T{UQU X, T, U, U c X{T{U{UQU X, T, U, V c (X|U)~V{TQU X, T, U, W c (X|T)~W|UQU X, T, V, O c T~V|X{OQU X, T, V, P c T~V|X~PQU X, T, V, Q c (X|T)~V|QQU X, T, V, R c X~VR{TQU X, T, V, S c (X{S)~(V|T)QU X, T, V, T c X{T{V{TQU X, T, V, U c (X|U)~V{TQU X, T, V, V c (T|XV)~VQU X, T, V, W c (X|V)~(T{W)QU X, T, W, P c X~(W|T)|PQU X, T, W, R c X~(T|R){WQU X, T, W, S c X{T{W{SQU X, T, W, T c X{T~T|WQU X, T, W, U c (X|T)~W|UQU X, T, W, V c (X|V)~(T{W)QU X, T, X, Q c (X|T{X)~QQU X, T, X, R c X{T{X{RQU X, T, X, T c XX{T~TQU X, U, P, Q c X~UQ|PQU X, U, P, R c X{U~R|PQU X, U, P, S c (X|P)~S|UQU X, U, P, T c (U{P)~T|XQU X, U, P, U c (U~U)|(X{P)QU X, U, P, V c (U|P)~V|XQU X, U, P, X c (X|U)~X|PQU X, U, Q, P c X~UQ|PQU X, U, Q, Q c (X{U|Q)~QQU X, U, Q, R c (X|QU)~RQU X, U, Q, S c (X{U)~Q|SQU X, U, Q, T c X{U~Q{TQU X, U, Q, V c (X{V)~Q|UQU X, U, Q, W c (X|U)~W{QQU X, U, Q, X c X{U{Q{XQU X, U, R, P c X{U~R|PQU X, U, R, Q c (X|QU)~RQU X, U, R, S c (X{S)~(UR)QU X, U, R, T c X~R|U{TQU X, U, R, U c X~R|UUQU X, U, R, V c X~R{U|VQU X, U, R, W c X{U{R{WQU X, U, S, P c (X|P)~S|UQU X, U, S, Q c (X{U)~Q|SQU X, U, S, R c (X{S)~(UR)QU X, U, S, S c (X{S)~(U|S)QU X, U, S, T c (XU{T)~SQU X, U, S, V c X{U{S{VQU X, U, S, W c X~(U|S){WQU X, U, T, P c (U{P)~T|XQU X, U, T, Q c X{U~Q{TQU X, U, T, R c X~R|U{TQU X, U, T, S c (XU{T)~SQU X, U, T, T c (X|T)~T{UQU X, U, T, U c X{U{T{UQU X, U, T, V c (X|U)~V{TQU X, U, T, W c (X|T)~W|UQU X, U, U, P c (U~U)|(X{P)QU X, U, U, R c X~R|UUQU X, U, U, T c X{U{U{TQU X, U, U, W c (X|U)~U{WQU X, U, V, P c (U|P)~V|XQU X, U, V, Q c (X{V)~Q|UQU X, U, V, R c X~R{U|VQU X, U, V, S c X{U{V{SQU X, U, V, T c (X|U)~V{TQU X, U, V, V c (X|V)~(U{V)QU X, U, W, Q c (X|U)~W{QQU X, U, W, R c X{U{W{RQU X, U, W, S c X~(U|S){WQU X, U, W, T c (X|T)~W|UQU X, U, W, U c (X|U)~U{WQU X, U, W, W c X~(W|U){WQU X, U, X, P c (X|U)~X|PQU X, U, X, Q c X{U{X{QQU X, V, O, T c (V{O)~T|XQU X, V, P, Q c X~Q{V{PQU X, V, P, S c X~(V|S)|PQU X, V, P, T c V~P~T|XQU X, V, P, U c V~(U|P)|XQU X, V, P, X c X{V{P{XQU X, V, Q, P c X~Q{V{PQU X, V, Q, R c X{V~Q{RQU X, V, Q, T c X{V{Q~TQU X, V, Q, U c (X{V)~Q|UQU X, V, Q, V c (V|Q)~V|XQU X, V, Q, W c X{V{Q{WQU X, V, R, Q c (X{V|R)~QQU X, V, R, S c X{V~R|SQU X, V, R, T c X~VR{TQU X, V, R, U c X~R|V{UQU X, V, R, V c X{V{R{VQU X, V, R, W c X|V{R~WQU X, V, S, P c X~(V|S)|PQU X, V, S, R c X{V~R|SQU X, V, S, T c (X{S)~(V|T)QU X, V, S, U c X{V{S{UQU X, V, S, V c V~S|X{VQU X, V, S, X c (X|V)~(S{X)QU X, V, T, O c V~T|X{OQU X, V, T, P c V~T|X~PQU X, V, T, Q c X{V{T~QQU X, V, T, R c X~VR{TQU X, V, T, S c (X{S)~(V|T)QU X, V, T, T c X{V{T{TQU X, V, T, U c (X|U)~V{TQU X, V, T, V c V~(T|XV)QU X, V, T, W c (X|V)~(T{W)QU X, V, U, P c V~(U|P)|XQU X, V, U, Q c (X{V)~Q|UQU X, V, U, R c X~R|V{UQU X, V, U, S c X{V{U{SQU X, V, U, T c (X|U)~V{TQU X, V, U, V c (X|V)~(U{V)QU X, V, V, Q c V~(V|Q)|XQU X, V, V, R c X{V{V{RQU X, V, V, S c V{V~S|XQU X, V, V, T c V~(T|XV)QU X, V, V, U c (X|V)~(V{U)QU X, V, W, Q c X{V{W{QQU X, V, W, R c X|V{W~RQU X, V, W, T c (X|V)~(W{T)QU X, V, W, X c (X|V)~X{WQU X, V, X, P c X{V{X{PQU X, V, X, S c (X|V)~(X{S)QU X, V, X, W c (X|V)~X{WQU X, W, O, Q c (X{O)~Q{WQU X, W, O, X c X{W{O{XQU X, W, P, P c X~(P{P){WQU X, W, P, Q c X{W~Q{PQU X, W, P, R c X~(R|P){WQU X, W, P, S c (XS{P)~WQU X, W, P, T c X~(W|T)|PQU X, W, P, W c X{W{P{WQU X, W, P, X c X{W{P~XQU X, W, Q, O c X~Q{W{OQU X, W, Q, P c X{W~Q{PQU X, W, Q, Q c (X{WQ)~QQU X, W, Q, R c X~WR{QQU X, W, Q, S c (X{W|S)~QQU X, W, Q, U c (X|U)~W{QQU X, W, Q, V c X{W{Q{VQU X, W, Q, W c (X{W)~Q|WQU X, W, Q, X c X~(WX{Q)QU X, W, R, P c X~(R|P){WQU X, W, R, Q c X~WR{QQU X, W, R, R c X{W{R~RQU X, W, R, S c W~S|X{RQU X, W, R, T c X~(T|R){WQU X, W, R, U c X{W{R{UQU X, W, R, V c X{W~R|VQU X, W, R, W c X~R|WWQU X, W, R, X c X~R{W|XQU X, W, S, P c (XS{P)~WQU X, W, S, Q c (X{W|S)~QQU X, W, S, R c W~S|X{RQU X, W, S, S c (X{S)~(WS)QU X, W, S, T c X{W{S{TQU X, W, S, U c (X{S)~(W|U)QU X, W, S, W c X~WS{WQU X, W, T, P c X~(W|T)|PQU X, W, T, R c X~(T|R){WQU X, W, T, S c X{W{T{SQU X, W, T, T c X|W{T~TQU X, W, T, U c (X|T)~W|UQU X, W, T, V c (X|V)~(W{T)QU X, W, U, Q c (X|U)~W{QQU X, W, U, R c X{W{U{RQU X, W, U, S c X~(U|S){WQU X, W, U, T c (X|T)~W|UQU X, W, U, U c (X|U)~U{WQU X, W, U, W c X~(W|U){WQU X, W, V, Q c X{W{V{QQU X, W, V, R c X{W~R|VQU X, W, V, T c (X|V)~(W{T)QU X, W, V, X c (X|V)~X{WQU X, W, W, P c X{W{W{PQU X, W, W, Q c (X{W)~Q|WQU X, W, W, R c X~R|WWQU X, W, W, S c X~WS{WQU X, W, W, U c X~(W|U){WQU X, W, X, O c X{W{X{OQU X, W, X, P c X{W{X~PQU X, W, X, Q c X~(WX{Q)QU X, W, X, R c X~R{W|XQU X, W, X, V c X~(X|V){WQU X, X, O, W c X{X{O{WQU X, X, P, Q c X{X~Q|PQU X, X, P, R c X~XR|PQU X, X, P, S c (X~S)|(X{P)QU X, X, P, U c X~(X|U)|PQU X, X, P, V c X{X{P{VQU X, X, P, W c X{X{P~WQU X, X, P, X c X{X|P{XQU X, X, Q, P c X{X~Q|PQU X, X, Q, S c X{X{Q~SQU X, X, Q, T c (X{X|T)~QQU X, X, Q, U c X{X{Q{UQU X, X, Q, W c X~(Q{WX)QU X, X, R, P c X~XR|PQU X, X, R, R c (X~X|R)RQU X, X, R, T c X{X{R{TQU X, X, R, W c X~R|X{WQU X, X, R, X c X~R|XXQU X, X, S, P c (X~S)|(X{P)QU X, X, S, Q c X{X{S~QQU X, X, S, S c X{X{S{SQU X, X, S, V c (X{S)~(X|V)QU X, X, T, Q c (X{X|T)~QQU X, X, T, R c X{X{T{RQU X, X, T, T c XX{T~TQU X, X, U, P c X~(X|U)|PQU X, X, U, Q c X{X{U{QQU X, X, V, P c X{X{V{PQU X, X, V, S c (X|V)~(X{S)QU X, X, V, W c X~(X|V){WQU X, X, W, O c X{X{W{OQU X, X, W, P c X{X{W~PQU X, X, W, Q c X~(WX{Q)QU X, X, W, R c X~R|X{WQU X, X, W, V c X~(X|V){WQU X, X, X, P c X{X{X|PQU X, X, X, R c X~R|XXQU