O, P, R, W c O{R~W|PQR O, P, S, U c O{S~U|PQR O, P, U, S c O{U~S|PQR O, P, W, R c O{W~R|PQR O, Q, R, V c O{Q{R~VQR O, Q, T, T c O{T~T|QQR O, Q, T, X c O{Q~X{TQR O, Q, V, R c O{Q{V~RQR O, Q, V, W c O{Q~W{VQR O, Q, V, X c O{Q~V{XQR O, Q, W, V c O{Q~W{VQR O, Q, X, T c O{Q~X{TQR O, Q, X, V c O{Q~V{XQR O, R, P, W c O{R~W|PQR O, R, Q, V c O{R~V{QQR O, R, S, T c O{R{S~TQR O, R, S, X c O{R~X|SQR O, R, T, S c O{R{T~SQR O, R, T, U c O{R~U{TQR O, R, T, W c O{R~T{WQR O, R, U, T c O{R~U{TQR O, R, V, Q c O{R~V{QQR O, R, W, P c O{R~W|PQR O, R, W, T c O{R~T{WQR O, R, X, S c O{R~X|SQR O, S, P, U c O{S~U|PQR O, S, R, T c O{S~T{RQR O, S, R, X c O{R~X|SQR O, S, S, V c O{S~S{VQR O, S, T, R c O{S~T{RQR O, S, T, V c O{S~V|TQR O, S, U, P c O{S~U|PQR O, S, V, S c O{S~S{VQR O, S, V, T c O{S~V|TQR O, S, W, X c O{S~W|XQR O, S, X, R c O{X~R|SQR O, S, X, W c O{S~W|XQR O, T, Q, T c O{T~T|QQR O, T, Q, X c O{T{Q~XQR O, T, R, S c O{T~S{RQR O, T, R, U c O{T{R~UQR O, T, R, W c O{T~R{WQR O, T, S, R c O{T~S{RQR O, T, S, V c O{S~V|TQR O, T, T, Q c O{T~T|QQR O, T, U, R c O{T{U~RQR O, T, U, V c O{T~U|VQR O, T, V, S c O{V~S|TQR O, T, V, U c O{T~U|VQR O, T, W, R c O{T~R{WQR O, T, X, Q c O{T{X~QQR O, T, X, X c O{T{X{XQR O, U, P, S c O{U~S|PQR O, U, R, T c O{U~R{TQR O, U, S, P c O{U~S|PQR O, U, T, R c O{U~R{TQR O, U, T, V c O{U~T|VQR O, U, V, T c O{U~T|VQR O, U, W, X c O{U{W{XQR O, U, X, W c O{U{X{WQR O, V, Q, R c O{V~R{QQR O, V, Q, W c O{V{Q~WQR O, V, Q, X c O{V~Q{XQR O, V, R, Q c O{V~R{QQR O, V, S, S c O{V{S~SQR O, V, S, T c O{V~S|TQR O, V, T, S c O{V~S|TQR O, V, T, U c O{T~U|VQR O, V, U, T c O{U~T|VQR O, V, V, X c O{V{V{XQR O, V, W, Q c O{V{W~QQR O, V, W, W c O{V{W{WQR O, V, X, Q c O{V~Q{XQR O, V, X, V c O{V{X{VQR O, W, P, R c O{W~R|PQR O, W, Q, V c O{W~Q{VQR O, W, R, P c O{W~R|PQR O, W, R, T c O{W{R~TQR O, W, S, X c O{W~S|XQR O, W, T, R c O{W{T~RQR O, W, U, X c O{W{U{XQR O, W, V, Q c O{W~Q{VQR O, W, V, W c O{W{V{WQR O, W, W, V c O{W{W{VQR O, W, X, S c O{W~S|XQR O, W, X, U c O{W{X{UQR O, X, Q, T c O{X~Q{TQR O, X, Q, V c O{X{Q~VQR O, X, R, S c O{X~R|SQR O, X, S, R c O{X~R|SQR O, X, S, W c O{S~W|XQR O, X, T, Q c O{X~Q{TQR O, X, T, X c O{X{T{XQR O, X, U, W c O{X{U{WQR O, X, V, Q c O{X{V~QQR O, X, V, V c O{X{V{VQR O, X, W, S c O{W~S|XQR O, X, W, U c O{X{W{UQR O, X, X, T c O{X{X{TQR P, O, R, W c O{R~W|PQR P, O, S, U c O{S~U|PQR P, O, U, S c O{U~S|PQR P, O, W, R c O{W~R|PQR P, P, Q, W c (P{Q)~W|PQR P, P, R, U c (P{R)~U|PQR P, P, R, V c P{P{R~VQR P, P, R, W c P~R~W|PQR P, P, R, X c R~(X|P)|PQR P, P, S, T c (P{T)~S|PQR P, P, S, U c P~S~U|PQR P, P, S, V c S~(V|P)|PQR P, P, S, W c (S|P)~W|PQR P, P, T, S c (P{T)~S|PQR P, P, T, T c (T~T)|(P{P)QR P, P, T, U c (T|P)~U|PQR P, P, T, X c (P{P)~X{TQR P, P, U, R c (P{R)~U|PQR P, P, U, S c P~U~S|PQR P, P, U, T c U~(T|P)|PQR P, P, V, R c P{P{V~RQR P, P, V, S c (V|P)~S|PQR P, P, V, W c (P{P)~W{VQR P, P, V, X c (P{P)~V{XQR P, P, W, Q c (P{Q)~W|PQR P, P, W, R c P~W~R|PQR P, P, W, S c W~(S|P)|PQR P, P, W, V c (P{P)~W{VQR P, P, X, R c (X|P)~R|PQR P, P, X, T c (P{P)~X{TQR P, P, X, V c (P{P)~V{XQR P, Q, P, W c (P{Q)~W|PQR P, Q, Q, U c (Q{Q)~U|PQR P, Q, Q, V c (P{Q)~V{QQR P, Q, Q, X c P{Q~(Q{X)QR P, Q, R, S c Q~R~S|PQR P, Q, R, U c (P{U)~R{QQR P, Q, R, V c P~Q{R~VQR P, Q, R, W c P{Q~(R{W)QR P, Q, R, X c (P{X)~Q{RQR P, Q, S, R c Q~S~R|PQR P, Q, S, S c (Q{S)~S|PQR P, Q, S, T c P{Q{S~TQR P, Q, S, U c P{S~U|QQR P, Q, S, V c P{Q~(S{V)QR P, Q, S, W c Q~(S{W)|PQR P, Q, S, X c P{Q~X{SQR P, Q, T, S c P{Q{T~SQR P, Q, T, T c P~T~T|QQR P, Q, T, U c P{Q~(T{U)QR P, Q, T, V c Q~(T{V)|PQR P, Q, T, W c (P{Q)~T{WQR P, Q, T, X c P~Q~X{TQR P, Q, U, Q c Q~U~Q|PQR P, Q, U, R c (P{U)~R{QQR P, Q, U, S c P{U~S|QQR P, Q, U, T c (P{Q)~U{TQR P, Q, U, U c Q~(U{U)|PQR P, Q, U, W c P{Q~W{UQR P, Q, U, X c (P{U)~Q{XQR P, Q, V, Q c (P{Q)~V{QQR P, Q, V, R c P~Q{V~RQR P, Q, V, S c P{Q~(V{S)QR P, Q, V, T c Q~(V{T)|PQR P, Q, V, V c (P{V)~Q{VQR P, Q, V, W c P{Q~V{WQR P, Q, V, X c P~Q~V{XQR P, Q, W, P c (P{Q)~W|PQR P, Q, W, R c P{Q~(W{R)QR P, Q, W, S c Q~(W{S)|PQR P, Q, W, T c (P{Q)~T{WQR P, Q, W, U c P{Q~W{UQR P, Q, W, V c P~Q~W{VQR P, Q, W, W c Q~W|P{WQR P, Q, W, X c Q~(W|P){XQR P, Q, X, Q c P{(Q{X)~QQR P, Q, X, R c (P{X)~Q{RQR P, Q, X, S c P{Q~X{SQR P, Q, X, T c P~Q~X{TQR P, Q, X, U c (P{U)~Q{XQR P, Q, X, V c P~Q~V{XQR P, Q, X, W c Q~(W|P){XQR P, R, O, W c (R{O)~W|PQR P, R, P, U c (P{R)~U|PQR P, R, P, V c P{R~V{PQR P, R, P, W c P~R~W|PQR P, R, P, X c R~(X|P)|PQR P, R, Q, S c R~Q~S|PQR P, R, Q, U c (P{U)~R{QQR P, R, Q, V c P~R~V{QQR P, R, Q, W c P{(R{W)~QQR P, R, Q, X c (P{X)~Q{RQR P, R, R, S c (R{R)~S|PQR P, R, R, T c (P{R)~T{RQR P, R, R, V c R|P{R~VQR P, R, R, W c R~(W|PR)QR P, R, R, X c (R~X)|(P{R)QR P, R, S, Q c R~S~Q|PQR P, R, S, R c (R{R)~S|PQR P, R, S, S c (P{S)~S{RQR P, R, S, T c P~R{S~TQR P, R, S, U c P{R~U{SQR P, R, S, V c (P{R)~S{VQR P, R, S, W c (P{S)~R{WQR P, R, S, X c P~R~X|SQR P, R, T, R c (P{R)~T{RQR P, R, T, S c P~R{T~SQR P, R, T, T c (P{T)~R{TQR P, R, T, U c P~R~U{TQR P, R, T, V c P{R~T{VQR P, R, T, W c P~R~T{WQR P, R, T, X c P{R~X|TQR P, R, U, P c (P{R)~U|PQR P, R, U, Q c (P{U)~R{QQR P, R, U, S c P{R~U{SQR P, R, U, T c P~R~U{TQR P, R, U, U c R~U|P{UQR P, R, U, V c U~(V|R)|PQR P, R, U, W c R~(U|P){WQR P, R, V, P c P{R~V{PQR P, R, V, Q c P~R~V{QQR P, R, V, R c R|P{V~RQR P, R, V, S c (P{R)~S{VQR P, R, V, T c (P{R)~V|TQR P, R, V, U c (V|R)~U|PQR P, R, V, W c (R|P)~W{VQR P, R, V, X c (P{X)~R|VQR P, R, W, O c R~W|P{OQR P, R, W, P c P~R~W|PQR P, R, W, Q c P{(R{W)~QQR P, R, W, R c R~(W|PR)QR P, R, W, S c (P{W)~R|SQR P, R, W, T c P~R~T{WQR P, R, W, U c R~(U|P){WQR P, R, W, V c (R|P)~W{VQR P, R, W, W c (R|PW)~WQR P, R, W, X c (P{R)~W|XQR P, R, X, P c R~(X|P)|PQR P, R, X, Q c (P{X)~Q{RQR P, R, X, R c (R~X)|(P{R)QR P, R, X, S c P~R~X|SQR P, R, X, T c P{R~X|TQR P, R, X, V c (P{X)~R|VQR P, R, X, W c (P{R)~W|XQR P, S, O, U c (S{O)~U|PQR P, S, P, T c (P{T)~S|PQR P, S, P, U c P~S~U|PQR P, S, P, V c S~(V|P)|PQR P, S, P, W c (S|P)~W|PQR P, S, Q, R c S~Q~R|PQR P, S, Q, S c (S{Q)~S|PQR P, S, Q, T c P{S~T{QQR P, S, Q, U c P{S~U|QQR P, S, Q, V c P{(S{V)~QQR P, S, Q, W c (S{W)~Q|PQR P, S, Q, X c P{S{Q~XQR P, S, R, Q c S~R~Q|PQR P, S, R, R c S~(R{R)|PQR P, S, R, S c (P{S)~S{RQR P, S, R, T c P~S~T{RQR P, S, R, U c P{S{R~UQR P, S, R, V c (P{R)~S{VQR P, S, R, W c (P{S)~R{WQR P, S, R, X c P~R~X|SQR P, S, S, Q c S~(S{Q)|PQR P, S, S, R c (P{S)~S{RQR P, S, S, T c S|P{S~TQR P, S, S, U c P{S~S{UQR P, S, S, V c P~S~S{VQR P, S, S, W c S~S|P{WQR P, S, S, X c (S|P)~X|SQR P, S, T, P c (P{T)~S|PQR P, S, T, Q c P{S~T{QQR P, S, T, R c P~S~T{RQR P, S, T, S c S|P{T~SQR P, S, T, U c (P{U)~S|TQR P, S, T, V c P~S~V|TQR P, S, T, W c (S|P)~T{WQR P, S, U, O c S~U|P{OQR P, S, U, P c P~S~U|PQR P, S, U, Q c P{S~U|QQR P, S, U, R c P{S{U~RQR P, S, U, S c P{S~S{UQR P, S, U, T c (P{U)~S|TQR P, S, U, U c (S|PU)~UQR P, S, U, V c (P{S)~U|VQR P, S, U, W c U~(W|S)|PQR P, S, V, P c S~(V|P)|PQR P, S, V, Q c P{(S{V)~QQR P, S, V, R c (P{R)~S{VQR P, S, V, S c P~S~S{VQR P, S, V, T c P~S~V|TQR P, S, V, U c P{S~V|UQR P, S, V, W c (V|S)~W|PQR P, S, V, X c (P{V)~S|XQR P, S, W, P c (S|P)~W|PQR P, S, W, Q c (S{W)~Q|PQR P, S, W, R c (P{S)~R{WQR P, S, W, S c S~S|P{WQR P, S, W, T c (S|P)~T{WQR P, S, W, U c (W|S)~U|PQR P, S, W, V c W~(V|S)|PQR P, S, W, W c (S~W)|(P{W)QR P, S, W, X c P~S~W|XQR P, S, X, Q c P{S{X~QQR P, S, X, R c P~X~R|SQR P, S, X, S c (S|P)~X|SQR P, S, X, V c (P{V)~S|XQR P, S, X, W c P~S~W|XQR P, S, X, X c P{S{X{XQR P, T, P, S c (P{T)~S|PQR P, T, P, T c (T~T)|(P{P)QR P, T, P, U c (T|P)~U|PQR P, T, P, X c (P{P)~X{TQR P, T, Q, S c P{T~S{QQR P, T, Q, T c P~T~T|QQR P, T, Q, U c P{(T{U)~QQR P, T, Q, V c (T{V)~Q|PQR P, T, Q, W c (P{Q)~T{WQR P, T, Q, X c P~T{Q~XQR P, T, R, R c (P{R)~T{RQR P, T, R, S c P~T~S{RQR P, T, R, T c (P{T)~R{TQR P, T, R, U c P~T{R~UQR P, T, R, V c P{T~R{VQR P, T, R, W c P~T~R{WQR P, T, R, X c P{R~X|TQR P, T, S, P c (P{T)~S|PQR P, T, S, Q c P{T~S{QQR P, T, S, R c P~T~S{RQR P, T, S, S c T~S|P{SQR P, T, S, U c (P{U)~S|TQR P, T, S, V c P~S~V|TQR P, T, S, W c T~(S|P){WQR P, T, T, P c (T~T)|(P{P)QR P, T, T, Q c P~T~T|QQR P, T, T, R c P{T~T|RQR P, T, T, V c (P{T)~T|VQR P, T, U, P c (T|P)~U|PQR P, T, U, Q c P{(T{U)~QQR P, T, U, R c P~T{U~RQR P, T, U, S c (P{U)~S|TQR P, T, U, U c (T~U)|(P{U)QR P, T, U, V c P~T~U|VQR P, T, U, W c P{T~U|WQR P, T, U, X c U~(X|T)|PQR P, T, V, Q c (T{V)~Q|PQR P, T, V, R c P{T~R{VQR P, T, V, S c P~V~S|TQR P, T, V, T c (P{T)~T|VQR P, T, V, U c P~T~U|VQR P, T, V, V c T~(V|P)|VQR P, T, W, Q c (P{W)~Q{TQR P, T, W, R c P~T~R{WQR P, T, W, S c T~(S|P){WQR P, T, W, U c P{T~U|WQR P, T, W, W c (W|T)~W|PQR P, T, W, X c P{T{W{XQR P, T, X, P c (P{P)~X{TQR P, T, X, Q c (P{T~X)QQR P, T, X, R c P{X~R|TQR P, T, X, U c (X|T)~U|PQR P, T, X, W c P{T{X{WQR P, T, X, X c P~T{X{XQR P, U, O, S c (U{O)~S|PQR P, U, P, R c (P{R)~U|PQR P, U, P, S c P~U~S|PQR P, U, P, T c U~(T|P)|PQR P, U, Q, Q c U~(Q{Q)|PQR P, U, Q, R c (P{U)~R{QQR P, U, Q, S c P{U~S|QQR P, U, Q, T c P{(U{T)~QQR P, U, Q, U c (U|Q)~U|PQR P, U, Q, W c P{U{Q~WQR P, U, Q, X c (P{U)~Q{XQR P, U, R, P c (P{R)~U|PQR P, U, R, Q c (P{U)~R{QQR P, U, R, S c P{U~R{SQR P, U, R, T c P~U~R{TQR P, U, R, U c U|P{R~UQR P, U, R, V c U~(V|R)|PQR P, U, R, W c (U|P)~R{WQR P, U, S, O c U~S|P{OQR P, U, S, P c P~U~S|PQR P, U, S, Q c P{U~S|QQR P, U, S, R c P{U~R{SQR P, U, S, S c P{U{S~SQR P, U, S, T c (P{U)~S|TQR P, U, S, U c U~(S|PU)QR P, U, S, V c (P{S)~U|VQR P, U, S, W c U~(W|S)|PQR P, U, T, P c U~(T|P)|PQR P, U, T, Q c P{(U{T)~QQR P, U, T, R c P~U~R{TQR P, U, T, S c (P{U)~S|TQR P, U, T, U c (U~T)|(P{U)QR P, U, T, V c P~U~T|VQR P, U, T, W c P{U~T|WQR P, U, T, X c U~(X|T)|PQR P, U, U, Q c (U{U)~Q|PQR P, U, U, R c U|P{U~RQR P, U, U, S c U~(S|PU)QR P, U, U, T c (U~T)|(P{U)QR P, U, U, V c (U|P)~U|VQR P, U, V, R c U~(V|R)|PQR P, U, V, S c P{V~S|UQR P, U, V, T c P~U~T|VQR P, U, V, U c (U|P)~U|VQR P, U, V, X c P{U{V{XQR P, U, W, Q c P{U{W~QQR P, U, W, R c (U|P)~R{WQR P, U, W, S c U~(W|S)|PQR P, U, W, T c P{U~T|WQR P, U, W, W c P{U{W{WQR P, U, W, X c P~U{W{XQR P, U, X, Q c (P{U)~Q{XQR P, U, X, T c U~(X|T)|PQR P, U, X, V c P{U{X{VQR P, U, X, W c P~U{X{WQR P, U, X, X c U|P{X{XQR P, V, P, R c P{V~R{PQR P, V, P, S c (V|P)~S|PQR P, V, P, W c (P{P)~W{VQR P, V, P, X c (P{P)~V{XQR P, V, Q, Q c (P{Q)~V{QQR P, V, Q, R c P~V~R{QQR P, V, Q, S c P{(V{S)~QQR P, V, Q, T c (V{T)~Q|PQR P, V, Q, V c (P{V)~Q{VQR P, V, Q, W c P{V~Q{WQR P, V, Q, X c P~V~Q{XQR P, V, R, P c P{V~R{PQR P, V, R, Q c P~V~R{QQR P, V, R, R c V~R|P{RQR P, V, R, S c (P{R)~S{VQR P, V, R, T c P{V{R~TQR P, V, R, U c (V|R)~U|PQR P, V, R, W c V{(R|P)~WQR P, V, R, X c (P{X)~R|VQR P, V, S, P c (V|P)~S|PQR P, V, S, Q c P{(V{S)~QQR P, V, S, R c (P{R)~S{VQR P, V, S, S c P~V{S~SQR P, V, S, T c P~V~S|TQR P, V, S, U c P{V~S|UQR P, V, S, W c (V|S)~W|PQR P, V, S, X c (P{V)~S|XQR P, V, T, Q c (V{T)~Q|PQR P, V, T, R c P{V{T~RQR P, V, T, S c P~V~S|TQR P, V, T, T c (P{T)~T|VQR P, V, T, U c P~T~U|VQR P, V, T, V c (V|P)~T|VQR P, V, U, R c (V|R)~U|PQR P, V, U, S c P{V~S|UQR P, V, U, T c P~U~T|VQR P, V, U, U c (U|P)~U|VQR P, V, U, X c P{V{U{XQR P, V, V, Q c (P{V)~Q{VQR P, V, V, T c (V|P)~T|VQR P, V, V, W c P{V{V{WQR P, V, V, X c P~V{V{XQR P, V, W, P c (P{P)~W{VQR P, V, W, Q c P~V{W~QQR P, V, W, R c V{W~(R|P)QR P, V, W, S c (V|S)~W|PQR P, V, W, V c P{V{W{VQR P, V, W, W c P~V{W{WQR P, V, W, X c V|P{W{XQR P, V, X, P c (P{P)~V{XQR P, V, X, Q c P~V~Q{XQR P, V, X, R c (P{X)~R|VQR P, V, X, S c (P{V)~S|XQR P, V, X, U c P{V{X{UQR P, V, X, V c P~V{X{VQR P, V, X, W c V|P{X{WQR P, W, O, R c (W{O)~R|PQR P, W, P, Q c (P{Q)~W|PQR P, W, P, R c P~W~R|PQR P, W, P, S c W~(S|P)|PQR P, W, P, V c (P{P)~W{VQR P, W, Q, P c (P{Q)~W|PQR P, W, Q, R c P{(W{R)~QQR P, W, Q, S c (W|Q)~S|PQR P, W, Q, T c (P{W)~Q{TQR P, W, Q, U c P{W~Q{UQR P, W, Q, V c P{W{Q~VQR P, W, Q, W c W|P{Q~WQR P, W, Q, X c (W|P)~Q{XQR P, W, R, O c W~R|P{OQR P, W, R, P c P~W~R|PQR P, W, R, Q c P{(W{R)~QQR P, W, R, R c (W|PR)~RQR P, W, R, S c (P{W)~R|SQR P, W, R, T c P~W{R~TQR P, W, R, U c W{R~(U|P)QR P, W, R, V c W~(R|P){VQR P, W, R, W c W~(R|PW)QR P, W, R, X c (P{R)~W|XQR P, W, S, P c W~(S|P)|PQR P, W, S, Q c (W{S)~Q|PQR P, W, S, R c (P{W)~R|SQR P, W, S, S c W|P{S~SQR P, W, S, T c (W|P)~S|TQR P, W, S, U c (W|S)~U|PQR P, W, S, V c W~(V|S)|PQR P, W, S, W c (W~S)|(P{W)QR P, W, S, X c P~W~S|XQR P, W, T, Q c (P{W)~Q{TQR P, W, T, R c P~W{T~RQR P, W, T, S c (W|P)~S|TQR P, W, T, U c P{T~U|WQR P, W, T, W c (W|T)~W|PQR P, W, T, X c P{W{T{XQR P, W, U, Q c P{W~Q{UQR P, W, U, R c W{(U|P)~RQR P, W, U, S c (W|S)~U|PQR P, W, U, T c P{U~T|WQR P, W, U, W c P{W{U{WQR P, W, U, X c P~W{U{XQR P, W, V, P c (P{P)~W{VQR P, W, V, Q c P{W{V~QQR P, W, V, R c W~(R|P){VQR P, W, V, S c W~(V|S)|PQR P, W, V, V c P{W{V{VQR P, W, V, W c P~W{V{WQR P, W, V, X c W|P{V{XQR P, W, W, Q c W|P{W~QQR P, W, W, R c W~(R|PW)QR P, W, W, S c (W~S)|(P{W)QR P, W, W, T c W~(W|T)|PQR P, W, W, U c P{W{W{UQR P, W, W, V c P~W{W{VQR P, W, W, W c W|P{W{WQR P, W, X, Q c (W|P)~Q{XQR P, W, X, R c (P{R)~W|XQR P, W, X, S c P~W~S|XQR P, W, X, T c P{W{X{TQR P, W, X, U c P~W{X{UQR P, W, X, V c W|P{X{VQR P, X, P, R c (X|P)~R|PQR P, X, P, T c (P{P)~X{TQR P, X, P, V c (P{P)~V{XQR P, X, Q, Q c P{(X{Q)~QQR P, X, Q, R c (P{X)~Q{RQR P, X, Q, S c P{X~Q{SQR P, X, Q, T c P~X~Q{TQR P, X, Q, U c (P{U)~Q{XQR P, X, Q, V c P~X{Q~VQR P, X, Q, W c X{Q~(W|P)QR P, X, R, P c (X|P)~R|PQR P, X, R, Q c (P{X)~Q{RQR P, X, R, R c (X~R)|(P{R)QR P, X, R, S c P~X~R|SQR P, X, R, T c P{X~R|TQR P, X, R, V c (P{X)~R|VQR P, X, R, W c (P{R)~W|XQR P, X, S, Q c P{X~Q{SQR P, X, S, R c P~X~R|SQR P, X, S, S c X~(S|P)|SQR P, X, S, V c (P{V)~S|XQR P, X, S, W c P~S~W|XQR P, X, S, X c P{X{S{XQR P, X, T, P c (P{P)~X{TQR P, X, T, Q c (P{X~T)QQR P, X, T, R c P{X~R|TQR P, X, T, U c (X|T)~U|PQR P, X, T, W c P{X{T{WQR P, X, T, X c P~X{T{XQR P, X, U, Q c (P{U)~Q{XQR P, X, U, T c (X|T)~U|PQR P, X, U, V c P{X{U{VQR P, X, U, W c P~X{U{WQR P, X, U, X c X|P{U{XQR P, X, V, P c (P{P)~V{XQR P, X, V, Q c P~X{V~QQR P, X, V, R c (P{X)~R|VQR P, X, V, S c (P{V)~S|XQR P, X, V, U c P{X{V{UQR P, X, V, V c P~X{V{VQR P, X, V, W c X|P{V{WQR P, X, W, Q c X{(W|P)~QQR P, X, W, R c (P{R)~W|XQR P, X, W, S c P~W~S|XQR P, X, W, T c P{X{W{TQR P, X, W, U c P~X{W{UQR P, X, W, V c X|P{W{VQR P, X, X, S c P{X{X{SQR P, X, X, T c P~X{X{TQR P, X, X, U c X|P{X{UQR Q, O, R, V c Q{O{R~VQR Q, O, T, T c O{T~T|QQR Q, O, T, X c (Q{O)~X{TQR Q, O, V, R c Q{O{V~RQR Q, O, V, W c (Q{O)~W{VQR Q, O, V, X c (Q{O)~V{XQR Q, O, W, V c (Q{O)~W{VQR Q, O, X, T c (Q{O)~X{TQR Q, O, X, V c (Q{O)~V{XQR Q, P, P, W c (Q{P)~W|PQR Q, P, Q, U c (Q{Q)~U|PQR Q, P, Q, V c Q{(P{Q)~VQR Q, P, Q, X c Q~(Q{X){PQR Q, P, R, S c Q~R~S|PQR Q, P, R, U c Q{(P{U)~RQR Q, P, R, V c Q{P~R~VQR Q, P, R, W c Q{R~(W|P)QR Q, P, R, X c Q~(P{X){RQR Q, P, S, R c Q~S~R|PQR Q, P, S, S c (Q{S)~S|PQR Q, P, S, T c Q{P{S~TQR Q, P, S, U c P{S~U|QQR Q, P, S, V c Q{(S|P)~VQR Q, P, S, W c Q~(S{W)|PQR Q, P, S, X c (Q{P)~X|SQR Q, P, T, S c Q{P{T~SQR Q, P, T, T c P~T~T|QQR Q, P, T, U c (Q{P)~U{TQR Q, P, T, V c Q~(T{V)|PQR Q, P, T, W c (Q{P)~T{WQR Q, P, T, X c Q~P~X{TQR Q, P, U, Q c Q~U~Q|PQR Q, P, U, R c Q{(P{U)~RQR Q, P, U, S c P{U~S|QQR Q, P, U, T c (Q{P)~U{TQR Q, P, U, U c Q~(U{U)|PQR Q, P, U, W c Q~W{P{UQR Q, P, U, X c Q~(P{U){XQR Q, P, V, Q c (Q{P)~V{QQR Q, P, V, R c Q{P~V~RQR Q, P, V, S c Q{V~(S|P)QR Q, P, V, T c Q~(V{T)|PQR Q, P, V, V c Q~(P{V){VQR Q, P, V, W c Q~P~W{VQR Q, P, V, X c Q~P~V{XQR Q, P, W, P c (Q{P)~W|PQR Q, P, W, R c Q{(W|P)~RQR Q, P, W, S c Q~(W{S)|PQR Q, P, W, T c Q~(P{W){TQR Q, P, W, U c Q~W{P{UQR Q, P, W, V c Q~P~W{VQR Q, P, W, W c Q~W|P{WQR Q, P, W, X c Q~(W|P){XQR Q, P, X, Q c (Q{X)~Q{PQR Q, P, X, R c Q~(P{X){RQR Q, P, X, S c (Q{P)~X|SQR Q, P, X, T c Q~P~X{TQR Q, P, X, U c Q~(P{U){XQR Q, P, X, V c Q~P~V{XQR Q, P, X, W c Q~(W|P){XQR Q, Q, P, U c (Q{Q)~U|PQR Q, Q, P, V c Q{(Q{P)~VQR Q, Q, P, X c Q~(Q{X){PQR Q, Q, R, T c Q{(Q{T)~RQR Q, Q, R, W c Q~(Q{W){RQR Q, Q, R, X c Q{Q~X{RQR Q, Q, S, U c S~U|QQQR Q, Q, S, V c (Q{Q)~S{VQR Q, Q, T, R c Q{(Q{T)~RQR Q, Q, T, V c (Q{Q)~V|TQR Q, Q, T, W c Q{Q~W{TQR Q, Q, T, X c Q~(Q{T){XQR Q, Q, U, P c (Q{Q)~U|PQR Q, Q, U, S c U~S|QQQR Q, Q, U, V c Q~(Q{U){VQR Q, Q, U, W c (U~W|Q)QQR Q, Q, U, X c Q{Q~U{XQR Q, Q, V, P c Q{(Q{P)~VQR Q, Q, V, S c (Q{Q)~S{VQR Q, Q, V, T c (Q{Q)~V|TQR Q, Q, V, U c Q~(Q{U){VQR Q, Q, V, V c Q{Q~V{VQR Q, Q, V, W c Q~(VQ{W)QR Q, Q, V, X c Q~(V{XQ)QR Q, Q, W, R c Q~(Q{W){RQR Q, Q, W, T c Q{Q~W{TQR Q, Q, W, U c (W~U|Q)QQR Q, Q, W, V c Q~(W{VQ)QR Q, Q, W, X c (Q{Q)~W|XQR Q, Q, X, P c Q~(Q{X){PQR Q, Q, X, R c Q{Q~X{RQR Q, Q, X, T c Q~(Q{T){XQR Q, Q, X, U c Q{Q~U{XQR Q, Q, X, V c Q~X|Q{VQR Q, Q, X, W c (Q{Q)~W|XQR Q, Q, X, X c Q~(X|Q){XQR Q, R, O, V c Q{(R{O)~VQR Q, R, P, S c Q~R~S|PQR Q, R, P, U c Q{R~(P{U)QR Q, R, P, V c Q{R~P~VQR Q, R, P, W c Q{R~(W|P)QR Q, R, P, X c Q~(R{X)|PQR Q, R, Q, T c Q{R~(Q{T)QR Q, R, Q, W c Q~(Q{W){RQR Q, R, Q, X c Q{R{Q~XQR Q, R, R, S c Q{R~(R{S)QR Q, R, R, T c Q~R~R{TQR Q, R, R, U c Q{R{R~UQR Q, R, R, V c Q~(R{V){RQR Q, R, R, W c (Q{R)~R{WQR Q, R, S, P c Q~R~S|PQR Q, R, S, R c Q{(R{S)~RQR Q, R, S, T c (Q{S)~R{TQR Q, R, S, U c Q{S~U|RQR Q, R, S, V c (Q{V)~R|SQR Q, R, S, W c Q~W{R{SQR Q, R, S, X c Q{R~S{XQR Q, R, T, Q c Q{R~(T{Q)QR Q, R, T, R c Q~R~R{TQR Q, R, T, S c (Q{S)~R{TQR Q, R, T, T c Q~(T{T){RQR Q, R, T, U c Q{R~T{UQR Q, R, T, V c Q~(R{T){VQR Q, R, T, W c Q~(T{W)|RQR Q, R, U, P c Q{R~(U{P)QR Q, R, U, R c Q{R{U~RQR Q, R, U, S c Q{U~S|RQR Q, R, U, T c Q~(R{U){TQR Q, R, U, V c (Q{R)~U|VQR Q, R, U, W c Q~U{R{WQR Q, R, U, X c Q{R~X|UQR Q, R, V, O c Q{R~V{OQR Q, R, V, P c Q{R~V~PQR Q, R, V, R c Q~(R{V){RQR Q, R, V, S c (Q{V)~R|SQR Q, R, V, T c Q~(R{T){VQR Q, R, V, U c (Q{R)~U|VQR Q, R, V, V c (QV{R)~VQR Q, R, V, W c (Q{W)~R|VQR Q, R, V, X c Q{VR~XQR Q, R, W, P c Q{R~(W|P)QR Q, R, W, Q c (Q{W)~Q{RQR Q, R, W, R c Q{R~W|RQR Q, R, W, S c Q~W{R{SQR Q, R, W, T c Q~(W{T)|RQR Q, R, W, U c Q~U{R{WQR Q, R, W, V c (Q{W)~R|VQR Q, R, W, X c Q~R{W{XQR Q, R, X, P c Q~(R{X)|PQR Q, R, X, Q c Q{R{X~QQR Q, R, X, S c Q{R~S{XQR Q, R, X, U c Q{R~X|UQR Q, R, X, V c Q{XR~VQR Q, R, X, W c Q~R{X{WQR Q, R, X, X c Q{R{X{XQR Q, S, P, R c Q~S~R|PQR Q, S, P, S c (Q{S)~S|PQR Q, S, P, T c Q{S~T{PQR Q, S, P, U c S~U|Q{PQR Q, S, P, V c Q{(S|P)~VQR Q, S, P, W c Q~(S{W)|PQR Q, S, P, X c (Q{P)~X|SQR Q, S, Q, U c S~U|QQQR Q, S, Q, V c Q~S~Q{VQR Q, S, R, P c Q~S~R|PQR Q, S, R, R c Q{(S{R)~RQR Q, S, R, T c (Q{S)~R{TQR Q, S, R, U c Q{S~U|RQR Q, S, R, V c (Q{V)~R|SQR Q, S, R, W c Q~W{S{RQR Q, S, R, X c Q{S~R{XQR Q, S, S, P c (Q{S)~S|PQR Q, S, S, T c Q{S~S{TQR Q, S, S, V c Q~(S{S){VQR Q, S, S, X c Q~S~S|XQR Q, S, T, P c Q{S~T{PQR Q, S, T, R c Q~S{T~RQR Q, S, T, S c Q{S~S{TQR Q, S, T, T c Q~(S{T){TQR Q, S, T, U c S~T{UQQR Q, S, T, V c (Q{S)~T|VQR Q, S, T, X c Q~T{S{XQR Q, S, U, P c S~U|Q{PQR Q, S, U, Q c S~U|QQQR Q, S, U, R c Q{S~U|RQR Q, S, U, T c S~T{UQQR Q, S, U, V c Q~U{S{VQR Q, S, U, W c S~(U|QW)QR Q, S, U, X c Q~S{U{XQR Q, S, V, P c Q~(S{V){PQR Q, S, V, Q c Q~S~Q{VQR Q, S, V, R c (Q{V)~R|SQR Q, S, V, S c Q~(S{S){VQR Q, S, V, T c (Q{S)~T|VQR Q, S, V, U c Q~U{S{VQR Q, S, V, V c Q{S~V|VQR Q, S, V, W c Q~S{V{WQR Q, S, V, X c (S|Q)~V{XQR Q, S, W, P c Q~(S{W)|PQR Q, S, W, R c Q~W{S{RQR Q, S, W, U c S~(U|QW)QR Q, S, W, V c Q~S{W{VQR Q, S, W, X c Q{S{W{XQR Q, S, X, P c Q~X{S{PQR Q, S, X, R c Q~(S{X)|RQR Q, S, X, S c Q~S~S|XQR Q, S, X, T c Q~T{S{XQR Q, S, X, U c Q~S{X{UQR Q, S, X, V c (S|Q)~V{XQR Q, S, X, W c Q{S{X{WQR Q, S, X, X c Q~X|S{XQR Q, T, O, T c (T{O)~T|QQR Q, T, O, X c (Q{O)~X{TQR Q, T, P, S c Q{T~S{PQR Q, T, P, T c T~P~T|QQR Q, T, P, U c Q~(T{U){PQR Q, T, P, V c Q~(T{V)|PQR Q, T, P, W c (Q{P)~T{WQR Q, T, P, X c Q~P~X{TQR Q, T, Q, R c Q{(T{Q)~RQR Q, T, Q, V c Q{(T|Q)~VQR Q, T, Q, W c Q{T{Q~WQR Q, T, Q, X c (Q{T)~Q{XQR Q, T, R, Q c (Q{T)~R{QQR Q, T, R, R c Q~R~R{TQR Q, T, R, S c Q~S{T~RQR Q, T, R, T c Q~(T{T){RQR Q, T, R, U c Q{T~R{UQR Q, T, R, V c Q~(T{R){VQR Q, T, R, W c Q~(T{W)|RQR Q, T, S, P c Q{T~S{PQR Q, T, S, R c Q~S{T~RQR Q, T, S, S c Q{T{S~SQR Q, T, S, T c (Q{T)~S|TQR Q, T, S, U c T~S{UQQR Q, T, S, V c (Q{S)~T|VQR Q, T, S, X c Q~T{S{XQR Q, T, T, O c T~T|Q{OQR Q, T, T, P c T~T|Q~PQR Q, T, T, R c Q~(T{T){RQR Q, T, T, S c Q{T~T|SQR Q, T, T, T c (T|QT)~TQR Q, T, T, U c (T|Q)~U{TQR Q, T, T, W c Q~T{T{WQR Q, T, T, X c Q~(T{X)|TQR Q, T, U, P c Q~(T{U){PQR Q, T, U, R c Q{T~R{UQR Q, T, U, S c T~S{UQQR Q, T, U, T c (T|Q)~U{TQR Q, T, U, U c Q~U{T{UQR Q, T, U, V c Q~T{U{VQR Q, T, U, W c Q~(U{W)|TQR Q, T, U, X c Q{T~U|XQR Q, T, V, P c Q~(T{V)|PQR Q, T, V, Q c Q{(T|Q)~VQR Q, T, V, R c Q~(T{R){VQR Q, T, V, S c Q~V{T{SQR Q, T, V, U c Q~T{V{UQR Q, T, V, V c Q~(V{V)|TQR Q, T, V, W c Q{V~(W|T)QR Q, T, V, X c Q{T{V{XQR Q, T, W, P c Q~(W{P){TQR Q, T, W, Q c Q{T{W~QQR Q, T, W, R c Q~(T{W)|RQR Q, T, W, T c Q~T{W{TQR Q, T, W, U c Q~(W{U)|TQR Q, T, W, V c Q{(W|T)~VQR Q, T, W, W c Q{T{W{WQR Q, T, X, O c Q~X{T{OQR Q, T, X, P c Q~X{T~PQR Q, T, X, Q c (Q{T)~Q{XQR Q, T, X, S c Q~T{X{SQR Q, T, X, T c Q~(T{X)|TQR Q, T, X, U c Q{T~U|XQR Q, T, X, V c Q{T{X{VQR Q, T, X, X c (Q{TX)~XQR Q, U, P, Q c Q~U~Q|PQR Q, U, P, R c Q{(U{P)~RQR Q, U, P, S c U~S|Q{PQR Q, U, P, T c Q~(U{T){PQR Q, U, P, U c Q~(U{U)|PQR Q, U, P, W c Q~W{U{PQR Q, U, P, X c Q~(U{P){XQR Q, U, Q, P c Q~U~Q|PQR Q, U, Q, S c U~S|QQQR Q, U, Q, V c (Q{U)~Q{VQR Q, U, Q, W c (U~W|Q)QQR Q, U, Q, X c Q{U~Q{XQR Q, U, R, P c (Q{U)~R|PQR Q, U, R, R c Q{U~R{RQR Q, U, R, S c Q{U~S|RQR Q, U, R, T c Q{U{R~TQR Q, U, R, V c Q{(U|R)~VQR Q, U, R, W c Q~U{R{WQR Q, U, R, X c Q{R~X|UQR Q, U, S, P c U~S|Q{PQR Q, U, S, Q c U~S|QQQR Q, U, S, R c Q{U~S|RQR Q, U, S, T c UQ{S~TQR Q, U, S, V c Q~U{S{VQR Q, U, S, W c (U|QW)~SQR Q, U, S, X c (Q{U)~S|XQR Q, U, T, P c Q~(U{T){PQR Q, U, T, R c Q{U{T~RQR Q, U, T, S c UQ{T~SQR Q, U, T, T c (U~T)|(Q{T)QR Q, U, T, U c Q~U{T{UQR Q, U, T, V c Q~T{U{VQR Q, U, T, W c Q~(U{W)|TQR Q, U, T, X c Q{U~T|XQR Q, U, U, P c Q~(U{U)|PQR Q, U, U, T c Q~U{U{TQR Q, U, U, X c Q{U{U{XQR Q, U, V, Q c Q{U~VQQR Q, U, V, R c Q~(U{V)|RQR Q, U, V, S c Q~U{V{SQR Q, U, V, T c Q~T{U{VQR Q, U, V, V c U~(V|Q)|VQR Q, U, V, W c Q{U{V{WQR Q, U, V, X c Q~(U{X)|VQR Q, U, W, P c Q~W{U{PQR Q, U, W, Q c (U~W|Q)QQR Q, U, W, R c Q~U{W{RQR Q, U, W, S c (U|QW)~SQR Q, U, W, T c Q~(U{W)|TQR Q, U, W, V c Q{U{W{VQR Q, U, W, X c (U|Q)~W|XQR Q, U, X, P c Q~(U{P){XQR Q, U, X, Q c Q~U{X{QQR Q, U, X, R c Q{X~R|UQR Q, U, X, S c (Q{U)~S|XQR Q, U, X, T c Q{U~T|XQR Q, U, X, U c Q{U{X{UQR Q, U, X, V c Q~(U{X)|VQR Q, U, X, W c (U|Q)~W|XQR Q, V, O, R c Q{(V{O)~RQR Q, V, O, W c (Q{O)~W{VQR Q, V, O, X c Q~V{O{XQR Q, V, P, Q c Q{V~(P{Q)QR Q, V, P, R c Q{V~P~RQR Q, V, P, S c Q{V~(S|P)QR Q, V, P, T c Q~(V{T)|PQR Q, V, P, V c Q~(V{P){VQR Q, V, P, W c Q~V{P{WQR Q, V, P, X c Q~V{P~XQR Q, V, Q, P c Q{V~(Q{P)QR Q, V, Q, S c (Q{Q)~S{VQR Q, V, Q, T c (Q{V)~Q{TQR Q, V, Q, U c Q{VQ~UQR Q, V, Q, V c Q{V{Q~VQR Q, V, Q, W c Q~(VQ{W)QR Q, V, Q, X c Q~(V{XQ)QR Q, V, R, O c Q{V~R{OQR Q, V, R, P c Q{V~R~PQR Q, V, R, R c Q~(V{R){RQR Q, V, R, S c (Q{V)~R|SQR Q, V, R, T c Q~(R{T){VQR Q, V, R, U c Q~V{R{UQR Q, V, R, V c (QV{R)~VQR Q, V, R, W c (Q{W)~R|VQR Q, V, R, X c Q{VR~XQR Q, V, S, P c Q{V~(S|P)QR Q, V, S, Q c Q~S~Q{VQR Q, V, S, R c (Q{V)~R|SQR Q, V, S, S c Q~(S{S){VQR Q, V, S, T c Q~V{S{TQR Q, V, S, U c Q~U{V{SQR Q, V, S, V c Q{(V|S)~VQR Q, V, S, W c Q~S{V{WQR Q, V, S, X c VQ~S{XQR Q, V, T, P c Q~(V{T)|PQR Q, V, T, Q c Q{V~(T|Q)QR Q, V, T, R c Q~(T{R){VQR Q, V, T, S c Q~V{T{SQR Q, V, T, U c Q~T{V{UQR Q, V, T, V c Q~(V{V)|TQR Q, V, T, W c Q{V~(W|T)QR Q, V, T, X c Q{V{T{XQR Q, V, U, Q c Q{V~UQQR Q, V, U, R c Q{V~(U|R)QR Q, V, U, S c Q~U{V{SQR Q, V, U, T c Q~T{V{UQR Q, V, U, V c (V|Q)~U|VQR Q, V, U, W c Q{V{U{WQR Q, V, U, X c Q{V~(X|U)QR Q, V, V, P c Q~(V{P){VQR Q, V, V, Q c Q{V{V~QQR Q, V, V, R c (QV{R)~VQR Q, V, V, S c Q{V~(V|S)QR Q, V, V, T c Q~(V{V)|TQR Q, V, V, U c (V|Q)~U|VQR Q, V, V, V c Q{V{V{VQR Q, V, V, W c Q~(V{W)|VQR Q, V, V, X c (Q{XV)~VQR Q, V, W, O c Q~W{V{OQR Q, V, W, P c Q~V{W{PQR Q, V, W, Q c Q~(VQ{W)QR Q, V, W, R c (Q{W)~R|VQR Q, V, W, S c Q~S{V{WQR Q, V, W, T c Q{V~(W|T)QR Q, V, W, U c Q{V{W{UQR Q, V, W, V c Q~(V{W)|VQR Q, V, W, W c (Q{VW)~WQR Q, V, X, O c Q~V{X{OQR Q, V, X, P c Q~V{X~PQR Q, V, X, Q c Q~(V{XQ)QR Q, V, X, R c Q{V~XRQR Q, V, X, S c VQ~S{XQR Q, V, X, T c Q{V{X{TQR Q, V, X, U c Q{V~(X|U)QR Q, V, X, V c (Q{XV)~VQR Q, V, X, X c Q~(V{X)|XQR Q, W, O, V c Q~W{O{VQR Q, W, P, P c (Q{P)~W|PQR Q, W, P, R c Q{(W|P)~RQR Q, W, P, S c Q~(W{S)|PQR Q, W, P, T c Q~(W{P){TQR Q, W, P, U c Q~W{P{UQR Q, W, P, V c Q~W{P~VQR Q, W, P, W c Q~W|P{WQR Q, W, P, X c Q~(W|P){XQR Q, W, Q, R c (Q{W)~Q{RQR Q, W, Q, T c Q{W~Q{TQR Q, W, Q, U c (W~U|Q)QQR Q, W, Q, V c Q~(W{VQ)QR Q, W, Q, X c Q~W|Q{XQR Q, W, R, P c Q~(W{R){PQR Q, W, R, Q c (Q{W)~Q{RQR Q, W, R, R c Q{W~R|RQR Q, W, R, S c Q~W{R{SQR Q, W, R, T c Q~(W{T)|RQR Q, W, R, U c Q~U{W{RQR Q, W, R, V c (Q{W)~R|VQR Q, W, R, X c Q~R{W{XQR Q, W, S, P c Q~(W{S)|PQR Q, W, S, R c Q~W{S{RQR Q, W, S, U c S~(U|QW)QR Q, W, S, V c Q~S{W{VQR Q, W, S, X c Q{W{S{XQR Q, W, T, P c Q~(W{P){TQR Q, W, T, Q c Q~W{T{QQR Q, W, T, R c Q~(W{T)|RQR Q, W, T, T c Q~T{W{TQR Q, W, T, U c Q~(W{U)|TQR Q, W, T, V c Q{(W|T)~VQR Q, W, T, W c Q{W{T{WQR Q, W, U, P c Q~W{U{PQR Q, W, U, Q c (W~U|Q)QQR Q, W, U, R c Q~U{W{RQR Q, W, U, S c (U|QW)~SQR Q, W, U, T c Q~(W{U)|TQR Q, W, U, V c Q{W{U{VQR Q, W, U, X c W~(U|Q)|XQR Q, W, V, O c Q~W{V{OQR Q, W, V, P c Q~W{V~PQR Q, W, V, Q c Q~(W{VQ)QR Q, W, V, R c (Q{W)~R|VQR Q, W, V, S c Q~S{W{VQR Q, W, V, T c Q{(W|T)~VQR Q, W, V, U c Q{W{V{UQR Q, W, V, V c Q~(W{V)|VQR Q, W, V, W c (Q{VW)~WQR Q, W, W, P c Q~W{W|PQR Q, W, W, T c Q{W{W{TQR Q, W, W, V c (Q{VW)~WQR Q, W, W, X c Q~(W{W)|XQR Q, W, X, P c Q~(W|P){XQR Q, W, X, Q c Q~W{X|QQR Q, W, X, R c Q~X{W|RQR Q, W, X, S c Q{W{X{SQR Q, W, X, U c W~(U|Q)|XQR Q, W, X, W c Q~(W{W)|XQR Q, X, O, T c Q~X{O{TQR Q, X, O, V c (Q{O)~V{XQR Q, X, P, Q c (Q{X)~Q{PQR Q, X, P, R c Q~(X{P){RQR Q, X, P, S c Q~X{P{SQR Q, X, P, T c Q~X{P~TQR Q, X, P, U c Q~X|P{UQR Q, X, P, V c Q~(X|P){VQR Q, X, P, W c Q~(W|P){XQR Q, X, Q, P c (Q{X)~Q{PQR Q, X, Q, R c Q{(X|Q)~RQR Q, X, Q, T c Q~(X{TQ)QR Q, X, Q, U c Q{X{Q~UQR Q, X, Q, V c Q~X|Q{VQR Q, X, Q, W c (Q{Q)~W|XQR Q, X, Q, X c Q~(X|Q){XQR Q, X, R, P c Q~(X{R)|PQR Q, X, R, Q c Q~X{R{QQR Q, X, R, S c Q{X{R~SQR Q, X, R, U c Q{X~R|UQR Q, X, R, V c Q{XR~VQR Q, X, R, W c Q~X|R{WQR Q, X, R, X c Q{X{R{XQR Q, X, S, P c Q~X{S{PQR Q, X, S, R c Q{X{S~RQR Q, X, S, S c Q~S~S|XQR Q, X, S, T c Q~T{X{SQR Q, X, S, U c Q~S{X{UQR Q, X, S, V c X{(S|Q)~VQR Q, X, S, W c Q{X{S{WQR Q, X, S, X c Q~X|S{XQR Q, X, T, O c Q~X{T{OQR Q, X, T, P c Q~X{T~PQR Q, X, T, Q c Q~(X{TQ)QR Q, X, T, S c Q~T{X{SQR Q, X, T, T c Q~(X{T)|TQR Q, X, T, U c Q{T~U|XQR Q, X, T, V c Q{X{T{VQR Q, X, T, X c (Q{TX)~XQR Q, X, U, P c Q~X{U|PQR Q, X, U, Q c Q{X{U~QQR Q, X, U, R c Q{X~R|UQR Q, X, U, S c (Q{U)~S|XQR Q, X, U, T c Q{U~T|XQR Q, X, U, U c Q{X{U{UQR Q, X, U, V c Q{(X|U)~VQR Q, X, U, W c (X~U|W)QQR Q, X, V, O c Q~V{X{OQR Q, X, V, P c Q~(X|P){VQR Q, X, V, Q c Q~X{V|QQR Q, X, V, R c Q{X~VRQR Q, X, V, S c X{VQ~SQR Q, X, V, T c Q{X{V{TQR Q, X, V, U c Q{(X|U)~VQR Q, X, V, V c (Q{XV)~VQR Q, X, V, X c Q~(X{V)|XQR Q, X, W, P c Q~(W|P){XQR Q, X, W, Q c Q~W{X|QQR Q, X, W, R c Q~X{W|RQR Q, X, W, S c Q{X{W{SQR Q, X, W, U c (X~U|W)QQR Q, X, W, W c Q~(W{W)|XQR Q, X, X, Q c Q~(X|Q){XQR Q, X, X, R c Q{X{X{RQR Q, X, X, S c Q~X{X|SQR Q, X, X, T c (Q{TX)~XQR Q, X, X, V c Q~(X{V)|XQR R, O, P, W c (R{O)~W|PQR R, O, Q, V c (R{O)~V{QQR R, O, S, T c R{O{S~TQR R, O, S, X c (R{O)~X|SQR R, O, T, S c R{O{T~SQR R, O, T, U c (R{O)~U{TQR R, O, T, W c (R{O)~T{WQR R, O, U, T c (R{O)~U{TQR R, O, V, Q c (R{O)~V{QQR R, O, W, P c (R{O)~W|PQR R, O, W, T c (R{O)~T{WQR R, O, X, S c (R{O)~X|SQR R, P, O, W c (R{O)~W|PQR R, P, P, U c (R{P)~U|PQR R, P, P, V c R~(P{V)|PQR R, P, P, W c R~P~W|PQR R, P, P, X c R~(X|P)|PQR R, P, Q, S c R~Q~S|PQR R, P, Q, U c R~(P{U){QQR R, P, Q, V c R~P~V{QQR R, P, Q, W c R~W{P|QQR R, P, Q, X c R{(P{X)~QQR R, P, R, S c (R{R)~S|PQR R, P, R, T c R{(P{R)~TQR R, P, R, V c R|P{R~VQR R, P, R, W c R~(W|PR)QR R, P, R, X c (R~X)|(P{R)QR R, P, S, Q c R~S~Q|PQR R, P, S, R c (R{R)~S|PQR R, P, S, S c R{(P{S)~SQR R, P, S, T c R{P~S~TQR R, P, S, U c R{S~(U|P)QR R, P, S, V c (R{P)~S{VQR R, P, S, W c R~(P{S){WQR R, P, S, X c R~P~X|SQR R, P, T, R c (R{P)~T{RQR R, P, T, S c R{P~T~SQR R, P, T, T c R~(P{T){TQR R, P, T, U c R~P~U{TQR R, P, T, V c (R{P)~V|TQR R, P, T, W c R~P~T{WQR R, P, T, X c (R|P)~X{TQR R, P, U, P c (R{P)~U|PQR R, P, U, Q c R~(P{U){QQR R, P, U, S c R{(U|P)~SQR R, P, U, T c R~P~U{TQR R, P, U, U c R~U|P{UQR R, P, U, V c U~(V|R)|PQR R, P, U, W c R~(U|P){WQR R, P, V, P c R~(P{V)|PQR R, P, V, Q c R~P~V{QQR R, P, V, R c R|P{V~RQR R, P, V, S c (R{P)~S{VQR R, P, V, T c (R{P)~V|TQR R, P, V, U c (V|R)~U|PQR R, P, V, W c (R|P)~W{VQR R, P, V, X c (R|P)~V{XQR R, P, W, O c R~W|P{OQR R, P, W, P c R~P~W|PQR R, P, W, Q c R~W{P|QQR R, P, W, R c R~(W|PR)QR R, P, W, S c R~(P{W)|SQR R, P, W, T c R~P~T{WQR R, P, W, U c R~(U|P){WQR R, P, W, V c (R|P)~W{VQR R, P, W, W c (R|PW)~WQR R, P, W, X c (R{P)~W|XQR R, P, X, P c R~(X|P)|PQR R, P, X, Q c R{(P{X)~QQR R, P, X, R c (R~X)|(P{R)QR R, P, X, S c R~P~X|SQR R, P, X, T c (R|P)~X{TQR R, P, X, V c R~(P{X)|VQR R, P, X, W c (R{P)~W|XQR R, Q, O, V c (R{O)~V{QQR R, Q, P, S c R~Q~S|PQR R, Q, P, U c R~(Q{U)|PQR R, Q, P, V c R~P~V{QQR R, Q, P, W c (R{W)~Q{PQR R, Q, P, X c R{Q~(P{X)QR R, Q, Q, T c R{(Q{Q)~TQR R, Q, Q, W c R{Q~(Q{W)QR R, Q, Q, X c R{Q{Q~XQR R, Q, R, S c R{(Q{R)~SQR R, Q, R, T c R~Q~R{TQR R, Q, R, U c R{Q{R~UQR R, Q, R, V c R{Q~(R{V)QR R, Q, R, W c (R{Q)~R{WQR R, Q, S, P c R~Q~S|PQR R, Q, S, R c (R{Q)~S{RQR R, Q, S, T c R~(Q{S){TQR R, Q, S, U c R{Q~(S{U)QR R, Q, S, V c R~(Q{V)|SQR R, Q, S, W c R{Q~W{SQR R, Q, S, X c (R{S)~Q{XQR R, Q, T, Q c (R{Q)~T|QQR R, Q, T, R c R~Q~R{TQR R, Q, T, S c R~(Q{S){TQR R, Q, T, T c R{Q~(T{T)QR R, Q, T, U c R~T{Q{UQR R, Q, T, V c R~Q~T|VQR R, Q, T, W c R{TQ~WQR R, Q, U, P c R~(Q{U)|PQR R, Q, U, R c R{Q{U~RQR R, Q, U, S c R{Q~(U{S)QR R, Q, U, T c R{(U|Q)~TQR R, Q, U, V c (R{Q)~U|VQR R, Q, U, W c R{Q~U{WQR R, Q, U, X c R~X{Q|UQR R, Q, V, O c R~V{Q{OQR R, Q, V, P c R~V{Q~PQR R, Q, V, R c R{Q~(V{R)QR R, Q, V, S c R~(Q{V)|SQR R, Q, V, T c R~Q~T|VQR R, Q, V, U c R{Q~V{UQR R, Q, V, V c (R{QV)~VQR R, Q, V, W c R~(Q{W)|VQR R, Q, V, X c Q{VR~XQR R, Q, W, P c (R{W)~Q{PQR R, Q, W, Q c R{(Q{W)~QQR R, Q, W, R c (R{Q)~R{WQR R, Q, W, S c R{Q~W{SQR R, Q, W, T c R{WQ~TQR R, Q, W, U c R{Q~U{WQR R, Q, W, V c R~(Q{W)|VQR R, Q, W, X c R~Q{W{XQR R, Q, X, P c R{Q~(X{P)QR R, Q, X, Q c R{Q{X~QQR R, Q, X, S c (R{S)~Q{XQR R, Q, X, U c R~X{Q|UQR R, Q, X, V c Q{XR~VQR R, Q, X, W c R~Q{X{WQR R, Q, X, X c R{Q{X{XQR R, R, P, S c (R{R)~S|PQR R, R, P, T c R{(R{P)~TQR R, R, P, V c R{R~V|PQR R, R, P, W c R~(W|PR)QR R, R, P, X c (R~X)|(R{P)QR R, R, Q, S c R{(R{Q)~SQR R, R, Q, T c R~R~Q{TQR R, R, Q, U c R{R~U{QQR R, R, Q, V c R~R{Q~VQR R, R, Q, W c R~(R{Q){WQR R, R, R, S c R~R~R|SQR R, R, R, T c (R{R)~R{TQR R, R, R, W c R~W|RRQR R, R, S, P c (R{R)~S|PQR R, R, S, Q c R~(R{S){QQR R, R, S, R c R~R~R|SQR R, R, S, U c R~(R{U)|SQR R, R, S, W c R{R~S{WQR R, R, S, X c R~(X|SR)QR R, R, T, P c R~(R{T)|PQR R, R, T, Q c R~R~Q{TQR R, R, T, R c (R{R)~R{TQR R, R, T, T c R{R~T{TQR R, R, T, U c R~(TR{U)QR R, R, T, V c (R{R)~T|VQR R, R, T, W c R~(T{WR)QR R, R, T, X c R~R{T{XQR R, R, U, Q c R{R~U{QQR R, R, U, S c R~(R{U)|SQR R, R, U, T c R~(U{TR)QR R, R, U, V c R~V{URQR R, R, U, W c R~R{U{WQR R, R, V, P c R{R~V|PQR R, R, V, Q c R{(R{V)~QQR R, R, V, T c (R{R)~T|VQR R, R, V, U c R~V{URQR R, R, V, V c R~R{V{VQR R, R, V, X c R{R~X|VQR R, R, W, P c R~(W|PR)QR R, R, W, Q c R~(R{Q){WQR R, R, W, R c R~W|RRQR R, R, W, S c R{R~W|SQR R, R, W, T c R~(WR{T)QR R, R, W, U c R~R{W{UQR R, R, W, W c R~(W|R){WQR R, R, W, X c R{R{W{XQR R, R, X, P c (R~X)|(R{P)QR R, R, X, S c R~(X|SR)QR R, R, X, T c R~R{X{TQR R, R, X, V c R{R~X|VQR R, R, X, W c R{R{X{WQR R, S, O, T c R{(S{O)~TQR R, S, O, X c (R{O)~X|SQR R, S, P, Q c R~S~Q|PQR R, S, P, R c (R{R)~S|PQR R, S, P, S c R{(S{P)~SQR R, S, P, T c R{S~P~TQR R, S, P, U c R{S~(U|P)QR R, S, P, V c (R{P)~S{VQR R, S, P, W c R~(S{P){WQR R, S, P, X c R~P~X|SQR R, S, Q, P c R~S~Q|PQR R, S, Q, R c R{S~(Q{R)QR R, S, Q, T c R~(S{Q){TQR R, S, Q, U c R{(S{U)~QQR R, S, Q, V c R{S~(V|Q)QR R, S, Q, W c R{S{Q~WQR R, S, Q, X c (R{S)~Q{XQR R, S, R, P c (R{R)~S|PQR R, S, R, Q c (R{S)~R{QQR R, S, R, R c R~R~R|SQR R, S, R, U c R~(R{U)|SQR R, S, R, W c R{S~R{WQR R, S, R, X c R~(X|SR)QR R, S, S, P c R{S~(S{P)QR R, S, S, S c R{S{S~SQR R, S, S, T c (R{S)~S|TQR R, S, S, U c R{S~U|SQR R, S, S, V c R~S{S{VQR R, S, S, W c R~W|SSQR R, S, S, X c R{S~(X|S)QR R, S, T, O c R{S~T{OQR R, S, T, P c R{S~T~PQR R, S, T, Q c R~(S{Q){TQR R, S, T, S c R~(S{T)|SQR R, S, T, T c (RT{S)~TQR R, S, T, U c R~S{T{UQR R, S, T, V c T~V|R~SQR R, S, T, W c R{T~(W|S)QR R, S, T, X c (R{T)~S|XQR R, S, U, P c R{S~(U|P)QR R, S, U, Q c R{(S{U)~QQR R, S, U, R c (R{U)~R|SQR R, S, U, S c R{S~U|SQR R, S, U, T c R~S{U{TQR R, S, U, V c R~(S{U)|VQR R, S, U, W c (S~W)|(R{U)QR R, S, U, X c R~U|S{XQR R, S, V, P c (R{P)~S{VQR R, S, V, Q c R{S~(V|Q)QR R, S, V, S c R~S{V{SQR R, S, V, T c V~T|R~SQR R, S, V, U c R~(S{U)|VQR R, S, V, V c S~(V|R){VQR R, S, V, W c R{S~V|WQR R, S, V, X c R{S{V{XQR R, S, W, P c R~(S{P){WQR R, S, W, Q c R{S{W~QQR R, S, W, R c R{S~(W|R)QR R, S, W, S c R~W|SSQR R, S, W, T c R{(W|S)~TQR R, S, W, U c (S~W)|(R{U)QR R, S, W, V c R{S~V|WQR R, S, W, W c R{S{W{WQR R, S, W, X c R~X{S|WQR R, S, X, O c R~X|S{OQR R, S, X, P c R~X|S~PQR R, S, X, Q c R~S{X{QQR R, S, X, R c R~(X|SR)QR R, S, X, S c R{S~(X|S)QR R, S, X, T c (R{T)~S|XQR R, S, X, U c R~U|S{XQR R, S, X, V c R{S{X{VQR R, S, X, W c R~X{S|WQR R, S, X, X c (R|SX)~XQR R, T, O, S c R{(T{O)~SQR R, T, O, U c (R{O)~U{TQR R, T, O, W c R~T{O{WQR R, T, P, R c R{T~(P{R)QR R, T, P, S c R{T~P~SQR R, T, P, T c R{(T|P)~TQR R, T, P, U c R~P~U{TQR R, T, P, V c R~T{P{VQR R, T, P, W c R~T{P~WQR R, T, P, X c R~T|P{XQR R, T, Q, Q c R{T~(Q{Q)QR R, T, Q, R c R~Q~R{TQR R, T, Q, S c R~T{Q~SQR R, T, Q, T c R{(T{T)~QQR R, T, Q, U c R~T{Q{UQR R, T, Q, V c (R{T)~Q{VQR R, T, Q, W c R{TQ~WQR R, T, R, P c R{T~(R{P)QR R, T, R, Q c R~R~Q{TQR R, T, R, R c (R{R)~R{TQR R, T, R, T c R{T{R~TQR R, T, R, U c R~(TR{U)QR R, T, R, V c R{T~(V|R)QR R, T, R, W c R~(T{WR)QR R, T, R, X c R~R{T{XQR R, T, S, O c R{T~S{OQR R, T, S, P c R{T~S~PQR R, T, S, Q c R~T{S~QQR R, T, S, S c R~T{S{SQR R, T, S, T c (RT{S)~TQR R, T, S, U c R~S{T{UQR R, T, S, V c T~V|R~SQR R, T, S, W c R{T~(W|S)QR R, T, S, X c (R{T)~S|XQR R, T, T, P c R{T~(T|P)QR R, T, T, Q c R{(T{T)~QQR R, T, T, R c R{T{T~RQR R, T, T, S c (RT{S)~TQR R, T, T, T c R{T~T|TQR R, T, T, U c T~T|URQR R, T, T, V c R~(T{T)|VQR R, T, T, W c (R{WT)~TQR R, T, T, X c R{T~(X|T)QR R, T, U, O c R~U{T{OQR R, T, U, P c R~U{T~PQR R, T, U, Q c R{T~(U|Q)QR R, T, U, R c R~(TR{U)QR R, T, U, S c R~S{T{UQR R, T, U, T c T~T|URQR R, T, U, U c (R{TU)~UQR R, T, U, W c R~W{T|UQR R, T, U, X c R{T{U{XQR R, T, V, P c R~T{V{PQR R, T, V, Q c (R{T)~Q{VQR R, T, V, R c R{T~(V|R)QR R, T, V, S c T~V|R~SQR R, T, V, T c R~(T{T)|VQR R, T, V, V c R~V|T{VQR R, T, V, W c R{T{V{WQR R, T, V, X c (T|R)~V{XQR R, T, W, O c R~T{W{OQR R, T, W, P c R~T{W~PQR R, T, W, Q c R{T~WQQR R, T, W, R c R~(T{WR)QR R, T, W, S c R{T~(W|S)QR R, T, W, T c (R{WT)~TQR R, T, W, U c R~W{T|UQR R, T, W, V c R{T{W{VQR R, T, W, W c (T{W~W)RQR R, T, W, X c TR~X{WQR R, T, X, P c R~T{X|PQR R, T, X, R c R~(X|R){TQR R, T, X, S c (R{T)~S|XQR R, T, X, T c R{T~(X|T)QR R, T, X, U c R{T{X{UQR R, T, X, V c (T|R)~V{XQR R, T, X, W c TR~X{WQR R, T, X, X c R~X{T|XQR R, U, O, T c R~U{O{TQR R, U, P, P c (R{P)~U|PQR R, U, P, Q c R~(U{P){QQR R, U, P, S c R{(U|P)~SQR R, U, P, T c R~U{P~TQR R, U, P, U c R~U|P{UQR R, U, P, V c U~(V|R)|PQR R, U, P, W c R~(U|P){WQR R, U, Q, P c R~(U{Q)|PQR R, U, Q, R c R~U{Q{RQR R, U, Q, S c R{(U{S)~QQR R, U, Q, T c R{(U|Q)~TQR R, U, Q, V c R{U{Q~VQR R, U, Q, W c R{U~Q{WQR R, U, Q, X c R~X|U{QQR R, U, R, Q c R{U~R{QQR R, U, R, S c (R{U)~R|SQR R, U, R, T c R~(U{TR)QR R, U, R, V c R~V{URQR R, U, R, W c R~U|R{WQR R, U, S, P c R~U{S{PQR R, U, S, Q c R{(U{S)~QQR R, U, S, R c (R{U)~R|SQR R, U, S, S c R{U~S|SQR R, U, S, T c R~S{U{TQR R, U, S, V c R~(U{S)|VQR R, U, S, W c (S~W)|(R{U)QR R, U, S, X c R~U|S{XQR R, U, T, O c R~U{T{OQR R, U, T, P c R~U{T~PQR R, U, T, Q c R{(U|Q)~TQR R, U, T, R c R~(U{TR)QR R, U, T, S c R~S{U{TQR R, U, T, T c T~T|URQR R, U, T, U c (R{TU)~UQR R, U, T, W c R~W|U{TQR R, U, T, X c R{U{T{XQR R, U, U, P c R~U{U|PQR R, U, U, T c (R{TU)~UQR R, U, U, W c R{U{U{WQR R, U, V, P c U~(V|R)|PQR R, U, V, Q c R{U{V~QQR R, U, V, R c R~V{URQR R, U, V, S c R~(U{S)|VQR R, U, V, V c R{U{V{VQR R, U, V, W c R~V|U{WQR R, U, V, X c R~(UX{V)QR R, U, W, P c R~(U|P){WQR R, U, W, Q c R{U~Q{WQR R, U, W, R c R~U{W|RQR R, U, W, S c (W~S)|(R{U)QR R, U, W, T c R~W|U{TQR R, U, W, U c R{U{W{UQR R, U, W, V c R~W{U|VQR R, U, W, X c R~(X|WU)QR R, U, X, Q c R~X|U{QQR R, U, X, S c R~U{X|SQR R, U, X, T c R{U{X{TQR R, U, X, V c R~(UX{V)QR R, U, X, W c R~(X|WU)QR R, V, O, Q c R~V{O{QQR R, V, P, P c R~V{P{PQR R, V, P, Q c R~V{P~QQR R, V, P, R c R~V|P{RQR R, V, P, S c (R{P)~S{VQR R, V, P, T c R~(V|P){TQR R, V, P, U c (V|R)~U|PQR R, V, P, W c (R|P)~W{VQR R, V, P, X c (R|P)~V{XQR R, V, Q, O c R~V{Q{OQR R, V, Q, P c R~V{Q~PQR R, V, Q, R c (R{V)~Q{RQR R, V, Q, S c R{(V|Q)~SQR R, V, Q, T c R~Q~T|VQR R, V, Q, U c R{V~Q{UQR R, V, Q, V c (R{QV)~VQR R, V, Q, W c R~(V|Q){WQR R, V, Q, X c VR~X{QQR R, V, R, P c R{V~R|PQR R, V, R, Q c R{(V{R)~QQR R, V, R, T c R{(V|R)~TQR R, V, R, U c R~V{URQR R, V, R, V c (R{V)~R|VQR R, V, R, X c R{R~X|VQR R, V, S, P c (R{P)~S{VQR R, V, S, Q c R~V{S|QQR R, V, S, S c R~S{V{SQR R, V, S, T c V~T|R~SQR R, V, S, U c R~(V{SU)QR R, V, S, V c (V|R)~S{VQR R, V, S, W c R{V~S|WQR R, V, S, X c R{V{S{XQR R, V, T, P c R~(V|P){TQR R, V, T, Q c (R{T)~Q{VQR R, V, T, R c R~V{T|RQR R, V, T, S c V~T|R~SQR R, V, T, T c R~(T{T)|VQR R, V, T, V c R~V|T{VQR R, V, T, W c R{V{T{WQR R, V, T, X c (V~T)|(R{X)QR R, V, U, P c (V|R)~U|PQR R, V, U, Q c R{V~Q{UQR R, V, U, R c R~V{URQR R, V, U, S c R~V{U|SQR R, V, U, V c R{V{U{VQR R, V, U, W c R~V|U{WQR R, V, U, X c R~(V{UX)QR R, V, V, Q c (R{QV)~VQR R, V, V, R c (R{V)~R|VQR R, V, V, S c (V|R)~S{VQR R, V, V, T c R~V{V|TQR R, V, V, U c R{V{V{UQR R, V, V, W c R~W|VVQR R, V, V, X c R~V|V{XQR R, V, W, P c (R|P)~W{VQR R, V, W, Q c R~(V|Q){WQR R, V, W, S c R~V{WSQR R, V, W, T c R{V{W{TQR R, V, W, U c R~V{W|UQR R, V, W, V c R~W|VVQR R, V, W, W c R~W{V|WQR R, V, W, X c (V|R)~W|XQR R, V, X, P c R~(X{P)|VQR R, V, X, Q c VR~X{QQR R, V, X, R c R~X|V{RQR R, V, X, S c R{V{X{SQR R, V, X, T c (V~T)|(R{X)QR R, V, X, U c R~(V{UX)QR R, V, X, V c R~V{X|VQR R, V, X, W c (V|R)~W|XQR R, W, O, P c R~W{O|PQR R, W, O, T c (R{O)~T{WQR R, W, P, O c R~W|P{OQR R, W, P, P c R~W|P~PQR R, W, P, Q c R~W{P|QQR R, W, P, R c R~(W|PR)QR R, W, P, S c R~(W{P)|SQR R, W, P, T c R~P~T{WQR R, W, P, U c R~(U|P){WQR R, W, P, V c (R|P)~W{VQR R, W, P, W c (R|PW)~WQR R, W, P, X c (R{P)~W|XQR R, W, Q, P c (R{W)~Q{PQR R, W, Q, Q c R{(W{Q)~QQR R, W, Q, R c R~W{Q|RQR R, W, Q, S c R{W~Q{SQR R, W, Q, T c R{WQ~TQR R, W, Q, U c R{W{Q~UQR R, W, Q, V c R~(W{Q)|VQR R, W, Q, X c R~Q{W{XQR R, W, R, P c R~(W|PR)QR R, W, R, Q c R~W|R{QQR R, W, R, R c R~W|RRQR R, W, R, S c R{W{R~SQR R, W, R, T c R~(WR{T)QR R, W, R, U c R~R{W{UQR R, W, R, W c R~(W|R){WQR R, W, R, X c R{W{R{XQR R, W, S, P c R~(W{P)|SQR R, W, S, Q c R{W~Q{SQR R, W, S, R c R{W{S~RQR R, W, S, S c R~W|SSQR R, W, S, T c R{(W|S)~TQR R, W, S, U c (W~S)|(R{U)QR R, W, S, V c R{S~V|WQR R, W, S, W c R{W{S{WQR R, W, S, X c R~X|W{SQR R, W, T, O c R~T{W{OQR R, W, T, P c R~T{W~PQR R, W, T, Q c R{W~TQQR R, W, T, R c R~(WR{T)QR R, W, T, S c R~W|T{SQR R, W, T, T c (R{WT)~TQR R, W, T, U c R~W{T|UQR R, W, T, V c R{W{T{VQR R, W, T, W c (W~W{T)RQR R, W, T, X c W{TR~XQR R, W, U, P c R~(U|P){WQR R, W, U, Q c R{W{U~QQR R, W, U, R c R~U{W|RQR R, W, U, S c (W~S)|(R{U)QR R, W, U, T c R~W|U{TQR R, W, U, U c R{W{U{UQR R, W, U, V c R~W{U|VQR R, W, U, X c R~(X|WU)QR R, W, V, P c (R|P)~W{VQR R, W, V, Q c R~(W{Q)|VQR R, W, V, S c R~V{WSQR R, W, V, T c R{W{V{TQR R, W, V, U c R~W|V{UQR R, W, V, V c R~W|VVQR R, W, V, W c R~W{V|WQR R, W, V, X c W~(V|R)|XQR R, W, W, P c (R|PW)~WQR R, W, W, R c R~(W|R){WQR R, W, W, S c R{W{W{SQR R, W, W, T c (W~W{T)RQR R, W, W, V c R~W|W{VQR R, W, W, W c R~W|WWQR R, W, W, X c R~W{W|XQR R, W, X, P c (R{P)~W|XQR R, W, X, Q c R~X|WQQR R, W, X, R c R{W{X{RQR R, W, X, S c R~X|W{SQR R, W, X, T c W{XR~TQR R, W, X, U c R~(X|WU)QR R, W, X, V c W~(V|R)|XQR R, W, X, W c R~W|X{WQR R, W, X, X c R~W|XXQR R, X, O, S c R~X{O|SQR R, X, P, P c R~(X|P)|PQR R, X, P, Q c R{(X{P)~QQR R, X, P, R c (R~X)|(P{R)QR R, X, P, S c R~X|P~SQR R, X, P, T c R~X{P|TQR R, X, P, V c R~(X{P)|VQR R, X, P, W c (R{P)~W|XQR R, X, Q, P c (R{X)~Q|PQR R, X, Q, Q c R{X~Q{QQR R, X, Q, S c R~S{X{QQR R, X, Q, U c R~X{Q|UQR R, X, Q, V c XR~V{QQR R, X, Q, W c R~X|WQQR R, X, Q, X c R{X{Q{XQR R, X, R, P c (R~X)|(R{P)QR R, X, R, S c R~(X|SR)QR R, X, R, T c R~(X|R){TQR R, X, R, V c R{X~R|VQR R, X, R, W c R{X{R{WQR R, X, S, O c R~X|S{OQR R, X, S, P c R~X|S~PQR R, X, S, Q c R~S{X{QQR R, X, S, R c R~(X|SR)QR R, X, S, S c R{(X|S)~SQR R, X, S, T c (R{T)~S|XQR R, X, S, U c R~U{X|SQR R, X, S, V c R{X{S{VQR R, X, S, W c R~X{S|WQR R, X, S, X c (R|SX)~XQR R, X, T, P c R~X|T{PQR R, X, T, R c R~(X|R){TQR R, X, T, S c (R{T)~S|XQR R, X, T, T c R{(X|T)~TQR R, X, T, U c R{X{T{UQR R, X, T, V c (X|R)~T|VQR R, X, T, W c XR~T{WQR R, X, T, X c R~X{T|XQR R, X, U, Q c R~X|U{QQR R, X, U, S c R~U{X|SQR R, X, U, T c R{X{U{TQR R, X, U, V c R~(UX{V)QR R, X, U, W c R~(X|WU)QR R, X, V, P c R~(X{P)|VQR R, X, V, Q c XR~V{QQR R, X, V, R c R~X|V{RQR R, X, V, S c R{X{V{SQR R, X, V, T c (X|R)~T|VQR R, X, V, U c R~(V{UX)QR R, X, V, V c R~V{X|VQR R, X, V, W c (V|R)~W|XQR R, X, W, P c (R{P)~W|XQR R, X, W, Q c R~X|WQQR R, X, W, R c R{X{W{RQR R, X, W, S c R~X|W{SQR R, X, W, T c XR~T{WQR R, X, W, U c R~(X|WU)QR R, X, W, V c W~(V|R)|XQR R, X, W, W c R~W|X{WQR R, X, W, X c R~W|XXQR R, X, X, Q c R{X{X{QQR R, X, X, S c (R|SX)~XQR R, X, X, T c R~X|X{TQR R, X, X, W c R~W|XXQR S, O, P, U c (S{O)~U|PQR S, O, R, T c (S{O)~T{RQR S, O, R, X c O{R~X|SQR S, O, S, V c (S{O)~S{VQR S, O, T, R c (S{O)~T{RQR S, O, T, V c (S{O)~V|TQR S, O, U, P c (S{O)~U|PQR S, O, V, S c (S{O)~S{VQR S, O, V, T c (S{O)~V|TQR S, O, W, X c (S{O)~W|XQR S, O, X, R c O{X~R|SQR S, O, X, W c (S{O)~W|XQR S, P, O, U c (S{O)~U|PQR S, P, P, T c S~(P{T)|PQR S, P, P, U c S~P~U|PQR S, P, P, V c S~(V|P)|PQR S, P, P, W c (S|P)~W|PQR S, P, Q, R c S~Q~R|PQR S, P, Q, S c (S{Q)~S|PQR S, P, Q, T c (S{P)~T|QQR S, P, Q, U c S~U{P|QQR S, P, Q, V c (S|P)~V{QQR S, P, Q, W c (S{W)~Q|PQR S, P, Q, X c S{P{Q~XQR S, P, R, Q c S~R~Q|PQR S, P, R, R c S~(R{R)|PQR S, P, R, S c (S{P)~S{RQR S, P, R, T c S~P~T{RQR S, P, R, U c S{P{R~UQR S, P, R, V c S~(P{R){VQR S, P, R, W c (S{P)~R{WQR S, P, R, X c S~(X|R)|PQR S, P, S, Q c S~(S{Q)|PQR S, P, S, R c (S{P)~S{RQR S, P, S, T c S|P{S~TQR S, P, S, U c S~S{P{UQR S, P, S, V c S~P~S{VQR S, P, S, W c S~S|P{WQR S, P, S, X c (S|P)~X|SQR S, P, T, P c S~(P{T)|PQR S, P, T, Q c (S{P)~T|QQR S, P, T, R c S~P~T{RQR S, P, T, S c S|P{T~SQR S, P, T, U c (S|P)~U{TQR S, P, T, V c S~P~V|TQR S, P, T, W c (S|P)~T{WQR S, P, U, O c S~U|P{OQR S, P, U, P c S~P~U|PQR S, P, U, Q c S~U{P|QQR S, P, U, R c S{P{U~RQR S, P, U, S c S~(U|PS)QR S, P, U, T c (S|P)~U{TQR S, P, U, U c (S|PU)~UQR S, P, U, V c (S{P)~U|VQR S, P, U, W c U~(W|S)|PQR S, P, V, P c S~(V|P)|PQR S, P, V, Q c (S|P)~V{QQR S, P, V, R c S~(P{R){VQR S, P, V, S c S~P~S{VQR S, P, V, T c S~P~V|TQR S, P, V, U c (S{P)~U|VQR S, P, V, W c (V|S)~W|PQR S, P, V, X c S~(P{V)|XQR S, P, W, P c (S|P)~W|PQR S, P, W, Q c (S{W)~Q|PQR S, P, W, R c (S{P)~R{WQR S, P, W, S c S~S|P{WQR S, P, W, T c (S|P)~T{WQR S, P, W, U c (W|S)~U|PQR S, P, W, V c W~(V|S)|PQR S, P, W, W c (S~W)|(P{W)QR S, P, W, X c S~P~W|XQR S, P, X, Q c S{P{X~QQR S, P, X, R c S~(X|R)|PQR S, P, X, S c (S|P)~X|SQR S, P, X, V c S~(P{V)|XQR S, P, X, W c S~P~W|XQR S, P, X, X c S{P{X{XQR S, Q, P, R c S~Q~R|PQR S, Q, P, S c (S{Q)~S|PQR S, Q, P, T c (S{P)~T|QQR S, Q, P, U c S~U|Q{PQR S, Q, P, V c (S|P)~V{QQR S, Q, P, W c (S{W)~Q|PQR S, Q, P, X c S{Q~X{PQR S, Q, Q, U c S~U|QQQR S, Q, Q, V c S~(Q{Q){VQR S, Q, R, P c S~Q~R|PQR S, Q, R, R c S~(Q{R){RQR S, Q, R, T c (S{Q)~R{TQR S, Q, R, U c (S{U)~Q{RQR S, Q, R, V c S|Q{R~VQR S, Q, R, W c S{Q~W{RQR S, Q, R, X c (S{R)~Q{XQR S, Q, S, P c (S{Q)~S|PQR S, Q, S, T c S~S{Q{TQR S, Q, S, V c (S{S)~Q{VQR S, Q, S, X c S~Q~S|XQR S, Q, T, P c S~T{Q{PQR S, Q, T, R c S~Q{T~RQR S, Q, T, S c S~S{Q{TQR S, Q, T, T c S~(Q{T)|TQR S, Q, T, U c S~T{UQQR S, Q, T, V c (S{Q)~T|VQR S, Q, T, X c S{Q~T{XQR S, Q, U, P c S~U|Q{PQR S, Q, U, Q c S~U|QQQR S, Q, U, R c (S{U)~Q{RQR S, Q, U, T c S~T{UQQR S, Q, U, V c S{Q~U{VQR S, Q, U, W c S~(U|QW)QR S, Q, U, X c S~Q{U{XQR S, Q, V, P c (S{V)~Q{PQR S, Q, V, Q c S~(Q{Q){VQR S, Q, V, R c S|Q{V~RQR S, Q, V, S c (S{S)~Q{VQR S, Q, V, T c S{Q~V{TQR S, Q, V, U c S{Q~U{VQR S, Q, V, V c S~V{Q|VQR S, Q, V, W c S~Q{V{WQR S, Q, V, X c (S|Q)~V{XQR S, Q, W, P c (S{W)~Q|PQR S, Q, W, R c S{Q~W{RQR S, Q, W, U c S~(U|QW)QR S, Q, W, V c (S|Q)~W{VQR S, Q, W, X c S{Q{W{XQR S, Q, X, P c S{Q~X{PQR S, Q, X, R c (S{X)~Q|RQR S, Q, X, S c S~Q~S|XQR S, Q, X, T c (S|Q)~X{TQR S, Q, X, U c S~Q{X{UQR S, Q, X, V c (S|Q)~V{XQR S, Q, X, W c S{Q{X{WQR S, Q, X, X c Q~X|S{XQR S, R, O, T c (S{O)~T{RQR S, R, O, X c (R{O)~X|SQR S, R, P, Q c S~R~Q|PQR S, R, P, R c S~(R{R)|PQR S, R, P, S c (S{P)~S{RQR S, R, P, T c S~P~T{RQR S, R, P, U c S{R~U{PQR S, R, P, V c S~(R{P){VQR S, R, P, W c (S{P)~R{WQR S, R, P, X c S~(X|R)|PQR S, R, Q, P c S~R~Q|PQR S, R, Q, R c S~(R{Q){RQR S, R, Q, T c (S{Q)~R{TQR S, R, Q, U c S~U|R{QQR S, R, Q, V c S{R~V|QQR S, R, Q, W c S{R{Q~WQR S, R, Q, X c (S{R)~Q{XQR S, R, R, P c S~(R{R)|PQR S, R, R, Q c (S{R)~R{QQR S, R, R, R c R~R~R|SQR S, R, R, U c S~U|RRQR S, R, R, W c S~R{R{WQR S, R, R, X c R~(X|SR)QR S, R, S, P c (S{S)~R|PQR S, R, S, S c S{R{S~SQR S, R, S, T c (S{R)~S|TQR S, R, S, U c S~U{R|SQR S, R, S, V c S{R~S{VQR S, R, S, W c R~W|SSQR S, R, S, X c S~(X|S){RQR S, R, T, O c S~T{R{OQR S, R, T, P c S~T{R~PQR S, R, T, Q c (S{Q)~R{TQR S, R, T, S c S{R~T{SQR S, R, T, T c (S{RT)~TQR S, R, T, U c S~R{T{UQR S, R, T, V c T~V|S~RQR S, R, T, W c S{R~W|TQR S, R, T, X c S~(R{T)|XQR S, R, U, P c S{R~U{PQR S, R, U, Q c S~U|R{QQR S, R, U, R c S~U|RRQR S, R, U, S c S~U{R|SQR S, R, U, T c S~R{U{TQR S, R, U, V c (S{U)~R|VQR S, R, U, W c (S~W)|(R{U)QR S, R, U, X c R~U|S{XQR S, R, V, P c S~(R{P){VQR S, R, V, Q c S{R~V|QQR S, R, V, S c S~R{V{SQR S, R, V, T c V~T|S~RQR S, R, V, U c (S{U)~R|VQR S, R, V, V c S~(V|R){VQR S, R, V, W c S~V{R|WQR S, R, V, X c S{R{V{XQR S, R, W, P c (S{P)~R{WQR S, R, W, Q c S{R{W~QQR S, R, W, R c S~R{W{RQR S, R, W, S c R~W|SSQR S, R, W, T c S{R~W|TQR S, R, W, U c (S~W)|(R{U)QR S, R, W, V c S~V{R|WQR S, R, W, W c S{R{W{WQR S, R, W, X c S{R~X|WQR S, R, X, O c R~X|S{OQR S, R, X, P c S~(X|R)|PQR S, R, X, Q c S~R{X{QQR S, R, X, R c R~(X|SR)QR S, R, X, S c S~(X|S){RQR S, R, X, T c S~(R{T)|XQR S, R, X, U c R~U|S{XQR S, R, X, V c S{R{X{VQR S, R, X, W c S{R~X|WQR S, R, X, X c (R|SX)~XQR S, S, O, V c S~S{O{VQR S, S, P, Q c S~(S{Q)|PQR S, S, P, R c S~(S{P){RQR S, S, P, T c S{S~T|PQR S, S, P, U c S~S{P{UQR S, S, P, V c S~S{P~VQR S, S, P, W c S~S|P{WQR S, S, P, X c (S|P)~X|SQR S, S, Q, P c S~(S{Q)|PQR S, S, Q, T c S~S{Q{TQR S, S, Q, V c (S{S)~Q{VQR S, S, Q, X c S~S|Q{XQR S, S, R, P c (S{S)~R|PQR S, S, R, S c S~S{R{SQR S, S, R, T c S{S{R~TQR S, S, R, U c S~U|S{RQR S, S, R, V c S{S~R{VQR S, S, R, W c R~W|SSQR S, S, R, X c S~(X|S){RQR S, S, S, R c S{S~S{RQR S, S, S, U c S~U|SSQR S, S, S, V c S~(S{VS)QR S, S, S, X c (S{S)~S|XQR S, S, T, P c S{S~T|PQR S, S, T, Q c S~S{T{QQR S, S, T, R c S{S{T~RQR S, S, T, U c S{S~U|TQR S, S, T, V c S~T|S{VQR S, S, T, W c (S~W)|(S{T)QR S, S, U, P c S~S{U{PQR S, S, U, R c S~U|S{RQR S, S, U, S c S~U|SSQR S, S, U, T c S{S~U|TQR S, S, U, X c S{S{U{XQR S, S, V, O c S~S{V{OQR S, S, V, P c S~S{V~PQR S, S, V, Q c (S{S)~Q{VQR S, S, V, R c S{S~R{VQR S, S, V, S c S~(S{VS)QR S, S, V, T c S~(V|TS)QR S, S, V, W c S{S{V{WQR S, S, V, X c S{S~V|XQR S, S, W, P c S~S{W|PQR S, S, W, R c W~R|SSQR S, S, W, T c (S~W)|(S{T)QR S, S, W, V c S{S{W{VQR S, S, W, X c S~(W|XS)QR S, S, X, P c (S|P)~X|SQR S, S, X, Q c S~S{X|QQR S, S, X, R c S~(X|S){RQR S, S, X, S c (S{S)~S|XQR S, S, X, U c S{S{X{UQR S, S, X, V c S{S~V|XQR S, S, X, W c S~(W|XS)QR S, S, X, X c (S~X)|(S{X)QR S, T, O, R c S~T{O{RQR S, T, O, V c (S{O)~V|TQR S, T, P, P c S~(T{P)|PQR S, T, P, Q c S~T{P{QQR S, T, P, R c S~T{P~RQR S, T, P, S c S~T|P{SQR S, T, P, U c (S|P)~U{TQR S, T, P, V c S~(T|P){VQR S, T, P, W c (S|P)~T{WQR S, T, Q, P c S~T{Q{PQR S, T, Q, R c S~Q{T~RQR S, T, Q, S c S~S{T{QQR S, T, Q, T c (S{T)~Q{TQR S, T, Q, U c S~T{UQQR S, T, Q, V c S{T{Q~VQR S, T, Q, X c S{T~Q{XQR S, T, R, O c S~T{R{OQR S, T, R, P c S~T{R~PQR S, T, R, Q c S~Q{T~RQR S, T, R, S c S{T~R{SQR S, T, R, T c (S{RT)~TQR S, T, R, U c S~T|R{UQR S, T, R, V c T~V|S~RQR S, T, R, W c S{R~W|TQR S, T, R, X c S~(T{R)|XQR S, T, S, P c S{T~S|PQR S, T, S, Q c S~S{T{QQR S, T, S, R c S{T~R{SQR S, T, S, U c S{S~U|TQR S, T, S, V c S~T|S{VQR S, T, S, W c (S~W)|(T{S)QR S, T, T, Q c S~T{T|QQR S, T, T, R c (S{RT)~TQR S, T, T, U c S{T~T|UQR S, T, T, W c S~T|T{WQR S, T, T, X c S{T{T{XQR S, T, U, P c S~(U{P)|TQR S, T, U, Q c S~T{UQQR S, T, U, R c S~T{U|RQR S, T, U, S c S~U|T{SQR S, T, U, T c S{T~T|UQR S, T, U, U c S~U{T|UQR S, T, U, V c T{U~(V|S)QR S, T, U, W c S{T{U{WQR S, T, U, X c S~T|U{XQR S, T, V, O c S~V|T{OQR S, T, V, P c S~(T|P){VQR S, T, V, Q c S{T{V~QQR S, T, V, R c T~V|S~RQR S, T, V, S c S~T{V|SQR S, T, V, U c T{(V|S)~UQR S, T, V, V c S{T{V{VQR S, T, V, W c (T~V)|(S{W)QR S, T, V, X c S~(X|T){VQR S, T, W, P c S~(W|P)|TQR S, T, W, R c S{W~R|TQR S, T, W, S c (S~W)|(T{S)QR S, T, W, T c S~T{W|TQR S, T, W, U c S{T{W{UQR S, T, W, V c (T~V)|(S{W)QR S, T, W, X c (S~X)|(T{W)QR S, T, X, Q c S{T~Q{XQR S, T, X, R c S~T{XRQR S, T, X, T c S{T{X{TQR S, T, X, U c S~T{X|UQR S, T, X, V c S~(X|T){VQR S, T, X, W c (S~X)|(T{W)QR S, U, O, P c S~U{O|PQR S, U, P, O c S~U|P{OQR S, U, P, P c S~U|P~PQR S, U, P, Q c S~U{P|QQR S, U, P, R c S~(U|P){RQR S, U, P, S c S~(U|PS)QR S, U, P, T c S~(U{P)|TQR S, U, P, U c (S|PU)~UQR S, U, P, V c (S{P)~U|VQR S, U, P, W c U~(W|S)|PQR S, U, Q, P c S~U|Q{PQR S, U, Q, Q c S~U|QQQR S, U, Q, R c (S{U)~Q{RQR S, U, Q, T c S~T{UQQR S, U, Q, V c S{U~Q{VQR S, U, Q, W c S~(U|QW)QR S, U, Q, X c S~(U{Q)|XQR S, U, R, P c S{U~R{PQR S, U, R, Q c S~U|R{QQR S, U, R, R c S~U|RRQR S, U, R, S c S~U{R|SQR S, U, R, T c S~R{U{TQR S, U, R, V c (S{U)~R|VQR S, U, R, W c (S~W)|(U{R)QR S, U, R, X c U~R|S{XQR S, U, S, P c S~(U|PS)QR S, U, S, R c S~U|S{RQR S, U, S, S c S~U|SSQR S, U, S, T c S{U~S|TQR S, U, S, X c S{U{S{XQR S, U, T, P c S~(U{P)|TQR S, U, T, Q c S~T{UQQR S, U, T, R c S~T{U|RQR S, U, T, S c S~U|T{SQR S, U, T, T c S~U|TTQR S, U, T, U c S~U{T|UQR S, U, T, V c U~(V|S){TQR S, U, T, W c S{U{T{WQR S, U, T, X c S~T|U{XQR S, U, U, P c (S|PU)~UQR S, U, U, T c S~U|U{TQR S, U, U, U c S~U|UUQR S, U, U, V c S{U{U{VQR S, U, U, X c (U~U)|(S{X)QR S, U, V, P c S~V|U{PQR S, U, V, Q c (S{U~V)QQR S, U, V, R c (SU{V)~RQR S, U, V, T c U~(V|S){TQR S, U, V, U c S{U{V{UQR S, U, V, V c S~U|VVQR S, U, V, W c S~U{V|WQR S, U, V, X c (S~X)|(U{V)QR S, U, W, P c U~(W|S)|PQR S, U, W, Q c S~(U|QW)QR S, U, W, R c (S~W)|(U{R)QR S, U, W, T c S{U{W{TQR S, U, W, V c S~U|W{VQR S, U, W, W c S~U|WWQR S, U, W, X c S~U{W|XQR S, U, X, Q c S~(U{Q)|XQR S, U, X, R c U~R|S{XQR S, U, X, S c S{U{X{SQR S, U, X, T c S~T|U{XQR S, U, X, U c (U~U)|(S{X)QR S, U, X, V c (S~X)|(U{V)QR S, U, X, W c S~U|X{WQR S, U, X, X c S~U|XXQR S, V, O, S c (S{O)~S{VQR S, V, O, T c S~V{O|TQR S, V, P, P c S~(V|P)|PQR S, V, P, Q c (S{V)~Q{PQR S, V, P, R c S~(P{R){VQR S, V, P, S c (S~V)|(P{S)QR S, V, P, T c S~V|P~TQR S, V, P, U c S~V{P|UQR S, V, P, W c (V|S)~W|PQR S, V, P, X c S~(V{P)|XQR S, V, Q, P c (S{V)~Q{PQR S, V, Q, Q c S~(Q{Q){VQR S, V, Q, R c (S~V)|(Q{R)QR S, V, Q, S c (S{S)~Q{VQR S, V, Q, T c S{V~Q{TQR S, V, Q, U c S{V{Q~UQR S, V, Q, V c S~V{Q|VQR S, V, Q, W c S~Q{V{WQR S, V, Q, X c S~VQ{XQR S, V, R, P c S~(R{P){VQR S, V, R, Q c S{V~R|QQR S, V, R, S c S{V{R~SQR S, V, R, T c V~T|S~RQR S, V, R, U c (SU{V)~RQR S, V, R, V c S~(V|R){VQR S, V, R, W c S~V{R|WQR S, V, R, X c S{V{R{XQR S, V, S, O c S~S{V{OQR S, V, S, P c (S~V)|(S{P)QR S, V, S, Q c (S{S)~Q{VQR S, V, S, R c S{V{S~RQR S, V, S, S c (S{VS)~SQR S, V, S, T c S~(V|TS)QR S, V, S, W c S{V{S{WQR S, V, S, X c S{V~S|XQR S, V, T, O c S~V|T{OQR S, V, T, P c S~V|T~PQR S, V, T, Q c S{V~Q{TQR S, V, T, R c V~T|S~RQR S, V, T, S c S~(V|TS)QR S, V, T, U c (V|S)~U{TQR S, V, T, V c S{V{T{VQR S, V, T, W c (V|S)~T{WQR S, V, T, X c S~(X|T){VQR S, V, U, P c S~V|U{PQR S, V, U, Q c S{V{U~QQR S, V, U, R c (SU{V)~RQR S, V, U, T c (V|S)~U{TQR S, V, U, U c S{V{U{UQR S, V, U, V c S~U|VVQR S, V, U, W c S~U{V|WQR S, V, U, X c (S~X)|(V{U)QR S, V, V, Q c S~V|V{QQR S, V, V, R c S~(V|R){VQR S, V, V, T c S{V{V{TQR S, V, V, U c S~U|VVQR S, V, W, P c (V|S)~W|PQR S, V, W, Q c (S~W)|(V{Q)QR S, V, W, R c S~V|W{RQR S, V, W, S c S{V{W{SQR S, V, W, T c (V|S)~T{WQR S, V, W, U c S~U{V|WQR S, V, W, W c V{WS~WQR S, V, W, X c VS~W{XQR S, V, X, P c S~(V{P)|XQR S, V, X, Q c S~VQ{XQR S, V, X, R c S{V{X{RQR S, V, X, S c S~V|X{SQR S, V, X, T c S~(X|T){VQR S, V, X, U c (S~X)|(V{U)QR S, V, X, W c VS~W{XQR S, W, O, X c S~W{O|XQR S, W, P, P c (S|P)~W|PQR S, W, P, Q c (S{W)~Q|PQR S, W, P, R c (S{P)~R{WQR S, W, P, S c S~S{W|PQR S, W, P, T c S~(W|P)|TQR S, W, P, U c (W|S)~U|PQR S, W, P, V c W~(V|S)|PQR S, W, P, W c (S~W)|(P{W)QR S, W, P, X c S~W|P~XQR S, W, Q, P c (S{W)~Q|PQR S, W, Q, R c S{W~Q{RQR S, W, Q, U c S~(U|QW)QR S, W, Q, V c (S~W)|(Q{V)QR S, W, Q, X c S{W{Q{XQR S, W, R, P c (S{P)~R{WQR S, W, R, Q c S{W~Q{RQR S, W, R, R c S~(W|R){RQR S, W, R, S c W~R|SSQR S, W, R, T c S{W~R|TQR S, W, R, U c (S~W)|(R{U)QR S, W, R, V c S~V|W{RQR S, W, R, W c S{W{R{WQR S, W, R, X c S{R~X|WQR S, W, S, P c S~S{W|PQR S, W, S, R c W~R|SSQR S, W, S, T c (S~W)|(S{T)QR S, W, S, V c S{W{S{VQR S, W, S, X c S~(W|XS)QR S, W, T, P c S~(W|P)|TQR S, W, T, R c S{W~R|TQR S, W, T, S c (S~W)|(T{S)QR S, W, T, T c S~T{W|TQR S, W, T, U c S{W{T{UQR S, W, T, V c (W|S)~V|TQR S, W, T, X c (S~X)|(W{T)QR S, W, U, P c (W|S)~U|PQR S, W, U, Q c S~(U|QW)QR S, W, U, R c (S~W)|(U{R)QR S, W, U, T c S{W{U{TQR S, W, U, V c S~U|W{VQR S, W, U, W c S~U|WWQR S, W, U, X c S~U{W|XQR S, W, V, P c W~(V|S)|PQR S, W, V, Q c (S~W)|(V{Q)QR S, W, V, R c S~V|W{RQR S, W, V, S c S{W{V{SQR S, W, V, T c (W|S)~V|TQR S, W, V, U c S~U|W{VQR S, W, V, W c WS~W{VQR S, W, V, X c WS~V{XQR S, W, W, P c (S~W)|(W{P)QR S, W, W, R c S{W{W{RQR S, W, W, U c S~U|WWQR S, W, W, V c WS~W{VQR S, W, W, X c (S|XW)~WQR S, W, X, O c S~W|X{OQR S, W, X, P c S~W|X~PQR S, W, X, Q c S{W{X{QQR S, W, X, R c S{X~R|WQR S, W, X, S c S~(W|XS)QR S, W, X, T c (S~X)|(W{T)QR S, W, X, U c S~U{W|XQR S, W, X, V c WS~V{XQR S, W, X, W c (S|XW)~WQR S, X, O, R c (X{O)~R|SQR S, X, O, W c (S{O)~W|XQR S, X, P, Q c S{X~Q{PQR S, X, P, R c S~(X|R)|PQR S, X, P, S c (S|P)~X|SQR S, X, P, V c S~(P{V)|XQR S, X, P, W c S~P~W|XQR S, X, P, X c S{X{P{XQR S, X, Q, P c S{X~Q{PQR S, X, Q, R c (S{X)~Q|RQR S, X, Q, S c S~Q~S|XQR S, X, Q, T c S{X{Q~TQR S, X, Q, U c S~Q{X{UQR S, X, Q, V c (S|Q)~V{XQR S, X, Q, W c S{X{Q{WQR S, X, Q, X c X|S{Q~XQR S, X, R, O c X~R|S{OQR S, X, R, P c S~(X|R)|PQR S, X, R, Q c (S{X)~Q|RQR S, X, R, R c (X|SR)~RQR S, X, R, S c S~(X|S){RQR S, X, R, T c S~(R{T)|XQR S, X, R, U c X|S{R~UQR S, X, R, V c S{X{R{VQR S, X, R, W c S{X~R|WQR S, X, R, X c X~(R|SX)QR S, X, S, P c (S|P)~X|SQR S, X, S, Q c S~S{X|QQR S, X, S, R c S~(X|S){RQR S, X, S, S c (S{S)~S|XQR S, X, S, U c S{X{S{UQR S, X, S, V c S{S~V|XQR S, X, S, W c S~(W|XS)QR S, X, S, X c (S~X)|(S{X)QR S, X, T, Q c S{X{T~QQR S, X, T, R c S~T{XRQR S, X, T, T c S{X{T{TQR S, X, T, U c S~T{X|UQR S, X, T, V c S~(X|T){VQR S, X, T, W c (S~X)|(T{W)QR S, X, U, Q c S~(U{Q)|XQR S, X, U, R c X|S{U~RQR S, X, U, S c S{X{U{SQR S, X, U, T c S~T{X|UQR S, X, U, U c (U~U)|(S{X)QR S, X, U, V c (S~X)|(U{V)QR S, X, U, W c S~U|X{WQR S, X, U, X c S~U|XXQR S, X, V, P c S~(V{P)|XQR S, X, V, Q c S~VQ{XQR S, X, V, R c S{X{V{RQR S, X, V, S c S~V|X{SQR S, X, V, T c S~(X|T){VQR S, X, V, U c (S~X)|(V{U)QR S, X, V, W c X{VS~WQR S, X, W, O c S~W|X{OQR S, X, W, P c S~W|X~PQR S, X, W, Q c S{X{W{QQR S, X, W, R c S{X~R|WQR S, X, W, S c S~(W|XS)QR S, X, W, T c (S~X)|(W{T)QR S, X, W, U c S~U|X{WQR S, X, W, V c X{WS~VQR S, X, W, W c (S|XW)~WQR S, X, X, P c S{X{X{PQR S, X, X, Q c X|S{X~QQR S, X, X, R c X~XR|SQR S, X, X, S c (S~X)|(X{S)QR S, X, X, U c S~U|XXQR S, X, X, X c X|S{X{XQR T, O, Q, T c (T{O)~T|QQR T, O, Q, X c T{O{Q~XQR T, O, R, S c (T{O)~S{RQR T, O, R, U c T{O{R~UQR T, O, R, W c (T{O)~R{WQR T, O, S, R c (T{O)~S{RQR T, O, S, V c O{S~V|TQR T, O, T, Q c (T{O)~T|QQR T, O, U, R c T{O{U~RQR T, O, U, V c (T{O)~U|VQR T, O, V, S c O{V~S|TQR T, O, V, U c (T{O)~U|VQR T, O, W, R c (T{O)~R{WQR T, O, X, Q c T{O{X~QQR T, O, X, X c T{O{X{XQR T, P, P, S c (T{P)~S|PQR T, P, P, T c (T~T)|(P{P)QR T, P, P, U c (T|P)~U|PQR T, P, P, X c T{(P{P)~XQR T, P, Q, S c T~(P{S)|QQR T, P, Q, T c T~P~T|QQR T, P, Q, U c T{(P{Q)~UQR T, P, Q, V c (T{V)~Q|PQR T, P, Q, W c T~(P{Q){WQR T, P, Q, X c T{P~Q~XQR T, P, R, R c T~(P{R){RQR T, P, R, S c T~P~S{RQR T, P, R, T c (T{P)~R{TQR T, P, R, U c T{P~R~UQR T, P, R, V c T~R{P{VQR T, P, R, W c T~P~R{WQR T, P, R, X c T{(R|P)~XQR T, P, S, P c (T{P)~S|PQR T, P, S, Q c T~(P{S)|QQR T, P, S, R c T~P~S{RQR T, P, S, S c T~S|P{SQR T, P, S, U c T{(S|P)~UQR T, P, S, V c (T|P)~S{VQR T, P, S, W c T~(S|P){WQR T, P, T, P c (T~T)|(P{P)QR T, P, T, Q c T~P~T|QQR T, P, T, R c T{(P{T)~RQR T, P, T, V c (T{P)~T|VQR T, P, U, P c (T|P)~U|PQR T, P, U, Q c T{(P{Q)~UQR T, P, U, R c T{P~U~RQR T, P, U, S c T{U~(S|P)QR T, P, U, U c (T~U)|(P{U)QR T, P, U, V c T~P~U|VQR T, P, U, W c T~U{P|WQR T, P, U, X c U~(X|T)|PQR T, P, V, Q c (T{V)~Q|PQR T, P, V, R c T{(V|P)~RQR T, P, V, S c (T|P)~S{VQR T, P, V, T c (T|P)~V|TQR T, P, V, U c T~P~U|VQR T, P, V, V c T~(V|P)|VQR T, P, W, Q c T{(P{W)~QQR T, P, W, R c T~P~R{WQR T, P, W, S c T~(S|P){WQR T, P, W, U c T~U{P|WQR T, P, W, W c (W|T)~W|PQR T, P, W, X c T{P{W{XQR T, P, X, P c T{(P{P)~XQR T, P, X, Q c T{P~X~QQR T, P, X, R c T{X~(R|P)QR T, P, X, U c (X|T)~U|PQR T, P, X, W c T{P{X{WQR T, P, X, X c T{P~X{XQR T, Q, O, T c (T{O)~T|QQR T, Q, O, X c T{(Q{O)~XQR T, Q, P, S c T~(P{S)|QQR T, Q, P, T c T~P~T|QQR T, Q, P, U c T{(Q{P)~UQR T, Q, P, V c (T{V)~Q|PQR T, Q, P, W c T{Q~(P{W)QR T, Q, P, X c T{Q~P~XQR T, Q, Q, R c T~(Q{Q){RQR T, Q, Q, V c T{Q~(Q{V)QR T, Q, Q, W c T{Q{Q~WQR T, Q, Q, X c (T{Q)~Q{XQR T, Q, R, Q c (T{Q)~R{QQR T, Q, R, R c T{Q~R~RQR T, Q, R, S c T{(Q{S)~RQR T, Q, R, T c (T{T)~Q{RQR T, Q, R, U c T{Q~(R{U)QR T, Q, R, V c T~Q~R|VQR T, Q, R, W c TQ~W{RQR T, Q, S, P c T~S{Q{PQR T, Q, S, R c T{(Q{S)~RQR T, Q, S, S c T{Q{S~SQR T, Q, S, T c T{Q~(S{T)QR T, Q, S, U c T~S{UQQR T, Q, S, V c T~(Q{S)|VQR T, Q, S, X c T~Q{S{XQR T, Q, T, O c T~T|Q{OQR T, Q, T, P c T~T|Q~PQR T, Q, T, R c (T{T)~Q{RQR T, Q, T, S c T{Q~(T{S)QR T, Q, T, T c (T|QT)~TQR T, Q, T, U c (T|Q)~U{TQR T, Q, T, W c T{Q~T{WQR T, Q, T, X c (T{X)~Q|TQR T, Q, U, P c T{(Q{P)~UQR T, Q, U, R c T{Q~(U{R)QR T, Q, U, S c T~S{UQQR T, Q, U, T c (T|Q)~U{TQR T, Q, U, U c T{Q~U{UQR T, Q, U, V c T~Q{U{VQR T, Q, U, W c TQ~U{WQR T, Q, U, X c T~U{Q|XQR T, Q, V, P c (T{V)~Q|PQR T, Q, V, Q c T{(Q{V)~QQR T, Q, V, R c T~Q~R|VQR T, Q, V, S c T{Q~V{SQR T, Q, V, U c T~Q{V{UQR T, Q, V, V c Q~(V{V)|TQR T, Q, V, W c T~(W|Q)|VQR T, Q, V, X c T{Q{V{XQR T, Q, W, P c T{Q~(W{P)QR T, Q, W, Q c T{Q{W~QQR T, Q, W, R c TQ~W{RQR T, Q, W, T c T~Q{W{TQR T, Q, W, U c TQ~U{WQR T, Q, W, V c T~(W|Q)|VQR T, Q, W, W c T{Q{W{WQR T, Q, X, O c T{Q~X{OQR T, Q, X, P c T{Q~X~PQR T, Q, X, Q c (TQ{X)~QQR T, Q, X, S c (T|Q)~X|SQR T, Q, X, T c (T{X)~Q|TQR T, Q, X, U c T~U{Q|XQR T, Q, X, V c T{Q{X{VQR T, Q, X, X c (TX{Q)~XQR T, R, O, S c (T{O)~S{RQR T, R, O, U c T{(R{O)~UQR T, R, O, W c T~R{O{WQR T, R, P, R c T~(R{P){RQR T, R, P, S c T~P~S{RQR T, R, P, T c T{R~(P{T)QR T, R, P, U c T{R~P~UQR T, R, P, V c T~R{P{VQR T, R, P, W c T~R{P~WQR T, R, P, X c T{(R|P)~XQR T, R, Q, Q c T~(R{Q)|QQR T, R, Q, R c T{R~Q~RQR T, R, Q, S c T{R~(Q{S)QR T, R, Q, T c (T{T)~Q{RQR T, R, Q, U c T~R{Q{UQR T, R, Q, V c (T{R)~Q{VQR T, R, Q, W c T{R~(W|Q)QR T, R, R, P c (T{R)~R|PQR T, R, R, Q c T{R~R~QQR T, R, R, R c T{(R{R)~RQR T, R, R, T c T{R{R~TQR T, R, R, U c (TR{U)~RQR T, R, R, V c T|R{R~VQR T, R, R, W c (T{WR)~RQR T, R, R, X c T{R~R{XQR T, R, S, O c T~S{R{OQR T, R, S, P c T~S{R~PQR T, R, S, Q c T{R~(S{Q)QR T, R, S, S c (T{RS)~SQR T, R, S, T c T~(RT{S)QR T, R, S, U c T{R~S{UQR T, R, S, V c T~V|R~SQR T, R, S, W c T~(W|S){RQR T, R, S, X c (T{R)~S|XQR T, R, T, P c T{R~(T{P)QR T, R, T, Q c (T{T)~Q{RQR T, R, T, R c T{R{T~RQR T, R, T, S c T~(RT{S)QR T, R, T, T c T~T{R|TQR T, R, T, U c T~T|URQR T, R, T, V c (T{T)~R|VQR T, R, T, W c T~(R{WT)QR T, R, T, X c (T|R)~X{TQR T, R, U, O c T{R~U{OQR T, R, U, P c T{R~U~PQR T, R, U, Q c T{(R{U)~QQR T, R, U, R c (TR{U)~RQR T, R, U, S c T{R~S{UQR T, R, U, T c T~T|URQR T, R, U, U c T{(U|R)~UQR T, R, U, W c T{R~W|UQR T, R, U, X c T{R{U{XQR T, R, V, P c T{R~(V|P)QR T, R, V, Q c (T{R)~Q{VQR T, R, V, R c T{R~V|RQR T, R, V, S c T~V|R~SQR T, R, V, T c (T{T)~R|VQR T, R, V, V c R~V|T{VQR T, R, V, W c T{R{V{WQR T, R, V, X c (T|R)~V{XQR T, R, W, O c T~R{W{OQR T, R, W, P c T~R{W~PQR T, R, W, Q c T{R~(W|Q)QR T, R, W, R c (T{WR)~RQR T, R, W, S c T~(W|S){RQR T, R, W, T c T~(R{WT)QR T, R, W, U c T{R~W|UQR T, R, W, V c T{R{W{VQR T, R, W, W c (T{W~W)RQR T, R, W, X c TR~X{WQR T, R, X, P c T~R{X|PQR T, R, X, R c T{R~(X|R)QR T, R, X, S c (T{R)~S|XQR T, R, X, T c (T|R)~X{TQR T, R, X, U c T{R{X{UQR T, R, X, V c (T|R)~V{XQR T, R, X, W c TR~X{WQR T, R, X, X c T{R~X|XQR T, S, O, R c T~S{O{RQR T, S, O, V c (S{O)~V|TQR T, S, P, P c (T{P)~S|PQR T, S, P, Q c T~S{P{QQR T, S, P, R c T~S{P~RQR T, S, P, S c T~S|P{SQR T, S, P, U c T{(S|P)~UQR T, S, P, V c (T|P)~S{VQR T, S, P, W c T~(S|P){WQR T, S, Q, P c T~S{Q{PQR T, S, Q, R c T{(S{Q)~RQR T, S, Q, S c T{S~S{QQR T, S, Q, T c (T{S)~Q{TQR T, S, Q, U c T~S{UQQR T, S, Q, V c T{S{Q~VQR T, S, Q, X c T{(S|Q)~XQR T, S, R, O c T~S{R{OQR T, S, R, P c T~S{R~PQR T, S, R, Q c T{(S{Q)~RQR T, S, R, S c (T{S)~R|SQR T, S, R, T c T~(S{RT)QR T, S, R, U c T{S~R{UQR T, S, R, V c T~V|S~RQR T, S, R, W c T~(W|S){RQR T, S, R, X c T~S{XRQR T, S, S, P c T~S{S|PQR T, S, S, Q c T{S~S{QQR T, S, S, R c (T{S)~R|SQR T, S, S, U c S{S~U|TQR T, S, S, V c T~S|S{VQR T, S, S, W c (S~W)|(T{S)QR T, S, T, Q c T{(S{T)~QQR T, S, T, R c T~(S{RT)QR T, S, T, U c T~T{S|UQR T, S, T, W c T~S|T{WQR T, S, T, X c T{S{T{XQR T, S, U, P c T{(S|P)~UQR T, S, U, Q c T~S{UQQR T, S, U, R c T~S{U|RQR T, S, U, S c S~U|T{SQR T, S, U, T c T~T{S|UQR T, S, U, U c T{S~U|UQR T, S, U, V c T{U~(V|S)QR T, S, U, W c T{S{U{WQR T, S, U, X c T~S|U{XQR T, S, V, O c S~V|T{OQR T, S, V, P c (T|P)~S{VQR T, S, V, Q c T{S{V~QQR T, S, V, R c T~V|S~RQR T, S, V, S c T~S{V|SQR T, S, V, U c T{(V|S)~UQR T, S, V, V c T{S{V{VQR T, S, V, W c (T~V)|(S{W)QR T, S, V, X c S~(X|T){VQR T, S, W, P c T~(S|P){WQR T, S, W, R c T~(W|S){RQR T, S, W, S c (S~W)|(T{S)QR T, S, W, T c T~S{W|TQR T, S, W, U c T{S{W{UQR T, S, W, V c (T~V)|(S{W)QR T, S, W, X c T{WS~XQR T, S, X, Q c T{S~XQQR T, S, X, R c T~S{XRQR T, S, X, T c T{S{X{TQR T, S, X, U c T~S{X|UQR T, S, X, V c S~(X|T){VQR T, S, X, W c T{XS~WQR T, T, O, Q c T~T{O|QQR T, T, P, P c (T~T)|(P{P)QR T, T, P, Q c T~T|P~QQR T, T, P, R c T{(T{P)~RQR T, T, P, V c T~(T{P)|VQR T, T, Q, O c T~T|Q{OQR T, T, Q, P c T~T|Q~PQR T, T, Q, R c (T{T)~Q{RQR T, T, Q, S c T~T{Q|SQR T, T, Q, T c T~(T|QT)QR T, T, Q, U c T{(T|Q)~UQR T, T, Q, W c T{T~Q{WQR T, T, Q, X c (T{X)~Q|TQR T, T, R, P c T~T|R{PQR T, T, R, Q c (T{T)~Q{RQR T, T, R, R c T{T~R{RQR T, T, R, S c T~(RT{S)QR T, T, R, T c T~T{R|TQR T, T, R, U c T~T|URQR T, T, R, V c (T{T)~R|VQR T, T, R, W c T~(R{WT)QR T, T, R, X c T{(T|R)~XQR T, T, S, Q c T{(T{S)~QQR T, T, S, R c T~(S{RT)QR T, T, S, U c T~T{S|UQR T, T, S, W c T~T|WSQR T, T, S, X c T{T{S{XQR T, T, T, Q c T~(T|QT)QR T, T, T, R c T~T|T{RQR T, T, T, V c T{T~T|VQR T, T, T, W c T{T{T{WQR T, T, U, Q c T{(T|Q)~UQR T, T, U, R c T~T|URQR T, T, U, S c T~T|U{SQR T, T, U, V c T{T{U{VQR T, T, U, W c T~T{U|WQR T, T, V, P c T~(T{P)|VQR T, T, V, R c (T{T)~R|VQR T, T, V, T c T~T|V{TQR T, T, V, U c T{T{V{UQR T, T, V, V c (T~V)|(T{V)QR T, T, V, X c T~T{V|XQR T, T, W, Q c T{T~Q{WQR T, T, W, R c T~(WT{R)QR T, T, W, S c T~T|WSQR T, T, W, T c T{T{W{TQR T, T, W, U c T~T|W{UQR T, T, W, W c T~(W|T){WQR T, T, X, Q c (T{X)~Q|TQR T, T, X, R c T{(T|R)~XQR T, T, X, S c T{T{X{SQR T, T, X, V c T~T|X{VQR T, U, O, R c T{(U{O)~RQR T, U, O, V c T~U{O|VQR T, U, P, P c (T|P)~U|PQR T, U, P, Q c T{U~(P{Q)QR T, U, P, R c T{U~P~RQR T, U, P, S c T{U~(S|P)QR T, U, P, U c (T~U)|(P{U)QR T, U, P, V c T~U|P~VQR T, U, P, W c T~U{P|WQR T, U, P, X c U~(X|T)|PQR T, U, Q, P c (T{U)~Q{PQR T, U, Q, R c T~(U|Q){RQR T, U, Q, S c T~S{UQQR T, U, Q, T c (T~U)|(Q{T)QR T, U, Q, U c T{U{Q~UQR T, U, Q, V c T~Q{U{VQR T, U, Q, W c T~UQ{WQR T, U, Q, X c T~U{Q|XQR T, U, R, O c T{U~R{OQR T, U, R, P c T{U~R~PQR T, U, R, Q c T{(U{R)~QQR T, U, R, R c (TR{U)~RQR T, U, R, S c T{U{R~SQR T, U, R, T c T~T|URQR T, U, R, U c T{(U|R)~UQR T, U, R, W c T~(U|R){WQR T, U, R, X c T{U{R{XQR T, U, S, P c T{U~(S|P)QR T, U, S, Q c T~S{UQQR T, U, S, R c T{U{S~RQR T, U, S, S c U~S|T{SQR T, U, S, T c T~T|U{SQR T, U, S, U c T{U~S|UQR T, U, S, V c T{U~(V|S)QR T, U, S, W c T{U{S{WQR T, U, S, X c T{(U|S)~XQR T, U, T, Q c T{U~(T|Q)QR T, U, T, R c T~T|URQR T, U, T, S c T~T|U{SQR T, U, T, V c T{U{T{VQR T, U, T, W c T{U~(W|T)QR T, U, U, P c (T~U)|(U{P)QR T, U, U, Q c T{U{U~QQR T, U, U, R c T{U~(U|R)QR T, U, U, S c T{U~S|UQR T, U, U, U c T{U{U{UQR T, U, U, V c (T|VU)~UQR T, U, U, W c (U~U)|(T{W)QR T, U, U, X c T{U~(X|U)QR T, U, V, O c T~U|V{OQR T, U, V, P c T~U|V~PQR T, U, V, Q c T~V|U~QQR T, U, V, S c T{U~(V|S)QR T, U, V, T c T{U{V{TQR T, U, V, U c (T|VU)~UQR T, U, W, P c T~U|W{PQR T, U, W, Q c T~UQ{WQR T, U, W, R c T~(U|R){WQR T, U, W, S c T{U{W{SQR T, U, W, T c T{U~(W|T)QR T, U, W, U c (U~U)|(T{W)QR T, U, W, X c T{(W|U)~XQR T, U, X, P c U~(X|T)|PQR T, U, X, Q c T~U|X{QQR T, U, X, R c T{U{X{RQR T, U, X, S c T{(U|S)~XQR T, U, X, U c T{U~(X|U)QR T, U, X, W c T~(X|U){WQR T, V, O, S c (V{O)~S|TQR T, V, O, U c (T{O)~U|VQR T, V, P, Q c (T{V)~Q|PQR T, V, P, R c T{(V|P)~RQR T, V, P, S c (T|P)~S{VQR T, V, P, T c (T|P)~V|TQR T, V, P, U c T~P~U|VQR T, V, P, V c T~(V|P)|VQR T, V, Q, P c (T{V)~Q|PQR T, V, Q, Q c T{(V{Q)~QQR T, V, Q, R c T~Q~R|VQR T, V, Q, S c T{V~Q{SQR T, V, Q, U c T~V|Q~UQR T, V, Q, V c (V{V)~Q|TQR T, V, Q, W c T~(W|Q)|VQR T, V, Q, X c T{V{Q{XQR T, V, R, P c T{(V|P)~RQR T, V, R, Q c (T{R)~Q{VQR T, V, R, R c T{V~R|RQR T, V, R, S c T~V|R~SQR T, V, R, T c (T{T)~R|VQR T, V, R, V c V|T{R~VQR T, V, R, W c T{V{R{WQR T, V, R, X c (T~V)|(R{X)QR T, V, S, O c V~S|T{OQR T, V, S, P c (T|P)~S{VQR T, V, S, Q c T{V~Q{SQR T, V, S, R c T~V|S~RQR T, V, S, S c T~S{V|SQR T, V, S, U c T{(V|S)~UQR T, V, S, V c T{V{S{VQR T, V, S, W c (T~V)|(S{W)QR T, V, S, X c V{S~(X|T)QR T, V, T, P c T~(T{P)|VQR T, V, T, R c (T{T)~R|VQR T, V, T, T c T~T|V{TQR T, V, T, U c T{V{T{UQR T, V, T, V c (T~V)|(T{V)QR T, V, T, X c T{(V|T)~XQR T, V, U, O c T~U|V{OQR T, V, U, P c T~U|V~PQR T, V, U, Q c T~V|U~QQR T, V, U, S c T{(V|S)~UQR T, V, U, T c T{V{U{TQR T, V, U, U c (T|VU)~UQR T, V, V, P c T~(V|P)|VQR T, V, V, Q c (V{V)~Q|TQR T, V, V, R c V|T{V~RQR T, V, V, S c T{V{V{SQR T, V, V, T c (T~V)|(V{T)QR T, V, V, W c (V|T)~W{VQR T, V, V, X c (V|T)~V{XQR T, V, W, Q c T~(W|Q)|VQR T, V, W, R c T{V{W{RQR T, V, W, S c (T~V)|(W{S)QR T, V, W, V c (V|T)~W{VQR T, V, W, X c V~X|T~WQR T, V, X, Q c T{V{X{QQR T, V, X, R c (T~V)|(X{R)QR T, V, X, S c V{(X|T)~SQR T, V, X, T c T{(V|T)~XQR T, V, X, V c (V|T)~V{XQR T, V, X, W c V~X|T~WQR T, V, X, X c T{(X|V)~XQR T, W, O, R c (T{O)~R{WQR T, W, P, Q c T{(W{P)~QQR T, W, P, R c T~P~R{WQR T, W, P, S c T~(S|P){WQR T, W, P, U c T~U|W{PQR T, W, P, W c (W|T)~W|PQR T, W, P, X c T{W{P{XQR T, W, Q, P c T{(W{P)~QQR T, W, Q, Q c T{W~Q{QQR T, W, Q, R c T{(W|Q)~RQR T, W, Q, T c T{W{Q~TQR T, W, Q, U c (T~W{U)QQR T, W, Q, V c T~(W|Q)|VQR T, W, Q, W c T{W{Q{WQR T, W, R, O c T~R{W{OQR T, W, R, P c T~R{W~PQR T, W, R, Q c T~(W|R)|QQR T, W, R, R c (T{WR)~RQR T, W, R, S c T~(W|S){RQR T, W, R, T c T~(WT{R)QR T, W, R, U c T{W~R|UQR T, W, R, V c T{W{R{VQR T, W, R, W c (T{W~W)RQR T, W, R, X c TR~X{WQR T, W, S, P c T~(S|P){WQR T, W, S, R c T~(W|S){RQR T, W, S, S c (W~S)|(T{S)QR T, W, S, T c T~S{W|TQR T, W, S, U c T{W{S{UQR T, W, S, V c (T~V)|(W{S)QR T, W, S, X c T{WS~XQR T, W, T, Q c T{W{T~QQR T, W, T, R c T~(WT{R)QR T, W, T, S c T~T|WSQR T, W, T, T c T{W{T{TQR T, W, T, U c T{(W|T)~UQR T, W, T, W c T~(W|T){WQR T, W, U, P c T~U|W{PQR T, W, U, Q c (T~W{U)QQR T, W, U, R c T{W~R|UQR T, W, U, S c T{W{U{SQR T, W, U, T c T{(W|T)~UQR T, W, U, U c (U~U)|(T{W)QR T, W, U, X c T{(W|U)~XQR T, W, V, Q c T~(W|Q)|VQR T, W, V, R c T{W{V{RQR T, W, V, S c (T~V)|(W{S)QR T, W, V, V c W~(V|T){VQR T, W, V, X c V~X|T~WQR T, W, W, P c (W|T)~W|PQR T, W, W, Q c T{W{W{QQR T, W, W, R c (T{W~W)RQR T, W, W, T c T~(W|T){WQR T, W, W, X c (T~W)|(W{X)QR T, W, X, P c T{W{X{PQR T, W, X, R c T~XR{WQR T, W, X, S c T{W~XSQR T, W, X, U c T{(W|U)~XQR T, W, X, V c X~V|T~WQR T, W, X, W c (T~W)|(X{W)QR T, W, X, X c W~(X|T)|XQR T, X, O, Q c T{(X{O)~QQR T, X, O, X c T{X{O{XQR T, X, P, P c T{X~(P{P)QR T, X, P, Q c T{X~P~QQR T, X, P, R c T{X~(R|P)QR T, X, P, U c (X|T)~U|PQR T, X, P, W c T{X{P{WQR T, X, P, X c T{X{P~XQR T, X, Q, O c T{X~Q{OQR T, X, Q, P c T{X~Q~PQR T, X, Q, Q c (TQ{X)~QQR T, X, Q, S c T{XQ~SQR T, X, Q, T c (T{X)~Q|TQR T, X, Q, U c T~U|X{QQR T, X, Q, V c T{X{Q{VQR T, X, Q, X c (TX{Q)~XQR T, X, R, P c T{X~(R|P)QR T, X, R, R c T{X{R~RQR T, X, R, S c (T{R)~S|XQR T, X, R, T c T{X~(T|R)QR T, X, R, U c T{X{R{UQR T, X, R, V c T~(X|R)|VQR T, X, R, W c T~XR{WQR T, X, R, X c T{X~R|XQR T, X, S, Q c T{X~(S|Q)QR T, X, S, R c T~S{XRQR T, X, S, T c T{X{S{TQR T, X, S, U c T{X~(U|S)QR T, X, S, V c (X|T)~S{VQR T, X, S, W c T{XS~WQR T, X, T, Q c (T{X)~Q|TQR T, X, T, R c T{X~(T|R)QR T, X, T, S c T{X{T{SQR T, X, T, V c T{X~(V|T)QR T, X, U, P c (X|T)~U|PQR T, X, U, Q c T~U|X{QQR T, X, U, R c T{X{U{RQR T, X, U, S c T{X~(U|S)QR T, X, U, U c T{(X|U)~UQR T, X, U, W c T~(X|U){WQR T, X, V, Q c T{X{V{QQR T, X, V, R c T~(X|R)|VQR T, X, V, S c (X|T)~S{VQR T, X, V, T c T{X~(V|T)QR T, X, V, V c X{(V|T)~VQR T, X, V, W c X~V|T~WQR T, X, V, X c T{(X|V)~XQR T, X, W, P c T{X{W{PQR T, X, W, R c T~XR{WQR T, X, W, S c T{X~WSQR T, X, W, U c T{X~(W|U)QR T, X, W, V c X~V|T~WQR T, X, W, W c (T~W)|(X{W)QR T, X, W, X c (X|T)~W|XQR T, X, X, O c T{X{X{OQR T, X, X, P c T{X{X~PQR T, X, X, Q c (TX{Q)~XQR T, X, X, R c T{X~R|XQR T, X, X, V c T{X~(X|V)QR T, X, X, W c (X|T)~W|XQR U, O, P, S c (U{O)~S|PQR U, O, R, T c (U{O)~R{TQR U, O, S, P c (U{O)~S|PQR U, O, T, R c (U{O)~R{TQR U, O, T, V c (U{O)~T|VQR U, O, V, T c (U{O)~T|VQR U, O, W, X c U{O{W{XQR U, O, X, W c U{O{X{WQR U, P, O, S c (U{O)~S|PQR U, P, P, R c U~(P{R)|PQR U, P, P, S c U~P~S|PQR U, P, P, T c U~(T|P)|PQR U, P, Q, Q c U~(Q{Q)|PQR U, P, Q, R c (U{P)~R{QQR U, P, Q, S c U~S{P|QQR U, P, Q, T c U~(P{Q){TQR U, P, Q, U c (U|Q)~U|PQR U, P, Q, W c U{P{Q~WQR U, P, Q, X c (U{P)~Q{XQR U, P, R, P c U~(P{R)|PQR U, P, R, Q c (U{P)~R{QQR U, P, R, S c (U|P)~S{RQR U, P, R, T c U~P~R{TQR U, P, R, U c U|P{R~UQR U, P, R, V c U~(V|R)|PQR U, P, R, W c (U|P)~R{WQR U, P, S, O c U~S|P{OQR U, P, S, P c U~P~S|PQR U, P, S, Q c U~S{P|QQR U, P, S, R c (U|P)~S{RQR U, P, S, S c U{P{S~SQR U, P, S, T c (U{P)~S|TQR U, P, S, U c U~(S|PU)QR U, P, S, V c U~(P{S)|VQR U, P, S, W c U~(W|S)|PQR U, P, T, P c U~(T|P)|PQR U, P, T, Q c (U|P)~T|QQR U, P, T, R c U~P~R{TQR U, P, T, S c (U{P)~S|TQR U, P, T, U c (U~T)|(P{U)QR U, P, T, V c U~P~T|VQR U, P, T, W c U~T{P|WQR U, P, T, X c U~(X|T)|PQR U, P, U, Q c (U{U)~Q|PQR U, P, U, R c U|P{U~RQR U, P, U, S c U~(S|PU)QR U, P, U, T c (U~T)|(P{U)QR U, P, U, V c (U|P)~U|VQR U, P, V, R c U~(V|R)|PQR U, P, V, S c U~(P{S)|VQR U, P, V, T c U~P~T|VQR U, P, V, U c (U|P)~U|VQR U, P, V, X c U{P{V{XQR U, P, W, Q c U{P{W~QQR U, P, W, R c (U|P)~R{WQR U, P, W, S c U~(W|S)|PQR U, P, W, T c U~T{P|WQR U, P, W, W c U{P{W{WQR U, P, W, X c U{P~W{XQR U, P, X, Q c U|P{X~QQR U, P, X, T c U~(X|T)|PQR U, P, X, V c U{P{X{VQR U, P, X, W c U{P~X{WQR U, P, X, X c U|P{X{XQR U, Q, P, Q c U~(Q{Q)|PQR U, Q, P, R c (U{Q)~R|PQR U, Q, P, S c U~S|Q{PQR U, Q, P, T c U~(Q{P){TQR U, Q, P, U c (U|Q)~U|PQR U, Q, P, W c U{Q~W{PQR U, Q, P, X c U{Q~X|PQR U, Q, Q, P c U~(Q{Q)|PQR U, Q, Q, S c U~S|QQQR U, Q, Q, V c (U{Q)~Q{VQR U, Q, Q, W c (U~W|Q)QQR U, Q, Q, X c U~Q{Q{XQR U, Q, R, P c (U{Q)~R|PQR U, Q, R, R c U~R{Q{RQR U, Q, R, S c (U{S)~Q{RQR U, Q, R, T c U{Q{R~TQR U, Q, R, V c U~(Q{R)|VQR U, Q, R, W c U~Q{R{WQR U, Q, R, X c Q{R~X|UQR U, Q, S, P c U~S|Q{PQR U, Q, S, Q c U~S|QQQR U, Q, S, R c (U{S)~Q{RQR U, Q, S, T c UQ{S~TQR U, Q, S, V c (U|Q)~S{VQR U, Q, S, W c (U|QW)~SQR U, Q, S, X c U{Q~S{XQR U, Q, T, P c U~(Q{P){TQR U, Q, T, R c U{Q{T~RQR U, Q, T, S c UQ{T~SQR U, Q, T, T c (U~T)|(Q{T)QR U, Q, T, U c U~Q{T{UQR U, Q, T, V c U{Q~T{VQR U, Q, T, W c UQ~T{WQR U, Q, T, X c U~T{Q|XQR U, Q, U, P c (U|Q)~U|PQR U, Q, U, T c U{Q~U{TQR U, Q, U, X c U{Q{U{XQR U, Q, V, Q c UQ~V{QQR U, Q, V, R c U{Q~V{RQR U, Q, V, S c U~Q{V{SQR U, Q, V, T c (U|Q)~V|TQR U, Q, V, V c U~(V|Q)|VQR U, Q, V, W c U{Q{V{WQR U, Q, V, X c (U{X)~Q|VQR U, Q, W, P c U{Q~W{PQR U, Q, W, Q c (U~W|Q)QQR U, Q, W, R c U~Q{W{RQR U, Q, W, S c (U|QW)~SQR U, Q, W, T c UQ~T{WQR U, Q, W, V c U{Q{W{VQR U, Q, W, X c (U|Q)~W|XQR U, Q, X, P c U{Q~X|PQR U, Q, X, Q c U~Q{X{QQR U, Q, X, R c Q{X~R|UQR U, Q, X, S c UQ~X|SQR U, Q, X, T c U~T{Q|XQR U, Q, X, U c U{Q{X{UQR U, Q, X, V c (U{X)~Q|VQR U, Q, X, W c (U|Q)~W|XQR U, R, O, T c U~R{O{TQR U, R, P, P c U~(R{P)|PQR U, R, P, Q c (U{P)~R{QQR U, R, P, S c U~R{P{SQR U, R, P, T c U~R{P~TQR U, R, P, U c U~R|P{UQR U, R, P, V c U~(V|R)|PQR U, R, P, W c (U|R)~W|PQR U, R, Q, P c (U{Q)~R|PQR U, R, Q, R c U~R{Q{RQR U, R, Q, S c U~S|R{QQR U, R, Q, T c (U{R)~Q{TQR U, R, Q, V c U{R{Q~VQR U, R, Q, W c U~Q{R{WQR U, R, Q, X c R~X|U{QQR U, R, R, Q c U~R{R{QQR U, R, R, S c (U{R)~R|SQR U, R, R, T c (U{TR)~RQR U, R, R, V c UR{R~VQR U, R, R, W c U{R~R{WQR U, R, S, P c U~R{S{PQR U, R, S, Q c U~S|R{QQR U, R, S, R c (U{R)~R|SQR U, R, S, S c U~S{R|SQR U, R, S, T c U{R~S{TQR U, R, S, V c U{R~V|SQR U, R, S, W c (S~W)|(U{R)QR U, R, S, X c U~R|S{XQR U, R, T, O c U~R{T{OQR U, R, T, P c U~R{T~PQR U, R, T, Q c U{R~T{QQR U, R, T, R c (U{TR)~RQR U, R, T, S c U|R{T~SQR U, R, T, T c T~T|URQR U, R, T, U c U~(R{TU)QR U, R, T, W c (U|R)~T{WQR U, R, T, X c U{R{T{XQR U, R, U, P c U{R~U|PQR U, R, U, T c (U|R)~U{TQR U, R, U, W c U{R{U{WQR U, R, V, P c U~(V|R)|PQR U, R, V, Q c U{R{V~QQR U, R, V, R c UR{V~RQR U, R, V, S c U{R~V|SQR U, R, V, V c U{R{V{VQR U, R, V, W c U{R~W|VQR U, R, V, X c UR~V{XQR U, R, W, P c (U|R)~W|PQR U, R, W, Q c U~Q{R{WQR U, R, W, R c U~R{W|RQR U, R, W, S c (W~S)|(U{R)QR U, R, W, T c (U|R)~T{WQR U, R, W, U c U{R{W{UQR U, R, W, V c U{R~W|VQR U, R, W, X c R~(X|WU)QR U, R, X, Q c R~X|U{QQR U, R, X, S c (U|R)~X|SQR U, R, X, T c U{R{X{TQR U, R, X, V c UR~V{XQR U, R, X, W c R~(X|WU)QR U, S, O, P c U~S{O|PQR U, S, P, O c U~S|P{OQR U, S, P, P c U~S|P~PQR U, S, P, Q c U~S{P|QQR U, S, P, R c (U|P)~S{RQR U, S, P, S c U{S~S{PQR U, S, P, T c U~(S|P){TQR U, S, P, U c U~(S|PU)QR U, S, P, V c U~(S{P)|VQR U, S, P, W c U~(W|S)|PQR U, S, Q, P c U~S|Q{PQR U, S, Q, Q c U~S|QQQR U, S, Q, R c (U{S)~Q{RQR U, S, Q, T c UQ{S~TQR U, S, Q, V c (U|Q)~S{VQR U, S, Q, W c (U|QW)~SQR U, S, Q, X c U{S~Q{XQR U, S, R, P c U~R{S{PQR U, S, R, Q c U~S|R{QQR U, S, R, R c U~S|RRQR U, S, R, S c U~S{R|SQR U, S, R, T c U{S~R{TQR U, S, R, V c (U{S)~R|VQR U, S, R, W c (S~W)|(U{R)QR U, S, R, X c U~R|S{XQR U, S, S, P c U{S~S{PQR U, S, S, R c U~S|S{RQR U, S, S, S c U~S|SSQR U, S, S, T c U~S{S|TQR U, S, S, X c U{S{S{XQR U, S, T, P c U~(S|P){TQR U, S, T, Q c UQ{S~TQR U, S, T, R c U{S~T|RQR U, S, T, S c U~S|T{SQR U, S, T, T c U~S|TTQR U, S, T, U c U~S{T|UQR U, S, T, V c U~(V|S){TQR U, S, T, W c U{S{T{WQR U, S, T, X c (U|S)~X{TQR U, S, U, P c U~(S|PU)QR U, S, U, T c U~S|U{TQR U, S, U, U c U~S|UUQR U, S, U, V c U{S{U{VQR U, S, U, X c (U~U)|(S{X)QR U, S, V, P c U~(S{P)|VQR U, S, V, Q c (U~V{S)QQR U, S, V, R c U|S{V~RQR U, S, V, T c U~(V|S){TQR U, S, V, U c U{S{V{UQR U, S, V, V c U~S|VVQR U, S, V, W c U~S{V|WQR U, S, V, X c (U|S)~V{XQR U, S, W, P c U~(W|S)|PQR U, S, W, Q c (U|QW)~SQR U, S, W, R c (S~W)|(U{R)QR U, S, W, T c U{S{W{TQR U, S, W, V c (U|S)~W{VQR U, S, W, W c U~S|WWQR U, S, W, X c U~S{W|XQR U, S, X, Q c U{S~Q{XQR U, S, X, R c U~R|S{XQR U, S, X, S c U{S{X{SQR U, S, X, T c (U|S)~X{TQR U, S, X, U c (U~U)|(S{X)QR U, S, X, V c (U|S)~V{XQR U, S, X, W c U~S|X{WQR U, S, X, X c U~S|XXQR U, T, O, R c (U{O)~R{TQR U, T, O, V c U~T{O|VQR U, T, P, P c U~(T|P)|PQR U, T, P, Q c (U{T)~Q{PQR U, T, P, R c U~P~R{TQR U, T, P, S c (U{P)~S|TQR U, T, P, U c (U~T)|(P{U)QR U, T, P, V c U~T|P~VQR U, T, P, W c U~T{P|WQR U, T, P, X c U~(X|T)|PQR U, T, Q, P c (U{T)~Q{PQR U, T, Q, R c U{T~R{QQR U, T, Q, S c UQ{T~SQR U, T, Q, T c (U~T)|(Q{T)QR U, T, Q, U c U{T{Q~UQR U, T, Q, V c U{T~Q{VQR U, T, Q, W c U~TQ{WQR U, T, Q, X c U~T{Q|XQR U, T, R, O c U~R{T{OQR U, T, R, P c U~R{T~PQR U, T, R, Q c U{T~R{QQR U, T, R, R c (U{TR)~RQR U, T, R, S c U{T{R~SQR U, T, R, T c T~T|URQR U, T, R, U c U~(TU{R)QR U, T, R, W c (U|R)~T{WQR U, T, R, X c U{T{R{XQR U, T, S, P c U~(S|P){TQR U, T, S, Q c UQ{T~SQR U, T, S, R c U{T{S~RQR U, T, S, S c U~S|T{SQR U, T, S, T c U~S|TTQR U, T, S, U c U~S{T|UQR U, T, S, V c U~(V|S){TQR U, T, S, W c U{T{S{WQR U, T, S, X c (U|S)~X{TQR U, T, T, Q c (U~T)|(T{Q)QR U, T, T, R c T~T|URQR U, T, T, S c U~S|TTQR U, T, T, V c U{T{T{VQR U, T, T, W c U{T~T|WQR U, T, U, P c (U~T)|(U{P)QR U, T, U, Q c U{T{U~QQR U, T, U, R c U~(TU{R)QR U, T, U, S c U~S{T|UQR U, T, U, U c U{T{U{UQR U, T, U, V c U~(T|VU)QR U, T, U, W c (U~U)|(T{W)QR U, T, U, X c U~(X|U){TQR U, T, V, O c U~T|V{OQR U, T, V, P c U~T|V~PQR U, T, V, Q c U{T~Q{VQR U, T, V, S c U~(V|S){TQR U, T, V, T c U{T{V{TQR U, T, V, U c U~(T|VU)QR U, T, W, P c U~T|W{PQR U, T, W, Q c (U{T~W)QQR U, T, W, R c (U|R)~T{WQR U, T, W, S c U{T{W{SQR U, T, W, T c U{T~T|WQR U, T, W, U c (U~U)|(T{W)QR U, T, W, X c T{(W|U)~XQR U, T, X, P c U~(X|T)|PQR U, T, X, Q c U~T|X{QQR U, T, X, R c U{T{X{RQR U, T, X, S c (U|S)~X{TQR U, T, X, U c U~(X|U){TQR U, T, X, W c T~(X|U){WQR U, U, P, Q c (U{U)~Q|PQR U, U, P, R c U{U~R|PQR U, U, P, S c U~(S|PU)QR U, U, P, T c (U~T)|(U{P)QR U, U, P, V c U~(U|P)|VQR U, U, Q, P c (U{U)~Q|PQR U, U, Q, T c U{U~Q{TQR U, U, Q, X c U{U{Q{XQR U, U, R, P c U{U~R|PQR U, U, R, T c U~(U|R){TQR U, U, R, W c U{U{R{WQR U, U, S, P c U~(S|PU)QR U, U, S, T c U~S|U{TQR U, U, S, U c U~S|UUQR U, U, S, V c U{U{S{VQR U, U, S, X c (U~U)|(S{X)QR U, U, T, P c (U~T)|(U{P)QR U, U, T, Q c U{U~Q{TQR U, U, T, R c U~(U|R){TQR U, U, T, S c U~S|U{TQR U, U, T, U c U{U{T{UQR U, U, T, V c U~(T|VU)QR U, U, T, W c (U~U)|(T{W)QR U, U, T, X c U~(X|U){TQR U, U, U, S c U~S|UUQR U, U, U, T c U{U{U{TQR U, U, U, V c (U~U)|(U{V)QR U, U, V, P c U~(U|P)|VQR U, U, V, S c U{U{V{SQR U, U, V, T c U~(T|VU)QR U, U, V, U c (U~U)|(V{U)QR U, U, W, R c U{U{W{RQR U, U, W, T c (U~U)|(W{T)QR U, U, X, Q c U{U{X{QQR U, U, X, S c (U~U)|(X{S)QR U, U, X, T c U~(X|U){TQR U, V, O, T c (U{O)~T|VQR U, V, P, R c U~(V|R)|PQR U, V, P, S c U~(P{S)|VQR U, V, P, T c U~P~T|VQR U, V, P, U c (U|P)~U|VQR U, V, P, X c U{V{P{XQR U, V, Q, Q c U~VQ{QQR U, V, Q, R c U{V~Q{RQR U, V, Q, S c (U~V{S)QQR U, V, Q, T c U{V{Q~TQR U, V, Q, V c U~(V|Q)|VQR U, V, Q, W c U{V{Q{WQR U, V, Q, X c (U{X)~Q|VQR U, V, R, P c U~(V|R)|PQR U, V, R, Q c U{V~Q{RQR U, V, R, R c UR{V~RQR U, V, R, S c U{V~R|SQR U, V, R, V c U{V{R{VQR U, V, R, W c U{R~W|VQR U, V, R, X c U~VR{XQR U, V, S, P c U~(S{P)|VQR U, V, S, Q c (U~V{S)QQR U, V, S, R c U{V~R|SQR U, V, S, T c U~(V|S){TQR U, V, S, U c U{V{S{UQR U, V, S, V c U~S|VVQR U, V, S, W c U~S{V|WQR U, V, S, X c (U|S)~V{XQR U, V, T, O c U~T|V{OQR U, V, T, P c U~T|V~PQR U, V, T, Q c U{V{T~QQR U, V, T, S c U~(V|S){TQR U, V, T, T c U{V{T{TQR U, V, T, U c U~(T|VU)QR U, V, U, P c U~(U|P)|VQR U, V, U, S c U{V{U{SQR U, V, U, T c U~(T|VU)QR U, V, U, U c (U~U)|(V{U)QR U, V, V, Q c U~(V|Q)|VQR U, V, V, R c U{V{V{RQR U, V, V, S c U~S|VVQR U, V, W, Q c U{V{W{QQR U, V, W, R c U{W~R|VQR U, V, W, S c U~S{V|WQR U, V, W, W c V{(W|U)~WQR U, V, W, X c V~(W|U){XQR U, V, X, P c U{V{X{PQR U, V, X, Q c (U{X)~Q|VQR U, V, X, R c (U{V~X)RQR U, V, X, S c U~(X|S)|VQR U, V, X, W c V~(W|U){XQR U, W, O, X c U{W{O{XQR U, W, P, Q c U{W~Q{PQR U, W, P, R c (U|P)~R{WQR U, W, P, S c U~(W|S)|PQR U, W, P, T c U~T|W{PQR U, W, P, W c U{W{P{WQR U, W, P, X c U{W{P~XQR U, W, Q, P c U{W~Q{PQR U, W, Q, Q c (U~W|Q)QQR U, W, Q, R c U~Q{W{RQR U, W, Q, S c (U|QW)~SQR U, W, Q, T c (U{W)~Q|TQR U, W, Q, V c U{W{Q{VQR U, W, Q, X c (U|Q)~W|XQR U, W, R, P c (U|R)~W|PQR U, W, R, Q c U~Q{W{RQR U, W, R, R c U{W{R~RQR U, W, R, S c (W~S)|(U{R)QR U, W, R, T c (U|R)~T{WQR U, W, R, U c U{W{R{UQR U, W, R, V c U{W~R|VQR U, W, R, X c R~(X|WU)QR U, W, S, P c U~(W|S)|PQR U, W, S, Q c (U|QW)~SQR U, W, S, R c (W~S)|(U{R)QR U, W, S, T c U{W{S{TQR U, W, S, V c (U|S)~W{VQR U, W, S, W c U~S|WWQR U, W, S, X c U~S{W|XQR U, W, T, P c U~T|W{PQR U, W, T, Q c (U{W~T)QQR U, W, T, R c (U|R)~T{WQR U, W, T, S c U{W{T{SQR U, W, T, T c U~(W|T){TQR U, W, T, U c (U~U)|(W{T)QR U, W, T, X c (W|U)~X{TQR U, W, U, R c U{W{U{RQR U, W, U, T c (U~U)|(W{T)QR U, W, V, Q c U{W{V{QQR U, W, V, R c U{W~R|VQR U, W, V, S c (U|S)~W{VQR U, W, V, W c (W|U)~W{VQR U, W, V, X c (W|U)~V{XQR U, W, W, P c U{W{W{PQR U, W, W, S c U~S|WWQR U, W, W, V c (W|U)~W{VQR U, W, X, O c U{W{X{OQR U, W, X, P c U{W{X~PQR U, W, X, Q c (U~X|W)QQR U, W, X, R c (X|WU)~RQR U, W, X, S c U~S{W|XQR U, W, X, T c (W|U)~X{TQR U, W, X, V c (W|U)~V{XQR U, X, O, W c U{X{O{WQR U, X, P, Q c U{X~Q|PQR U, X, P, T c U~(X|T)|PQR U, X, P, V c U{X{P{VQR U, X, P, W c U{X{P~WQR U, X, P, X c U{X|P{XQR U, X, Q, P c U{X~Q|PQR U, X, Q, Q c U~Q{X{QQR U, X, Q, R c X~R|U{QQR U, X, Q, S c U{X{Q~SQR U, X, Q, T c U~T|X{QQR U, X, Q, U c U{X{Q{UQR U, X, Q, V c (U{X)~Q|VQR U, X, Q, W c (U~X|W)QQR U, X, R, Q c X~R|U{QQR U, X, R, S c (U|R)~X|SQR U, X, R, T c U{X{R{TQR U, X, R, V c (U{X~V)RQR U, X, R, W c (X|WU)~RQR U, X, S, Q c U{X{S~QQR U, X, S, R c (U|R)~X|SQR U, X, S, S c U{X{S{SQR U, X, S, T c (U|S)~X{TQR U, X, S, U c (U~U)|(X{S)QR U, X, S, V c U~(X|S)|VQR U, X, S, W c U~S|X{WQR U, X, S, X c U~S|XXQR U, X, T, P c U~(X|T)|PQR U, X, T, Q c U~T|X{QQR U, X, T, R c U{X{T{RQR U, X, T, S c (U|S)~X{TQR U, X, T, U c U~(X|U){TQR U, X, T, W c (X|U)~T{WQR U, X, U, Q c U{X{U{QQR U, X, U, S c (U~U)|(X{S)QR U, X, U, T c U~(X|U){TQR U, X, V, P c U{X{V{PQR U, X, V, Q c (U{X)~Q|VQR U, X, V, R c (U{X~V)RQR U, X, V, S c U~(X|S)|VQR U, X, V, W c X{V~(W|U)QR U, X, W, O c U{X{W{OQR U, X, W, P c U{X{W~PQR U, X, W, Q c (U~X|W)QQR U, X, W, R c (X|WU)~RQR U, X, W, S c U~S|X{WQR U, X, W, T c (X|U)~T{WQR U, X, W, V c X{(W|U)~VQR U, X, X, P c U{X{X|PQR U, X, X, S c U~S|XXQR V, O, Q, R c (V{O)~R{QQR V, O, Q, W c V{O{Q~WQR V, O, Q, X c (V{O)~Q{XQR V, O, R, Q c (V{O)~R{QQR V, O, S, S c V{O{S~SQR V, O, S, T c (V{O)~S|TQR V, O, T, S c (V{O)~S|TQR V, O, T, U c O{T~U|VQR V, O, U, T c O{U~T|VQR V, O, V, X c V{O{V{XQR V, O, W, Q c V{O{W~QQR V, O, W, W c V{O{W{WQR V, O, X, Q c (V{O)~Q{XQR V, O, X, V c V{O{X{VQR V, P, P, R c (V{P)~R|PQR V, P, P, S c (V|P)~S|PQR V, P, P, W c V{(P{P)~WQR V, P, P, X c V~(P{P){XQR V, P, Q, Q c V~(P{Q){QQR V, P, Q, R c V~P~R{QQR V, P, Q, S c V~(S|P){QQR V, P, Q, T c (V{T)~Q|PQR V, P, Q, V c (V{P)~Q{VQR V, P, Q, W c V{P~Q~WQR V, P, Q, X c V~P~Q{XQR V, P, R, P c (V{P)~R|PQR V, P, R, Q c V~P~R{QQR V, P, R, R c V~R|P{RQR V, P, R, S c V{(P{R)~SQR V, P, R, T c V{P{R~TQR V, P, R, U c (V|R)~U|PQR V, P, R, W c V{(R|P)~WQR V, P, R, X c V~(R|P){XQR V, P, S, P c (V|P)~S|PQR V, P, S, Q c V~(S|P){QQR V, P, S, R c V{(P{R)~SQR V, P, S, S c V{P~S~SQR V, P, S, T c V~P~S|TQR V, P, S, U c V~S{P|UQR V, P, S, W c (V|S)~W|PQR V, P, S, X c (V{P)~S|XQR V, P, T, Q c (V{T)~Q|PQR V, P, T, R c V{P{T~RQR V, P, T, S c V~P~S|TQR V, P, T, T c V~(T|P)|TQR V, P, T, U c P~T~U|VQR V, P, T, V c (V|P)~T|VQR V, P, U, R c (V|R)~U|PQR V, P, U, S c V~S{P|UQR V, P, U, T c P~U~T|VQR V, P, U, U c (U|P)~U|VQR V, P, U, X c V{P{U{XQR V, P, V, Q c V{(P{V)~QQR V, P, V, T c (V|P)~T|VQR V, P, V, W c V{P{V{WQR V, P, V, X c V{P~V{XQR V, P, W, P c V{(P{P)~WQR V, P, W, Q c V{P~W~QQR V, P, W, R c V{W~(R|P)QR V, P, W, S c (V|S)~W|PQR V, P, W, V c V{P{W{VQR V, P, W, W c V{P~W{WQR V, P, W, X c V|P{W{XQR V, P, X, P c V~(P{P){XQR V, P, X, Q c V~P~Q{XQR V, P, X, R c V~(R|P){XQR V, P, X, S c (V{P)~S|XQR V, P, X, U c V{P{X{UQR V, P, X, V c V{P~X{VQR V, P, X, W c V|P{X{WQR V, Q, O, R c (V{O)~R{QQR V, Q, O, W c V{(Q{O)~WQR V, Q, O, X c V~Q{O{XQR V, Q, P, Q c V~(Q{P){QQR V, Q, P, R c V~P~R{QQR V, Q, P, S c (V{S)~Q{PQR V, Q, P, T c (V{T)~Q|PQR V, Q, P, V c V{Q~(P{V)QR V, Q, P, W c V{Q~P~WQR V, Q, P, X c V~Q{P~XQR V, Q, Q, P c V~(Q{P){QQR V, Q, Q, S c V{(Q{Q)~SQR V, Q, Q, T c (V{Q)~Q{TQR V, Q, Q, U c V{Q~(Q{U)QR V, Q, Q, V c V{Q{Q~VQR V, Q, Q, W c (VQ{W)~QQR V, Q, Q, X c V|Q{Q~XQR V, Q, R, O c V~R{Q{OQR V, Q, R, P c V~R{Q~PQR V, Q, R, R c (V{QR)~RQR V, Q, R, S c (V{Q)~R|SQR V, Q, R, T c V{Q~(R{T)QR V, Q, R, U c V|Q{R~UQR V, Q, R, V c V~(QV{R)QR V, Q, R, W c (V|Q)~R{WQR V, Q, R, X c VR~X{QQR V, Q, S, P c (V{S)~Q{PQR V, Q, S, Q c V{Q~S~QQR V, Q, S, R c (V|Q)~S{RQR V, Q, S, S c V{Q~(S{S)QR V, Q, S, T c V~Q{S{TQR V, Q, S, U c V{Q~U{SQR V, Q, S, V c V~S{Q|VQR V, Q, S, W c V{Q~S{WQR V, Q, S, X c VQ~S{XQR V, Q, T, P c (V{T)~Q|PQR V, Q, T, Q c (V|Q)~T|QQR V, Q, T, R c V{Q~(T{R)QR V, Q, T, S c V~Q{T{SQR V, Q, T, U c V{Q~T{UQR V, Q, T, V c (V{V)~Q|TQR V, Q, T, W c VQ~W|TQR V, Q, T, X c V{Q{T{XQR V, Q, U, Q c V{(Q{U)~QQR V, Q, U, R c V|Q{U~RQR V, Q, U, S c V{Q~U{SQR V, Q, U, T c V{Q~T{UQR V, Q, U, V c (V|Q)~U|VQR V, Q, U, W c V{Q{U{WQR V, Q, U, X c V~(X|U){QQR V, Q, V, P c V{Q~(V{P)QR V, Q, V, Q c V{Q{V~QQR V, Q, V, R c V~(QV{R)QR V, Q, V, S c V~(V|S){QQR V, Q, V, T c (V{V)~Q|TQR V, Q, V, U c (V|Q)~U|VQR V, Q, V, V c V{Q{V{VQR V, Q, V, W c (V{W)~Q|VQR V, Q, V, X c V~(Q{XV)QR V, Q, W, O c V{Q~W{OQR V, Q, W, P c V{Q~W~PQR V, Q, W, Q c (VQ{W)~QQR V, Q, W, R c (V|Q)~R{WQR V, Q, W, S c V{Q~S{WQR V, Q, W, T c VQ~W|TQR V, Q, W, U c V{Q{W{UQR V, Q, W, V c (V{W)~Q|VQR V, Q, W, W c (VW{Q)~WQR V, Q, X, O c V~Q{X{OQR V, Q, X, P c V{Q~(X|P)QR V, Q, X, Q c V{Q~X|QQR V, Q, X, R c V~XR{QQR V, Q, X, S c VQ~S{XQR V, Q, X, T c V{Q{X{TQR V, Q, X, U c V~(X|U){QQR V, Q, X, V c V~(Q{XV)QR V, Q, X, X c V|Q{X{XQR V, R, O, Q c V~R{O{QQR V, R, P, P c V~R{P{PQR V, R, P, Q c V~R{P~QQR V, R, P, R c V~R|P{RQR V, R, P, S c V{(R{P)~SQR V, R, P, T c V~(R{P)|TQR V, R, P, U c (V|R)~U|PQR V, R, P, W c V{(R|P)~WQR V, R, P, X c V~(R|P){XQR V, R, Q, O c V~R{Q{OQR V, R, Q, P c V~R{Q~PQR V, R, Q, R c (V{R)~Q{RQR V, R, Q, S c V~R|Q{SQR V, R, Q, T c V{(R{T)~QQR V, R, Q, U c V{R~U|QQR V, R, Q, V c V~(R{QV)QR V, R, Q, W c (V|Q)~R{WQR V, R, Q, X c VR~X{QQR V, R, R, P c V~R{R|PQR V, R, R, Q c (V{R)~Q{RQR V, R, R, T c V~R|R{TQR V, R, R, U c V~R{URQR V, R, R, V c V{R~R{VQR V, R, R, X c R{R~X|VQR V, R, S, P c V{(R{P)~SQR V, R, S, Q c V~R{S|QQR V, R, S, S c V{R~S{SQR V, R, S, T c V~T|R~SQR V, R, S, U c V~R|S{UQR V, R, S, V c (V|R)~S{VQR V, R, S, W c V~R{WSQR V, R, S, X c V{R{S{XQR V, R, T, P c V{R~T{PQR V, R, T, Q c V{(R{T)~QQR V, R, T, R c (V|R)~T{RQR V, R, T, S c V~T|R~SQR V, R, T, T c R~(T{T)|VQR V, R, T, V c V~R|T{VQR V, R, T, W c V{R{T{WQR V, R, T, X c (V~T)|(R{X)QR V, R, U, P c (V|R)~U|PQR V, R, U, Q c V{R~U|QQR V, R, U, R c V~R{URQR V, R, U, S c V~R{U|SQR V, R, U, V c V{R{U{VQR V, R, U, W c V~R|U{WQR V, R, U, X c VR~U{XQR V, R, V, Q c V~(R{QV)QR V, R, V, R c V{R~R{VQR V, R, V, S c (V|R)~S{VQR V, R, V, T c V{R~V|TQR V, R, V, U c V{R{V{UQR V, R, V, W c R~W|VVQR V, R, V, X c V~R|V{XQR V, R, W, P c V{(R|P)~WQR V, R, W, Q c (V|Q)~R{WQR V, R, W, S c V~R{WSQR V, R, W, T c V{R{W{TQR V, R, W, U c V~R{W|UQR V, R, W, V c R~W|VVQR V, R, W, W c V{R~W|WQR V, R, W, X c (V|R)~W|XQR V, R, X, P c V~(R|P){XQR V, R, X, Q c VR~X{QQR V, R, X, R c R~X|V{RQR V, R, X, S c V{R{X{SQR V, R, X, T c (V~T)|(R{X)QR V, R, X, U c VR~U{XQR V, R, X, V c V~R{X|VQR V, R, X, W c (V|R)~W|XQR V, S, O, S c V{(S{O)~SQR V, S, O, T c V~S{O|TQR V, S, P, P c (V|P)~S|PQR V, S, P, Q c V~(S|P){QQR V, S, P, R c V{S~(P{R)QR V, S, P, S c V{S~P~SQR V, S, P, T c V~S|P~TQR V, S, P, U c V~S{P|UQR V, S, P, W c (V|S)~W|PQR V, S, P, X c (V{P)~S|XQR V, S, Q, P c (V{S)~Q{PQR V, S, Q, Q c V{S~(Q{Q)QR V, S, Q, R c (V~S)|(Q{R)QR V, S, Q, S c V{(S{S)~QQR V, S, Q, T c V~Q{S{TQR V, S, Q, U c V{S{Q~UQR V, S, Q, V c V~S{Q|VQR V, S, Q, W c V{(S|Q)~WQR V, S, Q, X c V~(S|Q){XQR V, S, R, P c V{S~(R{P)QR V, S, R, Q c (V~S)|(R{Q)QR V, S, R, S c V{S{R~SQR V, S, R, T c V~T|S~RQR V, S, R, U c (V{SU)~RQR V, S, R, V c V{S~(V|R)QR V, S, R, W c V~S{R|WQR V, S, R, X c V{S{R{XQR V, S, S, O c V{S~S{OQR V, S, S, P c V{S~S~PQR V, S, S, Q c V{(S{S)~QQR V, S, S, R c V{S{S~RQR V, S, S, S c (VS{S)~SQR V, S, S, T c V|S{S~TQR V, S, S, W c V{S{S{WQR V, S, S, X c V~S{S|XQR V, S, T, O c V~S|T{OQR V, S, T, P c V{S~(T|P)QR V, S, T, Q c V~Q{S{TQR V, S, T, R c V~T|S~RQR V, S, T, S c V{S~T|SQR V, S, T, U c (V|S)~U{TQR V, S, T, V c V{S{T{VQR V, S, T, W c (V|S)~T{WQR V, S, T, X c V{S~(X|T)QR V, S, U, P c V~S|U{PQR V, S, U, Q c V{S{U~QQR V, S, U, R c (V{SU)~RQR V, S, U, T c (V|S)~U{TQR V, S, U, U c V{S{U{UQR V, S, U, V c S~U|VVQR V, S, U, W c V{S~U|WQR V, S, U, X c V~(U|S){XQR V, S, V, Q c (V|S)~V{QQR V, S, V, R c V{S~(V|R)QR V, S, V, T c V{S{V{TQR V, S, V, U c S~U|VVQR V, S, W, P c (V|S)~W|PQR V, S, W, Q c V{S~WQQR V, S, W, R c V~S|W{RQR V, S, W, S c V{S{W{SQR V, S, W, T c (V|S)~T{WQR V, S, W, U c V{S~U|WQR V, S, W, W c V{WS~WQR V, S, W, X c VS~W{XQR V, S, X, P c (V{P)~S|XQR V, S, X, Q c V~(S|Q){XQR V, S, X, R c V{S{X{RQR V, S, X, S c (V|S)~X|SQR V, S, X, T c V{S~(X|T)QR V, S, X, U c V~(U|S){XQR V, S, X, W c VS~W{XQR V, T, O, S c (V{O)~S|TQR V, T, O, U c (T{O)~U|VQR V, T, P, Q c (V{T)~Q|PQR V, T, P, R c V{T~R{PQR V, T, P, S c V{(T|P)~SQR V, T, P, T c V~(T|P)|TQR V, T, P, U c T~P~U|VQR V, T, P, V c (V|P)~T|VQR V, T, Q, P c (V{T)~Q|PQR V, T, Q, Q c V~(T|Q){QQR V, T, Q, R c V{(T{R)~QQR V, T, Q, S c V~Q{T{SQR V, T, Q, U c V{T~Q{UQR V, T, Q, V c (V{V)~Q|TQR V, T, Q, W c VQ~W|TQR V, T, Q, X c V{T{Q{XQR V, T, R, P c V{T~R{PQR V, T, R, Q c V{(T{R)~QQR V, T, R, R c (V|R)~T{RQR V, T, R, S c V~T|R~SQR V, T, R, T c (T{T)~R|VQR V, T, R, V c V|T{R~VQR V, T, R, W c V{T{R{WQR V, T, R, X c (V~T)|(R{X)QR V, T, S, O c V~S|T{OQR V, T, S, P c V{(T|P)~SQR V, T, S, Q c V~Q{T{SQR V, T, S, R c V~T|S~RQR V, T, S, S c V{T~S|SQR V, T, S, U c (V|S)~U{TQR V, T, S, V c V{T{S{VQR V, T, S, W c (V~T)|(S{W)QR V, T, S, X c V{S~(X|T)QR V, T, T, P c V~(T|P)|TQR V, T, T, R c (T{T)~R|VQR V, T, T, T c T~T|V{TQR V, T, T, U c V{T{T{UQR V, T, T, V c (V~T)|(T{V)QR V, T, T, X c V{T~T|XQR V, T, U, O c T~U|V{OQR V, T, U, P c T~U|V~PQR V, T, U, Q c V~T|U~QQR V, T, U, S c (V|S)~U{TQR V, T, U, T c V{T{U{TQR V, T, U, U c (V~T)|(U{U)QR V, T, V, P c (V|P)~T|VQR V, T, V, Q c (V{V)~Q|TQR V, T, V, R c V|T{V~RQR V, T, V, S c V{T{V{SQR V, T, V, T c (V~T)|(V{T)QR V, T, V, W c (V|T)~W{VQR V, T, V, X c (V|T)~V{XQR V, T, W, Q c V~(W|T){QQR V, T, W, R c V{T{W{RQR V, T, W, S c (V~T)|(W{S)QR V, T, W, V c (V|T)~W{VQR V, T, W, X c V~X|T~WQR V, T, X, Q c V{T{X{QQR V, T, X, R c (V~T)|(X{R)QR V, T, X, S c V{(X|T)~SQR V, T, X, T c (V|T)~X{TQR V, T, X, V c (V|T)~V{XQR V, T, X, W c V~X|T~WQR V, T, X, X c T{(X|V)~XQR V, U, O, T c (U{O)~T|VQR V, U, P, R c (V|R)~U|PQR V, U, P, S c V~S|U{PQR V, U, P, T c U~P~T|VQR V, U, P, U c (U|P)~U|VQR V, U, P, X c V{U{P{XQR V, U, Q, Q c V{(U{Q)~QQR V, U, Q, R c (V{U)~Q|RQR V, U, Q, S c V{(U|Q)~SQR V, U, Q, T c V{U{Q~TQR V, U, Q, V c (V|Q)~U|VQR V, U, Q, W c V{U{Q{WQR V, U, Q, X c V~(X|U){QQR V, U, R, P c (V|R)~U|PQR V, U, R, Q c V{U~R|QQR V, U, R, R c V~R{URQR V, U, R, S c V~R{U|SQR V, U, R, V c V{U{R{VQR V, U, R, W c V{UR~WQR V, U, R, X c V~UR{XQR V, U, S, P c V~S|U{PQR V, U, S, Q c (V~U{S)QQR V, U, S, R c (V{SU)~RQR V, U, S, T c (V|S)~U{TQR V, U, S, U c V{U{S{UQR V, U, S, V c U~S|VVQR V, U, S, W c V{(U|S)~WQR V, U, S, X c V~(U|S){XQR V, U, T, O c U~T|V{OQR V, U, T, P c U~T|V~PQR V, U, T, Q c V{U{T~QQR V, U, T, S c (V|S)~U{TQR V, U, T, T c V{U{T{TQR V, U, T, U c (V~T)|(U{U)QR V, U, U, P c U~(U|P)|VQR V, U, U, S c V{U{U{SQR V, U, U, T c (V~T)|(U{U)QR V, U, U, U c (U~U)|(V{U)QR V, U, V, Q c (V|Q)~U|VQR V, U, V, R c V{U{V{RQR V, U, V, S c U~S|VVQR V, U, W, Q c V{U{W{QQR V, U, W, R c V{U~WRQR V, U, W, S c V{(U|S)~WQR V, U, W, W c V{(W|U)~WQR V, U, W, X c V~(W|U){XQR V, U, X, P c V{U{X{PQR V, U, X, Q c V~(X|U){QQR V, U, X, R c (V{UX)~RQR V, U, X, S c V~(U|S){XQR V, U, X, W c V~(W|U){XQR V, V, O, X c V{V{O{XQR V, V, P, Q c V{(V{P)~QQR V, V, P, T c (V|P)~T|VQR V, V, P, W c V{V{P{WQR V, V, P, X c V{V{P~XQR V, V, Q, P c V{(V{P)~QQR V, V, Q, Q c V{V~Q{QQR V, V, Q, R c (V~V|R)QQR V, V, Q, S c V~(V|S){QQR V, V, Q, T c (V{V)~Q|TQR V, V, Q, U c (V|Q)~U|VQR V, V, Q, V c V{V{Q{VQR V, V, Q, W c (V{W)~Q|VQR V, V, Q, X c V~(Q{XV)QR V, V, R, Q c (V~V|R)QQR V, V, R, R c V{V{R~RQR V, V, R, S c V{(V|R)~SQR V, V, R, T c V{V~R|TQR V, V, R, U c V{V{R{UQR V, V, R, W c R~W|VVQR V, V, R, X c V~R|V{XQR V, V, S, Q c V~(V|S){QQR V, V, S, R c V{(V|R)~SQR V, V, S, T c V{V{S{TQR V, V, S, U c S~U|VVQR V, V, T, P c (V|P)~T|VQR V, V, T, Q c (V{V)~Q|TQR V, V, T, R c V{V~R|TQR V, V, T, S c V{V{T{SQR V, V, T, T c (V~T)|(V{T)QR V, V, T, W c V{(V|T)~WQR V, V, T, X c V~(V|T){XQR V, V, U, Q c (V|Q)~U|VQR V, V, U, R c V{V{U{RQR V, V, U, S c U~S|VVQR V, V, V, Q c V{V{V{QQR V, V, W, P c V{V{W{PQR V, V, W, Q c (V{W)~Q|VQR V, V, W, R c W~R|VVQR V, V, W, T c V{(V|T)~WQR V, V, W, X c V{W~(X|V)QR V, V, X, O c V{V{X{OQR V, V, X, P c V{V{X~PQR V, V, X, Q c V~(XV{Q)QR V, V, X, R c V~R|V{XQR V, V, X, T c V~(V|T){XQR V, V, X, W c V{(X|V)~WQR V, V, X, X c V~(X|V){XQR V, W, O, Q c V{(W{O)~QQR V, W, O, W c V{W{O{WQR V, W, P, P c V{W~(P{P)QR V, W, P, Q c V{W~P~QQR V, W, P, R c V{W~(R|P)QR V, W, P, S c (V|S)~W|PQR V, W, P, V c V{W{P{VQR V, W, P, W c V{W{P~WQR V, W, P, X c V{W|P{XQR V, W, Q, O c V{W~Q{OQR V, W, Q, P c V{W~Q~PQR V, W, Q, Q c (VQ{W)~QQR V, W, Q, R c (V|Q)~R{WQR V, W, Q, S c V{W{Q~SQR V, W, Q, T c V~WQ|TQR V, W, Q, U c V{W{Q{UQR V, W, Q, V c (V{W)~Q|VQR V, W, Q, W c (VW{Q)~WQR V, W, R, P c V{W~(R|P)QR V, W, R, Q c (V|Q)~R{WQR V, W, R, S c V~R{WSQR V, W, R, T c V{W{R{TQR V, W, R, U c V{WR~UQR V, W, R, V c W~R|VVQR V, W, R, W c V{W~R|WQR V, W, R, X c (V|R)~W|XQR V, W, S, P c (V|S)~W|PQR V, W, S, Q c V{W{S~QQR V, W, S, R c V~S|W{RQR V, W, S, S c V{W{S{SQR V, W, S, T c V~(W|S)|TQR V, W, S, U c V{W~(U|S)QR V, W, S, W c V{WS~WQR V, W, S, X c V~WS{XQR V, W, T, Q c V~(W|T){QQR V, W, T, R c V{W{T{RQR V, W, T, S c V~(W|S)|TQR V, W, T, V c V{W~(V|T)QR V, W, T, X c V~X|W~TQR V, W, U, Q c V{W{U{QQR V, W, U, R c V{W~URQR V, W, U, S c V{W~(U|S)QR V, W, U, W c V{(W|U)~WQR V, W, U, X c V~(W|U){XQR V, W, V, P c V{W{V{PQR V, W, V, Q c (V{W)~Q|VQR V, W, V, R c W~R|VVQR V, W, V, T c V{W~(V|T)QR V, W, V, X c V{W~(X|V)QR V, W, W, O c V{W{W{OQR V, W, W, P c V{W{W~PQR V, W, W, Q c (VW{Q)~WQR V, W, W, R c V{W~R|WQR V, W, W, S c V{W~WSQR V, W, W, U c V{W~(W|U)QR V, W, X, P c V{W{X|PQR V, W, X, R c (V|R)~W|XQR V, W, X, S c V~WS{XQR V, W, X, T c V~X|W~TQR V, W, X, U c V~(W|U){XQR V, W, X, V c V{W~(X|V)QR V, X, O, Q c (V{O)~Q{XQR V, X, O, V c V{X{O{VQR V, X, P, P c V~(P{P){XQR V, X, P, Q c V{(X|P)~QQR V, X, P, R c V~(R|P){XQR V, X, P, S c (V{P)~S|XQR V, X, P, U c V{X{P{UQR V, X, P, V c V{X{P~VQR V, X, P, W c V{X|P{WQR V, X, Q, O c V~Q{X{OQR V, X, Q, P c V{(X|P)~QQR V, X, Q, Q c V{X~Q|QQR V, X, Q, R c V~XR{QQR V, X, Q, S c VQ~S{XQR V, X, Q, T c V{X{Q{TQR V, X, Q, U c V~(X|U){QQR V, X, Q, V c V~(XV{Q)QR V, X, Q, X c V{X|Q{XQR V, X, R, P c V~(R|P){XQR V, X, R, Q c V~XR{QQR V, X, R, R c X~R|V{RQR V, X, R, S c V{X{R{SQR V, X, R, T c (V~T)|(X{R)QR V, X, R, U c (V~X{U)RQR V, X, R, V c V~R{X|VQR V, X, R, W c (V|R)~W|XQR V, X, S, P c (V{P)~S|XQR V, X, S, Q c V~(S|Q){XQR V, X, S, R c V{X{S{RQR V, X, S, S c (V|S)~X|SQR V, X, S, T c V{(X|T)~SQR V, X, S, U c V~(U|S){XQR V, X, S, W c VS~W{XQR V, X, T, Q c V{X{T{QQR V, X, T, R c (V~T)|(X{R)QR V, X, T, S c V{(X|T)~SQR V, X, T, T c V~(X|T)|TQR V, X, T, V c (V|T)~V{XQR V, X, T, W c V~X|T~WQR V, X, T, X c (X|V)~X{TQR V, X, U, P c V{X{U{PQR V, X, U, Q c V~(X|U){QQR V, X, U, R c (V~X{U)RQR V, X, U, S c V~(U|S){XQR V, X, U, W c V~(W|U){XQR V, X, V, O c V{X{V{OQR V, X, V, P c V{X{V~PQR V, X, V, Q c V~(XV{Q)QR V, X, V, R c V~R{X|VQR V, X, V, T c V~(V|T){XQR V, X, V, W c V{(X|V)~WQR V, X, V, X c V~(X|V){XQR V, X, W, P c V{X{W|PQR V, X, W, R c (V|R)~W|XQR V, X, W, S c V~WS{XQR V, X, W, T c V~X|W~TQR V, X, W, U c V~(W|U){XQR V, X, W, V c V{(X|V)~WQR V, X, X, Q c V{X{X|QQR V, X, X, T c (X|V)~X{TQR V, X, X, V c V~(X|V){XQR W, O, P, R c (W{O)~R|PQR W, O, Q, V c (W{O)~Q{VQR W, O, R, P c (W{O)~R|PQR W, O, R, T c W{O{R~TQR W, O, S, X c (W{O)~S|XQR W, O, T, R c W{O{T~RQR W, O, U, X c W{O{U{XQR W, O, V, Q c (W{O)~Q{VQR W, O, V, W c W{O{V{WQR W, O, W, V c W{O{W{VQR W, O, X, S c (W{O)~S|XQR W, O, X, U c W{O{X{UQR W, P, O, R c (W{O)~R|PQR W, P, P, Q c W~(P{Q)|PQR W, P, P, R c W~P~R|PQR W, P, P, S c W~(S|P)|PQR W, P, P, V c W~(P{P){VQR W, P, Q, P c W~(P{Q)|PQR W, P, Q, R c (W|P)~R{QQR W, P, Q, S c (W|Q)~S|PQR W, P, Q, T c W{(P{Q)~TQR W, P, Q, U c W~Q{P{UQR W, P, Q, V c W{P{Q~VQR W, P, Q, W c W|P{Q~WQR W, P, Q, X c (W|P)~Q{XQR W, P, R, O c W~R|P{OQR W, P, R, P c W~P~R|PQR W, P, R, Q c (W|P)~R{QQR W, P, R, R c (W|PR)~RQR W, P, R, S c (W{P)~R|SQR W, P, R, T c W{P~R~TQR W, P, R, U c W{R~(U|P)QR W, P, R, V c W~(R|P){VQR W, P, R, W c W~(R|PW)QR W, P, R, X c W~(P{R)|XQR W, P, S, P c W~(S|P)|PQR W, P, S, Q c (W{S)~Q|PQR W, P, S, R c W{(P{S)~RQR W, P, S, S c W|P{S~SQR W, P, S, T c (W|P)~S|TQR W, P, S, U c (W|S)~U|PQR W, P, S, V c W~(V|S)|PQR W, P, S, W c (W~S)|(P{W)QR W, P, S, X c W~P~S|XQR W, P, T, Q c W{(P{Q)~TQR W, P, T, R c W{P~T~RQR W, P, T, S c (W|P)~S|TQR W, P, T, U c P{T~U|WQR W, P, T, W c (W|T)~W|PQR W, P, T, X c W{P{T{XQR W, P, U, Q c W~UQ|PQR W, P, U, R c W{(U|P)~RQR W, P, U, S c (W|S)~U|PQR W, P, U, T c P{U~T|WQR W, P, U, W c W{P{U{WQR W, P, U, X c W{P~U{XQR W, P, V, P c W~(P{P){VQR W, P, V, Q c W{P{V~QQR W, P, V, R c W~(R|P){VQR W, P, V, S c W~(V|S)|PQR W, P, V, V c W{P{V{VQR W, P, V, W c W{P~V{WQR W, P, V, X c W|P{V{XQR W, P, W, Q c W|P{W~QQR W, P, W, R c W~(R|PW)QR W, P, W, S c (W~S)|(P{W)QR W, P, W, T c W~(W|T)|PQR W, P, W, U c W{P{W{UQR W, P, W, V c W{P~W{VQR W, P, W, W c W|P{W{WQR W, P, X, Q c (W|P)~Q{XQR W, P, X, R c W~(P{R)|XQR W, P, X, S c W~P~S|XQR W, P, X, T c W{P{X{TQR W, P, X, U c W{P~X{UQR W, P, X, V c W|P{X{VQR W, Q, O, V c W~Q{O{VQR W, Q, P, P c W~(Q{P)|PQR W, Q, P, R c (W|P)~R{QQR W, Q, P, S c (W|Q)~S|PQR W, Q, P, T c W{(Q{P)~TQR W, Q, P, U c W~Q{P{UQR W, Q, P, V c W~Q{P~VQR W, Q, P, W c W~Q|P{WQR W, Q, P, X c (W|P)~Q{XQR W, Q, Q, R c (W{Q)~Q{RQR W, Q, Q, T c W~Q{Q{TQR W, Q, Q, U c (W~U|Q)QQR W, Q, Q, V c (W{VQ)~QQR W, Q, Q, X c W~(Q{Q)|XQR W, Q, R, P c (W{R)~Q{PQR W, Q, R, Q c (W{Q)~Q{RQR W, Q, R, R c W{(Q{R)~RQR W, Q, R, S c W~Q{R{SQR W, Q, R, T c (W|Q)~R{TQR W, Q, R, U c W{Q~U{RQR W, Q, R, V c (W{Q)~R|VQR W, Q, R, X c W{Q~R{XQR W, Q, S, P c (W|Q)~S|PQR W, Q, S, R c W~Q{S{RQR W, Q, S, U c S~(U|QW)QR W, Q, S, V c W{Q~S{VQR W, Q, S, X c W{Q{S{XQR W, Q, T, P c W{(Q{P)~TQR W, Q, T, Q c W~Q{T{QQR W, Q, T, R c WQ~T{RQR W, Q, T, T c W{Q~T{TQR W, Q, T, U c W{TQ~UQR W, Q, T, V c (W|Q)~T|VQR W, Q, T, W c W{Q{T{WQR W, Q, U, P c W~Q{U{PQR W, Q, U, Q c (W~U|Q)QQR W, Q, U, R c W{Q~U{RQR W, Q, U, S c (U|QW)~SQR W, Q, U, T c (W{U)~Q|TQR W, Q, U, V c W{Q{U{VQR W, Q, U, X c W~(U|Q)|XQR W, Q, V, O c W~Q{V{OQR W, Q, V, P c W{Q~V{PQR W, Q, V, Q c (W{VQ)~QQR W, Q, V, R c (W{Q)~R|VQR W, Q, V, S c W{Q~S{VQR W, Q, V, T c WQ~V|TQR W, Q, V, U c W{Q{V{UQR W, Q, V, V c (W{V)~Q|VQR W, Q, V, W c W~(Q{VW)QR W, Q, W, P c W{Q~W|PQR W, Q, W, T c W{Q{W{TQR W, Q, W, V c W~(Q{VW)QR W, Q, W, X c W|Q{W{XQR W, Q, X, P c (W|P)~Q{XQR W, Q, X, Q c W~Q{X|QQR W, Q, X, R c W{Q~X|RQR W, Q, X, S c W{Q{X{SQR W, Q, X, U c W~(U|Q)|XQR W, Q, X, W c W|Q{X{WQR W, R, O, P c W~R{O|PQR W, R, O, T c W{(R{O)~TQR W, R, P, O c W~R|P{OQR W, R, P, P c W~R|P~PQR W, R, P, Q c W~R{P|QQR W, R, P, R c (W|PR)~RQR W, R, P, S c W{R~(P{S)QR W, R, P, T c W{R~P~TQR W, R, P, U c W{R~(U|P)QR W, R, P, V c W~(R|P){VQR W, R, P, W c W~(R|PW)QR W, R, P, X c W~(R{P)|XQR W, R, Q, P c (W{R)~Q{PQR W, R, Q, Q c W~R|QQQR W, R, Q, R c W{(R{Q)~RQR W, R, Q, S c W~Q{R{SQR W, R, Q, T c (W|R)~T|QQR W, R, Q, U c W{R{Q~UQR W, R, Q, V c W{R~(V|Q)QR W, R, Q, X c W{R~Q{XQR W, R, R, P c (W|PR)~RQR W, R, R, Q c W{R~(R{Q)QR W, R, R, R c W~R|RRQR W, R, R, S c W{R{R~SQR W, R, R, T c (WR{T)~RQR W, R, R, U c W{R~R{UQR W, R, R, W c (W|R)~R{WQR W, R, R, X c W{R{R{XQR W, R, S, P c W{R~(S{P)QR W, R, S, Q c W~Q{R{SQR W, R, S, R c W{R{S~RQR W, R, S, S c W~R|SSQR W, R, S, T c W~R{S|TQR W, R, S, U c (W~S)|(R{U)QR W, R, S, V c WS{R~VQR W, R, S, W c W{R{S{WQR W, R, S, X c W{R~(X|S)QR W, R, T, O c W{R~T{OQR W, R, T, P c W{R~T~PQR W, R, T, Q c (W|R)~T|QQR W, R, T, R c (WR{T)~RQR W, R, T, S c W~R|T{SQR W, R, T, T c W~R|TTQR W, R, T, U c W~R{T|UQR W, R, T, V c W{R{T{VQR W, R, T, W c (W~W{T)RQR W, R, T, X c W{TR~XQR W, R, U, P c W{R~(U|P)QR W, R, U, Q c W{R{U~QQR W, R, U, R c W{R~U|RQR W, R, U, S c (W~S)|(R{U)QR W, R, U, T c W~R|U{TQR W, R, U, U c W{R{U{UQR W, R, U, V c (W|R)~U|VQR W, R, U, X c R~(X|WU)QR W, R, V, P c W~(R|P){VQR W, R, V, Q c W{R~(V|Q)QR W, R, V, S c WS{R~VQR W, R, V, T c W{R{V{TQR W, R, V, U c W{R~V|UQR W, R, V, V c W~R|VVQR W, R, V, W c W~R{V|WQR W, R, V, X c W~(V|R)|XQR W, R, W, P c W~(R|PW)QR W, R, W, R c W{R~(W|R)QR W, R, W, S c W{R{W{SQR W, R, W, T c (W~W{T)RQR W, R, W, V c W~R|W{VQR W, R, W, W c W~R|WWQR W, R, W, X c W{R~W|XQR W, R, X, P c WR~X|PQR W, R, X, Q c W|R{X~QQR W, R, X, R c W{R{X{RQR W, R, X, S c W{R~(X|S)QR W, R, X, T c W{XR~TQR W, R, X, U c R~(X|WU)QR W, R, X, V c W~(V|R)|XQR W, R, X, W c W~R|X{WQR W, R, X, X c W|R{X{XQR W, S, O, X c W~S{O|XQR W, S, P, P c W~(S|P)|PQR W, S, P, Q c (W{S)~Q|PQR W, S, P, R c W{(S{P)~RQR W, S, P, S c W{S~S|PQR W, S, P, T c W{(S|P)~TQR W, S, P, U c (W|S)~U|PQR W, S, P, V c W~(V|S)|PQR W, S, P, W c (W~S)|(P{W)QR W, S, P, X c W~S|P~XQR W, S, Q, P c (W{S)~Q|PQR W, S, Q, R c W~Q{S{RQR W, S, Q, U c S~(U|QW)QR W, S, Q, V c W{S~Q{VQR W, S, Q, X c W{S{Q{XQR W, S, R, P c W{(S{P)~RQR W, S, R, Q c W~Q{S{RQR W, S, R, R c W{S~R{RQR W, S, R, S c W~R|SSQR W, S, R, T c (W|S)~T{RQR W, S, R, U c (W~S)|(R{U)QR W, S, R, V c WS{R~VQR W, S, R, W c W{S{R{WQR W, S, R, X c W{R~(X|S)QR W, S, S, P c W{S~S|PQR W, S, S, R c W~R|SSQR W, S, S, T c (W~S)|(S{T)QR W, S, S, V c W{S{S{VQR W, S, S, X c (W|XS)~SQR W, S, T, P c W{(S|P)~TQR W, S, T, R c (W|S)~T{RQR W, S, T, S c (W~S)|(T{S)QR W, S, T, T c W{S~T|TQR W, S, T, U c W{S{T{UQR W, S, T, V c (W|S)~V|TQR W, S, T, X c WS~X{TQR W, S, U, P c (W|S)~U|PQR W, S, U, Q c S~(U|QW)QR W, S, U, R c (W~S)|(U{R)QR W, S, U, T c W{S{U{TQR W, S, U, V c W~(U|S){VQR W, S, U, W c S~U|WWQR W, S, U, X c W{S~U|XQR W, S, V, P c W~(V|S)|PQR W, S, V, Q c (W~S)|(V{Q)QR W, S, V, R c WS{V~RQR W, S, V, S c W{S{V{SQR W, S, V, T c (W|S)~V|TQR W, S, V, U c W~(U|S){VQR W, S, V, W c WS~W{VQR W, S, V, X c WS~V{XQR W, S, W, P c (W~S)|(W{P)QR W, S, W, R c W{S{W{RQR W, S, W, U c S~U|WWQR W, S, W, V c WS~W{VQR W, S, W, X c (W|S)~W|XQR W, S, X, O c W~S|X{OQR W, S, X, P c W~S|X~PQR W, S, X, Q c W{S{X{QQR W, S, X, R c W{(X|S)~RQR W, S, X, S c (W|XS)~SQR W, S, X, T c WS~X{TQR W, S, X, U c W{S~U|XQR W, S, X, V c WS~V{XQR W, S, X, W c W~(S|XW)QR W, T, O, R c W{(T{O)~RQR W, T, P, Q c W{T~(P{Q)QR W, T, P, R c W{T~P~RQR W, T, P, S c W{T~(S|P)QR W, T, P, U c T~U|W{PQR W, T, P, W c (W|T)~W|PQR W, T, P, X c W{T{P{XQR W, T, Q, P c W{T~(Q{P)QR W, T, Q, Q c W~Q{T{QQR W, T, Q, R c (W{T)~Q|RQR W, T, Q, T c W{T{Q~TQR W, T, Q, U c W{TQ~UQR W, T, Q, V c (W|T)~V{QQR W, T, Q, W c W{T{Q{WQR W, T, R, O c W{T~R{OQR W, T, R, P c W{T~R~PQR W, T, R, Q c (W{T)~Q|RQR W, T, R, R c (WR{T)~RQR W, T, R, S c W~R|T{SQR W, T, R, T c (WT{R)~TQR W, T, R, U c W{T~(U|R)QR W, T, R, V c W{T{R{VQR W, T, R, W c (W~W{T)RQR W, T, R, X c W{TR~XQR W, T, S, P c W{T~(S|P)QR W, T, S, R c (W|S)~T{RQR W, T, S, S c (W~S)|(T{S)QR W, T, S, T c W{T~S|TQR W, T, S, U c W{T{S{UQR W, T, S, V c W{T~(V|S)QR W, T, S, X c (W|T)~X|SQR W, T, T, Q c W{T{T~QQR W, T, T, R c (WT{R)~TQR W, T, T, S c W|T{T~SQR W, T, T, T c W{T{T{TQR W, T, T, U c (W|T)~U{TQR W, T, T, W c (W|T)~T{WQR W, T, U, P c T~U|W{PQR W, T, U, Q c W{T~UQQR W, T, U, R c W{T~(U|R)QR W, T, U, S c W{T{U{SQR W, T, U, T c (W|T)~U{TQR W, T, U, U c (U~U)|(W{T)QR W, T, U, X c W{T~(X|U)QR W, T, V, Q c (W|T)~V{QQR W, T, V, R c W{T{V{RQR W, T, V, S c W{T~(V|S)QR W, T, V, V c W~(V|T){VQR W, T, V, X c V~X|W~TQR W, T, W, P c (W|T)~W|PQR W, T, W, Q c W{T{W{QQR W, T, W, R c (W~W{T)RQR W, T, W, T c W{T~(W|T)QR W, T, W, X c (W~T)|(W{X)QR W, T, X, P c W{T{X{PQR W, T, X, R c W{T~XRQR W, T, X, S c (W|T)~X|SQR W, T, X, U c W{T~(X|U)QR W, T, X, V c X~V|W~TQR W, T, X, W c (W~T)|(X{W)QR W, T, X, X c W~(X|T)|XQR W, U, O, X c W{U{O{XQR W, U, P, Q c W~UQ|PQR W, U, P, R c W{(U|P)~RQR W, U, P, S c (W|S)~U|PQR W, U, P, T c U~T|W{PQR W, U, P, W c W{U{P{WQR W, U, P, X c W{U{P~XQR W, U, Q, P c W~UQ|PQR W, U, Q, Q c (W~U|Q)QQR W, U, Q, R c W{U~Q{RQR W, U, Q, S c (U|QW)~SQR W, U, Q, T c (W{U)~Q|TQR W, U, Q, V c W{U{Q{VQR W, U, Q, X c W~(U|Q)|XQR W, U, R, P c W~(U|R)|PQR W, U, R, Q c W{U~Q{RQR W, U, R, R c W{U{R~RQR W, U, R, S c (W~S)|(U{R)QR W, U, R, T c W{(U|R)~TQR W, U, R, U c W{U{R{UQR W, U, R, V c W|U{R~VQR W, U, R, X c R~(X|WU)QR W, U, S, P c (W|S)~U|PQR W, U, S, Q c (U|QW)~SQR W, U, S, R c (W~S)|(U{R)QR W, U, S, T c W{U{S{TQR W, U, S, V c W~(U|S){VQR W, U, S, W c U~S|WWQR W, U, S, X c W{U~S|XQR W, U, T, P c U~T|W{PQR W, U, T, Q c W{U~TQQR W, U, T, R c W{(U|R)~TQR W, U, T, S c W{U{T{SQR W, U, T, T c W~U|T~TQR W, U, T, U c (U~U)|(W{T)QR W, U, T, X c (W|U)~X{TQR W, U, U, R c W{U{U{RQR W, U, U, T c (U~U)|(W{T)QR W, U, V, Q c W{U{V{QQR W, U, V, R c W|U{V~RQR W, U, V, S c W~(U|S){VQR W, U, V, W c (W|U)~W{VQR W, U, V, X c (W|U)~V{XQR W, U, W, P c W{U{W{PQR W, U, W, S c U~S|WWQR W, U, W, V c (W|U)~W{VQR W, U, X, O c W{U{X{OQR W, U, X, P c W{U{X~PQR W, U, X, Q c W~(U|Q)|XQR W, U, X, R c (X|WU)~RQR W, U, X, S c W{U~S|XQR W, U, X, T c (W|U)~X{TQR W, U, X, V c (W|U)~V{XQR W, V, O, Q c (W{O)~Q{VQR W, V, O, W c W{V{O{WQR W, V, P, P c W~(P{P){VQR W, V, P, Q c W{V~Q{PQR W, V, P, R c W~(R|P){VQR W, V, P, S c W~(V|S)|PQR W, V, P, V c W{V{P{VQR W, V, P, W c W{V{P~WQR W, V, P, X c W{V|P{XQR W, V, Q, O c W~Q{V{OQR W, V, Q, P c W{V~Q{PQR W, V, Q, Q c (W{VQ)~QQR W, V, Q, R c W{(V|Q)~RQR W, V, Q, S c W{V{Q~SQR W, V, Q, T c W~VQ|TQR W, V, Q, U c W{V{Q{UQR W, V, Q, V c (W{V)~Q|VQR W, V, Q, W c W~(VW{Q)QR W, V, R, P c W~(R|P){VQR W, V, R, Q c W{(V|Q)~RQR W, V, R, S c WS{V~RQR W, V, R, T c W{V{R{TQR W, V, R, U c W{V~R|UQR W, V, R, V c W~R|VVQR W, V, R, W c W~R{V|WQR W, V, R, X c W~(V|R)|XQR W, V, S, P c W~(V|S)|PQR W, V, S, Q c W{V{S~QQR W, V, S, R c WS{V~RQR W, V, S, S c W{V{S{SQR W, V, S, T c W{(V|S)~TQR W, V, S, U c W~(U|S){VQR W, V, S, W c WS~W{VQR W, V, S, X c W~VS{XQR W, V, T, Q c W~VQ|TQR W, V, T, R c W{V{T{RQR W, V, T, S c W{(V|S)~TQR W, V, T, V c W~(V|T){VQR W, V, T, X c V~X|W~TQR W, V, U, Q c W{V{U{QQR W, V, U, R c W{V~R|UQR W, V, U, S c W~(U|S){VQR W, V, U, W c (W|U)~W{VQR W, V, U, X c (W|U)~V{XQR W, V, V, P c W{V{V{PQR W, V, V, Q c (W{V)~Q|VQR W, V, V, R c W~R|VVQR W, V, V, T c W~(V|T){VQR W, V, V, X c W~(X|V){VQR W, V, W, O c W{V{W{OQR W, V, W, P c W{V{W~PQR W, V, W, Q c W~(VW{Q)QR W, V, W, R c W~R{V|WQR W, V, W, S c W~WS{VQR W, V, W, U c W~(W|U){VQR W, V, X, P c W{V{X|PQR W, V, X, R c W~(V|R)|XQR W, V, X, S c W~VS{XQR W, V, X, T c V~X|W~TQR W, V, X, U c (W|U)~V{XQR W, V, X, V c W~(X|V){VQR W, W, O, V c W{W{O{VQR W, W, P, Q c W{W~Q|PQR W, W, P, R c W~(R|PW)QR W, W, P, S c (W~S)|(W{P)QR W, W, P, T c W~(W|T)|PQR W, W, P, U c W{W{P{UQR W, W, P, V c W{W{P~VQR W, W, P, W c W{W|P{WQR W, W, Q, P c W{W~Q|PQR W, W, Q, T c W{W{Q{TQR W, W, Q, V c W~(Q{VW)QR W, W, Q, X c W{W|Q{XQR W, W, R, P c W~(R|PW)QR W, W, R, R c W{(W|R)~RQR W, W, R, S c W{W{R{SQR W, W, R, T c (W~W{T)RQR W, W, R, V c W~R|W{VQR W, W, R, W c W~R|WWQR W, W, R, X c W{W~R|XQR W, W, S, P c (W~S)|(W{P)QR W, W, S, R c W{W{S{RQR W, W, S, U c S~U|WWQR W, W, S, V c W~WS{VQR W, W, S, X c W~(W|S)|XQR W, W, T, P c W~(W|T)|PQR W, W, T, Q c W{W{T{QQR W, W, T, R c (W~W{T)RQR W, W, T, T c W{(W|T)~TQR W, W, T, X c (W~T)|(W{X)QR W, W, U, P c W{W{U{PQR W, W, U, S c U~S|WWQR W, W, U, V c W~(W|U){VQR W, W, V, O c W{W{V{OQR W, W, V, P c W{W{V~PQR W, W, V, Q c W~(VW{Q)QR W, W, V, R c W~R|W{VQR W, W, V, S c W~WS{VQR W, W, V, U c W~(W|U){VQR W, W, W, P c W{W{W|PQR W, W, W, R c W~R|WWQR W, W, X, Q c W{W{X|QQR W, W, X, R c W{W~R|XQR W, W, X, S c W~(W|S)|XQR W, W, X, T c (W~T)|(W{X)QR W, X, O, S c (W{O)~S|XQR W, X, O, U c W{X{O{UQR W, X, P, Q c (W|P)~Q{XQR W, X, P, R c W~XR|PQR W, X, P, S c W~P~S|XQR W, X, P, T c W{X{P{TQR W, X, P, U c W{X{P~UQR W, X, P, V c W{X|P{VQR W, X, Q, P c (W|P)~Q{XQR W, X, Q, Q c W~Q{X|QQR W, X, Q, R c W{X{Q~RQR W, X, Q, S c W{X{Q{SQR W, X, Q, U c W~(U|Q)|XQR W, X, Q, W c W{X|Q{WQR W, X, R, P c W~XR|PQR W, X, R, Q c W{X{R~QQR W, X, R, R c W{X{R{RQR W, X, R, S c W{(X|S)~RQR W, X, R, T c W{XR~TQR W, X, R, U c (X|WU)~RQR W, X, R, V c W~(V|R)|XQR W, X, R, W c W~R|X{WQR W, X, R, X c W{X|R{XQR W, X, S, O c W~S|X{OQR W, X, S, P c W~S|X~PQR W, X, S, Q c W{X{S{QQR W, X, S, R c W{(X|S)~RQR W, X, S, S c (W|XS)~SQR W, X, S, T c W~XS{TQR W, X, S, U c W{S~U|XQR W, X, S, V c WS~V{XQR W, X, S, W c W~(S|XW)QR W, X, T, P c W{X{T{PQR W, X, T, R c W{X~TRQR W, X, T, S c W~XS{TQR W, X, T, U c W{(X|U)~TQR W, X, T, V c X~V|W~TQR W, X, T, W c (W~T)|(X{W)QR W, X, T, X c W~(X|T)|XQR W, X, U, O c W{X{U{OQR W, X, U, P c W{X{U~PQR W, X, U, Q c W~(U|Q)|XQR W, X, U, R c (X|WU)~RQR W, X, U, S c W{U~S|XQR W, X, U, T c W{(X|U)~TQR W, X, U, V c (W|U)~V{XQR W, X, V, P c W{X{V|PQR W, X, V, R c W~(V|R)|XQR W, X, V, S c W~VS{XQR W, X, V, T c X~V|W~TQR W, X, V, U c (W|U)~V{XQR W, X, V, V c W~(X|V){VQR W, X, W, Q c W{X{W|QQR W, X, W, R c W{W~R|XQR W, X, W, S c W~(W|S)|XQR W, X, W, T c (W~T)|(X{W)QR W, X, X, R c W{X{X|RQR W, X, X, T c W~(X|T)|XQR X, O, Q, T c (X{O)~Q{TQR X, O, Q, V c X{O{Q~VQR X, O, R, S c (X{O)~R|SQR X, O, S, R c (X{O)~R|SQR X, O, S, W c O{S~W|XQR X, O, T, Q c (X{O)~Q{TQR X, O, T, X c X{O{T{XQR X, O, U, W c X{O{U{WQR X, O, V, Q c X{O{V~QQR X, O, V, V c X{O{V{VQR X, O, W, S c O{W~S|XQR X, O, W, U c X{O{W{UQR X, O, X, T c X{O{X{TQR X, P, P, R c (X|P)~R|PQR X, P, P, T c X~(P{P){TQR X, P, P, V c X{(P{P)~VQR X, P, Q, Q c (X{Q)~Q{PQR X, P, Q, R c (X{P)~Q{RQR X, P, Q, S c X~(P{Q)|SQR X, P, Q, T c X~P~Q{TQR X, P, Q, U c X{(P{U)~QQR X, P, Q, V c X{P~Q~VQR X, P, Q, W c X{Q~(W|P)QR X, P, R, P c (X|P)~R|PQR X, P, R, Q c (X{P)~Q{RQR X, P, R, R c (X~R)|(P{R)QR X, P, R, S c X~P~R|SQR X, P, R, T c X|P{R~TQR X, P, R, V c (X{P)~R|VQR X, P, R, W c XR~W|PQR X, P, S, Q c X~(P{Q)|SQR X, P, S, R c X~P~R|SQR X, P, S, S c X~(S|P)|SQR X, P, S, V c (P{V)~S|XQR X, P, S, W c P~S~W|XQR X, P, S, X c X{P{S{XQR X, P, T, P c X~(P{P){TQR X, P, T, Q c X~P~Q{TQR X, P, T, R c X|P{T~RQR X, P, T, U c (X|T)~U|PQR X, P, T, W c X{P{T{WQR X, P, T, X c X{P~T{XQR X, P, U, Q c X{(P{U)~QQR X, P, U, T c (X|T)~U|PQR X, P, U, V c X{P{U{VQR X, P, U, W c X{P~U{WQR X, P, U, X c X|P{U{XQR X, P, V, P c X{(P{P)~VQR X, P, V, Q c X{P~V~QQR X, P, V, R c (X{P)~R|VQR X, P, V, S c (P{V)~S|XQR X, P, V, U c X{P{V{UQR X, P, V, V c X{P~V{VQR X, P, V, W c X|P{V{WQR X, P, W, Q c X{(W|P)~QQR X, P, W, R c X~WR|PQR X, P, W, S c P~W~S|XQR X, P, W, T c X{P{W{TQR X, P, W, U c X{P~W{UQR X, P, W, V c X|P{W{VQR X, P, X, S c X{P{X{SQR X, P, X, T c X{P~X{TQR X, P, X, U c X|P{X{UQR X, Q, O, T c X~Q{O{TQR X, Q, O, V c X{(Q{O)~VQR X, Q, P, Q c (X{Q)~Q{PQR X, Q, P, R c (X{P)~Q{RQR X, Q, P, S c X~Q{P{SQR X, Q, P, T c X~Q{P~TQR X, Q, P, U c X{Q~(P{U)QR X, Q, P, V c X{Q~P~VQR X, Q, P, W c X{Q~(W|P)QR X, Q, Q, P c (X{Q)~Q{PQR X, Q, Q, R c X~Q{Q{RQR X, Q, Q, T c X{Q~(Q{T)QR X, Q, Q, U c X{Q{Q~UQR X, Q, Q, V c X~Q|Q{VQR X, Q, Q, W c X|Q{Q~WQR X, Q, Q, X c (X|Q)~Q{XQR X, Q, R, P c (X{R)~Q|PQR X, Q, R, Q c (X|Q)~R{QQR X, Q, R, S c X{Q{R~SQR X, Q, R, U c X~R{Q|UQR X, Q, R, V c XR~V{QQR X, Q, R, W c X{Q~R{WQR X, Q, R, X c X{Q{R{XQR X, Q, S, P c X~Q{S{PQR X, Q, S, R c X{Q{S~RQR X, Q, S, S c X|Q{S~SQR X, Q, S, T c (X|Q)~S|TQR X, Q, S, U c X{Q~S{UQR X, Q, S, V c X{(S|Q)~VQR X, Q, S, W c X{Q{S{WQR X, Q, S, X c X~Q|S{XQR X, Q, T, O c X~Q{T{OQR X, Q, T, P c X~Q{T~PQR X, Q, T, Q c X{(Q{T)~QQR X, Q, T, S c X{Q~T{SQR X, Q, T, T c (X{T)~Q|TQR X, Q, T, U c Q{T~U|XQR X, Q, T, V c X{Q{T{VQR X, Q, T, X c X~(Q{TX)QR X, Q, U, P c X{Q~(U{P)QR X, Q, U, Q c X{Q{U~QQR X, Q, U, R c X~R{Q|UQR X, Q, U, S c XQ~U|SQR X, Q, U, T c Q{U~T|XQR X, Q, U, U c X{Q{U{UQR X, Q, U, V c (X{U)~Q|VQR X, Q, U, W c (X~U|W)QQR X, Q, V, O c X{Q~V{OQR X, Q, V, P c X{Q~V~PQR X, Q, V, Q c X~Q{V|QQR X, Q, V, R c X~VR{QQR X, Q, V, S c X{VQ~SQR X, Q, V, T c X{Q{V{TQR X, Q, V, U c (X{U)~Q|VQR X, Q, V, V c (XV{Q)~VQR X, Q, V, X c X|Q{V{XQR X, Q, W, P c X{Q~(W|P)QR X, Q, W, Q c X{Q~W|QQR X, Q, W, R c X~Q{W|RQR X, Q, W, S c X{Q{W{SQR X, Q, W, U c (X~U|W)QQR X, Q, W, W c X|Q{W{WQR X, Q, X, Q c X{Q~(X|Q)QR X, Q, X, R c X{Q{X{RQR X, Q, X, S c X{Q~X|SQR X, Q, X, T c X~(Q{TX)QR X, Q, X, V c X|Q{X{VQR X, R, O, S c X~R{O|SQR X, R, P, P c (X|P)~R|PQR X, R, P, Q c (X{R)~Q|PQR X, R, P, R c (X~R)|(P{R)QR X, R, P, S c X~R|P~SQR X, R, P, T c X~R{P|TQR X, R, P, V c X{(R|P)~VQR X, R, P, W c XR~W|PQR X, R, Q, P c (X{R)~Q|PQR X, R, Q, Q c (X~R)|(Q{Q)QR X, R, Q, S c X{(R{S)~QQR X, R, Q, U c X~R{Q|UQR X, R, Q, V c XR~V{QQR X, R, Q, W c X{R~Q{WQR X, R, Q, X c X{R{Q{XQR X, R, R, P c (X~R)|(R{P)QR X, R, R, S c (X|SR)~RQR X, R, R, T c X{R~R{TQR X, R, R, V c X~R{R|VQR X, R, R, W c X{R{R{WQR X, R, S, O c X~R|S{OQR X, R, S, P c (X|R)~S|PQR X, R, S, Q c X{(R{S)~QQR X, R, S, R c (X|SR)~RQR X, R, S, S c (X|S)~S{RQR X, R, S, T c XR{S~TQR X, R, S, U c X{R~U|SQR X, R, S, V c X{R{S{VQR X, R, S, W c X~R{S|WQR X, R, S, X c X~(R|SX)QR X, R, T, P c X{R~T|PQR X, R, T, R c X{R~R{TQR X, R, T, S c XR{T~SQR X, R, T, T c X~(T|R){TQR X, R, T, U c X{R{T{UQR X, R, T, V c (X|R)~T|VQR X, R, T, W c XR~T{WQR X, R, T, X c X~R{T|XQR X, R, U, Q c X~R|U{QQR X, R, U, S c X{R~U|SQR X, R, U, T c X{R{U{TQR X, R, U, V c X{UR~VQR X, R, U, W c (X|WU)~RQR X, R, V, P c X{(R|P)~VQR X, R, V, Q c XR~V{QQR X, R, V, R c X~R|V{RQR X, R, V, S c X{R{V{SQR X, R, V, T c (X|R)~T|VQR X, R, V, U c X{VR~UQR X, R, V, V c X{R~V|VQR X, R, V, W c (V|R)~W|XQR X, R, W, P c XR~W|PQR X, R, W, Q c X~R|WQQR X, R, W, R c X{R{W{RQR X, R, W, S c X~R|W{SQR X, R, W, T c XR~T{WQR X, R, W, U c (X|WU)~RQR X, R, W, V c W~(V|R)|XQR X, R, W, W c R~W|X{WQR X, R, W, X c X|R{W{XQR X, R, X, Q c X{R{X{QQR X, R, X, S c XR~X|SQR X, R, X, T c X~R|X{TQR X, R, X, W c X|R{X{WQR X, S, O, R c (X{O)~R|SQR X, S, O, W c (S{O)~W|XQR X, S, P, Q c X~(P{Q)|SQR X, S, P, R c X~P~R|SQR X, S, P, S c X~(S|P)|SQR X, S, P, V c S~(P{V)|XQR X, S, P, W c S~P~W|XQR X, S, P, X c X{S{P{XQR X, S, Q, P c X~Q{S{PQR X, S, Q, R c (X{S)~Q|RQR X, S, Q, S c X{S~S|QQR X, S, Q, T c X{S{Q~TQR X, S, Q, U c X{S~Q{UQR X, S, Q, V c X{(S|Q)~VQR X, S, Q, W c X{S{Q{WQR X, S, Q, X c X|S{Q~XQR X, S, R, O c X~R|S{OQR X, S, R, P c (X|R)~S|PQR X, S, R, Q c X{(S{R)~QQR X, S, R, R c (X|SR)~RQR X, S, R, S c (X|S)~S{RQR X, S, R, T c XR{S~TQR X, S, R, U c X|S{R~UQR X, S, R, V c X{S{R{VQR X, S, R, W c (X|S)~R{WQR X, S, R, X c X~(R|SX)QR X, S, S, P c X~(S|P)|SQR X, S, S, Q c X{S~S|QQR X, S, S, R c (X|S)~S{RQR X, S, S, S c (S{S)~S|XQR X, S, S, U c X{S{S{UQR X, S, S, V c X~(V|S)|SQR X, S, S, W c S~(W|XS)QR X, S, S, X c (X~S)|(S{X)QR X, S, T, Q c X{S{T~QQR X, S, T, R c XR{S~TQR X, S, T, T c X{S{T{TQR X, S, T, U c X{S~T|UQR X, S, T, V c (X|T)~S{VQR X, S, T, W c (X~S)|(T{W)QR X, S, U, Q c X{S~Q{UQR X, S, U, R c X|S{U~RQR X, S, U, S c X{S{U{SQR X, S, U, T c X{S~T|UQR X, S, U, U c (U~U)|(X{S)QR X, S, U, V c (X|S)~U|VQR X, S, U, W c S~U|X{WQR X, S, U, X c (X|U)~X|SQR X, S, V, P c S~(V{P)|XQR X, S, V, Q c X{S~VQQR X, S, V, R c X{S{V{RQR X, S, V, S c X~(V|S)|SQR X, S, V, T c (X|T)~S{VQR X, S, V, U c (X~S)|(V{U)QR X, S, V, W c X{VS~WQR X, S, W, O c S~W|X{OQR X, S, W, P c S~W|X~PQR X, S, W, Q c X{S{W{QQR X, S, W, R c (X|S)~R{WQR X, S, W, S c S~(W|XS)QR X, S, W, T c (X~S)|(W{T)QR X, S, W, U c S~U|X{WQR X, S, W, V c X{WS~VQR X, S, W, W c (S|XW)~WQR X, S, X, P c X{S{X{PQR X, S, X, Q c X|S{X~QQR X, S, X, R c X~XR|SQR X, S, X, S c (X~S)|(X{S)QR X, S, X, U c X~(X|U)|SQR X, S, X, X c X|S{X{XQR X, T, O, Q c (X{O)~Q{TQR X, T, O, X c X{T{O{XQR X, T, P, P c X~(P{P){TQR X, T, P, Q c (X~T{P)QQR X, T, P, R c X{T~R|PQR X, T, P, U c (X|T)~U|PQR X, T, P, W c X{T{P{WQR X, T, P, X c X{T{P~XQR X, T, Q, O c X~Q{T{OQR X, T, Q, P c (X~T{P)QQR X, T, Q, Q c X{(T{Q)~QQR X, T, Q, S c X{T~Q{SQR X, T, Q, T c (X{T)~Q|TQR X, T, Q, U c T~U|X{QQR X, T, Q, V c X{T{Q{VQR X, T, Q, X c X~(TX{Q)QR X, T, R, P c X{T~R|PQR X, T, R, R c X{T{R~RQR X, T, R, S c XR{T~SQR X, T, R, T c X~(T|R){TQR X, T, R, U c X{T{R{UQR X, T, R, V c X{(T|R)~VQR X, T, R, W c X~TR{WQR X, T, R, X c X~R{T|XQR X, T, S, Q c X{T~Q{SQR X, T, S, R c XR{T~SQR X, T, S, T c X{T{S{TQR X, T, S, U c X{T~S|UQR X, T, S, V c (X|T)~S{VQR X, T, S, W c (X~S)|(T{W)QR X, T, T, Q c (X{T)~Q|TQR X, T, T, R c (X|T)~T{RQR X, T, T, S c X{T{T{SQR X, T, T, V c (X|T)~V|TQR X, T, U, P c (X|T)~U|PQR X, T, U, Q c T~U|X{QQR X, T, U, R c X{T{U{RQR X, T, U, S c X{T~S|UQR X, T, U, U c (X|U)~U{TQR X, T, U, W c (X|U)~T{WQR X, T, V, Q c X{T{V{QQR X, T, V, R c X{(T|R)~VQR X, T, V, S c (X|T)~S{VQR X, T, V, T c (X|T)~V|TQR X, T, V, V c X{(V|T)~VQR X, T, V, W c X~V|T~WQR X, T, V, X c (X|V)~X{TQR X, T, W, P c X{T{W{PQR X, T, W, R c X~TR{WQR X, T, W, S c X~(W|T)|SQR X, T, W, U c X~(W|U){TQR X, T, W, V c X~V|T~WQR X, T, W, W c (T~W)|(X{W)QR X, T, W, X c (X|T)~W|XQR X, T, X, O c X{T{X{OQR X, T, X, P c X{T{X~PQR X, T, X, Q c X~(TX{Q)QR X, T, X, R c X~R{T|XQR X, T, X, V c X~(X|V){TQR X, T, X, W c (X|T)~W|XQR X, U, O, W c X{U{O{WQR X, U, P, Q c X{(U{P)~QQR X, U, P, T c (X|T)~U|PQR X, U, P, V c X{U{P{VQR X, U, P, W c X{U{P~WQR X, U, P, X c X{U|P{XQR X, U, Q, P c X{(U{P)~QQR X, U, Q, Q c X{U~Q{QQR X, U, Q, R c X~R|U{QQR X, U, Q, S c X{U{Q~SQR X, U, Q, T c U~T|X{QQR X, U, Q, U c X{U{Q{UQR X, U, Q, V c (X{U)~Q|VQR X, U, Q, W c (X~U|W)QQR X, U, R, Q c X~R|U{QQR X, U, R, S c X{U~R|SQR X, U, R, T c X{U{R{TQR X, U, R, V c X{UR~VQR X, U, R, W c (X|WU)~RQR X, U, S, Q c X{U{S~QQR X, U, S, R c X{U~R|SQR X, U, S, S c X{U{S{SQR X, U, S, T c X|U{S~TQR X, U, S, U c (U~U)|(X{S)QR X, U, S, V c X{(U|S)~VQR X, U, S, W c U~S|X{WQR X, U, S, X c (X|U)~X|SQR X, U, T, P c (X|T)~U|PQR X, U, T, Q c U~T|X{QQR X, U, T, R c X{U{T{RQR X, U, T, S c X|U{T~SQR X, U, T, U c (X|U)~U{TQR X, U, T, W c (X|U)~T{WQR X, U, U, Q c X{U{U{QQR X, U, U, S c (U~U)|(X{S)QR X, U, U, T c (X|U)~U{TQR X, U, V, P c X{U{V{PQR X, U, V, Q c (X|U)~V{QQR X, U, V, R c X{U~VRQR X, U, V, S c X{(U|S)~VQR X, U, V, W c X{V~(W|U)QR X, U, W, O c X{U{W{OQR X, U, W, P c X{U{W~PQR X, U, W, Q c (X~U|W)QQR X, U, W, R c (X|WU)~RQR X, U, W, S c U~S|X{WQR X, U, W, T c (X|U)~T{WQR X, U, W, V c X{(W|U)~VQR X, U, X, P c X{U{X|PQR X, U, X, S c (X|U)~X|SQR X, V, O, Q c X{(V{O)~QQR X, V, O, V c X{V{O{VQR X, V, P, P c X{V~(P{P)QR X, V, P, Q c X{V~P~QQR X, V, P, R c X{V~(R|P)QR X, V, P, S c (V{P)~S|XQR X, V, P, U c X{V{P{UQR X, V, P, V c X{V{P~VQR X, V, P, W c X{V|P{WQR X, V, Q, O c X{V~Q{OQR X, V, Q, P c X{V~Q~PQR X, V, Q, Q c X~Q{V|QQR X, V, Q, R c X~VR{QQR X, V, Q, S c X{VQ~SQR X, V, Q, T c X{V{Q{TQR X, V, Q, U c (X|U)~V{QQR X, V, Q, V c (XV{Q)~VQR X, V, Q, X c X{V|Q{XQR X, V, R, P c X{V~(R|P)QR X, V, R, Q c X~VR{QQR X, V, R, R c X~R|V{RQR X, V, R, S c X{V{R{SQR X, V, R, T c X{V~(T|R)QR X, V, R, U c X{VR~UQR X, V, R, V c X{V~R|VQR X, V, R, W c (V|R)~W|XQR X, V, S, P c (V{P)~S|XQR X, V, S, Q c X{V~(S|Q)QR X, V, S, R c X{V{S{RQR X, V, S, S c X~(V|S)|SQR X, V, S, T c (X|T)~S{VQR X, V, S, U c X{V~(U|S)QR X, V, S, W c X{VS~WQR X, V, T, Q c X{V{T{QQR X, V, T, R c X{V~(T|R)QR X, V, T, S c (X|T)~S{VQR X, V, T, T c X~(V|T){TQR X, V, T, V c X{(V|T)~VQR X, V, T, W c X~V|T~WQR X, V, T, X c (X|V)~X{TQR X, V, U, P c X{V{U{PQR X, V, U, Q c (X|U)~V{QQR X, V, U, R c X{V~URQR X, V, U, S c X{V~(U|S)QR X, V, U, W c X{V~(W|U)QR X, V, V, O c X{V{V{OQR X, V, V, P c X{V{V~PQR X, V, V, Q c (XV{Q)~VQR X, V, V, R c X|V{V~RQR X, V, V, T c X{V~(V|T)QR X, V, V, W c (X|V)~W{VQR X, V, V, X c (X|V)~V{XQR X, V, W, P c X{V{W|PQR X, V, W, R c (V|R)~W|XQR X, V, W, S c X{V~WSQR X, V, W, T c X~V|W~TQR X, V, W, U c X{V~(W|U)QR X, V, W, V c (X|V)~W{VQR X, V, X, Q c X{V{X|QQR X, V, X, T c (X|V)~X{TQR X, V, X, V c X{V~(X|V)QR X, W, O, S c (W{O)~S|XQR X, W, O, U c X{W{O{UQR X, W, P, Q c X{(W|P)~QQR X, W, P, R c X~WR|PQR X, W, P, S c W~P~S|XQR X, W, P, T c X{W{P{TQR X, W, P, U c X{W{P~UQR X, W, P, V c X{W|P{VQR X, W, Q, P c X{(W|P)~QQR X, W, Q, Q c X{W~Q|QQR X, W, Q, R c X{W{Q~RQR X, W, Q, S c X{W{Q{SQR X, W, Q, U c (X~U|W)QQR X, W, Q, W c X{W|Q{WQR X, W, R, P c X~WR|PQR X, W, R, Q c X{W{R~QQR X, W, R, R c X{W{R{RQR X, W, R, S c X~R|W{SQR X, W, R, T c XR~T{WQR X, W, R, U c (X|WU)~RQR X, W, R, V c W~(V|R)|XQR X, W, R, W c W~R|X{WQR X, W, R, X c X{W|R{XQR X, W, S, O c W~S|X{OQR X, W, S, P c W~S|X~PQR X, W, S, Q c X{W{S{QQR X, W, S, R c (X|S)~R{WQR X, W, S, S c (W|XS)~SQR X, W, S, T c X~WS{TQR X, W, S, U c W{S~U|XQR X, W, S, V c X{WS~VQR X, W, S, W c W~(S|XW)QR X, W, T, P c X{W{T{PQR X, W, T, R c X~TR{WQR X, W, T, S c X~(W|T)|SQR X, W, T, U c X~(W|U){TQR X, W, T, V c X~V|W~TQR X, W, T, W c (W~T)|(X{W)QR X, W, T, X c (X|T)~W|XQR X, W, U, O c X{W{U{OQR X, W, U, P c X{W{U~PQR X, W, U, Q c (X~U|W)QQR X, W, U, R c (X|WU)~RQR X, W, U, S c W{U~S|XQR X, W, U, T c X~(W|U){TQR X, W, U, V c X{(W|U)~VQR X, W, V, P c X{W{V|PQR X, W, V, R c W~(V|R)|XQR X, W, V, S c X{W~VSQR X, W, V, T c X~V|W~TQR X, W, V, U c X{(W|U)~VQR X, W, V, V c X~W|V~VQR X, W, W, Q c X{W{W|QQR X, W, W, R c W{W~R|XQR X, W, W, S c W~(W|S)|XQR X, W, W, T c (W~T)|(X{W)QR X, W, X, R c X{W{X|RQR X, W, X, T c (X|T)~W|XQR X, X, O, T c X{X{O{TQR X, X, P, S c X{X{P{SQR X, X, P, T c X{X{P~TQR X, X, P, U c X{X|P{UQR X, X, Q, Q c X{(X|Q)~QQR X, X, Q, R c X{X{Q{RQR X, X, Q, S c X{X~Q|SQR X, X, Q, T c X~(Q{TX)QR X, X, Q, V c X{X|Q{VQR X, X, R, Q c X{X{R{QQR X, X, R, S c X~XR|SQR X, X, R, T c X~R|X{TQR X, X, R, W c X{X|R{WQR X, X, S, P c X{X{S{PQR X, X, S, Q c X{X~Q|SQR X, X, S, R c X~XR|SQR X, X, S, S c (X~S)|(X{S)QR X, X, S, U c X~(X|U)|SQR X, X, S, X c X{X|S{XQR X, X, T, O c X{X{T{OQR X, X, T, P c X{X{T~PQR X, X, T, Q c X~(TX{Q)QR X, X, T, R c X~R|X{TQR X, X, T, V c X~(X|V){TQR X, X, T, W c (X|T)~W|XQR X, X, U, P c X{X{U|PQR X, X, U, S c X~(X|U)|SQR X, X, V, Q c X{X{V|QQR X, X, V, T c X~(X|V){TQR X, X, V, V c X{(X|V)~VQR X, X, W, R c X{X{W|RQR X, X, W, T c (X|T)~W|XQR X, X, X, S c X{X{X|SQR