O, P, S, V c O{P{S~VQX O, P, T, U c O{T~U|PQX O, P, U, T c O{U~T|PQX O, P, V, S c O{P{V~SQX O, Q, R, X c O{Q{R~XQX O, Q, X, R c O{Q{X~RQX O, R, Q, X c O{R~X{QQX O, R, S, W c O{S~W|RQX O, R, T, W c O{R~W{TQX O, R, V, W c O{R~V{WQX O, R, W, S c O{W~S|RQX O, R, W, T c O{R~W{TQX O, R, W, V c O{R~V{WQX O, R, X, Q c O{R~X{QQX O, S, P, V c O{S~V{PQX O, S, R, W c O{S~W|RQX O, S, T, T c O{S{T~TQX O, S, T, U c O{S~U{TQX O, S, T, X c O{S~T{XQX O, S, U, T c O{S~U{TQX O, S, V, P c O{S~V{PQX O, S, V, X c O{S~X|VQX O, S, W, R c O{S~W|RQX O, S, X, T c O{S~T{XQX O, S, X, V c O{S~X|VQX O, T, P, U c O{T~U|PQX O, T, R, W c O{T{R~WQX O, T, S, T c O{T~T{SQX O, T, S, U c O{T{S~UQX O, T, S, X c O{T~S{XQX O, T, T, S c O{T~T{SQX O, T, U, P c O{T~U|PQX O, T, U, S c O{T{U~SQX O, T, U, V c O{T~V|UQX O, T, V, U c O{T~V|UQX O, T, W, R c O{T{W~RQX O, T, X, S c O{T~S{XQX O, U, P, T c O{U~T|PQX O, U, S, T c O{U~S{TQX O, U, T, P c O{U~T|PQX O, U, T, S c O{U~S{TQX O, U, T, V c O{T~V|UQX O, U, U, V c O{U~U|VQX O, U, V, T c O{V~T|UQX O, U, V, U c O{U~U|VQX O, V, P, S c O{V~S{PQX O, V, R, W c O{V~R{WQX O, V, S, P c O{V~S{PQX O, V, S, X c O{S~X|VQX O, V, T, U c O{V~T|UQX O, V, U, T c O{V~T|UQX O, V, U, U c O{U~U|VQX O, V, W, R c O{V~R{WQX O, V, X, S c O{X~S|VQX O, W, R, S c O{W~S|RQX O, W, R, T c O{W~R{TQX O, W, R, V c O{W{R~VQX O, W, S, R c O{W~S|RQX O, W, T, R c O{W~R{TQX O, W, V, R c O{W{V~RQX O, X, Q, R c O{X~R{QQX O, X, R, Q c O{X~R{QQX O, X, S, T c O{X{S~TQX O, X, S, V c O{X~S|VQX O, X, T, S c O{X{T~SQX O, X, V, S c O{X~S|VQX P, O, S, V c P{O{S~VQX P, O, T, U c O{T~U|PQX P, O, U, T c O{U~T|PQX P, O, V, S c P{O{V~SQX P, P, R, V c P{(P{R)~VQX P, P, R, X c P{P{R~XQX P, P, S, U c P{(P{U)~SQX P, P, S, V c P{P~S~VQX P, P, S, W c P{S~(W|P)QX P, P, T, T c (P{T)~T|PQX P, P, T, U c P~T~U|PQX P, P, T, V c P{(T|P)~VQX P, P, U, S c P{(P{U)~SQX P, P, U, T c P~U~T|PQX P, P, U, U c (U|P)~U|PQX P, P, V, R c P{(P{R)~VQX P, P, V, S c P{P~V~SQX P, P, V, T c P{V~(T|P)QX P, P, W, S c P{(W|P)~SQX P, P, X, R c P{P{X~RQX P, Q, Q, V c P{(Q{Q)~VQX P, Q, Q, X c (P{Q)~X{QQX P, Q, R, T c Q~R~T|PQX P, Q, R, U c (Q{R)~U|PQX P, Q, R, W c (P{W)~R{QQX P, Q, R, X c P~Q{R~XQX P, Q, S, T c P{(Q{T)~SQX P, Q, S, V c Q|P{S~VQX P, Q, S, W c (S~W)|(P{Q)QX P, Q, S, X c P{S~(X|Q)QX P, Q, T, R c Q~T~R|PQX P, Q, T, S c P{(Q{T)~SQX P, Q, T, U c P{T~U|QQX P, Q, T, W c (P{Q)~W{TQX P, Q, T, X c P{Q~(T{X)QX P, Q, U, R c (Q{R)~U|PQX P, Q, U, T c P{U~T|QQX P, Q, U, V c P{(U|Q)~VQX P, Q, U, W c P{Q~(U{W)QX P, Q, U, X c Q~(U{X)|PQX P, Q, V, Q c P{Q~V~QQX P, Q, V, S c Q|P{V~SQX P, Q, V, U c P{V~(U|Q)QX P, Q, V, V c P{Q~(V{V)QX P, Q, V, W c (P{Q)~V{WQX P, Q, W, R c (P{W)~R{QQX P, Q, W, S c (W~S)|(P{Q)QX P, Q, W, T c (P{Q)~W{TQX P, Q, W, U c P{Q~(W{U)QX P, Q, W, V c (P{Q)~V{WQX P, Q, X, Q c (P{Q)~X{QQX P, Q, X, R c P~Q{X~RQX P, Q, X, S c P{(X|Q)~SQX P, Q, X, T c P{Q~(X{T)QX P, Q, X, U c Q~(X{U)|PQX P, Q, X, X c (P{X)~Q{XQX P, R, P, V c P{(R{P)~VQX P, R, P, X c P{R~X{PQX P, R, Q, T c R~Q~T|PQX P, R, Q, U c (R{Q)~U|PQX P, R, Q, W c (P{W)~R{QQX P, R, Q, X c P~R~X{QQX P, R, R, T c (R{R)~T|PQX P, R, R, V c R~(R{V)|PQX P, R, R, W c (P{R)~W|RQX P, R, R, X c R|P{R~XQX P, R, S, S c P{(R{S)~SQX P, R, S, U c R~(S{U)|PQX P, R, S, V c (P{V)~S|RQX P, R, S, W c P{R~W{SQX P, R, S, X c S~(X|P)|RQX P, R, T, Q c R~T~Q|PQX P, R, T, R c (R{R)~T|PQX P, R, T, T c P{R{T~TQX P, R, T, U c (P{R)~U{TQX P, R, T, V c (P{V)~R{TQX P, R, T, W c P~R~W{TQX P, R, T, X c (P{R)~T{XQX P, R, U, Q c (R{Q)~U|PQX P, R, U, S c R~(U{S)|PQX P, R, U, T c (P{R)~U{TQX P, R, U, W c (P{U)~R{WQX P, R, V, P c (P{R)~V{PQX P, R, V, R c (R{V)~R|PQX P, R, V, S c (P{V)~S|RQX P, R, V, T c (P{V)~R{TQX P, R, V, V c P{R~V{VQX P, R, V, W c P~R~V{WQX P, R, V, X c (P{R)~X|VQX P, R, W, Q c (P{W)~R{QQX P, R, W, R c (P{R)~W|RQX P, R, W, S c P{R~W{SQX P, R, W, T c P~R~W{TQX P, R, W, U c (P{U)~R{WQX P, R, W, V c P~R~V{WQX P, R, W, W c R~(W|P){WQX P, R, X, P c P{R~X{PQX P, R, X, Q c P~R~X{QQX P, R, X, R c R|P{X~RQX P, R, X, S c (X|P)~S|RQX P, R, X, T c (P{R)~T{XQX P, R, X, V c (P{R)~X|VQX P, S, O, V c P{(S{O)~VQX P, S, P, U c P{S~(P{U)QX P, S, P, V c P{S~P~VQX P, S, P, W c P{S~(W|P)QX P, S, Q, T c P{S~(Q{T)QX P, S, Q, V c S~V|P{QQX P, S, Q, W c (S~W)|(P{Q)QX P, S, Q, X c P{S~(X|Q)QX P, S, R, S c P{(S{R)~SQX P, S, R, U c (S{U)~R|PQX P, S, R, V c (P{V)~S|RQX P, S, R, W c P{S{R~WQX P, S, R, X c S~(X|P)|RQX P, S, S, R c P{S~(S{R)QX P, S, S, T c (P{S)~T{SQX P, S, S, U c P{S{S~UQX P, S, S, V c (PS{V)~SQX P, S, S, W c P{S~W|SQX P, S, S, X c (P{S)~S{XQX P, S, T, Q c P{S~(T{Q)QX P, S, T, S c (P{S)~T{SQX P, S, T, T c P~S{T~TQX P, S, T, U c P~S~U{TQX P, S, T, V c S~(V|P){TQX P, S, T, W c P{S~T{WQX P, S, T, X c P~S~T{XQX P, S, U, P c P{S~(U{P)QX P, S, U, R c (S{U)~R|PQX P, S, U, S c P{S{U~SQX P, S, U, T c P~S~U{TQX P, S, U, U c S~U|P{UQX P, S, U, V c (P{S)~V|UQX P, S, U, X c S~(U|P){XQX P, S, V, O c P{S~V{OQX P, S, V, P c P{S~V~PQX P, S, V, Q c S~V|P{QQX P, S, V, R c (P{V)~S|RQX P, S, V, S c (PS{V)~SQX P, S, V, T c S~(V|P){TQX P, S, V, U c (P{S)~V|UQX P, S, V, V c (PV{S)~VQX P, S, V, W c P{V~(W|S)QX P, S, V, X c P~S~X|VQX P, S, W, P c P{S~(W|P)QX P, S, W, Q c (S~W)|(P{Q)QX P, S, W, R c P{S{W~RQX P, S, W, S c P{S~W|SQX P, S, W, T c P{S~T{WQX P, S, W, V c P{(W|S)~VQX P, S, W, X c P{S~X|WQX P, S, X, Q c P{S~(X|Q)QX P, S, X, R c S~(X|P)|RQX P, S, X, S c (P{S)~S{XQX P, S, X, T c P~S~T{XQX P, S, X, U c (S~X)|(P{U)QX P, S, X, V c P~S~X|VQX P, S, X, W c P{S~X|WQX P, T, O, U c (T{O)~U|PQX P, T, P, T c (P{T)~T|PQX P, T, P, U c P~T~U|PQX P, T, P, V c P{(T|P)~VQX P, T, Q, R c T~Q~R|PQX P, T, Q, S c P{(T{Q)~SQX P, T, Q, U c P{T~U|QQX P, T, Q, W c (P{Q)~W{TQX P, T, Q, X c P{(T{X)~QQX P, T, R, Q c T~R~Q|PQX P, T, R, R c T~(R{R)|PQX P, T, R, T c P{T~T{RQX P, T, R, U c (P{R)~U{TQX P, T, R, V c (P{V)~R{TQX P, T, R, W c P~T{R~WQX P, T, R, X c (P{R)~T{XQX P, T, S, Q c P{(T{Q)~SQX P, T, S, S c (P{S)~T{SQX P, T, S, T c (P{T)~S{TQX P, T, S, U c P~T{S~UQX P, T, S, V c T{S~(V|P)QX P, T, S, W c P{T~S{WQX P, T, S, X c P~T~S{XQX P, T, T, P c (P{T)~T|PQX P, T, T, R c P{T~T{RQX P, T, T, S c P~T~T{SQX P, T, T, T c T|P{T~TQX P, T, T, U c (T|P)~U{TQX P, T, T, V c (T~V)|(P{T)QX P, T, T, X c (T|P)~T{XQX P, T, U, O c T~U|P{OQX P, T, U, P c P~T~U|PQX P, T, U, Q c P{T~U|QQX P, T, U, R c (P{R)~U{TQX P, T, U, S c P~T{U~SQX P, T, U, T c (T|P)~U{TQX P, T, U, U c (P{U)~T|UQX P, T, U, V c (P{T)~U|VQX P, T, U, W c T~(W|P)|UQX P, T, V, P c P{(T|P)~VQX P, T, V, R c (P{V)~R{TQX P, T, V, S c T{(V|P)~SQX P, T, V, T c (T~V)|(P{T)QX P, T, V, U c P~T~V|UQX P, T, V, V c P{T~V|VQX P, T, V, X c P{V~(X|T)QX P, T, W, Q c (P{Q)~W{TQX P, T, W, R c P~T{W~RQX P, T, W, S c P{T~S{WQX P, T, W, U c T~(W|P)|UQX P, T, X, Q c P{(T{X)~QQX P, T, X, R c (P{R)~T{XQX P, T, X, S c P~T~S{XQX P, T, X, T c (T|P)~T{XQX P, T, X, V c P{(X|T)~VQX P, U, O, T c (U{O)~T|PQX P, U, P, S c P{(U{P)~SQX P, U, P, T c P~U~T|PQX P, U, P, U c (U|P)~U|PQX P, U, Q, R c U~(Q{R)|PQX P, U, Q, T c P{U~T|QQX P, U, Q, V c P{(U|Q)~VQX P, U, Q, W c P{(U{W)~QQX P, U, Q, X c (U{X)~Q|PQX P, U, R, Q c U~(R{Q)|PQX P, U, R, S c (U{S)~R|PQX P, U, R, T c (P{R)~U{TQX P, U, R, W c (P{U)~R{WQX P, U, S, P c (P{U)~S{PQX P, U, S, R c (U{S)~R|PQX P, U, S, S c P{U~S{SQX P, U, S, T c P~U~S{TQX P, U, S, U c U|P{S~UQX P, U, S, V c (P{S)~V|UQX P, U, S, X c (U|P)~S{XQX P, U, T, O c U~T|P{OQX P, U, T, P c P~U~T|PQX P, U, T, Q c P{U~T|QQX P, U, T, R c (P{R)~U{TQX P, U, T, S c P~U~S{TQX P, U, T, T c (U|PT)~TQX P, U, T, U c (P{U)~T|UQX P, U, T, V c (P{T)~U|VQX P, U, T, W c T~(W|P)|UQX P, U, U, P c (U|P)~U|PQX P, U, U, S c U|P{U~SQX P, U, U, T c (P{U)~T|UQX P, U, U, U c (U~U)|(P{U)QX P, U, U, V c P~U~U|VQX P, U, U, W c P{U~U|WQX P, U, V, Q c P{(U|Q)~VQX P, U, V, S c (P{S)~V|UQX P, U, V, T c P~V~T|UQX P, U, V, U c P~U~U|VQX P, U, V, V c U~(V|P)|VQX P, U, W, Q c P{(U{W)~QQX P, U, W, R c (P{U)~R{WQX P, U, W, T c (W|P)~T|UQX P, U, W, U c P{U~U|WQX P, U, X, Q c (U{X)~Q|PQX P, U, X, S c (U|P)~S{XQX P, V, O, S c P{(V{O)~SQX P, V, P, R c P{V~(P{R)QX P, V, P, S c P{V~P~SQX P, V, P, T c P{V~(T|P)QX P, V, Q, Q c P{V~(Q{Q)QX P, V, Q, S c V~S|P{QQX P, V, Q, U c P{V~(U|Q)QX P, V, Q, V c P{(V{V)~QQX P, V, Q, W c P{VQ~WQX P, V, R, P c P{V~(R{P)QX P, V, R, R c (V{R)~R|PQX P, V, R, S c (P{V)~S|RQX P, V, R, T c (P{V)~R{TQX P, V, R, V c P{V{R~VQX P, V, R, W c P~V~R{WQX P, V, R, X c (P{R)~X|VQX P, V, S, O c P{V~S{OQX P, V, S, P c P{V~S~PQX P, V, S, Q c V~S|P{QQX P, V, S, R c (P{V)~S|RQX P, V, S, S c (PS{V)~SQX P, V, S, T c (V|P)~S{TQX P, V, S, U c (P{S)~V|UQX P, V, S, V c (PV{S)~VQX P, V, S, W c P{V~(W|S)QX P, V, S, X c P~S~X|VQX P, V, T, P c P{V~(T|P)QX P, V, T, R c (P{V)~R{TQX P, V, T, S c (V|P)~S{TQX P, V, T, T c (V~T)|(P{T)QX P, V, T, U c P~V~T|UQX P, V, T, V c P{V~T|VQX P, V, T, X c P{V~(X|T)QX P, V, U, Q c P{V~(U|Q)QX P, V, U, S c (P{S)~V|UQX P, V, U, T c P~V~T|UQX P, V, U, U c P~U~U|VQX P, V, U, V c (V|P)~U|VQX P, V, V, Q c P{(V{V)~QQX P, V, V, R c P{V{V~RQX P, V, V, S c (PV{S)~VQX P, V, V, T c P{V~T|VQX P, V, V, U c (V|P)~U|VQX P, V, W, Q c P{V~WQQX P, V, W, R c P~V~R{WQX P, V, W, S c P{V~(W|S)QX P, V, X, R c (P{R)~X|VQX P, V, X, S c P~X~S|VQX P, V, X, T c P{V~(X|T)QX P, W, P, S c P{(W|P)~SQX P, W, Q, R c (P{W)~R{QQX P, W, Q, S c (W~S)|(P{Q)QX P, W, Q, T c (P{Q)~W{TQX P, W, Q, U c P{(W{U)~QQX P, W, Q, V c P{WQ~VQX P, W, R, Q c (P{W)~R{QQX P, W, R, R c (P{R)~W|RQX P, W, R, S c P{W~R{SQX P, W, R, T c P~W~R{TQX P, W, R, U c (P{U)~R{WQX P, W, R, V c P~W{R~VQX P, W, R, W c (W|P)~R{WQX P, W, S, P c P{(W|P)~SQX P, W, S, Q c (W~S)|(P{Q)QX P, W, S, R c P~W~S|RQX P, W, S, S c P{W~S|SQX P, W, S, T c P{W{S~TQX P, W, S, V c P{(W|S)~VQX P, W, S, X c P{S~X|WQX P, W, T, Q c (P{Q)~W{TQX P, W, T, R c P~W~R{TQX P, W, T, S c P{W{T~SQX P, W, T, U c (W|P)~T|UQX P, W, U, Q c P{(W{U)~QQX P, W, U, R c (P{U)~R{WQX P, W, U, T c (W|P)~T|UQX P, W, U, U c P{U~U|WQX P, W, V, Q c P{W~VQQX P, W, V, R c P~W{V~RQX P, W, V, S c P{(W|S)~VQX P, W, W, R c (W|P)~R{WQX P, W, X, S c P{X~S|WQX P, X, P, R c P{X~R{PQX P, X, Q, Q c (P{Q)~X{QQX P, X, Q, R c P~X~R{QQX P, X, Q, S c P{(X|Q)~SQX P, X, Q, T c P{(X{T)~QQX P, X, Q, U c (X{U)~Q|PQX P, X, Q, X c (P{X)~Q{XQX P, X, R, P c P{X~R{PQX P, X, R, Q c P~X~R{QQX P, X, R, R c X~R|P{RQX P, X, R, S c (X|P)~S|RQX P, X, R, T c (P{R)~T{XQX P, X, R, V c (P{R)~X|VQX P, X, S, Q c P{(X|Q)~SQX P, X, S, R c (X|P)~S|RQX P, X, S, S c (P{S)~S{XQX P, X, S, T c P~X{S~TQX P, X, S, U c (X~S)|(P{U)QX P, X, S, V c P~X~S|VQX P, X, S, W c P{X~S|WQX P, X, T, Q c P{(X{T)~QQX P, X, T, R c (P{R)~T{XQX P, X, T, S c P~X{T~SQX P, X, T, T c X{(T|P)~TQX P, X, T, V c P{(X|T)~VQX P, X, U, Q c (X{U)~Q|PQX P, X, U, S c X{(U|P)~SQX P, X, V, R c (P{R)~X|VQX P, X, V, S c P~X~S|VQX P, X, V, T c P{(X|T)~VQX P, X, W, S c P{X~S|WQX P, X, X, Q c (P{X)~Q{XQX Q, O, R, X c Q{O{R~XQX Q, O, X, R c Q{O{X~RQX Q, P, Q, V c (Q{Q)~V{PQX Q, P, Q, X c Q{(P{Q)~XQX Q, P, R, T c Q~R~T|PQX Q, P, R, U c (Q{R)~U|PQX Q, P, R, W c Q{(P{W)~RQX Q, P, R, X c Q{P~R~XQX Q, P, S, T c (Q{S)~T|PQX Q, P, S, V c Q|P{S~VQX Q, P, S, W c (S~W)|(Q{P)QX Q, P, S, X c Q{(S|P)~XQX Q, P, T, R c Q~T~R|PQX Q, P, T, S c (Q{T)~S{PQX Q, P, T, U c P{T~U|QQX Q, P, T, W c (Q{P)~W{TQX Q, P, T, X c Q~(T{X){PQX Q, P, U, R c (Q{R)~U|PQX Q, P, U, T c P{U~T|QQX Q, P, U, V c P{(U|Q)~VQX Q, P, U, W c Q~(U{W){PQX Q, P, U, X c Q~(U{X)|PQX Q, P, V, Q c Q~V~Q{PQX Q, P, V, S c Q|P{V~SQX Q, P, V, U c P{V~(U|Q)QX Q, P, V, V c Q~(V{V){PQX Q, P, V, W c (Q{P)~V{WQX Q, P, W, R c Q{(P{W)~RQX Q, P, W, S c (W~S)|(Q{P)QX Q, P, W, T c (Q{P)~W{TQX Q, P, W, U c Q~(W{U){PQX Q, P, W, V c (Q{P)~V{WQX Q, P, X, Q c (Q{P)~X{QQX Q, P, X, R c Q{P~X~RQX Q, P, X, S c Q{X~(S|P)QX Q, P, X, T c Q~(X{T){PQX Q, P, X, U c Q~(X{U)|PQX Q, P, X, X c Q~(P{X){XQX Q, Q, P, V c (Q{Q)~V{PQX Q, Q, P, X c Q{(Q{P)~XQX Q, Q, R, V c Q{(Q{V)~RQX Q, Q, R, W c (Q{Q)~W|RQX Q, Q, S, V c QQ{S~VQX Q, Q, T, T c Q{Q{T~TQX Q, Q, T, U c (Q{Q)~U{TQX Q, Q, T, X c (Q{Q)~T{XQX Q, Q, U, T c (Q{Q)~U{TQX Q, Q, U, X c Q{UQ~XQX Q, Q, V, P c (Q{Q)~V{PQX Q, Q, V, R c Q{(Q{V)~RQX Q, Q, V, S c QQ{V~SQX Q, Q, V, W c (Q{V~W)QQX Q, Q, V, X c (Q{Q)~X|VQX Q, Q, W, R c (Q{Q)~W|RQX Q, Q, W, V c (Q{W~V)QQX Q, Q, W, X c Q~(Q{W){XQX Q, Q, X, P c Q{(Q{P)~XQX Q, Q, X, T c (Q{Q)~T{XQX Q, Q, X, U c Q{XQ~UQX Q, Q, X, V c (Q{Q)~X|VQX Q, Q, X, W c Q~(Q{W){XQX Q, Q, X, X c Q{Q~X{XQX Q, R, O, X c Q{(R{O)~XQX Q, R, P, T c Q~R~T|PQX Q, R, P, U c (Q{R)~U|PQX Q, R, P, W c Q{R~(P{W)QX Q, R, P, X c Q{R~P~XQX Q, R, Q, V c Q{R~(Q{V)QX Q, R, Q, W c (Q{Q)~W|RQX Q, R, R, R c Q{R~R~RQX Q, R, R, U c Q{R~(R{U)QX Q, R, R, W c Q{R{R~WQX Q, R, R, X c (QR{X)~RQX Q, R, S, S c Q~S~S|RQX Q, R, S, T c Q{R~(S{T)QX Q, R, S, U c Q{R{S~UQX Q, R, S, V c Q~S{R~VQX Q, R, S, X c (Q{R)~S{XQX Q, R, T, P c Q~R~T|PQX Q, R, T, S c (Q{R)~T{SQX Q, R, T, U c Q{T~U|RQX Q, R, T, V c Q~V{R~TQX Q, R, T, W c (Q{T)~R{WQX Q, R, T, X c Q~(R{X){TQX Q, R, U, P c (Q{R)~U|PQX Q, R, U, R c Q{(R{U)~RQX Q, R, U, S c Q{R{U~SQX Q, R, U, T c (Q{U)~R{TQX Q, R, U, V c Q~R~U|VQX Q, R, U, W c (U|Q)~W|RQX Q, R, U, X c Q{R~U{XQX Q, R, V, Q c Q{R~(V{Q)QX Q, R, V, S c Q~S{R~VQX Q, R, V, T c Q~V{R~TQX Q, R, V, U c Q{R~V{UQX Q, R, V, W c Q~(R{W){VQX Q, R, V, X c Q~(R{V){XQX Q, R, W, P c Q{R~(W{P)QX Q, R, W, Q c Q~W~Q|RQX Q, R, W, R c Q{R{W~RQX Q, R, W, T c Q~(W{T){RQX Q, R, W, U c W~(U|Q)|RQX Q, R, W, V c Q~(R{W){VQX Q, R, W, W c Q~(W{W)|RQX Q, R, W, X c Q~X{R{WQX Q, R, X, O c Q{R~X{OQX Q, R, X, P c Q{R~X~PQX Q, R, X, R c (QR{X)~RQX Q, R, X, S c (Q{R)~S{XQX Q, R, X, T c Q~(R{X){TQX Q, R, X, U c Q{R~U{XQX Q, R, X, V c Q~(R{V){XQX Q, R, X, W c Q~X{R{WQX Q, R, X, X c Q{XR~XQX Q, S, P, T c (Q{S)~T|PQX Q, S, P, V c Q{S~V|PQX Q, S, P, W c (S~W)|(Q{P)QX Q, S, P, X c Q{(S|P)~XQX Q, S, Q, V c QQ{S~VQX Q, S, R, S c Q~S~S|RQX Q, S, R, T c Q~S~R{TQX Q, S, R, U c Q{S~U{RQX Q, S, R, V c Q~S{R~VQX Q, S, R, X c Q~(S{X){RQX Q, S, S, R c Q~S~S|RQX Q, S, S, T c (Q{S)~S{TQX Q, S, T, P c (Q{S)~T|PQX Q, S, T, R c Q{(S{T)~RQX Q, S, T, S c (Q{S)~S{TQX Q, S, T, V c Q{S~T{VQX Q, S, T, W c Q{S~W|TQX Q, S, T, X c (S~X)|(Q{T)QX Q, S, U, R c Q{S~U{RQX Q, S, U, V c (Q{S)~U|VQX Q, S, U, W c S~W|UQQX Q, S, U, X c Q~(S{U){XQX Q, S, V, P c Q{S~V|PQX Q, S, V, Q c QQ{S~VQX Q, S, V, R c Q~S{V~RQX Q, S, V, T c Q{S~T{VQX Q, S, V, U c (Q{S)~U|VQX Q, S, V, V c Q~(S{V){VQX Q, S, V, W c (QW{V)~SQX Q, S, V, X c Q{(V|S)~XQX Q, S, W, P c (S~W)|(Q{P)QX Q, S, W, T c Q{S~W|TQX Q, S, W, U c S~W|UQQX Q, S, W, V c (QW{V)~SQX Q, S, W, X c Q~W{S{XQX Q, S, X, P c Q{(S|P)~XQX Q, S, X, R c Q~(S{X){RQX Q, S, X, T c (S~X)|(Q{T)QX Q, S, X, U c Q~(S{U){XQX Q, S, X, V c Q~X{S{VQX Q, S, X, W c Q~W{S{XQX Q, S, X, X c Q{S~X|XQX Q, T, P, R c Q~T~R|PQX Q, T, P, S c (Q{T)~S{PQX Q, T, P, U c T~U|Q{PQX Q, T, P, W c (Q{P)~W{TQX Q, T, P, X c Q~(T{X){PQX Q, T, Q, T c Q{T~T{QQX Q, T, Q, U c (Q{Q)~U{TQX Q, T, Q, X c Q{(T|Q)~XQX Q, T, R, P c Q~T~R|PQX Q, T, R, S c Q{(T{S)~RQX Q, T, R, U c Q{T~U|RQX Q, T, R, V c Q~V{T~RQX Q, T, R, W c (Q{T)~R{WQX Q, T, R, X c Q~(R{X){TQX Q, T, S, P c (Q{T)~S{PQX Q, T, S, R c Q{(T{S)~RQX Q, T, S, S c (Q{S)~S{TQX Q, T, S, V c Q{T~S{VQX Q, T, S, W c Q{S~W|TQX Q, T, S, X c (S~X)|(Q{T)QX Q, T, T, Q c Q{T~T{QQX Q, T, T, U c (Q{T)~T|UQX Q, T, T, V c Q~(T{V){TQX Q, T, T, W c (T|Q)~W{TQX Q, T, T, X c Q~(T{T){XQX Q, T, U, P c T~U|Q{PQX Q, T, U, Q c Q~U~Q{TQX Q, T, U, R c Q{T~U|RQX Q, T, U, T c (Q{T)~T|UQX Q, T, U, U c Q~(U{U){TQX Q, T, U, V c Q~(T{U){VQX Q, T, U, W c T{UQ~WQX Q, T, U, X c Q~X{T{UQX Q, T, V, R c Q~V{T~RQX Q, T, V, S c Q{T~S{VQX Q, T, V, T c Q~(T{V){TQX Q, T, V, U c Q~(T{U){VQX Q, T, V, W c Q{T~V|WQX Q, T, V, X c (V~X|T)QQX Q, T, W, P c (Q{P)~W{TQX Q, T, W, R c Q~(T{W){RQX Q, T, W, S c Q{W~S|TQX Q, T, W, T c (T|Q)~W{TQX Q, T, W, U c T{WQ~UQX Q, T, W, V c Q{T~V|WQX Q, T, W, W c Q~W{T{WQX Q, T, W, X c Q{(W|T)~XQX Q, T, X, P c Q~(T{X){PQX Q, T, X, Q c Q{(T|Q)~XQX Q, T, X, R c Q~(X{R){TQX Q, T, X, S c (X~S)|(Q{T)QX Q, T, X, T c Q~(T{T){XQX Q, T, X, U c Q~X{T{UQX Q, T, X, V c (X~V|T)QQX Q, T, X, W c Q{X~(W|T)QX Q, U, P, R c (Q{R)~U|PQX Q, U, P, T c U~T|Q{PQX Q, U, P, V c (U|Q)~V{PQX Q, U, P, W c Q~(U{W){PQX Q, U, P, X c Q~(U{X)|PQX Q, U, Q, T c Q~U~Q{TQX Q, U, Q, X c Q{UQ~XQX Q, U, R, P c (Q{R)~U|PQX Q, U, R, R c Q{(U{R)~RQX Q, U, R, S c Q{U~S{RQX Q, U, R, T c (Q{U)~R{TQX Q, U, R, V c Q{U{R~VQX Q, U, R, W c (U|Q)~W|RQX Q, U, R, X c Q{(U|R)~XQX Q, U, S, R c Q{U~S{RQX Q, U, S, V c (Q{S)~U|VQX Q, U, S, W c S~W|UQQX Q, U, S, X c Q~(U{S){XQX Q, U, T, P c U~T|Q{PQX Q, U, T, Q c Q~U~Q{TQX Q, U, T, R c Q{U~T|RQX Q, U, T, T c (Q{T)~T|UQX Q, U, T, U c Q~(U{U){TQX Q, U, T, V c Q~(U{T){VQX Q, U, T, W c UQ~W{TQX Q, U, T, X c Q~X{U{TQX Q, U, U, T c Q~(U{U){TQX Q, U, U, X c Q{U~U|XQX Q, U, V, P c (U|Q)~V{PQX Q, U, V, R c Q{U{V~RQX Q, U, V, S c (Q{S)~U|VQX Q, U, V, T c Q~(U{T){VQX Q, U, V, V c (V|Q)~V|UQX Q, U, V, W c Q~W{U{VQX Q, U, V, X c Q~V{U{XQX Q, U, W, P c Q~(U{W){PQX Q, U, W, R c (U|Q)~W|RQX Q, U, W, S c W~S|UQQX Q, U, W, T c UQ~W{TQX Q, U, W, V c Q~W{U{VQX Q, U, W, W c (W~W|U)QQX Q, U, W, X c Q~U{W{XQX Q, U, X, P c Q~(U{X)|PQX Q, U, X, Q c Q{U~XQQX Q, U, X, R c Q{(U|R)~XQX Q, U, X, S c Q~(U{S){XQX Q, U, X, T c Q~X{U{TQX Q, U, X, U c Q{U~U|XQX Q, U, X, V c Q~V{U{XQX Q, U, X, W c Q~U{X{WQX Q, U, X, X c Q{(X|U)~XQX Q, V, P, Q c Q~V~Q{PQX Q, V, P, S c Q{V~S|PQX Q, V, P, U c (V|Q)~U|PQX Q, V, P, V c Q~(V{V){PQX Q, V, P, W c Q~(V{W)|PQX Q, V, Q, P c Q~V~Q{PQX Q, V, Q, R c Q{(V{Q)~RQX Q, V, Q, S c QQ{V~SQX Q, V, Q, W c (Q{V~W)QQX Q, V, Q, X c (Q{Q)~X|VQX Q, V, R, Q c (Q{V)~R{QQX Q, V, R, S c Q~S{V~RQX Q, V, R, T c Q~V{R~TQX Q, V, R, U c Q{V~R{UQX Q, V, R, W c Q~(R{W){VQX Q, V, R, X c Q~(V{R){XQX Q, V, S, P c Q{V~S|PQX Q, V, S, Q c QQ{V~SQX Q, V, S, R c Q~S{V~RQX Q, V, S, T c Q{V{S~TQX Q, V, S, U c (Q{S)~U|VQX Q, V, S, V c (Q{V)~S|VQX Q, V, S, W c (QW{V)~SQX Q, V, S, X c Q{(V|S)~XQX Q, V, T, R c Q~V{T~RQX Q, V, T, S c Q{V{T~SQX Q, V, T, T c Q~(V{T){TQX Q, V, T, U c Q~(T{U){VQX Q, V, T, W c Q{V~T|WQX Q, V, T, X c (V~X|T)QQX Q, V, U, P c (V|Q)~U|PQX Q, V, U, R c Q~(V{U){RQX Q, V, U, S c (Q{S)~U|VQX Q, V, U, T c Q~(U{T){VQX Q, V, U, V c (V|Q)~V|UQX Q, V, U, W c Q~W{V{UQX Q, V, U, X c Q~V{U{XQX Q, V, V, P c Q~(V{V){PQX Q, V, V, S c (Q{V)~S|VQX Q, V, V, U c (V|Q)~V|UQX Q, V, V, W c Q~V{V{WQX Q, V, V, X c (V~V{X)QQX Q, V, W, P c Q~(V{W)|PQX Q, V, W, Q c (Q{V~W)QQX Q, V, W, R c Q~(W{R){VQX Q, V, W, S c (QW{V)~SQX Q, V, W, T c Q{V~T|WQX Q, V, W, U c Q~W{V{UQX Q, V, W, V c Q~V{W{VQX Q, V, W, X c WQ~X|VQX Q, V, X, Q c (Q{X)~Q{VQX Q, V, X, R c Q~(V{X)|RQX Q, V, X, S c Q{(V|S)~XQX Q, V, X, T c (V~X|T)QQX Q, V, X, U c Q~V{X{UQX Q, V, X, V c (V~V{X)QQX Q, V, X, W c XQ~W|VQX Q, V, X, X c Q~(X{X)|VQX Q, W, P, R c Q{(W{P)~RQX Q, W, P, S c (W~S)|(Q{P)QX Q, W, P, T c (Q{P)~W{TQX Q, W, P, U c Q~(W{U){PQX Q, W, P, V c Q~(W{V)|PQX Q, W, Q, R c Q~W~Q|RQX Q, W, Q, V c (Q{W~V)QQX Q, W, Q, X c (Q{W)~Q{XQX Q, W, R, P c (Q{W)~R|PQX Q, W, R, Q c Q~W~Q|RQX Q, W, R, R c Q{W~R{RQX Q, W, R, T c Q~(W{T){RQX Q, W, R, U c W~(U|Q)|RQX Q, W, R, V c Q~(W{R){VQX Q, W, R, W c Q~(W{W)|RQX Q, W, R, X c Q~X{W{RQX Q, W, S, P c (W~S)|(Q{P)QX Q, W, S, T c Q{W~S|TQX Q, W, S, U c W~S|UQQX Q, W, S, V c (QW{V)~SQX Q, W, S, X c Q~W{S{XQX Q, W, T, P c (Q{P)~W{TQX Q, W, T, R c Q~(W{T){RQX Q, W, T, S c Q{W~S|TQX Q, W, T, T c WQ{T~TQX Q, W, T, U c WQ~U{TQX Q, W, T, V c Q{T~V|WQX Q, W, T, W c Q~W{T{WQX Q, W, T, X c Q{(W|T)~XQX Q, W, U, P c Q~(W{U){PQX Q, W, U, R c W~(U|Q)|RQX Q, W, U, S c W~S|UQQX Q, W, U, T c WQ~U{TQX Q, W, U, V c Q~W{U{VQX Q, W, U, W c (W~W|U)QQX Q, W, U, X c Q~U{W{XQX Q, W, V, P c Q~(W{V)|PQX Q, W, V, Q c (Q{W~V)QQX Q, W, V, R c Q~(W{R){VQX Q, W, V, S c (QW{V)~SQX Q, W, V, T c Q{V~T|WQX Q, W, V, U c Q~W{V{UQX Q, W, V, V c Q~V{W{VQX Q, W, V, X c WQ~X|VQX Q, W, W, R c Q~(W{W)|RQX Q, W, W, T c Q~W{W{TQX Q, W, W, U c (W~W|U)QQX Q, W, X, Q c (Q{W)~Q{XQX Q, W, X, R c Q~X{W{RQX Q, W, X, S c Q~W{X{SQX Q, W, X, T c Q~(W{X)|TQX Q, W, X, U c Q~U{W{XQX Q, W, X, V c WQ~X|VQX Q, X, O, R c Q{(X{O)~RQX Q, X, P, Q c Q{X~(P{Q)QX Q, X, P, R c Q{X~P~RQX Q, X, P, S c Q{X~(S|P)QX Q, X, P, T c Q~(X{T){PQX Q, X, P, U c Q~(X{U)|PQX Q, X, P, X c Q~(X{P){XQX Q, X, Q, P c Q{X~(Q{P)QX Q, X, Q, T c Q{X~(T|Q)QX Q, X, Q, U c Q{XQ~UQX Q, X, Q, V c (Q{X)~Q{VQX Q, X, Q, W c Q~(Q{W){XQX Q, X, Q, X c Q{X{Q~XQX Q, X, R, O c Q{X~R{OQX Q, X, R, P c Q{X~R~PQX Q, X, R, R c (QR{X)~RQX Q, X, R, S c (Q{X)~R|SQX Q, X, R, T c Q~(X{R){TQX Q, X, R, U c Q{X{R~UQX Q, X, R, V c Q~(X{V)|RQX Q, X, R, W c Q~X{R{WQX Q, X, R, X c Q{XR~XQX Q, X, S, P c Q{X~(S|P)QX Q, X, S, R c Q~(X{S){RQX Q, X, S, T c (X~S)|(Q{T)QX Q, X, S, U c Q~(S{U){XQX Q, X, S, V c Q~X{S{VQX Q, X, S, W c Q~W{X{SQX Q, X, S, X c Q{X~S|XQX Q, X, T, P c Q~(X{T){PQX Q, X, T, Q c Q{X~(T|Q)QX Q, X, T, R c Q~(X{R){TQX Q, X, T, S c (X~S)|(Q{T)QX Q, X, T, T c Q~(T{T){XQX Q, X, T, U c Q~X{T{UQX Q, X, T, V c (X~V|T)QQX Q, X, T, W c Q{X~(W|T)QX Q, X, U, P c Q~(X{U)|PQX Q, X, U, Q c Q{X~UQQX Q, X, U, R c Q{X{U~RQX Q, X, U, S c Q~(U{S){XQX Q, X, U, T c Q~X{U{TQX Q, X, U, U c Q{U~U|XQX Q, X, U, V c Q~V{X{UQX Q, X, U, W c Q~U{X{WQX Q, X, U, X c Q{(X|U)~XQX Q, X, V, Q c (Q{X)~Q{VQX Q, X, V, R c Q~(X{V)|RQX Q, X, V, S c Q{X~(V|S)QX Q, X, V, T c (X~V|T)QQX Q, X, V, U c Q~V{X{UQX Q, X, V, V c (X{V~V)QQX Q, X, V, W c XQ~W|VQX Q, X, V, X c Q~(X{X)|VQX Q, X, W, Q c (Q{W)~Q{XQX Q, X, W, R c Q~X{W{RQX Q, X, W, S c Q~W{X{SQX Q, X, W, T c Q{X~(W|T)QX Q, X, W, U c Q~U{X{WQX Q, X, W, V c XQ~W|VQX Q, X, X, P c Q~(X{P){XQX Q, X, X, Q c Q{X{X~QQX Q, X, X, R c Q{X~XRQX Q, X, X, S c Q{X~S|XQX Q, X, X, U c Q{X~(X|U)QX Q, X, X, V c Q~(X{X)|VQX Q, X, X, X c Q{X{X{XQX R, O, Q, X c (R{O)~X{QQX R, O, S, W c O{S~W|RQX R, O, T, W c (R{O)~W{TQX R, O, V, W c (R{O)~V{WQX R, O, W, S c O{W~S|RQX R, O, W, T c (R{O)~W{TQX R, O, W, V c (R{O)~V{WQX R, O, X, Q c (R{O)~X{QQX R, P, P, V c (R{P)~V{PQX R, P, P, X c R~(P{X)|PQX R, P, Q, T c R~Q~T|PQX R, P, Q, U c (R{Q)~U|PQX R, P, Q, W c R~(P{W){QQX R, P, Q, X c R~P~X{QQX R, P, R, T c (R{R)~T|PQX R, P, R, V c R~(R{V)|PQX R, P, R, W c (R{P)~W|RQX R, P, R, X c R|P{R~XQX R, P, S, S c (R{S)~S{PQX R, P, S, U c R~(S{U)|PQX R, P, S, V c (P{V)~S|RQX R, P, S, W c R~W{P{SQX R, P, S, X c S~(X|P)|RQX R, P, T, Q c R~T~Q|PQX R, P, T, R c (R{R)~T|PQX R, P, T, T c R{P{T~TQX R, P, T, U c (R{P)~U{TQX R, P, T, V c R~(P{V){TQX R, P, T, W c R~P~W{TQX R, P, T, X c (R{P)~T{XQX R, P, U, Q c (R{Q)~U|PQX R, P, U, S c R~(U{S)|PQX R, P, U, T c (R{P)~U{TQX R, P, U, W c R~(P{U){WQX R, P, V, P c (R{P)~V{PQX R, P, V, R c (R{V)~R|PQX R, P, V, S c (P{V)~S|RQX R, P, V, T c R~(P{V){TQX R, P, V, V c R~V{P{VQX R, P, V, W c R~P~V{WQX R, P, V, X c (R{P)~X|VQX R, P, W, Q c R~(P{W){QQX R, P, W, R c (R{P)~W|RQX R, P, W, S c R~W{P{SQX R, P, W, T c R~P~W{TQX R, P, W, U c R~(P{U){WQX R, P, W, V c R~P~V{WQX R, P, W, W c R~(W|P){WQX R, P, X, P c R~(P{X)|PQX R, P, X, Q c R~P~X{QQX R, P, X, R c R|P{X~RQX R, P, X, S c (X|P)~S|RQX R, P, X, T c (R{P)~T{XQX R, P, X, V c (R{P)~X|VQX R, Q, O, X c (R{O)~X{QQX R, Q, P, T c R~Q~T|PQX R, Q, P, U c (R{Q)~U|PQX R, Q, P, W c R~(Q{W)|PQX R, Q, P, X c R~P~X{QQX R, Q, Q, V c R~(Q{V){QQX R, Q, Q, W c (Q{Q)~W|RQX R, Q, R, R c R~R~R{QQX R, Q, R, U c R~(R{U){QQX R, Q, R, W c R{Q{R~WQX R, Q, R, X c R~(QR{X)QX R, Q, S, S c Q~S~S|RQX R, Q, S, T c R~Q~S{TQX R, Q, S, U c R{Q{S~UQX R, Q, S, V c R|Q{S~VQX R, Q, S, X c (R{Q)~S{XQX R, Q, T, P c R~Q~T|PQX R, Q, T, S c (R{Q)~T{SQX R, Q, T, U c R~(Q{U){TQX R, Q, T, V c R~T{Q~VQX R, Q, T, W c R{Q~(T{W)QX R, Q, T, X c (R{X)~Q{TQX R, Q, U, P c (R{Q)~U|PQX R, Q, U, R c (R{U)~R{QQX R, Q, U, S c R{Q{U~SQX R, Q, U, T c R~(Q{U){TQX R, Q, U, V c R{Q~(U{V)QX R, Q, U, W c (U|Q)~W|RQX R, Q, U, X c R~U{Q{XQX R, Q, V, Q c R~(Q{V){QQX R, Q, V, S c R|Q{V~SQX R, Q, V, T c R~T{Q~VQX R, Q, V, U c R{Q~(V{U)QX R, Q, V, W c (R{W)~Q{VQX R, Q, V, X c (R{V)~Q{XQX R, Q, W, P c R~(Q{W)|PQX R, Q, W, Q c Q~W~Q|RQX R, Q, W, R c R{Q{W~RQX R, Q, W, T c R{Q~(W{T)QX R, Q, W, U c W~(U|Q)|RQX R, Q, W, V c (R{W)~Q{VQX R, Q, W, W c Q~(W{W)|RQX R, Q, W, X c R{Q~X{WQX R, Q, X, O c R~X{Q{OQX R, Q, X, P c R~X{Q~PQX R, Q, X, R c R~(QR{X)QX R, Q, X, S c R{Q~(X{S)QX R, Q, X, T c (R{X)~Q{TQX R, Q, X, U c R~U{Q{XQX R, Q, X, V c (R{V)~Q{XQX R, Q, X, W c R{Q~X{WQX R, Q, X, X c (R{QX)~XQX R, R, P, T c (R{R)~T|PQX R, R, P, V c R~(R{V)|PQX R, R, P, W c (R{P)~W|RQX R, R, P, X c R{R~X|PQX R, R, Q, R c R~R~R{QQX R, R, Q, U c R~(R{U){QQX R, R, Q, W c R{R~W{QQX R, R, Q, X c R~(QR{X)QX R, R, R, Q c R~R~R{QQX R, R, S, T c (R{R)~S{TQX R, R, S, V c R~R~S|VQX R, R, S, W c R~(R{S){WQX R, R, T, P c (R{R)~T|PQX R, R, T, S c R~R{T~SQX R, R, T, T c R~(R{T){TQX R, R, T, U c T~U|RRQX R, R, T, V c R{R~V{TQX R, R, T, W c R~(TR{W)QX R, R, T, X c R~X|R{TQX R, R, U, Q c R~(R{U){QQX R, R, U, T c U~T|RRQX R, R, U, V c (R{R)~U|VQX R, R, U, W c R{R~U{WQX R, R, U, X c R~X{URQX R, R, V, P c R~(R{V)|PQX R, R, V, S c RR{V~SQX R, R, V, T c R{R~V{TQX R, R, V, U c (R{R)~U|VQX R, R, V, W c R~(V{WR)QX R, R, V, X c R~(R{X)|VQX R, R, W, P c (R{P)~W|RQX R, R, W, Q c R{R~W{QQX R, R, W, S c R~(R{W)|SQX R, R, W, T c R~(W{TR)QX R, R, W, U c R{R~U{WQX R, R, W, V c R~(WR{V)QX R, R, W, W c R~W|R{WQX R, R, X, P c R{R~X|PQX R, R, X, Q c R~(X{QR)QX R, R, X, T c R~X|R{TQX R, R, X, U c R~X{URQX R, R, X, V c R~(R{X)|VQX R, S, O, W c (S{O)~W|RQX R, S, P, S c (R{S)~S{PQX R, S, P, U c R~(S{U)|PQX R, S, P, V c S~(P{V)|RQX R, S, P, W c R~W{S{PQX R, S, P, X c S~(X|P)|RQX R, S, Q, S c S~Q~S|RQX R, S, Q, T c R~S~Q{TQX R, S, Q, U c R{S~U{QQX R, S, Q, V c R{S~V|QQX R, S, Q, X c R{(S{X)~QQX R, S, R, T c (R{R)~S{TQX R, S, R, V c R~S~R|VQX R, S, R, W c (R{S)~R{WQX R, S, S, P c (R{S)~S{PQX R, S, S, Q c S~S~Q|RQX R, S, S, S c (S{S)~S|RQX R, S, S, T c R~(S{S){TQX R, S, S, V c R~(S{V)|SQX R, S, S, W c S~(W|RS)QX R, S, S, X c (S~X)|(R{S)QX R, S, T, Q c R~(S{T){QQX R, S, T, R c (R{T)~S|RQX R, S, T, S c R~(S{S){TQX R, S, T, U c R{S~T{UQX R, S, T, W c S{T~(W|R)QX R, S, T, X c S~(X|R){TQX R, S, U, P c R~(S{U)|PQX R, S, U, Q c R{S~U{QQX R, S, U, T c R{S~T{UQX R, S, U, U c (U~U)|(R{S)QX R, S, U, V c (R{U)~S|VQX R, S, U, W c R{S~W|UQX R, S, U, X c R~(SU{X)QX R, S, V, P c S~(V{P)|RQX R, S, V, Q c R{S~V|QQX R, S, V, R c R~S~R|VQX R, S, V, S c R~(S{V)|SQX R, S, V, U c (R{U)~S|VQX R, S, V, W c R~(S{W)|VQX R, S, W, O c S~W|R{OQX R, S, W, P c R~W{S{PQX R, S, W, R c (R{S)~R{WQX R, S, W, S c S~(W|RS)QX R, S, W, T c S{(W|R)~TQX R, S, W, U c R{S~W|UQX R, S, W, V c R~(S{W)|VQX R, S, W, W c (S|RW)~WQX R, S, W, X c R~S{W{XQX R, S, X, P c S~(X|P)|RQX R, S, X, Q c R{(S{X)~QQX R, S, X, S c (S~X)|(R{S)QX R, S, X, T c S~(X|R){TQX R, S, X, U c R~(SU{X)QX R, S, X, W c R~S{X{WQX R, T, O, W c (R{O)~W{TQX R, T, P, Q c R~T~Q|PQX R, T, P, R c (R{R)~T|PQX R, T, P, T c R{T~T{PQX R, T, P, U c (R{P)~U{TQX R, T, P, V c R~(P{V){TQX R, T, P, W c R~P~W{TQX R, T, P, X c (R{P)~T{XQX R, T, Q, P c R~T~Q|PQX R, T, Q, S c R~(T{S){QQX R, T, Q, U c R~(Q{U){TQX R, T, Q, V c R~T{Q~VQX R, T, Q, W c R~(T{Q){WQX R, T, Q, X c (R{X)~Q{TQX R, T, R, P c (R{R)~T|PQX R, T, R, S c (R{T)~S|RQX R, T, R, T c (R{T)~R{TQX R, T, R, U c T~U|RRQX R, T, R, V c R{T{R~VQX R, T, R, W c R~(TR{W)QX R, T, R, X c R~X{T|RQX R, T, S, Q c R~(T{S){QQX R, T, S, R c (R{T)~S|RQX R, T, S, S c R~(S{S){TQX R, T, S, U c R{T~S{UQX R, T, S, W c T~(W|R){SQX R, T, S, X c T{S~(X|R)QX R, T, T, P c R{T~T{PQX R, T, T, R c (R{T)~R{TQX R, T, T, V c T~T|R{VQX R, T, T, X c R~T{T{XQX R, T, U, P c (R{P)~U{TQX R, T, U, Q c R~(U{Q){TQX R, T, U, R c T~U|RRQX R, T, U, S c R{T~U|SQX R, T, U, U c R~U{T{UQX R, T, U, V c T{U~(V|R)QX R, T, U, W c R~T{U{WQX R, T, V, P c R~(V{P){TQX R, T, V, Q c R~T{V~QQX R, T, V, R c R{T{V~RQX R, T, V, T c T~T|R{VQX R, T, V, U c T{(V|R)~UQX R, T, V, V c R~T{V{VQX R, T, V, X c R{T~V|XQX R, T, W, O c R~W{T{OQX R, T, W, P c R~W{T~PQX R, T, W, Q c R{(T{W)~QQX R, T, W, R c R~(TR{W)QX R, T, W, S c T~(W|R){SQX R, T, W, U c R~T{W{UQX R, T, W, W c (R{TW)~WQX R, T, W, X c T{WR~XQX R, T, X, P c R~(X|P){TQX R, T, X, Q c (R{X)~Q{TQX R, T, X, R c R~X{T|RQX R, T, X, S c T{(X|R)~SQX R, T, X, T c R~T{X{TQX R, T, X, V c R{T~V|XQX R, T, X, W c T{XR~WQX R, U, P, Q c (R{Q)~U|PQX R, U, P, S c R~(U{S)|PQX R, U, P, T c (R{P)~U{TQX R, U, P, W c R~(U{P){WQX R, U, Q, P c (R{Q)~U|PQX R, U, Q, R c (R{U)~R{QQX R, U, Q, S c R{U~S{QQX R, U, Q, T c R~(U{Q){TQX R, U, Q, V c R~U~Q|VQX R, U, Q, W c (U|Q)~W|RQX R, U, Q, X c R~U{Q{XQX R, U, R, Q c (R{U)~R{QQX R, U, R, T c U~T|RRQX R, U, R, V c (R{R)~U|VQX R, U, R, W c R{U~R{WQX R, U, R, X c R~X{URQX R, U, S, P c R~(U{S)|PQX R, U, S, Q c R{U~S{QQX R, U, S, T c R{U{S~TQX R, U, S, U c (U~U)|(R{S)QX R, U, S, V c (R{U)~S|VQX R, U, S, W c R{S~W|UQX R, U, S, X c R~(SU{X)QX R, U, T, P c (R{P)~U{TQX R, U, T, Q c R~(U{Q){TQX R, U, T, R c U~T|RRQX R, U, T, S c R{U{T~SQX R, U, T, U c R~U{T{UQX R, U, T, V c U~(V|R){TQX R, U, T, W c R~T{U{WQX R, U, U, S c (U~U)|(R{S)QX R, U, U, T c R~U{U{TQX R, U, U, V c R~(U{U)|VQX R, U, V, Q c R{(U{V)~QQX R, U, V, R c (R{R)~U|VQX R, U, V, S c R~U{V{SQX R, U, V, T c U~(V|R){TQX R, U, V, U c R~(U{U)|VQX R, U, V, W c (U|R)~V{WQX R, U, V, X c U~(X|R)|VQX R, U, W, P c R~(U{P){WQX R, U, W, Q c (U|Q)~W|RQX R, U, W, R c R~U{W{RQX R, U, W, S c R{W~S|UQX R, U, W, T c R~T{U{WQX R, U, W, V c (U|R)~V{WQX R, U, W, X c R~X|U{WQX R, U, X, Q c R~U{X{QQX R, U, X, R c R~X{URQX R, U, X, S c R~X{U|SQX R, U, X, V c U~(X|R)|VQX R, U, X, W c R~X|U{WQX R, U, X, X c R~(UX{X)QX R, V, O, W c R~V{O{WQX R, V, P, P c (R{P)~V{PQX R, V, P, R c (R{V)~R|PQX R, V, P, S c (V{P)~S|RQX R, V, P, T c R~(V{P){TQX R, V, P, V c R~V{P{VQX R, V, P, W c R~V{P~WQX R, V, P, X c R~V|P{XQX R, V, Q, Q c R~(V{Q){QQX R, V, Q, S c R~V{Q~SQX R, V, Q, T c R~T{V~QQX R, V, Q, U c R~V{Q{UQX R, V, Q, W c R~W{V|QQX R, V, Q, X c (R{V)~Q{XQX R, V, R, P c (R{V)~R|PQX R, V, R, S c RR{V~SQX R, V, R, T c R{V~R{TQX R, V, R, U c (R{R)~U|VQX R, V, R, W c R~(V{WR)QX R, V, R, X c R~(R{X)|VQX R, V, S, P c (V{P)~S|RQX R, V, S, Q c R{V~S|QQX R, V, S, R c R~S~R|VQX R, V, S, S c R~V{S{SQX R, V, S, U c R~U{V{SQX R, V, S, W c R~(S{W)|VQX R, V, T, P c R~(V{P){TQX R, V, T, Q c R~T{V~QQX R, V, T, R c R~V{T{RQX R, V, T, T c V|R{T~TQX R, V, T, U c (V|R)~U{TQX R, V, T, V c R~(V{T)|VQX R, V, T, X c R{V~T|XQX R, V, U, Q c R{(V{U)~QQX R, V, U, R c (R{R)~U|VQX R, V, U, S c R~U{V{SQX R, V, U, T c (V|R)~U{TQX R, V, U, U c R~(U{U)|VQX R, V, U, W c V~(U|R){WQX R, V, U, X c U~(X|R)|VQX R, V, V, P c R~V{V{PQX R, V, V, T c R~(V{T)|VQX R, V, V, W c (R{WV)~VQX R, V, V, X c (V|R)~X|VQX R, V, W, O c R~V{W{OQX R, V, W, P c R~V{W~PQX R, V, W, Q c R~W{V|QQX R, V, W, R c R~(V{WR)QX R, V, W, S c R~(W{S)|VQX R, V, W, U c V~(W|R)|UQX R, V, W, V c (R{WV)~VQX R, V, W, X c VR~X{WQX R, V, X, P c R~V{X|PQX R, V, X, Q c (R{V)~Q{XQX R, V, X, R c (R{X)~R|VQX R, V, X, T c R{V~T|XQX R, V, X, U c (X|R)~U|VQX R, V, X, V c (V|R)~X|VQX R, V, X, W c VR~X{WQX R, V, X, X c R~X|V{XQX R, W, O, S c (W{O)~S|RQX R, W, O, T c R~W{O{TQX R, W, O, V c (R{O)~V{WQX R, W, P, Q c R~(W{P){QQX R, W, P, R c (R{P)~W|RQX R, W, P, S c R~W{P{SQX R, W, P, T c R~W{P~TQX R, W, P, U c R~W|P{UQX R, W, P, V c R~P~V{WQX R, W, P, W c R~(W|P){WQX R, W, Q, P c R~(W{Q)|PQX R, W, Q, Q c W~(Q{Q)|RQX R, W, Q, R c R~W{Q{RQX R, W, Q, T c R{(W{T)~QQX R, W, Q, U c W~(U|Q)|RQX R, W, Q, V c (R{W)~Q{VQX R, W, Q, W c WQ~W|RQX R, W, Q, X c R{W{Q~XQX R, W, R, P c (R{P)~W|RQX R, W, R, Q c R{W~R{QQX R, W, R, S c (R{W)~R|SQX R, W, R, T c R~(W{TR)QX R, W, R, U c R{W{R~UQX R, W, R, V c R~(WR{V)QX R, W, R, W c R~W|R{WQX R, W, S, O c W~S|R{OQX R, W, S, P c R~W{S{PQX R, W, S, R c (R{W)~R|SQX R, W, S, S c (W|RS)~SQX R, W, S, T c (W|R)~T{SQX R, W, S, U c R{W~S|UQX R, W, S, V c R~(W{S)|VQX R, W, S, W c W~(S|RW)QX R, W, S, X c R~W|S{XQX R, W, T, O c R~W{T{OQX R, W, T, P c R~W{T~PQX R, W, T, Q c R{(W{T)~QQX R, W, T, R c R~(W{TR)QX R, W, T, S c (W|R)~T{SQX R, W, T, U c R~T{W{UQX R, W, T, W c (R{TW)~WQX R, W, T, X c WR~X{TQX R, W, U, P c R~W{U|PQX R, W, U, Q c W~(U|Q)|RQX R, W, U, R c R{W{U~RQX R, W, U, S c R{W~S|UQX R, W, U, T c R~T{W{UQX R, W, U, V c (W|R)~V|UQX R, W, U, X c R~X{W|UQX R, W, V, O c R~V{W{OQX R, W, V, P c R~V{W~PQX R, W, V, Q c R~W{V|QQX R, W, V, R c R~(WR{V)QX R, W, V, S c R~(W{S)|VQX R, W, V, U c (W|R)~V|UQX R, W, V, V c (R{WV)~VQX R, W, V, X c W{VR~XQX R, W, W, P c R~(W|P){WQX R, W, W, Q c (W{W)~Q|RQX R, W, W, R c R~W{W|RQX R, W, W, S c W~(W|S)|RQX R, W, W, T c (R{TW)~WQX R, W, X, Q c R{W{X~QQX R, W, X, S c R~W{X|SQX R, W, X, T c WR~X{TQX R, W, X, U c R~X{W|UQX R, W, X, V c W{XR~VQX R, W, X, X c R{W{X{XQX R, X, O, Q c R~X{O{QQX R, X, P, P c R~X{P{PQX R, X, P, Q c R~X{P~QQX R, X, P, R c R~X|P{RQX R, X, P, S c (X|P)~S|RQX R, X, P, T c R~(X|P){TQX R, X, P, V c (R{P)~X|VQX R, X, Q, O c R~X{Q{OQX R, X, Q, P c R~X{Q~PQX R, X, Q, R c R~(X{QR)QX R, X, Q, S c R~(X{Q)|SQX R, X, Q, T c (R{X)~Q{TQX R, X, Q, U c R~U{X{QQX R, X, Q, V c (R{V)~Q{XQX R, X, Q, W c R{X~Q{WQX R, X, Q, X c (R{QX)~XQX R, X, R, P c R{X~R|PQX R, X, R, Q c R~(X{QR)QX R, X, R, T c R~X|R{TQX R, X, R, U c R~X{URQX R, X, R, V c (R{X)~R|VQX R, X, S, P c (X|P)~S|RQX R, X, S, Q c R{(X{S)~QQX R, X, S, S c (X~S)|(R{S)QX R, X, S, T c (X|R)~S{TQX R, X, S, U c R~(X{SU)QX R, X, S, W c R~X{WSQX R, X, T, P c R~(X|P){TQX R, X, T, Q c (R{X)~Q{TQX R, X, T, R c R~X{T|RQX R, X, T, S c (X|R)~S{TQX R, X, T, T c R~T{X{TQX R, X, T, V c R~X|T{VQX R, X, T, W c XR~W{TQX R, X, U, Q c R~U{X{QQX R, X, U, R c R~X{URQX R, X, U, S c R~X{U|SQX R, X, U, V c (X|R)~U|VQX R, X, U, W c R~X|U{WQX R, X, U, X c R~(X{UX)QX R, X, V, P c R~V{X|PQX R, X, V, Q c (R{V)~Q{XQX R, X, V, R c (R{X)~R|VQX R, X, V, T c R~X{V|TQX R, X, V, U c (X|R)~U|VQX R, X, V, V c X~(V|R)|VQX R, X, V, W c XR~V{WQX R, X, V, X c R~X|V{XQX R, X, W, Q c R{X~Q{WQX R, X, W, S c R~X{WSQX R, X, W, T c XR~W{TQX R, X, W, U c R~X{W|UQX R, X, W, V c XR~V{WQX R, X, W, X c R{X{W{XQX R, X, X, Q c (R{QX)~XQX R, X, X, U c R~(X{UX)QX R, X, X, V c R~X{X|VQX R, X, X, W c R{X{X{WQX S, O, P, V c (S{O)~V{PQX S, O, R, W c (S{O)~W|RQX S, O, T, T c S{O{T~TQX S, O, T, U c (S{O)~U{TQX S, O, T, X c (S{O)~T{XQX S, O, U, T c (S{O)~U{TQX S, O, V, P c (S{O)~V{PQX S, O, V, X c (S{O)~X|VQX S, O, W, R c (S{O)~W|RQX S, O, X, T c (S{O)~T{XQX S, O, X, V c (S{O)~X|VQX S, P, O, V c (S{O)~V{PQX S, P, P, U c (S{P)~U|PQX S, P, P, V c S~P~V{PQX S, P, P, W c S~(W|P){PQX S, P, Q, T c (S{Q)~T|PQX S, P, Q, V c S~V|P{QQX S, P, Q, W c (S~W)|(P{Q)QX S, P, Q, X c (S|P)~X{QQX S, P, R, S c (S{R)~S{PQX S, P, R, U c (S{U)~R|PQX S, P, R, V c S~(P{V)|RQX S, P, R, W c S{P{R~WQX S, P, R, X c S~(X|P)|RQX S, P, S, R c S~(S{R){PQX S, P, S, T c S{(P{S)~TQX S, P, S, U c S{P{S~UQX S, P, S, V c S~(PS{V)QX S, P, S, W c S~W{P|SQX S, P, S, X c (S{P)~S{XQX S, P, T, Q c S~(T{Q){PQX S, P, T, S c (S{P)~T{SQX S, P, T, T c S{P~T~TQX S, P, T, U c S~P~U{TQX S, P, T, V c S~(V|P){TQX S, P, T, W c (S|P)~W{TQX S, P, T, X c S~P~T{XQX S, P, U, P c (S{P)~U|PQX S, P, U, R c (S{U)~R|PQX S, P, U, S c S{P{U~SQX S, P, U, T c S~P~U{TQX S, P, U, U c S~U|P{UQX S, P, U, V c (S{P)~V|UQX S, P, U, X c S~(U|P){XQX S, P, V, O c S~V{P{OQX S, P, V, P c S~P~V{PQX S, P, V, Q c S~V|P{QQX S, P, V, R c S~(P{V)|RQX S, P, V, S c S~(PS{V)QX S, P, V, T c S~(V|P){TQX S, P, V, U c (S{P)~V|UQX S, P, V, V c (S{PV)~VQX S, P, V, W c (S|P)~V{WQX S, P, V, X c S~P~X|VQX S, P, W, P c S~(W|P){PQX S, P, W, Q c (S~W)|(P{Q)QX S, P, W, R c S{P{W~RQX S, P, W, S c S~W{P|SQX S, P, W, T c (S|P)~W{TQX S, P, W, V c S~(P{W)|VQX S, P, W, X c S~X{P|WQX S, P, X, Q c (S|P)~X{QQX S, P, X, R c S~(X|P)|RQX S, P, X, S c (S{P)~S{XQX S, P, X, T c S~P~T{XQX S, P, X, U c (S~X)|(P{U)QX S, P, X, V c S~P~X|VQX S, P, X, W c S~X{P|WQX S, Q, P, T c (S{Q)~T|PQX S, Q, P, V c S~V{Q|PQX S, Q, P, W c (S~W)|(Q{P)QX S, Q, P, X c (S|P)~X{QQX S, Q, Q, V c S~V{QQQX S, Q, R, S c S~Q~S|RQX S, Q, R, T c S{(Q{R)~TQX S, Q, R, U c S~(Q{U)|RQX S, Q, R, V c S~Q{R~VQX S, Q, R, X c S|Q{R~XQX S, Q, S, R c S~Q~S|RQX S, Q, S, T c (S{Q)~S{TQX S, Q, T, P c (S{Q)~T|PQX S, Q, T, R c S{(Q{R)~TQX S, Q, T, S c (S{Q)~S{TQX S, Q, T, V c S~T{Q{VQX S, Q, T, W c (S{W)~Q{TQX S, Q, T, X c (S~X)|(Q{T)QX S, Q, U, R c S~(Q{U)|RQX S, Q, U, V c (S{Q)~U|VQX S, Q, U, W c S~W|UQQX S, Q, U, X c (S{U)~Q{XQX S, Q, V, P c S~V{Q|PQX S, Q, V, Q c S~V{QQQX S, Q, V, R c S~Q{V~RQX S, Q, V, T c S{(V|Q)~TQX S, Q, V, U c (S{Q)~U|VQX S, Q, V, V c S~(Q{V)|VQX S, Q, V, W c S~(QW{V)QX S, Q, V, X c S{Q~X{VQX S, Q, W, P c (S~W)|(Q{P)QX S, Q, W, T c (S{W)~Q{TQX S, Q, W, U c S~W|UQQX S, Q, W, V c S~(QW{V)QX S, Q, W, X c S{Q~W{XQX S, Q, X, P c S~(X|Q){PQX S, Q, X, R c S|Q{X~RQX S, Q, X, T c (S~X)|(Q{T)QX S, Q, X, U c (S{X~U)QQX S, Q, X, V c S{Q~X{VQX S, Q, X, W c S{Q~W{XQX S, Q, X, X c S~X{Q|XQX S, R, O, W c (S{O)~W|RQX S, R, P, S c (S{R)~S{PQX S, R, P, U c (S{U)~R|PQX S, R, P, V c S~(P{V)|RQX S, R, P, W c S{R~W{PQX S, R, P, X c S~(X|P)|RQX S, R, Q, S c S~Q~S|RQX S, R, Q, T c S{(R{Q)~TQX S, R, Q, U c S~(Q{U)|RQX S, R, Q, V c S~Q{R~VQX S, R, Q, X c S~(R{Q){XQX S, R, R, T c S~(R{R){TQX S, R, R, V c S~R~R|VQX S, R, R, W c (S{R)~R{WQX S, R, S, P c (S{R)~S{PQX S, R, S, Q c S~S~Q|RQX S, R, S, S c (S{S)~S|RQX S, R, S, T c (S{S)~R{TQX S, R, S, V c S|R{S~VQX S, R, S, W c S~(W|RS)QX S, R, S, X c (S~X)|(R{S)QX S, R, T, Q c S{(R{Q)~TQX S, R, T, R c S~(R{T)|RQX S, R, T, S c (S{S)~R{TQX S, R, T, U c (S{R)~T|UQX S, R, T, W c S{T~(W|R)QX S, R, T, X c S~(X|R){TQX S, R, U, P c (S{U)~R|PQX S, R, U, Q c S~U{R{QQX S, R, U, T c (S{R)~T|UQX S, R, U, U c (U~U)|(S{R)QX S, R, U, V c S{R~U{VQX S, R, U, W c S~U|R{WQX S, R, U, X c (SU{X)~RQX S, R, V, P c S~(V{P)|RQX S, R, V, Q c S~V{R|QQX S, R, V, R c S~R~R|VQX S, R, V, S c S{R~V{SQX S, R, V, U c S{R~U{VQX S, R, V, W c (S{W)~R|VQX S, R, W, O c S~W|R{OQX S, R, W, P c S{R~W{PQX S, R, W, R c (S{R)~R{WQX S, R, W, S c S~(W|RS)QX S, R, W, T c S{(W|R)~TQX S, R, W, U c S~W{R|UQX S, R, W, V c (S{W)~R|VQX S, R, W, W c (S|RW)~WQX S, R, W, X c S~R{W{XQX S, R, X, P c S~(X|P)|RQX S, R, X, Q c S{R~X|QQX S, R, X, S c (S~X)|(R{S)QX S, R, X, T c S~(X|R){TQX S, R, X, U c (SU{X)~RQX S, R, X, W c S~R{X{WQX S, S, P, R c S~(S{R){PQX S, S, P, T c S{(S{P)~TQX S, S, P, U c S{S~U{PQX S, S, P, V c S~(PS{V)QX S, S, P, W c S~W|S{PQX S, S, P, X c S~(S{P){XQX S, S, Q, R c S~S~Q|RQX S, S, Q, T c S~(S{Q){TQX S, S, R, P c S~(S{R){PQX S, S, R, Q c S~S~Q|RQX S, S, R, S c (S{S)~S|RQX S, S, R, T c (S{S)~R{TQX S, S, R, V c S{S{R~VQX S, S, R, W c S~(W|RS)QX S, S, R, X c (S~X)|(S{R)QX S, S, S, R c (S{S)~S|RQX S, S, S, V c SS{S~VQX S, S, S, X c S{S~S{XQX S, S, T, P c S{(S{P)~TQX S, S, T, Q c S~(S{Q){TQX S, S, T, R c (S{S)~R{TQX S, S, T, T c S{S~T{TQX S, S, T, U c S~(TS{U)QX S, S, T, V c S~(S{T)|VQX S, S, T, W c S~S{T{WQX S, S, T, X c S{T~(X|S)QX S, S, U, P c S{S~U{PQX S, S, U, T c S~(U{TS)QX S, S, U, V c S~S{U{VQX S, S, U, X c S~U|S{XQX S, S, V, P c S~(V{PS)QX S, S, V, R c S{S{V~RQX S, S, V, S c SS{V~SQX S, S, V, T c S~(S{T)|VQX S, S, V, U c S~S{V{UQX S, S, V, W c S{S~W|VQX S, S, V, X c S~(X|VS)QX S, S, W, P c S~W|S{PQX S, S, W, R c S~(W|RS)QX S, S, W, T c S~S{W{TQX S, S, W, V c S{S~W|VQX S, S, X, P c S~(S{P){XQX S, S, X, R c (S~X)|(S{R)QX S, S, X, S c S~S{X{SQX S, S, X, T c S{(X|S)~TQX S, S, X, U c S~U|S{XQX S, S, X, V c S~(X|VS)QX S, S, X, X c S~(X|S){XQX S, T, O, T c S{(T{O)~TQX S, T, O, U c (S{O)~U{TQX S, T, O, X c S~T{O{XQX S, T, P, Q c S~(T{Q){PQX S, T, P, S c S{T~(P{S)QX S, T, P, T c S{T~P~TQX S, T, P, U c S{T~(U|P)QX S, T, P, V c S~(V|P){TQX S, T, P, W c S~T{P{WQX S, T, P, X c S~T{P~XQX S, T, Q, P c S~(T{Q){PQX S, T, Q, R c S{T~(Q{R)QX S, T, Q, S c (S{Q)~S{TQX S, T, Q, V c S~T{Q{VQX S, T, Q, W c S~W|T{QQX S, T, Q, X c (S~X)|(T{Q)QX S, T, R, Q c (S{T)~R{QQX S, T, R, R c S~(T{R)|RQX S, T, R, S c (S{S)~R{TQX S, T, R, U c S~T{R{UQX S, T, R, W c S{T~(W|R)QX S, T, R, X c S~(X|R){TQX S, T, S, P c S{T~(S{P)QX S, T, S, Q c S~(S{Q){TQX S, T, S, R c (S{S)~R{TQX S, T, S, T c S{T{S~TQX S, T, S, U c S~(TS{U)QX S, T, S, V c (S{T)~S|VQX S, T, S, W c S~S{T{WQX S, T, S, X c S{T~(X|S)QX S, T, T, O c S{T~T{OQX S, T, T, P c S{T~T~PQX S, T, T, S c S{T{T~SQX S, T, T, T c (ST{T)~TQX S, T, T, U c S{T~U|TQX S, T, T, V c S~V{TTQX S, T, T, W c T~T|S{WQX S, T, T, X c (S{XT)~TQX S, T, U, O c S~U{T{OQX S, T, U, P c S{T~(U|P)QX S, T, U, R c S~T{U{RQX S, T, U, S c S~(TS{U)QX S, T, U, T c S{T~U|TQX S, T, U, U c (S{TU)~UQX S, T, U, V c S~V|T{UQX S, T, U, W c T{U~(W|S)QX S, T, V, P c S~(V|P){TQX S, T, V, Q c S{T~(V|Q)QX S, T, V, S c (S{T)~S|VQX S, T, V, T c S~V{TTQX S, T, V, U c S~V|T{UQX S, T, V, V c V~V|S~TQX S, T, V, W c T{(V|S)~WQX S, T, W, P c S~T{W{PQX S, T, W, Q c S~W|T{QQX S, T, W, R c S{T~(W|R)QX S, T, W, S c S~S{T{WQX S, T, W, T c T~T|S{WQX S, T, W, U c T{(W|S)~UQX S, T, W, V c (T~W)|(S{V)QX S, T, W, W c S~W{T|WQX S, T, W, X c T~(W|S){XQX S, T, X, O c S~T{X{OQX S, T, X, P c S~T{X~PQX S, T, X, Q c (S~X)|(T{Q)QX S, T, X, R c S~(X|R){TQX S, T, X, S c S{T~(X|S)QX S, T, X, T c (S{XT)~TQX S, T, X, W c T~(W|S){XQX S, U, O, T c S~U{O{TQX S, U, P, P c S~(U{P){PQX S, U, P, R c (S{U)~R|PQX S, U, P, S c S~U{P{SQX S, U, P, T c S{(U|P)~TQX S, U, P, U c S~U|P{UQX S, U, P, V c (S{P)~V|UQX S, U, P, X c S~(U|P){XQX S, U, Q, R c S~U{Q{RQX S, U, Q, V c S~U|Q{VQX S, U, Q, W c S~W|UQQX S, U, Q, X c (S{U)~Q{XQX S, U, R, P c (S{U)~R|PQX S, U, R, Q c S~U{R{QQX S, U, R, T c (S{R)~T|UQX S, U, R, U c (U~U)|(S{R)QX S, U, R, V c S{U~R{VQX S, U, R, W c S~U|R{WQX S, U, R, X c (SU{X)~RQX S, U, S, P c S{U~S{PQX S, U, S, T c S~(U{TS)QX S, U, S, V c S~S{U{VQX S, U, S, X c S~U|S{XQX S, U, T, O c S~U{T{OQX S, U, T, P c S~U{T~PQX S, U, T, R c S~T{U{RQX S, U, T, S c S~(U{TS)QX S, U, T, T c S{U~T|TQX S, U, T, U c (S{TU)~UQX S, U, T, V c S~V{U|TQX S, U, T, W c U~(W|S){TQX S, U, U, P c S~U{U|PQX S, U, U, R c (U~U)|(S{R)QX S, U, U, T c (S{TU)~UQX S, U, U, V c S~V{UUQX S, U, V, P c (S{P)~V|UQX S, U, V, Q c S~U{V|QQX S, U, V, R c S{U~R{VQX S, U, V, S c S~S{U{VQX S, U, V, T c S~V{U|TQX S, U, V, U c S~V{UUQX S, U, V, V c S~V|U{VQX S, U, V, X c (U~V)|(S{X)QX S, U, W, Q c S~W|UQQX S, U, W, R c S~U{W|RQX S, U, W, T c U~(W|S){TQX S, U, W, W c S~(W|UW)QX S, U, W, X c S~W{U|XQX S, U, X, P c S~(U|P){XQX S, U, X, Q c (S{U~X)QQX S, U, X, R c (SU{X)~RQX S, U, X, S c S~U{X|SQX S, U, X, V c (U~V)|(S{X)QX S, U, X, W c S~W{U|XQX S, V, O, P c S~V{O{PQX S, V, O, X c (S{O)~X|VQX S, V, P, O c S~V{P{OQX S, V, P, P c S~V{P~PQX S, V, P, Q c S~V|P{QQX S, V, P, R c S~(V{P)|RQX S, V, P, S c S~(V{PS)QX S, V, P, T c S~(V|P){TQX S, V, P, U c (S{P)~V|UQX S, V, P, V c (S{PV)~VQX S, V, P, W c (S|P)~V{WQX S, V, P, X c S~P~X|VQX S, V, Q, P c S~V{Q|PQX S, V, Q, Q c S~V{QQQX S, V, Q, R c S~V|Q{RQX S, V, Q, T c S{(V|Q)~TQX S, V, Q, U c (S{Q)~U|VQX S, V, Q, V c (S{V)~Q{VQX S, V, Q, W c S~(V{QW)QX S, V, Q, X c S{V{Q~XQX S, V, R, P c S~(V{P)|RQX S, V, R, Q c S~V{R|QQX S, V, R, R c S~V{RRQX S, V, R, S c S{V~R{SQX S, V, R, U c S{V{R~UQX S, V, R, W c (S{W)~R|VQX S, V, S, P c S~(V{PS)QX S, V, S, R c S{V~S|RQX S, V, S, S c S~V{SSQX S, V, S, T c S~V|S{TQX S, V, S, U c S~S{V{UQX S, V, S, W c S{S~W|VQX S, V, S, X c S~(X|VS)QX S, V, T, P c S~(V|P){TQX S, V, T, Q c S{(V|Q)~TQX S, V, T, S c S~V{T|SQX S, V, T, T c S~V{TTQX S, V, T, U c S~V|T{UQX S, V, T, V c V~V|S~TQX S, V, T, W c (V|S)~W{TQX S, V, U, P c (S{P)~V|UQX S, V, U, Q c S~U{V|QQX S, V, U, R c S{V{U~RQX S, V, U, S c S~S{V{UQX S, V, U, T c S~V{U|TQX S, V, U, U c S~V{UUQX S, V, U, V c S~V|U{VQX S, V, U, X c (V~U)|(S{X)QX S, V, V, P c (S{PV)~VQX S, V, V, Q c (S{V)~Q{VQX S, V, V, T c V~V|S~TQX S, V, V, U c S~V{V|UQX S, V, V, V c S~V{VVQX S, V, V, W c S~V|V{WQX S, V, W, P c S~(W{P)|VQX S, V, W, Q c S~(V{QW)QX S, V, W, R c (S{W)~R|VQX S, V, W, S c S~W|V{SQX S, V, W, T c (V|S)~W{TQX S, V, W, V c S~V{W|VQX S, V, W, W c S~V{WWQX S, V, W, X c S~V|W{XQX S, V, X, O c S~X|V{OQX S, V, X, P c S~X|V~PQX S, V, X, Q c S{V{X~QQX S, V, X, S c S~(X|VS)QX S, V, X, U c V~(X|S)|UQX S, V, X, W c S~V{X|WQX S, V, X, X c S{V{X{XQX S, W, O, R c S~W{O|RQX S, W, P, P c S~(W|P){PQX S, W, P, Q c (S~W)|(P{Q)QX S, W, P, R c S~W|P~RQX S, W, P, S c S~W{P|SQX S, W, P, T c (S|P)~W{TQX S, W, P, V c S~(W{P)|VQX S, W, P, X c S~X|W{PQX S, W, Q, P c (S~W)|(Q{P)QX S, W, Q, T c (S{W)~Q{TQX S, W, Q, U c S~W|UQQX S, W, Q, V c S~(QW{V)QX S, W, Q, X c S{W~Q{XQX S, W, R, O c S~W|R{OQX S, W, R, P c S{W~R{PQX S, W, R, R c (S{R)~R{WQX S, W, R, S c S~(W|RS)QX S, W, R, T c S{(W|R)~TQX S, W, R, U c S~W{R|UQX S, W, R, V c (S{W)~R|VQX S, W, R, W c (S|RW)~WQX S, W, R, X c S~(W|R){XQX S, W, S, P c S~W|S{PQX S, W, S, R c S~(W|RS)QX S, W, S, T c S~S{W{TQX S, W, S, V c S{W~S|VQX S, W, T, P c S~T{W{PQX S, W, T, Q c S~W|T{QQX S, W, T, R c S{(W|R)~TQX S, W, T, S c S~S{W{TQX S, W, T, T c W|S{T~TQX S, W, T, U c (W|S)~U{TQX S, W, T, V c (W~T)|(S{V)QX S, W, T, W c S~W{T|WQX S, W, T, X c (W|S)~T{XQX S, W, U, Q c S~W|UQQX S, W, U, R c S~W|U{RQX S, W, U, T c (W|S)~U{TQX S, W, U, W c S~(W|UW)QX S, W, U, X c S~W{U|XQX S, W, V, P c S~(W{P)|VQX S, W, V, Q c S~(V{QW)QX S, W, V, R c (S{W)~R|VQX S, W, V, S c S~W|V{SQX S, W, V, T c W~(V|S){TQX S, W, V, V c S~V{W|VQX S, W, V, W c S~V{WWQX S, W, V, X c S~V|W{XQX S, W, W, R c (S|RW)~WQX S, W, W, T c S~W|W{TQX S, W, W, U c S~(W|UW)QX S, W, W, V c S~V{WWQX S, W, W, X c S{W{W{XQX S, W, X, P c S~X|W{PQX S, W, X, Q c S{W~Q{XQX S, W, X, R c S~W|XRQX S, W, X, T c (W|S)~T{XQX S, W, X, U c S~W|X{UQX S, W, X, V c S~V|W{XQX S, W, X, W c S{W{X{WQX S, X, O, T c (S{O)~T{XQX S, X, O, V c S~X{O|VQX S, X, P, Q c S~(X|Q){PQX S, X, P, R c S~(X|P)|RQX S, X, P, S c (S{P)~S{XQX S, X, P, T c S~P~T{XQX S, X, P, U c (S~X)|(P{U)QX S, X, P, V c S~X|P~VQX S, X, P, W c S~X{P|WQX S, X, Q, P c S~(X|Q){PQX S, X, Q, R c (S{X)~Q{RQX S, X, Q, T c (S~X)|(Q{T)QX S, X, Q, U c (S{X~U)QQX S, X, Q, V c S{X~Q{VQX S, X, Q, W c S{X{Q~WQX S, X, Q, X c S~X{Q|XQX S, X, R, P c S~(X|P)|RQX S, X, R, Q c S{X~R|QQX S, X, R, S c (S~X)|(R{S)QX S, X, R, T c S~(X|R){TQX S, X, R, U c (SU{X)~RQX S, X, R, W c S~R{X{WQX S, X, S, P c S~(S{P){XQX S, X, S, R c (S~X)|(S{R)QX S, X, S, S c S{X{S~SQX S, X, S, T c S{(X|S)~TQX S, X, S, U c S~U{X|SQX S, X, S, V c S~(X|VS)QX S, X, S, X c S~(X|S){XQX S, X, T, O c S~T{X{OQX S, X, T, P c S~T{X~PQX S, X, T, Q c (S~X)|(T{Q)QX S, X, T, R c S~(X|R){TQX S, X, T, S c S{(X|S)~TQX S, X, T, T c (S{XT)~TQX S, X, T, W c X{T~(W|S)QX S, X, U, P c (S~X)|(U{P)QX S, X, U, Q c (S{X~U)QQX S, X, U, R c (SU{X)~RQX S, X, U, S c S~U{X|SQX S, X, U, V c (X|S)~V|UQX S, X, U, W c S~W|X{UQX S, X, V, O c S~X|V{OQX S, X, V, P c S~X|V~PQX S, X, V, Q c S{X~Q{VQX S, X, V, S c S~(X|VS)QX S, X, V, U c (X|S)~V|UQX S, X, V, W c S~V{X|WQX S, X, V, X c S{X{V{XQX S, X, W, P c S~X|W{PQX S, X, W, Q c S{X{W~QQX S, X, W, R c S~W|XRQX S, X, W, T c X{(W|S)~TQX S, X, W, U c S~W|X{UQX S, X, W, V c S~V{X|WQX S, X, W, W c S{X{W{WQX S, X, X, Q c S~X|X{QQX S, X, X, S c S~(X|S){XQX S, X, X, V c S{X{X{VQX T, O, P, U c (T{O)~U|PQX T, O, R, W c T{O{R~WQX T, O, S, T c (T{O)~T{SQX T, O, S, U c T{O{S~UQX T, O, S, X c (T{O)~S{XQX T, O, T, S c (T{O)~T{SQX T, O, U, P c (T{O)~U|PQX T, O, U, S c T{O{U~SQX T, O, U, V c (T{O)~V|UQX T, O, V, U c (T{O)~V|UQX T, O, W, R c T{O{W~RQX T, O, X, S c (T{O)~S{XQX T, P, O, U c (T{O)~U|PQX T, P, P, T c (T{P)~T|PQX T, P, P, U c T~P~U|PQX T, P, P, V c (T|P)~V{PQX T, P, Q, R c T~Q~R|PQX T, P, Q, S c (T{Q)~S{PQX T, P, Q, U c T~U{P|QQX T, P, Q, W c T{(P{Q)~WQX T, P, Q, X c (T{X)~Q{PQX T, P, R, Q c T~R~Q|PQX T, P, R, R c T~(R{R)|PQX T, P, R, T c T~T{P{RQX T, P, R, U c T{(P{R)~UQX T, P, R, V c T{(P{V)~RQX T, P, R, W c T{P~R~WQX T, P, R, X c T~(P{R){XQX T, P, S, Q c T~(S{Q)|PQX T, P, S, S c T~(P{S){SQX T, P, S, T c (T{P)~S{TQX T, P, S, U c T{P~S~UQX T, P, S, V c T{S~(V|P)QX T, P, S, W c T{(S|P)~WQX T, P, S, X c T~P~S{XQX T, P, T, P c (T{P)~T|PQX T, P, T, R c T~T{P{RQX T, P, T, S c T{(P{T)~SQX T, P, T, T c T|P{T~TQX T, P, T, U c (T|P)~U{TQX T, P, T, V c (T~V)|(P{T)QX T, P, T, X c (T|P)~T{XQX T, P, U, O c T~U|P{OQX T, P, U, P c T~P~U|PQX T, P, U, Q c T~U{P|QQX T, P, U, R c T{(P{R)~UQX T, P, U, S c T{P~U~SQX T, P, U, T c (T|P)~U{TQX T, P, U, U c (T|PU)~UQX T, P, U, V c (T{P)~U|VQX T, P, U, W c T~(W|P)|UQX T, P, V, P c (T|P)~V{PQX T, P, V, R c T{(P{V)~RQX T, P, V, S c T{(V|P)~SQX T, P, V, T c (T~V)|(P{T)QX T, P, V, U c T~P~V|UQX T, P, V, V c T~V{P|VQX T, P, V, X c (T|P)~X|VQX T, P, W, Q c T{(P{Q)~WQX T, P, W, R c T{P~W~RQX T, P, W, S c T{W~(S|P)QX T, P, W, U c T~(W|P)|UQX T, P, X, Q c (T{X)~Q{PQX T, P, X, R c T~(P{R){XQX T, P, X, S c T~P~S{XQX T, P, X, T c (T|P)~T{XQX T, P, X, V c (T|P)~X|VQX T, Q, P, R c T~Q~R|PQX T, Q, P, S c (T{Q)~S{PQX T, Q, P, U c T~U|Q{PQX T, Q, P, W c T{(Q{P)~WQX T, Q, P, X c (T{X)~Q{PQX T, Q, Q, T c T~T{Q{QQX T, Q, Q, U c T{(Q{Q)~UQX T, Q, Q, X c T~(Q{Q){XQX T, Q, R, P c T~Q~R|PQX T, Q, R, S c T{Q~R~SQX T, Q, R, U c T{(Q{U)~RQX T, Q, R, V c T~R{Q~VQX T, Q, R, W c (T{Q)~R{WQX T, Q, R, X c T{Q~(R{X)QX T, Q, S, P c (T{Q)~S{PQX T, Q, S, R c T{Q~S~RQX T, Q, S, S c T{(Q{S)~SQX T, Q, S, V c T~S{Q{VQX T, Q, S, W c T{Q~(S{W)QX T, Q, S, X c (S~X)|(T{Q)QX T, Q, T, Q c T~T{Q{QQX T, Q, T, U c (T{Q)~T|UQX T, Q, T, V c T{Q~(T{V)QX T, Q, T, W c (T|Q)~W{TQX T, Q, T, X c (T{T)~Q{XQX T, Q, U, P c T~U|Q{PQX T, Q, U, Q c T{Q~U~QQX T, Q, U, R c T{(Q{U)~RQX T, Q, U, T c (T{Q)~T|UQX T, Q, U, U c T{Q~(U{U)QX T, Q, U, V c (T{U)~Q{VQX T, Q, U, W c T{UQ~WQX T, Q, U, X c T{Q~X{UQX T, Q, V, R c T~V|Q~RQX T, Q, V, S c (T~V)|(Q{S)QX T, Q, V, T c T{Q~(V{T)QX T, Q, V, U c (T{U)~Q{VQX T, Q, V, W c (T|Q)~V{WQX T, Q, V, X c (V~X|T)QQX T, Q, W, P c T{(Q{P)~WQX T, Q, W, R c (T{Q)~R{WQX T, Q, W, S c T{Q~(W{S)QX T, Q, W, T c (T|Q)~W{TQX T, Q, W, U c T{WQ~UQX T, Q, W, V c (T|Q)~V{WQX T, Q, W, W c T{Q~W{WQX T, Q, W, X c TQ~W{XQX T, Q, X, P c (T{X)~Q{PQX T, Q, X, Q c (T|Q)~X{QQX T, Q, X, R c T{Q~(X{R)QX T, Q, X, S c (X~S)|(T{Q)QX T, Q, X, T c (T{T)~Q{XQX T, Q, X, U c T{Q~X{UQX T, Q, X, V c (X~V|T)QQX T, Q, X, W c TQ~W{XQX T, R, O, W c T{(R{O)~WQX T, R, P, Q c T~R~Q|PQX T, R, P, R c T~(R{R)|PQX T, R, P, T c (T{T)~R|PQX T, R, P, U c T{(R{P)~UQX T, R, P, V c T{R~(P{V)QX T, R, P, W c T{R~P~WQX T, R, P, X c T~(R{P){XQX T, R, Q, P c T~R~Q|PQX T, R, Q, S c T{R~Q~SQX T, R, Q, U c T{R~(Q{U)QX T, R, Q, V c T~R{Q~VQX T, R, Q, W c (T{Q)~R{WQX T, R, Q, X c T{(R{X)~QQX T, R, R, P c T~(R{R)|PQX T, R, R, S c T{(R{R)~SQX T, R, R, T c (T{R)~R{TQX T, R, R, U c T~U|RRQX T, R, R, V c T{R{R~VQX T, R, R, W c (TR{W)~RQX T, R, R, X c T|R{R~XQX T, R, S, Q c T{R~S~QQX T, R, S, R c (T{R)~S|RQX T, R, S, S c T{R~(S{S)QX T, R, S, U c T~(R{S)|UQX T, R, S, W c T~(W|R){SQX T, R, S, X c T{S~(X|R)QX T, R, T, P c (T{T)~R|PQX T, R, T, R c T{(R{T)~RQX T, R, T, V c T~T|R{VQX T, R, T, X c T{R~T{XQX T, R, U, P c T{(R{P)~UQX T, R, U, Q c T{R~(U{Q)QX T, R, U, R c T~U|RRQX T, R, U, S c T~(R{S)|UQX T, R, U, U c T{R~U{UQX T, R, U, V c T{U~(V|R)QX T, R, U, W c T~R{U{WQX T, R, V, P c T{R~(V{P)QX T, R, V, Q c T~R{V~QQX T, R, V, R c T{R{V~RQX T, R, V, T c T~T|R{VQX T, R, V, U c T{(V|R)~UQX T, R, V, V c T~R{V{VQX T, R, V, X c T~V{R|XQX T, R, W, O c T{R~W{OQX T, R, W, P c T{R~W~PQX T, R, W, Q c (T{W)~Q{RQX T, R, W, R c (TR{W)~RQX T, R, W, S c T~(W|R){SQX T, R, W, U c T~R{W{UQX T, R, W, W c (T~W)|(R{W)QX T, R, W, X c T{WR~XQX T, R, X, P c T{R~(X|P)QX T, R, X, Q c T{(R{X)~QQX T, R, X, R c T{R~X|RQX T, R, X, S c T{(X|R)~SQX T, R, X, T c T~R{X{TQX T, R, X, V c T~V{R|XQX T, R, X, W c T{XR~WQX T, S, O, T c (T{O)~T{SQX T, S, O, U c T{(S{O)~UQX T, S, O, X c T~S{O{XQX T, S, P, Q c T~(S{Q)|PQX T, S, P, S c T~(S{P){SQX T, S, P, T c T{S~(P{T)QX T, S, P, U c T{S~P~UQX T, S, P, V c T{S~(V|P)QX T, S, P, W c T{(S|P)~WQX T, S, P, X c T~S{P~XQX T, S, Q, P c T~(S{Q)|PQX T, S, Q, R c T{S~Q~RQX T, S, Q, S c T{(S{Q)~SQX T, S, Q, V c T~S{Q{VQX T, S, Q, W c T{(S{W)~QQX T, S, Q, X c (S~X)|(T{Q)QX T, S, R, Q c (T{S)~R{QQX T, S, R, R c T{S~(R{R)QX T, S, R, S c T{(S{S)~RQX T, S, R, U c T~S{R{UQX T, S, R, W c T~(W|R){SQX T, S, R, X c T{S~(X|R)QX T, S, S, P c T~(S{P){SQX T, S, S, Q c T{S~(S{Q)QX T, S, S, R c T{(S{S)~RQX T, S, S, T c T{S{S~TQX T, S, S, U c (TS{U)~SQX T, S, S, V c (T{S)~S|VQX T, S, S, W c T{S~S{WQX T, S, S, X c (T{XS)~SQX T, S, T, O c T~T{S{OQX T, S, T, P c T{S~(T{P)QX T, S, T, S c T{S{T~SQX T, S, T, T c (T{ST)~TQX T, S, T, U c T~U{S|TQX T, S, T, V c TT{S~VQX T, S, T, W c T~T|S{WQX T, S, T, X c T~(S{XT)QX T, S, U, O c T{S~U{OQX T, S, U, P c T{S~U~PQX T, S, U, R c T~S{U{RQX T, S, U, S c (TS{U)~SQX T, S, U, T c T~U{S|TQX T, S, U, U c (TU{S)~UQX T, S, U, V c S~V|T{UQX T, S, U, W c T{U~(W|S)QX T, S, V, P c T{S~(V|P)QX T, S, V, Q c T~S{V{QQX T, S, V, S c T{S~V|SQX T, S, V, T c TT{S~VQX T, S, V, U c S~V|T{UQX T, S, V, V c V~V|T~SQX T, S, V, W c T{(V|S)~WQX T, S, W, P c T~S{W{PQX T, S, W, Q c T{(S{W)~QQX T, S, W, R c T~(W|R){SQX T, S, W, S c T{S~S{WQX T, S, W, T c T~T|S{WQX T, S, W, U c T{(W|S)~UQX T, S, W, V c (T~W)|(S{V)QX T, S, W, W c T{S~W|WQX T, S, W, X c T~(W|S){XQX T, S, X, O c T~S{X{OQX T, S, X, P c T~S{X~PQX T, S, X, Q c (S~X)|(T{Q)QX T, S, X, R c T{S~(X|R)QX T, S, X, S c (T{XS)~SQX T, S, X, T c T~(S{XT)QX T, S, X, W c T~(W|S){XQX T, T, O, S c T~T{O{SQX T, T, P, P c T~(T{P)|PQX T, T, P, R c T~T{P{RQX T, T, P, S c T{(T{P)~SQX T, T, P, T c T~T|P{TQX T, T, P, U c T{(T|P)~UQX T, T, P, V c (T~V)|(T{P)QX T, T, P, X c T~(T|P){XQX T, T, Q, Q c T~T{Q{QQX T, T, Q, U c T~(T{Q)|UQX T, T, Q, V c T{(T{V)~QQX T, T, Q, W c T{(T|Q)~WQX T, T, Q, X c (T{T)~Q{XQX T, T, R, P c (T{T)~R|PQX T, T, R, R c T{(T{R)~RQX T, T, R, V c T~T|R{VQX T, T, R, X c T{T~R{XQX T, T, S, O c T~T{S{OQX T, T, S, P c T~T{S~PQX T, T, S, S c T{T~S{SQX T, T, S, T c T~(T{ST)QX T, T, S, U c T~U|T{SQX T, T, S, V c TT{S~VQX T, T, S, W c T~T|S{WQX T, T, S, X c T~(S{XT)QX T, T, T, P c T{T~T|PQX T, T, T, S c T~(T{ST)QX T, T, T, U c T~U|TTQX T, T, T, X c T~T|T{XQX T, T, U, P c T{(T|P)~UQX T, T, U, Q c T~T{U|QQX T, T, U, S c T~U|T{SQX T, T, U, T c T~U|TTQX T, T, U, U c T{T~U|UQX T, T, U, V c T~(V|UT)QX T, T, U, W c (T~W)|(T{U)QX T, T, U, X c T{U~(X|T)QX T, T, V, P c (T~V)|(T{P)QX T, T, V, Q c T{(T{V)~QQX T, T, V, R c T~T{V|RQX T, T, V, S c TT{V~SQX T, T, V, U c T~(V|UT)QX T, T, W, Q c T~T{WQQX T, T, W, S c T~T{W|SQX T, T, W, U c (T~W)|(T{U)QX T, T, W, W c T{(W|T)~WQX T, T, X, P c T~(T|P){XQX T, T, X, Q c (T{T)~Q{XQX T, T, X, R c T{T~R{XQX T, T, X, S c T~(XT{S)QX T, T, X, T c T~T{X|TQX T, T, X, U c T{(X|T)~UQX T, T, X, X c T~(X|T){XQX T, U, O, P c T~U{O|PQX T, U, O, S c T{(U{O)~SQX T, U, O, V c (T{O)~V|UQX T, U, P, O c T~U|P{OQX T, U, P, P c T~U|P~PQX T, U, P, Q c T~U{P|QQX T, U, P, R c T{U~(P{R)QX T, U, P, S c T{U~P~SQX T, U, P, T c T~(U|PT)QX T, U, P, U c T~(U{P)|UQX T, U, P, V c (T{P)~U|VQX T, U, P, W c T~(W|P)|UQX T, U, Q, P c T~U|Q{PQX T, U, Q, Q c T{U~(Q{Q)QX T, U, Q, R c T{(U{Q)~RQX T, U, Q, T c (T{Q)~T|UQX T, U, Q, U c T{(U|Q)~UQX T, U, Q, V c (T{U)~Q{VQX T, U, Q, W c T{UQ~WQX T, U, Q, X c T{U{Q~XQX T, U, R, P c T{U~(R{P)QX T, U, R, Q c T~U|R{QQX T, U, R, R c T~U|RRQX T, U, R, S c (T{U)~R|SQX T, U, R, U c T{U{R~UQX T, U, R, V c T{U~(V|R)QX T, U, R, W c T{(U|R)~WQX T, U, S, O c T{U~S{OQX T, U, S, P c T{U~S~PQX T, U, S, R c T~U|S{RQX T, U, S, S c T~U|SSQX T, U, S, T c T~U{S|TQX T, U, S, U c (TU{S)~UQX T, U, S, V c U|T{S~VQX T, U, S, W c T{U~(W|S)QX T, U, T, P c T{U~(T|P)QX T, U, T, Q c T~T{U|QQX T, U, T, S c T~U|T{SQX T, U, T, T c T~U|TTQX T, U, T, U c T{U~T|UQX T, U, T, V c T~(V|UT)QX T, U, T, W c (T~W)|(U{T)QX T, U, T, X c T{U~(X|T)QX T, U, U, P c T~(U{P)|UQX T, U, U, Q c T{(U{U)~QQX T, U, U, R c T{U{U~RQX T, U, U, S c (TU{S)~UQX T, U, U, T c T~U|U{TQX T, U, U, U c T~U|UUQX T, U, U, V c T~U{U|VQX T, U, V, O c T~V|U{OQX T, U, V, P c T~V|U~PQX T, U, V, Q c (T{U)~Q{VQX T, U, V, R c T{U~(V|R)QX T, U, V, S c U|T{V~SQX T, U, V, T c T~(V|UT)QX T, U, V, U c T~U|V{UQX T, U, V, V c (T|UV)~VQX T, U, V, W c T~U{V|WQX T, U, W, P c T~(W|P)|UQX T, U, W, Q c T{U~WQQX T, U, W, R c T{(U|R)~WQX T, U, W, S c T{U~(W|S)QX T, U, W, T c (T~W)|(U{T)QX T, U, W, V c T~U|W{VQX T, U, W, W c T~U|WWQX T, U, W, X c T~U{W|XQX T, U, X, Q c T{U{X~QQX T, U, X, T c T{U~(X|T)QX T, U, X, W c T~U|X{WQX T, U, X, X c T{U{X{XQX T, V, O, U c T~V{O|UQX T, V, P, P c T~(V|P)|PQX T, V, P, R c T{(V{P)~RQX T, V, P, S c T{(V|P)~SQX T, V, P, T c (T~V)|(P{T)QX T, V, P, U c T~V|P~UQX T, V, P, V c T~V{P|VQX T, V, P, X c (T|P)~X|VQX T, V, Q, R c T~V|Q~RQX T, V, Q, S c (T~V)|(Q{S)QX T, V, Q, T c (T{V)~Q{TQX T, V, Q, U c (T{U)~Q{VQX T, V, Q, W c T~V{Q|WQX T, V, Q, X c (V~X|T)QQX T, V, R, P c T{(V{P)~RQX T, V, R, Q c T~V|R~QQX T, V, R, R c T{V~R{RQX T, V, R, T c T~T{V|RQX T, V, R, U c T{(V|R)~UQX T, V, R, V c (T{V)~R|VQX T, V, R, X c T~V{R|XQX T, V, S, P c T{(V|P)~SQX T, V, S, Q c (T~V)|(S{Q)QX T, V, S, S c T{V~S|SQX T, V, S, T c TT{V~SQX T, V, S, U c V~S|T{UQX T, V, S, V c V~V|T~SQX T, V, S, W c T{(V|S)~WQX T, V, T, P c (T~V)|(T{P)QX T, V, T, Q c T{(V{T)~QQX T, V, T, R c T~T{V|RQX T, V, T, S c TT{V~SQX T, V, T, U c T~(V|UT)QX T, V, U, O c T~V|U{OQX T, V, U, P c T~V|U~PQX T, V, U, Q c (T{U)~Q{VQX T, V, U, R c T{(V|R)~UQX T, V, U, S c V~S|T{UQX T, V, U, T c T~(V|UT)QX T, V, U, U c T~U|V{UQX T, V, U, V c (T|UV)~VQX T, V, U, W c T~U{V|WQX T, V, V, P c T~V|V{PQX T, V, V, R c (T{V)~R|VQX T, V, V, S c V~V|T~SQX T, V, V, U c (T|UV)~VQX T, V, W, Q c T~V|W{QQX T, V, W, S c T{(V|S)~WQX T, V, W, U c T~U{V|WQX T, V, W, W c V~(W|T){WQX T, V, W, X c T{V{W{XQX T, V, X, P c (T|P)~X|VQX T, V, X, Q c (V~X|T)QQX T, V, X, R c T~V|X{RQX T, V, X, W c T{V{X{WQX T, V, X, X c (T~X)|(V{X)QX T, W, O, R c T{(W{O)~RQX T, W, P, Q c T{W~(P{Q)QX T, W, P, R c T{W~P~RQX T, W, P, S c T{W~(S|P)QX T, W, P, U c T~(W|P)|UQX T, W, Q, P c T{W~(Q{P)QX T, W, Q, R c (T{W)~Q{RQX T, W, Q, S c T{(W|Q)~SQX T, W, Q, T c T{W~(T|Q)QX T, W, Q, U c T{WQ~UQX T, W, Q, V c (T|Q)~V{WQX T, W, Q, W c T{W{Q~WQX T, W, Q, X c (T~W)|(Q{X)QX T, W, R, O c T{W~R{OQX T, W, R, P c T{W~R~PQX T, W, R, Q c (T{W)~Q{RQX T, W, R, R c (TR{W)~RQX T, W, R, S c T~(W|R){SQX T, W, R, U c T{W~(U|R)QX T, W, R, W c (T~W)|(R{W)QX T, W, R, X c T{WR~XQX T, W, S, P c T{W~(S|P)QX T, W, S, Q c T{(W{S)~QQX T, W, S, R c T~(W|R){SQX T, W, S, S c T{W{S~SQX T, W, S, T c T~T{W|SQX T, W, S, U c T{(W|S)~UQX T, W, S, V c (T~W)|(S{V)QX T, W, S, W c T{W~S|WQX T, W, S, X c T~(W|S){XQX T, W, T, Q c T{W~(T|Q)QX T, W, T, S c T~T{W|SQX T, W, T, U c (T~W)|(T{U)QX T, W, T, W c T{(W|T)~WQX T, W, U, P c T~(W|P)|UQX T, W, U, Q c T{W~UQQX T, W, U, R c T{W~(U|R)QX T, W, U, S c T{(W|S)~UQX T, W, U, T c (T~W)|(U{T)QX T, W, U, V c T~U|W{VQX T, W, U, W c T~U|WWQX T, W, U, X c T{W~(X|U)QX T, W, V, Q c T~V|W{QQX T, W, V, S c T{W~(V|S)QX T, W, V, U c T~U|W{VQX T, W, V, W c (W|T)~V{WQX T, W, V, X c T{W{V{XQX T, W, W, Q c T{W{W~QQX T, W, W, R c (T~W)|(W{R)QX T, W, W, S c T{W~S|WQX T, W, W, T c T{W~(W|T)QX T, W, W, U c T~U|WWQX T, W, W, V c (W|T)~V{WQX T, W, W, W c T{W{W{WQX T, W, W, X c (T~X)|(W{W)QX T, W, X, Q c (T~W)|(X{Q)QX T, W, X, R c T{W~XRQX T, W, X, S c T~(W|S){XQX T, W, X, U c T{W~(X|U)QX T, W, X, V c T{W{X{VQX T, W, X, W c (T~X)|(W{W)QX T, X, O, S c (T{O)~S{XQX T, X, P, Q c (T{X)~Q{PQX T, X, P, R c T{(X|P)~RQX T, X, P, S c T~P~S{XQX T, X, P, T c (T|P)~T{XQX T, X, P, V c (T|P)~X|VQX T, X, Q, P c (T{X)~Q{PQX T, X, Q, Q c (T|Q)~X{QQX T, X, Q, R c T{(X{R)~QQX T, X, Q, S c (X~S)|(T{Q)QX T, X, Q, T c (T{T)~Q{XQX T, X, Q, U c T{X~Q{UQX T, X, Q, V c (X~V|T)QQX T, X, Q, W c T~X|Q~WQX T, X, R, P c T~(X|R)|PQX T, X, R, Q c T{(X{R)~QQX T, X, R, R c T{X~R|RQX T, X, R, S c T{(X|R)~SQX T, X, R, T c T{X{R~TQX T, X, R, V c T~V|X{RQX T, X, R, W c T{XR~WQX T, X, S, O c T~S{X{OQX T, X, S, P c T~S{X~PQX T, X, S, Q c (X~S)|(T{Q)QX T, X, S, R c T{(X|R)~SQX T, X, S, S c (T{XS)~SQX T, X, S, T c T~(XT{S)QX T, X, S, W c T~(W|S){XQX T, X, T, P c T~(T|P){XQX T, X, T, Q c (T{T)~Q{XQX T, X, T, R c T{X{T~RQX T, X, T, S c T~(XT{S)QX T, X, T, T c T~T{X|TQX T, X, T, U c T{(X|T)~UQX T, X, T, X c T~(X|T){XQX T, X, U, Q c T{X~Q{UQX T, X, U, T c T{(X|T)~UQX T, X, U, W c T{(X|U)~WQX T, X, U, X c T{X{U{XQX T, X, V, P c (T|P)~X|VQX T, X, V, Q c (X~V|T)QQX T, X, V, R c T~V|X{RQX T, X, V, W c T{X{V{WQX T, X, V, X c (T~X)|(V{X)QX T, X, W, Q c T~X|W~QQX T, X, W, R c T{X~WRQX T, X, W, S c T~(W|S){XQX T, X, W, U c T{(X|U)~WQX T, X, W, V c T{X{W{VQX T, X, W, W c (T~X)|(W{W)QX T, X, X, T c T~(X|T){XQX T, X, X, U c T{X{X{UQX T, X, X, V c (T~X)|(X{V)QX U, O, P, T c (U{O)~T|PQX U, O, S, T c (U{O)~S{TQX U, O, T, P c (U{O)~T|PQX U, O, T, S c (U{O)~S{TQX U, O, T, V c O{T~V|UQX U, O, U, V c (U{O)~U|VQX U, O, V, T c O{V~T|UQX U, O, V, U c (U{O)~U|VQX U, P, O, T c (U{O)~T|PQX U, P, P, S c (U{P)~S{PQX U, P, P, T c U~P~T|PQX U, P, P, U c (U|P)~U|PQX U, P, Q, R c U~(Q{R)|PQX U, P, Q, T c U~T{P|QQX U, P, Q, V c (U|Q)~V{PQX U, P, Q, W c (U{W)~Q{PQX U, P, Q, X c (U{X)~Q|PQX U, P, R, Q c U~(R{Q)|PQX U, P, R, S c (U{S)~R|PQX U, P, R, T c U~(P{R){TQX U, P, R, W c (U{P)~R{WQX U, P, S, P c (U{P)~S{PQX U, P, S, R c (U{S)~R|PQX U, P, S, S c U~S{P{SQX U, P, S, T c U~P~S{TQX U, P, S, U c U|P{S~UQX U, P, S, V c (P{S)~V|UQX U, P, S, X c (U|P)~S{XQX U, P, T, O c U~T|P{OQX U, P, T, P c U~P~T|PQX U, P, T, Q c U~T{P|QQX U, P, T, R c U~(P{R){TQX U, P, T, S c (U|P)~T{SQX U, P, T, T c (U|PT)~TQX U, P, T, U c (U{P)~T|UQX U, P, T, V c U~(P{T)|VQX U, P, T, W c T~(W|P)|UQX U, P, U, P c (U|P)~U|PQX U, P, U, S c U|P{U~SQX U, P, U, T c (U{P)~T|UQX U, P, U, U c (U~U)|(P{U)QX U, P, U, V c U~P~U|VQX U, P, U, W c U~U{P|WQX U, P, V, Q c U~(V|Q)|PQX U, P, V, S c (P{S)~V|UQX U, P, V, T c U~(P{T)|VQX U, P, V, U c (U|P)~V|UQX U, P, V, V c U~(V|P)|VQX U, P, W, Q c (U{W)~Q{PQX U, P, W, R c U|P{W~RQX U, P, W, T c (W|P)~T|UQX U, P, W, U c U~U{P|WQX U, P, X, Q c (U{X)~Q|PQX U, P, X, S c (U|P)~S{XQX U, Q, P, R c U~(Q{R)|PQX U, Q, P, T c U~T|Q{PQX U, Q, P, V c (U|Q)~V{PQX U, Q, P, W c (U{W)~Q{PQX U, Q, P, X c (U{X)~Q|PQX U, Q, Q, T c U~(Q{Q){TQX U, Q, Q, X c UQ~X{QQX U, Q, R, P c U~(Q{R)|PQX U, Q, R, R c (U{R)~R{QQX U, Q, R, S c (U{Q)~S|RQX U, Q, R, T c (U{Q)~R{TQX U, Q, R, V c U{Q{R~VQX U, Q, R, W c (U|Q)~W|RQX U, Q, R, X c U~R{Q{XQX U, Q, S, R c (U{Q)~S|RQX U, Q, S, V c U~(Q{S)|VQX U, Q, S, W c S~W|UQQX U, Q, S, X c (U{S)~Q{XQX U, Q, T, P c U~T|Q{PQX U, Q, T, Q c U~(Q{Q){TQX U, Q, T, R c (U{Q)~R{TQX U, Q, T, T c U|Q{T~TQX U, Q, T, U c (U|Q)~U{TQX U, Q, T, V c (U{T)~Q{VQX U, Q, T, W c UQ~W{TQX U, Q, T, X c (U|Q)~T{XQX U, Q, U, T c (U|Q)~U{TQX U, Q, U, X c U~U{Q|XQX U, Q, V, P c (U|Q)~V{PQX U, Q, V, R c U{Q{V~RQX U, Q, V, S c U~(Q{S)|VQX U, Q, V, T c (U{T)~Q{VQX U, Q, V, V c (V|Q)~V|UQX U, Q, V, W c UQ~V{WQX U, Q, V, X c U{Q~V{XQX U, Q, W, P c (U{W)~Q{PQX U, Q, W, R c (U|Q)~W|RQX U, Q, W, S c W~S|UQQX U, Q, W, T c UQ~W{TQX U, Q, W, V c U{Q~W{VQX U, Q, W, W c (W~W|U)QQX U, Q, W, X c U~Q{W{XQX U, Q, X, P c (U{X)~Q|PQX U, Q, X, Q c UQ~X{QQX U, Q, X, R c U~R{Q{XQX U, Q, X, S c (U~X{S)QQX U, Q, X, T c U{Q~X{TQX U, Q, X, U c U~U{Q|XQX U, Q, X, V c (U|Q)~X|VQX U, Q, X, W c U~Q{X{WQX U, Q, X, X c Q{(X|U)~XQX U, R, P, Q c U~(R{Q)|PQX U, R, P, S c (U{S)~R|PQX U, R, P, T c U~(R{P){TQX U, R, P, W c U{R~W|PQX U, R, Q, P c U~(R{Q)|PQX U, R, Q, R c (U{R)~R{QQX U, R, Q, S c (U{Q)~S|RQX U, R, Q, T c (U{Q)~R{TQX U, R, Q, V c U~R~Q|VQX U, R, Q, W c (U|Q)~W|RQX U, R, Q, X c U~R{Q{XQX U, R, R, Q c (U{R)~R{QQX U, R, R, T c U~T|RRQX U, R, R, V c U~(R{R)|VQX U, R, R, W c U~R{R{WQX U, R, R, X c UR{R~XQX U, R, S, P c (U{S)~R|PQX U, R, S, Q c U~S{R{QQX U, R, S, T c U{R{S~TQX U, R, S, U c (U~U)|(R{S)QX U, R, S, V c (U{R)~S|VQX U, R, S, W c U~S|R{WQX U, R, S, X c U{R~X|SQX U, R, T, P c U~(R{P){TQX U, R, T, Q c U~T|R{QQX U, R, T, R c U~T|RRQX U, R, T, S c U{R{T~SQX U, R, T, U c U~R{T{UQX U, R, T, V c U~(V|R){TQX U, R, T, W c U{R~T{WQX U, R, U, S c (U~U)|(R{S)QX U, R, U, T c U{R~U{TQX U, R, U, V c (U{U)~R|VQX U, R, V, Q c U{R~V{QQX U, R, V, R c U~(R{R)|VQX U, R, V, S c U~R{V{SQX U, R, V, T c U~(V|R){TQX U, R, V, U c (U{U)~R|VQX U, R, V, W c (U|R)~V{WQX U, R, V, X c U~(X|R)|VQX U, R, W, P c U{R~W|PQX U, R, W, Q c (U|Q)~W|RQX U, R, W, R c U~R{W{RQX U, R, W, S c U~S|R{WQX U, R, W, T c (U|R)~W{TQX U, R, W, V c (U|R)~V{WQX U, R, W, X c R~X|U{WQX U, R, X, Q c (U|R)~X{QQX U, R, X, R c UR{X~RQX U, R, X, S c U{R~X|SQX U, R, X, V c U~(X|R)|VQX U, R, X, W c R~X|U{WQX U, R, X, X c (U{X~X)RQX U, S, O, T c U~S{O{TQX U, S, P, P c U~(S{P)|PQX U, S, P, R c (U{S)~R|PQX U, S, P, S c U~S{P{SQX U, S, P, T c U~S{P~TQX U, S, P, U c U~S|P{UQX U, S, P, V c (S{P)~V|UQX U, S, P, X c (U|P)~S{XQX U, S, Q, R c U~S{Q{RQX U, S, Q, V c U~(S{Q)|VQX U, S, Q, W c S~W|UQQX U, S, Q, X c (U{S)~Q{XQX U, S, R, P c (U{S)~R|PQX U, S, R, Q c U~S{R{QQX U, S, R, T c U{S~T{RQX U, S, R, U c (U~U)|(S{R)QX U, S, R, V c (U{R)~S|VQX U, S, R, W c U~S|R{WQX U, S, R, X c U|S{R~XQX U, S, S, P c U~S{S{PQX U, S, S, T c (U{TS)~SQX U, S, S, V c U{S~S{VQX U, S, S, X c U~S|S{XQX U, S, T, O c U~S{T{OQX U, S, T, P c U~S{T~PQX U, S, T, R c U{S~T{RQX U, S, T, S c (U{TS)~SQX U, S, T, T c U~T{S|TQX U, S, T, U c U~(S{TU)QX U, S, T, V c U{S~V|TQX U, S, T, W c U~(W|S){TQX U, S, U, P c U{S~U|PQX U, S, U, R c (U~U)|(S{R)QX U, S, U, T c U~(S{TU)QX U, S, U, V c UU{S~VQX U, S, V, P c (S{P)~V|UQX U, S, V, Q c U~S{V|QQX U, S, V, R c (U{R)~S|VQX U, S, V, S c U{S~S{VQX U, S, V, T c U{S~V|TQX U, S, V, U c UU{S~VQX U, S, V, V c S~V|U{VQX U, S, V, X c (U~V)|(S{X)QX U, S, W, Q c S~W|UQQX U, S, W, R c U~S{W|RQX U, S, W, T c U~(W|S){TQX U, S, W, W c S~(W|UW)QX U, S, W, X c U{S~W|XQX U, S, X, P c U~(X|S)|PQX U, S, X, Q c (U{S)~Q{XQX U, S, X, R c U|S{X~RQX U, S, X, S c U~S{X|SQX U, S, X, V c (U~V)|(S{X)QX U, S, X, W c U{S~W|XQX U, T, O, P c U~T{O|PQX U, T, O, S c (U{O)~S{TQX U, T, O, V c (T{O)~V|UQX U, T, P, O c U~T|P{OQX U, T, P, P c U~T|P~PQX U, T, P, Q c U~T{P|QQX U, T, P, R c U~(P{R){TQX U, T, P, S c (U|P)~T{SQX U, T, P, T c U~(T|P){TQX U, T, P, U c U~(T|PU)QX U, T, P, V c U~(T{P)|VQX U, T, P, W c T~(W|P)|UQX U, T, Q, P c U~T|Q{PQX U, T, Q, Q c U~T|QQQX U, T, Q, R c U~T{Q|RQX U, T, Q, T c U{T~T|QQX U, T, Q, U c (U|Q)~U{TQX U, T, Q, V c (U{T)~Q{VQX U, T, Q, W c UQ~W{TQX U, T, Q, X c U{T{Q~XQX U, T, R, P c U~(R{P){TQX U, T, R, Q c U~T|R{QQX U, T, R, R c U~T|RRQX U, T, R, S c (U{T)~R|SQX U, T, R, U c U{T{R~UQX U, T, R, V c U~(V|R){TQX U, T, R, W c U{T~R{WQX U, T, S, O c U~S{T{OQX U, T, S, P c U~S{T~PQX U, T, S, R c U{T~S{RQX U, T, S, S c (U{TS)~SQX U, T, S, T c U~T{S|TQX U, T, S, U c U~(TU{S)QX U, T, S, V c U|T{S~VQX U, T, S, W c U~(W|S){TQX U, T, T, P c U~(T|P){TQX U, T, T, Q c U{T~T|QQX U, T, T, S c U~T|T{SQX U, T, T, T c U~T|TTQX U, T, T, U c U~T{T|UQX U, T, T, V c T~(V|UT)QX U, T, T, W c (T~W)|(U{T)QX U, T, T, X c U~(X|T){TQX U, T, U, P c U~(T|PU)QX U, T, U, Q c (U~U)|(T{Q)QX U, T, U, R c U{T{U~RQX U, T, U, S c U~(TU{S)QX U, T, U, T c U~T|U{TQX U, T, U, U c U~T|UUQX U, T, U, V c U{T~U|VQX U, T, V, O c T~V|U{OQX U, T, V, P c U~(T{P)|VQX U, T, V, Q c (U{T)~Q{VQX U, T, V, R c U~(V|R){TQX U, T, V, S c U|T{V~SQX U, T, V, T c T~(V|UT)QX U, T, V, U c U~T|V{UQX U, T, V, V c U~T|VVQX U, T, V, W c U~T{V|WQX U, T, W, P c T~(W|P)|UQX U, T, W, Q c U~WQ{TQX U, T, W, R c U{T~R{WQX U, T, W, S c U~(W|S){TQX U, T, W, T c (T~W)|(U{T)QX U, T, W, V c U~T|W{VQX U, T, W, W c U~T|WWQX U, T, W, X c U~T{W|XQX U, T, X, Q c U{T{X~QQX U, T, X, T c U~(X|T){TQX U, T, X, W c U~T|X{WQX U, T, X, X c U{T{X{XQX U, U, O, V c U~U{O|VQX U, U, P, P c U~(U|P)|PQX U, U, P, S c U{U~S|PQX U, U, P, T c (U{P)~T|UQX U, U, P, U c (U~U)|(P{U)QX U, U, P, V c U~U|P~VQX U, U, P, W c U~U{P|WQX U, U, Q, T c (U{U)~Q{TQX U, U, Q, X c U~U{Q|XQX U, U, R, S c (U~U)|(R{S)QX U, U, R, T c U{U~R{TQX U, U, R, V c (U{U)~R|VQX U, U, S, P c U{U~S|PQX U, U, S, R c (U~U)|(S{R)QX U, U, S, T c U~(S{TU)QX U, U, S, V c UU{S~VQX U, U, T, P c U~(T|PU)QX U, U, T, Q c (U~U)|(T{Q)QX U, U, T, R c U{U~R{TQX U, U, T, S c U~(TU{S)QX U, U, T, T c U~T|U{TQX U, U, T, U c U~T|UUQX U, U, T, V c U{U~T|VQX U, U, U, P c (U~U)|(U{P)QX U, U, U, T c U~T|UUQX U, U, U, V c U~(U|VU)QX U, U, V, O c U~U|V{OQX U, U, V, P c U~U|V~PQX U, U, V, R c (U{U)~R|VQX U, U, V, S c UU{V~SQX U, U, V, T c U{U~T|VQX U, U, V, U c U~(U|VU)QX U, U, V, V c (U~V)|(U{V)QX U, U, W, P c U~U|W{PQX U, U, W, X c U{U{W{XQX U, U, X, Q c U~U|X{QQX U, U, X, W c U{U{X{WQX U, V, O, T c (V{O)~T|UQX U, V, O, U c (U{O)~U|VQX U, V, P, Q c U~(V|Q)|PQX U, V, P, S c V~(P{S)|UQX U, V, P, T c U~(P{T)|VQX U, V, P, U c (U|P)~V|UQX U, V, P, V c U~(V|P)|VQX U, V, Q, P c U~(V|Q)|PQX U, V, Q, R c (U{V)~Q{RQX U, V, Q, S c U~(Q{S)|VQX U, V, Q, T c (U{T)~Q{VQX U, V, Q, V c (V|Q)~V|UQX U, V, Q, W c U{V{Q~WQX U, V, Q, X c U{V~Q{XQX U, V, R, Q c U{V~R{QQX U, V, R, R c U~(R{R)|VQX U, V, R, S c U~R{V{SQX U, V, R, T c U~(V|R){TQX U, V, R, U c (U{U)~R|VQX U, V, R, W c (U|R)~V{WQX U, V, R, X c U~(X|R)|VQX U, V, S, P c V~(S{P)|UQX U, V, S, Q c U~S{V|QQX U, V, S, R c U~R{V{SQX U, V, S, S c U{V{S~SQX U, V, S, T c U{V~S|TQX U, V, S, U c UU{V~SQX U, V, S, V c V|U{S~VQX U, V, S, X c (U~V)|(S{X)QX U, V, T, O c V~T|U{OQX U, V, T, P c U~(T{P)|VQX U, V, T, Q c (U{T)~Q{VQX U, V, T, R c U~(V|R){TQX U, V, T, S c U{V~S|TQX U, V, T, T c (V|UT)~TQX U, V, T, U c U~T|V{UQX U, V, T, V c U~T|VVQX U, V, T, W c (U~V)|(T{W)QX U, V, U, O c U~U|V{OQX U, V, U, P c U~U|V~PQX U, V, U, R c (U{U)~R|VQX U, V, U, S c UU{V~SQX U, V, U, T c U{U~T|VQX U, V, U, U c (U|VU)~UQX U, V, U, V c (U~V)|(U{V)QX U, V, V, P c U~(V|P)|VQX U, V, V, Q c V~(V|Q)|UQX U, V, V, S c V|U{V~SQX U, V, V, T c U~T|VVQX U, V, V, U c (U~V)|(V{U)QX U, V, V, X c U{V{V{XQX U, V, W, Q c U{V{W~QQX U, V, W, R c (U|R)~V{WQX U, V, W, T c (U~V)|(W{T)QX U, V, W, W c U{V{W{WQX U, V, W, X c V~(X|U){WQX U, V, X, Q c U{V~Q{XQX U, V, X, R c U~(X|R)|VQX U, V, X, S c (U~V)|(X{S)QX U, V, X, V c U{V{X{VQX U, V, X, W c V~(X|U){WQX U, W, P, Q c (U{W)~Q{PQX U, W, P, R c U{W~R|PQX U, W, P, T c (W|P)~T|UQX U, W, P, U c U~U|W{PQX U, W, Q, P c (U{W)~Q{PQX U, W, Q, R c (U|Q)~W|RQX U, W, Q, S c W~S|UQQX U, W, Q, T c U~WQ{TQX U, W, Q, V c U{W~Q{VQX U, W, Q, W c (W~W|U)QQX U, W, Q, X c U~Q{W{XQX U, W, R, P c U{W~R|PQX U, W, R, Q c (U|Q)~W|RQX U, W, R, R c U~R{W{RQX U, W, R, S c U~S{W|RQX U, W, R, T c U{W{R~TQX U, W, R, V c (U|R)~V{WQX U, W, R, X c W|U{R~XQX U, W, S, Q c W~S|UQQX U, W, S, R c U~S{W|RQX U, W, S, T c U~(W|S){TQX U, W, S, W c (W|UW)~SQX U, W, S, X c U{W~S|XQX U, W, T, P c (W|P)~T|UQX U, W, T, Q c U~WQ{TQX U, W, T, R c U{W{T~RQX U, W, T, S c U~(W|S){TQX U, W, T, T c (W~T)|(U{T)QX U, W, T, V c U~T|W{VQX U, W, T, W c U~T|WWQX U, W, T, X c U~T{W|XQX U, W, U, P c U~U|W{PQX U, W, U, X c U{W{U{XQX U, W, V, Q c U{W~Q{VQX U, W, V, R c (U|R)~V{WQX U, W, V, T c (U~V)|(W{T)QX U, W, V, W c U{W{V{WQX U, W, V, X c W{V~(X|U)QX U, W, W, Q c (W~W|U)QQX U, W, W, S c (W|UW)~SQX U, W, W, T c U~T|WWQX U, W, W, V c U{W{W{VQX U, W, X, Q c U~Q{W{XQX U, W, X, R c W|U{X~RQX U, W, X, S c U{W~S|XQX U, W, X, T c U~T{W|XQX U, W, X, U c U{W{X{UQX U, W, X, V c W{(X|U)~VQX U, X, P, Q c (U{X)~Q|PQX U, X, P, S c U~(X|S)|PQX U, X, Q, P c (U{X)~Q|PQX U, X, Q, Q c U~XQ{QQX U, X, Q, R c (U|R)~X{QQX U, X, Q, S c (U~X{S)QQX U, X, Q, T c U{X~Q{TQX U, X, Q, U c U~U|X{QQX U, X, Q, V c U{X{Q~VQX U, X, Q, W c U~Q{X{WQX U, X, Q, X c (X|U)~X{QQX U, X, R, Q c (U|R)~X{QQX U, X, R, R c UR{X~RQX U, X, R, S c U{X~R|SQX U, X, R, V c U~(X|R)|VQX U, X, R, W c X~R|U{WQX U, X, R, X c (U{X~X)RQX U, X, S, P c U~(X|S)|PQX U, X, S, Q c (U~X{S)QQX U, X, S, R c U{X~R|SQX U, X, S, S c U~S{X|SQX U, X, S, V c (U~V)|(X{S)QX U, X, S, W c U{S~W|XQX U, X, T, Q c U{X~Q{TQX U, X, T, T c U~(X|T){TQX U, X, T, W c U~T|X{WQX U, X, T, X c U{X{T{XQX U, X, U, Q c U~U|X{QQX U, X, U, W c U{X{U{WQX U, X, V, Q c U{X{V~QQX U, X, V, R c U~(X|R)|VQX U, X, V, S c (U~V)|(X{S)QX U, X, V, V c U{X{V{VQX U, X, V, W c (X|U)~V{WQX U, X, W, Q c U~Q{X{WQX U, X, W, R c X~R|U{WQX U, X, W, S c U{W~S|XQX U, X, W, T c U~T|X{WQX U, X, W, U c U{X{W{UQX U, X, W, V c (X|U)~V{WQX U, X, X, Q c (X|U)~X{QQX U, X, X, R c (U{X~X)RQX U, X, X, T c U{X{X{TQX V, O, P, S c (V{O)~S{PQX V, O, R, W c (V{O)~R{WQX V, O, S, P c (V{O)~S{PQX V, O, S, X c O{S~X|VQX V, O, T, U c (V{O)~T|UQX V, O, U, T c (V{O)~T|UQX V, O, U, U c O{U~U|VQX V, O, W, R c (V{O)~R{WQX V, O, X, S c O{X~S|VQX V, P, O, S c (V{O)~S{PQX V, P, P, R c V~(P{R){PQX V, P, P, S c V~P~S{PQX V, P, P, T c (V|P)~T|PQX V, P, Q, Q c V~(Q{Q){PQX V, P, Q, S c V~S|P{QQX V, P, Q, U c (V|Q)~U|PQX V, P, Q, V c (V{V)~Q{PQX V, P, Q, W c V~(P{Q){WQX V, P, R, P c V~(P{R){PQX V, P, R, R c (V{R)~R|PQX V, P, R, S c (V{P)~S|RQX V, P, R, T c (V{P)~R{TQX V, P, R, V c V{P{R~VQX V, P, R, W c V~P~R{WQX V, P, R, X c V~R|P{XQX V, P, S, O c V~S{P{OQX V, P, S, P c V~P~S{PQX V, P, S, Q c V~S|P{QQX V, P, S, R c (V{P)~S|RQX V, P, S, S c (V{PS)~SQX V, P, S, T c (V|P)~S{TQX V, P, S, U c V~(P{S)|UQX V, P, S, V c V~(PV{S)QX V, P, S, W c V~(S|P){WQX V, P, S, X c P~S~X|VQX V, P, T, P c (V|P)~T|PQX V, P, T, R c (V{P)~R{TQX V, P, T, S c (V|P)~S{TQX V, P, T, T c (V~T)|(P{T)QX V, P, T, U c V~P~T|UQX V, P, T, V c V~T{P|VQX V, P, T, X c V~(X|T){PQX V, P, U, Q c V~(U|Q){PQX V, P, U, S c V~(P{S)|UQX V, P, U, T c V~P~T|UQX V, P, U, U c V~(U|P)|UQX V, P, U, V c (V|P)~U|VQX V, P, V, Q c (V{V)~Q{PQX V, P, V, R c V{P{V~RQX V, P, V, S c V~(PV{S)QX V, P, V, T c V~T{P|VQX V, P, V, U c (V|P)~U|VQX V, P, W, Q c V~(P{Q){WQX V, P, W, R c V~P~R{WQX V, P, W, S c V~(W|S){PQX V, P, X, R c V~R|P{XQX V, P, X, S c P~X~S|VQX V, P, X, T c V~(X|T){PQX V, Q, P, Q c V~(Q{Q){PQX V, Q, P, S c V~S{Q|PQX V, Q, P, U c (V|Q)~U|PQX V, Q, P, V c (V{V)~Q{PQX V, Q, P, W c V~(Q{P){WQX V, Q, Q, P c V~(Q{Q){PQX V, Q, Q, R c (V{Q)~R{QQX V, Q, Q, S c V~S{QQQX V, Q, Q, W c (V~W{Q)QQX V, Q, Q, X c V{Q~(Q{X)QX V, Q, R, Q c (V{Q)~R{QQX V, Q, R, S c V~R{Q~SQX V, Q, R, T c V~Q{R~TQX V, Q, R, U c V~(Q{R)|UQX V, Q, R, W c V{Q~(R{W)QX V, Q, R, X c (V{R)~Q{XQX V, Q, S, P c V~S{Q|PQX V, Q, S, Q c V~S{QQQX V, Q, S, R c V~S|Q{RQX V, Q, S, T c V{Q{S~TQX V, Q, S, U c V|Q{S~UQX V, Q, S, V c V{Q~(S{V)QX V, Q, S, W c (V{QW)~SQX V, Q, S, X c (V|Q)~S{XQX V, Q, T, R c V~Q{T~RQX V, Q, T, S c V{Q{T~SQX V, Q, T, T c (V{T)~Q{TQX V, Q, T, U c V{Q~(T{U)QX V, Q, T, W c V~T{Q|WQX V, Q, T, X c (V~X|T)QQX V, Q, U, P c (V|Q)~U|PQX V, Q, U, R c V~(Q{R)|UQX V, Q, U, S c V|Q{U~SQX V, Q, U, T c V{Q~(U{T)QX V, Q, U, V c (V|Q)~V|UQX V, Q, U, W c VQ~U{WQX V, Q, U, X c V~Q{U{XQX V, Q, V, P c (V{V)~Q{PQX V, Q, V, S c V{Q~(V{S)QX V, Q, V, U c (V|Q)~V|UQX V, Q, V, W c V{Q~V{WQX V, Q, V, X c (V~V{X)QQX V, Q, W, P c VQ~W{PQX V, Q, W, Q c (V~W{Q)QQX V, Q, W, R c V{Q~(W{R)QX V, Q, W, S c (V{QW)~SQX V, Q, W, T c V~T{Q|WQX V, Q, W, U c V{Q~W{UQX V, Q, W, V c V~Q{W{VQX V, Q, W, X c WQ~X|VQX V, Q, X, Q c V{(Q{X)~QQX V, Q, X, R c (V{X)~Q|RQX V, Q, X, S c V{Q~X{SQX V, Q, X, T c (V~X|T)QQX V, Q, X, U c V~Q{X{UQX V, Q, X, V c (V~V{X)QQX V, Q, X, W c XQ~W|VQX V, Q, X, X c Q~(X{X)|VQX V, R, O, W c V~R{O{WQX V, R, P, P c V~(R{P){PQX V, R, P, R c (V{R)~R|PQX V, R, P, S c (V{P)~S|RQX V, R, P, T c (V{P)~R{TQX V, R, P, V c V~R{P{VQX V, R, P, W c V~R{P~WQX V, R, P, X c V~R|P{XQX V, R, Q, Q c (V{Q)~R{QQX V, R, Q, S c V~R{Q~SQX V, R, Q, T c V~Q{R~TQX V, R, Q, U c V~R{Q{UQX V, R, Q, W c V{(R{W)~QQX V, R, Q, X c (V{R)~Q{XQX V, R, R, P c (V{R)~R|PQX V, R, R, S c V~S{RRQX V, R, R, T c V~R{R{TQX V, R, R, U c (R{R)~U|VQX V, R, R, W c (V|R)~W|RQX V, R, R, X c R~(R{X)|VQX V, R, S, P c (V{P)~S|RQX V, R, S, Q c V~R{S~QQX V, R, S, R c V~S{RRQX V, R, S, S c V~R{S{SQX V, R, S, U c V{R~U{SQX V, R, S, W c R~(S{W)|VQX V, R, T, P c (V{P)~R{TQX V, R, T, Q c V~T|R~QQX V, R, T, R c V~R{T{RQX V, R, T, T c V|R{T~TQX V, R, T, U c (V|R)~U{TQX V, R, T, V c V{R~T{VQX V, R, T, X c (V|R)~T{XQX V, R, U, Q c V~R{U{QQX V, R, U, R c (R{R)~U|VQX V, R, U, S c V{R~U{SQX V, R, U, T c (V|R)~U{TQX V, R, U, U c R~(U{U)|VQX V, R, U, W c V~(U|R){WQX V, R, U, X c U~(X|R)|VQX V, R, V, P c V{R~V{PQX V, R, V, T c V{R~T{VQX V, R, V, W c V~(R{WV)QX V, R, V, X c (V|R)~X|VQX V, R, W, O c V~R{W{OQX V, R, W, P c V~R{W~PQX V, R, W, Q c V{(R{W)~QQX V, R, W, R c (V|R)~W|RQX V, R, W, S c R~(W{S)|VQX V, R, W, U c V~(W|R)|UQX V, R, W, V c V~(R{WV)QX V, R, W, X c VR~X{WQX V, R, X, P c V~R{X|PQX V, R, X, Q c (V{R)~Q{XQX V, R, X, R c (R{X)~R|VQX V, R, X, T c V{R~X|TQX V, R, X, U c (X|R)~U|VQX V, R, X, V c (V|R)~X|VQX V, R, X, W c VR~X{WQX V, R, X, X c R~X|V{XQX V, S, O, P c V~S{O{PQX V, S, O, X c (S{O)~X|VQX V, S, P, O c V~S{P{OQX V, S, P, P c V~S{P~PQX V, S, P, Q c V~S|P{QQX V, S, P, R c (V{P)~S|RQX V, S, P, S c (V{PS)~SQX V, S, P, T c (V|P)~S{TQX V, S, P, U c V~(S{P)|UQX V, S, P, V c V~(S{PV)QX V, S, P, W c V~(S|P){WQX V, S, P, X c S~P~X|VQX V, S, Q, P c V~S{Q|PQX V, S, Q, Q c V~S{QQQX V, S, Q, R c V~S|Q{RQX V, S, Q, T c V{S~T{QQX V, S, Q, U c V{S~U|QQX V, S, Q, V c (V{S)~Q{VQX V, S, Q, W c (V{QW)~SQX V, S, Q, X c V{S{Q~XQX V, S, R, P c (V{P)~S|RQX V, S, R, Q c V~S{R|QQX V, S, R, R c V~S{RRQX V, S, R, S c (V{S)~R|SQX V, S, R, U c V{S{R~UQX V, S, R, W c (S{W)~R|VQX V, S, S, P c (V{PS)~SQX V, S, S, R c V~S{S|RQX V, S, S, S c V~S{SSQX V, S, S, T c V~S|S{TQX V, S, S, U c V{S~S{UQX V, S, S, W c S{S~W|VQX V, S, S, X c S~(X|VS)QX V, S, T, P c (V|P)~S{TQX V, S, T, Q c V{S~T{QQX V, S, T, S c V~S{T|SQX V, S, T, T c V~S{TTQX V, S, T, U c V~S|T{UQX V, S, T, V c V~V|S~TQX V, S, T, W c (V|S)~W{TQX V, S, U, P c V~(S{P)|UQX V, S, U, Q c V{S~U|QQX V, S, U, R c V{S{U~RQX V, S, U, S c V{S~S{UQX V, S, U, T c V~S{U|TQX V, S, U, U c V~S{UUQX V, S, U, V c V~S|U{VQX V, S, U, X c (V~U)|(S{X)QX V, S, V, P c V~(S{PV)QX V, S, V, Q c V{(S{V)~QQX V, S, V, T c V~V|S~TQX V, S, V, U c V{S~V|UQX V, S, V, V c V~S{VVQX V, S, V, W c (V|S)~V{WQX V, S, W, P c V~(S|P){WQX V, S, W, Q c (V{QW)~SQX V, S, W, R c (S{W)~R|VQX V, S, W, S c S~W|V{SQX V, S, W, T c (V|S)~W{TQX V, S, W, V c V~S{W|VQX V, S, W, W c V~S{WWQX V, S, W, X c V~S|W{XQX V, S, X, O c S~X|V{OQX V, S, X, P c S~X|V~PQX V, S, X, Q c V{S{X~QQX V, S, X, S c S~(X|VS)QX V, S, X, U c V~(X|S)|UQX V, S, X, W c V~S{X|WQX V, S, X, X c V{S{X{XQX V, T, O, U c V~T{O|UQX V, T, P, P c V~(T|P){PQX V, T, P, R c (V{P)~R{TQX V, T, P, S c (V|P)~S{TQX V, T, P, T c (V~T)|(P{T)QX V, T, P, U c V~T|P~UQX V, T, P, V c V~T{P|VQX V, T, P, X c V~(X|T){PQX V, T, Q, R c V~T|Q~RQX V, T, Q, S c (V~T)|(Q{S)QX V, T, Q, T c (V{T)~Q{TQX V, T, Q, U c V{(T{U)~QQX V, T, Q, W c V~T{Q|WQX V, T, Q, X c (V~X|T)QQX V, T, R, P c (V{P)~R{TQX V, T, R, Q c V~T|R~QQX V, T, R, R c (V~T)|(R{R)QX V, T, R, T c V{T~T|RQX V, T, R, U c (V|R)~U{TQX V, T, R, V c V{T~R{VQX V, T, R, X c V|T{R~XQX V, T, S, P c (V|P)~S{TQX V, T, S, Q c V{T~S{QQX V, T, S, S c V~S{T|SQX V, T, S, T c V~S{TTQX V, T, S, U c V~S|T{UQX V, T, S, V c V~V|T~SQX V, T, S, W c (V|S)~W{TQX V, T, T, P c (V~T)|(T{P)QX V, T, T, Q c (V{T)~Q{TQX V, T, T, R c V{T~T|RQX V, T, T, S c V~S{TTQX V, T, T, U c (V|UT)~TQX V, T, U, O c V~T|U{OQX V, T, U, P c V~T|U~PQX V, T, U, Q c V{(T{U)~QQX V, T, U, R c (V|R)~U{TQX V, T, U, S c V~S|T{UQX V, T, U, T c (V|UT)~TQX V, T, U, U c T~U|V{UQX V, T, U, V c V~(T|UV)QX V, T, U, W c V{T~U|WQX V, T, V, P c V~T|V{PQX V, T, V, R c V{T~R{VQX V, T, V, S c V~V|T~SQX V, T, V, U c V~(T|UV)QX V, T, W, Q c V~T|W{QQX V, T, W, S c (V|S)~W{TQX V, T, W, U c V{T~U|WQX V, T, W, W c V~(W|T){WQX V, T, W, X c V{T{W{XQX V, T, X, P c V~(X|T){PQX V, T, X, Q c (V~X|T)QQX V, T, X, R c V|T{X~RQX V, T, X, W c V{T{X{WQX V, T, X, X c (T~X)|(V{X)QX V, U, O, T c (V{O)~T|UQX V, U, O, U c (U{O)~U|VQX V, U, P, Q c V~(U|Q){PQX V, U, P, S c V~(P{S)|UQX V, U, P, T c V~P~T|UQX V, U, P, U c V~(U|P)|UQX V, U, P, V c (V|P)~U|VQX V, U, Q, P c V~(U|Q){PQX V, U, Q, R c (V{U)~Q{RQX V, U, Q, S c V{U~S|QQX V, U, Q, T c V{(U{T)~QQX V, U, Q, V c (V|Q)~V|UQX V, U, Q, W c V{U{Q~WQX V, U, Q, X c V~Q{U{XQX V, U, R, Q c (V{U)~Q{RQX V, U, R, R c U~(R{R)|VQX V, U, R, S c V{U~R{SQX V, U, R, T c (V|R)~U{TQX V, U, R, U c (U{U)~R|VQX V, U, R, W c V~(U|R){WQX V, U, R, X c U~(X|R)|VQX V, U, S, P c V~(S{P)|UQX V, U, S, Q c V{U~S|QQX V, U, S, R c V{U~R{SQX V, U, S, S c V{U{S~SQX V, U, S, T c V~S{U|TQX V, U, S, U c V~S{UUQX V, U, S, V c V|U{S~VQX V, U, S, X c (V~U)|(S{X)QX V, U, T, O c V~T|U{OQX V, U, T, P c V~T|U~PQX V, U, T, Q c V{(U{T)~QQX V, U, T, R c (V|R)~U{TQX V, U, T, S c V~S{U|TQX V, U, T, T c (V|UT)~TQX V, U, T, U c U~T|V{UQX V, U, T, V c V~(T|UV)QX V, U, T, W c V{U~T|WQX V, U, U, O c U~U|V{OQX V, U, U, P c V~(U|P)|UQX V, U, U, R c (U{U)~R|VQX V, U, U, S c V~S{UUQX V, U, U, T c U{U~T|VQX V, U, U, U c (U|VU)~UQX V, U, U, V c (V~U)|(U{V)QX V, U, V, P c (V|P)~U|VQX V, U, V, Q c V~(V|Q)|UQX V, U, V, S c V|U{V~SQX V, U, V, T c V~(T|UV)QX V, U, V, U c (V~U)|(V{U)QX V, U, V, X c V{U{V{XQX V, U, W, Q c V{U{W~QQX V, U, W, R c V~(U|R){WQX V, U, W, T c (V~U)|(W{T)QX V, U, W, W c V{U{W{WQX V, U, W, X c V~(X|U){WQX V, U, X, Q c V~Q{U{XQX V, U, X, R c U~(X|R)|VQX V, U, X, S c (V~U)|(X{S)QX V, U, X, V c V{U{X{VQX V, U, X, W c V~(X|U){WQX V, V, P, Q c (V{V)~Q{PQX V, V, P, R c V{V~R{PQX V, V, P, S c V~(PV{S)QX V, V, P, T c V~T|V{PQX V, V, P, U c (V|P)~U|VQX V, V, Q, P c (V{V)~Q{PQX V, V, Q, S c V{(V{S)~QQX V, V, Q, U c V~(V|Q)|UQX V, V, Q, W c V{V~Q{WQX V, V, Q, X c (V~V{X)QQX V, V, R, P c V{V~R{PQX V, V, R, T c V{V{R~TQX V, V, R, W c V~(R{WV)QX V, V, R, X c (V|R)~X|VQX V, V, S, P c V~(S{PV)QX V, V, S, Q c V{(V{S)~QQX V, V, S, T c V~V|S~TQX V, V, S, U c V{V~S|UQX V, V, S, V c VV{S~VQX V, V, S, W c V~(V|S){WQX V, V, T, P c V~T|V{PQX V, V, T, R c V{V{T~RQX V, V, T, S c V~V|T~SQX V, V, T, U c V~(T|UV)QX V, V, U, P c (V|P)~U|VQX V, V, U, Q c V~(V|Q)|UQX V, V, U, S c V{V~S|UQX V, V, U, T c V~(T|UV)QX V, V, U, U c (V~U)|(V{U)QX V, V, U, X c V{V{U{XQX V, V, V, S c VV{V~SQX V, V, V, W c V{V{V{WQX V, V, W, Q c V{V~Q{WQX V, V, W, R c V~(WV{R)QX V, V, W, S c V~(V|S){WQX V, V, W, V c V{V{W{VQX V, V, X, Q c (V~V{X)QQX V, V, X, R c (V|R)~X|VQX V, V, X, U c V{V{X{UQX V, W, O, R c (V{O)~R{WQX V, W, P, Q c (V{W)~Q|PQX V, W, P, R c V~P~R{WQX V, W, P, S c V~(W|S){PQX V, W, Q, P c (V{W)~Q|PQX V, W, Q, Q c (V~W{Q)QQX V, W, Q, R c V{(W{R)~QQX V, W, Q, S c (V{QW)~SQX V, W, Q, T c V~T|W{QQX V, W, Q, U c V{W~Q{UQX V, W, Q, V c V{W{Q~VQX V, W, Q, X c WQ~X|VQX V, W, R, O c V~R{W{OQX V, W, R, P c V~R{W~PQX V, W, R, Q c V{(W{R)~QQX V, W, R, R c (V{WR)~RQX V, W, R, S c (W{S)~R|VQX V, W, R, U c V~(W|R)|UQX V, W, R, V c V~(WV{R)QX V, W, R, X c V~W|R~XQX V, W, S, P c V~(W|S){PQX V, W, S, Q c (V{QW)~SQX V, W, S, R c (W{S)~R|VQX V, W, S, S c W~S|V{SQX V, W, S, T c (V|S)~W{TQX V, W, S, V c V~S{W|VQX V, W, S, W c V~S{WWQX V, W, S, X c V~S|W{XQX V, W, T, Q c V~T|W{QQX V, W, T, S c (V|S)~W{TQX V, W, T, U c V{T~U|WQX V, W, T, W c V~(W|T){WQX V, W, T, X c V{W{T{XQX V, W, U, Q c V{W~Q{UQX V, W, U, R c V~(W|R)|UQX V, W, U, T c (V~U)|(W{T)QX V, W, U, W c V{W{U{WQX V, W, U, X c V~(X|U){WQX V, W, V, Q c V{W{V~QQX V, W, V, R c V~(WV{R)QX V, W, V, S c V~(V|S){WQX V, W, V, V c V{W{V{VQX V, W, W, S c V~S{WWQX V, W, W, T c V~(W|T){WQX V, W, W, U c V{W{W{UQX V, W, X, Q c W~XQ|VQX V, W, X, R c V~W|X~RQX V, W, X, S c V~S|W{XQX V, W, X, T c V{W{X{TQX V, W, X, U c V~(X|U){WQX V, X, O, S c (X{O)~S|VQX V, X, P, R c V~R{X|PQX V, X, P, S c X~P~S|VQX V, X, P, T c V~(X|T){PQX V, X, Q, Q c V{(X{Q)~QQX V, X, Q, R c (V{X)~Q|RQX V, X, Q, S c V{X~Q{SQX V, X, Q, T c (V~X|T)QQX V, X, Q, U c V~Q{X{UQX V, X, Q, V c (V~V{X)QQX V, X, Q, W c XQ~W|VQX V, X, Q, X c (X{X)~Q|VQX V, X, R, P c V~R{X|PQX V, X, R, Q c (V{X)~Q|RQX V, X, R, R c (X{R)~R|VQX V, X, R, T c V{X~R|TQX V, X, R, U c (X|R)~U|VQX V, X, R, V c (V|R)~X|VQX V, X, R, W c V~XR{WQX V, X, R, X c X|V{R~XQX V, X, S, O c X~S|V{OQX V, X, S, P c X~S|V~PQX V, X, S, Q c V{X~Q{SQX V, X, S, S c (X|VS)~SQX V, X, S, U c V~(X|S)|UQX V, X, S, W c V~S{X|WQX V, X, S, X c V{X{S{XQX V, X, T, P c V~(X|T){PQX V, X, T, Q c (V~X|T)QQX V, X, T, R c V{X~R|TQX V, X, T, W c V{X{T{WQX V, X, T, X c (X~T)|(V{X)QX V, X, U, Q c V~Q{X{UQX V, X, U, R c (X|R)~U|VQX V, X, U, S c V~(X|S)|UQX V, X, U, V c V{X{U{VQX V, X, U, W c V~(X|U){WQX V, X, V, Q c (V~V{X)QQX V, X, V, R c (V|R)~X|VQX V, X, V, U c V{X{V{UQX V, X, W, Q c X~WQ|VQX V, X, W, R c V~XR{WQX V, X, W, S c V~S{X|WQX V, X, W, T c V{X{W{TQX V, X, W, U c V~(X|U){WQX V, X, X, Q c (X{X)~Q|VQX V, X, X, R c X|V{X~RQX V, X, X, S c V{X{X{SQX V, X, X, T c X~(X|T)|VQX W, O, R, S c (W{O)~S|RQX W, O, R, T c (W{O)~R{TQX W, O, R, V c W{O{R~VQX W, O, S, R c (W{O)~S|RQX W, O, T, R c (W{O)~R{TQX W, O, V, R c W{O{V~RQX W, P, P, S c (W|P)~S{PQX W, P, Q, R c (W{P)~R{QQX W, P, Q, S c (W~S)|(P{Q)QX W, P, Q, T c W~(P{Q){TQX W, P, Q, U c (W{U)~Q{PQX W, P, Q, V c W{(P{Q)~VQX W, P, R, Q c (W{P)~R{QQX W, P, R, R c W~(P{R)|RQX W, P, R, S c W~P~S|RQX W, P, R, T c W~P~R{TQX W, P, R, U c W{(P{U)~RQX W, P, R, V c W{P~R~VQX W, P, R, W c (W|P)~R{WQX W, P, S, P c (W|P)~S{PQX W, P, S, Q c (W~S)|(P{Q)QX W, P, S, R c W~P~S|RQX W, P, S, S c W~S{P|SQX W, P, S, T c W{P{S~TQX W, P, S, V c (W{P)~S|VQX W, P, S, X c P{S~X|WQX W, P, T, Q c W~(P{Q){TQX W, P, T, R c W~P~R{TQX W, P, T, S c W{P{T~SQX W, P, T, U c (W|P)~T|UQX W, P, U, Q c (W{U)~Q{PQX W, P, U, R c W{(P{U)~RQX W, P, U, T c (W|P)~T|UQX W, P, U, U c P{U~U|WQX W, P, V, Q c W{(P{Q)~VQX W, P, V, R c W{P~V~RQX W, P, V, S c (W{P)~S|VQX W, P, W, R c (W|P)~R{WQX W, P, X, S c P{X~S|WQX W, Q, P, R c (W{Q)~R|PQX W, Q, P, S c (W~S)|(Q{P)QX W, Q, P, T c W~(Q{P){TQX W, Q, P, U c (W{U)~Q{PQX W, Q, P, V c W{(Q{P)~VQX W, Q, Q, R c W~(Q{Q)|RQX W, Q, Q, V c (W~V{Q)QQX W, Q, Q, X c (W{Q)~Q{XQX W, Q, R, P c (W{Q)~R|PQX W, Q, R, Q c W~(Q{Q)|RQX W, Q, R, R c W~R{Q{RQX W, Q, R, T c W{(Q{T)~RQX W, Q, R, U c W~(U|Q)|RQX W, Q, R, V c (W{R)~Q{VQX W, Q, R, W c WQ~W|RQX W, Q, R, X c W{Q~X{RQX W, Q, S, P c (W~S)|(Q{P)QX W, Q, S, T c (W|Q)~S{TQX W, Q, S, U c W~S|UQQX W, Q, S, V c (QW{V)~SQX W, Q, S, X c W~Q{S{XQX W, Q, T, P c (W|Q)~T|PQX W, Q, T, R c W{(Q{T)~RQX W, Q, T, S c (W|Q)~S{TQX W, Q, T, T c WQ{T~TQX W, Q, T, U c WQ~U{TQX W, Q, T, V c W{(T|Q)~VQX W, Q, T, W c W~Q{T{WQX W, Q, T, X c WQ~T{XQX W, Q, U, P c (W{U)~Q{PQX W, Q, U, R c W~(U|Q)|RQX W, Q, U, S c W~S|UQQX W, Q, U, T c WQ~U{TQX W, Q, U, V c (W|Q)~U|VQX W, Q, U, W c (W~W|U)QQX W, Q, U, X c W{Q~U{XQX W, Q, V, P c WQ~V{PQX W, Q, V, Q c (W~V{Q)QQX W, Q, V, R c (W{R)~Q{VQX W, Q, V, S c (QW{V)~SQX W, Q, V, T c W{V~(T|Q)QX W, Q, V, U c W~Q{V{UQX W, Q, V, V c W{Q~V{VQX W, Q, V, X c WQ~X|VQX W, Q, W, R c WQ~W|RQX W, Q, W, T c W{Q~W{TQX W, Q, W, U c (W~W|U)QQX W, Q, X, Q c (W{Q)~Q{XQX W, Q, X, R c W{Q~X{RQX W, Q, X, S c W~Q{X{SQX W, Q, X, T c WQ~T{XQX W, Q, X, U c W{Q~U{XQX W, Q, X, V c WQ~X|VQX W, R, O, S c (W{O)~S|RQX W, R, O, T c W~R{O{TQX W, R, O, V c W{(R{O)~VQX W, R, P, Q c (W{P)~R{QQX W, R, P, R c W~(R{P)|RQX W, R, P, S c W~R{P{SQX W, R, P, T c W~R{P~TQX W, R, P, U c W{R~(P{U)QX W, R, P, V c W{R~P~VQX W, R, P, W c W{R~(W|P)QX W, R, Q, P c (W{Q)~R|PQX W, R, Q, Q c W~(Q{Q)|RQX W, R, Q, R c W~R{Q{RQX W, R, Q, T c W{R~(Q{T)QX W, R, Q, U c W~(U|Q)|RQX W, R, Q, V c (W{R)~Q{VQX W, R, Q, W c WQ~W|RQX W, R, Q, X c W{R{Q~XQX W, R, R, P c W~(R{P)|RQX W, R, R, Q c W~R{R{QQX W, R, R, S c W{R~(R{S)QX W, R, R, T c (W{TR)~RQX W, R, R, U c W{R{R~UQX W, R, R, V c (WR{V)~RQX W, R, R, W c W|R{R~WQX W, R, S, O c W~S|R{OQX W, R, S, P c W~R{S{PQX W, R, S, R c W{(R{S)~RQX W, R, S, S c (W|RS)~SQX W, R, S, T c (W|R)~T{SQX W, R, S, U c W|R{S~UQX W, R, S, V c (W{S)~R|VQX W, R, S, W c W~(S|RW)QX W, R, S, X c W{R~S{XQX W, R, T, O c W~R{T{OQX W, R, T, P c W~R{T~PQX W, R, T, Q c W{R~(T{Q)QX W, R, T, R c (W{TR)~RQX W, R, T, S c (W|R)~T{SQX W, R, T, U c W{R~T{UQX W, R, T, W c W~(R{TW)QX W, R, T, X c WR~X{TQX W, R, U, P c W{R~(U{P)QX W, R, U, Q c W~(U|Q)|RQX W, R, U, R c W{R{U~RQX W, R, U, S c W|R{U~SQX W, R, U, T c W{R~T{UQX W, R, U, V c (W|R)~V|UQX W, R, U, X c W{R~X|UQX W, R, V, O c W{R~V{OQX W, R, V, P c W{R~V~PQX W, R, V, Q c W~R{V|QQX W, R, V, R c (WR{V)~RQX W, R, V, S c (W{S)~R|VQX W, R, V, U c (W|R)~V|UQX W, R, V, V c (WV{R)~VQX W, R, V, X c W{VR~XQX W, R, W, P c W{R~(W|P)QX W, R, W, Q c (W{W)~Q|RQX W, R, W, R c W{R~W|RQX W, R, W, S c W~(W|S)|RQX W, R, W, T c W~(R{TW)QX W, R, X, Q c W{R{X~QQX W, R, X, S c W~R{X|SQX W, R, X, T c WR~X{TQX W, R, X, U c W{R~X|UQX W, R, X, V c W{XR~VQX W, R, X, X c W{R{X{XQX W, S, O, R c W~S{O|RQX W, S, P, P c (W|P)~S{PQX W, S, P, Q c (W~S)|(P{Q)QX W, S, P, R c W~S|P~RQX W, S, P, S c W~S{P|SQX W, S, P, T c W~(S|P){TQX W, S, P, V c W{(S|P)~VQX W, S, P, X c S~X|W{PQX W, S, Q, P c (W~S)|(Q{P)QX W, S, Q, T c (W{S)~Q{TQX W, S, Q, U c W~S|UQQX W, S, Q, V c S~(QW{V)QX W, S, Q, X c W~Q{S{XQX W, S, R, O c W~S|R{OQX W, S, R, P c W~S|R~PQX W, S, R, R c W{(S{R)~RQX W, S, R, S c (W|RS)~SQX W, S, R, T c (W|R)~T{SQX W, S, R, U c W~S{R|UQX W, S, R, V c (W{S)~R|VQX W, S, R, W c W~(S|RW)QX W, S, R, X c W{S~R{XQX W, S, S, P c W~S|S{PQX W, S, S, R c (W|RS)~SQX W, S, S, T c W{S~S{TQX W, S, S, V c W~S{S|VQX W, S, T, P c W{S~T{PQX W, S, T, Q c W~S|T{QQX W, S, T, R c (W|R)~T{SQX W, S, T, S c W{S~S{TQX W, S, T, T c W|S{T~TQX W, S, T, U c (W|S)~U{TQX W, S, T, V c (W~T)|(S{V)QX W, S, T, W c W~S{T|WQX W, S, T, X c (W|S)~T{XQX W, S, U, Q c W~S|UQQX W, S, U, R c W{S~U|RQX W, S, U, T c (W|S)~U{TQX W, S, U, W c (W|UW)~SQX W, S, U, X c W~S{U|XQX W, S, V, P c (W|S)~V{PQX W, S, V, Q c S~(V{QW)QX W, S, V, R c (W{S)~R|VQX W, S, V, S c W~S|V{SQX W, S, V, T c W~(V|S){TQX W, S, V, V c W{S~V|VQX W, S, V, W c WW{S~VQX W, S, V, X c (W|S)~X|VQX W, S, W, R c (W|S)~W|RQX W, S, W, T c W~S|W{TQX W, S, W, U c (W|UW)~SQX W, S, W, V c WW{S~VQX W, S, W, X c W{S{W{XQX W, S, X, P c S~X|W{PQX W, S, X, Q c W~Q{S{XQX W, S, X, R c W~S|XRQX W, S, X, T c (W|S)~T{XQX W, S, X, U c W~S|X{UQX W, S, X, V c (W|S)~X|VQX W, S, X, W c W{S{X{WQX W, T, O, R c (W{O)~R{TQX W, T, P, Q c W~(P{Q){TQX W, T, P, R c W~(T|P)|RQX W, T, P, S c W{T~S{PQX W, T, P, U c (W|P)~T|UQX W, T, Q, P c (W|Q)~T|PQX W, T, Q, R c W{(T{Q)~RQX W, T, Q, S c (W|Q)~S{TQX W, T, Q, T c W~(T|Q){TQX W, T, Q, U c WQ~U{TQX W, T, Q, V c W{(T|Q)~VQX W, T, Q, W c W{T{Q~WQX W, T, Q, X c (W~T)|(Q{X)QX W, T, R, O c W~R{T{OQX W, T, R, P c W~(T|P)|RQX W, T, R, Q c W{(T{Q)~RQX W, T, R, R c (W{TR)~RQX W, T, R, S c (W|R)~T{SQX W, T, R, U c W{T~R{UQX W, T, R, W c (W~T)|(R{W)QX W, T, R, X c WR~X{TQX W, T, S, P c W{T~S{PQX W, T, S, Q c W~S|T{QQX W, T, S, R c (W|R)~T{SQX W, T, S, S c W{T{S~SQX W, T, S, T c W{T~T|SQX W, T, S, U c (W|S)~U{TQX W, T, S, V c (W~T)|(S{V)QX W, T, S, W c W~S{T|WQX W, T, S, X c (W|S)~T{XQX W, T, T, Q c W~(T|Q){TQX W, T, T, S c W{T~T|SQX W, T, T, U c (W~T)|(T{U)QX W, T, T, W c (W|T)~W{TQX W, T, U, P c (W|P)~T|UQX W, T, U, Q c W~UQ{TQX W, T, U, R c W{T~R{UQX W, T, U, S c (W|S)~U{TQX W, T, U, T c (W~T)|(U{T)QX W, T, U, V c T~U|W{VQX W, T, U, W c T~U|WWQX W, T, U, X c W{T~U|XQX W, T, V, Q c W{(T|Q)~VQX W, T, V, S c (W~T)|(V{S)QX W, T, V, U c T~U|W{VQX W, T, V, W c (W|T)~V{WQX W, T, V, X c W{T{V{XQX W, T, W, Q c W{T{W~QQX W, T, W, R c (W~T)|(W{R)QX W, T, W, S c W~S{T|WQX W, T, W, T c (W|T)~W{TQX W, T, W, U c T~U|WWQX W, T, W, V c (W|T)~V{WQX W, T, W, W c W{T{W{WQX W, T, W, X c (T~X)|(W{W)QX W, T, X, Q c (W|T)~X{QQX W, T, X, R c W~(X|T)|RQX W, T, X, S c (W|S)~T{XQX W, T, X, U c W{T~U|XQX W, T, X, V c W{T{X{VQX W, T, X, W c (T~X)|(W{W)QX W, U, P, Q c (W{U)~Q{PQX W, U, P, R c W{(U{P)~RQX W, U, P, T c (W|P)~T|UQX W, U, P, U c U~U|W{PQX W, U, Q, P c (W{U)~Q{PQX W, U, Q, R c W~(U|Q)|RQX W, U, Q, S c W~S|UQQX W, U, Q, T c W~UQ{TQX W, U, Q, V c W{UQ~VQX W, U, Q, W c (W~W|U)QQX W, U, Q, X c W{U~Q{XQX W, U, R, P c W{(U{P)~RQX W, U, R, Q c W~(U|Q)|RQX W, U, R, R c W{U~R{RQX W, U, R, S c W{U~S|RQX W, U, R, T c W{U{R~TQX W, U, R, V c W{(U|R)~VQX W, U, R, X c W|U{R~XQX W, U, S, Q c W~S|UQQX W, U, S, R c W{U~S|RQX W, U, S, T c (W|S)~U{TQX W, U, S, W c (W|UW)~SQX W, U, S, X c W~S{U|XQX W, U, T, P c (W|P)~T|UQX W, U, T, Q c W~UQ{TQX W, U, T, R c W{U{T~RQX W, U, T, S c (W|S)~U{TQX W, U, T, T c (W~T)|(U{T)QX W, U, T, V c U~T|W{VQX W, U, T, W c U~T|WWQX W, U, T, X c W{U~T|XQX W, U, U, P c U~U|W{PQX W, U, U, X c W{U{U{XQX W, U, V, Q c W{U~VQQX W, U, V, R c W{(U|R)~VQX W, U, V, T c (U~V)|(W{T)QX W, U, V, W c W{U{V{WQX W, U, V, X c W{V~(X|U)QX W, U, W, Q c (W~W|U)QQX W, U, W, S c (W|UW)~SQX W, U, W, T c U~T|WWQX W, U, W, V c W{U{W{VQX W, U, X, Q c W{U~Q{XQX W, U, X, R c W|U{X~RQX W, U, X, S c W~S{U|XQX W, U, X, T c W{U~T|XQX W, U, X, U c W{U{X{UQX W, U, X, V c W{(X|U)~VQX W, V, O, R c W{(V{O)~RQX W, V, P, Q c W{V~(P{Q)QX W, V, P, R c W{V~P~RQX W, V, P, S c W{V~(S|P)QX W, V, Q, P c W{V~(Q{P)QX W, V, Q, Q c (W~V{Q)QQX W, V, Q, R c W~R{V|QQX W, V, Q, S c (V{QW)~SQX W, V, Q, T c W{V~(T|Q)QX W, V, Q, U c W{VQ~UQX W, V, Q, V c W{V{Q~VQX W, V, Q, X c WQ~X|VQX W, V, R, O c W{V~R{OQX W, V, R, P c W{V~R~PQX W, V, R, Q c W~R{V|QQX W, V, R, R c W~(V|R)|RQX W, V, R, S c (W{S)~R|VQX W, V, R, U c W{V~(U|R)QX W, V, R, V c (WV{R)~VQX W, V, R, X c W{VR~XQX W, V, S, P c W{V~(S|P)QX W, V, S, Q c (V{QW)~SQX W, V, S, R c (W{S)~R|VQX W, V, S, S c W~S|V{SQX W, V, S, T c W~(V|S){TQX W, V, S, V c W{(V|S)~VQX W, V, S, W c WW{V~SQX W, V, S, X c (W|S)~X|VQX W, V, T, Q c W{V~(T|Q)QX W, V, T, S c W~(V|S){TQX W, V, T, U c V{T~U|WQX W, V, T, W c W{V~(W|T)QX W, V, T, X c W{V{T{XQX W, V, U, Q c W{V~UQQX W, V, U, R c W{V~(U|R)QX W, V, U, T c (V~U)|(W{T)QX W, V, U, W c W{V{U{WQX W, V, U, X c W{V~(X|U)QX W, V, V, Q c W{V{V~QQX W, V, V, R c (WV{R)~VQX W, V, V, S c W{V~(V|S)QX W, V, V, V c W{V{V{VQX W, V, W, S c WW{V~SQX W, V, W, T c W{V~(W|T)QX W, V, W, U c W{V{W{UQX W, V, X, Q c W~XQ|VQX W, V, X, R c W{V~XRQX W, V, X, S c (W|S)~X|VQX W, V, X, T c W{V{X{TQX W, V, X, U c W{V~(X|U)QX W, W, P, R c W{(W|P)~RQX W, W, Q, R c (W{W)~Q|RQX W, W, Q, T c W{W~Q{TQX W, W, Q, U c (W~W|U)QQX W, W, R, P c W{(W|P)~RQX W, W, R, Q c (W{W)~Q|RQX W, W, R, R c W{W~R|RQX W, W, R, S c W~(W|S)|RQX W, W, R, T c W~(R{TW)QX W, W, S, R c W~(W|S)|RQX W, W, S, T c W~S|W{TQX W, W, S, U c (W|UW)~SQX W, W, S, V c WW{S~VQX W, W, S, X c W{W{S{XQX W, W, T, Q c W{W~Q{TQX W, W, T, R c (W~T)|(W{R)QX W, W, T, S c W~S|W{TQX W, W, T, T c W~(W|T){TQX W, W, T, U c T~U|WWQX W, W, T, V c W{(W|T)~VQX W, W, T, W c W{W{T{WQX W, W, T, X c (T~X)|(W{W)QX W, W, U, Q c (W~W|U)QQX W, W, U, S c (W|UW)~SQX W, W, U, T c U~T|WWQX W, W, U, V c W{W{U{VQX W, W, V, S c WW{V~SQX W, W, V, T c W~W|V~TQX W, W, V, U c W{W{V{UQX W, W, W, T c W{W{W{TQX W, W, X, S c W{W{X{SQX W, W, X, T c (X~T)|(W{W)QX W, X, P, S c X~S|W{PQX W, X, Q, Q c (W{Q)~Q{XQX W, X, Q, R c W{(X|Q)~RQX W, X, Q, S c W~Q{X{SQX W, X, Q, T c (W{X)~Q|TQX W, X, Q, U c W{X{Q~UQX W, X, Q, V c W~XQ|VQX W, X, R, Q c W{(X|Q)~RQX W, X, R, S c W{X{R~SQX W, X, R, T c W~XR{TQX W, X, R, U c W{X~R|UQX W, X, R, V c W{XR~VQX W, X, R, X c W{X{R{XQX W, X, S, P c X~S|W{PQX W, X, S, Q c W~Q{X{SQX W, X, S, R c W{X{S~RQX W, X, S, T c (W|S)~T{XQX W, X, S, U c W~S|X{UQX W, X, S, V c (W|S)~X|VQX W, X, S, W c W{X{S{WQX W, X, T, Q c (W{X)~Q|TQX W, X, T, R c W~(X|T)|RQX W, X, T, S c (W|S)~T{XQX W, X, T, U c W~(X|U){TQX W, X, T, V c W{X{T{VQX W, X, T, W c (X~T)|(W{W)QX W, X, U, Q c W{X{U~QQX W, X, U, R c W{X~R|UQX W, X, U, S c W~S|X{UQX W, X, U, T c W~(X|U){TQX W, X, U, U c W{X{U{UQX W, X, U, V c W{(X|U)~VQX W, X, V, Q c W~XQ|VQX W, X, V, R c W{X~VRQX W, X, V, S c (W|S)~X|VQX W, X, V, T c W{X{V{TQX W, X, V, U c W{(X|U)~VQX W, X, W, S c W{X{W{SQX W, X, W, T c (X~T)|(W{W)QX W, X, X, R c W{X{X{RQX X, O, Q, R c (X{O)~R{QQX X, O, R, Q c (X{O)~R{QQX X, O, S, T c X{O{S~TQX X, O, S, V c (X{O)~S|VQX X, O, T, S c X{O{T~SQX X, O, V, S c (X{O)~S|VQX X, P, P, R c (X{P)~R|PQX X, P, Q, Q c X~(P{Q){QQX X, P, Q, R c X~P~R{QQX X, P, Q, S c (X|Q)~S{PQX X, P, Q, T c (X{T)~Q{PQX X, P, Q, U c (X{U)~Q|PQX X, P, Q, X c (X{P)~Q{XQX X, P, R, P c (X{P)~R|PQX X, P, R, Q c X~P~R{QQX X, P, R, R c X~R|P{RQX X, P, R, S c (X|P)~S|RQX X, P, R, T c X{(P{R)~TQX X, P, R, V c X|P{R~VQX X, P, S, Q c X~(S|P){QQX X, P, S, R c (X|P)~S|RQX X, P, S, S c X{(P{S)~SQX X, P, S, T c X{P~S~TQX X, P, S, U c (X~S)|(P{U)QX X, P, S, V c X~P~S|VQX X, P, S, W c X~S{P|WQX X, P, T, Q c (X{T)~Q{PQX X, P, T, R c X{(P{R)~TQX X, P, T, S c X{P~T~SQX X, P, T, T c X{(T|P)~TQX X, P, T, V c X~(T|P)|VQX X, P, U, Q c (X{U)~Q|PQX X, P, U, S c X{(U|P)~SQX X, P, V, R c X|P{V~RQX X, P, V, S c X~P~S|VQX X, P, V, T c X~(T|P)|VQX X, P, W, S c X~S{P|WQX X, P, X, Q c X{(P{X)~QQX X, Q, O, R c (X{O)~R{QQX X, Q, P, Q c X~(Q{P){QQX X, Q, P, R c X~P~R{QQX X, Q, P, S c (X|Q)~S{PQX X, Q, P, T c (X{T)~Q{PQX X, Q, P, U c (X{U)~Q|PQX X, Q, P, X c X{Q~(P{X)QX X, Q, Q, P c X~(Q{P){QQX X, Q, Q, T c X{(Q{Q)~TQX X, Q, Q, U c XQ~U{QQX X, Q, Q, V c (X{Q)~Q{VQX X, Q, Q, W c X{Q~(Q{W)QX X, Q, Q, X c X{Q{Q~XQX X, Q, R, O c X~R{Q{OQX X, Q, R, P c X~R{Q~PQX X, Q, R, R c (X{QR)~RQX X, Q, R, S c X{(Q{R)~SQX X, Q, R, T c (X{R)~Q{TQX X, Q, R, U c X{Q{R~UQX X, Q, R, V c X{Q~(R{V)QX X, Q, R, W c (X|Q)~R{WQX X, Q, R, X c X~(QX{R)QX X, Q, S, P c (X|Q)~S{PQX X, Q, S, R c X{(Q{R)~SQX X, Q, S, T c (X~S)|(Q{T)QX X, Q, S, U c X{Q~(S{U)QX X, Q, S, V c X~Q{S{VQX X, Q, S, W c X{Q~W{SQX X, Q, S, X c X~S{Q|XQX X, Q, T, P c (X{T)~Q{PQX X, Q, T, Q c X{Q~T~QQX X, Q, T, R c (X{R)~Q{TQX X, Q, T, S c (X~S)|(Q{T)QX X, Q, T, T c X{Q~(T{T)QX X, Q, T, U c (X|Q)~T|UQX X, Q, T, V c (X~V|T)QQX X, Q, T, W c X{TQ~WQX X, Q, U, P c (X{U)~Q|PQX X, Q, U, Q c XQ~U{QQX X, Q, U, R c X{Q{U~RQX X, Q, U, S c X{Q~(U{S)QX X, Q, U, T c X~Q{U{TQX X, Q, U, U c Q{U~U|XQX X, Q, U, V c X{Q~V{UQX X, Q, U, W c X{Q~U{WQX X, Q, U, X c (X|U)~X{QQX X, Q, V, Q c (X{Q)~Q{VQX X, Q, V, R c X{Q~(V{R)QX X, Q, V, S c X~Q{V{SQX X, Q, V, T c (X~V|T)QQX X, Q, V, U c X{Q~V{UQX X, Q, V, V c (X{V~V)QQX X, Q, V, W c XQ~W|VQX X, Q, V, X c (X{X)~Q|VQX X, Q, W, Q c X{(Q{W)~QQX X, Q, W, R c X~Q{W{RQX X, Q, W, S c X{Q~W{SQX X, Q, W, T c (X{W)~Q|TQX X, Q, W, U c X{Q~U{WQX X, Q, W, V c XQ~W|VQX X, Q, X, P c X{Q~(X{P)QX X, Q, X, Q c X{Q{X~QQX X, Q, X, R c X~(QX{R)QX X, Q, X, S c X~S{Q|XQX X, Q, X, U c X~(X|U){QQX X, Q, X, V c (X{X)~Q|VQX X, Q, X, X c X{Q{X{XQX X, R, O, Q c X~R{O{QQX X, R, P, P c X~R{P{PQX X, R, P, Q c X~R{P~QQX X, R, P, R c X~R|P{RQX X, R, P, S c (X|P)~S|RQX X, R, P, T c X{(R{P)~TQX X, R, P, V c X~(R{P)|VQX X, R, Q, O c X~R{Q{OQX X, R, Q, P c X~R{Q~PQX X, R, Q, R c (X{QR)~RQX X, R, Q, S c X{(R{Q)~SQX X, R, Q, T c (X{R)~Q{TQX X, R, Q, U c X{R~U{QQX X, R, Q, V c X{(R{V)~QQX X, R, Q, W c (X|Q)~R{WQX X, R, Q, X c X~(R{QX)QX X, R, R, P c X~R{R|PQX X, R, R, Q c (X{QR)~RQX X, R, R, T c X~R|R{TQX X, R, R, U c X~R{URQX X, R, R, V c (X{R)~R|VQX X, R, S, P c (X|P)~S|RQX X, R, S, Q c X~R{S|QQX X, R, S, S c (X~S)|(R{S)QX X, R, S, T c (X|R)~S{TQX X, R, S, U c X~R|S{UQX X, R, S, W c X{R~S{WQX X, R, T, P c (X|R)~T|PQX X, R, T, Q c (X{R)~Q{TQX X, R, T, R c X~R{T|RQX X, R, T, S c (X|R)~S{TQX X, R, T, T c X{R~T{TQX X, R, T, V c X~R|T{VQX X, R, T, W c XR~W{TQX X, R, U, Q c X{R~U{QQX X, R, U, R c X~R{URQX X, R, U, S c X~R{U|SQX X, R, U, V c (X|R)~U|VQX X, R, U, W c X~R|U{WQX X, R, U, X c (X{UX)~RQX X, R, V, P c X{R~V|PQX X, R, V, Q c X{(R{V)~QQX X, R, V, R c (X{R)~R|VQX X, R, V, T c X~R{V|TQX X, R, V, U c (X|R)~U|VQX X, R, V, V c X~(V|R)|VQX X, R, V, W c XR~V{WQX X, R, V, X c X~R|V{XQX X, R, W, Q c (X|Q)~R{WQX X, R, W, S c X{R~W|SQX X, R, W, T c XR~W{TQX X, R, W, U c X~R{W|UQX X, R, W, V c XR~V{WQX X, R, W, X c X{R{W{XQX X, R, X, Q c XR~X{QQX X, R, X, U c (X~X{U)RQX X, R, X, V c X{R~X|VQX X, R, X, W c X{R{X{WQX X, S, O, T c X{(S{O)~TQX X, S, O, V c X~S{O|VQX X, S, P, Q c X~(S|P){QQX X, S, P, R c (X|P)~S|RQX X, S, P, S c X{(S{P)~SQX X, S, P, T c X{S~P~TQX X, S, P, U c (X~S)|(P{U)QX X, S, P, V c X~S|P~VQX X, S, P, W c X~S{P|WQX X, S, Q, P c X~(S|P){QQX X, S, Q, R c (X{S)~Q{RQX X, S, Q, T c (X~S)|(Q{T)QX X, S, Q, U c X{(S{U)~QQX X, S, Q, V c X{S~(V|Q)QX X, S, Q, W c X{S{Q~WQX X, S, Q, X c X~S{Q|XQX X, S, R, P c (X|P)~S|RQX X, S, R, Q c X{S~(R{Q)QX X, S, R, S c (X~S)|(R{S)QX X, S, R, T c (X|R)~S{TQX X, S, R, U c (X{SU)~RQX X, S, R, W c X{S~R{WQX X, S, S, P c X{S~(S{P)QX X, S, S, R c (X~S)|(S{R)QX X, S, S, S c X{S{S~SQX X, S, S, T c (X|S)~T{SQX X, S, S, U c X|S{S~UQX X, S, S, V c (X|VS)~SQX X, S, S, X c (X|S)~S{XQX X, S, T, O c X{S~T{OQX X, S, T, P c X{S~T~PQX X, S, T, Q c (X~S)|(T{Q)QX X, S, T, R c (X|R)~S{TQX X, S, T, S c (X|S)~T{SQX X, S, T, T c (XT{S)~TQX X, S, T, W c X{T~(W|S)QX X, S, U, P c X{S~(U|P)QX X, S, U, Q c X{(S{U)~QQX X, S, U, R c (X{SU)~RQX X, S, U, S c X{S~U|SQX X, S, U, V c (X|S)~V|UQX X, S, U, W c S~W|X{UQX X, S, V, O c X~S|V{OQX X, S, V, P c X~S|V~PQX X, S, V, Q c X{S~(V|Q)QX X, S, V, S c (X|VS)~SQX X, S, V, U c (X|S)~V|UQX X, S, V, W c X{S~V|WQX X, S, V, X c X{S{V{XQX X, S, W, P c X~S|W{PQX X, S, W, Q c X{S{W~QQX X, S, W, R c X{S~(W|R)QX X, S, W, T c X{(W|S)~TQX X, S, W, U c S~W|X{UQX X, S, W, V c X{S~V|WQX X, S, W, W c X{S{W{WQX X, S, X, Q c X~S|X{QQX X, S, X, S c X{S~(X|S)QX X, S, X, V c X{S{X{VQX X, T, O, S c X{(T{O)~SQX X, T, P, Q c (X{T)~Q{PQX X, T, P, R c X{T~(P{R)QX X, T, P, S c X{T~P~SQX X, T, P, T c X{(T|P)~TQX X, T, P, V c X~(T|P)|VQX X, T, Q, P c (X{T)~Q{PQX X, T, Q, Q c X{T~(Q{Q)QX X, T, Q, R c (X{R)~Q{TQX X, T, Q, S c (X~S)|(T{Q)QX X, T, Q, T c X{(T{T)~QQX X, T, Q, U c X{T~(U|Q)QX X, T, Q, V c (X~V|T)QQX X, T, Q, W c X{TQ~WQX X, T, R, P c X{T~(R{P)QX X, T, R, Q c (X{R)~Q{TQX X, T, R, R c X~R{T|RQX X, T, R, S c (X|R)~S{TQX X, T, R, T c X{T{R~TQX X, T, R, V c X{T~(V|R)QX X, T, R, W c (X|T)~W|RQX X, T, S, O c X{T~S{OQX X, T, S, P c X{T~S~PQX X, T, S, Q c (X~S)|(T{Q)QX X, T, S, R c (X|R)~S{TQX X, T, S, S c X~T|S~SQX X, T, S, T c (XT{S)~TQX X, T, S, W c X{T~(W|S)QX X, T, T, P c X{T~(T|P)QX X, T, T, Q c X{(T{T)~QQX X, T, T, R c X{T{T~RQX X, T, T, S c (XT{S)~TQX X, T, T, T c X{T~T|TQX X, T, T, U c (X|T)~U{TQX X, T, T, X c (X|T)~T{XQX X, T, U, Q c X{T~(U|Q)QX X, T, U, T c (X|T)~U{TQX X, T, U, W c (X|U)~W{TQX X, T, U, X c X{T{U{XQX X, T, V, P c (X|T)~V{PQX X, T, V, Q c (X~V|T)QQX X, T, V, R c X{T~(V|R)QX X, T, V, W c X{T{V{WQX X, T, V, X c (X~T)|(V{X)QX X, T, W, Q c X{T~WQQX X, T, W, R c (X|T)~W|RQX X, T, W, S c X{T~(W|S)QX X, T, W, U c (X|U)~W{TQX X, T, W, V c X{T{W{VQX X, T, W, W c (X~T)|(W{W)QX X, T, X, T c X{T~(X|T)QX X, T, X, U c X{T{X{UQX X, T, X, V c (X|T)~X|VQX X, U, P, Q c (X{U)~Q|PQX X, U, P, S c X{(U|P)~SQX X, U, Q, P c (X{U)~Q|PQX X, U, Q, Q c X~UQ{QQX X, U, Q, R c X{U~R{QQX X, U, Q, S c X{(U{S)~QQX X, U, Q, T c X{(U|Q)~TQX X, U, Q, U c U~U|X{QQX X, U, Q, V c X{U{Q~VQX X, U, Q, W c X{U~Q{WQX X, U, Q, X c (X|U)~X{QQX X, U, R, Q c X{U~R{QQX X, U, R, R c X~R{URQX X, U, R, S c X~R{U|SQX X, U, R, V c (X|R)~U|VQX X, U, R, W c X~R|U{WQX X, U, R, X c (X{UX)~RQX X, U, S, P c X{(U|P)~SQX X, U, S, Q c X{(U{S)~QQX X, U, S, R c (X{SU)~RQX X, U, S, S c X{U~S|SQX X, U, S, V c (X|S)~V|UQX X, U, S, W c U{S~W|XQX X, U, T, Q c X{(U|Q)~TQX X, U, T, T c X~U|T~TQX X, U, T, W c (X|U)~W{TQX X, U, T, X c X{U{T{XQX X, U, U, Q c U~U|X{QQX X, U, U, W c X{U{U{WQX X, U, V, Q c X{U{V~QQX X, U, V, R c (X|R)~U|VQX X, U, V, S c (X|S)~V|UQX X, U, V, V c X{U{V{VQX X, U, V, W c (X|U)~V{WQX X, U, W, Q c X{U~Q{WQX X, U, W, R c X~R|U{WQX X, U, W, S c U{W~S|XQX X, U, W, T c (X|U)~W{TQX X, U, W, U c X{U{W{UQX X, U, W, V c (X|U)~V{WQX X, U, X, Q c (X|U)~X{QQX X, U, X, R c (X{UX)~RQX X, U, X, T c X{U{X{TQX X, V, O, S c (X{O)~S|VQX X, V, P, R c X{V~R|PQX X, V, P, S c X~P~S|VQX X, V, P, T c (X|T)~V{PQX X, V, Q, Q c (X{Q)~Q{VQX X, V, Q, R c (X{V)~Q|RQX X, V, Q, S c X{(V|Q)~SQX X, V, Q, T c (X~V|T)QQX X, V, Q, U c X{V~Q{UQX X, V, Q, V c (X{V~V)QQX X, V, Q, W c XQ~W|VQX X, V, Q, X c (X{X)~Q|VQX X, V, R, P c X{V~R|PQX X, V, R, Q c X{(V{R)~QQX X, V, R, R c (X{R)~R|VQX X, V, R, T c X{(V|R)~TQX X, V, R, U c (X|R)~U|VQX X, V, R, V c X~(V|R)|VQX X, V, R, W c X~VR{WQX X, V, R, X c X|V{R~XQX X, V, S, O c X~S|V{OQX X, V, S, P c X~S|V~PQX X, V, S, Q c X~(V|S){QQX X, V, S, S c (X|VS)~SQX X, V, S, U c (X|S)~V|UQX X, V, S, W c X{V~S|WQX X, V, S, X c X{V{S{XQX X, V, T, P c (X|T)~V{PQX X, V, T, Q c (X~V|T)QQX X, V, T, R c X{(V|R)~TQX X, V, T, W c X{V{T{WQX X, V, T, X c (X~T)|(V{X)QX X, V, U, Q c X{V~Q{UQX X, V, U, R c (X|R)~U|VQX X, V, U, S c (X|S)~V|UQX X, V, U, V c X{V{U{VQX X, V, U, W c (X|U)~V{WQX X, V, V, Q c (X{V~V)QQX X, V, V, R c X~(V|R)|VQX X, V, V, U c X{V{V{UQX X, V, W, Q c X~WQ|VQX X, V, W, R c X~VR{WQX X, V, W, S c X{V~S|WQX X, V, W, T c X{V{W{TQX X, V, W, U c (X|U)~V{WQX X, V, X, Q c (X{X)~Q|VQX X, V, X, R c X|V{X~RQX X, V, X, S c X{V{X{SQX X, V, X, T c X~(X|T)|VQX X, W, P, S c X~S|W{PQX X, W, Q, Q c X{(W{Q)~QQX X, W, Q, R c X~Q{W{RQX X, W, Q, S c X{W~Q{SQX X, W, Q, T c (X{W)~Q|TQX X, W, Q, U c X{W{Q~UQX X, W, Q, V c X~WQ|VQX X, W, R, Q c X~Q{W{RQX X, W, R, S c X{W{R~SQX X, W, R, T c X~WR{TQX X, W, R, U c X~R{W|UQX X, W, R, V c XR~V{WQX X, W, R, X c X{W{R{XQX X, W, S, P c X~S|W{PQX X, W, S, Q c X{W~Q{SQX X, W, S, R c X{W{S~RQX X, W, S, T c X{(W|S)~TQX X, W, S, U c W~S|X{UQX X, W, S, V c X|W{S~VQX X, W, S, W c X{W{S{WQX X, W, T, Q c X{W~TQQX X, W, T, R c X~WR{TQX X, W, T, S c X{(W|S)~TQX X, W, T, U c (X|U)~W{TQX X, W, T, V c X{W{T{VQX X, W, T, W c (X~T)|(W{W)QX X, W, U, Q c X{W{U~QQX X, W, U, R c X~R{W|UQX X, W, U, S c W~S|X{UQX X, W, U, T c (X|U)~W{TQX X, W, U, U c X{W{U{UQX X, W, U, V c (X|U)~V{WQX X, W, V, Q c X~WQ|VQX X, W, V, R c X~VR{WQX X, W, V, S c X|W{V~SQX X, W, V, T c X{W{V{TQX X, W, V, U c (X|U)~V{WQX X, W, W, S c X{W{W{SQX X, W, W, T c (X~T)|(W{W)QX X, W, X, R c X{W{X{RQX X, X, P, Q c X{(X{P)~QQX X, X, Q, P c X{(X{P)~QQX X, X, Q, Q c X{X~Q{QQX X, X, Q, R c X~XR{QQX X, X, Q, S c X~S|X{QQX X, X, Q, U c X~(X|U){QQX X, X, Q, V c (X{X)~Q|VQX X, X, Q, X c X{X{Q{XQX X, X, R, Q c X~XR{QQX X, X, R, U c (X~X{U)RQX X, X, R, V c X{X~R|VQX X, X, R, W c X{X{R{WQX X, X, S, Q c X~S|X{QQX X, X, S, S c X{(X|S)~SQX X, X, S, V c X{X{S{VQX X, X, T, T c X{(X|T)~TQX X, X, T, U c X{X{T{UQX X, X, T, V c X~(X|T)|VQX X, X, U, Q c X~(X|U){QQX X, X, U, R c (X~X{U)RQX X, X, U, T c X{X{U{TQX X, X, V, Q c (X{X)~Q|VQX X, X, V, R c X{X~R|VQX X, X, V, S c X{X{V{SQX X, X, V, T c X~(X|T)|VQX X, X, W, R c X{X{W{RQX X, X, X, Q c X{X{X{QQX