O, P, Q, X c O{P{Q~XPX O, P, R, U c O{P{R~UPX O, P, S, T c O{S~T|PPX O, P, T, S c O{T~S|PPX O, P, U, R c O{P{U~RPX O, P, X, Q c O{P{X~QPX O, P, X, X c O{P{X{XPX O, Q, P, X c O{Q~X{PPX O, Q, R, V c O{R~V|QPX O, Q, R, W c O{Q~W{RPX O, Q, T, V c O{Q~V{TPX O, Q, T, X c O{Q~T{XPX O, Q, U, V c O{Q~U{VPX O, Q, V, R c O{V~R|QPX O, Q, V, T c O{Q~V{TPX O, Q, V, U c O{Q~U{VPX O, Q, W, R c O{Q~W{RPX O, Q, W, X c O{Q{W{XPX O, Q, X, P c O{Q~X{PPX O, Q, X, T c O{Q~T{XPX O, Q, X, W c O{Q{X{WPX O, R, P, U c O{R~U{PPX O, R, Q, V c O{R~V|QPX O, R, Q, W c O{R{Q~WPX O, R, S, S c O{R{S~SPX O, R, S, T c O{R~T{SPX O, R, S, V c O{R~S{VPX O, R, T, S c O{R~T{SPX O, R, T, W c O{R~W|TPX O, R, U, P c O{R~U{PPX O, R, V, Q c O{R~V|QPX O, R, V, S c O{R~S{VPX O, R, V, X c O{R{V{XPX O, R, W, Q c O{R{W~QPX O, R, W, T c O{R~W|TPX O, R, W, W c O{R{W{WPX O, R, W, X c O{R~X|WPX O, R, X, V c O{R{X{VPX O, R, X, W c O{R~X|WPX O, S, P, T c O{S~T|PPX O, S, R, S c O{S~S{RPX O, S, R, T c O{S{R~TPX O, S, R, V c O{S~R{VPX O, S, S, R c O{S~S{RPX O, S, T, P c O{S~T|PPX O, S, T, R c O{S{T~RPX O, S, T, U c O{S~U|TPX O, S, U, T c O{S~U|TPX O, S, U, X c O{S{U{XPX O, S, V, R c O{S~R{VPX O, S, V, W c O{S{V{WPX O, S, V, X c O{S~V|XPX O, S, W, V c O{S{W{VPX O, S, X, U c O{S{X{UPX O, S, X, V c O{S~V|XPX O, T, P, S c O{T~S|PPX O, T, Q, V c O{T{Q~VPX O, T, Q, X c O{T~Q{XPX O, T, R, S c O{T~R{SPX O, T, R, W c O{R~W|TPX O, T, S, P c O{T~S|PPX O, T, S, R c O{T~R{SPX O, T, S, U c O{S~U|TPX O, T, T, U c O{T~T|UPX O, T, T, X c O{T{T{XPX O, T, U, S c O{U~S|TPX O, T, U, T c O{T~T|UPX O, T, U, W c O{T{U{WPX O, T, V, Q c O{T{V~QPX O, T, V, V c O{T{V{VPX O, T, W, R c O{W~R|TPX O, T, W, U c O{T{W{UPX O, T, X, Q c O{T~Q{XPX O, T, X, T c O{T{X{TPX O, U, P, R c O{U~R{PPX O, U, Q, V c O{U~Q{VPX O, U, R, P c O{U~R{PPX O, U, S, T c O{U~S|TPX O, U, S, X c O{U{S{XPX O, U, T, S c O{U~S|TPX O, U, T, T c O{T~T|UPX O, U, T, W c O{U{T{WPX O, U, U, V c O{U{U{VPX O, U, V, Q c O{U~Q{VPX O, U, V, U c O{U{V{UPX O, U, W, T c O{U{W{TPX O, U, X, S c O{U{X{SPX O, V, Q, R c O{V~R|QPX O, V, Q, T c O{V~Q{TPX O, V, Q, U c O{V{Q~UPX O, V, R, Q c O{V~R|QPX O, V, R, S c O{V{R~SPX O, V, R, X c O{V{R{XPX O, V, S, R c O{V{S~RPX O, V, S, W c O{V{S{WPX O, V, S, X c O{V~S|XPX O, V, T, Q c O{V~Q{TPX O, V, T, V c O{V{T{VPX O, V, U, Q c O{V{U~QPX O, V, U, U c O{V{U{UPX O, V, V, T c O{V{V{TPX O, V, W, S c O{V{W{SPX O, V, X, R c O{V{X{RPX O, V, X, S c O{V~S|XPX O, W, Q, R c O{W~Q{RPX O, W, Q, X c O{W{Q{XPX O, W, R, Q c O{W~Q{RPX O, W, R, T c O{W~R|TPX O, W, R, W c O{W{R{WPX O, W, R, X c O{R~X|WPX O, W, S, V c O{W{S{VPX O, W, T, R c O{W~R|TPX O, W, T, U c O{W{T{UPX O, W, U, T c O{W{U{TPX O, W, V, S c O{W{V{SPX O, W, W, R c O{W{W{RPX O, W, X, Q c O{W{X{QPX O, W, X, R c O{X~R|WPX O, X, P, Q c O{X~Q{PPX O, X, P, X c O{X{P{XPX O, X, Q, P c O{X~Q{PPX O, X, Q, T c O{X{Q~TPX O, X, Q, W c O{X{Q{WPX O, X, R, V c O{X{R{VPX O, X, R, W c O{X~R|WPX O, X, S, U c O{X{S{UPX O, X, S, V c O{S~V|XPX O, X, T, Q c O{X{T~QPX O, X, T, T c O{X{T{TPX O, X, U, S c O{X{U{SPX O, X, V, R c O{X{V{RPX O, X, V, S c O{V~S|XPX O, X, W, Q c O{X{W{QPX O, X, W, R c O{X~R|WPX O, X, X, P c O{X{X{PPX P, O, Q, X c P{O{Q~XPX P, O, R, U c P{O{R~UPX P, O, S, T c O{S~T|PPX P, O, T, S c O{T~S|PPX P, O, U, R c P{O{U~RPX P, O, X, Q c P{O{X~QPX P, O, X, X c P{O{X{XPX P, P, P, X c P{(P{P)~XPX P, P, Q, U c P{(P{Q)~UPX P, P, Q, W c P{(P{W)~QPX P, P, Q, X c P{P~Q~XPX P, P, R, T c P{(P{T)~RPX P, P, R, U c P{P~R~UPX P, P, R, V c P{R~(V|P)PX P, P, R, W c (P{P)~W{RPX P, P, R, X c P{(R|P)~XPX P, P, S, S c (P{S)~S|PPX P, P, S, T c P~S~T|PPX P, P, S, U c P{(S|P)~UPX P, P, T, R c P{(P{T)~RPX P, P, T, S c P~T~S|PPX P, P, T, T c (T|P)~T|PPX P, P, T, V c (P{P)~V{TPX P, P, T, X c (P{P)~T{XPX P, P, U, Q c P{(P{Q)~UPX P, P, U, R c P{P~U~RPX P, P, U, S c P{U~(S|P)PX P, P, U, V c (P{P)~U{VPX P, P, V, R c P{(V|P)~RPX P, P, V, T c (P{P)~V{TPX P, P, V, U c (P{P)~U{VPX P, P, W, Q c P{(P{W)~QPX P, P, W, R c (P{P)~W{RPX P, P, W, X c P{P{W{XPX P, P, X, P c (P{P)~X{PPX P, P, X, Q c P{P~X~QPX P, P, X, R c P{X~(R|P)PX P, P, X, T c (P{P)~T{XPX P, P, X, W c P{P{X{WPX P, P, X, X c P{P~X{XPX P, Q, O, X c P{(Q{O)~XPX P, Q, P, U c P{(Q{P)~UPX P, Q, P, W c P{Q~(P{W)PX P, Q, P, X c P{Q~P~XPX P, Q, Q, T c (Q{Q)~T|PPX P, Q, Q, V c P{Q~(Q{V)PX P, Q, Q, W c P{Q{Q~WPX P, Q, Q, X c (PQ{X)~QPX P, Q, R, R c P{Q~R~RPX P, Q, R, S c P{(Q{S)~RPX P, Q, R, U c P{Q~(R{U)PX P, Q, R, V c P~R~V|QPX P, Q, R, W c P~Q~W{RPX P, Q, R, X c Q~(X|P){RPX P, Q, S, R c P{(Q{S)~RPX P, Q, S, S c P{Q{S~SPX P, Q, S, T c P{Q~(S{T)PX P, Q, S, U c Q~(S{U)|PPX P, Q, S, V c (P{Q)~S{VPX P, Q, S, W c Q~W|P{SPX P, Q, S, X c P{(S|Q)~XPX P, Q, T, Q c Q~T~Q|PPX P, Q, T, S c (P{Q)~T{SPX P, Q, T, T c Q~(T{T)|PPX P, Q, T, U c P{(T|Q)~UPX P, Q, T, V c P~Q~V{TPX P, Q, T, W c P{Q~T{WPX P, Q, T, X c P~Q~T{XPX P, Q, U, P c (P{Q)~U{PPX P, Q, U, R c P{Q~(U{R)PX P, Q, U, S c Q~(U{S)|PPX P, Q, U, T c (P{U)~Q{TPX P, Q, U, U c P{Q~U{UPX P, Q, U, V c P~Q~U{VPX P, Q, U, W c Q~U|P{WPX P, Q, U, X c Q~(U|P){XPX P, Q, V, Q c P{(Q{V)~QPX P, Q, V, R c (P{V)~Q{RPX P, Q, V, S c P{Q~V{SPX P, Q, V, T c P~Q~V{TPX P, Q, V, U c P~Q~U{VPX P, Q, V, V c Q~(V|P){VPX P, Q, V, X c P{Q{V{XPX P, Q, W, P c P{Q~(W{P)PX P, Q, W, Q c P{Q{W~QPX P, Q, W, R c P~Q~W{RPX P, Q, W, S c Q~W|P{SPX P, Q, W, T c (P{Q)~W|TPX P, Q, W, U c Q~U|P{WPX P, Q, W, W c P{Q{W{WPX P, Q, W, X c P~Q{W{XPX P, Q, X, O c P{Q~X{OPX P, Q, X, P c P{Q~X~PPX P, Q, X, Q c (PQ{X)~QPX P, Q, X, R c Q~(X|P){RPX P, Q, X, S c P{XQ~SPX P, Q, X, T c P~Q~T{XPX P, Q, X, U c Q~(U|P){XPX P, Q, X, V c P{Q{X{VPX P, Q, X, W c (P{Q)~X|WPX P, Q, X, X c (PX{Q)~XPX P, R, O, U c P{(R{O)~UPX P, R, P, T c P{R~(P{T)PX P, R, P, U c P{R~P~UPX P, R, P, V c P{R~(V|P)PX P, R, P, W c (P{P)~W{RPX P, R, P, X c P{(R|P)~XPX P, R, Q, R c P{R~Q~RPX P, R, Q, S c P{R~(Q{S)PX P, R, Q, U c P{(R{U)~QPX P, R, Q, V c P~R~V|QPX P, R, Q, W c P~R{Q~WPX P, R, Q, X c R{Q~(X|P)PX P, R, R, Q c P{R~R~QPX P, R, R, R c P{(R{R)~RPX P, R, R, S c (P{R)~S{RPX P, R, R, T c P{R{R~TPX P, R, R, U c (PR{U)~RPX P, R, R, V c (P{R)~R{VPX P, R, R, W c (R|P)~W{RPX P, R, R, X c P{R~R{XPX P, R, S, Q c P{R~(S{Q)PX P, R, S, R c (P{R)~S{RPX P, R, S, S c P~R{S~SPX P, R, S, T c P~R~T{SPX P, R, S, U c P{R~S{UPX P, R, S, V c P~R~S{VPX P, R, S, W c R~S|P{WPX P, R, T, P c P{R~(T{P)PX P, R, T, R c P{R{T~RPX P, R, T, S c P~R~T{SPX P, R, T, T c R~T|P{TPX P, R, T, U c (P{R)~U|TPX P, R, T, V c (P{V)~R|TPX P, R, T, W c P~R~W|TPX P, R, T, X c P{(T|R)~XPX P, R, U, O c P{R~U{OPX P, R, U, P c P{R~U~PPX P, R, U, Q c P{(R{U)~QPX P, R, U, R c (PR{U)~RPX P, R, U, S c P{R~S{UPX P, R, U, T c (P{R)~U|TPX P, R, U, U c P{(U|R)~UPX P, R, U, V c (R|P)~U{VPX P, R, U, W c P{R~W|UPX P, R, U, X c P{R{U{XPX P, R, V, P c P{R~(V|P)PX P, R, V, Q c P~R~V|QPX P, R, V, R c P{R~V|RPX P, R, V, S c P~R~S{VPX P, R, V, T c (P{V)~R|TPX P, R, V, U c (R|P)~U{VPX P, R, V, W c P{R{V{WPX P, R, V, X c (P{R)~V|XPX P, R, W, P c (P{P)~W{RPX P, R, W, Q c P{R~(W|Q)PX P, R, W, R c (R|P)~W{RPX P, R, W, S c (R~W)|(P{S)PX P, R, W, T c P~R~W|TPX P, R, W, U c P{R~W|UPX P, R, W, V c P{R{W{VPX P, R, W, W c P~R{W{WPX P, R, W, X c P~R~X|WPX P, R, X, P c P{(R|P)~XPX P, R, X, Q c R{(X|P)~QPX P, R, X, R c P{R~(X|R)PX P, R, X, T c P{X~(T|R)PX P, R, X, U c P{R{X{UPX P, R, X, V c P~R{X{VPX P, R, X, W c P~R~X|WPX P, R, X, X c P{R~X|XPX P, S, O, T c (S{O)~T|PPX P, S, P, S c (P{S)~S|PPX P, S, P, T c P~S~T|PPX P, S, P, U c P{(S|P)~UPX P, S, Q, R c P{(S{Q)~RPX P, S, Q, S c P{S~S{QPX P, S, Q, T c P{(S{T)~QPX P, S, Q, U c (S{U)~Q|PPX P, S, Q, V c P{S{Q~VPX P, S, Q, W c S|P{Q~WPX P, S, Q, X c P{(S|Q)~XPX P, S, R, Q c P{(S{Q)~RPX P, S, R, R c (P{R)~S{RPX P, S, R, S c (P{S)~R{SPX P, S, R, T c P~S{R~TPX P, S, R, U c P{S~R{UPX P, S, R, V c P~S~R{VPX P, S, R, W c S~R|P{WPX P, S, S, P c (P{S)~S|PPX P, S, S, Q c P{S~S{QPX P, S, S, R c P~S~S{RPX P, S, S, S c S|P{S~SPX P, S, S, T c (S|P)~T{SPX P, S, S, U c (S~U)|(P{S)PX P, S, S, V c (S|P)~S{VPX P, S, S, X c S~(X|S)|PPX P, S, T, O c S~T|P{OPX P, S, T, P c P~S~T|PPX P, S, T, Q c P{(S{T)~QPX P, S, T, R c P~S{T~RPX P, S, T, S c (S|P)~T{SPX P, S, T, T c (P{T)~S|TPX P, S, T, U c (P{S)~T|UPX P, S, T, V c S~(V|P)|TPX P, S, T, W c (S|P)~W|TPX P, S, T, X c P{S{T{XPX P, S, U, P c P{(S|P)~UPX P, S, U, Q c (S{U)~Q|PPX P, S, U, R c P{S~R{UPX P, S, U, S c (S~U)|(P{S)PX P, S, U, T c P~S~U|TPX P, S, U, U c P{S~U|UPX P, S, U, V c P{U~(V|S)PX P, S, U, W c P{S{U{WPX P, S, U, X c P~S{U{XPX P, S, V, Q c P{S{V~QPX P, S, V, R c P~S~R{VPX P, S, V, S c (S|P)~S{VPX P, S, V, T c S~(V|P)|TPX P, S, V, U c P{(V|S)~UPX P, S, V, V c P{S{V{VPX P, S, V, W c P~S{V{WPX P, S, V, X c P~S~V|XPX P, S, W, Q c S|P{W~QPX P, S, W, R c S~(W|R)|PPX P, S, W, T c (S|P)~W|TPX P, S, W, U c P{S{W{UPX P, S, W, V c P~S{W{VPX P, S, W, W c S|P{W{WPX P, S, W, X c P{WS~XPX P, S, X, Q c P{S~XQPX P, S, X, S c S~(X|S)|PPX P, S, X, T c P{S{X{TPX P, S, X, U c P~S{X{UPX P, S, X, V c P~S~V|XPX P, S, X, W c P{XS~WPX P, T, O, S c (T{O)~S|PPX P, T, P, R c P{(T{P)~RPX P, T, P, S c P~T~S|PPX P, T, P, T c (T|P)~T|PPX P, T, P, V c (P{P)~V{TPX P, T, P, X c (P{P)~T{XPX P, T, Q, Q c T~(Q{Q)|PPX P, T, Q, S c P{(T{S)~QPX P, T, Q, T c (T{T)~Q|PPX P, T, Q, U c P{(T|Q)~UPX P, T, Q, V c (P{T)~Q{VPX P, T, Q, W c P{T~Q{WPX P, T, Q, X c P~T~Q{XPX P, T, R, P c (P{T)~R{PPX P, T, R, R c P{T~R{RPX P, T, R, S c P~T~R{SPX P, T, R, T c T|P{R~TPX P, T, R, U c (P{R)~U|TPX P, T, R, V c (P{V)~R|TPX P, T, R, W c P~R~W|TPX P, T, R, X c P{(T|R)~XPX P, T, S, O c T~S|P{OPX P, T, S, P c P~T~S|PPX P, T, S, Q c P{(T{S)~QPX P, T, S, R c P~T~R{SPX P, T, S, S c (T|PS)~SPX P, T, S, T c (P{T)~S|TPX P, T, S, U c (P{S)~T|UPX P, T, S, V c S~(V|P)|TPX P, T, S, W c T~(W|S)|PPX P, T, S, X c P{T{S{XPX P, T, T, P c (T|P)~T|PPX P, T, T, Q c (T{T)~Q|PPX P, T, T, R c T|P{T~RPX P, T, T, S c (P{T)~S|TPX P, T, T, T c (T~T)|(P{T)PX P, T, T, U c P~T~T|UPX P, T, T, V c P{T~T|VPX P, T, T, W c P{T{T{WPX P, T, T, X c P~T{T{XPX P, T, U, Q c P{(T|Q)~UPX P, T, U, R c (P{R)~U|TPX P, T, U, S c P~U~S|TPX P, T, U, T c P~T~T|UPX P, T, U, U c T~(U|P)|UPX P, T, U, V c P{T{U{VPX P, T, U, W c P~T{U{WPX P, T, U, X c T|P{U{XPX P, T, V, P c (P{P)~V{TPX P, T, V, Q c P~T{V~QPX P, T, V, R c (P{V)~R|TPX P, T, V, S c (V|P)~S|TPX P, T, V, T c P{T~T|VPX P, T, V, U c P{T{V{UPX P, T, V, V c P~T{V{VPX P, T, V, W c T|P{V{WPX P, T, V, X c P{(V|T)~XPX P, T, W, Q c P{T~Q{WPX P, T, W, R c P~W~R|TPX P, T, W, S c T~(W|S)|PPX P, T, W, T c P{T{W{TPX P, T, W, U c P~T{W{UPX P, T, W, V c T|P{W{VPX P, T, X, P c (P{P)~T{XPX P, T, X, Q c P~T~Q{XPX P, T, X, R c P{(T|R)~XPX P, T, X, S c P{T{X{SPX P, T, X, T c P~T{X{TPX P, T, X, U c T|P{X{UPX P, T, X, V c P{X~(V|T)PX P, U, O, R c P{(U{O)~RPX P, U, P, Q c P{U~(P{Q)PX P, U, P, R c P{U~P~RPX P, U, P, S c P{U~(S|P)PX P, U, P, V c (P{P)~U{VPX P, U, Q, P c P{U~(Q{P)PX P, U, Q, R c P{(U{R)~QPX P, U, Q, S c (U{S)~Q|PPX P, U, Q, T c (P{U)~Q{TPX P, U, Q, U c P{U{Q~UPX P, U, Q, V c P~U~Q{VPX P, U, Q, W c U~Q|P{WPX P, U, Q, X c (U|P)~Q{XPX P, U, R, O c P{U~R{OPX P, U, R, P c P{U~R~PPX P, U, R, Q c P{(U{R)~QPX P, U, R, R c (PR{U)~RPX P, U, R, S c P{U{R~SPX P, U, R, T c (P{R)~U|TPX P, U, R, U c P{(U|R)~UPX P, U, R, V c U~(R|P){VPX P, U, R, W c P{R~W|UPX P, U, R, X c P{U{R{XPX P, U, S, P c P{U~(S|P)PX P, U, S, Q c (U{S)~Q|PPX P, U, S, R c P{U{S~RPX P, U, S, S c (U~S)|(P{S)PX P, U, S, T c P~U~S|TPX P, U, S, U c P{U~S|UPX P, U, S, V c P{U~(V|S)PX P, U, S, W c P{U{S{WPX P, U, S, X c P{(U|S)~XPX P, U, T, Q c P{U~(T|Q)PX P, U, T, R c (P{R)~U|TPX P, U, T, S c P~U~S|TPX P, U, T, T c P~T~T|UPX P, U, T, U c (U|P)~T|UPX P, U, T, V c P{U{T{VPX P, U, T, W c P~U{T{WPX P, U, T, X c U|P{T{XPX P, U, U, Q c P{U{U~QPX P, U, U, R c P{U~(U|R)PX P, U, U, S c P{U~S|UPX P, U, U, T c (U|P)~T|UPX P, U, U, U c P{U{U{UPX P, U, U, V c P~U{U{VPX P, U, U, W c U|P{U{WPX P, U, U, X c P{U~(X|U)PX P, U, V, P c (P{P)~U{VPX P, U, V, Q c P~U~Q{VPX P, U, V, R c U~(R|P){VPX P, U, V, S c P{U~(V|S)PX P, U, V, T c P{U{V{TPX P, U, V, U c P~U{V{UPX P, U, V, V c U|P{V{VPX P, U, W, Q c U~Q|P{WPX P, U, W, R c P{W~R|UPX P, U, W, S c P{U{W{SPX P, U, W, T c P{U~(W|T)PX P, U, W, U c U|P{W{UPX P, U, W, X c P{(W|U)~XPX P, U, X, Q c (U|P)~Q{XPX P, U, X, R c P{U{X{RPX P, U, X, S c P~U{X{SPX P, U, X, T c U|P{X{TPX P, U, X, U c P{U~(X|U)PX P, U, X, W c P{X~(W|U)PX P, V, P, R c P{(V|P)~RPX P, V, P, T c (P{P)~V{TPX P, V, P, U c (P{P)~U{VPX P, V, Q, Q c P{(V{Q)~QPX P, V, Q, R c (P{V)~Q{RPX P, V, Q, S c P{V~Q{SPX P, V, Q, T c P~V~Q{TPX P, V, Q, U c P~V{Q~UPX P, V, Q, V c (V|P)~Q{VPX P, V, Q, X c P{V{Q{XPX P, V, R, P c P{(V|P)~RPX P, V, R, Q c P~V~R|QPX P, V, R, R c P{V~R|RPX P, V, R, S c P~V{R~SPX P, V, R, T c (P{V)~R|TPX P, V, R, U c V{(R|P)~UPX P, V, R, W c P{V{R{WPX P, V, R, X c P~V{R{XPX P, V, S, Q c P{V~Q{SPX P, V, S, R c P~V{S~RPX P, V, S, S c V{(S|P)~SPX P, V, S, T c (V|P)~S|TPX P, V, S, U c P{(V|S)~UPX P, V, S, V c P{V{S{VPX P, V, S, W c P~V{S{WPX P, V, S, X c P~V~S|XPX P, V, T, P c (P{P)~V{TPX P, V, T, Q c P~V~Q{TPX P, V, T, R c (P{V)~R|TPX P, V, T, S c (V|P)~S|TPX P, V, T, T c P{T~T|VPX P, V, T, U c P{V{T{UPX P, V, T, V c P~V{T{VPX P, V, T, W c V|P{T{WPX P, V, T, X c P{(V|T)~XPX P, V, U, P c (P{P)~U{VPX P, V, U, Q c P~V{U~QPX P, V, U, R c V{U~(R|P)PX P, V, U, S c P{(V|S)~UPX P, V, U, T c P{V{U{TPX P, V, U, U c P~V{U{UPX P, V, U, V c V|P{U{VPX P, V, V, Q c (V|P)~Q{VPX P, V, V, S c P{V{V{SPX P, V, V, T c P~V{V{TPX P, V, V, U c V|P{V{UPX P, V, W, R c P{V{W{RPX P, V, W, S c P~V{W{SPX P, V, W, T c V|P{W{TPX P, V, X, Q c P{V{X{QPX P, V, X, R c P~V{X{RPX P, V, X, S c P~V~S|XPX P, V, X, T c P{(V|T)~XPX P, V, X, X c P{(X|V)~XPX P, W, P, Q c P{(W{P)~QPX P, W, P, R c (P{P)~W{RPX P, W, P, X c P{W{P{XPX P, W, Q, P c (P{W)~Q{PPX P, W, Q, Q c P{W~Q{QPX P, W, Q, R c P{(W|Q)~RPX P, W, Q, S c W~Q|P{SPX P, W, Q, T c P{W{Q~TPX P, W, Q, U c W|P{Q~UPX P, W, Q, W c P{W{Q{WPX P, W, Q, X c P~W{Q{XPX P, W, R, P c (P{P)~W{RPX P, W, R, Q c P{(W|Q)~RPX P, W, R, R c W~(R|P){RPX P, W, R, S c W|P{R~SPX P, W, R, T c P~W~R|TPX P, W, R, U c P{W~R|UPX P, W, R, V c P{W{R{VPX P, W, R, W c (P{W)~R|WPX P, W, R, X c P~R~X|WPX P, W, S, Q c W~Q|P{SPX P, W, S, R c W|P{S~RPX P, W, S, T c W~(S|P)|TPX P, W, S, U c P{W{S{UPX P, W, S, V c P~W{S{VPX P, W, S, W c W|P{S{WPX P, W, S, X c P{WS~XPX P, W, T, Q c P{W{T~QPX P, W, T, R c P~W~R|TPX P, W, T, S c W~(S|P)|TPX P, W, T, T c P{W{T{TPX P, W, T, U c P{(W|T)~UPX P, W, T, V c W|P{T{VPX P, W, U, Q c W|P{U~QPX P, W, U, R c P{W~R|UPX P, W, U, S c P{W{U{SPX P, W, U, T c P~W{U{TPX P, W, U, U c W|P{U{UPX P, W, U, X c P{(W|U)~XPX P, W, V, R c P{W{V{RPX P, W, V, S c P~W{V{SPX P, W, V, T c W|P{V{TPX P, W, W, Q c P{W{W{QPX P, W, W, R c P~W{W{RPX P, W, W, S c W|P{W{SPX P, W, X, P c P{W{X{PPX P, W, X, Q c P~W{X{QPX P, W, X, R c P~X~R|WPX P, W, X, S c P{W~XSPX P, W, X, U c P{(W|U)~XPX P, X, O, Q c P{(X{O)~QPX P, X, O, X c P{X{O{XPX P, X, P, P c P{X~(P{P)PX P, X, P, Q c P{X~P~QPX P, X, P, R c P{X~(R|P)PX P, X, P, T c (P{P)~T{XPX P, X, P, W c P{X{P{WPX P, X, P, X c P{X{P~XPX P, X, Q, O c P{X~Q{OPX P, X, Q, P c (P{X)~Q|PPX P, X, Q, Q c (PQ{X)~QPX P, X, Q, R c (X|P)~Q{RPX P, X, Q, S c P{XQ~SPX P, X, Q, T c P~X{Q~TPX P, X, Q, U c X{Q~(U|P)PX P, X, Q, V c P{X{Q{VPX P, X, Q, W c P~X{Q{WPX P, X, Q, X c (PX{Q)~XPX P, X, R, P c P{X~(R|P)PX P, X, R, Q c (X|P)~Q{RPX P, X, R, R c P{X{R~RPX P, X, R, T c P{X~(T|R)PX P, X, R, U c P{X{R{UPX P, X, R, V c P~X{R{VPX P, X, R, W c P~X~R|WPX P, X, R, X c P{X~R|XPX P, X, S, Q c P{X~(S|Q)PX P, X, S, S c (X|S)~S|PPX P, X, S, T c P{X{S{TPX P, X, S, U c P~X{S{UPX P, X, S, V c P~S~V|XPX P, X, S, W c P{XS~WPX P, X, T, P c (P{P)~T{XPX P, X, T, Q c P~X{T~QPX P, X, T, R c P{X~(T|R)PX P, X, T, S c P{X{T{SPX P, X, T, T c P~X{T{TPX P, X, T, U c X|P{T{UPX P, X, T, V c P{X~(V|T)PX P, X, U, Q c X{(U|P)~QPX P, X, U, R c P{X{U{RPX P, X, U, S c P{X~(U|S)PX P, X, U, T c X|P{U{TPX P, X, U, U c P{(X|U)~UPX P, X, U, W c P{X~(W|U)PX P, X, V, Q c P{X{V{QPX P, X, V, R c P~X{V{RPX P, X, V, S c P~V~S|XPX P, X, V, T c P{X~(V|T)PX P, X, V, X c P{(X|V)~XPX P, X, W, P c P{X{W{PPX P, X, W, Q c P~X{W{QPX P, X, W, R c P~X~R|WPX P, X, W, S c P{X~WSPX P, X, W, U c P{X~(W|U)PX P, X, X, O c P{X{X{OPX P, X, X, P c P{X{X~PPX P, X, X, Q c (PX{Q)~XPX P, X, X, R c P{X~R|XPX P, X, X, V c P{X~(X|V)PX Q, O, P, X c (Q{O)~X{PPX Q, O, R, V c O{R~V|QPX Q, O, R, W c (Q{O)~W{RPX Q, O, T, V c (Q{O)~V{TPX Q, O, T, X c (Q{O)~T{XPX Q, O, U, V c (Q{O)~U{VPX Q, O, V, R c O{V~R|QPX Q, O, V, T c (Q{O)~V{TPX Q, O, V, U c (Q{O)~U{VPX Q, O, W, R c (Q{O)~W{RPX Q, O, W, X c Q{O{W{XPX Q, O, X, P c (Q{O)~X{PPX Q, O, X, T c (Q{O)~T{XPX Q, O, X, W c Q{O{X{WPX Q, P, O, X c (Q{O)~X{PPX Q, P, P, U c (Q{P)~U{PPX Q, P, P, W c Q~(P{W){PPX Q, P, P, X c Q~(P{X)|PPX Q, P, Q, T c (Q{Q)~T|PPX Q, P, Q, V c (Q{P)~V|QPX Q, P, Q, W c Q{P{Q~WPX Q, P, Q, X c Q|P{Q~XPX Q, P, R, R c Q~R~R{PPX Q, P, R, S c (Q{R)~S|PPX Q, P, R, U c Q|P{R~UPX Q, P, R, V c Q~(P{V){RPX Q, P, R, W c Q~P~W{RPX Q, P, R, X c Q~(X|P){RPX Q, P, S, R c (Q{S)~R{PPX Q, P, S, S c Q{P{S~SPX Q, P, S, T c (Q{P)~T{SPX Q, P, S, U c Q~(S{U)|PPX Q, P, S, V c (Q{P)~S{VPX Q, P, S, W c Q~W|P{SPX Q, P, S, X c Q~(P{S){XPX Q, P, T, Q c Q~T~Q|PPX Q, P, T, S c (Q{P)~T{SPX Q, P, T, T c Q~(T{T)|PPX Q, P, T, U c Q~(P{U){TPX Q, P, T, V c Q~(P{T){VPX Q, P, T, W c (Q{P)~W|TPX Q, P, T, X c Q~P~T{XPX Q, P, U, P c (Q{P)~U{PPX Q, P, U, R c Q|P{U~RPX Q, P, U, S c Q~(U{S)|PPX Q, P, U, T c Q~(P{U){TPX Q, P, U, U c Q~U{P{UPX Q, P, U, V c Q~P~U{VPX Q, P, U, W c Q~U|P{WPX Q, P, U, X c Q~(U|P){XPX Q, P, V, Q c (Q{P)~V|QPX Q, P, V, R c Q~(P{V){RPX Q, P, V, S c (Q{P)~S{VPX Q, P, V, T c Q~P~V{TPX Q, P, V, U c Q~P~U{VPX Q, P, V, V c Q~(V|P){VPX Q, P, V, X c Q{P{V{XPX Q, P, W, P c Q~(P{W){PPX Q, P, W, Q c Q{P{W~QPX Q, P, W, R c Q~P~W{RPX Q, P, W, S c Q~W|P{SPX Q, P, W, T c (Q{P)~W|TPX Q, P, W, U c Q~U|P{WPX Q, P, W, W c Q{P{W{WPX Q, P, W, X c Q{P~W{XPX Q, P, X, O c Q~X{P{OPX Q, P, X, P c Q~(P{X)|PPX Q, P, X, Q c Q|P{X~QPX Q, P, X, R c Q~(X|P){RPX Q, P, X, S c Q~(P{S){XPX Q, P, X, T c Q~P~T{XPX Q, P, X, U c Q~(U|P){XPX Q, P, X, V c Q{P{X{VPX Q, P, X, W c Q{P~X{WPX Q, P, X, X c (Q{PX)~XPX Q, Q, P, T c (Q{Q)~T|PPX Q, Q, P, V c Q~(Q{V){PPX Q, Q, P, W c Q{Q~W{PPX Q, Q, P, X c Q{Q~X|PPX Q, Q, Q, X c QQ{Q~XPX Q, Q, R, S c (Q{Q)~S{RPX Q, Q, R, T c Q{Q{R~TPX Q, Q, R, U c QQ{R~UPX Q, Q, R, V c (Q{Q)~R{VPX Q, Q, R, W c Q~(RQ{W)PX Q, Q, R, X c Q~(Q{R){XPX Q, Q, S, R c (Q{Q)~S{RPX Q, Q, S, T c S~T|QQPX Q, Q, S, V c Q~(Q{S){VPX Q, Q, S, X c Q{Q~S{XPX Q, Q, T, P c (Q{Q)~T|PPX Q, Q, T, R c Q{Q{T~RPX Q, Q, T, S c T~S|QQPX Q, Q, T, T c Q~(Q{T){TPX Q, Q, T, U c Q{Q~U{TPX Q, Q, T, V c Q{Q~T{VPX Q, Q, T, W c Q~W|Q{TPX Q, Q, T, X c Q~(T{XQ)PX Q, Q, U, R c Q~(Q{U){RPX Q, Q, U, T c Q{Q~U{TPX Q, Q, U, U c (Q{U~U)QPX Q, Q, U, V c Q~(U{VQ)PX Q, Q, U, W c Q~W{UQPX Q, Q, U, X c Q{Q{U{XPX Q, Q, V, P c Q~(Q{V){PPX Q, Q, V, R c Q{Q~V{RPX Q, Q, V, S c Q~(Q{S){VPX Q, Q, V, T c Q{Q~T{VPX Q, Q, V, U c Q~(VQ{U)PX Q, Q, V, V c Q~V|Q{VPX Q, Q, V, W c Q{Q{V{WPX Q, Q, V, X c (Q{Q)~V|XPX Q, Q, W, P c Q{Q~W{PPX Q, Q, W, R c Q~(W{RQ)PX Q, Q, W, T c Q~W|Q{TPX Q, Q, W, U c Q~W{UQPX Q, Q, W, V c Q{Q{W{VPX Q, Q, X, P c Q{Q~X|PPX Q, Q, X, Q c QQ{X~QPX Q, Q, X, R c Q~(Q{X)|RPX Q, Q, X, S c Q{Q~S{XPX Q, Q, X, T c Q~(X|Q){TPX Q, Q, X, U c Q{Q{X{UPX Q, Q, X, V c (Q{Q)~V|XPX Q, Q, X, X c QQ{X{XPX Q, R, O, V c (R{O)~V|QPX Q, R, O, W c (Q{O)~W{RPX Q, R, P, R c Q~R~R{PPX Q, R, P, S c (Q{R)~S|PPX Q, R, P, U c Q{R~U|PPX Q, R, P, V c Q~(R{V)|PPX Q, R, P, W c Q~P~W{RPX Q, R, P, X c Q~(X|P){RPX Q, R, Q, S c (Q{Q)~S{RPX Q, R, Q, T c Q{R~T{QPX Q, R, Q, U c QQ{R~UPX Q, R, Q, V c Q{R{Q~VPX Q, R, Q, W c Q~(RQ{W)PX Q, R, Q, X c (Q{R)~Q{XPX Q, R, R, P c Q~R~R{PPX Q, R, R, S c (Q{R)~R{SPX Q, R, R, T c Q~(R{T){RPX Q, R, R, U c R|Q{R~UPX Q, R, R, V c Q~(R{R){VPX Q, R, R, W c Q{R~R{WPX Q, R, R, X c Q~X{RRPX Q, R, S, P c (Q{R)~S|PPX Q, R, S, Q c Q~S~Q{RPX Q, R, S, R c (Q{R)~R{SPX Q, R, S, S c Q~(S{S){RPX Q, R, S, T c Q{R~S{TPX Q, R, S, U c Q~U{R{SPX Q, R, S, V c Q{R~V|SPX Q, R, S, W c Q~S{R{WPX Q, R, S, X c Q~R{S{XPX Q, R, T, Q c Q{R~T{QPX Q, R, T, R c Q~(R{T){RPX Q, R, T, S c Q{R~S{TPX Q, R, T, T c T~T|Q~RPX Q, R, T, U c (Q{R)~T|UPX Q, R, T, V c (R{T~V)QPX Q, R, T, W c Q~R{T{WPX Q, R, T, X c Q{R{T{XPX Q, R, U, P c Q{R~U|PPX Q, R, U, Q c (Q{U)~Q{RPX Q, R, U, R c R|Q{U~RPX Q, R, U, S c Q~U{R{SPX Q, R, U, T c (Q{R)~T|UPX Q, R, U, U c (QU{U)~RPX Q, R, U, V c Q~R{U{VPX Q, R, U, W c Q{R{U{WPX Q, R, U, X c Q~(RU{X)PX Q, R, V, O c R~V|Q{OPX Q, R, V, P c Q~(R{V)|PPX Q, R, V, Q c Q{R{V~QPX Q, R, V, R c Q~(R{R){VPX Q, R, V, S c Q{R~V|SPX Q, R, V, T c (R{V~T)QPX Q, R, V, U c Q~R{V{UPX Q, R, V, V c Q{R{V{VPX Q, R, V, W c Q{R~W|VPX Q, R, V, X c Q~(X|R){VPX Q, R, W, O c Q~W{R{OPX Q, R, W, P c Q~W{R~PPX Q, R, W, Q c Q~(RQ{W)PX Q, R, W, R c Q~(R{W)|RPX Q, R, W, S c Q~S{R{WPX Q, R, W, T c Q~R{W{TPX Q, R, W, U c Q{R{W{UPX Q, R, W, V c Q{R~W|VPX Q, R, W, W c (Q{RW)~WPX Q, R, W, X c Q~(W|R){XPX Q, R, X, P c Q~(X|P){RPX Q, R, X, Q c (Q{R)~Q{XPX Q, R, X, R c Q~X{RRPX Q, R, X, S c Q~R{X{SPX Q, R, X, T c Q{R{X{TPX Q, R, X, U c Q~(RU{X)PX Q, R, X, V c Q~(X|R){VPX Q, R, X, W c Q~(W|R){XPX Q, R, X, X c R|Q{X{XPX Q, S, P, R c (Q{S)~R{PPX Q, S, P, S c Q{S~S{PPX Q, S, P, T c Q~(S{T){PPX Q, S, P, U c Q~(S{U)|PPX Q, S, P, V c (Q{P)~S{VPX Q, S, P, W c Q~W{S|PPX Q, S, P, X c Q~(S{P){XPX Q, S, Q, R c Q~S~Q{RPX Q, S, Q, T c S~T|QQPX Q, S, Q, V c (Q{S)~Q{VPX Q, S, Q, X c Q{S~Q{XPX Q, S, R, P c (Q{S)~R{PPX Q, S, R, Q c Q~S~Q{RPX Q, S, R, R c (Q{R)~R{SPX Q, S, R, S c Q~(S{S){RPX Q, S, R, T c Q{S~R{TPX Q, S, R, U c Q~U{S{RPX Q, S, R, V c Q~(S{V)|RPX Q, S, R, W c Q~S{R{WPX Q, S, R, X c Q~R{S{XPX Q, S, S, P c Q{S~S{PPX Q, S, S, R c Q~(S{S){RPX Q, S, S, T c (Q{S)~S|TPX Q, S, S, U c S~S{UQPX Q, S, S, V c Q~S{S{VPX Q, S, S, X c Q{S{S{XPX Q, S, T, P c Q~(S{T){PPX Q, S, T, Q c S~T|QQPX Q, S, T, R c Q{S~T|RPX Q, S, T, S c (Q{S)~S|TPX Q, S, T, T c Q~T{S{TPX Q, S, T, U c Q~S{T{UPX Q, S, T, V c (S|Q)~V{TPX Q, S, T, W c Q{S{T{WPX Q, S, T, X c (Q{T)~S|XPX Q, S, U, P c Q~(S{U)|PPX Q, S, U, R c Q~U{S{RPX Q, S, U, S c S~S{UQPX Q, S, U, T c Q~S{U{TPX Q, S, U, V c Q{S{U{VPX Q, S, U, W c Q~(US{W)PX Q, S, V, P c Q~V{S{PPX Q, S, V, Q c (Q{S)~Q{VPX Q, S, V, R c Q~(S{V)|RPX Q, S, V, S c Q~S{V{SPX Q, S, V, T c (S|Q)~V{TPX Q, S, V, U c Q{S{V{UPX Q, S, V, V c (S~V)|(Q{V)PX Q, S, V, W c Q~W|S{VPX Q, S, V, X c Q~(S{X)|VPX Q, S, W, P c Q~W{S|PPX Q, S, W, R c Q~S{W{RPX Q, S, W, T c Q{S{W{TPX Q, S, W, U c Q~(W{US)PX Q, S, W, V c Q~W|S{VPX Q, S, W, X c Q~(SW{X)PX Q, S, X, P c Q~(S{P){XPX Q, S, X, Q c (Q{S~X)QPX Q, S, X, R c Q~X{S|RPX Q, S, X, S c Q{S{X{SPX Q, S, X, T c Q~X|S{TPX Q, S, X, V c Q~(S{X)|VPX Q, S, X, W c Q~(SW{X)PX Q, S, X, X c Q~(X|S){XPX Q, T, O, V c (Q{O)~V{TPX Q, T, O, X c Q~T{O{XPX Q, T, P, Q c Q~T~Q|PPX Q, T, P, S c Q~(T{S){PPX Q, T, P, T c Q~(T{T)|PPX Q, T, P, U c Q~(P{U){TPX Q, T, P, V c Q~(T{P){VPX Q, T, P, W c Q~T{P{WPX Q, T, P, X c Q~T{P~XPX Q, T, Q, P c Q~T~Q|PPX Q, T, Q, R c Q{T~R{QPX Q, T, Q, S c T~S|QQPX Q, T, Q, T c (Q{T)~Q{TPX Q, T, Q, U c Q{T{Q~UPX Q, T, Q, V c Q{T~Q{VPX Q, T, Q, W c Q~W{T|QPX Q, T, Q, X c Q~(T{XQ)PX Q, T, R, Q c Q{T~R{QPX Q, T, R, R c Q~(T{R){RPX Q, T, R, S c Q{T{R~SPX Q, T, R, T c T~T|Q~RPX Q, T, R, U c Q~T{R{UPX Q, T, R, V c (T~V{R)QPX Q, T, R, W c Q~R{T{WPX Q, T, R, X c Q{T{R{XPX Q, T, S, P c Q~(T{S){PPX Q, T, S, Q c T~S|QQPX Q, T, S, R c Q{T{S~RPX Q, T, S, S c (Q{S)~S|TPX Q, T, S, T c Q~T{S{TPX Q, T, S, U c Q~S{T{UPX Q, T, S, V c (T|Q)~S{VPX Q, T, S, W c Q{T{S{WPX Q, T, S, X c (Q{T)~S|XPX Q, T, T, P c Q~(T{T)|PPX Q, T, T, Q c (Q{T)~Q{TPX Q, T, T, R c T~T|Q~RPX Q, T, T, S c Q~T{T{SPX Q, T, T, V c Q{T{T{VPX Q, T, T, W c Q{T~T|WPX Q, T, T, X c (Q{XT)~TPX Q, T, U, P c Q~(U{P){TPX Q, T, U, Q c Q{T{U~QPX Q, T, U, R c Q~T{U{RPX Q, T, U, S c Q~S{T{UPX Q, T, U, U c Q{T{U{UPX Q, T, U, V c T~(V|Q)|UPX Q, T, U, W c (T~U{W)QPX Q, T, U, X c Q~X|T{UPX Q, T, V, O c Q~V{T{OPX Q, T, V, P c Q~(T{P){VPX Q, T, V, Q c Q~T{V{QPX Q, T, V, R c (T~V{R)QPX Q, T, V, S c (T|Q)~S{VPX Q, T, V, T c Q{T{V{TPX Q, T, V, U c T~(V|Q)|UPX Q, T, V, V c (Q{TV)~VPX Q, T, V, W c Q~(T{W)|VPX Q, T, V, X c T|Q{V{XPX Q, T, W, P c Q~T{W{PPX Q, T, W, Q c Q~W{T|QPX Q, T, W, R c Q~R{T{WPX Q, T, W, S c Q{T{W{SPX Q, T, W, T c Q{T~T|WPX Q, T, W, U c (T~U{W)QPX Q, T, W, V c Q~(T{W)|VPX Q, T, W, W c Q~W|T{WPX Q, T, W, X c (T|Q)~X|WPX Q, T, X, O c Q~T{X{OPX Q, T, X, P c Q~T{X~PPX Q, T, X, Q c Q~(T{XQ)PX Q, T, X, R c Q{T{X{RPX Q, T, X, S c (Q{T)~S|XPX Q, T, X, T c (Q{XT)~TPX Q, T, X, U c Q~X|T{UPX Q, T, X, V c T|Q{X{VPX Q, T, X, W c (T|Q)~X|WPX Q, T, X, X c Q~(T{X)|XPX Q, U, O, V c Q~U{O{VPX Q, U, P, P c (Q{P)~U{PPX Q, U, P, R c Q{U~R|PPX Q, U, P, S c Q~(U{S)|PPX Q, U, P, T c Q~(U{P){TPX Q, U, P, U c Q~U{P{UPX Q, U, P, V c Q~U{P~VPX Q, U, P, W c Q~U|P{WPX Q, U, P, X c Q~(U|P){XPX Q, U, Q, R c (Q{U)~Q{RPX Q, U, Q, T c Q{U~Q{TPX Q, U, Q, U c (Q{U~U)QPX Q, U, Q, V c Q~(U{VQ)PX Q, U, Q, W c Q~W{UQPX Q, U, Q, X c Q{U{Q{XPX Q, U, R, P c Q{U~R|PPX Q, U, R, Q c (Q{U)~Q{RPX Q, U, R, R c U~R|Q{RPX Q, U, R, S c Q~U{R{SPX Q, U, R, T c (Q{U)~R|TPX Q, U, R, U c (QU{U)~RPX Q, U, R, V c Q~R{U{VPX Q, U, R, W c Q{U{R{WPX Q, U, R, X c Q~(RU{X)PX Q, U, S, P c Q~(U{S)|PPX Q, U, S, R c Q~U{S{RPX Q, U, S, S c UQ{S~SPX Q, U, S, T c Q~S{U{TPX Q, U, S, V c Q{U{S{VPX Q, U, S, W c Q~(US{W)PX Q, U, T, P c Q~(U{P){TPX Q, U, T, Q c Q~U{T{QPX Q, U, T, R c Q~(U{T)|RPX Q, U, T, S c Q~S{U{TPX Q, U, T, U c Q{U{T{UPX Q, U, T, V c T~(V|Q)|UPX Q, U, T, W c UQ~W|TPX Q, U, T, X c Q~X{U|TPX Q, U, U, P c Q~U{U{PPX Q, U, U, Q c (Q{U~U)QPX Q, U, U, R c (QU{U)~RPX Q, U, U, T c Q{U{U{TPX Q, U, U, V c (Q{VU)~UPX Q, U, U, X c Q~X{UUPX Q, U, V, O c Q~U{V{OPX Q, U, V, P c Q~U{V~PPX Q, U, V, Q c Q~(U{VQ)PX Q, U, V, R c Q~R{U{VPX Q, U, V, S c Q{U{V{SPX Q, U, V, T c (V|Q)~T|UPX Q, U, V, U c (Q{VU)~UPX Q, U, V, V c Q~(U{V)|VPX Q, U, V, W c U|Q{V{WPX Q, U, V, X c Q~X|U{VPX Q, U, W, P c Q~U{W|PPX Q, U, W, Q c Q~W{UQPX Q, U, W, R c Q{U{W{RPX Q, U, W, S c Q~(US{W)PX Q, U, W, T c UQ~W|TPX Q, U, W, V c U|Q{W{VPX Q, U, W, W c UQ{W{WPX Q, U, W, X c Q~(U{W)|XPX Q, U, X, P c Q~(U|P){XPX Q, U, X, Q c Q{U{X{QPX Q, U, X, R c Q~(X{RU)PX Q, U, X, T c Q~X{U|TPX Q, U, X, U c Q~X{UUPX Q, U, X, V c Q~X|U{VPX Q, U, X, W c Q~(U{W)|XPX Q, V, O, R c (V{O)~R|QPX Q, V, O, T c Q~V{O{TPX Q, V, O, U c (Q{O)~U{VPX Q, V, P, Q c (Q{V)~Q{PPX Q, V, P, R c Q~(V{P){RPX Q, V, P, S c Q~V{P{SPX Q, V, P, T c Q~V{P~TPX Q, V, P, U c Q~V|P{UPX Q, V, P, V c Q~(V|P){VPX Q, V, P, X c Q{V{P{XPX Q, V, Q, P c (Q{V)~Q{PPX Q, V, Q, R c Q{V~Q{RPX Q, V, Q, S c Q~(Q{S){VPX Q, V, Q, T c Q{V{Q~TPX Q, V, Q, U c Q~(VQ{U)PX Q, V, Q, V c Q~V|Q{VPX Q, V, Q, W c Q{V{Q{WPX Q, V, Q, X c Q~(V|Q){XPX Q, V, R, O c V~R|Q{OPX Q, V, R, P c Q~(V{R)|PPX Q, V, R, Q c Q~V{R{QPX Q, V, R, R c Q~(R{R){VPX Q, V, R, S c Q{V~R|SPX Q, V, R, T c (V~T{R)QPX Q, V, R, U c Q~R{V{UPX Q, V, R, V c Q{V{R{VPX Q, V, R, W c (Q{V)~R|WPX Q, V, R, X c Q~(X|R){VPX Q, V, S, P c Q~V{S{PPX Q, V, S, Q c (Q{S)~Q{VPX Q, V, S, R c Q~(V{S)|RPX Q, V, S, S c Q~S{V{SPX Q, V, S, T c VQ~S{TPX Q, V, S, U c Q{V{S{UPX Q, V, S, V c (V~S)|(Q{V)PX Q, V, S, W c Q~W{V|SPX Q, V, S, X c Q~V|S{XPX Q, V, T, O c Q~V{T{OPX Q, V, T, P c Q~V{T~PPX Q, V, T, Q c Q{V{T~QPX Q, V, T, R c (V~T{R)QPX Q, V, T, S c VQ~S{TPX Q, V, T, T c Q{V{T{TPX Q, V, T, U c (V|Q)~T|UPX Q, V, T, V c (Q{TV)~VPX Q, V, T, W c Q~(T{W)|VPX Q, V, T, X c V|Q{T{XPX Q, V, U, O c Q~U{V{OPX Q, V, U, P c Q~V{U|PPX Q, V, U, Q c Q~(VQ{U)PX Q, V, U, R c Q~R{V{UPX Q, V, U, S c Q{V{U{SPX Q, V, U, T c (V|Q)~T|UPX Q, V, U, U c (Q{VU)~UPX Q, V, U, V c Q~(V{U)|VPX Q, V, U, W c V|Q{U{WPX Q, V, U, X c Q~X{V|UPX Q, V, V, P c Q~(V|P){VPX Q, V, V, Q c Q~V{V|QPX Q, V, V, R c Q{V{V{RPX Q, V, V, S c V~(V|S)|QPX Q, V, V, T c (Q{TV)~VPX Q, V, V, U c Q~(V{U)|VPX Q, V, V, V c V|Q{V{VPX Q, V, V, X c Q~(V{V)|XPX Q, V, W, Q c Q{V{W{QPX Q, V, W, R c Q~V{W|RPX Q, V, W, S c Q~W{V|SPX Q, V, W, T c Q~(W{T)|VPX Q, V, W, U c V|Q{W{UPX Q, V, W, W c V{WQ{WPX Q, V, W, X c Q~X|V{WPX Q, V, X, P c Q{V{X{PPX Q, V, X, Q c Q~(V|Q){XPX Q, V, X, R c Q~(X|R){VPX Q, V, X, S c Q~V{X|SPX Q, V, X, T c V|Q{X{TPX Q, V, X, U c Q~X{V|UPX Q, V, X, V c Q~(V{V)|XPX Q, V, X, W c Q~X|V{WPX Q, W, O, R c Q~W{O{RPX Q, W, O, X c Q{W{O{XPX Q, W, P, P c Q~(W{P){PPX Q, W, P, Q c Q~W{P{QPX Q, W, P, R c Q~W{P~RPX Q, W, P, S c Q~W|P{SPX Q, W, P, T c Q~(W|P){TPX Q, W, P, U c Q~U{W|PPX Q, W, P, W c Q{W{P{WPX Q, W, P, X c Q{W{P~XPX Q, W, Q, P c Q{W~Q{PPX Q, W, Q, R c Q~(W{RQ)PX Q, W, Q, T c Q~W|Q{TPX Q, W, Q, U c Q~W{UQPX Q, W, Q, V c Q{W{Q{VPX Q, W, R, O c Q~W{R{OPX Q, W, R, P c Q~W{R~PPX Q, W, R, Q c Q~(W{RQ)PX Q, W, R, R c Q{W{R~RPX Q, W, R, S c Q~S{W{RPX Q, W, R, T c Q~R{W{TPX Q, W, R, U c Q{W{R{UPX Q, W, R, V c Q{W~R|VPX Q, W, R, W c (Q{RW)~WPX Q, W, R, X c Q~(W|R){XPX Q, W, S, P c Q~W{S|PPX Q, W, S, R c Q~S{W{RPX Q, W, S, T c Q{W{S{TPX Q, W, S, U c Q~(W{US)PX Q, W, S, V c Q~W|S{VPX Q, W, S, X c Q~(SW{X)PX Q, W, T, P c Q~(W|P){TPX Q, W, T, Q c Q~W{T|QPX Q, W, T, R c Q~R{W{TPX Q, W, T, S c Q{W{T{SPX Q, W, T, T c Q{T~T|WPX Q, W, T, U c WQ~U|TPX Q, W, T, V c Q~(W{T)|VPX Q, W, T, W c Q~W|T{WPX Q, W, T, X c (T|Q)~X|WPX Q, W, U, P c Q~U{W|PPX Q, W, U, Q c Q~W{UQPX Q, W, U, R c Q{W{U{RPX Q, W, U, S c Q~(W{US)PX Q, W, U, T c WQ~U|TPX Q, W, U, V c W|Q{U{VPX Q, W, U, W c W{UQ{WPX Q, W, U, X c Q~(W{U)|XPX Q, W, V, Q c Q{W{V{QPX Q, W, V, R c Q{W~R|VPX Q, W, V, S c Q~W{V|SPX Q, W, V, T c Q~(W{T)|VPX Q, W, V, U c W|Q{V{UPX Q, W, V, W c WQ{V{WPX Q, W, V, X c Q~X{W|VPX Q, W, W, P c Q{W{W{PPX Q, W, W, R c (Q{RW)~WPX Q, W, W, T c Q~W{W|TPX Q, W, W, U c W{W{UQPX Q, W, W, V c WQ{W{VPX Q, W, W, X c Q~X{WWPX Q, W, X, O c Q{W{X{OPX Q, W, X, P c Q{W{X~PPX Q, W, X, R c Q~W{XRPX Q, W, X, S c Q~(X{SW)PX Q, W, X, T c X~(T|Q)|WPX Q, W, X, U c Q~W{X|UPX Q, W, X, V c Q~X{W|VPX Q, W, X, W c Q~X{WWPX Q, W, X, X c Q~X|W{XPX Q, X, O, P c Q~X{O{PPX Q, X, O, T c (Q{O)~T{XPX Q, X, O, W c Q{X{O{WPX Q, X, P, O c Q~X{P{OPX Q, X, P, P c Q~(X{P)|PPX Q, X, P, Q c Q~(X{PQ)PX Q, X, P, R c Q~(X|P){RPX Q, X, P, S c Q~(P{S){XPX Q, X, P, T c Q~P~T{XPX Q, X, P, U c Q~(U|P){XPX Q, X, P, V c Q{X{P{VPX Q, X, P, W c Q{X{P~WPX Q, X, P, X c Q{X|P{XPX Q, X, Q, P c Q{X~Q|PPX Q, X, Q, Q c Q~X{QQPX Q, X, Q, R c (Q{X)~Q|RPX Q, X, Q, S c Q{X{Q~SPX Q, X, Q, T c Q~(X|Q){TPX Q, X, Q, U c Q{X{Q{UPX Q, X, Q, V c (Q{Q)~V|XPX Q, X, Q, X c QQ{X{XPX Q, X, R, P c Q~(X|P){RPX Q, X, R, Q c Q~X{R|QPX Q, X, R, R c Q~X{RRPX Q, X, R, S c Q~X|R{SPX Q, X, R, T c Q{X{R{TPX Q, X, R, U c Q~(X{RU)PX Q, X, R, V c Q~(X|R){VPX Q, X, R, W c Q~W{XRPX Q, X, R, X c X|Q{R{XPX Q, X, S, P c Q~(S{P){XPX Q, X, S, Q c Q{X{S~QPX Q, X, S, R c Q~X{S|RPX Q, X, S, S c Q{X{S{SPX Q, X, S, T c Q~X|S{TPX Q, X, S, V c Q~(X{S)|VPX Q, X, S, W c Q~(X{SW)PX Q, X, S, X c Q~(X|S){XPX Q, X, T, O c Q~T{X{OPX Q, X, T, P c Q~T{X~PPX Q, X, T, Q c Q~(X|Q){TPX Q, X, T, R c Q{X{T{RPX Q, X, T, S c Q~X{T|SPX Q, X, T, T c (Q{XT)~TPX Q, X, T, U c Q~X|T{UPX Q, X, T, V c X|Q{T{VPX Q, X, T, W c X~(T|Q)|WPX Q, X, T, X c Q~(X{T)|XPX Q, X, U, P c Q~(U|P){XPX Q, X, U, Q c Q{X{U{QPX Q, X, U, R c Q~(X{RU)PX Q, X, U, T c Q~X{U|TPX Q, X, U, U c Q~X{UUPX Q, X, U, V c Q~X|U{VPX Q, X, U, W c Q~(XU{W)PX Q, X, V, P c Q{X{V{PPX Q, X, V, Q c Q~(V|Q){XPX Q, X, V, R c Q~(X|R){VPX Q, X, V, S c Q~(X{S)|VPX Q, X, V, T c X|Q{V{TPX Q, X, V, U c Q~X{V|UPX Q, X, V, V c Q~X{VVPX Q, X, V, W c Q~X|V{WPX Q, X, W, O c Q{X{W{OPX Q, X, W, P c Q{X{W~PPX Q, X, W, R c Q~W{XRPX Q, X, W, S c Q~(X{SW)PX Q, X, W, T c X~(T|Q)|WPX Q, X, W, U c Q~(XU{W)PX Q, X, W, V c Q~X{W|VPX Q, X, W, W c Q~X{WWPX Q, X, W, X c Q~X|W{XPX Q, X, X, P c Q{X{X|PPX Q, X, X, Q c QQ{X{XPX Q, X, X, R c X|Q{X{RPX Q, X, X, S c Q~(X|S){XPX Q, X, X, T c Q~(X{T)|XPX Q, X, X, W c Q~X{X|WPX Q, X, X, X c Q~X{XXPX R, O, P, U c (R{O)~U{PPX R, O, Q, V c (R{O)~V|QPX R, O, Q, W c R{O{Q~WPX R, O, S, S c R{O{S~SPX R, O, S, T c (R{O)~T{SPX R, O, S, V c (R{O)~S{VPX R, O, T, S c (R{O)~T{SPX R, O, T, W c (R{O)~W|TPX R, O, U, P c (R{O)~U{PPX R, O, V, Q c (R{O)~V|QPX R, O, V, S c (R{O)~S{VPX R, O, V, X c R{O{V{XPX R, O, W, Q c R{O{W~QPX R, O, W, T c (R{O)~W|TPX R, O, W, W c R{O{W{WPX R, O, W, X c (R{O)~X|WPX R, O, X, V c R{O{X{VPX R, O, X, W c (R{O)~X|WPX R, P, O, U c (R{O)~U{PPX R, P, P, T c (R{P)~T|PPX R, P, P, U c R~P~U{PPX R, P, P, V c (R~V)|(P{P)PX R, P, P, W c R{(P{P)~WPX R, P, P, X c (R|P)~X{PPX R, P, Q, R c R~Q~R{PPX R, P, Q, S c (R{Q)~S|PPX R, P, Q, U c R~(P{U)|QPX R, P, Q, V c R{(P{V)~QPX R, P, Q, W c R{P~Q~WPX R, P, Q, X c R{Q~(X|P)PX R, P, R, Q c R~R~Q{PPX R, P, R, R c (R{R)~R{PPX R, P, R, S c R{(P{R)~SPX R, P, R, T c R{P{R~TPX R, P, R, U c R~(PR{U)PX R, P, R, V c (R{P)~R{VPX R, P, R, W c (R|P)~W{RPX R, P, R, X c R~R{P{XPX R, P, S, Q c R~(S{Q){PPX R, P, S, R c (R{P)~S{RPX R, P, S, S c R{P~S~SPX R, P, S, T c R~P~T{SPX R, P, S, U c R~S{P{UPX R, P, S, V c R~P~S{VPX R, P, S, W c R~S|P{WPX R, P, T, P c (R{P)~T|PPX R, P, T, R c R{P{T~RPX R, P, T, S c R~P~T{SPX R, P, T, T c R~T|P{TPX R, P, T, U c (R{P)~U|TPX R, P, T, V c (R|P)~V{TPX R, P, T, W c R~P~W|TPX R, P, T, X c (R|P)~T{XPX R, P, U, O c R~U{P{OPX R, P, U, P c R~P~U{PPX R, P, U, Q c R~(P{U)|QPX R, P, U, R c R~(PR{U)PX R, P, U, S c R~(U|P){SPX R, P, U, T c (R{P)~U|TPX R, P, U, U c (R{PU)~UPX R, P, U, V c (R|P)~U{VPX R, P, U, W c R~W{P|UPX R, P, U, X c R{P{U{XPX R, P, V, P c (R~V)|(P{P)PX R, P, V, Q c R{(P{V)~QPX R, P, V, R c (R{P)~R{VPX R, P, V, S c R~P~S{VPX R, P, V, T c (R|P)~V{TPX R, P, V, U c (R|P)~U{VPX R, P, V, W c R{P{V{WPX R, P, V, X c R{P~V{XPX R, P, W, P c R{(P{P)~WPX R, P, W, Q c R{P~W~QPX R, P, W, R c (R|P)~W{RPX R, P, W, S c (R~W)|(P{S)PX R, P, W, T c R~P~W|TPX R, P, W, U c R~W{P|UPX R, P, W, V c R{P{W{VPX R, P, W, W c R{P~W{WPX R, P, W, X c R|P{W{XPX R, P, X, P c (R|P)~X{PPX R, P, X, Q c R{(X|P)~QPX R, P, X, R c R~(X|R){PPX R, P, X, T c (R|P)~T{XPX R, P, X, U c R{P{X{UPX R, P, X, V c R{P~X{VPX R, P, X, W c R|P{X{WPX R, P, X, X c R~X{P|XPX R, Q, O, V c (R{O)~V|QPX R, Q, O, W c R{(Q{O)~WPX R, Q, P, R c R~Q~R{PPX R, Q, P, S c (R{Q)~S|PPX R, Q, P, U c R~(P{U)|QPX R, Q, P, V c R{Q~(P{V)PX R, Q, P, W c R{Q~P~WPX R, Q, P, X c R{Q~(X|P)PX R, Q, Q, S c R{(Q{Q)~SPX R, Q, Q, T c R~(Q{T)|QPX R, Q, Q, U c R{Q~(Q{U)PX R, Q, Q, V c R{Q{Q~VPX R, Q, Q, W c (RQ{W)~QPX R, Q, Q, X c (R{Q)~Q{XPX R, Q, R, P c R~Q~R{PPX R, Q, R, S c (R{Q)~R{SPX R, Q, R, T c R{Q~(R{T)PX R, Q, R, U c R|Q{R~UPX R, Q, R, V c (R{R)~Q{VPX R, Q, R, W c R~R{Q{WPX R, Q, R, X c RR{Q~XPX R, Q, S, P c (R{Q)~S|PPX R, Q, S, Q c R{Q~S~QPX R, Q, S, R c (R{Q)~R{SPX R, Q, S, S c R{Q~(S{S)PX R, Q, S, T c R~Q~S|TPX R, Q, S, U c R{Q~U{SPX R, Q, S, V c R~V{Q|SPX R, Q, S, W c R{Q~S{WPX R, Q, S, X c R~Q{S{XPX R, Q, T, Q c R~(Q{T)|QPX R, Q, T, R c R{Q~(T{R)PX R, Q, T, S c R~Q~S|TPX R, Q, T, T c T~T|R~QPX R, Q, T, U c R{Q~T{UPX R, Q, T, V c (R{T~V)QPX R, Q, T, W c R~Q{T{WPX R, Q, T, X c R{Q{T{XPX R, Q, U, P c (R{U)~Q{PPX R, Q, U, Q c R{(Q{U)~QPX R, Q, U, R c R|Q{U~RPX R, Q, U, S c R{Q~U{SPX R, Q, U, T c R~(Q{U)|TPX R, Q, U, U c R~(QU{U)PX R, Q, U, V c R~Q{U{VPX R, Q, U, W c R{Q{U{WPX R, Q, U, X c (RU{X)~QPX R, Q, V, O c R~V|Q{OPX R, Q, V, P c R{Q~(V{P)PX R, Q, V, Q c R{Q{V~QPX R, Q, V, R c R~(V|QR)PX R, Q, V, S c R~V{Q|SPX R, Q, V, T c (R{V~T)QPX R, Q, V, U c R~Q{V{UPX R, Q, V, V c R{Q{V{VPX R, Q, V, W c R~(Q{V)|WPX R, Q, V, X c Q~(X|R){VPX R, Q, W, O c R{Q~W{OPX R, Q, W, P c R{Q~W~PPX R, Q, W, Q c (RQ{W)~QPX R, Q, W, R c (R{W)~Q|RPX R, Q, W, S c R{Q~S{WPX R, Q, W, T c R~Q{W{TPX R, Q, W, U c R{Q{W{UPX R, Q, W, V c RQ~W{VPX R, Q, W, W c (RW{Q)~WPX R, Q, W, X c Q~(W|R){XPX R, Q, X, P c R{Q~(X|P)PX R, Q, X, Q c R{Q~X|QPX R, Q, X, R c RR{Q~XPX R, Q, X, S c R~Q{X{SPX R, Q, X, T c R{Q{X{TPX R, Q, X, U c (R~X)|(Q{U)PX R, Q, X, V c Q~(X|R){VPX R, Q, X, W c Q~(W|R){XPX R, Q, X, X c R|Q{X{XPX R, R, P, Q c R~R~Q{PPX R, R, P, R c (R{R)~R{PPX R, R, P, S c R{(R{P)~SPX R, R, P, T c R{R~T{PPX R, R, P, U c R~(PR{U)PX R, R, P, V c R~(R{P){VPX R, R, P, W c R{(R|P)~WPX R, R, P, X c R~R{P{XPX R, R, Q, P c R~R~Q{PPX R, R, Q, S c R~(R{Q){SPX R, R, Q, T c R~R{Q~TPX R, R, Q, U c R{R~U|QPX R, R, Q, V c (R{R)~Q{VPX R, R, Q, W c R~R{Q{WPX R, R, Q, X c RR{Q~XPX R, R, R, P c (R{R)~R{PPX R, R, R, U c RR{R~UPX R, R, R, V c R{R~R{VPX R, R, R, W c R~R~R|WPX R, R, S, P c R{(R{P)~SPX R, R, S, Q c R~(R{S)|QPX R, R, S, S c R{R~S{SPX R, R, S, T c (R{R)~S|TPX R, R, S, U c R~R{S{UPX R, R, S, V c R{S~(V|R)PX R, R, S, W c R~(W|R){SPX R, R, S, X c R{R{S{XPX R, R, T, P c R{R~T{PPX R, R, T, Q c R{(R{T)~QPX R, R, T, S c (R{R)~S|TPX R, R, T, T c R~R{T{TPX R, R, T, V c R{R~V|TPX R, R, T, W c R{R{T{WPX R, R, T, X c (R~X)|(R{T)PX R, R, U, P c R~(U{PR)PX R, R, U, Q c R{R~U|QPX R, R, U, R c RR{U~RPX R, R, U, S c R~R{U{SPX R, R, U, V c R{R{U{VPX R, R, U, W c R~(R{U)|WPX R, R, U, X c R~(RX{U)PX R, R, V, P c R~(R{P){VPX R, R, V, Q c (R{R)~Q{VPX R, R, V, R c R~R{V{RPX R, R, V, S c R{(V|R)~SPX R, R, V, T c R{R~V|TPX R, R, V, U c R{R{V{UPX R, R, V, V c R~(V|R){VPX R, R, W, P c R{(R|P)~WPX R, R, W, Q c R~R{W{QPX R, R, W, R c R~R~R|WPX R, R, W, S c R~(W|R){SPX R, R, W, T c R{R{W{TPX R, R, W, U c R~(R{U)|WPX R, R, W, W c R{R~W|WPX R, R, W, X c R~(X|WR)PX R, R, X, P c R~R{X{PPX R, R, X, Q c RR{X~QPX R, R, X, S c R{R{X{SPX R, R, X, T c (R~X)|(R{T)PX R, R, X, U c R~(RX{U)PX R, R, X, W c R~(X|WR)PX R, R, X, X c RR{X{XPX R, S, O, S c R{(S{O)~SPX R, S, O, T c (R{O)~T{SPX R, S, O, V c R~S{O{VPX R, S, P, Q c R~(S{Q){PPX R, S, P, R c R{S~(P{R)PX R, S, P, S c R{S~P~SPX R, S, P, T c R{S~(T|P)PX R, S, P, U c R~S{P{UPX R, S, P, V c R~S{P~VPX R, S, P, W c R~S|P{WPX R, S, Q, P c R~(S{Q){PPX R, S, Q, Q c R{S~(Q{Q)PX R, S, Q, R c (R{S)~R|QPX R, S, Q, S c R{(S{S)~QPX R, S, Q, T c (R{S)~Q{TPX R, S, Q, U c R{S{Q~UPX R, S, Q, V c R~V|S{QPX R, S, Q, W c R{(S|Q)~WPX R, S, Q, X c R~S|Q{XPX R, S, R, P c R{S~(R{P)PX R, S, R, Q c (R{S)~R|QPX R, S, R, S c R{S{R~SPX R, S, R, T c R~(SR{T)PX R, S, R, U c R~R{S{UPX R, S, R, V c R{S~(V|R)PX R, S, R, W c R~(W|R){SPX R, S, R, X c R{S{R{XPX R, S, S, O c R{S~S{OPX R, S, S, P c R{S~S~PPX R, S, S, Q c R{(S{S)~QPX R, S, S, R c R{S{S~RPX R, S, S, S c (RS{S)~SPX R, S, S, T c R~(S{S)|TPX R, S, S, U c R~U{SSPX R, S, S, V c (R{VS)~SPX R, S, S, W c R{S{S{WPX R, S, S, X c (R{S)~S|XPX R, S, T, O c R~T{S{OPX R, S, T, P c R{S~(T|P)PX R, S, T, Q c R~S{T{QPX R, S, T, R c R~(SR{T)PX R, S, T, S c R{S~T|SPX R, S, T, T c (R{ST)~TPX R, S, T, U c R~U|S{TPX R, S, T, V c R{S{T{VPX R, S, T, W c R~(S{T)|WPX R, S, T, X c R{S~(X|T)PX R, S, U, P c R~S{U{PPX R, S, U, Q c R{S{U~QPX R, S, U, R c R~U{S|RPX R, S, U, S c R~U{SSPX R, S, U, T c R~U|S{TPX R, S, U, U c R{S{U{UPX R, S, U, V c R~V{S|UPX R, S, U, W c R{S~U|WPX R, S, V, O c R~S{V{OPX R, S, V, P c R~S{V~PPX R, S, V, Q c R~V|S{QPX R, S, V, R c R{S~(V|R)PX R, S, V, S c (R{VS)~SPX R, S, V, T c R{S{V{TPX R, S, V, U c R~V{S|UPX R, S, V, W c R~V|WSPX R, S, V, X c SR~X{VPX R, S, W, P c R~S{W|PPX R, S, W, Q c R{S~WQPX R, S, W, R c R~(W|R){SPX R, S, W, S c R{S{W{SPX R, S, W, T c R~(S{T)|WPX R, S, W, U c R{S~U|WPX R, S, W, V c R~(W|S){VPX R, S, W, W c R{WS~WPX R, S, W, X c R~W{S|XPX R, S, X, Q c R~S{X|QPX R, S, X, R c R{S{X{RPX R, S, X, S c (R{S)~S|XPX R, S, X, T c R{S~(X|T)PX R, S, X, V c SR~X{VPX R, S, X, W c R~W{S|XPX R, S, X, X c S|R{X{XPX R, T, O, S c R~T{O{SPX R, T, O, W c (R{O)~W|TPX R, T, P, P c R~(T{P){PPX R, T, P, R c R~T{P{RPX R, T, P, S c R{(T|P)~SPX R, T, P, T c R~T|P{TPX R, T, P, U c (R{P)~U|TPX R, T, P, V c R~(T|P){VPX R, T, P, W c R~P~W|TPX R, T, P, X c (R|P)~T{XPX R, T, Q, Q c R~T{Q{QPX R, T, Q, R c (R{T)~Q{RPX R, T, Q, S c R~Q~S|TPX R, T, Q, T c T~T|R~QPX R, T, Q, U c R{T~Q{UPX R, T, Q, V c (R{T~V)QPX R, T, Q, W c R~T{WQPX R, T, Q, X c R{T{Q{XPX R, T, R, P c R{T~R{PPX R, T, R, Q c R{(T{R)~QPX R, T, R, S c R~(T{SR)PX R, T, R, T c (R{T)~R|TPX R, T, R, V c R~T|R{VPX R, T, R, W c R{T{R{WPX R, T, R, X c (R~X)|(T{R)PX R, T, S, O c R~T{S{OPX R, T, S, P c R~T{S~PPX R, T, S, Q c R~S{T{QPX R, T, S, R c R~(T{SR)PX R, T, S, S c R{T~S|SPX R, T, S, T c (R{ST)~TPX R, T, S, U c R~U{T|SPX R, T, S, V c R{T{S{VPX R, T, S, W c R~(T{S)|WPX R, T, S, X c R{S~(X|T)PX R, T, T, P c R~T{T|PPX R, T, T, Q c T~T|R~QPX R, T, T, R c (R{T)~R|TPX R, T, T, S c (R{ST)~TPX R, T, T, U c R{T{T{UPX R, T, T, V c (T|R)~V{TPX R, T, T, X c R{T~T|XPX R, T, U, P c (R{P)~U|TPX R, T, U, Q c R~T{U|QPX R, T, U, S c R~U{T|SPX R, T, U, T c R{T{U{TPX R, T, U, U c R~U|T{UPX R, T, U, V c (T|R)~U{VPX R, T, U, W c R~(T{WU)PX R, T, U, X c TR~U{XPX R, T, V, P c R~(T|P){VPX R, T, V, Q c (R{T~V)QPX R, T, V, R c R~T{V|RPX R, T, V, S c R{T{V{SPX R, T, V, T c (T|R)~V{TPX R, T, V, U c (T|R)~U{VPX R, T, V, V c R~V{T|VPX R, T, V, W c R{(V|T)~WPX R, T, V, X c R~(X|T){VPX R, T, W, O c R~W|T{OPX R, T, W, P c R~W|T~PPX R, T, W, Q c R~T{WQPX R, T, W, R c R{T{W{RPX R, T, W, S c R~T{W|SPX R, T, W, U c R~(T{WU)PX R, T, W, V c R{W~(V|T)PX R, T, W, W c (R|TW)~WPX R, T, W, X c T|R{W{XPX R, T, X, P c R~(X|P)|TPX R, T, X, Q c R{T{X{QPX R, T, X, R c (R~X)|(T{R)PX R, T, X, S c R{(X|T)~SPX R, T, X, T c R~T{X|TPX R, T, X, U c TR~U{XPX R, T, X, V c R~(X|T){VPX R, T, X, W c T|R{X{WPX R, U, O, P c R~U{O{PPX R, U, P, O c R~U{P{OPX R, U, P, P c R~U{P~PPX R, U, P, Q c R~(U{P)|QPX R, U, P, R c R~(U{PR)PX R, U, P, S c R~(U|P){SPX R, U, P, T c (R{P)~U|TPX R, U, P, U c (R{PU)~UPX R, U, P, V c (R|P)~U{VPX R, U, P, W c R~W|U{PPX R, U, P, X c R{U{P{XPX R, U, Q, P c (R{U)~Q{PPX R, U, Q, Q c R{(U{Q)~QPX R, U, Q, R c R~U|Q{RPX R, U, Q, S c R{(U|Q)~SPX R, U, Q, T c R{U{Q~TPX R, U, Q, U c R~(U{QU)PX R, U, Q, V c R~(U|Q){VPX R, U, Q, W c R{U{Q{WPX R, U, Q, X c (RU{X)~QPX R, U, R, P c R~(U{PR)PX R, U, R, Q c R{U~R|QPX R, U, R, R c R~U{RRPX R, U, R, S c R~U|R{SPX R, U, R, V c R{U{R{VPX R, U, R, W c (R{U)~R|WPX R, U, R, X c R~(U{RX)PX R, U, S, P c R~(U|P){SPX R, U, S, Q c R{(U|Q)~SPX R, U, S, R c R~U{S|RPX R, U, S, S c R~U{SSPX R, U, S, T c R~U|S{TPX R, U, S, U c R{U{S{UPX R, U, S, V c R~V|U{SPX R, U, S, W c R{(U|S)~WPX R, U, T, P c (R{P)~U|TPX R, U, T, Q c R{U{T~QPX R, U, T, S c R~U{T|SPX R, U, T, T c R{U{T{TPX R, U, T, U c R~U|T{UPX R, U, T, V c UR~V{TPX R, U, T, W c R~(T{WU)PX R, U, T, X c UR~T{XPX R, U, U, P c (R{PU)~UPX R, U, U, Q c R~(U{QU)PX R, U, U, S c R{U{U{SPX R, U, U, T c R~U{U|TPX R, U, U, U c R~U{UUPX R, U, U, V c R~U|U{VPX R, U, V, P c (R|P)~U{VPX R, U, V, Q c R~(U|Q){VPX R, U, V, R c R{U{V{RPX R, U, V, S c R~V|U{SPX R, U, V, T c UR~V{TPX R, U, V, U c R~U{V|UPX R, U, V, V c R~U{VVPX R, U, V, W c R~U|V{WPX R, U, V, X c R~(V|UX)PX R, U, W, P c R~W|U{PPX R, U, W, Q c R{U{W{QPX R, U, W, R c R{U~WRPX R, U, W, S c R{(U|S)~WPX R, U, W, T c R~(WU{T)PX R, U, W, V c R~U{W|VPX R, U, W, W c R~U{WWPX R, U, W, X c R~U|W{XPX R, U, X, P c R{U{X{PPX R, U, X, Q c (RU{X)~QPX R, U, X, R c (R{U~X)RPX R, U, X, T c UR~T{XPX R, U, X, V c R~(V|UX)PX R, U, X, W c R~U{X|WPX R, U, X, X c R~U{XXPX R, V, O, Q c R~V{O|QPX R, V, O, S c (R{O)~S{VPX R, V, O, X c R{V{O{XPX R, V, P, P c (R~V)|(P{P)PX R, V, P, Q c R{(V{P)~QPX R, V, P, R c R~V{P|RPX R, V, P, S c R~P~S{VPX R, V, P, T c R~(V{P)|TPX R, V, P, U c (R|P)~U{VPX R, V, P, W c R{V{P{WPX R, V, P, X c R{V{P~XPX R, V, Q, O c R~V|Q{OPX R, V, Q, P c (R{V)~Q|PPX R, V, Q, Q c R{V~Q{QPX R, V, Q, R c R~(V|QR)PX R, V, Q, S c R~V{Q|SPX R, V, Q, T c (R{V~T)QPX R, V, Q, U c R~Q{V{UPX R, V, Q, V c R{V{Q{VPX R, V, Q, W c R~(V{Q)|WPX R, V, Q, X c VR~X|QPX R, V, R, P c R~V|R{PPX R, V, R, Q c R~(V|QR)PX R, V, R, R c R{V{R~RPX R, V, R, S c R{(V|R)~SPX R, V, R, T c R{V~R|TPX R, V, R, U c R{V{R{UPX R, V, R, V c R~(V|R){VPX R, V, S, O c R~S{V{OPX R, V, S, P c R~S{V~PPX R, V, S, Q c R~V|S{QPX R, V, S, R c R{(V|R)~SPX R, V, S, S c (R{VS)~SPX R, V, S, T c R{V{S{TPX R, V, S, U c R~V{S|UPX R, V, S, W c R~V|WSPX R, V, S, X c V{SR~XPX R, V, T, P c R~(V{P)|TPX R, V, T, Q c (R{V~T)QPX R, V, T, R c R~V|T{RPX R, V, T, S c R{V{T{SPX R, V, T, T c V~(T|R){TPX R, V, T, U c (V|R)~U|TPX R, V, T, V c R~V{T|VPX R, V, T, W c R{(V|T)~WPX R, V, T, X c R~(X|T){VPX R, V, U, P c (R|P)~U{VPX R, V, U, Q c R~(U|Q){VPX R, V, U, R c R{V{U{RPX R, V, U, S c R~V|U{SPX R, V, U, T c (V|R)~U|TPX R, V, U, U c R~U{V|UPX R, V, U, V c R~U{VVPX R, V, U, W c R~V{U|WPX R, V, U, X c R~(V|UX)PX R, V, V, Q c R{V{V{QPX R, V, V, R c R~(V|R){VPX R, V, V, T c R~V|V{TPX R, V, V, U c R~U{VVPX R, V, V, W c V|R{V{WPX R, V, V, X c R~V{V|XPX R, V, W, P c R{V{W{PPX R, V, W, Q c R~(V{Q)|WPX R, V, W, S c R~V|WSPX R, V, W, T c R{(V|T)~WPX R, V, W, U c R~V|W{UPX R, V, W, V c V|R{W{VPX R, V, W, W c (W~W|V)RPX R, V, W, X c R{W~(X|V)PX R, V, X, O c R{V{X{OPX R, V, X, P c R{V{X~PPX R, V, X, Q c VR~X|QPX R, V, X, S c V{XR~SPX R, V, X, T c R~(X|T){VPX R, V, X, U c R~(V|UX)PX R, V, X, V c R~V|X{VPX R, V, X, W c R{(X|V)~WPX R, V, X, X c V{XR{XPX R, W, O, Q c R{(W{O)~QPX R, W, O, T c R~W{O|TPX R, W, O, W c R{W{O{WPX R, W, O, X c (R{O)~X|WPX R, W, P, P c R{W~(P{P)PX R, W, P, Q c R{W~P~QPX R, W, P, R c R{W~(R|P)PX R, W, P, S c (R~W)|(P{S)PX R, W, P, T c R~W|P~TPX R, W, P, U c R~W{P|UPX R, W, P, V c R{W{P{VPX R, W, P, W c R{W{P~WPX R, W, P, X c R{W|P{XPX R, W, Q, O c R{W~Q{OPX R, W, Q, P c R{W~Q~PPX R, W, Q, Q c (RQ{W)~QPX R, W, Q, R c (R{W)~Q|RPX R, W, Q, S c R{W{Q~SPX R, W, Q, T c R~Q{W{TPX R, W, Q, U c R{W{Q{UPX R, W, Q, V c R~W{Q|VPX R, W, Q, W c (RW{Q)~WPX R, W, Q, X c (W|R)~Q{XPX R, W, R, P c R{W~(R|P)PX R, W, R, Q c (R~W)|(R{Q)PX R, W, R, R c R~R~R|WPX R, W, R, S c R~(W|R){SPX R, W, R, T c R{W{R{TPX R, W, R, U c R{WR~UPX R, W, R, W c R{W~R|WPX R, W, R, X c R~(X|WR)PX R, W, S, P c (R~W)|(S{P)PX R, W, S, Q c R{W{S~QPX R, W, S, R c R~(W|R){SPX R, W, S, S c R{W{S{SPX R, W, S, T c R~(S{T)|WPX R, W, S, U c R{W~(U|S)PX R, W, S, V c R~(W|S){VPX R, W, S, W c R{WS~WPX R, W, S, X c R~W{S|XPX R, W, T, O c R~W|T{OPX R, W, T, P c R~W|T~PPX R, W, T, Q c R~T{WQPX R, W, T, R c R{W{T{RPX R, W, T, S c R~T{W|SPX R, W, T, U c R~(WU{T)PX R, W, T, V c R{W~(V|T)PX R, W, T, W c (R|TW)~WPX R, W, T, X c W|R{T{XPX R, W, U, P c R~W|U{PPX R, W, U, Q c R{W{U{QPX R, W, U, R c R{W~URPX R, W, U, S c R{W~(U|S)PX R, W, U, T c R~(WU{T)PX R, W, U, V c R~U{W|VPX R, W, U, W c R{(W|U)~WPX R, W, U, X c R~U|W{XPX R, W, V, P c R{W{V{PPX R, W, V, Q c R~W|V{QPX R, W, V, S c R~(W|S){VPX R, W, V, T c R{W~(V|T)PX R, W, V, U c R~V|W{UPX R, W, V, V c W|R{V{VPX R, W, V, W c (W~W|V)RPX R, W, V, X c R{W~(X|V)PX R, W, W, O c R{W{W{OPX R, W, W, P c R{W{W~PPX R, W, W, Q c (RW{Q)~WPX R, W, W, R c R~W|W{RPX R, W, W, S c R{W~WSPX R, W, W, T c (R|TW)~WPX R, W, W, U c R{W~(W|U)PX R, W, W, V c (W~W|V)RPX R, W, W, X c W{W{XRPX R, W, X, O c R~X|W{OPX R, W, X, P c R{W{X|PPX R, W, X, Q c (W|R)~Q{XPX R, W, X, R c R~(X|WR)PX R, W, X, S c R~W|X{SPX R, W, X, T c W|R{X{TPX R, W, X, U c R~U|W{XPX R, W, X, V c R{W~(X|V)PX R, W, X, W c W{XR{WPX R, W, X, X c (R|WX)~XPX R, X, O, V c R{X{O{VPX R, X, O, W c R~X{O|WPX R, X, P, P c (R|P)~X{PPX R, X, P, Q c R{(X|P)~QPX R, X, P, R c R~(X|R){PPX R, X, P, T c R~(X|P)|TPX R, X, P, U c R{X{P{UPX R, X, P, V c R{X{P~VPX R, X, P, W c R{X|P{WPX R, X, P, X c R~X{P|XPX R, X, Q, P c R{(X|P)~QPX R, X, Q, Q c R{X~Q|QPX R, X, Q, R c RR{X~QPX R, X, Q, S c R~X|Q~SPX R, X, Q, T c R{X{Q{TPX R, X, Q, U c (R~X)|(Q{U)PX R, X, Q, V c (X|R)~Q{VPX R, X, Q, W c XR{Q~WPX R, X, Q, X c R{X|Q{XPX R, X, R, P c R~(X|R){PPX R, X, R, Q c RR{X~QPX R, X, R, S c R{X{R{SPX R, X, R, T c (R~X)|(R{T)PX R, X, R, U c (R{X~U)RPX R, X, R, W c R~(X|WR)PX R, X, R, X c RR{X{XPX R, X, S, Q c R~X|S~QPX R, X, S, R c R{X{S{RPX R, X, S, S c (R~X)|(S{S)PX R, X, S, T c R{(X|T)~SPX R, X, S, V c XR~S{VPX R, X, S, W c R~W|X{SPX R, X, S, X c X|R{S{XPX R, X, T, P c R~(X|P)|TPX R, X, T, Q c R{X{T{QPX R, X, T, R c (R~X)|(T{R)PX R, X, T, S c R{(X|T)~SPX R, X, T, T c R~T{X|TPX R, X, T, U c X{TR~UPX R, X, T, V c R~(X|T){VPX R, X, T, W c X|R{T{WPX R, X, U, P c R{X{U{PPX R, X, U, Q c (R~X)|(U{Q)PX R, X, U, R c (R{X~U)RPX R, X, U, T c X{UR~TPX R, X, U, V c R~(V|UX)PX R, X, U, W c R~U{X|WPX R, X, U, X c R~U{XXPX R, X, V, O c R{X{V{OPX R, X, V, P c R{X{V~PPX R, X, V, Q c XR~V|QPX R, X, V, S c XR~S{VPX R, X, V, T c R~(X|T){VPX R, X, V, U c R~(V|UX)PX R, X, V, V c R~V|X{VPX R, X, V, W c R{(X|V)~WPX R, X, V, X c XR{V{XPX R, X, W, O c R~X|W{OPX R, X, W, P c R{X{W|PPX R, X, W, Q c XR{W~QPX R, X, W, R c R~(X|WR)PX R, X, W, S c R~W|X{SPX R, X, W, T c X|R{W{TPX R, X, W, U c R~U{X|WPX R, X, W, V c R{(X|V)~WPX R, X, W, W c XR{W{WPX R, X, W, X c (R|WX)~XPX R, X, X, P c R~X|X{PPX R, X, X, Q c R{X{X|QPX R, X, X, R c RR{X{XPX R, X, X, S c X|R{X{SPX R, X, X, U c R~U{XXPX R, X, X, V c XR{X{VPX R, X, X, W c (R|WX)~XPX S, O, P, T c (S{O)~T|PPX S, O, R, S c (S{O)~S{RPX S, O, R, T c S{O{R~TPX S, O, R, V c (S{O)~R{VPX S, O, S, R c (S{O)~S{RPX S, O, T, P c (S{O)~T|PPX S, O, T, R c S{O{T~RPX S, O, T, U c (S{O)~U|TPX S, O, U, T c (S{O)~U|TPX S, O, U, X c S{O{U{XPX S, O, V, R c (S{O)~R{VPX S, O, V, W c S{O{V{WPX S, O, V, X c (S{O)~V|XPX S, O, W, V c S{O{W{VPX S, O, X, U c S{O{X{UPX S, O, X, V c (S{O)~V|XPX S, P, O, T c (S{O)~T|PPX S, P, P, S c (S{P)~S|PPX S, P, P, T c S~P~T|PPX S, P, P, U c (S|P)~U{PPX S, P, Q, R c (S{Q)~R{PPX S, P, Q, S c S~S{P{QPX S, P, Q, T c S{(P{Q)~TPX S, P, Q, U c (S{U)~Q|PPX S, P, Q, V c S{P{Q~VPX S, P, Q, W c S|P{Q~WPX S, P, Q, X c (S{P)~Q{XPX S, P, R, Q c S~(R{Q)|PPX S, P, R, R c S~(P{R){RPX S, P, R, S c (S{P)~R{SPX S, P, R, T c S{P~R~TPX S, P, R, U c S~R{P{UPX S, P, R, V c S~P~R{VPX S, P, R, W c S~R|P{WPX S, P, S, P c (S{P)~S|PPX S, P, S, Q c S~S{P{QPX S, P, S, R c S{(P{S)~RPX S, P, S, S c S|P{S~SPX S, P, S, T c (S|P)~T{SPX S, P, S, U c (S~U)|(P{S)PX S, P, S, V c (S|P)~S{VPX S, P, S, X c S~(X|S)|PPX S, P, T, O c S~T|P{OPX S, P, T, P c S~P~T|PPX S, P, T, Q c S{(P{Q)~TPX S, P, T, R c S{P~T~RPX S, P, T, S c (S|P)~T{SPX S, P, T, T c (S|PT)~TPX S, P, T, U c (S{P)~T|UPX S, P, T, V c S~(V|P)|TPX S, P, T, W c (S|P)~W|TPX S, P, T, X c S{P{T{XPX S, P, U, P c (S|P)~U{PPX S, P, U, Q c (S{U)~Q|PPX S, P, U, R c S{(U|P)~RPX S, P, U, S c (S~U)|(P{S)PX S, P, U, T c S~P~U|TPX S, P, U, U c S~U{P|UPX S, P, U, V c P{U~(V|S)PX S, P, U, W c S{P{U{WPX S, P, U, X c S{P~U{XPX S, P, V, Q c S{P{V~QPX S, P, V, R c S~P~R{VPX S, P, V, S c (S|P)~S{VPX S, P, V, T c S~(V|P)|TPX S, P, V, U c P{(V|S)~UPX S, P, V, V c S{P{V{VPX S, P, V, W c S{P~V{WPX S, P, V, X c S|P{V{XPX S, P, W, Q c S|P{W~QPX S, P, W, R c S~(W|R)|PPX S, P, W, T c (S|P)~W|TPX S, P, W, U c S{P{W{UPX S, P, W, V c S{P~W{VPX S, P, W, W c S|P{W{WPX S, P, W, X c (S|P)~X|WPX S, P, X, Q c (S{P)~Q{XPX S, P, X, S c S~(X|S)|PPX S, P, X, T c S{P{X{TPX S, P, X, U c S{P~X{UPX S, P, X, V c S|P{X{VPX S, P, X, W c (S|P)~X|WPX S, Q, P, R c (S{Q)~R{PPX S, Q, P, S c S~S{Q{PPX S, Q, P, T c S{(Q{P)~TPX S, Q, P, U c (S{U)~Q|PPX S, Q, P, V c S~(Q{P){VPX S, Q, P, W c S{Q~W|PPX S, Q, P, X c (S|Q)~X{PPX S, Q, Q, R c S~(Q{Q){RPX S, Q, Q, T c S~T|QQPX S, Q, Q, V c (S{Q)~Q{VPX S, Q, Q, X c S~Q{Q{XPX S, Q, R, P c (S{Q)~R{PPX S, Q, R, Q c S~(Q{Q){RPX S, Q, R, R c S{(Q{R)~RPX S, Q, R, S c (S{S)~Q{RPX S, Q, R, T c S~Q~R|TPX S, Q, R, U c S{Q~U{RPX S, Q, R, V c S{R~(V|Q)PX S, Q, R, W c S~Q{R{WPX S, Q, R, X c S{Q~R{XPX S, Q, S, P c S~S{Q{PPX S, Q, S, R c (S{S)~Q{RPX S, Q, S, T c (S{Q)~S|TPX S, Q, S, U c S~S{UQPX S, Q, S, V c S{Q~S{VPX S, Q, S, X c S{Q{S{XPX S, Q, T, P c S{(Q{P)~TPX S, Q, T, Q c S~T|QQPX S, Q, T, R c S~Q~R|TPX S, Q, T, S c (S{Q)~S|TPX S, Q, T, T c S{Q~T{TPX S, Q, T, U c S~Q{T{UPX S, Q, T, V c (S|Q)~V{TPX S, Q, T, W c S{Q{T{WPX S, Q, T, X c (S|Q)~T{XPX S, Q, U, P c (S{U)~Q|PPX S, Q, U, R c S{Q~U{RPX S, Q, U, S c S~S{UQPX S, Q, U, T c S~Q{U{TPX S, Q, U, V c S{Q{U{VPX S, Q, U, W c (S~W{U)QPX S, Q, V, P c S{Q~V{PPX S, Q, V, Q c (S{Q)~Q{VPX S, Q, V, R c S{(V|Q)~RPX S, Q, V, S c S~Q{V{SPX S, Q, V, T c (S|Q)~V{TPX S, Q, V, U c S{Q{V{UPX S, Q, V, V c (S~V)|(Q{V)PX S, Q, V, W c Q~W|S{VPX S, Q, V, X c (S{X)~Q|VPX S, Q, W, P c S{Q~W|PPX S, Q, W, R c (S|Q)~W{RPX S, Q, W, T c S{Q{W{TPX S, Q, W, U c (S~W{U)QPX S, Q, W, V c Q~W|S{VPX S, Q, W, X c S|Q{W{XPX S, Q, X, P c (S|Q)~X{PPX S, Q, X, Q c S~Q{X{QPX S, Q, X, R c S{Q~X|RPX S, Q, X, S c S{Q{X{SPX S, Q, X, T c (S|Q)~T{XPX S, Q, X, V c (S{X)~Q|VPX S, Q, X, W c S|Q{X{WPX S, Q, X, X c S~(X|Q)|XPX S, R, O, S c (S{O)~S{RPX S, R, O, T c S{(R{O)~TPX S, R, O, V c S~R{O{VPX S, R, P, Q c S~(R{Q)|PPX S, R, P, R c S~(R{P){RPX S, R, P, S c S{R~(P{S)PX S, R, P, T c S{R~P~TPX S, R, P, U c S~R{P{UPX S, R, P, V c S~R{P~VPX S, R, P, W c S~R|P{WPX S, R, Q, P c S~(R{Q)|PPX S, R, Q, Q c S~(Q{Q){RPX S, R, Q, R c S{(R{Q)~RPX S, R, Q, S c (S{S)~Q{RPX S, R, Q, T c (S{R)~Q{TPX S, R, Q, U c S{R{Q~UPX S, R, Q, V c S{R~(V|Q)PX S, R, Q, W c S~Q{R{WPX S, R, Q, X c S{R~Q{XPX S, R, R, P c S~(R{P){RPX S, R, R, Q c S{R~(R{Q)PX S, R, R, S c S{R{R~SPX S, R, R, T c S~(R{R)|TPX S, R, R, U c S{R~R{UPX S, R, R, V c (S{VR)~RPX S, R, R, W c S{R~(W|R)PX S, R, R, X c S{R{R{XPX S, R, S, O c S~S{R{OPX S, R, S, P c S{R~(S{P)PX S, R, S, Q c (S{S)~Q{RPX S, R, S, R c S{R{S~RPX S, R, S, S c (S{RS)~SPX S, R, S, T c (S{S)~R|TPX S, R, S, U c S~S|R{UPX S, R, S, V c S~(R{VS)PX S, R, S, W c S{R{S{WPX S, R, S, X c (S{R)~S|XPX S, R, T, O c S{R~T{OPX S, R, T, P c S{R~T~PPX S, R, T, Q c S~R{T{QPX S, R, T, R c (SR{T)~RPX S, R, T, S c S~T{R|SPX S, R, T, T c (ST{R)~TPX S, R, T, U c S{T~(U|R)PX S, R, T, V c S{R{T{VPX S, R, T, W c (S{T)~R|WPX S, R, T, X c S{TR~XPX S, R, U, P c S{R~(U|P)PX S, R, U, Q c S{R{U~QPX S, R, U, R c S{R~U|RPX S, R, U, S c S~S|R{UPX S, R, U, T c S{(U|R)~TPX S, R, U, U c S{R{U{UPX S, R, U, V c S{R~V|UPX S, R, U, W c S~U{R|WPX S, R, V, O c S~R{V{OPX S, R, V, P c S~R{V~PPX S, R, V, Q c S{R~(V|Q)PX S, R, V, R c (S{VR)~RPX S, R, V, S c S~(R{VS)PX S, R, V, T c S{R{V{TPX S, R, V, U c S{R~V|UPX S, R, V, W c R~V|WSPX S, R, V, X c SR~X{VPX S, R, W, P c S~R{W|PPX S, R, W, Q c S~WQ{RPX S, R, W, R c S{R~(W|R)PX S, R, W, S c S{R{W{SPX S, R, W, T c (S{T)~R|WPX S, R, W, U c S~U{R|WPX S, R, W, V c R~(W|S){VPX S, R, W, W c R{WS~WPX S, R, W, X c S{R~W|XPX S, R, X, Q c S|R{X~QPX S, R, X, R c S{R{X{RPX S, R, X, S c S{R~(X|S)PX S, R, X, T c S{XR~TPX S, R, X, V c SR~X{VPX S, R, X, W c S{R~W|XPX S, R, X, X c S|R{X{XPX S, S, O, R c S~S{O{RPX S, S, P, P c S~(S{P)|PPX S, S, P, Q c S~S{P{QPX S, S, P, R c S{(S{P)~RPX S, S, P, S c S~S|P{SPX S, S, P, T c S{(S|P)~TPX S, S, P, U c (S~U)|(S{P)PX S, S, P, V c S~(S|P){VPX S, S, P, X c S~(X|S)|PPX S, S, Q, P c S~S{Q{PPX S, S, Q, R c (S{S)~Q{RPX S, S, Q, T c S~(S{Q)|TPX S, S, Q, U c S~S{UQPX S, S, Q, V c S{S~Q{VPX S, S, Q, X c S{S{Q{XPX S, S, R, O c S~S{R{OPX S, S, R, P c S~S{R~PPX S, S, R, Q c (S{S)~Q{RPX S, S, R, R c S{S~R{RPX S, S, R, S c S~(S{RS)PX S, S, R, T c (S{S)~R|TPX S, S, R, U c S~S|R{UPX S, S, R, V c S~(R{VS)PX S, S, R, W c S{S{R{WPX S, S, R, X c S~(S{R)|XPX S, S, S, P c S{S~S|PPX S, S, S, R c S~(S{RS)PX S, S, S, T c S~T|SSPX S, S, S, V c S{S{S{VPX S, S, T, P c S{(S|P)~TPX S, S, T, Q c S~S{T|QPX S, S, T, R c (S{S)~R|TPX S, S, T, S c S~T|SSPX S, S, T, T c S{S~T|TPX S, S, T, U c S{S{T{UPX S, S, T, V c S{T~(V|S)PX S, S, T, W c S~S|T{WPX S, S, U, P c (S~U)|(S{P)PX S, S, U, Q c S~S{UQPX S, S, U, R c S~S{U|RPX S, S, U, T c S{S{U{TPX S, S, U, W c S~(S{UW)PX S, S, U, X c S{S~U|XPX S, S, V, P c S~(S|P){VPX S, S, V, Q c S{S~Q{VPX S, S, V, R c S~(VS{R)PX S, S, V, S c S{S{V{SPX S, S, V, T c S{(V|S)~TPX S, S, V, V c S~(V|S){VPX S, S, V, X c S~(V|XS)PX S, S, W, R c S{S{W{RPX S, S, W, T c S~S{W|TPX S, S, W, U c S~(S{UW)PX S, S, W, X c (S~W)|(S{X)PX S, S, X, P c S~(X|S)|PPX S, S, X, Q c S{S{X{QPX S, S, X, R c S~S{XRPX S, S, X, U c S~S{X|UPX S, S, X, V c S~(V|XS)PX S, S, X, W c (S{X~W)SPX S, S, X, X c SS{X{XPX S, T, O, P c S~T{O|PPX S, T, O, R c S{(T{O)~RPX S, T, O, U c (S{O)~U|TPX S, T, P, O c S~T|P{OPX S, T, P, P c S~T|P~PPX S, T, P, Q c S{T~(P{Q)PX S, T, P, R c S{T~P~RPX S, T, P, S c S~(T|PS)PX S, T, P, T c S~(T{P)|TPX S, T, P, U c (S{P)~T|UPX S, T, P, V c S~(V|P)|TPX S, T, P, W c (S|P)~W|TPX S, T, P, X c S{T{P{XPX S, T, Q, P c (S{T)~Q{PPX S, T, Q, Q c S~T|QQPX S, T, Q, R c S~T{Q|RPX S, T, Q, S c (S{Q)~S|TPX S, T, Q, T c S{T{Q~TPX S, T, Q, U c S{TQ~UPX S, T, Q, V c S~(T|Q){VPX S, T, Q, W c S{T{Q{WPX S, T, Q, X c S~(T{Q)|XPX S, T, R, O c S{T~R{OPX S, T, R, P c S{T~R~PPX S, T, R, Q c S~T|R{QPX S, T, R, R c S~T|RRPX S, T, R, S c S~T{R|SPX S, T, R, T c (ST{R)~TPX S, T, R, U c S{T~(U|R)PX S, T, R, V c S{T{R{VPX S, T, R, W c (S{T)~R|WPX S, T, R, X c S{TR~XPX S, T, S, P c S{T~(S|P)PX S, T, S, Q c S~S{T|QPX S, T, S, R c S~T|S{RPX S, T, S, S c S~T|SSPX S, T, S, T c S{T~S|TPX S, T, S, U c S{T{S{UPX S, T, S, V c S{T~(V|S)PX S, T, S, W c S~S|T{WPX S, T, T, P c S~(T{P)|TPX S, T, T, Q c S{T{T~QPX S, T, T, R c (ST{R)~TPX S, T, T, S c S~T|T{SPX S, T, T, T c S{T{T{TPX S, T, T, U c S~T{T|UPX S, T, T, W c S{T~(W|T)PX S, T, U, O c S~U|T{OPX S, T, U, P c S~U|T~PPX S, T, U, Q c S{T~UQPX S, T, U, R c S{T~(U|R)PX S, T, U, S c S{T{U{SPX S, T, U, T c S~T|U{TPX S, T, U, U c (S|TU)~UPX S, T, U, V c S~T{U|VPX S, T, U, W c U~(W|S)|TPX S, T, U, X c S{T~(X|U)PX S, T, V, P c S~(V|P)|TPX S, T, V, Q c S~(T|Q){VPX S, T, V, R c S{T{V{RPX S, T, V, S c S{T~(V|S)PX S, T, V, U c S~T|V{UPX S, T, V, V c S~T|VVPX S, T, V, W c S~T{V|WPX S, T, W, P c (S|P)~W|TPX S, T, W, Q c S{T{W{QPX S, T, W, R c (S{T)~R|WPX S, T, W, S c S~S|T{WPX S, T, W, T c S{T~(W|T)PX S, T, W, U c (W|S)~U|TPX S, T, W, V c S~T|W{VPX S, T, W, W c S~T|WWPX S, T, W, X c S~T{W|XPX S, T, X, P c S{T{X{PPX S, T, X, Q c S~(T{Q)|XPX S, T, X, R c S{T~XRPX S, T, X, U c S{T~(X|U)PX S, T, X, W c S~T|X{WPX S, T, X, X c S~T|XXPX S, U, O, T c S~U{O|TPX S, U, O, X c S{U{O{XPX S, U, P, P c S~(U|P)|PPX S, U, P, Q c (S{U)~Q|PPX S, U, P, R c S{(U|P)~RPX S, U, P, S c (S~U)|(P{S)PX S, U, P, T c S~U|P~TPX S, U, P, U c S~U{P|UPX S, U, P, V c U~(V|S){PPX S, U, P, W c S{U{P{WPX S, U, P, X c S{U{P~XPX S, U, Q, P c (S{U)~Q|PPX S, U, Q, R c S{U~Q{RPX S, U, Q, S c S~S{UQPX S, U, Q, T c S{UQ~TPX S, U, Q, V c S{U{Q{VPX S, U, Q, W c (S~W{U)QPX S, U, R, P c S{(U|P)~RPX S, U, R, Q c (S~U)|(R{Q)PX S, U, R, R c S{U{R~RPX S, U, R, S c S~S{U|RPX S, U, R, T c S{(U|R)~TPX S, U, R, U c S{U{R{UPX S, U, R, V c S~(U|R){VPX S, U, R, W c S~U{R|WPX S, U, S, P c (S~U)|(S{P)PX S, U, S, Q c S~S{UQPX S, U, S, R c S~S{U|RPX S, U, S, T c S{U{S{TPX S, U, S, W c (S{UW)~SPX S, U, S, X c S{U~S|XPX S, U, T, O c S~U|T{OPX S, U, T, P c S~U|T~PPX S, U, T, Q c S{U~TQPX S, U, T, R c S{(U|R)~TPX S, U, T, S c S{U{T{SPX S, U, T, T c S~T|U{TPX S, U, T, U c (S|TU)~UPX S, U, T, V c S~T{U|VPX S, U, T, W c U~(W|S)|TPX S, U, T, X c S{T~(X|U)PX S, U, U, P c S~U|U{PPX S, U, U, R c S{U{U{RPX S, U, U, T c (S|TU)~UPX S, U, U, V c (U|S)~U{VPX S, U, V, P c U~(V|S){PPX S, U, V, Q c S{U{V{QPX S, U, V, R c S~(U|R){VPX S, U, V, T c S~T{U|VPX S, U, V, U c (U|S)~U{VPX S, U, V, W c (S~W)|(U{V)PX S, U, V, X c S~(X|U){VPX S, U, W, P c S{U{W{PPX S, U, W, Q c (S~W{U)QPX S, U, W, R c S~U|W{RPX S, U, W, S c (S{UW)~SPX S, U, W, T c U~(W|S)|TPX S, U, W, V c (S~W)|(U{V)PX S, U, W, X c U|S{W{XPX S, U, X, O c S{U{X{OPX S, U, X, P c S{U{X~PPX S, U, X, S c S~U|X{SPX S, U, X, T c S{(X|U)~TPX S, U, X, V c S~(X|U){VPX S, U, X, W c U|S{X{WPX S, V, O, R c (S{O)~R{VPX S, V, O, W c S{V{O{WPX S, V, O, X c S~V{O|XPX S, V, P, Q c S{V~Q{PPX S, V, P, R c S~P~R{VPX S, V, P, S c (S|P)~S{VPX S, V, P, T c S~(V|P)|TPX S, V, P, U c (V|S)~U{PPX S, V, P, V c S{V{P{VPX S, V, P, W c S{V{P~WPX S, V, P, X c S{V|P{XPX S, V, Q, P c S{V~Q{PPX S, V, Q, Q c (S{Q)~Q{VPX S, V, Q, R c S{(V|Q)~RPX S, V, Q, S c S{V{Q~SPX S, V, Q, T c S~VQ{TPX S, V, Q, U c S{V{Q{UPX S, V, Q, V c (S~V)|(Q{V)PX S, V, Q, W c V|S{Q~WPX S, V, Q, X c (S{X)~Q|VPX S, V, R, O c S~R{V{OPX S, V, R, P c S~R{V~PPX S, V, R, Q c S{(V|Q)~RPX S, V, R, R c (S{VR)~RPX S, V, R, S c S~(VS{R)PX S, V, R, T c S{V{R{TPX S, V, R, U c S{V~R|UPX S, V, R, W c V{R~(W|S)PX S, V, R, X c SR~X{VPX S, V, S, P c S~(S|P){VPX S, V, S, Q c S{V{S~QPX S, V, S, R c S~(VS{R)PX S, V, S, S c S{V{S{SPX S, V, S, T c S{(V|S)~TPX S, V, S, V c S~(V|S){VPX S, V, S, X c S~(V|XS)PX S, V, T, P c S~(V|P)|TPX S, V, T, Q c S~VQ{TPX S, V, T, R c S{V{T{RPX S, V, T, S c (S~V)|(T{S)PX S, V, T, U c S~T|V{UPX S, V, T, V c S~T|VVPX S, V, T, W c S~T{V|WPX S, V, U, P c (V|S)~U{PPX S, V, U, Q c S{V{U{QPX S, V, U, R c (S~V)|(U{R)PX S, V, U, T c S~T|V{UPX S, V, U, U c V{(U|S)~UPX S, V, U, W c (S~W)|(V{U)PX S, V, U, X c S~(X|U){VPX S, V, V, P c S{V{V{PPX S, V, V, Q c (S~V)|(V{Q)PX S, V, V, S c S~(V|S){VPX S, V, V, T c S~T|VVPX S, V, V, X c (S|XV)~VPX S, V, W, O c S{V{W{OPX S, V, W, P c S{V{W~PPX S, V, W, Q c V|S{W~QPX S, V, W, R c V{(W|S)~RPX S, V, W, T c S~(W|T){VPX S, V, W, U c (S~W)|(V{U)PX S, V, W, W c V|S{W{WPX S, V, W, X c (V|S)~X|WPX S, V, X, O c S~V|X{OPX S, V, X, P c S{V{X|PPX S, V, X, Q c (S{X)~Q|VPX S, V, X, R c S~XR{VPX S, V, X, S c S~(V|XS)PX S, V, X, U c S~(X|U){VPX S, V, X, V c (S|XV)~VPX S, V, X, W c (V|S)~X|WPX S, W, O, V c S{W{O{VPX S, W, P, Q c S{W~Q|PPX S, W, P, R c S~(W|R)|PPX S, W, P, T c (S|P)~W|TPX S, W, P, U c S{W{P{UPX S, W, P, V c S{W{P~VPX S, W, P, W c S{W|P{WPX S, W, P, X c S~(W|P)|XPX S, W, Q, P c S{W~Q|PPX S, W, Q, R c S~WQ{RPX S, W, Q, T c S{W{Q{TPX S, W, Q, U c (S~W{U)QPX S, W, Q, V c W~Q|S{VPX S, W, Q, X c S{W|Q{XPX S, W, R, P c S~(W|R)|PPX S, W, R, Q c S~WQ{RPX S, W, R, R c S{(W|R)~RPX S, W, R, S c S{W{R{SPX S, W, R, T c (S{T)~R|WPX S, W, R, U c S~U|W{RPX S, W, R, V c (W|S)~R{VPX S, W, R, W c WS~W{RPX S, W, R, X c S{W~R|XPX S, W, S, R c S{W{S{RPX S, W, S, T c S~S{W|TPX S, W, S, U c S~(S{UW)PX S, W, S, X c (S~W)|(S{X)PX S, W, T, P c (S|P)~W|TPX S, W, T, Q c S{W{T{QPX S, W, T, R c (S{T)~R|WPX S, W, T, S c S~S{W|TPX S, W, T, T c S{(W|T)~TPX S, W, T, U c (W|S)~U|TPX S, W, T, V c S~(W|T){VPX S, W, T, W c (S~W)|(T{W)PX S, W, T, X c S~T{W|XPX S, W, U, P c S{W{U{PPX S, W, U, Q c (S~W{U)QPX S, W, U, R c S~U|W{RPX S, W, U, S c (S{UW)~SPX S, W, U, T c (W|S)~U|TPX S, W, U, V c (S~W)|(U{V)PX S, W, U, X c W|S{U{XPX S, W, V, O c S{W{V{OPX S, W, V, P c S{W{V~PPX S, W, V, Q c W~Q|S{VPX S, W, V, R c (W|S)~R{VPX S, W, V, T c S~(W|T){VPX S, W, V, U c (S~W)|(V{U)PX S, W, V, W c W|S{V{WPX S, W, V, X c (W|S)~V|XPX S, W, W, P c S{W{W|PPX S, W, W, R c WS~W{RPX S, W, W, T c (S~W)|(W{T)PX S, W, W, V c W|S{W{VPX S, W, W, X c WS{W{XPX S, W, X, P c S~(W|P)|XPX S, W, X, Q c S{W{X|QPX S, W, X, R c S{W~R|XPX S, W, X, S c (S{W~X)SPX S, W, X, T c S~T{W|XPX S, W, X, U c W|S{X{UPX S, W, X, V c (W|S)~V|XPX S, W, X, W c WS{X{WPX S, W, X, X c (S~X)|(W{X)PX S, X, O, U c S{X{O{UPX S, X, O, V c (S{O)~V|XPX S, X, P, Q c S~XQ{PPX S, X, P, S c S~(X|S)|PPX S, X, P, T c S{X{P{TPX S, X, P, U c S{X{P~UPX S, X, P, V c S{X|P{VPX S, X, P, W c (S|P)~X|WPX S, X, Q, P c S~XQ{PPX S, X, Q, Q c (S~X{Q)QPX S, X, Q, R c S{X{Q~RPX S, X, Q, S c S{X{Q{SPX S, X, Q, T c (S|Q)~T{XPX S, X, Q, V c (S{X)~Q|VPX S, X, Q, W c S{X|Q{WPX S, X, Q, X c S~(X|Q)|XPX S, X, R, Q c S{X{R~QPX S, X, R, R c S{X{R{RPX S, X, R, S c S{(X|S)~RPX S, X, R, T c S{XR~TPX S, X, R, V c S~XR{VPX S, X, R, W c S{R~W|XPX S, X, R, X c S{X|R{XPX S, X, S, P c S~(X|S)|PPX S, X, S, Q c S{X{S{QPX S, X, S, R c S{(X|S)~RPX S, X, S, U c S~S{X|UPX S, X, S, V c S~(V|XS)PX S, X, S, W c (S{X~W)SPX S, X, S, X c SS{X{XPX S, X, T, P c S{X{T{PPX S, X, T, Q c S~(T{Q)|XPX S, X, T, R c S{X~TRPX S, X, T, U c S{(X|U)~TPX S, X, T, W c S~T|X{WPX S, X, T, X c S~T|XXPX S, X, U, O c S{X{U{OPX S, X, U, P c S{X{U~PPX S, X, U, S c S~U|X{SPX S, X, U, T c S{(X|U)~TPX S, X, U, V c S~(X|U){VPX S, X, U, W c X|S{U{WPX S, X, V, O c S~V|X{OPX S, X, V, P c S{X{V|PPX S, X, V, Q c (S{X)~Q|VPX S, X, V, R c S~XR{VPX S, X, V, S c S~(V|XS)PX S, X, V, U c S~(X|U){VPX S, X, V, V c (S|XV)~VPX S, X, V, W c X~(V|S)|WPX S, X, W, P c S~(W|P)|XPX S, X, W, Q c S{X{W|QPX S, X, W, R c S{W~R|XPX S, X, W, S c (S{X~W)SPX S, X, W, T c S~T|X{WPX S, X, W, U c X|S{W{UPX S, X, W, V c X~(V|S)|WPX S, X, W, W c X{WS{WPX S, X, W, X c (S~X)|(W{X)PX S, X, X, Q c S~(X|Q)|XPX S, X, X, R c S{X{X|RPX S, X, X, S c SS{X{XPX S, X, X, T c S~T|XXPX S, X, X, W c (S~X)|(X{W)PX T, O, P, S c (T{O)~S|PPX T, O, Q, V c T{O{Q~VPX T, O, Q, X c (T{O)~Q{XPX T, O, R, S c (T{O)~R{SPX T, O, R, W c O{R~W|TPX T, O, S, P c (T{O)~S|PPX T, O, S, R c (T{O)~R{SPX T, O, S, U c O{S~U|TPX T, O, T, U c (T{O)~T|UPX T, O, T, X c T{O{T{XPX T, O, U, S c O{U~S|TPX T, O, U, T c (T{O)~T|UPX T, O, U, W c T{O{U{WPX T, O, V, Q c T{O{V~QPX T, O, V, V c T{O{V{VPX T, O, W, R c O{W~R|TPX T, O, W, U c T{O{W{UPX T, O, X, Q c (T{O)~Q{XPX T, O, X, T c T{O{X{TPX T, P, O, S c (T{O)~S|PPX T, P, P, R c (T{P)~R{PPX T, P, P, S c T~P~S|PPX T, P, P, T c (T|P)~T|PPX T, P, P, V c T{(P{P)~VPX T, P, P, X c T~(P{P){XPX T, P, Q, Q c T~(Q{Q)|PPX T, P, Q, S c T~(P{Q){SPX T, P, Q, T c (T{T)~Q|PPX T, P, Q, U c T{(P{U)~QPX T, P, Q, V c (T{P)~Q{VPX T, P, Q, W c T~Q{P{WPX T, P, Q, X c T~P~Q{XPX T, P, R, P c (T{P)~R{PPX T, P, R, R c T~R{P{RPX T, P, R, S c T~P~R{SPX T, P, R, T c T|P{R~TPX T, P, R, U c (P{R)~U|TPX T, P, R, V c (T|P)~R{VPX T, P, R, W c P~R~W|TPX T, P, R, X c T~(R|P){XPX T, P, S, O c T~S|P{OPX T, P, S, P c T~P~S|PPX T, P, S, Q c T~(P{Q){SPX T, P, S, R c (T|P)~S{RPX T, P, S, S c (T|PS)~SPX T, P, S, T c (T{P)~S|TPX T, P, S, U c T~(P{S)|UPX T, P, S, V c S~(V|P)|TPX T, P, S, W c T~(W|S)|PPX T, P, S, X c T{P{S{XPX T, P, T, P c (T|P)~T|PPX T, P, T, Q c (T{T)~Q|PPX T, P, T, R c T|P{T~RPX T, P, T, S c (T{P)~S|TPX T, P, T, T c (T~T)|(P{T)PX T, P, T, U c T~P~T|UPX T, P, T, V c T~T{P|VPX T, P, T, W c T{P{T{WPX T, P, T, X c T{P~T{XPX T, P, U, Q c T{(P{U)~QPX T, P, U, R c (P{R)~U|TPX T, P, U, S c T~(P{S)|UPX T, P, U, T c (T|P)~U|TPX T, P, U, U c T~(U|P)|UPX T, P, U, V c T{P{U{VPX T, P, U, W c T{P~U{WPX T, P, U, X c T|P{U{XPX T, P, V, P c T{(P{P)~VPX T, P, V, Q c T{P~V~QPX T, P, V, R c (T|P)~R{VPX T, P, V, S c (V|P)~S|TPX T, P, V, T c T~T{P|VPX T, P, V, U c T{P{V{UPX T, P, V, V c T{P~V{VPX T, P, V, W c T|P{V{WPX T, P, V, X c (T|P)~V|XPX T, P, W, Q c T{(W|P)~QPX T, P, W, R c P~W~R|TPX T, P, W, S c T~(W|S)|PPX T, P, W, T c T{P{W{TPX T, P, W, U c T{P~W{UPX T, P, W, V c T|P{W{VPX T, P, X, P c T~(P{P){XPX T, P, X, Q c T~P~Q{XPX T, P, X, R c T~(R|P){XPX T, P, X, S c T{P{X{SPX T, P, X, T c T{P~X{TPX T, P, X, U c T|P{X{UPX T, P, X, V c (T|P)~V|XPX T, Q, O, V c T{(Q{O)~VPX T, Q, O, X c T~Q{O{XPX T, Q, P, Q c T~(Q{Q)|PPX T, Q, P, S c T~(Q{P){SPX T, Q, P, T c (T{T)~Q|PPX T, Q, P, U c T{Q~(P{U)PX T, Q, P, V c T{Q~P~VPX T, Q, P, W c T~Q{P{WPX T, Q, P, X c T~Q{P~XPX T, Q, Q, P c T~(Q{Q)|PPX T, Q, Q, R c (T{Q)~R|QPX T, Q, Q, S c T~S|QQPX T, Q, Q, T c (T{Q)~Q{TPX T, Q, Q, U c T{Q{Q~UPX T, Q, Q, V c T~Q{Q{VPX T, Q, Q, W c T|Q{Q~WPX T, Q, Q, X c T{Q~(X|Q)PX T, Q, R, Q c (T{Q)~R|QPX T, Q, R, R c T~Q{R~RPX T, Q, R, S c T{Q{R~SPX T, Q, R, T c T~T|Q~RPX T, Q, R, U c T~Q{R{UPX T, Q, R, V c (T~V{R)QPX T, Q, R, W c T{Q~R{WPX T, Q, R, X c T{Q{R{XPX T, Q, S, P c T~(Q{P){SPX T, Q, S, Q c T~S|QQPX T, Q, S, R c T{Q{S~RPX T, Q, S, S c T|Q{S~SPX T, Q, S, T c T~Q{S{TPX T, Q, S, U c T{Q~S{UPX T, Q, S, V c (T|Q)~S{VPX T, Q, S, W c T{Q{S{WPX T, Q, S, X c (T{Q)~S|XPX T, Q, T, P c (T{T)~Q|PPX T, Q, T, Q c T{(Q{T)~QPX T, Q, T, R c T~T|Q~RPX T, Q, T, S c T{Q~T{SPX T, Q, T, V c T{Q{T{VPX T, Q, T, W c (T|Q)~W|TPX T, Q, T, X c T~(Q{XT)PX T, Q, U, P c T{Q~(U{P)PX T, Q, U, Q c T{Q{U~QPX T, Q, U, R c T~Q{U{RPX T, Q, U, S c TQ~U{SPX T, Q, U, U c T{Q{U{UPX T, Q, U, V c T~(V|Q)|UPX T, Q, U, W c (T~U{W)QPX T, Q, U, X c (T~U)|(Q{X)PX T, Q, V, O c T{Q~V{OPX T, Q, V, P c T{Q~V~PPX T, Q, V, Q c (T|Q)~V|QPX T, Q, V, R c (T~V{R)QPX T, Q, V, S c (T|Q)~S{VPX T, Q, V, T c T{Q{V{TPX T, Q, V, U c T~(V|Q)|UPX T, Q, V, V c (TV{Q)~VPX T, Q, V, W c T~V|Q~WPX T, Q, V, X c T|Q{V{XPX T, Q, W, P c T{Q~(W|P)PX T, Q, W, Q c T{Q~W|QPX T, Q, W, R c T{Q~R{WPX T, Q, W, S c T{Q{W{SPX T, Q, W, T c (T|Q)~W|TPX T, Q, W, U c (T~U{W)QPX T, Q, W, V c (T{W)~Q|VPX T, Q, W, W c T|Q{W{WPX T, Q, W, X c (T|Q)~X|WPX T, Q, X, O c T~Q{X{OPX T, Q, X, P c T~Q{X~PPX T, Q, X, Q c T{Q~(X|Q)PX T, Q, X, R c T{Q{X{RPX T, Q, X, S c T{Q~X|SPX T, Q, X, T c T~(Q{XT)PX T, Q, X, U c (T~U)|(Q{X)PX T, Q, X, V c T|Q{X{VPX T, Q, X, W c (T|Q)~X|WPX T, Q, X, X c (T{X)~Q|XPX T, R, O, S c T~R{O{SPX T, R, O, W c (R{O)~W|TPX T, R, P, P c T~(R{P)|PPX T, R, P, R c T~R{P{RPX T, R, P, S c T~R{P~SPX T, R, P, T c T~R|P{TPX T, R, P, U c (R{P)~U|TPX T, R, P, V c T{(R|P)~VPX T, R, P, W c R~P~W|TPX T, R, P, X c T~(R|P){XPX T, R, Q, Q c T~R{Q{QPX T, R, Q, R c (T{R)~Q{RPX T, R, Q, S c T{(R{S)~QPX T, R, Q, T c T~T|R~QPX T, R, Q, U c T~(R{Q)|UPX T, R, Q, V c (T~V{R)QPX T, R, Q, W c T{R~Q{WPX T, R, Q, X c T{R{Q{XPX T, R, R, P c T~R{R{PPX T, R, R, Q c (T{R)~Q{RPX T, R, R, S c (T{SR)~RPX T, R, R, T c T{R~R{TPX T, R, R, V c T~R|R{VPX T, R, R, W c T{R{R{WPX T, R, R, X c (R~X)|(T{R)PX T, R, S, O c T~R{S{OPX T, R, S, P c T~R{S~PPX T, R, S, Q c T{(R{S)~QPX T, R, S, R c (T{SR)~RPX T, R, S, S c T~S{R|SPX T, R, S, T c T~(R{ST)PX T, R, S, U c T{R~U|SPX T, R, S, V c T{R{S{VPX T, R, S, W c T~R|S{WPX T, R, S, X c TR~X{SPX T, R, T, P c T{R~T|PPX T, R, T, Q c T~T|R~QPX T, R, T, R c T{R~R{TPX T, R, T, S c T~(R{ST)PX T, R, T, U c T{R{T{UPX T, R, T, V c (T|R)~V{TPX T, R, T, X c (T|R)~T{XPX T, R, U, P c (R{P)~U|TPX T, R, U, Q c T~R{U|QPX T, R, U, S c T{R~U|SPX T, R, U, T c T{R{U{TPX T, R, U, U c R~U|T{UPX T, R, U, V c (T|R)~U{VPX T, R, U, W c (T~U)|(R{W)PX T, R, U, X c TR~U{XPX T, R, V, P c T{(R|P)~VPX T, R, V, Q c (T~V{R)QPX T, R, V, R c T~R{V|RPX T, R, V, S c T{R{V{SPX T, R, V, T c (T|R)~V{TPX T, R, V, U c (T|R)~U{VPX T, R, V, V c T{R~V|VPX T, R, V, W c T~W|R~VPX T, R, V, X c R~(X|T){VPX T, R, W, O c R~W|T{OPX T, R, W, P c R~W|T~PPX T, R, W, Q c T~R{WQPX T, R, W, R c T{R{W{RPX T, R, W, S c T~R{W|SPX T, R, W, U c T~(W|R)|UPX T, R, W, V c T~W|R~VPX T, R, W, W c (R|TW)~WPX T, R, W, X c T|R{W{XPX T, R, X, P c (T|R)~X{PPX T, R, X, Q c T{R{X{QPX T, R, X, R c (R~X)|(T{R)PX T, R, X, S c TR~X{SPX T, R, X, T c T~R{X|TPX T, R, X, U c TR~U{XPX T, R, X, V c R~(X|T){VPX T, R, X, W c T|R{X{WPX T, S, O, P c T~S{O|PPX T, S, O, R c (T{O)~R{SPX T, S, O, U c (S{O)~U|TPX T, S, P, O c T~S|P{OPX T, S, P, P c T~S|P~PPX T, S, P, Q c T~S{P|QPX T, S, P, R c (T|P)~S{RPX T, S, P, S c T~(S|P){SPX T, S, P, T c T~(S|PT)PX T, S, P, U c T~(S{P)|UPX T, S, P, V c S~(V|P)|TPX T, S, P, W c T~(W|S)|PPX T, S, P, X c T{S{P{XPX T, S, Q, P c (T{S)~Q{PPX T, S, Q, Q c T~S|QQPX T, S, Q, R c T~S{Q|RPX T, S, Q, S c T{S~S|QPX T, S, Q, T c T{S{Q~TPX T, S, Q, U c T{S~Q{UPX T, S, Q, V c T{(S|Q)~VPX T, S, Q, W c T{S{Q{WPX T, S, Q, X c T|S{Q~XPX T, S, R, O c T~R{S{OPX T, S, R, P c T~R{S~PPX T, S, R, Q c T{(S{R)~QPX T, S, R, R c (T{SR)~RPX T, S, R, S c T~S{R|SPX T, S, R, T c T~(ST{R)PX T, S, R, U c T|S{R~UPX T, S, R, V c T{S{R{VPX T, S, R, W c (T{S)~R|WPX T, S, R, X c TR~X{SPX T, S, S, P c T~(S|P){SPX T, S, S, Q c T{S~S|QPX T, S, S, R c T~S|S{RPX T, S, S, S c T~S|SSPX T, S, S, T c T~S{S|TPX T, S, S, U c T{S{S{UPX T, S, S, V c T~(V|S){SPX T, S, S, W c S~S|T{WPX T, S, T, P c T~(S|PT)PX T, S, T, Q c T{S{T~QPX T, S, T, R c T~(ST{R)PX T, S, T, S c T~S|T{SPX T, S, T, T c T{S{T{TPX T, S, T, U c T{S~T|UPX T, S, T, W c T~(W|T){SPX T, S, U, O c S~U|T{OPX T, S, U, P c T~(S{P)|UPX T, S, U, Q c T{S~Q{UPX T, S, U, R c T|S{U~RPX T, S, U, S c T{S{U{SPX T, S, U, T c T~S|U{TPX T, S, U, U c T~S|UUPX T, S, U, V c T~S{U|VPX T, S, U, W c U~(W|S)|TPX T, S, U, X c T~(U|S){XPX T, S, V, P c S~(V|P)|TPX T, S, V, Q c T{S~VQPX T, S, V, R c T{S{V{RPX T, S, V, S c T~(V|S){SPX T, S, V, U c T~S|V{UPX T, S, V, V c T~S|VVPX T, S, V, W c T~S{V|WPX T, S, W, P c T~(W|S)|PPX T, S, W, Q c T{S{W{QPX T, S, W, R c (T{S)~R|WPX T, S, W, S c S~S|T{WPX T, S, W, T c T~(W|T){SPX T, S, W, U c (W|S)~U|TPX T, S, W, V c T~S|W{VPX T, S, W, W c T~S|WWPX T, S, W, X c T~S{W|XPX T, S, X, P c T{S{X{PPX T, S, X, Q c T|S{X~QPX T, S, X, R c T~XR{SPX T, S, X, U c T~(X|S)|UPX T, S, X, W c T~S|X{WPX T, S, X, X c T|S{X{XPX T, T, O, U c T~T{O|UPX T, T, O, X c T{T{O{XPX T, T, P, P c T~(T|P)|PPX T, T, P, Q c (T{T)~Q|PPX T, T, P, R c T{T~R|PPX T, T, P, S c (T{P)~S|TPX T, T, P, T c (T~T)|(P{T)PX T, T, P, U c T~T|P~UPX T, T, P, V c T~T{P|VPX T, T, P, W c T{T{P{WPX T, T, P, X c T{T{P~XPX T, T, Q, P c (T{T)~Q|PPX T, T, Q, Q c T{(T{Q)~QPX T, T, Q, R c T~T|Q~RPX T, T, Q, S c T{T~Q{SPX T, T, Q, V c T{T{Q{VPX T, T, Q, W c T~T{Q|WPX T, T, Q, X c TT{Q~XPX T, T, R, P c T{T~R|PPX T, T, R, Q c T~T|R~QPX T, T, R, R c T{T{R~RPX T, T, R, S c T~(R{ST)PX T, T, R, U c T{T{R{UPX T, T, R, V c T{(T|R)~VPX T, T, R, X c T~T{R|XPX T, T, S, P c T~(S|PT)PX T, T, S, Q c (T~T)|(S{Q)PX T, T, S, R c T~(ST{R)PX T, T, S, S c T~S|T{SPX T, T, S, T c T{T{S{TPX T, T, S, U c T{T~S|UPX T, T, S, W c T~(W|T){SPX T, T, T, P c (T~T)|(T{P)PX T, T, T, S c T{T{T{SPX T, T, T, U c T~(T|UT)PX T, T, U, O c T~T|U{OPX T, T, U, P c T~T|U~PPX T, T, U, R c T{T{U{RPX T, T, U, S c T{T~S|UPX T, T, U, T c T~(T|UT)PX T, T, U, U c (T~U)|(T{U)PX T, T, U, X c U~(X|T)|TPX T, T, V, P c T~T|V{PPX T, T, V, Q c T{T{V{QPX T, T, V, R c T{(T|R)~VPX T, T, V, V c T{(V|T)~VPX T, T, V, X c T~(V|T){XPX T, T, W, P c T{T{W{PPX T, T, W, Q c T~T|W{QPX T, T, W, S c T~(W|T){SPX T, T, W, W c (W|T)~W|TPX T, T, X, O c T{T{X{OPX T, T, X, P c T{T{X~PPX T, T, X, Q c TT{X~QPX T, T, X, R c T~T|X{RPX T, T, X, U c (X|T)~U|TPX T, T, X, V c T~(V|T){XPX T, T, X, X c TT{X{XPX T, U, O, S c (U{O)~S|TPX T, U, O, T c (T{O)~T|UPX T, U, O, W c T{U{O{WPX T, U, P, Q c T{(U{P)~QPX T, U, P, R c U~(P{R)|TPX T, U, P, S c T~(P{S)|UPX T, U, P, T c (T|P)~U|TPX T, U, P, U c T~(U|P)|UPX T, U, P, V c T{U{P{VPX T, U, P, W c T{U{P~WPX T, U, P, X c T{U|P{XPX T, U, Q, P c T~(U|Q)|PPX T, U, Q, Q c T{U~Q{QPX T, U, Q, R c (T{U)~Q|RPX T, U, Q, S c T{U{Q~SPX T, U, Q, U c T{U{Q{UPX T, U, Q, V c T~(V|Q)|UPX T, U, Q, W c (T~U{W)QPX T, U, Q, X c (T~U)|(Q{X)PX T, U, R, P c U~(R{P)|TPX T, U, R, Q c (T{U)~Q|RPX T, U, R, S c T{U~R|SPX T, U, R, T c T{U{R{TPX T, U, R, U c U|T{R~UPX T, U, R, V c T{UR~VPX T, U, R, W c (T~U)|(R{W)PX T, U, R, X c T~UR{XPX T, U, S, O c U~S|T{OPX T, U, S, P c T~(S{P)|UPX T, U, S, Q c T{U{S~QPX T, U, S, R c T{U~R|SPX T, U, S, S c T{U{S{SPX T, U, S, T c T~S|U{TPX T, U, S, U c T~S|UUPX T, U, S, V c T{(U|S)~VPX T, U, S, W c U~(W|S)|TPX T, U, S, X c T~(U|S){XPX T, U, T, O c T~T|U{OPX T, U, T, P c T~T|U~PPX T, U, T, R c T{U{T{RPX T, U, T, S c T{T~S|UPX T, U, T, T c (T|UT)~TPX T, U, T, U c (T~U)|(T{U)PX T, U, T, X c U~(X|T)|TPX T, U, U, P c T~(U|P)|UPX T, U, U, Q c T{U{U{QPX T, U, U, R c U|T{U~RPX T, U, U, S c T~S|UUPX T, U, U, T c (T~U)|(U{T)PX T, U, V, P c T{U{V{PPX T, U, V, Q c T~(V|Q)|UPX T, U, V, R c T{U~VRPX T, U, V, S c (T~U)|(V{S)PX T, U, V, V c U~(V|T){VPX T, U, V, W c T{V~(W|U)PX T, U, V, X c U~X|T~VPX T, U, W, O c T{U{W{OPX T, U, W, P c T{U{W~PPX T, U, W, Q c (T~U{W)QPX T, U, W, R c (T~U)|(W{R)PX T, U, W, S c U~(W|S)|TPX T, U, W, V c T{(W|U)~VPX T, U, W, X c T~(W|U){XPX T, U, X, P c T{U{X|PPX T, U, X, Q c (T~U)|(X{Q)PX T, U, X, R c T~UR{XPX T, U, X, S c T~(U|S){XPX T, U, X, T c U~(X|T)|TPX T, U, X, V c U~X|T~VPX T, U, X, W c T~(W|U){XPX T, U, X, X c U|T{X{XPX T, V, O, Q c T{(V{O)~QPX T, V, O, V c T{V{O{VPX T, V, P, P c T{V~(P{P)PX T, V, P, Q c T{V~P~QPX T, V, P, R c T{V~(R|P)PX T, V, P, S c (V|P)~S|TPX T, V, P, T c T~T|V{PPX T, V, P, U c T{V{P{UPX T, V, P, V c T{V{P~VPX T, V, P, W c T{V|P{WPX T, V, P, X c (T|P)~V|XPX T, V, Q, O c T{V~Q{OPX T, V, Q, P c T{V~Q~PPX T, V, Q, Q c (T|Q)~V|QPX T, V, Q, R c (T~V{R)QPX T, V, Q, S c T{VQ~SPX T, V, Q, T c T{V{Q{TPX T, V, Q, U c T~(V|Q)|UPX T, V, Q, V c (TV{Q)~VPX T, V, Q, W c T~V|Q~WPX T, V, Q, X c T{V|Q{XPX T, V, R, P c T{V~(R|P)PX T, V, R, Q c (T~V{R)QPX T, V, R, R c T~R{V|RPX T, V, R, S c T{V{R{SPX T, V, R, T c T{V~(T|R)PX T, V, R, U c T{VR~UPX T, V, R, V c T{V~R|VPX T, V, R, W c T~W|V~RPX T, V, R, X c V{R~(X|T)PX T, V, S, P c (V|P)~S|TPX T, V, S, Q c T{V~(S|Q)PX T, V, S, R c T{V{S{RPX T, V, S, S c T~(V|S){SPX T, V, S, U c T{V~(U|S)PX T, V, S, V c T~S|VVPX T, V, S, W c T{VS~WPX T, V, T, P c T~T|V{PPX T, V, T, Q c T{V{T{QPX T, V, T, R c T{V~(T|R)PX T, V, T, V c T{(V|T)~VPX T, V, T, X c T~(V|T){XPX T, V, U, P c T{V{U{PPX T, V, U, Q c T~(V|Q)|UPX T, V, U, R c T{V~URPX T, V, U, S c T{V~(U|S)PX T, V, U, V c (V|T)~U{VPX T, V, U, W c T{V~(W|U)PX T, V, U, X c U~X|T~VPX T, V, V, O c T{V{V{OPX T, V, V, P c T{V{V~PPX T, V, V, Q c (TV{Q)~VPX T, V, V, R c T{V~R|VPX T, V, V, S c T~S|VVPX T, V, V, T c T{V~(V|T)PX T, V, V, U c (V|T)~U{VPX T, V, V, X c (T~V)|(V{X)PX T, V, W, P c T{V{W|PPX T, V, W, Q c T~V|W~QPX T, V, W, R c T~W|V~RPX T, V, W, S c T{V~WSPX T, V, W, U c T{V~(W|U)PX T, V, W, W c (T~V)|(W{W)PX T, V, W, X c V|T{W{XPX T, V, X, P c (T|P)~V|XPX T, V, X, Q c T{V{X|QPX T, V, X, R c V{(X|T)~RPX T, V, X, T c T~(V|T){XPX T, V, X, U c X~U|T~VPX T, V, X, V c T{V~(X|V)PX T, V, X, W c V|T{X{WPX T, V, X, X c T~(X|V){XPX T, W, O, R c (W{O)~R|TPX T, W, O, U c T{W{O{UPX T, W, P, Q c T{(W|P)~QPX T, W, P, R c W~P~R|TPX T, W, P, S c T~(W|S)|PPX T, W, P, T c T{W{P{TPX T, W, P, U c T{W{P~UPX T, W, P, V c T{W|P{VPX T, W, Q, P c T~WQ|PPX T, W, Q, Q c T{W~Q|QPX T, W, Q, R c T{W{Q~RPX T, W, Q, S c T{W{Q{SPX T, W, Q, T c (T|Q)~W|TPX T, W, Q, U c (T~U{W)QPX T, W, Q, V c (T{W)~Q|VPX T, W, Q, W c T{W|Q{WPX T, W, Q, X c (T|Q)~X|WPX T, W, R, O c W~R|T{OPX T, W, R, P c W~R|T~PPX T, W, R, Q c T{W{R~QPX T, W, R, R c T{W{R{RPX T, W, R, S c T~R{W|SPX T, W, R, U c T~(W|R)|UPX T, W, R, V c T~W|R~VPX T, W, R, W c W~(R|TW)PX T, W, R, X c T{W|R{XPX T, W, S, P c T~(W|S)|PPX T, W, S, Q c T{W{S{QPX T, W, S, R c (T{S)~R|WPX T, W, S, S c W|T{S~SPX T, W, S, T c T~(W|T){SPX T, W, S, U c (W|S)~U|TPX T, W, S, V c T{WS~VPX T, W, S, W c T~S|WWPX T, W, S, X c T~WS{XPX T, W, T, P c T{W{T{PPX T, W, T, Q c T~T|W{QPX T, W, T, S c T~(W|T){SPX T, W, T, W c (W|T)~W|TPX T, W, U, O c T{W{U{OPX T, W, U, P c T{W{U~PPX T, W, U, Q c (T~U{W)QPX T, W, U, R c (T{WU)~RPX T, W, U, S c (W|S)~U|TPX T, W, U, V c T{(W|U)~VPX T, W, U, X c T~(W|U){XPX T, W, V, P c T{W{V|PPX T, W, V, Q c (T{W)~Q|VPX T, W, V, R c T~W|V~RPX T, W, V, S c T{W~VSPX T, W, V, U c T{(W|U)~VPX T, W, V, W c (T~V)|(W{W)PX T, W, V, X c W|T{V{XPX T, W, W, Q c T{W{W|QPX T, W, W, R c W~(R|TW)PX T, W, W, S c T~S|WWPX T, W, W, T c (W|T)~W|TPX T, W, W, V c (T~V)|(W{W)PX T, W, W, W c W|T{W{WPX T, W, W, X c (W|T)~X|WPX T, W, X, Q c (T|Q)~X|WPX T, W, X, R c T{W{X|RPX T, W, X, S c T~WS{XPX T, W, X, U c T~(W|U){XPX T, W, X, V c W|T{X{VPX T, W, X, W c (W|T)~X|WPX T, X, O, Q c (T{O)~Q{XPX T, X, O, T c T{X{O{TPX T, X, P, P c T~(P{P){XPX T, X, P, Q c T~P~Q{XPX T, X, P, R c (T|R)~X{PPX T, X, P, S c T{X{P{SPX T, X, P, T c T{X{P~TPX T, X, P, U c T{X|P{UPX T, X, P, V c (T|P)~V|XPX T, X, Q, O c T~Q{X{OPX T, X, Q, P c T~Q{X~PPX T, X, Q, Q c T{(X|Q)~QPX T, X, Q, R c T{X{Q{RPX T, X, Q, S c T{X~Q|SPX T, X, Q, T c T~(XT{Q)PX T, X, Q, U c (T~U)|(X{Q)PX T, X, Q, V c T{X|Q{VPX T, X, Q, W c (T|Q)~X|WPX T, X, Q, X c (T{X)~Q|XPX T, X, R, P c (T|R)~X{PPX T, X, R, Q c T{X{R{QPX T, X, R, R c (X~R)|(T{R)PX T, X, R, S c T~XR{SPX T, X, R, T c T~R{X|TPX T, X, R, U c TR~U{XPX T, X, R, V c (X|T)~R{VPX T, X, R, W c T{X|R{WPX T, X, S, P c T{X{S{PPX T, X, S, Q c T{X~Q|SPX T, X, S, R c T~XR{SPX T, X, S, U c T~(X|S)|UPX T, X, S, W c T~S|X{WPX T, X, S, X c T{X|S{XPX T, X, T, O c T{X{T{OPX T, X, T, P c T{X{T~PPX T, X, T, Q c T~(XT{Q)PX T, X, T, R c T~T|X{RPX T, X, T, U c (X|T)~U|TPX T, X, T, V c T~(V|T){XPX T, X, T, X c TT{X{XPX T, X, U, P c T{X{U|PPX T, X, U, Q c (T~U)|(X{Q)PX T, X, U, R c T~UR{XPX T, X, U, S c T~(X|U){SPX T, X, U, T c (X|T)~U|TPX T, X, U, V c X~U|T~VPX T, X, U, W c T~(W|U){XPX T, X, U, X c X|T{U{XPX T, X, V, P c (T|P)~V|XPX T, X, V, Q c T{X{V|QPX T, X, V, R c (X|T)~R{VPX T, X, V, T c T~(V|T){XPX T, X, V, U c X~U|T~VPX T, X, V, V c T{(X|V)~VPX T, X, V, W c X|T{V{WPX T, X, V, X c T~(X|V){XPX T, X, W, Q c (T|Q)~X|WPX T, X, W, R c T{X{W|RPX T, X, W, S c T~WS{XPX T, X, W, U c T~(W|U){XPX T, X, W, V c X|T{W{VPX T, X, W, W c X~(W|T)|WPX T, X, X, Q c (T{X)~Q|XPX T, X, X, S c T{X{X|SPX T, X, X, T c TT{X{XPX T, X, X, U c X|T{X{UPX T, X, X, V c T~(X|V){XPX U, O, P, R c (U{O)~R{PPX U, O, Q, V c (U{O)~Q{VPX U, O, R, P c (U{O)~R{PPX U, O, S, T c (U{O)~S|TPX U, O, S, X c U{O{S{XPX U, O, T, S c (U{O)~S|TPX U, O, T, T c O{T~T|UPX U, O, T, W c U{O{T{WPX U, O, U, V c U{O{U{VPX U, O, V, Q c (U{O)~Q{VPX U, O, V, U c U{O{V{UPX U, O, W, T c U{O{W{TPX U, O, X, S c U{O{X{SPX U, P, O, R c (U{O)~R{PPX U, P, P, Q c U~(P{Q){PPX U, P, P, R c U~P~R{PPX U, P, P, S c (U|P)~S|PPX U, P, P, V c U~(P{P){VPX U, P, Q, P c U~(P{Q){PPX U, P, Q, R c (U{P)~R|QPX U, P, Q, S c (U{S)~Q|PPX U, P, Q, T c (U{P)~Q{TPX U, P, Q, U c U{P{Q~UPX U, P, Q, V c U|P{Q~VPX U, P, Q, W c U~Q|P{WPX U, P, Q, X c (U|P)~Q{XPX U, P, R, O c U~R{P{OPX U, P, R, P c U~P~R{PPX U, P, R, Q c (U{P)~R|QPX U, P, R, R c (U{PR)~RPX U, P, R, S c U{P{R~SPX U, P, R, T c U~(P{R)|TPX U, P, R, U c U~(PU{R)PX U, P, R, V c U~(R|P){VPX U, P, R, W c P{R~W|UPX U, P, R, X c U{P{R{XPX U, P, S, P c (U|P)~S|PPX U, P, S, Q c (U{S)~Q|PPX U, P, S, R c U{P{S~RPX U, P, S, S c (U~S)|(P{S)PX U, P, S, T c U~P~S|TPX U, P, S, U c U~S{P|UPX U, P, S, V c U~(V|S){PPX U, P, S, W c U{P{S{WPX U, P, S, X c U{P~S{XPX U, P, T, Q c (U{P)~Q{TPX U, P, T, R c U~(P{R)|TPX U, P, T, S c U~P~S|TPX U, P, T, T c U~(T|P)|TPX U, P, T, U c (U|P)~T|UPX U, P, T, V c U{P{T{VPX U, P, T, W c U{P~T{WPX U, P, T, X c U|P{T{XPX U, P, U, Q c U{P{U~QPX U, P, U, R c U~(PU{R)PX U, P, U, S c U~S{P|UPX U, P, U, T c (U|P)~T|UPX U, P, U, U c U{P{U{UPX U, P, U, V c U{P~U{VPX U, P, U, W c U|P{U{WPX U, P, U, X c U~(X|U){PPX U, P, V, P c U~(P{P){VPX U, P, V, Q c U|P{V~QPX U, P, V, R c U~(R|P){VPX U, P, V, S c U~(V|S){PPX U, P, V, T c U{P{V{TPX U, P, V, U c U{P~V{UPX U, P, V, V c U|P{V{VPX U, P, W, Q c U~Q|P{WPX U, P, W, R c P{W~R|UPX U, P, W, S c U{P{W{SPX U, P, W, T c U{P~W{TPX U, P, W, U c U|P{W{UPX U, P, W, X c P{(W|U)~XPX U, P, X, Q c (U|P)~Q{XPX U, P, X, R c U{P{X{RPX U, P, X, S c U{P~X{SPX U, P, X, T c U|P{X{TPX U, P, X, U c U~(X|U){PPX U, P, X, W c P{X~(W|U)PX U, Q, O, V c U~Q{O{VPX U, Q, P, P c U~(Q{P){PPX U, Q, P, R c (U{P)~R|QPX U, Q, P, S c (U{S)~Q|PPX U, Q, P, T c (U|Q)~T|PPX U, Q, P, U c U~Q{P{UPX U, Q, P, V c U~Q{P~VPX U, Q, P, W c U~Q|P{WPX U, Q, P, X c (U|P)~Q{XPX U, Q, Q, R c (U{Q)~Q{RPX U, Q, Q, T c U~Q{Q{TPX U, Q, Q, U c (U~U{Q)QPX U, Q, Q, V c UQ~V|QPX U, Q, Q, W c UQ{Q~WPX U, Q, Q, X c U{Q{Q{XPX U, Q, R, P c (U{R)~Q{PPX U, Q, R, Q c (U{Q)~Q{RPX U, Q, R, R c U~R|Q{RPX U, Q, R, S c U~Q{R{SPX U, Q, R, T c (U{Q)~R|TPX U, Q, R, U c (U{QU)~RPX U, Q, R, V c U{Q~R{VPX U, Q, R, W c U{Q{R{WPX U, Q, R, X c Q~(RU{X)PX U, Q, S, P c (U{S)~Q|PPX U, Q, S, R c (U|Q)~S{RPX U, Q, S, S c UQ{S~SPX U, Q, S, T c U{Q~S{TPX U, Q, S, V c U{Q{S{VPX U, Q, S, W c (U{S~W)QPX U, Q, T, P c (U|Q)~T|PPX U, Q, T, Q c U~Q{T{QPX U, Q, T, R c U{Q~T{RPX U, Q, T, S c UQ~T{SPX U, Q, T, U c U{Q{T{UPX U, Q, T, V c T~(V|Q)|UPX U, Q, T, W c UQ~W|TPX U, Q, T, X c U{Q~X|TPX U, Q, U, P c U{Q~U{PPX U, Q, U, Q c (U~U{Q)QPX U, Q, U, R c (U{QU)~RPX U, Q, U, T c U{Q{U{TPX U, Q, U, V c U~(Q{VU)PX U, Q, U, X c U|Q{U{XPX U, Q, V, O c U~Q{V{OPX U, Q, V, P c U{Q~V|PPX U, Q, V, Q c UQ~V|QPX U, Q, V, R c U{Q~R{VPX U, Q, V, S c U{Q{V{SPX U, Q, V, T c (V|Q)~T|UPX U, Q, V, U c U~(Q{VU)PX U, Q, V, V c (U{V)~Q|VPX U, Q, V, W c U|Q{V{WPX U, Q, V, X c (U|Q)~V|XPX U, Q, W, P c U~Q{W|PPX U, Q, W, Q c UQ{W~QPX U, Q, W, R c U{Q{W{RPX U, Q, W, S c (U{W~S)QPX U, Q, W, T c UQ~W|TPX U, Q, W, V c U|Q{W{VPX U, Q, W, W c UQ{W{WPX U, Q, W, X c UQ~X|WPX U, Q, X, P c (U|P)~Q{XPX U, Q, X, Q c U{Q{X{QPX U, Q, X, R c Q~(X{RU)PX U, Q, X, T c U{Q~X|TPX U, Q, X, U c U|Q{X{UPX U, Q, X, V c UQ{X{VPX U, Q, X, W c UQ~X|WPX U, R, O, P c U~R{O{PPX U, R, P, O c U~R{P{OPX U, R, P, P c U~R{P~PPX U, R, P, Q c U~R|P{QPX U, R, P, R c (U{PR)~RPX U, R, P, S c U{R~S{PPX U, R, P, T c U~(R{P)|TPX U, R, P, U c U~(R{PU)PX U, R, P, V c U~(R|P){VPX U, R, P, W c R~W|U{PPX U, R, P, X c U{R{P{XPX U, R, Q, P c (U{R)~Q{PPX U, R, Q, Q c U~R{QQPX U, R, Q, R c U~R|Q{RPX U, R, Q, S c U~Q{R{SPX U, R, Q, T c U{R{Q~TPX U, R, Q, U c (U{QU)~RPX U, R, Q, V c U{R~Q{VPX U, R, Q, W c U{R{Q{WPX U, R, Q, X c (RU{X)~QPX U, R, R, P c (U{PR)~RPX U, R, R, Q c U~R{R|QPX U, R, R, R c U~R{RRPX U, R, R, S c U{R~R{SPX U, R, R, V c U{R{R{VPX U, R, R, W c (U{R)~R|WPX U, R, R, X c (U{RX)~RPX U, R, S, P c U{R~S{PPX U, R, S, Q c (U~S)|(R{Q)PX U, R, S, R c U~R{S|RPX U, R, S, S c U|R{S~SPX U, R, S, T c U~R|S{TPX U, R, S, U c U{R{S{UPX U, R, S, V c (U|R)~S{VPX U, R, S, W c U~S{R|WPX U, R, T, P c U~(R{P)|TPX U, R, T, Q c U{R{T~QPX U, R, T, S c (U|R)~T{SPX U, R, T, T c U{R{T{TPX U, R, T, U c U~R|T{UPX U, R, T, V c UR~V{TPX U, R, T, W c (U|R)~W|TPX U, R, T, X c UR~T{XPX U, R, U, P c (U|R)~U{PPX U, R, U, Q c (U{QU)~RPX U, R, U, S c U{R{U{SPX U, R, U, T c U{R~U|TPX U, R, U, U c U~R{UUPX U, R, U, V c U~R|U{VPX U, R, V, P c U~(R|P){VPX U, R, V, Q c (U|R)~V|QPX U, R, V, R c U{R{V{RPX U, R, V, S c (U|R)~S{VPX U, R, V, T c UR~V{TPX U, R, V, U c U~R{V|UPX U, R, V, V c U~R{VVPX U, R, V, W c U{R~V|WPX U, R, V, X c U|R{V{XPX U, R, W, P c R~W|U{PPX U, R, W, Q c U{R{W{QPX U, R, W, R c UR~W{RPX U, R, W, S c U~S{R|WPX U, R, W, T c (U|R)~W|TPX U, R, W, V c U~R{W|VPX U, R, W, W c U|R{W{WPX U, R, W, X c U~R|W{XPX U, R, X, P c U{R{X{PPX U, R, X, Q c (RU{X)~QPX U, R, X, R c (U{RX)~RPX U, R, X, T c UR~T{XPX U, R, X, V c U|R{X{VPX U, R, X, W c (U|R)~X|WPX U, R, X, X c U~R{XXPX U, S, O, T c U~S{O|TPX U, S, O, X c U{S{O{XPX U, S, P, P c U~(S|P){PPX U, S, P, Q c (U{S)~Q|PPX U, S, P, R c U{S~R{PPX U, S, P, S c (U~S)|(P{S)PX U, S, P, T c U~S|P~TPX U, S, P, U c U~S{P|UPX U, S, P, V c U~(V|S){PPX U, S, P, W c U{S{P{WPX U, S, P, X c U{S{P~XPX U, S, Q, P c (U{S)~Q|PPX U, S, Q, R c (U~S)|(Q{R)PX U, S, Q, S c UQ{S~SPX U, S, Q, T c U{S~Q{TPX U, S, Q, V c U{S{Q{VPX U, S, Q, W c (U{S~W)QPX U, S, R, P c U{S~R{PPX U, S, R, Q c (U~S)|(R{Q)PX U, S, R, R c U{S{R~RPX U, S, R, S c U{S~S|RPX U, S, R, T c U~R|S{TPX U, S, R, U c U{S{R{UPX U, S, R, V c (U|R)~S{VPX U, S, R, W c U~S{R|WPX U, S, S, P c (U~S)|(S{P)PX U, S, S, Q c UQ{S~SPX U, S, S, R c U{S~S|RPX U, S, S, T c U{S{S{TPX U, S, S, W c (UW{S)~SPX U, S, S, X c U~S{S|XPX U, S, T, O c U~S|T{OPX U, S, T, P c U~S|T~PPX U, S, T, Q c U{S~Q{TPX U, S, T, R c U~R|S{TPX U, S, T, S c U{S{T{SPX U, S, T, T c S~T|U{TPX U, S, T, U c U~(S|TU)PX U, S, T, V c U{S~T|VPX U, S, T, W c U~(W|S)|TPX U, S, T, X c (U|S)~T{XPX U, S, U, P c U~S|U{PPX U, S, U, R c U{S{U{RPX U, S, U, T c U~(S|TU)PX U, S, U, V c (U|S)~U{VPX U, S, V, P c U~(V|S){PPX U, S, V, Q c U{S{V{QPX U, S, V, R c (U|R)~S{VPX U, S, V, T c (U|S)~V{TPX U, S, V, U c (U|S)~U{VPX U, S, V, W c US~W{VPX U, S, V, X c S~(X|U){VPX U, S, W, P c U{S{W{PPX U, S, W, Q c (U{S~W)QPX U, S, W, R c (U|S)~W{RPX U, S, W, S c (UW{S)~SPX U, S, W, T c U~(W|S)|TPX U, S, W, V c US~W{VPX U, S, W, X c U|S{W{XPX U, S, X, O c U{S{X{OPX U, S, X, P c U{S{X~PPX U, S, X, S c U~S|X{SPX U, S, X, T c (U|S)~T{XPX U, S, X, V c S~(X|U){VPX U, S, X, W c U|S{X{WPX U, T, O, S c (U{O)~S|TPX U, T, O, T c (T{O)~T|UPX U, T, O, W c U{T{O{WPX U, T, P, Q c U~(T|Q){PPX U, T, P, R c U~(P{R)|TPX U, T, P, S c U~P~S|TPX U, T, P, T c U~(T|P)|TPX U, T, P, U c (U|P)~T|UPX U, T, P, V c U{T{P{VPX U, T, P, W c U{T{P~WPX U, T, P, X c U{T|P{XPX U, T, Q, P c U~(T|Q){PPX U, T, Q, Q c U~Q{T{QPX U, T, Q, R c U{T~Q{RPX U, T, Q, S c U{T{Q~SPX U, T, Q, U c U{T{Q{UPX U, T, Q, V c T~(V|Q)|UPX U, T, Q, W c (U~T{W)QPX U, T, Q, X c U|T{Q~XPX U, T, R, P c U~(R{P)|TPX U, T, R, Q c U{T~R|QPX U, T, R, S c (U|R)~T{SPX U, T, R, T c U{T{R{TPX U, T, R, U c U|T{R~UPX U, T, R, V c U~(T|R){VPX U, T, R, W c (U~T)|(R{W)PX U, T, R, X c U~TR{XPX U, T, S, O c U~S|T{OPX U, T, S, P c U~S|T~PPX U, T, S, Q c U{T{S~QPX U, T, S, R c (U|R)~T{SPX U, T, S, S c U{T{S{SPX U, T, S, T c T~S|U{TPX U, T, S, U c U~(S|TU)PX U, T, S, V c U{T~S|VPX U, T, S, W c U~(W|S)|TPX U, T, S, X c (U|S)~T{XPX U, T, T, O c T~T|U{OPX U, T, T, P c U~(T|P)|TPX U, T, T, R c U{T{T{RPX U, T, T, S c T{T~S|UPX U, T, T, T c (T|UT)~TPX U, T, T, U c (U~T)|(T{U)PX U, T, T, X c U~(X|T)|TPX U, T, U, P c (U|P)~T|UPX U, T, U, Q c U{T{U{QPX U, T, U, R c U|T{U~RPX U, T, U, S c U~(S|TU)PX U, T, U, T c (U~T)|(U{T)PX U, T, V, P c U{T{V{PPX U, T, V, Q c T~(V|Q)|UPX U, T, V, R c U~(T|R){VPX U, T, V, S c (U~T)|(V{S)PX U, T, V, V c U~(V|T){VPX U, T, V, W c T{V~(W|U)PX U, T, V, X c U~X|T~VPX U, T, W, O c U{T{W{OPX U, T, W, P c U{T{W~PPX U, T, W, Q c (U~T{W)QPX U, T, W, R c (U~T)|(W{R)PX U, T, W, S c U~(W|S)|TPX U, T, W, V c T{(W|U)~VPX U, T, W, X c T~(W|U){XPX U, T, X, P c U{T{X|PPX U, T, X, Q c U|T{X~QPX U, T, X, R c U~TR{XPX U, T, X, S c (U|S)~T{XPX U, T, X, T c U~(X|T)|TPX U, T, X, V c U~X|T~VPX U, T, X, W c T~(W|U){XPX U, T, X, X c U|T{X{XPX U, U, O, V c U{U{O{VPX U, U, P, Q c U{U~Q{PPX U, U, P, R c U~(U|R){PPX U, U, P, S c U~S|U{PPX U, U, P, T c (U|P)~T|UPX U, U, P, U c U{U{P{UPX U, U, P, V c U{U{P~VPX U, U, P, W c U{U|P{WPX U, U, P, X c U~(X|U){PPX U, U, Q, P c U{U~Q{PPX U, U, Q, Q c (U~U{Q)QPX U, U, Q, R c (U{QU)~RPX U, U, Q, T c U{U{Q{TPX U, U, Q, V c U~(Q{VU)PX U, U, Q, X c U{U|Q{XPX U, U, R, P c U~(U|R){PPX U, U, R, Q c (U{QU)~RPX U, U, R, S c U{U{R{SPX U, U, R, T c U{U~R|TPX U, U, R, U c UU{R~UPX U, U, R, V c U~UR{VPX U, U, S, P c U~S|U{PPX U, U, S, R c U{U{S{RPX U, U, S, T c U~(S|TU)PX U, U, S, V c U~(U|S){VPX U, U, T, P c (U|P)~T|UPX U, U, T, Q c U{U{T{QPX U, U, T, R c U{U~R|TPX U, U, T, S c U~(S|TU)PX U, U, T, T c (U~T)|(U{T)PX U, U, U, P c U{U{U{PPX U, U, U, R c UU{U~RPX U, U, V, O c U{U{V{OPX U, U, V, P c U{U{V~PPX U, U, V, Q c U~(VU{Q)PX U, U, V, R c U~UR{VPX U, U, V, S c U~(U|S){VPX U, U, V, W c U~(W|U){VPX U, U, W, P c U{U{W|PPX U, U, W, V c U~(W|U){VPX U, U, W, X c (U~U)|(W{X)PX U, U, X, P c U~(X|U){PPX U, U, X, Q c U{U{X|QPX U, U, X, W c (U~U)|(X{W)PX U, U, X, X c UU{X{XPX U, V, O, Q c (U{O)~Q{VPX U, V, O, U c U{V{O{UPX U, V, P, P c U~(P{P){VPX U, V, P, Q c U{V~Q|PPX U, V, P, R c U~(R|P){VPX U, V, P, S c U~(V|S){PPX U, V, P, T c U{V{P{TPX U, V, P, U c U{V{P~UPX U, V, P, V c U{V|P{VPX U, V, Q, O c U~Q{V{OPX U, V, Q, P c U{V~Q|PPX U, V, Q, Q c (U{VQ)~QPX U, V, Q, R c U{V{Q~RPX U, V, Q, S c U{V{Q{SPX U, V, Q, T c (V|Q)~T|UPX U, V, Q, U c U~(VU{Q)PX U, V, Q, V c (U{V)~Q|VPX U, V, Q, W c U{V|Q{WPX U, V, Q, X c (U|Q)~V|XPX U, V, R, P c U~(R|P){VPX U, V, R, Q c U{V{R~QPX U, V, R, R c U{V{R{RPX U, V, R, S c (U|R)~S{VPX U, V, R, T c U~(V|R)|TPX U, V, R, U c U~R{V|UPX U, V, R, V c U~R{VVPX U, V, R, W c U{V~R|WPX U, V, R, X c U{V|R{XPX U, V, S, P c U~(V|S){PPX U, V, S, Q c U{V{S{QPX U, V, S, R c (U|R)~S{VPX U, V, S, T c (U|S)~V{TPX U, V, S, U c (U|S)~U{VPX U, V, S, W c US~W{VPX U, V, S, X c V{S~(X|U)PX U, V, T, P c U{V{T{PPX U, V, T, Q c (V|Q)~T|UPX U, V, T, R c U~(V|R)|TPX U, V, T, S c (U~T)|(V{S)PX U, V, T, V c U~(V|T){VPX U, V, T, W c V~(W|U){TPX U, V, T, X c U~X|V~TPX U, V, U, O c U{V{U{OPX U, V, U, P c U{V{U~PPX U, V, U, Q c U~(VU{Q)PX U, V, U, R c U~UR{VPX U, V, U, S c U~(U|S){VPX U, V, U, W c U~(W|U){VPX U, V, V, P c U{V{V|PPX U, V, V, Q c (U{V)~Q|VPX U, V, V, R c U~R{VVPX U, V, V, T c U~(V|T){VPX U, V, V, X c U~(X|V){VPX U, V, W, Q c U{V{W|QPX U, V, W, R c U{V~R|WPX U, V, W, S c U~WS{VPX U, V, W, T c V~(W|U){TPX U, V, W, U c U~(W|U){VPX U, V, W, X c V{WU~XPX U, V, X, Q c (U|Q)~V|XPX U, V, X, R c U{V{X|RPX U, V, X, S c V{(X|U)~SPX U, V, X, T c U~X|V~TPX U, V, X, V c U~(X|V){VPX U, V, X, W c V{XU~WPX U, V, X, X c V|U{X{XPX U, W, O, T c U{W{O{TPX U, W, P, Q c U~Q{W|PPX U, W, P, R c W~R|U{PPX U, W, P, S c U{W{P{SPX U, W, P, T c U{W{P~TPX U, W, P, U c U{W|P{UPX U, W, P, X c (W|U)~X{PPX U, W, Q, P c U~Q{W|PPX U, W, Q, Q c UQ{W~QPX U, W, Q, R c U{W{Q{RPX U, W, Q, S c (U{W~S)QPX U, W, Q, T c U~WQ|TPX U, W, Q, V c U{W|Q{VPX U, W, Q, W c UQ{W{WPX U, W, Q, X c (U{W)~Q|XPX U, W, R, P c W~R|U{PPX U, W, R, Q c U{W{R{QPX U, W, R, R c U~WR{RPX U, W, R, S c (U|S)~W{RPX U, W, R, T c (U|R)~W|TPX U, W, R, V c U~R{W|VPX U, W, R, W c U{W|R{WPX U, W, R, X c (U~W{X)RPX U, W, S, P c U{W{S{PPX U, W, S, Q c (U{W~S)QPX U, W, S, R c (U|S)~W{RPX U, W, S, S c (UW{S)~SPX U, W, S, T c U~(W|S)|TPX U, W, S, V c U~WS{VPX U, W, S, X c U{W|S{XPX U, W, T, O c U{W{T{OPX U, W, T, P c U{W{T~PPX U, W, T, Q c U~WQ|TPX U, W, T, R c (U~T)|(W{R)PX U, W, T, S c U~(W|S)|TPX U, W, T, V c (W|U)~V{TPX U, W, T, X c (W|U)~T{XPX U, W, U, P c U{W{U|PPX U, W, U, V c U~(W|U){VPX U, W, U, X c (U~U)|(W{X)PX U, W, V, Q c U{W{V|QPX U, W, V, R c U{V~R|WPX U, W, V, S c U~WS{VPX U, W, V, T c (W|U)~V{TPX U, W, V, U c U~(W|U){VPX U, W, V, X c WU~X{VPX U, W, W, Q c UQ{W{WPX U, W, W, R c U{W{W|RPX U, W, W, X c W|U{W{XPX U, W, X, P c (W|U)~X{PPX U, W, X, Q c (U{W)~Q|XPX U, W, X, R c (U~W{X)RPX U, W, X, S c U{W{X|SPX U, W, X, T c (W|U)~T{XPX U, W, X, U c (U~U)|(W{X)PX U, W, X, V c WU~X{VPX U, W, X, W c W|U{X{WPX U, W, X, X c (X|U)~X|WPX U, X, O, S c U{X{O{SPX U, X, P, Q c (U|P)~Q{XPX U, X, P, R c U{X{P{RPX U, X, P, S c U{X{P~SPX U, X, P, T c U{X|P{TPX U, X, P, U c U~(X|U){PPX U, X, P, W c X~(W|U){PPX U, X, Q, P c (U|P)~Q{XPX U, X, Q, Q c U{X{Q{QPX U, X, Q, R c (X{RU)~QPX U, X, Q, T c U{X~Q|TPX U, X, Q, U c U{X|Q{UPX U, X, Q, V c UQ{X{VPX U, X, Q, W c U~XQ|WPX U, X, R, P c U{X{R{PPX U, X, R, Q c (X{RU)~QPX U, X, R, R c (U~X{R)RPX U, X, R, T c UR~T{XPX U, X, R, V c U{X|R{VPX U, X, R, W c (U|R)~X|WPX U, X, R, X c U~R{XXPX U, X, S, O c U{X{S{OPX U, X, S, P c U{X{S~PPX U, X, S, S c U~S|X{SPX U, X, S, T c (U|S)~T{XPX U, X, S, V c (X|U)~S{VPX U, X, S, W c U{X|S{WPX U, X, T, P c U{X{T|PPX U, X, T, Q c U{X~Q|TPX U, X, T, R c U~TR{XPX U, X, T, S c (U|S)~T{XPX U, X, T, T c U~(X|T)|TPX U, X, T, V c U~X|T~VPX U, X, T, W c (X|U)~W|TPX U, X, T, X c U{X|T{XPX U, X, U, P c U~(X|U){PPX U, X, U, Q c U{X{U|QPX U, X, U, W c (U~U)|(X{W)PX U, X, U, X c UU{X{XPX U, X, V, Q c UQ{X{VPX U, X, V, R c U{X{V|RPX U, X, V, S c (X|U)~S{VPX U, X, V, T c U~X|V~TPX U, X, V, V c U~(X|V){VPX U, X, V, W c XU~W{VPX U, X, V, X c X|U{V{XPX U, X, W, P c X~(W|U){PPX U, X, W, Q c U{X{WQPX U, X, W, R c (U~W{X)RPX U, X, W, S c U{X{W|SPX U, X, W, T c (X|U)~W|TPX U, X, W, U c (U~U)|(X{W)PX U, X, W, V c XU~W{VPX U, X, W, W c X|U{W{WPX U, X, W, X c (X|U)~X|WPX U, X, X, R c U~R{XXPX U, X, X, T c U{X{X|TPX U, X, X, U c UU{X{XPX U, X, X, V c X|U{X{VPX U, X, X, W c (X|U)~X|WPX V, O, Q, R c (V{O)~R|QPX V, O, Q, T c (V{O)~Q{TPX V, O, Q, U c V{O{Q~UPX V, O, R, Q c (V{O)~R|QPX V, O, R, S c V{O{R~SPX V, O, R, X c V{O{R{XPX V, O, S, R c V{O{S~RPX V, O, S, W c V{O{S{WPX V, O, S, X c (V{O)~S|XPX V, O, T, Q c (V{O)~Q{TPX V, O, T, V c V{O{T{VPX V, O, U, Q c V{O{U~QPX V, O, U, U c V{O{U{UPX V, O, V, T c V{O{V{TPX V, O, W, S c V{O{W{SPX V, O, X, R c V{O{X{RPX V, O, X, S c (V{O)~S|XPX V, P, P, R c (V|P)~R{PPX V, P, P, T c V~(P{P){TPX V, P, P, U c V{(P{P)~UPX V, P, Q, Q c V~(P{Q)|QPX V, P, Q, R c (V{P)~Q{RPX V, P, Q, S c V{(P{Q)~SPX V, P, Q, T c V~P~Q{TPX V, P, Q, U c V{P~Q~UPX V, P, Q, V c (V|P)~Q{VPX V, P, Q, X c V{P{Q{XPX V, P, R, P c (V|P)~R{PPX V, P, R, Q c V~P~R|QPX V, P, R, R c V{(P{R)~RPX V, P, R, S c V{P~R~SPX V, P, R, T c (V{P)~R|TPX V, P, R, U c V{(R|P)~UPX V, P, R, W c V{P{R{WPX V, P, R, X c V{P~R{XPX V, P, S, Q c V{(P{Q)~SPX V, P, S, R c V{P~S~RPX V, P, S, S c V{(S|P)~SPX V, P, S, T c (V|P)~S|TPX V, P, S, U c (V|S)~U{PPX V, P, S, V c V{P{S{VPX V, P, S, W c V{P~S{WPX V, P, S, X c V|P{S{XPX V, P, T, P c V~(P{P){TPX V, P, T, Q c V{(P{T)~QPX V, P, T, R c (V{P)~R|TPX V, P, T, S c (V|P)~S|TPX V, P, T, T c P{T~T|VPX V, P, T, U c V{P{T{UPX V, P, T, V c V{P~T{VPX V, P, T, W c V|P{T{WPX V, P, T, X c V~(T|P)|XPX V, P, U, P c V{(P{P)~UPX V, P, U, Q c V{P~U~QPX V, P, U, R c V{U~(R|P)PX V, P, U, S c (V|S)~U{PPX V, P, U, T c V{P{U{TPX V, P, U, U c V{P~U{UPX V, P, U, V c V|P{U{VPX V, P, V, Q c (V|P)~Q{VPX V, P, V, S c V{P{V{SPX V, P, V, T c V{P~V{TPX V, P, V, U c V|P{V{UPX V, P, W, R c V{P{W{RPX V, P, W, S c V{P~W{SPX V, P, W, T c V|P{W{TPX V, P, X, Q c V{P{X{QPX V, P, X, R c V{P~X{RPX V, P, X, S c V|P{X{SPX V, P, X, T c V~(T|P)|XPX V, P, X, X c P{(X|V)~XPX V, Q, O, R c (V{O)~R|QPX V, Q, O, T c V~Q{O{TPX V, Q, O, U c V{(Q{O)~UPX V, Q, P, Q c V~(Q{P)|QPX V, Q, P, R c (V{P)~Q{RPX V, Q, P, S c V{(Q{P)~SPX V, Q, P, T c V{Q~(P{T)PX V, Q, P, U c V{Q~P~UPX V, Q, P, V c V{Q~(V|P)PX V, Q, P, X c V{Q{P{XPX V, Q, Q, P c (V{Q)~Q{PPX V, Q, Q, R c V{(Q{Q)~RPX V, Q, Q, S c V{Q~(Q{S)PX V, Q, Q, T c V{Q{Q~TPX V, Q, Q, U c (VQ{U)~QPX V, Q, Q, V c V|Q{Q~VPX V, Q, Q, W c V{Q{Q{WPX V, Q, Q, X c (V|Q)~Q{XPX V, Q, R, O c V~R|Q{OPX V, Q, R, P c (V{R)~Q|PPX V, Q, R, Q c V{Q~R~QPX V, Q, R, R c V{Q~(R{R)PX V, Q, R, S c (V|Q)~R{SPX V, Q, R, T c (V~T{R)QPX V, Q, R, U c V{Q~R{UPX V, Q, R, V c V{Q{R{VPX V, Q, R, W c (V{Q)~R|WPX V, Q, R, X c V{Q~(X|R)PX V, Q, S, P c (V|Q)~S|PPX V, Q, S, Q c V{(Q{S)~QPX V, Q, S, R c (V|Q)~R{SPX V, Q, S, S c V{Q~S{SPX V, Q, S, T c VQ~S{TPX V, Q, S, U c V{Q{S{UPX V, Q, S, V c (V~S)|(Q{V)PX V, Q, S, W c V{Q~W|SPX V, Q, S, X c V~Q|S{XPX V, Q, T, O c V~Q{T{OPX V, Q, T, P c V{Q~(T{P)PX V, Q, T, Q c V{Q{T~QPX V, Q, T, R c (V~T{R)QPX V, Q, T, S c VQ~S{TPX V, Q, T, T c V{Q{T{TPX V, Q, T, U c (V|Q)~T|UPX V, Q, T, V c V~(Q{TV)PX V, Q, T, W c V~T|Q~WPX V, Q, T, X c V|Q{T{XPX V, Q, U, O c V{Q~U{OPX V, Q, U, P c V{Q~U~PPX V, Q, U, Q c (VQ{U)~QPX V, Q, U, R c V{Q~R{UPX V, Q, U, S c V{Q{U{SPX V, Q, U, T c (V|Q)~T|UPX V, Q, U, U c (VU{Q)~UPX V, Q, U, V c (V{U)~Q|VPX V, Q, U, W c V|Q{U{WPX V, Q, U, X c V{Q~X|UPX V, Q, V, P c V{Q~(V|P)PX V, Q, V, Q c V{Q~V|QPX V, Q, V, R c V{Q{V{RPX V, Q, V, S c V~(V|S)|QPX V, Q, V, T c V~(Q{TV)PX V, Q, V, U c (V{U)~Q|VPX V, Q, V, V c V|Q{V{VPX V, Q, V, X c (V{V)~Q|XPX V, Q, W, Q c V{Q{W{QPX V, Q, W, R c V~Q{W|RPX V, Q, W, S c V{Q~W|SPX V, Q, W, T c V~(W|T)|QPX V, Q, W, U c V|Q{W{UPX V, Q, W, W c V{WQ{WPX V, Q, W, X c VQ~W|XPX V, Q, X, P c V{Q{X{PPX V, Q, X, Q c (V|Q)~Q{XPX V, Q, X, R c V{Q~(X|R)PX V, Q, X, S c V~Q{X|SPX V, Q, X, T c V|Q{X{TPX V, Q, X, U c V{Q~X|UPX V, Q, X, V c (V{V)~Q|XPX V, Q, X, W c VQ~W|XPX V, R, O, Q c V~R{O|QPX V, R, O, S c V{(R{O)~SPX V, R, O, X c V{R{O{XPX V, R, P, P c (V~R)|(P{P)PX V, R, P, Q c V~R|P~QPX V, R, P, R c V{(R{P)~RPX V, R, P, S c V{R~P~SPX V, R, P, T c V~(R|P){TPX V, R, P, U c V{(R|P)~UPX V, R, P, W c V{R{P{WPX V, R, P, X c V{R{P~XPX V, R, Q, O c V~R|Q{OPX V, R, Q, P c (V{R)~Q|PPX V, R, Q, Q c V{R~(Q{Q)PX V, R, Q, R c V{(R{R)~QPX V, R, Q, S c V~R{Q|SPX V, R, Q, T c (V~T{R)QPX V, R, Q, U c V{R~Q{UPX V, R, Q, V c V{R{Q{VPX V, R, Q, W c V{RQ~WPX V, R, Q, X c VR~X|QPX V, R, R, P c V{R~(R{P)PX V, R, R, Q c V{(R{R)~QPX V, R, R, R c V{R{R~RPX V, R, R, S c (V|R)~S{RPX V, R, R, T c V|R{R~TPX V, R, R, U c V{R{R{UPX V, R, R, V c (V|R)~R{VPX V, R, S, O c V{R~S{OPX V, R, S, P c V{R~S~PPX V, R, S, Q c V~R|S{QPX V, R, S, R c (V|R)~S{RPX V, R, S, S c (VS{R)~SPX V, R, S, T c V{R{S{TPX V, R, S, U c V~R{S|UPX V, R, S, W c V{R~(W|S)PX V, R, S, X c V{SR~XPX V, R, T, P c V{R~(T|P)PX V, R, T, Q c (V~T{R)QPX V, R, T, R c V{R~T|RPX V, R, T, S c V{R{T{SPX V, R, T, T c V~(T|R){TPX V, R, T, U c (V|R)~U|TPX V, R, T, V c V~R{T|VPX V, R, T, W c (V|T)~W{RPX V, R, T, X c V{R~(X|T)PX V, R, U, P c V{(R|P)~UPX V, R, U, Q c V{R~(U|Q)PX V, R, U, R c V{R{U{RPX V, R, U, S c V~R|U{SPX V, R, U, T c (V|R)~U|TPX V, R, U, U c V{R~U|UPX V, R, U, V c VV{R~UPX V, R, U, W c V~R{U|WPX V, R, U, X c V|R{U{XPX V, R, V, Q c V{R{V{QPX V, R, V, R c V{R~(V|R)PX V, R, V, T c V~R|V{TPX V, R, V, U c VV{R~UPX V, R, V, W c V|R{V{WPX V, R, V, X c V{R~V|XPX V, R, W, P c V{R{W{PPX V, R, W, Q c V{R~WQPX V, R, W, S c V{R~(W|S)PX V, R, W, T c (V|T)~W{RPX V, R, W, U c V~R|W{UPX V, R, W, V c V|R{W{VPX V, R, W, W c (W~W|V)RPX V, R, W, X c R{W~(X|V)PX V, R, X, O c V{R{X{OPX V, R, X, P c V{R{X~PPX V, R, X, Q c VR~X|QPX V, R, X, S c V{XR~SPX V, R, X, T c V{R~(X|T)PX V, R, X, U c V|R{X{UPX V, R, X, V c V~R|X{VPX V, R, X, W c R{(X|V)~WPX V, R, X, X c V{XR{XPX V, S, O, R c V{(S{O)~RPX V, S, O, W c V{S{O{WPX V, S, O, X c V~S{O|XPX V, S, P, Q c V{S~(P{Q)PX V, S, P, R c V{S~P~RPX V, S, P, S c V{(S|P)~SPX V, S, P, T c (V|P)~S|TPX V, S, P, U c (V|S)~U{PPX V, S, P, V c V{S{P{VPX V, S, P, W c V{S{P~WPX V, S, P, X c V{S|P{XPX V, S, Q, P c V{S~(Q{P)PX V, S, Q, Q c V{(S{Q)~QPX V, S, Q, R c (V{S)~Q|RPX V, S, Q, S c V{S{Q~SPX V, S, Q, T c V~(S|Q){TPX V, S, Q, U c V{S{Q{UPX V, S, Q, V c (V~S)|(Q{V)PX V, S, Q, W c V|S{Q~WPX V, S, Q, X c V~Q|S{XPX V, S, R, O c V{S~R{OPX V, S, R, P c V{S~R~PPX V, S, R, Q c (V{S)~Q|RPX V, S, R, R c V~S|R~RPX V, S, R, S c (VS{R)~SPX V, S, R, T c V{S{R{TPX V, S, R, U c (V~S)|(R{U)PX V, S, R, W c V{R~(W|S)PX V, S, R, X c V{SR~XPX V, S, S, P c V{S~(S|P)PX V, S, S, Q c V{S{S~QPX V, S, S, R c (VS{R)~SPX V, S, S, S c V{S{S{SPX V, S, S, T c (V~S)|(S{T)PX V, S, S, V c (V|S)~S{VPX V, S, S, X c (V|XS)~SPX V, S, T, P c (V|P)~S|TPX V, S, T, Q c V{S~(T|Q)PX V, S, T, R c V{S{T{RPX V, S, T, S c (V|S)~T{SPX V, S, T, U c V~(U|S){TPX V, S, T, V c S~T|VVPX V, S, T, W c V{S~T|WPX V, S, U, P c (V|S)~U{PPX V, S, U, Q c V{S{U{QPX V, S, U, R c V{S~(U|R)PX V, S, U, T c V~(U|S){TPX V, S, U, U c V{(U|S)~UPX V, S, U, W c V{US~WPX V, S, U, X c V{S~(X|U)PX V, S, V, P c V{S{V{PPX V, S, V, Q c (V|S)~V|QPX V, S, V, S c V{S~(V|S)PX V, S, V, T c S~T|VVPX V, S, V, X c V|S{V{XPX V, S, W, O c V{S{W{OPX V, S, W, P c V{S{W~PPX V, S, W, Q c V|S{W~QPX V, S, W, R c V{(W|S)~RPX V, S, W, T c V{S~(W|T)PX V, S, W, U c V{WS~UPX V, S, W, W c V|S{W{WPX V, S, W, X c (V|S)~X|WPX V, S, X, O c V~S|X{OPX V, S, X, P c V{S{X|PPX V, S, X, Q c V~Q|S{XPX V, S, X, R c V{S~XRPX V, S, X, S c (V|XS)~SPX V, S, X, U c V{S~(X|U)PX V, S, X, V c V|S{X{VPX V, S, X, W c (V|S)~X|WPX V, T, O, Q c (V{O)~Q{TPX V, T, O, V c V{T{O{VPX V, T, P, P c V~(P{P){TPX V, T, P, Q c V{(T{P)~QPX V, T, P, R c V{(T|P)~RPX V, T, P, S c (V|P)~S|TPX V, T, P, T c T~T|V{PPX V, T, P, U c V{T{P{UPX V, T, P, V c V{T{P~VPX V, T, P, W c V{T|P{WPX V, T, P, X c V~(T|P)|XPX V, T, Q, O c V~Q{T{OPX V, T, Q, P c V{(T{P)~QPX V, T, Q, Q c V{T~Q{QPX V, T, Q, R c (V~T{R)QPX V, T, Q, S c V{(T|Q)~SPX V, T, Q, T c V{T{Q{TPX V, T, Q, U c (V|Q)~T|UPX V, T, Q, V c V~(TV{Q)PX V, T, Q, W c V~T|Q~WPX V, T, Q, X c V{T|Q{XPX V, T, R, P c V{(T|P)~RPX V, T, R, Q c (V~T{R)QPX V, T, R, R c V{T~R|RPX V, T, R, S c V{T{R{SPX V, T, R, T c V~(T|R){TPX V, T, R, U c V{(T|R)~UPX V, T, R, V c V~R{T|VPX V, T, R, W c (V|T)~W{RPX V, T, R, X c V{R~(X|T)PX V, T, S, P c (V|P)~S|TPX V, T, S, Q c V{(T|Q)~SPX V, T, S, R c V{T{S{RPX V, T, S, S c V~T|S~SPX V, T, S, U c V~(U|S){TPX V, T, S, V c T~S|VVPX V, T, S, W c V{T~S|WPX V, T, T, P c T~T|V{PPX V, T, T, Q c V{T{T{QPX V, T, T, R c V~(T|R){TPX V, T, T, V c (V|T)~V{TPX V, T, T, X c (V|T)~T{XPX V, T, U, P c V{T{U{PPX V, T, U, Q c (V|Q)~T|UPX V, T, U, R c V{(T|R)~UPX V, T, U, S c V~(U|S){TPX V, T, U, V c (V|T)~U{VPX V, T, U, W c V~(W|U){TPX V, T, U, X c U~X|V~TPX V, T, V, O c V{T{V{OPX V, T, V, P c V{T{V~PPX V, T, V, Q c V~(TV{Q)PX V, T, V, R c V~R{T|VPX V, T, V, S c T~S|VVPX V, T, V, T c (V|T)~V{TPX V, T, V, U c (V|T)~U{VPX V, T, V, X c (V~T)|(V{X)PX V, T, W, P c V{T{W|PPX V, T, W, Q c V~T|W~QPX V, T, W, R c (V|T)~W{RPX V, T, W, S c V{T~S|WPX V, T, W, U c V~(W|U){TPX V, T, W, W c (V~T)|(W{W)PX V, T, W, X c V|T{W{XPX V, T, X, P c (V|T)~X{PPX V, T, X, Q c V{T{X|QPX V, T, X, R c V{(X|T)~RPX V, T, X, T c (V|T)~T{XPX V, T, X, U c X~U|V~TPX V, T, X, V c (V~T)|(X{V)PX V, T, X, W c V|T{X{WPX V, T, X, X c V~(X|T)|XPX V, U, O, Q c V{(U{O)~QPX V, U, O, U c V{U{O{UPX V, U, P, P c V{U~(P{P)PX V, U, P, Q c V{U~P~QPX V, U, P, R c V{U~(R|P)PX V, U, P, S c (V|S)~U{PPX V, U, P, T c V{U{P{TPX V, U, P, U c V{U{P~UPX V, U, P, V c V{U|P{VPX V, U, Q, O c V{U~Q{OPX V, U, Q, P c V{U~Q~PPX V, U, Q, Q c V~UQ|QPX V, U, Q, R c V{U{Q~RPX V, U, Q, S c V{U{Q{SPX V, U, Q, T c (V|Q)~T|UPX V, U, Q, U c (VU{Q)~UPX V, U, Q, V c (V{U)~Q|VPX V, U, Q, W c V{U|Q{WPX V, U, Q, X c V{UQ{XPX V, U, R, P c V{U~(R|P)PX V, U, R, Q c V{U{R~QPX V, U, R, R c V{U{R{RPX V, U, R, S c V{(U|R)~SPX V, U, R, T c V~UR{TPX V, U, R, U c V{U~R|UPX V, U, R, V c VV{U~RPX V, U, R, W c V~R{U|WPX V, U, R, X c V{U|R{XPX V, U, S, P c (V|S)~U{PPX V, U, S, Q c V{U{S{QPX V, U, S, R c V{(U|R)~SPX V, U, S, T c V~(U|S){TPX V, U, S, U c V{(U|S)~UPX V, U, S, W c V{US~WPX V, U, S, X c V{S~(X|U)PX V, U, T, P c V{U{T{PPX V, U, T, Q c (V|Q)~T|UPX V, U, T, R c V{U~(T|R)PX V, U, T, S c V~(U|S){TPX V, U, T, V c V{U~(V|T)PX V, U, T, W c V~(W|U){TPX V, U, T, X c U~X|V~TPX V, U, U, O c V{U{U{OPX V, U, U, P c V{U{U~PPX V, U, U, Q c (VU{Q)~UPX V, U, U, R c V{U~URPX V, U, U, S c V{U~(U|S)PX V, U, U, W c V{U~(W|U)PX V, U, V, P c V{U{V|PPX V, U, V, Q c (V{U)~Q|VPX V, U, V, R c VV{U~RPX V, U, V, T c V{U~(V|T)PX V, U, V, X c V{U~(X|V)PX V, U, W, Q c V{U{W|QPX V, U, W, R c V~R{U|WPX V, U, W, S c V{U~WSPX V, U, W, T c V~(W|U){TPX V, U, W, U c V{U~(W|U)PX V, U, W, X c V{WU~XPX V, U, X, Q c V|U{X~QPX V, U, X, R c V{U{X|RPX V, U, X, S c V{(X|U)~SPX V, U, X, T c U~X|V~TPX V, U, X, V c V{U~(X|V)PX V, U, X, W c V{XU~WPX V, U, X, X c V|U{X{XPX V, V, O, T c V{V{O{TPX V, V, P, Q c V{(V|P)~QPX V, V, P, S c V{V{P{SPX V, V, P, T c V{V{P~TPX V, V, P, U c V{V|P{UPX V, V, Q, P c V{(V|P)~QPX V, V, Q, Q c V{V~Q|QPX V, V, Q, R c V{V{Q{RPX V, V, Q, S c V~(V|S)|QPX V, V, Q, T c V~(Q{TV)PX V, V, Q, U c (V{U)~Q|VPX V, V, Q, V c V{V|Q{VPX V, V, Q, X c (V{V)~Q|XPX V, V, R, Q c V{V{R{QPX V, V, R, R c V{(V|R)~RPX V, V, R, T c V~R|V{TPX V, V, R, U c VV{R~UPX V, V, R, W c V{V|R{WPX V, V, R, X c V{V~R|XPX V, V, S, P c V{V{S{PPX V, V, S, Q c V~(V|S)|QPX V, V, S, S c V{(V|S)~SPX V, V, S, T c S~T|VVPX V, V, S, X c V{V|S{XPX V, V, T, O c V{V{T{OPX V, V, T, P c V{V{T~PPX V, V, T, Q c V~(TV{Q)PX V, V, T, R c V~R|V{TPX V, V, T, S c T~S|VVPX V, V, T, T c V~(V|T){TPX V, V, T, U c V{(V|T)~UPX V, V, T, X c (V~T)|(V{X)PX V, V, U, P c V{V{U|PPX V, V, U, Q c (V{U)~Q|VPX V, V, U, R c VV{U~RPX V, V, U, T c V~V|U~TPX V, V, U, X c V{U~(X|V)PX V, V, V, Q c V{V{V|QPX V, V, W, R c V{V{W|RPX V, V, X, Q c VV{X~QPX V, V, X, R c V{V~R|XPX V, V, X, S c V{V{X|SPX V, V, X, T c V~(X|V){TPX V, V, X, U c V{(X|V)~UPX V, V, X, X c VV{X{XPX V, W, O, S c V{W{O{SPX V, W, P, R c V{W{P{RPX V, W, P, S c V{W{P~SPX V, W, P, T c V{W|P{TPX V, W, Q, Q c V{W{Q{QPX V, W, Q, R c V{WQ~RPX V, W, Q, S c V{W~Q|SPX V, W, Q, T c V~(W|T)|QPX V, W, Q, U c V{W|Q{UPX V, W, Q, W c V{WQ{WPX V, W, Q, X c V~WQ|XPX V, W, R, P c V{W{R{PPX V, W, R, Q c V{W~RQPX V, W, R, S c V{(W|S)~RPX V, W, R, T c (V|T)~W{RPX V, W, R, U c V~R|W{UPX V, W, R, V c V{W|R{VPX V, W, R, W c (W~W|V)RPX V, W, R, X c W~(X|V){RPX V, W, S, O c V{W{S{OPX V, W, S, P c V{W{S~PPX V, W, S, Q c V{W~Q|SPX V, W, S, R c V{(W|S)~RPX V, W, S, T c V~WS{TPX V, W, S, U c V{WS~UPX V, W, S, W c V{W|S{WPX V, W, S, X c V~(W|S)|XPX V, W, T, P c V{W{T|PPX V, W, T, Q c V~(W|T)|QPX V, W, T, R c (V|T)~W{RPX V, W, T, S c V{(W|T)~SPX V, W, T, U c V~(W|U){TPX V, W, T, W c (V~T)|(W{W)PX V, W, T, X c V{W|T{XPX V, W, U, Q c V{W{U|QPX V, W, U, R c V~R|W{UPX V, W, U, S c V{W~USPX V, W, U, T c V~(W|U){TPX V, W, U, U c V{(W|U)~UPX V, W, U, X c V{WU~XPX V, W, V, R c V{W{V|RPX V, W, W, Q c V{W{WQPX V, W, W, R c (W~W|V)RPX V, W, W, S c V{W{W|SPX V, W, W, T c (V~T)|(W{W)PX V, W, X, Q c V~WQ|XPX V, W, X, R c W~(X|V){RPX V, W, X, S c V~(W|S)|XPX V, W, X, T c V{W{X|TPX V, W, X, U c V{W~XUPX V, W, X, X c W|V{X{XPX V, X, O, R c V{X{O{RPX V, X, O, S c (V{O)~S|XPX V, X, P, Q c V{X{P{QPX V, X, P, R c V{X{P~RPX V, X, P, S c V{X|P{SPX V, X, P, T c (V|T)~X{PPX V, X, P, X c (X|V)~X{PPX V, X, Q, P c V{X{Q{PPX V, X, Q, Q c (V|Q)~Q{XPX V, X, Q, R c V{(X|R)~QPX V, X, Q, S c V~Q{X|SPX V, X, Q, T c V{X|Q{TPX V, X, Q, U c V{X~Q|UPX V, X, Q, V c VV{X~QPX V, X, Q, W c VQ~W|XPX V, X, R, O c V{X{R{OPX V, X, R, P c V{X{R~PPX V, X, R, Q c V{(X|R)~QPX V, X, R, S c V{XR~SPX V, X, R, T c V{(X|T)~RPX V, X, R, U c V{X|R{UPX V, X, R, V c V~R|X{VPX V, X, R, W c (X|V)~W{RPX V, X, R, X c V{XR{XPX V, X, S, O c V~S|X{OPX V, X, S, P c V{X{S|PPX V, X, S, Q c V~Q{X|SPX V, X, S, R c V{X~SRPX V, X, S, S c (V|XS)~SPX V, X, S, U c V{(X|U)~SPX V, X, S, V c V{X|S{VPX V, X, S, W c (V|S)~X|WPX V, X, T, P c (V|T)~X{PPX V, X, T, Q c V{X{T|QPX V, X, T, R c V{(X|T)~RPX V, X, T, T c (V|T)~T{XPX V, X, T, U c X~U|V~TPX V, X, T, V c V~(X|V){TPX V, X, T, W c V{X|T{WPX V, X, T, X c V~(X|T)|XPX V, X, U, Q c V{X{UQPX V, X, U, R c V{X{U|RPX V, X, U, S c V{(X|U)~SPX V, X, U, T c X~U|V~TPX V, X, U, V c V{(X|V)~UPX V, X, U, W c V{XU~WPX V, X, U, X c V{X|U{XPX V, X, V, Q c VV{X~QPX V, X, V, R c V{V~R|XPX V, X, V, S c V{X{V|SPX V, X, V, T c V~(X|V){TPX V, X, V, U c V{(X|V)~UPX V, X, V, X c VV{X{XPX V, X, W, Q c V~WQ|XPX V, X, W, R c (X|V)~W{RPX V, X, W, S c V~(W|S)|XPX V, X, W, T c V{X{W|TPX V, X, W, U c V{X~WUPX V, X, W, X c X|V{W{XPX V, X, X, P c (X|V)~X{PPX V, X, X, R c V{X{XRPX V, X, X, T c V~(X|T)|XPX V, X, X, U c V{X{X|UPX V, X, X, V c VV{X{XPX V, X, X, W c X|V{X{WPX W, O, Q, R c (W{O)~Q{RPX W, O, Q, X c W{O{Q{XPX W, O, R, Q c (W{O)~Q{RPX W, O, R, T c (W{O)~R|TPX W, O, R, W c W{O{R{WPX W, O, R, X c O{R~X|WPX W, O, S, V c W{O{S{VPX W, O, T, R c (W{O)~R|TPX W, O, T, U c W{O{T{UPX W, O, U, T c W{O{U{TPX W, O, V, S c W{O{V{SPX W, O, W, R c W{O{W{RPX W, O, X, Q c W{O{X{QPX W, O, X, R c O{X~R|WPX W, P, P, Q c (W{P)~Q{PPX W, P, P, R c W~(P{P){RPX W, P, P, X c W{P{P{XPX W, P, Q, P c (W{P)~Q{PPX W, P, Q, Q c W~Q{P{QPX W, P, Q, R c W~P~Q{RPX W, P, Q, S c W~Q|P{SPX W, P, Q, T c W{P{Q~TPX W, P, Q, U c W|P{Q~UPX W, P, Q, W c W{P{Q{WPX W, P, Q, X c W{P~Q{XPX W, P, R, P c W~(P{P){RPX W, P, R, Q c (W|P)~R|QPX W, P, R, R c W~(R|P){RPX W, P, R, S c W|P{R~SPX W, P, R, T c W~P~R|TPX W, P, R, U c W~R{P|UPX W, P, R, V c W{P{R{VPX W, P, R, W c W{P~R{WPX W, P, R, X c W|P{R{XPX W, P, S, Q c W~Q|P{SPX W, P, S, R c W|P{S~RPX W, P, S, T c W~(S|P)|TPX W, P, S, U c W{P{S{UPX W, P, S, V c W{P~S{VPX W, P, S, W c W|P{S{WPX W, P, S, X c (W|P)~S|XPX W, P, T, Q c W{P{T~QPX W, P, T, R c W~P~R|TPX W, P, T, S c W~(S|P)|TPX W, P, T, T c W{P{T{TPX W, P, T, U c W{P~T{UPX W, P, T, V c W|P{T{VPX W, P, U, Q c W|P{U~QPX W, P, U, R c W~R{P|UPX W, P, U, S c W{P{U{SPX W, P, U, T c W{P~U{TPX W, P, U, U c W|P{U{UPX W, P, U, X c (W|U)~X{PPX W, P, V, R c W{P{V{RPX W, P, V, S c W{P~V{SPX W, P, V, T c W|P{V{TPX W, P, W, Q c W{P{W{QPX W, P, W, R c W{P~W{RPX W, P, W, S c W|P{W{SPX W, P, X, P c W{P{X{PPX W, P, X, Q c W{P~X{QPX W, P, X, R c W|P{X{RPX W, P, X, S c (W|P)~S|XPX W, P, X, U c (W|U)~X{PPX W, Q, O, R c W~Q{O{RPX W, Q, O, X c W{Q{O{XPX W, Q, P, P c (W{P)~Q{PPX W, Q, P, Q c W~Q{P{QPX W, Q, P, R c W~Q{P~RPX W, Q, P, S c W~Q|P{SPX W, Q, P, T c W~(Q{P)|TPX W, Q, P, U c W{Q~U|PPX W, Q, P, W c W{Q{P{WPX W, Q, P, X c W{Q{P~XPX W, Q, Q, P c (W{Q)~Q|PPX W, Q, Q, R c (W{RQ)~QPX W, Q, Q, T c W~Q|Q{TPX W, Q, Q, U c W~Q{UQPX W, Q, Q, V c W{Q{Q{VPX W, Q, R, O c W~Q{R{OPX W, Q, R, P c (W|Q)~R{PPX W, Q, R, Q c (W{RQ)~QPX W, Q, R, R c W{Q{R~RPX W, Q, R, S c W{Q~S{RPX W, Q, R, T c W{Q~R{TPX W, Q, R, U c W{Q{R{UPX W, Q, R, V c WQ~R{VPX W, Q, R, W c W~(Q{RW)PX W, Q, R, X c W~Q{XRPX W, Q, S, P c W~Q{S|PPX W, Q, S, R c W{Q~S{RPX W, Q, S, T c W{Q{S{TPX W, Q, S, U c (W~S{U)QPX W, Q, S, V c W~Q|S{VPX W, Q, S, X c W|Q{S{XPX W, Q, T, P c W{Q~T{PPX W, Q, T, Q c W~Q{T|QPX W, Q, T, R c WQ{T~RPX W, Q, T, S c W{Q{T{SPX W, Q, T, T c W~(T|Q)|TPX W, Q, T, U c WQ~U|TPX W, Q, T, V c (W{T)~Q|VPX W, Q, T, W c W|Q{T{WPX W, Q, T, X c (T|Q)~X|WPX W, Q, U, P c W{Q~U|PPX W, Q, U, Q c W~Q{UQPX W, Q, U, R c W{Q{U{RPX W, Q, U, S c (W{US)~QPX W, Q, U, T c WQ~U|TPX W, Q, U, V c W|Q{U{VPX W, Q, U, W c W{UQ{WPX W, Q, U, X c W~Q|U{XPX W, Q, V, Q c W{Q{V{QPX W, Q, V, R c W{Q~V|RPX W, Q, V, S c W~Q{V|SPX W, Q, V, T c (W{T)~Q|VPX W, Q, V, U c W|Q{V{UPX W, Q, V, W c WQ{V{WPX W, Q, V, X c WQ~V|XPX W, Q, W, P c W{Q{W{PPX W, Q, W, R c W~(Q{RW)PX W, Q, W, T c W{Q~W|TPX W, Q, W, U c W{W{UQPX W, Q, W, V c WQ{W{VPX W, Q, W, X c WW{Q~XPX W, Q, X, O c W{Q{X{OPX W, Q, X, P c W{Q{X~PPX W, Q, X, R c W~Q{XRPX W, Q, X, S c W|Q{X{SPX W, Q, X, T c X~(T|Q)|WPX W, Q, X, U c W~Q{X|UPX W, Q, X, V c W{Q~X|VPX W, Q, X, W c WW{Q~XPX W, Q, X, X c Q~X|W{XPX W, R, O, Q c (W{O)~Q{RPX W, R, O, T c W~R{O|TPX W, R, O, W c W{R{O{WPX W, R, O, X c (R{O)~X|WPX W, R, P, P c W~(P{P){RPX W, R, P, Q c (W|P)~R|QPX W, R, P, R c W~(R|P){RPX W, R, P, S c (W~R)|(P{S)PX W, R, P, T c W~R|P~TPX W, R, P, U c W~R{P|UPX W, R, P, V c W{R{P{VPX W, R, P, W c W{R{P~WPX W, R, P, X c W{R|P{XPX W, R, Q, O c W~Q{R{OPX W, R, Q, P c (W|Q)~R{PPX W, R, Q, Q c (W{RQ)~QPX W, R, Q, R c (W{R)~Q|RPX W, R, Q, S c W{R{Q~SPX W, R, Q, T c W{R~Q{TPX W, R, Q, U c W{R{Q{UPX W, R, Q, V c W|R{Q~VPX W, R, Q, W c W~(RW{Q)PX W, R, Q, X c (W|R)~Q{XPX W, R, R, P c W~(R|P){RPX W, R, R, Q c W{R~R{QPX W, R, R, R c R~R~R|WPX W, R, R, S c (W|R)~R{SPX W, R, R, T c W{R{R{TPX W, R, R, U c WR~U{RPX W, R, R, W c W~R{R|WPX W, R, R, X c R~(X|WR)PX W, R, S, P c W{R~S|PPX W, R, S, Q c W{R{S~QPX W, R, S, R c (W|R)~R{SPX W, R, S, S c W{R{S{SPX W, R, S, T c W{R~T|SPX W, R, S, U c W~(U|S){RPX W, R, S, V c (W|S)~R{VPX W, R, S, W c WS~W{RPX W, R, S, X c W~R{S|XPX W, R, T, O c W~R|T{OPX W, R, T, P c W~R|T~PPX W, R, T, Q c W{R~Q{TPX W, R, T, R c W{R{T{RPX W, R, T, S c W{R~T|SPX W, R, T, U c (W|R)~T|UPX W, R, T, V c W~T|R~VPX W, R, T, W c W~(R|TW)PX W, R, T, X c W|R{T{XPX W, R, U, P c W~R|U{PPX W, R, U, Q c W{R{U{QPX W, R, U, R c WR~U{RPX W, R, U, S c W~(U|S){RPX W, R, U, T c (W|R)~T|UPX W, R, U, V c W{R~U|VPX W, R, U, W c W|R{U{WPX W, R, U, X c W{UR{XPX W, R, V, P c W{R{V{PPX W, R, V, Q c W|R{V~QPX W, R, V, S c (W|S)~R{VPX W, R, V, T c W~(V|T){RPX W, R, V, U c W{R~U|VPX W, R, V, V c W|R{V{VPX W, R, V, W c (W~W|V)RPX W, R, V, X c W~(X|V){RPX W, R, W, O c W{R{W{OPX W, R, W, P c W{R{W~PPX W, R, W, Q c W~(RW{Q)PX W, R, W, R c W~R|W{RPX W, R, W, S c W~WS{RPX W, R, W, T c W~(R|TW)PX W, R, W, U c W|R{W{UPX W, R, W, V c (W~W|V)RPX W, R, W, X c W{W{XRPX W, R, X, O c R~X|W{OPX W, R, X, P c W{R{X|PPX W, R, X, Q c (W|R)~Q{XPX W, R, X, R c R~(X|WR)PX W, R, X, S c W~R|X{SPX W, R, X, T c W|R{X{TPX W, R, X, U c W{X{URPX W, R, X, V c W~(X|V){RPX W, R, X, W c W{XR{WPX W, R, X, X c (R|WX)~XPX W, S, O, V c W{S{O{VPX W, S, P, Q c W~Q{S|PPX W, S, P, R c W{S~R|PPX W, S, P, T c W~(S|P)|TPX W, S, P, U c W{S{P{UPX W, S, P, V c W{S{P~VPX W, S, P, W c W{S|P{WPX W, S, P, X c WS~X{PPX W, S, Q, P c W~Q{S|PPX W, S, Q, R c W{S~Q{RPX W, S, Q, T c W{S{Q{TPX W, S, Q, U c (W~S{U)QPX W, S, Q, V c W~Q|S{VPX W, S, Q, X c W{S|Q{XPX W, S, R, P c W{S~R|PPX W, S, R, Q c W{S~Q{RPX W, S, R, R c (W|R)~R{SPX W, S, R, S c W{S{R{SPX W, S, R, T c W|S{R~TPX W, S, R, U c W~(U|S){RPX W, S, R, V c (W|S)~R{VPX W, S, R, W c WS~W{RPX W, S, R, X c W~R{S|XPX W, S, S, R c W{S{S{RPX W, S, S, T c W{S~S|TPX W, S, S, U c S~(S{UW)PX W, S, S, X c (W~S)|(S{X)PX W, S, T, P c (W|S)~T|PPX W, S, T, Q c W{S{T{QPX W, S, T, R c W|S{T~RPX W, S, T, S c W{S~S|TPX W, S, T, T c (W|T)~T{SPX W, S, T, U c (W|S)~U|TPX W, S, T, V c WS~V{TPX W, S, T, W c (W~S)|(T{W)PX W, S, T, X c W{S~T|XPX W, S, U, P c W{S{U{PPX W, S, U, Q c (W~S{U)QPX W, S, U, R c W~(U|S){RPX W, S, U, S c (S{UW)~SPX W, S, U, T c (W|S)~U|TPX W, S, U, V c (W~S)|(U{V)PX W, S, U, X c W|S{U{XPX W, S, V, O c W{S{V{OPX W, S, V, P c W{S{V~PPX W, S, V, Q c W~Q|S{VPX W, S, V, R c (W|S)~R{VPX W, S, V, T c WS~V{TPX W, S, V, U c (W~S)|(V{U)PX W, S, V, W c W|S{V{WPX W, S, V, X c (W|S)~V|XPX W, S, W, P c W{S{W|PPX W, S, W, R c WS~W{RPX W, S, W, T c (W~S)|(W{T)PX W, S, W, V c W|S{W{VPX W, S, W, X c WS{W{XPX W, S, X, P c WS~X{PPX W, S, X, Q c W{S{X|QPX W, S, X, R c W~R{S|XPX W, S, X, S c (W~S)|(X{S)PX W, S, X, T c W{S~T|XPX W, S, X, U c W|S{X{UPX W, S, X, V c (W|S)~V|XPX W, S, X, W c WS{X{WPX W, S, X, X c (S~X)|(W{X)PX W, T, O, R c (W{O)~R|TPX W, T, O, U c W{T{O{UPX W, T, P, Q c W{T~Q{PPX W, T, P, R c W~P~R|TPX W, T, P, S c (W|S)~T|PPX W, T, P, T c W{T{P{TPX W, T, P, U c W{T{P~UPX W, T, P, V c W{T|P{VPX W, T, Q, P c W{T~Q{PPX W, T, Q, Q c (W~T|Q)QPX W, T, Q, R c W{T{Q~RPX W, T, Q, S c W{T{Q{SPX W, T, Q, T c W~(T|Q)|TPX W, T, Q, U c (W{T~U)QPX W, T, Q, V c (W{T)~Q|VPX W, T, Q, W c W{T|Q{WPX W, T, Q, X c (T|Q)~X|WPX W, T, R, O c W~R|T{OPX W, T, R, P c W~R|T~PPX W, T, R, Q c W{T{R~QPX W, T, R, R c W{T{R{RPX W, T, R, S c W{T~R|SPX W, T, R, U c (W|R)~T|UPX W, T, R, V c W~T|R~VPX W, T, R, W c W~(R|TW)PX W, T, R, X c W{T|R{XPX W, T, S, P c (W|S)~T|PPX W, T, S, Q c W{T{S{QPX W, T, S, R c W{T~R|SPX W, T, S, S c W|T{S~SPX W, T, S, T c (W|T)~T{SPX W, T, S, U c (W|S)~U|TPX W, T, S, V c (W|T)~S{VPX W, T, S, W c (W~S)|(T{W)PX W, T, S, X c W{T~S|XPX W, T, T, P c W{T{T{PPX W, T, T, Q c W~(T|Q)|TPX W, T, T, S c (W|T)~T{SPX W, T, T, W c (W|T)~W|TPX W, T, U, O c W{T{U{OPX W, T, U, P c W{T{U~PPX W, T, U, Q c (W{T~U)QPX W, T, U, R c (WU{T)~RPX W, T, U, S c (W|S)~U|TPX W, T, U, V c (W|U)~V{TPX W, T, U, X c (W|U)~T{XPX W, T, V, P c W{T{V|PPX W, T, V, Q c (W|T)~V|QPX W, T, V, R c W~T|V~RPX W, T, V, S c (W|T)~S{VPX W, T, V, U c (W|U)~V{TPX W, T, V, W c (T~V)|(W{W)PX W, T, V, X c W|T{V{XPX W, T, W, Q c W{T{W|QPX W, T, W, R c W~(R|TW)PX W, T, W, S c (W~S)|(T{W)PX W, T, W, T c (W|T)~W|TPX W, T, W, V c (T~V)|(W{W)PX W, T, W, W c W|T{W{WPX W, T, W, X c (W|T)~X|WPX W, T, X, Q c (T|Q)~X|WPX W, T, X, R c W{T{X|RPX W, T, X, S c W{T~S|XPX W, T, X, U c W~(X|U)|TPX W, T, X, V c W|T{X{VPX W, T, X, W c (W|T)~X|WPX W, U, O, T c W{U{O{TPX W, U, P, Q c W{U~Q|PPX W, U, P, R c W~R|U{PPX W, U, P, S c W{U{P{SPX W, U, P, T c W{U{P~TPX W, U, P, U c W{U|P{UPX W, U, P, X c (W|U)~X{PPX W, U, Q, P c W{U~Q|PPX W, U, Q, Q c W~Q{UQPX W, U, Q, R c W{U{Q{RPX W, U, Q, S c (W{US)~QPX W, U, Q, T c W~UQ|TPX W, U, Q, V c W{U|Q{VPX W, U, Q, W c W{UQ{WPX W, U, Q, X c (W{U)~Q|XPX W, U, R, P c W~R|U{PPX W, U, R, Q c W{U{R{QPX W, U, R, R c W~UR{RPX W, U, R, S c W~(U|S){RPX W, U, R, T c W~(U|R)|TPX W, U, R, V c W{U~R|VPX W, U, R, W c W{U|R{WPX W, U, R, X c W{UR{XPX W, U, S, P c W{U{S{PPX W, U, S, Q c (W{US)~QPX W, U, S, R c W~(U|S){RPX W, U, S, S c (UW{S)~SPX W, U, S, T c (W|S)~U|TPX W, U, S, V c W~US{VPX W, U, S, X c W{U|S{XPX W, U, T, O c W{U{T{OPX W, U, T, P c W{U{T~PPX W, U, T, Q c (W{U~T)QPX W, U, T, R c (WU{T)~RPX W, U, T, S c (W|S)~U|TPX W, U, T, V c (W|U)~V{TPX W, U, T, X c (W|U)~T{XPX W, U, U, P c W{U{U|PPX W, U, U, V c (W|U)~U{VPX W, U, U, X c (U~U)|(W{X)PX W, U, V, Q c W{U{V|QPX W, U, V, R c W{U~R|VPX W, U, V, S c W~US{VPX W, U, V, T c (W|U)~V{TPX W, U, V, U c (W|U)~U{VPX W, U, V, X c WU~X{VPX W, U, W, Q c W{UQ{WPX W, U, W, R c W{U{W|RPX W, U, W, X c W|U{W{XPX W, U, X, P c (W|U)~X{PPX W, U, X, Q c (W{U)~Q|XPX W, U, X, R c (W~U{X)RPX W, U, X, S c W{U{X|SPX W, U, X, T c (W|U)~T{XPX W, U, X, U c (U~U)|(W{X)PX W, U, X, V c WU~X{VPX W, U, X, W c W|U{X{WPX W, U, X, X c (X|U)~X|WPX W, V, O, S c W{V{O{SPX W, V, P, R c W{V{P{RPX W, V, P, S c W{V{P~SPX W, V, P, T c W{V|P{TPX W, V, Q, Q c W{V{Q{QPX W, V, Q, R c W{V~Q|RPX W, V, Q, S c W~Q{V|SPX W, V, Q, T c (W|T)~V|QPX W, V, Q, U c W{V|Q{UPX W, V, Q, W c W{V{WQPX W, V, Q, X c W|V{Q~XPX W, V, R, P c W{V{R{PPX W, V, R, Q c W{V~Q|RPX W, V, R, S c (W|S)~R{VPX W, V, R, T c W~(V|T){RPX W, V, R, U c W|V{R~UPX W, V, R, V c W{V|R{VPX W, V, R, W c (W~W|V)RPX W, V, R, X c W~(X|V){RPX W, V, S, O c W{V{S{OPX W, V, S, P c W{V{S~PPX W, V, S, Q c W~Q{V|SPX W, V, S, R c (W|S)~R{VPX W, V, S, T c W~(V|S)|TPX W, V, S, U c (W~S)|(V{U)PX W, V, S, W c W{V|S{WPX W, V, S, X c (W|S)~V|XPX W, V, T, P c W{V{T|PPX W, V, T, Q c (W|T)~V|QPX W, V, T, R c W~(V|T){RPX W, V, T, S c W~(V|S)|TPX W, V, T, U c (W|U)~V{TPX W, V, T, W c (V~T)|(W{W)PX W, V, T, X c W{V|T{XPX W, V, U, Q c W{V{U|QPX W, V, U, R c W|V{U~RPX W, V, U, S c W~US{VPX W, V, U, T c (W|U)~V{TPX W, V, U, U c (W|U)~U{VPX W, V, U, X c WU~X{VPX W, V, V, R c W{V{V|RPX W, V, W, Q c W{V{WQPX W, V, W, R c (W~W|V)RPX W, V, W, S c W{V{W|SPX W, V, W, T c (V~T)|(W{W)PX W, V, X, Q c W|V{X~QPX W, V, X, R c W~(X|V){RPX W, V, X, S c (W|S)~V|XPX W, V, X, T c W{V{X|TPX W, V, X, U c W~XU{VPX W, V, X, X c W|V{X{XPX W, W, O, R c W{W{O{RPX W, W, P, Q c W{W{P{QPX W, W, P, R c W{W{P~RPX W, W, P, S c W{W|P{SPX W, W, Q, P c W{W{Q{PPX W, W, Q, R c W~(Q{RW)PX W, W, Q, T c W{W|Q{TPX W, W, Q, U c W{W{UQPX W, W, Q, V c W{WQ{VPX W, W, Q, X c WW{Q~XPX W, W, R, O c W{W{R{OPX W, W, R, P c W{W{R~PPX W, W, R, Q c W~(RW{Q)PX W, W, R, R c W~R|W{RPX W, W, R, S c W~WS{RPX W, W, R, T c W~(R|TW)PX W, W, R, U c W{W|R{UPX W, W, R, V c (W~W|V)RPX W, W, R, X c W{W{XRPX W, W, S, P c W{W{S|PPX W, W, S, R c W~WS{RPX W, W, S, T c (W~S)|(W{T)PX W, W, S, V c W{W|S{VPX W, W, S, X c W{WS{XPX W, W, T, Q c W{W{T|QPX W, W, T, R c W~(R|TW)PX W, W, T, S c (W~S)|(W{T)PX W, W, T, T c W~(W|T)|TPX W, W, T, V c (T~V)|(W{W)PX W, W, T, W c W{W|T{WPX W, W, T, X c W~W|T~XPX W, W, U, Q c W{W{UQPX W, W, U, R c W{W{U|RPX W, W, U, X c W{W|U{XPX W, W, V, Q c W{WQ{VPX W, W, V, R c (W~W|V)RPX W, W, V, S c W{W{V|SPX W, W, V, T c (V~T)|(W{W)PX W, W, W, T c W{W{W|TPX W, W, X, Q c WW{X~QPX W, W, X, R c W{W{XRPX W, W, X, S c W{WS{XPX W, W, X, T c W~W|X~TPX W, W, X, U c W{W{X|UPX W, W, X, X c WW{X{XPX W, X, O, Q c W{X{O{QPX W, X, O, R c (X{O)~R|WPX W, X, P, P c W{X{P{PPX W, X, P, Q c W{X{P~QPX W, X, P, R c W{X|P{RPX W, X, P, S c W~XS{PPX W, X, P, U c (W|U)~X{PPX W, X, Q, O c W{X{Q{OPX W, X, Q, P c W{X{Q~PPX W, X, Q, R c W~Q{XRPX W, X, Q, S c W{X|Q{SPX W, X, Q, T c X~(T|Q)|WPX W, X, Q, U c (W{XU)~QPX W, X, Q, V c W{X~Q|VPX W, X, Q, W c WW{X~QPX W, X, Q, X c X|W{Q~XPX W, X, R, O c X~R|W{OPX W, X, R, P c W{X{R|PPX W, X, R, Q c (W|R)~Q{XPX W, X, R, R c (X|WR)~RPX W, X, R, S c W~R|X{SPX W, X, R, T c W{X|R{TPX W, X, R, U c W{X{URPX W, X, R, V c W~(X|V){RPX W, X, R, W c W{XR{WPX W, X, R, X c X~(R|WX)PX W, X, S, P c W~XS{PPX W, X, S, Q c W{X{S|QPX W, X, S, R c W~R|X{SPX W, X, S, S c (W~X{S)SPX W, X, S, T c W{S~T|XPX W, X, S, U c W{X|S{UPX W, X, S, V c (W|S)~V|XPX W, X, S, W c W{X{WSPX W, X, S, X c (X~S)|(W{X)PX W, X, T, Q c X~(T|Q)|WPX W, X, T, R c W{X{T|RPX W, X, T, S c W{T~S|XPX W, X, T, U c W~(X|U)|TPX W, X, T, V c W{X|T{VPX W, X, T, W c (W|T)~X|WPX W, X, U, P c (W|U)~X{PPX W, X, U, Q c (W{XU)~QPX W, X, U, R c W{X{URPX W, X, U, S c W{X{U|SPX W, X, U, T c W~(X|U)|TPX W, X, U, U c (U~U)|(W{X)PX W, X, U, V c W~XU{VPX W, X, U, W c W{X|U{WPX W, X, U, X c (X|U)~X|WPX W, X, V, Q c W{X~Q|VPX W, X, V, R c W~(X|V){RPX W, X, V, S c (W|S)~V|XPX W, X, V, T c W{X{V|TPX W, X, V, U c W~XU{VPX W, X, V, X c W{X|V{XPX W, X, W, Q c WW{X~QPX W, X, W, R c W{XR{WPX W, X, W, S c W{X{WSPX W, X, W, T c W~W|X~TPX W, X, W, U c W{X{W|UPX W, X, W, X c WW{X{XPX W, X, X, Q c X|W{X~QPX W, X, X, R c X~XR|WPX W, X, X, S c (X~S)|(W{X)PX W, X, X, U c X~(X|U)|WPX W, X, X, V c W{X{X|VPX W, X, X, W c WW{X{XPX W, X, X, X c X|W{X{XPX X, O, P, Q c (X{O)~Q{PPX X, O, P, X c X{O{P{XPX X, O, Q, P c (X{O)~Q{PPX X, O, Q, T c X{O{Q~TPX X, O, Q, W c X{O{Q{WPX X, O, R, V c X{O{R{VPX X, O, R, W c (X{O)~R|WPX X, O, S, U c X{O{S{UPX X, O, S, V c O{S~V|XPX X, O, T, Q c X{O{T~QPX X, O, T, T c X{O{T{TPX X, O, U, S c X{O{U{SPX X, O, V, R c X{O{V{RPX X, O, V, S c O{V~S|XPX X, O, W, Q c X{O{W{QPX X, O, W, R c (X{O)~R|WPX X, O, X, P c X{O{X{PPX X, P, O, Q c (X{O)~Q{PPX X, P, O, X c X{P{O{XPX X, P, P, P c X~(P{P){PPX X, P, P, Q c (X{P)~Q|PPX X, P, P, R c X~(R|P){PPX X, P, P, T c X{(P{P)~TPX X, P, P, W c X{P{P{WPX X, P, P, X c X{P{P~XPX X, P, Q, O c X~Q{P{OPX X, P, Q, P c (X{P)~Q|PPX X, P, Q, Q c (X{PQ)~QPX X, P, Q, R c (X|P)~Q{RPX X, P, Q, S c X{(P{S)~QPX X, P, Q, T c X{P~Q~TPX X, P, Q, U c X{Q~(U|P)PX X, P, Q, V c X{P{Q{VPX X, P, Q, W c X{P~Q{WPX X, P, Q, X c X|P{Q{XPX X, P, R, P c X~(R|P){PPX X, P, R, Q c (X|P)~Q{RPX X, P, R, R c X{P{R~RPX X, P, R, T c (X|P)~R|TPX X, P, R, U c X{P{R{UPX X, P, R, V c X{P~R{VPX X, P, R, W c X|P{R{WPX X, P, R, X c X~R{P|XPX X, P, S, Q c X{(P{S)~QPX X, P, S, S c (X|S)~S|PPX X, P, S, T c X{P{S{TPX X, P, S, U c X{P~S{UPX X, P, S, V c X|P{S{VPX X, P, S, W c X~(S|P)|WPX X, P, T, P c X{(P{P)~TPX X, P, T, Q c X{P~T~QPX X, P, T, R c (X|P)~R|TPX X, P, T, S c X{P{T{SPX X, P, T, T c X{P~T{TPX X, P, T, U c X|P{T{UPX X, P, T, V c X~(V|T){PPX X, P, U, Q c X{(U|P)~QPX X, P, U, R c X{P{U{RPX X, P, U, S c X{P~U{SPX X, P, U, T c X|P{U{TPX X, P, U, U c (X|U)~U{PPX X, P, U, W c X~(W|U){PPX X, P, V, Q c X{P{V{QPX X, P, V, R c X{P~V{RPX X, P, V, S c X|P{V{SPX X, P, V, T c X~(V|T){PPX X, P, V, X c (X|V)~X{PPX X, P, W, P c X{P{W{PPX X, P, W, Q c X{P~W{QPX X, P, W, R c X|P{W{RPX X, P, W, S c X~WS{PPX X, P, W, U c X~(W|U){PPX X, P, X, O c X{P{X{OPX X, P, X, P c X{P{X~PPX X, P, X, Q c X|P{X{QPX X, P, X, R c X~R{P|XPX X, P, X, V c X~(X|V){PPX X, Q, O, P c X~Q{O{PPX X, Q, O, T c X{(Q{O)~TPX X, Q, O, W c X{Q{O{WPX X, Q, P, O c X~Q{P{OPX X, Q, P, P c X~Q{P~PPX X, Q, P, Q c X~Q|P{QPX X, Q, P, R c (X|P)~Q{RPX X, Q, P, S c X{Q~(P{S)PX X, Q, P, T c X{Q~P~TPX X, Q, P, U c X{Q~(U|P)PX X, Q, P, V c X{Q{P{VPX X, Q, P, W c X{Q{P~WPX X, Q, P, X c X{Q|P{XPX X, Q, Q, P c X~Q{Q|PPX X, Q, Q, Q c X~Q{QQPX X, Q, Q, R c X{Q~(Q{R)PX X, Q, Q, S c X{Q{Q~SPX X, Q, Q, T c (X|Q)~Q{TPX X, Q, Q, U c X{Q{Q{UPX X, Q, Q, V c X{Q~(V|Q)PX X, Q, Q, X c X{QQ{XPX X, Q, R, P c (X|P)~Q{RPX X, Q, R, Q c X{(Q{R)~QPX X, Q, R, R c X~Q{RRPX X, Q, R, S c X{Q~R{SPX X, Q, R, T c X{Q{R{TPX X, Q, R, U c (X~R)|(Q{U)PX X, Q, R, V c (X|R)~Q{VPX X, Q, R, W c X{Q~(W|R)PX X, Q, R, X c X|Q{R{XPX X, Q, S, P c X{Q~(S{P)PX X, Q, S, Q c X{Q{S~QPX X, Q, S, R c X|Q{S~RPX X, Q, S, S c X{Q{S{SPX X, Q, S, T c X~Q|S{TPX X, Q, S, V c X{Q~V|SPX X, Q, S, W c X|Q{S{WPX X, Q, S, X c (X|Q)~S|XPX X, Q, T, O c X{Q~T{OPX X, Q, T, P c X{Q~T~PPX X, Q, T, Q c (XQ{T)~QPX X, Q, T, R c X{Q{T{RPX X, Q, T, S c X~Q{T|SPX X, Q, T, T c X~Q{TTPX X, Q, T, U c X~Q|T{UPX X, Q, T, V c X|Q{T{VPX X, Q, T, W c X~(T|Q)|WPX X, Q, T, X c (X{T)~Q|XPX X, Q, U, P c X{Q~(U|P)PX X, Q, U, Q c X{Q{U{QPX X, Q, U, R c (X~R)|(Q{U)PX X, Q, U, T c X~Q{U|TPX X, Q, U, U c X|Q{U{UPX X, Q, U, V c X~Q|U{VPX X, Q, U, W c XQ~U|WPX X, Q, V, P c X{Q{V{PPX X, Q, V, Q c X{Q~(V|Q)PX X, Q, V, R c X~VR|QPX X, Q, V, S c X{Q~V|SPX X, Q, V, T c X|Q{V{TPX X, Q, V, U c X~Q{V|UPX X, Q, V, V c X~Q{VVPX X, Q, V, W c X~Q|V{WPX X, Q, W, O c X{Q{W{OPX X, Q, W, P c X{Q{W~PPX X, Q, W, R c X{Q~(W|R)PX X, Q, W, S c X|Q{W{SPX X, Q, W, T c X~(T|Q)|WPX X, Q, W, U c X{Q~W|UPX X, Q, W, V c X~Q{W|VPX X, Q, W, W c X~Q{WWPX X, Q, W, X c X~Q|W{XPX X, Q, X, P c X{Q{X|PPX X, Q, X, Q c X{QQ{XPX X, Q, X, R c X|Q{X{RPX X, Q, X, S c X{Q~(X|S)PX X, Q, X, T c (X{T)~Q|XPX X, Q, X, W c X{Q~X|WPX X, Q, X, X c X~Q{XXPX X, R, O, V c X{R{O{VPX X, R, O, W c X~R{O|WPX X, R, P, P c X~(R|P){PPX X, R, P, Q c (X|P)~Q{RPX X, R, P, R c X{R~R{PPX X, R, P, T c X{(R|P)~TPX X, R, P, U c X{R{P{UPX X, R, P, V c X{R{P~VPX X, R, P, W c X{R|P{WPX X, R, P, X c X~R{P|XPX X, R, Q, P c (X|P)~Q{RPX X, R, Q, Q c X{(R{Q)~QPX X, R, Q, R c X~Q{RRPX X, R, Q, S c X{R~Q{SPX X, R, Q, T c X{R{Q{TPX X, R, Q, U c (X~R)|(Q{U)PX X, R, Q, V c (X|R)~Q{VPX X, R, Q, W c XR{Q~WPX X, R, Q, X c X{R|Q{XPX X, R, R, P c X{R~R{PPX X, R, R, Q c X~Q{RRPX X, R, R, S c X{R{R{SPX X, R, R, T c (X~R)|(R{T)PX X, R, R, U c (X~U{R)RPX X, R, R, W c (X|WR)~RPX X, R, R, X c X{RR{XPX X, R, S, Q c X{R~S|QPX X, R, S, R c X{R{S{RPX X, R, S, S c (X~R)|(S{S)PX X, R, S, T c (X|R)~S|TPX X, R, S, V c XR~S{VPX X, R, S, W c R~W|X{SPX X, R, S, X c X|R{S{XPX X, R, T, P c X{(R|P)~TPX X, R, T, Q c X{R{T{QPX X, R, T, R c (X~R)|(T{R)PX X, R, T, S c XR~T{SPX X, R, T, T c X{R~T|TPX X, R, T, U c X{TR~UPX X, R, T, V c (X|T)~R{VPX X, R, T, W c X|R{T{WPX X, R, U, P c X{R{U{PPX X, R, U, Q c (X{RU)~QPX X, R, U, R c (X~U{R)RPX X, R, U, T c X{UR~TPX X, R, U, V c X|R{U{VPX X, R, U, W c X{R~U|WPX X, R, U, X c XX{R~UPX X, R, V, O c X{R{V{OPX X, R, V, P c X{R{V~PPX X, R, V, Q c XR~V|QPX X, R, V, S c XR~S{VPX X, R, V, T c (X|T)~R{VPX X, R, V, U c X|R{V{UPX X, R, V, V c R~V|X{VPX X, R, V, W c (X|V)~W{RPX X, R, V, X c XR{V{XPX X, R, W, O c X~R|W{OPX X, R, W, P c X{R{W|PPX X, R, W, Q c XR{W~QPX X, R, W, R c (X|WR)~RPX X, R, W, S c R~W|X{SPX X, R, W, T c X|R{W{TPX X, R, W, U c X{R~U|WPX X, R, W, V c (X|V)~W{RPX X, R, W, W c XR{W{WPX X, R, W, X c X~(R|WX)PX X, R, X, P c X~R|X{PPX X, R, X, Q c X{R{X|QPX X, R, X, R c X{RR{XPX X, R, X, S c X|R{X{SPX X, R, X, U c XX{R~UPX X, R, X, V c XR{X{VPX X, R, X, W c XR~X|WPX X, S, O, U c X{S{O{UPX X, S, O, V c (S{O)~V|XPX X, S, P, Q c X{(S{P)~QPX X, S, P, S c (X|S)~S|PPX X, S, P, T c X{S{P{TPX X, S, P, U c X{S{P~UPX X, S, P, V c X{S|P{VPX X, S, P, W c X~(S|P)|WPX X, S, Q, P c X~(S|Q){PPX X, S, Q, Q c X{S~Q{QPX X, S, Q, R c X{S{Q~RPX X, S, Q, S c X{S{Q{SPX X, S, Q, T c X{(S|Q)~TPX X, S, Q, V c (X{S)~Q|VPX X, S, Q, W c X{S|Q{WPX X, S, Q, X c (X|S)~Q{XPX X, S, R, Q c X{S{R~QPX X, S, R, R c X{S{R{RPX X, S, R, S c (X|S)~R{SPX X, S, R, T c (X|R)~S|TPX X, S, R, V c X~SR{VPX X, S, R, W c S{R~W|XPX X, S, R, X c X{S|R{XPX X, S, S, P c (X|S)~S|PPX X, S, S, Q c X{S{S{QPX X, S, S, R c (X|S)~R{SPX X, S, S, U c X{S~S|UPX X, S, S, V c S~(V|XS)PX X, S, S, W c (X~W{S)SPX X, S, S, X c X{SS{XPX X, S, T, P c X{S{T{PPX X, S, T, Q c X{S~TQPX X, S, T, R c (X|T)~S{RPX X, S, T, U c (X|S)~T|UPX X, S, T, W c X{TS~WPX X, S, T, X c X|S{T{XPX X, S, U, O c X{S{U{OPX X, S, U, P c X{S{U~PPX X, S, U, S c X{S~S|UPX X, S, U, T c (X|S)~T|UPX X, S, U, V c (X|U)~S{VPX X, S, U, W c X|S{U{WPX X, S, V, O c S~V|X{OPX X, S, V, P c X{S{V|PPX X, S, V, Q c X|S{V~QPX X, S, V, R c X~SR{VPX X, S, V, S c S~(V|XS)PX X, S, V, U c (X|U)~S{VPX X, S, V, V c X|S{V{VPX X, S, V, W c X~(V|S)|WPX X, S, W, P c XS~W{PPX X, S, W, Q c X{S{W|QPX X, S, W, R c S{W~R|XPX X, S, W, S c (X~W{S)SPX X, S, W, T c X{WS~TPX X, S, W, U c X|S{W{UPX X, S, W, V c X~(V|S)|WPX X, S, W, W c X{WS{WPX X, S, W, X c (X~S)|(W{X)PX X, S, X, Q c (X|S)~Q{XPX X, S, X, R c X{S{X|RPX X, S, X, S c X{SS{XPX X, S, X, T c X|S{X{TPX X, S, X, W c (X~S)|(X{W)PX X, T, O, Q c X{(T{O)~QPX X, T, O, T c X{T{O{TPX X, T, P, P c X{T~(P{P)PX X, T, P, Q c X{T~P~QPX X, T, P, R c X{T~(R|P)PX X, T, P, S c X{T{P{SPX X, T, P, T c X{T{P~TPX X, T, P, U c X{T|P{UPX X, T, P, V c X~(V|T){PPX X, T, Q, O c X{T~Q{OPX X, T, Q, P c X{T~Q~PPX X, T, Q, Q c (XQ{T)~QPX X, T, Q, R c X{T{Q{RPX X, T, Q, S c X{TQ~SPX X, T, Q, T c (XT{Q)~TPX X, T, Q, U c X~Q|T{UPX X, T, Q, V c X{T|Q{VPX X, T, Q, W c X~(T|Q)|WPX X, T, Q, X c (X{T)~Q|XPX X, T, R, P c X{T~(R|P)PX X, T, R, Q c X{T{R{QPX X, T, R, R c (X~R)|(T{R)PX X, T, R, S c X~TR{SPX X, T, R, T c X{(T|R)~TPX X, T, R, U c X{TR~UPX X, T, R, V c (X|T)~R{VPX X, T, R, W c X{T|R{WPX X, T, S, P c X{T{S{PPX X, T, S, Q c X{T~(S|Q)PX X, T, S, R c (X|T)~S{RPX X, T, S, U c X{T~(U|S)PX X, T, S, W c X{TS~WPX X, T, S, X c X{T|S{XPX X, T, T, O c X{T{T{OPX X, T, T, P c X{T{T~PPX X, T, T, Q c (XT{Q)~TPX X, T, T, R c X{T~(T|R)PX X, T, T, U c (X|T)~U|TPX X, T, T, V c X{T~(V|T)PX X, T, T, X c X{TT{XPX X, T, U, P c X{T{U|PPX X, T, U, Q c X~Q|T{UPX X, T, U, R c X{T~URPX X, T, U, S c X{T~(U|S)PX X, T, U, T c (X|T)~U|TPX X, T, U, V c X~U|T~VPX X, T, U, W c X{T~(W|U)PX X, T, U, X c X|T{U{XPX X, T, V, P c X~(V|T){PPX X, T, V, Q c X{T{V|QPX X, T, V, R c (X|T)~R{VPX X, T, V, T c X{T~(V|T)PX X, T, V, U c X~U|T~VPX X, T, V, V c (X|V)~V{TPX X, T, V, W c X|T{V{WPX X, T, V, X c (X|T)~V|XPX X, T, W, Q c X~(T|Q)|WPX X, T, W, R c X{T{W|RPX X, T, W, S c X{T~WSPX X, T, W, U c X{T~(W|U)PX X, T, W, V c X|T{W{VPX X, T, W, W c X~(W|T)|WPX X, T, X, Q c (X{T)~Q|XPX X, T, X, S c X{T{X|SPX X, T, X, T c X{TT{XPX X, T, X, U c X|T{X{UPX X, T, X, V c X{T~(X|V)PX X, U, O, S c X{U{O{SPX X, U, P, Q c X{(U|P)~QPX X, U, P, R c X{U{P{RPX X, U, P, S c X{U{P~SPX X, U, P, T c X{U|P{TPX X, U, P, U c (X|U)~U{PPX X, U, P, W c X~(W|U){PPX X, U, Q, P c X{(U|P)~QPX X, U, Q, Q c X{U{Q{QPX X, U, Q, R c (X{RU)~QPX X, U, Q, T c X~Q{U|TPX X, U, Q, U c X{U|Q{UPX X, U, Q, V c X{UQ{VPX X, U, Q, W c X|U{Q~WPX X, U, R, P c X{U{R{PPX X, U, R, Q c (X{RU)~QPX X, U, R, R c (X~U{R)RPX X, U, R, T c X{UR~TPX X, U, R, V c X{U|R{VPX X, U, R, W c X{U~R|WPX X, U, R, X c XX{U~RPX X, U, S, O c X{U{S{OPX X, U, S, P c X{U{S~PPX X, U, S, S c X|U{S~SPX X, U, S, T c X{(U|S)~TPX X, U, S, V c (X|U)~S{VPX X, U, S, W c X{U|S{WPX X, U, T, P c X{U{T|PPX X, U, T, Q c X~Q{U|TPX X, U, T, R c X{U~TRPX X, U, T, S c (X|U)~T{SPX X, U, T, T c (X|T)~U|TPX X, U, T, V c X~U|T~VPX X, U, T, W c (X|U)~W|TPX X, U, T, X c X{U|T{XPX X, U, U, P c (X|U)~U{PPX X, U, U, Q c X{U{U|QPX X, U, U, W c (U~U)|(X{W)PX X, U, U, X c X{UU{XPX X, U, V, Q c (X|U)~V|QPX X, U, V, R c X{U{V|RPX X, U, V, S c (X|U)~S{VPX X, U, V, T c X~U|V~TPX X, U, V, V c (X|V)~U{VPX X, U, V, W c XU~W{VPX X, U, V, X c X|U{V{XPX X, U, W, P c X~(W|U){PPX X, U, W, Q c X{U{WQPX X, U, W, R c (X{U~W)RPX X, U, W, S c X{U{W|SPX X, U, W, T c (X|U)~W|TPX X, U, W, U c (U~U)|(X{W)PX X, U, W, V c XU~W{VPX X, U, W, W c X|U{W{WPX X, U, W, X c (X|U)~X|WPX X, U, X, R c XX{U~RPX X, U, X, T c X{U{X|TPX X, U, X, U c X{UU{XPX X, U, X, V c X|U{X{VPX X, U, X, W c (X|U)~X|WPX X, V, O, R c X{V{O{RPX X, V, O, S c (V{O)~S|XPX X, V, P, Q c X{V{P{QPX X, V, P, R c X{V{P~RPX X, V, P, S c X{V|P{SPX X, V, P, T c X~(V|T){PPX X, V, P, X c (X|V)~X{PPX X, V, Q, P c X{V{Q{PPX X, V, Q, Q c X{(V|Q)~QPX X, V, Q, R c X~VR|QPX X, V, Q, S c X{V~Q|SPX X, V, Q, T c X{V|Q{TPX X, V, Q, U c X{V{UQPX X, V, Q, V c X~Q{VVPX X, V, Q, W c X~Q|V{WPX X, V, R, O c X{V{R{OPX X, V, R, P c X{V{R~PPX X, V, R, Q c X~VR|QPX X, V, R, S c XR~S{VPX X, V, R, T c (X|T)~R{VPX X, V, R, U c X{V|R{UPX X, V, R, V c V~R|X{VPX X, V, R, W c (X|V)~W{RPX X, V, R, X c X{V{XRPX X, V, S, O c V~S|X{OPX X, V, S, P c X{V{S|PPX X, V, S, Q c X{V~Q|SPX X, V, S, R c X~SR{VPX X, V, S, S c (V|XS)~SPX X, V, S, U c (X|U)~S{VPX X, V, S, V c X{V|S{VPX X, V, S, W c X~(V|S)|WPX X, V, T, P c X~(V|T){PPX X, V, T, Q c X{V{T|QPX X, V, T, R c (X|T)~R{VPX X, V, T, T c X{(V|T)~TPX X, V, T, U c X~U|V~TPX X, V, T, V c (X|V)~V{TPX X, V, T, W c X{V|T{WPX X, V, T, X c (X|V)~T{XPX X, V, U, Q c X{V{UQPX X, V, U, R c X{V{U|RPX X, V, U, S c (X|U)~S{VPX X, V, U, T c X~U|V~TPX X, V, U, V c (X|V)~U{VPX X, V, U, W c XU~W{VPX X, V, U, X c X{V|U{XPX X, V, V, Q c X~Q{VVPX X, V, V, R c V{V~R|XPX X, V, V, S c X{V{V|SPX X, V, V, T c (X|V)~V{TPX X, V, V, U c (X|V)~U{VPX X, V, V, X c X{VV{XPX X, V, W, Q c X~Q|V{WPX X, V, W, R c (X|V)~W{RPX X, V, W, S c X~(V|S)|WPX X, V, W, T c X{V{W|TPX X, V, W, U c X~WU{VPX X, V, W, X c X|V{W{XPX X, V, X, P c (X|V)~X{PPX X, V, X, R c X{V{XRPX X, V, X, T c (X|V)~T{XPX X, V, X, U c X{V{X|UPX X, V, X, V c X{VV{XPX X, V, X, W c X|V{X{WPX X, W, O, Q c X{W{O{QPX X, W, O, R c (X{O)~R|WPX X, W, P, P c X{W{P{PPX X, W, P, Q c X{W{P~QPX X, W, P, R c X{W|P{RPX X, W, P, S c X~WS{PPX X, W, P, U c X~(W|U){PPX X, W, Q, O c X{W{Q{OPX X, W, Q, P c X{W{Q~PPX X, W, Q, R c X{(W|R)~QPX X, W, Q, S c X{W|Q{SPX X, W, Q, T c X~(T|Q)|WPX X, W, Q, U c X{W~Q|UPX X, W, Q, V c X~Q{W|VPX X, W, Q, W c X~Q{WWPX X, W, Q, X c X|W{Q~XPX X, W, R, O c X~R|W{OPX X, W, R, P c X{W{R|PPX X, W, R, Q c X{(W|R)~QPX X, W, R, R c (X|WR)~RPX X, W, R, S c W~R|X{SPX X, W, R, T c X{W|R{TPX X, W, R, U c X|W{R~UPX X, W, R, V c (X|V)~W{RPX X, W, R, W c XR{W{WPX X, W, R, X c X~(R|WX)PX X, W, S, P c X~WS{PPX X, W, S, Q c X{W{S|QPX X, W, S, R c W~R|X{SPX X, W, S, S c (X~W{S)SPX X, W, S, T c X{WS~TPX X, W, S, U c X{W|S{UPX X, W, S, V c X~(V|S)|WPX X, W, S, W c X{WS{WPX X, W, S, X c (X~S)|(W{X)PX X, W, T, Q c X~(T|Q)|WPX X, W, T, R c X{W{T|RPX X, W, T, S c X{W~TSPX X, W, T, U c X{(W|U)~TPX X, W, T, V c X{W|T{VPX X, W, T, W c X~(W|T)|WPX X, W, U, P c X~(W|U){PPX X, W, U, Q c X{W~Q|UPX X, W, U, R c X{W{URPX X, W, U, S c X{W{U|SPX X, W, U, T c X{(W|U)~TPX X, W, U, U c (U~U)|(X{W)PX X, W, U, V c X~WU{VPX X, W, U, W c X{W|U{WPX X, W, U, X c (X|U)~X|WPX X, W, V, Q c X~Q{W|VPX X, W, V, R c (X|V)~W{RPX X, W, V, S c X~(V|S)|WPX X, W, V, T c X{W{V|TPX X, W, V, U c X~WU{VPX X, W, V, X c X{W|V{XPX X, W, W, Q c X~Q{WWPX X, W, W, R c XR{W{WPX X, W, W, S c X{W{WSPX X, W, W, T c X~(W|T)|WPX X, W, W, U c X{W{W|UPX X, W, W, X c X{WW{XPX X, W, X, Q c X|W{X~QPX X, W, X, R c X~XR|WPX X, W, X, S c (X~S)|(W{X)PX X, W, X, U c X~(X|U)|WPX X, W, X, V c X{W{X|VPX X, W, X, W c X{WW{XPX X, W, X, X c X|W{X{XPX X, X, O, P c X{X{O{PPX X, X, P, O c X{X{P{OPX X, X, P, P c X{X{P~PPX X, X, P, Q c X{X|P{QPX X, X, P, R c X~R|X{PPX X, X, P, V c X~(X|V){PPX X, X, Q, P c X{X{Q|PPX X, X, Q, Q c X{X{QQPX X, X, Q, R c X{X|Q{RPX X, X, Q, S c X{(X|S)~QPX X, X, Q, T c (X{T)~Q|XPX X, X, Q, W c X{X~Q|WPX X, X, Q, X c XX{Q~XPX X, X, R, P c X~R|X{PPX X, X, R, Q c X{X{R|QPX X, X, R, R c X{X{RRPX X, X, R, S c X{X|R{SPX X, X, R, U c XX{R~UPX X, X, R, V c X{XR{VPX X, X, R, W c X~XR|WPX X, X, S, Q c X{(X|S)~QPX X, X, S, R c X{X{S|RPX X, X, S, S c X{X{SSPX X, X, S, T c X{X|S{TPX X, X, S, W c (X~S)|(X{W)PX X, X, T, Q c (X{T)~Q|XPX X, X, T, S c X{X{T|SPX X, X, T, T c X{X{TTPX X, X, T, U c X{X|T{UPX X, X, T, V c X{(X|V)~TPX X, X, U, R c XX{U~RPX X, X, U, T c X{X{U|TPX X, X, U, U c X{X{UUPX X, X, U, V c X{X|U{VPX X, X, U, W c X~(X|U)|WPX X, X, V, P c X~(X|V){PPX X, X, V, R c X{XR{VPX X, X, V, T c X{(X|V)~TPX X, X, V, U c X{X{V|UPX X, X, V, V c X{X{VVPX X, X, V, W c X{X|V{WPX X, X, W, Q c X{X~Q|WPX X, X, W, R c X~XR|WPX X, X, W, S c (X~S)|(X{W)PX X, X, W, U c X~(X|U)|WPX X, X, W, V c X{X{W|VPX X, X, W, W c X{X{WWPX X, X, W, X c X{X|W{XPX X, X, X, Q c XX{X~QPX X, X, X, W c X{X{X|WPX X, X, X, X c X{X{XXPX