O, O, T, X c O{O{T~XST O, O, X, T c O{O{X~TST O, P, S, X c (O{P{S)~XST O, P, T, W c (O{P{W)~TST O, P, T, X c O{P~T~XST O, P, U, X c (O{U|P)~XST O, P, W, T c (O{P{W)~TST O, P, X, S c (O{P{S)~XST O, P, X, T c O{P~X~TST O, P, X, U c (O{X)~(U|P)ST O, Q, R, X c (O{Q{R)~XST O, Q, T, V c (O{Q{V)~TST O, Q, T, X c O~Q{T~XST O, Q, V, T c (O{Q{V)~TST O, Q, V, X c (O{V|Q)~XST O, Q, X, R c (O{Q{R)~XST O, Q, X, T c O~Q{X~TST O, Q, X, V c (O{X)~(V|Q)ST O, R, Q, X c (O{R{Q)~XST O, R, R, T c O{R~R~TST O, R, T, R c O{R~T~RST O, R, T, U c (O{R{U)~TST O, R, T, X c O~R{T~XST O, R, U, T c (O{R{U)~TST O, R, U, V c O{R{U~VST O, R, U, W c O{U~W|RST O, R, U, X c (O{R)~(U{X)ST O, R, V, U c O{R{V~UST O, R, V, W c (O{R)~(V{W)ST O, R, W, U c O{W~U|RST O, R, W, V c (O{R)~(W{V)ST O, R, W, X c (O{W|R)~XST O, R, X, Q c (O{R{Q)~XST O, R, X, T c O~R{X~TST O, R, X, U c (O{R)~(X{U)ST O, R, X, W c (O{X)~(W|R)ST O, S, P, X c (O{S{P)~XST O, S, T, T c (O{S{T)~TST O, S, T, X c O~S{T~XST O, S, V, V c O{V~V|SST O, S, X, P c (O{S{P)~XST O, S, X, T c O~S{X~TST O, S, X, X c O{S~X{XST O, T, O, X c (O{T{O)~XST O, T, P, W c (O{T)~(P{W)ST O, T, P, X c O{T~P~XST O, T, Q, V c (O{T)~(Q{V)ST O, T, Q, X c O~Q{T~XST O, T, R, R c O{T~R~RST O, T, R, U c (O{T)~(R{U)ST O, T, R, X c O~R{T~XST O, T, S, T c (O{T{S)~TST O, T, S, X c O~S{T~XST O, T, T, S c (O{T)~(T{S)ST O, T, T, W c O{T{T~WST O, T, T, X c O~T{T~XST O, T, U, R c (O{T)~(U{R)ST O, T, U, X c O~U{T~XST O, T, V, Q c (O{T)~(V{Q)ST O, T, V, X c O~V{T~XST O, T, W, P c (O{T)~(W{P)ST O, T, W, T c O{T{W~TST O, T, W, X c O~W{T~XST O, T, X, O c O{T~X{OST O, T, X, P c O{T~X~PST O, T, X, Q c O~Q{T~XST O, T, X, R c O~R{T~XST O, T, X, S c O~S{T~XST O, T, X, T c O~T{X~TST O, T, X, U c O~U{T~XST O, T, X, V c O~V{T~XST O, T, X, W c O~W{T~XST O, T, X, X c O~X{T~XST O, U, P, X c (O{U|P)~XST O, U, R, T c (O{U{R)~TST O, U, R, V c O{U~V{RST O, U, R, W c O{U~W|RST O, U, R, X c (O{U{X)~RST O, U, T, R c (O{U{R)~TST O, U, T, X c O~U{T~XST O, U, U, X c O{U~U{XST O, U, V, R c O{U~V{RST O, U, W, R c O{U~W|RST O, U, X, P c (O{U|P)~XST O, U, X, R c (O{U{X)~RST O, U, X, T c O~U{X~TST O, U, X, U c O{U~U{XST O, U, X, X c O{U~X|XST O, V, Q, T c (O{V{Q)~TST O, V, Q, X c (O{V|Q)~XST O, V, R, U c O{V~U{RST O, V, R, W c (O{V{W)~RST O, V, S, V c O{V~V|SST O, V, T, Q c (O{V{Q)~TST O, V, T, X c O~V{T~XST O, V, U, R c O{V~U{RST O, V, V, S c O{V~V|SST O, V, W, R c (O{V{W)~RST O, V, X, Q c (O{V|Q)~XST O, V, X, T c O~V{X~TST O, W, P, T c (O{W{P)~TST O, W, R, U c O{W~U|RST O, W, R, V c (O{W{V)~RST O, W, R, X c (O{W|R)~XST O, W, T, P c (O{W{P)~TST O, W, T, T c O{W~T{TST O, W, T, X c O~W{T~XST O, W, U, R c O{W~U|RST O, W, V, R c (O{W{V)~RST O, W, X, R c (O{W|R)~XST O, W, X, T c O~W{X~TST O, X, O, T c (O{X{O)~TST O, X, P, S c (O{X)~(P{S)ST O, X, P, T c O{X~P~TST O, X, P, U c (O{X)~(U|P)ST O, X, Q, R c (O{X)~(Q{R)ST O, X, Q, T c O~Q{X~TST O, X, Q, V c (O{X)~(V|Q)ST O, X, R, Q c (O{X)~(R{Q)ST O, X, R, T c O~R{X~TST O, X, R, U c (O{X{U)~RST O, X, R, W c (O{X)~(W|R)ST O, X, S, P c (O{X)~(S{P)ST O, X, S, T c O~S{X~TST O, X, S, X c O{X{S~XST O, X, T, O c O{X~T{OST O, X, T, P c O{X~T~PST O, X, T, Q c O~Q{X~TST O, X, T, R c O~R{X~TST O, X, T, S c O~S{X~TST O, X, T, T c O~T{X~TST O, X, T, U c O~U{X~TST O, X, T, V c O~V{X~TST O, X, T, W c O~W{X~TST O, X, T, X c O~X{T~XST O, X, U, P c (O{X)~(U|P)ST O, X, U, R c (O{X{U)~RST O, X, U, T c O~U{X~TST O, X, U, U c O{X{U~UST O, X, U, X c O{X~U|XST O, X, V, Q c (O{X)~(V|Q)ST O, X, V, T c O~V{X~TST O, X, W, R c (O{X)~(W|R)ST O, X, W, T c O~W{X~TST O, X, X, S c O{X{X~SST O, X, X, T c O~X{X~TST O, X, X, U c O{X~U|XST P, O, S, X c (P{O{S)~XST P, O, T, W c (P{O{W)~TST P, O, T, X c (P{O)~(T~X)ST P, O, U, X c (O{U|P)~XST P, O, W, T c (P{O{W)~TST P, O, X, S c (P{O{S)~XST P, O, X, T c (P{O)~(X~T)ST P, O, X, U c (O{X)~(U|P)ST P, P, R, X c (P{P{R)~XST P, P, S, W c (P{S)~(P{W)ST P, P, S, X c (P{P~S)~XST P, P, T, V c (P{P{V)~TST P, P, T, W c (P{P~W)~TST P, P, T, X c P|P{T~XST P, P, U, W c (P{W)~(U|P)ST P, P, U, X c (P~U|P)~XST P, P, V, T c (P{P{V)~TST P, P, V, X c (V|P|P)~XST P, P, W, S c (P{W)~(P{S)ST P, P, W, T c (P{P~W)~TST P, P, W, U c (P{W)~(U|P)ST P, P, X, R c (P{P{R)~XST P, P, X, S c (P{P~S)~XST P, P, X, T c P|P{X~TST P, P, X, U c (P~X)~(U|P)ST P, P, X, V c X~(V|P|P)ST P, Q, Q, X c (P{Q{Q)~XST P, Q, R, T c (P{Q)~(R~T)ST P, Q, R, V c (P{Q~V)~RST P, Q, R, W c (P{W)~(Q{R)ST P, Q, R, X c (P~Q{R)~XST P, Q, S, T c (P{Q~S)~TST P, Q, S, V c (P{S)~(Q{V)ST P, Q, S, X c P{(Q{X)~SST P, Q, T, R c (P{Q)~(T~R)ST P, Q, T, S c (P{Q~S)~TST P, Q, T, T c (Q~T|P)~TST P, Q, T, U c (P{Q{U)~TST P, Q, T, V c (P~Q{V)~TST P, Q, T, W c (Q|P{W)~TST P, Q, T, X c (Q|P)~(T~X)ST P, Q, U, T c (P{Q{U)~TST P, Q, U, V c P{Q{U~VST P, Q, U, W c (U~W)|(P{Q)ST P, Q, U, X c (P{Q)~(U{X)ST P, Q, V, R c (P{Q~V)~RST P, Q, V, S c (P{S)~(Q{V)ST P, Q, V, T c (P~Q{V)~TST P, Q, V, U c P{Q{V~UST P, Q, V, W c (P{Q)~(V{W)ST P, Q, V, X c (P~V|Q)~XST P, Q, W, R c (P{W)~(Q{R)ST P, Q, W, T c (Q|P{W)~TST P, Q, W, U c (W|PQ)~UST P, Q, W, V c (P{Q)~(W{V)ST P, Q, W, X c (P{WQ)~XST P, Q, X, Q c (P{Q{Q)~XST P, Q, X, R c (P~Q{R)~XST P, Q, X, S c P{(Q{X)~SST P, Q, X, T c (Q|P)~(X~T)ST P, Q, X, U c (P{Q)~(X{U)ST P, Q, X, V c (P~X)~(V|Q)ST P, Q, X, W c (P{WQ)~XST P, Q, X, X c (P{X)Q~XST P, R, P, X c (P{R{P)~XST P, R, Q, T c (P{Q)~(R~T)ST P, R, Q, V c (P{Q~V)~RST P, R, Q, W c (P{W)~(R{Q)ST P, R, Q, X c (P~R{Q)~XST P, R, R, S c (P{S)~(R~R)ST P, R, R, T c P~R~R~TST P, R, R, U c (R~R)~(U|P)ST P, R, R, X c (R|P{R)~XST P, R, S, R c (P{S)~(R~R)ST P, R, S, S c R~(S~S|P)ST P, R, S, T c R~(S|P)~TST P, R, S, U c (P{S)~(R{U)ST P, R, S, W c P{(R{W)~SST P, R, T, Q c (P{Q)~(R~T)ST P, R, T, R c P~R~T~RST P, R, T, S c (R~T)~(S|P)ST P, R, T, T c (P{R{T)~TST P, R, T, U c (P~R{U)~TST P, R, T, V c (P{T)~V{RST P, R, T, W c (P{T)~W|RST P, R, T, X c (P{T{X)~RST P, R, U, R c R~(U|P)~RST P, R, U, S c (P{S)~(R{U)ST P, R, U, T c (P~R{U)~TST P, R, U, U c (P{U)~U{RST P, R, U, V c P~R{U~VST P, R, U, W c (P{U{W)~RST P, R, U, X c (P~R)~(U{X)ST P, R, V, Q c (P{V~Q)~RST P, R, V, T c (P{T)~V{RST P, R, V, U c P~R{V~UST P, R, V, V c (P{V{V)~RST P, R, V, W c (P~R)~(V{W)ST P, R, V, X c (P{V|R)~XST P, R, W, Q c (P{W)~(R{Q)ST P, R, W, S c P{(R{W)~SST P, R, W, T c (P{T)~W|RST P, R, W, U c (P{W{U)~RST P, R, W, V c (P~R)~(W{V)ST P, R, W, W c (P{W)~(W|R)ST P, R, W, X c (P~W|R)~XST P, R, X, P c (P{R{P)~XST P, R, X, Q c (P~R{Q)~XST P, R, X, R c (R|P{R)~XST P, R, X, T c (P{X{T)~RST P, R, X, U c (P~R)~(X{U)ST P, R, X, V c (P{V|R)~XST P, R, X, W c (P~X)~(W|R)ST P, R, X, X c (P{R)~X{XST P, S, O, X c (P{S{O)~XST P, S, P, W c (P{S)~(P{W)ST P, S, P, X c (P{S)~(P~X)ST P, S, Q, T c (P{S~Q)~TST P, S, Q, V c (P{S)~(Q{V)ST P, S, Q, X c P{S~(Q{X)ST P, S, R, R c (P{S)~(R~R)ST P, S, R, S c (S~S|P)~RST P, S, R, T c (S|P)~(R~T)ST P, S, R, U c (P{S)~(R{U)ST P, S, R, W c P{S~(R{W)ST P, S, S, R c (S~S|P)~RST P, S, S, T c (P{S{S)~TST P, S, S, V c P{S~(S{V)ST P, S, T, Q c (P{S~Q)~TST P, S, T, R c (S|P)~(T~R)ST P, S, T, S c (P{S)~(T{S)ST P, S, T, T c (P~S{T)~TST P, S, T, U c P{S~(T{U)ST P, S, T, W c P{S{T~WST P, S, T, X c (P{X)~S{TST P, S, U, R c (P{S)~(U{R)ST P, S, U, T c P{S~(U{T)ST P, S, U, V c (P{U)~V|SST P, S, U, W c P{U~W|SST P, S, U, X c (S|P)~(U{X)ST P, S, V, Q c (P{S)~(V{Q)ST P, S, V, S c P{(S{V)~SST P, S, V, U c (P{U)~V|SST P, S, V, V c P~V~V|SST P, S, V, W c (S|P)~(V{W)ST P, S, W, P c (P{S)~(W{P)ST P, S, W, R c P{S~(W{R)ST P, S, W, T c P{S{W~TST P, S, W, U c P{W~U|SST P, S, W, V c (S|P)~(W{V)ST P, S, W, X c P{S~X{WST P, S, X, O c (P{S)~(X{O)ST P, S, X, P c (P{S)~(X~P)ST P, S, X, Q c P{S~(X{Q)ST P, S, X, T c (P{X)~S{TST P, S, X, U c (S|P)~(X{U)ST P, S, X, W c P{S~X{WST P, S, X, X c P~S~X{XST P, T, O, W c (P{O{W)~TST P, T, O, X c (P~T{O)~XST P, T, P, V c (P{P{V)~TST P, T, P, W c (P~T)~(P{W)ST P, T, P, X c (P{T|P)~XST P, T, Q, R c (P{Q)~(T~R)ST P, T, Q, S c (P{Q~S)~TST P, T, Q, T c (T~Q|P)~TST P, T, Q, U c (P{Q{U)~TST P, T, Q, V c (P~T)~(Q{V)ST P, T, Q, W c T~(Q|P{W)ST P, T, Q, X c T~(Q|P)~XST P, T, R, Q c (P{Q)~(T~R)ST P, T, R, R c P~T~R~RST P, T, R, S c (T~R)~(S|P)ST P, T, R, T c (P{T{R)~TST P, T, R, U c (P~T)~(R{U)ST P, T, R, V c (P{T)~V{RST P, T, R, W c (P{T)~W|RST P, T, R, X c (P{T{X)~RST P, T, S, Q c (P{S~Q)~TST P, T, S, R c T~(S|P)~RST P, T, S, S c (P{S)~(T{S)ST P, T, S, T c (P~T{S)~TST P, T, S, U c P{(T{U)~SST P, T, S, W c P{T~W{SST P, T, S, X c (P{X)~S{TST P, T, T, Q c T~(T~Q|P)ST P, T, T, R c (P{T{R)~TST P, T, T, S c (P~T)~(T{S)ST P, T, T, T c (T|P{T)~TST P, T, T, V c (P{V)~T{TST P, T, T, W c P~T{T~WST P, T, T, X c (P{X)~T|TST P, T, U, Q c (P{U{Q)~TST P, T, U, R c (P~T)~(U{R)ST P, T, U, S c P{(T{U)~SST P, T, U, W c T{(U|P)~WST P, T, U, X c (P{T)~U{XST P, T, V, P c (P{V{P)~TST P, T, V, Q c (P~T)~(V{Q)ST P, T, V, R c (P{T)~V{RST P, T, V, T c (P{V)~T{TST P, T, V, V c P{V~V|TST P, T, V, X c P{T~V{XST P, T, W, O c (P{W)~(T{O)ST P, T, W, P c (P~T)~(W{P)ST P, T, W, Q c T~(W|P{Q)ST P, T, W, R c (P{T)~W|RST P, T, W, S c P{T~W{SST P, T, W, T c P~T{W~TST P, T, W, U c T~W|P{UST P, T, W, X c T(P|WX)ST P, T, X, O c P~T~X{OST P, T, X, P c P{T~X|PST P, T, X, Q c (T~X)~(Q|P)ST P, T, X, R c (P{T{X)~RST P, T, X, S c (P{X)~S{TST P, T, X, T c (P{X)~T|TST P, T, X, U c (P{T)~U{XST P, T, X, V c P{T~V{XST P, T, X, W c T(P|WX)ST P, T, X, X c (P{T)~X|XST P, U, O, X c (U|P{O)~XST P, U, P, W c (P{W)~(U|P)ST P, U, P, X c (P~U|P)~XST P, U, Q, T c (P{U{Q)~TST P, U, Q, V c P{U~V{QST P, U, Q, W c (U~W)|(P{Q)ST P, U, Q, X c (P{U|Q)~XST P, U, R, R c (U|P)~(R~R)ST P, U, R, S c (P{S)~(U{R)ST P, U, R, T c (P~U{R)~TST P, U, R, U c (P{U)~U{RST P, U, R, V c P~U~V{RST P, U, R, W c (P{U{W)~RST P, U, R, X c (P~U{X)~RST P, U, S, R c (P{S)~(U{R)ST P, U, S, T c P{(U{T)~SST P, U, S, V c (P{U)~V|SST P, U, S, W c P{U~W|SST P, U, S, X c (U{X)~(S|P)ST P, U, T, Q c (P{U{Q)~TST P, U, T, R c (P~U{R)~TST P, U, T, S c P{(U{T)~SST P, U, T, W c U|P{T~WST P, U, T, X c (P{T)~U{XST P, U, U, R c (P{U)~U{RST P, U, U, W c P{U~U{WST P, U, U, X c P~U~U{XST P, U, V, Q c P{U~V{QST P, U, V, R c P~U~V{RST P, U, V, S c (P{U)~V|SST P, U, V, X c U~(V|P){XST P, U, W, P c (P{W)~(U|P)ST P, U, W, Q c (U~W)|(P{Q)ST P, U, W, R c (P{U{W)~RST P, U, W, S c P{U~W|SST P, U, W, T c U|P{W~TST P, U, W, U c P{U~U{WST P, U, W, X c (P{W)~U|XST P, U, X, O c (U|P)~(X{O)ST P, U, X, P c (P~U|P)~XST P, U, X, Q c (P{U|Q)~XST P, U, X, R c (P~U{X)~RST P, U, X, S c (U{X)~(S|P)ST P, U, X, T c (P{T)~U{XST P, U, X, U c P~U~U{XST P, U, X, V c U~(V|P){XST P, U, X, W c (P{W)~U|XST P, U, X, X c P~U~X|XST P, V, P, T c (P{V{P)~TST P, V, P, X c (V|P|P)~XST P, V, Q, R c (P{V~Q)~RST P, V, Q, S c (P{S)~(V{Q)ST P, V, Q, T c (P~V{Q)~TST P, V, Q, U c P{V~U{QST P, V, Q, W c (P{Q)~(V{W)ST P, V, Q, X c (P~V|Q)~XST P, V, R, Q c (P{V~Q)~RST P, V, R, T c (P{T)~V{RST P, V, R, U c (P{V)~U|RST P, V, R, V c (P{V{V)~RST P, V, R, W c (P~V{W)~RST P, V, R, X c (P{V|R)~XST P, V, S, Q c (P{S)~(V{Q)ST P, V, S, S c P{(V{S)~SST P, V, S, U c (P{U)~V|SST P, V, S, V c P~V~V|SST P, V, S, W c V~(W|P)|SST P, V, T, P c (P{V{P)~TST P, V, T, Q c (P~V{Q)~TST P, V, T, R c (P{T)~V{RST P, V, T, T c (P{V)~T{TST P, V, T, V c P{V~V|TST P, V, T, X c P{V~T{XST P, V, U, Q c P{V~U{QST P, V, U, R c (P{V)~U|RST P, V, U, S c (P{U)~V|SST P, V, U, X c (V|P)~U{XST P, V, V, R c (P{V{V)~RST P, V, V, S c P~V~V|SST P, V, V, T c P{V~V|TST P, V, W, Q c (P{W)~(V|Q)ST P, V, W, R c (P~V{W)~RST P, V, W, S c V~(W|P)|SST P, V, X, P c (V|P|P)~XST P, V, X, Q c (P~V|Q)~XST P, V, X, R c (P{V|R)~XST P, V, X, T c P{V~T{XST P, V, X, U c (V|P)~U{XST P, V, X, X c (V|P)~X|XST P, W, O, T c (P{W{O)~TST P, W, P, S c (P{W)~(P{S)ST P, W, P, T c (P{W)~(P~T)ST P, W, P, U c (P{W)~(U|P)ST P, W, Q, R c (P{W)~(Q{R)ST P, W, Q, T c (W|P{Q)~TST P, W, Q, U c (W|PQ)~UST P, W, Q, V c (P{W)~(V|Q)ST P, W, Q, X c (P{WQ)~XST P, W, R, Q c (P{W)~(R{Q)ST P, W, R, S c P{(W{R)~SST P, W, R, T c (P{T)~W|RST P, W, R, U c (P{W{U)~RST P, W, R, V c (P~W{V)~RST P, W, R, W c (P{W)~(W|R)ST P, W, R, X c (P~W|R)~XST P, W, S, P c (P{W)~(S{P)ST P, W, S, R c P{(W{R)~SST P, W, S, T c P{W~T{SST P, W, S, U c P{W~U|SST P, W, S, V c (W|P)~V|SST P, W, S, X c P{W{S~XST P, W, T, O c (P{W)~(T{O)ST P, W, T, P c (P{W)~(T~P)ST P, W, T, Q c (W|P{Q)~TST P, W, T, R c (P{T)~W|RST P, W, T, S c P{W~T{SST P, W, T, T c P~W~T{TST P, W, T, U c W~T|P{UST P, W, T, X c T(P|WX)ST P, W, U, P c (P{W)~(U|P)ST P, W, U, Q c (W|PQ)~UST P, W, U, R c (P{W{U)~RST P, W, U, S c P{W~U|SST P, W, U, T c W~(U|P){TST P, W, U, U c P{W{U~UST P, W, U, X c (P{W)~U|XST P, W, V, Q c (P{W)~(V|Q)ST P, W, V, R c (P~W{V)~RST P, W, V, S c (W|P)~V|SST P, W, W, R c (P{W)~(W|R)ST P, W, X, Q c (P{WQ)~XST P, W, X, R c (P~W|R)~XST P, W, X, S c P{W{X~SST P, W, X, T c T(P|WX)ST P, W, X, U c (P{W)~U|XST P, X, O, S c (P{O{S)~XST P, X, O, T c (P~X{O)~TST P, X, O, U c (X{O)~(U|P)ST P, X, P, R c (P{P{R)~XST P, X, P, S c (P~X)~(P{S)ST P, X, P, T c (P{X|P)~TST P, X, P, U c (P~X)~(U|P)ST P, X, P, V c X~(V|P|P)ST P, X, Q, Q c (P{Q{Q)~XST P, X, Q, R c (P~X)~(Q{R)ST P, X, Q, S c P{(X{Q)~SST P, X, Q, T c X~(Q|P)~TST P, X, Q, U c (P{Q)~(X{U)ST P, X, Q, V c (P~X)~(V|Q)ST P, X, Q, W c (P{WQ)~XST P, X, Q, X c (P{X)Q~XST P, X, R, P c (P{R{P)~XST P, X, R, Q c (P~X)~(R{Q)ST P, X, R, R c X~(R|P{R)ST P, X, R, T c (P{X{T)~RST P, X, R, U c (P~X{U)~RST P, X, R, V c (P{V|R)~XST P, X, R, W c (P~X)~(W|R)ST P, X, R, X c (P{R)~X{XST P, X, S, O c (P{S)~(X{O)ST P, X, S, P c (P~X)~(S{P)ST P, X, S, Q c P{(X{Q)~SST P, X, S, T c (P{X)~S{TST P, X, S, U c (X{U)~(S|P)ST P, X, S, W c P{X~S{WST P, X, S, X c P~X{S~XST P, X, T, O c P~X~T{OST P, X, T, P c P{X~T|PST P, X, T, Q c (X~T)~(Q|P)ST P, X, T, R c (P{X{T)~RST P, X, T, S c (P{X)~S{TST P, X, T, T c (P{X)~T|TST P, X, T, U c (P{T)~U{XST P, X, T, V c P{X{T~VST P, X, T, W c T(P|WX)ST P, X, T, X c (P{X|T)~XST P, X, U, O c X~(U|P){OST P, X, U, P c (P~X)~(U|P)ST P, X, U, Q c (P{U|Q)~XST P, X, U, R c (P~X{U)~RST P, X, U, S c (X{U)~(S|P)ST P, X, U, T c (P{T)~U{XST P, X, U, U c P~X{U~UST P, X, U, V c X{U~(V|P)ST P, X, U, W c (P{W)~U|XST P, X, U, X c P~X~U|XST P, X, V, P c X~(V|P|P)ST P, X, V, Q c (P~X)~(V|Q)ST P, X, V, R c (P{V|R)~XST P, X, V, T c P{X{V~TST P, X, V, U c X{(V|P)~UST P, X, V, X c X~(V|P)|XST P, X, W, Q c (P{WQ)~XST P, X, W, R c (P~X)~(W|R)ST P, X, W, S c P{X~S{WST P, X, W, T c T(P|WX)ST P, X, W, U c (P{W)~U|XST P, X, X, Q c (P{X)~(XQ)ST P, X, X, R c (P{R)~X{XST P, X, X, S c P~X{X~SST P, X, X, T c (P{X|T)~XST P, X, X, U c P~X~U|XST P, X, X, V c X~(V|P)|XST Q, O, R, X c (Q{O{R)~XST Q, O, T, V c (Q{O{V)~TST Q, O, T, X c Q~O{T~XST Q, O, V, T c (Q{O{V)~TST Q, O, V, X c (O{V|Q)~XST Q, O, X, R c (Q{O{R)~XST Q, O, X, T c Q~O{X~TST Q, O, X, V c (O{X)~(V|Q)ST Q, P, Q, X c (Q{P{Q)~XST Q, P, R, T c (Q{P)~(R~T)ST Q, P, R, V c (Q~V{P)~RST Q, P, R, W c (Q{R)~(P{W)ST Q, P, R, X c (Q{P~R)~XST Q, P, S, T c (Q~S{P)~TST Q, P, S, V c (Q{V)~(P{S)ST Q, P, S, X c (Q|P{S)~XST Q, P, T, R c (Q{P)~(T~R)ST Q, P, T, S c (Q~S{P)~TST Q, P, T, T c (Q~T|P)~TST Q, P, T, U c (Q{P{U)~TST Q, P, T, V c (Q{P~V)~TST Q, P, T, W c (Q|P{W)~TST Q, P, T, X c (Q|P)~(T~X)ST Q, P, U, T c (Q{P{U)~TST Q, P, U, V c Q{P{U~VST Q, P, U, W c (U~W)|(Q{P)ST Q, P, U, X c (Q{P)~(U{X)ST Q, P, V, R c (Q~V{P)~RST Q, P, V, S c (Q{V)~(P{S)ST Q, P, V, T c (Q{P~V)~TST Q, P, V, U c Q{P{V~UST Q, P, V, W c (Q{P)~(V{W)ST Q, P, V, X c (P~V|Q)~XST Q, P, W, R c (Q~W|P)~RST Q, P, W, T c (Q|P{W)~TST Q, P, W, U c (W|PQ)~UST Q, P, W, V c (Q{P)~(W{V)ST Q, P, W, X c (P{WQ)~XST Q, P, X, Q c (Q{P{Q)~XST Q, P, X, R c (Q{P~R)~XST Q, P, X, S c (Q|P{S)~XST Q, P, X, T c (Q|P)~(X~T)ST Q, P, X, U c (Q{P)~(X{U)ST Q, P, X, V c (P~X)~(V|Q)ST Q, P, X, W c (P{WQ)~XST Q, P, X, X c (P{X)Q~XST Q, Q, P, X c (Q{Q{P)~XST Q, Q, R, V c (Q{R)~(Q{V)ST Q, Q, S, X c (QQ{S)~XST Q, Q, T, T c (Q{Q{T)~TST Q, Q, T, W c (QQ{W)~TST Q, Q, T, X c Q|Q{T~XST Q, Q, U, X c (Q{UQ)~XST Q, Q, V, R c (Q{V)~(Q{R)ST Q, Q, V, V c (Q{V)~(V|Q)ST Q, Q, W, T c (QQ{W)~TST Q, Q, W, X c (Q{W)Q~XST Q, Q, X, P c (Q{Q{P)~XST Q, Q, X, S c (QQ{S)~XST Q, Q, X, T c Q|Q{X~TST Q, Q, X, U c (Q{UQ)~XST Q, Q, X, W c (Q{W)Q~XST Q, Q, X, X c (Q{Q)~X{XST Q, R, O, X c (Q{R{O)~XST Q, R, P, T c (Q{P)~(R~T)ST Q, R, P, V c (Q~V{P)~RST Q, R, P, W c (Q{R)~(P{W)ST Q, R, P, X c (Q{R)~(P~X)ST Q, R, Q, V c (Q{R)~(Q{V)ST Q, R, R, R c (Q{R)~(R~R)ST Q, R, R, T c (Q~R{R)~TST Q, R, R, U c (Q{R)~(R{U)ST Q, R, R, V c Q~R~V{RST Q, R, R, W c Q~R~W|RST Q, R, R, X c (Q~R{X)~RST Q, R, S, T c (Q{R{S)~TST Q, R, S, U c Q~S~U|RST Q, R, S, V c (Q{S)~V{RST Q, R, S, W c (Q{S)~W|RST Q, R, S, X c (Q~S|R)~XST Q, R, T, P c (Q{P)~(R~T)ST Q, R, T, R c (Q~R{R)~TST Q, R, T, S c (Q{R)~(T{S)ST Q, R, T, T c (Q~T{T)~RST Q, R, T, U c (Q{T)~U{RST Q, R, T, W c Q{R{T~WST Q, R, T, X c (R|Q)~(T~X)ST Q, R, U, R c (Q{R)~(U{R)ST Q, R, U, S c Q~U~S|RST Q, R, U, T c (Q~U|R)~TST Q, R, U, U c (Q{U)~U|RST Q, R, U, V c (Q{U{V)~RST Q, R, U, X c Q~R~U{XST Q, R, V, P c (Q~V{P)~RST Q, R, V, Q c (Q{R)~(V{Q)ST Q, R, V, R c Q~R~V{RST Q, R, V, S c (Q{S)~V{RST Q, R, V, U c (Q{V{U)~RST Q, R, V, W c (Q{V)~(W|R)ST Q, R, V, X c (R{V)Q~XST Q, R, W, P c (Q{R)~(W{P)ST Q, R, W, R c Q~R~W|RST Q, R, W, S c (Q{S)~W|RST Q, R, W, T c Q{R{W~TST Q, R, W, V c (Q{V)~(W|R)ST Q, R, W, W c (W|Q)~W|RST Q, R, W, X c R~(W|Q{X)ST Q, R, X, O c (Q{R)~(X{O)ST Q, R, X, P c (Q{R)~(X~P)ST Q, R, X, R c (Q~R{X)~RST Q, R, X, S c (Q{X{S)~RST Q, R, X, T c (R|Q)~(X~T)ST Q, R, X, U c Q~R~U{XST Q, R, X, V c (R{V)Q~XST Q, R, X, W c R~(X|Q{W)ST Q, R, X, X c Q~R~X|XST Q, S, P, T c (Q~S{P)~TST Q, S, P, V c (Q{V)~(S{P)ST Q, S, P, X c (Q{S|P)~XST Q, S, Q, X c (QQ{S)~XST Q, S, R, T c (Q{S{R)~TST Q, S, R, U c Q~S~U|RST Q, S, R, V c (Q{S)~V{RST Q, S, R, W c (Q{S)~W|RST Q, S, R, X c (Q~S|R)~XST Q, S, T, P c (Q~S{P)~TST Q, S, T, R c (Q{S{R)~TST Q, S, T, T c Q~S~T{TST Q, S, T, V c (Q{T)~V|SST Q, S, T, W c (Q{W)~S{TST Q, S, U, R c Q~S~U|RST Q, S, U, V c (QS{V)~UST Q, S, U, W c U~(W|QS)ST Q, S, U, X c (Q{S)~U{XST Q, S, V, P c (Q{V)~(S{P)ST Q, S, V, R c (Q{S)~V{RST Q, S, V, T c (Q{T)~V|SST Q, S, V, U c (QS{V)~UST Q, S, V, X c Q{S~X{VST Q, S, W, R c (Q{S)~W|RST Q, S, W, T c (Q{W)~S{TST Q, S, W, U c (W|QS)~UST Q, S, X, P c (Q{S|P)~XST Q, S, X, Q c (QQ{S)~XST Q, S, X, R c (Q{S{X)~RST Q, S, X, U c (Q{S)~U{XST Q, S, X, V c Q{S~X{VST Q, S, X, X c (Q{S)~X|XST Q, T, O, V c (Q{O{V)~TST Q, T, O, X c Q~O{T~XST Q, T, P, R c (Q{P)~(T~R)ST Q, T, P, S c (Q~S{P)~TST Q, T, P, T c (Q~T|P)~TST Q, T, P, U c (Q{P{U)~TST Q, T, P, V c (Q{P~V)~TST Q, T, P, W c (Q|P{W)~TST Q, T, P, X c (Q|P)~(T~X)ST Q, T, Q, T c (Q{T{Q)~TST Q, T, Q, W c (QQ{W)~TST Q, T, Q, X c (Q{T|Q)~XST Q, T, R, P c (Q{P)~(T~R)ST Q, T, R, R c (Q~R{R)~TST Q, T, R, S c (Q{R)~(T{S)ST Q, T, R, T c (Q~T{T)~RST Q, T, R, U c (Q{T)~U{RST Q, T, R, W c (Q{T{W)~RST Q, T, R, X c T~(R|Q)~XST Q, T, S, P c (Q~S{P)~TST Q, T, S, R c (Q{S{R)~TST Q, T, S, T c Q~T~S{TST Q, T, S, V c (Q{T)~V|SST Q, T, S, W c (Q{W)~S{TST Q, T, T, P c (Q~T|P)~TST Q, T, T, Q c (Q{T{Q)~TST Q, T, T, R c (Q~T{T)~RST Q, T, T, S c Q~T~S{TST Q, T, T, T c Q~T~T|TST Q, T, T, U c (Q{U)~T{TST Q, T, T, V c Q~T{T~VST Q, T, T, W c (Q{W)~T|TST Q, T, T, X c (Q~T|T)~XST Q, T, U, P c (Q{U{P)~TST Q, T, U, R c (Q{T)~U{RST Q, T, U, T c (Q{U)~T{TST Q, T, U, U c T~(UQ{U)ST Q, T, U, V c T|Q{U~VST Q, T, U, W c Q{U~W|TST Q, T, U, X c (T|Q)~(U{X)ST Q, T, V, O c (Q{V)~(T{O)ST Q, T, V, P c (Q{V)~(T~P)ST Q, T, V, S c (Q{T)~V|SST Q, T, V, T c Q~T{V~TST Q, T, V, U c T|Q{V~UST Q, T, V, W c Q{T~V{WST Q, T, W, P c (Q{W|P)~TST Q, T, W, Q c (QQ{W)~TST Q, T, W, R c (Q{T{W)~RST Q, T, W, S c (Q{W)~S{TST Q, T, W, T c (Q{W)~T|TST Q, T, W, U c Q{W~U|TST Q, T, W, V c Q{T~V{WST Q, T, W, X c (Q{W|T)~XST Q, T, X, O c Q~O{T~XST Q, T, X, P c (Q|P)~(T~X)ST Q, T, X, Q c Q{T~X|QST Q, T, X, R c (T~X)~(R|Q)ST Q, T, X, T c (Q~T|T)~XST Q, T, X, U c (T|Q)~(X{U)ST Q, T, X, W c (Q{W|T)~XST Q, T, X, X c (Q~X|X)~TST Q, U, P, T c (Q{U{P)~TST Q, U, P, V c Q{U~V{PST Q, U, P, W c (U~W)|(Q{P)ST Q, U, P, X c (Q{P)~(U{X)ST Q, U, Q, X c (Q{UQ)~XST Q, U, R, R c (Q~U{R)~RST Q, U, R, S c Q~U~S|RST Q, U, R, T c (Q~U|R)~TST Q, U, R, U c (Q{U)~U|RST Q, U, R, V c (Q{U{V)~RST Q, U, R, X c (Q{U|R)~XST Q, U, S, R c Q~U~S|RST Q, U, S, V c (QS{V)~UST Q, U, S, W c U~(W|QS)ST Q, U, S, X c (Q{S)~U{XST Q, U, T, P c (Q{U{P)~TST Q, U, T, R c (Q~U|R)~TST Q, U, T, T c (Q{U)~T{TST Q, U, T, U c (UQ{U)~TST Q, U, T, V c U~V|Q{TST Q, U, T, W c Q{U~W|TST Q, U, T, X c (U{X)~(T|Q)ST Q, U, U, R c (Q{U)~U|RST Q, U, U, T c (UQ{U)~TST Q, U, U, V c Q{U~U{VST Q, U, U, W c U~W|UQST Q, U, U, X c (UQ)~(U{X)ST Q, U, V, P c Q{U~V{PST Q, U, V, R c (Q{U{V)~RST Q, U, V, S c (QS{V)~UST Q, U, V, T c U~V|Q{TST Q, U, V, U c Q{U~U{VST Q, U, V, V c Q{V~V|UST Q, U, V, W c (UQ)~(V{W)ST Q, U, V, X c (Q~U|V)~XST Q, U, W, P c (U~W)|(Q{P)ST Q, U, W, S c U~(W|QS)ST Q, U, W, T c Q{U~W|TST Q, U, W, U c U~W|UQST Q, U, W, V c (UQ)~(W{V)ST Q, U, W, X c U~(W|Q){XST Q, U, X, P c (Q{P)~(U{X)ST Q, U, X, Q c (Q{UQ)~XST Q, U, X, R c (Q{U|R)~XST Q, U, X, S c (Q{S)~U{XST Q, U, X, T c (U{X)~(T|Q)ST Q, U, X, U c (UQ)~(X{U)ST Q, U, X, V c (Q~U|V)~XST Q, U, X, W c U~(W|Q){XST Q, U, X, X c (Q{X|U)~XST Q, V, O, T c (Q{V{O)~TST Q, V, O, X c (V|Q{O)~XST Q, V, P, R c (Q~V{P)~RST Q, V, P, S c (Q{V)~(P{S)ST Q, V, P, T c (Q{V)~(P~T)ST Q, V, P, U c Q{V~U{PST Q, V, P, W c (Q{P)~(V{W)ST Q, V, P, X c (V|Q)~(P~X)ST Q, V, Q, R c (Q{V)~(Q{R)ST Q, V, Q, V c (Q{V)~(V|Q)ST Q, V, R, P c (Q~V{P)~RST Q, V, R, Q c (Q{V)~(R{Q)ST Q, V, R, R c Q~V~R{RST Q, V, R, S c (Q{S)~V{RST Q, V, R, U c (Q{V{U)~RST Q, V, R, W c (Q{V)~(W|R)ST Q, V, R, X c (V{R)Q~XST Q, V, S, P c (Q{V)~(S{P)ST Q, V, S, R c (Q{S)~V{RST Q, V, S, T c (Q{T)~V|SST Q, V, S, U c (QS{V)~UST Q, V, S, X c Q{V{S~XST Q, V, T, O c (Q{V)~(T{O)ST Q, V, T, P c (Q{V)~(T~P)ST Q, V, T, S c (Q{T)~V|SST Q, V, T, T c (Q~V|T)~TST Q, V, T, U c V~U|Q{TST Q, V, T, W c Q{V~T{WST Q, V, U, P c Q{V~U{PST Q, V, U, R c (Q{V{U)~RST Q, V, U, S c (QS{V)~UST Q, V, U, T c V~U|Q{TST Q, V, U, U c Q{V{U~UST Q, V, U, V c Q{V~V|UST Q, V, U, W c (V{W)Q~UST Q, V, U, X c (Q{V)~U|XST Q, V, V, Q c (Q{V)~(V|Q)ST Q, V, V, U c Q{V~V|UST Q, V, V, W c V~V|WQST Q, V, W, P c (Q{P)~(V{W)ST Q, V, W, R c (Q{V)~(W|R)ST Q, V, W, T c Q{V~T{WST Q, V, W, U c (V{W)Q~UST Q, V, W, V c V~V|WQST Q, V, W, X c (V~W)|(Q{X)ST Q, V, X, O c (V|Q)~(X{O)ST Q, V, X, P c (V|Q)~(X~P)ST Q, V, X, R c (V{R)Q~XST Q, V, X, S c Q{V{X~SST Q, V, X, U c (Q{V)~U|XST Q, V, X, W c (V~W)|(Q{X)ST Q, V, X, X c (Q~V|X)~XST Q, W, P, R c (Q~W|P)~RST Q, W, P, T c (Q{W|P)~TST Q, W, P, U c (W|PQ)~UST Q, W, P, V c (Q{P)~(W{V)ST Q, W, P, X c (W|Q|P)~XST Q, W, Q, T c (QQ{W)~TST Q, W, Q, X c (Q{W)Q~XST Q, W, R, P c (Q~W|P)~RST Q, W, R, R c Q~W~R|RST Q, W, R, S c (Q{S)~W|RST Q, W, R, T c (Q{W{T)~RST Q, W, R, V c (Q{V)~(W|R)ST Q, W, R, W c (W|Q)~W|RST Q, W, R, X c (W|Q{X)~RST Q, W, S, R c (Q{S)~W|RST Q, W, S, T c (Q{W)~S{TST Q, W, S, U c (W|QS)~UST Q, W, T, P c (Q{W|P)~TST Q, W, T, Q c (QQ{W)~TST Q, W, T, R c (Q{W{T)~RST Q, W, T, S c (Q{W)~S{TST Q, W, T, T c (Q{W)~T|TST Q, W, T, U c Q{W~U|TST Q, W, T, V c Q{W{T~VST Q, W, T, X c (Q{W|T)~XST Q, W, U, P c (W~U)|(Q{P)ST Q, W, U, S c (W|QS)~UST Q, W, U, T c Q{W~U|TST Q, W, U, U c W~U|UQST Q, W, U, V c (W{V)Q~UST Q, W, U, X c (W|Q)~U{XST Q, W, V, P c (Q{P)~(W{V)ST Q, W, V, R c (Q{V)~(W|R)ST Q, W, V, T c Q{W{V~TST Q, W, V, U c (W{V)Q~UST Q, W, V, V c V~V|WQST Q, W, V, X c (W~V)|(Q{X)ST Q, W, W, R c (W|Q)~W|RST Q, W, X, P c (W|Q|P)~XST Q, W, X, Q c (Q{W)~(XQ)ST Q, W, X, R c (W|Q{X)~RST Q, W, X, T c (Q{W|T)~XST Q, W, X, U c (W|Q)~U{XST Q, W, X, V c (W~V)|(Q{X)ST Q, W, X, X c (W|Q)~X|XST Q, X, O, R c (Q{O{R)~XST Q, X, O, T c Q~O{X~TST Q, X, O, V c (X{O)~(V|Q)ST Q, X, P, Q c (Q{P{Q)~XST Q, X, P, R c (Q{P~R)~XST Q, X, P, S c (Q{X)~S{PST Q, X, P, T c (Q|P)~(X~T)ST Q, X, P, U c (Q{P)~(X{U)ST Q, X, P, V c (X~P)~(V|Q)ST Q, X, P, W c X~(P{WQ)ST Q, X, P, X c (XQ)~(P{X)ST Q, X, Q, P c (Q{Q{P)~XST Q, X, Q, S c (QQ{S)~XST Q, X, Q, T c (Q{X|Q)~TST Q, X, Q, U c (Q{UQ)~XST Q, X, Q, W c (Q{W)~(XQ)ST Q, X, Q, X c Q~X~Q{XST Q, X, R, O c (Q{R)~(X{O)ST Q, X, R, P c (Q{R)~(X~P)ST Q, X, R, R c (Q~X|R)~RST Q, X, R, S c (Q{X{S)~RST Q, X, R, T c X~(R|Q)~TST Q, X, R, U c Q~R~U{XST Q, X, R, V c (XQ)~(R{V)ST Q, X, R, W c (X|Q{W)~RST Q, X, R, X c (Q{XR)~XST Q, X, S, P c (Q{X)~S{PST Q, X, S, Q c (QQ{S)~XST Q, X, S, R c (Q{X{S)~RST Q, X, S, U c (Q{S)~U{XST Q, X, S, V c Q{X~S{VST Q, X, S, X c (Q{S)~X|XST Q, X, T, O c Q~O{X~TST Q, X, T, P c (Q|P)~(X~T)ST Q, X, T, Q c Q{X~T|QST Q, X, T, R c (X~T)~(R|Q)ST Q, X, T, T c (Q~T|T)~XST Q, X, T, U c (X{U)~(T|Q)ST Q, X, T, W c (Q{W|T)~XST Q, X, T, X c (Q~X|X)~TST Q, X, U, P c (Q{P)~(X{U)ST Q, X, U, Q c (Q{UQ)~XST Q, X, U, R c (Q{U|R)~XST Q, X, U, S c (Q{S)~U{XST Q, X, U, T c (X{U)~(T|Q)ST Q, X, U, U c (X{U)Q~UST Q, X, U, V c (Q~U|V)~XST Q, X, U, W c X{U~(W|Q)ST Q, X, U, X c (Q{X|U)~XST Q, X, V, O c X~(V|Q){OST Q, X, V, P c X~(V|Q)~PST Q, X, V, R c (XQ)~(V{R)ST Q, X, V, S c Q{X~S{VST Q, X, V, U c (Q{V)~U|XST Q, X, V, W c (V~W)|(Q{X)ST Q, X, V, X c (Q~V|X)~XST Q, X, W, P c X~(W|Q|P)ST Q, X, W, Q c (Q{W)~(XQ)ST Q, X, W, R c (X|Q{W)~RST Q, X, W, T c (Q{W|T)~XST Q, X, W, U c X{(W|Q)~UST Q, X, W, V c (W~V)|(Q{X)ST Q, X, W, X c XQ~W{XST Q, X, X, P c (XQ)~(X{P)ST Q, X, X, Q c Q~X~Q{XST Q, X, X, R c Q~X{X~RST Q, X, X, S c (Q{S)~X|XST Q, X, X, T c (Q~X|X)~TST Q, X, X, U c (Q{X|U)~XST Q, X, X, V c (Q~V|X)~XST Q, X, X, W c XQ~W{XST Q, X, X, X c Q~(X{X){XST R, O, Q, X c (R{O{Q)~XST R, O, R, T c (R{O)~(R~T)ST R, O, T, R c (R{O)~(T~R)ST R, O, T, U c (R{O{U)~TST R, O, T, X c R~O{T~XST R, O, U, T c (R{O{U)~TST R, O, U, V c R{O{U~VST R, O, U, W c O{U~W|RST R, O, U, X c (R{O)~(U{X)ST R, O, V, U c R{O{V~UST R, O, V, W c (R{O)~(V{W)ST R, O, W, U c O{W~U|RST R, O, W, V c (R{O)~(W{V)ST R, O, W, X c (O{W|R)~XST R, O, X, Q c (R{O{Q)~XST R, O, X, T c R~O{X~TST R, O, X, U c (R{O)~(X{U)ST R, O, X, W c (O{X)~(W|R)ST R, P, P, X c (R{P{P)~XST R, P, Q, T c R~(P{Q)~TST R, P, Q, V c R~(P{Q~V)ST R, P, Q, W c (R{Q)~(P{W)ST R, P, Q, X c (R{P~Q)~XST R, P, R, S c R~(P{S)~RST R, P, R, T c R~P~R~TST R, P, R, U c (R~R)~(U|P)ST R, P, R, X c (R|P{R)~XST R, P, S, R c R~(P{S)~RST R, P, S, S c R~(S~S|P)ST R, P, S, T c R~(S|P)~TST R, P, S, U c (R{U)~(P{S)ST R, P, S, W c (R{W)~S{PST R, P, T, Q c R~(P{Q)~TST R, P, T, R c R~P~T~RST R, P, T, S c (R~T)~(S|P)ST R, P, T, T c (R{P{T)~TST R, P, T, U c (R{P~U)~TST R, P, T, V c R{(P{T)~VST R, P, T, W c (P{T)~W|RST R, P, T, X c R~(P{T{X)ST R, P, U, R c R~(U|P)~RST R, P, U, S c (R{U)~(P{S)ST R, P, U, T c (R{P~U)~TST R, P, U, U c R{(P{U)~UST R, P, U, V c R{P~U~VST R, P, U, W c R~(P{U{W)ST R, P, U, X c (R~P)~(U{X)ST R, P, V, Q c R~(P{V~Q)ST R, P, V, T c (R|P{V)~TST R, P, V, U c R{P~V~UST R, P, V, V c R~(P{V{V)ST R, P, V, W c (R~P)~(V{W)ST R, P, V, X c R~(V|P{X)ST R, P, W, Q c R~(W~Q|P)ST R, P, W, S c (R{W)~S{PST R, P, W, T c (P{T)~W|RST R, P, W, U c R~(P{W{U)ST R, P, W, V c (R~P)~(W{V)ST R, P, W, W c R~(W|P{W)ST R, P, W, X c (P~W|R)~XST R, P, X, P c (R{P{P)~XST R, P, X, Q c (R{P~Q)~XST R, P, X, R c (R|P{R)~XST R, P, X, T c R~(P{X{T)ST R, P, X, U c (R~P)~(X{U)ST R, P, X, V c R~(X|P{V)ST R, P, X, W c (P~X)~(W|R)ST R, P, X, X c (R{P)~X{XST R, Q, O, X c (R{Q{O)~XST R, Q, P, T c R~(Q{P)~TST R, Q, P, V c R~(Q~V{P)ST R, Q, P, W c (R{Q)~(P{W)ST R, Q, P, X c (R{Q)~(P~X)ST R, Q, Q, V c (R{Q)~(Q{V)ST R, Q, R, R c (R{Q)~(R~R)ST R, Q, R, T c (R{Q~R)~TST R, Q, R, U c (R{Q)~(R{U)ST R, Q, R, V c R{Q~R~VST R, Q, R, W c R~Q~W|RST R, Q, R, X c R~(Q~R{X)ST R, Q, S, T c (R{Q{S)~TST R, Q, S, U c Q~S~U|RST R, Q, S, V c R{(Q{S)~VST R, Q, S, W c (Q{S)~W|RST R, Q, S, X c (R|Q{S)~XST R, Q, T, P c R~(Q{P)~TST R, Q, T, R c (R{Q~R)~TST R, Q, T, S c (R{Q)~(T{S)ST R, Q, T, T c R~(Q~T{T)ST R, Q, T, U c R{(Q{T)~UST R, Q, T, W c R{Q{T~WST R, Q, T, X c (R|Q)~(T~X)ST R, Q, U, R c (R{Q)~(U{R)ST R, Q, U, S c Q~U~S|RST R, Q, U, T c RQ~U~TST R, Q, U, U c (RQ{U)~UST R, Q, U, V c R~(Q{U{V)ST R, Q, U, X c R~Q~U{XST R, Q, V, P c R~(Q~V{P)ST R, Q, V, Q c (R{Q)~(V{Q)ST R, Q, V, R c R{Q~V~RST R, Q, V, S c R{(Q{S)~VST R, Q, V, U c R~(Q{V{U)ST R, Q, V, W c R{V~(W|Q)ST R, Q, V, X c (R{V)Q~XST R, Q, W, P c (R{Q)~(W{P)ST R, Q, W, R c R~Q~W|RST R, Q, W, S c (Q{S)~W|RST R, Q, W, T c R{Q{W~TST R, Q, W, V c R{(W|Q)~VST R, Q, W, W c (W|Q)~W|RST R, Q, W, X c R~(W|Q{X)ST R, Q, X, O c (R{Q)~(X{O)ST R, Q, X, P c (R{Q)~(X~P)ST R, Q, X, R c (R~Q{X)~RST R, Q, X, S c R~(Q{X{S)ST R, Q, X, T c (R|Q)~(X~T)ST R, Q, X, U c R~Q~U{XST R, Q, X, V c (R{V)Q~XST R, Q, X, W c R~(X|Q{W)ST R, Q, X, X c R~Q~X|XST R, R, O, T c (R~R{O)~TST R, R, P, S c (R~R)~(P{S)ST R, R, P, T c R~R~P~TST R, R, P, U c (R~R)~(U|P)ST R, R, P, X c (R{R|P)~XST R, R, Q, R c R~(R{Q)~RST R, R, Q, T c (R{R~Q)~TST R, R, Q, U c R~(R{Q~U)ST R, R, Q, V c R{R~Q~VST R, R, Q, W c R~Q~W|RST R, R, Q, X c R~(R~Q{X)ST R, R, R, Q c (R~R)~(R{Q)ST R, R, R, S c R~(R{R~S)ST R, R, R, T c (R{R{R)~TST R, R, R, U c R~(R~R{U)ST R, R, R, V c R{(R{R)~VST R, R, R, W c (R{R)~W|RST R, R, R, X c R~(R{R{X)ST R, R, S, P c (R~R)~(S{P)ST R, R, S, R c (R{R~S)~RST R, R, S, S c R~S~S|RST R, R, S, T c (R~S|R)~TST R, R, S, U c R{(R{S)~UST R, R, S, W c R~(R{S{W)ST R, R, S, X c R~R{S~XST R, R, T, O c R~R~T{OST R, R, T, P c R~R~T~PST R, R, T, Q c (R{R~Q)~TST R, R, T, R c (R{R{R)~TST R, R, T, S c (R~S|R)~TST R, R, T, U c (R{T)~U|RST R, R, T, V c R~(R{T{V)ST R, R, T, W c (RR{W)~TST R, R, T, X c R{R~(T{X)ST R, R, U, P c (R~R)~(U|P)ST R, R, U, Q c R~(R{U~Q)ST R, R, U, R c (R~R{U)~RST R, R, U, S c R{(R{S)~UST R, R, U, T c R~(U|R)~TST R, R, U, U c R~(R{U{U)ST R, R, U, V c R~(R~V|U)ST R, R, U, W c R{R~(U{W)ST R, R, U, X c (R{R)~U{XST R, R, V, Q c R{R~V~QST R, R, V, R c (R{R)~V{RST R, R, V, T c R~(R{V{T)ST R, R, V, U c R~(R~V|U)ST R, R, V, V c R{R~(V{V)ST R, R, V, W c R~V{R~WST R, R, V, X c R{V~(X|R)ST R, R, W, Q c R~W~Q|RST R, R, W, R c (R{R)~W|RST R, R, W, S c R~(R{W{S)ST R, R, W, T c (RR{W)~TST R, R, W, U c R{R~(W{U)ST R, R, W, V c R~W{R~VST R, R, W, W c R~(W{W)|RST R, R, W, X c R~(R~W|X)ST R, R, X, P c (R{R|P)~XST R, R, X, Q c R~(R~Q{X)ST R, R, X, R c (R{R{X)~RST R, R, X, S c R~R{X~SST R, R, X, T c R{R~(X{T)ST R, R, X, U c (R{R)~U{XST R, R, X, V c R{(X|R)~VST R, R, X, W c R~(R~W|X)ST R, R, X, X c (R{R)~X|XST R, S, P, R c R~(S{P)~RST R, S, P, S c R~(S~S|P)ST R, S, P, T c R~(S|P)~TST R, S, P, U c (R{U)~(S{P)ST R, S, P, W c (R{W)~S{PST R, S, Q, T c (R{S{Q)~TST R, S, Q, U c S~Q~U|RST R, S, Q, V c R{(S{Q)~VST R, S, Q, W c (S{Q)~W|RST R, S, Q, X c (R{S|Q)~XST R, S, R, P c R~(S{P)~RST R, S, R, R c (R{S~R)~RST R, S, R, S c R~S~S|RST R, S, R, T c (R~S|R)~TST R, S, R, U c R{(S{R)~UST R, S, R, W c R~(S{R{W)ST R, S, R, X c R~S~R{XST R, S, S, P c R~(S~S|P)ST R, S, S, R c R~S~S|RST R, S, S, U c (S{S)~U|RST R, S, S, V c R~(S{S{V)ST R, S, S, W c S~(S{W)|RST R, S, S, X c (S|R{S)~XST R, S, T, P c R~(S|P)~TST R, S, T, Q c (R{S{Q)~TST R, S, T, R c (R~S|R)~TST R, S, T, T c R~(S~T|T)ST R, S, T, U c R~(S{T{U)ST R, S, T, V c (R~T)~(V|S)ST R, S, T, W c (S|R{W)~TST R, S, T, X c (S|R)~(T~X)ST R, S, U, P c (R{U)~(S{P)ST R, S, U, Q c S~U~Q|RST R, S, U, R c (R{S)~U{RST R, S, U, S c (S{S)~U|RST R, S, U, T c R~(S{U{T)ST R, S, U, U c S~(U{U)|RST R, S, U, V c R~V{S~UST R, S, U, X c R~(S~U|X)ST R, S, V, Q c R{(S{Q)~VST R, S, V, S c (R{S)~V|SST R, S, V, T c (R{V)~S{TST R, S, V, U c R~V{S~UST R, S, V, X c (R~S|V)~XST R, S, W, P c (R{W)~S{PST R, S, W, Q c (S{Q)~W|RST R, S, W, R c (R{S{W)~RST R, S, W, S c (S{W)~S|RST R, S, W, T c (S|R{W)~TST R, S, W, X c R~(S{W){XST R, S, X, Q c R~(S{X{Q)ST R, S, X, R c R~S~R{XST R, S, X, S c (S|R{S)~XST R, S, X, T c (S|R)~(X~T)ST R, S, X, U c R{S~X{UST R, S, X, V c (R~S|V)~XST R, S, X, W c R~(S{W){XST R, T, O, R c (R~T{O)~RST R, T, O, U c (R{O{U)~TST R, T, O, X c R~O{T~XST R, T, P, Q c (R~T)~(P{Q)ST R, T, P, R c R~T~P~RST R, T, P, S c (R~T)~(S|P)ST R, T, P, T c (R{T{P)~TST R, T, P, U c (R{P~U)~TST R, T, P, V c R{(T{P)~VST R, T, P, W c (T{P)~W|RST R, T, P, X c R~(T{P{X)ST R, T, Q, P c (R~T)~(Q{P)ST R, T, Q, R c (R{Q~R)~TST R, T, Q, S c (R{Q)~(T{S)ST R, T, Q, T c R~(T{Q~T)ST R, T, Q, U c R{(T{Q)~UST R, T, Q, W c R~(T{Q{W)ST R, T, Q, X c (R|Q)~(T~X)ST R, T, R, O c R~T~R{OST R, T, R, P c R~T~R~PST R, T, R, Q c (R{R~Q)~TST R, T, R, R c (R{R{R)~TST R, T, R, S c (R~S|R)~TST R, T, R, U c (R{T)~U|RST R, T, R, V c R~(T{R{V)ST R, T, R, W c (RR{W)~TST R, T, R, X c (R{T|R)~XST R, T, S, P c (R~T)~(S|P)ST R, T, S, Q c (R{S{Q)~TST R, T, S, R c (R~S|R)~TST R, T, S, T c R~(T~S|T)ST R, T, S, U c R~(T{S{U)ST R, T, S, V c (R~T)~(V|S)ST R, T, S, W c T~(S|R{W)ST R, T, S, X c T~(S|R)~XST R, T, T, P c (R{T{P)~TST R, T, T, Q c R~(T{T~Q)ST R, T, T, S c R~(T~S|T)ST R, T, T, T c (R{T)~T{TST R, T, T, U c R~T{T~UST R, T, T, V c (R{V)~T|TST R, T, T, W c (R~T)~(W|T)ST R, T, U, O c (R{U)~(T{O)ST R, T, U, P c (R{U)~(T~P)ST R, T, U, Q c R~T~UQST R, T, U, R c (R{T)~U|RST R, T, U, S c R~(T{U{S)ST R, T, U, T c R~T{U~TST R, T, U, U c T~(U|R{U)ST R, T, U, V c T~(UR{V)ST R, T, U, W c R~(T{W){UST R, T, U, X c (R~T)~(X|U)ST R, T, V, P c R{(T{P)~VST R, T, V, R c (R{T{V)~RST R, T, V, S c (R~T)~(V|S)ST R, T, V, T c (R{V)~T|TST R, T, V, U c T~(V{UR)ST R, T, V, V c R{T~V{VST R, T, V, X c R~(T{V){XST R, T, W, P c (T{P)~W|RST R, T, W, Q c R{T~W{QST R, T, W, R c (RR{W)~TST R, T, W, S c T~(W|R{S)ST R, T, W, T c (R~T)~(W|T)ST R, T, W, U c R~(T{W){UST R, T, W, W c T{(W|R)~WST R, T, X, O c R~O{T~XST R, T, X, P c R~(T{X{P)ST R, T, X, Q c (R|Q)~(T~X)ST R, T, X, R c R{(T{X)~RST R, T, X, S c (T~X)~(S|R)ST R, T, X, U c (R~T)~(X|U)ST R, T, X, V c R~(T{V){XST R, U, O, T c (R{U{O)~TST R, U, O, V c R{(U{O)~VST R, U, O, W c (U{O)~W|RST R, U, O, X c R~(U{O{X)ST R, U, P, R c R~(U|P)~RST R, U, P, S c (R{U)~(P{S)ST R, U, P, T c (R{U)~(P~T)ST R, U, P, U c R{(U{P)~UST R, U, P, V c R{U~P~VST R, U, P, W c R~(U{P{W)ST R, U, P, X c R~(U{P~X)ST R, U, Q, R c (R{U)~(Q{R)ST R, U, Q, S c U~Q~S|RST R, U, Q, T c R{U~(Q{T)ST R, U, Q, U c (RQ{U)~UST R, U, Q, V c R~(U{Q{V)ST R, U, Q, X c R~U~Q{XST R, U, R, P c R~(U|P)~RST R, U, R, Q c (R{U)~(R{Q)ST R, U, R, R c R~(U{R~R)ST R, U, R, S c R{U~(R{S)ST R, U, R, T c R~(U|R)~TST R, U, R, U c R~(U{R{U)ST R, U, R, V c R~(R~V|U)ST R, U, R, W c R{(U{W)~RST R, U, R, X c (R{UR)~XST R, U, S, P c (R{U)~(S{P)ST R, U, S, Q c U~S~Q|RST R, U, S, R c R{U~(S{R)ST R, U, S, S c U~(S{S)|RST R, U, S, T c R~(U{S{T)ST R, U, S, U c (U{U)~S|RST R, U, S, V c R~V{U~SST R, U, S, X c R{U{S~XST R, U, T, O c (R{U)~(T{O)ST R, U, T, P c (R{U)~(T~P)ST R, U, T, Q c R{U~(T{Q)ST R, U, T, R c R~(U|R)~TST R, U, T, S c R~(U{T{S)ST R, U, T, T c R~T{U~TST R, U, T, U c (U|R{U)~TST R, U, T, V c (UR{V)~TST R, U, T, W c R~(T{W){UST R, U, T, X c (R~U|X)~TST R, U, U, P c R{U~(U{P)ST R, U, U, Q c (RQ{U)~UST R, U, U, R c (R{U{U)~RST R, U, U, S c (U{U)~S|RST R, U, U, T c (U|R{U)~TST R, U, U, U c R{U{U~UST R, U, U, V c R~(U{V){UST R, U, U, W c R{U~W|UST R, U, U, X c (R{U)~U|XST R, U, V, O c R{U~V{OST R, U, V, P c R{U~V~PST R, U, V, Q c (R{U)~(V|Q)ST R, U, V, R c (R~V|U)~RST R, U, V, S c R~V{U~SST R, U, V, T c (UR{V)~TST R, U, V, U c R~(U{V){UST R, U, V, V c (RV{U)~VST R, U, V, W c (U|R)~(V{W)ST R, U, V, X c U~V{XRST R, U, W, O c U~W|R{OST R, U, W, P c R{U~(W|P)ST R, U, W, R c R{(U{W)~RST R, U, W, T c R~(W{T){UST R, U, W, U c R{U~W|UST R, U, W, V c (U|R)~(W{V)ST R, U, W, W c (U|RW)~WST R, U, W, X c (R{W|U)~XST R, U, X, O c R~(U{X){OST R, U, X, P c R~(U{X)~PST R, U, X, Q c R{U~(X|Q)ST R, U, X, R c R~U{X~RST R, U, X, S c R{U{X~SST R, U, X, T c (R~U|X)~TST R, U, X, U c (R{U)~U|XST R, U, X, V c U~V{XRST R, U, X, W c R~(X{W)|UST R, U, X, X c (U{X)R~XST R, V, O, U c R{(V{O)~UST R, V, O, W c R~(V{O{W)ST R, V, P, Q c R~(V~Q{P)ST R, V, P, T c (R{V|P)~TST R, V, P, U c R{V~P~UST R, V, P, V c R{(V|P)~VST R, V, P, W c R~(V{P~W)ST R, V, P, X c R~(V|P{X)ST R, V, Q, P c R~(V~Q{P)ST R, V, Q, Q c (R{Q)~(V{Q)ST R, V, Q, R c R{V~Q~RST R, V, Q, S c R{V~(Q{S)ST R, V, Q, U c R~(V{Q{U)ST R, V, Q, W c R{V~(W|Q)ST R, V, Q, X c (R{V)Q~XST R, V, R, Q c R{V~R~QST R, V, R, R c R{V~(R{R)ST R, V, R, T c R~(V{R{T)ST R, V, R, U c R~(V~R|U)ST R, V, R, V c R{(V{V)~RST R, V, R, W c R~V{R~WST R, V, R, X c R{V~(X|R)ST R, V, S, Q c R{V~(S{Q)ST R, V, S, S c R~(V{S{S)ST R, V, S, T c (R{V)~S{TST R, V, S, U c R~V{S~UST R, V, S, X c (R~S|V)~XST R, V, T, P c R{V~(T{P)ST R, V, T, R c (R{V{T)~RST R, V, T, S c (R{V)~S{TST R, V, T, T c (R{V)~T|TST R, V, T, U c (V{UR)~TST R, V, T, V c R{V{T~VST R, V, T, X c (R{V|T)~XST R, V, U, O c R{V~U{OST R, V, U, P c R{V~U~PST R, V, U, Q c R~(V{U{Q)ST R, V, U, R c (R~V|U)~RST R, V, U, S c R~V{U~SST R, V, U, T c (V{UR)~TST R, V, U, U c R~(V{U){UST R, V, U, V c (RV{U)~VST R, V, U, W c (V{W)~(U|R)ST R, V, U, X c (V|UR)~XST R, V, V, P c R{V~(V|P)ST R, V, V, R c R{(V{V)~RST R, V, V, T c R{V{V~TST R, V, V, U c (RV{U)~VST R, V, V, V c R{V~V|VST R, V, W, O c R~(V{W){OST R, V, W, P c R~(V{W)~PST R, V, W, Q c R{V~(W|Q)ST R, V, W, R c R~V{W~RST R, V, W, U c (V{W)~(U|R)ST R, V, W, W c (V~W)|(R{W)ST R, V, W, X c (V{W)R~XST R, V, X, P c R~(V{X|P)ST R, V, X, Q c (R{V)~(XQ)ST R, V, X, R c R{V~(X|R)ST R, V, X, S c (R~S|V)~XST R, V, X, T c (R{V|T)~XST R, V, X, U c V~X|R~UST R, V, X, W c (V{W)R~XST R, V, X, X c (R{X|V)~XST R, W, O, U c (W{O)~U|RST R, W, O, V c R~(W{O{V)ST R, W, O, X c (W|R{O)~XST R, W, P, Q c R~(W~Q|P)ST R, W, P, S c (R{W)~S{PST R, W, P, T c W~(P{T)|RST R, W, P, U c R{(W|P)~UST R, W, P, V c R~(W{P~V)ST R, W, P, W c R~(W|P{W)ST R, W, P, X c (W|R)~(P~X)ST R, W, Q, P c R~(W~Q|P)ST R, W, Q, R c R~W~Q|RST R, W, Q, S c W~(Q{S)|RST R, W, Q, T c (R{W|Q)~TST R, W, Q, V c R{(W|Q)~VST R, W, Q, W c (W|Q)~W|RST R, W, Q, X c R~(W|Q{X)ST R, W, R, Q c R~W~Q|RST R, W, R, R c R~(W|R)~RST R, W, R, S c R~(W{R{S)ST R, W, R, T c (RR{W)~TST R, W, R, U c R{(W{U)~RST R, W, R, V c R~W{R~VST R, W, R, W c R~(W{W)|RST R, W, R, X c R~(W~R|X)ST R, W, S, P c (R{W)~S{PST R, W, S, Q c W~(S{Q)|RST R, W, S, R c (R{W{S)~RST R, W, S, S c (W{S)~S|RST R, W, S, T c (W|R{S)~TST R, W, S, X c (R{WS)~XST R, W, T, P c W~(T{P)|RST R, W, T, Q c R{W~T{QST R, W, T, R c (RR{W)~TST R, W, T, S c (W|R)~(T{S)ST R, W, T, T c R~(W|T)~TST R, W, T, U c R~(W{T){UST R, W, T, W c W|R{T~WST R, W, U, O c W~U|R{OST R, W, U, P c R~(W{U{P)ST R, W, U, R c R{(W{U)~RST R, W, U, T c R~(W{T){UST R, W, U, U c R{W~U|UST R, W, U, V c (W{V)~(U|R)ST R, W, U, W c W~(U|RW)ST R, W, U, X c (R{W|U)~XST R, W, V, O c R~(W{V){OST R, W, V, P c R~(W{V)~PST R, W, V, Q c R{(W|Q)~VST R, W, V, R c R~W{V~RST R, W, V, U c (W{V)~(U|R)ST R, W, V, W c (W~V)|(R{W)ST R, W, V, X c (W{V)R~XST R, W, W, P c R~(W{W|P)ST R, W, W, Q c W~(W|Q)|RST R, W, W, R c R~(W{W)|RST R, W, W, T c W|R{W~TST R, W, W, U c W~(U|RW)ST R, W, W, V c (W~V)|(R{W)ST R, W, X, O c (W|R)~(X{O)ST R, W, X, P c (W|R)~(X~P)ST R, W, X, Q c R~(W{X|Q)ST R, W, X, R c (R~W|X)~RST R, W, X, S c (R{WS)~XST R, W, X, U c R~(W{X)|UST R, W, X, V c (W{V)R~XST R, W, X, X c (W|XR)~XST R, X, O, Q c (R{O{Q)~XST R, X, O, T c R~O{X~TST R, X, O, U c R~(X{O{U)ST R, X, O, W c (X{O)~(W|R)ST R, X, P, P c (R{P{P)~XST R, X, P, Q c (R{P~Q)~XST R, X, P, R c (R|P{R)~XST R, X, P, T c R~(X{P{T)ST R, X, P, U c R~(X{P~U)ST R, X, P, V c R~(X|P{V)ST R, X, P, W c (X~P)~(W|R)ST R, X, P, X c (R{P)~X{XST R, X, Q, O c (R{Q)~(X{O)ST R, X, Q, P c (R{Q)~(X~P)ST R, X, Q, R c R~(X{Q~R)ST R, X, Q, S c R~(X{Q{S)ST R, X, Q, T c (R|Q)~(X~T)ST R, X, Q, U c R{(X|Q)~UST R, X, Q, V c (R{V)~(XQ)ST R, X, Q, W c R~(X|Q{W)ST R, X, Q, X c R~X{Q~XST R, X, R, P c (R{R|P)~XST R, X, R, Q c R~(X{R~Q)ST R, X, R, R c (R{X{R)~RST R, X, R, S c (R{X)~S|RST R, X, R, T c (R{X|R)~TST R, X, R, U c R~X{R~UST R, X, R, V c R{(X|R)~VST R, X, R, W c R~(R~W|X)ST R, X, R, X c (R{X)~R{XST R, X, S, Q c R~(X{S{Q)ST R, X, S, R c (R{X)~S|RST R, X, S, S c X~(S|R{S)ST R, X, S, T c X~(S|R)~TST R, X, S, U c R{X~S{UST R, X, S, V c (R~S|V)~XST R, X, S, W c R~(S{W){XST R, X, T, O c R~O{X~TST R, X, T, P c R~(X{T{P)ST R, X, T, Q c (R|Q)~(X~T)ST R, X, T, R c R{(X{T)~RST R, X, T, S c (X~T)~(S|R)ST R, X, T, U c R~(X|U)~TST R, X, T, V c R~(T{V){XST R, X, U, O c R~(X{U){OST R, X, U, P c R~(X{U)~PST R, X, U, Q c R{(X|Q)~UST R, X, U, R c R~X{U~RST R, X, U, S c R{X~S{UST R, X, U, T c R~(X|U)~TST R, X, U, U c (R{U)~U|XST R, X, U, V c XR{U~VST R, X, U, W c R~(X{W)|UST R, X, U, X c (X|R)~U{XST R, X, V, P c R~(X{V|P)ST R, X, V, Q c (R{V)~(XQ)ST R, X, V, R c R~(X{V)|RST R, X, V, S c (R~S|V)~XST R, X, V, T c (R{V|T)~XST R, X, V, U c XR{V~UST R, X, V, W c (XR)~(V{W)ST R, X, V, X c (R{X|V)~XST R, X, W, O c X~(W|R){OST R, X, W, P c X~(W|R)~PST R, X, W, Q c R~(X{W|Q)ST R, X, W, R c (R~W|X)~RST R, X, W, S c (R{WS)~XST R, X, W, U c R~(X{W)|UST R, X, W, V c (XR)~(W{V)ST R, X, W, X c X~W|R~XST R, X, X, P c (R{P)~X{XST R, X, X, Q c R~X{X~QST R, X, X, R c R~(X{X|R)ST R, X, X, U c (XR)~(X{U)ST R, X, X, V c (R{X|V)~XST R, X, X, W c X~W|R~XST R, X, X, X c R~X{X{XST S, O, P, X c (S{O{P)~XST S, O, T, T c (S{O{T)~TST S, O, T, X c S~O{T~XST S, O, V, V c O{V~V|SST S, O, X, P c (S{O{P)~XST S, O, X, T c S~O{X~TST S, O, X, X c (S{O)~X{XST S, P, O, X c (S{P{O)~XST S, P, P, W c (S{P)~(P{W)ST S, P, P, X c (S{P)~(P~X)ST S, P, Q, T c (S~Q{P)~TST S, P, Q, V c (S{P)~(Q{V)ST S, P, Q, X c (S|P{Q)~XST S, P, R, R c (S{P)~(R~R)ST S, P, R, S c (S~S|P)~RST S, P, R, T c (S|P)~(R~T)ST S, P, R, U c (S{P)~(R{U)ST S, P, R, W c S~(R{W){PST S, P, S, R c (S~S|P)~RST S, P, S, T c (S{P{S)~TST S, P, S, V c S~(S{V){PST S, P, T, Q c (S~Q{P)~TST S, P, T, R c (S|P)~(T~R)ST S, P, T, S c (S{P)~(T{S)ST S, P, T, T c (S{P~T)~TST S, P, T, U c (S|P{U)~TST S, P, T, W c S{P{T~WST S, P, T, X c S~(P{X){TST S, P, U, R c (S{P)~(U{R)ST S, P, U, T c (S|P{U)~TST S, P, U, V c S|P{U~VST S, P, U, W c P{U~W|SST S, P, U, X c (S|P)~(U{X)ST S, P, V, Q c (S{P)~(V{Q)ST S, P, V, S c (S{V)~S{PST S, P, V, U c S|P{V~UST S, P, V, V c P~V~V|SST S, P, V, W c (S|P)~(V{W)ST S, P, W, P c (S{P)~(W{P)ST S, P, W, R c S~(W{R){PST S, P, W, T c S{P{W~TST S, P, W, U c P{W~U|SST S, P, W, V c (S|P)~(W{V)ST S, P, W, X c S~(P{W){XST S, P, X, O c (S{P)~(X{O)ST S, P, X, P c (S{P)~(X~P)ST S, P, X, Q c (S|P{Q)~XST S, P, X, T c S~(P{X){TST S, P, X, U c (S|P)~(X{U)ST S, P, X, W c S~(P{W){XST S, P, X, X c S~P~X{XST S, Q, P, T c (S~Q{P)~TST S, Q, P, V c (S{P)~(Q{V)ST S, Q, P, X c (S{Q|P)~XST S, Q, Q, X c (S{QQ)~XST S, Q, R, T c (S{Q{R)~TST S, Q, R, U c S~Q~U|RST S, Q, R, V c (S{Q)~V{RST S, Q, R, W c (S{Q)~W|RST S, Q, R, X c (S|Q{R)~XST S, Q, T, P c (S~Q{P)~TST S, Q, T, R c (S{Q{R)~TST S, Q, T, T c S~Q~T{TST S, Q, T, V c (S|Q{V)~TST S, Q, T, W c S~(Q{W){TST S, Q, U, R c S~Q~U|RST S, Q, U, V c (S{VQ)~UST S, Q, U, W c U~(W|QS)ST S, Q, U, X c (S{Q)~U{XST S, Q, V, P c (S{P)~(Q{V)ST S, Q, V, R c (S{Q)~V{RST S, Q, V, T c (S|Q{V)~TST S, Q, V, U c (S{VQ)~UST S, Q, V, X c S~(Q{V){XST S, Q, W, R c (S{Q)~W|RST S, Q, W, T c S~(Q{W){TST S, Q, W, U c (W|QS)~UST S, Q, X, P c S~(Q{X){PST S, Q, X, Q c (S{QQ)~XST S, Q, X, R c (S{Q{X)~RST S, Q, X, U c (S{Q)~U{XST S, Q, X, V c S~(Q{V){XST S, Q, X, X c (S{Q)~X|XST S, R, P, R c (S{P)~(R~R)ST S, R, P, S c (S~S|P)~RST S, R, P, T c (S|P)~(R~T)ST S, R, P, U c (S{P)~(R{U)ST S, R, P, W c S~(R{W){PST S, R, Q, T c (S{R{Q)~TST S, R, Q, U c S~Q~U|RST S, R, Q, V c (S{Q)~V{RST S, R, Q, W c (S{Q)~W|RST S, R, Q, X c (S{R|Q)~XST S, R, R, P c (S{P)~(R~R)ST S, R, R, R c (S~R{R)~RST S, R, R, S c S~R~S|RST S, R, R, T c (S~R|R)~TST S, R, R, U c (S{R)~U{RST S, R, R, W c (S{R{W)~RST S, R, R, X c (S{RR)~XST S, R, S, P c (S~S|P)~RST S, R, S, R c S~R~S|RST S, R, S, U c (S{S)~U|RST S, R, S, V c (S{R)~V|SST S, R, S, W c S~(S{W)|RST S, R, S, X c (S|R{S)~XST S, R, T, P c (S|P)~(R~T)ST S, R, T, Q c (S{R{Q)~TST S, R, T, R c (S~R|R)~TST S, R, T, T c (S~T|T)~RST S, R, T, U c (S{T{U)~RST S, R, T, V c S~(R{V){TST S, R, T, W c (S|R{W)~TST S, R, T, X c (S|R)~(T~X)ST S, R, U, P c (S{P)~(R{U)ST S, R, U, Q c S~U~Q|RST S, R, U, R c (S{R)~U{RST S, R, U, S c (S{S)~U|RST S, R, U, T c (S{U{T)~RST S, R, U, U c S~(U{U)|RST S, R, U, V c S~U{R~VST S, R, U, X c S~(R{U){XST S, R, V, Q c (S{Q)~V{RST S, R, V, S c (S{R)~V|SST S, R, V, T c S~(R{V){TST S, R, V, U c S~U{R~VST S, R, V, X c (S~R|V)~XST S, R, W, P c S~(R{W){PST S, R, W, Q c (S{Q)~W|RST S, R, W, R c (S{R{W)~RST S, R, W, S c (S{W)~S|RST S, R, W, T c (S|R{W)~TST S, R, W, X c (S{W)~R{XST S, R, X, Q c (S{R|Q)~XST S, R, X, R c S~(R{X)|RST S, R, X, S c (S|R{S)~XST S, R, X, T c (S|R)~(X~T)ST S, R, X, U c S~(R{U){XST S, R, X, V c (S~R|V)~XST S, R, X, W c (S{W)~R{XST S, S, P, R c (S~S|P)~RST S, S, P, T c (S{S{P)~TST S, S, P, V c S~(S{V){PST S, S, R, P c (S~S|P)~RST S, S, R, R c S~S~R|RST S, S, R, U c (S{S)~U|RST S, S, R, V c (S{S{V)~RST S, S, R, W c S~(S{W)|RST S, S, R, X c (S{S|R)~XST S, S, S, X c (S{SS)~XST S, S, T, P c (S{S{P)~TST S, S, T, T c (S{S)~T{TST S, S, T, U c S~(S{U){TST S, S, T, V c (S~S|V)~TST S, S, T, W c (SS{W)~TST S, S, T, X c S|S{T~XST S, S, U, R c (S{S)~U|RST S, S, U, T c S~(S{U){TST S, S, U, X c (U|SS)~XST S, S, V, P c S~(S{V){PST S, S, V, R c (S{S{V)~RST S, S, V, T c (S~S|V)~TST S, S, V, X c S~(S{X)|VST S, S, W, R c S~(S{W)|RST S, S, W, T c (SS{W)~TST S, S, W, X c S{S~W{XST S, S, X, R c (S{S|R)~XST S, S, X, S c (S{SS)~XST S, S, X, T c S{S~X{TST S, S, X, U c X~(U|SS)ST S, S, X, V c S~(S{X)|VST S, S, X, W c S{S~W{XST S, S, X, X c S~(XS{X)ST S, T, O, T c (S{T{O)~TST S, T, O, X c S~O{T~XST S, T, P, Q c (S~Q{P)~TST S, T, P, R c (S|P)~(T~R)ST S, T, P, S c (S{T)~(P{S)ST S, T, P, T c (S{T)~(P~T)ST S, T, P, U c (S{T)~(U|P)ST S, T, P, W c S{T~W{PST S, T, P, X c S~(P{X){TST S, T, Q, P c (S~Q{P)~TST S, T, Q, R c (S{T)~(Q{R)ST S, T, Q, T c S~T~Q{TST S, T, Q, V c (S{T)~(V|Q)ST S, T, Q, W c S~(Q{W){TST S, T, R, P c (S|P)~(T~R)ST S, T, R, Q c (S{T)~(R{Q)ST S, T, R, R c (S~R|R)~TST S, T, R, T c (S~T|T)~RST S, T, R, U c (S{T{U)~RST S, T, R, V c S~(T{V)|RST S, T, R, W c (S{T)~(W|R)ST S, T, R, X c (S|R)~(T~X)ST S, T, S, P c (S{T)~(S{P)ST S, T, S, T c (S{S)~T{TST S, T, S, U c S~(S{U){TST S, T, S, V c (S~S|V)~TST S, T, S, W c (SS{W)~TST S, T, S, X c S{T{S~XST S, T, T, O c (S{T)~(T{O)ST S, T, T, P c (S{T)~(T~P)ST S, T, T, Q c S~T~Q{TST S, T, T, R c (S~T|T)~RST S, T, T, S c (S{S)~T{TST S, T, T, T c S~(T{T){TST S, T, T, U c (S{U)~T|TST S, T, T, W c (T|S{W)~TST S, T, T, X c (S{TT)~XST S, T, U, P c (S{T)~(U|P)ST S, T, U, R c (S{T{U)~RST S, T, U, S c (S{U)~S{TST S, T, U, T c (S{U)~T|TST S, T, U, U c S{T{U~UST S, T, U, V c S{T~V{UST S, T, U, X c (S{T)~U|XST S, T, V, Q c (S{T)~(V|Q)ST S, T, V, R c S~(T{V)|RST S, T, V, S c (S~S|V)~TST S, T, V, U c S{T~V{UST S, T, V, W c S~(T{W)|VST S, T, W, P c S{T~W{PST S, T, W, Q c S~(W{Q){TST S, T, W, R c (S{T)~(W|R)ST S, T, W, S c (SS{W)~TST S, T, W, T c (T|S{W)~TST S, T, W, V c S~(T{W)|VST S, T, W, W c S~W{T{WST S, T, W, X c T~W|S{XST S, T, X, O c S~O{T~XST S, T, X, P c S~(X{P){TST S, T, X, R c (S|R)~(T~X)ST S, T, X, S c S{T{X~SST S, T, X, T c (S{TT)~XST S, T, X, U c (S{T)~U|XST S, T, X, W c T{(X|S)~WST S, U, P, R c (S{P)~(U{R)ST S, U, P, T c (S{U|P)~TST S, U, P, V c S{U~V|PST S, U, P, W c U~W|S{PST S, U, P, X c (S|P)~(U{X)ST S, U, Q, R c S~U~Q|RST S, U, Q, V c (S{VQ)~UST S, U, Q, W c U~(W|QS)ST S, U, Q, X c (S{U)Q~XST S, U, R, P c (S{P)~(U{R)ST S, U, R, Q c S~U~Q|RST S, U, R, R c (S{R)~U{RST S, U, R, S c (S{S)~U|RST S, U, R, T c (S{U{T)~RST S, U, R, U c S~(U{U)|RST S, U, R, V c S~U{R~VST S, U, R, X c S~(U{R){XST S, U, S, R c (S{S)~U|RST S, U, S, T c (S{U)~S{TST S, U, S, X c (U|SS)~XST S, U, T, P c S~(U{T){PST S, U, T, R c (S{U{T)~RST S, U, T, S c (S{U)~S{TST S, U, T, T c (S{U)~T|TST S, U, T, U c S{U~U{TST S, U, T, V c S{U{T~VST S, U, T, X c (S{U|T)~XST S, U, U, R c S~(U{U)|RST S, U, U, T c S{U~U{TST S, U, U, U c (US{U)~UST S, U, U, X c (S{UU)~XST S, U, V, P c S{U~V|PST S, U, V, Q c (S{VQ)~UST S, U, V, R c S~U{V~RST S, U, V, T c S{U{V~TST S, U, V, V c S~(U{V)|VST S, U, V, W c S{U~W|VST S, U, V, X c (S{V|U)~XST S, U, W, P c U~W|S{PST S, U, W, Q c U~(W|QS)ST S, U, W, V c S{U~W|VST S, U, W, W c U~(W|SW)ST S, U, X, P c (S|P)~(U{X)ST S, U, X, Q c (S{U)~(XQ)ST S, U, X, R c (S~U|X)~RST S, U, X, S c (U|SS)~XST S, U, X, T c (S{U|T)~XST S, U, X, U c (S{UU)~XST S, U, X, V c (S{V|U)~XST S, V, O, V c (V{O)~V|SST S, V, P, Q c (S{P)~(V{Q)ST S, V, P, S c (S{V)~S{PST S, V, P, U c S{V~U|PST S, V, P, V c V~P~V|SST S, V, P, W c (S|P)~(V{W)ST S, V, Q, P c (S{P)~(V{Q)ST S, V, Q, R c (S{Q)~V{RST S, V, Q, T c (S{V|Q)~TST S, V, Q, U c (S{VQ)~UST S, V, Q, X c S~(V{Q){XST S, V, R, Q c (S{Q)~V{RST S, V, R, S c (S{V{S)~RST S, V, R, T c S~(V{R){TST S, V, R, U c S~U{V~RST S, V, R, X c (S~R|V)~XST S, V, S, P c (S{V)~S{PST S, V, S, R c (S{V{S)~RST S, V, S, T c (S~S|V)~TST S, V, S, X c S~(S{X)|VST S, V, T, Q c (S{V|Q)~TST S, V, T, R c S~(V{T)|RST S, V, T, S c (S~S|V)~TST S, V, T, U c S{V~T{UST S, V, T, W c S~(T{W)|VST S, V, U, P c S{V~U|PST S, V, U, Q c (S{VQ)~UST S, V, U, R c S~U{V~RST S, V, U, T c S{V~T{UST S, V, U, V c S~(V{U)|VST S, V, U, W c S{U~W|VST S, V, U, X c (S{V|U)~XST S, V, V, O c V~V|S{OST S, V, V, P c V~V|S~PST S, V, V, U c S~(V{U)|VST S, V, V, V c (V|SV)~VST S, V, V, W c S{V~V|WST S, V, V, X c (S{VV)~XST S, V, W, P c (S|P)~(V{W)ST S, V, W, T c S~(W{T)|VST S, V, W, U c S~W{V{UST S, V, W, V c S{V~V|WST S, V, W, X c S~V{W{XST S, V, X, Q c S~(V{Q){XST S, V, X, R c (S~R|V)~XST S, V, X, S c (S{X)~S|VST S, V, X, U c (S{V|U)~XST S, V, X, V c (S{VV)~XST S, V, X, W c S~V{X{WST S, W, P, P c (S{P)~(W{P)ST S, W, P, R c S~(W{R){PST S, W, P, T c S{W~T{PST S, W, P, U c W~U|S{PST S, W, P, V c (S|P)~(W{V)ST S, W, P, X c S~(W{P){XST S, W, Q, R c (S{Q)~W|RST S, W, Q, T c S~(W{Q){TST S, W, Q, U c (W|QS)~UST S, W, R, P c S~(W{R){PST S, W, R, Q c (S{Q)~W|RST S, W, R, R c (S{W{R)~RST S, W, R, S c (S{W)~S|RST S, W, R, T c (S{W|R)~TST S, W, R, X c (S{W)~R{XST S, W, S, R c (S{W)~S|RST S, W, S, T c (SS{W)~TST S, W, S, X c S{W~S{XST S, W, T, P c S{W~T{PST S, W, T, Q c S~(W{Q){TST S, W, T, R c (S{W|R)~TST S, W, T, S c (SS{W)~TST S, W, T, T c (W|S{T)~TST S, W, T, V c S~(W{T)|VST S, W, T, W c S~W{T{WST S, W, T, X c W~T|S{XST S, W, U, P c W~U|S{PST S, W, U, Q c (W|QS)~UST S, W, U, V c S{W~U|VST S, W, U, W c (W|SW)~UST S, W, V, P c (S|P)~(W{V)ST S, W, V, T c S~(W{T)|VST S, W, V, U c S~W{V{UST S, W, V, V c S{V~V|WST S, W, V, X c (S{W|V)~XST S, W, W, T c S~W{W{TST S, W, W, U c (W|SW)~UST S, W, W, X c (S{WW)~XST S, W, X, P c S~(W{P){XST S, W, X, R c (S{W)~R{XST S, W, X, S c S~W{X{SST S, W, X, T c W~(X|S){TST S, W, X, V c (S{W|V)~XST S, W, X, W c (S{WW)~XST S, W, X, X c (S{X|W)~XST S, X, O, P c (S{O{P)~XST S, X, O, T c S~O{X~TST S, X, O, X c S~X{O{XST S, X, P, O c (S{P)~(X{O)ST S, X, P, P c (S{P)~(X~P)ST S, X, P, Q c S~(X{Q){PST S, X, P, T c S~(X{P){TST S, X, P, U c (S|P)~(X{U)ST S, X, P, W c S~X{P{WST S, X, P, X c S~X{P~XST S, X, Q, P c S~(X{Q){PST S, X, Q, Q c (S{QQ)~XST S, X, Q, R c (S{X{Q)~RST S, X, Q, U c (S{Q)~U{XST S, X, Q, V c S~X{Q{VST S, X, Q, X c (S{Q)~X|XST S, X, R, Q c (S{X{Q)~RST S, X, R, R c S~(X{R)|RST S, X, R, S c (S|R{S)~XST S, X, R, T c (S|R)~(X~T)ST S, X, R, U c (S{X)~R{UST S, X, R, V c (S~R|V)~XST S, X, R, W c (S{W)~R{XST S, X, S, R c (S{S|R)~XST S, X, S, S c (S{SS)~XST S, X, S, T c (S{X|S)~TST S, X, S, U c X~(U|SS)ST S, X, S, V c (S{X)~S|VST S, X, S, W c S{X{S~WST S, X, S, X c S~(XS{X)ST S, X, T, O c S~O{X~TST S, X, T, P c S~(X{P){TST S, X, T, R c (S|R)~(X~T)ST S, X, T, S c S{X~T|SST S, X, T, T c (S{TT)~XST S, X, T, U c (S{T)~U|XST S, X, T, W c X|S{T~WST S, X, U, P c (S|P)~(X{U)ST S, X, U, Q c (S{U)~(XQ)ST S, X, U, R c S~X{U{RST S, X, U, S c X~(U|SS)ST S, X, U, T c (S{U|T)~XST S, X, U, U c (S{UU)~XST S, X, U, V c (S{V|U)~XST S, X, V, Q c S~X{V{QST S, X, V, R c (S~R|V)~XST S, X, V, S c (S{X)~S|VST S, X, V, U c (S{V|U)~XST S, X, V, V c (S{VV)~XST S, X, V, W c S~V{X{WST S, X, W, P c S~X{W{PST S, X, W, R c (S{W)~R{XST S, X, W, S c S{X{W~SST S, X, W, T c X|S{W~TST S, X, W, V c (S{W|V)~XST S, X, W, W c (S{WW)~XST S, X, W, X c (S{X|W)~XST S, X, X, O c S~X{X{OST S, X, X, P c S~X{X~PST S, X, X, Q c (S{Q)~X|XST S, X, X, S c S~(X{XS)ST S, X, X, W c (S{X|W)~XST S, X, X, X c (S{XX)~XST T, O, O, X c (T{O{O)~XST T, O, P, W c (T{O)~(P{W)ST T, O, P, X c (T{O)~(P~X)ST T, O, Q, V c (T{O)~(Q{V)ST T, O, Q, X c (T{O~Q)~XST T, O, R, R c (T{O)~(R~R)ST T, O, R, U c (T{O)~(R{U)ST T, O, R, X c (T{O~R)~XST T, O, S, T c (T{O{S)~TST T, O, S, X c (T{O~S)~XST T, O, T, S c (T{O)~(T{S)ST T, O, T, W c T{O{T~WST T, O, T, X c (T{O~T)~XST T, O, U, R c (T{O)~(U{R)ST T, O, U, X c (T{O~U)~XST T, O, V, Q c (T{O)~(V{Q)ST T, O, V, X c (T{O~V)~XST T, O, W, P c (T{O)~(W{P)ST T, O, W, T c T{O{W~TST T, O, W, X c (T{O~W)~XST T, O, X, O c (T{O)~(X{O)ST T, O, X, P c (T{O)~(X~P)ST T, O, X, Q c (T{O~Q)~XST T, O, X, R c (T{O~R)~XST T, O, X, S c (T{O~S)~XST T, O, X, T c T~O{X~TST T, O, X, U c (T{O~U)~XST T, O, X, V c (T{O~V)~XST T, O, X, W c (T{O~W)~XST T, O, X, X c (T{O~X)~XST T, P, O, W c T~(P{O{W)ST T, P, O, X c (T{P~O)~XST T, P, P, V c T~(P{P{V)ST T, P, P, W c T~(P{P~W)ST T, P, P, X c (T{P|P)~XST T, P, Q, R c T~(P{Q)~RST T, P, Q, S c T~(P{Q~S)ST T, P, Q, T c (T~Q|P)~TST T, P, Q, U c T~(P{Q{U)ST T, P, Q, V c (T~P)~(Q{V)ST T, P, Q, W c T~(Q|P{W)ST T, P, Q, X c T~(Q|P)~XST T, P, R, Q c T~(P{Q)~RST T, P, R, R c T~P~R~RST T, P, R, S c (T~R)~(S|P)ST T, P, R, T c (T{P{R)~TST T, P, R, U c (T~P)~(R{U)ST T, P, R, V c (T{P)~V{RST T, P, R, W c (T{P)~W|RST T, P, R, X c (T{P{X)~RST T, P, S, Q c T~(P{S~Q)ST T, P, S, R c T~(S|P)~RST T, P, S, S c T~(P{S{S)ST T, P, S, T c (T{P~S)~TST T, P, S, U c T~(S|P{U)ST T, P, S, W c T{(P{S)~WST T, P, S, X c T{(P{X)~SST T, P, T, Q c T~(T~Q|P)ST T, P, T, R c T~(P{T{R)ST T, P, T, S c (T~P)~(T{S)ST T, P, T, T c (T|P{T)~TST T, P, T, V c T{(P{V)~TST T, P, T, W c T{P~T~WST T, P, T, X c T~(P{X)|TST T, P, U, Q c T~(P{U{Q)ST T, P, U, R c (T~P)~(U{R)ST T, P, U, S c T~(U|P{S)ST T, P, U, W c T{(U|P)~WST T, P, U, X c (T{P)~U{XST T, P, V, P c T~(P{V{P)ST T, P, V, Q c (T~P)~(V{Q)ST T, P, V, R c (T{P)~V{RST T, P, V, T c T{(P{V)~TST T, P, V, V c P{V~V|TST T, P, V, X c T~V{P{XST T, P, W, O c T~(P{W){OST T, P, W, P c T~(P{W)~PST T, P, W, Q c T~(W|P{Q)ST T, P, W, R c (T{P)~W|RST T, P, W, S c T{(P{S)~WST T, P, W, T c T{P~W~TST T, P, W, U c T~W|P{UST T, P, W, X c T(P|WX)ST T, P, X, O c T~P~X{OST T, P, X, P c T~(P{X|P)ST T, P, X, Q c (T~X)~(Q|P)ST T, P, X, R c (T{P{X)~RST T, P, X, S c T{(P{X)~SST T, P, X, T c T~(P{X)|TST T, P, X, U c (T{P)~U{XST T, P, X, V c T~V{P{XST T, P, X, W c T(P|WX)ST T, P, X, X c (T{P)~X|XST T, Q, O, V c T~(Q{O{V)ST T, Q, O, X c (T{Q~O)~XST T, Q, P, R c T~(Q{P)~RST T, Q, P, S c T~(Q~S{P)ST T, Q, P, T c (T~Q|P)~TST T, Q, P, U c T~(Q{P{U)ST T, Q, P, V c T~(Q{P~V)ST T, Q, P, W c T~(Q|P{W)ST T, Q, P, X c T~(Q|P)~XST T, Q, Q, T c (T{Q{Q)~TST T, Q, Q, W c T~(QQ{W)ST T, Q, Q, X c (T{Q|Q)~XST T, Q, R, P c T~(Q{P)~RST T, Q, R, R c T~(Q~R{R)ST T, Q, R, S c T~(Q{R{S)ST T, Q, R, T c (T|Q)~(R~T)ST T, Q, R, U c TQ~R~UST T, Q, R, W c T{(Q{R)~WST T, Q, R, X c T~(R|Q)~XST T, Q, S, P c T~(Q~S{P)ST T, Q, S, R c T~(Q{S{R)ST T, Q, S, T c T{Q~S~TST T, Q, S, V c (T{Q)~V|SST T, Q, S, W c T{(Q{W)~SST T, Q, T, P c T~(Q~T|P)ST T, Q, T, Q c T~(Q{T{Q)ST T, Q, T, R c (T{Q~T)~RST T, Q, T, S c T{Q~T~SST T, Q, T, T c T~Q~T|TST T, Q, T, U c (TQ{T)~UST T, Q, T, V c T~Q{T~VST T, Q, T, W c T~(Q{W)|TST T, Q, T, X c (T~Q|T)~XST T, Q, U, P c T~(Q{U{P)ST T, Q, U, R c (T{Q)~U{RST T, Q, U, T c T{(Q{U)~TST T, Q, U, U c T~(UQ{U)ST T, Q, U, V c T|Q{U~VST T, Q, U, W c Q{U~W|TST T, Q, U, X c (T|Q)~(U{X)ST T, Q, V, O c T~(Q{V){OST T, Q, V, P c T~(Q{V)~PST T, Q, V, S c (T{Q)~V|SST T, Q, V, T c T~Q{V~TST T, Q, V, U c T|Q{V~UST T, Q, V, W c (T|Q)~(V{W)ST T, Q, W, P c T~(Q{W|P)ST T, Q, W, Q c T~(QQ{W)ST T, Q, W, R c (T{Q{W)~RST T, Q, W, S c T{(Q{W)~SST T, Q, W, T c T~(Q{W)|TST T, Q, W, U c Q{W~U|TST T, Q, W, V c (T|Q)~(W{V)ST T, Q, W, X c (Q{W|T)~XST T, Q, X, O c (T{Q~O)~XST T, Q, X, P c T~(Q|P)~XST T, Q, X, Q c T~(Q{X|Q)ST T, Q, X, R c (T~X)~(R|Q)ST T, Q, X, T c (T~Q|T)~XST T, Q, X, U c (T|Q)~(X{U)ST T, Q, X, W c (Q{W|T)~XST T, Q, X, X c T~(Q~X|X)ST T, R, O, R c (T~R{O)~RST T, R, O, U c T~(R{O{U)ST T, R, O, X c (T{R~O)~XST T, R, P, Q c (T~R)~(P{Q)ST T, R, P, R c T~R~P~RST T, R, P, S c (T~R)~(S|P)ST T, R, P, T c (T{R{P)~TST T, R, P, U c T~(R{P~U)ST T, R, P, V c T~(R|P{V)ST T, R, P, W c (T{P)~W|RST T, R, P, X c (T{P{X)~RST T, R, Q, P c (T~R)~(Q{P)ST T, R, Q, R c T~(R{Q~R)ST T, R, Q, S c T~(R{Q{S)ST T, R, Q, T c (T~R)~(T|Q)ST T, R, Q, U c T~RQ~UST T, R, Q, W c T{(R{Q)~WST T, R, Q, X c T~(R|Q)~XST T, R, R, O c T~R~R{OST T, R, R, P c T~R~R~PST T, R, R, Q c T~(R{R~Q)ST T, R, R, R c T~(R{R{R)ST T, R, R, S c T~(R~S|R)ST T, R, R, U c (T{R)~U|RST T, R, R, V c (T{R{V)~RST T, R, R, W c T~(RR{W)ST T, R, R, X c (T{R|R)~XST T, R, S, P c (T~R)~(S|P)ST T, R, S, Q c T~(R{S{Q)ST T, R, S, R c T~(R~S|R)ST T, R, S, T c (T~S|T)~RST T, R, S, U c (T{S{U)~RST T, R, S, V c T{(R{V)~SST T, R, S, W c T~(S|R{W)ST T, R, S, X c T~(S|R)~XST T, R, T, P c T~(R{T{P)ST T, R, T, Q c (T~R)~(T|Q)ST T, R, T, S c (T~S|T)~RST T, R, T, T c T{(R{T)~TST T, R, T, U c T~R{T~UST T, R, T, V c (T|R{V)~TST T, R, T, W c (T~R)~(W|T)ST T, R, U, O c T~(R{U){OST T, R, U, P c T~(R{U)~PST T, R, U, Q c T~R~UQST T, R, U, R c (T{R)~U|RST T, R, U, S c (T{U{S)~RST T, R, U, T c T~R{U~TST T, R, U, U c T~(U|R{U)ST T, R, U, V c T~(UR{V)ST T, R, U, W c (T{W)~R{UST T, R, U, X c T~(R~U|X)ST T, R, V, P c T~(R{V|P)ST T, R, V, R c (T{R{V)~RST T, R, V, S c T{(R{V)~SST T, R, V, T c (T|R{V)~TST T, R, V, U c T~(V{UR)ST T, R, V, V c T~V{R{VST T, R, V, X c (T{V)~R{XST T, R, W, P c (T{P)~W|RST T, R, W, Q c T~(R{W|Q)ST T, R, W, R c T~(RR{W)ST T, R, W, S c T~(W|R{S)ST T, R, W, T c (T~R)~(W|T)ST T, R, W, U c (T{W)~R{UST T, R, W, W c T{(W|R)~WST T, R, X, O c (T{R~O)~XST T, R, X, P c (T{X{P)~RST T, R, X, Q c T~(R|Q)~XST T, R, X, R c T~(R{X|R)ST T, R, X, S c (T~X)~(S|R)ST T, R, X, U c (T~R)~(X|U)ST T, R, X, V c (T{V)~R{XST T, S, O, T c (T{S{O)~TST T, S, O, X c (T{S~O)~XST T, S, P, Q c T~(S~Q{P)ST T, S, P, R c T~(S|P)~RST T, S, P, S c (T{S)~(P{S)ST T, S, P, T c (T{S)~(P~T)ST T, S, P, U c T~(S|P{U)ST T, S, P, W c T{(S{P)~WST T, S, P, X c T{S~(P{X)ST T, S, Q, P c T~(S~Q{P)ST T, S, Q, R c (T{S)~(Q{R)ST T, S, Q, T c T{S~Q~TST T, S, Q, V c T~(S|Q{V)ST T, S, Q, W c T{S~(Q{W)ST T, S, R, P c T~(S|P)~RST T, S, R, Q c (T{S)~(R{Q)ST T, S, R, R c T~(S~R|R)ST T, S, R, T c (T~S|T)~RST T, S, R, U c (T{S{U)~RST T, S, R, V c T{S~(R{V)ST T, S, R, W c T~(S|R{W)ST T, S, R, X c T~(S|R)~XST T, S, S, P c (T{S)~(S{P)ST T, S, S, T c T{(S{S)~TST T, S, S, U c T{S~(S{U)ST T, S, S, V c T~(S~S|V)ST T, S, S, W c T~(SS{W)ST T, S, S, X c T{S{S~XST T, S, T, O c (T{S)~(T{O)ST T, S, T, P c (T{S)~(T~P)ST T, S, T, Q c T{S~T~QST T, S, T, R c (T~S|T)~RST T, S, T, S c T{(S{S)~TST T, S, T, T c T{S~(T{T)ST T, S, T, U c T~(S{U)|TST T, S, T, W c (T|S{W)~TST T, S, T, X c (T|S)~(T~X)ST T, S, U, P c (T{S)~(U|P)ST T, S, U, R c (T{S{U)~RST T, S, U, S c T{(S{U)~SST T, S, U, T c T~(S{U)|TST T, S, U, U c T{S{U~UST T, S, U, V c T~(U|S{V)ST T, S, U, X c (T{S)~U|XST T, S, V, Q c (T{S)~(V|Q)ST T, S, V, R c T{S~(V{R)ST T, S, V, S c T~(S~S|V)ST T, S, V, U c T~V{S{UST T, S, V, W c T~(V{WS)ST T, S, W, P c T{(S{P)~WST T, S, W, Q c T{S~(W{Q)ST T, S, W, R c (T{S)~(W|R)ST T, S, W, S c T~(SS{W)ST T, S, W, T c (T|S{W)~TST T, S, W, V c (T{W)~S|VST T, S, W, W c T{S~W{WST T, S, W, X c T~W|S{XST T, S, X, O c (T{S~O)~XST T, S, X, P c T{S~(X{P)ST T, S, X, R c T~(S|R)~XST T, S, X, S c T{S{X~SST T, S, X, T c (T|S)~(X~T)ST T, S, X, U c (T{S)~U|XST T, S, X, W c T{(X|S)~WST T, T, O, S c T~(T{O{S)ST T, T, O, W c T{(T{O)~WST T, T, O, X c (T{T~O)~XST T, T, P, Q c T~(T~Q|P)ST T, T, P, R c T~(T{P{R)ST T, T, P, S c T~(T{P~S)ST T, T, P, T c (T{T|P)~TST T, T, P, V c T{T~(P{V)ST T, T, P, W c T{T~P~WST T, T, P, X c T{T~(X|P)ST T, T, Q, P c T~(T~Q|P)ST T, T, Q, Q c T~(T{Q{Q)ST T, T, Q, R c (T{T~Q)~RST T, T, Q, S c T{T~Q~SST T, T, Q, T c T~T~Q|TST T, T, Q, U c T{T~(Q{U)ST T, T, Q, V c T~Q{T~VST T, T, Q, W c T~(T{WQ)ST T, T, Q, X c (T{T)Q~XST T, T, R, P c T~(T{R{P)ST T, T, R, Q c (T{T~Q)~RST T, T, R, S c (T~S|T)~RST T, T, R, T c T{(T{R)~TST T, T, R, U c T~(T~R|U)ST T, T, R, V c T~(T|R{V)ST T, T, R, W c (T~R)~(W|T)ST T, T, S, O c T~(T{S){OST T, T, S, P c T~(T{S)~PST T, T, S, Q c T{T~S~QST T, T, S, R c (T~S|T)~RST T, T, S, S c T{T~(S{S)ST T, T, S, T c (T{T)~S{TST T, T, S, U c T~(S{U)|TST T, T, S, W c T~(T|S{W)ST T, T, S, X c T~(T|S)~XST T, T, T, P c T~(T{T|P)ST T, T, T, Q c T~T~Q|TST T, T, T, R c (T{T{T)~RST T, T, T, S c T{(T{T)~SST T, T, T, T c (T{T)~T|TST T, T, T, V c T{T{T~VST T, T, T, W c T~(TT{W)ST T, T, T, X c (T{T|T)~XST T, T, U, Q c T{T~(U{Q)ST T, T, U, R c T~(T~R|U)ST T, T, U, S c T~(U{S)|TST T, T, U, W c T~(U|T{W)ST T, T, U, X c T~(U|T)~XST T, T, V, P c T{T~(V{P)ST T, T, V, Q c T~V{T~QST T, T, V, R c T~(T{V|R)ST T, T, V, T c T{T{V~TST T, T, V, V c T~(V|T{V)ST T, T, W, O c T{T~W{OST T, T, W, P c T{T~W~PST T, T, W, Q c T~(T{WQ)ST T, T, W, R c T~(W|T)~RST T, T, W, S c T~(T{W|S)ST T, T, W, T c (TT{W)~TST T, T, W, U c T~(W|T{U)ST T, T, W, W c (T{TW)~WST T, T, X, O c (T{T~O)~XST T, T, X, P c T{T~(X|P)ST T, T, X, Q c (T{T)~(XQ)ST T, T, X, S c T~(T|S)~XST T, T, X, T c T{T~X|TST T, T, X, U c (T~X)~(U|T)ST T, U, O, R c T~(U{O{R)ST T, U, O, X c (T{U~O)~XST T, U, P, Q c T~(U{P{Q)ST T, U, P, R c T~(U{P~R)ST T, U, P, S c T~(U|P{S)ST T, U, P, W c T{(U|P)~WST T, U, P, X c (T{P)~U{XST T, U, Q, P c T~(U{Q{P)ST T, U, Q, R c T~(U~Q|R)ST T, U, Q, T c T{(U{Q)~TST T, U, Q, U c T~(UQ{U)ST T, U, Q, V c T{U~V|QST T, U, Q, W c U~W|T{QST T, U, Q, X c (T|Q)~(U{X)ST T, U, R, O c T~(U{R){OST T, U, R, P c T~(U{R)~PST T, U, R, Q c T~U~RQST T, U, R, R c T~(U|R)~RST T, U, R, S c (T{U{S)~RST T, U, R, T c T~U{R~TST T, U, R, U c T~(U|R{U)ST T, U, R, V c T~(UR{V)ST T, U, R, W c (T{W)~R{UST T, U, R, X c T~(U~R|X)ST T, U, S, P c (T{U)~S{PST T, U, S, R c (T{U{S)~RST T, U, S, S c T{(U{S)~SST T, U, S, T c T~(U{S)|TST T, U, S, U c T~US~UST T, U, S, V c T~(U|S{V)ST T, U, S, X c (T{S)~U|XST T, U, T, Q c T~(U{T|Q)ST T, U, T, R c T~U{T~RST T, U, T, S c T~(U{S)|TST T, U, T, W c T~(U|T{W)ST T, U, T, X c T~(U|T)~XST T, U, U, Q c T~(U{UQ)ST T, U, U, R c T~(U{U|R)ST T, U, U, S c T{U~U{SST T, U, U, W c T~(UU{W)ST T, U, U, X c (T{U|U)~XST T, U, V, Q c T{U~V|QST T, U, V, R c T~(UR{V)ST T, U, V, S c T~(U{V|S)ST T, U, V, W c T~U{V{WST T, U, V, X c T~(V|U)~XST T, U, W, P c T{(U|P)~WST T, U, W, Q c U~W|T{QST T, U, W, R c (T{W)~R{UST T, U, W, T c T~(U{W|T)ST T, U, W, U c T~(UU{W)ST T, U, W, V c T~U{W{VST T, U, W, W c T{U~W|WST T, U, W, X c (U{X)~(W|T)ST T, U, X, O c (T{U~O)~XST T, U, X, P c (T{P)~U{XST T, U, X, Q c (T|Q)~(U{X)ST T, U, X, R c T~(U{XR)ST T, U, X, S c (T{S)~U|XST T, U, X, T c T~(U|T)~XST T, U, X, U c T~U{X{UST T, U, X, V c (T~X)~(V|U)ST T, U, X, W c (U{X)~(W|T)ST T, V, O, Q c T~(V{O{Q)ST T, V, O, X c (T{V~O)~XST T, V, P, P c T~(V{P{P)ST T, V, P, Q c T~(V{P~Q)ST T, V, P, R c T~(V|P{R)ST T, V, P, T c T{(V{P)~TST T, V, P, V c V~V|T{PST T, V, P, X c T~V{P{XST T, V, Q, O c T~(V{Q){OST T, V, Q, P c T~(V{Q)~PST T, V, Q, S c T~(V|Q{S)ST T, V, Q, T c T~V{Q~TST T, V, Q, U c T{V~U|QST T, V, Q, W c T{(V|Q)~WST T, V, R, P c T~(V{R|P)ST T, V, R, R c (T{V{R)~RST T, V, R, S c T{(V{R)~SST T, V, R, T c (T{V|R)~TST T, V, R, U c T~(V{UR)ST T, V, R, V c T~V{R{VST T, V, R, X c (T{V)~R{XST T, V, S, Q c T~(V{S|Q)ST T, V, S, R c (T{V)~S|RST T, V, S, S c T~(S~S|V)ST T, V, S, U c T~V{S{UST T, V, S, W c T~(V{WS)ST T, V, T, P c T{(V{P)~TST T, V, T, Q c T~V{T~QST T, V, T, R c T~(V{T|R)ST T, V, T, T c T{V~T{TST T, V, T, V c T~(V|T{V)ST T, V, U, Q c T{V~U|QST T, V, U, R c T~(V{UR)ST T, V, U, S c T~V{U{SST T, V, U, W c T~(V|U{W)ST T, V, U, X c T~(V|U)~XST T, V, V, P c V~V|T{PST T, V, V, R c T~V{V{RST T, V, V, T c T~(V{V|T)ST T, V, V, W c T~(VV{W)ST T, V, V, X c (T{V|V)~XST T, V, W, Q c T~V{W{QST T, V, W, S c T~(V{WS)ST T, V, W, U c T~(V{W|U)ST T, V, W, V c T~(VV{W)ST T, V, W, W c T~(W|V{W)ST T, V, W, X c T~(W|V)~XST T, V, X, O c (T{V~O)~XST T, V, X, P c T~V{X{PST T, V, X, R c (T{V)~R{XST T, V, X, U c T~(V|U)~XST T, V, X, V c T~(V{X|V)ST T, V, X, W c (T~X)~(W|V)ST T, W, O, P c T~(W{O{P)ST T, W, O, T c T{(W{O)~TST T, W, O, X c (T{W~O)~XST T, W, P, O c T~(W{P){OST T, W, P, P c T~(W{P)~PST T, W, P, Q c T~(W|P{Q)ST T, W, P, R c (T{P)~W|RST T, W, P, S c T{W~(P{S)ST T, W, P, T c T{W~P~TST T, W, P, U c T~W|P{UST T, W, P, X c T(P|WX)ST T, W, Q, P c T~(W{Q|P)ST T, W, Q, Q c T~(W{QQ)ST T, W, Q, R c (T{W{Q)~RST T, W, Q, S c T{(W{Q)~SST T, W, Q, T c (T{WQ)~TST T, W, Q, U c W~U|T{QST T, W, Q, V c T~W|Q{VST T, W, Q, X c (W|T{Q)~XST T, W, R, P c (T{P)~W|RST T, W, R, Q c T{W~(R{Q)ST T, W, R, R c T~(W{RR)ST T, W, R, S c T~(W|R{S)ST T, W, R, T c T~(W|T)~RST T, W, R, U c (T{W)~R{UST T, W, R, W c T{(W|R)~WST T, W, S, P c T{W~(S{P)ST T, W, S, Q c T{(W{Q)~SST T, W, S, R c T~(W{S|R)ST T, W, S, S c T~(W{SS)ST T, W, S, T c (T{W|S)~TST T, W, S, V c (T{W)~S|VST T, W, S, W c T{W{S~WST T, W, S, X c T~W|S{XST T, W, T, O c T{W~T{OST T, W, T, P c T{W~T~PST T, W, T, Q c (T{WQ)~TST T, W, T, R c T~(W|T)~RST T, W, T, S c T~(W{T|S)ST T, W, T, T c T~(W{TT)ST T, W, T, U c T~(W|T{U)ST T, W, T, W c (TW{T)~WST T, W, U, P c T{W~(U|P)ST T, W, U, Q c W~U|T{QST T, W, U, R c (T{W)~R{UST T, W, U, T c T~(W{U|T)ST T, W, U, U c T~(W{UU)ST T, W, U, V c T~(W|U{V)ST T, W, U, W c T{W~U|WST T, W, U, X c (W|T)~(U{X)ST T, W, V, Q c T{W~(V|Q)ST T, W, V, S c (T{W)~S|VST T, W, V, U c T~(W{V|U)ST T, W, V, V c T~(W{VV)ST T, W, V, W c T~(W|V{W)ST T, W, V, X c T~(W|V)~XST T, W, W, R c T{W~(W|R)ST T, W, W, S c T{W{W~SST T, W, W, T c (TW{T)~WST T, W, W, U c T{W~U|WST T, W, W, V c T~(W{W|V)ST T, W, W, W c T~(W{WW)ST T, W, W, X c (T{W|W)~XST T, W, X, O c (T{W~O)~XST T, W, X, P c T(P|WX)ST T, W, X, Q c (W|T{Q)~XST T, W, X, S c T{W~(X|S)ST T, W, X, U c (W|T)~(X{U)ST T, W, X, V c T~(W|V)~XST T, W, X, W c T~(W{X|W)ST T, W, X, X c T~(W{XX)ST T, X, O, O c T~X{O{OST T, X, O, P c T~X{O~PST T, X, O, Q c T~X{O~QST T, X, O, R c T~X{O~RST T, X, O, S c T~X{O~SST T, X, O, T c T~X{O~TST T, X, O, U c T~X{O~UST T, X, O, V c T~X{O~VST T, X, O, W c T~X{O~WST T, X, O, X c (T{X~O)~XST T, X, P, O c T~X{P~OST T, X, P, P c T~X{P|PST T, X, P, Q c (T~X)~(Q|P)ST T, X, P, R c (T{X{P)~RST T, X, P, S c T{(X{P)~SST T, X, P, T c T{(X|P)~TST T, X, P, U c (T{P)~U{XST T, X, P, V c T~V{X{PST T, X, P, W c T(P|WX)ST T, X, P, X c (T{P)~X|XST T, X, Q, O c T~X{Q~OST T, X, Q, P c (T~X)~(Q|P)ST T, X, Q, Q c T~X{Q|QST T, X, Q, R c (T~X)~(R|Q)ST T, X, Q, T c (T~Q|T)~XST T, X, Q, U c (T|Q)~(X{U)ST T, X, Q, W c X~(Q{W|T)ST T, X, Q, X c T~(X~Q|X)ST T, X, R, O c T~X{R~OST T, X, R, P c (T{X{P)~RST T, X, R, Q c (T~X)~(R|Q)ST T, X, R, R c (T{X)~R{RST T, X, R, S c (T~X)~(S|R)ST T, X, R, U c T~(XR{U)ST T, X, R, V c (T{V)~R{XST T, X, S, O c T~X{S~OST T, X, S, P c T{(X{P)~SST T, X, S, R c (T~X)~(S|R)ST T, X, S, S c T{X~S{SST T, X, S, T c (T~X)~(T|S)ST T, X, S, U c (T{S)~U|XST T, X, S, W c T{(X|S)~WST T, X, T, O c T~X{T~OST T, X, T, P c T{(X|P)~TST T, X, T, Q c (T{T)~(XQ)ST T, X, T, S c (T~X)~(T|S)ST T, X, T, T c (T{X|T)~TST T, X, T, U c (T~X)~(U|T)ST T, X, U, O c T~X{U~OST T, X, U, P c (T{P)~U{XST T, X, U, Q c (T|Q)~(X{U)ST T, X, U, R c T~(X|U)~RST T, X, U, S c (T{S)~U|XST T, X, U, T c (T~X)~(U|T)ST T, X, U, U c T~X{U|UST T, X, U, V c (T~X)~(V|U)ST T, X, U, W c (X{U)~(W|T)ST T, X, V, O c T~X{V~OST T, X, V, P c T~V{X{PST T, X, V, R c (T{V)~R{XST T, X, V, U c (T~X)~(V|U)ST T, X, V, V c T~X{V|VST T, X, V, W c (T~X)~(W|V)ST T, X, W, O c T~X{W~OST T, X, W, P c T(P|WX)ST T, X, W, Q c X~(W|T{Q)ST T, X, W, S c T{(X|S)~WST T, X, W, U c (X{U)~(W|T)ST T, X, W, V c (T~X)~(W|V)ST T, X, W, W c T~X{W|WST T, X, W, X c T~(X|W)~XST T, X, X, O c T~X{X~OST T, X, X, P c (T{P)~X|XST T, X, X, Q c T~(X{X)QST T, X, X, W c (T~X)~(X|W)ST T, X, X, X c (T{X|X)~XST U, O, P, X c (U{O|P)~XST U, O, R, T c (U{O{R)~TST U, O, R, V c (U{O)~V{RST U, O, R, W c (U{O)~W|RST U, O, R, X c (U{O{X)~RST U, O, T, R c (U{O{R)~TST U, O, T, X c U~O{T~XST U, O, U, X c (U{O)~U{XST U, O, V, R c (U{O)~V{RST U, O, W, R c (U{O)~W|RST U, O, X, P c (U{O|P)~XST U, O, X, R c (U{O{X)~RST U, O, X, T c U~O{X~TST U, O, X, U c (U{O)~U{XST U, O, X, X c (U{O)~X|XST U, P, O, X c (U|P{O)~XST U, P, P, W c (U|P)~(P{W)ST U, P, P, X c (U|P)~(P~X)ST U, P, Q, T c (U{P{Q)~TST U, P, Q, V c (U|P)~(Q{V)ST U, P, Q, W c (U~W)|(P{Q)ST U, P, Q, X c (U{P|Q)~XST U, P, R, R c (U|P)~(R~R)ST U, P, R, S c (U{R)~(P{S)ST U, P, R, T c (U{P~R)~TST U, P, R, U c (U|P)~(R{U)ST U, P, R, V c U~(P{V)|RST U, P, R, W c (U{P{W)~RST U, P, R, X c (U{P~X)~RST U, P, S, R c (U{R)~(P{S)ST U, P, S, T c (U|P{S)~TST U, P, S, V c (U{P)~V|SST U, P, S, W c U~W{P|SST U, P, S, X c (U{X)~(S|P)ST U, P, T, Q c (U{P{Q)~TST U, P, T, R c (U{P~R)~TST U, P, T, S c (U|P)~(T{S)ST U, P, T, W c U|P{T~WST U, P, T, X c U~(P{T){XST U, P, U, R c (U{P)~U{RST U, P, U, W c U~U{P{WST U, P, U, X c U~P~U{XST U, P, V, Q c (U|P)~(V{Q)ST U, P, V, R c U~(P{V)|RST U, P, V, S c (U{P)~V|SST U, P, V, X c U~(V|P){XST U, P, W, P c (U|P)~(W{P)ST U, P, W, Q c (U~W)|(P{Q)ST U, P, W, R c (U{P{W)~RST U, P, W, S c U~W{P|SST U, P, W, T c U|P{W~TST U, P, W, U c U~U{P{WST U, P, W, X c U~(P{W)|XST U, P, X, O c (U|P)~(X{O)ST U, P, X, P c (U|P)~(X~P)ST U, P, X, Q c (U{P|Q)~XST U, P, X, R c (U{P~X)~RST U, P, X, S c (U{X)~(S|P)ST U, P, X, T c U~(P{T){XST U, P, X, U c U~P~U{XST U, P, X, V c U~(V|P){XST U, P, X, W c U~(P{W)|XST U, P, X, X c U~P~X|XST U, Q, P, T c (U{Q{P)~TST U, Q, P, V c (U|P)~(Q{V)ST U, Q, P, W c (U~W)|(Q{P)ST U, Q, P, X c (U|Q{P)~XST U, Q, Q, X c (U|QQ)~XST U, Q, R, R c (U~Q{R)~RST U, Q, R, S c U~Q~S|RST U, Q, R, T c (U~Q|R)~TST U, Q, R, U c (U{Q)~U|RST U, Q, R, V c (U{Q{V)~RST U, Q, R, X c (U{Q|R)~XST U, Q, S, R c U~Q~S|RST U, Q, S, V c U~(QS{V)ST U, Q, S, W c U~(W|QS)ST U, Q, S, X c U~(Q{S){XST U, Q, T, P c (U{Q{P)~TST U, Q, T, R c U~(Q{T){RST U, Q, T, T c (U{Q)~T{TST U, Q, T, U c (UQ{U)~TST U, Q, T, V c U~V|Q{TST U, Q, T, W c U~W{Q|TST U, Q, T, X c (U{X)~(T|Q)ST U, Q, U, R c (U{Q)~U|RST U, Q, U, T c (UQ{U)~TST U, Q, U, V c UQ{U~VST U, Q, U, W c U~W|UQST U, Q, U, X c (UQ)~(U{X)ST U, Q, V, P c U~V{Q{PST U, Q, V, R c (U{Q{V)~RST U, Q, V, S c U~(QS{V)ST U, Q, V, T c U~V|Q{TST U, Q, V, U c UQ{V~UST U, Q, V, V c Q{V~V|UST U, Q, V, W c (UQ)~(V{W)ST U, Q, V, X c U~(Q{V)|XST U, Q, W, P c (U~W)|(Q{P)ST U, Q, W, S c U~(W|QS)ST U, Q, W, T c U~W{Q|TST U, Q, W, U c U~W|UQST U, Q, W, V c (UQ)~(W{V)ST U, Q, W, X c U~(W|Q){XST U, Q, X, P c (U|Q{P)~XST U, Q, X, Q c (U|QQ)~XST U, Q, X, R c (U{Q|R)~XST U, Q, X, S c U~(Q{S){XST U, Q, X, T c (U{X)~(T|Q)ST U, Q, X, U c (UQ)~(X{U)ST U, Q, X, V c U~(Q{V)|XST U, Q, X, W c U~(W|Q){XST U, Q, X, X c (U|Q)~X{XST U, R, O, T c (U{R{O)~TST U, R, O, V c (U{O)~V{RST U, R, O, W c (U{O)~W|RST U, R, O, X c (U{O{X)~RST U, R, P, R c (U|P)~(R~R)ST U, R, P, S c (U{R)~(P{S)ST U, R, P, T c (U{R)~(P~T)ST U, R, P, U c (U{R)~(U|P)ST U, R, P, V c U~(P{V)|RST U, R, P, W c (U{P{W)~RST U, R, P, X c (U{P~X)~RST U, R, Q, R c (U{R)~(Q{R)ST U, R, Q, S c U~Q~S|RST U, R, Q, T c U~RQ~TST U, R, Q, U c (U{RQ)~UST U, R, Q, V c (U{R)~(V|Q)ST U, R, Q, X c (U|R{Q)~XST U, R, R, P c (U|P)~(R~R)ST U, R, R, Q c (U{R)~(R{Q)ST U, R, R, R c (U{R~R)~RST U, R, R, S c U~(R{S){RST U, R, R, T c (U|R)~(R~T)ST U, R, R, U c (U{R{U)~RST U, R, R, V c R~(R~V|U)ST U, R, R, W c (U{R)~(W|R)ST U, R, R, X c (U|RR)~XST U, R, S, P c (U{R)~(S{P)ST U, R, S, Q c U~S~Q|RST U, R, S, R c U~(R{S){RST U, R, S, S c U~(S{S)|RST U, R, S, T c (U{S{T)~RST U, R, S, U c (U{U)~S|RST U, R, S, V c U~S{R~VST U, R, S, X c U{R{S~XST U, R, T, O c (U{R)~(T{O)ST U, R, T, P c (U{R)~(T~P)ST U, R, T, Q c U~R~TQST U, R, T, R c (U|R)~(T~R)ST U, R, T, S c (U{T{S)~RST U, R, T, T c U~T{R~TST U, R, T, U c (U|R{U)~TST U, R, T, V c (UR{V)~TST U, R, T, W c U{R~(T{W)ST U, R, T, X c (U~R|X)~TST U, R, U, P c (U{R)~(U|P)ST U, R, U, Q c (U{RQ)~UST U, R, U, R c (U{R{U)~RST U, R, U, S c (U{U)~S|RST U, R, U, T c (U|R{U)~TST U, R, U, U c U{R{U~UST U, R, U, V c U{R~(U{V)ST U, R, U, W c U~W{R|UST U, R, U, X c (U{R)~U|XST U, R, V, O c U~V{R{OST U, R, V, P c U~V{R~PST U, R, V, Q c (U{R)~(V|Q)ST U, R, V, R c (R~V|U)~RST U, R, V, S c U~S{R~VST U, R, V, T c (UR{V)~TST U, R, V, U c U{R~(V{U)ST U, R, V, V c (U{RV)~VST U, R, V, W c (U|R)~(V{W)ST U, R, V, X c U~V{XRST U, R, W, O c U~W|R{OST U, R, W, P c U~W|R~PST U, R, W, R c (U{R)~(W|R)ST U, R, W, T c U{R~(W{T)ST U, R, W, U c U~W{R|UST U, R, W, V c (U|R)~(W{V)ST U, R, W, W c (U|RW)~WST U, R, W, X c U~W|XRST U, R, X, O c (U{X)~(R{O)ST U, R, X, P c (U{X)~(R~P)ST U, R, X, Q c U~(R{XQ)ST U, R, X, R c U~R{X~RST U, R, X, S c U{R{X~SST U, R, X, T c (U~R|X)~TST U, R, X, U c (U|R)~(X{U)ST U, R, X, V c U~V{XRST U, R, X, W c U~W|XRST U, R, X, X c (U{X)R~XST U, S, P, R c (U{R)~(S{P)ST U, S, P, T c (U{S|P)~TST U, S, P, V c (U{P)~V|SST U, S, P, W c U~W|S{PST U, S, P, X c (U{X)~(S|P)ST U, S, Q, R c U~S~Q|RST U, S, Q, V c U~(S{VQ)ST U, S, Q, W c U~(W|QS)ST U, S, Q, X c (U{S)Q~XST U, S, R, P c (U{R)~(S{P)ST U, S, R, Q c U~S~Q|RST U, S, R, R c U~(S{R){RST U, S, R, S c U~(S{S)|RST U, S, R, T c (U{S{T)~RST U, S, R, U c (U{U)~S|RST U, S, R, V c U~S{R~VST U, S, R, X c (U|S{R)~XST U, S, S, R c U~(S{S)|RST U, S, S, T c (U{S)~S{TST U, S, S, X c (U|SS)~XST U, S, T, P c (U{S|P)~TST U, S, T, R c (U{S{T)~RST U, S, T, S c (U{S)~S{TST U, S, T, T c (U{S)~T|TST U, S, T, U c US~T~UST U, S, T, V c U{S{T~VST U, S, T, X c (U{S|T)~XST U, S, U, R c (U{U)~S|RST U, S, U, T c US~U~TST U, S, U, U c (US{U)~UST U, S, U, X c (UU{S)~XST U, S, V, P c U~V{S|PST U, S, V, Q c U~(S{VQ)ST U, S, V, R c U~S{V~RST U, S, V, T c U{S{V~TST U, S, V, V c (U{V)~S|VST U, S, V, W c U{S~W{VST U, S, V, X c (U{X)~(V|S)ST U, S, W, P c U~W|S{PST U, S, W, Q c U~(W|QS)ST U, S, W, V c U{S~W{VST U, S, W, W c U~(W|SW)ST U, S, X, P c (U{X)~(S|P)ST U, S, X, Q c (U{S)~(XQ)ST U, S, X, R c U{(S{X)~RST U, S, X, S c (U|SS)~XST U, S, X, T c (U{S|T)~XST U, S, X, U c U~(X|US)ST U, S, X, V c (U{X)~(V|S)ST U, T, O, R c (U{O{R)~TST U, T, O, X c U~O{T~XST U, T, P, Q c (U{P{Q)~TST U, T, P, R c (U{P~R)~TST U, T, P, S c (U{T)~S{PST U, T, P, W c U{T~W|PST U, T, P, X c U~(T{P){XST U, T, Q, P c (U{Q{P)~TST U, T, Q, R c U~(T{Q){RST U, T, Q, T c (U{T|Q)~TST U, T, Q, U c (UQ{U)~TST U, T, Q, V c U~V{T|QST U, T, Q, W c U~W|T{QST U, T, Q, X c (U{X)~(T|Q)ST U, T, R, O c (U{R)~(T{O)ST U, T, R, P c (U{R)~(T~P)ST U, T, R, Q c U~T~RQST U, T, R, R c U~(T{R)|RST U, T, R, S c (U{T{S)~RST U, T, R, T c U~T{R~TST U, T, R, U c (U|R{U)~TST U, T, R, V c (UR{V)~TST U, T, R, W c U{(T{W)~RST U, T, R, X c (U~R|X)~TST U, T, S, P c (U{T)~S{PST U, T, S, R c (U{T{S)~RST U, T, S, S c (U{S)~S{TST U, T, S, T c (U{S)~T|TST U, T, S, U c U~TS~UST U, T, S, V c U{T~V{SST U, T, S, X c (U|T{S)~XST U, T, T, Q c U~(T{TQ)ST U, T, T, R c U~T{T~RST U, T, T, S c (U{S)~T|TST U, T, T, W c (U|T{W)~TST U, T, T, X c (U|T)~(T~X)ST U, T, U, Q c (U{UQ)~TST U, T, U, R c (U{U|R)~TST U, T, U, S c U~T~USST U, T, U, W c (UU{W)~TST U, T, U, X c (U{T|U)~XST U, T, V, Q c U~V{T|QST U, T, V, R c (UR{V)~TST U, T, V, S c U{T~V{SST U, T, V, W c U~T{V{WST U, T, V, X c T~(V|U)~XST U, T, W, P c U{T~W|PST U, T, W, Q c U~W|T{QST U, T, W, R c U{(T{W)~RST U, T, W, T c (U|T{W)~TST U, T, W, U c (UU{W)~TST U, T, W, V c U~T{W{VST U, T, W, W c U~W{T|WST U, T, W, X c (U{X)~(W|T)ST U, T, X, O c U~O{T~XST U, T, X, P c U~(T{P){XST U, T, X, Q c (U{X)~(T|Q)ST U, T, X, R c (U{XR)~TST U, T, X, S c (U|T{S)~XST U, T, X, T c (U|T)~(X~T)ST U, T, X, U c U{T~X|UST U, T, X, V c (T~X)~(V|U)ST U, T, X, W c (U{X)~(W|T)ST U, U, O, X c U~U{O{XST U, U, P, R c U~(U{P){RST U, U, P, W c U~U{P{WST U, U, P, X c U~U{P~XST U, U, Q, R c U~(U{Q)|RST U, U, Q, T c (U{UQ)~TST U, U, Q, V c U~U{Q{VST U, U, Q, W c U~W|UQST U, U, Q, X c U~(U{X)QST U, U, R, P c U~(U{P){RST U, U, R, Q c U~(U{RQ)ST U, U, R, R c (U{U{R)~RST U, U, R, S c (U{U)~S|RST U, U, R, T c (U{U|R)~TST U, U, R, U c U~U{R{UST U, U, R, V c U{(U{V)~RST U, U, R, W c U~W|U{RST U, U, R, X c (U{U)~R{XST U, U, S, R c (U{U)~S|RST U, U, S, T c U~U{S{TST U, U, S, U c (U{US)~UST U, U, S, X c (UU{S)~XST U, U, T, Q c (U{UQ)~TST U, U, T, R c (U{U|R)~TST U, U, T, S c U~U{T{SST U, U, T, W c (UU{W)~TST U, U, T, X c U{U~T{XST U, U, U, R c U{U~U{RST U, U, U, S c U~(U{US)ST U, U, U, X c (U|UU)~XST U, U, V, Q c U~U{V{QST U, U, V, R c U{(U{V)~RST U, U, V, X c (U{U|V)~XST U, U, W, P c U~U{W{PST U, U, W, Q c U~W|UQST U, U, W, R c U~W|U{RST U, U, W, T c (UU{W)~TST U, U, W, X c U{U~W|XST U, U, X, O c U~U{X{OST U, U, X, P c U~U{X~PST U, U, X, Q c U~(U{X)QST U, U, X, R c (U{U)~R{XST U, U, X, S c (UU{S)~XST U, U, X, T c U|U{X~TST U, U, X, U c U~(U{XU)ST U, U, X, V c (U{U|V)~XST U, U, X, W c U{U~W|XST U, U, X, X c (U{X)~(X|U)ST U, V, O, R c U~V{O{RST U, V, P, Q c U~V{P{QST U, V, P, R c U~(V{P)|RST U, V, P, S c U~V|P{SST U, V, P, X c U~(V|P){XST U, V, Q, P c U~V{Q{PST U, V, Q, R c (U{V{Q)~RST U, V, Q, S c U~(V{QS)ST U, V, Q, T c U~V|Q{TST U, V, Q, U c U~V{UQST U, V, Q, V c V~V|U{QST U, V, Q, W c U~(V{W)QST U, V, Q, X c U~(V{Q)|XST U, V, R, O c U~V{R{OST U, V, R, P c U~V{R~PST U, V, R, Q c (U{V{Q)~RST U, V, R, R c (V~R|U)~RST U, V, R, S c U~S{V~RST U, V, R, T c (UR{V)~TST U, V, R, U c (U{V)~R{UST U, V, R, V c (U{RV)~VST U, V, R, W c (U|R)~(V{W)ST U, V, R, X c U~V{XRST U, V, S, P c U~V{S|PST U, V, S, Q c U~(V{QS)ST U, V, S, R c U~S{V~RST U, V, S, T c (U{V|S)~TST U, V, S, V c (U{V)~S|VST U, V, S, W c U{V{S~WST U, V, S, X c (U{X)~(V|S)ST U, V, T, Q c U~V{T|QST U, V, T, R c (UR{V)~TST U, V, T, S c U{V~T{SST U, V, T, W c U~V|T{WST U, V, T, X c (V|U)~(T~X)ST U, V, U, Q c U~V{UQST U, V, U, R c U{(V{U)~RST U, V, U, X c U~V|U{XST U, V, V, Q c V~V|U{QST U, V, V, R c (U{RV)~VST U, V, V, S c U~V{V|SST U, V, V, X c (U|VV)~XST U, V, W, Q c U~(V{W)QST U, V, W, R c (U|R)~(V{W)ST U, V, W, S c U{V{W~SST U, V, W, T c U~V{W|TST U, V, W, X c (U{V|W)~XST U, V, X, P c U~(V|P){XST U, V, X, Q c U~(V{Q)|XST U, V, X, R c U~V{XRST U, V, X, S c (U{X)~(V|S)ST U, V, X, T c (V|U)~(X~T)ST U, V, X, U c U~V{X|UST U, V, X, V c (U|VV)~XST U, V, X, W c (U{V|W)~XST U, W, O, R c U~W{O|RST U, W, P, P c (U|P)~(W{P)ST U, W, P, Q c (U~W)|(P{Q)ST U, W, P, R c (U{W{P)~RST U, W, P, S c U~W{P|SST U, W, P, T c U{W~T|PST U, W, P, U c U~U{W{PST U, W, P, X c U~(W{P)|XST U, W, Q, P c (U~W)|(Q{P)ST U, W, Q, S c U~(W|QS)ST U, W, Q, T c U~W{Q|TST U, W, Q, U c U~W|UQST U, W, Q, V c U~(W{V)QST U, W, Q, X c U~(W|Q){XST U, W, R, O c U~W|R{OST U, W, R, P c U~W|R~PST U, W, R, R c (U{W)~R{RST U, W, R, T c U{(W{T)~RST U, W, R, U c U~W{R|UST U, W, R, V c (U|R)~(W{V)ST U, W, R, W c (U|RW)~WST U, W, R, X c U~W|XRST U, W, S, P c U~W|S{PST U, W, S, Q c U~(W|QS)ST U, W, S, V c U{W~S{VST U, W, S, W c U~(W|SW)ST U, W, T, P c U{W~T|PST U, W, T, Q c U~W|T{QST U, W, T, R c U{(W{T)~RST U, W, T, T c (U{W|T)~TST U, W, T, U c (UU{W)~TST U, W, T, V c U~T{W{VST U, W, T, W c U~W{T|WST U, W, T, X c (U{X)~(W|T)ST U, W, U, P c U~U{W{PST U, W, U, Q c U~W|UQST U, W, U, R c U~W|U{RST U, W, U, T c (UU{W)~TST U, W, U, X c U{W~U|XST U, W, V, Q c U~(W{V)QST U, W, V, R c (U|R)~(W{V)ST U, W, V, S c U~W|V{SST U, W, V, T c U~V{W|TST U, W, V, X c (U{V|W)~XST U, W, W, R c (U|RW)~WST U, W, W, S c U~(W|SW)ST U, W, W, T c U~W|W{TST U, W, W, X c (U|WW)~XST U, W, X, P c U~(W{P)|XST U, W, X, Q c U~(W|Q){XST U, W, X, R c U~W|XRST U, W, X, T c (U{X)~(W|T)ST U, W, X, U c U~W|X{UST U, W, X, V c (U{V|W)~XST U, W, X, W c (U|WW)~XST U, W, X, X c (U{W|X)~XST U, X, O, P c (U{O|P)~XST U, X, O, R c (U{X{O)~RST U, X, O, T c U~O{X~TST U, X, O, U c (U{O)~U{XST U, X, O, X c U~X{O|XST U, X, P, O c (U|P)~(X{O)ST U, X, P, P c (U|P)~(X~P)ST U, X, P, Q c (U{X)~(P{Q)ST U, X, P, R c (U{X)~(P~R)ST U, X, P, S c (U{X)~(S|P)ST U, X, P, T c U~(P{T){XST U, X, P, U c U~P~U{XST U, X, P, V c U~(V|P){XST U, X, P, W c (U~X)|(P{W)ST U, X, P, X c U~X|P~XST U, X, Q, P c (U{X)~(Q{P)ST U, X, Q, Q c (U|QQ)~XST U, X, Q, R c U~(X|Q){RST U, X, Q, S c U~(Q{S){XST U, X, Q, T c (U{X)~(T|Q)ST U, X, Q, U c (U{X)Q~UST U, X, Q, V c (U~X)|(Q{V)ST U, X, Q, W c U~(W|Q){XST U, X, Q, X c (U|Q)~X{XST U, X, R, O c (U{X)~(R{O)ST U, X, R, P c (U{X)~(R~P)ST U, X, R, Q c U~(X|RQ)ST U, X, R, R c U~X|R~RST U, X, R, S c U{(X{S)~RST U, X, R, T c (U{XR)~TST U, X, R, U c (U~X)|(R{U)ST U, X, R, V c U~V{XRST U, X, R, W c U~W|XRST U, X, R, X c (U{X)R~XST U, X, S, P c (U{X)~(S|P)ST U, X, S, Q c (U{S)~(XQ)ST U, X, S, R c U{(X{S)~RST U, X, S, S c (U|SS)~XST U, X, S, T c (U~X)|(S{T)ST U, X, S, U c U~(X|US)ST U, X, S, V c (U{X)~(V|S)ST U, X, T, O c U~O{X~TST U, X, T, P c U~(T{P){XST U, X, T, Q c (U{X)~(T|Q)ST U, X, T, R c (U{XR)~TST U, X, T, S c (U~X)|(T{S)ST U, X, T, T c (U|T)~(X~T)ST U, X, T, U c U{X{T~UST U, X, T, V c (X~T)~(V|U)ST U, X, T, W c (U{X)~(W|T)ST U, X, U, O c U~U{X{OST U, X, U, P c U~U{X~PST U, X, U, Q c (U{X)~(UQ)ST U, X, U, R c (U{X)~(U|R)ST U, X, U, S c U~(X|US)ST U, X, U, T c U{X{U~TST U, X, U, U c (U{XU)~UST U, X, U, V c (U{U|V)~XST U, X, U, W c U{U~W|XST U, X, U, X c (U{X)~(X|U)ST U, X, V, P c U~(V|P){XST U, X, V, Q c (U~X)|(V{Q)ST U, X, V, R c U~V{XRST U, X, V, S c (U{X)~(V|S)ST U, X, V, T c X~(V|U)~TST U, X, V, U c U~V{X|UST U, X, V, V c (U|VV)~XST U, X, V, W c (U{V|W)~XST U, X, W, P c (U~X)|(W{P)ST U, X, W, Q c U~(W|Q){XST U, X, W, R c U~W|XRST U, X, W, T c (U{X)~(W|T)ST U, X, W, U c U~W|X{UST U, X, W, V c (U{V|W)~XST U, X, W, W c (U|WW)~XST U, X, W, X c (U{W|X)~XST U, X, X, O c U~X|X{OST U, X, X, P c U~X|X~PST U, X, X, Q c (U|Q)~X{XST U, X, X, R c (U{X)~(XR)ST U, X, X, U c (U{X)~(X|U)ST U, X, X, W c (U{W|X)~XST U, X, X, X c (U|XX)~XST V, O, Q, T c (V{O{Q)~TST V, O, Q, X c (V{O|Q)~XST V, O, R, U c (V{O)~U{RST V, O, R, W c (V{O{W)~RST V, O, S, V c (V{O)~V|SST V, O, T, Q c (V{O{Q)~TST V, O, T, X c V~O{T~XST V, O, U, R c (V{O)~U{RST V, O, V, S c (V{O)~V|SST V, O, W, R c (V{O{W)~RST V, O, X, Q c (V{O|Q)~XST V, O, X, T c V~O{X~TST V, P, P, T c (V{P{P)~TST V, P, P, X c (V|P|P)~XST V, P, Q, R c (V~Q{P)~RST V, P, Q, S c (V{Q)~(P{S)ST V, P, Q, T c (V{P~Q)~TST V, P, Q, U c (V{PQ)~UST V, P, Q, W c (V|Q)~(P{W)ST V, P, Q, X c (V|P~Q)~XST V, P, R, Q c (V~Q{P)~RST V, P, R, T c (V|P{R)~TST V, P, R, U c (V{P)~U|RST V, P, R, V c (V{P{V)~RST V, P, R, W c (V{P~W)~RST V, P, R, X c (V{P|R)~XST V, P, S, Q c (V{Q)~(P{S)ST V, P, S, S c (V{S)~S{PST V, P, S, U c V~(P{U)|SST V, P, S, V c V~P~V|SST V, P, S, W c V~(W|P)|SST V, P, T, P c (V{P{P)~TST V, P, T, Q c (V{P~Q)~TST V, P, T, R c V~(P{T){RST V, P, T, T c (V{P)~T{TST V, P, T, V c V~V{P|TST V, P, T, X c V~T{P{XST V, P, U, Q c (V{PQ)~UST V, P, U, R c (V{P)~U|RST V, P, U, S c V~(P{U)|SST V, P, U, X c (V|P)~U{XST V, P, V, R c (V{P{V)~RST V, P, V, S c V~P~V|SST V, P, V, T c V~V{P|TST V, P, W, Q c (V{W)~(P{Q)ST V, P, W, R c (V{P~W)~RST V, P, W, S c V~(W|P)|SST V, P, X, P c (V|P|P)~XST V, P, X, Q c (V|P~Q)~XST V, P, X, R c (V|P{X)~RST V, P, X, T c V~T{P{XST V, P, X, U c (V|P)~U{XST V, P, X, X c (V|P)~X|XST V, Q, O, T c (V{Q{O)~TST V, Q, O, X c (V|Q{O)~XST V, Q, P, R c (V~Q{P)~RST V, Q, P, S c (V{Q)~(P{S)ST V, Q, P, T c (V{Q)~(P~T)ST V, Q, P, U c (V{Q)~(U|P)ST V, Q, P, W c (V|Q)~(P{W)ST V, Q, P, X c (V|Q)~(P~X)ST V, Q, Q, R c (V{Q)~(Q{R)ST V, Q, Q, V c (V|Q)~(Q{V)ST V, Q, R, P c (V~Q{P)~RST V, Q, R, Q c (V{Q)~(R{Q)ST V, Q, R, R c (V|Q)~(R~R)ST V, Q, R, S c (V{Q~S)~RST V, Q, R, U c (V|Q)~(R{U)ST V, Q, R, W c (V{Q)~(W|R)ST V, Q, R, X c (V{R)Q~XST V, Q, S, P c (V{Q)~(S{P)ST V, Q, S, R c (V{Q~S)~RST V, Q, S, T c (V|Q{S)~TST V, Q, S, U c (V{QS)~UST V, Q, S, X c V{Q{S~XST V, Q, T, O c (V{Q)~(T{O)ST V, Q, T, P c (V{Q)~(T~P)ST V, Q, T, S c (V|Q)~(T{S)ST V, Q, T, T c (V~Q|T)~TST V, Q, T, U c V~U|Q{TST V, Q, T, W c V|Q{T~WST V, Q, U, P c (V{Q)~(U|P)ST V, Q, U, R c (V{Q{U)~RST V, Q, U, S c (V{QS)~UST V, Q, U, T c V~U|Q{TST V, Q, U, U c V{Q{U~UST V, Q, U, V c V~V{Q|UST V, Q, U, W c (V{W)Q~UST V, Q, U, X c (V{Q)~U|XST V, Q, V, Q c (V{Q)~(V|Q)ST V, Q, V, U c V~V{Q|UST V, Q, V, W c V~V|WQST V, Q, W, P c (V|Q)~(W{P)ST V, Q, W, R c (V{Q)~(W|R)ST V, Q, W, T c V|Q{W~TST V, Q, W, U c (V{W)Q~UST V, Q, W, V c V~V|WQST V, Q, W, X c (V~W)|(Q{X)ST V, Q, X, O c (V|Q)~(X{O)ST V, Q, X, P c (V|Q)~(X~P)ST V, Q, X, R c (V{R)Q~XST V, Q, X, S c V{Q{X~SST V, Q, X, U c (V{Q)~U|XST V, Q, X, W c (V~W)|(Q{X)ST V, Q, X, X c (V~Q|X)~XST V, R, O, U c (V{O)~U{RST V, R, O, W c (V{O{W)~RST V, R, P, Q c (V~Q{P)~RST V, R, P, T c (V{R|P)~TST V, R, P, U c (V{P)~U|RST V, R, P, V c (V{P{V)~RST V, R, P, W c (V{P~W)~RST V, R, P, X c (V|R{P)~XST V, R, Q, P c (V~Q{P)~RST V, R, Q, Q c (V{Q)~(R{Q)ST V, R, Q, R c V~R~Q{RST V, R, Q, S c (V{Q~S)~RST V, R, Q, U c (V|Q)~(R{U)ST V, R, Q, W c (V{Q)~(W|R)ST V, R, Q, X c (V{R)Q~XST V, R, R, Q c V~R~Q{RST V, R, R, R c V~(R{R){RST V, R, R, T c (V{R{T)~RST V, R, R, U c (V~R|U)~RST V, R, R, V c (V{V)~R{RST V, R, R, W c V~R{R~WST V, R, R, X c (V{X)~R|RST V, R, S, Q c (V{S~Q)~RST V, R, S, S c V~(R{S)|SST V, R, S, T c (V{R)~S{TST V, R, S, U c V~R{S~UST V, R, S, X c (R~S|V)~XST V, R, T, P c (V{R|P)~TST V, R, T, R c (V{R{T)~RST V, R, T, S c (V{R)~S{TST V, R, T, T c (V{R)~T|TST V, R, T, U c (V{UR)~TST V, R, T, V c V{R{T~VST V, R, T, X c (V{R|T)~XST V, R, U, O c V~U{R{OST V, R, U, P c V~U{R~PST V, R, U, Q c (V{U{Q)~RST V, R, U, R c (V~R|U)~RST V, R, U, S c V~R{U~SST V, R, U, T c (V{UR)~TST V, R, U, U c (V{RU)~UST V, R, U, V c V~(RV{U)ST V, R, U, W c (V{W)~(U|R)ST V, R, U, X c (V|UR)~XST V, R, V, P c (V~V)|(R{P)ST V, R, V, R c (V{V)~R{RST V, R, V, T c V{R{V~TST V, R, V, U c V~(RV{U)ST V, R, V, V c V~V{R|VST V, R, W, O c (V{W)~(R{O)ST V, R, W, P c (V{W)~(R~P)ST V, R, W, Q c V~(W|Q){RST V, R, W, R c V~R{W~RST V, R, W, U c (V{W)~(U|R)ST V, R, W, W c (V~W)|(R{W)ST V, R, W, X c (V{W)R~XST V, R, X, P c (V|R{P)~XST V, R, X, Q c (V{R)~(XQ)ST V, R, X, R c (V{X)~R|RST V, R, X, S c (R~S|V)~XST V, R, X, T c (V{R|T)~XST V, R, X, U c V~X|R~UST V, R, X, W c (V{W)R~XST V, R, X, X c (V|R)~X{XST V, S, O, V c (V{O)~V|SST V, S, P, Q c (V{Q)~(S{P)ST V, S, P, S c (V{S)~S{PST V, S, P, U c V~(P{U)|SST V, S, P, V c V~P~V|SST V, S, P, W c (V{W)~(S|P)ST V, S, Q, P c (V{Q)~(S{P)ST V, S, Q, R c (V{S~Q)~RST V, S, Q, T c (V{S|Q)~TST V, S, Q, U c (V{QS)~UST V, S, Q, X c (V|S{Q)~XST V, S, R, Q c (V{S~Q)~RST V, S, R, S c V~(S{R)|SST V, S, R, T c (V|S)~(R~T)ST V, S, R, U c V~R{S~UST V, S, R, X c (S~R|V)~XST V, S, S, P c (V{S)~S{PST V, S, S, R c (V{S{S)~RST V, S, S, T c (S~S|V)~TST V, S, S, X c S~(S{X)|VST V, S, T, Q c (V{S|Q)~TST V, S, T, R c (V|S)~(T~R)ST V, S, T, S c (S~S|V)~TST V, S, T, U c (V|S{U)~TST V, S, T, W c (V{WS)~TST V, S, U, P c V~U{S|PST V, S, U, Q c (V{QS)~UST V, S, U, R c V~R{S~UST V, S, U, T c (V|S{U)~TST V, S, U, V c V|S{U~VST V, S, U, W c V{S~W{UST V, S, U, X c (V{S|U)~XST V, S, V, O c V~V|S{OST V, S, V, P c V~V|S~PST V, S, V, U c V|S{V~UST V, S, V, V c (V|SV)~VST V, S, V, W c (V|S)~(V{W)ST V, S, V, X c (VV{S)~XST V, S, W, P c (V{W)~(S|P)ST V, S, W, T c (V{WS)~TST V, S, W, U c V{S~W{UST V, S, W, V c (V|S)~(W{V)ST V, S, W, X c V~S{W{XST V, S, X, Q c V{S~X{QST V, S, X, R c (S~R|V)~XST V, S, X, S c (S{X)~S|VST V, S, X, U c (V|S)~(X{U)ST V, S, X, V c (VV{S)~XST V, S, X, W c V~S{X{WST V, T, O, Q c (V{O{Q)~TST V, T, O, X c V~O{T~XST V, T, P, P c (V{P{P)~TST V, T, P, Q c (V{P~Q)~TST V, T, P, R c V~(T{P){RST V, T, P, T c (V{P)~T{TST V, T, P, V c V~V|T{PST V, T, P, X c V~T{P{XST V, T, Q, O c (V{Q)~(T{O)ST V, T, Q, P c (V{Q)~(T~P)ST V, T, Q, S c V~(T{Q)|SST V, T, Q, T c V~T{Q~TST V, T, Q, U c V~U{T|QST V, T, Q, W c V~T{Q{WST V, T, R, P c V~(T{P){RST V, T, R, R c (V{T{R)~RST V, T, R, S c (V{T)~S|RST V, T, R, T c (V{T|R)~TST V, T, R, U c (V{UR)~TST V, T, R, V c V~T{R{VST V, T, R, X c (V{T)~R{XST V, T, S, Q c V~(T{Q)|SST V, T, S, R c (V{T)~S|RST V, T, S, S c T~(S~S|V)ST V, T, S, U c V~T{S{UST V, T, S, W c (V{WS)~TST V, T, T, P c (V{P)~T{TST V, T, T, Q c V~T{T~QST V, T, T, R c (V{T|R)~TST V, T, T, T c V~T{T{TST V, T, T, V c (V|T{V)~TST V, T, U, Q c V~U{T|QST V, T, U, R c (V{UR)~TST V, T, U, S c V~T{U{SST V, T, U, W c V{T~U{WST V, T, U, X c (V|U)~(T~X)ST V, T, V, P c V~V|T{PST V, T, V, R c V{T~V{RST V, T, V, T c (V|T{V)~TST V, T, V, W c (VV{W)~TST V, T, V, X c (V{T|V)~XST V, T, W, Q c V{T~W|QST V, T, W, S c (V{WS)~TST V, T, W, U c V{T~U{WST V, T, W, V c (VV{W)~TST V, T, W, W c (V{W)~(W|T)ST V, T, W, X c T~(W|V)~XST V, T, X, O c V~O{T~XST V, T, X, P c V~T{X{PST V, T, X, R c (V{T)~R{XST V, T, X, U c (V|U)~(T~X)ST V, T, X, V c V{T~X|VST V, T, X, W c (T~X)~(W|V)ST V, U, O, R c V~U{O{RST V, U, P, Q c V~U{P{QST V, U, P, R c V~U{P~RST V, U, P, S c V~(U{P)|SST V, U, P, X c (V|P)~U{XST V, U, Q, P c V~U{Q{PST V, U, Q, R c (V{U{Q)~RST V, U, Q, S c (V{QS)~UST V, U, Q, T c V~U|Q{TST V, U, Q, U c V{U~U{QST V, U, Q, V c V~V|U{QST V, U, Q, W c (V{W)~(UQ)ST V, U, Q, X c (V{Q)~U|XST V, U, R, O c V~U{R{OST V, U, R, P c V~U{R~PST V, U, R, Q c (V{U{Q)~RST V, U, R, R c (V~R|U)~RST V, U, R, S c V~R{U~SST V, U, R, T c (V{UR)~TST V, U, R, U c (V{U)~R{UST V, U, R, V c V~(U{RV)ST V, U, R, W c (V{W)~(U|R)ST V, U, R, X c (V|UR)~XST V, U, S, P c V~U{S|PST V, U, S, Q c (V{QS)~UST V, U, S, R c V~R{U~SST V, U, S, T c (V{U|S)~TST V, U, S, V c (V{U)~S|VST V, U, S, W c V{U{S~WST V, U, S, X c (V|U{S)~XST V, U, T, Q c V~U{T|QST V, U, T, R c (V{UR)~TST V, U, T, S c (V{U|S)~TST V, U, T, W c V{U~T{WST V, U, T, X c (V|U)~(T~X)ST V, U, U, Q c V{U~U{QST V, U, U, R c V~U{U|RST V, U, U, X c V~U|U{XST V, U, V, Q c V~V|U{QST V, U, V, R c V~(U{RV)ST V, U, V, S c V{U~V|SST V, U, V, X c (U|VV)~XST V, U, W, Q c (V{W)~(UQ)ST V, U, W, R c (V{W)~(U|R)ST V, U, W, S c V{U{W~SST V, U, W, T c (V|U{W)~TST V, U, W, X c (V{U|W)~XST V, U, X, P c (V|P)~U{XST V, U, X, Q c (V{Q)~U|XST V, U, X, R c V~U{XRST V, U, X, S c (V|U{S)~XST V, U, X, T c (V|U)~(X~T)ST V, U, X, U c V~U{X|UST V, U, X, V c (U|VV)~XST V, U, X, W c (V{U|W)~XST V, V, O, S c V~V{O|SST V, V, P, R c (V{V{P)~RST V, V, P, S c V~V|P~SST V, V, P, T c V~V{P|TST V, V, Q, Q c (V~V)|(Q{Q)ST V, V, Q, U c V~V{Q|UST V, V, Q, W c V~V|WQST V, V, R, P c (V~V)|(R{P)ST V, V, R, R c (V{V)~R{RST V, V, R, T c V{V~T{RST V, V, R, U c V~(RV{U)ST V, V, R, V c V~V{R|VST V, V, S, O c V~V|S{OST V, V, S, P c V~V|S~PST V, V, S, U c V{V~U|SST V, V, S, V c V~(V|SV)ST V, V, S, W c V~V{S|WST V, V, S, X c (VV{S)~XST V, V, T, P c V~V|T{PST V, V, T, R c V{V~T{RST V, V, T, T c (V{V|T)~TST V, V, T, W c (VV{W)~TST V, V, T, X c V|V{T~XST V, V, U, Q c V~V|U{QST V, V, U, R c V~(U{RV)ST V, V, U, S c V{V~U|SST V, V, U, X c (U|VV)~XST V, V, V, R c V~V|V{RST V, V, V, S c V~(V|SV)ST V, V, W, Q c V~V|WQST V, V, W, S c V~V|W{SST V, V, W, T c (VV{W)~TST V, V, X, S c (VV{S)~XST V, V, X, T c V|V{X~TST V, V, X, U c X~(U|VV)ST V, V, X, X c (V{V|X)~XST V, W, O, R c (V{W{O)~RST V, W, P, Q c (V{W)~(P{Q)ST V, W, P, R c (V{W)~(P~R)ST V, W, P, S c V~(W|P)|SST V, W, Q, P c (V{W)~(Q{P)ST V, W, Q, R c V~(W|Q){RST V, W, Q, T c V{W~T|QST V, W, Q, U c (V{W)Q~UST V, W, Q, V c V~V|WQST V, W, Q, X c (V~W)|(Q{X)ST V, W, R, O c (V{W)~(R{O)ST V, W, R, P c (V{W)~(R~P)ST V, W, R, Q c V~(W|Q){RST V, W, R, R c V~R{W~RST V, W, R, U c (V{W)~(U|R)ST V, W, R, W c (V~W)|(R{W)ST V, W, R, X c (V{W)R~XST V, W, S, P c (V{W)~(S|P)ST V, W, S, T c (V{WS)~TST V, W, S, U c V{W~S{UST V, W, S, V c (V~W)|(S{V)ST V, W, S, X c (V|WS)~XST V, W, T, Q c V{W~T|QST V, W, T, S c (V{WS)~TST V, W, T, U c V{W{T~UST V, W, T, V c (VV{W)~TST V, W, T, W c (V{W)~(W|T)ST V, W, T, X c (W|V)~(T~X)ST V, W, U, Q c (V{W)~(UQ)ST V, W, U, R c (V{W)~(U|R)ST V, W, U, S c V{W~S{UST V, W, U, T c V{W{U~TST V, W, U, X c (V{W)~(X|U)ST V, W, V, Q c V~V|WQST V, W, V, S c (V{W)~(V|S)ST V, W, V, T c (VV{W)~TST V, W, W, R c (V~W)|(W{R)ST V, W, W, T c (V{W)~(W|T)ST V, W, X, Q c (V~W)|(X{Q)ST V, W, X, R c (V{W)~(XR)ST V, W, X, S c (V|WS)~XST V, W, X, T c (W|V)~(X~T)ST V, W, X, U c (V{W)~(X|U)ST V, X, O, Q c (V{O|Q)~XST V, X, O, T c V~O{X~TST V, X, P, P c (V|P|P)~XST V, X, P, Q c (V|P~Q)~XST V, X, P, R c (V{X|P)~RST V, X, P, T c V~T{X{PST V, X, P, U c (V|P)~U{XST V, X, P, X c (V|P)~X|XST V, X, Q, O c (V|Q)~(X{O)ST V, X, Q, P c (V|Q)~(X~P)ST V, X, Q, R c (V{R)~(XQ)ST V, X, Q, S c V~(X|Q)|SST V, X, Q, U c (V{Q)~U|XST V, X, Q, W c (V~W)|(X{Q)ST V, X, Q, X c V~X|Q~XST V, X, R, P c (V{X|P)~RST V, X, R, Q c (V{R)~(XQ)ST V, X, R, R c (V{X)~R|RST V, X, R, S c X~(R~S|V)ST V, X, R, T c (V{R|T)~XST V, X, R, U c V~X|R~UST V, X, R, W c (V{W)~(XR)ST V, X, R, X c (V|R)~X{XST V, X, S, Q c V{X~S{QST V, X, S, R c X~(S~R|V)ST V, X, S, S c (X{S)~S|VST V, X, S, U c (V|S)~(X{U)ST V, X, S, V c (VV{S)~XST V, X, S, W c V~S{X{WST V, X, T, O c V~O{X~TST V, X, T, P c V~T{X{PST V, X, T, R c (V{T)~R{XST V, X, T, U c (V|U)~(X~T)ST V, X, T, V c V{X~T|VST V, X, T, W c (X~T)~(W|V)ST V, X, U, P c (V|P)~U{XST V, X, U, Q c (V{Q)~U|XST V, X, U, R c V~X|U~RST V, X, U, S c (V|U{S)~XST V, X, U, T c (V|U)~(X~T)ST V, X, U, U c V~U{X|UST V, X, U, V c X~(U|VV)ST V, X, U, W c (V{U|W)~XST V, X, V, S c (VV{S)~XST V, X, V, T c (V{X|V)~TST V, X, V, U c X~(U|VV)ST V, X, V, X c (V{V|X)~XST V, X, W, Q c (V~W)|(X{Q)ST V, X, W, R c (V{W)~(XR)ST V, X, W, S c (V|WS)~XST V, X, W, T c X~(W|V)~TST V, X, W, U c (V{W)~(X|U)ST V, X, X, P c (V|P)~X|XST V, X, X, Q c V~X|X~QST V, X, X, R c (V|R)~X{XST V, X, X, V c (V{V|X)~XST V, X, X, X c (V~X)|(X{X)ST W, O, P, T c (W{O{P)~TST W, O, R, U c (W{O)~U|RST W, O, R, V c (W{O{V)~RST W, O, R, X c (W{O|R)~XST W, O, T, P c (W{O{P)~TST W, O, T, T c (W{O)~T{TST W, O, T, X c W~O{T~XST W, O, U, R c (W{O)~U|RST W, O, V, R c (W{O{V)~RST W, O, X, R c (W{O|R)~XST W, O, X, T c W~O{X~TST W, P, O, T c (W{P{O)~TST W, P, P, S c (W{P)~(P{S)ST W, P, P, T c (W{P)~(P~T)ST W, P, P, U c (W{P)~(U|P)ST W, P, Q, R c (W{P)~(Q{R)ST W, P, Q, T c (W|P{Q)~TST W, P, Q, U c (W|PQ)~UST W, P, Q, V c (W{P)~(V|Q)ST W, P, Q, X c (W|P|Q)~XST W, P, R, Q c (W{P)~(R{Q)ST W, P, R, S c (W{R)~S{PST W, P, R, T c W~(P{T)|RST W, P, R, U c (W{P{U)~RST W, P, R, V c (W{P~V)~RST W, P, R, W c (W{P)~(W|R)ST W, P, R, X c (W|P~R)~XST W, P, S, P c (W{P)~(S{P)ST W, P, S, R c (W{R)~S{PST W, P, S, T c W~(P{S){TST W, P, S, U c W~U{P|SST W, P, S, V c (W|P)~V|SST W, P, S, X c W{P{S~XST W, P, T, O c (W{P)~(T{O)ST W, P, T, P c (W{P)~(T~P)ST W, P, T, Q c (W|P{Q)~TST W, P, T, R c W~(P{T)|RST W, P, T, S c W~(P{S){TST W, P, T, T c W~P~T{TST W, P, T, U c W~T|P{UST W, P, T, X c T(P|WX)ST W, P, U, P c (W{P)~(U|P)ST W, P, U, Q c (W|PQ)~UST W, P, U, R c (W{P{U)~RST W, P, U, S c W~U{P|SST W, P, U, T c W~(U|P){TST W, P, U, U c W{P{U~UST W, P, U, X c (W{P)~U|XST W, P, V, Q c (W{P)~(V|Q)ST W, P, V, R c (W{P~V)~RST W, P, V, S c (W|P)~V|SST W, P, W, R c (W{P)~(W|R)ST W, P, X, Q c (W|P|Q)~XST W, P, X, R c (W|P~R)~XST W, P, X, S c W{P{X~SST W, P, X, T c T(P|WX)ST W, P, X, U c (W{P)~U|XST W, Q, P, R c (W~Q|P)~RST W, Q, P, T c (W{Q|P)~TST W, Q, P, U c (W|PQ)~UST W, Q, P, V c (W{P)~(V|Q)ST W, Q, P, X c (W|Q|P)~XST W, Q, Q, T c (W{QQ)~TST W, Q, Q, X c (W{Q)Q~XST W, Q, R, P c (W~Q|P)~RST W, Q, R, R c W~Q~R|RST W, Q, R, S c W~(Q{S)|RST W, Q, R, T c (W|Q{R)~TST W, Q, R, V c (W|Q)~V{RST W, Q, R, W c (W|Q)~W|RST W, Q, R, X c (W|Q{X)~RST W, Q, S, R c W~(Q{S)|RST W, Q, S, T c (W{Q)~S{TST W, Q, S, U c (W|QS)~UST W, Q, T, P c (W{Q|P)~TST W, Q, T, Q c (W{QQ)~TST W, Q, T, R c (W{Q{T)~RST W, Q, T, S c (W{Q)~S{TST W, Q, T, T c (W{Q)~T|TST W, Q, T, U c W~U{Q|TST W, Q, T, V c W{Q{T~VST W, Q, T, X c (W{Q|T)~XST W, Q, U, P c (W~U)|(Q{P)ST W, Q, U, S c (W|QS)~UST W, Q, U, T c W~U{Q|TST W, Q, U, U c W~U|UQST W, Q, U, V c (W{V)Q~UST W, Q, U, X c (W|Q)~U{XST W, Q, V, P c (W{V)~(Q{P)ST W, Q, V, R c (W|Q)~V{RST W, Q, V, T c W{Q{V~TST W, Q, V, U c (W{V)Q~UST W, Q, V, V c V~V|WQST W, Q, V, X c (W~V)|(Q{X)ST W, Q, W, R c (W|Q)~W|RST W, Q, X, P c (W|Q|P)~XST W, Q, X, Q c (W{Q)~(XQ)ST W, Q, X, R c (W|Q{X)~RST W, Q, X, T c (W{Q|T)~XST W, Q, X, U c (W|Q)~U{XST W, Q, X, V c (W~V)|(Q{X)ST W, Q, X, X c (W|Q)~X|XST W, R, O, U c (W{O)~U|RST W, R, O, V c (W{O{V)~RST W, R, O, X c (W|R{O)~XST W, R, P, Q c (W{P)~(R{Q)ST W, R, P, S c (W{R)~S{PST W, R, P, T c W~(P{T)|RST W, R, P, U c (W{P{U)~RST W, R, P, V c (W{P~V)~RST W, R, P, W c (W|R)~(P{W)ST W, R, P, X c (W|R)~(P~X)ST W, R, Q, P c (W~Q|P)~RST W, R, Q, R c W~R~Q|RST W, R, Q, S c W~(Q{S)|RST W, R, Q, T c (W{R|Q)~TST W, R, Q, V c (W|R)~(Q{V)ST W, R, Q, W c (W|Q)~W|RST W, R, Q, X c (W|Q{X)~RST W, R, R, Q c W~R~Q|RST W, R, R, R c (W|R)~(R~R)ST W, R, R, S c (W{R{S)~RST W, R, R, T c (W{RR)~TST W, R, R, U c (W|R)~(R{U)ST W, R, R, V c W~R{R~VST W, R, R, W c (W{W)~R|RST W, R, R, X c (W~R|X)~RST W, R, S, P c (W{R)~S{PST W, R, S, Q c W~(S{Q)|RST W, R, S, R c (W{R{S)~RST W, R, S, S c (W{S)~S|RST W, R, S, T c (W|R{S)~TST W, R, S, X c (W{S)~R{XST W, R, T, P c W~(T{P)|RST W, R, T, Q c (W{R|Q)~TST W, R, T, R c (W{RR)~TST W, R, T, S c (W|R)~(T{S)ST W, R, T, T c (W|T)~(R~T)ST W, R, T, U c (W{T)~R{UST W, R, T, W c W|R{T~WST W, R, U, O c W~U|R{OST W, R, U, P c W~U|R~PST W, R, U, R c (W|R)~(U{R)ST W, R, U, T c (W{T)~R{UST W, R, U, U c (W|RU)~UST W, R, U, V c (W{V)~(U|R)ST W, R, U, W c W~(U|RW)ST W, R, U, X c (W{R|U)~XST W, R, V, O c (W{V)~(R{O)ST W, R, V, P c (W{V)~(R~P)ST W, R, V, Q c (W|R)~(V{Q)ST W, R, V, R c W~R{V~RST W, R, V, U c (W{V)~(U|R)ST W, R, V, W c (W~V)|(R{W)ST W, R, V, X c (W{V)R~XST W, R, W, P c (W|R)~(W{P)ST W, R, W, Q c W~(W|Q)|RST W, R, W, R c (W{W)~R|RST W, R, W, T c W|R{W~TST W, R, W, U c W~(U|RW)ST W, R, W, V c (W~V)|(R{W)ST W, R, X, O c (W|R)~(X{O)ST W, R, X, P c (W|R)~(X~P)ST W, R, X, Q c (W{X|Q)~RST W, R, X, R c (W~R|X)~RST W, R, X, S c (W{S)~R{XST W, R, X, U c (W{R|U)~XST W, R, X, V c (W{V)R~XST W, R, X, X c (W|XR)~XST W, S, P, P c (W{P)~(S{P)ST W, S, P, R c (W{R)~S{PST W, S, P, T c W~(S{P){TST W, S, P, U c W~U|S{PST W, S, P, V c (W|P)~V|SST W, S, P, X c (W|S{P)~XST W, S, Q, R c W~(S{Q)|RST W, S, Q, T c (W{Q)~S{TST W, S, Q, U c (W|QS)~UST W, S, R, P c (W{R)~S{PST W, S, R, Q c W~(S{Q)|RST W, S, R, R c (W{S{R)~RST W, S, R, S c (W{S)~S|RST W, S, R, T c (W{S|R)~TST W, S, R, X c (W{S)~R{XST W, S, S, R c (W{S)~S|RST W, S, S, T c (W{SS)~TST W, S, S, X c W~S{S{XST W, S, T, P c W~(S{P){TST W, S, T, Q c (W{Q)~S{TST W, S, T, R c (W{S|R)~TST W, S, T, S c (W{SS)~TST W, S, T, T c (W|S{T)~TST W, S, T, V c (WS{V)~TST W, S, T, W c W~S{T{WST W, S, T, X c W~T|S{XST W, S, U, P c W~U|S{PST W, S, U, Q c (W|QS)~UST W, S, U, V c W~S{U{VST W, S, U, W c (W|SW)~UST W, S, V, P c (W{V)~(S|P)ST W, S, V, T c (WS{V)~TST W, S, V, U c W~S{V{UST W, S, V, V c (W~V)|(S{V)ST W, S, V, X c (W{S|V)~XST W, S, W, T c W{S~W{TST W, S, W, U c (W|SW)~UST W, S, W, X c (WW{S)~XST W, S, X, P c W{S~X{PST W, S, X, R c (W{S)~R{XST W, S, X, S c W~S{X{SST W, S, X, T c W~(X|S){TST W, S, X, V c (W{S|V)~XST W, S, X, W c (WW{S)~XST W, S, X, X c (W|S)~X{XST W, T, O, P c (W{O{P)~TST W, T, O, T c W~T{O{TST W, T, O, X c W~O{T~XST W, T, P, O c (W{P)~(T{O)ST W, T, P, P c (W{P)~(T~P)ST W, T, P, Q c (W|P{Q)~TST W, T, P, R c W~(T{P)|RST W, T, P, S c W~T{P{SST W, T, P, T c W~T{P~TST W, T, P, U c W~T|P{UST W, T, P, X c T(P|WX)ST W, T, Q, P c (W{Q|P)~TST W, T, Q, Q c (W{QQ)~TST W, T, Q, R c (W{T{Q)~RST W, T, Q, S c (W{Q)~S{TST W, T, Q, T c (W{Q)~T|TST W, T, Q, U c W~U|T{QST W, T, Q, V c W~T|Q{VST W, T, Q, X c (W|T{Q)~XST W, T, R, P c W~(T{P)|RST W, T, R, Q c W~T{R{QST W, T, R, R c (W{RR)~TST W, T, R, S c (W|R)~(T{S)ST W, T, R, T c (W|T)~(R~T)ST W, T, R, U c (W{T)~R{UST W, T, R, W c W~T|R{WST W, T, S, P c W~T{S{PST W, T, S, Q c (W{Q)~S{TST W, T, S, R c (W{S|R)~TST W, T, S, S c (W{SS)~TST W, T, S, T c (W{T|S)~TST W, T, S, V c (W{T)~S|VST W, T, S, W c W{T{S~WST W, T, S, X c W~T|S{XST W, T, T, O c W~T{T{OST W, T, T, P c W~T{T~PST W, T, T, Q c (W{Q)~T|TST W, T, T, R c (W|T)~(T~R)ST W, T, T, S c (W{T|S)~TST W, T, T, T c (W{TT)~TST W, T, T, U c (W|T{U)~TST W, T, T, W c W~(T{TW)ST W, T, U, P c W~T{U|PST W, T, U, Q c W~U|T{QST W, T, U, R c (W{T)~R{UST W, T, U, T c (W|T{U)~TST W, T, U, U c (W{UU)~TST W, T, U, V c W{T~U{VST W, T, U, W c W~U{T|WST W, T, U, X c (W|T)~(U{X)ST W, T, V, Q c W{T~V{QST W, T, V, S c (W{T)~S|VST W, T, V, U c W|T{V~UST W, T, V, V c (W{VV)~TST W, T, V, W c (W|T)~(V{W)ST W, T, V, X c (W|V)~(T~X)ST W, T, W, R c W{T~W|RST W, T, W, S c W{T{W~SST W, T, W, T c W~(TW{T)ST W, T, W, U c W~U{T|WST W, T, W, V c (W|T)~(W{V)ST W, T, W, W c (W{WW)~TST W, T, W, X c (W{T|W)~XST W, T, X, O c W~O{T~XST W, T, X, P c T(P|WX)ST W, T, X, Q c (W|T{Q)~XST W, T, X, S c W~T{X|SST W, T, X, U c (W|T)~(X{U)ST W, T, X, V c (W|V)~(T~X)ST W, T, X, W c W{T~X|WST W, T, X, X c (W{XX)~TST W, U, O, R c W~U{O|RST W, U, P, P c (W{P)~(U|P)ST W, U, P, Q c (W~U)|(P{Q)ST W, U, P, R c (W{U{P)~RST W, U, P, S c W~U{P|SST W, U, P, T c W~(U|P){TST W, U, P, U c W{U~U{PST W, U, P, X c (W{P)~U|XST W, U, Q, P c (W~U)|(Q{P)ST W, U, Q, S c (W|QS)~UST W, U, Q, T c W~U{Q|TST W, U, Q, U c W~U|UQST W, U, Q, V c (W{V)~(UQ)ST W, U, Q, X c (W|UQ)~XST W, U, R, O c W~U|R{OST W, U, R, P c W~U|R~PST W, U, R, R c (W{U)~R{RST W, U, R, T c (W{T)~R{UST W, U, R, U c W~U{R|UST W, U, R, V c (W{V)~(U|R)ST W, U, R, W c W~(U|RW)ST W, U, R, X c (W|U{R)~XST W, U, S, P c W~U|S{PST W, U, S, Q c (W|QS)~UST W, U, S, V c W~U{S|VST W, U, S, W c (W|SW)~UST W, U, T, P c W~(U|P){TST W, U, T, Q c W~U|T{QST W, U, T, R c (W{T)~R{UST W, U, T, T c (W{U|T)~TST W, U, T, U c (W{UU)~TST W, U, T, V c W{U~T{VST W, U, T, W c W~U{T|WST W, U, T, X c (W|T)~(U{X)ST W, U, U, P c W{U~U{PST W, U, U, Q c W~U|UQST W, U, U, R c W~U|U{RST W, U, U, T c (W{UU)~TST W, U, U, X c W~U{U|XST W, U, V, Q c (W{V)~(UQ)ST W, U, V, R c (W{V)~(U|R)ST W, U, V, S c W~U|V{SST W, U, V, T c W{U~V|TST W, U, V, X c (W{V)~(X|U)ST W, U, W, R c W~(U|RW)ST W, U, W, S c (W|SW)~UST W, U, W, T c W~U|W{TST W, U, W, X c (U|WW)~XST W, U, X, P c (W{P)~U|XST W, U, X, Q c (W|UQ)~XST W, U, X, R c W~U|XRST W, U, X, T c (W|T)~(U{X)ST W, U, X, U c W~U|X{UST W, U, X, V c (W{V)~(X|U)ST W, U, X, W c (U|WW)~XST W, U, X, X c (W{U|X)~XST W, V, O, R c (W{V{O)~RST W, V, P, Q c (W{V)~(P{Q)ST W, V, P, R c (W{V)~(P~R)ST W, V, P, S c (W{V)~(S|P)ST W, V, Q, P c (W{V)~(Q{P)ST W, V, Q, R c (W|Q)~V{RST W, V, Q, T c W~(V|Q){TST W, V, Q, U c (W{V)Q~UST W, V, Q, V c V~V|WQST W, V, Q, X c (W~V)|(Q{X)ST W, V, R, O c (W{V)~(R{O)ST W, V, R, P c (W{V)~(R~P)ST W, V, R, Q c (W|R)~(V{Q)ST W, V, R, R c W~R{V~RST W, V, R, U c (W{V)~(U|R)ST W, V, R, W c (W~V)|(R{W)ST W, V, R, X c (W{V)R~XST W, V, S, P c (W{V)~(S|P)ST W, V, S, T c (WS{V)~TST W, V, S, U c W~S{V{UST W, V, S, V c (W~V)|(S{V)ST W, V, S, X c W{V~S{XST W, V, T, Q c W{V~T{QST W, V, T, S c (W{T)~S|VST W, V, T, U c W{V{T~UST W, V, T, V c (W{VV)~TST W, V, T, W c (W{V)~(W|T)ST W, V, T, X c (W|V)~(T~X)ST W, V, U, Q c (W{V)~(UQ)ST W, V, U, R c (W{V)~(U|R)ST W, V, U, S c W~U|V{SST W, V, U, T c W{V{U~TST W, V, U, X c (W{V)~(X|U)ST W, V, V, Q c V~V|WQST W, V, V, S c (W{V)~(V|S)ST W, V, V, T c (W{VV)~TST W, V, W, R c (W~V)|(W{R)ST W, V, W, T c (W{V)~(W|T)ST W, V, X, Q c (W~V)|(X{Q)ST W, V, X, R c (W{V)~(XR)ST W, V, X, S c W{V~S{XST W, V, X, T c (W|V)~(X~T)ST W, V, X, U c (W{V)~(X|U)ST W, W, P, R c (W{W|P)~RST W, W, Q, R c W~(W|Q)|RST W, W, R, P c (W{W|P)~RST W, W, R, Q c W~(W|Q)|RST W, W, R, R c (W{W)~R|RST W, W, R, T c W~(W|R){TST W, W, R, U c W~(U|RW)ST W, W, R, V c (W~V)|(W{R)ST W, W, S, T c W{W~S{TST W, W, S, U c (W|SW)~UST W, W, S, X c (WW{S)~XST W, W, T, R c W{W~T|RST W, W, T, S c W{W~S{TST W, W, T, T c W~(TW{T)ST W, W, T, U c W~U|W{TST W, W, T, V c (W{W|V)~TST W, W, T, W c (W{WW)~TST W, W, T, X c W|W{T~XST W, W, U, R c W~(U|RW)ST W, W, U, S c (W|SW)~UST W, W, U, T c W~U|W{TST W, W, U, X c (U|WW)~XST W, W, V, R c (W~V)|(W{R)ST W, W, V, T c (W{W|V)~TST W, W, W, T c (W{WW)~TST W, W, X, S c (WW{S)~XST W, W, X, T c W|W{X~TST W, W, X, U c X~(U|WW)ST W, X, O, R c (W{O|R)~XST W, X, O, T c W~O{X~TST W, X, P, Q c (W|P|Q)~XST W, X, P, R c (W|P~R)~XST W, X, P, S c W{X~S{PST W, X, P, T c T(P|WX)ST W, X, P, U c (W{P)~U|XST W, X, Q, P c (W|Q|P)~XST W, X, Q, Q c (W{Q)~(XQ)ST W, X, Q, R c (W{X|Q)~RST W, X, Q, T c (W{Q|T)~XST W, X, Q, U c (W|Q)~U{XST W, X, Q, V c (W~V)|(X{Q)ST W, X, Q, X c W~XQ{XST W, X, R, O c (W|R)~(X{O)ST W, X, R, P c (W|R)~(X~P)ST W, X, R, Q c (W{X|Q)~RST W, X, R, R c W~(X|R)|RST W, X, R, S c (W{S)~R{XST W, X, R, U c (W{X)~R|UST W, X, R, V c (W{V)~(XR)ST W, X, R, X c (W|XR)~XST W, X, S, P c W{X~S{PST W, X, S, R c (W{S)~R{XST W, X, S, S c W~S{X{SST W, X, S, T c W~(X|S){TST W, X, S, V c W{X{S~VST W, X, S, W c (WW{S)~XST W, X, S, X c (W|S)~X{XST W, X, T, O c W~O{X~TST W, X, T, P c T(P|WX)ST W, X, T, Q c (W|T{Q)~XST W, X, T, S c W~(X|S){TST W, X, T, U c (W|T)~(X{U)ST W, X, T, V c (W|V)~(X~T)ST W, X, T, W c W{X~T|WST W, X, T, X c (W{XX)~TST W, X, U, P c (W{P)~U|XST W, X, U, Q c (W|UQ)~XST W, X, U, R c (W{X)~R|UST W, X, U, T c (W|T)~(X{U)ST W, X, U, U c W~U|X{UST W, X, U, V c (W{V)~(X|U)ST W, X, U, W c X~(U|WW)ST W, X, U, X c (W{U|X)~XST W, X, V, Q c (W~V)|(X{Q)ST W, X, V, R c (W{V)~(XR)ST W, X, V, S c W{X{V~SST W, X, V, T c (W|V)~(X~T)ST W, X, V, U c (W{V)~(X|U)ST W, X, W, S c (WW{S)~XST W, X, W, T c (W{X|W)~TST W, X, W, U c X~(U|WW)ST W, X, X, Q c W~XQ{XST W, X, X, R c W~X|X~RST W, X, X, S c (W|S)~X{XST W, X, X, T c (W{XX)~TST W, X, X, U c (W{U|X)~XST X, O, O, T c (X{O{O)~TST X, O, P, S c (X{O)~(P{S)ST X, O, P, T c (X{O)~(P~T)ST X, O, P, U c (X{O)~(U|P)ST X, O, Q, R c (X{O)~(Q{R)ST X, O, Q, T c (X{O~Q)~TST X, O, Q, V c (X{O)~(V|Q)ST X, O, R, Q c (X{O)~(R{Q)ST X, O, R, T c (X{O~R)~TST X, O, R, U c (X{O{U)~RST X, O, R, W c (X{O)~(W|R)ST X, O, S, P c (X{O)~(S{P)ST X, O, S, T c (X{O~S)~TST X, O, S, X c X{O{S~XST X, O, T, O c (X{O)~(T{O)ST X, O, T, P c (X{O)~(T~P)ST X, O, T, Q c (X{O~Q)~TST X, O, T, R c (X{O~R)~TST X, O, T, S c (X{O~S)~TST X, O, T, T c (X{O~T)~TST X, O, T, U c (X{O~U)~TST X, O, T, V c (X{O~V)~TST X, O, T, W c (X{O~W)~TST X, O, T, X c X~O{T~XST X, O, U, P c (X{O)~(U|P)ST X, O, U, R c (X{O{U)~RST X, O, U, T c (X{O~U)~TST X, O, U, U c X{O{U~UST X, O, U, X c (X{O)~U|XST X, O, V, Q c (X{O)~(V|Q)ST X, O, V, T c (X{O~V)~TST X, O, W, R c (X{O)~(W|R)ST X, O, W, T c (X{O~W)~TST X, O, X, S c X{O{X~SST X, O, X, T c (X{O~X)~TST X, O, X, U c (X{O)~U|XST X, P, O, S c X~(P{O{S)ST X, P, O, T c (X{P~O)~TST X, P, O, U c (X{O)~(U|P)ST X, P, P, R c X~(P{P{R)ST X, P, P, S c X~(P{P~S)ST X, P, P, T c (X{P|P)~TST X, P, P, U c (X~P)~(U|P)ST X, P, P, V c X~(V|P|P)ST X, P, Q, Q c X~(P{Q{Q)ST X, P, Q, R c (X~P)~(Q{R)ST X, P, Q, S c X~(Q|P{S)ST X, P, Q, T c X~(Q|P)~TST X, P, Q, U c X~(P{U|Q)ST X, P, Q, V c (X~P)~(V|Q)ST X, P, Q, W c X~(P{WQ)ST X, P, Q, X c (X{P)Q~XST X, P, R, P c X~(P{R{P)ST X, P, R, Q c (X~P)~(R{Q)ST X, P, R, R c X~(R|P{R)ST X, P, R, T c (X{P{T)~RST X, P, R, U c (X{P~U)~RST X, P, R, V c (X|P{V)~RST X, P, R, W c (X~P)~(W|R)ST X, P, R, X c X{(P{R)~XST X, P, S, O c X~(P{S){OST X, P, S, P c X~(P{S)~PST X, P, S, Q c X~(S|P{Q)ST X, P, S, T c (X{P)~S{TST X, P, S, U c (X{U)~(S|P)ST X, P, S, W c X{(P{W)~SST X, P, S, X c X{P~S~XST X, P, T, O c X~P~T{OST X, P, T, P c X~(P{T|P)ST X, P, T, Q c (X~T)~(Q|P)ST X, P, T, R c (X{P{T)~RST X, P, T, S c (X{P)~S{TST X, P, T, T c (X{P)~T|TST X, P, T, U c X{(P{T)~UST X, P, T, V c X{P{T~VST X, P, T, W c T(P|WX)ST X, P, T, X c (X{P|T)~XST X, P, U, O c X~(U|P){OST X, P, U, P c (X~P)~(U|P)ST X, P, U, Q c X~(P{U|Q)ST X, P, U, R c (X{P~U)~RST X, P, U, S c (X{U)~(S|P)ST X, P, U, T c X{(P{T)~UST X, P, U, U c X{P~U~UST X, P, U, V c X{U~(V|P)ST X, P, U, W c (X~U)|(P{W)ST X, P, U, X c X~P~U|XST X, P, V, P c X~(V|P|P)ST X, P, V, Q c (X~P)~(V|Q)ST X, P, V, R c (X|P{V)~RST X, P, V, T c X{P{V~TST X, P, V, U c X{(V|P)~UST X, P, V, X c X~(V|P)|XST X, P, W, Q c X~(P{WQ)ST X, P, W, R c (X~P)~(W|R)ST X, P, W, S c X{(P{W)~SST X, P, W, T c T(P|WX)ST X, P, W, U c (X~U)|(P{W)ST X, P, X, Q c (X{P)~(XQ)ST X, P, X, R c X{(P{R)~XST X, P, X, S c X{P~X~SST X, P, X, T c X~(P{X|T)ST X, P, X, U c X~P~U|XST X, P, X, V c X~(V|P)|XST X, Q, O, R c X~(Q{O{R)ST X, Q, O, T c (X{Q~O)~TST X, Q, O, V c (X{O)~(V|Q)ST X, Q, P, Q c X~(Q{P{Q)ST X, Q, P, R c X~(Q{P~R)ST X, Q, P, S c X~(Q|P{S)ST X, Q, P, T c X~(Q|P)~TST X, Q, P, U c X~(P{U|Q)ST X, Q, P, V c (X~P)~(V|Q)ST X, Q, P, W c X~(P{WQ)ST X, Q, P, X c (XQ)~(P{X)ST X, Q, Q, P c X~(Q{Q{P)ST X, Q, Q, S c X~(QQ{S)ST X, Q, Q, T c (X{Q|Q)~TST X, Q, Q, U c X~(Q{UQ)ST X, Q, Q, W c (XQ)~(Q{W)ST X, Q, Q, X c X{(Q{Q)~XST X, Q, R, O c X~(Q{R){OST X, Q, R, P c X~(Q{R)~PST X, Q, R, R c (X{Q~R)~RST X, Q, R, S c (X{Q{S)~RST X, Q, R, T c X~(R|Q)~TST X, Q, R, U c X{Q~R~UST X, Q, R, V c (XQ)~(R{V)ST X, Q, R, W c (X|Q{W)~RST X, Q, R, X c X~Q{R~XST X, Q, S, P c (X{Q)~S{PST X, Q, S, Q c X~(QQ{S)ST X, Q, S, R c (X{Q{S)~RST X, Q, S, U c X{(Q{S)~UST X, Q, S, V c X{(Q{V)~SST X, Q, S, X c X~(Q{S)|XST X, Q, T, O c (X{Q~O)~TST X, Q, T, P c X~(Q|P)~TST X, Q, T, Q c X~(Q{T|Q)ST X, Q, T, R c (X~T)~(R|Q)ST X, Q, T, T c X~(Q~T|T)ST X, Q, T, U c (X{U)~(T|Q)ST X, Q, T, W c X~(Q{W|T)ST X, Q, T, X c (X~Q|X)~TST X, Q, U, P c (X{U)~(Q{P)ST X, Q, U, Q c X~(Q{UQ)ST X, Q, U, R c X{Q~U~RST X, Q, U, S c (XQ)~(U{S)ST X, Q, U, T c (X{U)~(T|Q)ST X, Q, U, U c (X{U)Q~UST X, Q, U, V c X~(Q~U|V)ST X, Q, U, W c X{U~(W|Q)ST X, Q, U, X c (X{Q|U)~XST X, Q, V, O c X~(V|Q){OST X, Q, V, P c X~(V|Q)~PST X, Q, V, R c (XQ)~(V{R)ST X, Q, V, S c X{(Q{V)~SST X, Q, V, U c X~(Q~U|V)ST X, Q, V, W c (V~W)|(X{Q)ST X, Q, V, X c X~(Q~V|X)ST X, Q, W, P c X~(W|Q|P)ST X, Q, W, Q c X~(Q{W)QST X, Q, W, R c (X|Q{W)~RST X, Q, W, T c X~(Q{W|T)ST X, Q, W, U c X{(W|Q)~UST X, Q, W, V c (W~V)|(X{Q)ST X, Q, W, X c XQ~W{XST X, Q, X, P c (XQ)~(X{P)ST X, Q, X, Q c X{Q~X~QST X, Q, X, R c X~Q{X~RST X, Q, X, S c X~(Q{S)|XST X, Q, X, T c (X~Q|X)~TST X, Q, X, U c X~(Q{X|U)ST X, Q, X, V c X~(Q~V|X)ST X, Q, X, W c XQ~W{XST X, Q, X, X c X{Q~(X{X)ST X, R, O, Q c X~(R{O{Q)ST X, R, O, T c (X{R~O)~TST X, R, O, U c (X{O{U)~RST X, R, O, W c (X{O)~(W|R)ST X, R, P, P c X~(R{P{P)ST X, R, P, Q c X~(R{P~Q)ST X, R, P, R c X~(R|P{R)ST X, R, P, T c (X{P{T)~RST X, R, P, U c (X{P~U)~RST X, R, P, V c (X|P{V)~RST X, R, P, W c (X~P)~(W|R)ST X, R, P, X c X{(R{P)~XST X, R, Q, O c X~(R{Q){OST X, R, Q, P c X~(R{Q)~PST X, R, Q, R c (X{R~Q)~RST X, R, Q, S c X~(R|Q{S)ST X, R, Q, T c X~(R|Q)~TST X, R, Q, U c X{R~Q~UST X, R, Q, V c X~(R{V)QST X, R, Q, W c (X|Q{W)~RST X, R, Q, X c X~R{Q~XST X, R, R, P c X~(R{R|P)ST X, R, R, Q c (X{R~Q)~RST X, R, R, R c (X{R{R)~RST X, R, R, S c X{R~R~SST X, R, R, T c (X{R|R)~TST X, R, R, U c X{(R{R)~UST X, R, R, V c (X|R)~V{RST X, R, R, W c (X|R)~W|RST X, R, R, X c (X{R)~R{XST X, R, S, Q c X~(R{S|Q)ST X, R, S, R c (X{R)~S|RST X, R, S, S c X~(S|R{S)ST X, R, S, T c X~(S|R)~TST X, R, S, U c X{(R{U)~SST X, R, S, V c X~(R~S|V)ST X, R, S, W c X{R~(S{W)ST X, R, T, O c (X{R~O)~TST X, R, T, P c (X{T{P)~RST X, R, T, Q c X~(R|Q)~TST X, R, T, R c X~(R{T|R)ST X, R, T, S c (X~T)~(S|R)ST X, R, T, U c (XR{U)~TST X, R, T, V c X{R~(T{V)ST X, R, U, O c (X{U)~(R{O)ST X, R, U, P c (X{U)~(R~P)ST X, R, U, Q c X{R~U~QST X, R, U, R c X~R{U~RST X, R, U, S c X{(R{U)~SST X, R, U, T c (XR{U)~TST X, R, U, U c X{R~(U{U)ST X, R, U, V c XR{U~VST X, R, U, W c X~(R{W|U)ST X, R, U, X c (X|R)~U{XST X, R, V, P c X~(V|R{P)ST X, R, V, Q c X~(R{V)QST X, R, V, R c (X|R)~V{RST X, R, V, S c X~(R~S|V)ST X, R, V, T c X{R~(V{T)ST X, R, V, U c XR{V~UST X, R, V, W c (XR)~(V{W)ST X, R, V, X c (X{R|V)~XST X, R, W, O c X~(W|R){OST X, R, W, P c X~(W|R)~PST X, R, W, Q c (X{W|Q)~RST X, R, W, R c (X|R)~W|RST X, R, W, S c X{R~(W{S)ST X, R, W, U c X~(R{W|U)ST X, R, W, V c (XR)~(W{V)ST X, R, W, X c X~W|R~XST X, R, X, P c X{(R{P)~XST X, R, X, Q c X~R{X~QST X, R, X, R c X{(R{X)~RST X, R, X, U c (XR)~(X{U)ST X, R, X, V c X~(R{X|V)ST X, R, X, W c X~W|R~XST X, R, X, X c X{R~X{XST X, S, O, P c X~(S{O{P)ST X, S, O, T c (X{S~O)~TST X, S, O, X c X{(S{O)~XST X, S, P, O c X~(S{P){OST X, S, P, P c X~(S{P)~PST X, S, P, Q c X~(S|P{Q)ST X, S, P, T c (X{P)~S{TST X, S, P, U c (X{U)~(S|P)ST X, S, P, W c X{S~(P{W)ST X, S, P, X c X{S~P~XST X, S, Q, P c X~(S{Q|P)ST X, S, Q, Q c X~(S{QQ)ST X, S, Q, R c (X{S{Q)~RST X, S, Q, U c X{(S{Q)~UST X, S, Q, V c X{S~(Q{V)ST X, S, Q, X c X~(S{Q)|XST X, S, R, Q c X~(S{R|Q)ST X, S, R, R c X{S~R~RST X, S, R, S c X~(S|R{S)ST X, S, R, T c X~(S|R)~TST X, S, R, U c (X{S)~R{UST X, S, R, V c X~(S~R|V)ST X, S, R, W c X{(S{W)~RST X, S, S, R c X~(S{S|R)ST X, S, S, S c X~(S{SS)ST X, S, S, T c (X{S|S)~TST X, S, S, U c X~(U|SS)ST X, S, S, V c (X{S)~S|VST X, S, S, W c X{S{S~WST X, S, S, X c (XS{X)~SST X, S, T, O c (X{S~O)~TST X, S, T, P c (X{P)~S{TST X, S, T, R c X~(S|R)~TST X, S, T, S c X{(S{T)~SST X, S, T, T c X~(S{TT)ST X, S, T, U c X~(S{U|T)ST X, S, T, W c X|S{T~WST X, S, U, P c (X{U)~(S|P)ST X, S, U, Q c X~(S{U)QST X, S, U, R c X{S~(U{R)ST X, S, U, S c X~(U|SS)ST X, S, U, T c X~(S{U|T)ST X, S, U, U c X~(S{UU)ST X, S, U, V c X~(S{V|U)ST X, S, V, Q c X{S~(V{Q)ST X, S, V, R c X~(S~R|V)ST X, S, V, S c (X{S)~S|VST X, S, V, U c X~(S{V|U)ST X, S, V, V c X~(S{VV)ST X, S, V, W c X{S~V{WST X, S, W, P c X{S~(W{P)ST X, S, W, R c X{(S{W)~RST X, S, W, S c X{S{W~SST X, S, W, T c X|S{W~TST X, S, W, V c X~(S{W|V)ST X, S, W, W c X~(S{WW)ST X, S, W, X c (X{S|W)~XST X, S, X, O c X{S~X{OST X, S, X, P c X{S~X~PST X, S, X, Q c X~(S{Q)|XST X, S, X, S c (XS{X)~SST X, S, X, W c X~(S{X|W)ST X, S, X, X c X~(S{XX)ST X, T, O, O c X~T{O{OST X, T, O, P c X~T{O~PST X, T, O, Q c X~T{O~QST X, T, O, R c X~T{O~RST X, T, O, S c X~T{O~SST X, T, O, T c (X{T~O)~TST X, T, O, U c X~T{O~UST X, T, O, V c X~T{O~VST X, T, O, W c X~T{O~WST X, T, O, X c X~T{O~XST X, T, P, O c X~T{P~OST X, T, P, P c X~T{P|PST X, T, P, Q c (X~T)~(Q|P)ST X, T, P, R c (X{T{P)~RST X, T, P, S c (X{P)~S{TST X, T, P, T c (X{P)~T|TST X, T, P, U c X{(T{P)~UST X, T, P, V c X{T~V{PST X, T, P, W c T(P|WX)ST X, T, P, X c X{(T|P)~XST X, T, Q, O c X~T{Q~OST X, T, Q, P c (X~T)~(Q|P)ST X, T, Q, Q c X~T{Q|QST X, T, Q, R c (X~T)~(R|Q)ST X, T, Q, T c X~(T~Q|T)ST X, T, Q, U c (X{U)~(T|Q)ST X, T, Q, W c X~(Q{W|T)ST X, T, Q, X c (X~Q|X)~TST X, T, R, O c X~T{R~OST X, T, R, P c (X{T{P)~RST X, T, R, Q c (X~T)~(R|Q)ST X, T, R, R c (X{T)~R{RST X, T, R, S c (X~T)~(S|R)ST X, T, R, U c (XR{U)~TST X, T, R, V c X{(T{V)~RST X, T, S, O c X~T{S~OST X, T, S, P c (X{P)~S{TST X, T, S, R c (X~T)~(S|R)ST X, T, S, S c X{(T{S)~SST X, T, S, T c X~(T|S)~TST X, T, S, U c X~(S{U|T)ST X, T, S, W c X{T~W|SST X, T, T, O c X~T{T~OST X, T, T, P c (X{P)~T|TST X, T, T, Q c X~(T{T)QST X, T, T, S c (X~T)~(T|S)ST X, T, T, T c (X{T|T)~TST X, T, T, U c (X~T)~(U|T)ST X, T, U, O c X~T{U~OST X, T, U, P c X{(T{P)~UST X, T, U, Q c (X{U)~(T|Q)ST X, T, U, R c (X|U)~(T~R)ST X, T, U, S c (X~U)|(T{S)ST X, T, U, T c (X~T)~(U|T)ST X, T, U, U c X{T~U{UST X, T, U, V c (X~T)~(V|U)ST X, T, U, W c (X{U)~(W|T)ST X, T, V, O c X~T{V~OST X, T, V, P c X{T~V{PST X, T, V, R c X{(T{V)~RST X, T, V, U c (X~T)~(V|U)ST X, T, V, V c X~T{V|VST X, T, V, W c (X~T)~(W|V)ST X, T, W, O c X~T{W~OST X, T, W, P c T(P|WX)ST X, T, W, Q c X~(W|T{Q)ST X, T, W, S c X{T~W|SST X, T, W, U c (X{U)~(W|T)ST X, T, W, V c (X~T)~(W|V)ST X, T, W, W c X~T{W|WST X, T, W, X c (X~T)~(X|W)ST X, T, X, O c X~T{X~OST X, T, X, P c X{(T|P)~XST X, T, X, Q c (X{X)~(TQ)ST X, T, X, W c (X~T)~(X|W)ST X, T, X, X c (X{T|X)~XST X, U, O, P c X~(U{O|P)ST X, U, O, R c (X{U{O)~RST X, U, O, T c (X{U~O)~TST X, U, O, U c X{(U{O)~UST X, U, O, X c X~U{O|XST X, U, P, O c X~(U|P){OST X, U, P, P c X~(U|P)~PST X, U, P, Q c (X{U)~(P{Q)ST X, U, P, R c (X{U)~(P~R)ST X, U, P, S c (X{U)~(S|P)ST X, U, P, T c X{U~(P{T)ST X, U, P, U c X{U~P~UST X, U, P, V c X{U~(V|P)ST X, U, P, W c (X~U)|(P{W)ST X, U, P, X c X~U|P~XST X, U, Q, P c (X{U)~(Q{P)ST X, U, Q, Q c X~(U|QQ)ST X, U, Q, R c X{U~Q~RST X, U, Q, S c X{U~(Q{S)ST X, U, Q, T c (X{U)~(T|Q)ST X, U, Q, U c (X{U)Q~UST X, U, Q, V c (X~U)|(Q{V)ST X, U, Q, W c X{U~(W|Q)ST X, U, Q, X c X{(U|Q)~XST X, U, R, O c (X{U)~(R{O)ST X, U, R, P c (X{U)~(R~P)ST X, U, R, Q c X{U~R~QST X, U, R, R c X{U~(R{R)ST X, U, R, S c X{(U{R)~SST X, U, R, T c (X|U)~(R~T)ST X, U, R, U c (X~U)|(R{U)ST X, U, R, V c XR{U~VST X, U, R, W c X~(R{W|U)ST X, U, R, X c (X{U)R~XST X, U, S, P c (X{U)~(S|P)ST X, U, S, Q c X{U~(S{Q)ST X, U, S, R c X~(U|S{R)ST X, U, S, S c X~(U|SS)ST X, U, S, T c X~(U{S|T)ST X, U, S, U c (X|US)~UST X, U, S, V c (X{U)~(V|S)ST X, U, T, O c (X{U~O)~TST X, U, T, P c X{U~(T{P)ST X, U, T, Q c (X{U)~(T|Q)ST X, U, T, R c (X|U)~(T~R)ST X, U, T, S c (X~U)|(T{S)ST X, U, T, T c X~(U|T)~TST X, U, T, U c X{U{T~UST X, U, T, V c (X~T)~(V|U)ST X, U, T, W c (X{U)~(W|T)ST X, U, U, O c X{U~U{OST X, U, U, P c X{U~U~PST X, U, U, Q c (X{U)~(UQ)ST X, U, U, R c X{(U{U)~RST X, U, U, S c X~(UU{S)ST X, U, U, T c X{U{U~TST X, U, U, U c X~(U|UU)ST X, U, U, V c X|U{U~VST X, U, U, W c U{U~W|XST X, U, U, X c (X|U)~(U{X)ST X, U, V, P c X{U~(V|P)ST X, U, V, Q c (X~U)|(V{Q)ST X, U, V, R c X~V|U~RST X, U, V, S c (X{U)~(V|S)ST X, U, V, T c X~(V|U)~TST X, U, V, U c X{U~V|UST X, U, V, V c X~(U|VV)ST X, U, V, W c (X|U)~(V{W)ST X, U, W, P c (X~U)|(W{P)ST X, U, W, Q c X{U~(W|Q)ST X, U, W, R c X~(W|U{R)ST X, U, W, T c (X{U)~(W|T)ST X, U, W, U c U~W|X{UST X, U, W, V c (X|U)~(W{V)ST X, U, W, W c X~(U|WW)ST X, U, W, X c X~(U{W|X)ST X, U, X, O c X~U|X{OST X, U, X, P c X~U|X~PST X, U, X, Q c X{(U|Q)~XST X, U, X, R c X{U~(X|R)ST X, U, X, U c (X{U)~(X|U)ST X, U, X, W c X~(U{W|X)ST X, U, X, X c X~(U|XX)ST X, V, O, Q c X~(V{O|Q)ST X, V, O, T c (X{V~O)~TST X, V, P, P c X~(V|P|P)ST X, V, P, Q c X~(V|P~Q)ST X, V, P, R c (X{V|P)~RST X, V, P, T c X{V~T{PST X, V, P, U c X{(V|P)~UST X, V, P, X c X~(V|P)|XST X, V, Q, O c X~(V|Q){OST X, V, Q, P c X~(V|Q)~PST X, V, Q, R c X~(V{R)QST X, V, Q, S c X{(V{Q)~SST X, V, Q, U c X~(Q~U|V)ST X, V, Q, W c (V~W)|(X{Q)ST X, V, Q, X c X~V|Q~XST X, V, R, P c X~(V|R{P)ST X, V, R, Q c X~(V{R)QST X, V, R, R c (X{V)~R|RST X, V, R, S c X~(R~S|V)ST X, V, R, T c X~(V{R|T)ST X, V, R, U c X~V|R~UST X, V, R, W c X~(V{W)RST X, V, R, X c X{(V|R)~XST X, V, S, Q c X~(V|S{Q)ST X, V, S, R c X~(S~R|V)ST X, V, S, S c (X{S)~S|VST X, V, S, U c X~(V{S|U)ST X, V, S, V c X~(VV{S)ST X, V, S, W c X{V~S{WST X, V, T, O c (X{V~O)~TST X, V, T, P c X{V~T{PST X, V, T, R c X{(V{T)~RST X, V, T, U c X~(V|U)~TST X, V, T, V c X~(V{T|V)ST X, V, T, W c (X~T)~(W|V)ST X, V, U, P c X{(V|P)~UST X, V, U, Q c (X~U)|(V{Q)ST X, V, U, R c X~V|U~RST X, V, U, S c X~(V|U{S)ST X, V, U, T c X~(V|U)~TST X, V, U, U c X{V~U|UST X, V, U, V c X~(U|VV)ST X, V, U, W c X~(V{U|W)ST X, V, V, S c X~(VV{S)ST X, V, V, T c (X{V|V)~TST X, V, V, U c X~(U|VV)ST X, V, V, X c X~(V{V|X)ST X, V, W, Q c (V~W)|(X{Q)ST X, V, W, R c X~(V{W)RST X, V, W, S c X~(V|WS)ST X, V, W, T c X~(W|V)~TST X, V, W, U c X~(V{U|W)ST X, V, X, P c X~(V|P)|XST X, V, X, Q c X~V|X~QST X, V, X, R c X{(V|R)~XST X, V, X, V c X~(V{V|X)ST X, V, X, X c (X~V)|(X{X)ST X, W, O, R c X~(W{O|R)ST X, W, O, T c (X{W~O)~TST X, W, P, Q c X~(W|P|Q)ST X, W, P, R c X~(W|P~R)ST X, W, P, S c X{(W{P)~SST X, W, P, T c T(P|WX)ST X, W, P, U c (X~U)|(W{P)ST X, W, Q, P c X~(W|Q|P)ST X, W, Q, Q c X~(W{Q)QST X, W, Q, R c (X{W|Q)~RST X, W, Q, T c X~(W{Q|T)ST X, W, Q, U c X{(W|Q)~UST X, W, Q, V c (W~V)|(X{Q)ST X, W, Q, X c X{WQ~XST X, W, R, O c X~(W|R){OST X, W, R, P c X~(W|R)~PST X, W, R, Q c (X{W|Q)~RST X, W, R, R c (X|R)~W|RST X, W, R, S c X{(W{S)~RST X, W, R, U c (X{W)~R|UST X, W, R, V c X~(W{V)RST X, W, R, X c X~W|R~XST X, W, S, P c X~(W|S{P)ST X, W, S, R c X{(W{S)~RST X, W, S, S c X{W~S{SST X, W, S, T c X{W~T|SST X, W, S, V c X{W{S~VST X, W, S, W c X~(WW{S)ST X, W, S, X c X{(W|S)~XST X, W, T, O c (X{W~O)~TST X, W, T, P c T(P|WX)ST X, W, T, Q c X~(W|T{Q)ST X, W, T, S c X{W~T|SST X, W, T, U c (X{U)~(W|T)ST X, W, T, V c X~(W|V)~TST X, W, T, W c X~(W{T|W)ST X, W, T, X c (X|W)~(T~X)ST X, W, U, P c (X~U)|(W{P)ST X, W, U, Q c X~(W|UQ)ST X, W, U, R c X~(W|U{R)ST X, W, U, T c (X{U)~(W|T)ST X, W, U, U c W~U|X{UST X, W, U, V c (X|U)~(W{V)ST X, W, U, W c X~(U|WW)ST X, W, U, X c X~(W{U|X)ST X, W, V, Q c (W~V)|(X{Q)ST X, W, V, R c X~(W{V)RST X, W, V, S c X{W{V~SST X, W, V, T c X~(W|V)~TST X, W, V, U c X~(V{U|W)ST X, W, W, S c X~(WW{S)ST X, W, W, T c (X{W|W)~TST X, W, W, U c X~(U|WW)ST X, W, X, Q c X{W~XQST X, W, X, R c X~W|X~RST X, W, X, S c X{(W|S)~XST X, W, X, T c (X|W)~(X~T)ST X, W, X, U c X~(W{U|X)ST X, X, O, S c X{(X{O)~SST X, X, O, T c (X{X~O)~TST X, X, O, U c (X{O)~U|XST X, X, P, Q c X~(X{P)QST X, X, P, R c X{X~(P{R)ST X, X, P, S c X{X~P~SST X, X, P, T c X~(X{P|T)ST X, X, P, U c X~P~U|XST X, X, P, V c X~(V|P)|XST X, X, Q, P c X~(X{P)QST X, X, Q, Q c X{X~(Q{Q)ST X, X, Q, R c X~(XR{Q)ST X, X, Q, S c X~(Q{S)|XST X, X, Q, T c (X{X)Q~TST X, X, Q, U c X~(X{Q|U)ST X, X, Q, V c X~(Q~V|X)ST X, X, Q, W c X{XQ~WST X, X, Q, X c (X{X)~Q{XST X, X, R, P c X{X~(R{P)ST X, X, R, Q c X~(XR{Q)ST X, X, R, R c X{(X{R)~RST X, X, R, U c X{(X|R)~UST X, X, R, V c X~(X{R|V)ST X, X, R, W c X~W|X~RST X, X, R, X c X{X{R~XST X, X, S, O c X{X~S{OST X, X, S, P c X{X~S~PST X, X, S, Q c X~(S{Q)|XST X, X, S, S c (X{XS)~SST X, X, S, W c X~(X{S|W)ST X, X, S, X c X~X|S~XST X, X, T, O c (X{X~O)~TST X, X, T, P c X{X~(T|P)ST X, X, T, Q c (X{X)~(TQ)ST X, X, T, W c X~(X|W)~TST X, X, T, X c X{(X|T)~XST X, X, U, O c X~U|X{OST X, X, U, P c X~U|X~PST X, X, U, Q c X{X~(U|Q)ST X, X, U, R c X~(X{U)RST X, X, U, U c (X|XU)~UST X, X, U, W c X~(U{W|X)ST X, X, U, X c X~(U|XX)ST X, X, V, P c X~(V|P)|XST X, X, V, Q c X~V|X~QST X, X, V, R c X{X~(V|R)ST X, X, V, V c X~(V{V|X)ST X, X, V, X c (X~V)|(X{X)ST X, X, W, Q c X{X~WQST X, X, W, R c X~W|X~RST X, X, W, S c X{X~(W|S)ST X, X, W, T c X~(X|W)~TST X, X, W, U c X~(W{U|X)ST X, X, X, Q c X{(X{X)~QST X, X, X, R c X{X{X~RST X, X, X, S c X~X|X~SST X, X, X, T c (X{X|X)~TST X, X, X, U c X~(U|XX)ST X, X, X, V c (X~V)|(X{X)ST