O, P, T, X c O{P{T~XSU O, P, X, T c O{P{X~TSU O, Q, U, W c O{U~W|QSU O, Q, W, U c O{W~U|QSU O, R, V, V c O{V~V|RSU O, S, U, V c O{S{U~VSU O, S, V, U c O{S{V~USU O, T, P, X c O{T~X{PSU O, T, U, W c O{T~W{USU O, T, W, U c O{T~W{USU O, T, X, P c O{T~X{PSU O, U, Q, W c O{U~W|QSU O, U, S, V c O{U~V{SSU O, U, T, W c O{U{T~WSU O, U, V, S c O{U~V{SSU O, U, W, Q c O{U~W|QSU O, U, W, T c O{U{W~TSU O, U, W, X c O{U~X|WSU O, U, X, W c O{U~X|WSU O, V, R, V c O{V~V|RSU O, V, S, U c O{V~U{SSU O, V, U, S c O{V~U{SSU O, V, V, R c O{V~V|RSU O, W, Q, U c O{W~U|QSU O, W, T, U c O{W~T{USU O, W, U, Q c O{W~U|QSU O, W, U, T c O{W~T{USU O, W, U, X c O{U~X|WSU O, W, X, U c O{X~U|WSU O, X, P, T c O{X~T{PSU O, X, T, P c O{X~T{PSU O, X, U, W c O{X~U|WSU O, X, W, U c O{X~U|WSU P, O, T, X c P{O{T~XSU P, O, X, T c P{O{X~TSU P, P, S, X c P{(P{S)~XSU P, P, T, W c P{(P{W)~TSU P, P, T, X c P{P~T~XSU P, P, U, W c (U~W)|(P{P)SU P, P, U, X c P{(U|P)~XSU P, P, W, T c P{(P{W)~TSU P, P, W, U c (W~U)|(P{P)SU P, P, X, S c P{(P{S)~XSU P, P, X, T c P{P~X~TSU P, P, X, U c P{X~(U|P)SU P, Q, R, W c Q~(R~W|P)SU P, Q, R, X c P{(Q{R)~XSU P, Q, S, U c Q~(S~U|P)SU P, Q, T, V c P{(Q{V)~TSU P, Q, T, W c (P{T)~W|QSU P, Q, T, X c Q|P{T~XSU P, Q, U, S c Q~(U~S|P)SU P, Q, U, V c (P{V)~U|QSU P, Q, U, W c P~U~W|QSU P, Q, U, X c U~(X|P)|QSU P, Q, V, T c P{(Q{V)~TSU P, Q, V, U c (P{V)~U|QSU P, Q, V, V c (V~V)|(P{Q)SU P, Q, V, W c (V|P)~W|QSU P, Q, V, X c P{(V|Q)~XSU P, Q, W, R c Q~(W~R|P)SU P, Q, W, T c (P{T)~W|QSU P, Q, W, U c P~W~U|QSU P, Q, W, V c W~(V|P)|QSU P, Q, X, R c P{(Q{R)~XSU P, Q, X, T c Q|P{X~TSU P, Q, X, U c (X|P)~U|QSU P, Q, X, V c P{X~(V|Q)SU P, R, Q, W c (R~W|P)~QSU P, R, Q, X c P{(R{Q)~XSU P, R, R, T c P{R~R~TSU P, R, T, R c P{R~T~RSU P, R, T, U c P{(R{U)~TSU P, R, U, T c P{(R{U)~TSU P, R, U, V c P{R{U~VSU P, R, U, W c P{U~W|RSU P, R, U, X c P{R~(U{X)SU P, R, V, U c P{R{V~USU P, R, V, V c P~V~V|RSU P, R, V, W c P{R~(V{W)SU P, R, W, Q c (R~W|P)~QSU P, R, W, U c P{W~U|RSU P, R, W, V c P{R~(W{V)SU P, R, W, X c P{(W|R)~XSU P, R, X, Q c P{(R{Q)~XSU P, R, X, U c P{R~(X{U)SU P, R, X, W c P{X~(W|R)SU P, S, P, X c P{(S{P)~XSU P, S, Q, U c (S~U|P)~QSU P, S, T, T c P{(S{T)~TSU P, S, T, V c (P{T)~V{SSU P, S, T, X c (P{X)~T|SSU P, S, U, Q c (S~U|P)~QSU P, S, U, U c (P{U)~U{SSU P, S, U, V c P~S{U~VSU P, S, U, W c (P{S)~W{USU P, S, U, X c (P{X)~S{USU P, S, V, T c (P{T)~V{SSU P, S, V, U c P~S{V~USU P, S, V, V c P{V~V|SSU P, S, W, U c (P{S)~W{USU P, S, X, P c (P{S)~X{PSU P, S, X, T c (P{X)~T|SSU P, S, X, U c (P{X)~S{USU P, S, X, X c P{S~X{XSU P, T, O, X c P{(T{O)~XSU P, T, P, W c P{T~(P{W)SU P, T, P, X c P{T~P~XSU P, T, Q, V c P{T~(Q{V)SU P, T, Q, W c (P{T)~W|QSU P, T, Q, X c T~X|P{QSU P, T, R, R c P{T~R~RSU P, T, R, U c P{T~(R{U)SU P, T, S, T c P{(T{S)~TSU P, T, S, V c (P{T)~V{SSU P, T, S, X c (P{X)~T|SSU P, T, T, S c P{T~(T{S)SU P, T, T, W c P{T{T~WSU P, T, T, X c (PT{X)~TSU P, T, U, R c P{T~(U{R)SU P, T, U, V c (P{V)~T{USU P, T, U, W c P~T~W{USU P, T, U, X c T~(X|P){USU P, T, V, Q c P{T~(V{Q)SU P, T, V, S c (P{T)~V{SSU P, T, V, U c (P{V)~T{USU P, T, V, W c T~W|P{VSU P, T, W, P c P{T~(W{P)SU P, T, W, Q c (P{T)~W|QSU P, T, W, T c P{T{W~TSU P, T, W, U c P~T~W{USU P, T, W, V c T~W|P{VSU P, T, W, X c (P{T)~X|WSU P, T, X, O c P{T~X{OSU P, T, X, P c P{T~X~PSU P, T, X, Q c T~X|P{QSU P, T, X, S c (P{X)~T|SSU P, T, X, T c (PT{X)~TSU P, T, X, U c T~(X|P){USU P, T, X, W c (P{T)~X|WSU P, T, X, X c (PX{T)~XSU P, U, P, W c (U~W)|(P{P)SU P, U, P, X c P{(U|P)~XSU P, U, Q, S c (U~S|P)~QSU P, U, Q, V c (P{V)~U|QSU P, U, Q, W c P~U~W|QSU P, U, Q, X c U~(X|P)|QSU P, U, R, T c P{(U{R)~TSU P, U, R, V c P{U~V{RSU P, U, R, W c P{U~W|RSU P, U, R, X c P{(U{X)~RSU P, U, S, Q c (U~S|P)~QSU P, U, S, U c (P{U)~U{SSU P, U, S, V c P~U~V{SSU P, U, S, W c (P{S)~W{USU P, U, S, X c (P{X)~S{USU P, U, T, R c P{(U{R)~TSU P, U, T, V c (P{V)~T{USU P, U, T, W c P~U{T~WSU P, U, T, X c U{T~(X|P)SU P, U, U, S c (P{U)~U{SSU P, U, U, W c (U|P)~W{USU P, U, U, X c P{U~U{XSU P, U, V, Q c (P{V)~U|QSU P, U, V, R c P{U~V{RSU P, U, V, S c P~U~V{SSU P, U, V, T c (P{V)~T{USU P, U, V, X c (U~X)|(P{V)SU P, U, W, P c (U~W)|(P{P)SU P, U, W, Q c P~U~W|QSU P, U, W, R c P{U~W|RSU P, U, W, S c (P{S)~W{USU P, U, W, T c P~U{W~TSU P, U, W, U c (U|P)~W{USU P, U, W, W c (P{W)~U|WSU P, U, W, X c P~U~X|WSU P, U, X, P c P{(U|P)~XSU P, U, X, Q c U~(X|P)|QSU P, U, X, R c P{(U{X)~RSU P, U, X, S c (P{X)~S{USU P, U, X, T c U{(X|P)~TSU P, U, X, U c P{U~U{XSU P, U, X, V c (U~X)|(P{V)SU P, U, X, W c P~U~X|WSU P, U, X, X c P{U~X|XSU P, V, Q, T c P{(V{Q)~TSU P, V, Q, U c (P{V)~U|QSU P, V, Q, V c (V~V)|(P{Q)SU P, V, Q, W c (V|P)~W|QSU P, V, Q, X c P{(V|Q)~XSU P, V, R, U c P{V~U{RSU P, V, R, V c P~V~V|RSU P, V, R, W c P{(V{W)~RSU P, V, S, T c (P{T)~V{SSU P, V, S, U c P~V~U{SSU P, V, S, V c P{V~V|SSU P, V, T, Q c P{(V{Q)~TSU P, V, T, S c (P{T)~V{SSU P, V, T, U c (P{V)~T{USU P, V, T, W c V|P{T~WSU P, V, U, Q c (P{V)~U|QSU P, V, U, R c P{V~U{RSU P, V, U, S c P~V~U{SSU P, V, U, T c (P{V)~T{USU P, V, U, X c (U~X)|(P{V)SU P, V, V, Q c (V~V)|(P{Q)SU P, V, V, R c P~V~V|RSU P, V, V, S c P{V~V|SSU P, V, W, Q c (V|P)~W|QSU P, V, W, R c P{(V{W)~RSU P, V, W, T c V|P{W~TSU P, V, W, X c (V|P)~X|WSU P, V, X, Q c P{(V|Q)~XSU P, V, X, U c (X~U)|(P{V)SU P, V, X, W c (V|P)~X|WSU P, W, P, T c P{(W{P)~TSU P, W, P, U c (W~U)|(P{P)SU P, W, Q, R c (W~R|P)~QSU P, W, Q, T c (P{T)~W|QSU P, W, Q, U c P~W~U|QSU P, W, Q, V c W~(V|P)|QSU P, W, R, Q c (W~R|P)~QSU P, W, R, U c P{W~U|RSU P, W, R, V c P{(W{V)~RSU P, W, R, X c P{(W|R)~XSU P, W, S, U c (P{S)~W{USU P, W, T, P c (P{W)~T{PSU P, W, T, Q c (P{T)~W|QSU P, W, T, T c P{W~T{TSU P, W, T, U c P~W~T{USU P, W, T, V c W~T|P{VSU P, W, T, X c (P{T)~X|WSU P, W, U, P c (W~U)|(P{P)SU P, W, U, Q c P~W~U|QSU P, W, U, R c P{W~U|RSU P, W, U, S c (P{S)~W{USU P, W, U, T c P~W~T{USU P, W, U, U c W~(U|P){USU P, W, U, W c (P{W)~U|WSU P, W, U, X c P~U~X|WSU P, W, V, Q c W~(V|P)|QSU P, W, V, R c P{(W{V)~RSU P, W, V, T c W~T|P{VSU P, W, V, X c (W~V)|(P{X)SU P, W, W, U c (P{W)~U|WSU P, W, X, R c P{(W|R)~XSU P, W, X, T c (P{T)~X|WSU P, W, X, U c P~X~U|WSU P, W, X, V c (W~V)|(P{X)SU P, X, O, T c P{(X{O)~TSU P, X, P, S c P{X~(P{S)SU P, X, P, T c P{X~P~TSU P, X, P, U c P{X~(U|P)SU P, X, Q, R c P{X~(Q{R)SU P, X, Q, T c X~T|P{QSU P, X, Q, U c (X|P)~U|QSU P, X, Q, V c P{X~(V|Q)SU P, X, R, Q c P{X~(R{Q)SU P, X, R, U c P{(X{U)~RSU P, X, R, W c P{X~(W|R)SU P, X, S, P c P{X~(S{P)SU P, X, S, T c (P{X)~T|SSU P, X, S, U c (P{X)~S{USU P, X, S, X c P{X{S~XSU P, X, T, O c P{X~T{OSU P, X, T, P c P{X~T~PSU P, X, T, Q c X~T|P{QSU P, X, T, S c (P{X)~T|SSU P, X, T, T c (PT{X)~TSU P, X, T, U c (X|P)~T{USU P, X, T, W c (P{T)~X|WSU P, X, T, X c (PX{T)~XSU P, X, U, P c P{X~(U|P)SU P, X, U, Q c (X|P)~U|QSU P, X, U, R c P{(X{U)~RSU P, X, U, S c (P{X)~S{USU P, X, U, T c (X|P)~T{USU P, X, U, U c P{X{U~USU P, X, U, V c (X~U)|(P{V)SU P, X, U, W c P~X~U|WSU P, X, U, X c P{X~U|XSU P, X, V, Q c P{X~(V|Q)SU P, X, V, U c (X~U)|(P{V)SU P, X, V, W c X~(V|P)|WSU P, X, W, R c P{X~(W|R)SU P, X, W, T c (P{T)~X|WSU P, X, W, U c P~X~U|WSU P, X, W, V c X~(V|P)|WSU P, X, X, S c P{X{X~SSU P, X, X, T c (PX{T)~XSU P, X, X, U c P{X~U|XSU Q, O, U, W c O{U~W|QSU Q, O, W, U c O{W~U|QSU Q, P, R, W c Q~(R~W|P)SU Q, P, R, X c (Q{R)~X{PSU Q, P, S, U c Q~(S~U|P)SU Q, P, T, V c (Q{V)~T{PSU Q, P, T, W c (P{T)~W|QSU Q, P, T, X c Q|P{T~XSU Q, P, U, S c Q~(U~S|P)SU Q, P, U, V c (P{V)~U|QSU Q, P, U, W c P~U~W|QSU Q, P, U, X c U~(X|P)|QSU Q, P, V, T c (Q{V)~T{PSU Q, P, V, U c (P{V)~U|QSU Q, P, V, V c (V~V)|(Q{P)SU Q, P, V, W c (V|P)~W|QSU Q, P, V, X c P{(V|Q)~XSU Q, P, W, R c Q~(W~R|P)SU Q, P, W, T c (P{T)~W|QSU Q, P, W, U c P~W~U|QSU Q, P, W, V c W~(V|P)|QSU Q, P, X, R c (Q{R)~X{PSU Q, P, X, T c Q|P{X~TSU Q, P, X, U c (X|P)~U|QSU Q, P, X, V c P{X~(V|Q)SU Q, Q, R, V c Q~(Q{R~V)SU Q, Q, R, W c Q~R~W|QSU Q, Q, S, U c Q~S~U|QSU Q, Q, S, W c (Q{S)~W|QSU Q, Q, S, X c Q{(Q{X)~SSU Q, Q, T, T c Q~(T~T|Q)SU Q, Q, T, X c QQ{T~XSU Q, Q, U, S c Q~U~S|QSU Q, Q, U, U c (Q{U)~U|QSU Q, Q, U, V c Q{Q{U~VSU Q, Q, V, R c Q~(Q{V~R)SU Q, Q, V, U c Q{Q{V~USU Q, Q, V, W c Q~(Q~W{V)SU Q, Q, V, X c Q~(Q~V{X)SU Q, Q, W, R c Q~W~R|QSU Q, Q, W, S c (Q{S)~W|QSU Q, Q, W, V c Q~(Q~W{V)SU Q, Q, W, W c (W|Q)~W|QSU Q, Q, X, S c Q{(Q{X)~SSU Q, Q, X, T c Q~(Q~X{T)SU Q, Q, X, V c Q~(Q~V{X)SU Q, R, P, W c Q~(R~W|P)SU Q, R, P, X c (Q{R)~X{PSU Q, R, Q, V c (Q{R~V)~QSU Q, R, Q, W c Q~R~W|QSU Q, R, R, W c (R{R)~W|QSU Q, R, S, S c R~S~S|QSU Q, R, S, T c Q~(R{S~T)SU Q, R, S, V c Q~R~V{SSU Q, R, S, W c Q{(R{W)~SSU Q, R, S, X c Q~(R~X|S)SU Q, R, T, S c Q~(R{T~S)SU Q, R, T, U c Q~(R~U{T)SU Q, R, T, V c (Q{T)~V|RSU Q, R, T, W c Q~R{T~WSU Q, R, T, X c R|Q{T~XSU Q, R, U, T c Q~(R~U{T)SU Q, R, U, V c (QR{V)~USU Q, R, U, W c (Q{R)~W{USU Q, R, V, Q c (Q{R~V)~QSU Q, R, V, S c Q~R~V{SSU Q, R, V, T c (Q{T)~V|RSU Q, R, V, U c (QR{V)~USU Q, R, V, X c R~(V{X)|QSU Q, R, W, P c Q~(R~W|P)SU Q, R, W, Q c Q~R~W|QSU Q, R, W, R c (R{R)~W|QSU Q, R, W, S c Q{(R{W)~SSU Q, R, W, T c Q~R{W~TSU Q, R, W, U c (Q{R)~W{USU Q, R, W, W c R~(W{W)|QSU Q, R, W, X c Q~R~X|WSU Q, R, X, P c (Q{R)~X{PSU Q, R, X, S c Q~(R~X|S)SU Q, R, X, T c R|Q{X~TSU Q, R, X, V c R~(X{V)|QSU Q, R, X, W c Q~R~X|WSU Q, S, P, U c Q~(S~U|P)SU Q, S, Q, U c Q~S~U|QSU Q, S, Q, W c (Q{S)~W|QSU Q, S, Q, X c Q{S~(Q{X)SU Q, S, R, S c S~R~S|QSU Q, S, R, T c Q~(S~T{R)SU Q, S, R, V c Q~R~V{SSU Q, S, R, W c Q{S~(R{W)SU Q, S, R, X c Q~(R~X|S)SU Q, S, S, R c S~S~R|QSU Q, S, S, U c (S{S)~U|QSU Q, S, S, V c Q{S~(S{V)SU Q, S, S, W c S~(S{W)|QSU Q, S, T, R c Q~(S~T{R)SU Q, S, T, T c Q~T~T|SSU Q, S, T, U c Q{S~(T{U)SU Q, S, T, V c Q~(S~V|T)SU Q, S, T, W c Q{S{T~WSU Q, S, T, X c Q~T{S~XSU Q, S, U, P c Q~(S~U|P)SU Q, S, U, Q c Q~S~U|QSU Q, S, U, S c (S{S)~U|QSU Q, S, U, T c Q{S~(U{T)SU Q, S, U, U c S~(U{U)|QSU Q, S, U, W c Q{U~W|SSU Q, S, U, X c S{U~(X|Q)SU Q, S, V, R c Q~V~R{SSU Q, S, V, S c Q{(S{V)~SSU Q, S, V, T c Q~(S~V|T)SU Q, S, V, W c Q~V{S~WSU Q, S, V, X c Q~X{S~VSU Q, S, W, Q c (Q{S)~W|QSU Q, S, W, R c Q{S~(W{R)SU Q, S, W, S c (S{W)~S|QSU Q, S, W, T c Q{S{W~TSU Q, S, W, U c (Q{W)~S{USU Q, S, W, V c Q~V{S~WSU Q, S, W, X c Q~(S~W|X)SU Q, S, X, Q c Q{S~(X{Q)SU Q, S, X, R c Q~(X~R|S)SU Q, S, X, T c Q~T{S~XSU Q, S, X, U c S{(X|Q)~USU Q, S, X, V c Q~X{S~VSU Q, S, X, W c Q{S~X{WSU Q, T, P, V c (Q{V)~T{PSU Q, T, P, W c (T{P)~W|QSU Q, T, P, X c Q{T~X|PSU Q, T, Q, T c Q~(T~T|Q)SU Q, T, Q, X c Q~(T{Q~X)SU Q, T, R, S c Q~(T~S{R)SU Q, T, R, U c Q~(T{R~U)SU Q, T, R, V c (Q{T)~V|RSU Q, T, R, W c Q~(T~R{W)SU Q, T, R, X c T~X|Q{RSU Q, T, S, R c Q~(T~S{R)SU Q, T, S, T c Q~T~T|SSU Q, T, S, U c Q~T~S{USU Q, T, S, V c Q~(S~V|T)SU Q, T, S, W c Q{T~W{SSU Q, T, S, X c Q~T{S~XSU Q, T, T, Q c Q~(T~T|Q)SU Q, T, T, S c Q~T~T|SSU Q, T, U, R c Q~(T{U~R)SU Q, T, U, S c Q{(T{U)~SSU Q, T, U, U c Q~T{U~USU Q, T, U, V c Q~(T~U|V)SU Q, T, U, W c Q~W{T~USU Q, T, V, P c (Q{V)~T{PSU Q, T, V, R c (Q{T)~V|RSU Q, T, V, S c Q~(V~S|T)SU Q, T, V, U c Q~(T~U|V)SU Q, T, V, V c Q{V~V|TSU Q, T, V, W c V~W|Q~TSU Q, T, V, X c Q{T~V{XSU Q, T, W, P c (T{P)~W|QSU Q, T, W, R c Q~(T~R{W)SU Q, T, W, S c Q{T~W{SSU Q, T, W, U c Q~W{T~USU Q, T, W, V c W~V|Q~TSU Q, T, W, W c T~W|Q{WSU Q, T, X, P c Q{T~X|PSU Q, T, X, Q c Q~(T{X~Q)SU Q, T, X, R c T~X|Q{RSU Q, T, X, S c Q~T{X~SSU Q, T, X, V c Q{T~V{XSU Q, T, X, X c Q~(T{X{X)SU Q, U, O, W c (U{O)~W|QSU Q, U, P, S c Q~(U~S|P)SU Q, U, P, V c U~(P{V)|QSU Q, U, P, W c U~P~W|QSU Q, U, P, X c U~(X|P)|QSU Q, U, Q, S c Q~U~S|QSU Q, U, Q, U c (Q{U)~U|QSU Q, U, Q, V c Q{U~V{QSU Q, U, R, T c Q~(U~R{T)SU Q, U, R, V c (QR{V)~USU Q, U, R, W c (Q{R)~W{USU Q, U, S, P c Q~(U~S|P)SU Q, U, S, Q c Q~U~S|QSU Q, U, S, S c U~(S{S)|QSU Q, U, S, T c Q{(U{T)~SSU Q, U, S, U c (U{U)~S|QSU Q, U, S, W c Q{U~W|SSU Q, U, S, X c U~(X|Q){SSU Q, U, T, R c Q~(U~R{T)SU Q, U, T, S c Q{(U{T)~SSU Q, U, T, U c (Q{U)~T{USU Q, U, T, V c Q~(U~T|V)SU Q, U, T, W c Q~W{U~TSU Q, U, U, Q c (Q{U)~U|QSU Q, U, U, S c (U{U)~S|QSU Q, U, U, T c (Q{U)~T{USU Q, U, U, V c U|Q{U~VSU Q, U, U, W c Q{U~U{WSU Q, U, U, X c (U~X)|(Q{U)SU Q, U, V, P c U~(V{P)|QSU Q, U, V, Q c Q{U~V{QSU Q, U, V, R c (QR{V)~USU Q, U, V, T c Q~(U~T|V)SU Q, U, V, U c U|Q{V~USU Q, U, V, V c V~V|UQSU Q, U, V, W c (Q{V)~U|WSU Q, U, W, O c U~W|Q{OSU Q, U, W, P c U~W|Q~PSU Q, U, W, R c (Q{R)~W{USU Q, U, W, S c Q{U~W|SSU Q, U, W, T c Q~W{U~TSU Q, U, W, U c Q{U~U{WSU Q, U, W, V c (Q{V)~U|WSU Q, U, W, W c (U|QW)~WSU Q, U, W, X c Q~(U{W{X)SU Q, U, X, P c U~(X|P)|QSU Q, U, X, S c U~(X|Q){SSU Q, U, X, U c (U~X)|(Q{U)SU Q, U, X, W c Q~(U{X{W)SU Q, V, P, T c (Q{V)~T{PSU Q, V, P, U c (V{P)~U|QSU Q, V, P, V c (V~V)|(Q{P)SU Q, V, P, W c (V|P)~W|QSU Q, V, P, X c (V|Q)~X{PSU Q, V, Q, R c (Q{V~R)~QSU Q, V, Q, U c Q{V~U{QSU Q, V, Q, W c Q~(V{Q~W)SU Q, V, Q, X c Q~(V~Q{X)SU Q, V, R, Q c (Q{V~R)~QSU Q, V, R, S c Q~V~R{SSU Q, V, R, T c (Q{T)~V|RSU Q, V, R, U c (QR{V)~USU Q, V, R, X c V~(X|Q)|RSU Q, V, S, R c Q~V~R{SSU Q, V, S, S c Q{(V{S)~SSU Q, V, S, T c Q~(V~S|T)SU Q, V, S, W c Q~V{S~WSU Q, V, S, X c Q~X{V~SSU Q, V, T, P c (Q{V)~T{PSU Q, V, T, R c (Q{T)~V|RSU Q, V, T, S c Q~(V~S|T)SU Q, V, T, U c Q~(T~U|V)SU Q, V, T, V c Q{V~V|TSU Q, V, T, W c V~W|Q~TSU Q, V, T, X c Q{V~T{XSU Q, V, U, P c (V{P)~U|QSU Q, V, U, Q c Q{V~U{QSU Q, V, U, R c (QR{V)~USU Q, V, U, T c Q~(U~T|V)SU Q, V, U, U c V~U|Q{USU Q, V, U, V c V~V|UQSU Q, V, U, W c (Q{V)~U|WSU Q, V, V, P c (V~V)|(Q{P)SU Q, V, V, T c Q{V~V|TSU Q, V, V, U c V~V|UQSU Q, V, V, X c Q~(V{V{X)SU Q, V, W, P c (V|P)~W|QSU Q, V, W, Q c Q~(V{W~Q)SU Q, V, W, S c Q~V{W~SSU Q, V, W, T c V~W|Q~TSU Q, V, W, U c (Q{V)~U|WSU Q, V, W, W c Q~(V{W{W)SU Q, V, X, P c (V|Q)~X{PSU Q, V, X, Q c (Q~V{X)~QSU Q, V, X, R c V~(X|Q)|RSU Q, V, X, S c Q~X{V~SSU Q, V, X, T c Q{V~T{XSU Q, V, X, V c Q~(V{X{V)SU Q, W, O, U c (W{O)~U|QSU Q, W, P, R c Q~(W~R|P)SU Q, W, P, T c W~(P{T)|QSU Q, W, P, U c W~P~U|QSU Q, W, P, V c W~(V|P)|QSU Q, W, Q, R c Q~W~R|QSU Q, W, Q, S c (Q{S)~W|QSU Q, W, Q, V c Q~(W~Q{V)SU Q, W, Q, W c (W|Q)~W|QSU Q, W, R, P c Q~(W~R|P)SU Q, W, R, Q c Q~W~R|QSU Q, W, R, R c W~(R{R)|QSU Q, W, R, S c Q{(W{R)~SSU Q, W, R, T c Q~(W{R~T)SU Q, W, R, U c (Q{R)~W{USU Q, W, R, W c (W{W)~R|QSU Q, W, R, X c Q~R~X|WSU Q, W, S, Q c (Q{S)~W|QSU Q, W, S, R c Q{(W{R)~SSU Q, W, S, S c (W{S)~S|QSU Q, W, S, T c Q{W~T{SSU Q, W, S, U c (Q{W)~S{USU Q, W, S, V c Q~V{W~SSU Q, W, S, X c Q{W{S~XSU Q, W, T, P c W~(T{P)|QSU Q, W, T, R c Q~(W{T~R)SU Q, W, T, S c Q{W~T{SSU Q, W, T, U c Q~W{T~USU Q, W, T, V c W~V|Q~TSU Q, W, T, W c W|Q{T~WSU Q, W, U, O c W~U|Q{OSU Q, W, U, P c W~U|Q~PSU Q, W, U, R c (Q{R)~W{USU Q, W, U, S c Q{W~U|SSU Q, W, U, T c Q~W{U~TSU Q, W, U, U c Q{W{U~USU Q, W, U, V c (Q{V)~U|WSU Q, W, U, W c W~(U|QW)SU Q, W, U, X c Q~(W{U{X)SU Q, W, V, P c W~(V|P)|QSU Q, W, V, Q c (Q~W{V)~QSU Q, W, V, S c Q~V{W~SSU Q, W, V, T c W~V|Q~TSU Q, W, V, U c (Q{V)~U|WSU Q, W, V, W c Q~(W{V{W)SU Q, W, W, Q c (W|Q)~W|QSU Q, W, W, R c (W{W)~R|QSU Q, W, W, T c W|Q{W~TSU Q, W, W, U c W~(U|QW)SU Q, W, W, V c Q~(W{W{V)SU Q, W, W, X c (W|Q)~X|WSU Q, W, X, R c Q~X~R|WSU Q, W, X, S c Q{W{X~SSU Q, W, X, U c Q~(W{X{U)SU Q, W, X, W c (W|Q)~X|WSU Q, X, P, R c (Q{R)~X{PSU Q, X, P, T c Q{X~T|PSU Q, X, P, U c (X|P)~U|QSU Q, X, P, V c X~(V|Q){PSU Q, X, Q, S c Q{(X{Q)~SSU Q, X, Q, T c Q~(X~Q{T)SU Q, X, Q, V c Q~(X{Q~V)SU Q, X, R, P c (Q{R)~X{PSU Q, X, R, S c Q~(X~R|S)SU Q, X, R, T c X~T|Q{RSU Q, X, R, V c (X|Q)~V|RSU Q, X, R, W c Q~X~R|WSU Q, X, S, Q c (Q{X)~S{QSU Q, X, S, R c Q~(X~R|S)SU Q, X, S, T c Q~T{X~SSU Q, X, S, U c (X|Q)~U{SSU Q, X, S, V c Q~X{S~VSU Q, X, S, W c Q{X~S{WSU Q, X, T, P c Q{X~T|PSU Q, X, T, Q c (Q~X{T)~QSU Q, X, T, R c X~T|Q{RSU Q, X, T, S c Q~T{X~SSU Q, X, T, V c Q{X{T~VSU Q, X, T, X c (Q{X)~T|XSU Q, X, U, P c (X|P)~U|QSU Q, X, U, S c (X|Q)~U{SSU Q, X, U, U c (X~U)|(Q{U)SU Q, X, U, W c Q~(X{U{W)SU Q, X, V, P c X~(V|Q){PSU Q, X, V, Q c Q~(X{V~Q)SU Q, X, V, R c (X|Q)~V|RSU Q, X, V, S c Q~X{V~SSU Q, X, V, T c Q{X{V~TSU Q, X, V, V c Q~(X{V{V)SU Q, X, W, R c Q~X~R|WSU Q, X, W, S c Q{X~S{WSU Q, X, W, U c Q~(X{W{U)SU Q, X, W, W c X~(W|Q)|WSU Q, X, X, T c Q~(X{X{T)SU R, O, V, V c O{V~V|RSU R, P, Q, W c (R~W|P)~QSU R, P, Q, X c (R{Q)~X{PSU R, P, R, T c R~R~T{PSU R, P, T, R c R~T~R{PSU R, P, T, U c (R{U)~T{PSU R, P, U, T c (R{U)~T{PSU R, P, U, V c R{P{U~VSU R, P, U, W c P{U~W|RSU R, P, U, X c R~(U{X){PSU R, P, V, U c R{P{V~USU R, P, V, V c P~V~V|RSU R, P, V, W c R~(V{W){PSU R, P, W, Q c (R~W|P)~QSU R, P, W, U c P{W~U|RSU R, P, W, V c R~(W{V){PSU R, P, W, X c P{(W|R)~XSU R, P, X, Q c (R{Q)~X{PSU R, P, X, U c R~(X{U){PSU R, P, X, W c P{X~(W|R)SU R, Q, P, W c (R~W|P)~QSU R, Q, P, X c (R{Q)~X{PSU R, Q, Q, V c (R~V{Q)~QSU R, Q, Q, W c R~Q~W|QSU R, Q, R, W c (R{R)~W|QSU R, Q, S, S c R~S~S|QSU R, Q, S, T c (R{S~T)~QSU R, Q, S, V c R~Q~V{SSU R, Q, S, W c (R{W)~S{QSU R, Q, S, X c (R{X)~S|QSU R, Q, T, S c (R{T~S)~QSU R, Q, T, U c (R{T)~U|QSU R, Q, T, V c (Q{T)~V|RSU R, Q, T, W c R~Q{T~WSU R, Q, T, X c R|Q{T~XSU R, Q, U, T c (R~U{T)~QSU R, Q, U, V c (QR{V)~USU R, Q, U, W c (R{Q)~W{USU R, Q, V, Q c (R~V{Q)~QSU R, Q, V, S c R~Q~V{SSU R, Q, V, T c (Q{T)~V|RSU R, Q, V, U c (QR{V)~USU R, Q, V, X c R~(V{X)|QSU R, Q, W, P c (R~W|P)~QSU R, Q, W, Q c R~Q~W|QSU R, Q, W, R c (R{R)~W|QSU R, Q, W, S c (R{W)~S{QSU R, Q, W, T c R~Q{W~TSU R, Q, W, U c (R{Q)~W{USU R, Q, W, W c R~(W{W)|QSU R, Q, W, X c R~Q~X|WSU R, Q, X, P c (R{Q)~X{PSU R, Q, X, S c (R{X)~S|QSU R, Q, X, T c R|Q{X~TSU R, Q, X, V c R~(X{V)|QSU R, Q, X, W c R~Q~X|WSU R, R, P, T c R~R~T{PSU R, R, Q, W c (R{R)~W|QSU R, R, S, V c (R{R)~V{SSU R, R, T, P c R~R~T{PSU R, R, T, W c R{R{T~WSU R, R, T, X c RR{T~XSU R, R, U, W c R~R~U|WSU R, R, V, S c (R{R)~V{SSU R, R, W, Q c (R{R)~W|QSU R, R, W, T c R{R{W~TSU R, R, W, U c R~R~U|WSU R, R, W, X c (R{R)~X|WSU R, R, X, T c RR{X~TSU R, R, X, W c (R{R)~X|WSU R, S, Q, S c R~S~S|QSU R, S, Q, T c (R{S~T)~QSU R, S, Q, V c R~Q~V{SSU R, S, Q, W c (R{W)~S{QSU R, S, Q, X c (R{X)~S|QSU R, S, R, V c (R{S)~V|RSU R, S, S, Q c R~S~S|QSU R, S, S, U c (R{S)~U{SSU R, S, T, Q c (R{S~T)~QSU R, S, T, V c (R{V)~T|SSU R, S, T, W c (RS{T)~WSU R, S, T, X c R~(T{X){SSU R, S, U, S c (R{S)~U{SSU R, S, U, V c R~U{S~VSU R, S, U, W c R~(U{W){SSU R, S, U, X c U~(X|SR)SU R, S, V, Q c R~V~Q{SSU R, S, V, R c (R{S)~V|RSU R, S, V, T c (R{V)~T|SSU R, S, V, U c (R{V)~S{USU R, S, V, V c R~(V{V){SSU R, S, V, X c R{S~X{VSU R, S, W, Q c (R{W)~S{QSU R, S, W, T c (RS{T)~WSU R, S, W, U c R~(W{U){SSU R, S, X, Q c (R{X)~S|QSU R, S, X, T c R~(X{T){SSU R, S, X, U c (X|SR)~USU R, S, X, V c R{S~X{VSU R, T, P, R c R~T~R{PSU R, T, P, U c (R{U)~T{PSU R, T, Q, S c (R{T~S)~QSU R, T, Q, U c (R{T)~U|QSU R, T, Q, V c (T{Q)~V|RSU R, T, Q, W c (R~T{W)~QSU R, T, Q, X c R{T~X|QSU R, T, R, P c R~T~R{PSU R, T, R, W c R{T~W{RSU R, T, R, X c RR{T~XSU R, T, S, Q c (R{T~S)~QSU R, T, S, V c (R{V)~T|SSU R, T, S, W c (RS{T)~WSU R, T, S, X c R~(T{X){SSU R, T, T, U c (R{T)~T{USU R, T, T, V c R~V{T~TSU R, T, U, P c (R{U)~T{PSU R, T, U, Q c (R{T)~U|QSU R, T, U, T c (R{T)~T{USU R, T, U, U c (TR{U)~USU R, T, U, W c R{U~W|TSU R, T, U, X c (U~X)|(R{T)SU R, T, V, Q c (T{Q)~V|RSU R, T, V, S c (R{V)~T|SSU R, T, V, T c R~V{T~TSU R, T, V, W c R{T~V{WSU R, T, W, Q c (R~T{W)~QSU R, T, W, R c R{T~W{RSU R, T, W, S c (RS{T)~WSU R, T, W, U c R{W~U|TSU R, T, W, V c R~(T{W){VSU R, T, W, X c (R{W)~T|XSU R, T, X, Q c R{T~X|QSU R, T, X, R c RR{T~XSU R, T, X, S c R~(T{X){SSU R, T, X, U c (X~U)|(R{T)SU R, T, X, W c R~(X{W)|TSU R, U, P, T c (R{U)~T{PSU R, U, P, V c R{U~V{PSU R, U, P, W c U~W|R{PSU R, U, P, X c R~(U{X){PSU R, U, Q, T c (R~U{T)~QSU R, U, Q, V c U~(QR{V)SU R, U, Q, W c (R{Q)~W{USU R, U, R, W c R~U~R|WSU R, U, S, S c (R{S)~U{SSU R, U, S, V c R~U{S~VSU R, U, S, W c R~(U{W){SSU R, U, S, X c U~(X|SR)SU R, U, T, P c (R{U)~T{PSU R, U, T, Q c (R~U{T)~QSU R, U, T, T c (R{T)~T{USU R, U, T, U c (U{TR)~USU R, U, T, W c R{U~W|TSU R, U, T, X c (U~X)|(R{T)SU R, U, U, T c U~(U{TR)SU R, U, U, V c R{U~U{VSU R, U, U, W c (R{U)~U|WSU R, U, V, P c R{U~V{PSU R, U, V, Q c U~(V{QR)SU R, U, V, S c R~U{V~SSU R, U, V, U c R{U~U{VSU R, U, V, V c R~(U{V){VSU R, U, W, P c U~W|R{PSU R, U, W, Q c (R{Q)~W{USU R, U, W, R c R~U~R|WSU R, U, W, S c R~(U{W){SSU R, U, W, T c R{U~W|TSU R, U, W, U c (R{U)~U|WSU R, U, W, W c U{(W|R)~WSU R, U, W, X c U~(W|RX)SU R, U, X, P c R~(U{X){PSU R, U, X, S c U~(X|SR)SU R, U, X, T c (U~X)|(R{T)SU R, U, X, W c U~(W|RX)SU R, V, O, V c (V{O)~V|RSU R, V, P, U c R{V~U{PSU R, V, P, V c V~P~V|RSU R, V, P, W c R~(V{W){PSU R, V, Q, Q c (R~V{Q)~QSU R, V, Q, S c R~V~Q{SSU R, V, Q, T c V~(Q{T)|RSU R, V, Q, U c (V{QR)~USU R, V, Q, X c R~(V{X)|QSU R, V, R, S c (R{R)~V{SSU R, V, S, Q c R~V~Q{SSU R, V, S, R c (R{S)~V|RSU R, V, S, T c (R{V)~T|SSU R, V, S, U c (R{V)~S{USU R, V, S, V c R~(V{V){SSU R, V, S, X c R{V{S~XSU R, V, T, Q c V~(T{Q)|RSU R, V, T, S c (R{V)~T|SSU R, V, T, T c R~V{T~TSU R, V, T, W c R{V~T{WSU R, V, U, P c R{V~U{PSU R, V, U, Q c (V{QR)~USU R, V, U, S c (R{V)~S{USU R, V, U, U c R{V{U~USU R, V, U, V c R~(V{U){VSU R, V, V, O c V~V|R{OSU R, V, V, P c V~V|R~PSU R, V, V, S c R~(V{V){SSU R, V, V, U c R{V~V|USU R, V, V, V c (V|RV)~VSU R, V, V, W c (V~W)|(R{V)SU R, V, V, X c V~V|XRSU R, V, W, P c R~(V{W){PSU R, V, W, T c R{V~T{WSU R, V, W, V c (V~W)|(R{V)SU R, V, X, Q c R~(V{X)|QSU R, V, X, S c R{V{X~SSU R, V, X, V c V~V|XRSU R, W, P, Q c (R~W|P)~QSU R, W, P, U c (W|PR)~USU R, W, P, V c R~(W{V){PSU R, W, P, X c (W|R)~X{PSU R, W, Q, P c (R~W|P)~QSU R, W, Q, Q c R~W~Q|QSU R, W, Q, R c (R{R)~W|QSU R, W, Q, S c (R{W)~S{QSU R, W, Q, T c R~Q{W~TSU R, W, Q, U c (R{Q)~W{USU R, W, Q, W c R~(W{W)|QSU R, W, Q, X c R~Q~X|WSU R, W, R, Q c (R{R)~W|QSU R, W, R, T c R{W~T{RSU R, W, R, U c R~R~U|WSU R, W, R, X c (R{R)~X|WSU R, W, S, Q c (R{W)~S{QSU R, W, S, T c (RS{T)~WSU R, W, S, U c R~(W{U){SSU R, W, T, Q c (R~T{W)~QSU R, W, T, R c R{W~T{RSU R, W, T, S c (RS{T)~WSU R, W, T, U c R{W~U|TSU R, W, T, V c R{W{T~VSU R, W, T, X c (R{W)~T|XSU R, W, U, P c W~U|R{PSU R, W, U, Q c (R{Q)~W{USU R, W, U, R c R~U~R|WSU R, W, U, S c R~(W{U){SSU R, W, U, T c R{W~U|TSU R, W, U, U c (R{U)~U|WSU R, W, U, W c (W|R)~W{USU R, W, U, X c (W|RX)~USU R, W, V, P c R~(W{V){PSU R, W, V, T c R{W{V~TSU R, W, V, V c (W~V)|(R{V)SU R, W, W, Q c R~(W{W)|QSU R, W, W, U c (W|R)~W{USU R, W, X, P c (W|R)~X{PSU R, W, X, Q c R~X~Q|WSU R, W, X, R c (R{R)~X|WSU R, W, X, T c R~(W{X)|TSU R, W, X, U c (W|RX)~USU R, W, X, X c R~(X{X)|WSU R, X, P, Q c (R{Q)~X{PSU R, X, P, U c R~(X{U){PSU R, X, P, W c X~(W|R){PSU R, X, Q, P c (R{Q)~X{PSU R, X, Q, S c (R{X)~S|QSU R, X, Q, T c R{X~T|QSU R, X, Q, V c R~(X{V)|QSU R, X, Q, W c R~X~Q|WSU R, X, R, T c RR{X~TSU R, X, R, W c (R{R)~X|WSU R, X, S, Q c (R{X)~S|QSU R, X, S, T c R~(X{T){SSU R, X, S, U c (X|SR)~USU R, X, S, V c R{X~S{VSU R, X, T, Q c R{X~T|QSU R, X, T, R c RR{X~TSU R, X, T, S c R~(X{T){SSU R, X, T, U c (X~U)|(R{T)SU R, X, T, W c R~(X{W)|TSU R, X, U, P c R~(X{U){PSU R, X, U, S c (X|SR)~USU R, X, U, T c (X~U)|(R{T)SU R, X, U, W c U~(W|RX)SU R, X, V, Q c R~(X{V)|QSU R, X, V, S c R{X~S{VSU R, X, V, V c V~V|XRSU R, X, W, P c X~(W|R){PSU R, X, W, Q c R~X~Q|WSU R, X, W, R c (R{R)~X|WSU R, X, W, T c R~(X{W)|TSU R, X, W, U c (W|RX)~USU R, X, W, X c R~(X{X)|WSU R, X, X, W c R~(X{X)|WSU S, O, U, V c S{O{U~VSU S, O, V, U c S{O{V~USU S, P, P, X c (S{P)~X{PSU S, P, Q, U c (S~U|P)~QSU S, P, T, T c (S{T)~T{PSU S, P, T, V c S{(P{T)~VSU S, P, T, X c (P{X)~T|SSU S, P, U, Q c (S~U|P)~QSU S, P, U, U c S{(P{U)~USU S, P, U, V c S{P~U~VSU S, P, U, W c (S{P)~W{USU S, P, U, X c S~(P{X){USU S, P, V, T c S{(P{T)~VSU S, P, V, U c S{P~V~USU S, P, V, V c S{(V|P)~VSU S, P, W, U c (S{P)~W{USU S, P, X, P c (S{P)~X{PSU S, P, X, T c (P{X)~T|SSU S, P, X, U c S~(P{X){USU S, P, X, X c S~X{P{XSU S, Q, P, U c (S~U|P)~QSU S, Q, Q, U c S~Q~U|QSU S, Q, Q, W c (S{Q)~W|QSU S, Q, Q, X c S~(Q{X){QSU S, Q, R, S c S~R~S|QSU S, Q, R, T c (S~T{R)~QSU S, Q, R, V c S{Q~R~VSU S, Q, R, W c S~(R{W){QSU S, Q, R, X c S~(R{X)|QSU S, Q, S, R c S~S~R|QSU S, Q, S, U c (S{S)~U|QSU S, Q, S, V c S{(Q{S)~VSU S, Q, S, W c S~(S{W)|QSU S, Q, T, R c (S~T{R)~QSU S, Q, T, T c Q~T~T|SSU S, Q, T, U c S{(Q{T)~USU S, Q, T, V c S~(T{V)|QSU S, Q, T, W c S{Q{T~WSU S, Q, T, X c S~(TQ{X)SU S, Q, U, P c (S~U|P)~QSU S, Q, U, Q c S~Q~U|QSU S, Q, U, S c (S{S)~U|QSU S, Q, U, T c S{(Q{T)~USU S, Q, U, U c S~(U{U)|QSU S, Q, U, W c S~(Q{W){USU S, Q, U, X c S{U~(X|Q)SU S, Q, V, R c S{Q~V~RSU S, Q, V, S c (S{Q)~V{SSU S, Q, V, T c S~(V{T)|QSU S, Q, V, W c S~(VQ{W)SU S, Q, V, X c S~V{Q~XSU S, Q, W, Q c (S{Q)~W|QSU S, Q, W, R c S~(W{R){QSU S, Q, W, S c (S{W)~S|QSU S, Q, W, T c S{Q{W~TSU S, Q, W, U c S~(Q{W){USU S, Q, W, V c S{(W|Q)~VSU S, Q, W, X c (S{Q)~X|WSU S, Q, X, Q c S~(Q{X){QSU S, Q, X, R c S~(X{R)|QSU S, Q, X, T c S~X{Q~TSU S, Q, X, U c S{(X|Q)~USU S, Q, X, V c S~(XQ{V)SU S, Q, X, W c (S{Q)~X|WSU S, R, Q, S c S~R~S|QSU S, R, Q, T c (S~T{R)~QSU S, R, Q, V c S{R~Q~VSU S, R, Q, W c S~(R{W){QSU S, R, Q, X c S~(R{X)|QSU S, R, R, V c S{(R{R)~VSU S, R, S, Q c S~R~S|QSU S, R, S, U c S{(R{S)~USU S, R, T, Q c (S~T{R)~QSU S, R, T, V c (R{V)~T|SSU S, R, T, W c (RS{T)~WSU S, R, T, X c S{R~(T{X)SU S, R, U, S c (S{R)~U{SSU S, R, U, V c S~(R{V){USU S, R, U, W c S{R~(U{W)SU S, R, U, X c U~(X|SR)SU S, R, V, Q c S{R~V~QSU S, R, V, R c (S{R)~V|RSU S, R, V, T c (R{V)~T|SSU S, R, V, U c S~(R{V){USU S, R, V, V c S{R~(V{V)SU S, R, V, X c S{V~(X|R)SU S, R, W, Q c S~(R{W){QSU S, R, W, T c (RS{T)~WSU S, R, W, U c S{R~(W{U)SU S, R, X, Q c S~(R{X)|QSU S, R, X, T c S{R~(X{T)SU S, R, X, U c (X|SR)~USU S, R, X, V c S{(X|R)~VSU S, S, Q, R c S~S~R|QSU S, S, Q, U c (S{S)~U|QSU S, S, Q, V c S{(S{Q)~VSU S, S, Q, W c S~(S{W)|QSU S, S, R, Q c S~S~R|QSU S, S, R, U c S{(S{R)~USU S, S, T, U c (S{S)~T{USU S, S, T, X c SS{T~XSU S, S, U, Q c (S{S)~U|QSU S, S, U, R c S{(S{R)~USU S, S, U, T c S~S{U~TSU S, S, U, U c S~(S{U){USU S, S, U, X c S{S~X{USU S, S, V, Q c S~(S{V){QSU S, S, V, W c (S{VS)~WSU S, S, W, Q c S~(S{W)|QSU S, S, W, V c (S{VS)~WSU S, S, X, T c SS{X~TSU S, S, X, U c S{S~X{USU S, T, P, T c (S{T)~T{PSU S, T, P, V c S{(T{P)~VSU S, T, P, X c T~(P{X)|SSU S, T, Q, R c (S~T{R)~QSU S, T, Q, T c T~Q~T|SSU S, T, Q, U c S{(T{Q)~USU S, T, Q, V c S~(T{V)|QSU S, T, Q, W c S{T~W{QSU S, T, Q, X c S~(TQ{X)SU S, T, R, Q c (S~T{R)~QSU S, T, R, V c T~(R{V)|SSU S, T, R, W c (T{RS)~WSU S, T, R, X c S{(T{X)~RSU S, T, S, U c (S{S)~T{USU S, T, S, X c SS{T~XSU S, T, T, P c (S{T)~T{PSU S, T, T, Q c T~T~Q|SSU S, T, T, T c (T{T)~T|SSU S, T, T, U c S~(T{T){USU S, T, T, X c S~X{T{TSU S, T, U, Q c S~(T{U){QSU S, T, U, S c (S{U)~T|SSU S, T, U, T c S~(T{T){USU S, T, U, W c (S{T)~U|WSU S, T, V, P c S{(T{P)~VSU S, T, V, Q c S~(T{V)|QSU S, T, V, R c T~(V{R)|SSU S, T, V, V c S{T~V{VSU S, T, V, W c (V|TS)~WSU S, T, V, X c (S{V)~T|XSU S, T, W, Q c S{T~W{QSU S, T, W, R c (T{RS)~WSU S, T, W, U c S~(T{W)|USU S, T, W, V c W~(V|TS)SU S, T, W, X c S~W{T{XSU S, T, X, P c T~(X{P)|SSU S, T, X, Q c S~(TQ{X)SU S, T, X, R c S{(T{X)~RSU S, T, X, S c SS{T~XSU S, T, X, T c S~X{T{TSU S, T, X, V c (S{V)~T|XSU S, T, X, W c S~W{T{XSU S, U, O, V c S{(U{O)~VSU S, U, P, Q c (S~U|P)~QSU S, U, P, U c S{(U{P)~USU S, U, P, V c S{U~P~VSU S, U, P, W c S{U~(W|P)SU S, U, P, X c S~(P{X){USU S, U, Q, P c (S~U|P)~QSU S, U, Q, Q c S~U~Q|QSU S, U, Q, S c (S{S)~U|QSU S, U, Q, T c S{U~(Q{T)SU S, U, Q, U c S~(U{U)|QSU S, U, Q, W c S~(Q{W){USU S, U, Q, X c S{U~(X|Q)SU S, U, R, S c S{U~(R{S)SU S, U, R, V c S~(R{V){USU S, U, R, W c S{(U{W)~RSU S, U, R, X c U~(X|SR)SU S, U, S, Q c (S{S)~U|QSU S, U, S, R c S{U~(S{R)SU S, U, S, T c (S{U)~T|SSU S, U, S, U c (S{U)~S{USU S, U, S, X c S{U{S~XSU S, U, T, Q c S{U~(T{Q)SU S, U, T, S c (S{U)~T|SSU S, U, T, T c S~(T{T){USU S, U, T, W c (S{T)~U|WSU S, U, U, P c S{U~(U{P)SU S, U, U, Q c S~(U{U)|QSU S, U, U, S c (S{U)~S{USU S, U, U, U c S{U{U~USU S, U, U, V c S~(U{V)|USU S, U, U, W c S{U~W|USU S, U, V, O c S{U~V{OSU S, U, V, P c S{U~V~PSU S, U, V, R c S~V{U~RSU S, U, V, U c S~(U{V)|USU S, U, V, V c (SV{U)~VSU S, U, V, W c U~V|S{WSU S, U, W, P c S{U~(W|P)SU S, U, W, Q c S~(W{Q){USU S, U, W, R c S{(U{W)~RSU S, U, W, T c S~(W{T)|USU S, U, W, U c S{U~W|USU S, U, W, V c U~V|S{WSU S, U, W, W c S~W{U{WSU S, U, W, X c U{W~(X|S)SU S, U, X, P c S~(X{P){USU S, U, X, Q c S{U~(X|Q)SU S, U, X, R c U~(X|SR)SU S, U, X, S c S{U{X~SSU S, U, X, W c U{(X|S)~WSU S, V, O, U c S{(V{O)~USU S, V, P, T c S{V~(P{T)SU S, V, P, U c S{V~P~USU S, V, P, V c S{(V|P)~VSU S, V, Q, R c S{V~Q~RSU S, V, Q, S c S{V~(Q{S)SU S, V, Q, T c S~(V{T)|QSU S, V, Q, W c S~(VQ{W)SU S, V, Q, X c S~V{Q~XSU S, V, R, Q c S{V~R~QSU S, V, R, R c S{V~(R{R)SU S, V, R, T c (V{R)~T|SSU S, V, R, U c S~(V{R){USU S, V, R, V c S{(V{V)~RSU S, V, R, X c S{V~(X|R)SU S, V, S, Q c (S{V)~S{QSU S, V, S, W c (S{VS)~WSU S, V, T, P c S{V~(T{P)SU S, V, T, Q c S~(V{T)|QSU S, V, T, R c (V{R)~T|SSU S, V, T, V c S{V{T~VSU S, V, T, W c (V|TS)~WSU S, V, T, X c (S{V)~T|XSU S, V, U, O c S{V~U{OSU S, V, U, P c S{V~U~PSU S, V, U, R c S~V{U~RSU S, V, U, U c S~(V{U)|USU S, V, U, V c (SV{U)~VSU S, V, U, W c V~U|S{WSU S, V, V, P c S{V~(V|P)SU S, V, V, R c S{(V{V)~RSU S, V, V, T c S{V{V~TSU S, V, V, U c (SV{U)~VSU S, V, V, V c S{V~V|VSU S, V, V, W c S~W{V{VSU S, V, W, Q c S{V~(W|Q)SU S, V, W, S c (S{VS)~WSU S, V, W, T c (V|TS)~WSU S, V, W, U c (V~W)|(S{U)SU S, V, W, V c S~W{V{VSU S, V, X, Q c S~V{X~QSU S, V, X, R c S{V~(X|R)SU S, V, X, T c (S{V)~T|XSU S, V, X, X c S~V{X{XSU S, W, P, U c S{(W|P)~USU S, W, Q, Q c (S{Q)~W|QSU S, W, Q, R c S~(W{R){QSU S, W, Q, S c (S{W)~S|QSU S, W, Q, T c S{W~T{QSU S, W, Q, U c S~(W{Q){USU S, W, Q, V c S{(W|Q)~VSU S, W, Q, X c (S~W|X)~QSU S, W, R, Q c S~(W{R){QSU S, W, R, T c W~(RS{T)SU S, W, R, U c S{(W{U)~RSU S, W, S, Q c (S{W)~S|QSU S, W, S, V c (S{VS)~WSU S, W, T, Q c S{W~T{QSU S, W, T, R c W~(T{RS)SU S, W, T, U c S~(W{T)|USU S, W, T, V c W~(V|TS)SU S, W, T, X c S~W{T{XSU S, W, U, P c S{(W|P)~USU S, W, U, Q c S~(W{Q){USU S, W, U, R c S{(W{U)~RSU S, W, U, T c S~(W{T)|USU S, W, U, U c S{W~U|USU S, W, U, V c W|S{U~VSU S, W, U, W c S~W{U{WSU S, W, U, X c W~(X|S){USU S, W, V, Q c S~W{V~QSU S, W, V, S c (S{VS)~WSU S, W, V, T c W~(V|TS)SU S, W, V, U c W|S{V~USU S, W, V, V c S~W{V{VSU S, W, W, U c S~W{W{USU S, W, W, X c W~(W|XS)SU S, W, X, Q c (S~W|X)~QSU S, W, X, T c S~W{X{TSU S, W, X, U c W~(X|S){USU S, W, X, W c (W|XS)~WSU S, X, P, P c (S{P)~X{PSU S, X, P, T c (X{P)~T|SSU S, X, P, U c S~(X{P){USU S, X, P, X c S~X{P{XSU S, X, Q, Q c S~(X{Q){QSU S, X, Q, R c S~(X{R)|QSU S, X, Q, T c S~X{Q~TSU S, X, Q, U c S{(X|Q)~USU S, X, Q, V c S~(XQ{V)SU S, X, Q, W c S~X{Q{WSU S, X, R, Q c S~(X{R)|QSU S, X, R, T c S{(X{T)~RSU S, X, R, U c (X|SR)~USU S, X, R, V c S{(X|R)~VSU S, X, S, T c SS{X~TSU S, X, S, U c S{X~S{USU S, X, T, P c (X{P)~T|SSU S, X, T, Q c S~X{T~QSU S, X, T, R c S{(X{T)~RSU S, X, T, S c SS{X~TSU S, X, T, T c S~X{T{TSU S, X, T, V c (S{V)~T|XSU S, X, T, W c S~W{X{TSU S, X, U, P c S~(X{P){USU S, X, U, Q c S{(X|Q)~USU S, X, U, R c (X|SR)~USU S, X, U, S c S~X{U{SSU S, X, U, W c (X|S)~W{USU S, X, V, Q c S~(XQ{V)SU S, X, V, R c S~X{V{RSU S, X, V, T c (S{V)~T|XSU S, X, V, X c S~V{X{XSU S, X, W, Q c S~X{W{QSU S, X, W, T c S~W{X{TSU S, X, W, U c (X|S)~W{USU S, X, W, W c (W|XS)~WSU S, X, X, P c S~X{X{PSU S, X, X, V c S~V{X{XSU T, O, P, X c (T{O)~X{PSU T, O, U, W c (T{O)~W{USU T, O, W, U c (T{O)~W{USU T, O, X, P c (T{O)~X{PSU T, P, O, X c (T{O)~X{PSU T, P, P, W c T~(P{W){PSU T, P, P, X c T~P~X{PSU T, P, Q, V c T~(Q{V){PSU T, P, Q, W c (T{P)~W|QSU T, P, Q, X c T~X|P{QSU T, P, R, R c T~R~R{PSU T, P, R, U c T~(R{U){PSU T, P, S, T c (T{S)~T{PSU T, P, S, V c (T{P)~V{SSU T, P, S, X c T~(P{X)|SSU T, P, T, S c T~(T{S){PSU T, P, T, W c T{P{T~WSU T, P, T, X c T~(PT{X)SU T, P, U, R c T~(U{R){PSU T, P, U, V c T|P{U~VSU T, P, U, W c T~P~W{USU T, P, U, X c T~(X|P){USU T, P, V, Q c T~(V{Q){PSU T, P, V, S c (T{P)~V{SSU T, P, V, U c T|P{V~USU T, P, V, W c T~W|P{VSU T, P, W, P c T~(P{W){PSU T, P, W, Q c (T{P)~W|QSU T, P, W, T c T{P{W~TSU T, P, W, U c T~P~W{USU T, P, W, V c T~W|P{VSU T, P, W, X c (T{P)~X|WSU T, P, X, O c T~X{P{OSU T, P, X, P c T~P~X{PSU T, P, X, Q c T~X|P{QSU T, P, X, S c T~(P{X)|SSU T, P, X, T c T~(PT{X)SU T, P, X, U c T~(X|P){USU T, P, X, W c (T{P)~X|WSU T, P, X, X c (T{PX)~XSU T, Q, P, V c T~(Q{V){PSU T, Q, P, W c (T{P)~W|QSU T, Q, P, X c T~X{Q|PSU T, Q, Q, T c (T~T|Q)~QSU T, Q, Q, X c (T{Q~X)~QSU T, Q, R, S c (T~S{R)~QSU T, Q, R, U c (T{R)~U|QSU T, Q, R, V c (T{Q)~V|RSU T, Q, R, W c (T~R{W)~QSU T, Q, R, X c T~X|Q{RSU T, Q, S, R c (T~S{R)~QSU T, Q, S, T c T~Q~T|SSU T, Q, S, U c T~Q~S{USU T, Q, S, V c (T{V)~S|QSU T, Q, S, W c T~(Q{W)|SSU T, Q, S, X c T~Q{S~XSU T, Q, T, Q c (T~T|Q)~QSU T, Q, T, S c T~Q~T|SSU T, Q, U, R c (T{U~R)~QSU T, Q, U, S c (T{Q)~U{SSU T, Q, U, U c T~(Q{U){USU T, Q, U, V c (T~U|V)~QSU T, Q, U, W c T~U{Q~WSU T, Q, V, P c T~(Q{V){PSU T, Q, V, R c (T{Q)~V|RSU T, Q, V, S c (T{V)~S|QSU T, Q, V, U c (T~U|V)~QSU T, Q, V, V c Q{V~V|TSU T, Q, V, W c V~W|T~QSU T, Q, V, X c T~V{Q{XSU T, Q, W, P c (T{P)~W|QSU T, Q, W, R c T~W{Q~RSU T, Q, W, S c T~(Q{W)|SSU T, Q, W, U c T~U{Q~WSU T, Q, W, V c W~V|T~QSU T, Q, W, W c T~W|Q{WSU T, Q, X, P c T~X{Q|PSU T, Q, X, Q c (T{Q~X)~QSU T, Q, X, R c T~X|Q{RSU T, Q, X, S c T~Q{X~SSU T, Q, X, V c T~V{Q{XSU T, Q, X, X c T~(Q{X)|XSU T, R, P, R c T~R~R{PSU T, R, P, U c T~(R{U){PSU T, R, Q, S c (T~S{R)~QSU T, R, Q, U c (T{R)~U|QSU T, R, Q, V c (T{Q)~V|RSU T, R, Q, W c (T~R{W)~QSU T, R, Q, X c T~X{R|QSU T, R, R, P c T~R~R{PSU T, R, R, W c T~W{R{RSU T, R, R, X c T~X{RRSU T, R, S, Q c (T~S{R)~QSU T, R, S, V c T~(R{V)|SSU T, R, S, W c (T{RS)~WSU T, R, S, X c (T{X)~R{SSU T, R, T, U c (T{R)~T{USU T, R, T, V c T~T{R~VSU T, R, U, P c T~(R{U){PSU T, R, U, Q c (T{R)~U|QSU T, R, U, T c (T{R)~T{USU T, R, U, U c (TR{U)~USU T, R, U, W c (T{WR)~USU T, R, U, X c (U~X)|(T{R)SU T, R, V, Q c (T{Q)~V|RSU T, R, V, S c T~(R{V)|SSU T, R, V, T c T~T{R~VSU T, R, V, W c T~V{R{WSU T, R, W, Q c (T~R{W)~QSU T, R, W, R c T~W{R{RSU T, R, W, S c (T{RS)~WSU T, R, W, U c (T{WR)~USU T, R, W, V c (T{W)~R{VSU T, R, W, X c T~(R{W)|XSU T, R, X, Q c T~X{R|QSU T, R, X, R c T~X{RRSU T, R, X, S c (T{X)~R{SSU T, R, X, U c (X~U)|(T{R)SU T, R, X, W c T~(R{W)|XSU T, S, P, T c (T{S)~T{PSU T, S, P, V c (T{P)~V{SSU T, S, P, X c T~(P{X)|SSU T, S, Q, R c (T~S{R)~QSU T, S, Q, T c T~Q~T|SSU T, S, Q, U c T~S~Q{USU T, S, Q, V c (T{V)~S|QSU T, S, Q, W c T~(Q{W)|SSU T, S, Q, X c T~Q{S~XSU T, S, R, Q c (T~S{R)~QSU T, S, R, V c T~(R{V)|SSU T, S, R, W c (T{RS)~WSU T, S, R, X c T~X{S|RSU T, S, S, U c T~(S{S){USU T, S, S, X c T~X{SSSU T, S, T, P c (T{S)~T{PSU T, S, T, Q c T~T~Q|SSU T, S, T, T c (T{T)~T|SSU T, S, T, U c (T{T)~S{USU T, S, T, X c T|S{T~XSU T, S, U, Q c T~S~Q{USU T, S, U, S c T~(S{U)|SSU T, S, U, T c (T{T)~S{USU T, S, U, W c (T{S)~U|WSU T, S, V, P c (T{P)~V{SSU T, S, V, Q c (T{V)~S|QSU T, S, V, R c T~(V{R)|SSU T, S, V, V c T~V{S{VSU T, S, V, W c (V|TS)~WSU T, S, V, X c T~(S{V)|XSU T, S, W, Q c T~W{S{QSU T, S, W, R c (T{RS)~WSU T, S, W, U c (T{S)~U|WSU T, S, W, V c W~(V|TS)SU T, S, W, X c T{S~W{XSU T, S, X, P c T~(X{P)|SSU T, S, X, Q c T~Q{S~XSU T, S, X, R c T~X{S|RSU T, S, X, S c T~X{SSSU T, S, X, T c T{S~X{TSU T, S, X, V c T~(S{V)|XSU T, S, X, W c T{S~W{XSU T, T, P, S c T~(T{S){PSU T, T, P, W c T{T~W{PSU T, T, P, X c T~(PT{X)SU T, T, Q, Q c (T~T|Q)~QSU T, T, Q, S c T~T~Q|SSU T, T, R, U c T~(T{R){USU T, T, R, V c T~T{R~VSU T, T, S, P c T~(T{S){PSU T, T, S, Q c T~T~Q|SSU T, T, S, T c (T{T)~T|SSU T, T, S, U c (T{T)~S{USU T, T, S, X c T{T{S~XSU T, T, T, S c (T{T)~T|SSU T, T, T, X c TT{T~XSU T, T, U, R c T~(T{R){USU T, T, U, S c (T{T)~S{USU T, T, U, U c T{T{U~USU T, T, U, V c T{T~V{USU T, T, U, W c T~(UT{W)SU T, T, U, X c T~(T{U)|XSU T, T, V, R c T~T{V~RSU T, T, V, U c T{T~V{USU T, T, V, W c (V~W)|(T{T)SU T, T, W, P c T{T~W{PSU T, T, W, U c T~(W{UT)SU T, T, W, V c (W~V)|(T{T)SU T, T, X, P c T~(X{PT)SU T, T, X, S c T{T{X~SSU T, T, X, T c TT{X~TSU T, T, X, U c T~(T{U)|XSU T, U, O, W c (T{O)~W{USU T, U, P, R c T~(U{R){PSU T, U, P, V c T{U~V|PSU T, U, P, W c T~P~W{USU T, U, P, X c T~(X|P){USU T, U, Q, R c (T{U~R)~QSU T, U, Q, S c (T{U)~S{QSU T, U, Q, U c T~(U{Q){USU T, U, Q, V c (T~U|V)~QSU T, U, Q, W c T~U{Q~WSU T, U, R, P c T~(U{R){PSU T, U, R, Q c (T{U~R)~QSU T, U, R, T c (T{R)~T{USU T, U, R, U c (TR{U)~USU T, U, R, W c (T{WR)~USU T, U, R, X c (U~X)|(T{R)SU T, U, S, Q c (T{U)~S{QSU T, U, S, S c T~(U{S)|SSU T, U, S, T c (T{T)~S{USU T, U, S, W c (T{S)~U|WSU T, U, T, R c T~(T{R){USU T, U, T, S c (T{T)~S{USU T, U, T, U c T{U~U{TSU T, U, T, V c T{U{T~VSU T, U, T, W c T~(UT{W)SU T, U, T, X c (T{U)~T|XSU T, U, U, Q c T~(U{Q){USU T, U, U, R c (TR{U)~USU T, U, U, T c T{U~U{TSU T, U, U, X c T~X{UUSU T, U, V, P c T{U~V|PSU T, U, V, Q c (T~U|V)~QSU T, U, V, T c T{U{V~TSU T, U, V, W c T{U~W|VSU T, U, V, X c T~U{V{XSU T, U, W, O c T~W{U{OSU T, U, W, P c T~W{U~PSU T, U, W, Q c T~U{W~QSU T, U, W, R c (T{WR)~USU T, U, W, S c (T{W)~S|USU T, U, W, T c T~(UT{W)SU T, U, W, V c T{U~W|VSU T, U, W, W c (T{UW)~WSU T, U, X, P c T~(X|P){USU T, U, X, R c (U~X)|(T{R)SU T, U, X, T c (T{U)~T|XSU T, U, X, U c T~X{UUSU T, U, X, V c T~U{X{VSU T, V, P, Q c T~(V{Q){PSU T, V, P, S c (T{P)~V{SSU T, V, P, U c T~(V{P){USU T, V, P, W c T~W{V|PSU T, V, Q, P c T~(V{Q){PSU T, V, Q, R c (T{Q)~V|RSU T, V, Q, S c (T{V)~S|QSU T, V, Q, U c (T~U|V)~QSU T, V, Q, V c V~V|T{QSU T, V, Q, W c V~W|T~QSU T, V, Q, X c T~V{Q{XSU T, V, R, Q c (T{Q)~V|RSU T, V, R, S c T~(V{R)|SSU T, V, R, T c T~T{V~RSU T, V, R, W c T~V{R{WSU T, V, S, P c (T{P)~V{SSU T, V, S, Q c (T{V)~S|QSU T, V, S, R c T~(V{R)|SSU T, V, S, V c T~V{S{VSU T, V, S, W c (V|TS)~WSU T, V, S, X c T~(V{S)|XSU T, V, T, R c T~T{V~RSU T, V, T, U c T{V~T{USU T, V, T, W c (V~W)|(T{T)SU T, V, U, P c T{V~U|PSU T, V, U, Q c (T~U|V)~QSU T, V, U, T c T~V{U{TSU T, V, U, W c T{U~W|VSU T, V, U, X c T~U{V{XSU T, V, V, Q c V~V|T{QSU T, V, V, S c T~V{V{SSU T, V, V, W c T{V~V|WSU T, V, V, X c T~X{VVSU T, V, W, P c T~W{V|PSU T, V, W, Q c V~W|T~QSU T, V, W, R c T~V{W{RSU T, V, W, S c (V|TS)~WSU T, V, W, T c (V~W)|(T{T)SU T, V, W, U c T{W~U|VSU T, V, W, V c T{V~V|WSU T, V, W, X c T~X|V{WSU T, V, X, Q c T~V{X{QSU T, V, X, S c T~(V{S)|XSU T, V, X, U c T~X{V|USU T, V, X, V c T~X{VVSU T, V, X, W c T~X|V{WSU T, V, X, X c X~X|T~VSU T, W, O, U c T~W{O{USU T, W, P, P c T~(W{P){PSU T, W, P, Q c (T{P)~W|QSU T, W, P, T c T~W{P{TSU T, W, P, U c T~W{P~USU T, W, P, V c T~W|P{VSU T, W, P, X c (T{P)~X|WSU T, W, Q, P c (T{P)~W|QSU T, W, Q, R c T~W{Q~RSU T, W, Q, S c T~W{Q{SSU T, W, Q, U c T~U{W~QSU T, W, Q, V c W~V|T~QSU T, W, Q, W c T~W|Q{WSU T, W, R, Q c T~W{R~QSU T, W, R, R c T~W{R{RSU T, W, R, S c (T{RS)~WSU T, W, R, U c (T{WR)~USU T, W, R, V c (T{W)~R{VSU T, W, R, X c T~(W{R)|XSU T, W, S, Q c T~W{S{QSU T, W, S, R c (T{RS)~WSU T, W, S, U c (T{W)~S|USU T, W, S, V c W~(V|TS)SU T, W, S, X c T{W~S{XSU T, W, T, P c T{W~T{PSU T, W, T, U c T~(W{UT)SU T, W, T, V c (W~V)|(T{T)SU T, W, U, O c T~W{U{OSU T, W, U, P c T~W{U~PSU T, W, U, Q c T~U{W~QSU T, W, U, R c (T{WR)~USU T, W, U, S c (T{W)~S|USU T, W, U, T c T~(W{UT)SU T, W, U, V c T{W~U|VSU T, W, U, W c (T{UW)~WSU T, W, V, P c T~W{V|PSU T, W, V, Q c W~V|T~QSU T, W, V, R c (T{W)~R{VSU T, W, V, S c W~(V|TS)SU T, W, V, T c (W~V)|(T{T)SU T, W, V, U c T{W~U|VSU T, W, V, V c T{V~V|WSU T, W, V, X c T~X{W|VSU T, W, W, Q c T~W{W|QSU T, W, W, U c (T{UW)~WSU T, W, W, X c T~X{WWSU T, W, X, P c (T{P)~X|WSU T, W, X, R c T~W{X|RSU T, W, X, S c T{W~S{XSU T, W, X, V c T~X{W|VSU T, W, X, W c T~X{WWSU T, W, X, X c T~X|W{XSU T, X, O, P c T~X{O{PSU T, X, P, O c T~X{P{OSU T, X, P, P c T~X{P~PSU T, X, P, Q c T~X|P{QSU T, X, P, S c T~(X{P)|SSU T, X, P, T c T~(X{PT)SU T, X, P, U c T~(X|P){USU T, X, P, W c (T{P)~X|WSU T, X, P, X c (T{PX)~XSU T, X, Q, P c T~X{Q|PSU T, X, Q, Q c (T{X~Q)~QSU T, X, Q, R c T~X|Q{RSU T, X, Q, S c T~Q{X~SSU T, X, Q, V c T~V{X{QSU T, X, Q, X c T~(X{Q)|XSU T, X, R, Q c T~X{R|QSU T, X, R, R c T~X{RRSU T, X, R, S c (T{X)~R{SSU T, X, R, U c (X~U)|(T{R)SU T, X, R, W c T~(R{W)|XSU T, X, S, P c T~(X{P)|SSU T, X, S, Q c T~Q{X~SSU T, X, S, R c T~X{S|RSU T, X, S, S c T~X{SSSU T, X, S, T c T{X~S{TSU T, X, S, V c T~(S{V)|XSU T, X, S, W c T{X{S~WSU T, X, T, P c T~(X{PT)SU T, X, T, S c T{X~T|SSU T, X, T, T c T~X{TTSU T, X, T, U c T~X|T{USU T, X, U, P c T~(X|P){USU T, X, U, R c (X~U)|(T{R)SU T, X, U, T c T~X{U|TSU T, X, U, U c T~X{UUSU T, X, U, V c T~X|U{VSU T, X, V, Q c T~V{X{QSU T, X, V, S c T~(V{S)|XSU T, X, V, U c T~X{V|USU T, X, V, V c T~X{VVSU T, X, V, W c T~X|V{WSU T, X, V, X c X~X|T~VSU T, X, W, P c (T{P)~X|WSU T, X, W, R c T~W{X|RSU T, X, W, S c T{X{W~SSU T, X, W, V c T~X{W|VSU T, X, W, W c T~X{WWSU T, X, W, X c T~X|W{XSU T, X, X, P c (T{PX)~XSU T, X, X, Q c (T{X{X)~QSU T, X, X, V c X~X|T~VSU T, X, X, W c T~X{X|WSU T, X, X, X c T~X{XXSU U, O, Q, W c (U{O)~W|QSU U, O, S, V c (U{O)~V{SSU U, O, T, W c U{O{T~WSU U, O, V, S c (U{O)~V{SSU U, O, W, Q c (U{O)~W|QSU U, O, W, T c U{O{W~TSU U, O, W, X c (U{O)~X|WSU U, O, X, W c (U{O)~X|WSU U, P, P, W c (U~W)|(P{P)SU U, P, P, X c (U|P)~X{PSU U, P, Q, S c (U~S|P)~QSU U, P, Q, V c U~(P{V)|QSU U, P, Q, W c U~P~W|QSU U, P, Q, X c U~(X|P)|QSU U, P, R, T c (U{R)~T{PSU U, P, R, V c (U{P)~V|RSU U, P, R, W c U~W{P|RSU U, P, R, X c (U{X)~R{PSU U, P, S, Q c (U~S|P)~QSU U, P, S, U c (U{P)~U{SSU U, P, S, V c U~P~V{SSU U, P, S, W c U{(P{S)~WSU U, P, S, X c U{(P{X)~SSU U, P, T, R c (U{R)~T{PSU U, P, T, V c U{(P{V)~TSU U, P, T, W c U{P~T~WSU U, P, T, X c U{T~(X|P)SU U, P, U, S c (U{P)~U{SSU U, P, U, W c (U|P)~W{USU U, P, U, X c U~U{P{XSU U, P, V, Q c U~(P{V)|QSU U, P, V, R c (U{P)~V|RSU U, P, V, S c U~P~V{SSU U, P, V, T c U{(P{V)~TSU U, P, V, X c (U~X)|(P{V)SU U, P, W, P c (U~W)|(P{P)SU U, P, W, Q c U~P~W|QSU U, P, W, R c U~W{P|RSU U, P, W, S c U{(P{S)~WSU U, P, W, T c U{P~W~TSU U, P, W, U c (U|P)~W{USU U, P, W, W c U~(P{W)|WSU U, P, W, X c U~P~X|WSU U, P, X, P c (U|P)~X{PSU U, P, X, Q c U~(X|P)|QSU U, P, X, R c (U{X)~R{PSU U, P, X, S c U{(P{X)~SSU U, P, X, T c U{(X|P)~TSU U, P, X, U c U~U{P{XSU U, P, X, V c (U~X)|(P{V)SU U, P, X, W c U~P~X|WSU U, P, X, X c U~X{P|XSU U, Q, O, W c (U{O)~W|QSU U, Q, P, S c (U~S|P)~QSU U, Q, P, V c U~(P{V)|QSU U, Q, P, W c U~P~W|QSU U, Q, P, X c U~(X|P)|QSU U, Q, Q, S c U~Q~S|QSU U, Q, Q, U c (U{Q)~U|QSU U, Q, Q, V c U~V{Q{QSU U, Q, R, T c U~(R{T)|QSU U, Q, R, V c U~(QR{V)SU U, Q, R, W c U{(Q{R)~WSU U, Q, S, P c (U~S|P)~QSU U, Q, S, Q c U~Q~S|QSU U, Q, S, S c U~(S{S)|QSU U, Q, S, T c U{Q~S~TSU U, Q, S, U c (U{U)~S|QSU U, Q, S, W c U{(Q{W)~SSU U, Q, S, X c U~(X|Q){SSU U, Q, T, R c U~(T{R)|QSU U, Q, T, S c U{Q~T~SSU U, Q, T, U c (U{Q)~T{USU U, Q, T, V c (U~T|V)~QSU U, Q, T, W c U~T{Q~WSU U, Q, U, Q c (U{Q)~U|QSU U, Q, U, S c (U{U)~S|QSU U, Q, U, T c U{(Q{U)~TSU U, Q, U, V c U|Q{U~VSU U, Q, U, W c U~U{Q{WSU U, Q, U, X c (U~X)|(Q{U)SU U, Q, V, P c U~(V{P)|QSU U, Q, V, Q c U~V{Q{QSU U, Q, V, R c U~(QR{V)SU U, Q, V, T c (U~T|V)~QSU U, Q, V, U c U|Q{V~USU U, Q, V, V c V~V|UQSU U, Q, V, W c U~(Q{V)|WSU U, Q, W, O c U~W|Q{OSU U, Q, W, P c U~W|Q~PSU U, Q, W, R c U{(Q{R)~WSU U, Q, W, S c U{(Q{W)~SSU U, Q, W, T c U~T{Q~WSU U, Q, W, U c U~(W|QU)SU U, Q, W, V c U~(Q{V)|WSU U, Q, W, W c (U|QW)~WSU U, Q, W, X c (U{W{X)~QSU U, Q, X, P c U~(X|P)|QSU U, Q, X, S c U~(X|Q){SSU U, Q, X, U c (U~X)|(Q{U)SU U, Q, X, W c (U{X{W)~QSU U, R, P, T c (U{R)~T{PSU U, R, P, V c (U{P)~V|RSU U, R, P, W c U~W|R{PSU U, R, P, X c (U{X)~R{PSU U, R, Q, T c U~(R{T)|QSU U, R, Q, V c U~(QR{V)SU U, R, Q, W c U{(R{Q)~WSU U, R, R, W c U~R~R|WSU U, R, S, S c U~(R{S){SSU U, R, S, V c U~R{S~VSU U, R, S, W c (U{W)~R{SSU U, R, S, X c U~(X|SR)SU U, R, T, P c (U{R)~T{PSU U, R, T, Q c U~(R{T)|QSU U, R, T, T c U{(R{T)~TSU U, R, T, U c (U{TR)~USU U, R, T, W c U~(T{WR)SU U, R, T, X c (U~X)|(R{T)SU U, R, U, T c U~(U{TR)SU U, R, U, V c U~U{R{VSU U, R, U, W c (U{R)~U|WSU U, R, V, P c U~V{R{PSU U, R, V, Q c U~(V{QR)SU U, R, V, S c U{(R{V)~SSU U, R, V, U c U~U{R{VSU U, R, V, V c (U{V)~R{VSU U, R, W, P c U~W|R{PSU U, R, W, Q c U{(R{Q)~WSU U, R, W, R c U~R~R|WSU U, R, W, S c (U{W)~R{SSU U, R, W, T c U~W{R|TSU U, R, W, U c (U{R)~U|WSU U, R, W, W c U{(W|R)~WSU U, R, W, X c U~(W|RX)SU U, R, X, P c (U{X)~R{PSU U, R, X, S c U~(X|SR)SU U, R, X, T c (U~X)|(R{T)SU U, R, X, W c U~(W|RX)SU U, S, O, V c (U{O)~V{SSU U, S, P, Q c (U~S|P)~QSU U, S, P, U c (U{P)~U{SSU U, S, P, V c U~P~V{SSU U, S, P, W c U{(S{P)~WSU U, S, P, X c U{S~(P{X)SU U, S, Q, P c (U~S|P)~QSU U, S, Q, Q c U~S~Q|QSU U, S, Q, S c U~(S{S)|QSU U, S, Q, T c U{S~Q~TSU U, S, Q, U c (U{U)~S|QSU U, S, Q, W c U{S~(Q{W)SU U, S, Q, X c U~X|S~QSU U, S, R, S c U~(S{R){SSU U, S, R, V c U{S~(R{V)SU U, S, R, W c (U{W)~R{SSU U, S, R, X c U~(X|SR)SU U, S, S, Q c U~(S{S)|QSU U, S, S, R c U~(S{R){SSU U, S, S, T c U{(S{S)~TSU U, S, S, U c (U{S)~S{USU U, S, S, X c U{S{S~XSU U, S, T, Q c U{S~T~QSU U, S, T, S c (U{S)~T|SSU U, S, T, T c U{S~(T{T)SU U, S, T, W c U~(S{T)|WSU U, S, U, P c U~(U{P){SSU U, S, U, Q c (U{U)~S|QSU U, S, U, S c U{(S{U)~SSU U, S, U, U c U{S{U~USU U, S, U, V c U~(SU{V)SU U, S, U, W c U~W{S|USU U, S, V, O c U~V{S{OSU U, S, V, P c U~V{S~PSU U, S, V, R c U{S~(V{R)SU U, S, V, U c U~(SU{V)SU U, S, V, V c (U{SV)~VSU U, S, V, W c U~V|S{WSU U, S, W, P c U{(S{P)~WSU U, S, W, Q c U{S~(W{Q)SU U, S, W, R c (U{W)~R{SSU U, S, W, T c U~(S{T)|WSU U, S, W, U c U~W{S|USU U, S, W, V c U~V|S{WSU U, S, W, W c U{S~W{WSU U, S, W, X c U{W~(X|S)SU U, S, X, P c U{S~(X{P)SU U, S, X, Q c U~X|S~QSU U, S, X, R c U~(X|SR)SU U, S, X, S c U{S{X~SSU U, S, X, W c U{(X|S)~WSU U, T, O, W c U{(T{O)~WSU U, T, P, R c (U{R)~T{PSU U, T, P, V c U{T~(P{V)SU U, T, P, W c U{T~P~WSU U, T, P, X c U{T~(X|P)SU U, T, Q, R c U~(T{R)|QSU U, T, Q, S c U{T~Q~SSU U, T, Q, U c U{T~(Q{U)SU U, T, Q, V c (U~T|V)~QSU U, T, Q, W c U~T{Q~WSU U, T, R, P c (U{R)~T{PSU U, T, R, Q c U~(T{R)|QSU U, T, R, T c U{(T{R)~TSU U, T, R, U c (U{TR)~USU U, T, R, W c U~(T{WR)SU U, T, R, X c (U~X)|(T{R)SU U, T, S, Q c (U{T)~S{QSU U, T, S, S c U{T~(S{S)SU U, T, S, T c U{(T{T)~SSU U, T, S, W c U~(T{S)|WSU U, T, T, R c U{T~(T{R)SU U, T, T, S c U{(T{T)~SSU U, T, T, U c U~U{T{TSU U, T, T, V c U{T{T~VSU U, T, T, W c (UT{W)~TSU U, T, T, X c (U{T)~T|XSU U, T, U, Q c U{T~(U{Q)SU U, T, U, R c (U{TR)~USU U, T, U, T c U~U{T{TSU U, T, U, X c UU{T~XSU U, T, V, P c U{T~(V{P)SU U, T, V, Q c (U~T|V)~QSU U, T, V, T c U{T{V~TSU U, T, V, W c U~W{T|VSU U, T, V, X c U~T{V{XSU U, T, W, O c U{T~W{OSU U, T, W, P c U{T~W~PSU U, T, W, Q c U~T{W~QSU U, T, W, R c U~(T{WR)SU U, T, W, S c U~(T{S)|WSU U, T, W, T c (UT{W)~TSU U, T, W, V c U~W{T|VSU U, T, W, W c U~T{W{WSU U, T, X, P c U{T~(X|P)SU U, T, X, R c (U~X)|(T{R)SU U, T, X, T c U{T~X|TSU U, T, X, U c UU{T~XSU U, T, X, V c U~T{X{VSU U, U, P, S c U~(U{P){SSU U, U, P, W c U{(U|P)~WSU U, U, P, X c U~U{P{XSU U, U, Q, Q c U~(U{Q)|QSU U, U, Q, S c (U{U)~S|QSU U, U, Q, T c U{(U{Q)~TSU U, U, Q, V c U{U~V|QSU U, U, Q, W c U~U{Q{WSU U, U, Q, X c (U~X)|(U{Q)SU U, U, R, T c U~(U{TR)SU U, U, R, V c U~U{R{VSU U, U, R, W c U~(U{R)|WSU U, U, S, P c U~(U{P){SSU U, U, S, Q c (U{U)~S|QSU U, U, S, S c U{(U{S)~SSU U, U, S, U c U~U{S{USU U, U, S, V c U~(SU{V)SU U, U, S, W c U~W|U{SSU U, U, T, Q c U~U{T~QSU U, U, T, R c U~(U{TR)SU U, U, T, T c U~U{T{TSU U, U, T, X c UU{T~XSU U, U, U, S c U{U~U{SSU U, U, V, Q c U{U~V|QSU U, U, V, R c U~U{V{RSU U, U, V, S c (U{V)~S|USU U, U, V, X c U~(UX{V)SU U, U, W, P c U{(U|P)~WSU U, U, W, Q c U~U{W{QSU U, U, W, R c U~(U{R)|WSU U, U, W, S c U~W|U{SSU U, U, W, W c U{U~W|WSU U, U, W, X c U~(X|WU)SU U, U, X, P c U~U{X{PSU U, U, X, Q c (U~X)|(U{Q)SU U, U, X, T c UU{X~TSU U, U, X, V c U~(UX{V)SU U, U, X, W c U~(X|WU)SU U, V, O, S c U~V{O{SSU U, V, P, Q c U~(V{P)|QSU U, V, P, R c U~V{P{RSU U, V, P, S c U~V{P~SSU U, V, P, T c U{(V{P)~TSU U, V, P, X c (U~X)|(V{P)SU U, V, Q, P c U~(V{P)|QSU U, V, Q, Q c U~V{Q{QSU U, V, Q, R c U~(V{QR)SU U, V, Q, T c (U~T|V)~QSU U, V, Q, U c U~V|Q{USU U, V, Q, V c V~V|UQSU U, V, Q, W c U{(V|Q)~WSU U, V, R, P c U~V{R{PSU U, V, R, Q c U~(V{QR)SU U, V, R, S c U{(V{R)~SSU U, V, R, U c U~U{V{RSU U, V, R, V c (U{V)~R{VSU U, V, S, O c U~V{S{OSU U, V, S, P c U~V{S~PSU U, V, S, R c U{(V{R)~SSU U, V, S, U c (U{V)~S|USU U, V, S, V c (U{SV)~VSU U, V, S, W c U~V|S{WSU U, V, T, P c U~V{T|PSU U, V, T, Q c (U~T|V)~QSU U, V, T, T c U{V~T{TSU U, V, T, W c U~W|V{TSU U, V, T, X c U~V|T{XSU U, V, U, Q c U{V~U|QSU U, V, U, R c U~U{V{RSU U, V, U, S c (U{V)~S|USU U, V, U, X c U~(V{UX)SU U, V, V, Q c V~V|UQSU U, V, V, R c U~V{V|RSU U, V, V, S c (U{SV)~VSU U, V, V, X c U{V~V|XSU U, V, W, Q c U~V{WQSU U, V, W, S c U~V{W|SSU U, V, W, T c U~W|V{TSU U, V, W, X c U~W{V|XSU U, V, X, P c (U~X)|(V{P)SU U, V, X, T c U~V{X|TSU U, V, X, U c U~(V{UX)SU U, V, X, V c U{V~V|XSU U, V, X, W c U~W{V|XSU U, W, O, Q c U~W{O|QSU U, W, O, T c U{(W{O)~TSU U, W, O, X c (U{O)~X|WSU U, W, P, P c (U~W)|(P{P)SU U, W, P, Q c U~W|P~QSU U, W, P, R c U~W{P|RSU U, W, P, S c U{W~(P{S)SU U, W, P, T c U{W~P~TSU U, W, P, U c U{W~(U|P)SU U, W, P, W c U~(W{P)|WSU U, W, P, X c U~P~X|WSU U, W, Q, O c U~W|Q{OSU U, W, Q, P c U~W|Q~PSU U, W, Q, R c U{W~(Q{R)SU U, W, Q, S c U{(W{Q)~SSU U, W, Q, T c U~T{W~QSU U, W, Q, U c U~(W|QU)SU U, W, Q, V c U{W~(V|Q)SU U, W, Q, W c (U|QW)~WSU U, W, Q, X c (U{W{X)~QSU U, W, R, P c U~W|R{PSU U, W, R, Q c U{W~(R{Q)SU U, W, R, R c U~R~R|WSU U, W, R, S c (U{W)~R{SSU U, W, R, T c U~W{R|TSU U, W, R, U c U~W|URSU U, W, R, W c U{(W|R)~WSU U, W, R, X c U~(W|RX)SU U, W, S, P c U{W~(S{P)SU U, W, S, Q c U~W|S{QSU U, W, S, R c (U{W)~R{SSU U, W, S, T c U~(S{T)|WSU U, W, S, U c U~W{S|USU U, W, S, V c U~V{W|SSU U, W, S, W c U{W{S~WSU U, W, S, X c U{W~(X|S)SU U, W, T, O c U{W~T{OSU U, W, T, P c U{W~T~PSU U, W, T, Q c U~T{W~QSU U, W, T, R c U~W|T{RSU U, W, T, S c U~(T{S)|WSU U, W, T, T c (UT{W)~TSU U, W, T, V c U~W{T|VSU U, W, T, W c (UW{T)~WSU U, W, U, P c U{W~(U|P)SU U, W, U, Q c U~(W|QU)SU U, W, U, R c U~W|URSU U, W, U, S c U~W|U{SSU U, W, U, W c U{W~U|WSU U, W, U, X c U~(X|WU)SU U, W, V, Q c U{W~(V|Q)SU U, W, V, S c U~V{W|SSU U, W, V, T c U~W|V{TSU U, W, V, X c U~W{V|XSU U, W, W, P c U~(W{P)|WSU U, W, W, Q c (U|QW)~WSU U, W, W, R c U{W~(W|R)SU U, W, W, S c U{W{W~SSU U, W, W, T c (UW{T)~WSU U, W, W, U c U~W|W{USU U, W, X, O c U~X|W{OSU U, W, X, P c U~X|W~PSU U, W, X, Q c (U{W{X)~QSU U, W, X, R c U~(W|RX)SU U, W, X, S c U{W~(X|S)SU U, W, X, U c U~(X|WU)SU U, W, X, V c U~W|X{VSU U, W, X, X c (U|WX)~XSU U, X, O, W c U~X{O|WSU U, X, P, P c (U|P)~X{PSU U, X, P, Q c U~(X|P)|QSU U, X, P, R c (U{X)~R{PSU U, X, P, S c U{(X{P)~SSU U, X, P, T c U{(X|P)~TSU U, X, P, U c U~U{X{PSU U, X, P, V c (U~X)|(P{V)SU U, X, P, W c U~X|P~WSU U, X, P, X c U~X{P|XSU U, X, Q, P c U~(X|P)|QSU U, X, Q, S c U~(X|Q){SSU U, X, Q, U c (U~X)|(Q{U)SU U, X, Q, W c (U{X{W)~QSU U, X, R, P c (U{X)~R{PSU U, X, R, S c U~(X|SR)SU U, X, R, T c (U~X)|(R{T)SU U, X, R, W c U~(W|RX)SU U, X, S, P c U{(X{P)~SSU U, X, S, Q c U~X|S~QSU U, X, S, R c U~(X|SR)SU U, X, S, S c U{X~S{SSU U, X, S, W c U{(X|S)~WSU U, X, T, P c U{(X|P)~TSU U, X, T, R c (U~X)|(T{R)SU U, X, T, T c U{X~T|TSU U, X, T, U c UU{X~TSU U, X, T, V c U~T{X{VSU U, X, U, P c U~U{X{PSU U, X, U, Q c (U~X)|(U{Q)SU U, X, U, T c UU{X~TSU U, X, U, V c (UX{V)~USU U, X, U, W c U~(X|WU)SU U, X, V, P c (U~X)|(V{P)SU U, X, V, T c U~V{X|TSU U, X, V, U c (UX{V)~USU U, X, V, V c U{V~V|XSU U, X, V, W c U~W|X{VSU U, X, W, O c U~X|W{OSU U, X, W, P c U~X|W~PSU U, X, W, Q c (U{X{W)~QSU U, X, W, R c U~(W|RX)SU U, X, W, S c U{(X|S)~WSU U, X, W, U c U~(X|WU)SU U, X, W, V c U~W|X{VSU U, X, W, X c (U|WX)~XSU U, X, X, P c U~X|X{PSU U, X, X, W c (U|WX)~XSU V, O, R, V c (V{O)~V|RSU V, O, S, U c (V{O)~U{SSU V, O, U, S c (V{O)~U{SSU V, O, V, R c (V{O)~V|RSU V, P, Q, T c (V{Q)~T{PSU V, P, Q, U c (V{P)~U|QSU V, P, Q, V c (V~V)|(P{Q)SU V, P, Q, W c (V|P)~W|QSU V, P, Q, X c (V|Q)~X{PSU V, P, R, U c V~(P{U)|RSU V, P, R, V c V~P~V|RSU V, P, R, W c V~(W|P)|RSU V, P, S, T c V~(P{T){SSU V, P, S, U c V~P~U{SSU V, P, S, V c (V|P)~V{SSU V, P, T, Q c (V{Q)~T{PSU V, P, T, S c V~(P{T){SSU V, P, T, U c (V{P)~T{USU V, P, T, W c V|P{T~WSU V, P, U, Q c (V{P)~U|QSU V, P, U, R c V~(P{U)|RSU V, P, U, S c V~P~U{SSU V, P, U, T c (V{P)~T{USU V, P, U, X c (U~X)|(V{P)SU V, P, V, Q c (V~V)|(P{Q)SU V, P, V, R c V~P~V|RSU V, P, V, S c (V|P)~V{SSU V, P, W, Q c (V|P)~W|QSU V, P, W, R c V~(W|P)|RSU V, P, W, T c V|P{W~TSU V, P, W, X c (V|P)~X|WSU V, P, X, Q c (V|Q)~X{PSU V, P, X, U c (X~U)|(V{P)SU V, P, X, W c (V|P)~X|WSU V, Q, P, T c (V{Q)~T{PSU V, Q, P, U c (V{P)~U|QSU V, Q, P, V c (V~V)|(Q{P)SU V, Q, P, W c (V|P)~W|QSU V, Q, P, X c (V|Q)~X{PSU V, Q, Q, R c (V~R{Q)~QSU V, Q, Q, U c V~U{Q{QSU V, Q, Q, W c (V{Q~W)~QSU V, Q, Q, X c (V~Q{X)~QSU V, Q, R, Q c (V~R{Q)~QSU V, Q, R, S c V~Q~R{SSU V, Q, R, T c V~(Q{T)|RSU V, Q, R, U c (V{QR)~USU V, Q, R, X c V~(X|Q)|RSU V, Q, S, R c V~Q~R{SSU V, Q, S, S c V~(Q{S){SSU V, Q, S, T c (V~S|T)~QSU V, Q, S, W c V~Q{S~WSU V, Q, S, X c V~S{Q~XSU V, Q, T, P c (V{Q)~T{PSU V, Q, T, R c V~(Q{T)|RSU V, Q, T, S c (V{T)~S|QSU V, Q, T, U c Q~(T~U|V)SU V, Q, T, V c V~V{Q|TSU V, Q, T, W c V~W|Q~TSU V, Q, T, X c V~T{Q{XSU V, Q, U, P c (V{P)~U|QSU V, Q, U, Q c V~U{Q{QSU V, Q, U, R c (V{QR)~USU V, Q, U, T c Q~(U~T|V)SU V, Q, U, U c V~U|Q{USU V, Q, U, V c V~V|UQSU V, Q, U, W c (V{Q)~U|WSU V, Q, V, P c (V~V)|(Q{P)SU V, Q, V, T c V~V{Q|TSU V, Q, V, U c V~V|UQSU V, Q, V, X c (V{V{X)~QSU V, Q, W, P c (V|P)~W|QSU V, Q, W, Q c (V{Q~W)~QSU V, Q, W, S c V~Q{W~SSU V, Q, W, T c V~W|Q~TSU V, Q, W, U c (V|Q)~W{USU V, Q, W, W c (V~W)|(Q{W)SU V, Q, X, P c (V|Q)~X{PSU V, Q, X, Q c (V~Q{X)~QSU V, Q, X, R c V~(X|Q)|RSU V, Q, X, S c (V{XQ)~SSU V, Q, X, T c V~T{Q{XSU V, Q, X, V c (V{X{V)~QSU V, R, O, V c (V{O)~V|RSU V, R, P, U c V~(P{U)|RSU V, R, P, V c V~P~V|RSU V, R, P, W c (V{W)~R{PSU V, R, Q, Q c (V~R{Q)~QSU V, R, Q, S c V~R~Q{SSU V, R, Q, T c V~(Q{T)|RSU V, R, Q, U c (V{QR)~USU V, R, Q, X c (V{X)~R|QSU V, R, R, S c V~(R{R){SSU V, R, S, Q c V~R~Q{SSU V, R, S, R c V~(R{S)|RSU V, R, S, T c (V{R)~T|SSU V, R, S, U c (V{R)~S{USU V, R, S, V c (V{V)~R{SSU V, R, S, X c V{R{S~XSU V, R, T, Q c V~(T{Q)|RSU V, R, T, S c (V{R)~T|SSU V, R, T, T c V~R{T~TSU V, R, T, W c V{R~(T{W)SU V, R, U, P c V~U{R{PSU V, R, U, Q c (V{QR)~USU V, R, U, S c (V{R)~S{USU V, R, U, U c V{R{U~USU V, R, U, V c V{R~(U{V)SU V, R, V, O c V~V|R{OSU V, R, V, P c V~V|R~PSU V, R, V, S c (V{V)~R{SSU V, R, V, U c V{R~(V{U)SU V, R, V, V c (V|RV)~VSU V, R, V, W c (V~W)|(R{V)SU V, R, V, X c V~V|XRSU V, R, W, P c (V{W)~R{PSU V, R, W, T c V{R~(W{T)SU V, R, W, V c (V~W)|(R{V)SU V, R, X, Q c (V{X)~R|QSU V, R, X, S c V{R{X~SSU V, R, X, V c V~V|XRSU V, S, O, U c (V{O)~U{SSU V, S, P, T c V~(P{T){SSU V, S, P, U c V~P~U{SSU V, S, P, V c (V|P)~V{SSU V, S, Q, R c V~Q~R{SSU V, S, Q, S c V~(S{Q){SSU V, S, Q, T c (V~S|T)~QSU V, S, Q, W c V~Q{S~WSU V, S, Q, X c V~S{Q~XSU V, S, R, Q c V~R~Q{SSU V, S, R, R c V~(S{R)|RSU V, S, R, T c (V{R)~T|SSU V, S, R, U c V~S{R~USU V, S, R, V c (V{V)~R{SSU V, S, R, X c V{(S{X)~RSU V, S, S, Q c (V{S)~S{QSU V, S, S, W c (VS{S)~WSU V, S, T, P c V~(T{P){SSU V, S, T, Q c (V~S|T)~QSU V, S, T, R c (V{R)~T|SSU V, S, T, V c V{S{T~VSU V, S, T, W c (V|TS)~WSU V, S, T, X c (V{S)~T|XSU V, S, U, O c V~U{S{OSU V, S, U, P c V~U{S~PSU V, S, U, R c V~S{U~RSU V, S, U, U c (V{SU)~USU V, S, U, V c V~(SV{U)SU V, S, U, W c V~U|S{WSU V, S, V, P c V~V|S{PSU V, S, V, R c (V{V)~R{SSU V, S, V, T c V{S{V~TSU V, S, V, U c V~(SV{U)SU V, S, V, V c V~V{S|VSU V, S, V, W c V{S~W{VSU V, S, W, Q c V~(W|Q){SSU V, S, W, S c (VS{S)~WSU V, S, W, T c (V|TS)~WSU V, S, W, U c (V~W)|(S{U)SU V, S, W, V c V{S~W{VSU V, S, X, Q c V~S{X~QSU V, S, X, R c V{(S{X)~RSU V, S, X, T c (V{S)~T|XSU V, S, X, X c V~S{X{XSU V, T, P, Q c (V{Q)~T{PSU V, T, P, S c V~(T{P){SSU V, T, P, U c (V{P)~T{USU V, T, P, W c V{T~W|PSU V, T, Q, P c (V{Q)~T{PSU V, T, Q, R c V~(T{Q)|RSU V, T, Q, S c (V{T)~S|QSU V, T, Q, U c (T~U|V)~QSU V, T, Q, V c V~V|T{QSU V, T, Q, W c V~W|T~QSU V, T, Q, X c V~T{Q{XSU V, T, R, Q c V~(T{Q)|RSU V, T, R, S c (V{R)~T|SSU V, T, R, T c V~R{T~TSU V, T, R, W c V~T{R{WSU V, T, S, P c V~(T{P){SSU V, T, S, Q c (V{T)~S|QSU V, T, S, R c (V{R)~T|SSU V, T, S, V c V~T{S{VSU V, T, S, W c (V|TS)~WSU V, T, S, X c (V{S)~T|XSU V, T, T, R c V~R{T~TSU V, T, T, U c V~T{T{USU V, T, T, W c (V~W)|(T{T)SU V, T, U, P c V~U{T|PSU V, T, U, Q c (T~U|V)~QSU V, T, U, T c V~T{U{TSU V, T, U, W c T{U~W|VSU V, T, U, X c V{T~U{XSU V, T, V, Q c V~V|T{QSU V, T, V, S c V{T~V{SSU V, T, V, W c V~V{T|WSU V, T, V, X c VV{T~XSU V, T, W, P c V{T~W|PSU V, T, W, Q c V~W|T~QSU V, T, W, R c V{(T{W)~RSU V, T, W, S c (V|TS)~WSU V, T, W, T c (V~W)|(T{T)SU V, T, W, U c T{W~U|VSU V, T, W, V c V~V{T|WSU V, T, W, X c T~X|V{WSU V, T, X, Q c V~T{X{QSU V, T, X, S c (V{S)~T|XSU V, T, X, U c V{T~X|USU V, T, X, V c VV{T~XSU V, T, X, W c T~X|V{WSU V, T, X, X c X~X|V~TSU V, U, O, S c V~U{O{SSU V, U, P, Q c (V{P)~U|QSU V, U, P, R c V~U{P{RSU V, U, P, S c V~U{P~SSU V, U, P, T c V~U|P{TSU V, U, P, X c (U~X)|(V{P)SU V, U, Q, P c (V{P)~U|QSU V, U, Q, Q c V~U{Q{QSU V, U, Q, R c (V{QR)~USU V, U, Q, T c (U~T|V)~QSU V, U, Q, U c V~U|Q{USU V, U, Q, V c V~V|UQSU V, U, Q, W c V~U{WQSU V, U, R, P c V~U{R{PSU V, U, R, Q c (V{QR)~USU V, U, R, S c (V{R)~S{USU V, U, R, U c V{U~U{RSU V, U, R, V c (V{U)~R{VSU V, U, S, O c V~U{S{OSU V, U, S, P c V~U{S~PSU V, U, S, R c V~S{U~RSU V, U, S, U c (V{U)~S|USU V, U, S, V c V~(U{SV)SU V, U, S, W c V~U|S{WSU V, U, T, P c V~U{T|PSU V, U, T, Q c (U~T|V)~QSU V, U, T, T c V~T{U{TSU V, U, T, W c U~W|V{TSU V, U, T, X c V{U~T{XSU V, U, U, Q c V~U{U|QSU V, U, U, R c V{U~U{RSU V, U, U, S c (V{U)~S|USU V, U, U, X c (V{UX)~USU V, U, V, Q c V~V|UQSU V, U, V, R c V{(U{V)~RSU V, U, V, S c V~(U{SV)SU V, U, V, X c V~V{U|XSU V, U, W, Q c V~U{WQSU V, U, W, S c V~U{W|SSU V, U, W, T c U~W|V{TSU V, U, W, X c V{U~W|XSU V, U, X, P c (U~X)|(V{P)SU V, U, X, T c V|U{X~TSU V, U, X, U c (V{UX)~USU V, U, X, V c V~V{U|XSU V, U, X, W c V{U~W|XSU V, V, O, R c V~V{O|RSU V, V, P, Q c (V~V)|(P{Q)SU V, V, P, R c V~V|P~RSU V, V, P, S c V~V{P|SSU V, V, Q, P c (V~V)|(Q{P)SU V, V, Q, T c V~V{Q|TSU V, V, Q, U c V~V|UQSU V, V, Q, X c (V{V{X)~QSU V, V, R, O c V~V|R{OSU V, V, R, P c V~V|R~PSU V, V, R, S c (V{V)~R{SSU V, V, R, U c V~V{R|USU V, V, R, V c V~(V|RV)SU V, V, R, W c (V~W)|(V{R)SU V, V, R, X c V~V|XRSU V, V, S, P c V~V|S{PSU V, V, S, R c (V{V)~R{SSU V, V, S, T c V{V~T{SSU V, V, S, U c V~(SV{U)SU V, V, S, V c V~V{S|VSU V, V, S, W c V{V{S~WSU V, V, T, Q c V~V|T{QSU V, V, T, S c V{V~T{SSU V, V, T, W c V~V{T|WSU V, V, T, X c VV{T~XSU V, V, U, Q c V~V|UQSU V, V, U, R c V{(V{U)~RSU V, V, U, S c V~(U{SV)SU V, V, U, X c V~V{U|XSU V, V, V, R c V~(V|RV)SU V, V, V, S c V~V|V{SSU V, V, W, R c (V~W)|(V{R)SU V, V, W, S c V{V{W~SSU V, V, W, T c V~V|W{TSU V, V, X, Q c (V{V{X)~QSU V, V, X, R c V~V|XRSU V, V, X, T c VV{X~TSU V, V, X, U c V~V|X{USU V, W, P, Q c (V|P)~W|QSU V, W, P, R c V~(W|P)|RSU V, W, P, T c V{W~T|PSU V, W, P, X c (V~W)|(P{X)SU V, W, Q, P c (V|P)~W|QSU V, W, Q, Q c (V{W~Q)~QSU V, W, Q, S c V~(W|Q){SSU V, W, Q, T c V~W|Q~TSU V, W, Q, U c (V|Q)~W{USU V, W, Q, W c (V~W)|(Q{W)SU V, W, R, P c (V{W)~R{PSU V, W, R, T c V{(W{T)~RSU V, W, R, V c (V~W)|(R{V)SU V, W, S, Q c V~(W|Q){SSU V, W, S, S c (VS{S)~WSU V, W, S, T c (V|TS)~WSU V, W, S, U c (V~W)|(S{U)SU V, W, S, V c V{W~S{VSU V, W, T, P c V{W~T|PSU V, W, T, Q c V~W|T~QSU V, W, T, R c V{(W{T)~RSU V, W, T, S c (V|TS)~WSU V, W, T, T c (V~W)|(T{T)SU V, W, T, U c W~U|V{TSU V, W, T, V c V~V|W{TSU V, W, T, X c W|V{T~XSU V, W, U, Q c V~U{WQSU V, W, U, S c (V~W)|(U{S)SU V, W, U, T c W~U|V{TSU V, W, U, X c V{W~U|XSU V, W, V, R c (V~W)|(V{R)SU V, W, V, S c V{W~S{VSU V, W, V, T c V~V|W{TSU V, W, W, Q c (V{W{W)~QSU V, W, X, P c (V~W)|(X{P)SU V, W, X, T c W|V{X~TSU V, W, X, U c V{W~U|XSU V, W, X, X c (V~X)|(W{X)SU V, X, P, Q c (V|Q)~X{PSU V, X, P, U c (X~U)|(V{P)SU V, X, P, W c (V|P)~X|WSU V, X, Q, P c (V|Q)~X{PSU V, X, Q, Q c (V~Q{X)~QSU V, X, Q, R c V~(X|Q)|RSU V, X, Q, S c (V{XQ)~SSU V, X, Q, T c V~T{X{QSU V, X, Q, V c (V{X{V)~QSU V, X, R, Q c (V{X)~R|QSU V, X, R, S c V~(X|R){SSU V, X, R, V c V~V|XRSU V, X, S, Q c (V{XQ)~SSU V, X, S, R c V{(X{S)~RSU V, X, S, T c (V{S)~T|XSU V, X, S, X c V~S{X{XSU V, X, T, Q c V~T{X{QSU V, X, T, S c (V{S)~T|XSU V, X, T, U c V{X{T~USU V, X, T, V c VV{X~TSU V, X, T, W c X~T|V{WSU V, X, T, X c X~X|V~TSU V, X, U, P c (X~U)|(V{P)SU V, X, U, T c V{X{U~TSU V, X, U, U c (V{UX)~USU V, X, U, V c V~V|X{USU V, X, U, W c V{U~W|XSU V, X, V, Q c (V{X{V)~QSU V, X, V, R c V~V|XRSU V, X, V, T c VV{X~TSU V, X, V, U c V~V|X{USU V, X, W, P c (V~W)|(X{P)SU V, X, W, T c X~T|V{WSU V, X, W, U c V{W~U|XSU V, X, W, X c (V~X)|(W{X)SU V, X, X, S c V~S{X{XSU V, X, X, T c X~X|V~TSU V, X, X, W c (V~X)|(X{W)SU W, O, Q, U c (W{O)~U|QSU W, O, T, U c (W{O)~T{USU W, O, U, Q c (W{O)~U|QSU W, O, U, T c (W{O)~T{USU W, O, U, X c O{U~X|WSU W, O, X, U c O{X~U|WSU W, P, P, T c (W{P)~T{PSU W, P, P, U c (W~U)|(P{P)SU W, P, Q, R c (W~R|P)~QSU W, P, Q, T c W~(P{T)|QSU W, P, Q, U c W~P~U|QSU W, P, Q, V c W~(V|P)|QSU W, P, R, Q c (W~R|P)~QSU W, P, R, U c (W|PR)~USU W, P, R, V c (W|P)~V|RSU W, P, R, X c (W|R)~X{PSU W, P, S, U c W~(P{S){USU W, P, T, P c (W{P)~T{PSU W, P, T, Q c W~(P{T)|QSU W, P, T, T c W~T{P{TSU W, P, T, U c W~P~T{USU W, P, T, V c W~T|P{VSU W, P, T, X c (P{T)~X|WSU W, P, U, P c (W~U)|(P{P)SU W, P, U, Q c W~P~U|QSU W, P, U, R c (W|PR)~USU W, P, U, S c (W|P)~U{SSU W, P, U, T c W~P~T{USU W, P, U, U c W~(U|P){USU W, P, U, W c (W{P)~U|WSU W, P, U, X c P~U~X|WSU W, P, V, Q c W~(V|P)|QSU W, P, V, R c (W|P)~V|RSU W, P, V, T c W~T|P{VSU W, P, V, X c (W~V)|(P{X)SU W, P, W, U c (W{P)~U|WSU W, P, X, R c (W|R)~X{PSU W, P, X, T c (P{T)~X|WSU W, P, X, U c P~X~U|WSU W, P, X, V c (W~V)|(P{X)SU W, Q, O, U c (W{O)~U|QSU W, Q, P, R c (W~R|P)~QSU W, Q, P, T c W~(P{T)|QSU W, Q, P, U c W~P~U|QSU W, Q, P, V c W~(V|P)|QSU W, Q, Q, R c W~Q~R|QSU W, Q, Q, S c W~(Q{S)|QSU W, Q, Q, V c (W~Q{V)~QSU W, Q, Q, W c (W|Q)~W|QSU W, Q, R, P c (W~R|P)~QSU W, Q, R, Q c W~Q~R|QSU W, Q, R, R c W~(R{R)|QSU W, Q, R, S c (W{R)~S{QSU W, Q, R, T c (W{R~T)~QSU W, Q, R, U c W~(Q{R){USU W, Q, R, W c (W{W)~R|QSU W, Q, R, X c W~(X|R)|QSU W, Q, S, Q c W~(Q{S)|QSU W, Q, S, R c (W{R)~S{QSU W, Q, S, S c (W{S)~S|QSU W, Q, S, T c (W{Q)~T|SSU W, Q, S, U c (W{Q)~S{USU W, Q, S, V c (W|Q)~V{SSU W, Q, S, X c W{Q{S~XSU W, Q, T, P c W~(T{P)|QSU W, Q, T, R c W~T{Q~RSU W, Q, T, S c (W{Q)~T|SSU W, Q, T, U c W~Q{T~USU W, Q, T, V c W~V|Q~TSU W, Q, T, W c W|Q{T~WSU W, Q, U, O c W~U|Q{OSU W, Q, U, P c W~U|Q~PSU W, Q, U, R c W~(Q{R){USU W, Q, U, S c (W{Q)~S{USU W, Q, U, T c W~Q{U~TSU W, Q, U, U c W{Q{U~USU W, Q, U, V c WQ{U~VSU W, Q, U, W c W~(U|QW)SU W, Q, U, X c (W{U{X)~QSU W, Q, V, P c W~(V|P)|QSU W, Q, V, Q c (W~Q{V)~QSU W, Q, V, S c (W|Q)~V{SSU W, Q, V, T c W~V|Q~TSU W, Q, V, U c WQ{V~USU W, Q, V, W c (W~V)|(Q{W)SU W, Q, W, Q c (W|Q)~W|QSU W, Q, W, R c (W{W)~R|QSU W, Q, W, T c W|Q{W~TSU W, Q, W, U c W~(U|QW)SU W, Q, W, V c (W{W{V)~QSU W, Q, W, X c (W|Q)~X|WSU W, Q, X, R c W~(X|R)|QSU W, Q, X, S c W{Q{X~SSU W, Q, X, U c (W{X{U)~QSU W, Q, X, W c (W|Q)~X|WSU W, R, P, Q c (W~R|P)~QSU W, R, P, U c (W|PR)~USU W, R, P, V c (W|P)~V|RSU W, R, P, X c (W|R)~X{PSU W, R, Q, P c (W~R|P)~QSU W, R, Q, Q c W~R~Q|QSU W, R, Q, R c W~(R{R)|QSU W, R, Q, S c (W{R)~S{QSU W, R, Q, T c (W{R~T)~QSU W, R, Q, U c W~(R{Q){USU W, R, Q, W c (W{W)~R|QSU W, R, Q, X c W~(X|R)|QSU W, R, R, Q c W~(R{R)|QSU W, R, R, T c W~T{R{RSU W, R, R, U c R~R~U|WSU W, R, R, X c (R{R)~X|WSU W, R, S, Q c (W{R)~S{QSU W, R, S, T c W~(RS{T)SU W, R, S, U c (W{U)~R{SSU W, R, T, Q c (W{R~T)~QSU W, R, T, R c W~T{R{RSU W, R, T, S c W~(RS{T)SU W, R, T, U c (WR{T)~USU W, R, T, V c W{R{T~VSU W, R, T, X c (W{R)~T|XSU W, R, U, P c W~U|R{PSU W, R, U, Q c W~(R{Q){USU W, R, U, R c R~U~R|WSU W, R, U, S c (W{U)~R{SSU W, R, U, T c (WR{T)~USU W, R, U, U c W~U|URSU W, R, U, W c (W|R)~W{USU W, R, U, X c (W|RX)~USU W, R, V, P c (W{V)~R{PSU W, R, V, T c W{R{V~TSU W, R, V, V c (W~V)|(R{V)SU W, R, W, Q c (W{W)~R|QSU W, R, W, U c (W|R)~W{USU W, R, X, P c (W|R)~X{PSU W, R, X, Q c W~(X|R)|QSU W, R, X, R c (R{R)~X|WSU W, R, X, T c (W{R)~T|XSU W, R, X, U c (W|RX)~USU W, R, X, X c R~(X{X)|WSU W, S, P, U c W~(S{P){USU W, S, Q, Q c W~(S{Q)|QSU W, S, Q, R c (W{R)~S{QSU W, S, Q, S c (W{S)~S|QSU W, S, Q, T c (W{Q)~T|SSU W, S, Q, U c (W{Q)~S{USU W, S, Q, V c W~S{Q~VSU W, S, Q, X c W{S~X{QSU W, S, R, Q c (W{R)~S{QSU W, S, R, T c W~(RS{T)SU W, S, R, U c (W{U)~R{SSU W, S, S, Q c (W{S)~S|QSU W, S, S, V c W~(S{VS)SU W, S, T, Q c W~T{S{QSU W, S, T, R c W~(T{RS)SU W, S, T, U c (W{T)~S|USU W, S, T, V c W~(V|TS)SU W, S, T, X c W~S{T{XSU W, S, U, P c W~(S{P){USU W, S, U, Q c W~U|S{QSU W, S, U, R c (W{U)~R{SSU W, S, U, T c (W{T)~S|USU W, S, U, U c W~U{S|USU W, S, U, V c W|S{U~VSU W, S, U, W c W~S{U{WSU W, S, U, X c W~(X|S){USU W, S, V, Q c W~S{V~QSU W, S, V, S c W~(S{VS)SU W, S, V, T c W~(V|TS)SU W, S, V, U c W|S{V~USU W, S, V, V c W~S{V{VSU W, S, W, U c W{S~W{USU W, S, W, X c W~(W|XS)SU W, S, X, Q c W{S~X{QSU W, S, X, T c W~S{X{TSU W, S, X, U c W~(X|S){USU W, S, X, W c (W|XS)~WSU W, T, O, U c W~T{O{USU W, T, P, P c (W{P)~T{PSU W, T, P, Q c W~(T{P)|QSU W, T, P, T c W~T{P{TSU W, T, P, U c W~T{P~USU W, T, P, V c W~T|P{VSU W, T, P, X c (T{P)~X|WSU W, T, Q, P c W~(T{P)|QSU W, T, Q, R c W~T{Q~RSU W, T, Q, S c W~T{Q{SSU W, T, Q, U c W~Q{T~USU W, T, Q, V c W~V|T~QSU W, T, Q, W c W~T|Q{WSU W, T, R, Q c (W{T~R)~QSU W, T, R, R c W~T{R{RSU W, T, R, S c W~(T{RS)SU W, T, R, U c (WR{T)~USU W, T, R, V c (W{T)~R{VSU W, T, R, X c W~T|R{XSU W, T, S, Q c W~T{S{QSU W, T, S, R c W~(T{RS)SU W, T, S, U c (W{T)~S|USU W, T, S, V c W~(V|TS)SU W, T, S, X c W~S{T{XSU W, T, T, P c W~T{T{PSU W, T, T, U c (W{UT)~TSU W, T, T, V c (W~V)|(T{T)SU W, T, U, O c W~T{U{OSU W, T, U, P c W~T{U~PSU W, T, U, Q c W~Q{T~USU W, T, U, R c W~U|T{RSU W, T, U, S c (W{T)~S|USU W, T, U, T c (W{UT)~TSU W, T, U, V c W~U{T|VSU W, T, U, W c W{T~U{WSU W, T, V, P c W~T{V|PSU W, T, V, Q c W~V|T~QSU W, T, V, R c W{T~V{RSU W, T, V, S c W~(V|TS)SU W, T, V, T c (W~V)|(T{T)SU W, T, V, U c W~U{T|VSU W, T, V, V c T{V~V|WSU W, T, V, X c W{T~X|VSU W, T, W, Q c W{T~W|QSU W, T, W, U c W{T~U{WSU W, T, W, X c WW{T~XSU W, T, X, P c (T{P)~X|WSU W, T, X, R c W~T{X|RSU W, T, X, S c W~S{T{XSU W, T, X, V c W{T~X|VSU W, T, X, W c WW{T~XSU W, T, X, X c T~X|W{XSU W, U, O, Q c W~U{O|QSU W, U, O, T c (W{O)~T{USU W, U, O, X c (U{O)~X|WSU W, U, P, P c (W~U)|(P{P)SU W, U, P, Q c W~U|P~QSU W, U, P, R c W~U{P|RSU W, U, P, S c W~(U|PS)SU W, U, P, T c W~P~T{USU W, U, P, U c W~(U|P){USU W, U, P, W c (W{P)~U|WSU W, U, P, X c U~P~X|WSU W, U, Q, O c W~U|Q{OSU W, U, Q, P c W~U|Q~PSU W, U, Q, R c W~(Q{R){USU W, U, Q, S c W~U{Q|SSU W, U, Q, T c W~Q{U~TSU W, U, Q, U c W{U~U{QSU W, U, Q, V c WQ{U~VSU W, U, Q, W c W~(U|QW)SU W, U, Q, X c (W{U{X)~QSU W, U, R, P c W~U|R{PSU W, U, R, Q c W~(R{Q){USU W, U, R, R c U~R~R|WSU W, U, R, S c (W{U)~R{SSU W, U, R, T c W~U{R|TSU W, U, R, U c W~U|URSU W, U, R, W c (W|R)~W{USU W, U, R, X c (W|RX)~USU W, U, S, P c W~(U|PS)SU W, U, S, Q c W~U|S{QSU W, U, S, R c (W{U)~R{SSU W, U, S, T c (W{T)~S|USU W, U, S, U c W~U{S|USU W, U, S, V c W{U~V|SSU W, U, S, W c W{U{S~WSU W, U, S, X c W~(X|S){USU W, U, T, O c W~T{U{OSU W, U, T, P c W~T{U~PSU W, U, T, Q c W~Q{U~TSU W, U, T, R c W~U|T{RSU W, U, T, S c (W{T)~S|USU W, U, T, T c (W{UT)~TSU W, U, T, V c W~U{T|VSU W, U, T, W c W{U~T{WSU W, U, U, P c W~(U|P){USU W, U, U, Q c W{U~U{QSU W, U, U, R c W~U|URSU W, U, U, S c W~U|U{SSU W, U, U, W c W~U{U|WSU W, U, U, X c U~(X|WU)SU W, U, V, Q c W~(V|Q){USU W, U, V, S c W{U~V|SSU W, U, V, T c W~U|V{TSU W, U, V, X c W~U{V|XSU W, U, W, P c (W{P)~U|WSU W, U, W, Q c W~(U|QW)SU W, U, W, R c W~W|U~RSU W, U, W, S c W{U{W~SSU W, U, W, T c W~(UW{T)SU W, U, W, U c W~U|W{USU W, U, X, O c U~X|W{OSU W, U, X, P c U~X|W~PSU W, U, X, Q c (W{U{X)~QSU W, U, X, R c (W|RX)~USU W, U, X, S c W~(X|S){USU W, U, X, U c U~(X|WU)SU W, U, X, V c W~U|X{VSU W, U, X, X c (U|WX)~XSU W, V, P, Q c W~(V|P)|QSU W, V, P, R c (W{V)~R{PSU W, V, P, T c W~T{V|PSU W, V, P, X c (W~V)|(P{X)SU W, V, Q, P c W~(V|P)|QSU W, V, Q, Q c (W~Q{V)~QSU W, V, Q, S c (W{VQ)~SSU W, V, Q, T c W~V|Q~TSU W, V, Q, U c W~(V|Q){USU W, V, Q, W c (W~V)|(Q{W)SU W, V, R, P c (W{V)~R{PSU W, V, R, T c W{V~T{RSU W, V, R, V c (W~V)|(R{V)SU W, V, S, Q c (W{VQ)~SSU W, V, S, S c W~(VS{S)SU W, V, S, T c W~(V|TS)SU W, V, S, U c (W~V)|(S{U)SU W, V, S, V c W~S{V{VSU W, V, T, P c W~T{V|PSU W, V, T, Q c W~V|T~QSU W, V, T, R c W{V~T{RSU W, V, T, S c W~(V|TS)SU W, V, T, T c (W~V)|(T{T)SU W, V, T, U c W~U|V{TSU W, V, T, V c V~V|W{TSU W, V, T, X c W|V{T~XSU W, V, U, Q c W~(V|Q){USU W, V, U, S c W{V~U|SSU W, V, U, T c W~U|V{TSU W, V, U, X c W~U{V|XSU W, V, V, R c (W~V)|(V{R)SU W, V, V, S c W~S{V{VSU W, V, V, T c V~V|W{TSU W, V, W, Q c (W{V{W)~QSU W, V, X, P c (W~V)|(X{P)SU W, V, X, T c W|V{X~TSU W, V, X, U c W~U{V|XSU W, V, X, X c (V~X)|(W{X)SU W, W, P, U c (W{P)~U|WSU W, W, Q, Q c W~(W|Q)|QSU W, W, Q, R c (W{W)~R|QSU W, W, Q, T c W{W~T|QSU W, W, Q, U c W~(U|QW)SU W, W, Q, V c (W{W{V)~QSU W, W, Q, X c W~W|Q~XSU W, W, R, Q c (W{W)~R|QSU W, W, R, U c W~(W|R){USU W, W, S, U c W{W~S{USU W, W, S, X c W~(W|XS)SU W, W, T, Q c W{W~T|QSU W, W, T, U c W{W{T~USU W, W, T, X c WW{T~XSU W, W, U, P c (W{P)~U|WSU W, W, U, Q c W~(U|QW)SU W, W, U, R c W~W|U~RSU W, W, U, S c W{W~S{USU W, W, U, T c W{W{U~TSU W, W, U, U c W~U|W{USU W, W, V, Q c (W{W{V)~QSU W, W, X, Q c W~W|X~QSU W, W, X, S c W~(W|XS)SU W, W, X, T c WW{X~TSU W, W, X, X c (W~W)|(X{X)SU W, X, O, U c (X{O)~U|WSU W, X, P, R c (W|R)~X{PSU W, X, P, T c X~(P{T)|WSU W, X, P, U c X~P~U|WSU W, X, P, V c (W~V)|(X{P)SU W, X, Q, R c W~(X|R)|QSU W, X, Q, S c W{X~S{QSU W, X, Q, U c (W{X{U)~QSU W, X, Q, W c (W|Q)~X|WSU W, X, R, P c (W|R)~X{PSU W, X, R, Q c W~(X|R)|QSU W, X, R, R c X~(R{R)|WSU W, X, R, T c (W{X)~R|TSU W, X, R, U c (W|RX)~USU W, X, R, X c (X|R)~X|WSU W, X, S, Q c W{X~S{QSU W, X, S, T c W~S{X{TSU W, X, S, U c W~(X|S){USU W, X, S, W c (W|XS)~WSU W, X, T, P c X~(T{P)|WSU W, X, T, R c (W{X)~R|TSU W, X, T, S c W~S{X{TSU W, X, T, V c W{X~T|VSU W, X, T, W c WW{X~TSU W, X, T, X c X|W{T~XSU W, X, U, O c X~U|W{OSU W, X, U, P c X~U|W~PSU W, X, U, Q c (W{X{U)~QSU W, X, U, R c (W|RX)~USU W, X, U, S c W~(X|S){USU W, X, U, U c (X|WU)~USU W, X, U, V c W~U|X{VSU W, X, U, X c X~(U|WX)SU W, X, V, P c (W~V)|(X{P)SU W, X, V, T c W{X~T|VSU W, X, V, U c W~U|X{VSU W, X, V, X c (X~V)|(W{X)SU W, X, W, Q c W~W|X~QSU W, X, W, S c (W|XS)~WSU W, X, W, T c WW{X~TSU W, X, W, X c (W~W)|(X{X)SU W, X, X, R c (X{X)~R|WSU W, X, X, T c X|W{X~TSU W, X, X, U c X~(U|WX)SU W, X, X, V c (X~V)|(W{X)SU W, X, X, W c (W~W)|(X{X)SU X, O, P, T c (X{O)~T{PSU X, O, T, P c (X{O)~T{PSU X, O, U, W c (X{O)~U|WSU X, O, W, U c (X{O)~U|WSU X, P, O, T c (X{O)~T{PSU X, P, P, S c X~(P{S){PSU X, P, P, T c X~P~T{PSU X, P, P, U c X~(U|P){PSU X, P, Q, R c X~(Q{R){PSU X, P, Q, T c X~T|P{QSU X, P, Q, U c (X|P)~U|QSU X, P, Q, V c X~(V|Q){PSU X, P, R, Q c X~(R{Q){PSU X, P, R, U c (X{U)~R{PSU X, P, R, W c X~(W|R){PSU X, P, S, P c X~(P{S){PSU X, P, S, T c (X{P)~T|SSU X, P, S, U c (X{P)~S{USU X, P, S, X c X{P{S~XSU X, P, T, O c X~T{P{OSU X, P, T, P c X~P~T{PSU X, P, T, Q c X~T|P{QSU X, P, T, S c (X{P)~T|SSU X, P, T, T c (X{PT)~TSU X, P, T, U c (X|P)~T{USU X, P, T, W c X~(P{T)|WSU X, P, T, X c X~(PX{T)SU X, P, U, P c X~(U|P){PSU X, P, U, Q c (X|P)~U|QSU X, P, U, R c (X{U)~R{PSU X, P, U, S c (X{P)~S{USU X, P, U, T c (X|P)~T{USU X, P, U, U c X{P{U~USU X, P, U, V c (X~U)|(P{V)SU X, P, U, W c X~P~U|WSU X, P, U, X c X~U{P|XSU X, P, V, Q c X~(V|Q){PSU X, P, V, U c (X~U)|(P{V)SU X, P, V, W c X~(V|P)|WSU X, P, W, R c X~(W|R){PSU X, P, W, T c X~(P{T)|WSU X, P, W, U c X~P~U|WSU X, P, W, V c X~(V|P)|WSU X, P, X, S c X{P{X~SSU X, P, X, T c X~(PX{T)SU X, P, X, U c X~U{P|XSU X, Q, P, R c X~(Q{R){PSU X, Q, P, T c X~T{Q|PSU X, Q, P, U c (X|P)~U|QSU X, Q, P, V c X~(V|Q){PSU X, Q, Q, S c (X{Q)~S{QSU X, Q, Q, T c (X~Q{T)~QSU X, Q, Q, V c (X{Q~V)~QSU X, Q, R, P c X~(Q{R){PSU X, Q, R, S c (X{R)~S|QSU X, Q, R, T c X~T|Q{RSU X, Q, R, V c (X|Q)~V|RSU X, Q, R, W c X~Q~R|WSU X, Q, S, Q c (X{Q)~S{QSU X, Q, S, R c (X{R)~S|QSU X, Q, S, T c X~S{Q~TSU X, Q, S, U c (X|Q)~U{SSU X, Q, S, V c X~Q{S~VSU X, Q, S, W c X~(Q{S)|WSU X, Q, T, P c X~T{Q|PSU X, Q, T, Q c (X~Q{T)~QSU X, Q, T, R c X~T|Q{RSU X, Q, T, S c (X{TQ)~SSU X, Q, T, V c X{Q{T~VSU X, Q, T, X c (X{Q)~T|XSU X, Q, U, P c (X|P)~U|QSU X, Q, U, S c (X|Q)~U{SSU X, Q, U, U c (X~U)|(Q{U)SU X, Q, U, W c (X{U{W)~QSU X, Q, V, P c X~(V|Q){PSU X, Q, V, Q c (X{Q~V)~QSU X, Q, V, R c (X|Q)~V|RSU X, Q, V, S c X~Q{V~SSU X, Q, V, T c X{Q{V~TSU X, Q, V, V c (X{V{V)~QSU X, Q, W, R c X~Q~R|WSU X, Q, W, S c X~(Q{S)|WSU X, Q, W, U c (X{W{U)~QSU X, Q, W, W c X~(W|Q)|WSU X, Q, X, T c (X{Q)~T|XSU X, R, P, Q c X~(R{Q){PSU X, R, P, U c (X{U)~R{PSU X, R, P, W c X~(W|R){PSU X, R, Q, P c X~(R{Q){PSU X, R, Q, S c (X{R)~S|QSU X, R, Q, T c X~T{R|QSU X, R, Q, V c (X|Q)~V|RSU X, R, Q, W c X~R~Q|WSU X, R, R, T c X~T{RRSU X, R, R, W c X~(R{R)|WSU X, R, S, Q c (X{R)~S|QSU X, R, S, T c (X{T)~R{SSU X, R, S, U c (X|SR)~USU X, R, S, V c (X|R)~V{SSU X, R, T, Q c X~T{R|QSU X, R, T, R c X~T{RRSU X, R, T, S c (X{T)~R{SSU X, R, T, U c (X~U)|(R{T)SU X, R, T, W c X|R{T~WSU X, R, U, P c (X{U)~R{PSU X, R, U, S c (X|SR)~USU X, R, U, T c (X~U)|(R{T)SU X, R, U, W c U~(W|RX)SU X, R, V, Q c (X{V)~R|QSU X, R, V, S c (X|R)~V{SSU X, R, V, V c V~V|XRSU X, R, W, P c X~(W|R){PSU X, R, W, Q c (X|R)~W|QSU X, R, W, R c X~(R{R)|WSU X, R, W, T c X|R{W~TSU X, R, W, U c (W|RX)~USU X, R, W, X c (X|R)~X|WSU X, R, X, W c (X|R)~X|WSU X, S, P, P c X~(S{P){PSU X, S, P, T c (X{P)~T|SSU X, S, P, U c (X{P)~S{USU X, S, P, X c X~S{P{XSU X, S, Q, Q c (X{Q)~S{QSU X, S, Q, R c (X{R)~S|QSU X, S, Q, T c X~S{Q~TSU X, S, Q, U c (X|Q)~U{SSU X, S, Q, V c X~Q{S~VSU X, S, Q, W c X~S{Q{WSU X, S, R, Q c (X{R)~S|QSU X, S, R, T c X~T{S|RSU X, S, R, U c (X|SR)~USU X, S, R, V c (X{S)~R{VSU X, S, S, T c X~T{SSSU X, S, S, U c (X{S)~S|USU X, S, T, P c (X{P)~T|SSU X, S, T, Q c X~S{T~QSU X, S, T, R c X~T{S|RSU X, S, T, S c X~T{SSSU X, S, T, T c X~S{T{TSU X, S, T, V c (S{V)~T|XSU X, S, T, W c X{S~W{TSU X, S, U, P c (X{P)~S{USU X, S, U, Q c X~U|S~QSU X, S, U, R c (X|SR)~USU X, S, U, S c X~S{U{SSU X, S, U, W c (X|S)~W{USU X, S, V, Q c X~Q{S~VSU X, S, V, R c X~S{V{RSU X, S, V, T c (S{V)~T|XSU X, S, V, X c X{S~V{XSU X, S, W, Q c X~S{W{QSU X, S, W, T c X{S~W{TSU X, S, W, U c (X|S)~W{USU X, S, W, W c (W|XS)~WSU X, S, X, P c X{S~X{PSU X, S, X, V c X{S~V{XSU X, T, O, P c X~T{O{PSU X, T, P, O c X~T{P{OSU X, T, P, P c X~T{P~PSU X, T, P, Q c X~T|P{QSU X, T, P, S c (X{P)~T|SSU X, T, P, T c (X{PT)~TSU X, T, P, U c (X|P)~T{USU X, T, P, W c X~(T{P)|WSU X, T, P, X c X~(T{PX)SU X, T, Q, P c X~T{Q|PSU X, T, Q, Q c X~T{QQSU X, T, Q, R c X~T|Q{RSU X, T, Q, S c (X{TQ)~SSU X, T, Q, V c X{T~V{QSU X, T, Q, X c (X{T{X)~QSU X, T, R, Q c X~T{R|QSU X, T, R, R c X~T{RRSU X, T, R, S c (X{T)~R{SSU X, T, R, U c (X~U)|(T{R)SU X, T, R, W c X{T~W|RSU X, T, S, P c (X{P)~T|SSU X, T, S, Q c (X{TQ)~SSU X, T, S, R c X~T{S|RSU X, T, S, S c X~T{SSSU X, T, S, T c X~T|S{TSU X, T, S, V c T~(S{V)|XSU X, T, S, W c X{T{S~WSU X, T, T, P c (X{PT)~TSU X, T, T, S c X~T{T|SSU X, T, T, T c X~T{TTSU X, T, T, U c X~T|T{USU X, T, U, P c (X|P)~T{USU X, T, U, R c (X~U)|(T{R)SU X, T, U, T c X~T{U|TSU X, T, U, U c X~T{UUSU X, T, U, V c X{T~U{VSU X, T, V, Q c X{T~V{QSU X, T, V, S c T~(V{S)|XSU X, T, V, U c X|T{V~USU X, T, V, V c X~T{VVSU X, T, V, W c X~T|V{WSU X, T, V, X c X~X|T~VSU X, T, W, P c X~(T{P)|WSU X, T, W, R c X{T~W|RSU X, T, W, S c X{T{W~SSU X, T, W, V c X~T{W|VSU X, T, W, W c X~T{WWSU X, T, W, X c X~T|W{XSU X, T, X, P c X~(T{PX)SU X, T, X, Q c (X{T{X)~QSU X, T, X, V c X~X|T~VSU X, T, X, W c X{T~X|WSU X, T, X, X c X~T{XXSU X, U, O, W c X~U{O|WSU X, U, P, P c X~(U|P){PSU X, U, P, Q c (X|P)~U|QSU X, U, P, R c (X{U)~R{PSU X, U, P, S c (X{P)~S{USU X, U, P, T c (X|P)~T{USU X, U, P, U c X{U~U{PSU X, U, P, V c (X~U)|(P{V)SU X, U, P, W c X~U|P~WSU X, U, P, X c X~U{P|XSU X, U, Q, P c (X|P)~U|QSU X, U, Q, S c X~U|Q~SSU X, U, Q, U c (X~U)|(Q{U)SU X, U, Q, W c (X{U{W)~QSU X, U, R, P c (X{U)~R{PSU X, U, R, S c (X|SR)~USU X, U, R, T c (X~U)|(R{T)SU X, U, R, W c U~(W|RX)SU X, U, S, P c (X{P)~S{USU X, U, S, Q c X~U|S~QSU X, U, S, R c (X|SR)~USU X, U, S, S c (X~U)|(S{S)SU X, U, S, W c (X|S)~W{USU X, U, T, P c (X|P)~T{USU X, U, T, R c (X~U)|(T{R)SU X, U, T, T c X~T{U|TSU X, U, T, U c X~T{UUSU X, U, T, V c X{U~T{VSU X, U, U, P c X{U~U{PSU X, U, U, Q c (X~U)|(U{Q)SU X, U, U, T c X~T{UUSU X, U, U, V c (UX{V)~USU X, U, U, W c (X|WU)~USU X, U, V, P c (X~U)|(V{P)SU X, U, V, T c X{U~V|TSU X, U, V, U c (UX{V)~USU X, U, V, V c U{V~V|XSU X, U, V, W c U~W|X{VSU X, U, W, O c X~U|W{OSU X, U, W, P c X~U|W~PSU X, U, W, Q c (X{U{W)~QSU X, U, W, R c U~(W|RX)SU X, U, W, S c (X|S)~W{USU X, U, W, U c (X|WU)~USU X, U, W, V c U~W|X{VSU X, U, W, X c X~(U|WX)SU X, U, X, P c X~U|X{PSU X, U, X, W c X~(U|WX)SU X, V, P, Q c X~(V|Q){PSU X, V, P, U c (X~U)|(V{P)SU X, V, P, W c X~(V|P)|WSU X, V, Q, P c X~(V|Q){PSU X, V, Q, Q c (X{V~Q)~QSU X, V, Q, R c (X{V)~R|QSU X, V, Q, S c X~Q{V~SSU X, V, Q, T c X{V~T{QSU X, V, Q, V c (X{V{V)~QSU X, V, R, Q c (X{V)~R|QSU X, V, R, S c (X|R)~V{SSU X, V, R, V c V~V|XRSU X, V, S, Q c X~Q{V~SSU X, V, S, R c X~S{V{RSU X, V, S, T c (V{S)~T|XSU X, V, S, X c X{V~S{XSU X, V, T, Q c X{V~T{QSU X, V, T, S c (V{S)~T|XSU X, V, T, U c X{V{T~USU X, V, T, V c X~T{VVSU X, V, T, W c X~T|V{WSU X, V, T, X c X~X|V~TSU X, V, U, P c (X~U)|(V{P)SU X, V, U, T c X{V{U~TSU X, V, U, U c (V{UX)~USU X, V, U, V c V~V|X{USU X, V, U, W c V{U~W|XSU X, V, V, Q c (X{V{V)~QSU X, V, V, R c V~V|XRSU X, V, V, T c X~T{VVSU X, V, V, U c V~V|X{USU X, V, W, P c X~(V|P)|WSU X, V, W, T c X~T|V{WSU X, V, W, U c V{W~U|XSU X, V, W, X c (X~V)|(W{X)SU X, V, X, S c X{V~S{XSU X, V, X, T c X~X|V~TSU X, V, X, W c (X~V)|(X{W)SU X, W, O, U c (X{O)~U|WSU X, W, P, R c X~(W|R){PSU X, W, P, T c X~(P{T)|WSU X, W, P, U c X~P~U|WSU X, W, P, V c X~(V|P)|WSU X, W, Q, R c X~Q~R|WSU X, W, Q, S c X~(Q{S)|WSU X, W, Q, U c (X{W{U)~QSU X, W, Q, W c X~(W|Q)|WSU X, W, R, P c X~(W|R){PSU X, W, R, Q c (X|R)~W|QSU X, W, R, R c X~(R{R)|WSU X, W, R, T c (X{W)~R|TSU X, W, R, U c (W|RX)~USU X, W, R, X c (X|R)~X|WSU X, W, S, Q c X~S{W{QSU X, W, S, T c X{W~S{TSU X, W, S, U c (X|S)~W{USU X, W, S, W c (W|XS)~WSU X, W, T, P c X~(T{P)|WSU X, W, T, R c X{W~T|RSU X, W, T, S c X{W~S{TSU X, W, T, V c X~T{W|VSU X, W, T, W c X~T{WWSU X, W, T, X c X|W{T~XSU X, W, U, O c X~U|W{OSU X, W, U, P c X~U|W~PSU X, W, U, Q c (X{W{U)~QSU X, W, U, R c (W|RX)~USU X, W, U, S c (X|S)~W{USU X, W, U, U c (X|WU)~USU X, W, U, V c W~U|X{VSU X, W, U, X c X~(U|WX)SU X, W, V, P c X~(V|P)|WSU X, W, V, T c X~T{W|VSU X, W, V, U c W~U|X{VSU X, W, V, X c (X~V)|(W{X)SU X, W, W, Q c X~(W|Q)|WSU X, W, W, S c (W|XS)~WSU X, W, W, T c X~T{WWSU X, W, W, X c (W~W)|(X{X)SU X, W, X, R c (X{X)~R|WSU X, W, X, T c X|W{X~TSU X, W, X, U c X~(U|WX)SU X, W, X, V c (X~V)|(W{X)SU X, W, X, W c (W~W)|(X{X)SU X, X, P, S c X{X~S{PSU X, X, P, T c X~(PX{T)SU X, X, P, U c X~U|X{PSU X, X, Q, T c (X{X{T)~QSU X, X, R, W c (X{X)~R|WSU X, X, S, P c X{X~S{PSU X, X, S, V c X{X{S~VSU X, X, T, P c X~(T{PX)SU X, X, T, Q c (X{X{T)~QSU X, X, T, V c X~X|T~VSU X, X, T, W c X{X~T|WSU X, X, T, X c XX{T~XSU X, X, U, P c X~U|X{PSU X, X, U, W c X~(U|WX)SU X, X, V, S c X{X{V~SSU X, X, V, T c X~X|V~TSU X, X, V, W c (X~V)|(X{W)SU X, X, W, R c (X{X)~R|WSU X, X, W, T c X{X~T|WSU X, X, W, U c X~(U|WX)SU X, X, W, V c (X~V)|(X{W)SU X, X, W, W c (W~W)|(X{X)SU X, X, X, T c XX{X~TSU