O, O, T, T c O{O{T~TQT O, P, R, W c O{P{R~WQT O, P, S, T c (O{P{S)~TQT O, P, S, U c O{P{S~UQT O, P, T, S c (O{P{S)~TQT O, P, T, T c O{P~T~TQT O, P, T, U c (O{T)~(U|P)QT O, P, U, S c O{P{U~SQT O, P, U, T c (O{U|P)~TQT O, P, W, R c O{P{W~RQT O, Q, R, T c (O{Q{R)~TQT O, Q, R, X c O{R~X|QQT O, Q, T, R c (O{Q{R)~TQT O, Q, T, T c O~Q{T~TQT O, Q, T, V c (O{T)~(V|Q)QT O, Q, V, T c (O{V|Q)~TQT O, Q, V, X c O{Q~X{VQT O, Q, W, X c O{Q~W{XQT O, Q, X, R c O{X~R|QQT O, Q, X, V c O{Q~X{VQT O, Q, X, W c O{Q~W{XQT O, R, P, W c O{R~W{PQT O, R, Q, T c (O{R{Q)~TQT O, R, Q, X c O{R~X|QQT O, R, S, V c O{R~V{SQT O, R, T, Q c (O{R{Q)~TQT O, R, T, T c O~R{T~TQT O, R, T, W c (O{T)~(W|R)QT O, R, U, V c O{R~U{VQT O, R, V, S c O{R~V{SQT O, R, V, U c O{R~U{VQT O, R, W, P c O{R~W{PQT O, R, W, T c (O{W|R)~TQT O, R, X, Q c O{R~X|QQT O, S, P, T c (O{S{P)~TQT O, S, P, U c O{S~U{PQT O, S, R, V c O{S{R~VQT O, S, S, X c O{S~S{XQT O, S, T, P c (O{S{P)~TQT O, S, T, T c O{S~T{TQT O, S, T, X c (O{T)~(X|S)QT O, S, U, P c O{S~U{PQT O, S, V, R c O{S{V~RQT O, S, V, W c O{S~W|VQT O, S, W, V c O{S~W|VQT O, S, X, S c O{S~S{XQT O, S, X, T c (O{X|S)~TQT O, T, O, T c (O{T{O)~TQT O, T, P, S c (O{T)~(P{S)QT O, T, P, T c O{T~P~TQT O, T, P, U c (O{T)~(U|P)QT O, T, Q, R c (O{T)~(Q{R)QT O, T, Q, T c O~Q{T~TQT O, T, Q, V c (O{T)~(V|Q)QT O, T, R, Q c (O{T)~(R{Q)QT O, T, R, T c O~R{T~TQT O, T, R, W c (O{T)~(W|R)QT O, T, S, P c (O{T)~(S{P)QT O, T, S, T c O{T{S~TQT O, T, S, X c (O{T)~(X|S)QT O, T, T, O c O{T~T{OQT O, T, T, P c O{T~T~PQT O, T, T, Q c O~Q{T~TQT O, T, T, R c O~R{T~TQT O, T, T, S c O{T{T~SQT O, T, T, T c O~T{T~TQT O, T, T, U c O{T~U|TQT O, T, T, V c O~V{T~TQT O, T, T, W c O~W{T~TQT O, T, T, X c O~X{T~TQT O, T, U, P c (O{T)~(U|P)QT O, T, U, T c O{T~U|TQT O, T, V, Q c (O{T)~(V|Q)QT O, T, V, T c O~V{T~TQT O, T, W, R c (O{T)~(W|R)QT O, T, W, T c O~W{T~TQT O, T, X, S c (O{T)~(X|S)QT O, T, X, T c O~X{T~TQT O, U, P, S c O{U~S{PQT O, U, P, T c (O{U|P)~TQT O, U, R, V c O{U~R{VQT O, U, S, P c O{U~S{PQT O, U, T, P c (O{U|P)~TQT O, U, T, T c O{U~T|TQT O, U, V, R c O{U~R{VQT O, V, Q, T c (O{V|Q)~TQT O, V, Q, X c O{V{Q~XQT O, V, R, S c O{V~R{SQT O, V, R, U c O{V{R~UQT O, V, S, R c O{V~S|RQT O, V, S, W c O{S~W|VQT O, V, T, Q c (O{V|Q)~TQT O, V, T, T c O~V{T~TQT O, V, U, R c O{V{U~RQT O, V, W, S c O{W~S|VQT O, V, X, Q c O{V{X~QQT O, V, X, X c O{V{X{XQT O, W, P, R c O{W~R{PQT O, W, Q, X c O{W~Q{XQT O, W, R, P c O{W~R{PQT O, W, R, T c (O{W|R)~TQT O, W, S, V c O{W~S|VQT O, W, T, R c (O{W|R)~TQT O, W, T, T c O~W{T~TQT O, W, V, S c O{W~S|VQT O, W, W, X c O{W{W{XQT O, W, X, Q c O{W~Q{XQT O, W, X, W c O{W{X{WQT O, X, Q, R c O{X~R|QQT O, X, Q, V c O{X~Q{VQT O, X, Q, W c O{X{Q~WQT O, X, R, Q c O{X~R|QQT O, X, S, S c O{X{S~SQT O, X, S, T c (O{X|S)~TQT O, X, T, S c (O{X|S)~TQT O, X, T, T c O~X{T~TQT O, X, V, Q c O{X~Q{VQT O, X, V, X c O{X{V{XQT O, X, W, Q c O{X{W~QQT O, X, W, W c O{X{W{WQT O, X, X, V c O{X{X{VQT P, O, R, W c P{O{R~WQT P, O, S, T c (P{O{S)~TQT P, O, S, U c P{O{S~UQT P, O, T, S c (P{O{S)~TQT P, O, T, T c (P{O)~(T~T)QT P, O, T, U c (O{T)~(U|P)QT P, O, U, S c P{O{U~SQT P, O, U, T c (O{U|P)~TQT P, O, W, R c P{O{W~RQT P, P, Q, W c P{(P{Q)~WQT P, P, R, T c (P{P{R)~TQT P, P, R, U c P{(P{R)~UQT P, P, R, V c P{(P{V)~RQT P, P, R, W c P{P~R~WQT P, P, R, X c P{R~(X|P)QT P, P, S, S c (P{S)~(P{S)QT P, P, S, T c (P{P~S)~TQT P, P, S, U c P{P~S~UQT P, P, S, V c P{S~(V|P)QT P, P, S, W c P{(S|P)~WQT P, P, T, R c (P{P{R)~TQT P, P, T, S c P{(P{T)~SQT P, P, T, T c P|P{T~TQT P, P, T, U c P{(T|P)~UQT P, P, T, V c T~(V|P|P)QT P, P, U, R c P{(P{R)~UQT P, P, U, S c P{P~U~SQT P, P, U, T c (P~U|P)~TQT P, P, U, U c (U|P)~(U|P)QT P, P, V, R c P{(P{V)~RQT P, P, V, S c P{(V|P)~SQT P, P, V, T c (V|P|P)~TQT P, P, V, X c (P{P)~X{VQT P, P, W, Q c P{(P{Q)~WQT P, P, W, R c P{P~W~RQT P, P, W, S c P{W~(S|P)QT P, P, W, X c (P{P)~W{XQT P, P, X, R c P{(X|P)~RQT P, P, X, V c (P{P)~X{VQT P, P, X, W c (P{P)~W{XQT P, Q, P, W c P{(Q{P)~WQT P, Q, Q, T c (P{Q{Q)~TQT P, Q, Q, U c P{(Q{Q)~UQT P, Q, Q, X c (P{Q)~X|QQT P, Q, R, S c P{Q~R~SQT P, Q, R, T c (P~Q{R)~TQT P, Q, R, U c P{(Q{U)~RQT P, Q, R, W c (P{W)~R|QQT P, Q, R, X c P{Q~(R{X)QT P, Q, S, R c P{Q~S~RQT P, Q, S, S c P{(Q{S)~SQT P, Q, S, T c (Q|P{S)~TQT P, Q, S, U c Q|P{S~UQT P, Q, S, V c (P{Q)~V{SQT P, Q, S, W c P{Q~(S{W)QT P, Q, S, X c Q~(S{X)|PQT P, Q, T, Q c (P{Q{Q)~TQT P, Q, T, R c (P~Q{R)~TQT P, Q, T, S c (Q|P{S)~TQT P, Q, T, T c (Q|P)~(T~T)QT P, Q, T, U c (P{U|Q)~TQT P, Q, T, V c P{Q~(T{V)QT P, Q, T, W c P{(T|Q)~WQT P, Q, T, X c (P{X)~Q{TQT P, Q, U, Q c P{Q~U~QQT P, Q, U, R c P{(Q{U)~RQT P, Q, U, S c Q|P{U~SQT P, Q, U, T c (P{U|Q)~TQT P, Q, U, U c P{Q~(U{U)QT P, Q, U, V c (P{Q)~U{VQT P, Q, U, W c P{UQ~WQT P, Q, U, X c P{Q~X{UQT P, Q, V, S c (P{Q)~V{SQT P, Q, V, T c P{Q~(V{T)QT P, Q, V, U c (P{Q)~U{VQT P, Q, V, V c (P{V~V)QQT P, Q, V, W c (P{W)~Q{VQT P, Q, V, X c P~Q~X{VQT P, Q, W, P c (P{Q)~W{PQT P, Q, W, R c (P{W)~R|QQT P, Q, W, S c P{Q~(W{S)QT P, Q, W, T c (P{WQ)~TQT P, Q, W, U c P{WQ~UQT P, Q, W, V c (P{W)~Q{VQT P, Q, W, W c P{Q~W{WQT P, Q, W, X c P~Q~W{XQT P, Q, X, Q c (P{Q)~X|QQT P, Q, X, R c P{Q~(X{R)QT P, Q, X, S c Q~(X{S)|PQT P, Q, X, T c (P{X)~Q{TQT P, Q, X, U c P{Q~X{UQT P, Q, X, V c P~Q~X{VQT P, Q, X, W c P~Q~W{XQT P, Q, X, X c Q~(X|P){XQT P, R, O, W c P{(R{O)~WQT P, R, P, T c (P{R{P)~TQT P, R, P, U c P{(R{P)~UQT P, R, P, V c P{R~(P{V)QT P, R, P, W c P{R~P~WQT P, R, P, X c P{R~(X|P)QT P, R, Q, S c P{R~Q~SQT P, R, Q, T c (P~R{Q)~TQT P, R, Q, U c P{R~(Q{U)QT P, R, Q, W c (P{W)~R|QQT P, R, Q, X c P{(R{X)~QQT P, R, R, S c P{(R{R)~SQT P, R, R, T c P{R~(R{T)QT P, R, R, V c P{R{R~VQT P, R, R, W c (PR{W)~RQT P, R, R, X c P{R~X|RQT P, R, S, Q c P{R~S~QQT P, R, S, R c P{(R{R)~SQT P, R, S, S c P{R~(S{S)QT P, R, S, U c (P{U)~R{SQT P, R, S, V c P~R~V{SQT P, R, S, W c (P{S)~(W|R)QT P, R, S, X c (P{R)~S{XQT P, R, T, P c (P{R{P)~TQT P, R, T, Q c (P~R{Q)~TQT P, R, T, R c P{(R{T)~RQT P, R, T, T c (P{R)~T{TQT P, R, T, V c (P{T)~R{VQT P, R, T, W c (P~T)~(W|R)QT P, R, T, X c P{R~T{XQT P, R, U, P c (P{R)~U{PQT P, R, U, Q c P{R~(U{Q)QT P, R, U, S c (P{U)~R{SQT P, R, U, U c P{R~U{UQT P, R, U, V c P~R~U{VQT P, R, U, W c P{(U|R)~WQT P, R, V, P c P{R~(V{P)QT P, R, V, R c P{R{V~RQT P, R, V, S c P~R~V{SQT P, R, V, T c (P{V|R)~TQT P, R, V, U c P~R~U{VQT P, R, V, V c R~(V|P){VQT P, R, V, W c (P{R)~W|VQT P, R, V, X c (R|P)~X{VQT P, R, W, O c P{R~W{OQT P, R, W, P c P{R~W~PQT P, R, W, Q c (P{W)~R|QQT P, R, W, R c (PR{W)~RQT P, R, W, S c (P{S)~(W|R)QT P, R, W, T c (P~W|R)~TQT P, R, W, U c P{W~(U|R)QT P, R, W, V c (P{R)~W|VQT P, R, W, W c (PW{R)~WQT P, R, W, X c P{WR~XQT P, R, X, P c P{R~(X|P)QT P, R, X, Q c P{(R{X)~QQT P, R, X, R c P{R~X|RQT P, R, X, S c (P{R)~S{XQT P, R, X, T c P{R~T{XQT P, R, X, V c (R|P)~X{VQT P, R, X, W c P{XR~WQT P, S, O, T c (P{S{O)~TQT P, S, O, U c P{(S{O)~UQT P, S, P, S c (P{S)~(P{S)QT P, S, P, T c P{S~(P{T)QT P, S, P, U c P{S~P~UQT P, S, P, V c P{S~(V|P)QT P, S, P, W c P{(S|P)~WQT P, S, Q, R c (P{S)~(Q{R)QT P, S, Q, S c P{(S{Q)~SQT P, S, Q, T c (S|P{Q)~TQT P, S, Q, U c S~U|P{QQT P, S, Q, V c (P{S)~(V|Q)QT P, S, Q, W c P{(S{W)~QQT P, S, Q, X c (S|P)~X|QQT P, S, R, Q c (P{S)~(R{Q)QT P, S, R, R c P{S~(R{R)QT P, S, R, S c P{(S{S)~RQT P, S, R, U c (P{U)~S|RQT P, S, R, V c P~S{R~VQT P, S, R, W c (P{S)~(W|R)QT P, S, R, X c P{S~(X|R)QT P, S, S, P c (P{S)~(S{P)QT P, S, S, Q c P{S~(S{Q)QT P, S, S, R c P{(S{S)~RQT P, S, S, T c P{S{S~TQT P, S, S, U c (PS{U)~SQT P, S, S, V c P{S~V|SQT P, S, S, W c P{S~S{WQT P, S, S, X c P~S~S{XQT P, S, T, O c (P{S)~(T{O)QT P, S, T, P c P{S~(T{P)QT P, S, T, Q c (S|P{Q)~TQT P, S, T, S c P{S{T~SQT P, S, T, T c P~S~T{TQT P, S, T, U c (P{S)~U|TQT P, S, T, W c (P{W|S)~TQT P, S, T, X c (P~T)~(X|S)QT P, S, U, O c P{S~U{OQT P, S, U, P c (P{S)~(U|P)QT P, S, U, Q c S~U|P{QQT P, S, U, R c (P{U)~S|RQT P, S, U, S c (PS{U)~SQT P, S, U, T c (P{S)~U|TQT P, S, U, U c (PU{S)~UQT P, S, U, V c (S|P)~U{VQT P, S, U, W c P{U~(W|S)QT P, S, U, X c (U|P)~(X|S)QT P, S, V, P c P{S~(V|P)QT P, S, V, Q c (P{S)~(V|Q)QT P, S, V, R c P~S{V~RQT P, S, V, S c P{S~V|SQT P, S, V, U c (S|P)~U{VQT P, S, V, V c (P{V)~S|VQT P, S, V, W c P~S~W|VQT P, S, V, X c S~(X|P)|VQT P, S, W, P c P{(S|P)~WQT P, S, W, Q c P{(S{W)~QQT P, S, W, R c (P{S)~(W|R)QT P, S, W, S c P{S~S{WQT P, S, W, T c (P{W|S)~TQT P, S, W, U c P{(W|S)~UQT P, S, W, V c P~S~W|VQT P, S, W, W c P{S~W|WQT P, S, X, Q c (S|P)~X|QQT P, S, X, R c P{S~(X|R)QT P, S, X, S c (P{S)~(X|S)QT P, S, X, T c (P~X|S)~TQT P, S, X, U c (X|S)~(U|P)QT P, S, X, V c S~(X|P)|VQT P, T, O, S c (P{O{S)~TQT P, T, O, T c (P~T{O)~TQT P, T, O, U c (T{O)~(U|P)QT P, T, P, R c (P{P{R)~TQT P, T, P, S c P{(T{P)~SQT P, T, P, T c (P{T|P)~TQT P, T, P, U c P{(T|P)~UQT P, T, P, V c T~(V|P|P)QT P, T, Q, Q c (P{Q{Q)~TQT P, T, Q, R c (P~T)~(Q{R)QT P, T, Q, S c T~(Q|P{S)QT P, T, Q, T c T~(Q|P)~TQT P, T, Q, U c (P{U|Q)~TQT P, T, Q, V c P{(T{V)~QQT P, T, Q, W c P{(T|Q)~WQT P, T, Q, X c (P{X)~(TQ)QT P, T, R, P c (P{R{P)~TQT P, T, R, Q c (P~T)~(R{Q)QT P, T, R, R c P{(T{R)~RQT P, T, R, T c (P{R)~T{TQT P, T, R, V c (P{T)~R{VQT P, T, R, W c (P~T)~(W|R)QT P, T, R, X c P{T~R{XQT P, T, S, O c (P{S)~(T{O)QT P, T, S, P c (P{T)~S{PQT P, T, S, Q c T~(S|P{Q)QT P, T, S, S c P{T~S{SQT P, T, S, T c P~T{S~TQT P, T, S, U c (P{S)~U|TQT P, T, S, W c (P{W|S)~TQT P, T, S, X c (P~T)~(X|S)QT P, T, T, O c P~T~T{OQT P, T, T, P c P{T~T|PQT P, T, T, Q c (T~T)~(Q|P)QT P, T, T, R c (P{R)~T{TQT P, T, T, S c P~T{T~SQT P, T, T, T c (P{T)~T|TQT P, T, T, U c P~T~U|TQT P, T, T, V c T~(V|P)|TQT P, T, T, X c (P{X|T)~TQT P, T, U, O c T~(U|P){OQT P, T, U, P c (P~T)~(U|P)QT P, T, U, Q c (P{U|Q)~TQT P, T, U, S c (P{S)~U|TQT P, T, U, T c P~T~U|TQT P, T, U, U c P{T~U|UQT P, T, U, X c P{U~(X|T)QT P, T, V, P c T~(V|P|P)QT P, T, V, Q c P{(T{V)~QQT P, T, V, R c (P{T)~R{VQT P, T, V, T c T~(V|P)|TQT P, T, V, W c (T|P)~W|VQT P, T, V, X c (T~V)|(P{X)QT P, T, W, Q c P{(T|Q)~WQT P, T, W, R c (P~T)~(W|R)QT P, T, W, S c (P{W|S)~TQT P, T, W, V c (T|P)~W|VQT P, T, W, W c P{(W|T)~WQT P, T, X, Q c (P{X)~(TQ)QT P, T, X, R c P{T~R{XQT P, T, X, S c (P~T)~(X|S)QT P, T, X, T c (P{X|T)~TQT P, T, X, U c P{(X|T)~UQT P, T, X, V c (T~V)|(P{X)QT P, U, O, S c P{(U{O)~SQT P, U, O, T c (U|P{O)~TQT P, U, P, R c P{U~(P{R)QT P, U, P, S c P{U~P~SQT P, U, P, T c (P~U|P)~TQT P, U, P, U c (U|P)~(U|P)QT P, U, Q, Q c P{U~(Q{Q)QT P, U, Q, R c P{(U{Q)~RQT P, U, Q, S c U~S|P{QQT P, U, Q, T c (P{U|Q)~TQT P, U, Q, U c P{(U|Q)~UQT P, U, Q, V c (P{Q)~U{VQT P, U, Q, W c P{UQ~WQT P, U, Q, X c P{U{Q~XQT P, U, R, P c P{U~(R{P)QT P, U, R, Q c P{(U{Q)~RQT P, U, R, S c (P{U)~R{SQT P, U, R, U c P{U{R~UQT P, U, R, V c P~U~R{VQT P, U, R, W c P{(U|R)~WQT P, U, S, O c P{U~S{OQT P, U, S, P c P{U~S~PQT P, U, S, Q c U~S|P{QQT P, U, S, R c (P{U)~S|RQT P, U, S, S c (PS{U)~SQT P, U, S, T c (P{S)~U|TQT P, U, S, U c (PU{S)~UQT P, U, S, V c U~(S|P){VQT P, U, S, W c P{U~(W|S)QT P, U, S, X c (U|P)~(X|S)QT P, U, T, O c (U|P)~(T{O)QT P, U, T, P c P{U~(T|P)QT P, U, T, Q c (P{U|Q)~TQT P, U, T, S c (P{S)~U|TQT P, U, T, T c P~U~T|TQT P, U, T, U c P{U~T|UQT P, U, T, X c P{U~(X|T)QT P, U, U, P c (U|P)~(U|P)QT P, U, U, Q c P{(U{U)~QQT P, U, U, R c P{U{U~RQT P, U, U, S c (PU{S)~UQT P, U, U, T c P{U~T|UQT P, U, V, Q c (P{Q)~U{VQT P, U, V, R c P{U~(V|R)QT P, U, V, S c U~(S|P){VQT P, U, W, Q c P{U~WQQT P, U, W, R c P{(U|R)~WQT P, U, W, S c P{U~(W|S)QT P, U, W, X c P{W~(X|U)QT P, U, X, Q c P{U{X~QQT P, U, X, S c (U|P)~(X|S)QT P, U, X, T c P{U~(X|T)QT P, U, X, W c P{(X|U)~WQT P, U, X, X c P{U{X{XQT P, V, P, R c P{(V{P)~RQT P, V, P, S c P{(V|P)~SQT P, V, P, T c (V|P|P)~TQT P, V, P, X c (P{P)~X{VQT P, V, Q, S c (P{Q)~V{SQT P, V, Q, T c (P~V|Q)~TQT P, V, Q, U c (P{Q)~U{VQT P, V, Q, V c (P{V~V)QQT P, V, Q, W c (P{W)~Q{VQT P, V, Q, X c (P{V)~Q{XQT P, V, R, P c (P{V)~R{PQT P, V, R, R c P{V~R{RQT P, V, R, S c P~V~R{SQT P, V, R, T c (P{V|R)~TQT P, V, R, U c P{(V|R)~UQT P, V, R, V c (V|P)~R{VQT P, V, R, W c (P{R)~W|VQT P, V, R, X c V{(R|P)~XQT P, V, S, P c P{(V|P)~SQT P, V, S, Q c (P{S)~(V|Q)QT P, V, S, R c P~V~S|RQT P, V, S, S c P{V~S|SQT P, V, S, U c V{(S|P)~UQT P, V, S, V c (P{V)~S|VQT P, V, S, W c P{(V|S)~WQT P, V, S, X c S~(X|P)|VQT P, V, T, P c (V|P|P)~TQT P, V, T, Q c P{(V{T)~QQT P, V, T, R c (P{V|R)~TQT P, V, T, T c (V|P)~T|TQT P, V, T, W c (T|P)~W|VQT P, V, T, X c (V~T)|(P{X)QT P, V, U, Q c (P{Q)~U{VQT P, V, U, R c P~V{U~RQT P, V, U, S c V{U~(S|P)QT P, V, V, Q c (P{V~V)QQT P, V, V, R c (V|P)~R{VQT P, V, V, S c (P{V)~S|VQT P, V, W, Q c (P{W)~Q{VQT P, V, W, R c (P{R)~W|VQT P, V, W, S c P{(V|S)~WQT P, V, W, T c W~(T|P)|VQT P, V, W, X c P{V{W{XQT P, V, X, P c (P{P)~X{VQT P, V, X, Q c P~V{X~QQT P, V, X, R c V{X~(R|P)QT P, V, X, S c (X|P)~S|VQT P, V, X, T c (V~T)|(P{X)QT P, V, X, W c P{V{X{WQT P, V, X, X c P~V{X{XQT P, W, O, R c P{(W{O)~RQT P, W, P, Q c P{W~(P{Q)QT P, W, P, R c P{W~P~RQT P, W, P, S c P{W~(S|P)QT P, W, P, X c (P{P)~W{XQT P, W, Q, P c P{W~(Q{P)QT P, W, Q, R c (P{W)~R|QQT P, W, Q, S c P{(W|Q)~SQT P, W, Q, T c (P{WQ)~TQT P, W, Q, U c P{WQ~UQT P, W, Q, V c (P{W)~Q{VQT P, W, Q, W c P{W{Q~WQT P, W, Q, X c P~W~Q{XQT P, W, R, O c P{W~R{OQT P, W, R, P c P{W~R~PQT P, W, R, Q c (P{W)~R|QQT P, W, R, R c (PR{W)~RQT P, W, R, S c (P{S)~(W|R)QT P, W, R, T c (P~W|R)~TQT P, W, R, U c P{W~(U|R)QT P, W, R, V c (P{R)~W|VQT P, W, R, W c (PW{R)~WQT P, W, R, X c P{WR~XQT P, W, S, P c P{W~(S|P)QT P, W, S, Q c P{(W{S)~QQT P, W, S, R c (P{S)~(W|R)QT P, W, S, S c P{W{S~SQT P, W, S, T c (P{W|S)~TQT P, W, S, U c P{(W|S)~UQT P, W, S, V c P~W~S|VQT P, W, S, W c P{W~S|WQT P, W, T, Q c P{W~(T|Q)QT P, W, T, R c (P~W|R)~TQT P, W, T, S c (P{W|S)~TQT P, W, T, V c W~(T|P)|VQT P, W, T, W c P{(W|T)~WQT P, W, U, Q c P{W~UQQT P, W, U, R c P{W~(U|R)QT P, W, U, S c P{(W|S)~UQT P, W, U, X c P{W~(X|U)QT P, W, V, Q c (P{W)~Q{VQT P, W, V, R c (P{R)~W|VQT P, W, V, S c P{W~(V|S)QT P, W, V, T c W~(T|P)|VQT P, W, V, X c P{W{V{XQT P, W, W, Q c P{W{W~QQT P, W, W, R c (PW{R)~WQT P, W, W, S c P{W~S|WQT P, W, W, T c P{W~(W|T)QT P, W, W, W c P{W{W{WQT P, W, W, X c P~W{W{XQT P, W, X, P c (P{P)~W{XQT P, W, X, Q c P~W~Q{XQT P, W, X, R c P{W~XRQT P, W, X, U c P{W~(X|U)QT P, W, X, V c P{W{X{VQT P, W, X, W c P~W{X{WQT P, W, X, X c W|P{X{XQT P, X, P, R c P{(X|P)~RQT P, X, P, V c (P{P)~X{VQT P, X, P, W c (P{P)~W{XQT P, X, Q, Q c (P{Q)~X|QQT P, X, Q, R c P{(X{R)~QQT P, X, Q, S c X~(S|P)|QQT P, X, Q, T c (P{X)~Q{TQT P, X, Q, U c P{X~Q{UQT P, X, Q, V c P~X~Q{VQT P, X, Q, W c P~X{Q~WQT P, X, Q, X c (X|P)~Q{XQT P, X, R, P c P{(X|P)~RQT P, X, R, Q c P{(X{R)~QQT P, X, R, R c P{X~R|RQT P, X, R, S c P{(X|R)~SQT P, X, R, T c P{X{R~TQT P, X, R, V c X~(R|P){VQT P, X, R, W c P{XR~WQT P, X, S, Q c X~(S|P)|QQT P, X, S, R c P{(X|R)~SQT P, X, S, S c P~X{S~SQT P, X, S, T c (P~X|S)~TQT P, X, S, U c (X|S)~(U|P)QT P, X, S, V c (X|P)~S|VQT P, X, T, Q c (P{X)~(TQ)QT P, X, T, R c P{X{T~RQT P, X, T, S c (P~X|S)~TQT P, X, T, T c (P{X|T)~TQT P, X, T, U c P{(X|T)~UQT P, X, T, V c (T~V)|(P{X)QT P, X, U, Q c P{X~Q{UQT P, X, U, S c (X|S)~(U|P)QT P, X, U, T c P{(X|T)~UQT P, X, U, W c P{(X|U)~WQT P, X, U, X c P{X{U{XQT P, X, V, P c (P{P)~X{VQT P, X, V, Q c P~X~Q{VQT P, X, V, R c X~(R|P){VQT P, X, V, S c (X|P)~S|VQT P, X, V, T c (V~T)|(P{X)QT P, X, V, W c P{X{V{WQT P, X, V, X c P~X{V{XQT P, X, W, P c (P{P)~W{XQT P, X, W, Q c P~X{W~QQT P, X, W, R c P{X~WRQT P, X, W, U c P{(X|U)~WQT P, X, W, V c P{X{W{VQT P, X, W, W c P~X{W{WQT P, X, W, X c X|P{W{XQT P, X, X, Q c (X|P)~Q{XQT P, X, X, U c P{X{X{UQT P, X, X, V c P~X{X{VQT P, X, X, W c X|P{X{WQT Q, O, R, T c (Q{O{R)~TQT Q, O, R, X c O{R~X|QQT Q, O, T, R c (Q{O{R)~TQT Q, O, T, T c Q~O{T~TQT Q, O, T, V c (O{T)~(V|Q)QT Q, O, V, T c (O{V|Q)~TQT Q, O, V, X c (Q{O)~X{VQT Q, O, W, X c (Q{O)~W{XQT Q, O, X, R c O{X~R|QQT Q, O, X, V c (Q{O)~X{VQT Q, O, X, W c (Q{O)~W{XQT Q, P, P, W c (Q{P)~W{PQT Q, P, Q, T c (Q{P{Q)~TQT Q, P, Q, U c (Q{Q)~U{PQT Q, P, Q, X c (Q{P)~X|QQT Q, P, R, S c (Q{R)~(P{S)QT Q, P, R, T c (Q{P~R)~TQT Q, P, R, U c (Q{R)~(U|P)QT Q, P, R, W c Q|P{R~WQT Q, P, R, X c Q~(R{X){PQT Q, P, S, R c Q~S~R{PQT Q, P, S, S c (Q{S)~S{PQT Q, P, S, T c (Q|P{S)~TQT Q, P, S, U c Q|P{S~UQT Q, P, S, V c (Q{P)~V{SQT Q, P, S, W c Q~(S{W){PQT Q, P, S, X c Q~(S{X)|PQT Q, P, T, Q c (Q{P{Q)~TQT Q, P, T, R c (Q{P~R)~TQT Q, P, T, S c (Q|P{S)~TQT Q, P, T, T c (Q|P)~(T~T)QT Q, P, T, U c (P{U|Q)~TQT Q, P, T, V c Q~(T{V){PQT Q, P, T, W c Q~(T{W)|PQT Q, P, T, X c Q~(P{X){TQT Q, P, U, Q c Q~U~Q{PQT Q, P, U, R c (Q{U)~R{PQT Q, P, U, S c Q|P{U~SQT Q, P, U, T c (P{U|Q)~TQT Q, P, U, U c Q~(U{U){PQT Q, P, U, V c (Q{P)~U{VQT Q, P, U, W c P{UQ~WQT Q, P, U, X c Q~X{P{UQT Q, P, V, S c (Q{P)~V{SQT Q, P, V, T c Q~(V{T){PQT Q, P, V, U c (Q{P)~U{VQT Q, P, V, V c (P{V~V)QQT Q, P, V, W c Q~(P{W){VQT Q, P, V, X c Q~(P{V){XQT Q, P, W, P c (Q{P)~W{PQT Q, P, W, R c Q|P{W~RQT Q, P, W, S c Q~(W{S){PQT Q, P, W, T c Q~(W{T)|PQT Q, P, W, U c P{WQ~UQT Q, P, W, V c Q~(P{W){VQT Q, P, W, W c Q~W{P{WQT Q, P, W, X c Q~P~W{XQT Q, P, X, Q c (Q{P)~X|QQT Q, P, X, R c Q~(X{R){PQT Q, P, X, S c Q~(X{S)|PQT Q, P, X, T c Q~(P{X){TQT Q, P, X, U c Q~X{P{UQT Q, P, X, V c Q~P~X{VQT Q, P, X, W c Q~P~W{XQT Q, P, X, X c Q~(X|P){XQT Q, Q, P, T c (Q{Q{P)~TQT Q, Q, P, U c (Q{Q)~U{PQT Q, Q, P, X c (Q{P)~X|QQT Q, Q, R, R c (Q{R)~(Q{R)QT Q, Q, R, V c Q{Q{R~VQT Q, Q, R, W c QQ{R~WQT Q, Q, R, X c Q~(Q{X){RQT Q, Q, S, T c (QQ{S)~TQT Q, Q, S, U c QQ{S~UQT Q, Q, S, X c (Q{Q)~S{XQT Q, Q, T, P c (Q{Q{P)~TQT Q, Q, T, S c (QQ{S)~TQT Q, Q, T, T c (Q{Q)~T{TQT Q, Q, T, U c (Q{UQ)~TQT Q, Q, T, W c Q~(Q{W){TQT Q, Q, T, X c Q{Q~X{TQT Q, Q, U, P c (Q{Q)~U{PQT Q, Q, U, S c QQ{U~SQT Q, Q, U, T c (Q{UQ)~TQT Q, Q, U, W c (Q{U~W)QQT Q, Q, U, X c Q~(Q{U){XQT Q, Q, V, R c Q{Q{V~RQT Q, Q, V, V c Q~(Q{V){VQT Q, Q, V, W c Q{Q~W{VQT Q, Q, V, X c Q{Q~V{XQT Q, Q, W, R c QQ{W~RQT Q, Q, W, T c Q~(Q{W){TQT Q, Q, W, U c (Q{W~U)QQT Q, Q, W, V c Q{Q~W{VQT Q, Q, W, X c Q~(W{XQ)QT Q, Q, X, P c (Q{P)~X|QQT Q, Q, X, R c Q~(Q{X){RQT Q, Q, X, S c (Q{Q)~S{XQT Q, Q, X, T c Q{Q~X{TQT Q, Q, X, U c Q~(Q{U){XQT Q, Q, X, V c Q{Q~V{XQT Q, Q, X, W c Q~(XQ{W)QT Q, Q, X, X c Q~X|Q{XQT Q, R, O, T c (Q{R{O)~TQT Q, R, O, X c (R{O)~X|QQT Q, R, P, S c (Q{R)~(P{S)QT Q, R, P, T c (Q{R)~(P~T)QT Q, R, P, U c (Q{R)~(U|P)QT Q, R, P, W c Q{R~W|PQT Q, R, P, X c Q~(R{X){PQT Q, R, Q, R c (Q{R)~(Q{R)QT Q, R, Q, V c Q{R~V{QQT Q, R, Q, W c QQ{R~WQT Q, R, Q, X c Q~(Q{X){RQT Q, R, R, Q c (Q{R)~(R{Q)QT Q, R, R, R c R~R~R|QQT Q, R, R, U c R~(R{U)|QQT Q, R, R, V c Q~R~R{VQT Q, R, R, W c (Q{R)~(W|R)QT Q, R, R, X c R~(X|QR)QT Q, R, S, P c (Q{R)~(S{P)QT Q, R, S, T c Q{R{S~TQT Q, R, S, U c R|Q{S~UQT Q, R, S, V c (Q{S)~R{VQT Q, R, S, X c Q{R~X|SQT Q, R, T, O c (Q{R)~(T{O)QT Q, R, T, P c (Q{R)~(T~P)QT Q, R, T, S c Q{R{T~SQT Q, R, T, T c Q~R~T|TQT Q, R, T, U c Q{R~U{TQT Q, R, T, V c Q~(R{V){TQT Q, R, T, W c Q{R~T{WQT Q, R, T, X c Q~(R{T){XQT Q, R, U, P c (Q{R)~(U|P)QT Q, R, U, R c (R{U)~R|QQT Q, R, U, S c R|Q{U~SQT Q, R, U, T c Q{R~U{TQT Q, R, U, V c Q~(R{U){VQT Q, R, U, W c Q~(U{W)|RQT Q, R, U, X c R~U|Q{XQT Q, R, V, Q c Q{R~V{QQT Q, R, V, R c Q~R~R{VQT Q, R, V, S c Q~(V{S){RQT Q, R, V, T c Q~(R{V){TQT Q, R, V, U c Q~(R{U){VQT Q, R, V, V c Q~(V{V)|RQT Q, R, V, W c Q~V{R{WQT Q, R, W, P c Q{R~W|PQT Q, R, W, Q c QQ{R~WQT Q, R, W, R c (Q{R)~(W|R)QT Q, R, W, T c Q{R~T{WQT Q, R, W, U c Q~W{R{UQT Q, R, W, V c Q~V{R{WQT Q, R, W, X c (Q{X)~R|WQT Q, R, X, O c R~X|Q{OQT Q, R, X, P c Q~(R{X){PQT Q, R, X, Q c (Q{X)~Q{RQT Q, R, X, R c R~(X|QR)QT Q, R, X, S c Q{R~X|SQT Q, R, X, T c Q~(R{T){XQT Q, R, X, U c R~U|Q{XQT Q, R, X, W c (Q{X)~R|WQT Q, R, X, X c (R|QX)~XQT Q, S, P, R c Q~S~R{PQT Q, S, P, S c (Q{S)~S{PQT Q, S, P, T c (Q{S|P)~TQT Q, S, P, U c Q{S~U|PQT Q, S, P, V c (Q{P)~V{SQT Q, S, P, W c Q~(S{W){PQT Q, S, P, X c Q~(S{X)|PQT Q, S, Q, T c (QQ{S)~TQT Q, S, Q, U c QQ{S~UQT Q, S, Q, X c Q~S~Q{XQT Q, S, R, P c Q~S~R{PQT Q, S, R, T c (Q~S|R)~TQT Q, S, R, U c S~U|Q{RQT Q, S, R, V c (Q{S)~R{VQT Q, S, R, X c Q{R~X|SQT Q, S, S, P c (Q{S)~S{PQT Q, S, S, V c Q{S~S{VQT Q, S, S, X c Q~(S{S){XQT Q, S, T, P c (Q{S|P)~TQT Q, S, T, Q c (QQ{S)~TQT Q, S, T, R c Q{S~T{RQT Q, S, T, T c (Q{S)~T|TQT Q, S, T, U c Q~(S{U){TQT Q, S, T, V c Q~(S{T){VQT Q, S, T, W c Q~W{S{TQT Q, S, U, P c Q{S~U|PQT Q, S, U, Q c QQ{S~UQT Q, S, U, R c S~U|Q{RQT Q, S, U, T c Q~(S{U){TQT Q, S, U, V c (Q{U)~S|VQT Q, S, U, W c (QW{U)~SQT Q, S, U, X c Q~U{S{XQT Q, S, V, P c (Q{P)~V{SQT Q, S, V, R c Q~(S{V){RQT Q, S, V, S c Q{S~S{VQT Q, S, V, T c Q{S~V|TQT Q, S, V, U c (Q{U)~S|VQT Q, S, V, V c Q~V{S{VQT Q, S, V, X c (S|Q)~X{VQT Q, S, W, P c Q~(S{W){PQT Q, S, W, T c Q~W{S{TQT Q, S, W, U c (QW{U)~SQT Q, S, W, X c Q{S~W|XQT Q, S, X, P c Q~(S{X)|PQT Q, S, X, Q c Q~S~Q{XQT Q, S, X, R c Q~X{S{RQT Q, S, X, S c Q~(S{S){XQT Q, S, X, U c Q~U{S{XQT Q, S, X, V c (S|Q)~X{VQT Q, S, X, W c Q~S{X{WQT Q, S, X, X c (S~X)|(Q{X)QT Q, T, O, R c (Q{O{R)~TQT Q, T, O, T c Q~O{T~TQT Q, T, O, V c (T{O)~(V|Q)QT Q, T, P, Q c (Q{P{Q)~TQT Q, T, P, R c (Q{P~R)~TQT Q, T, P, S c (Q|P{S)~TQT Q, T, P, T c (Q|P)~(T~T)QT Q, T, P, U c T~(P{U|Q)QT Q, T, P, V c Q~(T{V){PQT Q, T, P, W c Q~(T{W)|PQT Q, T, P, X c Q~(P{X){TQT Q, T, Q, P c (Q{Q{P)~TQT Q, T, Q, S c (QQ{S)~TQT Q, T, Q, T c (Q{T|Q)~TQT Q, T, Q, U c (Q{UQ)~TQT Q, T, Q, W c Q~(Q{W){TQT Q, T, Q, X c Q{T{Q~XQT Q, T, R, O c (Q{R)~(T{O)QT Q, T, R, P c (Q{R)~(T~P)QT Q, T, R, S c (Q{T)~R{SQT Q, T, R, T c Q~T{R~TQT Q, T, R, U c Q{T{R~UQT Q, T, R, V c Q~(R{V){TQT Q, T, R, W c Q{T~R{WQT Q, T, R, X c Q~(T{R){XQT Q, T, S, P c (Q{S|P)~TQT Q, T, S, Q c (QQ{S)~TQT Q, T, S, R c Q{T~S{RQT Q, T, S, T c (Q{S)~T|TQT Q, T, S, U c Q~(S{U){TQT Q, T, S, V c Q~(T{S){VQT Q, T, S, W c Q~W{T{SQT Q, T, T, O c Q~O{T~TQT Q, T, T, P c (Q|P)~(T~T)QT Q, T, T, Q c Q{T~T|QQT Q, T, T, R c Q~T{T~RQT Q, T, T, S c (Q{S)~T|TQT Q, T, T, T c Q~(T{T){TQT Q, T, T, U c T{T~(U|Q)QT Q, T, T, V c T~V|Q~TQT Q, T, T, W c (Q{W|T)~TQT Q, T, T, X c T(Q|XT)QT Q, T, U, P c T~(U|Q{P)QT Q, T, U, Q c (Q{UQ)~TQT Q, T, U, R c Q{T{U~RQT Q, T, U, S c Q~(U{S){TQT Q, T, U, T c T{(U|Q)~TQT Q, T, U, V c Q{T~U|VQT Q, T, U, W c Q~U{T{WQT Q, T, U, X c Q~T{U{XQT Q, T, V, O c T~(V|Q){OQT Q, T, V, P c Q~(T{V){PQT Q, T, V, R c Q~(V{R){TQT Q, T, V, S c Q~(T{S){VQT Q, T, V, T c T~V|Q~TQT Q, T, V, U c Q{T~U|VQT Q, T, V, W c Q~T{V{WQT Q, T, V, X c (Q~V|X)~TQT Q, T, W, P c Q~(T{W)|PQT Q, T, W, Q c (Q{W)~(TQ)QT Q, T, W, R c Q{T~R{WQT Q, T, W, S c Q~W{T{SQT Q, T, W, T c (Q{W|T)~TQT Q, T, W, U c Q~U{T{WQT Q, T, W, V c Q~T{W{VQT Q, T, W, X c T~(X|WQ)QT Q, T, X, P c Q~(X{P){TQT Q, T, X, Q c Q{T{X~QQT Q, T, X, R c Q~(T{X)|RQT Q, T, X, T c T(Q|XT)QT Q, T, X, U c Q~T{X{UQT Q, T, X, V c (Q~V|X)~TQT Q, T, X, W c T~(X|WQ)QT Q, T, X, X c Q{T{X{XQT Q, U, P, Q c Q~U~Q{PQT Q, U, P, R c (Q{U)~R{PQT Q, U, P, S c Q{U~S|PQT Q, U, P, T c (U|Q{P)~TQT Q, U, P, U c Q~(U{U){PQT Q, U, P, V c Q~(U{V)|PQT Q, U, P, W c UQ~W{PQT Q, U, P, X c Q~X{U{PQT Q, U, Q, P c Q~U~Q{PQT Q, U, Q, S c QQ{U~SQT Q, U, Q, T c (Q{UQ)~TQT Q, U, Q, W c (Q{U~W)QQT Q, U, Q, X c (Q{U)~Q{XQT Q, U, R, P c (Q{U)~R{PQT Q, U, R, R c (U{R)~R|QQT Q, U, R, S c U~S|Q{RQT Q, U, R, T c (Q{U|R)~TQT Q, U, R, V c Q~(U{R){VQT Q, U, R, W c Q~(U{W)|RQT Q, U, R, X c U~R|Q{XQT Q, U, S, P c Q{U~S|PQT Q, U, S, Q c QQ{U~SQT Q, U, S, R c U~S|Q{RQT Q, U, S, T c Q~(U{S){TQT Q, U, S, V c (Q{U)~S|VQT Q, U, S, W c (QW{U)~SQT Q, U, S, X c Q~U{S{XQT Q, U, T, P c (U|Q{P)~TQT Q, U, T, Q c (Q{UQ)~TQT Q, U, T, R c Q~(U{T){RQT Q, U, T, S c Q~(U{S){TQT Q, U, T, T c (U|Q)~T{TQT Q, U, T, V c Q{U~T|VQT Q, U, T, W c Q~U{T{WQT Q, U, T, X c Q~(U{X)|TQT Q, U, U, P c Q~(U{U){PQT Q, U, U, V c Q~U{U{VQT Q, U, U, X c (U~U)|(Q{X)QT Q, U, V, P c Q~(U{V)|PQT Q, U, V, R c Q~(U{R){VQT Q, U, V, S c (Q{U)~S|VQT Q, U, V, T c (Q~U|V)~TQT Q, U, V, U c Q~U{V{UQT Q, U, V, W c (U|Q)~W|VQT Q, U, W, P c UQ~W{PQT Q, U, W, Q c (Q{U~W)QQT Q, U, W, R c Q~(U{W)|RQT Q, U, W, S c (QW{U)~SQT Q, U, W, T c Q~U{W{TQT Q, U, W, V c (U|Q)~W|VQT Q, U, W, X c Q{U{W{XQT Q, U, X, P c Q~X{U{PQT Q, U, X, Q c (Q{U)~Q{XQT Q, U, X, R c U~R|Q{XQT Q, U, X, S c Q~U{X{SQT Q, U, X, T c Q~(U{X)|TQT Q, U, X, U c (U~U)|(Q{X)QT Q, U, X, W c Q{U{X{WQT Q, U, X, X c (X|U)~X|QQT Q, V, O, T c (V|Q{O)~TQT Q, V, O, X c (Q{O)~X{VQT Q, V, P, S c (Q{P)~V{SQT Q, V, P, T c Q~(V{T){PQT Q, V, P, U c Q~(V{U)|PQT Q, V, P, V c (V~V{P)QQT Q, V, P, W c Q~(P{W){VQT Q, V, P, X c Q~(V{P){XQT Q, V, Q, R c Q~V~Q|RQT Q, V, Q, V c (Q{V)~Q{VQT Q, V, Q, W c Q{V{Q~WQT Q, V, Q, X c Q{V~Q{XQT Q, V, R, Q c Q{V~R{QQT Q, V, R, R c Q~R~R{VQT Q, V, R, S c Q~(V{S){RQT Q, V, R, T c Q~(V{R){TQT Q, V, R, U c Q~(R{U){VQT Q, V, R, V c Q~(V{V)|RQT Q, V, R, W c Q~V{R{WQT Q, V, S, P c (Q{P)~V{SQT Q, V, S, R c Q~(V{S){RQT Q, V, S, S c Q{V{S~SQT Q, V, S, T c (Q{V|S)~TQT Q, V, S, U c (Q{U)~S|VQT Q, V, S, V c Q~V{S{VQT Q, V, S, X c (V|Q)~(X|S)QT Q, V, T, O c (V|Q)~(T{O)QT Q, V, T, P c Q~(V{T){PQT Q, V, T, R c Q~(V{R){TQT Q, V, T, S c (Q{V|S)~TQT Q, V, T, T c V~T|Q~TQT Q, V, T, U c Q~V{T{UQT Q, V, T, W c Q~(V{W)|TQT Q, V, T, X c (Q~V|X)~TQT Q, V, U, P c Q~(V{U)|PQT Q, V, U, R c Q~(U{R){VQT Q, V, U, S c (Q{U)~S|VQT Q, V, U, T c Q~V{U{TQT Q, V, U, U c Q~U{V{UQT Q, V, U, W c (V~U{W)QQT Q, V, V, P c (V~V{P)QQT Q, V, V, Q c (Q{V)~Q{VQT Q, V, V, R c Q~(V{V)|RQT Q, V, V, S c Q~V{V{SQT Q, V, V, X c Q{V{V{XQT Q, V, W, P c Q~(W{P){VQT Q, V, W, Q c Q{V{W~QQT Q, V, W, R c Q~V{W{RQT Q, V, W, T c Q~(V{W)|TQT Q, V, W, U c (V~W|U)QQT Q, V, W, W c Q{V{W{WQT Q, V, X, O c Q~X{V{OQT Q, V, X, P c Q~(V{P){XQT Q, V, X, Q c Q~V{X{QQT Q, V, X, S c (V|Q)~(X|S)QT Q, V, X, T c (Q~V|X)~TQT Q, V, X, V c Q{V{X{VQT Q, V, X, X c (Q{VX)~XQT Q, W, O, X c Q~W{O{XQT Q, W, P, P c (Q{P)~W{PQT Q, W, P, R c Q{W~R|PQT Q, W, P, S c Q~(W{S){PQT Q, W, P, T c Q~(W{T)|PQT Q, W, P, U c WQ~U{PQT Q, W, P, V c Q~(W{P){VQT Q, W, P, W c Q~W{P{WQT Q, W, P, X c Q~W{P~XQT Q, W, Q, R c QQ{W~RQT Q, W, Q, T c (Q{W)~Q{TQT Q, W, Q, U c (Q{W~U)QQT Q, W, Q, V c Q{W~Q{VQT Q, W, Q, X c Q~(W{XQ)QT Q, W, R, P c Q{W~R|PQT Q, W, R, Q c QQ{W~RQT Q, W, R, R c Q~(W{R){RQT Q, W, R, T c Q{W{R~TQT Q, W, R, U c Q~W{R{UQT Q, W, R, V c Q~V{W{RQT Q, W, R, X c (Q{X)~R|WQT Q, W, S, P c Q~(W{S){PQT Q, W, S, T c Q~W{S{TQT Q, W, S, U c (QW{U)~SQT Q, W, S, X c Q{W~S|XQT Q, W, T, P c Q~(W{T)|PQT Q, W, T, Q c (Q{W)~(TQ)QT Q, W, T, R c Q{W{T~RQT Q, W, T, S c Q~W{T{SQT Q, W, T, T c (Q{W|T)~TQT Q, W, T, U c Q~U{W{TQT Q, W, T, V c Q~(W{V)|TQT Q, W, T, X c (W|T)~X|QQT Q, W, U, P c WQ~U{PQT Q, W, U, Q c (Q{W~U)QQT Q, W, U, R c Q~W{U{RQT Q, W, U, S c (QW{U)~SQT Q, W, U, T c Q~U{W{TQT Q, W, U, V c W~(U|Q)|VQT Q, W, U, X c Q{W{U{XQT Q, W, V, P c Q~(W{P){VQT Q, W, V, Q c Q~W{V{QQT Q, W, V, R c Q~V{W{RQT Q, W, V, T c Q~(W{V)|TQT Q, W, V, U c (W{V~U)QQT Q, W, V, W c Q{W{V{WQT Q, W, W, P c Q~W{W{PQT Q, W, W, V c Q{W{W{VQT Q, W, W, X c (Q{XW)~WQT Q, W, X, O c Q~W{X{OQT Q, W, X, P c Q~W{X~PQT Q, W, X, Q c Q~(W{XQ)QT Q, W, X, R c (Q{X)~R|WQT Q, W, X, S c Q{W~S|XQT Q, W, X, T c (W|T)~X|QQT Q, W, X, U c Q{W{X{UQT Q, W, X, W c (Q{XW)~WQT Q, W, X, X c Q~(W{X)|XQT Q, X, O, R c (X{O)~R|QQT Q, X, O, V c Q~X{O{VQT Q, X, O, W c (Q{O)~W{XQT Q, X, P, Q c (Q{P)~X|QQT Q, X, P, R c Q~(X{R){PQT Q, X, P, S c Q~(X{S)|PQT Q, X, P, T c Q~(X{P){TQT Q, X, P, U c Q~X{P{UQT Q, X, P, V c Q~X{P~VQT Q, X, P, W c Q~X|P{WQT Q, X, P, X c Q~(X|P){XQT Q, X, Q, P c (Q{P)~X|QQT Q, X, Q, R c (Q{X)~Q{RQT Q, X, Q, S c (Q{Q)~S{XQT Q, X, Q, T c Q{X~Q{TQT Q, X, Q, U c Q~(Q{U){XQT Q, X, Q, V c Q{X{Q~VQT Q, X, Q, W c Q~(XQ{W)QT Q, X, Q, X c Q~X|Q{XQT Q, X, R, O c X~R|Q{OQT Q, X, R, P c Q~(X{R){PQT Q, X, R, Q c (Q{X)~Q{RQT Q, X, R, R c (X|QR)~RQT Q, X, R, S c Q{X~R|SQT Q, X, R, T c (Q{XR)~TQT Q, X, R, U c X|Q{R~UQT Q, X, R, W c (Q{X)~R|WQT Q, X, R, X c X~(R|QX)QT Q, X, S, P c Q~(X{S)|PQT Q, X, S, Q c Q~S~Q{XQT Q, X, S, R c Q~X{S{RQT Q, X, S, S c Q~(S{S){XQT Q, X, S, U c Q~U{X{SQT Q, X, S, V c XQ~S{VQT Q, X, S, W c Q~S{X{WQT Q, X, S, X c (X~S)|(Q{X)QT Q, X, T, P c Q~(X{P){TQT Q, X, T, Q c Q~X{T{QQT Q, X, T, R c Q~(X{T)|RQT Q, X, T, T c (X~T{T)QQT Q, X, T, U c (Q{X|U)~TQT Q, X, T, V c (Q~V|X)~TQT Q, X, T, W c (X|WQ)~TQT Q, X, T, X c Q{X{T{XQT Q, X, U, P c Q~X{U{PQT Q, X, U, Q c (Q{U)~Q{XQT Q, X, U, R c X|Q{U~RQT Q, X, U, S c Q~U{X{SQT Q, X, U, T c (Q{X|U)~TQT Q, X, U, U c (U~U)|(Q{X)QT Q, X, U, W c Q{X{U{WQT Q, X, U, X c (X|U)~X|QQT Q, X, V, O c Q~X{V{OQT Q, X, V, P c Q~X{V~PQT Q, X, V, Q c Q{X{V~QQT Q, X, V, S c XQ~S{VQT Q, X, V, T c (Q~V|X)~TQT Q, X, V, V c Q{X{V{VQT Q, X, V, X c (Q{VX)~XQT Q, X, W, O c Q~W{X{OQT Q, X, W, P c Q~X{W|PQT Q, X, W, Q c Q~(XQ{W)QT Q, X, W, R c (Q{X)~R|WQT Q, X, W, S c Q{W~S|XQT Q, X, W, T c (X|WQ)~TQT Q, X, W, U c Q{X{W{UQT Q, X, W, W c (Q{XW)~WQT Q, X, W, X c Q~(X{W)|XQT Q, X, X, P c Q~(X|P){XQT Q, X, X, Q c Q~X{X|QQT Q, X, X, R c X~XR|QQT Q, X, X, S c (X~S)|(Q{X)QT Q, X, X, T c Q{X{X{TQT Q, X, X, U c X~(X|U)|QQT Q, X, X, V c (Q{VX)~XQT Q, X, X, W c Q~(X{W)|XQT Q, X, X, X c X|Q{X{XQT R, O, P, W c (R{O)~W{PQT R, O, Q, T c (R{O{Q)~TQT R, O, Q, X c (R{O)~X|QQT R, O, S, V c (R{O)~V{SQT R, O, T, Q c (R{O{Q)~TQT R, O, T, T c R~O{T~TQT R, O, T, W c (O{T)~(W|R)QT R, O, U, V c (R{O)~U{VQT R, O, V, S c (R{O)~V{SQT R, O, V, U c (R{O)~U{VQT R, O, W, P c (R{O)~W{PQT R, O, W, T c (O{W|R)~TQT R, O, X, Q c (R{O)~X|QQT R, P, O, W c (R{O)~W{PQT R, P, P, T c (R{P{P)~TQT R, P, P, U c (R{P)~U{PQT R, P, P, V c R~(P{V){PQT R, P, P, W c R~P~W{PQT R, P, P, X c (R~X)|(P{P)QT R, P, Q, S c (R{Q)~(P{S)QT R, P, Q, T c (R{P~Q)~TQT R, P, Q, U c (R{Q)~(U|P)QT R, P, Q, W c R~(P{W)|QQT R, P, Q, X c R~P~X|QQT R, P, R, S c (R{R)~S{PQT R, P, R, T c (R|P{R)~TQT R, P, R, V c R{P{R~VQT R, P, R, W c R~(PR{W)QT R, P, R, X c R~X{P|RQT R, P, S, Q c R~S~Q{PQT R, P, S, R c (R{R)~S{PQT R, P, S, S c R~(S{S){PQT R, P, S, U c R~(P{U){SQT R, P, S, V c R~P~V{SQT R, P, S, W c R~(W|P){SQT R, P, S, X c (R{P)~S{XQT R, P, T, P c (R{P{P)~TQT R, P, T, Q c (R{P~Q)~TQT R, P, T, R c (R|P{R)~TQT R, P, T, T c (R{P)~T{TQT R, P, T, V c R~(P{T){VQT R, P, T, W c (P~T)~(W|R)QT R, P, T, X c R~(P{X)|TQT R, P, U, P c (R{P)~U{PQT R, P, U, Q c R~(U{Q){PQT R, P, U, S c R~(P{U){SQT R, P, U, U c R~U{P{UQT R, P, U, V c R~P~U{VQT R, P, U, W c R~U|P{WQT R, P, V, P c R~(P{V){PQT R, P, V, R c R{P{V~RQT R, P, V, S c R~P~V{SQT R, P, V, T c R~(P{T){VQT R, P, V, U c R~P~U{VQT R, P, V, V c R~(V|P){VQT R, P, V, W c (R{P)~W|VQT R, P, V, X c (R|P)~X{VQT R, P, W, O c R~W{P{OQT R, P, W, P c R~P~W{PQT R, P, W, Q c R~(P{W)|QQT R, P, W, R c R~(PR{W)QT R, P, W, S c R~(W|P){SQT R, P, W, T c (P~W|R)~TQT R, P, W, U c R~U|P{WQT R, P, W, V c (R{P)~W|VQT R, P, W, W c (R{PW)~WQT R, P, W, X c (R|P)~W{XQT R, P, X, P c (R~X)|(P{P)QT R, P, X, Q c R~P~X|QQT R, P, X, R c R~X{P|RQT R, P, X, S c (R{P)~S{XQT R, P, X, T c R~(P{X)|TQT R, P, X, V c (R|P)~X{VQT R, P, X, W c (R|P)~W{XQT R, Q, O, T c (R{Q{O)~TQT R, Q, O, X c (R{O)~X|QQT R, Q, P, S c (R{Q)~(P{S)QT R, Q, P, T c (R{Q)~(P~T)QT R, Q, P, U c (R{Q)~(U|P)QT R, Q, P, W c R~(P{W)|QQT R, Q, P, X c R~P~X|QQT R, Q, Q, R c (R{Q)~(Q{R)QT R, Q, Q, V c (R{Q)~(V|Q)QT R, Q, Q, W c R~W{QQQT R, Q, Q, X c R{Q~(Q{X)QT R, Q, R, Q c (R{Q)~(R{Q)QT R, Q, R, R c R~R~R|QQT R, Q, R, U c R~(R{U)|QQT R, Q, R, V c R~Q~R{VQT R, Q, R, W c R{Q~(R{W)QT R, Q, R, X c R~(X|QR)QT R, Q, S, P c (R{Q)~(S{P)QT R, Q, S, T c R{Q{S~TQT R, Q, S, U c R|Q{S~UQT R, Q, S, V c R{Q~(S{V)QT R, Q, S, X c R{Q~X{SQT R, Q, T, O c (R{Q)~(T{O)QT R, Q, T, P c (R{Q)~(T~P)QT R, Q, T, S c R{Q{T~SQT R, Q, T, T c (R|Q)~(T~T)QT R, Q, T, U c R{Q~(T{U)QT R, Q, T, V c (R{V)~Q{TQT R, Q, T, W c R~(Q{W)|TQT R, Q, T, X c (R{T)~Q{XQT R, Q, U, P c (R{Q)~(U|P)QT R, Q, U, R c (R{U)~R|QQT R, Q, U, S c R|Q{U~SQT R, Q, U, T c R{Q~(U{T)QT R, Q, U, V c (R{U)~Q{VQT R, Q, U, W c R~(QU{W)QT R, Q, U, X c R~U|Q{XQT R, Q, V, Q c (R{Q)~(V|Q)QT R, Q, V, R c R~Q~R{VQT R, Q, V, S c R{Q~(V{S)QT R, Q, V, T c (R{V)~Q{TQT R, Q, V, U c R~V|Q{UQT R, Q, V, V c Q~(V{V)|RQT R, Q, V, W c R{Q~V{WQT R, Q, W, P c R~W{Q|PQT R, Q, W, Q c R~W{QQQT R, Q, W, R c R{Q~(W{R)QT R, Q, W, T c R~(Q{W)|TQT R, Q, W, U c R{Q~W{UQT R, Q, W, V c R{Q~V{WQT R, Q, W, X c R~(Q{X)|WQT R, Q, X, O c R~X|Q{OQT R, Q, X, P c (R{X)~Q{PQT R, Q, X, Q c R{(Q{X)~QQT R, Q, X, R c R~(X|QR)QT R, Q, X, S c R{Q~X{SQT R, Q, X, T c (R{T)~Q{XQT R, Q, X, U c R~U|Q{XQT R, Q, X, W c R~(Q{X)|WQT R, Q, X, X c (R|QX)~XQT R, R, P, S c (R{R)~S{PQT R, R, P, T c (R{R|P)~TQT R, R, P, V c R{R~V{PQT R, R, P, W c R~(PR{W)QT R, R, P, X c R~X|R{PQT R, R, Q, Q c (R{Q)~(R{Q)QT R, R, Q, R c R~R~R|QQT R, R, Q, U c R~(R{U)|QQT R, R, Q, V c R~R~Q{VQT R, R, Q, W c R~R{Q~WQT R, R, Q, X c R~(X|QR)QT R, R, R, Q c R~R~R|QQT R, R, R, V c (R{R)~R{VQT R, R, R, W c RR{R~WQT R, R, S, P c (R{R)~S{PQT R, R, S, S c R~(R{S){SQT R, R, S, T c (R~R|S)~TQT R, R, S, U c RR{S~UQT R, R, S, V c R~(SR{V)QT R, R, S, W c R~W|R{SQT R, R, T, P c R~(R{T){PQT R, R, T, S c (R~R|S)~TQT R, R, T, T c (R{R)~T|TQT R, R, T, U c (R{UR)~TQT R, R, T, V c R{R~T{VQT R, R, T, X c R{R~X|TQT R, R, U, Q c R~(R{U)|QQT R, R, U, S c R{R~U{SQT R, R, U, T c (R{UR)~TQT R, R, U, V c R~(U{VR)QT R, R, U, X c R~X|URQT R, R, V, P c R{R~V{PQT R, R, V, Q c R~R~Q{VQT R, R, V, R c (R{R)~R{VQT R, R, V, S c R~(V{SR)QT R, R, V, T c R~(R{V)|TQT R, R, V, U c R~(VR{U)QT R, R, V, V c R~V|R{VQT R, R, V, X c R~R{V{XQT R, R, W, P c R~(W{PR)QT R, R, W, Q c R{(R{W)~QQT R, R, W, R c RR{W~RQT R, R, W, S c R~W|R{SQT R, R, W, W c R~R{W{WQT R, R, W, X c R~(RX{W)QT R, R, X, P c R~X|R{PQT R, R, X, Q c R~(X|QR)QT R, R, X, T c R{R~X|TQT R, R, X, U c R~X|URQT R, R, X, V c R~R{X{VQT R, R, X, W c R~(RX{W)QT R, S, O, V c (R{O)~V{SQT R, S, P, Q c R~S~Q{PQT R, S, P, R c (R{R)~S{PQT R, S, P, S c R~(S{S){PQT R, S, P, U c R~(P{U){SQT R, S, P, V c R~P~V{SQT R, S, P, W c R~(W|P){SQT R, S, P, X c (R{P)~S{XQT R, S, Q, P c R~S~Q{PQT R, S, Q, T c (R{S|Q)~TQT R, S, Q, U c R{S~U|QQT R, S, Q, V c R~(S{Q){VQT R, S, Q, X c R{S{Q~XQT R, S, R, P c (R{R)~S{PQT R, S, R, S c (R{S)~R{SQT R, S, R, T c (R~R|S)~TQT R, S, R, U c R{S{R~UQT R, S, R, V c R~(SR{V)QT R, S, R, W c R~W{S|RQT R, S, S, P c R~(S{S){PQT R, S, S, R c (R{S)~S|RQT R, S, S, T c (S|R{S)~TQT R, S, S, U c R{S~S{UQT R, S, S, V c S~(V|RS)QT R, S, S, W c R~W{SSQT R, S, S, X c R~S{S{XQT R, S, T, Q c R{S~T{QQT R, S, T, R c (R~R|S)~TQT R, S, T, S c (S|R{S)~TQT R, S, T, T c (S|R)~(T~T)QT R, S, T, U c R~(S{U)|TQT R, S, T, V c (R~S|V)~TQT R, S, T, W c R~S{T{WQT R, S, U, P c R~(U{P){SQT R, S, U, Q c R{S~U|QQT R, S, U, R c R{S{U~RQT R, S, U, S c R{S~S{UQT R, S, U, T c R~(S{U)|TQT R, S, U, V c R~S{U{VQT R, S, U, X c R~X{S|UQT R, S, V, O c R~V{S{OQT R, S, V, P c R~V{S~PQT R, S, V, Q c R{(S{V)~QQT R, S, V, R c R~(SR{V)QT R, S, V, S c S~(V|RS)QT R, S, V, T c (R~S|V)~TQT R, S, V, U c R{S~V|UQT R, S, V, V c (R{SV)~VQT R, S, V, W c R~(S{V)|WQT R, S, V, X c S{VR~XQT R, S, W, P c R~(W|P){SQT R, S, W, R c R~W{S|RQT R, S, W, S c R~W{SSQT R, S, W, T c R~S{W{TQT R, S, W, V c R~(S{V)|WQT R, S, W, X c R~X|WSQT R, S, X, P c (R{P)~S{XQT R, S, X, Q c R{S{X~QQT R, S, X, S c R~S{X{SQT R, S, X, U c R~X{S|UQT R, S, X, V c S{XR~VQT R, S, X, W c R~X|WSQT R, S, X, X c R{S{X{XQT R, T, O, Q c (R{O{Q)~TQT R, T, O, T c R~O{T~TQT R, T, O, W c (T{O)~(W|R)QT R, T, P, P c (R{P{P)~TQT R, T, P, Q c (R{P~Q)~TQT R, T, P, R c (R{T)~R{PQT R, T, P, T c (R{P)~T{TQT R, T, P, V c R~(T{P){VQT R, T, P, W c (T~P)~(W|R)QT R, T, P, X c R~T{P{XQT R, T, Q, O c (R{Q)~(T{O)QT R, T, Q, P c (R{Q)~(T~P)QT R, T, Q, S c R~(T{Q){SQT R, T, Q, T c R~T{Q~TQT R, T, Q, U c R{(T{U)~QQT R, T, Q, V c (R{V)~(TQ)QT R, T, Q, W c R~T{Q{WQT R, T, Q, X c (R{T)~Q{XQT R, T, R, P c (R{T)~R{PQT R, T, R, S c (R~R|S)~TQT R, T, R, T c (R{T|R)~TQT R, T, R, U c (R{UR)~TQT R, T, R, V c R{T~R{VQT R, T, R, X c R{R~X|TQT R, T, S, Q c R{T~S{QQT R, T, S, R c (R~R|S)~TQT R, T, S, S c T~(S|R{S)QT R, T, S, T c T~(S|R)~TQT R, T, S, U c R~T{S{UQT R, T, S, V c (R{T)~S|VQT R, T, S, W c R~S{T{WQT R, T, T, O c R~O{T~TQT R, T, T, P c (R{P)~T{TQT R, T, T, Q c R~T{T~QQT R, T, T, R c R{T~T|RQT R, T, T, S c (T~T)~(S|R)QT R, T, T, T c R~T{T{TQT R, T, T, V c (R{V|T)~TQT R, T, T, W c R~W{TTQT R, T, T, X c T~(X|R)|TQT R, T, U, Q c R{(T{U)~QQT R, T, U, R c (R{UR)~TQT R, T, U, S c R~T{U{SQT R, T, U, V c T~(V|UR)QT R, T, U, W c R{T~U|WQT R, T, U, X c (TR)~(U{X)QT R, T, V, P c R~(T{P){VQT R, T, V, Q c (R{V)~(TQ)QT R, T, V, R c R~T{V{RQT R, T, V, S c (R{T)~S|VQT R, T, V, T c (R{V|T)~TQT R, T, V, U c T~(V|UR)QT R, T, V, V c (T~V)|(R{V)QT R, T, V, W c (TR)~(V{W)QT R, T, V, X c R~V|T{XQT R, T, W, O c T~(W|R){OQT R, T, W, P c T~(W|R)~PQT R, T, W, Q c R~T{W{QQT R, T, W, S c R~W{T|SQT R, T, W, T c R~W{TTQT R, T, W, U c R{T~U|WQT R, T, W, V c (TR)~(W{V)QT R, T, W, X c R{T{W{XQT R, T, X, P c R~T{X{PQT R, T, X, Q c (R{T)~Q{XQT R, T, X, R c R~X|T{RQT R, T, X, T c T~(X|R)|TQT R, T, X, U c (TR)~(X{U)QT R, T, X, V c R~X{T|VQT R, T, X, W c R{T{X{WQT R, U, O, V c R~U{O{VQT R, U, P, P c (R{P)~U{PQT R, U, P, Q c R~(U{Q){PQT R, U, P, S c R~(U{P){SQT R, U, P, U c R~U{P{UQT R, U, P, V c R~U{P~VQT R, U, P, W c R~U|P{WQT R, U, Q, P c R~(U{Q){PQT R, U, Q, R c (R{U)~R|QQT R, U, Q, S c R{U~S|QQT R, U, Q, T c R~U{Q{TQT R, U, Q, V c (R{U)~Q{VQT R, U, Q, W c R{U{Q~WQT R, U, Q, X c R~U|Q{XQT R, U, R, Q c (R{U)~R|QQT R, U, R, S c R{U~R{SQT R, U, R, T c (R{UR)~TQT R, U, R, V c R~(U{VR)QT R, U, R, X c R~X|URQT R, U, S, P c R~(U{P){SQT R, U, S, Q c R{U~S|QQT R, U, S, R c R~U{S{RQT R, U, S, S c R{U{S~SQT R, U, S, T c (R{U|S)~TQT R, U, S, V c R~S{U{VQT R, U, S, X c R~X|U{SQT R, U, T, Q c R{(U{T)~QQT R, U, T, R c (R{UR)~TQT R, U, T, S c (R{U|S)~TQT R, U, T, V c T~(V|UR)QT R, U, T, W c R{U~T|WQT R, U, T, X c (U{X)R~TQT R, U, U, P c R~U{U{PQT R, U, U, V c (R{VU)~UQT R, U, U, W c R~W{UUQT R, U, V, O c R~U{V{OQT R, U, V, P c R~U{V~PQT R, U, V, Q c (R{U)~Q{VQT R, U, V, R c R~(U{VR)QT R, U, V, S c R{V~S|UQT R, U, V, T c (V|UR)~TQT R, U, V, U c (R{VU)~UQT R, U, V, W c R~(V{WU)QT R, U, V, X c R{U{V{XQT R, U, W, P c R~U{W|PQT R, U, W, Q c R{U{W~QQT R, U, W, T c R{U~T|WQT R, U, W, U c R~W{UUQT R, U, W, V c R~W|U{VQT R, U, W, W c R{U{W{WQT R, U, W, X c R~X{U|WQT R, U, X, Q c R~U{X|QQT R, U, X, R c R~X|URQT R, U, X, S c R~X|U{SQT R, U, X, T c (U{X)R~TQT R, U, X, V c R{U{X{VQT R, U, X, W c R~X{U|WQT R, U, X, X c R~(X|UX)QT R, V, O, S c R~V{O{SQT R, V, O, U c (R{O)~U{VQT R, V, P, P c R~(V{P){PQT R, V, P, R c R~V{P{RQT R, V, P, S c R~V{P~SQT R, V, P, T c R~V|P{TQT R, V, P, U c R~P~U{VQT R, V, P, V c R~(V|P){VQT R, V, P, W c (R{P)~W|VQT R, V, P, X c (R|P)~X{VQT R, V, Q, Q c R~V{Q{QQT R, V, Q, R c R~Q~R{VQT R, V, Q, S c R{(V{S)~QQT R, V, Q, T c (R{V)~Q{TQT R, V, Q, U c R~V|Q{UQT R, V, Q, V c (V{V)~Q|RQT R, V, Q, W c R{V~Q{WQT R, V, R, P c R{V~R{PQT R, V, R, Q c R~R~Q{VQT R, V, R, R c (R{R)~R{VQT R, V, R, S c R~(V{SR)QT R, V, R, T c R{V{R~TQT R, V, R, U c R~(VR{U)QT R, V, R, V c R~V|R{VQT R, V, R, X c R~R{V{XQT R, V, S, O c R~V{S{OQT R, V, S, P c R~V{S~PQT R, V, S, Q c R{(V{S)~QQT R, V, S, R c R~(V{SR)QT R, V, S, S c (V|RS)~SQT R, V, S, T c (R~S|V)~TQT R, V, S, U c R{V~S|UQT R, V, S, V c (R{SV)~VQT R, V, S, W c R~(V{S)|WQT R, V, S, X c (V|R)~S{XQT R, V, T, P c R~V{T|PQT R, V, T, Q c (R{V)~(TQ)QT R, V, T, R c R{V{T~RQT R, V, T, S c (R{T)~S|VQT R, V, T, T c (R{V|T)~TQT R, V, T, U c (V|UR)~TQT R, V, T, V c (V~T)|(R{V)QT R, V, T, W c (V{W)R~TQT R, V, T, X c R~V|T{XQT R, V, U, O c R~U{V{OQT R, V, U, P c R~U{V~PQT R, V, U, Q c R~V{U|QQT R, V, U, R c R~(VR{U)QT R, V, U, S c R{V~S|UQT R, V, U, T c (V|UR)~TQT R, V, U, U c (R{VU)~UQT R, V, U, W c R~(V{WU)QT R, V, U, X c R{V{U{XQT R, V, V, P c R~(V|P){VQT R, V, V, Q c (V{V)~Q|RQT R, V, V, R c R~V{V|RQT R, V, V, S c (R{SV)~VQT R, V, V, T c (V~T)|(R{V)QT R, V, V, W c R{V{V{WQT R, V, W, P c (R{P)~W|VQT R, V, W, Q c R~V{WQQT R, V, W, S c R~V{W|SQT R, V, W, T c (V{W)R~TQT R, V, W, U c R~(V{WU)QT R, V, W, V c R{V{W{VQT R, V, W, W c R~W|V{WQT R, V, X, P c (R|P)~X{VQT R, V, X, R c R~(X|R){VQT R, V, X, S c VR~X{SQT R, V, X, T c R~V{X|TQT R, V, X, U c R{V{X{UQT R, V, X, X c R~X{V|XQT R, W, O, P c R~W{O{PQT R, W, O, T c (W|R{O)~TQT R, W, P, O c R~W{P{OQT R, W, P, P c R~W{P~PQT R, W, P, Q c R~(W{P)|QQT R, W, P, R c R~(W{PR)QT R, W, P, S c R~(W|P){SQT R, W, P, T c (W|R)~(P~T)QT R, W, P, U c R~U{W|PQT R, W, P, V c (R{P)~W|VQT R, W, P, W c (R{PW)~WQT R, W, P, X c (R|P)~W{XQT R, W, Q, P c R~W{Q|PQT R, W, Q, Q c R~W{QQQT R, W, Q, R c (R{W)~Q{RQT R, W, Q, T c R~(W{Q)|TQT R, W, Q, U c R{W~Q{UQT R, W, Q, V c R{W{Q~VQT R, W, Q, X c R~(Q{X)|WQT R, W, R, P c R~(W{PR)QT R, W, R, Q c R{(W{R)~QQT R, W, R, R c R~W{RRQT R, W, R, S c R~W|R{SQT R, W, R, W c (R{W)~R|WQT R, W, R, X c R~(W{RX)QT R, W, S, P c R~(W|P){SQT R, W, S, R c R~W{S|RQT R, W, S, S c R~W{SSQT R, W, S, T c (R{WS)~TQT R, W, S, V c R~(S{V)|WQT R, W, S, X c R~X|WSQT R, W, T, O c (W|R)~(T{O)QT R, W, T, P c (W|R)~(T~P)QT R, W, T, Q c R~(W{Q)|TQT R, W, T, S c R~W{T|SQT R, W, T, T c R~W{TTQT R, W, T, U c R~W|T{UQT R, W, T, V c (W{V)R~TQT R, W, T, X c R{W{T{XQT R, W, U, P c R~U{W|PQT R, W, U, Q c R{W~Q{UQT R, W, U, T c (R{W|U)~TQT R, W, U, U c R~W{UUQT R, W, U, V c R~W|U{VQT R, W, U, W c R{W{U{WQT R, W, U, X c R~X|W{UQT R, W, V, P c (R{P)~W|VQT R, W, V, Q c R{W{V~QQT R, W, V, S c R~V{W|SQT R, W, V, T c (W{V)R~TQT R, W, V, U c R~W{V|UQT R, W, V, V c R{W{V{VQT R, W, V, W c R~W|V{WQT R, W, W, P c (R{PW)~WQT R, W, W, R c (R{W)~R|WQT R, W, W, U c R{W{W{UQT R, W, W, V c R~W{W|VQT R, W, W, W c R~W{WWQT R, W, W, X c R~W|W{XQT R, W, X, P c (R|P)~W{XQT R, W, X, Q c R~(X{Q)|WQT R, W, X, R c (R{W~X)RQT R, W, X, S c R~X|WSQT R, W, X, T c R{W{X{TQT R, W, X, U c R~X|W{UQT R, W, X, W c R~W{X|WQT R, W, X, X c R~W{XXQT R, X, O, Q c R~X{O|QQT R, X, P, P c (R~X)|(P{P)QT R, X, P, Q c R~X|P~QQT R, X, P, R c R~X{P|RQT R, X, P, S c (R{P)~S{XQT R, X, P, T c R~(X{P)|TQT R, X, P, V c (R|P)~X{VQT R, X, P, W c (R|P)~W{XQT R, X, Q, O c R~X|Q{OQT R, X, Q, P c (R{X)~Q{PQT R, X, Q, Q c R{(X{Q)~QQT R, X, Q, R c R~(X|QR)QT R, X, Q, S c R{X~Q{SQT R, X, Q, T c (R{T)~Q{XQT R, X, Q, U c R~U{X|QQT R, X, Q, W c R~(X{Q)|WQT R, X, Q, X c (R|QX)~XQT R, X, R, P c R~X|R{PQT R, X, R, Q c R~(X|QR)QT R, X, R, T c R{X~R|TQT R, X, R, U c R~X|URQT R, X, R, V c R~(X|R){VQT R, X, R, W c (R{X~W)RQT R, X, S, P c (R{P)~S{XQT R, X, S, Q c R~X|S{QQT R, X, S, S c R~S{X{SQT R, X, S, U c R~X{S|UQT R, X, S, V c XR~V{SQT R, X, S, W c R~X|WSQT R, X, S, X c R{X{S{XQT R, X, T, P c R~(X{P)|TQT R, X, T, Q c (R{T)~Q{XQT R, X, T, R c R~X|T{RQT R, X, T, T c (X|R)~T|TQT R, X, T, U c (X{U)R~TQT R, X, T, V c R~X{T|VQT R, X, T, W c R{X{T{WQT R, X, U, Q c R~U{X|QQT R, X, U, R c R~X|URQT R, X, U, S c R~X|U{SQT R, X, U, T c (X{U)R~TQT R, X, U, V c R{X{U{VQT R, X, U, W c R~X{U|WQT R, X, U, X c R~(X|UX)QT R, X, V, P c (R|P)~X{VQT R, X, V, R c R~(X|R){VQT R, X, V, S c XR~V{SQT R, X, V, T c (R{X|V)~TQT R, X, V, U c R{X{V{UQT R, X, V, X c R~X{V|XQT R, X, W, P c (R|P)~W{XQT R, X, W, Q c R~(X{Q)|WQT R, X, W, R c (R{X~W)RQT R, X, W, S c R~X|WSQT R, X, W, T c R{X{W{TQT R, X, W, U c R~X|W{UQT R, X, W, W c R~W{X|WQT R, X, W, X c R~W{XXQT R, X, X, Q c (R|QX)~XQT R, X, X, S c R{X{X{SQT R, X, X, U c R~(X|UX)QT R, X, X, V c R~X|X{VQT R, X, X, W c R~W{XXQT S, O, P, T c (S{O{P)~TQT S, O, P, U c (S{O)~U{PQT S, O, R, V c S{O{R~VQT S, O, S, X c (S{O)~S{XQT S, O, T, P c (S{O{P)~TQT S, O, T, T c (S{O)~T{TQT S, O, T, X c (O{T)~(X|S)QT S, O, U, P c (S{O)~U{PQT S, O, V, R c S{O{V~RQT S, O, V, W c (S{O)~W|VQT S, O, W, V c (S{O)~W|VQT S, O, X, S c (S{O)~S{XQT S, O, X, T c (O{X|S)~TQT S, P, O, T c (S{P{O)~TQT S, P, O, U c (S{O)~U{PQT S, P, P, S c (S{P)~(P{S)QT S, P, P, T c (S{P)~(P~T)QT S, P, P, U c (S{P)~(U|P)QT S, P, P, V c S~(V|P){PQT S, P, P, W c (S|P)~W{PQT S, P, Q, R c (S{P)~(Q{R)QT S, P, Q, S c (S{Q)~S{PQT S, P, Q, T c (S|P{Q)~TQT S, P, Q, U c S~U|P{QQT S, P, Q, V c S{(P{Q)~VQT S, P, Q, W c (S{W)~Q{PQT S, P, Q, X c (S|P)~X|QQT S, P, R, Q c (S{P)~(R{Q)QT S, P, R, R c S~(R{R){PQT S, P, R, S c (S{S)~R{PQT S, P, R, U c S{(P{U)~RQT S, P, R, V c S{P~R~VQT S, P, R, W c (S{P)~(W|R)QT S, P, R, X c S~(P{R){XQT S, P, S, P c (S{P)~(S{P)QT S, P, S, Q c S~(S{Q){PQT S, P, S, R c (S{S)~R{PQT S, P, S, T c S{P{S~TQT S, P, S, U c S~(PS{U)QT S, P, S, V c (S|P)~V{SQT S, P, S, W c S~S{P{WQT S, P, S, X c S~P~S{XQT S, P, T, O c (S{P)~(T{O)QT S, P, T, P c (S{P)~(T~P)QT S, P, T, Q c (S|P{Q)~TQT S, P, T, S c S{P{T~SQT S, P, T, T c S~P~T{TQT S, P, T, U c (S{P)~U|TQT S, P, T, W c (P{W|S)~TQT S, P, T, X c S~(T|P){XQT S, P, U, O c S~U{P{OQT S, P, U, P c (S{P)~(U|P)QT S, P, U, Q c S~U|P{QQT S, P, U, R c S{(P{U)~RQT S, P, U, S c S~(PS{U)QT S, P, U, T c (S{P)~U|TQT S, P, U, U c (S{PU)~UQT S, P, U, V c (S|P)~U{VQT S, P, U, W c (S~W)|(P{U)QT S, P, U, X c (U|P)~(X|S)QT S, P, V, P c S~(V|P){PQT S, P, V, Q c (S{P)~(V|Q)QT S, P, V, R c S{P~V~RQT S, P, V, S c (S|P)~V{SQT S, P, V, U c (S|P)~U{VQT S, P, V, V c S~(P{V)|VQT S, P, V, W c S~P~W|VQT S, P, V, X c S~(X|P)|VQT S, P, W, P c (S|P)~W{PQT S, P, W, Q c (S{W)~Q{PQT S, P, W, R c (S{P)~(W|R)QT S, P, W, S c S~S{P{WQT S, P, W, T c (P{W|S)~TQT S, P, W, U c (S~W)|(P{U)QT S, P, W, V c S~P~W|VQT S, P, W, W c S~W{P|WQT S, P, X, Q c (S|P)~X|QQT S, P, X, R c S~(P{R){XQT S, P, X, S c (S{P)~(X|S)QT S, P, X, T c S~(T|P){XQT S, P, X, U c (X|S)~(U|P)QT S, P, X, V c S~(X|P)|VQT S, Q, P, R c S~Q~R{PQT S, Q, P, S c (S{Q)~S{PQT S, Q, P, T c (S{Q|P)~TQT S, Q, P, U c S~U{Q|PQT S, Q, P, V c S{(Q{P)~VQT S, Q, P, W c (S{W)~Q{PQT S, Q, P, X c (S|P)~X|QQT S, Q, Q, T c (S{QQ)~TQT S, Q, Q, U c S~U{QQQT S, Q, Q, X c S~(Q{Q){XQT S, Q, R, P c S~Q~R{PQT S, Q, R, T c (S|Q{R)~TQT S, Q, R, U c S~U|Q{RQT S, Q, R, V c (S{Q)~R{VQT S, Q, R, X c S{Q~X{RQT S, Q, S, P c (S{Q)~S{PQT S, Q, S, V c S~Q~S|VQT S, Q, S, X c (S{S)~Q{XQT S, Q, T, P c (S{Q|P)~TQT S, Q, T, Q c (S{QQ)~TQT S, Q, T, R c S{(Q{T)~RQT S, Q, T, T c (S{Q)~T|TQT S, Q, T, U c (S{U)~Q{TQT S, Q, T, V c S{(T|Q)~VQT S, Q, T, W c S{Q~W{TQT S, Q, U, P c S~U{Q|PQT S, Q, U, Q c S~U{QQQT S, Q, U, R c S~U|Q{RQT S, Q, U, T c (S{U)~Q{TQT S, Q, U, V c S~(Q{U)|VQT S, Q, U, W c S~(QW{U)QT S, Q, U, X c S{Q~U{XQT S, Q, V, P c S{(Q{P)~VQT S, Q, V, R c (S{Q)~R{VQT S, Q, V, S c S~Q~S|VQT S, Q, V, T c S~V{Q|TQT S, Q, V, U c S~(Q{U)|VQT S, Q, V, V c S{Q~V{VQT S, Q, V, X c (S|Q)~X{VQT S, Q, W, P c (S{W)~Q{PQT S, Q, W, T c S{Q~W{TQT S, Q, W, U c S~(QW{U)QT S, Q, W, X c (S|Q)~W{XQT S, Q, X, P c (S{X)~Q|PQT S, Q, X, Q c S~(Q{Q){XQT S, Q, X, R c S{Q~X{RQT S, Q, X, S c (S{S)~Q{XQT S, Q, X, U c S{Q~U{XQT S, Q, X, V c (S|Q)~X{VQT S, Q, X, W c S~Q{X{WQT S, Q, X, X c (S~X)|(Q{X)QT S, R, O, V c S{(R{O)~VQT S, R, P, Q c S~R~Q{PQT S, R, P, R c S~(R{R){PQT S, R, P, S c (S{S)~R{PQT S, R, P, U c S{R~(P{U)QT S, R, P, V c S{R~P~VQT S, R, P, W c S{R~(W|P)QT S, R, P, X c S~(R{P){XQT S, R, Q, P c S~R~Q{PQT S, R, Q, T c (S{R|Q)~TQT S, R, Q, U c S~U{R|QQT S, R, Q, V c (S{Q)~R{VQT S, R, Q, X c S{R{Q~XQT S, R, R, P c S~(R{R){PQT S, R, R, S c (S{R)~R{SQT S, R, R, T c (S{RR)~TQT S, R, R, U c S{R{R~UQT S, R, R, V c (SR{V)~RQT S, R, R, W c S|R{R~WQT S, R, S, P c (S{S)~R{PQT S, R, S, R c S{(R{S)~RQT S, R, S, T c (S|R{S)~TQT S, R, S, U c S|R{S~UQT S, R, S, V c S~(V|RS)QT S, R, S, W c SS{R~WQT S, R, S, X c S{R~S{XQT S, R, T, Q c S{R~(T{Q)QT S, R, T, R c (S{RR)~TQT S, R, T, S c (S|R{S)~TQT S, R, T, T c (S|R)~(T~T)QT S, R, T, U c S{R~T{UQT S, R, T, V c S~(R{T)|VQT S, R, T, W c S~R{T{WQT S, R, U, P c S{R~(U{P)QT S, R, U, Q c S~U{R|QQT S, R, U, R c S{R{U~RQT S, R, U, S c S|R{U~SQT S, R, U, T c S{R~T{UQT S, R, U, V c S~R{U{VQT S, R, U, X c S{R~X|UQT S, R, V, O c S{R~V{OQT S, R, V, P c S{R~V~PQT S, R, V, Q c (S{V)~Q{RQT S, R, V, R c (SR{V)~RQT S, R, V, S c S~(V|RS)QT S, R, V, T c (S~R|V)~TQT S, R, V, U c S~R{V{UQT S, R, V, V c (S|RV)~VQT S, R, V, W c (S{V)~R|WQT S, R, V, X c S{VR~XQT S, R, W, P c S{R~(W|P)QT S, R, W, R c S{R~W|RQT S, R, W, S c (S~W)|(R{S)QT S, R, W, T c S~R{W{TQT S, R, W, V c (S{V)~R|WQT S, R, W, X c (S~X)|(R{W)QT S, R, X, P c S~(R{P){XQT S, R, X, Q c S{R{X~QQT S, R, X, S c S~R{X{SQT S, R, X, U c S{R~X|UQT S, R, X, V c S{XR~VQT S, R, X, W c (S~X)|(R{W)QT S, R, X, X c S{R{X{XQT S, S, O, X c S~S{O{XQT S, S, P, P c (S{P)~(S{P)QT S, S, P, Q c S~(S{Q){PQT S, S, P, R c (S{S)~R{PQT S, S, P, T c S~(S{P){TQT S, S, P, U c S~(PS{U)QT S, S, P, V c S{(S|P)~VQT S, S, P, W c S~S{P{WQT S, S, P, X c S~S{P~XQT S, S, Q, P c S~(S{Q){PQT S, S, Q, V c S~S{Q{VQT S, S, Q, X c (S{S)~Q{XQT S, S, R, P c (S{S)~R{PQT S, S, R, R c S{(S{R)~RQT S, S, R, T c (S{S|R)~TQT S, S, R, U c S~S{R{UQT S, S, R, V c S~(V|RS)QT S, S, R, W c SS{R~WQT S, S, R, X c S{S~R{XQT S, S, S, T c S{S~S{TQT S, S, S, U c SS{S~UQT S, S, S, V c (S{S)~S|VQT S, S, S, X c S~(S{XS)QT S, S, T, P c S{S~T{PQT S, S, T, R c (S{S|R)~TQT S, S, T, S c S~S{T{SQT S, S, T, T c S|S{T~TQT S, S, T, U c S~U|S{TQT S, S, T, X c S~T|S{XQT S, S, U, P c S~(U{PS)QT S, S, U, R c S{S~U|RQT S, S, U, S c SS{U~SQT S, S, U, T c S~U|S{TQT S, S, V, P c S{(S|P)~VQT S, S, V, Q c S~S{V{QQT S, S, V, R c S~(V|RS)QT S, S, V, S c (S{S)~S|VQT S, S, V, V c S{S~V|VQT S, S, V, W c S~(W|VS)QT S, S, V, X c (S~X)|(S{V)QT S, S, W, P c S~S{W{PQT S, S, W, R c SS{W~RQT S, S, W, V c S~(W|VS)QT S, S, W, X c S{S{W{XQT S, S, X, O c S~S{X{OQT S, S, X, P c S~S{X~PQT S, S, X, Q c (S{S)~Q{XQT S, S, X, R c S{S~R{XQT S, S, X, S c S~(S{XS)QT S, S, X, T c S~(X|S){TQT S, S, X, V c (S~X)|(S{V)QT S, S, X, W c S{S{X{WQT S, S, X, X c (X|S)~(X|S)QT S, T, O, P c (S{O{P)~TQT S, T, O, T c S~T{O{TQT S, T, O, X c (T{O)~(X|S)QT S, T, P, O c (S{P)~(T{O)QT S, T, P, P c S~(T{P){PQT S, T, P, Q c (S|P{Q)~TQT S, T, P, S c S~T{P{SQT S, T, P, T c S~T{P~TQT S, T, P, U c S~T|P{UQT S, T, P, W c T~(P{W|S)QT S, T, P, X c S~(T|P){XQT S, T, Q, P c (S{Q|P)~TQT S, T, Q, Q c (S{QQ)~TQT S, T, Q, R c S{(T{Q)~RQT S, T, Q, T c (S{Q)~T|TQT S, T, Q, U c (S{U)~(TQ)QT S, T, Q, V c S{(T|Q)~VQT S, T, Q, W c S{T{Q~WQT S, T, R, Q c (S{T)~R|QQT S, T, R, R c (S{RR)~TQT S, T, R, S c (S|R{S)~TQT S, T, R, T c (S|R)~(T~T)QT S, T, R, U c S{T~R{UQT S, T, R, V c S~(T{R)|VQT S, T, R, W c S~T|R{WQT S, T, S, P c S{T~S{PQT S, T, S, R c (S{S|R)~TQT S, T, S, S c S{T{S~SQT S, T, S, T c (S{T|S)~TQT S, T, S, U c S~U{T|SQT S, T, S, X c S~T|S{XQT S, T, T, O c S~T{T{OQT S, T, T, P c S~T{T~PQT S, T, T, Q c (S{Q)~T|TQT S, T, T, R c (S|R)~(T~T)QT S, T, T, S c S{T~T|SQT S, T, T, T c (S{TT)~TQT S, T, T, U c (S{U|T)~TQT S, T, T, W c T{T~(W|S)QT S, T, T, X c T~X|S~TQT S, T, U, P c S~T{U|PQT S, T, U, Q c (S{U)~(TQ)QT S, T, U, R c S{T~R{UQT S, T, U, S c S~U{T|SQT S, T, U, T c (S{U|T)~TQT S, T, U, U c S~U|T{UQT S, T, U, V c (S{V|U)~TQT S, T, U, X c S{T~U|XQT S, T, V, Q c S~T{V|QQT S, T, V, R c S~(T{R)|VQT S, T, V, U c (S{V|U)~TQT S, T, V, V c (S{VV)~TQT S, T, V, W c S~V{T|WQT S, T, V, X c S{T{V{XQT S, T, W, P c T~(W|S{P)QT S, T, W, Q c S{T{W~QQT S, T, W, R c S~T{W|RQT S, T, W, T c T{(W|S)~TQT S, T, W, V c S{(W|T)~VQT S, T, W, W c S{T{W{WQT S, T, W, X c (S{X|W)~TQT S, T, X, O c T~(X|S){OQT S, T, X, P c S~(T|P){XQT S, T, X, S c S~T{X|SQT S, T, X, T c T~X|S~TQT S, T, X, U c S{T~U|XQT S, T, X, V c S{T{X{VQT S, T, X, W c (S{X|W)~TQT S, T, X, X c S~(X|T){XQT S, U, O, P c S~U{O{PQT S, U, P, O c S~U{P{OQT S, U, P, P c S~U{P~PQT S, U, P, Q c S~U|P{QQT S, U, P, R c S{(U{P)~RQT S, U, P, S c S~(U{PS)QT S, U, P, T c S~(U|P){TQT S, U, P, U c (S{PU)~UQT S, U, P, V c (S|P)~U{VQT S, U, P, W c (S~W)|(U{P)QT S, U, P, X c (U|P)~(X|S)QT S, U, Q, P c S~U{Q|PQT S, U, Q, Q c S~U{QQQT S, U, Q, R c S~U|Q{RQT S, U, Q, T c (S{U)~Q{TQT S, U, Q, V c S{UQ~VQT S, U, Q, W c S~(U{QW)QT S, U, Q, X c S{U~Q{XQT S, U, R, P c S{(U{P)~RQT S, U, R, Q c S~U{R|QQT S, U, R, R c S{U~R{RQT S, U, R, S c S~U|R{SQT S, U, R, T c S{U{R~TQT S, U, R, V c S{(U|R)~VQT S, U, R, X c S{R~X|UQT S, U, S, P c S~(U{PS)QT S, U, S, R c S{U~S|RQT S, U, S, S c S~U{SSQT S, U, S, T c S~U|S{TQT S, U, T, P c S~(U|P){TQT S, U, T, Q c (S{U)~(TQ)QT S, U, T, R c S{U{T~RQT S, U, T, S c S~U{T|SQT S, U, T, T c (S{U|T)~TQT S, U, T, U c S~U|T{UQT S, U, T, V c (S{V|U)~TQT S, U, T, X c S{U~T|XQT S, U, U, P c (S{PU)~UQT S, U, U, T c (S{UU)~TQT S, U, U, U c S~U{UUQT S, U, U, V c S~U|U{VQT S, U, U, X c S{U{U{XQT S, U, V, P c (S|P)~U{VQT S, U, V, Q c S{U~VQQT S, U, V, R c S{(U|R)~VQT S, U, V, T c (S{V|U)~TQT S, U, V, U c S~U{V|UQT S, U, V, V c S~U{VVQT S, U, V, W c S{U{V{WQT S, U, V, X c S~V{U|XQT S, U, W, P c (S~W)|(U{P)QT S, U, W, Q c S~(U{QW)QT S, U, W, V c S{U{W{VQT S, U, W, W c S~U{WWQT S, U, W, X c S~U|W{XQT S, U, X, P c (U|P)~(X|S)QT S, U, X, Q c S{U~Q{XQT S, U, X, R c S{X~R|UQT S, U, X, T c S{U~T|XQT S, U, X, U c S{U{X{UQT S, U, X, V c S{(X|U)~VQT S, U, X, W c S~U{X|WQT S, U, X, X c S~U{XXQT S, V, O, R c S{(V{O)~RQT S, V, O, W c (S{O)~W|VQT S, V, P, P c S~(V|P){PQT S, V, P, Q c S{V~(P{Q)QT S, V, P, R c S{V~P~RQT S, V, P, S c S~V{P|SQT S, V, P, U c (S|P)~U{VQT S, V, P, V c S~(V{P)|VQT S, V, P, W c S~P~W|VQT S, V, P, X c S~(X|P)|VQT S, V, Q, P c S{V~(Q{P)QT S, V, Q, R c (S{V)~Q{RQT S, V, Q, S c S~Q~S|VQT S, V, Q, T c S~V{Q|TQT S, V, Q, U c S{VQ~UQT S, V, Q, V c S{V{Q~VQT S, V, Q, X c (S|Q)~X{VQT S, V, R, O c S{V~R{OQT S, V, R, P c S{V~R~PQT S, V, R, Q c (S{V)~Q{RQT S, V, R, R c (SR{V)~RQT S, V, R, S c S~(V|RS)QT S, V, R, T c (S~R|V)~TQT S, V, R, U c S~V{R|UQT S, V, R, V c (SV{R)~VQT S, V, R, W c (S{V)~R|WQT S, V, R, X c S{VR~XQT S, V, S, P c S{V~(S|P)QT S, V, S, Q c S~S{V{QQT S, V, S, R c S~(V|RS)QT S, V, S, S c (S{S)~S|VQT S, V, S, V c S{(V|S)~VQT S, V, S, W c S~(W|VS)QT S, V, S, X c (S~X)|(V{S)QT S, V, T, Q c S{V~(T|Q)QT S, V, T, R c S~(T{R)|VQT S, V, T, U c (S{V|U)~TQT S, V, T, V c (S{VV)~TQT S, V, T, W c S~V{T|WQT S, V, T, X c S{V{T{XQT S, V, U, P c (S|P)~U{VQT S, V, U, Q c S{V~UQQT S, V, U, R c S{V~(U|R)QT S, V, U, T c (S{V|U)~TQT S, V, U, U c S~U{V|UQT S, V, U, V c S~U{VVQT S, V, U, W c S{V{U{WQT S, V, U, X c S~V{U|XQT S, V, V, P c S~(V{P)|VQT S, V, V, Q c S{V{V~QQT S, V, V, R c (SV{R)~VQT S, V, V, S c S{V~(V|S)QT S, V, V, T c (S{VV)~TQT S, V, V, U c S~U{VVQT S, V, V, V c S{V{V{VQT S, V, W, O c S~W|V{OQT S, V, W, P c S~W|V~PQT S, V, W, R c (S{V)~R|WQT S, V, W, S c S~(W|VS)QT S, V, W, T c S{V~(W|T)QT S, V, W, U c S{V{W{UQT S, V, W, W c (S|VW)~WQT S, V, W, X c V{WS~XQT S, V, X, P c S~(X|P)|VQT S, V, X, Q c S~XQ{VQT S, V, X, R c S{V~XRQT S, V, X, S c (S~X)|(V{S)QT S, V, X, T c S{V{X{TQT S, V, X, U c S{V~(X|U)QT S, V, X, W c V{XS~WQT S, W, O, V c S~W{O|VQT S, W, P, P c (S|P)~W{PQT S, W, P, Q c (S{W)~Q{PQT S, W, P, R c S{(W|P)~RQT S, W, P, S c S~S{W{PQT S, W, P, T c (W|S{P)~TQT S, W, P, U c (S~W)|(P{U)QT S, W, P, V c S~W|P~VQT S, W, P, W c S~W{P|WQT S, W, Q, P c (S{W)~Q{PQT S, W, Q, T c S{W~Q{TQT S, W, Q, U c S~(QW{U)QT S, W, Q, X c S~W{Q|XQT S, W, R, P c S{(W|P)~RQT S, W, R, R c S{W~R|RQT S, W, R, S c (S~W)|(R{S)QT S, W, R, T c S~(W|R){TQT S, W, R, V c (S{V)~R|WQT S, W, R, X c (S~X)|(W{R)QT S, W, S, P c S~S{W{PQT S, W, S, R c (S~W)|(S{R)QT S, W, S, V c S~(W|VS)QT S, W, S, X c S{W{S{XQT S, W, T, P c (W|S{P)~TQT S, W, T, Q c (S~W)|(T{Q)QT S, W, T, R c S~(W|R){TQT S, W, T, T c (W|S)~T{TQT S, W, T, V c S{(W|T)~VQT S, W, T, W c S{W{T{WQT S, W, T, X c (S{X|W)~TQT S, W, U, P c (S~W)|(U{P)QT S, W, U, Q c S~(U{QW)QT S, W, U, V c S{W{U{VQT S, W, U, W c S~U{WWQT S, W, U, X c S~U|W{XQT S, W, V, O c S~W|V{OQT S, W, V, P c S~W|V~PQT S, W, V, R c (S{V)~R|WQT S, W, V, S c S~(W|VS)QT S, W, V, T c (S{W|V)~TQT S, W, V, U c S{W{V{UQT S, W, V, W c (S|VW)~WQT S, W, V, X c WS~X{VQT S, W, W, P c S~W|W{PQT S, W, W, T c S{W{W{TQT S, W, W, U c S~U{WWQT S, W, W, V c (S|VW)~WQT S, W, W, X c WS~W{XQT S, W, X, Q c S~W|X{QQT S, W, X, R c (S~X)|(W{R)QT S, W, X, S c S{W{X{SQT S, W, X, T c (S{X|W)~TQT S, W, X, U c S~U|W{XQT S, W, X, V c WS~X{VQT S, W, X, W c WS~W{XQT S, X, O, S c (S{O)~S{XQT S, X, O, T c (X|S{O)~TQT S, X, P, Q c (S{X)~Q|PQT S, X, P, R c S~(X|R){PQT S, X, P, S c (S{P)~(X|S)QT S, X, P, T c S~(T|P){XQT S, X, P, U c (X|S)~(U|P)QT S, X, P, V c S~(X|P)|VQT S, X, Q, P c (S{X)~Q|PQT S, X, Q, Q c S~(Q{Q){XQT S, X, Q, R c S{(X|Q)~RQT S, X, Q, S c (S{S)~Q{XQT S, X, Q, U c S{X{Q~UQT S, X, Q, V c S~XQ{VQT S, X, Q, W c S~Q{X{WQT S, X, Q, X c (S~X)|(Q{X)QT S, X, R, P c S~(X|R){PQT S, X, R, Q c S{(X|Q)~RQT S, X, R, S c S{X{R~SQT S, X, R, U c S{X~R|UQT S, X, R, V c S{XR~VQT S, X, R, W c (S~X)|(R{W)QT S, X, R, X c S{X{R{XQT S, X, S, O c S~S{X{OQT S, X, S, P c S~S{X~PQT S, X, S, Q c (S{S)~Q{XQT S, X, S, R c S{X{S~RQT S, X, S, S c (S{XS)~SQT S, X, S, T c S~(X|S){TQT S, X, S, V c (S~X)|(S{V)QT S, X, S, W c S{X{S{WQT S, X, S, X c (X|S)~(X|S)QT S, X, T, O c (X|S)~(T{O)QT S, X, T, P c S~(T|P){XQT S, X, T, S c S~(X|S){TQT S, X, T, T c X~T|S~TQT S, X, T, U c (S~X)|(T{U)QT S, X, T, V c S{X{T{VQT S, X, T, W c (S{X|W)~TQT S, X, T, X c S~(X|T){XQT S, X, U, P c (X|S)~(U|P)QT S, X, U, Q c S{X{U~QQT S, X, U, R c S{X~R|UQT S, X, U, T c (S~X)|(U{T)QT S, X, U, U c S{X{U{UQT S, X, U, V c S{(X|U)~VQT S, X, U, W c S~U{X|WQT S, X, U, X c S~U{XXQT S, X, V, P c S~(X|P)|VQT S, X, V, Q c S~XQ{VQT S, X, V, R c S{X~VRQT S, X, V, S c (S~X)|(V{S)QT S, X, V, T c S{X{V{TQT S, X, V, U c S{(X|U)~VQT S, X, V, W c XS~W{VQT S, X, W, Q c S~W|X{QQT S, X, W, R c (S~X)|(W{R)QT S, X, W, S c S{X{W{SQT S, X, W, T c (S{X|W)~TQT S, X, W, U c S~U{X|WQT S, X, W, V c XS~W{VQT S, X, W, W c X{WS~WQT S, X, X, Q c (S~X)|(X{Q)QT S, X, X, R c S{X{X{RQT S, X, X, S c (X|S)~(X|S)QT S, X, X, T c (S{XX)~TQT S, X, X, U c S~U{XXQT T, O, O, T c (T{O{O)~TQT T, O, P, S c (T{O)~(P{S)QT T, O, P, T c (T{O)~(P~T)QT T, O, P, U c (T{O)~(U|P)QT T, O, Q, R c (T{O)~(Q{R)QT T, O, Q, T c (T{O~Q)~TQT T, O, Q, V c (T{O)~(V|Q)QT T, O, R, Q c (T{O)~(R{Q)QT T, O, R, T c (T{O~R)~TQT T, O, R, W c (T{O)~(W|R)QT T, O, S, P c (T{O)~(S{P)QT T, O, S, T c T{O{S~TQT T, O, S, X c (T{O)~(X|S)QT T, O, T, O c (T{O)~(T{O)QT T, O, T, P c (T{O)~(T~P)QT T, O, T, Q c (T{O~Q)~TQT T, O, T, R c (T{O~R)~TQT T, O, T, S c T{O{T~SQT T, O, T, T c (T{O~T)~TQT T, O, T, U c (T{O)~U|TQT T, O, T, V c (T{O~V)~TQT T, O, T, W c (T{O~W)~TQT T, O, T, X c (T{O~X)~TQT T, O, U, P c (T{O)~(U|P)QT T, O, U, T c (T{O)~U|TQT T, O, V, Q c (T{O)~(V|Q)QT T, O, V, T c (T{O~V)~TQT T, O, W, R c (T{O)~(W|R)QT T, O, W, T c (T{O~W)~TQT T, O, X, S c (T{O)~(X|S)QT T, O, X, T c (T{O~X)~TQT T, P, O, S c T~(P{O{S)QT T, P, O, T c (T{P~O)~TQT T, P, O, U c (T{O)~(U|P)QT T, P, P, R c T~(P{P{R)QT T, P, P, S c T~(P{P~S)QT T, P, P, T c (T{P|P)~TQT T, P, P, U c (T|P)~U{PQT T, P, P, V c T~(V|P|P)QT T, P, Q, Q c T~(P{Q{Q)QT T, P, Q, R c (T~P)~(Q{R)QT T, P, Q, S c T~(Q|P{S)QT T, P, Q, T c T~(Q|P)~TQT T, P, Q, U c T~(P{U|Q)QT T, P, Q, V c (T~P)~(V|Q)QT T, P, Q, W c T~(P{WQ)QT T, P, Q, X c T{(P{X)~QQT T, P, R, P c T~(P{R{P)QT T, P, R, Q c (T~P)~(R{Q)QT T, P, R, R c T~(R|P{R)QT T, P, R, T c T{(P{R)~TQT T, P, R, V c (T{P)~R{VQT T, P, R, W c (T~P)~(W|R)QT T, P, R, X c T~R{P{XQT T, P, S, O c T~(P{S){OQT T, P, S, P c (T{P)~S{PQT T, P, S, Q c T~(S|P{Q)QT T, P, S, S c T{(P{S)~SQT T, P, S, T c T{P~S~TQT T, P, S, U c T~S|P{UQT T, P, S, W c T~(P{W|S)QT T, P, S, X c (T|P)~S{XQT T, P, T, O c T~P~T{OQT T, P, T, P c T~(P{T|P)QT T, P, T, Q c (T~T)~(Q|P)QT T, P, T, R c T{(P{R)~TQT T, P, T, S c T{P~T~SQT T, P, T, T c (T{P)~T|TQT T, P, T, U c T~P~U|TQT T, P, T, V c T~(V|P)|TQT T, P, T, X c T~(P{X|T)QT T, P, U, O c T~(U|P){OQT T, P, U, P c (T|P)~U{PQT T, P, U, Q c T~(P{U|Q)QT T, P, U, S c T{(U|P)~SQT T, P, U, T c T~P~U|TQT T, P, U, U c T~U{P|UQT T, P, U, X c P{U~(X|T)QT T, P, V, P c T~(V|P|P)QT T, P, V, Q c (T~P)~(V|Q)QT T, P, V, R c T|P{V~RQT T, P, V, T c T~(V|P)|TQT T, P, V, W c (T|P)~W|VQT T, P, V, X c (T~V)|(P{X)QT T, P, W, Q c T~(P{WQ)QT T, P, W, R c (T~P)~(W|R)QT T, P, W, S c T~(P{W|S)QT T, P, W, V c (T|P)~W|VQT T, P, W, W c P{(W|T)~WQT T, P, X, Q c T{(P{X)~QQT T, P, X, R c T~(X|P|R)QT T, P, X, S c (T~P)~(X|S)QT T, P, X, T c T~(P{X|T)QT T, P, X, U c P{(X|T)~UQT T, P, X, V c (T~V)|(P{X)QT T, Q, O, R c T~(Q{O{R)QT T, Q, O, T c (T{Q~O)~TQT T, Q, O, V c (T{O)~(V|Q)QT T, Q, P, Q c T~(Q{P{Q)QT T, Q, P, R c T~(Q{P~R)QT T, Q, P, S c T~(Q|P{S)QT T, Q, P, T c T~(Q|P)~TQT T, Q, P, U c T~(P{U|Q)QT T, Q, P, V c (T~P)~(V|Q)QT T, Q, P, W c (T|Q)~W{PQT T, Q, P, X c T{Q~(P{X)QT T, Q, Q, P c T~(Q{Q{P)QT T, Q, Q, S c T~(QQ{S)QT T, Q, Q, T c T{(Q{Q)~TQT T, Q, Q, U c T~(Q{UQ)QT T, Q, Q, W c T{Q~(Q{W)QT T, Q, Q, X c T{Q{Q~XQT T, Q, R, O c T~(Q{R){OQT T, Q, R, P c T~(Q{R)~PQT T, Q, R, S c T{(Q{R)~SQT T, Q, R, T c T~Q{R~TQT T, Q, R, U c T{Q{R~UQT T, Q, R, V c T{Q~(R{V)QT T, Q, R, W c T~R{Q{WQT T, Q, R, X c T~(Q{XR)QT T, Q, S, P c T~(Q{S|P)QT T, Q, S, Q c T~(QQ{S)QT T, Q, S, R c (T{Q)~S|RQT T, Q, S, T c T~(Q{S)|TQT T, Q, S, U c T{Q~(S{U)QT T, Q, S, V c (T|Q)~V{SQT T, Q, S, W c T{Q~W{SQT T, Q, T, O c (T{Q~O)~TQT T, Q, T, P c T~(Q|P)~TQT T, Q, T, Q c T{Q~T~QQT T, Q, T, R c T~Q{T~RQT T, Q, T, S c T~(Q{S)|TQT T, Q, T, T c T{Q~(T{T)QT T, Q, T, U c T{T~(U|Q)QT T, Q, T, V c T~V|Q~TQT T, Q, T, W c T~(Q{W|T)QT T, Q, T, X c T(Q|XT)QT T, Q, U, P c T~(U|Q{P)QT T, Q, U, Q c T~(Q{UQ)QT T, Q, U, R c T{Q{U~RQT T, Q, U, S c T{Q~(U{S)QT T, Q, U, T c T{(U|Q)~TQT T, Q, U, V c (T|Q)~U{VQT T, Q, U, W c T{Q~U{WQT T, Q, U, X c T~Q{U{XQT T, Q, V, O c T~(V|Q){OQT T, Q, V, P c (T{V)~Q{PQT T, Q, V, R c T{Q~(V{R)QT T, Q, V, S c (T|Q)~V{SQT T, Q, V, T c T~V|Q~TQT T, Q, V, U c T{Q~V{UQT T, Q, V, W c T~Q{V{WQT T, Q, V, X c T~(Q~V|X)QT T, Q, W, P c (T|Q)~W{PQT T, Q, W, Q c T{(Q{W)~QQT T, Q, W, R c T~R{Q{WQT T, Q, W, S c T{Q~W{SQT T, Q, W, T c T~(Q{W|T)QT T, Q, W, U c T{Q~U{WQT T, Q, W, V c T~Q{W{VQT T, Q, W, X c T~(X|WQ)QT T, Q, X, P c T{Q~(X{P)QT T, Q, X, Q c T{Q{X~QQT T, Q, X, R c T~(Q{XR)QT T, Q, X, T c T(Q|XT)QT T, Q, X, U c T~Q{X{UQT T, Q, X, V c T~(Q~V|X)QT T, Q, X, W c T~(X|WQ)QT T, Q, X, X c T{Q{X{XQT T, R, O, Q c T~(R{O{Q)QT T, R, O, T c (T{R~O)~TQT T, R, O, W c (T{O)~(W|R)QT T, R, P, P c T~(R{P{P)QT T, R, P, Q c T~(R{P~Q)QT T, R, P, R c T~(R|P{R)QT T, R, P, T c T{(R{P)~TQT T, R, P, V c T{R~V|PQT T, R, P, W c (T~P)~(W|R)QT T, R, P, X c T~R{P{XQT T, R, Q, O c T~(R{Q){OQT T, R, Q, P c T~(R{Q)~PQT T, R, Q, S c T{(R{Q)~SQT T, R, Q, T c T~R{Q~TQT T, R, Q, U c T{R~U{QQT T, R, Q, V c T{(R{V)~QQT T, R, Q, W c T~R{Q{WQT T, R, Q, X c (T{R)~Q{XQT T, R, R, P c (T{R)~R{PQT T, R, R, S c T~(R~R|S)QT T, R, R, T c (T{R|R)~TQT T, R, R, U c T~(R{UR)QT T, R, R, V c T~R{R{VQT T, R, R, X c R{R~X|TQT T, R, S, Q c T~(R{S|Q)QT T, R, S, R c T~(R~R|S)QT T, R, S, S c T~(S|R{S)QT T, R, S, T c T~(S|R)~TQT T, R, S, U c T~R{S{UQT T, R, S, V c (T{R)~S|VQT T, R, S, W c T{R~S{WQT T, R, T, O c (T{R~O)~TQT T, R, T, P c T{(R{P)~TQT T, R, T, Q c T~R{T~QQT T, R, T, R c T~(R{T|R)QT T, R, T, S c (T~T)~(S|R)QT T, R, T, T c T{R~T{TQT T, R, T, V c T~(R{V|T)QT T, R, T, W c TT{R~WQT T, R, T, X c T~(X|R)|TQT T, R, U, Q c T{R~U{QQT T, R, U, R c T~(R{UR)QT T, R, U, S c T~R{U{SQT T, R, U, V c T~(V|UR)QT T, R, U, W c T~(R{W|U)QT T, R, U, X c (TR)~(U{X)QT T, R, V, P c T{R~V|PQT T, R, V, Q c T{(R{V)~QQT T, R, V, R c T~R{V{RQT T, R, V, S c (T{R)~S|VQT T, R, V, T c T~(R{V|T)QT T, R, V, U c T~(V|UR)QT T, R, V, V c (T~V)|(R{V)QT T, R, V, W c (TR)~(V{W)QT T, R, V, X c T{R~X|VQT T, R, W, O c T~(W|R){OQT T, R, W, P c T~(W|R)~PQT T, R, W, Q c T~R{W{QQT T, R, W, S c T{R~W|SQT T, R, W, T c T~W|R~TQT T, R, W, U c T~(R{W|U)QT T, R, W, V c (TR)~(W{V)QT T, R, W, X c T{R{W{XQT T, R, X, P c T~R{X{PQT T, R, X, Q c (T{R)~Q{XQT T, R, X, R c R~X|T{RQT T, R, X, T c T~(X|R)|TQT T, R, X, U c (TR)~(X{U)QT T, R, X, V c T{R~X|VQT T, R, X, W c T{R{X{WQT T, S, O, P c T~(S{O{P)QT T, S, O, T c T{(S{O)~TQT T, S, O, X c (T{O)~(X|S)QT T, S, P, O c T~(S{P){OQT T, S, P, P c T~(S{P)~PQT T, S, P, Q c T~(S|P{Q)QT T, S, P, S c T{(S{P)~SQT T, S, P, T c T{S~P~TQT T, S, P, U c T~S|P{UQT T, S, P, W c T~(P{W|S)QT T, S, P, X c (T|P)~S{XQT T, S, Q, P c T~(S{Q|P)QT T, S, Q, Q c T~(S{QQ)QT T, S, Q, R c T{S~(Q{R)QT T, S, Q, T c T~(S{Q)|TQT T, S, Q, U c T{(S{U)~QQT T, S, Q, V c (T{S)~Q{VQT T, S, Q, W c T{S{Q~WQT T, S, R, Q c T{S~(R{Q)QT T, S, R, R c T~(S{RR)QT T, S, R, S c T~(S|R{S)QT T, S, R, T c T~(S|R)~TQT T, S, R, U c T~R{S{UQT T, S, R, V c T~(S~R|V)QT T, S, R, W c T{S~R{WQT T, S, S, P c T{S~(S{P)QT T, S, S, R c T~(S{S|R)QT T, S, S, S c T{S{S~SQT T, S, S, T c (T{S|S)~TQT T, S, S, U c T|S{S~UQT T, S, S, X c T~S|S{XQT T, S, T, O c T{S~T{OQT T, S, T, P c T{S~T~PQT T, S, T, Q c T~(S{Q)|TQT T, S, T, R c T~(S|R)~TQT T, S, T, S c T~(S{T|S)QT T, S, T, T c (T|S)~(T~T)QT T, S, T, U c T~(S{U|T)QT T, S, T, W c T{T~(W|S)QT T, S, T, X c T~X|S~TQT T, S, U, P c T{S~(U|P)QT T, S, U, Q c T{(S{U)~QQT T, S, U, R c T~(U|S{R)QT T, S, U, S c T{S~U|SQT T, S, U, T c T~(S{U|T)QT T, S, U, U c T~(S{UU)QT T, S, U, V c T~(S{V|U)QT T, S, U, X c T~U{S|XQT T, S, V, Q c T{S~(V|Q)QT T, S, V, R c T~(S~R|V)QT T, S, V, U c T~(S{V|U)QT T, S, V, V c T~(S{VV)QT T, S, V, W c T{S~V|WQT T, S, V, X c T{S{V{XQT T, S, W, P c T~(W|S{P)QT T, S, W, Q c T{S{W~QQT T, S, W, R c T{S~(W|R)QT T, S, W, T c T{(W|S)~TQT T, S, W, V c T~(S{W|V)QT T, S, W, W c T{S{W{WQT T, S, W, X c T~(S{X|W)QT T, S, X, O c T~(X|S){OQT T, S, X, P c T~(X|S)~PQT T, S, X, S c T{S~(X|S)QT T, S, X, T c T~X|S~TQT T, S, X, U c T~U{S|XQT T, S, X, V c T{S{X{VQT T, S, X, W c T~(S{X|W)QT T, S, X, X c T~(S{XX)QT T, T, O, O c T~T{O{OQT T, T, O, P c T~T{O~PQT T, T, O, Q c T~T{O~QQT T, T, O, R c T~T{O~RQT T, T, O, S c T{(T{O)~SQT T, T, O, T c (T{T~O)~TQT T, T, O, U c T~T{O~UQT T, T, O, V c T~T{O~VQT T, T, O, W c T~T{O~WQT T, T, O, X c T~T{O~XQT T, T, P, O c T~T{P~OQT T, T, P, P c T~T{P|PQT T, T, P, Q c (T~T)~(Q|P)QT T, T, P, R c T{T~(P{R)QT T, T, P, S c T{T~P~SQT T, T, P, T c T{(T|P)~TQT T, T, P, U c T~P~U|TQT T, T, P, V c T~(V|P)|TQT T, T, P, X c T~(P{X|T)QT T, T, Q, O c T~T{Q~OQT T, T, Q, P c (T~T)~(Q|P)QT T, T, Q, Q c T{T~(Q{Q)QT T, T, Q, R c (T~T)~(R|Q)QT T, T, Q, S c T~(Q{S)|TQT T, T, Q, T c (T{T)~Q{TQT T, T, Q, U c T{T~(U|Q)QT T, T, Q, V c T~V|T~QQT T, T, Q, W c T{TQ~WQT T, T, Q, X c (T{T~X)QQT T, T, R, O c T~T{R~OQT T, T, R, P c T{T~(R{P)QT T, T, R, Q c (T~T)~(R|Q)QT T, T, R, R c T~T{R|RQT T, T, R, S c (T~T)~(S|R)QT T, T, R, T c T{T{R~TQT T, T, R, V c T{T~(V|R)QT T, T, R, W c TT{R~WQT T, T, R, X c T~(X|R)|TQT T, T, S, O c T{T~S{OQT T, T, S, P c T{T~S~PQT T, T, S, Q c T~(S{Q)|TQT T, T, S, R c (T~T)~(S|R)QT T, T, S, S c (T{TS)~SQT T, T, S, T c T~(T|S)~TQT T, T, S, U c TT{S~UQT T, T, S, W c T{T~(W|S)QT T, T, S, X c T~X|T~SQT T, T, T, O c T~T{T~OQT T, T, T, P c T{T~(T|P)QT T, T, T, Q c T{(T{T)~QQT T, T, T, R c T{T{T~RQT T, T, T, S c (T~T)~(T|S)QT T, T, T, T c (T{T|T)~TQT T, T, T, U c (T~T)~(U|T)QT T, T, T, V c (T~V)|(T{T)QT T, T, T, X c T{T~(X|T)QT T, T, U, O c T~T{U~OQT T, T, U, P c T~U|T~PQT T, T, U, Q c T{T~(U|Q)QT T, T, U, S c TT{U~SQT T, T, U, T c (T~T)~(U|T)QT T, T, U, U c (T|TU)~UQT T, T, U, V c (T~T)~(V|U)QT T, T, U, X c T{T{U{XQT T, T, V, O c T~T{V~OQT T, T, V, P c T~(V|P)|TQT T, T, V, Q c T~V|T~QQT T, T, V, R c T{T~(V|R)QT T, T, V, T c (T~V)|(T{T)QT T, T, V, U c (T~T)~(V|U)QT T, T, V, V c T~T{V|VQT T, T, V, W c T{T{V{WQT T, T, W, O c T~T{W~OQT T, T, W, Q c T{T~WQQT T, T, W, R c TT{W~RQT T, T, W, S c T{T~(W|S)QT T, T, W, V c T{T{W{VQT T, T, W, W c T~T{W|WQT T, T, W, X c (T~T)~(X|W)QT T, T, X, O c T~T{X~OQT T, T, X, P c T~(X|T{P)QT T, T, X, Q c (T{T~X)QQT T, T, X, R c T~(X|R)|TQT T, T, X, S c T~X|T~SQT T, T, X, T c T{T~(X|T)QT T, T, X, U c T{T{X{UQT T, T, X, W c (T~T)~(X|W)QT T, T, X, X c T~T{X|XQT T, U, O, P c T~(U{O|P)QT T, U, O, T c (T{U~O)~TQT T, U, P, O c T~(U|P){OQT T, U, P, P c T~(U|P)~PQT T, U, P, Q c T~(U{P|Q)QT T, U, P, S c T{(U|P)~SQT T, U, P, T c T~U|P~TQT T, U, P, U c T~U{P|UQT T, U, P, X c U~(X|T){PQT T, U, Q, P c T~(U|Q{P)QT T, U, Q, Q c T~(U|QQ)QT T, U, Q, R c (T{U)~Q{RQT T, U, Q, S c T{(U{S)~QQT T, U, Q, T c T{(U|Q)~TQT T, U, Q, V c T{U{Q~VQT T, U, Q, W c T{U~Q{WQT T, U, Q, X c T~Q{U{XQT T, U, R, Q c T{U~R{QQT T, U, R, R c T~(U|RR)QT T, U, R, S c T~(U{R|S)QT T, U, R, V c T~(V|UR)QT T, U, R, W c (T{U)~R|WQT T, U, R, X c T~(U{X)RQT T, U, S, P c (T~U)|(S{P)QT T, U, S, Q c T{(U{S)~QQT T, U, S, R c T~(U|S{R)QT T, U, S, S c T{U~S|SQT T, U, S, T c T~(U{S|T)QT T, U, S, U c T~(UU{S)QT T, U, S, V c T~(S{V|U)QT T, U, S, X c T~U{S|XQT T, U, T, O c T~U|T{OQT T, U, T, P c T~U|T~PQT T, U, T, Q c T{(U|Q)~TQT T, U, T, S c T~(U|T{S)QT T, U, T, T c T~(U|T)~TQT T, U, T, U c T~(U{T|U)QT T, U, T, V c (T~T)~(V|U)QT T, U, T, X c T{U{T{XQT T, U, U, P c T~U|U{PQT T, U, U, S c T~(UU{S)QT T, U, U, T c (T{U|U)~TQT T, U, U, U c T~(U|UU)QT T, U, U, V c T~(U{U|V)QT T, U, U, W c T{U{U{WQT T, U, V, Q c T{U{V~QQT T, U, V, R c T~(V|UR)QT T, U, V, S c (T~V)|(U{S)QT T, U, V, T c T~(V|U)~TQT T, U, V, U c T~(U{U|V)QT T, U, V, V c T{U{V{VQT T, U, V, W c T~(U{V|W)QT T, U, W, Q c T{U~Q{WQT T, U, W, R c T~U|W{RQT T, U, W, U c T{U{W{UQT T, U, W, V c T~(U{V|W)QT T, U, W, W c T~(U|WW)QT T, U, W, X c T~(U{W|X)QT T, U, X, P c U~(X|T){PQT T, U, X, Q c T~(X|U{Q)QT T, U, X, R c T~(U{X)RQT T, U, X, S c T~U|X{SQT T, U, X, T c T{U{X{TQT T, U, X, W c T~(U{W|X)QT T, U, X, X c T~(U|XX)QT T, V, O, Q c T~(V{O|Q)QT T, V, O, T c (T{V~O)~TQT T, V, P, P c T~(V|P|P)QT T, V, P, Q c T~(V|P~Q)QT T, V, P, R c T~(V{P|R)QT T, V, P, T c T~(V|P)|TQT T, V, P, W c (T|P)~W|VQT T, V, P, X c (T~V)|(P{X)QT T, V, Q, O c T~(V|Q){OQT T, V, Q, P c (T{V)~Q{PQT T, V, Q, R c T{(V{R)~QQT T, V, Q, S c T{(V|Q)~SQT T, V, Q, T c T~V|Q~TQT T, V, Q, U c T{V~Q{UQT T, V, Q, W c (T~V)|(Q{W)QT T, V, Q, X c T~(V~Q|X)QT T, V, R, P c T{V~R|PQT T, V, R, Q c T{(V{R)~QQT T, V, R, R c T~R{V{RQT T, V, R, S c (T{R)~S|VQT T, V, R, T c T{(V|R)~TQT T, V, R, U c T~(V|UR)QT T, V, R, V c (T~V)|(R{V)QT T, V, R, W c T~(V{W)RQT T, V, R, X c T{R~X|VQT T, V, S, Q c T~(V|S{Q)QT T, V, S, R c T~(S~R|V)QT T, V, S, U c T~(V{S|U)QT T, V, S, V c T~(VV{S)QT T, V, S, W c T{V~S|WQT T, V, S, X c T{V{S{XQT T, V, T, O c (T{V~O)~TQT T, V, T, P c T~(V|P)|TQT T, V, T, Q c T~V|T~QQT T, V, T, R c T~(V|T{R)QT T, V, T, T c (T~V)|(T{T)QT T, V, T, U c T~(V|U)~TQT T, V, T, V c T~(V{T|V)QT T, V, T, W c T{V{T{WQT T, V, U, Q c T{V~Q{UQT T, V, U, R c T~(V|UR)QT T, V, U, S c (T~V)|(U{S)QT T, V, U, T c T~(V|U)~TQT T, V, U, U c T~(U{U|V)QT T, V, U, V c T{V{U{VQT T, V, U, W c T~(V{U|W)QT T, V, V, R c (T~V)|(V{R)QT T, V, V, S c T~(VV{S)QT T, V, V, T c (T{V|V)~TQT T, V, V, U c T{V{V{UQT T, V, V, X c T~(V{V|X)QT T, V, W, P c (T|P)~W|VQT T, V, W, Q c (T~V)|(W{Q)QT T, V, W, R c T~(V{W)RQT T, V, W, S c T~(V|WS)QT T, V, W, T c T{V{W{TQT T, V, W, U c T~(V{U|W)QT T, V, W, W c (T~W)|(V{W)QT T, V, W, X c (V|T)~W{XQT T, V, X, P c (T~V)|(X{P)QT T, V, X, Q c T~(V~Q|X)QT T, V, X, R c T~(X|V{R)QT T, V, X, S c T{V{X{SQT T, V, X, V c T~(V{V|X)QT T, V, X, W c (V|T)~W{XQT T, W, O, R c T~(W{O|R)QT T, W, O, T c (T{W~O)~TQT T, W, P, Q c T~(W|P|Q)QT T, W, P, R c T~(W|P~R)QT T, W, P, S c T~(W{P|S)QT T, W, P, V c (T|P)~W|VQT T, W, P, W c (W|T)~W{PQT T, W, Q, P c (T{W)~Q|PQT T, W, Q, Q c T{(W{Q)~QQT T, W, Q, R c T~R{W{QQT T, W, Q, S c T{W~Q{SQT T, W, Q, T c T{WQ~TQT T, W, Q, U c T{W{Q~UQT T, W, Q, V c T~Q{W{VQT T, W, Q, X c T~(X|WQ)QT T, W, R, O c T~(W|R){OQT T, W, R, P c T~(W|R)~PQT T, W, R, Q c T~R{W{QQT T, W, R, S c T{W{R~SQT T, W, R, T c T~W|R~TQT T, W, R, U c T~(W{R|U)QT T, W, R, V c T~(W{V)RQT T, W, R, X c T{W{R{XQT T, W, S, P c T~(W|S{P)QT T, W, S, Q c T{W~Q{SQT T, W, S, R c T{W{S~RQT T, W, S, T c T{(W|S)~TQT T, W, S, V c T~(W{S|V)QT T, W, S, W c T{W{S{WQT T, W, S, X c T~(S{X|W)QT T, W, T, O c (T{W~O)~TQT T, W, T, Q c T{W~TQQT T, W, T, R c T~W|T~RQT T, W, T, S c T{(W|S)~TQT T, W, T, V c T{W{T{VQT T, W, T, W c T~(W{T|W)QT T, W, T, X c (T~T)~(X|W)QT T, W, U, Q c T{W{U~QQT T, W, U, R c T~(W|U{R)QT T, W, U, U c T{W{U{UQT T, W, U, V c T~(U{V|W)QT T, W, U, W c T~(U|WW)QT T, W, U, X c T~(W{U|X)QT T, W, V, P c (T|P)~W|VQT T, W, V, Q c (T~V)|(W{Q)QT T, W, V, R c T~(W{V)RQT T, W, V, S c T~(W|V{S)QT T, W, V, T c T{W{V{TQT T, W, V, U c T~(V{U|W)QT T, W, V, W c (T~W)|(V{W)QT T, W, V, X c W~(V|T){XQT T, W, W, P c (W|T)~W{PQT T, W, W, S c T{W{W{SQT T, W, W, T c (T{W|W)~TQT T, W, W, U c T~(U|WW)QT T, W, W, V c (T~W)|(W{V)QT T, W, X, Q c T~(X|WQ)QT T, W, X, R c T{W{X{RQT T, W, X, S c T~(X|W{S)QT T, W, X, T c T~(X|W)~TQT T, W, X, U c (T~W)|(X{U)QT T, W, X, V c W~(X|T)|VQT T, X, O, S c T~(X{O|S)QT T, X, O, T c (T{X~O)~TQT T, X, P, Q c T{(X{P)~QQT T, X, P, R c T~(X|P|R)QT T, X, P, S c T~(X|P~S)QT T, X, P, T c T~(X{P|T)QT T, X, P, U c (X|T)~U{PQT T, X, P, V c (T~V)|(X{P)QT T, X, Q, P c T{(X{P)~QQT T, X, Q, Q c T{X~Q{QQT T, X, Q, R c (T{X)~Q|RQT T, X, Q, T c (T{X~T)QQT T, X, Q, U c T~(X{Q|U)QT T, X, Q, V c T~(Q~V|X)QT T, X, Q, W c T~(X|WQ)QT T, X, Q, X c T{X{Q{XQT T, X, R, P c T~(X|R|P)QT T, X, R, Q c T~(XR{Q)QT T, X, R, R c X~R|T{RQT T, X, R, T c T~(X|R)|TQT T, X, R, U c T~(X{U)RQT T, X, R, V c T{X~R|VQT T, X, R, W c T{X{R{WQT T, X, S, O c T~(X|S){OQT T, X, S, P c T~(X|S)~PQT T, X, S, S c T{(X|S)~SQT T, X, S, T c T~X|S~TQT T, X, S, U c T~U|X{SQT T, X, S, V c T{X{S{VQT T, X, S, W c T~(X{S|W)QT T, X, S, X c T~(XX{S)QT T, X, T, O c (T{X~O)~TQT T, X, T, P c T~(X|T{P)QT T, X, T, Q c (T{X~T)QQT T, X, T, R c T~(X|R)|TQT T, X, T, S c T~X|T~SQT T, X, T, T c T{(X|T)~TQT T, X, T, U c T{X{T{UQT T, X, T, W c T~(X|W)~TQT T, X, T, X c T~(X{T|X)QT T, X, U, P c (X|T)~U{PQT T, X, U, Q c T~(X|U{Q)QT T, X, U, R c T~(X{U)RQT T, X, U, S c T~U|X{SQT T, X, U, T c T{X{U{TQT T, X, U, W c T~(U{W|X)QT T, X, U, X c T~(U|XX)QT T, X, V, P c (T~V)|(X{P)QT T, X, V, Q c T~(V~Q|X)QT T, X, V, R c T~(X|V{R)QT T, X, V, S c T{X{V{SQT T, X, V, V c T~(V{V|X)QT T, X, V, W c (X|T)~W|VQT T, X, W, Q c T~(X|WQ)QT T, X, W, R c T{X{W{RQT T, X, W, S c T~(X|W{S)QT T, X, W, T c T~(X|W)~TQT T, X, W, U c (T~W)|(X{U)QT T, X, W, V c (X|T)~W|VQT T, X, X, Q c T{X{X{QQT T, X, X, S c T~(XX{S)QT T, X, X, T c (T{X|X)~TQT T, X, X, U c T~(U|XX)QT U, O, P, S c (U{O)~S{PQT U, O, P, T c (U{O|P)~TQT U, O, R, V c (U{O)~R{VQT U, O, S, P c (U{O)~S{PQT U, O, T, P c (U{O|P)~TQT U, O, T, T c (U{O)~T|TQT U, O, V, R c (U{O)~R{VQT U, P, O, S c (U{O)~S{PQT U, P, O, T c (U|P{O)~TQT U, P, P, R c U~(P{R){PQT U, P, P, S c (U|P)~(P{S)QT U, P, P, T c (U|P)~(P~T)QT U, P, P, U c (U|P)~(U|P)QT U, P, Q, Q c U~(Q{Q){PQT U, P, Q, R c (U|P)~(Q{R)QT U, P, Q, S c U~S|P{QQT U, P, Q, T c (U{P|Q)~TQT U, P, Q, U c (U|Q)~U{PQT U, P, Q, V c U~(P{Q){VQT U, P, Q, W c UQ~W{PQT U, P, Q, X c U{P{Q~XQT U, P, R, P c U~(P{R){PQT U, P, R, Q c (U|P)~(R{Q)QT U, P, R, S c (U{P)~R{SQT U, P, R, U c U{P{R~UQT U, P, R, V c U~P~R{VQT U, P, R, W c (U|P)~(W|R)QT U, P, S, O c U~S{P{OQT U, P, S, P c (U|P)~(S{P)QT U, P, S, Q c U~S|P{QQT U, P, S, R c (U{P)~S|RQT U, P, S, S c (U{PS)~SQT U, P, S, T c U|P{S~TQT U, P, S, U c U~(PU{S)QT U, P, S, V c U~(S|P){VQT U, P, S, W c U~(W|S){PQT U, P, S, X c (U|P)~(X|S)QT U, P, T, O c (U|P)~(T{O)QT U, P, T, P c (U|P)~(T~P)QT U, P, T, Q c (U{P|Q)~TQT U, P, T, S c U|P{T~SQT U, P, T, T c U~P~T|TQT U, P, T, U c (U|P)~U|TQT U, P, T, X c U~(X|T){PQT U, P, U, P c (U|P)~(U|P)QT U, P, U, Q c (U{U)~Q{PQT U, P, U, R c U{P{U~RQT U, P, U, S c U~(PU{S)QT U, P, U, T c (U|P)~U|TQT U, P, V, Q c (U|P)~(V|Q)QT U, P, V, R c U~P~R{VQT U, P, V, S c U~(S|P){VQT U, P, W, Q c U~WQ{PQT U, P, W, R c (U|P)~(W|R)QT U, P, W, S c U~(W|S){PQT U, P, W, X c P{W~(X|U)QT U, P, X, Q c U{P{X~QQT U, P, X, S c (U|P)~(X|S)QT U, P, X, T c U~(X|T){PQT U, P, X, W c P{(X|U)~WQT U, P, X, X c U{P{X{XQT U, Q, P, Q c U~(Q{Q){PQT U, Q, P, R c (U{Q)~R{PQT U, Q, P, S c U~S{Q|PQT U, Q, P, T c (U|Q{P)~TQT U, Q, P, U c (U|Q)~U{PQT U, Q, P, V c U~(Q{P){VQT U, Q, P, W c UQ~W{PQT U, Q, P, X c U{Q~X{PQT U, Q, Q, P c U~(Q{Q){PQT U, Q, Q, S c U~S{QQQT U, Q, Q, T c (U|QQ)~TQT U, Q, Q, W c (U~W{Q)QQT U, Q, Q, X c (U{Q)~Q{XQT U, Q, R, P c (U{Q)~R{PQT U, Q, R, R c (U{R)~R|QQT U, Q, R, S c U~S|Q{RQT U, Q, R, T c (U{Q|R)~TQT U, Q, R, V c U|Q{R~VQT U, Q, R, W c U{Q~W{RQT U, Q, R, X c U~R|Q{XQT U, Q, S, P c U~S{Q|PQT U, Q, S, Q c U~S{QQQT U, Q, S, R c U~S|Q{RQT U, Q, S, T c (U{S)~Q{TQT U, Q, S, V c (U{Q)~S|VQT U, Q, S, W c (U{QW)~SQT U, Q, S, X c (U|Q)~S{XQT U, Q, T, P c (U|Q{P)~TQT U, Q, T, Q c (U|QQ)~TQT U, Q, T, R c (U{Q|R)~TQT U, Q, T, S c (U{S)~Q{TQT U, Q, T, T c (U|Q)~T{TQT U, Q, T, V c U{Q~V{TQT U, Q, T, W c U~Q{T{WQT U, Q, T, X c U{Q~T{XQT U, Q, U, P c (U|Q)~U{PQT U, Q, U, V c U{Q~U{VQT U, Q, U, X c (U~U)|(Q{X)QT U, Q, V, P c U~(Q{P){VQT U, Q, V, R c U|Q{V~RQT U, Q, V, S c UQ~V{SQT U, Q, V, T c U{Q~V{TQT U, Q, V, U c U~Q{V{UQT U, Q, V, W c (U|Q)~W|VQT U, Q, W, P c UQ~W{PQT U, Q, W, Q c (U~W{Q)QQT U, Q, W, R c U{Q~W{RQT U, Q, W, S c (U{QW)~SQT U, Q, W, T c U~Q{W{TQT U, Q, W, V c (U|Q)~W|VQT U, Q, W, X c U{Q{W{XQT U, Q, X, P c U{Q~X{PQT U, Q, X, Q c UQ~X|QQT U, Q, X, R c U~R|Q{XQT U, Q, X, S c U~Q{X{SQT U, Q, X, T c U{Q~T{XQT U, Q, X, U c (U~U)|(Q{X)QT U, Q, X, W c U{Q{X{WQT U, Q, X, X c (X|U)~X|QQT U, R, O, V c U~R{O{VQT U, R, P, P c U~(R{P){PQT U, R, P, Q c (U|P)~(R{Q)QT U, R, P, S c (U{P)~R{SQT U, R, P, U c U~R{P{UQT U, R, P, V c U~R{P~VQT U, R, P, W c U~R|P{WQT U, R, Q, P c (U{Q)~R{PQT U, R, Q, R c (U{R)~R|QQT U, R, Q, S c U~S{R|QQT U, R, Q, T c (U|R{Q)~TQT U, R, Q, V c (U{R)~Q{VQT U, R, Q, W c U{R{Q~WQT U, R, Q, X c U~R|Q{XQT U, R, R, Q c (U{R)~R|QQT U, R, R, S c U~R{R{SQT U, R, R, T c (U|RR)~TQT U, R, R, V c (U{VR)~RQT U, R, R, X c R~X|URQT U, R, S, P c (U{P)~R{SQT U, R, S, Q c U~S{R|QQT U, R, S, R c U~R{S{RQT U, R, S, S c U{R{S~SQT U, R, S, T c (U{R|S)~TQT U, R, S, V c U{R~S{VQT U, R, S, X c R~X|U{SQT U, R, T, Q c U~R{T{QQT U, R, T, R c (U|RR)~TQT U, R, T, S c U{R~T{SQT U, R, T, V c T~(V|UR)QT U, R, T, W c U{R~W|TQT U, R, T, X c (U{X)R~TQT U, R, U, P c U{R~U{PQT U, R, U, V c (U|R)~U{VQT U, R, U, W c (U~U)|(R{W)QT U, R, V, O c U~R{V{OQT U, R, V, P c U~R{V~PQT U, R, V, Q c U{R~V|QQT U, R, V, R c (U{VR)~RQT U, R, V, S c (U|R)~V{SQT U, R, V, T c (V|UR)~TQT U, R, V, U c U~(R{VU)QT U, R, V, W c R~(V{WU)QT U, R, V, X c U{R{V{XQT U, R, W, P c (U|R)~W{PQT U, R, W, Q c U{R{W~QQT U, R, W, T c U{R~W|TQT U, R, W, U c (U~U)|(R{W)QT U, R, W, V c R~W|U{VQT U, R, W, W c U{R{W{WQT U, R, W, X c UR~W{XQT U, R, X, Q c (U|R)~X|QQT U, R, X, R c R~X|URQT U, R, X, S c R~X|U{SQT U, R, X, T c (U{X)R~TQT U, R, X, V c U{R{X{VQT U, R, X, W c U{R~X|WQT U, R, X, X c R~(X|UX)QT U, S, O, P c U~S{O{PQT U, S, P, O c U~S{P{OQT U, S, P, P c U~S{P~PQT U, S, P, Q c U~S|P{QQT U, S, P, R c (U{P)~S|RQT U, S, P, S c (U{PS)~SQT U, S, P, T c U~(S{P)|TQT U, S, P, U c U~(S{PU)QT U, S, P, V c U~(S|P){VQT U, S, P, W c U~(W|S){PQT U, S, P, X c (U|P)~(X|S)QT U, S, Q, P c U~S{Q|PQT U, S, Q, Q c U~S{QQQT U, S, Q, R c U~S|Q{RQT U, S, Q, T c (U{S)~Q{TQT U, S, Q, V c (U{Q)~S|VQT U, S, Q, W c (U{QW)~SQT U, S, Q, X c (U|Q)~S{XQT U, S, R, P c (U{P)~S|RQT U, S, R, Q c U~S{R|QQT U, S, R, R c U~S{RRQT U, S, R, S c U~S|R{SQT U, S, R, T c U{S{R~TQT U, S, R, V c U{S~R{VQT U, S, R, X c S{R~X|UQT U, S, S, P c (U{PS)~SQT U, S, S, R c U{S~S{RQT U, S, S, S c U~S{SSQT U, S, S, T c (U|SS)~TQT U, S, T, P c U{S~T|PQT U, S, T, Q c (U{S)~(TQ)QT U, S, T, R c U{S{T~RQT U, S, T, S c U~S{T|SQT U, S, T, T c (U{S|T)~TQT U, S, T, U c U~S|T{UQT U, S, T, V c (S{V|U)~TQT U, S, T, X c U~T{S|XQT U, S, U, P c U~(S{PU)QT U, S, U, T c U{S~U|TQT U, S, U, U c U~S{UUQT U, S, U, V c U~S|U{VQT U, S, U, X c U{S{U{XQT U, S, V, P c U~(S|P){VQT U, S, V, Q c U~VQ{SQT U, S, V, R c U{S~R{VQT U, S, V, T c (S{V|U)~TQT U, S, V, U c U~S{V|UQT U, S, V, V c U~S{VVQT U, S, V, W c U{S{V{WQT U, S, V, X c U{S~V|XQT U, S, W, P c U~(W|S){PQT U, S, W, Q c (U{QW)~SQT U, S, W, V c U{S{W{VQT U, S, W, W c U~S{WWQT U, S, W, X c (U|S)~W{XQT U, S, X, P c (U|P)~(X|S)QT U, S, X, Q c (U~X|S)QQT U, S, X, R c S{X~R|UQT U, S, X, T c U~(X|S)|TQT U, S, X, U c U{S{X{UQT U, S, X, V c (U|S)~X{VQT U, S, X, W c U~S{X|WQT U, S, X, X c U~S{XXQT U, T, O, P c (U{O|P)~TQT U, T, O, T c U~T{O|TQT U, T, P, O c (U|P)~(T{O)QT U, T, P, P c U~(T|P){PQT U, T, P, Q c (U{P|Q)~TQT U, T, P, S c (U~T)|(P{S)QT U, T, P, T c U~T|P~TQT U, T, P, U c U~T{P|UQT U, T, P, X c U~(X|T){PQT U, T, Q, P c (U|Q{P)~TQT U, T, Q, Q c (U|QQ)~TQT U, T, Q, R c (U{T)~Q{RQT U, T, Q, S c (U{S)~(TQ)QT U, T, Q, T c (U|Q)~T{TQT U, T, Q, V c U{T{Q~VQT U, T, Q, W c U~Q{T{WQT U, T, Q, X c U{T~Q{XQT U, T, R, Q c (U~T)|(R{Q)QT U, T, R, R c (U|RR)~TQT U, T, R, S c U{T~R{SQT U, T, R, V c T~(V|UR)QT U, T, R, W c (U{T)~R|WQT U, T, R, X c (U{X)~(TR)QT U, T, S, P c U{T~S|PQT U, T, S, Q c (U{S)~(TQ)QT U, T, S, R c U{T~R{SQT U, T, S, S c U~S{T|SQT U, T, S, T c (U|T{S)~TQT U, T, S, U c U|T{S~UQT U, T, S, V c T~(S{V|U)QT U, T, S, X c U~T{S|XQT U, T, T, O c U~T|T{OQT U, T, T, P c U~T|T~PQT U, T, T, Q c (U|Q)~T{TQT U, T, T, S c (U|T{S)~TQT U, T, T, T c (U|T)~(T~T)QT U, T, T, U c U{T~T|UQT U, T, T, V c (T~T)~(V|U)QT U, T, T, X c U{T{T{XQT U, T, U, P c U~T|U{PQT U, T, U, S c U|T{U~SQT U, T, U, T c (U{T|U)~TQT U, T, U, U c (U~U)|(T{U)QT U, T, U, V c (U{U|V)~TQT U, T, U, W c U{T{U{WQT U, T, V, Q c U{T{V~QQT U, T, V, R c T~(V|UR)QT U, T, V, S c (T~V)|(U{S)QT U, T, V, T c T~(V|U)~TQT U, T, V, U c (U{U|V)~TQT U, T, V, V c U{T{V{VQT U, T, V, W c (U{V|W)~TQT U, T, W, Q c U~Q{T{WQT U, T, W, R c U|T{W~RQT U, T, W, U c U{T{W{UQT U, T, W, V c U~(W|T){VQT U, T, W, W c (U|WW)~TQT U, T, W, X c (U{W|X)~TQT U, T, X, P c U~(X|T){PQT U, T, X, Q c U{T~Q{XQT U, T, X, R c (U{X)~(TR)QT U, T, X, S c U~T|X{SQT U, T, X, T c U{T{X{TQT U, T, X, W c (U{W|X)~TQT U, T, X, X c (U|XX)~TQT U, U, P, P c (U|P)~(U|P)QT U, U, P, Q c (U{U)~Q{PQT U, U, P, R c U{U~R{PQT U, U, P, S c U~(PU{S)QT U, U, P, T c U~(U|P)|TQT U, U, Q, P c (U{U)~Q{PQT U, U, Q, V c U{U~Q{VQT U, U, Q, X c (U~U)|(Q{X)QT U, U, R, P c U{U~R{PQT U, U, R, V c U~(U|R){VQT U, U, R, W c (U~U)|(R{W)QT U, U, S, P c U~(S{PU)QT U, U, S, T c U{U~S|TQT U, U, S, U c UU{S~UQT U, U, S, V c (U~U)|(S{V)QT U, U, S, X c U{U{S{XQT U, U, T, P c U~(U|P)|TQT U, U, T, S c U{U~S|TQT U, U, T, T c U|U{T~TQT U, U, T, U c (U~U)|(T{U)QT U, U, T, V c (U{U|V)~TQT U, U, T, W c U{U{T{WQT U, U, U, S c UU{U~SQT U, U, U, T c (U|UU)~TQT U, U, U, V c U{U{U{VQT U, U, V, Q c U{U~Q{VQT U, U, V, R c U~(U|R){VQT U, U, V, S c (U~U)|(V{S)QT U, U, V, T c (U{U|V)~TQT U, U, V, U c U{U{V{UQT U, U, V, X c U~(X|U){VQT U, U, W, R c (U~U)|(W{R)QT U, U, W, T c U{U{W{TQT U, U, X, Q c (U~U)|(X{Q)QT U, U, X, S c U{U{X{SQT U, U, X, V c U~(X|U){VQT U, V, O, R c (U{O)~R{VQT U, V, P, Q c (U{V)~Q|PQT U, V, P, R c U~(V|R){PQT U, V, P, S c U~(S|P){VQT U, V, Q, P c (U{V)~Q|PQT U, V, Q, R c U{V~R|QQT U, V, Q, S c U~VQ{SQT U, V, Q, T c U{V~Q{TQT U, V, Q, U c U{V{Q~UQT U, V, Q, W c (U~V{W)QQT U, V, R, O c U~R{V{OQT U, V, R, P c U~(V|R){PQT U, V, R, Q c U{V~R|QQT U, V, R, R c (U{VR)~RQT U, V, R, S c U{V{R~SQT U, V, R, T c (V|UR)~TQT U, V, R, U c U~(VU{R)QT U, V, R, W c V|U{R~WQT U, V, R, X c U{V{R{XQT U, V, S, P c U~(S|P){VQT U, V, S, Q c U~VQ{SQT U, V, S, R c U{V{S~RQT U, V, S, T c (V|U{S)~TQT U, V, S, U c U~S{V|UQT U, V, S, V c U~(V|S){VQT U, V, S, W c U{V{S{WQT U, V, S, X c U{V~S|XQT U, V, T, Q c U{V~Q{TQT U, V, T, R c (V|UR)~TQT U, V, T, S c (V|U{S)~TQT U, V, T, T c (V|U)~(T~T)QT U, V, T, U c (U{U|V)~TQT U, V, T, V c U{V{T{VQT U, V, T, W c (U{V|W)~TQT U, V, U, Q c U{V{U~QQT U, V, U, R c U~(VU{R)QT U, V, U, S c (U~U)|(V{S)QT U, V, U, T c (U{U|V)~TQT U, V, U, U c U{V{U{UQT U, V, U, X c U~(X|U){VQT U, V, V, S c U~(V|S){VQT U, V, V, T c U{V{V{TQT U, V, W, Q c (U~V{W)QQT U, V, W, R c V|U{W~RQT U, V, W, S c U{V{W{SQT U, V, W, T c (U{V|W)~TQT U, V, W, X c (U~V)|(W{X)QT U, V, X, R c U{V{X{RQT U, V, X, S c U{V~S|XQT U, V, X, U c U~(X|U){VQT U, V, X, W c (U~V)|(X{W)QT U, W, P, Q c U~WQ{PQT U, W, P, R c (U|P)~(W|R)QT U, W, P, S c U~(W|S){PQT U, W, P, X c W~(X|U){PQT U, W, Q, P c U~WQ{PQT U, W, Q, Q c (U~W{Q)QQT U, W, Q, R c U{W~Q{RQT U, W, Q, S c (U{QW)~SQT U, W, Q, T c U~Q{W{TQT U, W, Q, V c (U|Q)~W|VQT U, W, Q, X c U{W{Q{XQT U, W, R, P c (U|R)~W{PQT U, W, R, Q c U{W~Q{RQT U, W, R, T c U{W~R|TQT U, W, R, U c (U~U)|(W{R)QT U, W, R, V c (WU{V)~RQT U, W, R, W c U{W{R{WQT U, W, R, X c U~WR{XQT U, W, S, P c U~(W|S){PQT U, W, S, Q c (U{QW)~SQT U, W, S, V c U{W{S{VQT U, W, S, W c U~S{WWQT U, W, S, X c (U|S)~W{XQT U, W, T, Q c U~Q{W{TQT U, W, T, R c U{W~R|TQT U, W, T, U c U{W{T{UQT U, W, T, V c U~(W|T){VQT U, W, T, W c (U|WW)~TQT U, W, T, X c (U{W|X)~TQT U, W, U, R c (U~U)|(W{R)QT U, W, U, T c U{W{U{TQT U, W, V, Q c (U~V{W)QQT U, W, V, R c (WU{V)~RQT U, W, V, S c U{W{V{SQT U, W, V, T c U~(W|T){VQT U, W, V, X c (U~V)|(W{X)QT U, W, W, R c U{W{W{RQT U, W, W, S c U~S{WWQT U, W, W, T c (U|WW)~TQT U, W, W, X c (W|U)~W{XQT U, W, X, P c W~(X|U){PQT U, W, X, Q c U{W{X{QQT U, W, X, R c U~WR{XQT U, W, X, S c (U|S)~W{XQT U, W, X, T c (U{W|X)~TQT U, W, X, V c (U~V)|(W{X)QT U, W, X, W c (W|U)~W{XQT U, X, P, Q c U{X~Q{PQT U, X, P, S c (U|P)~(X|S)QT U, X, P, T c U~(X|T){PQT U, X, P, W c (X|U)~W{PQT U, X, P, X c U{X{P{XQT U, X, Q, P c U{X~Q{PQT U, X, Q, Q c U~XQ|QQT U, X, Q, R c (U|R)~X|QQT U, X, Q, S c (U~X|S)QQT U, X, Q, T c U{X{Q~TQT U, X, Q, U c (U~U)|(X{Q)QT U, X, Q, W c U{X{Q{WQT U, X, Q, X c (X|U)~X|QQT U, X, R, Q c (U|R)~X|QQT U, X, R, R c X~R|URQT U, X, R, S c X~R|U{SQT U, X, R, T c (U{X)R~TQT U, X, R, V c U{X{R{VQT U, X, R, W c U{X~R|WQT U, X, R, X c (X|UX)~RQT U, X, S, P c (U|P)~(X|S)QT U, X, S, Q c (U~X|S)QQT U, X, S, R c (X|SU)~RQT U, X, S, T c U~(X|S)|TQT U, X, S, U c U{X{S{UQT U, X, S, V c (U|S)~X{VQT U, X, S, W c U~S{X|WQT U, X, S, X c U~S{XXQT U, X, T, P c U~(X|T){PQT U, X, T, Q c U{X{T~QQT U, X, T, R c (U{X)~(TR)QT U, X, T, S c U~(X|S)|TQT U, X, T, T c U{X{T{TQT U, X, T, W c (U{W|X)~TQT U, X, T, X c (U|XX)~TQT U, X, U, Q c (U~U)|(X{Q)QT U, X, U, S c U{X{U{SQT U, X, U, V c U~(X|U){VQT U, X, V, R c U{X{V{RQT U, X, V, S c U{V~S|XQT U, X, V, U c U~(X|U){VQT U, X, V, W c (U~V)|(X{W)QT U, X, W, P c (X|U)~W{PQT U, X, W, Q c U{X{W{QQT U, X, W, R c U{X~R|WQT U, X, W, S c U~S{X|WQT U, X, W, T c (U{W|X)~TQT U, X, W, V c (U~V)|(X{W)QT U, X, W, W c X{(W|U)~WQT U, X, X, P c U{X{X{PQT U, X, X, Q c (X|U)~X|QQT U, X, X, R c (X|UX)~RQT U, X, X, S c U~S{XXQT U, X, X, T c (U|XX)~TQT V, O, Q, T c (V{O|Q)~TQT V, O, Q, X c V{O{Q~XQT V, O, R, S c (V{O)~R{SQT V, O, R, U c V{O{R~UQT V, O, S, R c (V{O)~S|RQT V, O, S, W c O{S~W|VQT V, O, T, Q c (V{O|Q)~TQT V, O, T, T c V~O{T~TQT V, O, U, R c V{O{U~RQT V, O, W, S c O{W~S|VQT V, O, X, Q c V{O{X~QQT V, O, X, X c V{O{X{XQT V, P, P, R c (V{P)~R{PQT V, P, P, S c (V|P)~S{PQT V, P, P, T c (V|P|P)~TQT V, P, P, X c V{(P{P)~XQT V, P, Q, S c V~(P{Q){SQT V, P, Q, T c (V|P~Q)~TQT V, P, Q, U c V{(P{Q)~UQT V, P, Q, V c (V~V{P)QQT V, P, Q, W c V{(P{W)~QQT V, P, Q, X c (V{P)~Q{XQT V, P, R, P c (V{P)~R{PQT V, P, R, R c V~(P{R)|RQT V, P, R, S c V~P~R{SQT V, P, R, T c (V{P|R)~TQT V, P, R, U c V{P~R~UQT V, P, R, V c (V|P)~R{VQT V, P, R, W c (P{R)~W|VQT V, P, R, X c V{(R|P)~XQT V, P, S, P c (V|P)~S{PQT V, P, S, Q c V~(P{Q){SQT V, P, S, R c V~P~S|RQT V, P, S, S c V~S{P|SQT V, P, S, U c V{(S|P)~UQT V, P, S, V c (V{P)~S|VQT V, P, S, W c (V|S)~W{PQT V, P, S, X c S~(X|P)|VQT V, P, T, P c (V|P|P)~TQT V, P, T, Q c (V|P~Q)~TQT V, P, T, R c V{(P{T)~RQT V, P, T, T c (V|P)~T|TQT V, P, T, W c (T|P)~W|VQT V, P, T, X c (V~T)|(P{X)QT V, P, U, Q c V{(P{Q)~UQT V, P, U, R c V{P~U~RQT V, P, U, S c V{U~(S|P)QT V, P, V, Q c (V~V{P)QQT V, P, V, R c (V|P)~R{VQT V, P, V, S c (V{P)~S|VQT V, P, W, Q c V{(P{W)~QQT V, P, W, R c (P{R)~W|VQT V, P, W, S c (V|S)~W{PQT V, P, W, T c W~(T|P)|VQT V, P, W, X c V{P{W{XQT V, P, X, P c V{(P{P)~XQT V, P, X, Q c V{P~X~QQT V, P, X, R c V{X~(R|P)QT V, P, X, S c (X|P)~S|VQT V, P, X, T c (V~T)|(P{X)QT V, P, X, W c V{P{X{WQT V, P, X, X c V{P~X{XQT V, Q, O, T c (V|Q{O)~TQT V, Q, O, X c V{(Q{O)~XQT V, Q, P, S c (V|Q)~(P{S)QT V, Q, P, T c (V|Q)~(P~T)QT V, Q, P, U c V{(Q{P)~UQT V, Q, P, V c (V~V{P)QQT V, Q, P, W c V{Q~(P{W)QT V, Q, P, X c V{Q~P~XQT V, Q, Q, R c (V|Q)~(Q{R)QT V, Q, Q, V c (V{Q)~Q{VQT V, Q, Q, W c V{Q{Q~WQT V, Q, Q, X c V~Q{Q{XQT V, Q, R, Q c (V{Q)~R|QQT V, Q, R, R c V{Q~R~RQT V, Q, R, S c V{(Q{S)~RQT V, Q, R, T c (V{R)~Q{TQT V, Q, R, U c V{Q~(R{U)QT V, Q, R, V c (V{V)~Q|RQT V, Q, R, W c V~Q{R{WQT V, Q, S, P c (V|Q)~(S{P)QT V, Q, S, R c V{(Q{S)~RQT V, Q, S, S c V{Q{S~SQT V, Q, S, T c (V{Q|S)~TQT V, Q, S, U c VQ~U{SQT V, Q, S, V c V~Q{S{VQT V, Q, S, X c (V|Q)~(X|S)QT V, Q, T, O c (V|Q)~(T{O)QT V, Q, T, P c (V|Q)~(T~P)QT V, Q, T, R c (V{R)~Q{TQT V, Q, T, S c V{Q~(T{S)QT V, Q, T, T c V~T|Q~TQT V, Q, T, U c V~Q{T{UQT V, Q, T, W c V{Q~T{WQT V, Q, T, X c (V~Q|X)~TQT V, Q, U, P c (V|Q)~(U|P)QT V, Q, U, R c V{Q~(U{R)QT V, Q, U, S c VQ~U{SQT V, Q, U, T c (V|Q)~U|TQT V, Q, U, U c V{Q~U{UQT V, Q, U, W c (V~U{W)QQT V, Q, V, P c (V~V{P)QQT V, Q, V, Q c V{(Q{V)~QQT V, Q, V, R c (V{V)~Q|RQT V, Q, V, S c V{Q~V{SQT V, Q, V, X c V{Q{V{XQT V, Q, W, P c V{Q~(W{P)QT V, Q, W, Q c V{Q{W~QQT V, Q, W, R c (V|Q)~(W|R)QT V, Q, W, T c V{Q~T{WQT V, Q, W, U c (V~W|U)QQT V, Q, W, W c V{Q{W{WQT V, Q, X, O c V{Q~X{OQT V, Q, X, P c V{Q~X~PQT V, Q, X, Q c V~Q{X{QQT V, Q, X, S c (V|Q)~(X|S)QT V, Q, X, T c (V~Q|X)~TQT V, Q, X, V c V{Q{X{VQT V, Q, X, X c (VX{Q)~XQT V, R, O, S c V~R{O{SQT V, R, O, U c V{(R{O)~UQT V, R, P, P c (V{P)~R{PQT V, R, P, R c V~R{P{RQT V, R, P, S c V~R{P~SQT V, R, P, T c V{R~(P{T)QT V, R, P, U c V{R~P~UQT V, R, P, V c V{R~(V|P)QT V, R, P, W c (R{P)~W|VQT V, R, P, X c V{(R|P)~XQT V, R, Q, Q c V~R{Q{QQT V, R, Q, R c V{R~Q~RQT V, R, Q, S c V{R~(Q{S)QT V, R, Q, T c (V{R)~Q{TQT V, R, Q, U c V~R|Q{UQT V, R, Q, V c (V{V)~Q|RQT V, R, Q, W c V{R~(W|Q)QT V, R, R, P c V~R{R{PQT V, R, R, Q c V{R~R~QQT V, R, R, R c V{(R{R)~RQT V, R, R, S c (V{SR)~RQT V, R, R, T c V{R{R~TQT V, R, R, U c (VR{U)~RQT V, R, R, V c V|R{R~VQT V, R, R, X c V{R~R{XQT V, R, S, O c V~R{S{OQT V, R, S, P c V~R{S~PQT V, R, S, Q c V{R~(S{Q)QT V, R, S, R c (V{SR)~RQT V, R, S, S c (V|RS)~SQT V, R, S, T c (R~S|V)~TQT V, R, S, U c V{R~S{UQT V, R, S, V c V~(R{SV)QT V, R, S, W c V~R|S{WQT V, R, S, X c (V|R)~S{XQT V, R, T, P c V{R~(T{P)QT V, R, T, Q c (V{R)~(TQ)QT V, R, T, R c V{R{T~RQT V, R, T, S c (R{T)~S|VQT V, R, T, T c (V{R|T)~TQT V, R, T, U c (V|UR)~TQT V, R, T, V c (V~T)|(R{V)QT V, R, T, W c (V{W)R~TQT V, R, T, X c V~R|T{XQT V, R, U, O c V{R~U{OQT V, R, U, P c V{R~U~PQT V, R, U, Q c V{(R{U)~QQT V, R, U, R c (VR{U)~RQT V, R, U, S c V{R~S{UQT V, R, U, T c (V|UR)~TQT V, R, U, U c V{(U|R)~UQT V, R, U, W c V{R~W|UQT V, R, U, X c V{R{U{XQT V, R, V, P c V{R~(V|P)QT V, R, V, Q c (V{V)~Q|RQT V, R, V, R c V{R~V|RQT V, R, V, S c V~(R{SV)QT V, R, V, T c (V~T)|(R{V)QT V, R, V, W c V{R{V{WQT V, R, W, P c (R{P)~W|VQT V, R, W, Q c V{R~(W|Q)QT V, R, W, S c V~R{W|SQT V, R, W, T c (V{W)R~TQT V, R, W, U c V{R~W|UQT V, R, W, V c V{R{W{VQT V, R, W, W c R~W|V{WQT V, R, X, P c V{(R|P)~XQT V, R, X, R c V{R~(X|R)QT V, R, X, S c VR~X{SQT V, R, X, T c V~R{X|TQT V, R, X, U c V{R{X{UQT V, R, X, X c V{R~X|XQT V, S, O, R c V~S{O|RQT V, S, O, W c (S{O)~W|VQT V, S, P, P c (V|P)~S{PQT V, S, P, Q c (V~S)|(P{Q)QT V, S, P, R c V~S|P~RQT V, S, P, S c V~S{P|SQT V, S, P, U c V{(S|P)~UQT V, S, P, V c (V{P)~S|VQT V, S, P, W c (V|S)~W{PQT V, S, P, X c S~(X|P)|VQT V, S, Q, P c (V~S)|(Q{P)QT V, S, Q, R c V{(S{Q)~RQT V, S, Q, S c V{S~S{QQT V, S, Q, T c (V|S{Q)~TQT V, S, Q, U c V~S|UQQT V, S, Q, V c V{S{Q~VQT V, S, Q, X c V{(S|Q)~XQT V, S, R, O c V~S|R{OQT V, S, R, P c V~S|R~PQT V, S, R, Q c V{(S{Q)~RQT V, S, R, R c (V{SR)~RQT V, S, R, S c (V|RS)~SQT V, S, R, T c (S~R|V)~TQT V, S, R, U c V{S~R{UQT V, S, R, V c V~(S|RV)QT V, S, R, W c (V{S)~R|WQT V, S, R, X c V~S|XRQT V, S, S, P c V~S|S{PQT V, S, S, Q c V{S~S{QQT V, S, S, R c (V|RS)~SQT V, S, S, S c (S{S)~S|VQT V, S, S, V c V~S{S|VQT V, S, S, W c S~(W|VS)QT V, S, S, X c (S~X)|(V{S)QT V, S, T, Q c V{(S{T)~QQT V, S, T, R c S~(T{R)|VQT V, S, T, U c (V{S|U)~TQT V, S, T, V c (VV{S)~TQT V, S, T, W c V~S{T|WQT V, S, T, X c V{S{T{XQT V, S, U, P c V{(S|P)~UQT V, S, U, Q c V~S|UQQT V, S, U, R c V~S|U{RQT V, S, U, T c (V{S|U)~TQT V, S, U, U c V{S~U|UQT V, S, U, V c (V|S)~U{VQT V, S, U, W c V{S{U{WQT V, S, U, X c V~S{U|XQT V, S, V, P c (V{P)~S|VQT V, S, V, Q c V{S{V~QQT V, S, V, R c V~(SV{R)QT V, S, V, S c (V|S)~V{SQT V, S, V, T c (VV{S)~TQT V, S, V, U c (V|S)~U{VQT V, S, V, V c V{S{V{VQT V, S, W, O c S~W|V{OQT V, S, W, P c (V|S)~W{PQT V, S, W, R c (V{S)~R|WQT V, S, W, S c S~(W|VS)QT V, S, W, T c V~S|W{TQT V, S, W, U c V{S{W{UQT V, S, W, W c (S|VW)~WQT V, S, W, X c V{WS~XQT V, S, X, P c S~(X|P)|VQT V, S, X, Q c V{S~XQQT V, S, X, R c V~S|XRQT V, S, X, S c (S~X)|(V{S)QT V, S, X, T c V{S{X{TQT V, S, X, U c V~S|X{UQT V, S, X, W c V{XS~WQT V, T, O, Q c (V{O|Q)~TQT V, T, O, T c V~O{T~TQT V, T, P, P c (V|P|P)~TQT V, T, P, Q c (V{T)~Q{PQT V, T, P, R c V{(T{P)~RQT V, T, P, T c (V|P)~T|TQT V, T, P, W c (T|P)~W|VQT V, T, P, X c (V~T)|(P{X)QT V, T, Q, O c (V|Q)~(T{O)QT V, T, Q, P c (V{T)~Q{PQT V, T, Q, R c (V{R)~(TQ)QT V, T, Q, S c V~(T|Q){SQT V, T, Q, T c V~T|Q~TQT V, T, Q, U c V{(T|Q)~UQT V, T, Q, W c V{T~Q{WQT V, T, Q, X c (V~Q|X)~TQT V, T, R, P c V{(T{P)~RQT V, T, R, Q c (V{R)~(TQ)QT V, T, R, R c V{T~R{RQT V, T, R, S c (T{R)~S|VQT V, T, R, T c (V|T{R)~TQT V, T, R, U c (V|UR)~TQT V, T, R, V c (V~T)|(R{V)QT V, T, R, W c (V{W)~(TR)QT V, T, R, X c V{(T|R)~XQT V, T, S, Q c V{(T{S)~QQT V, T, S, R c T~(S~R|V)QT V, T, S, U c (V~T)|(S{U)QT V, T, S, V c (VV{S)~TQT V, T, S, W c V~S{T|WQT V, T, S, X c V{T{S{XQT V, T, T, O c V~O{T~TQT V, T, T, P c (V|P)~T|TQT V, T, T, Q c V~T|T~QQT V, T, T, R c (V|T{R)~TQT V, T, T, T c (V~T)|(T{T)QT V, T, T, U c (V|U)~(T~T)QT V, T, T, V c V{T~T|VQT V, T, T, W c V{T{T{WQT V, T, U, Q c V{(T|Q)~UQT V, T, U, R c (V|UR)~TQT V, T, U, S c (V~T)|(U{S)QT V, T, U, T c (V|U)~(T~T)QT V, T, U, U c T~(U{U|V)QT V, T, U, V c V{T{U{VQT V, T, U, W c (V{U|W)~TQT V, T, V, R c (V~T)|(V{R)QT V, T, V, S c (VV{S)~TQT V, T, V, T c (V{T|V)~TQT V, T, V, U c V{T{V{UQT V, T, V, X c (V|T)~X{VQT V, T, W, P c (T|P)~W|VQT V, T, W, Q c (V~T)|(W{Q)QT V, T, W, R c (V{W)~(TR)QT V, T, W, S c V~(W|T){SQT V, T, W, T c V{T{W{TQT V, T, W, U c V{(W|T)~UQT V, T, W, W c (T~W)|(V{W)QT V, T, W, X c (V|T)~W{XQT V, T, X, P c (V~T)|(X{P)QT V, T, X, Q c (V~Q|X)~TQT V, T, X, R c V{(T|R)~XQT V, T, X, S c V{T{X{SQT V, T, X, V c (V|T)~X{VQT V, T, X, W c (V|T)~W{XQT V, U, O, R c V{(U{O)~RQT V, U, P, Q c V{U~(P{Q)QT V, U, P, R c V{U~P~RQT V, U, P, S c V{U~(S|P)QT V, U, Q, P c V{U~(Q{P)QT V, U, Q, R c V~(U|Q)|RQT V, U, Q, S c V~UQ{SQT V, U, Q, T c V{U~(T|Q)QT V, U, Q, U c V{U{Q~UQT V, U, Q, W c (V~U{W)QQT V, U, R, O c V{U~R{OQT V, U, R, P c V{U~R~PQT V, U, R, Q c V{(U{R)~QQT V, U, R, R c (VR{U)~RQT V, U, R, S c V{U{R~SQT V, U, R, T c (V|UR)~TQT V, U, R, U c V{(U|R)~UQT V, U, R, W c V|U{R~WQT V, U, R, X c V{U{R{XQT V, U, S, P c V{U~(S|P)QT V, U, S, Q c V~UQ{SQT V, U, S, R c V{U{S~RQT V, U, S, T c (V|U{S)~TQT V, U, S, U c V{U~S|UQT V, U, S, V c V{U~(V|S)QT V, U, S, W c V{U{S{WQT V, U, S, X c V{(U|S)~XQT V, U, T, Q c V{U~(T|Q)QT V, U, T, R c (V|UR)~TQT V, U, T, S c (V|U{S)~TQT V, U, T, T c (V|U)~(T~T)QT V, U, T, U c (U{U|V)~TQT V, U, T, V c V{U{T{VQT V, U, T, W c (V{U|W)~TQT V, U, U, Q c V{U{U~QQT V, U, U, R c V{U~(U|R)QT V, U, U, S c V|U{U~SQT V, U, U, T c (U{U|V)~TQT V, U, U, U c V{U{U{UQT V, U, U, X c V{U~(X|U)QT V, U, V, S c V{U~(V|S)QT V, U, V, T c V{U{V{TQT V, U, W, Q c (V~U{W)QQT V, U, W, R c V|U{W~RQT V, U, W, S c V{U{W{SQT V, U, W, T c (V{U|W)~TQT V, U, W, X c (V~U)|(W{X)QT V, U, X, R c V{U{X{RQT V, U, X, S c V{(U|S)~XQT V, U, X, U c V{U~(X|U)QT V, U, X, W c (V~U)|(X{W)QT V, V, P, Q c (V~V{P)QQT V, V, P, R c V{(V|P)~RQT V, V, P, S c (V{P)~S|VQT V, V, Q, P c (V~V{P)QQT V, V, Q, Q c V{(V{Q)~QQT V, V, Q, R c (V{V)~Q|RQT V, V, Q, S c V{V~Q{SQT V, V, Q, X c V{V{Q{XQT V, V, R, P c V{(V|P)~RQT V, V, R, Q c (V{V)~Q|RQT V, V, R, R c V{V~R|RQT V, V, R, S c V~(R{SV)QT V, V, R, T c (V~T)|(V{R)QT V, V, R, W c V{V{R{WQT V, V, S, P c (V{P)~S|VQT V, V, S, Q c V{V~Q{SQT V, V, S, R c V~(SV{R)QT V, V, S, S c V~(V|S){SQT V, V, S, T c (VV{S)~TQT V, V, S, U c V{(V|S)~UQT V, V, S, V c V{V{S{VQT V, V, T, R c (V~T)|(V{R)QT V, V, T, S c (VV{S)~TQT V, V, T, T c V|V{T~TQT V, V, T, U c V{V{T{UQT V, V, T, X c V{(V|T)~XQT V, V, U, S c V~V|U~SQT V, V, U, T c V{V{U{TQT V, V, V, S c V{V{V{SQT V, V, W, R c V{V{W{RQT V, V, X, Q c V{V{X{QQT V, V, X, T c (V{V|X)~TQT V, V, X, X c V{(X|V)~XQT V, W, O, S c (W{O)~S|VQT V, W, P, Q c V{(W{P)~QQT V, W, P, R c W~(P{R)|VQT V, W, P, S c (V|S)~W{PQT V, W, P, T c W~(T|P)|VQT V, W, P, X c V{W{P{XQT V, W, Q, P c V{(W{P)~QQT V, W, Q, Q c V{W~Q{QQT V, W, Q, R c V{(W|Q)~RQT V, W, Q, T c V{W{Q~TQT V, W, Q, U c (V~W|U)QQT V, W, Q, W c V{W{Q{WQT V, W, R, P c W~(R{P)|VQT V, W, R, Q c V{(W|Q)~RQT V, W, R, S c V~(W|S)|RQT V, W, R, T c (V{W)R~TQT V, W, R, U c V{W~R|UQT V, W, R, V c V{W{R{VQT V, W, R, W c W|V{R~WQT V, W, S, O c W~S|V{OQT V, W, S, P c (V|S)~W{PQT V, W, S, R c V~(W|S)|RQT V, W, S, S c (W|VS)~SQT V, W, S, T c (V|WS)~TQT V, W, S, U c V{W{S{UQT V, W, S, W c W~(S|VW)QT V, W, S, X c V{WS~XQT V, W, T, P c W~(T|P)|VQT V, W, T, Q c V{W{T~QQT V, W, T, R c (V{W)~(TR)QT V, W, T, S c V~(W|T){SQT V, W, T, T c V{W{T{TQT V, W, T, U c V{(W|T)~UQT V, W, T, W c (W~T)|(V{W)QT V, W, T, X c (V|T)~W{XQT V, W, U, Q c (V~W|U)QQT V, W, U, R c (V{WU)~RQT V, W, U, S c V{W{U{SQT V, W, U, T c V{(W|T)~UQT V, W, U, X c V{(W|U)~XQT V, W, V, R c V{W{V{RQT V, W, W, Q c V{W{W{QQT V, W, W, R c W|V{W~RQT V, W, W, S c W~(W|S)|VQT V, W, W, T c (W~T)|(V{W)QT V, W, X, P c V{W{X{PQT V, W, X, S c V{W~XSQT V, W, X, T c (V|T)~W{XQT V, W, X, U c V{(W|U)~XQT V, W, X, X c W~(X|V){XQT V, X, O, Q c V{(X{O)~QQT V, X, O, X c V{X{O{XQT V, X, P, P c V{X~(P{P)QT V, X, P, Q c V{X~P~QQT V, X, P, R c V{X~(R|P)QT V, X, P, S c (X|P)~S|VQT V, X, P, T c (V~T)|(X{P)QT V, X, P, W c V{X{P{WQT V, X, P, X c V{X{P~XQT V, X, Q, O c V{X~Q{OQT V, X, Q, P c V{X~Q~PQT V, X, Q, Q c V~Q{X{QQT V, X, Q, S c V{XQ~SQT V, X, Q, T c (V~Q|X)~TQT V, X, Q, V c V{X{Q{VQT V, X, Q, X c (VX{Q)~XQT V, X, R, P c V{X~(R|P)QT V, X, R, R c V{X{R~RQT V, X, R, S c V~XR{SQT V, X, R, T c V{X~(T|R)QT V, X, R, U c V{X{R{UQT V, X, R, X c V{X~R|XQT V, X, S, P c (X|P)~S|VQT V, X, S, Q c V{X~(S|Q)QT V, X, S, R c V~XR{SQT V, X, S, S c (X~S)|(V{S)QT V, X, S, T c V{X{S{TQT V, X, S, U c V{X~(U|S)QT V, X, S, W c V{XS~WQT V, X, T, P c (V~T)|(X{P)QT V, X, T, Q c (V~Q|X)~TQT V, X, T, R c V{X~(T|R)QT V, X, T, S c V{X{T{SQT V, X, T, V c V{X~(V|T)QT V, X, T, W c (V|T)~W{XQT V, X, U, R c V{X{U{RQT V, X, U, S c V{X~(U|S)QT V, X, U, U c V{(X|U)~UQT V, X, U, W c V{X~(W|U)QT V, X, V, Q c V{X{V{QQT V, X, V, T c V{X~(V|T)QT V, X, V, X c V{(X|V)~XQT V, X, W, P c V{X{W{PQT V, X, W, S c V{X~WSQT V, X, W, T c (V|T)~W{XQT V, X, W, U c V{X~(W|U)QT V, X, W, X c (X|V)~W{XQT V, X, X, O c V{X{X{OQT V, X, X, P c V{X{X~PQT V, X, X, Q c (VX{Q)~XQT V, X, X, R c V{X~R|XQT V, X, X, V c V{X~(X|V)QT V, X, X, W c (X|V)~W{XQT W, O, P, R c (W{O)~R{PQT W, O, Q, X c (W{O)~Q{XQT W, O, R, P c (W{O)~R{PQT W, O, R, T c (W{O|R)~TQT W, O, S, V c (W{O)~S|VQT W, O, T, R c (W{O|R)~TQT W, O, T, T c W~O{T~TQT W, O, V, S c (W{O)~S|VQT W, O, W, X c W{O{W{XQT W, O, X, Q c (W{O)~Q{XQT W, O, X, W c W{O{X{WQT W, P, O, R c (W{O)~R{PQT W, P, P, Q c W~(P{Q){PQT W, P, P, R c W~P~R{PQT W, P, P, S c W~(S|P){PQT W, P, P, X c W~(P{P){XQT W, P, Q, P c W~(P{Q){PQT W, P, Q, R c (W{P)~R|QQT W, P, Q, S c (W|Q)~S{PQT W, P, Q, T c (W|P|Q)~TQT W, P, Q, U c WQ~U{PQT W, P, Q, V c (W{P)~Q{VQT W, P, Q, W c W{P{Q~WQT W, P, Q, X c W|P{Q~XQT W, P, R, O c W~R{P{OQT W, P, R, P c W~P~R{PQT W, P, R, Q c (W{P)~R|QQT W, P, R, R c (W{PR)~RQT W, P, R, S c (W|P)~R{SQT W, P, R, T c (W|P~R)~TQT W, P, R, U c W|P{R~UQT W, P, R, V c W~(P{R)|VQT W, P, R, W c W~(PW{R)QT W, P, R, X c W~(R|P){XQT W, P, S, P c W~(S|P){PQT W, P, S, Q c (W{S)~Q{PQT W, P, S, R c (W|P)~S|RQT W, P, S, S c W{P{S~SQT W, P, S, T c (W{P|S)~TQT W, P, S, U c (W~S)|(P{U)QT W, P, S, V c W~P~S|VQT W, P, S, W c W~S{P|WQT W, P, T, Q c (W|P|Q)~TQT W, P, T, R c (W|P~R)~TQT W, P, T, S c (W{P|S)~TQT W, P, T, V c W~(T|P)|VQT W, P, T, W c (W|T)~W{PQT W, P, U, Q c W~UQ{PQT W, P, U, R c W|P{U~RQT W, P, U, S c (W~S)|(P{U)QT W, P, U, X c W~(X|U){PQT W, P, V, Q c (W{P)~Q{VQT W, P, V, R c W~(P{R)|VQT W, P, V, S c W~P~S|VQT W, P, V, T c W~(T|P)|VQT W, P, V, X c W{P{V{XQT W, P, W, Q c W{P{W~QQT W, P, W, R c W~(PW{R)QT W, P, W, S c W~S{P|WQT W, P, W, T c W~(W|T){PQT W, P, W, W c W{P{W{WQT W, P, W, X c W{P~W{XQT W, P, X, P c W~(P{P){XQT W, P, X, Q c W|P{X~QQT W, P, X, R c W~XR{PQT W, P, X, U c W~(X|U){PQT W, P, X, V c W{P{X{VQT W, P, X, W c W{P~X{WQT W, P, X, X c W|P{X{XQT W, Q, O, X c W~Q{O{XQT W, Q, P, P c W~(Q{P){PQT W, Q, P, R c (W{P)~R|QQT W, Q, P, S c (W|Q)~S{PQT W, Q, P, T c (W|Q|P)~TQT W, Q, P, U c WQ~U{PQT W, Q, P, V c (W{P)~Q{VQT W, Q, P, W c W~Q{P{WQT W, Q, P, X c W~Q{P~XQT W, Q, Q, R c W~R{QQQT W, Q, Q, T c (W{Q)~Q{TQT W, Q, Q, U c (W~U{Q)QQT W, Q, Q, V c W~Q{Q{VQT W, Q, Q, X c (W{XQ)~QQT W, Q, R, P c W~R{Q|PQT W, Q, R, Q c W~R{QQQT W, Q, R, R c W~Q{R~RQT W, Q, R, T c W{Q{R~TQT W, Q, R, U c W~Q{R{UQT W, Q, R, V c (W|Q)~R{VQT W, Q, R, X c (Q{X)~R|WQT W, Q, S, P c (W|Q)~S{PQT W, Q, S, T c W~Q{S{TQT W, Q, S, U c (QW{U)~SQT W, Q, S, X c W{Q~S{XQT W, Q, T, P c (W|Q|P)~TQT W, Q, T, Q c (W{Q)~(TQ)QT W, Q, T, R c W{Q{T~RQT W, Q, T, S c W~Q{T{SQT W, Q, T, T c (W{Q|T)~TQT W, Q, T, U c W{Q~U{TQT W, Q, T, V c W{Q~T{VQT W, Q, T, X c (W|T)~X|QQT W, Q, U, P c WQ~U{PQT W, Q, U, Q c (W~U{Q)QQT W, Q, U, R c (W{QU)~RQT W, Q, U, S c (QW{U)~SQT W, Q, U, T c W{Q~U{TQT W, Q, U, V c W~(U|Q)|VQT W, Q, U, X c W{Q{U{XQT W, Q, V, P c (W{P)~Q{VQT W, Q, V, Q c W~Q{V{QQT W, Q, V, R c W{Q~V{RQT W, Q, V, T c W{Q~T{VQT W, Q, V, U c (W{V~U)QQT W, Q, V, W c W{Q{V{WQT W, Q, W, P c W{Q~W{PQT W, Q, W, V c W{Q{W{VQT W, Q, W, X c W~(Q{XW)QT W, Q, X, O c W~Q{X{OQT W, Q, X, P c W{Q~X|PQT W, Q, X, Q c (W{XQ)~QQT W, Q, X, R c (Q{X)~R|WQT W, Q, X, S c W{Q~S{XQT W, Q, X, T c (W|T)~X|QQT W, Q, X, U c W{Q{X{UQT W, Q, X, W c W~(Q{XW)QT W, Q, X, X c (W{X)~Q|XQT W, R, O, P c W~R{O{PQT W, R, O, T c (W|R{O)~TQT W, R, P, O c W~R{P{OQT W, R, P, P c W~R{P~PQT W, R, P, Q c W~R|P{QQT W, R, P, R c (W{PR)~RQT W, R, P, S c (W|R)~(P{S)QT W, R, P, T c (W|R)~(P~T)QT W, R, P, U c W{R~U|PQT W, R, P, V c W~(R{P)|VQT W, R, P, W c W~(R{PW)QT W, R, P, X c W~(R|P){XQT W, R, Q, P c W~R{Q|PQT W, R, Q, Q c W~R{QQQT W, R, Q, R c (W{R)~Q{RQT W, R, Q, T c W{R~T{QQT W, R, Q, U c W~Q{R{UQT W, R, Q, V c W{R{Q~VQT W, R, Q, X c R~(Q{X)|WQT W, R, R, P c (W{PR)~RQT W, R, R, Q c (W|R)~(R{Q)QT W, R, R, R c W~R{RRQT W, R, R, S c W~R|R{SQT W, R, R, W c W{R~R{WQT W, R, R, X c (W{RX)~RQT W, R, S, P c (W|R)~(S{P)QT W, R, S, R c W~R{S|RQT W, R, S, S c W~R{SSQT W, R, S, T c W{R~S{TQT W, R, S, V c W{R~V|SQT W, R, S, X c (W|R)~(X|S)QT W, R, T, O c (W|R)~(T{O)QT W, R, T, P c (W|R)~(T~P)QT W, R, T, Q c W{R~T{QQT W, R, T, S c W|R{T~SQT W, R, T, T c W~R{TTQT W, R, T, U c W~R|T{UQT W, R, T, V c (W{V)R~TQT W, R, T, X c W{R{T{XQT W, R, U, P c W{R~U|PQT W, R, U, Q c (W{U)~Q|RQT W, R, U, T c (W{R|U)~TQT W, R, U, U c W~R{UUQT W, R, U, V c W~R|U{VQT W, R, U, W c W{R{U{WQT W, R, U, X c WR~U{XQT W, R, V, P c W~(R{P)|VQT W, R, V, Q c W{R{V~QQT W, R, V, S c W{R~V|SQT W, R, V, T c (W{V)R~TQT W, R, V, U c W~R{V|UQT W, R, V, V c W{R{V{VQT W, R, V, W c W~R|V{WQT W, R, W, P c W~(R{PW)QT W, R, W, R c (W|R)~(W|R)QT W, R, W, U c W{R{W{UQT W, R, W, V c W{R~W|VQT W, R, W, W c W~R{WWQT W, R, W, X c W~R|W{XQT W, R, X, P c WR~X{PQT W, R, X, Q c R~(X{Q)|WQT W, R, X, R c (W{RX)~RQT W, R, X, S c (W|R)~(X|S)QT W, R, X, T c W{R{X{TQT W, R, X, U c WR~U{XQT W, R, X, W c W~R{X|WQT W, R, X, X c W~R{XXQT W, S, O, V c W~S{O|VQT W, S, P, P c W~(S|P){PQT W, S, P, Q c (W{S)~Q{PQT W, S, P, R c (W|P)~S|RQT W, S, P, S c W{S~S{PQT W, S, P, T c (W|S{P)~TQT W, S, P, U c (W~S)|(P{U)QT W, S, P, V c W~S|P~VQT W, S, P, W c W~S{P|WQT W, S, Q, P c (W{S)~Q{PQT W, S, Q, T c (W~S)|(Q{T)QT W, S, Q, U c S~(QW{U)QT W, S, Q, X c W{S~Q{XQT W, S, R, P c (W|R)~(S{P)QT W, S, R, R c W~R{S|RQT W, S, R, S c (W~S)|(R{S)QT W, S, R, T c W{S~R{TQT W, S, R, V c W|S{R~VQT W, S, R, X c (W|R)~(X|S)QT W, S, S, P c W{S~S{PQT W, S, S, R c (W~S)|(S{R)QT W, S, S, V c (W|VS)~SQT W, S, S, X c W{S{S{XQT W, S, T, P c (W|S{P)~TQT W, S, T, Q c (W~S)|(T{Q)QT W, S, T, R c W{S~T|RQT W, S, T, T c (W|S)~T{TQT W, S, T, V c (W{S|V)~TQT W, S, T, W c W{S{T{WQT W, S, T, X c (S{X|W)~TQT W, S, U, P c (W|S)~U{PQT W, S, U, Q c S~(U{QW)QT W, S, U, V c W{S{U{VQT W, S, U, W c WW{S~UQT W, S, U, X c W~(U|S){XQT W, S, V, O c W~S|V{OQT W, S, V, P c W~S|V~PQT W, S, V, R c W|S{V~RQT W, S, V, S c (W|VS)~SQT W, S, V, T c (W{S|V)~TQT W, S, V, U c W{S{V{UQT W, S, V, W c W~(S|VW)QT W, S, V, X c WS~X{VQT W, S, W, P c W~S|W{PQT W, S, W, T c W{S{W{TQT W, S, W, U c WW{S~UQT W, S, W, V c (W|S)~W|VQT W, S, W, X c WS~W{XQT W, S, X, Q c W~S|X{QQT W, S, X, R c (W|R)~(X|S)QT W, S, X, S c W{S{X{SQT W, S, X, T c (S{X|W)~TQT W, S, X, U c W~(U|S){XQT W, S, X, V c WS~X{VQT W, S, X, W c WS~W{XQT W, T, O, R c (W{O|R)~TQT W, T, O, T c W~O{T~TQT W, T, P, Q c (W{T)~Q|PQT W, T, P, R c (W|P~R)~TQT W, T, P, S c (W{P|S)~TQT W, T, P, V c W~(T|P)|VQT W, T, P, W c (W|T)~W{PQT W, T, Q, P c (W{T)~Q|PQT W, T, Q, Q c (W{Q)~(TQ)QT W, T, Q, R c W{T~R{QQT W, T, Q, S c W~Q{T{SQT W, T, Q, T c (W|T{Q)~TQT W, T, Q, U c W{T{Q~UQT W, T, Q, V c W{T~Q{VQT W, T, Q, X c (W|T)~X|QQT W, T, R, O c (W|R)~(T{O)QT W, T, R, P c (W|R)~(T~P)QT W, T, R, Q c W{T~R{QQT W, T, R, S c W{T{R~SQT W, T, R, T c W~T|R~TQT W, T, R, U c W~R|T{UQT W, T, R, V c (W{V)~(TR)QT W, T, R, X c W{T{R{XQT W, T, S, P c (W|S{P)~TQT W, T, S, Q c (W~S)|(T{Q)QT W, T, S, R c W{T{S~RQT W, T, S, T c (W|S)~T{TQT W, T, S, V c (W|T)~V{SQT W, T, S, W c W{T{S{WQT W, T, S, X c T~(S{X|W)QT W, T, T, O c W~O{T~TQT W, T, T, Q c (W|T{Q)~TQT W, T, T, R c W~T|T~RQT W, T, T, S c (W|S)~T{TQT W, T, T, V c W{T{T{VQT W, T, T, W c W{T~T|WQT W, T, T, X c (T~T)~(X|W)QT W, T, U, Q c W{T{U~QQT W, T, U, R c (W|U{R)~TQT W, T, U, U c W{T{U{UQT W, T, U, V c (W|T)~U{VQT W, T, U, W c T~(U|WW)QT W, T, U, X c (W~T)|(U{X)QT W, T, V, P c W~(T|P)|VQT W, T, V, Q c W{T~Q{VQT W, T, V, R c (W{V)~(TR)QT W, T, V, S c (W|T)~V{SQT W, T, V, T c W{T{V{TQT W, T, V, U c (W|T)~U{VQT W, T, V, W c (W~T)|(V{W)QT W, T, V, X c W~(V|T){XQT W, T, W, P c (W|T)~W{PQT W, T, W, S c W{T{W{SQT W, T, W, T c (W{T|W)~TQT W, T, W, U c T~(U|WW)QT W, T, W, V c (W~T)|(W{V)QT W, T, X, Q c (W|T)~X|QQT W, T, X, R c W{T{X{RQT W, T, X, S c T~(X|W{S)QT W, T, X, T c T~(X|W)~TQT W, T, X, U c (W~T)|(X{U)QT W, T, X, V c W~(X|T)|VQT W, U, P, Q c W~UQ{PQT W, U, P, R c W{U~R|PQT W, U, P, S c (W|S)~U{PQT W, U, P, X c W~(X|U){PQT W, U, Q, P c W~UQ{PQT W, U, Q, Q c (W~U{Q)QQT W, U, Q, R c (W{U)~Q|RQT W, U, Q, S c (U{QW)~SQT W, U, Q, T c W{U~Q{TQT W, U, Q, V c W~(U|Q)|VQT W, U, Q, X c W{U{Q{XQT W, U, R, P c W{U~R|PQT W, U, R, Q c (W{U)~Q|RQT W, U, R, T c (W|U{R)~TQT W, U, R, U c W~R{UUQT W, U, R, V c (WU{V)~RQT W, U, R, W c W{U{R{WQT W, U, R, X c W~UR{XQT W, U, S, P c (W|S)~U{PQT W, U, S, Q c (U{QW)~SQT W, U, S, V c W{U{S{VQT W, U, S, W c WW{U~SQT W, U, S, X c W~(U|S){XQT W, U, T, Q c W{U~Q{TQT W, U, T, R c (W|U{R)~TQT W, U, T, U c W{U{T{UQT W, U, T, V c (W|T)~U{VQT W, U, T, W c (U|WW)~TQT W, U, T, X c (W{U|X)~TQT W, U, U, R c W~R{UUQT W, U, U, T c W{U{U{TQT W, U, V, Q c (W{U~V)QQT W, U, V, R c (WU{V)~RQT W, U, V, S c W{U{V{SQT W, U, V, T c (W|T)~U{VQT W, U, V, X c (W|U)~X{VQT W, U, W, R c W{U{W{RQT W, U, W, S c WW{U~SQT W, U, W, T c (U|WW)~TQT W, U, W, X c (W|U)~W{XQT W, U, X, P c W~(X|U){PQT W, U, X, Q c W{U{X{QQT W, U, X, R c W~UR{XQT W, U, X, S c W~(U|S){XQT W, U, X, T c (W{U|X)~TQT W, U, X, V c (W|U)~X{VQT W, U, X, W c (W|U)~W{XQT W, V, O, S c (W{O)~S|VQT W, V, P, Q c (W{P)~Q{VQT W, V, P, R c W~(P{R)|VQT W, V, P, S c W~(V|S){PQT W, V, P, T c W~(T|P)|VQT W, V, P, X c W{V{P{XQT W, V, Q, P c (W{P)~Q{VQT W, V, Q, Q c W~Q{V{QQT W, V, Q, R c W{V~Q{RQT W, V, Q, T c W{V{Q~TQT W, V, Q, U c (W{V~U)QQT W, V, Q, W c W{V{Q{WQT W, V, R, P c W~(R{P)|VQT W, V, R, Q c W{V~Q{RQT W, V, R, S c W{V~R|SQT W, V, R, T c (W{V)R~TQT W, V, R, U c W~R{V|UQT W, V, R, V c W{V{R{VQT W, V, R, W c W|V{R~WQT W, V, S, O c W~S|V{OQT W, V, S, P c W~(V|S){PQT W, V, S, R c W{V~R|SQT W, V, S, S c (W|VS)~SQT W, V, S, T c (W|V{S)~TQT W, V, S, U c W{V{S{UQT W, V, S, W c W~(S|VW)QT W, V, S, X c WS~X{VQT W, V, T, P c W~(T|P)|VQT W, V, T, Q c W{V{T~QQT W, V, T, R c (W{V)~(TR)QT W, V, T, S c (W|V{S)~TQT W, V, T, T c W{V{T{TQT W, V, T, U c (W|T)~U{VQT W, V, T, W c (W~T)|(V{W)QT W, V, T, X c W~(V|T){XQT W, V, U, Q c (W{V~U)QQT W, V, U, R c (WU{V)~RQT W, V, U, S c W{V{U{SQT W, V, U, T c (W|T)~U{VQT W, V, U, X c (W|U)~X{VQT W, V, V, R c W{V{V{RQT W, V, W, Q c W{V{W{QQT W, V, W, R c W|V{W~RQT W, V, W, S c W~(W|S)|VQT W, V, W, T c (W~T)|(V{W)QT W, V, X, P c W{V{X{PQT W, V, X, S c W~XS{VQT W, V, X, T c W~(V|T){XQT W, V, X, U c (W|U)~X{VQT W, V, X, X c W~(X|V){XQT W, W, O, X c W{W{O{XQT W, W, P, Q c W{W~Q{PQT W, W, P, R c W~(PW{R)QT W, W, P, S c W~S|W{PQT W, W, P, T c W~(W|T){PQT W, W, P, W c W{W{P{WQT W, W, P, X c W{W{P~XQT W, W, Q, P c W{W~Q{PQT W, W, Q, V c W{W{Q{VQT W, W, Q, X c W~(Q{XW)QT W, W, R, P c W~(R{PW)QT W, W, R, R c W{W{R~RQT W, W, R, U c W{W{R{UQT W, W, R, V c W{W~R|VQT W, W, R, W c WW{R~WQT W, W, R, X c W~R|W{XQT W, W, S, P c W~S|W{PQT W, W, S, T c W{W{S{TQT W, W, S, U c WW{S~UQT W, W, S, V c W~(W|S)|VQT W, W, S, X c W~WS{XQT W, W, T, P c W~(W|T){PQT W, W, T, S c W{W{T{SQT W, W, T, T c W|W{T~TQT W, W, T, U c T~(U|WW)QT W, W, T, V c (W~T)|(W{V)QT W, W, U, R c W{W{U{RQT W, W, U, S c WW{U~SQT W, W, U, T c (U|WW)~TQT W, W, U, X c W~(W|U){XQT W, W, V, Q c W{W{V{QQT W, W, V, R c W{W~R|VQT W, W, V, S c W~(W|S)|VQT W, W, V, T c (W~T)|(W{V)QT W, W, W, P c W{W{W{PQT W, W, W, R c WW{W~RQT W, W, X, O c W{W{X{OQT W, W, X, P c W{W{X~PQT W, W, X, Q c W~(XW{Q)QT W, W, X, R c W~R|W{XQT W, W, X, S c W~WS{XQT W, W, X, U c W~(W|U){XQT W, X, O, Q c (W{O)~Q{XQT W, X, O, W c W{X{O{WQT W, X, P, P c W~(P{P){XQT W, X, P, Q c W{X~Q|PQT W, X, P, R c W~XR{PQT W, X, P, U c W~(X|U){PQT W, X, P, V c W{X{P{VQT W, X, P, W c W{X{P~WQT W, X, P, X c W{X|P{XQT W, X, Q, O c W~Q{X{OQT W, X, Q, P c W{X~Q|PQT W, X, Q, Q c (W{XQ)~QQT W, X, Q, R c (X{Q)~R|WQT W, X, Q, S c W{X{Q~SQT W, X, Q, T c (W|T)~X|QQT W, X, Q, U c W{X{Q{UQT W, X, Q, W c W~(XW{Q)QT W, X, Q, X c (W{X)~Q|XQT W, X, R, P c W~XR{PQT W, X, R, Q c (X{Q)~R|WQT W, X, R, R c (W~X{R)RQT W, X, R, S c (W|R)~(X|S)QT W, X, R, T c W{X{R{TQT W, X, R, U c WR~U{XQT W, X, R, W c W~R{X|WQT W, X, R, X c W~R{XXQT W, X, S, Q c W{X{S~QQT W, X, S, R c (W|R)~(X|S)QT W, X, S, S c W{X{S{SQT W, X, S, T c (X|W{S)~TQT W, X, S, U c W~(U|S){XQT W, X, S, V c W~XS{VQT W, X, S, W c WS~W{XQT W, X, T, Q c (W|T)~X|QQT W, X, T, R c W{X{T{RQT W, X, T, S c (X|W{S)~TQT W, X, T, T c (X|W)~(T~T)QT W, X, T, U c (W~T)|(X{U)QT W, X, T, V c W~(X|T)|VQT W, X, U, P c W~(X|U){PQT W, X, U, Q c W{X{U{QQT W, X, U, R c W~UR{XQT W, X, U, S c W~(U|S){XQT W, X, U, T c (W{U|X)~TQT W, X, U, V c (W|U)~X{VQT W, X, U, W c (W|U)~W{XQT W, X, V, P c W{X{V{PQT W, X, V, S c W~XS{VQT W, X, V, T c W~(X|T)|VQT W, X, V, U c (W|U)~X{VQT W, X, V, X c W~(X|V){XQT W, X, W, O c W{X{W{OQT W, X, W, P c W{X{W~PQT W, X, W, Q c W~(XW{Q)QT W, X, W, R c W~R{X|WQT W, X, W, S c W~WS{XQT W, X, W, U c W~(W|U){XQT W, X, X, P c W{X{X|PQT W, X, X, Q c (W{X)~Q|XQT W, X, X, R c W~R{XXQT W, X, X, V c W~(X|V){XQT X, O, Q, R c (X{O)~R|QQT X, O, Q, V c (X{O)~Q{VQT X, O, Q, W c X{O{Q~WQT X, O, R, Q c (X{O)~R|QQT X, O, S, S c X{O{S~SQT X, O, S, T c (X{O|S)~TQT X, O, T, S c (X{O|S)~TQT X, O, T, T c X~O{T~TQT X, O, V, Q c (X{O)~Q{VQT X, O, V, X c X{O{V{XQT X, O, W, Q c X{O{W~QQT X, O, W, W c X{O{W{WQT X, O, X, V c X{O{X{VQT X, P, P, R c (X|P)~R{PQT X, P, P, V c X~(P{P){VQT X, P, P, W c X{(P{P)~WQT X, P, Q, Q c X~(P{Q)|QQT X, P, Q, R c X~P~R|QQT X, P, Q, S c X~(S|P)|QQT X, P, Q, T c (X{P)~Q{TQT X, P, Q, U c X~Q{P{UQT X, P, Q, V c X~P~Q{VQT X, P, Q, W c X{P~Q~WQT X, P, Q, X c (X|P)~Q{XQT X, P, R, P c (X|P)~R{PQT X, P, R, Q c X~P~R|QQT X, P, R, R c X~R{P|RQT X, P, R, S c X{(P{R)~SQT X, P, R, T c X{P{R~TQT X, P, R, V c X~(R|P){VQT X, P, R, W c X{(R|P)~WQT X, P, S, Q c X~(S|P)|QQT X, P, S, R c X{(P{R)~SQT X, P, S, S c X{P~S~SQT X, P, S, T c (X|P~S)~TQT X, P, S, U c (X|S)~(U|P)QT X, P, S, V c (X|P)~S|VQT X, P, T, Q c (X{P)~(TQ)QT X, P, T, R c X{P{T~RQT X, P, T, S c (X|P~S)~TQT X, P, T, T c (X{P|T)~TQT X, P, T, U c (X|T)~U{PQT X, P, T, V c (T~V)|(X{P)QT X, P, U, Q c X~Q{P{UQT X, P, U, S c (X|S)~(U|P)QT X, P, U, T c (X|T)~U{PQT X, P, U, W c (X|U)~W{PQT X, P, U, X c X{P{U{XQT X, P, V, P c X~(P{P){VQT X, P, V, Q c X{(P{V)~QQT X, P, V, R c X~(R|P){VQT X, P, V, S c (X|P)~S|VQT X, P, V, T c (V~T)|(X{P)QT X, P, V, W c X{P{V{WQT X, P, V, X c X{P~V{XQT X, P, W, P c X{(P{P)~WQT X, P, W, Q c X{P~W~QQT X, P, W, R c X{W~(R|P)QT X, P, W, U c (X|U)~W{PQT X, P, W, V c X{P{W{VQT X, P, W, W c X{P~W{WQT X, P, W, X c X|P{W{XQT X, P, X, Q c (X|P)~Q{XQT X, P, X, U c X{P{X{UQT X, P, X, V c X{P~X{VQT X, P, X, W c X|P{X{WQT X, Q, O, R c (X{O)~R|QQT X, Q, O, V c X~Q{O{VQT X, Q, O, W c X{(Q{O)~WQT X, Q, P, Q c X~(Q{P)|QQT X, Q, P, R c X~P~R|QQT X, Q, P, S c (X{S)~Q|PQT X, Q, P, T c (X{P)~Q{TQT X, Q, P, U c X~Q{P{UQT X, Q, P, V c X{Q~(P{V)QT X, Q, P, W c X{Q~P~WQT X, Q, P, X c X{Q~(X|P)QT X, Q, Q, P c X~(Q{P)|QQT X, Q, Q, R c (X{Q)~Q{RQT X, Q, Q, S c X{(Q{Q)~SQT X, Q, Q, T c (X|Q|Q)~TQT X, Q, Q, U c X{Q~(Q{U)QT X, Q, Q, V c X{Q{Q~VQT X, Q, Q, W c (XQ{W)~QQT X, Q, Q, X c X|Q{Q~XQT X, Q, R, O c X~R|Q{OQT X, Q, R, P c (X{R)~Q{PQT X, Q, R, Q c (X{Q)~Q{RQT X, Q, R, R c (X|QR)~RQT X, Q, R, S c (X|Q)~R{SQT X, Q, R, T c X{Q~(R{T)QT X, Q, R, U c X|Q{R~UQT X, Q, R, W c (X{Q)~R|WQT X, Q, R, X c X~(R|QX)QT X, Q, S, P c (X{S)~Q|PQT X, Q, S, Q c X{Q~S~QQT X, Q, S, R c (X|Q)~S|RQT X, Q, S, S c X{Q~(S{S)QT X, Q, S, U c X{Q~U{SQT X, Q, S, V c XQ~S{VQT X, Q, S, W c X{Q~S{WQT X, Q, S, X c (X~S)|(Q{X)QT X, Q, T, P c (X{P)~Q{TQT X, Q, T, Q c X~Q{T{QQT X, Q, T, R c X{Q~(T{R)QT X, Q, T, T c (X~T{T)QQT X, Q, T, U c X{Q~T{UQT X, Q, T, V c (Q~V|X)~TQT X, Q, T, W c (X|WQ)~TQT X, Q, T, X c X{Q{T{XQT X, Q, U, P c X~Q{U{PQT X, Q, U, Q c X{(Q{U)~QQT X, Q, U, R c X|Q{U~RQT X, Q, U, S c X{Q~U{SQT X, Q, U, T c (X{Q|U)~TQT X, Q, U, U c (U~U)|(X{Q)QT X, Q, U, W c X{Q{U{WQT X, Q, U, X c (X|U)~X|QQT X, Q, V, O c X~Q{V{OQT X, Q, V, P c X{Q~(V{P)QT X, Q, V, Q c X{Q{V~QQT X, Q, V, S c XQ~S{VQT X, Q, V, T c (Q~V|X)~TQT X, Q, V, V c X{Q{V{VQT X, Q, V, X c X~(Q{VX)QT X, Q, W, O c X{Q~W{OQT X, Q, W, P c X{Q~W~PQT X, Q, W, Q c (XQ{W)~QQT X, Q, W, R c (X{Q)~R|WQT X, Q, W, S c X{Q~S{WQT X, Q, W, T c (X|WQ)~TQT X, Q, W, U c X{Q{W{UQT X, Q, W, W c (XW{Q)~WQT X, Q, W, X c (X{W)~Q|XQT X, Q, X, P c X{Q~(X|P)QT X, Q, X, Q c X{Q~X|QQT X, Q, X, R c X~XR|QQT X, Q, X, S c (X~S)|(Q{X)QT X, Q, X, T c X{Q{X{TQT X, Q, X, U c X~(X|U)|QQT X, Q, X, V c X~(Q{VX)QT X, Q, X, W c (X{W)~Q|XQT X, Q, X, X c X|Q{X{XQT X, R, O, Q c X~R{O|QQT X, R, P, P c (X~R)|(P{P)QT X, R, P, Q c X~R|P~QQT X, R, P, R c X~R{P|RQT X, R, P, S c X{(R{P)~SQT X, R, P, T c (X|R|P)~TQT X, R, P, V c X~(R|P){VQT X, R, P, W c X{(R|P)~WQT X, R, Q, O c X~R|Q{OQT X, R, Q, P c (X{R)~Q{PQT X, R, Q, Q c (X{Q)~Q{RQT X, R, Q, R c (X|QR)~RQT X, R, Q, S c X~R{Q|SQT X, R, Q, T c (XR{Q)~TQT X, R, Q, U c X{R~U|QQT X, R, Q, W c (X{Q)~R|WQT X, R, Q, X c X~(R|QX)QT X, R, R, P c X~R|R{PQT X, R, R, Q c (X|QR)~RQT X, R, R, T c X~R{R|TQT X, R, R, U c X~R|URQT X, R, R, V c X{R~R{VQT X, R, R, W c (X~W{R)RQT X, R, S, P c (X|R)~S{PQT X, R, S, Q c X~R|S{QQT X, R, S, S c X{R~S{SQT X, R, S, U c X~R{S|UQT X, R, S, V c XR~V{SQT X, R, S, W c X~R|WSQT X, R, S, X c X{R{S{XQT X, R, T, P c X{R~T{PQT X, R, T, Q c X{(R{T)~QQT X, R, T, R c X~R|T{RQT X, R, T, T c (X|R)~T|TQT X, R, T, U c (X{U)R~TQT X, R, T, V c X~R{T|VQT X, R, T, W c X{R{T{WQT X, R, U, Q c X{R~U|QQT X, R, U, R c X~R|URQT X, R, U, S c X~R|U{SQT X, R, U, T c (X{U)R~TQT X, R, U, V c X{R{U{VQT X, R, U, W c X~R{U|WQT X, R, U, X c (X|UX)~RQT X, R, V, P c X~(R|P){VQT X, R, V, R c X{R~R{VQT X, R, V, S c XR~V{SQT X, R, V, T c (X{R|V)~TQT X, R, V, U c X{R{V{UQT X, R, V, X c X~R{V|XQT X, R, W, P c XR~W{PQT X, R, W, Q c (X{Q)~R|WQT X, R, W, R c (X~W{R)RQT X, R, W, S c X~R|WSQT X, R, W, T c X{R{W{TQT X, R, W, U c X~R|W{UQT X, R, W, W c X{R~W|WQT X, R, W, X c XX{R~WQT X, R, X, Q c XR~X|QQT X, R, X, S c X{R{X{SQT X, R, X, U c (X~X|U)RQT X, R, X, V c X~R|X{VQT X, R, X, W c XX{R~WQT X, S, O, S c X{(S{O)~SQT X, S, O, T c (X|S{O)~TQT X, S, P, Q c X~(S|P)|QQT X, S, P, R c X{S~(P{R)QT X, S, P, S c X{S~P~SQT X, S, P, T c (X|S)~(P~T)QT X, S, P, U c (X|S)~(U|P)QT X, S, P, V c (X|P)~S|VQT X, S, Q, P c (X{S)~Q|PQT X, S, Q, Q c X{S~(Q{Q)QT X, S, Q, R c (X|S)~(Q{R)QT X, S, Q, S c X{(S{S)~QQT X, S, Q, U c X{S{Q~UQT X, S, Q, V c X~(S|Q){VQT X, S, Q, W c X{(S|Q)~WQT X, S, Q, X c (X~S)|(Q{X)QT X, S, R, P c X{S~(R{P)QT X, S, R, Q c (X|S)~(R{Q)QT X, S, R, S c X{S{R~SQT X, S, R, U c (X|SU)~RQT X, S, R, V c X{S~(V|R)QT X, S, R, W c (X~S)|(R{W)QT X, S, R, X c X{S{R{XQT X, S, S, O c X{S~S{OQT X, S, S, P c X{S~S~PQT X, S, S, Q c X{(S{S)~QQT X, S, S, R c X{S{S~RQT X, S, S, S c (XS{S)~SQT X, S, S, T c X|S{S~TQT X, S, S, V c (X~S)|(S{V)QT X, S, S, W c X{S{S{WQT X, S, S, X c (X|S)~(X|S)QT X, S, T, O c (X|S)~(T{O)QT X, S, T, P c X{S~(T|P)QT X, S, T, S c X{S~T|SQT X, S, T, T c X~T|S~TQT X, S, T, U c (X~S)|(T{U)QT X, S, T, V c X{S{T{VQT X, S, T, W c (X{S|W)~TQT X, S, T, X c X{S~(X|T)QT X, S, U, P c (X|S)~(U|P)QT X, S, U, Q c X{S{U~QQT X, S, U, R c (X|SU)~RQT X, S, U, T c (X|S)~U|TQT X, S, U, U c X{S{U{UQT X, S, U, V c X~(U|S){VQT X, S, U, W c X{S~U|WQT X, S, U, X c XX{S~UQT X, S, V, P c (X|P)~S|VQT X, S, V, Q c (X|S)~(V|Q)QT X, S, V, R c X{S~(V|R)QT X, S, V, S c (X~S)|(V{S)QT X, S, V, T c X{S{V{TQT X, S, V, U c X~(U|S){VQT X, S, V, W c XS~W{VQT X, S, W, Q c X{S~WQQT X, S, W, R c (X|S)~(W|R)QT X, S, W, S c X{S{W{SQT X, S, W, T c (X{S|W)~TQT X, S, W, U c X{S~U|WQT X, S, W, V c XS~W{VQT X, S, W, W c X{WS~WQT X, S, X, Q c (X~S)|(X{Q)QT X, S, X, R c X{S{X{RQT X, S, X, S c (X|S)~(X|S)QT X, S, X, T c X{S~(X|T)QT X, S, X, U c XX{S~UQT X, T, O, S c (X{O|S)~TQT X, T, O, T c X~O{T~TQT X, T, P, Q c (X{P)~(TQ)QT X, T, P, R c X{T~R{PQT X, T, P, S c X{(T|P)~SQT X, T, P, T c (X|T{P)~TQT X, T, P, U c (X|T)~U{PQT X, T, P, V c (T~V)|(X{P)QT X, T, Q, P c (X{P)~(TQ)QT X, T, Q, Q c X~(T|Q)|QQT X, T, Q, R c (X{T)~Q|RQT X, T, Q, T c (X~T{T)QQT X, T, Q, U c X{T~Q{UQT X, T, Q, V c T~(Q~V|X)QT X, T, Q, W c X~(W|T)|QQT X, T, Q, X c X{T{Q{XQT X, T, R, P c X{T~R{PQT X, T, R, Q c X{(T{R)~QQT X, T, R, R c X~R|T{RQT X, T, R, T c (X|R)~T|TQT X, T, R, U c (X{U)~(TR)QT X, T, R, V c X|T{R~VQT X, T, R, W c X{T{R{WQT X, T, S, O c (X|S)~(T{O)QT X, T, S, P c X{(T|P)~SQT X, T, S, S c X{T~S|SQT X, T, S, T c X~T|S~TQT X, T, S, U c (X~S)|(T{U)QT X, T, S, V c X{T{S{VQT X, T, S, W c (X{S|W)~TQT X, T, S, X c (X|T)~S{XQT X, T, T, O c X~O{T~TQT X, T, T, P c (X|T{P)~TQT X, T, T, Q c (X~T{T)QQT X, T, T, R c (X|R)~T|TQT X, T, T, S c X~T|T~SQT X, T, T, T c (X|T)~T{TQT X, T, T, U c X{T{T{UQT X, T, T, W c (X|W)~(T~T)QT X, T, T, X c X{T~T|XQT X, T, U, P c (X|T)~U{PQT X, T, U, Q c X{T~Q{UQT X, T, U, R c (X{U)~(TR)QT X, T, U, S c (X~S)|(T{U)QT X, T, U, T c X{T{U{TQT X, T, U, W c T~(U{W|X)QT X, T, U, X c T~(U|XX)QT X, T, V, P c (T~V)|(X{P)QT X, T, V, Q c T~(V~Q|X)QT X, T, V, R c X|T{V~RQT X, T, V, S c X{T{V{SQT X, T, V, V c X~(V|T){VQT X, T, V, W c (X|T)~W|VQT X, T, W, Q c X~(W|T)|QQT X, T, W, R c X{T{W{RQT X, T, W, S c (X|W{S)~TQT X, T, W, T c (X|W)~(T~T)QT X, T, W, U c (T~W)|(X{U)QT X, T, W, V c (X|T)~W|VQT X, T, X, Q c X{T{X{QQT X, T, X, S c (X|T)~S{XQT X, T, X, T c (X{T|X)~TQT X, T, X, U c T~(U|XX)QT X, U, P, Q c X~Q{U{PQT X, U, P, S c (X|S)~(U|P)QT X, U, P, T c (X|T)~U{PQT X, U, P, W c (X|U)~W{PQT X, U, P, X c X{U{P{XQT X, U, Q, P c X~Q{U{PQT X, U, Q, Q c X{(U{Q)~QQT X, U, Q, R c X{U~R|QQT X, U, Q, S c X{(U|Q)~SQT X, U, Q, T c X{U{Q~TQT X, U, Q, U c (U~U)|(X{Q)QT X, U, Q, W c X{U{Q{WQT X, U, Q, X c (X|U)~X|QQT X, U, R, Q c X{U~R|QQT X, U, R, R c X~R|URQT X, U, R, S c X~R|U{SQT X, U, R, T c (X{U)R~TQT X, U, R, V c X{U{R{VQT X, U, R, W c X{UR~WQT X, U, R, X c (X|UX)~RQT X, U, S, P c (X|S)~(U|P)QT X, U, S, Q c (X~U|S)QQT X, U, S, R c (X|SU)~RQT X, U, S, T c (X|S)~U|TQT X, U, S, U c X{U{S{UQT X, U, S, V c X~(U|S){VQT X, U, S, W c X{(U|S)~WQT X, U, S, X c XX{U~SQT X, U, T, P c (X|T)~U{PQT X, U, T, Q c X{U{T~QQT X, U, T, R c (X{U)~(TR)QT X, U, T, S c (X|S)~U|TQT X, U, T, T c X{U{T{TQT X, U, T, W c (U{W|X)~TQT X, U, T, X c (U|XX)~TQT X, U, U, Q c (U~U)|(X{Q)QT X, U, U, S c X{U{U{SQT X, U, U, V c (X|U)~U{VQT X, U, V, R c X{U{V{RQT X, U, V, S c (X|U)~V{SQT X, U, V, U c (X|U)~U{VQT X, U, V, W c X~(W|U){VQT X, U, W, P c (X|U)~W{PQT X, U, W, Q c X{U{W{QQT X, U, W, R c X{U~WRQT X, U, W, S c X{(U|S)~WQT X, U, W, T c (U{W|X)~TQT X, U, W, V c X~(W|U){VQT X, U, W, W c X{(W|U)~WQT X, U, X, P c X{U{X{PQT X, U, X, Q c (X|U)~X|QQT X, U, X, R c (X|UX)~RQT X, U, X, S c XX{U~SQT X, U, X, T c (U|XX)~TQT X, V, O, Q c (X{O)~Q{VQT X, V, O, X c X{V{O{XQT X, V, P, P c X~(P{P){VQT X, V, P, Q c X{(V{P)~QQT X, V, P, R c X~(R|P){VQT X, V, P, S c (X|P)~S|VQT X, V, P, T c (V~T)|(X{P)QT X, V, P, W c X{V{P{WQT X, V, P, X c X{V{P~XQT X, V, Q, O c X~Q{V{OQT X, V, Q, P c X{(V{P)~QQT X, V, Q, Q c X{V~Q{QQT X, V, Q, S c X~(V|S)|QQT X, V, Q, T c (V~Q|X)~TQT X, V, Q, V c X{V{Q{VQT X, V, Q, X c X~(VX{Q)QT X, V, R, P c X~(R|P){VQT X, V, R, R c X{V{R~RQT X, V, R, S c X{(V|R)~SQT X, V, R, T c X{V~R|TQT X, V, R, U c X{V{R{UQT X, V, R, X c X~R{V|XQT X, V, S, P c (X|P)~S|VQT X, V, S, Q c X~(V|S)|QQT X, V, S, R c X{(V|R)~SQT X, V, S, S c (X~S)|(V{S)QT X, V, S, T c X{V{S{TQT X, V, S, U c (X|U)~V{SQT X, V, S, W c XS~W{VQT X, V, T, P c (V~T)|(X{P)QT X, V, T, Q c (V~Q|X)~TQT X, V, T, R c X{V~R|TQT X, V, T, S c X{V{T{SQT X, V, T, V c X~(V|T){VQT X, V, T, W c X{(V|T)~WQT X, V, U, R c X{V{U{RQT X, V, U, S c (X|U)~V{SQT X, V, U, U c (X|U)~U{VQT X, V, U, W c X~(W|U){VQT X, V, V, Q c X{V{V{QQT X, V, V, T c X~(V|T){VQT X, V, V, X c (X|V)~X{VQT X, V, W, P c X{V{W{PQT X, V, W, S c X~WS{VQT X, V, W, T c X{(V|T)~WQT X, V, W, U c X~(W|U){VQT X, V, W, X c (X|V)~W{XQT X, V, X, O c X{V{X{OQT X, V, X, P c X{V{X~PQT X, V, X, Q c X~(VX{Q)QT X, V, X, R c X~R{V|XQT X, V, X, V c (X|V)~X{VQT X, V, X, W c (X|V)~W{XQT X, W, O, Q c X{(W{O)~QQT X, W, O, W c X{W{O{WQT X, W, P, P c X{W~(P{P)QT X, W, P, Q c X{W~P~QQT X, W, P, R c X{W~(R|P)QT X, W, P, U c (X|U)~W{PQT X, W, P, V c X{W{P{VQT X, W, P, W c X{W{P~WQT X, W, P, X c X{W|P{XQT X, W, Q, O c X{W~Q{OQT X, W, Q, P c X{W~Q~PQT X, W, Q, Q c (XQ{W)~QQT X, W, Q, R c (X{Q)~R|WQT X, W, Q, S c X{W{Q~SQT X, W, Q, T c (X|WQ)~TQT X, W, Q, U c X{W{Q{UQT X, W, Q, W c (XW{Q)~WQT X, W, Q, X c (X{W)~Q|XQT X, W, R, P c X{W~(R|P)QT X, W, R, Q c (X{Q)~R|WQT X, W, R, R c (X~W{R)RQT X, W, R, S c X~R|WSQT X, W, R, T c X{W{R{TQT X, W, R, U c X{WR~UQT X, W, R, W c X{W~R|WQT X, W, R, X c XX{W~RQT X, W, S, Q c X{W{S~QQT X, W, S, R c (X|S)~(W|R)QT X, W, S, S c X{W{S{SQT X, W, S, T c (X|W{S)~TQT X, W, S, U c X|W{S~UQT X, W, S, V c X~WS{VQT X, W, S, W c X{WS~WQT X, W, T, Q c X~(W|T)|QQT X, W, T, R c X{W{T{RQT X, W, T, S c (X|W{S)~TQT X, W, T, T c (X|W)~(T~T)QT X, W, T, U c (W~T)|(X{U)QT X, W, T, V c X{W~(V|T)QT X, W, U, P c (X|U)~W{PQT X, W, U, Q c X{W{U{QQT X, W, U, R c X{W~URQT X, W, U, S c X{W~(U|S)QT X, W, U, T c (W{U|X)~TQT X, W, U, V c X~(W|U){VQT X, W, U, W c X{(W|U)~WQT X, W, V, P c X{W{V{PQT X, W, V, S c X~WS{VQT X, W, V, T c X{W~(V|T)QT X, W, V, U c X~(W|U){VQT X, W, V, X c X{W~(X|V)QT X, W, W, O c X{W{W{OQT X, W, W, P c X{W{W~PQT X, W, W, Q c (XW{Q)~WQT X, W, W, R c X|W{W~RQT X, W, W, S c X{W~WSQT X, W, W, U c X{W~(W|U)QT X, W, X, P c X{W{X|PQT X, W, X, Q c (X{W)~Q|XQT X, W, X, R c XX{W~RQT X, W, X, V c X{W~(X|V)QT X, X, O, V c X{X{O{VQT X, X, P, Q c X{(X|P)~QQT X, X, P, U c X{X{P{UQT X, X, P, V c X{X{P~VQT X, X, P, W c X{X|P{WQT X, X, Q, P c X{(X|P)~QQT X, X, Q, Q c X{X~Q|QQT X, X, Q, R c X~XR|QQT X, X, Q, S c (X~S)|(X{Q)QT X, X, Q, T c X{X{Q{TQT X, X, Q, U c X~(X|U)|QQT X, X, Q, V c X~(Q{VX)QT X, X, Q, W c (X{W)~Q|XQT X, X, Q, X c X{X|Q{XQT X, X, R, Q c X~XR|QQT X, X, R, S c X{X{R{SQT X, X, R, U c (X~X|U)RQT X, X, R, V c X~R|X{VQT X, X, R, W c XX{R~WQT X, X, S, Q c (X~S)|(X{Q)QT X, X, S, R c X{X{S{RQT X, X, S, S c (X|S)~(X|S)QT X, X, S, T c (XX{S)~TQT X, X, S, U c XX{S~UQT X, X, T, Q c X{X{T{QQT X, X, T, S c X{(X|T)~SQT X, X, T, T c X|X{T~TQT X, X, T, U c T~(U|XX)QT X, X, U, P c X{X{U{PQT X, X, U, Q c X~(X|U)|QQT X, X, U, R c (X~X|U)RQT X, X, U, S c XX{U~SQT X, X, U, T c (U|XX)~TQT X, X, V, O c X{X{V{OQT X, X, V, P c X{X{V~PQT X, X, V, Q c X~(VX{Q)QT X, X, V, R c X~R|X{VQT X, X, V, V c X~(X|V){VQT X, X, V, W c X{(X|V)~WQT X, X, W, P c X{X{W|PQT X, X, W, Q c (X{W)~Q|XQT X, X, W, R c XX{W~RQT X, X, W, V c X~X|W~VQT X, X, X, Q c X{X{X|QQT