O, P, R, V c O{P{R~VQQ O, P, V, R c O{P{V~RQQ O, Q, Q, X c (O{Q)~(Q{X)QQ O, Q, R, W c (O{Q)~(R{W)QQ O, Q, S, T c O{Q{S~TQQ O, Q, S, U c O{S~U|QQQ O, Q, S, V c (O{Q)~(S{V)QQ O, Q, S, X c O{Q~X{SQQ O, Q, T, S c O{Q{T~SQQ O, Q, T, U c (O{Q)~(T{U)QQ O, Q, U, S c O{U~S|QQQ O, Q, U, T c (O{Q)~(U{T)QQ O, Q, U, W c O{Q~W{UQQ O, Q, V, S c (O{Q)~(V{S)QQ O, Q, V, W c O{Q~V{WQQ O, Q, W, R c (O{Q)~(W{R)QQ O, Q, W, U c O{Q~W{UQQ O, Q, W, V c O{Q~V{WQQ O, Q, X, Q c (O{Q{X)~QQQ O, Q, X, S c O{Q~X{SQQ O, R, P, V c O{R~V{PQQ O, R, Q, W c (O{R{W)~QQQ O, R, S, U c O{R~U{SQQ O, R, T, T c O{T~T|RQQ O, R, T, V c O{R~T{VQQ O, R, T, X c O{R~X|TQQ O, R, U, S c O{R~U{SQQ O, R, V, P c O{R~V{PQQ O, R, V, T c O{R~T{VQQ O, R, W, Q c (O{R{W)~QQQ O, R, X, T c O{R~X|TQQ O, S, Q, T c O{S~T{QQQ O, S, Q, U c O{S~U|QQQ O, S, Q, V c (O{S{V)~QQQ O, S, Q, X c O{S{Q~XQQ O, S, R, U c O{S{R~UQQ O, S, S, U c O{S~S{UQQ O, S, T, Q c O{S~T{QQQ O, S, U, Q c O{S~U|QQQ O, S, U, R c O{S{U~RQQ O, S, U, S c O{S~S{UQQ O, S, U, V c O{S~V|UQQ O, S, V, Q c (O{S{V)~QQQ O, S, V, U c O{S~V|UQQ O, S, X, Q c O{S{X~QQQ O, S, X, X c O{S{X{XQQ O, T, Q, S c O{T~S{QQQ O, T, Q, U c (O{T{U)~QQQ O, T, R, T c O{T~T|RQQ O, T, R, V c O{T~R{VQQ O, T, R, X c O{R~X|TQQ O, T, S, Q c O{T~S{QQQ O, T, T, R c O{T~T|RQQ O, T, U, Q c (O{T{U)~QQQ O, T, U, W c O{T~U|WQQ O, T, V, R c O{T~R{VQQ O, T, W, U c O{T~U|WQQ O, T, W, X c O{T{W{XQQ O, T, X, R c O{X~R|TQQ O, T, X, W c O{T{X{WQQ O, U, Q, S c O{U~S|QQQ O, U, Q, T c (O{U{T)~QQQ O, U, Q, W c O{U{Q~WQQ O, U, R, S c O{U~R{SQQ O, U, S, Q c O{U~S|QQQ O, U, S, R c O{U~R{SQQ O, U, S, S c O{U{S~SQQ O, U, S, V c O{S~V|UQQ O, U, T, Q c (O{U{T)~QQQ O, U, T, W c O{U~T|WQQ O, U, V, S c O{V~S|UQQ O, U, V, X c O{U{V{XQQ O, U, W, Q c O{U{W~QQQ O, U, W, T c O{U~T|WQQ O, U, W, W c O{U{W{WQQ O, U, X, V c O{U{X{VQQ O, V, P, R c O{V~R{PQQ O, V, Q, S c (O{V{S)~QQQ O, V, Q, W c O{V~Q{WQQ O, V, R, P c O{V~R{PQQ O, V, R, T c O{V{R~TQQ O, V, S, Q c (O{V{S)~QQQ O, V, S, U c O{V~S|UQQ O, V, T, R c O{V{T~RQQ O, V, U, S c O{V~S|UQQ O, V, U, X c O{V{U{XQQ O, V, V, W c O{V{V{WQQ O, V, W, Q c O{V~Q{WQQ O, V, W, V c O{V{W{VQQ O, V, X, U c O{V{X{UQQ O, W, Q, R c (O{W{R)~QQQ O, W, Q, U c O{W~Q{UQQ O, W, Q, V c O{W{Q~VQQ O, W, R, Q c (O{W{R)~QQQ O, W, T, U c O{T~U|WQQ O, W, T, X c O{W{T{XQQ O, W, U, Q c O{W~Q{UQQ O, W, U, T c O{U~T|WQQ O, W, U, W c O{W{U{WQQ O, W, V, Q c O{W{V~QQQ O, W, V, V c O{W{V{VQQ O, W, W, U c O{W{W{UQQ O, W, X, T c O{W{X{TQQ O, X, Q, Q c (O{X{Q)~QQQ O, X, Q, S c O{X~Q{SQQ O, X, R, T c O{X~R|TQQ O, X, S, Q c O{X~Q{SQQ O, X, S, X c O{X{S{XQQ O, X, T, R c O{X~R|TQQ O, X, T, W c O{X{T{WQQ O, X, U, V c O{X{U{VQQ O, X, V, U c O{X{V{UQQ O, X, W, T c O{X{W{TQQ O, X, X, S c O{X{X{SQQ P, O, R, V c P{O{R~VQQ P, O, V, R c P{O{V~RQQ P, P, Q, V c P{(P{Q)~VQQ P, P, Q, X c (P{P)~(Q{X)QQ P, P, R, U c P{(P{U)~RQQ P, P, R, V c P{P~R~VQQ P, P, R, W c (P{P)~(R{W)QQ P, P, S, T c P{P{S~TQQ P, P, S, U c (S~U)|(P{P)QQ P, P, S, V c (P{P)~(S{V)QQ P, P, S, X c (P{P)~X{SQQ P, P, T, S c P{P{T~SQQ P, P, T, U c (P{P)~(T{U)QQ P, P, U, R c P{(P{U)~RQQ P, P, U, S c (U~S)|(P{P)QQ P, P, U, T c (P{P)~(U{T)QQ P, P, U, W c (P{P)~W{UQQ P, P, V, Q c P{(P{Q)~VQQ P, P, V, R c P{P~V~RQQ P, P, V, S c (P{P)~(V{S)QQ P, P, V, W c (P{P)~V{WQQ P, P, W, R c (P{P)~(W{R)QQ P, P, W, U c (P{P)~W{UQQ P, P, W, V c (P{P)~V{WQQ P, P, X, Q c (P{P{X)~QQQ P, P, X, S c (P{P)~X{SQQ P, Q, P, V c P{(Q{P)~VQQ P, Q, P, X c (P{P)~(Q{X)QQ P, Q, Q, T c (P{Q~T)~QQQ P, Q, Q, U c Q~(Q~U|P)QQ P, Q, Q, W c (P{Q{W)~QQQ P, Q, Q, X c (P~Q)~(Q{X)QQ P, Q, R, S c Q~(R~S|P)QQ P, Q, R, T c P{(Q{T)~RQQ P, Q, R, U c (P{R)~U|QQQ P, Q, R, V c (P{R{V)~QQQ P, Q, R, W c (P~Q)~(R{W)QQ P, Q, R, X c P{Q~X{RQQ P, Q, S, R c Q~(S~R|P)QQ P, Q, S, S c (P{S)~S{QQQ P, Q, S, T c P~Q{S~TQQ P, Q, S, U c (P{Q)~U{SQQ P, Q, S, V c (P~Q)~(S{V)QQ P, Q, S, W c (P{W)~Q{SQQ P, Q, S, X c P~Q~X{SQQ P, Q, T, Q c (P{Q~T)~QQQ P, Q, T, R c P{(Q{T)~RQQ P, Q, T, S c P~Q{T~SQQ P, Q, T, T c (P{T{T)~QQQ P, Q, T, U c (P~Q)~(T{U)QQ P, Q, T, V c (P{Q)~T{VQQ P, Q, T, W c P{Q~W{TQQ P, Q, T, X c (P{Q)~X|TQQ P, Q, U, Q c (Q~U|P)~QQQ P, Q, U, R c (P{R)~U|QQQ P, Q, U, S c (P{Q)~U{SQQ P, Q, U, T c (P~Q)~(U{T)QQ P, Q, U, U c Q~(U|P{U)QQ P, Q, U, V c P{UQ~VQQ P, Q, U, W c P~Q~W{UQQ P, Q, U, X c P{Q~U{XQQ P, Q, V, P c (P{Q)~V{PQQ P, Q, V, R c (P{V{R)~QQQ P, Q, V, S c (P~Q)~(V{S)QQ P, Q, V, T c (P{Q)~T{VQQ P, Q, V, U c (P{V)~Q{UQQ P, Q, V, V c P{Q~V{VQQ P, Q, V, W c P~Q~V{WQQ P, Q, V, X c Q~V|P{XQQ P, Q, W, Q c (P{Q{W)~QQQ P, Q, W, R c (P~Q)~(W{R)QQ P, Q, W, S c (P{W)~Q{SQQ P, Q, W, T c P{Q~W{TQQ P, Q, W, U c P~Q~W{UQQ P, Q, W, V c P~Q~V{WQQ P, Q, W, W c Q~(W|P){WQQ P, Q, X, P c (P{X{P)~QQQ P, Q, X, Q c (P~Q{X)~QQQ P, Q, X, R c P{Q~X{RQQ P, Q, X, S c P~Q~X{SQQ P, Q, X, T c (P{Q)~X|TQQ P, Q, X, U c P{Q~U{XQQ P, Q, X, V c Q~V|P{XQQ P, R, O, V c P{(R{O)~VQQ P, R, P, U c P{R~(P{U)QQ P, R, P, V c P{R~P~VQQ P, R, P, W c P{R~(W|P)QQ P, R, Q, S c (R~S|P)~QQQ P, R, Q, T c P{R~(Q{T)QQ P, R, Q, U c (P{R)~U|QQQ P, R, Q, V c (P{R{V)~QQQ P, R, Q, W c (P~R{W)~QQQ P, R, Q, X c P{R{Q~XQQ P, R, R, S c P{R~(R{S)QQ P, R, R, U c P{R{R~UQQ P, R, R, V c (PR{V)~RQQ P, R, R, W c P{R~W|RQQ P, R, S, Q c (R~S|P)~QQQ P, R, S, R c P{(R{S)~RQQ P, R, S, T c (P{S)~T|RQQ P, R, S, U c (P{R)~S{UQQ P, R, S, V c (P{S)~R{VQQ P, R, S, W c (R|PS)~WQQ P, R, S, X c P{R~S{XQQ P, R, T, Q c (P{R)~T{QQQ P, R, T, S c (P{T)~R{SQQ P, R, T, T c P~T~T|RQQ P, R, T, U c P{R~T{UQQ P, R, T, V c P~R~T{VQQ P, R, T, W c (P{W)~R|TQQ P, R, T, X c P~R~X|TQQ P, R, U, P c P{R~(U{P)QQ P, R, U, Q c (P{R)~U|QQQ P, R, U, R c P{R{U~RQQ P, R, U, S c P~R~U{SQQ P, R, U, T c P{R~T{UQQ P, R, U, V c (P{R)~V|UQQ P, R, U, W c (P{WR)~UQQ P, R, U, X c P{R~X|UQQ P, R, V, O c P{R~V{OQQ P, R, V, P c P{R~V~PQQ P, R, V, Q c (P{R{V)~QQQ P, R, V, R c (PR{V)~RQQ P, R, V, S c (P{S)~R{VQQ P, R, V, T c P~R~T{VQQ P, R, V, U c (P{R)~V|UQQ P, R, V, V c (PV{R)~VQQ P, R, V, W c (R|P)~V{WQQ P, R, V, X c P{VR~XQQ P, R, W, P c P{R~(W|P)QQ P, R, W, Q c (P~R{W)~QQQ P, R, W, R c P{R~W|RQQ P, R, W, S c (R|PS)~WQQ P, R, W, T c (P{W)~R|TQQ P, R, W, U c (P{WR)~UQQ P, R, W, V c (R|P)~V{WQQ P, R, W, X c (P{X)~R|WQQ P, R, X, Q c P{R{X~QQQ P, R, X, S c P{R~S{XQQ P, R, X, T c P~R~X|TQQ P, R, X, U c P{R~X|UQQ P, R, X, V c P{XR~VQQ P, R, X, W c (P{X)~R|WQQ P, R, X, X c P{R{X{XQQ P, S, P, T c P{S~T{PQQ P, S, P, U c (S~U)|(P{P)QQ P, S, P, V c P{(S|P)~VQQ P, S, P, X c (P{P)~X{SQQ P, S, Q, R c (S~R|P)~QQQ P, S, Q, S c (P{S)~S{QQQ P, S, Q, T c P~S~T{QQQ P, S, Q, U c (P{S{U)~QQQ P, S, Q, V c (P~S{V)~QQQ P, S, Q, W c (P{W)~Q{SQQ P, S, Q, X c P~S{Q~XQQ P, S, R, Q c (S~R|P)~QQQ P, S, R, R c P{(S{R)~RQQ P, S, R, T c (P{S)~T|RQQ P, S, R, U c P~S{R~UQQ P, S, R, V c (P{S)~R{VQQ P, S, R, W c (R|PS)~WQQ P, S, R, X c P{S~R{XQQ P, S, S, Q c (P{S)~S{QQQ P, S, S, T c P{S~S{TQQ P, S, S, U c P~S~S{UQQ P, S, S, V c S~S|P{VQQ P, S, T, P c P{S~T{PQQ P, S, T, Q c P~S~T{QQQ P, S, T, R c (P{S)~T|RQQ P, S, T, S c P{S~S{TQQ P, S, T, T c P{T~T|SQQ P, S, T, U c S~(T|P){UQQ P, S, T, V c (S|P)~T{VQQ P, S, T, X c (S|P)~X|TQQ P, S, U, P c (S~U)|(P{P)QQ P, S, U, Q c (P{S{U)~QQQ P, S, U, R c P{S~U|RQQ P, S, U, S c P~S~S{UQQ P, S, U, T c S~(T|P){UQQ P, S, U, U c (P{U)~S|UQQ P, S, U, V c P~S~V|UQQ P, S, U, W c (P{S)~U|WQQ P, S, V, P c P{(S|P)~VQQ P, S, V, Q c (P~S{V)~QQQ P, S, V, R c (P{S)~R{VQQ P, S, V, S c S~S|P{VQQ P, S, V, T c (S|P)~T{VQQ P, S, V, U c P~S~V|UQQ P, S, V, V c P{S~V|VQQ P, S, V, W c (P{VS)~WQQ P, S, W, Q c (P{W)~Q{SQQ P, S, W, R c W~(R|PS)QQ P, S, W, U c (P{S)~U|WQQ P, S, W, V c (P{VS)~WQQ P, S, W, X c P{S{W{XQQ P, S, X, P c (P{P)~X{SQQ P, S, X, Q c P~S{X~QQQ P, S, X, R c P{S~R{XQQ P, S, X, T c (S|P)~X|TQQ P, S, X, W c P{S{X{WQQ P, S, X, X c P~S{X{XQQ P, T, P, S c P{T~S{PQQ P, T, P, U c (P{P)~(T{U)QQ P, T, Q, Q c (P{T~Q)~QQQ P, T, Q, R c P{(T{Q)~RQQ P, T, Q, S c (P{T)~S|QQQ P, T, Q, T c (P{T{T)~QQQ P, T, Q, U c (P~T{U)~QQQ P, T, Q, V c P{(T|Q)~VQQ P, T, Q, W c P{T{Q~WQQ P, T, Q, X c (P{Q)~X|TQQ P, T, R, Q c P{(T{Q)~RQQ P, T, R, S c (P{T)~R{SQQ P, T, R, T c P~T~T|RQQ P, T, R, U c P{T~R{UQQ P, T, R, V c P~T~R{VQQ P, T, R, W c (P{W)~R|TQQ P, T, R, X c P~R~X|TQQ P, T, S, P c P{T~S{PQQ P, T, S, Q c (P{T)~S|QQQ P, T, S, R c (P{T)~R{SQQ P, T, S, S c P{T{S~SQQ P, T, S, T c P{T~T|SQQ P, T, S, U c (T|P)~S{UQQ P, T, S, V c T~(S|P){VQQ P, T, S, X c (S|P)~X|TQQ P, T, T, Q c (P{T{T)~QQQ P, T, T, R c P~T~T|RQQ P, T, T, S c P{T~T|SQQ P, T, T, W c (P{T)~T|WQQ P, T, U, P c (P{P)~(T{U)QQ P, T, U, Q c (P~T{U)~QQQ P, T, U, R c P{T~R{UQQ P, T, U, S c (T|P)~S{UQQ P, T, U, V c (T|P)~V|UQQ P, T, U, W c P~T~U|WQQ P, T, U, X c P{T~U|XQQ P, T, V, Q c P{(T|Q)~VQQ P, T, V, R c P~T~R{VQQ P, T, V, S c T~(S|P){VQQ P, T, V, U c (T|P)~V|UQQ P, T, V, W c P{V~(W|T)QQ P, T, V, X c P{T{V{XQQ P, T, W, Q c P{T{W~QQQ P, T, W, R c (P{W)~R|TQQ P, T, W, T c (P{T)~T|WQQ P, T, W, U c P~T~U|WQQ P, T, W, V c P{(W|T)~VQQ P, T, W, W c P{T{W{WQQ P, T, W, X c P~T{W{XQQ P, T, X, Q c (P{Q)~X|TQQ P, T, X, R c P~X~R|TQQ P, T, X, S c X~(S|P)|TQQ P, T, X, U c P{T~U|XQQ P, T, X, V c P{T{X{VQQ P, T, X, W c P~T{X{WQQ P, T, X, X c T|P{X{XQQ P, U, P, R c P{(U{P)~RQQ P, U, P, S c (U~S)|(P{P)QQ P, U, P, T c (P{P)~(U{T)QQ P, U, P, W c (P{P)~W{UQQ P, U, Q, Q c (U~Q|P)~QQQ P, U, Q, R c (P{R)~U|QQQ P, U, Q, S c (P{U{S)~QQQ P, U, Q, T c (P~U{T)~QQQ P, U, Q, U c (U|P{U)~QQQ P, U, Q, V c P{UQ~VQQ P, U, Q, W c (P{U)~Q{WQQ P, U, Q, X c P{U~Q{XQQ P, U, R, P c (P{U)~R{PQQ P, U, R, Q c (P{R)~U|QQQ P, U, R, R c P{U~R{RQQ P, U, R, S c P~U~R{SQQ P, U, R, T c P{U{R~TQQ P, U, R, V c P{(U|R)~VQQ P, U, R, W c (P{WR)~UQQ P, U, R, X c P{R~X|UQQ P, U, S, P c (U~S)|(P{P)QQ P, U, S, Q c (P{U{S)~QQQ P, U, S, R c P{U~S|RQQ P, U, S, S c P~U{S~SQQ P, U, S, T c U{S~(T|P)QQ P, U, S, U c (P{U)~S|UQQ P, U, S, V c P~S~V|UQQ P, U, S, W c (P{S)~U|WQQ P, U, T, P c (P{P)~(U{T)QQ P, U, T, Q c (P~U{T)~QQQ P, U, T, R c P{U{T~RQQ P, U, T, S c U{(T|P)~SQQ P, U, T, V c (U~T)|(P{V)QQ P, U, T, W c P~U~T|WQQ P, U, T, X c P{U~T|XQQ P, U, U, Q c (U|P{U)~QQQ P, U, U, S c (P{U)~S|UQQ P, U, U, W c (U|P)~U|WQQ P, U, U, X c P{U{U{XQQ P, U, V, Q c P{U~VQQQ P, U, V, R c P{(U|R)~VQQ P, U, V, S c P~V~S|UQQ P, U, V, T c (U~T)|(P{V)QQ P, U, V, W c P{U{V{WQQ P, U, V, X c P~U{V{XQQ P, U, W, P c (P{P)~W{UQQ P, U, W, Q c P~U{W~QQQ P, U, W, R c (P{WR)~UQQ P, U, W, S c (P{S)~U|WQQ P, U, W, T c P~U~T|WQQ P, U, W, U c (U|P)~U|WQQ P, U, W, V c P{U{W{VQQ P, U, W, W c P~U{W{WQQ P, U, W, X c U|P{W{XQQ P, U, X, Q c P{U~Q{XQQ P, U, X, R c P{X~R|UQQ P, U, X, T c P{U~T|XQQ P, U, X, U c P{U{X{UQQ P, U, X, V c P~U{X{VQQ P, U, X, W c U|P{X{WQQ P, V, O, R c P{(V{O)~RQQ P, V, P, Q c P{V~(P{Q)QQ P, V, P, R c P{V~P~RQQ P, V, P, S c P{V~(S|P)QQ P, V, P, W c (P{P)~V{WQQ P, V, Q, P c P{V~(Q{P)QQ P, V, Q, R c (P{V{R)~QQQ P, V, Q, S c (P~V{S)~QQQ P, V, Q, T c P{V~(T|Q)QQ P, V, Q, U c (P{V)~Q{UQQ P, V, Q, V c P{V{Q~VQQ P, V, Q, W c P~V~Q{WQQ P, V, Q, X c V~Q|P{XQQ P, V, R, O c P{V~R{OQQ P, V, R, P c P{V~R~PQQ P, V, R, Q c (P{V{R)~QQQ P, V, R, R c (PR{V)~RQQ P, V, R, S c (P{S)~R{VQQ P, V, R, T c P~V{R~TQQ P, V, R, U c P{V~(U|R)QQ P, V, R, V c (PV{R)~VQQ P, V, R, W c V~(R|P){WQQ P, V, R, X c P{VR~XQQ P, V, S, P c P{V~(S|P)QQ P, V, S, Q c (P~V{S)~QQQ P, V, S, R c (P{S)~R{VQQ P, V, S, S c V|P{S~SQQ P, V, S, T c V{(S|P)~TQQ P, V, S, U c P~V~S|UQQ P, V, S, V c P{(V|S)~VQQ P, V, S, W c (P{VS)~WQQ P, V, T, Q c P{V~(T|Q)QQ P, V, T, R c P~V{T~RQQ P, V, T, S c V{T~(S|P)QQ P, V, T, U c V~(T|P)|UQQ P, V, T, W c P{V~(W|T)QQ P, V, T, X c P{V{T{XQQ P, V, U, Q c P{V~UQQQ P, V, U, R c P{V~(U|R)QQ P, V, U, S c P~V~S|UQQ P, V, U, T c V~(T|P)|UQQ P, V, U, W c P{V{U{WQQ P, V, U, X c P~V{U{XQQ P, V, V, Q c P{V{V~QQQ P, V, V, R c (PV{R)~VQQ P, V, V, S c P{V~(V|S)QQ P, V, V, V c P{V{V{VQQ P, V, V, W c P~V{V{WQQ P, V, V, X c V|P{V{XQQ P, V, W, P c (P{P)~V{WQQ P, V, W, Q c P~V~Q{WQQ P, V, W, R c V~(R|P){WQQ P, V, W, S c (P{VS)~WQQ P, V, W, T c P{V~(W|T)QQ P, V, W, U c P{V{W{UQQ P, V, W, V c P~V{W{VQQ P, V, W, W c V|P{W{WQQ P, V, X, Q c V~Q|P{XQQ P, V, X, R c P{V~XRQQ P, V, X, T c P{V{X{TQQ P, V, X, U c P{V~(X|U)QQ P, V, X, V c V|P{X{VQQ P, W, P, R c P{(W|P)~RQQ P, W, P, U c (P{P)~W{UQQ P, W, P, V c (P{P)~V{WQQ P, W, Q, Q c (P{W{Q)~QQQ P, W, Q, R c (P~W{R)~QQQ P, W, Q, S c (P{W)~Q{SQQ P, W, Q, T c P{W~Q{TQQ P, W, Q, U c P~W~Q{UQQ P, W, Q, V c P~W{Q~VQQ P, W, Q, W c (W|P)~Q{WQQ P, W, R, P c P{(W|P)~RQQ P, W, R, Q c (P~W{R)~QQQ P, W, R, R c P{W~R|RQQ P, W, R, S c W~(R|PS)QQ P, W, R, T c (P{W)~R|TQQ P, W, R, U c (P{WR)~UQQ P, W, R, V c W{(R|P)~VQQ P, W, R, X c (P{X)~R|WQQ P, W, S, Q c (P{W)~Q{SQQ P, W, S, R c W~(R|PS)QQ P, W, S, U c (P{S)~U|WQQ P, W, S, V c (P{VS)~WQQ P, W, S, X c P{W{S{XQQ P, W, T, Q c P{W~Q{TQQ P, W, T, R c (P{W)~R|TQQ P, W, T, T c (P{T)~T|WQQ P, W, T, U c P~T~U|WQQ P, W, T, V c P{(W|T)~VQQ P, W, T, W c P{W{T{WQQ P, W, T, X c P~W{T{XQQ P, W, U, P c (P{P)~W{UQQ P, W, U, Q c P~W~Q{UQQ P, W, U, R c (P{WR)~UQQ P, W, U, S c (P{S)~U|WQQ P, W, U, T c P~U~T|WQQ P, W, U, U c (U|P)~U|WQQ P, W, U, V c P{W{U{VQQ P, W, U, W c P~W{U{WQQ P, W, U, X c W|P{U{XQQ P, W, V, P c (P{P)~V{WQQ P, W, V, Q c P~W{V~QQQ P, W, V, R c W{V~(R|P)QQ P, W, V, S c (P{VS)~WQQ P, W, V, T c P{(W|T)~VQQ P, W, V, U c P{W{V{UQQ P, W, V, V c P~W{V{VQQ P, W, V, W c W|P{V{WQQ P, W, W, Q c (W|P)~Q{WQQ P, W, W, T c P{W{W{TQQ P, W, W, U c P~W{W{UQQ P, W, W, V c W|P{W{VQQ P, W, X, R c (P{X)~R|WQQ P, W, X, S c P{W{X{SQQ P, W, X, T c P~W{X{TQQ P, W, X, U c W|P{X{UQQ P, X, P, Q c (P{X{P)~QQQ P, X, P, S c (P{P)~X{SQQ P, X, Q, P c (P{X{P)~QQQ P, X, Q, Q c (P{X)~Q{QQQ P, X, Q, R c P{(X|Q)~RQQ P, X, Q, S c (P{XQ)~SQQ P, X, Q, T c (P{Q)~X|TQQ P, X, Q, U c P{X{Q~UQQ P, X, Q, V c X|P{Q~VQQ P, X, R, Q c P{(X|Q)~RQQ P, X, R, S c P{X{R~SQQ P, X, R, T c P~X~R|TQQ P, X, R, U c P{X~R|UQQ P, X, R, V c P{XR~VQQ P, X, R, W c (P{X)~R|WQQ P, X, R, X c P{X{R{XQQ P, X, S, P c (P{P)~X{SQQ P, X, S, Q c (P{XQ)~SQQ P, X, S, R c P{X{S~RQQ P, X, S, T c X~(S|P)|TQQ P, X, S, W c P{X{S{WQQ P, X, S, X c P~X{S{XQQ P, X, T, Q c (P{Q)~X|TQQ P, X, T, R c P~X~R|TQQ P, X, T, S c X~(S|P)|TQQ P, X, T, U c P{T~U|XQQ P, X, T, V c P{X{T{VQQ P, X, T, W c P~X{T{WQQ P, X, T, X c X|P{T{XQQ P, X, U, Q c P{X{U~QQQ P, X, U, R c P{X~R|UQQ P, X, U, T c P{U~T|XQQ P, X, U, U c P{X{U{UQQ P, X, U, V c P{(X|U)~VQQ P, X, U, W c X|P{U{WQQ P, X, V, Q c X|P{V~QQQ P, X, V, R c P{X~VRQQ P, X, V, T c P{X{V{TQQ P, X, V, U c P~X{V{UQQ P, X, V, V c X|P{V{VQQ P, X, W, R c (P{X)~R|WQQ P, X, W, S c P{X{W{SQQ P, X, W, T c P~X{W{TQQ P, X, W, U c X|P{W{UQQ P, X, X, R c P{X{X{RQQ P, X, X, S c P~X{X{SQQ P, X, X, T c X|P{X{TQQ Q, O, Q, X c (Q{O)~(Q{X)QQ Q, O, R, W c (Q{O)~(R{W)QQ Q, O, S, T c Q{O{S~TQQ Q, O, S, U c O{S~U|QQQ Q, O, S, V c (Q{O)~(S{V)QQ Q, O, S, X c (Q{O)~X{SQQ Q, O, T, S c Q{O{T~SQQ Q, O, T, U c (Q{O)~(T{U)QQ Q, O, U, S c O{U~S|QQQ Q, O, U, T c (Q{O)~(U{T)QQ Q, O, U, W c (Q{O)~W{UQQ Q, O, V, S c (Q{O)~(V{S)QQ Q, O, V, W c (Q{O)~V{WQQ Q, O, W, R c (Q{O)~(W{R)QQ Q, O, W, U c (Q{O)~W{UQQ Q, O, W, V c (Q{O)~V{WQQ Q, O, X, Q c (Q{O{X)~QQQ Q, O, X, S c (Q{O)~X{SQQ Q, P, P, V c (Q{P)~V{PQQ Q, P, P, X c Q~(P{P{X)QQ Q, P, Q, T c Q~(P{Q~T)QQ Q, P, Q, U c Q~(Q~U|P)QQ Q, P, Q, W c Q~(P{Q{W)QQ Q, P, Q, X c (Q~P)~(Q{X)QQ Q, P, R, S c Q~(R~S|P)QQ Q, P, R, T c Q{(P{R)~TQQ Q, P, R, U c (P{R)~U|QQQ Q, P, R, V c Q|P{R~VQQ Q, P, R, W c (Q~P)~(R{W)QQ Q, P, R, X c Q~(R|P{X)QQ Q, P, S, R c Q~(S~R|P)QQ Q, P, S, S c Q{(P{S)~SQQ Q, P, S, T c Q{P~S~TQQ Q, P, S, U c Q~(P{S{U)QQ Q, P, S, V c (Q~P)~(S{V)QQ Q, P, S, W c Q~(P{W){SQQ Q, P, S, X c Q~P~X{SQQ Q, P, T, Q c Q~(P{T~Q)QQ Q, P, T, R c Q{(P{R)~TQQ Q, P, T, S c Q{P~T~SQQ Q, P, T, T c Q~(P{T{T)QQ Q, P, T, U c (Q~P)~(T{U)QQ Q, P, T, V c (Q{P)~T{VQQ Q, P, T, W c Q~W{P{TQQ Q, P, T, X c (Q{P)~X|TQQ Q, P, U, Q c (Q~U|P)~QQQ Q, P, U, R c (P{R)~U|QQQ Q, P, U, S c (Q{P)~U{SQQ Q, P, U, T c (Q~P)~(U{T)QQ Q, P, U, U c Q~(U|P{U)QQ Q, P, U, V c Q~(P{V){UQQ Q, P, U, W c Q~(P{U){WQQ Q, P, U, X c Q~U{P{XQQ Q, P, V, P c (Q{P)~V{PQQ Q, P, V, R c Q|P{V~RQQ Q, P, V, S c (Q~P)~(V{S)QQ Q, P, V, T c (Q{P)~T{VQQ Q, P, V, U c Q~(P{V){UQQ Q, P, V, V c Q~V{P{VQQ Q, P, V, W c Q~P~V{WQQ Q, P, V, X c Q~V|P{XQQ Q, P, W, Q c (Q{P{W)~QQQ Q, P, W, R c (Q~P)~(W{R)QQ Q, P, W, S c Q~(P{W){SQQ Q, P, W, T c Q~W{P{TQQ Q, P, W, U c Q~P~W{UQQ Q, P, W, V c Q~P~V{WQQ Q, P, W, W c Q~(W|P){WQQ Q, P, X, P c Q~(P{X{P)QQ Q, P, X, Q c Q{(P{X)~QQQ Q, P, X, R c Q~X{P{RQQ Q, P, X, S c Q~P~X{SQQ Q, P, X, T c (Q{P)~X|TQQ Q, P, X, U c Q~(X|P){UQQ Q, P, X, V c Q~V|P{XQQ Q, Q, O, X c Q~(Q{O{X)QQ Q, Q, P, T c Q~(Q~T{P)QQ Q, Q, P, U c Q~(Q~U|P)QQ Q, Q, P, W c Q~(Q{P{W)QQ Q, Q, P, X c Q{Q~(P{X)QQ Q, Q, Q, T c Q{(Q{Q)~TQQ Q, Q, Q, U c (Q{Q)~U|QQQ Q, Q, Q, V c Q~(Q{Q{V)QQ Q, Q, Q, W c Q{Q~(Q{W)QQ Q, Q, Q, X c Q{Q{Q~XQQ Q, Q, R, R c Q~(Q{R~R)QQ Q, Q, R, S c Q{(Q{R)~SQQ Q, Q, R, T c Q~(Q~R{T)QQ Q, Q, R, U c Q{Q{R~UQQ Q, Q, R, V c Q{Q~(R{V)QQ Q, Q, R, W c Q~R{Q~WQQ Q, Q, R, X c Q~(R{X)|QQQ Q, Q, S, R c Q~(Q~S{R)QQ Q, Q, S, S c (Q{S)~S|QQQ Q, Q, S, T c Q~(Q{S{T)QQ Q, Q, S, U c (Q{Q)~S{UQQ Q, Q, S, V c Q~(Q{V){SQQ Q, Q, S, W c Q{Q~W{SQQ Q, Q, S, X c Q~(S|Q{X)QQ Q, Q, T, P c Q~(Q~T{P)QQ Q, Q, T, Q c (Q{Q)~T{QQQ Q, Q, T, R c Q~(Q~R{T)QQ Q, Q, T, S c Q~(Q{T{S)QQ Q, Q, T, T c Q{Q~(T{T)QQ Q, Q, T, U c Q~T{Q~UQQ Q, Q, T, V c Q~(T{V)|QQQ Q, Q, T, W c Q~(Q{T){WQQ Q, Q, U, P c Q~(Q~U|P)QQ Q, Q, U, Q c (Q{Q)~U|QQQ Q, Q, U, R c Q{Q{U~RQQ Q, Q, U, S c Q{Q~(U{S)QQ Q, Q, U, T c Q{(U|Q)~TQQ Q, Q, U, U c Q~(Q{U){UQQ Q, Q, U, V c Q{Q~V{UQQ Q, Q, U, W c Q{Q~U{WQQ Q, Q, U, X c Q~X|Q{UQQ Q, Q, V, Q c (Q{Q{V)~QQQ Q, Q, V, R c Q{Q~(V{R)QQ Q, Q, V, S c Q~(Q{V){SQQ Q, Q, V, T c Q~(V{T)|QQQ Q, Q, V, U c Q{Q~V{UQQ Q, Q, V, W c Q~(V{WQ)QQ Q, Q, V, X c Q~(Q~X|V)QQ Q, Q, W, P c Q~(Q{W{P)QQ Q, Q, W, Q c Q{(Q{W)~QQQ Q, Q, W, R c Q~W{Q~RQQ Q, Q, W, S c Q{Q~W{SQQ Q, Q, W, T c Q~(Q~W|T)QQ Q, Q, W, U c Q{Q~U{WQQ Q, Q, W, V c Q~(WQ{V)QQ Q, Q, W, W c Q~W|Q{WQQ Q, Q, W, X c Q~(X|Q){WQQ Q, Q, X, O c Q~(Q{X){OQQ Q, Q, X, P c Q{Q~(X{P)QQ Q, Q, X, Q c Q{Q{X~QQQ Q, Q, X, R c Q~(X{R)|QQQ Q, Q, X, S c (Q{X)Q~SQQ Q, Q, X, U c Q~X|Q{UQQ Q, Q, X, V c Q~(Q~X|V)QQ Q, Q, X, W c Q~(X|Q){WQQ Q, Q, X, X c Q{Q{X{XQQ Q, R, O, W c Q~(R{O{W)QQ Q, R, P, S c Q~(R~S|P)QQ Q, R, P, T c Q{(R{P)~TQQ Q, R, P, U c (R{P)~U|QQQ Q, R, P, V c Q~(R{P{V)QQ Q, R, P, W c Q~(R{P~W)QQ Q, R, P, X c Q~(R|P{X)QQ Q, R, Q, R c (Q{R~R)~QQQ Q, R, Q, S c Q{(R{Q)~SQQ Q, R, Q, T c Q~(R~Q{T)QQ Q, R, Q, U c Q~(R{Q{U)QQ Q, R, Q, V c Q{(R{V)~QQQ Q, R, Q, W c Q~R{Q~WQQ Q, R, Q, X c Q~(R{X)|QQQ Q, R, R, Q c (Q{R~R)~QQQ Q, R, R, S c Q~R~R{SQQ Q, R, R, T c Q~(R{R{T)QQ Q, R, R, U c (QR{R)~UQQ Q, R, R, V c (Q{R)~R{VQQ Q, R, R, W c Q~W{R{RQQ Q, R, R, X c (R~X)|(Q{R)QQ Q, R, S, P c Q~(R~S|P)QQ Q, R, S, Q c (Q{R)~S{QQQ Q, R, S, R c Q~R~R{SQQ Q, R, S, S c Q~(R{S{S)QQ Q, R, S, T c Q~(R~T|S)QQ Q, R, S, U c Q~(R{U){SQQ Q, R, S, V c S~V|Q~RQQ Q, R, S, W c Q{R~S{WQQ Q, R, S, X c S~(X|R)|QQQ Q, R, T, P c Q{(R{P)~TQQ Q, R, T, Q c (Q~R{T)~QQQ Q, R, T, R c (Q{R)~T|RQQ Q, R, T, S c Q~(R~T|S)QQ Q, R, T, T c Q{R~T{TQQ Q, R, T, U c Q~(R{T){UQQ Q, R, T, V c Q{T~(V|R)QQ Q, R, T, W c Q~R~T|WQQ Q, R, T, X c Q~T{R{XQQ Q, R, U, P c (R{P)~U|QQQ Q, R, U, Q c (Q{R{U)~QQQ Q, R, U, R c (QR{R)~UQQ Q, R, U, S c Q~(R{U){SQQ Q, R, U, T c Q~(R{T){UQQ Q, R, U, U c R~U|Q{UQQ Q, R, U, V c Q~(R~U|V)QQ Q, R, U, W c (Q{R)~U|WQQ Q, R, U, X c Q~(UR{X)QQ Q, R, V, P c Q{R~V|PQQ Q, R, V, Q c Q{(R{V)~QQQ Q, R, V, R c (Q{R)~R{VQQ Q, R, V, S c (V|RQ)~SQQ Q, R, V, T c Q{(V|R)~TQQ Q, R, V, U c Q~(R~U|V)QQ Q, R, V, V c Q~(V|R{V)QQ Q, R, V, X c Q~R{V{XQQ Q, R, W, O c Q~(R{W){OQQ Q, R, W, P c Q~(R{W)~PQQ Q, R, W, Q c Q~R{W~QQQ Q, R, W, R c Q~W{R{RQQ Q, R, W, S c Q{R~W|SQQ Q, R, W, T c Q~R~T|WQQ Q, R, W, U c (Q{R)~U|WQQ Q, R, W, W c Q~R{W{WQQ Q, R, W, X c Q{R{W{XQQ Q, R, X, P c Q~(R{X|P)QQ Q, R, X, Q c Q~(R{X)|QQQ Q, R, X, R c (R~X)|(Q{R)QQ Q, R, X, S c (X|R)~S|QQQ Q, R, X, T c Q~(X|R{T)QQ Q, R, X, U c (Q{X)R~UQQ Q, R, X, V c Q{R~X|VQQ Q, R, X, W c Q{R{X{WQQ Q, S, O, T c Q{(S{O)~TQQ Q, S, O, U c (S{O)~U|QQQ Q, S, O, V c Q~(S{O{V)QQ Q, S, O, X c (Q{O)~X{SQQ Q, S, P, R c Q~(S~R|P)QQ Q, S, P, S c Q{(S{P)~SQQ Q, S, P, T c Q{S~P~TQQ Q, S, P, U c Q~(S{P{U)QQ Q, S, P, V c Q~(S{P~V)QQ Q, S, P, W c Q~(S|P{W)QQ Q, S, P, X c Q~P~X{SQQ Q, S, Q, R c Q{S~(Q{R)QQ Q, S, Q, S c (Q{S)~S|QQQ Q, S, Q, T c Q~(S{Q{T)QQ Q, S, Q, U c Q~S~Q{UQQ Q, S, Q, V c Q~S{Q~VQQ Q, S, Q, W c Q{S{Q~WQQ Q, S, Q, X c Q~(S|Q{X)QQ Q, S, R, P c Q~(S~R|P)QQ Q, S, R, Q c Q{S~(R{Q)QQ Q, S, R, R c Q~R~R{SQQ Q, S, R, S c (Q{S)~R{SQQ Q, S, R, T c Q~(R~T|S)QQ Q, S, R, U c Q~(R{U){SQQ Q, S, R, V c S~V|Q~RQQ Q, S, R, W c Q{S~R{WQQ Q, S, R, X c S~(X|R)|QQQ Q, S, S, P c Q{S~(S{P)QQ Q, S, S, Q c (Q{S)~S|QQQ Q, S, S, R c Q~(S{S{R)QQ Q, S, S, S c Q{S{S~SQQ Q, S, S, T c Q~(S~S|T)QQ Q, S, S, U c Q~(S{S){UQQ Q, S, S, V c Q~V{S{SQQ Q, S, S, W c S~S|Q{WQQ Q, S, S, X c Q{S~(X|S)QQ Q, S, T, O c Q{S~T{OQQ Q, S, T, P c Q{S~T~PQQ Q, S, T, Q c (Q{S{T)~QQQ Q, S, T, R c Q~T{S~RQQ Q, S, T, S c Q~(S{T){SQQ Q, S, T, T c (QT{S)~TQQ Q, S, T, U c (Q{T)~S|UQQ Q, S, T, W c (Q{S)~T|WQQ Q, S, T, X c Q~S{T{XQQ Q, S, U, O c S~U|Q{OQQ Q, S, U, P c Q{S~(U|P)QQ Q, S, U, Q c Q{(S{U)~QQQ Q, S, U, R c Q~(U{R){SQQ Q, S, U, S c Q{S~U|SQQ Q, S, U, T c (Q{T)~S|UQQ Q, S, U, U c Q~U{S{UQQ Q, S, U, V c Q~(U{V)|SQQ Q, S, U, W c Q~S{U{WQQ Q, S, U, X c Q~(U|S{X)QQ Q, S, V, O c Q~(S{V){OQQ Q, S, V, P c Q~(S{V)~PQQ Q, S, V, Q c Q{S~(V|Q)QQ Q, S, V, R c S~V|Q~RQQ Q, S, V, S c Q~V{S{SQQ Q, S, V, U c Q~(V{U)|SQQ Q, S, V, V c Q~S{V{VQQ Q, S, V, W c Q{S~V|WQQ Q, S, V, X c Q{S{V{XQQ Q, S, W, P c Q~(S{W|P)QQ Q, S, W, Q c Q{S{W~QQQ Q, S, W, R c Q{S~(W|R)QQ Q, S, W, S c S~S|Q{WQQ Q, S, W, T c (Q{S)~T|WQQ Q, S, W, U c Q~S{W{UQQ Q, S, W, V c Q{S~V|WQQ Q, S, W, W c Q{S{W{WQQ Q, S, W, X c Q~(WS{X)QQ Q, S, X, O c Q~X{S{OQQ Q, S, X, P c Q~X{S~PQQ Q, S, X, Q c Q~(S{X|Q)QQ Q, S, X, R c S~(X|R)|QQQ Q, S, X, S c Q{S~(X|S)QQ Q, S, X, T c Q~S{X{TQQ Q, S, X, U c Q~(X|S{U)QQ Q, S, X, V c Q{S{X{VQQ Q, S, X, W c (Q{X)S~WQQ Q, S, X, X c (Q{SX)~XQQ Q, T, O, S c Q{(T{O)~SQQ Q, T, O, U c Q~(T{O{U)QQ Q, T, P, Q c (Q~T{P)~QQQ Q, T, P, R c Q{T~(P{R)QQ Q, T, P, S c Q{T~P~SQQ Q, T, P, T c Q{(T|P)~TQQ Q, T, P, U c Q~(T{P~U)QQ Q, T, P, V c Q~(T|P{V)QQ Q, T, P, W c Q~W{T{PQQ Q, T, P, X c (Q{P)~X|TQQ Q, T, Q, P c Q~(T~Q{P)QQ Q, T, Q, Q c Q{T~(Q{Q)QQ Q, T, Q, R c Q~(T{Q~R)QQ Q, T, Q, S c Q~(T{Q{S)QQ Q, T, Q, T c Q{(T{T)~QQQ Q, T, Q, U c Q~T{Q~UQQ Q, T, Q, V c Q~(T{V)|QQQ Q, T, Q, W c (Q{T)~Q{WQQ Q, T, R, P c (Q{T)~R{PQQ Q, T, R, Q c Q~(T{R~Q)QQ Q, T, R, R c Q~(T{R{R)QQ Q, T, R, S c Q~T{R~SQQ Q, T, R, T c Q{T{R~TQQ Q, T, R, U c (Q{TR)~UQQ Q, T, R, V c Q{T~(V|R)QQ Q, T, R, W c Q~T~R|WQQ Q, T, R, X c Q~T{R{XQQ Q, T, S, O c Q{T~S{OQQ Q, T, S, P c Q{T~S~PQQ Q, T, S, Q c (Q{T{S)~QQQ Q, T, S, R c Q~T{S~RQQ Q, T, S, S c Q~(T{S){SQQ Q, T, S, T c (QT{S)~TQQ Q, T, S, U c (Q{T)~S|UQQ Q, T, S, W c Q~T{S{WQQ Q, T, S, X c Q~(T~S|X)QQ Q, T, T, P c Q{T~(T|P)QQ Q, T, T, Q c Q{(T{T)~QQQ Q, T, T, R c Q{T{T~RQQ Q, T, T, S c (QT{S)~TQQ Q, T, T, T c Q{T~T|TQQ Q, T, T, U c Q~U{T{TQQ Q, T, T, V c Q~T{T{VQQ Q, T, T, X c Q{T~(X|T)QQ Q, T, U, O c Q~(T{U){OQQ Q, T, U, P c Q~(T{U)~PQQ Q, T, U, Q c Q{T~(U|Q)QQ Q, T, U, R c (Q{TR)~UQQ Q, T, U, S c (Q{T)~S|UQQ Q, T, U, T c Q~U{T{TQQ Q, T, U, U c Q~T{U{UQQ Q, T, U, V c TQ~U{VQQ Q, T, U, X c Q{T{U{XQQ Q, T, V, P c Q~(T{V|P)QQ Q, T, V, Q c Q~(T{V)|QQQ Q, T, V, R c Q{T~(V|R)QQ Q, T, V, T c Q~T{V{TQQ Q, T, V, U c TQ~U{VQQ Q, T, V, V c (V~V|T)QQQ Q, T, V, W c Q{T{V{WQQ Q, T, V, X c Q~(V|T{X)QQ Q, T, W, P c Q~W{T{PQQ Q, T, W, Q c Q{T~WQQQ Q, T, W, R c Q~T~R|WQQ Q, T, W, S c Q{T~(W|S)QQ Q, T, W, V c Q{T{W{VQQ Q, T, W, W c Q~(W|T{W)QQ Q, T, W, X c T~W|Q~XQQ Q, T, X, P c Q~X{T|PQQ Q, T, X, R c Q~T{X{RQQ Q, T, X, S c Q~(T~S|X)QQ Q, T, X, T c Q{T~(X|T)QQ Q, T, X, U c Q{T{X{UQQ Q, T, X, V c Q~(X|T{V)QQ Q, T, X, W c T~W|Q~XQQ Q, T, X, X c Q~X|T{XQQ Q, U, O, S c (U{O)~S|QQQ Q, U, O, T c Q~(U{O{T)QQ Q, U, O, W c (Q{O)~W{UQQ Q, U, P, Q c (Q~U|P)~QQQ Q, U, P, R c U~(P{R)|QQQ Q, U, P, S c Q{(U|P)~SQQ Q, U, P, T c Q~(U{P~T)QQ Q, U, P, U c Q~(U|P{U)QQ Q, U, P, V c Q~(P{V){UQQ Q, U, P, W c Q~(U{P){WQQ Q, U, P, X c Q~U{P{XQQ Q, U, Q, P c Q~(U~Q|P)QQ Q, U, Q, Q c Q~U~Q|QQQ Q, U, Q, R c Q~(U{Q{R)QQ Q, U, Q, S c Q{(U{S)~QQQ Q, U, Q, T c Q{(U|Q)~TQQ Q, U, Q, U c (Q{U)~Q{UQQ Q, U, Q, V c Q{U{Q~VQQ Q, U, Q, W c Q{U~Q{WQQ Q, U, Q, X c Q~X{U|QQQ Q, U, R, P c U~(R{P)|QQQ Q, U, R, Q c (Q{U{R)~QQQ Q, U, R, R c (QR{R)~UQQ Q, U, R, S c Q~(U{R){SQQ Q, U, R, T c Q~(R{T){UQQ Q, U, R, U c U|Q{R~UQQ Q, U, R, V c Q~U{R{VQQ Q, U, R, W c Q~(U|R{W)QQ Q, U, R, X c Q~(UR{X)QQ Q, U, S, O c U~S|Q{OQQ Q, U, S, P c Q~(U{S{P)QQ Q, U, S, Q c Q{(U{S)~QQQ Q, U, S, R c Q~(U{R){SQQ Q, U, S, S c Q{U~S|SQQ Q, U, S, T c (Q{T)~S|UQQ Q, U, S, U c Q~U{S{UQQ Q, U, S, V c Q~(U{V)|SQQ Q, U, S, W c Q~S{U{WQQ Q, U, S, X c Q~(U|S{X)QQ Q, U, T, O c Q~(U{T){OQQ Q, U, T, P c Q~(U{T)~PQQ Q, U, T, Q c Q~U{T~QQQ Q, U, T, R c (Q{TR)~UQQ Q, U, T, S c (Q{T)~S|UQQ Q, U, T, T c Q~U{T{TQQ Q, U, T, U c Q~T{U{UQQ Q, U, T, V c UQ~T{VQQ Q, U, T, X c Q{U{T{XQQ Q, U, U, P c Q~(U{U|P)QQ Q, U, U, Q c Q~(U{U)|QQQ Q, U, U, R c U|Q{U~RQQ Q, U, U, S c Q~U{U{SQQ Q, U, U, T c Q~T{U{UQQ Q, U, U, V c (U|Q)~V|UQQ Q, U, U, W c Q{U{U{WQQ Q, U, V, P c Q~(V{P){UQQ Q, U, V, Q c Q{U{V~QQQ Q, U, V, R c Q~U{V{RQQ Q, U, V, S c Q~(U{V)|SQQ Q, U, V, T c UQ~T{VQQ Q, U, V, U c (U|Q)~V|UQQ Q, U, V, V c Q{U{V{VQQ Q, U, V, W c U~(V|Q)|WQQ Q, U, W, O c Q~W{U{OQQ Q, U, W, P c Q~(U{P){WQQ Q, U, W, Q c Q~U{W{QQQ Q, U, W, R c Q~(U{W|R)QQ Q, U, W, S c Q~S{U{WQQ Q, U, W, U c Q{U{W{UQQ Q, U, W, V c U~(V|Q)|WQQ Q, U, W, W c (Q{UW)~WQQ Q, U, W, X c Q~(U{X)|WQQ Q, U, X, P c Q~U{X{PQQ Q, U, X, Q c Q~X{U|QQQ Q, U, X, R c Q~(UR{X)QQ Q, U, X, S c Q~(U{X|S)QQ Q, U, X, T c Q{U{X{TQQ Q, U, X, W c Q~(U{X)|WQQ Q, U, X, X c U|Q{X{XQQ Q, V, O, S c Q~(V{O{S)QQ Q, V, O, W c Q~V{O{WQQ Q, V, P, P c (Q{P)~V{PQQ Q, V, P, R c Q~(V{P{R)QQ Q, V, P, S c Q~(V{P~S)QQ Q, V, P, T c Q~(V|P{T)QQ Q, V, P, U c Q~(V{P){UQQ Q, V, P, V c Q~V{P{VQQ Q, V, P, W c Q~V{P~WQQ Q, V, P, X c Q~V|P{XQQ Q, V, Q, Q c (Q{V{Q)~QQQ Q, V, Q, R c Q~(V~Q|R)QQ Q, V, Q, S c Q{(V|Q)~SQQ Q, V, Q, T c Q~(V{T)|QQQ Q, V, Q, U c Q{V~Q{UQQ Q, V, Q, W c Q~(V{WQ)QQ Q, V, Q, X c Q~(Q~X|V)QQ Q, V, R, P c Q{V~R|PQQ Q, V, R, Q c Q{(V{R)~QQQ Q, V, R, R c (Q{R)~R{VQQ Q, V, R, S c (V|RQ)~SQQ Q, V, R, T c Q{(V|R)~TQQ Q, V, R, U c Q~(R~U|V)QQ Q, V, R, V c Q~(V|R{V)QQ Q, V, R, X c Q~R{V{XQQ Q, V, S, O c Q~(V{S){OQQ Q, V, S, P c Q~(V{S)~PQQ Q, V, S, Q c Q~V{S~QQQ Q, V, S, R c V~S|Q~RQQ Q, V, S, S c Q~V{S{SQQ Q, V, S, U c Q~(V{U)|SQQ Q, V, S, V c Q~S{V{VQQ Q, V, S, W c Q{V~S|WQQ Q, V, S, X c Q{V{S{XQQ Q, V, T, P c Q~(V{T|P)QQ Q, V, T, Q c Q~(V{T)|QQQ Q, V, T, R c Q~V{T{RQQ Q, V, T, T c Q~T{V{TQQ Q, V, T, U c V{TQ~UQQ Q, V, T, V c (V~V|T)QQQ Q, V, T, W c Q{V{T{WQQ Q, V, T, X c Q~(V|T{X)QQ Q, V, U, P c Q~(V{P){UQQ Q, V, U, Q c (Q{V~U)QQQ Q, V, U, R c Q~U{V{RQQ Q, V, U, S c Q~(V{U)|SQQ Q, V, U, T c V{UQ~TQQ Q, V, U, U c V~(U|Q)|UQQ Q, V, U, V c Q{V{U{VQQ Q, V, U, W c (V|Q)~U|WQQ Q, V, V, P c Q~V{V{PQQ Q, V, V, R c Q~(V{V|R)QQ Q, V, V, S c Q~S{V{VQQ Q, V, V, T c (V~V|T)QQQ Q, V, V, U c Q{V{V{UQQ Q, V, V, W c (Q{WV)~VQQ Q, V, W, O c Q~V{W{OQQ Q, V, W, P c Q~V{W~PQQ Q, V, W, Q c Q~(V{WQ)QQ Q, V, W, S c Q~(V{W|S)QQ Q, V, W, T c Q{V{W{TQQ Q, V, W, U c VQ~W|UQQ Q, V, W, V c (Q{WV)~VQQ Q, V, W, W c Q~(V{W)|WQQ Q, V, W, X c V|Q{W{XQQ Q, V, X, P c Q~V{X|PQQ Q, V, X, Q c (Q~X|V)~QQQ Q, V, X, R c Q~X{V|RQQ Q, V, X, S c Q{V{X{SQQ Q, V, X, T c Q~(V{X|T)QQ Q, V, X, W c V|Q{X{WQQ Q, V, X, X c Q~(X|V{X)QQ Q, W, O, R c Q~(W{O{R)QQ Q, W, O, U c Q~W{O{UQQ Q, W, O, V c (Q{O)~V{WQQ Q, W, P, Q c (Q{W{P)~QQQ Q, W, P, R c Q~(W{P~R)QQ Q, W, P, S c Q~(W{P){SQQ Q, W, P, T c Q~W{P{TQQ Q, W, P, U c Q~W{P~UQQ Q, W, P, V c Q~W|P{VQQ Q, W, P, W c Q~(W|P){WQQ Q, W, Q, P c Q~(W{Q{P)QQ Q, W, Q, Q c Q{(W{Q)~QQQ Q, W, Q, R c Q~W{Q~RQQ Q, W, Q, S c Q{W~Q{SQQ Q, W, Q, T c Q{WQ~TQQ Q, W, Q, U c Q{W{Q~UQQ Q, W, Q, V c Q~(WQ{V)QQ Q, W, Q, W c Q~W|Q{WQQ Q, W, Q, X c Q~X{WQQQ Q, W, R, O c Q~(W{R){OQQ Q, W, R, P c Q~(W{R)~PQQ Q, W, R, Q c Q~W{R~QQQ Q, W, R, R c Q~W{R{RQQ Q, W, R, S c Q{W{R~SQQ Q, W, R, T c Q~R~T|WQQ Q, W, R, U c Q~(W|R{U)QQ Q, W, R, W c (Q{W)~R|WQQ Q, W, R, X c Q{W{R{XQQ Q, W, S, P c Q~(W{S|P)QQ Q, W, S, Q c Q~W{S{QQQ Q, W, S, R c Q{W{S~RQQ Q, W, S, S c W|Q{S~SQQ Q, W, S, T c Q{(W|S)~TQQ Q, W, S, U c Q~S{W{UQQ Q, W, S, V c Q~(W|S{V)QQ Q, W, S, W c Q{W{S{WQQ Q, W, S, X c Q~(WS{X)QQ Q, W, T, P c Q~W{T{PQQ Q, W, T, Q c Q{W~TQQQ Q, W, T, R c Q~T~R|WQQ Q, W, T, S c Q~(W{T)|SQQ Q, W, T, V c Q{W{T{VQQ Q, W, T, W c Q~(W|T{W)QQ Q, W, T, X c W~T|Q~XQQ Q, W, U, O c Q~W{U{OQQ Q, W, U, P c Q~W{U~PQQ Q, W, U, Q c Q{W{U~QQQ Q, W, U, R c Q~(W{U|R)QQ Q, W, U, S c Q~S{W{UQQ Q, W, U, U c Q{W{U{UQQ Q, W, U, V c WQ~V|UQQ Q, W, U, W c (Q{UW)~WQQ Q, W, U, X c Q~(W|U{X)QQ Q, W, V, O c Q~V{W{OQQ Q, W, V, P c Q~W{V|PQQ Q, W, V, Q c Q~(WQ{V)QQ Q, W, V, S c Q~(W{V|S)QQ Q, W, V, T c Q{W{V{TQQ Q, W, V, U c WQ~V|UQQ Q, W, V, V c (Q{WV)~VQQ Q, W, V, W c Q~(W{V)|WQQ Q, W, V, X c W|Q{V{XQQ Q, W, W, P c Q~(W|P){WQQ Q, W, W, Q c Q~W{W|QQQ Q, W, W, R c (Q{W~W)RQQ Q, W, W, S c Q{W{W{SQQ Q, W, W, T c Q~(W{W|T)QQ Q, W, W, U c (Q{UW)~WQQ Q, W, W, V c Q~(W{V)|WQQ Q, W, W, W c W|Q{W{WQQ Q, W, X, Q c Q~X{WQQQ Q, W, X, R c Q{W{X{RQQ Q, W, X, S c Q~(WS{X)QQ Q, W, X, T c W~T|Q~XQQ Q, W, X, U c Q~(W{X|U)QQ Q, W, X, V c W|Q{X{VQQ Q, W, X, X c WQ{X{XQQ Q, X, O, Q c (Q{X{O)~QQQ Q, X, O, S c Q~X{O{SQQ Q, X, P, P c (Q{X)~(P{P)QQ Q, X, P, Q c Q{(X{P)~QQQ Q, X, P, R c Q~X{P{RQQ Q, X, P, S c Q~X{P~SQQ Q, X, P, T c Q~X|P{TQQ Q, X, P, U c Q~(X|P){UQQ Q, X, P, V c Q~V{X|PQQ Q, X, Q, O c (Q{X)~(Q{O)QQ Q, X, Q, P c (Q{X)~(Q~P)QQ Q, X, Q, Q c Q{X~Q{QQQ Q, X, Q, R c Q~(X{R)|QQQ Q, X, Q, S c (Q{X)Q~SQQ Q, X, Q, U c Q~X|Q{UQQ Q, X, Q, V c Q~(X~Q|V)QQ Q, X, Q, W c Q~(X|Q){WQQ Q, X, Q, X c Q{X{Q{XQQ Q, X, R, P c (Q{X)~(R|P)QQ Q, X, R, Q c Q~(X{R)|QQQ Q, X, R, R c (X~R)|(Q{R)QQ Q, X, R, S c (X|R)~S|QQQ Q, X, R, T c Q~(X|R{T)QQ Q, X, R, U c (Q{X)R~UQQ Q, X, R, V c Q{X~R|VQQ Q, X, R, W c Q{X{R{WQQ Q, X, S, O c Q~X{S{OQQ Q, X, S, P c Q~X{S~PQQ Q, X, S, Q c (Q{X)~(S|Q)QQ Q, X, S, R c (X|R)~S|QQQ Q, X, S, S c Q{(X|S)~SQQ Q, X, S, T c Q~S{X{TQQ Q, X, S, U c Q~(X|S{U)QQ Q, X, S, V c Q{X{S{VQQ Q, X, S, W c (Q{X)S~WQQ Q, X, S, X c (Q{SX)~XQQ Q, X, T, P c Q~X{T|PQQ Q, X, T, R c (Q{X)~(T|R)QQ Q, X, T, S c Q~(T~S|X)QQ Q, X, T, T c Q{(X|T)~TQQ Q, X, T, U c Q{X{T{UQQ Q, X, T, V c Q~(X|T{V)QQ Q, X, T, W c T~W|Q~XQQ Q, X, T, X c Q~X|T{XQQ Q, X, U, P c Q~(X|P){UQQ Q, X, U, Q c Q~X{U|QQQ Q, X, U, R c (Q{X)~(UR)QQ Q, X, U, S c (Q{X)~(U|S)QQ Q, X, U, T c Q{X{U{TQQ Q, X, U, W c Q~(X{U)|WQQ Q, X, U, X c X|Q{U{XQQ Q, X, V, P c Q~V{X|PQQ Q, X, V, Q c (Q~X|V)~QQQ Q, X, V, R c Q~X{V|RQQ Q, X, V, S c Q{X{V{SQQ Q, X, V, T c (Q{X)~(V|T)QQ Q, X, V, W c X|Q{V{WQQ Q, X, V, X c Q~(X|V{X)QQ Q, X, W, Q c Q~X{WQQQ Q, X, W, R c Q{X{W{RQQ Q, X, W, S c (Q{X)~(WS)QQ Q, X, W, T c W~T|Q~XQQ Q, X, W, U c (Q{X)~(W|U)QQ Q, X, W, V c X|Q{W{VQQ Q, X, W, X c X{WQ{XQQ Q, X, X, Q c Q{X{X{QQQ Q, X, X, S c (Q{SX)~XQQ Q, X, X, T c Q~X{X|TQQ Q, X, X, U c X|Q{X{UQQ Q, X, X, V c (Q{X)~(X|V)QQ Q, X, X, W c X{X{WQQQ R, O, P, V c (R{O)~V{PQQ R, O, Q, W c (R{O{W)~QQQ R, O, S, U c (R{O)~U{SQQ R, O, T, T c O{T~T|RQQ R, O, T, V c (R{O)~T{VQQ R, O, T, X c (R{O)~X|TQQ R, O, U, S c (R{O)~U{SQQ R, O, V, P c (R{O)~V{PQQ R, O, V, T c (R{O)~T{VQQ R, O, W, Q c (R{O{W)~QQQ R, O, X, T c (R{O)~X|TQQ R, P, O, V c (R{O)~V{PQQ R, P, P, U c R~(P{U){PQQ R, P, P, V c R~P~V{PQQ R, P, P, W c (R{W)~(P{P)QQ R, P, Q, S c (R~S|P)~QQQ R, P, Q, T c (R{P)~T{QQQ R, P, Q, U c (R{P)~U|QQQ R, P, Q, V c (R{P{V)~QQQ R, P, Q, W c (R{P~W)~QQQ R, P, Q, X c R{P{Q~XQQ R, P, R, S c R~(R{S){PQQ R, P, R, U c R{P{R~UQQ R, P, R, V c R~(PR{V)QQ R, P, R, W c (R|P)~(R{W)QQ R, P, S, Q c (R~S|P)~QQQ R, P, S, R c (R{S)~R{PQQ R, P, S, T c R|P{S~TQQ R, P, S, U c (R{P)~S{UQQ R, P, S, V c (R|P)~(S{V)QQ R, P, S, W c (R|PS)~WQQ R, P, S, X c (R|P)~X{SQQ R, P, T, Q c (R{P)~T{QQQ R, P, T, S c R|P{T~SQQ R, P, T, T c P~T~T|RQQ R, P, T, U c (R|P)~(T{U)QQ R, P, T, V c R~P~T{VQQ R, P, T, W c R~(P{W)|TQQ R, P, T, X c R~P~X|TQQ R, P, U, P c R~(P{U){PQQ R, P, U, Q c (R{P)~U|QQQ R, P, U, R c R{P{U~RQQ R, P, U, S c R~P~U{SQQ R, P, U, T c (R|P)~(U{T)QQ R, P, U, V c (R{P)~V|UQQ R, P, U, W c (R|P)~W{UQQ R, P, U, X c R~X{P|UQQ R, P, V, O c R~V{P{OQQ R, P, V, P c R~P~V{PQQ R, P, V, Q c (R{P{V)~QQQ R, P, V, R c R~(PR{V)QQ R, P, V, S c (R|P)~(V{S)QQ R, P, V, T c R~P~T{VQQ R, P, V, U c (R{P)~V|UQQ R, P, V, V c (R{PV)~VQQ R, P, V, W c (R|P)~V{WQQ R, P, V, X c P{VR~XQQ R, P, W, P c (R{W)~(P{P)QQ R, P, W, Q c (R{P~W)~QQQ R, P, W, R c (R|P)~(W{R)QQ R, P, W, S c (R|PS)~WQQ R, P, W, T c R~(P{W)|TQQ R, P, W, U c (R|P)~W{UQQ R, P, W, V c (R|P)~V{WQQ R, P, W, X c R~(P{X)|WQQ R, P, X, Q c R{P{X~QQQ R, P, X, S c (R|P)~X{SQQ R, P, X, T c R~P~X|TQQ R, P, X, U c R~X{P|UQQ R, P, X, V c P{XR~VQQ R, P, X, W c R~(P{X)|WQQ R, P, X, X c R{P{X{XQQ R, Q, O, W c (R{O{W)~QQQ R, Q, P, S c (R~S|P)~QQQ R, Q, P, T c R~(Q{T){PQQ R, Q, P, U c (R{P)~U|QQQ R, Q, P, V c (R{P{V)~QQQ R, Q, P, W c (R{P~W)~QQQ R, Q, P, X c R{Q~X{PQQ R, Q, Q, R c (R~R{Q)~QQQ R, Q, Q, S c (R{Q)~S{QQQ R, Q, Q, T c (R~Q{T)~QQQ R, Q, Q, U c (R{Q{U)~QQQ R, Q, Q, V c (R{V)~Q{QQQ R, Q, Q, W c R~Q{Q~WQQ R, Q, Q, X c (R{X)~Q|QQQ R, Q, R, Q c (R~R{Q)~QQQ R, Q, R, S c R~Q~R{SQQ R, Q, R, T c (R{Q)~T|RQQ R, Q, R, U c (R{QR)~UQQ R, Q, R, V c (R{Q)~R{VQQ R, Q, R, W c R{Q~W{RQQ R, Q, R, X c (R~X)|(Q{R)QQ R, Q, S, P c (R~S|P)~QQQ R, Q, S, Q c (R{Q)~S{QQQ R, Q, S, R c R~Q~R{SQQ R, Q, S, S c R~(Q{S){SQQ R, Q, S, T c R~S{Q~TQQ R, Q, S, U c (R{U)~Q{SQQ R, Q, S, V c S~V|R~QQQ R, Q, S, W c (R{S)~Q{WQQ R, Q, S, X c S~(X|R)|QQQ R, Q, T, P c R~(Q{T){PQQ R, Q, T, Q c (R~Q{T)~QQQ R, Q, T, R c (R{Q)~T|RQQ R, Q, T, S c (R{TQ)~SQQ R, Q, T, T c R~T{Q{TQQ R, Q, T, U c (R{T)~Q{UQQ R, Q, T, V c R{Q~V{TQQ R, Q, T, W c R~Q~T|WQQ R, Q, T, X c R{Q~T{XQQ R, Q, U, P c (R{P)~U|QQQ R, Q, U, Q c (R{Q{U)~QQQ R, Q, U, R c (R{QR)~UQQ R, Q, U, S c (R{U)~Q{SQQ R, Q, U, T c (R{T)~Q{UQQ R, Q, U, U c R~U|Q{UQQ R, Q, U, V c R{Q~U{VQQ R, Q, U, W c (R{Q)~U|WQQ R, Q, U, X c Q~(UR{X)QQ R, Q, V, P c R~V{Q|PQQ R, Q, V, Q c (R{V)~Q{QQQ R, Q, V, R c R|Q{V~RQQ R, Q, V, S c (V|RQ)~SQQ R, Q, V, T c R{Q~V{TQQ R, Q, V, U c R{Q~U{VQQ R, Q, V, V c R~(V|Q){VQQ R, Q, V, X c R~Q{V{XQQ R, Q, W, O c (R{W)~(Q{O)QQ R, Q, W, P c (R{W)~(Q~P)QQ R, Q, W, Q c R~Q{W~QQQ R, Q, W, R c R{Q~W{RQQ R, Q, W, S c (R{W)Q~SQQ R, Q, W, T c R~Q~T|WQQ R, Q, W, U c (R{Q)~U|WQQ R, Q, W, W c (R|QW)~WQQ R, Q, W, X c R{Q{W{XQQ R, Q, X, P c R{Q~X{PQQ R, Q, X, Q c (R{X)~Q|QQQ R, Q, X, R c (R~X)|(Q{R)QQ R, Q, X, S c (X|R)~S|QQQ R, Q, X, T c R{Q~T{XQQ R, Q, X, U c (Q{X)R~UQQ R, Q, X, V c R~Q{X{VQQ R, Q, X, W c R{Q{X{WQQ R, R, P, S c R~(R{S){PQQ R, R, P, U c R{R~U{PQQ R, R, P, V c R~(PR{V)QQ R, R, P, W c (R|P)~(R{W)QQ R, R, Q, Q c (R~R{Q)~QQQ R, R, Q, S c R~R~Q{SQQ R, R, Q, T c (R{R{T)~QQQ R, R, Q, U c (R{QR)~UQQ R, R, Q, V c R~(R{Q){VQQ R, R, Q, W c R{R{Q~WQQ R, R, Q, X c (R~X)|(R{Q)QQ R, R, R, S c (R{R)~R{SQQ R, R, R, T c R~R~R|TQQ R, R, R, V c RR{R~VQQ R, R, S, P c R~(R{S){PQQ R, R, S, Q c (R{R)~S|QQQ R, R, S, R c (R{R)~R{SQQ R, R, S, S c R{R{S~SQQ R, R, S, T c R{R~T{SQQ R, R, S, U c R~(SR{U)QQ R, R, S, V c R{R~S{VQQ R, R, S, X c R~R{S{XQQ R, R, T, Q c (R{R{T)~QQQ R, R, T, R c R~R~R|TQQ R, R, T, S c R{R~T{SQQ R, R, T, U c R~(R{U)|TQQ R, R, T, V c R~(T{VR)QQ R, R, T, W c (R{R)~T|WQQ R, R, T, X c R~(X|TR)QQ R, R, U, P c R{R~U{PQQ R, R, U, Q c (R{QR)~UQQ R, R, U, S c R~(U{SR)QQ R, R, U, T c R~(R{U)|TQQ R, R, U, V c R~R{U{VQQ R, R, U, W c (R{W)R~UQQ R, R, V, P c R~(V{PR)QQ R, R, V, Q c R{R~V|QQQ R, R, V, R c RR{V~RQQ R, R, V, S c R{R~S{VQQ R, R, V, T c R~(VR{T)QQ R, R, V, U c R~R{V{UQQ R, R, V, W c R~(R{V)|WQQ R, R, V, X c R{R{V{XQQ R, R, W, P c (R{W)~(R|P)QQ R, R, W, Q c R{R{W~QQQ R, R, W, T c R{R~W|TQQ R, R, W, U c (R{W)R~UQQ R, R, W, V c R~(R{V)|WQQ R, R, W, W c R{R{W{WQQ R, R, W, X c R{R~X|WQQ R, R, X, Q c (R~X)|(R{Q)QQ R, R, X, S c R~R{X{SQQ R, R, X, T c R~(X|TR)QQ R, R, X, V c R{R{X{VQQ R, R, X, W c R{R~X|WQQ R, S, O, U c (R{O)~U{SQQ R, S, P, Q c (R~S|P)~QQQ R, S, P, R c (R{S)~R{PQQ R, S, P, T c R{S~T|PQQ R, S, P, U c (R{P)~S{UQQ R, S, P, V c R~(S{P){VQQ R, S, P, W c (R|PS)~WQQ R, S, P, X c R~S{P{XQQ R, S, Q, P c (R~S|P)~QQQ R, S, Q, Q c (R{S~Q)~QQQ R, S, Q, R c R~Q~R{SQQ R, S, Q, S c R~(S{Q){SQQ R, S, Q, T c R~S{Q~TQQ R, S, Q, U c (R{U)~Q{SQQ R, S, Q, V c S~V|R~QQQ R, S, Q, W c (R{S)~Q{WQQ R, S, Q, X c S~(X|R)|QQQ R, S, R, P c (R{S)~R{PQQ R, S, R, Q c (R{R)~S|QQQ R, S, R, R c (R{R)~R{SQQ R, S, R, S c R{S~S{RQQ R, S, R, T c R{S{R~TQQ R, S, R, U c R~(SR{U)QQ R, S, R, V c R{S~R{VQQ R, S, R, X c R~R{S{XQQ R, S, S, Q c (R{S{S)~QQQ R, S, S, R c R{S~S{RQQ R, S, S, U c (R{S)~S|UQQ R, S, S, V c R~V{SSQQ R, S, S, X c S~S|R{XQQ R, S, T, P c R{S~T|PQQ R, S, T, Q c R~S{T~QQQ R, S, T, R c R{S{T~RQQ R, S, T, T c R~S{T{TQQ R, S, T, U c R{S~U|TQQ R, S, T, V c R~V|S{TQQ R, S, T, X c S{(T|R)~XQQ R, S, U, O c R~U{S{OQQ R, S, U, P c R~U{S~PQQ R, S, U, Q c (R{U)~Q{SQQ R, S, U, R c R~(SR{U)QQ R, S, U, S c R~S{U{SQQ R, S, U, T c R{S~U|TQQ R, S, U, U c (R{SU)~UQQ R, S, U, V c (S{V)R~UQQ R, S, U, W c R~(S{U)|WQQ R, S, U, X c R{S{U{XQQ R, S, V, P c R~(S{P){VQQ R, S, V, Q c S~V|R~QQQ R, S, V, R c R~S{V{RQQ R, S, V, S c R~V{SSQQ R, S, V, T c R~V|S{TQQ R, S, V, U c (S{V)R~UQQ R, S, V, W c R{S{V{WQQ R, S, V, X c R{S~V|XQQ R, S, W, P c (R|PS)~WQQ R, S, W, Q c R~S{W{QQQ R, S, W, U c R~(S{U)|WQQ R, S, W, V c R{S{W{VQQ R, S, W, W c (R{W)S~WQQ R, S, X, P c R~S{X{PQQ R, S, X, Q c S~(X|R)|QQQ R, S, X, R c R~(X|R){SQQ R, S, X, S c S~S|R{XQQ R, S, X, T c S{X~(T|R)QQ R, S, X, U c R{S{X{UQQ R, S, X, V c R{S~V|XQQ R, S, X, X c R~X{S|XQQ R, T, O, T c (T{O)~T|RQQ R, T, O, V c R~T{O{VQQ R, T, O, X c (R{O)~X|TQQ R, T, P, Q c R~(T{Q){PQQ R, T, P, S c R~(T{P){SQQ R, T, P, T c T~P~T|RQQ R, T, P, U c R~T{P{UQQ R, T, P, V c R~T{P~VQQ R, T, P, W c R~T|P{WQQ R, T, P, X c R~P~X|TQQ R, T, Q, P c R~(T{Q){PQQ R, T, Q, Q c (R~Q{T)~QQQ R, T, Q, R c (R{T{R)~QQQ R, T, Q, S c (R{TQ)~SQQ R, T, Q, T c R~T{Q{TQQ R, T, Q, U c (R{T)~Q{UQQ R, T, Q, V c R{T{Q~VQQ R, T, Q, W c R~T~Q|WQQ R, T, Q, X c R{T~Q{XQQ R, T, R, Q c (R{T{R)~QQQ R, T, R, R c R~R~R|TQQ R, T, R, S c R{T~R{SQQ R, T, R, U c R~(R{U)|TQQ R, T, R, V c R~(T{VR)QQ R, T, R, W c (R{R)~T|WQQ R, T, R, X c R~(X|TR)QQ R, T, S, P c R{T~S|PQQ R, T, S, Q c (R~T|S)~QQQ R, T, S, R c R~T{S{RQQ R, T, S, T c R~(T{S)|TQQ R, T, S, U c R{S~U|TQQ R, T, S, V c R~V{T|SQQ R, T, S, X c (T|R)~X{SQQ R, T, T, O c T~T|R{OQQ R, T, T, P c T~T|R~PQQ R, T, T, Q c R~T{T{QQQ R, T, T, S c R~(T{S)|TQQ R, T, T, T c (T|RT)~TQQ R, T, T, U c R{T~T|UQQ R, T, T, V c (R{VT)~TQQ R, T, T, W c R~(T{T)|WQQ R, T, T, X c R{T{T{XQQ R, T, U, P c R~T{U{PQQ R, T, U, Q c (R{T)~Q{UQQ R, T, U, R c (R{U)~R|TQQ R, T, U, S c (RU{T)~SQQ R, T, U, T c R{T~T|UQQ R, T, U, U c (T{U)R~UQQ R, T, U, V c R~V|T{UQQ R, T, U, W c R{T{U{WQQ R, T, U, X c R~U|T{XQQ R, T, V, O c R~T{V{OQQ R, T, V, P c R~T{V~PQQ R, T, V, Q c R{T{V~QQQ R, T, V, R c R~(T{VR)QQ R, T, V, S c R~V{T|SQQ R, T, V, T c (R{VT)~TQQ R, T, V, U c R~V|T{UQQ R, T, V, V c R{T{V{VQQ R, T, V, W c R~W{T|VQQ R, T, V, X c TR~X{VQQ R, T, W, P c R~T{W|PQQ R, T, W, Q c R~T~Q|WQQ R, T, W, R c (R{W)~(T|R)QQ R, T, W, T c R~(T{T)|WQQ R, T, W, U c R{T{W{UQQ R, T, W, V c R~W{T|VQQ R, T, W, X c T~(X|R)|WQQ R, T, X, O c R~X|T{OQQ R, T, X, P c R~X|T~PQQ R, T, X, Q c R~T{X|QQQ R, T, X, R c R~(X|TR)QQ R, T, X, S c (T|R)~X{SQQ R, T, X, T c R{T{X{TQQ R, T, X, U c R~U|T{XQQ R, T, X, V c TR~X{VQQ R, T, X, W c T~(X|R)|WQQ R, T, X, X c (R|TX)~XQQ R, U, O, S c R~U{O{SQQ R, U, P, P c R~(U{P){PQQ R, U, P, Q c (R{P)~U|QQQ R, U, P, R c R~U{P{RQQ R, U, P, S c R~U{P~SQQ R, U, P, T c R~U|P{TQQ R, U, P, V c R~(U|P){VQQ R, U, P, W c (R|P)~W{UQQ R, U, P, X c R~X|U{PQQ R, U, Q, P c (R{P)~U|QQQ R, U, Q, Q c (R{U{Q)~QQQ R, U, Q, R c (R{QR)~UQQ R, U, Q, S c (R{U)~Q{SQQ R, U, Q, T c (R{T)~Q{UQQ R, U, Q, U c R~U|Q{UQQ R, U, Q, V c R{U~Q{VQQ R, U, Q, W c R~U{WQQQ R, U, Q, X c (UR)~(Q{X)QQ R, U, R, P c R{U~R{PQQ R, U, R, Q c (R{QR)~UQQ R, U, R, S c R~(U{SR)QQ R, U, R, T c (R{U)~R|TQQ R, U, R, V c R~U|R{VQQ R, U, R, W c (R{W)~(UR)QQ R, U, S, O c R~U{S{OQQ R, U, S, P c R~U{S~PQQ R, U, S, Q c (R{U)~Q{SQQ R, U, S, R c R~(U{SR)QQ R, U, S, S c R~S{U{SQQ R, U, S, T c R{U~S|TQQ R, U, S, U c (R{SU)~UQQ R, U, S, V c (UR)~(S{V)QQ R, U, S, W c R~(U{S)|WQQ R, U, S, X c R{U{S{XQQ R, U, T, P c R~U{T|PQQ R, U, T, Q c (R{T)~Q{UQQ R, U, T, R c (R{U)~R|TQQ R, U, T, S c (RU{T)~SQQ R, U, T, T c R{T~T|UQQ R, U, T, U c (UR)~(T{U)QQ R, U, T, V c R~V{U|TQQ R, U, T, W c R{U{T{WQQ R, U, T, X c R~U|T{XQQ R, U, U, Q c R~U{U|QQQ R, U, U, S c (R{SU)~UQQ R, U, U, T c (UR)~(U{T)QQ R, U, U, V c R{U{U{VQQ R, U, U, W c R~(U{WU)QQ R, U, U, X c (R{UX)~UQQ R, U, V, P c R~(U|P){VQQ R, U, V, Q c (R~U|V)~QQQ R, U, V, R c R~U{V|RQQ R, U, V, S c (UR)~(V{S)QQ R, U, V, T c R~V{U|TQQ R, U, V, U c R{U{V{UQQ R, U, V, V c R~V|U{VQQ R, U, V, W c UR~V{WQQ R, U, W, P c (R|P)~W{UQQ R, U, W, Q c R~U{WQQQ R, U, W, R c (R{W)~(UR)QQ R, U, W, S c R~U{W|SQQ R, U, W, T c R{U{W{TQQ R, U, W, U c R~(U{WU)QQ R, U, W, V c UR~V{WQQ R, U, W, W c R~W{U|WQQ R, U, W, X c R~(W|UX)QQ R, U, X, P c R~X|U{PQQ R, U, X, Q c (UR{X)~QQQ R, U, X, S c R{U{X{SQQ R, U, X, T c R~U{X|TQQ R, U, X, U c (R{UX)~UQQ R, U, X, W c R~(W|UX)QQ R, V, O, P c R~V{O{PQQ R, V, O, T c (R{O)~T{VQQ R, V, P, O c R~V{P{OQQ R, V, P, P c R~V{P~PQQ R, V, P, Q c (R{V{P)~QQQ R, V, P, R c R~(V{PR)QQ R, V, P, S c R~(V|P){SQQ R, V, P, T c R~P~T{VQQ R, V, P, U c (R{P)~V|UQQ R, V, P, V c (R{PV)~VQQ R, V, P, W c (R|P)~V{WQQ R, V, P, X c VR~X{PQQ R, V, Q, P c R~V{Q|PQQ R, V, Q, Q c (R{V)~Q{QQQ R, V, Q, R c R~V|Q{RQQ R, V, Q, S c (V|RQ)~SQQ R, V, Q, T c R{V~Q{TQQ R, V, Q, U c R{V{Q~UQQ R, V, Q, V c R~(V|Q){VQQ R, V, Q, X c R~Q{V{XQQ R, V, R, P c R~(V{PR)QQ R, V, R, Q c R{V~R|QQQ R, V, R, R c R~V{RRQQ R, V, R, S c R{V{R~SQQ R, V, R, T c R~(VR{T)QQ R, V, R, U c R~R{V{UQQ R, V, R, W c (R{V)~R|WQQ R, V, R, X c R{V{R{XQQ R, V, S, P c R~(V|P){SQQ R, V, S, Q c (V|RQ)~SQQ R, V, S, R c R{V{S~RQQ R, V, S, S c R~V{SSQQ R, V, S, T c R~V|S{TQQ R, V, S, U c (V|R)~S{UQQ R, V, S, W c R{V{S{WQQ R, V, S, X c R{V~S|XQQ R, V, T, O c R~T{V{OQQ R, V, T, P c R~T{V~PQQ R, V, T, Q c R{V~Q{TQQ R, V, T, R c R~(VR{T)QQ R, V, T, S c R~V{T|SQQ R, V, T, T c (R{VT)~TQQ R, V, T, U c R~V|T{UQQ R, V, T, V c R{V{T{VQQ R, V, T, W c (R{W)~(V|T)QQ R, V, T, X c V{TR~XQQ R, V, U, P c R~(U|P){VQQ R, V, U, Q c R{V{U~QQQ R, V, U, R c R~U{V|RQQ R, V, U, S c (V|R)~S{UQQ R, V, U, T c R~V{U|TQQ R, V, U, U c R{V{U{UQQ R, V, U, V c R~V|U{VQQ R, V, U, W c VR~U{WQQ R, V, V, P c (R{PV)~VQQ R, V, V, Q c R~(V|Q){VQQ R, V, V, T c R{V{V{TQQ R, V, V, U c R~V{V|UQQ R, V, V, V c R~V{VVQQ R, V, V, W c R~V|V{WQQ R, V, V, X c V~V|R~XQQ R, V, W, P c (R|P)~V{WQQ R, V, W, R c (R{V)~R|WQQ R, V, W, S c R{V{W{SQQ R, V, W, T c (R{W)~(V|T)QQ R, V, W, U c VR~U{WQQ R, V, W, V c R~V{W|VQQ R, V, W, W c R~V{WWQQ R, V, W, X c R~V|W{XQQ R, V, X, P c VR~X{PQQ R, V, X, Q c R~X|V{QQQ R, V, X, R c R{V{X{RQQ R, V, X, S c R{V~S|XQQ R, V, X, T c V{XR~TQQ R, V, X, V c V~V|R~XQQ R, V, X, W c R~V{X|WQQ R, V, X, X c R~V{XXQQ R, W, O, Q c (R{W{O)~QQQ R, W, P, P c (R{W)~(P{P)QQ R, W, P, Q c (R{W)~(P~Q)QQ R, W, P, R c R~W{P|RQQ R, W, P, S c (R|PS)~WQQ R, W, P, T c R~(W{P)|TQQ R, W, P, U c (R|P)~W{UQQ R, W, P, V c (R|P)~V{WQQ R, W, P, X c R~(P{X)|WQQ R, W, Q, O c (R{W)~(Q{O)QQ R, W, Q, P c (R{W)~(Q~P)QQ R, W, Q, Q c R~Q{W~QQQ R, W, Q, R c R{W~Q{RQQ R, W, Q, S c (R{W)Q~SQQ R, W, Q, T c R~Q~T|WQQ R, W, Q, U c (R{Q)~U|WQQ R, W, Q, W c R~(W{Q)|WQQ R, W, Q, X c R{W{Q{XQQ R, W, R, P c (R{W)~(R|P)QQ R, W, R, Q c R{W~Q{RQQ R, W, R, T c R{W~R|TQQ R, W, R, U c (R{W)R~UQQ R, W, R, V c R~(W|R){VQQ R, W, R, W c R{W{R{WQQ R, W, R, X c R{R~X|WQQ R, W, S, P c (R|PS)~WQQ R, W, S, Q c (R{W)~(S|Q)QQ R, W, S, U c R~W{S|UQQ R, W, S, V c R{W{S{VQQ R, W, S, W c (R{W)S~WQQ R, W, T, P c R~(W{P)|TQQ R, W, T, Q c R~T~Q|WQQ R, W, T, R c (R{W)~(T|R)QQ R, W, T, T c R~(T{T)|WQQ R, W, T, U c R{W{T{UQQ R, W, T, V c R~W{T|VQQ R, W, T, X c T~(X|R)|WQQ R, W, U, P c (R|P)~W{UQQ R, W, U, Q c R~U{WQQQ R, W, U, R c (R{W)~(UR)QQ R, W, U, S c (R{W)~(U|S)QQ R, W, U, T c R{W{U{TQQ R, W, U, U c R~(WU{U)QQ R, W, U, V c W{UR~VQQ R, W, U, W c R~W{U|WQQ R, W, U, X c R~(W|UX)QQ R, W, V, P c (R|P)~V{WQQ R, W, V, R c R~(W|R){VQQ R, W, V, S c R{W{V{SQQ R, W, V, T c (R{W)~(V|T)QQ R, W, V, U c W{VR~UQQ R, W, V, V c R~V{W|VQQ R, W, V, W c R~V{WWQQ R, W, V, X c R~W{V|XQQ R, W, W, Q c R~(W{Q)|WQQ R, W, W, R c R{W{W{RQQ R, W, W, S c (R{W)~(WS)QQ R, W, W, U c (R{W)~(W|U)QQ R, W, W, V c R~V{WWQQ R, W, W, X c W|R{W{XQQ R, W, X, P c R~(X{P)|WQQ R, W, X, Q c R{W{X{QQQ R, W, X, R c R~X|W{RQQ R, W, X, T c (X|R)~T|WQQ R, W, X, U c R~(W|UX)QQ R, W, X, V c (R{W)~(X|V)QQ R, W, X, W c W|R{X{WQQ R, X, O, T c R~X{O|TQQ R, X, P, Q c (R{X|P)~QQQ R, X, P, S c (R~X)|(P{S)QQ R, X, P, T c R~X|P~TQQ R, X, P, U c R~X{P|UQQ R, X, P, V c XR~V{PQQ R, X, P, W c R~(X{P)|WQQ R, X, P, X c R{X{P{XQQ R, X, Q, P c R{X~Q{PQQ R, X, Q, Q c (R{X)~Q|QQQ R, X, Q, R c (R~X)|(Q{R)QQ R, X, Q, S c (X|R)~S|QQQ R, X, Q, T c R{X{Q~TQQ R, X, Q, U c (X{Q)R~UQQ R, X, Q, V c R~X{Q|VQQ R, X, Q, W c R{X{Q{WQQ R, X, R, Q c (R~X)|(R{Q)QQ R, X, R, S c R~(X|R){SQQ R, X, R, T c R~(X|TR)QQ R, X, R, V c R{X{R{VQQ R, X, R, W c R{X~R|WQQ R, X, S, P c (R~X)|(S{P)QQ R, X, S, Q c (X|R)~S|QQQ R, X, S, R c R~(X|R){SQQ R, X, S, S c X|R{S~SQQ R, X, S, T c (X|S)~T|RQQ R, X, S, U c R{X{S{UQQ R, X, S, V c R~(X|S){VQQ R, X, S, X c R~X{S|XQQ R, X, T, O c R~X|T{OQQ R, X, T, P c R~X|T~PQQ R, X, T, Q c R{X{T~QQQ R, X, T, R c R~(X|TR)QQ R, X, T, S c X~(T|R){SQQ R, X, T, T c R{X{T{TQQ R, X, T, U c R~U{X|TQQ R, X, T, V c XR~T{VQQ R, X, T, W c (X|R)~T|WQQ R, X, T, X c (R|TX)~XQQ R, X, U, P c R~X|U{PQQ R, X, U, Q c (X{UR)~QQQ R, X, U, S c R{X{U{SQQ R, X, U, T c R~U{X|TQQ R, X, U, U c (R{UX)~UQQ R, X, U, W c R~(W|UX)QQ R, X, V, P c XR~V{PQQ R, X, V, Q c R~X|V{QQQ R, X, V, R c R{X{V{RQQ R, X, V, S c R~(X|S){VQQ R, X, V, T c XR~T{VQQ R, X, V, V c V~V|R~XQQ R, X, V, W c R~V{X|WQQ R, X, V, X c R~V{XXQQ R, X, W, P c R~(X{P)|WQQ R, X, W, Q c R{X{W{QQQ R, X, W, R c R~X|W{RQQ R, X, W, T c (X|R)~T|WQQ R, X, W, U c R~(W|UX)QQ R, X, W, V c (R{W)~(X|V)QQ R, X, W, W c X|R{W{WQQ R, X, X, P c R{X{X{PQQ R, X, X, S c R~X|X{SQQ R, X, X, T c (R|TX)~XQQ R, X, X, V c R~V{XXQQ S, O, Q, T c (S{O)~T{QQQ S, O, Q, U c (S{O)~U|QQQ S, O, Q, V c (S{O{V)~QQQ S, O, Q, X c S{O{Q~XQQ S, O, R, U c S{O{R~UQQ S, O, S, U c (S{O)~S{UQQ S, O, T, Q c (S{O)~T{QQQ S, O, U, Q c (S{O)~U|QQQ S, O, U, R c S{O{U~RQQ S, O, U, S c (S{O)~S{UQQ S, O, U, V c (S{O)~V|UQQ S, O, V, Q c (S{O{V)~QQQ S, O, V, U c (S{O)~V|UQQ S, O, X, Q c S{O{X~QQQ S, O, X, X c S{O{X{XQQ S, P, P, T c S~T{P{PQQ S, P, P, U c (S~U)|(P{P)QQ S, P, P, V c (S|P)~V{PQQ S, P, P, X c S{(P{P)~XQQ S, P, Q, R c (S~R|P)~QQQ S, P, Q, S c (S{P)~S{QQQ S, P, Q, T c S~(PQ{T)QQ S, P, Q, U c S{(P{Q)~UQQ S, P, Q, V c (S{P~V)~QQQ S, P, Q, W c S{(P{W)~QQQ S, P, Q, X c S{P~Q~XQQ S, P, R, Q c (S~R|P)~QQQ S, P, R, R c (S{R)~R{PQQ S, P, R, T c S{(P{T)~RQQ S, P, R, U c S{P~R~UQQ S, P, R, V c (S{P)~R{VQQ S, P, R, W c (R|PS)~WQQ S, P, R, X c S{(R|P)~XQQ S, P, S, Q c (S{P)~S{QQQ S, P, S, T c S~S{P{TQQ S, P, S, U c S~P~S{UQQ S, P, S, V c S~S|P{VQQ S, P, T, P c S~T{P{PQQ S, P, T, Q c S~(P{T)|QQQ S, P, T, R c S{(P{T)~RQQ S, P, T, S c S~S{P{TQQ S, P, T, T c P{T~T|SQQ S, P, T, U c S~(T|P){UQQ S, P, T, V c (S|P)~T{VQQ S, P, T, X c (S|P)~X|TQQ S, P, U, P c (S~U)|(P{P)QQ S, P, U, Q c (S{P{U)~QQQ S, P, U, R c S{P~U~RQQ S, P, U, S c (S|P)~U{SQQ S, P, U, T c S~(T|P){UQQ S, P, U, U c S~(P{U)|UQQ S, P, U, V c S~P~V|UQQ S, P, U, W c (S{P)~U|WQQ S, P, V, P c (S|P)~V{PQQ S, P, V, Q c (S{P~V)~QQQ S, P, V, R c (S{P)~R{VQQ S, P, V, S c S~S|P{VQQ S, P, V, T c (S|P)~T{VQQ S, P, V, U c S~P~V|UQQ S, P, V, V c S~V{P|VQQ S, P, V, W c (P{VS)~WQQ S, P, W, Q c S{(P{W)~QQQ S, P, W, R c W~(R|PS)QQ S, P, W, U c (S{P)~U|WQQ S, P, W, V c (P{VS)~WQQ S, P, W, X c S{P{W{XQQ S, P, X, P c S{(P{P)~XQQ S, P, X, Q c S{P~X~QQQ S, P, X, R c S{X~(R|P)QQ S, P, X, T c (S|P)~X|TQQ S, P, X, W c S{P{X{WQQ S, P, X, X c S{P~X{XQQ S, Q, O, T c (S{O)~T{QQQ S, Q, O, U c (S{O)~U|QQQ S, Q, O, V c (S{O{V)~QQQ S, Q, O, X c S{(Q{O)~XQQ S, Q, P, R c (S~R|P)~QQQ S, Q, P, S c (S{P)~S{QQQ S, Q, P, T c S~(PQ{T)QQ S, Q, P, U c S{(Q{P)~UQQ S, Q, P, V c (S{P~V)~QQQ S, Q, P, W c S{Q~(P{W)QQ S, Q, P, X c S{Q~P~XQQ S, Q, Q, R c S~(Q{R){QQQ S, Q, Q, S c (S{Q)~S|QQQ S, Q, Q, T c (S{Q{T)~QQQ S, Q, Q, U c S~(Q{Q){UQQ S, Q, Q, V c S{Q~(Q{V)QQ S, Q, Q, W c S{Q{Q~WQQ S, Q, Q, X c (S|Q)~(Q{X)QQ S, Q, R, P c (S~R|P)~QQQ S, Q, R, Q c S~(Q{R){QQQ S, Q, R, R c S{Q~R~RQQ S, Q, R, S c (S{Q)~R{SQQ S, Q, R, T c S~R{Q~TQQ S, Q, R, U c S{Q~(R{U)QQ S, Q, R, V c S~V|Q~RQQ S, Q, R, W c (S|Q)~(R{W)QQ S, Q, R, X c S~(X|R)|QQQ S, Q, S, P c S~(S{P){QQQ S, Q, S, Q c (S{Q)~S|QQQ S, Q, S, R c S{(Q{S)~RQQ S, Q, S, S c S{Q{S~SQQ S, Q, S, T c S{Q~(S{T)QQ S, Q, S, U c (S{S)~Q{UQQ S, Q, S, V c (S|Q)~(S{V)QQ S, Q, S, W c S~S|Q{WQQ S, Q, S, X c (S|Q)~X{SQQ S, Q, T, O c S~T{Q{OQQ S, Q, T, P c S~T{Q~PQQ S, Q, T, Q c (S{Q{T)~QQQ S, Q, T, R c S~(TQ{R)QQ S, Q, T, S c S{Q~(T{S)QQ S, Q, T, T c (S{QT)~TQQ S, Q, T, U c (S|Q)~(T{U)QQ S, Q, T, W c S{Q~T{WQQ S, Q, T, X c S~Q{T{XQQ S, Q, U, O c S~U|Q{OQQ S, Q, U, P c S{(Q{P)~UQQ S, Q, U, Q c S~(Q{Q){UQQ S, Q, U, R c S{Q~(U{R)QQ S, Q, U, S c S~U{Q|SQQ S, Q, U, T c (S|Q)~(U{T)QQ S, Q, U, U c S{Q~U{UQQ S, Q, U, V c Q~(U{V)|SQQ S, Q, U, W c S~Q{U{WQQ S, Q, U, X c S~(X|Q)|UQQ S, Q, V, O c (S{V)~(Q{O)QQ S, Q, V, P c (S{V)~(Q~P)QQ S, Q, V, Q c S{(Q{V)~QQQ S, Q, V, R c S~V|Q~RQQ S, Q, V, S c S{Q~V{SQQ S, Q, V, U c Q~(V{U)|SQQ S, Q, V, V c S~Q{V{VQQ S, Q, V, W c (S|Q)~V{WQQ S, Q, V, X c S{Q{V{XQQ S, Q, W, P c S{Q~(W{P)QQ S, Q, W, Q c S{Q{W~QQQ S, Q, W, R c (S|Q)~(W{R)QQ S, Q, W, S c S~S|Q{WQQ S, Q, W, T c S{Q~T{WQQ S, Q, W, U c (S|Q)~W{UQQ S, Q, W, V c (S|Q)~V{WQQ S, Q, W, W c S{Q{W{WQQ S, Q, W, X c (S~X{W)QQQ S, Q, X, O c S{Q~X{OQQ S, Q, X, P c S{Q~X~PQQ S, Q, X, Q c (S|Q{X)~QQQ S, Q, X, R c S~(X|R)|QQQ S, Q, X, S c (S|Q)~X{SQQ S, Q, X, T c S~Q{X{TQQ S, Q, X, U c S~(X|Q)|UQQ S, Q, X, V c S{Q{X{VQQ S, Q, X, W c (S~X{W)QQQ S, Q, X, X c (SX{Q)~XQQ S, R, O, U c S{(R{O)~UQQ S, R, P, Q c (S~R|P)~QQQ S, R, P, R c (S{R)~R{PQQ S, R, P, T c S{R~(P{T)QQ S, R, P, U c S{R~P~UQQ S, R, P, V c S{R~(V|P)QQ S, R, P, W c (R|PS)~WQQ S, R, P, X c S{(R|P)~XQQ S, R, Q, P c (S~R|P)~QQQ S, R, Q, Q c S~(R{Q){QQQ S, R, Q, R c S{R~Q~RQQ S, R, Q, S c S{R~(Q{S)QQ S, R, Q, T c S~R{Q~TQQ S, R, Q, U c S{(R{U)~QQQ S, R, Q, V c S~V|R~QQQ S, R, Q, W c (S{R)~Q{WQQ S, R, Q, X c S~(X|R)|QQQ S, R, R, P c (S{R)~R{PQQ S, R, R, Q c S{R~R~QQQ S, R, R, R c S{(R{R)~RQQ S, R, R, S c S~S{R{RQQ S, R, R, T c S{R{R~TQQ S, R, R, U c (SR{U)~RQQ S, R, R, V c S|R{R~VQQ S, R, R, X c S{R~R{XQQ S, R, S, Q c (S{R{S)~QQQ S, R, S, R c S~S{R{RQQ S, R, S, U c S{R~S{UQQ S, R, S, V c SS{R~VQQ S, R, S, X c S~S|R{XQQ S, R, T, P c S{R~(T{P)QQ S, R, T, Q c S~R{T~QQQ S, R, T, R c S{R{T~RQQ S, R, T, T c S~R{T{TQQ S, R, T, U c S~(RU{T)QQ S, R, T, V c (S{V)~(T|R)QQ S, R, T, X c S{(T|R)~XQQ S, R, U, O c S{R~U{OQQ S, R, U, P c S{R~U~PQQ S, R, U, Q c S{(R{U)~QQQ S, R, U, R c (SR{U)~RQQ S, R, U, S c S~R{U{SQQ S, R, U, T c S~(RU{T)QQ S, R, U, U c S{(U|R)~UQQ S, R, U, V c (S{V)R~UQQ S, R, U, W c S{R~W|UQQ S, R, U, X c S{R{U{XQQ S, R, V, P c S{R~(V|P)QQ S, R, V, Q c S~V|R~QQQ S, R, V, R c S{R~V|RQQ S, R, V, S c SS{R~VQQ S, R, V, T c (S{V)~(T|R)QQ S, R, V, U c (S{V)R~UQQ S, R, V, W c S{R{V{WQQ S, R, V, X c S~V{R|XQQ S, R, W, P c (R|PS)~WQQ S, R, W, Q c S{R~(W|Q)QQ S, R, W, U c S{R~W|UQQ S, R, W, V c S{R{W{VQQ S, R, W, W c (R{W)S~WQQ S, R, X, P c S~R{X{PQQ S, R, X, Q c S~(X|R)|QQQ S, R, X, R c S{R~(X|R)QQ S, R, X, S c S~S|R{XQQ S, R, X, T c S{X~(T|R)QQ S, R, X, U c S{R{X{UQQ S, R, X, V c S~V{R|XQQ S, R, X, X c S{R~X|XQQ S, S, O, U c S~S{O{UQQ S, S, P, Q c S~(S{P){QQQ S, S, P, T c S~S{P{TQQ S, S, P, U c S{(S|P)~UQQ S, S, P, V c S~S|P{VQQ S, S, Q, P c S~(S{P){QQQ S, S, Q, Q c S~(S{Q)|QQQ S, S, Q, R c S{(S{Q)~RQQ S, S, Q, S c S~S{Q{SQQ S, S, Q, T c S{(S{T)~QQQ S, S, Q, U c (S{S)~Q{UQQ S, S, Q, V c S{S{Q~VQQ S, S, Q, W c S~S|Q{WQQ S, S, Q, X c S{(S|Q)~XQQ S, S, R, Q c (S{S{R)~QQQ S, S, R, R c S~S{R{RQQ S, S, R, U c S{S~R{UQQ S, S, R, V c SS{R~VQQ S, S, R, X c S~S|R{XQQ S, S, S, Q c S{S~S{QQQ S, S, S, U c S~(S{US)QQ S, S, T, P c S~S{T{PQQ S, S, T, Q c S{(S{T)~QQQ S, S, T, U c S~T|S{UQQ S, S, T, W c S~(SW{T)QQ S, S, T, X c S{S{T{XQQ S, S, U, O c S~S{U{OQQ S, S, U, P c S~S{U~PQQ S, S, U, Q c (S{S)~Q{UQQ S, S, U, R c S{S~R{UQQ S, S, U, S c S~(S{US)QQ S, S, U, T c S~T|S{UQQ S, S, U, U c S{S~U|UQQ S, S, U, V c S{U~(V|S)QQ S, S, U, W c S{S{U{WQQ S, S, U, X c S~(S{XU)QQ S, S, V, P c S~S{V|PQQ S, S, V, Q c S{S{V~QQQ S, S, V, R c SS{V~RQQ S, S, V, U c S{(V|S)~UQQ S, S, V, V c S{S{V{VQQ S, S, V, W c (S{V)S~WQQ S, S, W, Q c S~S{W|QQQ S, S, W, T c S~(SW{T)QQ S, S, W, U c S{S{W{UQQ S, S, W, V c (S{V)S~WQQ S, S, W, X c S{WS~XQQ S, S, X, Q c S{S~XQQQ S, S, X, R c S~S{X|RQQ S, S, X, T c S{S{X{TQQ S, S, X, U c S~(S{XU)QQ S, S, X, W c S{XS~WQQ S, T, O, Q c S~T{O{QQQ S, T, P, P c S~T{P{PQQ S, T, P, Q c S~(T{P)|QQQ S, T, P, R c S{(T{P)~RQQ S, T, P, S c S~S{T{PQQ S, T, P, T c T~T|S{PQQ S, T, P, U c S~(T|P){UQQ S, T, P, V c (S|P)~T{VQQ S, T, P, X c (S|P)~X|TQQ S, T, Q, O c S~T{Q{OQQ S, T, Q, P c S~T{Q~PQQ S, T, Q, Q c (S{T{Q)~QQQ S, T, Q, R c S~(TQ{R)QQ S, T, Q, S c (S{T)~Q{SQQ S, T, Q, T c (S{QT)~TQQ S, T, Q, U c S{(T|Q)~UQQ S, T, Q, W c S{T~Q{WQQ S, T, Q, X c (S~T|X)~QQQ S, T, R, P c S~T{R|PQQ S, T, R, Q c S~(TQ{R)QQ S, T, R, R c S{T~R{RQQ S, T, R, T c (S{T)~R|TQQ S, T, R, U c S~(T{RU)QQ S, T, R, V c (S{V)~(T|R)QQ S, T, R, X c S{(T|R)~XQQ S, T, S, P c S~S{T{PQQ S, T, S, Q c S{(T{S)~QQQ S, T, S, U c S~T|S{UQQ S, T, S, W c (S|TS)~WQQ S, T, S, X c S{T{S{XQQ S, T, T, P c T~T|S{PQQ S, T, T, Q c (S{QT)~TQQ S, T, T, R c S~T{T|RQQ S, T, T, V c S{T~T|VQQ S, T, T, W c S{T{T{WQQ S, T, U, P c S~(T|P){UQQ S, T, U, Q c S~(T{U)QQQ S, T, U, R c S~T{URQQ S, T, U, S c S~T{U|SQQ S, T, U, U c (T{U)~(U|S)QQ S, T, U, V c S{T{U{VQQ S, T, U, W c S~T|U{WQQ S, T, U, X c S~(X|T){UQQ S, T, V, P c (S~V)|(T{P)QQ S, T, V, R c (S{V)~(T|R)QQ S, T, V, T c S~T{V|TQQ S, T, V, U c S{T{V{UQQ S, T, V, V c (S{V)~(V|T)QQ S, T, V, X c S~T|V{XQQ S, T, W, Q c (S{T~W)QQQ S, T, W, S c S~T{WSQQ S, T, W, T c S{T{W{TQQ S, T, W, U c S~T{W|UQQ S, T, W, X c (T|XS)~WQQ S, T, X, P c (S|P)~X|TQQ S, T, X, Q c (S~T|X)~QQQ S, T, X, R c S{(T|R)~XQQ S, T, X, S c S{T{X{SQQ S, T, X, U c S~(X|T){UQQ S, T, X, V c S~T{X|VQQ S, T, X, W c (T|XS)~WQQ S, T, X, X c (S~X)|(T{X)QQ S, U, O, Q c S~U{O|QQQ S, U, O, R c S{(U{O)~RQQ S, U, O, S c (S{O)~S{UQQ S, U, O, V c (S{O)~V|UQQ S, U, P, P c (S~U)|(P{P)QQ S, U, P, Q c (S{U{P)~QQQ S, U, P, R c S{U~P~RQQ S, U, P, S c S{U~(S|P)QQ S, U, P, T c S~(T|P){UQQ S, U, P, U c S~(U{P)|UQQ S, U, P, V c S~P~V|UQQ S, U, P, W c (S{P)~U|WQQ S, U, Q, O c S~U|Q{OQQ S, U, Q, P c S{U~(Q{P)QQ S, U, Q, Q c (S{U)~Q{QQQ S, U, Q, R c S{(U{R)~QQQ S, U, Q, S c S~U{Q|SQQ S, U, Q, T c S{U~(T|Q)QQ S, U, Q, U c S{U{Q~UQQ S, U, Q, V c (U{V)~Q|SQQ S, U, Q, W c S~Q{U{WQQ S, U, Q, X c S~(X|Q)|UQQ S, U, R, O c S{U~R{OQQ S, U, R, P c S{U~R~PQQ S, U, R, Q c S{(U{R)~QQQ S, U, R, R c (SR{U)~RQQ S, U, R, S c S{U{R~SQQ S, U, R, T c S~U{R|TQQ S, U, R, U c S{(U|R)~UQQ S, U, R, V c (S{V)~(UR)QQ S, U, R, W c (S{U)~R|WQQ S, U, R, X c S{U{R{XQQ S, U, S, O c S~S{U{OQQ S, U, S, P c S{U~(S|P)QQ S, U, S, Q c S~U|S{QQQ S, U, S, R c S{U{S~RQQ S, U, S, S c (S{US)~SQQ S, U, S, T c S~T{U|SQQ S, U, S, U c S{U~S|UQQ S, U, S, V c S{U~(V|S)QQ S, U, S, W c S{U{S{WQQ S, U, S, X c S{(U|S)~XQQ S, U, T, P c S~(T|P){UQQ S, U, T, Q c S{U~(T|Q)QQ S, U, T, R c S~U|T{RQQ S, U, T, S c S~T{U|SQQ S, U, T, U c (U|S)~(T{U)QQ S, U, T, V c S{U{T{VQQ S, U, T, W c S{U~(W|T)QQ S, U, T, X c S~(X|T){UQQ S, U, U, P c S~(U{P)|UQQ S, U, U, Q c S{U{U~QQQ S, U, U, R c S{U~(U|R)QQ S, U, U, S c S~U|U{SQQ S, U, U, T c (U|S)~(U{T)QQ S, U, U, U c S{U{U{UQQ S, U, U, W c S~U{U|WQQ S, U, U, X c S{U~(X|U)QQ S, U, V, O c S~V|U{OQQ S, U, V, P c S~V|U~PQQ S, U, V, Q c (U{V)~Q|SQQ S, U, V, R c (S{V)~(UR)QQ S, U, V, S c S{U~(V|S)QQ S, U, V, T c S{U{V{TQQ S, U, V, V c (S|UV)~VQQ S, U, V, W c (S{V)~(W|U)QQ S, U, V, X c S~U{V|XQQ S, U, W, P c S~(W|P)|UQQ S, U, W, Q c S~WQ{UQQ S, U, W, R c (S{U)~R|WQQ S, U, W, S c S{U{W{SQQ S, U, W, T c S{U~(W|T)QQ S, U, W, U c S~U|W{UQQ S, U, W, V c (S{V)~(W|U)QQ S, U, W, W c U{WS~WQQ S, U, W, X c S{(W|U)~XQQ S, U, X, Q c S~(X|Q)|UQQ S, U, X, R c S{U{X{RQQ S, U, X, S c S{(U|S)~XQQ S, U, X, T c S~(X|T){UQQ S, U, X, U c S{U~(X|U)QQ S, U, X, V c S~U|X{VQQ S, U, X, W c (S~X)|(U{W)QQ S, V, O, Q c (S{V{O)~QQQ S, V, O, U c S~V{O|UQQ S, V, P, P c (S{V)~(P{P)QQ S, V, P, Q c (S{V)~(P~Q)QQ S, V, P, R c S{(V|P)~RQQ S, V, P, S c S~S{V|PQQ S, V, P, T c (S~V)|(P{T)QQ S, V, P, U c S~V|P~UQQ S, V, P, V c S~V{P|VQQ S, V, P, W c (VS{P)~WQQ S, V, Q, O c (S{V)~(Q{O)QQ S, V, Q, P c (S{V)~(Q~P)QQ S, V, Q, Q c S{(V{Q)~QQQ S, V, Q, R c S~V|Q~RQQ S, V, Q, S c S{V~Q{SQQ S, V, Q, U c (V{U)~Q|SQQ S, V, Q, V c S~Q{V{VQQ S, V, Q, W c S~V{Q|WQQ S, V, Q, X c S{V{Q{XQQ S, V, R, P c (S{V)~(R|P)QQ S, V, R, Q c S~V|R~QQQ S, V, R, R c S{V~R|RQQ S, V, R, S c SS{V~RQQ S, V, R, T c (S{V)~(T|R)QQ S, V, R, U c (S{V)R~UQQ S, V, R, W c S{V{R{WQQ S, V, R, X c S~V{R|XQQ S, V, S, P c S~S{V|PQQ S, V, S, Q c (S{V)~(S|Q)QQ S, V, S, R c SS{V~RQQ S, V, S, U c S{(V|S)~UQQ S, V, S, V c S{V{S{VQQ S, V, S, W c (S{V)S~WQQ S, V, T, P c (S~V)|(T{P)QQ S, V, T, R c (S{V)~(T|R)QQ S, V, T, T c S~T{V|TQQ S, V, T, U c S{V{T{UQQ S, V, T, V c (S{V)~(V|T)QQ S, V, T, X c S{(V|T)~XQQ S, V, U, O c S~V|U{OQQ S, V, U, P c S~V|U~PQQ S, V, U, Q c (V{U)~Q|SQQ S, V, U, R c (S{V)~(UR)QQ S, V, U, S c (S{V)~(U|S)QQ S, V, U, T c S{V{U{TQQ S, V, U, V c (S|UV)~VQQ S, V, U, W c (S{V)~(W|U)QQ S, V, U, X c S~(V|XU)QQ S, V, V, P c S~V|V{PQQ S, V, V, Q c S~Q{V{VQQ S, V, V, S c S{V{V{SQQ S, V, V, T c (S{V)~(V|T)QQ S, V, V, U c (S|UV)~VQQ S, V, V, X c (S{V)~(X|V)QQ S, V, W, P c (VS{P)~WQQ S, V, W, Q c S~V|W{QQQ S, V, W, R c S{V{W{RQQ S, V, W, S c (S{V)~(WS)QQ S, V, W, U c (S{V)~(W|U)QQ S, V, W, W c VS~W{WQQ S, V, X, Q c S{V{X{QQQ S, V, X, R c S~V|X{RQQ S, V, X, T c S{(V|T)~XQQ S, V, X, U c S~(V|XU)QQ S, V, X, V c (S{V)~(X|V)QQ S, V, X, X c S{(X|V)~XQQ S, W, P, Q c S{(W{P)~QQQ S, W, P, R c W~(R|PS)QQ S, W, P, U c S~(W|P)|UQQ S, W, P, V c W~(P{VS)QQ S, W, P, X c S{W{P{XQQ S, W, Q, P c S{(W{P)~QQQ S, W, Q, Q c S{W~Q{QQQ S, W, Q, R c S{(W|Q)~RQQ S, W, Q, S c S~S{W|QQQ S, W, Q, T c S{W{Q~TQQ S, W, Q, U c S~WQ{UQQ S, W, Q, V c (S|Q)~V{WQQ S, W, Q, W c S{W{Q{WQQ S, W, Q, X c (S~X{W)QQQ S, W, R, P c W~(R|PS)QQ S, W, R, Q c S~(W{R)QQQ S, W, R, U c S{W~R|UQQ S, W, R, V c S{W{R{VQQ S, W, R, W c (WS)~(R{W)QQ S, W, S, Q c S~S{W|QQQ S, W, S, T c (SW{T)~SQQ S, W, S, U c S{W{S{UQQ S, W, S, V c (S{V)~(WS)QQ S, W, S, X c S{WS~XQQ S, W, T, Q c S{W{T~QQQ S, W, T, S c (SW{T)~SQQ S, W, T, T c S{W{T{TQQ S, W, T, U c S{(W|T)~UQQ S, W, T, X c W~(T|XS)QQ S, W, U, P c S~(W|P)|UQQ S, W, U, Q c S~WQ{UQQ S, W, U, R c S{W~R|UQQ S, W, U, S c S{W{U{SQQ S, W, U, T c S{(W|T)~UQQ S, W, U, U c S~U|W{UQQ S, W, U, V c (S{V)~(W|U)QQ S, W, U, W c WS~W{UQQ S, W, U, X c S{(W|U)~XQQ S, W, V, P c W~(VS{P)QQ S, W, V, Q c S~V|W{QQQ S, W, V, R c S{W{V{RQQ S, W, V, S c (S{V)~(WS)QQ S, W, V, U c (S{V)~(W|U)QQ S, W, V, W c WS~V{WQQ S, W, W, Q c S{W{W{QQQ S, W, W, R c (WS)~(W{R)QQ S, W, W, U c WS~W{UQQ S, W, W, V c WS~V{WQQ S, W, X, P c S{W{X{PQQ S, W, X, Q c (S~X{W)QQQ S, W, X, S c S{W~XSQQ S, W, X, T c W~(T|XS)QQ S, W, X, U c S{(W|U)~XQQ S, W, X, X c W|S{X{XQQ S, X, O, Q c S{(X{O)~QQQ S, X, O, X c S{X{O{XQQ S, X, P, P c S{X~(P{P)QQ S, X, P, Q c S{X~P~QQQ S, X, P, R c S{X~(R|P)QQ S, X, P, T c (S|P)~X|TQQ S, X, P, W c S{X{P{WQQ S, X, P, X c S{X{P~XQQ S, X, Q, O c S{X~Q{OQQ S, X, Q, P c S{X~Q~PQQ S, X, Q, Q c (S{X|Q)~QQQ S, X, Q, R c S~(X|R)|QQQ S, X, Q, S c (S{X)~Q|SQQ S, X, Q, T c S~Q{X{TQQ S, X, Q, U c S~(X|Q)|UQQ S, X, Q, V c S{X{Q{VQQ S, X, Q, W c (S~X{W)QQQ S, X, Q, X c (SX{Q)~XQQ S, X, R, P c S{X~(R|P)QQ S, X, R, Q c S~(X|R)|QQQ S, X, R, R c S{X{R~RQQ S, X, R, S c S~S{X|RQQ S, X, R, T c S{X~(T|R)QQ S, X, R, U c S{X{R{UQQ S, X, R, V c S~V|X{RQQ S, X, R, X c S{X~R|XQQ S, X, S, Q c S{X~(S|Q)QQ S, X, S, R c S~S{X|RQQ S, X, S, T c S{X{S{TQQ S, X, S, U c S{X~(U|S)QQ S, X, S, W c S{XS~WQQ S, X, T, P c (S|P)~X|TQQ S, X, T, Q c (S~T|X)~QQQ S, X, T, R c S{X~(T|R)QQ S, X, T, S c S{X{T{SQQ S, X, T, U c S~(X|T){UQQ S, X, T, V c S{X~(V|T)QQ S, X, T, W c (T|XS)~WQQ S, X, T, X c (S~X)|(T{X)QQ S, X, U, Q c S~(X|Q)|UQQ S, X, U, R c S{X{U{RQQ S, X, U, S c S{X~(U|S)QQ S, X, U, T c S~(X|T){UQQ S, X, U, U c S{(X|U)~UQQ S, X, U, V c S~U|X{VQQ S, X, U, W c (S~X)|(U{W)QQ S, X, V, Q c S{X{V{QQQ S, X, V, R c S~V|X{RQQ S, X, V, T c S{X~(V|T)QQ S, X, V, U c S~(V|XU)QQ S, X, V, V c (S~X)|(V{V)QQ S, X, V, X c S{(X|V)~XQQ S, X, W, P c S{X{W{PQQ S, X, W, Q c (S~X{W)QQQ S, X, W, S c S{X~WSQQ S, X, W, T c W~(T|XS)QQ S, X, W, U c S{X~(W|U)QQ S, X, W, X c X|S{W{XQQ S, X, X, O c S{X{X{OQQ S, X, X, P c S{X{X~PQQ S, X, X, Q c (SX{Q)~XQQ S, X, X, R c S{X~R|XQQ S, X, X, T c (S~X)|(X{T)QQ S, X, X, V c S{X~(X|V)QQ S, X, X, W c X|S{X{WQQ T, O, Q, S c (T{O)~S{QQQ T, O, Q, U c (T{O{U)~QQQ T, O, R, T c (T{O)~T|RQQ T, O, R, V c (T{O)~R{VQQ T, O, R, X c O{R~X|TQQ T, O, S, Q c (T{O)~S{QQQ T, O, T, R c (T{O)~T|RQQ T, O, U, Q c (T{O{U)~QQQ T, O, U, W c (T{O)~U|WQQ T, O, V, R c (T{O)~R{VQQ T, O, W, U c (T{O)~U|WQQ T, O, W, X c T{O{W{XQQ T, O, X, R c O{X~R|TQQ T, O, X, W c T{O{X{WQQ T, P, P, S c T~S{P{PQQ T, P, P, U c (T{U)~(P{P)QQ T, P, Q, Q c (T~Q{P)~QQQ T, P, Q, R c T~(P{R){QQQ T, P, Q, S c (T{PQ)~SQQ T, P, Q, T c (T{P{T)~QQQ T, P, Q, U c (T{P~U)~QQQ T, P, Q, V c T~(P{Q){VQQ T, P, Q, W c T{P{Q~WQQ T, P, Q, X c T|P{Q~XQQ T, P, R, Q c T~(P{R){QQQ T, P, R, S c (T{P)~R{SQQ T, P, R, T c T~P~T|RQQ T, P, R, U c T|P{R~UQQ T, P, R, V c T~P~R{VQQ T, P, R, W c T~R|P{WQQ T, P, R, X c P~R~X|TQQ T, P, S, P c T~S{P{PQQ T, P, S, Q c (T{P)~S|QQQ T, P, S, R c T~(P{S)|RQQ T, P, S, S c T{P{S~SQQ T, P, S, T c T~T{P|SQQ T, P, S, U c (T|P)~S{UQQ T, P, S, V c T~(S|P){VQQ T, P, S, X c (S|P)~X|TQQ T, P, T, Q c (T{P{T)~QQQ T, P, T, R c T~P~T|RQQ T, P, T, S c T~T{P|SQQ T, P, T, W c (T{P)~T|WQQ T, P, U, P c (T{U)~(P{P)QQ T, P, U, Q c (T{P~U)~QQQ T, P, U, R c T|P{U~RQQ T, P, U, S c (T|P)~S{UQQ T, P, U, V c (T|P)~V|UQQ T, P, U, W c T~P~U|WQQ T, P, U, X c T~U{P|XQQ T, P, V, Q c (T|P{V)~QQQ T, P, V, R c T~P~R{VQQ T, P, V, S c T~(S|P){VQQ T, P, V, U c (T|P)~V|UQQ T, P, V, W c T~(V|P)|WQQ T, P, V, X c T{P{V{XQQ T, P, W, Q c T{P{W~QQQ T, P, W, R c T~R|P{WQQ T, P, W, T c (T{P)~T|WQQ T, P, W, U c T~P~U|WQQ T, P, W, V c T~(V|P)|WQQ T, P, W, W c T{P{W{WQQ T, P, W, X c T{P~W{XQQ T, P, X, Q c T|P{X~QQQ T, P, X, R c P~X~R|TQQ T, P, X, S c X~(S|P)|TQQ T, P, X, U c T~U{P|XQQ T, P, X, V c T{P{X{VQQ T, P, X, W c T{P~X{WQQ T, P, X, X c T|P{X{XQQ T, Q, O, S c (T{O)~S{QQQ T, Q, O, U c (T{O{U)~QQQ T, Q, P, Q c (T~Q{P)~QQQ T, Q, P, R c (T{Q)~R{PQQ T, Q, P, S c (T{PQ)~SQQ T, Q, P, T c (T{P{T)~QQQ T, Q, P, U c (T{P~U)~QQQ T, Q, P, V c T~(Q{P){VQQ T, Q, P, W c T{Q~W{PQQ T, Q, P, X c T{Q~X|PQQ T, Q, Q, P c (T~Q{P)~QQQ T, Q, Q, Q c T~(Q{Q){QQQ T, Q, Q, R c (T{Q~R)~QQQ T, Q, Q, S c (T{Q{S)~QQQ T, Q, Q, T c (T{T)~Q{QQQ T, Q, Q, U c T~Q{Q~UQQ T, Q, Q, V c (T{V)~Q|QQQ T, Q, Q, W c (T{Q)~Q{WQQ T, Q, R, P c (T{Q)~R{PQQ T, Q, R, Q c (T{Q~R)~QQQ T, Q, R, R c T~(Q{R)|RQQ T, Q, R, S c T~Q{R~SQQ T, Q, R, T c T{Q{R~TQQ T, Q, R, U c (T{R)~Q{UQQ T, Q, R, V c T{Q~V{RQQ T, Q, R, W c T~Q~R|WQQ T, Q, R, X c T~Q{R{XQQ T, Q, S, O c T~S{Q{OQQ T, Q, S, P c T~S{Q~PQQ T, Q, S, Q c (T{Q{S)~QQQ T, Q, S, R c T~Q{S~RQQ T, Q, S, S c (T{QS)~SQQ T, Q, S, T c T~(QT{S)QQ T, Q, S, U c (T{Q)~S|UQQ T, Q, S, W c T~Q{S{WQQ T, Q, S, X c T{Q~S{XQQ T, Q, T, P c (T~T)|(Q{P)QQ T, Q, T, Q c (T{T)~Q{QQQ T, Q, T, R c T{Q{T~RQQ T, Q, T, S c T~(QT{S)QQ T, Q, T, T c T~T{Q|TQQ T, Q, T, U c T{Q~U{TQQ T, Q, T, V c T{Q~T{VQQ T, Q, T, X c (T|Q)~X|TQQ T, Q, U, O c (T{U)~(Q{O)QQ T, Q, U, P c (T{U)~(Q~P)QQ T, Q, U, Q c T~Q{U~QQQ T, Q, U, R c (T{R)~Q{UQQ T, Q, U, S c (T|Q)~U{SQQ T, Q, U, T c T{Q~U{TQQ T, Q, U, U c T~Q{U{UQQ T, Q, U, V c TQ~U{VQQ T, Q, U, X c T{Q{U{XQQ T, Q, V, P c (T|Q)~V{PQQ T, Q, V, Q c (T{V)~Q|QQQ T, Q, V, R c T{Q~V{RQQ T, Q, V, T c T~Q{V{TQQ T, Q, V, U c TQ~U{VQQ T, Q, V, V c (V~V|T)QQQ T, Q, V, W c T{Q{V{WQQ T, Q, V, X c (T~V{X)QQQ T, Q, W, P c T{Q~W{PQQ T, Q, W, Q c (T|Q{W)~QQQ T, Q, W, R c T~Q~R|WQQ T, Q, W, S c T~Q{W{SQQ T, Q, W, V c T{Q{W{VQQ T, Q, W, W c T~(W|Q)|WQQ T, Q, W, X c T~W|Q~XQQ T, Q, X, P c T{Q~X|PQQ T, Q, X, R c T~Q{X{RQQ T, Q, X, S c T{Q~S{XQQ T, Q, X, T c (T|Q)~X|TQQ T, Q, X, U c T{Q{X{UQQ T, Q, X, V c (T~V{X)QQQ T, Q, X, W c T~W|Q~XQQ T, Q, X, X c Q~X|T{XQQ T, R, O, T c (T{O)~T|RQQ T, R, O, V c T~R{O{VQQ T, R, O, X c (R{O)~X|TQQ T, R, P, Q c T~(R{P){QQQ T, R, P, S c (T{P)~R{SQQ T, R, P, T c T~P~T|RQQ T, R, P, U c T~R{P{UQQ T, R, P, V c T~R{P~VQQ T, R, P, W c T~R|P{WQQ T, R, P, X c R~P~X|TQQ T, R, Q, P c T~(R{P){QQQ T, R, Q, Q c (T{R~Q)~QQQ T, R, Q, R c T~(R{Q)|RQQ T, R, Q, S c (T~R|S)~QQQ T, R, Q, T c T~R{Q{TQQ T, R, Q, U c (T{R)~Q{UQQ T, R, Q, V c T{R{Q~VQQ T, R, Q, W c T~R~Q|WQQ T, R, Q, X c (T|R)~(Q{X)QQ T, R, R, Q c (T{R{R)~QQQ T, R, R, R c R~R~R|TQQ T, R, R, S c T~R{R{SQQ T, R, R, U c R~(R{U)|TQQ T, R, R, V c (T{VR)~RQQ T, R, R, W c T{R~R{WQQ T, R, R, X c R~(X|TR)QQ T, R, S, P c T~S{R|PQQ T, R, S, Q c (T~R|S)~QQQ T, R, S, R c T~R{S{RQQ T, R, S, T c T{R~S{TQQ T, R, S, U c (T{RU)~SQQ T, R, S, V c (T|R)~(S{V)QQ T, R, S, X c (T|R)~X{SQQ T, R, T, O c T~T|R{OQQ T, R, T, P c T~T|R~PQQ T, R, T, Q c T{R~T{QQQ T, R, T, S c T|R{T~SQQ T, R, T, T c (T|RT)~TQQ T, R, T, U c (T|R)~(T{U)QQ T, R, T, V c T~(R{VT)QQ T, R, T, W c (T{T)~R|WQQ T, R, T, X c T{R{T{XQQ T, R, U, P c T{R~U|PQQ T, R, U, Q c (T{R)~Q{UQQ T, R, U, R c (R{U)~R|TQQ T, R, U, S c (T{RU)~SQQ T, R, U, T c (T|R)~(U{T)QQ T, R, U, U c (T{U)R~UQQ T, R, U, V c T~(U|R){VQQ T, R, U, W c T{R{U{WQQ T, R, U, X c R~U|T{XQQ T, R, V, O c T~R{V{OQQ T, R, V, P c T~R{V~PQQ T, R, V, Q c T{R{V~QQQ T, R, V, R c (T{VR)~RQQ T, R, V, S c T{R~V|SQQ T, R, V, T c T~(R{VT)QQ T, R, V, U c T~(U|R){VQQ T, R, V, V c T{R{V{VQQ T, R, V, W c (T|R)~V{WQQ T, R, V, X c TR~X{VQQ T, R, W, P c T~R{W|PQQ T, R, W, Q c T~R~Q|WQQ T, R, W, R c (T|R)~(W{R)QQ T, R, W, T c (T{T)~R|WQQ T, R, W, U c T{R{W{UQQ T, R, W, V c T{R~W|VQQ T, R, W, X c T~(X|R)|WQQ T, R, X, O c R~X|T{OQQ T, R, X, P c R~X|T~PQQ T, R, X, Q c (T|R{X)~QQQ T, R, X, R c R~(X|TR)QQ T, R, X, S c (T|R)~X{SQQ T, R, X, T c T{R{X{TQQ T, R, X, U c R~U|T{XQQ T, R, X, V c TR~X{VQQ T, R, X, W c T~(X|R)|WQQ T, R, X, X c (R|TX)~XQQ T, S, O, Q c T~S{O{QQQ T, S, P, P c T~S{P{PQQ T, S, P, Q c T~S{P~QQQ T, S, P, R c T~(S{P)|RQQ T, S, P, S c T{S~S{PQQ T, S, P, T c T~T|S{PQQ T, S, P, U c (T|P)~S{UQQ T, S, P, V c T~(S|P){VQQ T, S, P, X c (S|P)~X|TQQ T, S, Q, O c T~S{Q{OQQ T, S, Q, P c T~S{Q~PQQ T, S, Q, Q c (T{S{Q)~QQQ T, S, Q, R c T~Q{S~RQQ T, S, Q, S c (T{S)~Q{SQQ T, S, Q, T c T~(S{QT)QQ T, S, Q, U c (T{Q)~S|UQQ T, S, Q, W c T~(S{Q)|WQQ T, S, Q, X c T{S~Q{XQQ T, S, R, P c T~S{R|PQQ T, S, R, Q c (T~R|S)~QQQ T, S, R, R c T~R{S{RQQ T, S, R, T c T{S~R{TQQ T, S, R, U c (T|SR)~UQQ T, S, R, V c T|S{R~VQQ T, S, R, X c (T|R)~X{SQQ T, S, S, P c T{S~S{PQQ T, S, S, Q c T~S{S|QQQ T, S, S, U c T~S|S{UQQ T, S, S, W c (T{SW)~SQQ T, S, S, X c T{S{S{XQQ T, S, T, P c T~T|S{PQQ T, S, T, Q c T~(S{QT)QQ T, S, T, R c T{S~T|RQQ T, S, T, V c T~S|T{VQQ T, S, T, W c T{S{T{WQQ T, S, U, P c (T|P)~S{UQQ T, S, U, Q c (T{U)~(S|Q)QQ T, S, U, R c T~S{URQQ T, S, U, S c T~S{U|SQQ T, S, U, U c (T{U)~(U|S)QQ T, S, U, V c T{S{U{VQQ T, S, U, W c T~S|U{WQQ T, S, U, X c S~(X|T){UQQ T, S, V, P c T~(S|P){VQQ T, S, V, R c T|S{V~RQQ T, S, V, T c T~S{V|TQQ T, S, V, U c T{S{V{UQQ T, S, V, V c T~(V|S){VQQ T, S, V, X c T~S|V{XQQ T, S, W, Q c T~(S{Q)|WQQ T, S, W, S c (T{SW)~SQQ T, S, W, T c T{S{W{TQQ T, S, W, U c T~S{W|UQQ T, S, W, X c (T|XS)~WQQ T, S, X, P c (S|P)~X|TQQ T, S, X, Q c (T~S|X)~QQQ T, S, X, R c T~(X|S)|RQQ T, S, X, S c T{S{X{SQQ T, S, X, U c S~(X|T){UQQ T, S, X, V c T~S{X|VQQ T, S, X, W c (T|XS)~WQQ T, S, X, X c (S~X)|(T{X)QQ T, T, O, R c T~T{O|RQQ T, T, P, Q c (T{T{P)~QQQ T, T, P, R c T~T|P~RQQ T, T, P, S c T~T{P|SQQ T, T, P, W c T~(T{P)|WQQ T, T, Q, P c (T~T)|(Q{P)QQ T, T, Q, Q c (T{T)~Q{QQQ T, T, Q, R c T{T~R{QQQ T, T, Q, S c T~(QT{S)QQ T, T, Q, T c T~T{Q|TQQ T, T, Q, U c T{T{Q~UQQ T, T, Q, V c T{T~Q{VQQ T, T, Q, X c (T|Q)~X|TQQ T, T, R, O c T~T|R{OQQ T, T, R, P c T~T|R~PQQ T, T, R, Q c T{T~R{QQQ T, T, R, S c T{T{R~SQQ T, T, R, T c T~(T|RT)QQ T, T, R, U c T~T{R|UQQ T, T, R, V c TT{R~VQQ T, T, R, W c (T{T)~R|WQQ T, T, R, X c T{T{R{XQQ T, T, S, P c T~T|S{PQQ T, T, S, Q c T~(S{QT)QQ T, T, S, R c T{T{S~RQQ T, T, S, V c T~T{S|VQQ T, T, S, W c T{T{S{WQQ T, T, T, Q c T~T|T{QQQ T, T, T, R c T~(T|RT)QQ T, T, T, V c T{T{T{VQQ T, T, T, W c T{T~T|WQQ T, T, U, Q c T{T{U~QQQ T, T, U, R c T~T|U{RQQ T, T, U, U c T{T{U{UQQ T, T, U, V c (T{U)~(V|T)QQ T, T, U, W c T~(U|WT)QQ T, T, U, X c T~T{U|XQQ T, T, V, Q c T{T~Q{VQQ T, T, V, R c TT{V~RQQ T, T, V, S c T~T|V{SQQ T, T, V, T c T{T{V{TQQ T, T, V, U c (T{U)~(V|T)QQ T, T, V, W c (T~V)|(T{W)QQ T, T, W, P c T~(T{P)|WQQ T, T, W, R c (T{T)~R|WQQ T, T, W, S c T{T{W{SQQ T, T, W, T c T~T|W{TQQ T, T, W, U c T~(U|WT)QQ T, T, W, V c T~(W|T){VQQ T, T, W, X c (W|T)~X|TQQ T, T, X, Q c T~(X|T){QQQ T, T, X, R c T{T{X{RQQ T, T, X, U c T~T|X{UQQ T, T, X, W c X~(W|T)|TQQ T, U, O, Q c (T{U{O)~QQQ T, U, O, W c T~U{O|WQQ T, U, P, P c (T{U)~(P{P)QQ T, U, P, Q c (T{U)~(P~Q)QQ T, U, P, R c T~(U|P)|RQQ T, U, P, S c (T|P)~S{UQQ T, U, P, V c (T~U)|(P{V)QQ T, U, P, W c T~U|P~WQQ T, U, P, X c T~U{P|XQQ T, U, Q, O c (T{U)~(Q{O)QQ T, U, Q, P c (T{U)~(Q~P)QQ T, U, Q, Q c T~(U|Q){QQQ T, U, Q, R c (T{R)~Q{UQQ T, U, Q, S c (T{U)Q~SQQ T, U, Q, T c T{U~Q{TQQ T, U, Q, U c (T~U)|(Q{U)QQ T, U, Q, V c T~UQ{VQQ T, U, Q, X c T{U{Q{XQQ T, U, R, P c T{U~R|PQQ T, U, R, Q c (T{R)~Q{UQQ T, U, R, R c (U{R)~R|TQQ T, U, R, S c (T{RU)~SQQ T, U, R, T c (T~U)|(R{T)QQ T, U, R, U c (T{U)R~UQQ T, U, R, V c T~(U|R){VQQ T, U, R, W c T{U{R{WQQ T, U, R, X c U~R|T{XQQ T, U, S, P c (T|P)~S{UQQ T, U, S, Q c (T{U)~(S|Q)QQ T, U, S, R c T~S{URQQ T, U, S, S c (T~U)|(S{S)QQ T, U, S, U c (T{U)~(U|S)QQ T, U, S, V c T{U{S{VQQ T, U, S, W c (T{U)S~WQQ T, U, S, X c U{S~(X|T)QQ T, U, T, Q c T{U~Q{TQQ T, U, T, R c (T{U)~(T|R)QQ T, U, T, U c T{U{T{UQQ T, U, T, V c (T{U)~(V|T)QQ T, U, T, W c T~(U|WT)QQ T, U, T, X c T~T{U|XQQ T, U, U, Q c (T~U)|(U{Q)QQ T, U, U, R c (T{U)~(UR)QQ T, U, U, S c (T{U)~(U|S)QQ T, U, U, T c T{U{U{TQQ T, U, U, W c (T{U)~(W|U)QQ T, U, U, X c (U~U)|(T{X)QQ T, U, V, P c (T~U)|(V{P)QQ T, U, V, Q c T~UQ{VQQ T, U, V, R c T~(U|R){VQQ T, U, V, S c T{U{V{SQQ T, U, V, T c (T{U)~(V|T)QQ T, U, V, V c (T~V)|(U{V)QQ T, U, V, W c U{(V|T)~WQQ T, U, V, X c (T{U)~(X|V)QQ T, U, W, O c T~U|W{OQQ T, U, W, P c T~U|W~PQQ T, U, W, R c T{U{W{RQQ T, U, W, S c (T{U)~(WS)QQ T, U, W, T c T~(U|WT)QQ T, U, W, U c (T{U)~(W|U)QQ T, U, W, V c U{W~(V|T)QQ T, U, X, P c T~U|X{PQQ T, U, X, Q c T{U{X{QQQ T, U, X, R c U~R|T{XQQ T, U, X, S c U{(X|T)~SQQ T, U, X, T c T~T{U|XQQ T, U, X, U c (U~U)|(T{X)QQ T, U, X, V c (T{U)~(X|V)QQ T, U, X, X c (X|U)~X|TQQ T, V, O, R c (T{O)~R{VQQ T, V, P, Q c (T{V|P)~QQQ T, V, P, R c T~P~R{VQQ T, V, P, S c T~(S|P){VQQ T, V, P, U c (T|P)~V|UQQ T, V, P, W c T~(V|P)|WQQ T, V, P, X c T{V{P{XQQ T, V, Q, P c (T{V|P)~QQQ T, V, Q, Q c (T{V)~Q|QQQ T, V, Q, R c T{V~Q{RQQ T, V, Q, T c T{V{Q~TQQ T, V, Q, U c TQ~U{VQQ T, V, Q, V c (V~V|T)QQQ T, V, Q, W c T{V{Q{WQQ T, V, Q, X c (T~V{X)QQQ T, V, R, O c T~R{V{OQQ T, V, R, P c T~R{V~PQQ T, V, R, Q c T~(V|R){QQQ T, V, R, R c (T{VR)~RQQ T, V, R, S c T{V~R|SQQ T, V, R, T c T~(VT{R)QQ T, V, R, U c T~(U|R){VQQ T, V, R, V c T{V{R{VQQ T, V, R, W c (T|R)~V{WQQ T, V, R, X c TR~X{VQQ T, V, S, P c T~(S|P){VQQ T, V, S, R c T{V~R|SQQ T, V, S, T c T~S{V|TQQ T, V, S, U c T{V{S{UQQ T, V, S, V c T~(V|S){VQQ T, V, S, X c (T~V)|(S{X)QQ T, V, T, Q c T{V{T~QQQ T, V, T, R c T~(VT{R)QQ T, V, T, S c T~T|V{SQQ T, V, T, T c T{V{T{TQQ T, V, T, U c (T{U)~(V|T)QQ T, V, T, W c (T~V)|(T{W)QQ T, V, U, P c (T~U)|(V{P)QQ T, V, U, Q c T~UQ{VQQ T, V, U, R c T~(U|R){VQQ T, V, U, S c T{V{U{SQQ T, V, U, T c (T{U)~(V|T)QQ T, V, U, V c (T~V)|(U{V)QQ T, V, U, W c (V|T)~W{UQQ T, V, U, X c (T{U)~(X|V)QQ T, V, V, Q c (V~V|T)QQQ T, V, V, R c T{V{V{RQQ T, V, V, S c T~(V|S){VQQ T, V, V, U c (T~V)|(V{U)QQ T, V, V, W c (V|T)~V{WQQ T, V, W, P c T~(V|P)|WQQ T, V, W, Q c T{V{W{QQQ T, V, W, R c T{W~R|VQQ T, V, W, T c (T~V)|(W{T)QQ T, V, W, U c (V|T)~W{UQQ T, V, W, V c (V|T)~V{WQQ T, V, X, P c T{V{X{PQQ T, V, X, Q c (T~V{X)QQQ T, V, X, R c T~XR{VQQ T, V, X, S c (T~V)|(X{S)QQ T, V, X, U c T~(X|U){VQQ T, W, O, U c (T{O)~U|WQQ T, W, O, X c T{W{O{XQQ T, W, P, Q c T{W~Q{PQQ T, W, P, R c T~R{W|PQQ T, W, P, T c (T{P)~T|WQQ T, W, P, U c T~P~U|WQQ T, W, P, V c T~(V|P)|WQQ T, W, P, W c T{W{P{WQQ T, W, P, X c T{W{P~XQQ T, W, Q, P c T{W~Q{PQQ T, W, Q, Q c (T{W|Q)~QQQ T, W, Q, R c T~Q~R|WQQ T, W, Q, S c (T{W)~Q|SQQ T, W, Q, V c T{W{Q{VQQ T, W, Q, W c T~(W|Q)|WQQ T, W, Q, X c T~W|Q~XQQ T, W, R, P c T~R{W|PQQ T, W, R, Q c T~R~Q|WQQ T, W, R, R c T{W{R~RQQ T, W, R, T c (T{T)~R|WQQ T, W, R, U c T{W{R{UQQ T, W, R, V c T{W~R|VQQ T, W, R, X c T~(X|R)|WQQ T, W, S, Q c (T~W{S)QQQ T, W, S, S c (T{SW)~SQQ T, W, S, T c T{W{S{TQQ T, W, S, U c T~S{W|UQQ T, W, S, X c (T|XS)~WQQ T, W, T, P c T~(T{P)|WQQ T, W, T, R c (T{T)~R|WQQ T, W, T, S c T{W{T{SQQ T, W, T, T c T~T|W{TQQ T, W, T, U c T~(U|WT)QQ T, W, T, V c T~(W|T){VQQ T, W, T, X c (W|T)~X|TQQ T, W, U, O c T~U|W{OQQ T, W, U, P c T~U|W~PQQ T, W, U, R c T{W{U{RQQ T, W, U, S c (T{U)~(WS)QQ T, W, U, T c T~(U|WT)QQ T, W, U, U c (T|WU)~UQQ T, W, U, V c W~(V|T){UQQ T, W, V, P c T~(V|P)|WQQ T, W, V, Q c T{W{V{QQQ T, W, V, R c T{W~R|VQQ T, W, V, T c T~(W|T){VQQ T, W, V, U c W~(V|T){UQQ T, W, V, V c W{(V|T)~VQQ T, W, W, P c T{W{W{PQQ T, W, W, Q c T~(W|Q)|WQQ T, W, X, O c T{W{X{OQQ T, W, X, P c T{W{X~PQQ T, W, X, Q c T~W|X~QQQ T, W, X, R c T~(X|R)|WQQ T, W, X, S c (T|XS)~WQQ T, W, X, T c (W|T)~X|TQQ T, W, X, X c (T~W)|(X{X)QQ T, X, O, R c (X{O)~R|TQQ T, X, O, W c T{X{O{WQQ T, X, P, Q c (T~X|P)QQQ T, X, P, R c X~P~R|TQQ T, X, P, S c X~(S|P)|TQQ T, X, P, U c T~U|X{PQQ T, X, P, V c T{X{P{VQQ T, X, P, W c T{X{P~WQQ T, X, P, X c T{X|P{XQQ T, X, Q, P c T{X~Q|PQQ T, X, Q, R c (T{X|R)~QQQ T, X, Q, S c T{X{Q~SQQ T, X, Q, T c T~(X|T){QQQ T, X, Q, U c T{X{Q{UQQ T, X, Q, V c (T~V{X)QQQ T, X, Q, W c T~W|X~QQQ T, X, Q, X c X|T{Q~XQQ T, X, R, O c X~R|T{OQQ T, X, R, P c X~R|T~PQQ T, X, R, Q c (T{X|R)~QQQ T, X, R, R c (X|TR)~RQQ T, X, R, S c T~(X|S)|RQQ T, X, R, T c T{X{R{TQQ T, X, R, U c X|T{R~UQQ T, X, R, V c T~XR{VQQ T, X, R, W c T~(X|R)|WQQ T, X, R, X c X~(R|TX)QQ T, X, S, P c X~(S|P)|TQQ T, X, S, Q c T{X{S~QQQ T, X, S, R c T~(X|S)|RQQ T, X, S, S c T{X{S{SQQ T, X, S, U c (X|T)~S{UQQ T, X, S, V c T~S{X|VQQ T, X, S, W c (T|XS)~WQQ T, X, S, X c (X~S)|(T{X)QQ T, X, T, Q c T~(X|T){QQQ T, X, T, R c T{X{T{RQQ T, X, T, U c T~T|X{UQQ T, X, T, W c X~(W|T)|TQQ T, X, U, P c T~U|X{PQQ T, X, U, Q c T{X{U{QQQ T, X, U, R c X|T{U~RQQ T, X, U, S c (X|T)~S{UQQ T, X, U, T c T~T|X{UQQ T, X, U, U c (U~U)|(T{X)QQ T, X, U, V c T~(X|U){VQQ T, X, U, X c (X|U)~X|TQQ T, X, V, P c T{X{V{PQQ T, X, V, Q c (T~V{X)QQQ T, X, V, R c T~XR{VQQ T, X, V, S c (T~V)|(X{S)QQ T, X, V, U c T~(X|U){VQQ T, X, W, O c T{X{W{OQQ T, X, W, P c T{X{W~PQQ T, X, W, Q c T~W|X~QQQ T, X, W, R c T~(X|R)|WQQ T, X, W, S c (T|XS)~WQQ T, X, W, T c X~(W|T)|TQQ T, X, W, X c (T~W)|(X{X)QQ T, X, X, P c T{X{X|PQQ T, X, X, Q c X|T{X~QQQ T, X, X, R c X~XR|TQQ T, X, X, S c (X~S)|(T{X)QQ T, X, X, U c X~(X|U)|TQQ T, X, X, W c (T~W)|(X{X)QQ T, X, X, X c X|T{X{XQQ U, O, Q, S c (U{O)~S|QQQ U, O, Q, T c (U{O{T)~QQQ U, O, Q, W c U{O{Q~WQQ U, O, R, S c (U{O)~R{SQQ U, O, S, Q c (U{O)~S|QQQ U, O, S, R c (U{O)~R{SQQ U, O, S, S c U{O{S~SQQ U, O, S, V c O{S~V|UQQ U, O, T, Q c (U{O{T)~QQQ U, O, T, W c (U{O)~T|WQQ U, O, V, S c O{V~S|UQQ U, O, V, X c U{O{V{XQQ U, O, W, Q c U{O{W~QQQ U, O, W, T c (U{O)~T|WQQ U, O, W, W c U{O{W{WQQ U, O, X, V c U{O{X{VQQ U, P, P, R c (U{P)~R{PQQ U, P, P, S c (U~S)|(P{P)QQ U, P, P, T c (U{T)~(P{P)QQ U, P, P, W c U{(P{P)~WQQ U, P, Q, Q c (U~Q|P)~QQQ U, P, Q, R c U~(P{R)|QQQ U, P, Q, S c (U|PQ)~SQQ U, P, Q, T c (U{P~T)~QQQ U, P, Q, U c (U|P{U)~QQQ U, P, Q, V c U{(P{V)~QQQ U, P, Q, W c (U{P)~Q{WQQ U, P, Q, X c U~Q{P{XQQ U, P, R, P c (U{P)~R{PQQ U, P, R, Q c U~(P{R)|QQQ U, P, R, R c U~R{P{RQQ U, P, R, S c U{(P{R)~SQQ U, P, R, T c U{P{R~TQQ U, P, R, V c (U|P)~R{VQQ U, P, R, W c U~(P{WR)QQ U, P, R, X c P{R~X|UQQ U, P, S, P c (U~S)|(P{P)QQ U, P, S, Q c (U{P{S)~QQQ U, P, S, R c U{(P{R)~SQQ U, P, S, S c U{P~S~SQQ U, P, S, T c U{S~(T|P)QQ U, P, S, U c (U{P)~S|UQQ U, P, S, V c P~S~V|UQQ U, P, S, W c U~(P{S)|WQQ U, P, T, P c (U{T)~(P{P)QQ U, P, T, Q c (U{P~T)~QQQ U, P, T, R c U{P{T~RQQ U, P, T, S c U{(T|P)~SQQ U, P, T, V c (U~T)|(P{V)QQ U, P, T, W c U~P~T|WQQ U, P, T, X c U~T{P|XQQ U, P, U, Q c (U|P{U)~QQQ U, P, U, S c (U{P)~S|UQQ U, P, U, W c (U|P)~U|WQQ U, P, U, X c U{P{U{XQQ U, P, V, Q c U{(P{V)~QQQ U, P, V, R c (U|P)~R{VQQ U, P, V, S c P~V~S|UQQ U, P, V, T c (U~T)|(P{V)QQ U, P, V, W c U{P{V{WQQ U, P, V, X c U{P~V{XQQ U, P, W, P c U{(P{P)~WQQ U, P, W, Q c U{P~W~QQQ U, P, W, R c U~(P{WR)QQ U, P, W, S c U~(P{S)|WQQ U, P, W, T c U~P~T|WQQ U, P, W, U c (U|P)~U|WQQ U, P, W, V c U{P{W{VQQ U, P, W, W c U{P~W{WQQ U, P, W, X c U|P{W{XQQ U, P, X, Q c U{(X|P)~QQQ U, P, X, R c P{X~R|UQQ U, P, X, T c U~T{P|XQQ U, P, X, U c U{P{X{UQQ U, P, X, V c U{P~X{VQQ U, P, X, W c U|P{X{WQQ U, Q, O, S c (U{O)~S|QQQ U, Q, O, T c (U{O{T)~QQQ U, Q, O, W c U{(Q{O)~WQQ U, Q, P, Q c (U~Q|P)~QQQ U, Q, P, R c U~(P{R)|QQQ U, Q, P, S c U~(Q{P){SQQ U, Q, P, T c (U{P~T)~QQQ U, Q, P, U c (U|P{U)~QQQ U, Q, P, V c U{Q~(P{V)QQ U, Q, P, W c U{Q~P~WQQ U, Q, P, X c U~Q{P{XQQ U, Q, Q, P c (U~Q|P)~QQQ U, Q, Q, Q c U~(Q{Q)|QQQ U, Q, Q, R c (U{Q{R)~QQQ U, Q, Q, S c U{(Q{Q)~SQQ U, Q, Q, T c U~Q{Q~TQQ U, Q, Q, U c (U{Q)~Q{UQQ U, Q, Q, V c U{Q{Q~VQQ U, Q, Q, W c U~Q{Q{WQQ U, Q, Q, X c U|Q{Q~XQQ U, Q, R, P c U~(R{P)|QQQ U, Q, R, Q c (U{Q{R)~QQQ U, Q, R, R c U~(QR{R)QQ U, Q, R, S c (U{R)~Q{SQQ U, Q, R, T c U{Q~(R{T)QQ U, Q, R, U c U|Q{R~UQQ U, Q, R, V c U~Q{R{VQQ U, Q, R, W c U~(Q{R)|WQQ U, Q, R, X c U~(Q{X)RQQ U, Q, S, O c U~S|Q{OQQ U, Q, S, P c U~(Q{P){SQQ U, Q, S, Q c U{Q~S~QQQ U, Q, S, R c (U{R)~Q{SQQ U, Q, S, S c U{Q~(S{S)QQ U, Q, S, T c (U{T)Q~SQQ U, Q, S, U c (U|Q)~S{UQQ U, Q, S, V c (U{V)~Q|SQQ U, Q, S, W c U{Q~S{WQQ U, Q, S, X c (U|S)~(Q{X)QQ U, Q, T, O c (U{T)~(Q{O)QQ U, Q, T, P c (U{T)~(Q~P)QQ U, Q, T, Q c (U|Q)~T{QQQ U, Q, T, R c U{Q~(T{R)QQ U, Q, T, S c (U{T)Q~SQQ U, Q, T, T c U~Q{T{TQQ U, Q, T, U c U{Q~T{UQQ U, Q, T, V c UQ~T{VQQ U, Q, T, X c U{Q{T{XQQ U, Q, U, P c (U{U|P)~QQQ U, Q, U, Q c U{(Q{U)~QQQ U, Q, U, R c U|Q{U~RQQ U, Q, U, S c U{Q~U{SQQ U, Q, U, T c U{Q~T{UQQ U, Q, U, V c (U|Q)~V|UQQ U, Q, U, W c U{Q{U{WQQ U, Q, V, P c U{Q~(V{P)QQ U, Q, V, Q c U{Q{V~QQQ U, Q, V, R c U~Q{V{RQQ U, Q, V, S c (U{V)~Q|SQQ U, Q, V, T c UQ~T{VQQ U, Q, V, U c (U|Q)~V|UQQ U, Q, V, V c U{Q{V{VQQ U, Q, V, W c U~(V|Q)|WQQ U, Q, W, O c U{Q~W{OQQ U, Q, W, P c U{Q~W~PQQ U, Q, W, Q c U~Q{W{QQQ U, Q, W, R c U~(Q{R)|WQQ U, Q, W, S c U{Q~S{WQQ U, Q, W, U c U{Q{W{UQQ U, Q, W, V c U~(V|Q)|WQQ U, Q, W, W c (UW{Q)~WQQ U, Q, W, X c (U{X)~Q|WQQ U, Q, X, P c U{Q~(X|P)QQ U, Q, X, Q c U{Q~X|QQQ U, Q, X, R c U~(Q{X)RQQ U, Q, X, S c (U{X|S)~QQQ U, Q, X, T c U{Q{X{TQQ U, Q, X, W c (U{X)~Q|WQQ U, Q, X, X c U|Q{X{XQQ U, R, O, S c U~R{O{SQQ U, R, P, P c (U{P)~R{PQQ U, R, P, Q c U~(R{P)|QQQ U, R, P, R c U~R{P{RQQ U, R, P, S c U{(R{P)~SQQ U, R, P, T c U~R|P{TQQ U, R, P, V c (U|R)~V{PQQ U, R, P, W c U{(R|P)~WQQ U, R, P, X c R~X|U{PQQ U, R, Q, P c U~(R{P)|QQQ U, R, Q, Q c (U{R{Q)~QQQ U, R, Q, R c U~(R{QR)QQ U, R, Q, S c (U{R)~Q{SQQ U, R, Q, T c U{(R{T)~QQQ U, R, Q, U c U~R|Q{UQQ U, R, Q, V c (U~R|V)~QQQ U, R, Q, W c U~(R{Q)|WQQ U, R, Q, X c (UR)~(Q{X)QQ U, R, R, P c U~R{R{PQQ U, R, R, Q c U~(R{QR)QQ U, R, R, S c (U{SR)~RQQ U, R, R, T c (U{R)~R|TQQ U, R, R, V c U{R~R{VQQ U, R, R, W c (UR)~(R{W)QQ U, R, S, O c U~R{S{OQQ U, R, S, P c U~R{S~PQQ U, R, S, Q c (U{R)~Q{SQQ U, R, S, R c (U{SR)~RQQ U, R, S, S c U{R~S{SQQ U, R, S, T c UR{S~TQQ U, R, S, U c U~(R{SU)QQ U, R, S, V c (UR)~(S{V)QQ U, R, S, W c U~R|S{WQQ U, R, S, X c U{R{S{XQQ U, R, T, P c U{R~T{PQQ U, R, T, Q c U{(R{T)~QQQ U, R, T, R c (U{R)~R|TQQ U, R, T, S c UR{T~SQQ U, R, T, T c (U~T)|(R{T)QQ U, R, T, U c (UR)~(T{U)QQ U, R, T, V c (U|R)~T{VQQ U, R, T, W c U{R{T{WQQ U, R, T, X c U~R|T{XQQ U, R, U, Q c U{R~U|QQQ U, R, U, S c (U|R)~U{SQQ U, R, U, T c (UR)~(U{T)QQ U, R, U, V c U{R{U{VQQ U, R, U, W c UR~W{UQQ U, R, U, X c U~(R{UX)QQ U, R, V, P c (U|R)~V{PQQ U, R, V, Q c (U~R|V)~QQQ U, R, V, R c U~R{V|RQQ U, R, V, S c (UR)~(V{S)QQ U, R, V, T c U{R~V|TQQ U, R, V, U c U{R{V{UQQ U, R, V, V c R~V|U{VQQ U, R, V, W c UR~V{WQQ U, R, W, P c U{(R|P)~WQQ U, R, W, Q c (U|R{W)~QQQ U, R, W, R c U~(R{W)RQQ U, R, W, S c U~R{W|SQQ U, R, W, T c U{R{W{TQQ U, R, W, U c UR~W{UQQ U, R, W, V c UR~V{WQQ U, R, W, W c U{R~W|WQQ U, R, W, X c R~(W|UX)QQ U, R, X, P c R~X|U{PQQ U, R, X, Q c (UR{X)~QQQ U, R, X, S c U{R{X{SQQ U, R, X, T c (U|R)~X|TQQ U, R, X, U c U~(R{UX)QQ U, R, X, W c R~(W|UX)QQ U, S, O, Q c U~S{O|QQQ U, S, O, R c (U{O)~R{SQQ U, S, O, S c U{(S{O)~SQQ U, S, O, V c (S{O)~V|UQQ U, S, P, P c (U~S)|(P{P)QQ U, S, P, Q c (U{S{P)~QQQ U, S, P, R c U{S~(P{R)QQ U, S, P, S c U{S~P~SQQ U, S, P, T c U{S~(T|P)QQ U, S, P, U c (U{P)~S|UQQ U, S, P, V c S~P~V|UQQ U, S, P, W c U~(S{P)|WQQ U, S, Q, O c U~S|Q{OQQ U, S, Q, P c U~S|Q~PQQ U, S, Q, Q c (U{S)~Q{QQQ U, S, Q, R c (U{R)~Q{SQQ U, S, Q, S c U~S{Q|SQQ U, S, Q, T c (U{T)~(S|Q)QQ U, S, Q, U c U{S{Q~UQQ U, S, Q, V c (U{V)~Q|SQQ U, S, Q, W c U{(S|Q)~WQQ U, S, Q, X c (U|S)~(Q{X)QQ U, S, R, O c U~R{S{OQQ U, S, R, P c U{S~(R{P)QQ U, S, R, Q c (U{R)~Q{SQQ U, S, R, R c (U{SR)~RQQ U, S, R, S c U{S{R~SQQ U, S, R, T c U~S{R|TQQ U, S, R, U c U~S|URQQ U, S, R, V c U{S~(V|R)QQ U, S, R, W c (U{S)~R|WQQ U, S, R, X c U{S{R{XQQ U, S, S, O c U{S~S{OQQ U, S, S, P c U{S~S~PQQ U, S, S, Q c U{(S{S)~QQQ U, S, S, R c U{S{S~RQQ U, S, S, S c (US{S)~SQQ U, S, S, T c U|S{S~TQQ U, S, S, U c U~S{S|UQQ U, S, S, V c (U|S)~(S{V)QQ U, S, S, W c U{S{S{WQQ U, S, S, X c (U|S)~X{SQQ U, S, T, P c U{S~(T|P)QQ U, S, T, Q c (U{T)~(S|Q)QQ U, S, T, R c U~S|T{RQQ U, S, T, S c U{S~T|SQQ U, S, T, U c (U|S)~(T{U)QQ U, S, T, V c U{S{T{VQQ U, S, T, W c (U{T)S~WQQ U, S, T, X c U{S~(X|T)QQ U, S, U, P c (U{P)~S|UQQ U, S, U, Q c U{S{U~QQQ U, S, U, R c U~S|URQQ U, S, U, S c U~S|U{SQQ U, S, U, T c (U|S)~(U{T)QQ U, S, U, U c U{S{U{UQQ U, S, U, W c U{S~U|WQQ U, S, U, X c U~(X|U){SQQ U, S, V, O c S~V|U{OQQ U, S, V, P c S~V|U~PQQ U, S, V, Q c (U{V)~Q|SQQ U, S, V, R c U{S~(V|R)QQ U, S, V, S c (U|S)~(V{S)QQ U, S, V, T c U{S{V{TQQ U, S, V, V c (S|UV)~VQQ U, S, V, W c (U|S)~V{WQQ U, S, V, X c U~S{V|XQQ U, S, W, P c U~(S{P)|WQQ U, S, W, Q c U{S~WQQQ U, S, W, R c (U|S)~(W{R)QQ U, S, W, S c U{S{W{SQQ U, S, W, T c U~(W|T){SQQ U, S, W, U c (U|S)~W{UQQ U, S, W, V c (U|S)~V{WQQ U, S, W, W c U{WS~WQQ U, S, W, X c U~(X|S)|WQQ U, S, X, Q c (U|S{X)~QQQ U, S, X, R c U{S{X{RQQ U, S, X, S c (U|S)~X{SQQ U, S, X, T c U{S~(X|T)QQ U, S, X, U c U~(X|U){SQQ U, S, X, V c U~S|X{VQQ U, S, X, W c U~(X|S)|WQQ U, T, O, Q c (U{T{O)~QQQ U, T, O, W c U~T{O|WQQ U, T, P, P c (U{T)~(P{P)QQ U, T, P, Q c (U{T)~(P~Q)QQ U, T, P, R c U{T~R{PQQ U, T, P, S c U{(T|P)~SQQ U, T, P, V c (U~T)|(P{V)QQ U, T, P, W c U~T|P~WQQ U, T, P, X c U~T{P|XQQ U, T, Q, O c (U{T)~(Q{O)QQ U, T, Q, P c (U{T)~(Q~P)QQ U, T, Q, Q c (U|Q)~T{QQQ U, T, Q, R c U{(T{R)~QQQ U, T, Q, S c (U{T)Q~SQQ U, T, Q, T c U~Q{T{TQQ U, T, Q, U c U{T~Q{UQQ U, T, Q, V c U~TQ{VQQ U, T, Q, X c U{T{Q{XQQ U, T, R, P c U{T~R{PQQ U, T, R, Q c U{(T{R)~QQQ U, T, R, R c (U{R)~R|TQQ U, T, R, S c U~(T|SR)QQ U, T, R, T c (U~T)|(R{T)QQ U, T, R, U c (U{T)R~UQQ U, T, R, V c U|T{R~VQQ U, T, R, W c U{T{R{WQQ U, T, R, X c U~R|T{XQQ U, T, S, P c U{(T|P)~SQQ U, T, S, Q c (U{T)~(S|Q)QQ U, T, S, R c U~(T|SR)QQ U, T, S, S c U{T~S|SQQ U, T, S, U c (U{T)~(U|S)QQ U, T, S, V c U{T{S{VQQ U, T, S, W c (U{T)S~WQQ U, T, S, X c U{S~(X|T)QQ U, T, T, Q c U~Q{T{TQQ U, T, T, R c (U{T)~(T|R)QQ U, T, T, U c U{T{T{UQQ U, T, T, V c (U{T)~(V|T)QQ U, T, T, W c (U|WT)~TQQ U, T, T, X c U{T~T|XQQ U, T, U, Q c (U~T)|(U{Q)QQ U, T, U, R c (U{T)~(UR)QQ U, T, U, S c (U{T)~(U|S)QQ U, T, U, T c U{T{U{TQQ U, T, U, W c (U{T)~(W|U)QQ U, T, U, X c (U~U)|(T{X)QQ U, T, V, P c (U~T)|(V{P)QQ U, T, V, Q c U~TQ{VQQ U, T, V, R c U|T{V~RQQ U, T, V, S c U{T{V{SQQ U, T, V, T c (U{T)~(V|T)QQ U, T, V, V c (T~V)|(U{V)QQ U, T, V, W c U{(V|T)~WQQ U, T, V, X c (U{T)~(X|V)QQ U, T, W, O c U~T|W{OQQ U, T, W, P c U~T|W~PQQ U, T, W, R c U{T{W{RQQ U, T, W, S c (U{T)~(WS)QQ U, T, W, T c (U|WT)~TQQ U, T, W, U c (U{T)~(W|U)QQ U, T, W, V c U{W~(V|T)QQ U, T, X, P c U~T|X{PQQ U, T, X, Q c U{T{X{QQQ U, T, X, R c U~R|T{XQQ U, T, X, S c U{(X|T)~SQQ U, T, X, T c U{T~T|XQQ U, T, X, U c (U~U)|(T{X)QQ U, T, X, V c (U{T)~(X|V)QQ U, T, X, X c (X|U)~X|TQQ U, U, P, Q c (U{U|P)~QQQ U, U, P, S c (U{P)~S|UQQ U, U, P, W c U~(U|P)|WQQ U, U, P, X c U{U{P{XQQ U, U, Q, P c (U{U|P)~QQQ U, U, Q, Q c U{(U{Q)~QQQ U, U, Q, R c U{U~R|QQQ U, U, Q, S c U{(U|Q)~SQQ U, U, Q, T c U{U{Q~TQQ U, U, Q, V c U~U|Q~VQQ U, U, Q, W c U{U{Q{WQQ U, U, R, Q c U{U~R|QQQ U, U, R, S c U~(U|R){SQQ U, U, R, T c U~(U{T)RQQ U, U, R, V c U{U{R{VQQ U, U, R, W c U{UR~WQQ U, U, R, X c U~(UX{R)QQ U, U, S, P c (U{P)~S|UQQ U, U, S, Q c U{(U|Q)~SQQ U, U, S, R c U~(U|R){SQQ U, U, S, S c U~S|U{SQQ U, U, S, T c (U|S)~(U{T)QQ U, U, S, U c U{U{S{UQQ U, U, S, W c U{(U|S)~WQQ U, U, S, X c U~(X|U){SQQ U, U, T, Q c U{U{T~QQQ U, U, T, R c U~(U{T)RQQ U, U, T, S c (U{T)~(U|S)QQ U, U, T, T c U{U{T{TQQ U, U, T, W c (U{T)~(W|U)QQ U, U, T, X c (U~U)|(T{X)QQ U, U, U, S c U{U{U{SQQ U, U, U, W c (U~U)|(U{W)QQ U, U, V, Q c U~U|V~QQQ U, U, V, R c U{U{V{RQQ U, U, V, V c (U~U)|(V{V)QQ U, U, W, P c U~(U|P)|WQQ U, U, W, Q c U{U{W{QQQ U, U, W, R c U{U~WRQQ U, U, W, S c U{(U|S)~WQQ U, U, W, T c (U{T)~(W|U)QQ U, U, W, U c (U~U)|(W{U)QQ U, U, W, W c U{(W|U)~WQQ U, U, X, P c U{U{X{PQQ U, U, X, R c U~(UX{R)QQ U, U, X, S c U~(X|U){SQQ U, U, X, T c (U~U)|(X{T)QQ U, V, O, S c (V{O)~S|UQQ U, V, O, X c U{V{O{XQQ U, V, P, Q c U{(V{P)~QQQ U, V, P, R c (U|P)~R{VQQ U, V, P, S c V~P~S|UQQ U, V, P, T c (U~T)|(V{P)QQ U, V, P, W c U{V{P{WQQ U, V, P, X c U{V{P~XQQ U, V, Q, P c U~VQ{PQQ U, V, Q, Q c (U{V|Q)~QQQ U, V, Q, R c U~(V|R)|QQQ U, V, Q, S c (U{V)~Q|SQQ U, V, Q, T c UQ~T{VQQ U, V, Q, U c (U|Q)~V|UQQ U, V, Q, V c U{V{Q{VQQ U, V, Q, W c U~(V|Q)|WQQ U, V, R, P c (U|R)~V{PQQ U, V, R, Q c U~(V|R)|QQQ U, V, R, R c U{V{R~RQQ U, V, R, S c U{(V|R)~SQQ U, V, R, T c U{V~R|TQQ U, V, R, U c U{V{R{UQQ U, V, R, V c V|U{R~VQQ U, V, R, W c U~VR{WQQ U, V, S, O c V~S|U{OQQ U, V, S, P c V~S|U~PQQ U, V, S, Q c (U{V)~Q|SQQ U, V, S, R c U~(V{S)RQQ U, V, S, S c U~(V|S){SQQ U, V, S, T c U{V{S{TQQ U, V, S, V c V~(S|UV)QQ U, V, S, W c (U|S)~V{WQQ U, V, S, X c U~S{V|XQQ U, V, T, P c (U~T)|(V{P)QQ U, V, T, Q c U~TQ{VQQ U, V, T, R c U{V~R|TQQ U, V, T, S c U{V{T{SQQ U, V, T, T c (U{T)~(V|T)QQ U, V, T, V c (V~T)|(U{V)QQ U, V, T, W c U{(V|T)~WQQ U, V, T, X c (U{T)~(X|V)QQ U, V, U, Q c U~U|V~QQQ U, V, U, R c U{V{U{RQQ U, V, U, V c (U~U)|(V{V)QQ U, V, V, Q c U{V{V{QQQ U, V, V, R c V|U{V~RQQ U, V, V, S c V~(S|UV)QQ U, V, V, T c (V~T)|(U{V)QQ U, V, V, U c (U~U)|(V{V)QQ U, V, W, P c U{V{W{PQQ U, V, W, Q c U~(V|Q)|WQQ U, V, W, R c U~VR{WQQ U, V, W, S c (U|S)~V{WQQ U, V, W, T c U{(V|T)~WQQ U, V, W, W c V~(W|U){WQQ U, V, W, X c U{W~(X|V)QQ U, V, X, O c U{V{X{OQQ U, V, X, P c U{V{X~PQQ U, V, X, S c U~S{V|XQQ U, V, X, T c (U{T)~(X|V)QQ U, V, X, W c U{(X|V)~WQQ U, W, O, Q c U{(W{O)~QQQ U, W, O, T c (U{O)~T|WQQ U, W, O, W c U{W{O{WQQ U, W, P, P c U{W~(P{P)QQ U, W, P, Q c U{W~P~QQQ U, W, P, R c U{W~(R|P)QQ U, W, P, S c U~(P{S)|WQQ U, W, P, T c U~P~T|WQQ U, W, P, U c (U|P)~U|WQQ U, W, P, V c U{W{P{VQQ U, W, P, W c U{W{P~WQQ U, W, P, X c U{W|P{XQQ U, W, Q, O c U{W~Q{OQQ U, W, Q, P c U{W~Q~PQQ U, W, Q, Q c U~WQ|QQQ U, W, Q, R c (U{W|R)~QQQ U, W, Q, S c U{W{Q~SQQ U, W, Q, U c U{W{Q{UQQ U, W, Q, V c U~(V|Q)|WQQ U, W, Q, W c (UW{Q)~WQQ U, W, Q, X c (U{X)~Q|WQQ U, W, R, P c U{W~(R|P)QQ U, W, R, Q c (U{W|R)~QQQ U, W, R, R c U~(W{R)RQQ U, W, R, S c U~R{W|SQQ U, W, R, T c U{W{R{TQQ U, W, R, U c U{WR~UQQ U, W, R, V c UR~V{WQQ U, W, R, W c U{W~R|WQQ U, W, R, X c (W|UX)~RQQ U, W, S, P c U~(S{P)|WQQ U, W, S, Q c U{W{S~QQQ U, W, S, R c (U|S)~(W{R)QQ U, W, S, S c U{W{S{SQQ U, W, S, T c U~(W|T){SQQ U, W, S, U c U{W~(U|S)QQ U, W, S, V c (U|S)~V{WQQ U, W, S, W c U{WS~WQQ U, W, S, X c U~X|W~SQQ U, W, T, O c U~T|W{OQQ U, W, T, P c U~T|W~PQQ U, W, T, R c U{W{T{RQQ U, W, T, S c U~(W|T){SQQ U, W, T, T c (U|WT)~TQQ U, W, T, U c (U{T)~(W|U)QQ U, W, T, V c U{W~(V|T)QQ U, W, U, P c U~(U|P)|WQQ U, W, U, Q c U{W{U{QQQ U, W, U, R c U{W~URQQ U, W, U, S c U{W~(U|S)QQ U, W, U, T c (U{T)~(W|U)QQ U, W, U, U c (U~U)|(W{U)QQ U, W, U, W c U{(W|U)~WQQ U, W, V, P c U{W{V{PQQ U, W, V, Q c U~(V|Q)|WQQ U, W, V, R c U~VR{WQQ U, W, V, S c (U|S)~V{WQQ U, W, V, T c U{W~(V|T)QQ U, W, V, W c (W|U)~V{WQQ U, W, V, X c U{W~(X|V)QQ U, W, W, O c U{W{W{OQQ U, W, W, P c U{W{W~PQQ U, W, W, Q c (UW{Q)~WQQ U, W, W, R c U{W~R|WQQ U, W, W, S c U{W~WSQQ U, W, W, U c U{W~(W|U)QQ U, W, W, V c (W|U)~V{WQQ U, W, X, P c U{W{X|PQQ U, W, X, Q c (U{X)~Q|WQQ U, W, X, R c (W|UX)~RQQ U, W, X, S c U~X|W~SQQ U, W, X, V c U{W~(X|V)QQ U, X, O, V c U{X{O{VQQ U, X, P, Q c U{(X|P)~QQQ U, X, P, R c X~R|U{PQQ U, X, P, T c U~T|X{PQQ U, X, P, U c U{X{P{UQQ U, X, P, V c U{X{P~VQQ U, X, P, W c U{X|P{WQQ U, X, Q, P c U{(X|P)~QQQ U, X, Q, Q c U{X~Q|QQQ U, X, Q, R c U~(X{Q)RQQ U, X, Q, S c (U{X|S)~QQQ U, X, Q, T c U{X{Q{TQQ U, X, Q, W c (U{X)~Q|WQQ U, X, Q, X c U{X|Q{XQQ U, X, R, P c X~R|U{PQQ U, X, R, Q c U~(X{Q)RQQ U, X, R, S c U{X{R{SQQ U, X, R, T c (U|R)~X|TQQ U, X, R, U c (UX{R)~UQQ U, X, R, W c (X~W|U)RQQ U, X, S, Q c (U{X|S)~QQQ U, X, S, R c U{X{S{RQQ U, X, S, S c (U|S)~X{SQQ U, X, S, T c U{(X|T)~SQQ U, X, S, U c U~(X|U){SQQ U, X, S, V c U~S|X{VQQ U, X, S, W c U~(X|S)|WQQ U, X, T, P c U~T|X{PQQ U, X, T, Q c U{X{T{QQQ U, X, T, R c (U|R)~X|TQQ U, X, T, S c U{(X|T)~SQQ U, X, T, T c U{T~T|XQQ U, X, T, U c (U~U)|(X{T)QQ U, X, T, V c (U{T)~(X|V)QQ U, X, T, X c (X|U)~X|TQQ U, X, U, P c U{X{U{PQQ U, X, U, R c (UX{R)~UQQ U, X, U, S c U~(X|U){SQQ U, X, U, T c (U~U)|(X{T)QQ U, X, V, O c U{X{V{OQQ U, X, V, P c U{X{V~PQQ U, X, V, S c U~S|X{VQQ U, X, V, T c (U{T)~(X|V)QQ U, X, V, W c U{(X|V)~WQQ U, X, W, P c U{X{W|PQQ U, X, W, Q c (U{X)~Q|WQQ U, X, W, R c (X~W|U)RQQ U, X, W, S c U~X|W~SQQ U, X, W, V c U{(X|V)~WQQ U, X, X, Q c U{X{X|QQQ U, X, X, T c (X|U)~X|TQQ V, O, P, R c (V{O)~R{PQQ V, O, Q, S c (V{O{S)~QQQ V, O, Q, W c (V{O)~Q{WQQ V, O, R, P c (V{O)~R{PQQ V, O, R, T c V{O{R~TQQ V, O, S, Q c (V{O{S)~QQQ V, O, S, U c (V{O)~S|UQQ V, O, T, R c V{O{T~RQQ V, O, U, S c (V{O)~S|UQQ V, O, U, X c V{O{U{XQQ V, O, V, W c V{O{V{WQQ V, O, W, Q c (V{O)~Q{WQQ V, O, W, V c V{O{W{VQQ V, O, X, U c V{O{X{UQQ V, P, O, R c (V{O)~R{PQQ V, P, P, Q c V~(P{Q){PQQ V, P, P, R c V~P~R{PQQ V, P, P, S c (V{S)~(P{P)QQ V, P, P, W c V~(P{P){WQQ V, P, Q, P c V~(P{Q){PQQ V, P, Q, R c (V{P{R)~QQQ V, P, Q, S c (V{P~S)~QQQ V, P, Q, T c V{(P{Q)~TQQ V, P, Q, U c (V{P)~Q{UQQ V, P, Q, V c V{P{Q~VQQ V, P, Q, W c V|P{Q~WQQ V, P, Q, X c V~Q|P{XQQ V, P, R, O c V~R{P{OQQ V, P, R, P c V~P~R{PQQ V, P, R, Q c (V{P{R)~QQQ V, P, R, R c (V{PR)~RQQ V, P, R, S c (V|P)~R{SQQ V, P, R, T c V{P~R~TQQ V, P, R, U c V~(P{R)|UQQ V, P, R, V c V~(PV{R)QQ V, P, R, W c V~(R|P){WQQ V, P, R, X c VR~X{PQQ V, P, S, P c (V{S)~(P{P)QQ V, P, S, Q c (V{P~S)~QQQ V, P, S, R c V{(P{S)~RQQ V, P, S, S c V|P{S~SQQ V, P, S, T c V{(S|P)~TQQ V, P, S, U c V~P~S|UQQ V, P, S, V c V~S{P|VQQ V, P, S, W c (VS{P)~WQQ V, P, T, Q c (V|P{T)~QQQ V, P, T, R c V{P~T~RQQ V, P, T, S c V{T~(S|P)QQ V, P, T, U c V~(T|P)|UQQ V, P, T, W c (V|P)~T|WQQ V, P, T, X c V{P{T{XQQ V, P, U, Q c (V{P)~Q{UQQ V, P, U, R c V~(P{R)|UQQ V, P, U, S c V~P~S|UQQ V, P, U, T c V~(T|P)|UQQ V, P, U, W c V{P{U{WQQ V, P, U, X c V{P~U{XQQ V, P, V, Q c V{P{V~QQQ V, P, V, R c V~(PV{R)QQ V, P, V, S c V~(V|S){PQQ V, P, V, V c V{P{V{VQQ V, P, V, W c V{P~V{WQQ V, P, V, X c V|P{V{XQQ V, P, W, P c V~(P{P){WQQ V, P, W, Q c V|P{W~QQQ V, P, W, R c V~(R|P){WQQ V, P, W, S c (VS{P)~WQQ V, P, W, T c (V|P)~T|WQQ V, P, W, U c V{P{W{UQQ V, P, W, V c V{P~W{VQQ V, P, W, W c V|P{W{WQQ V, P, X, Q c V~Q|P{XQQ V, P, X, R c V~XR{PQQ V, P, X, T c V{P{X{TQQ V, P, X, U c V{P~X{UQQ V, P, X, V c V|P{X{VQQ V, Q, O, S c (V{O{S)~QQQ V, Q, O, W c V~Q{O{WQQ V, Q, P, P c V~(Q{P){PQQ V, Q, P, R c (V{P{R)~QQQ V, Q, P, S c (V{P~S)~QQQ V, Q, P, T c V{(Q{P)~TQQ V, Q, P, U c VQ~U{PQQ V, Q, P, V c V~Q{P{VQQ V, Q, P, W c V~Q{P~WQQ V, Q, P, X c V~Q|P{XQQ V, Q, Q, Q c (V{Q{Q)~QQQ V, Q, Q, R c (V~Q|R)~QQQ V, Q, Q, S c (V{Q)~Q{SQQ V, Q, Q, T c (V{T)~Q|QQQ V, Q, Q, U c V~Q{Q{UQQ V, Q, Q, W c (V{WQ)~QQQ V, Q, Q, X c Q~(Q~X|V)QQ V, Q, R, P c V~R{Q|PQQ V, Q, R, Q c (V~Q|R)~QQQ V, Q, R, R c V{(Q{R)~RQQ V, Q, R, S c (V|RQ)~SQQ V, Q, R, T c (V{Q)~R|TQQ V, Q, R, U c V{Q~U{RQQ V, Q, R, V c (V|Q)~R{VQQ V, Q, R, X c V{Q~R{XQQ V, Q, S, O c (V{S)~(Q{O)QQ V, Q, S, P c (V{S)~(Q~P)QQ V, Q, S, Q c (V|Q)~S{QQQ V, Q, S, R c V~S|Q~RQQ V, Q, S, S c V~Q{S{SQQ V, Q, S, U c (V{U)~Q|SQQ V, Q, S, V c V{Q~S{VQQ V, Q, S, W c VQ~S{WQQ V, Q, S, X c V{Q{S{XQQ V, Q, T, P c V{(Q{P)~TQQ V, Q, T, Q c (V{T)~Q|QQQ V, Q, T, R c (V|Q)~T|RQQ V, Q, T, T c V{Q~T{TQQ V, Q, T, U c V{TQ~UQQ V, Q, T, V c (V~V|T)QQQ V, Q, T, W c V{Q{T{WQQ V, Q, T, X c (V|T)~(Q{X)QQ V, Q, U, P c VQ~U{PQQ V, Q, U, Q c (V|Q{U)~QQQ V, Q, U, R c V{Q~U{RQQ V, Q, U, S c (V{U)~Q|SQQ V, Q, U, T c V{UQ~TQQ V, Q, U, U c V~(U|Q)|UQQ V, Q, U, V c V{Q{U{VQQ V, Q, U, W c (V|Q)~U|WQQ V, Q, V, P c V{Q~V{PQQ V, Q, V, R c (V|Q)~R{VQQ V, Q, V, S c V{Q~S{VQQ V, Q, V, T c (V~V|T)QQQ V, Q, V, U c V{Q{V{UQQ V, Q, V, W c V~(Q{WV)QQ V, Q, W, O c V~Q{W{OQQ V, Q, W, P c V{Q~W|PQQ V, Q, W, Q c (V{WQ)~QQQ V, Q, W, S c VQ~S{WQQ V, Q, W, T c V{Q{W{TQQ V, Q, W, U c VQ~W|UQQ V, Q, W, V c V~(Q{WV)QQ V, Q, W, W c (V{W)~Q|WQQ V, Q, W, X c V|Q{W{XQQ V, Q, X, P c V~Q{X|PQQ V, Q, X, Q c (Q~X|V)~QQQ V, Q, X, R c V{Q~X|RQQ V, Q, X, S c V{Q{X{SQQ V, Q, X, T c (V{X|T)~QQQ V, Q, X, W c V|Q{X{WQQ V, Q, X, X c Q~(X|V{X)QQ V, R, O, P c V~R{O{PQQ V, R, O, T c V{(R{O)~TQQ V, R, P, O c V~R{P{OQQ V, R, P, P c V~R{P~PQQ V, R, P, Q c (V{R{P)~QQQ V, R, P, R c (V{PR)~RQQ V, R, P, S c V{R~(P{S)QQ V, R, P, T c V{R~P~TQQ V, R, P, U c V~(R{P)|UQQ V, R, P, V c V~(R{PV)QQ V, R, P, W c V~(R|P){WQQ V, R, P, X c VR~X{PQQ V, R, Q, P c V~R{Q|PQQ V, R, Q, Q c (V{R)~Q{QQQ V, R, Q, R c V{(R{Q)~RQQ V, R, Q, S c (V|RQ)~SQQ V, R, Q, T c (V|R)~T{QQQ V, R, Q, U c V{R{Q~UQQ V, R, Q, V c V{R~(V|Q)QQ V, R, Q, X c V{R~Q{XQQ V, R, R, P c (V{PR)~RQQ V, R, R, Q c V{R~(R{Q)QQ V, R, R, R c V~R{RRQQ V, R, R, S c V{R{R~SQQ V, R, R, T c (VR{T)~RQQ V, R, R, U c V{R~R{UQQ V, R, R, W c (V{R)~R|WQQ V, R, R, X c V{R{R{XQQ V, R, S, P c V{R~(S{P)QQ V, R, S, Q c (V|RQ)~SQQ V, R, S, R c V{R{S~RQQ V, R, S, S c V~R{SSQQ V, R, S, T c V~R|S{TQQ V, R, S, U c (V|R)~S{UQQ V, R, S, W c V{R{S{WQQ V, R, S, X c V{R~(X|S)QQ V, R, T, O c V{R~T{OQQ V, R, T, P c V{R~T~PQQ V, R, T, Q c (V|R)~T{QQQ V, R, T, R c (VR{T)~RQQ V, R, T, S c V~R{T|SQQ V, R, T, T c V~R{TTQQ V, R, T, U c V~R|T{UQQ V, R, T, V c V{R{T{VQQ V, R, T, W c (V|T)~(R{W)QQ V, R, T, X c V{TR~XQQ V, R, U, P c V{R~(U|P)QQ V, R, U, Q c V{R{U~QQQ V, R, U, R c V{R~U|RQQ V, R, U, S c (V|R)~S{UQQ V, R, U, T c V~R{U|TQQ V, R, U, U c V{R{U{UQQ V, R, U, V c V~R|U{VQQ V, R, U, W c VR~U{WQQ V, R, V, P c V~(R{PV)QQ V, R, V, Q c V{R~(V|Q)QQ V, R, V, T c V{R{V{TQQ V, R, V, U c V{R~V|UQQ V, R, V, V c V~R{VVQQ V, R, V, W c V~R|V{WQQ V, R, V, X c V~V|R~XQQ V, R, W, P c V~(R|P){WQQ V, R, W, R c V{R~(W|R)QQ V, R, W, S c V{R{W{SQQ V, R, W, T c (V|T)~(R{W)QQ V, R, W, U c VR~U{WQQ V, R, W, V c V~R{W|VQQ V, R, W, W c V~R{WWQQ V, R, W, X c V{R~W|XQQ V, R, X, P c VR~X{PQQ V, R, X, Q c V|R{X~QQQ V, R, X, R c V{R{X{RQQ V, R, X, S c V{R~(X|S)QQ V, R, X, T c V{XR~TQQ V, R, X, V c V~V|R~XQQ V, R, X, W c V~R{X|WQQ V, R, X, X c V|R{X{XQQ V, S, O, Q c (V{S{O)~QQQ V, S, O, U c V~S{O|UQQ V, S, P, P c (V{S)~(P{P)QQ V, S, P, Q c (V{S)~(P~Q)QQ V, S, P, R c V{(S{P)~RQQ V, S, P, S c V{S~S|PQQ V, S, P, T c V{(S|P)~TQQ V, S, P, U c V~S|P~UQQ V, S, P, V c V~S{P|VQQ V, S, P, W c (VS{P)~WQQ V, S, Q, O c (V{S)~(Q{O)QQ V, S, Q, P c (V{S)~(Q~P)QQ V, S, Q, Q c (V|Q)~S{QQQ V, S, Q, R c V~S|Q~RQQ V, S, Q, S c (V{S)Q~SQQ V, S, Q, U c (V{U)~Q|SQQ V, S, Q, V c V{S~Q{VQQ V, S, Q, W c V~S{Q|WQQ V, S, Q, X c V{S{Q{XQQ V, S, R, P c (V{S)~(R|P)QQ V, S, R, Q c V~S|R~QQQ V, S, R, R c V{S~R{RQQ V, S, R, S c V~R{SSQQ V, S, R, T c (V{S)~(T|R)QQ V, S, R, U c (V{S)R~UQQ V, S, R, W c V{S{R{WQQ V, S, R, X c V~S{R|XQQ V, S, S, P c V{S~S|PQQ V, S, S, Q c (V{S)~(S|Q)QQ V, S, S, R c V~R{SSQQ V, S, S, U c (V{S)~(U|S)QQ V, S, S, V c V{S{S{VQQ V, S, S, W c (V{S)S~WQQ V, S, T, P c (V~S)|(T{P)QQ V, S, T, R c (V{S)~(T|R)QQ V, S, T, T c V{S~T|TQQ V, S, T, U c V{S{T{UQQ V, S, T, V c (V|S)~T{VQQ V, S, T, X c (V|S)~X|TQQ V, S, U, O c V~S|U{OQQ V, S, U, P c V~S|U~PQQ V, S, U, Q c (V{U)~Q|SQQ V, S, U, R c (V{S)~(UR)QQ V, S, U, S c (V{S)~(U|S)QQ V, S, U, T c V{S{U{TQQ V, S, U, V c V~(S|UV)QQ V, S, U, W c (V{S)~(W|U)QQ V, S, U, X c V{S~U|XQQ V, S, V, P c (V|S)~V{PQQ V, S, V, Q c V{S~Q{VQQ V, S, V, S c V{S{V{SQQ V, S, V, T c (V{S)~(V|T)QQ V, S, V, U c V~(S|UV)QQ V, S, V, X c (V{S)~(X|V)QQ V, S, W, P c (VS{P)~WQQ V, S, W, Q c (V|S{W)~QQQ V, S, W, R c V{S{W{RQQ V, S, W, S c (V{S)~(WS)QQ V, S, W, U c (V{S)~(W|U)QQ V, S, W, W c VS~W{WQQ V, S, X, Q c V{S{X{QQQ V, S, X, R c V~S|X{RQQ V, S, X, T c (V|S)~X|TQQ V, S, X, U c V{S~U|XQQ V, S, X, V c (V{S)~(X|V)QQ V, S, X, X c (V{X~X)SQQ V, T, O, R c V{(T{O)~RQQ V, T, P, Q c (V{T|P)~QQQ V, T, P, R c V{T~P~RQQ V, T, P, S c V{T~(S|P)QQ V, T, P, U c V~(T|P)|UQQ V, T, P, W c (V|P)~T|WQQ V, T, P, X c V{T{P{XQQ V, T, Q, P c V{T~(Q{P)QQ V, T, Q, Q c (V{T)~Q|QQQ V, T, Q, R c (V|Q)~T|RQQ V, T, Q, T c V{T{Q~TQQ V, T, Q, U c V{TQ~UQQ V, T, Q, V c (V~V|T)QQQ V, T, Q, W c V{T{Q{WQQ V, T, Q, X c (V|T)~(Q{X)QQ V, T, R, O c V{T~R{OQQ V, T, R, P c V{T~R~PQQ V, T, R, Q c (V|R)~T{QQQ V, T, R, R c (VR{T)~RQQ V, T, R, S c V~R{T|SQQ V, T, R, T c (VT{R)~TQQ V, T, R, U c V{T~(U|R)QQ V, T, R, V c V{T{R{VQQ V, T, R, W c (V|T)~(R{W)QQ V, T, R, X c V{TR~XQQ V, T, S, P c V{T~(S|P)QQ V, T, S, R c (V{S)~(T|R)QQ V, T, S, T c V{T~S|TQQ V, T, S, U c V{T{S{UQQ V, T, S, V c (V|T)~(S{V)QQ V, T, S, X c (V~T)|(S{X)QQ V, T, T, Q c V{T{T~QQQ V, T, T, R c (VT{R)~TQQ V, T, T, S c V|T{T~SQQ V, T, T, T c V{T{T{TQQ V, T, T, U c (V|T)~(T{U)QQ V, T, T, W c (V~T)|(T{W)QQ V, T, U, P c V~(T|P)|UQQ V, T, U, Q c V{T~UQQQ V, T, U, R c V{T~(U|R)QQ V, T, U, S c V{T{U{SQQ V, T, U, T c (V|T)~(U{T)QQ V, T, U, V c (V~T)|(U{V)QQ V, T, U, W c (V|T)~W{UQQ V, T, U, X c V{T~(X|U)QQ V, T, V, Q c (V~V|T)QQQ V, T, V, R c V{T{V{RQQ V, T, V, S c V{T~(V|S)QQ V, T, V, U c (V~T)|(V{U)QQ V, T, V, W c (V|T)~V{WQQ V, T, W, P c V~(W|T){PQQ V, T, W, Q c V{T{W{QQQ V, T, W, R c (V|T)~(W{R)QQ V, T, W, T c V{T~(W|T)QQ V, T, W, U c (V|T)~W{UQQ V, T, W, V c (V|T)~V{WQQ V, T, X, P c V{T{X{PQQ V, T, X, Q c (V|T{X)~QQQ V, T, X, R c V{T~XRQQ V, T, X, S c (V|T)~X{SQQ V, T, X, U c V{T~(X|U)QQ V, U, O, S c (V{O)~S|UQQ V, U, O, X c V{U{O{XQQ V, U, P, Q c V~UQ{PQQ V, U, P, R c V{(U|P)~RQQ V, U, P, S c V~P~S|UQQ V, U, P, T c V~(T|P)|UQQ V, U, P, W c V{U{P{WQQ V, U, P, X c V{U{P~XQQ V, U, Q, P c V~UQ{PQQ V, U, Q, Q c (V{U|Q)~QQQ V, U, Q, R c V{U~Q{RQQ V, U, Q, S c (V{U)~Q|SQQ V, U, Q, T c V{UQ~TQQ V, U, Q, U c V~(U|Q)|UQQ V, U, Q, V c V{U{Q{VQQ V, U, Q, W c (V|Q)~U|WQQ V, U, R, P c V~(U|R){PQQ V, U, R, Q c V{U~Q{RQQ V, U, R, R c V{U{R~RQQ V, U, R, S c (V|R)~S{UQQ V, U, R, T c V{(U|R)~TQQ V, U, R, U c V{U{R{UQQ V, U, R, V c V|U{R~VQQ V, U, R, W c V~UR{WQQ V, U, S, O c V~S|U{OQQ V, U, S, P c V~S|U~PQQ V, U, S, Q c (V{U)~Q|SQQ V, U, S, R c (V{S)~(UR)QQ V, U, S, S c (V|US)~SQQ V, U, S, T c V{U{S{TQQ V, U, S, V c V~(S|UV)QQ V, U, S, W c V~(U|S){WQQ V, U, S, X c V{U~S|XQQ V, U, T, P c V~(T|P)|UQQ V, U, T, Q c V{U~TQQQ V, U, T, R c V{(U|R)~TQQ V, U, T, S c V{U{T{SQQ V, U, T, T c (V|T)~(U{T)QQ V, U, T, V c (V~T)|(U{V)QQ V, U, T, W c (V|T)~W{UQQ V, U, T, X c V{T~(X|U)QQ V, U, U, Q c V~(U|Q)|UQQ V, U, U, R c V{U{U{RQQ V, U, U, V c (U~U)|(V{V)QQ V, U, V, Q c V{U{V{QQQ V, U, V, R c V|U{V~RQQ V, U, V, S c V~(S|UV)QQ V, U, V, T c (V~T)|(U{V)QQ V, U, V, U c (U~U)|(V{V)QQ V, U, W, P c V{U{W{PQQ V, U, W, Q c V~WQ|UQQ V, U, W, R c V~UR{WQQ V, U, W, S c V~(U|S){WQQ V, U, W, T c (V|T)~W{UQQ V, U, W, W c V~(W|U){WQQ V, U, W, X c U{W~(X|V)QQ V, U, X, O c V{U{X{OQQ V, U, X, P c V{U{X~PQQ V, U, X, S c V{U~S|XQQ V, U, X, T c V{(X|U)~TQQ V, U, X, W c U{(X|V)~WQQ V, V, O, W c V{V{O{WQQ V, V, P, Q c V{V~Q{PQQ V, V, P, R c V~(PV{R)QQ V, V, P, S c V~(V|S){PQQ V, V, P, V c V{V{P{VQQ V, V, P, W c V{V{P~WQQ V, V, P, X c V{V|P{XQQ V, V, Q, P c V{V~Q{PQQ V, V, Q, R c V{(V|Q)~RQQ V, V, Q, S c V{V{Q~SQQ V, V, Q, T c (V~V|T)QQQ V, V, Q, U c V{V{Q{UQQ V, V, Q, W c V~(Q{WV)QQ V, V, R, P c V~(R{PV)QQ V, V, R, Q c (V{V|R)~QQQ V, V, R, T c V{V{R{TQQ V, V, R, U c V{V~R|UQQ V, V, R, V c VV{R~VQQ V, V, R, W c V~R|V{WQQ V, V, R, X c V~V|R~XQQ V, V, S, P c V~(V|S){PQQ V, V, S, Q c V{V{S~QQQ V, V, S, S c V{V{S{SQQ V, V, S, T c V{(V|S)~TQQ V, V, S, U c V~(S|UV)QQ V, V, S, X c (V{S)~(X|V)QQ V, V, T, Q c (V~V|T)QQQ V, V, T, R c V{V{T{RQQ V, V, T, S c V{(V|S)~TQQ V, V, T, U c (V~T)|(V{U)QQ V, V, T, W c V~(V|T){WQQ V, V, U, Q c V{V{U{QQQ V, V, U, R c V{V~R|UQQ V, V, U, S c V~(S|UV)QQ V, V, U, T c (V~T)|(V{U)QQ V, V, U, U c (U~U)|(V{V)QQ V, V, V, P c V{V{V{PQQ V, V, V, R c VV{V~RQQ V, V, W, O c V{V{W{OQQ V, V, W, P c V{V{W~PQQ V, V, W, Q c V~(WV{Q)QQ V, V, W, R c V~R|V{WQQ V, V, W, T c V~(V|T){WQQ V, V, W, X c V~(X|V){WQQ V, V, X, P c V{V{X|PQQ V, V, X, R c V~V|X~RQQ V, V, X, S c (V{S)~(X|V)QQ V, V, X, W c V~(X|V){WQQ V, W, O, Q c (V{O)~Q{WQQ V, W, O, V c V{W{O{VQQ V, W, P, P c V~(P{P){WQQ V, W, P, Q c V{W~Q|PQQ V, W, P, R c V~(R|P){WQQ V, W, P, S c (VS{P)~WQQ V, W, P, T c V~(W|T){PQQ V, W, P, U c V{W{P{UQQ V, W, P, V c V{W{P~VQQ V, W, P, W c V{W|P{WQQ V, W, Q, O c V~Q{W{OQQ V, W, Q, P c V{W~Q|PQQ V, W, Q, Q c (V{WQ)~QQQ V, W, Q, S c (V{W|S)~QQQ V, W, Q, T c V{W{Q{TQQ V, W, Q, U c V~WQ|UQQ V, W, Q, V c V~(WV{Q)QQ V, W, Q, W c (V{W)~Q|WQQ V, W, Q, X c V{W|Q{XQQ V, W, R, P c V~(R|P){WQQ V, W, R, R c V{(W|R)~RQQ V, W, R, S c V{W{R{SQQ V, W, R, T c (V|T)~(W{R)QQ V, W, R, U c VR~U{WQQ V, W, R, V c V~R{W|VQQ V, W, R, W c V~R{WWQQ V, W, R, X c V{W~R|XQQ V, W, S, P c (VS{P)~WQQ V, W, S, Q c (V{W|S)~QQQ V, W, S, R c V{W{S{RQQ V, W, S, S c (V{S)~(WS)QQ V, W, S, U c V~(W|S)|UQQ V, W, S, W c V~WS{WQQ V, W, T, P c V~(W|T){PQQ V, W, T, Q c V{W{T{QQQ V, W, T, R c (V|T)~(W{R)QQ V, W, T, T c V{(W|T)~TQQ V, W, T, U c (V|T)~W{UQQ V, W, T, V c (V|T)~V{WQQ V, W, U, P c V{W{U{PQQ V, W, U, Q c V~WQ|UQQ V, W, U, R c V~UR{WQQ V, W, U, S c V~(W|S)|UQQ V, W, U, T c (V|T)~W{UQQ V, W, U, W c V~(W|U){WQQ V, W, U, X c W~(X|V){UQQ V, W, V, O c V{W{V{OQQ V, W, V, P c V{W{V~PQQ V, W, V, Q c V~(WV{Q)QQ V, W, V, R c V~R{W|VQQ V, W, V, T c V~(V|T){WQQ V, W, V, X c V~(X|V){WQQ V, W, W, P c V{W{W|PQQ V, W, W, Q c (V{W)~Q|WQQ V, W, W, R c V~R{WWQQ V, W, W, S c V~WS{WQQ V, W, W, U c V~(W|U){WQQ V, W, X, Q c V{W{X|QQQ V, W, X, R c V{W~R|XQQ V, W, X, U c W~(X|V){UQQ V, W, X, V c V~(X|V){WQQ V, X, O, U c V{X{O{UQQ V, X, P, Q c V~Q{X|PQQ V, X, P, R c V~XR{PQQ V, X, P, T c V{X{P{TQQ V, X, P, U c V{X{P~UQQ V, X, P, V c V{X|P{VQQ V, X, Q, P c V~Q{X|PQQ V, X, Q, Q c (X~Q|V)~QQQ V, X, Q, R c V{X{Q~RQQ V, X, Q, S c V{X{Q{SQQ V, X, Q, T c (V{X|T)~QQQ V, X, Q, W c V{X|Q{WQQ V, X, Q, X c (X|V)~(Q{X)QQ V, X, R, P c V~XR{PQQ V, X, R, Q c V{X{R~QQQ V, X, R, R c V{X{R{RQQ V, X, R, S c V{(X|S)~RQQ V, X, R, T c V{XR~TQQ V, X, R, V c V~V|X~RQQ V, X, R, W c V~R{X|WQQ V, X, R, X c V{X|R{XQQ V, X, S, Q c V{X{S{QQQ V, X, S, R c V{(X|S)~RQQ V, X, S, T c (V|S)~X|TQQ V, X, S, U c (V|XU)~SQQ V, X, S, V c (V{S)~(X|V)QQ V, X, S, X c (V{X~X)SQQ V, X, T, P c V{X{T{PQQ V, X, T, Q c (V{X|T)~QQQ V, X, T, R c V{X~TRQQ V, X, T, S c (V|T)~X{SQQ V, X, T, U c V~(X|T)|UQQ V, X, U, O c V{X{U{OQQ V, X, U, P c V{X{U~PQQ V, X, U, S c (V|XU)~SQQ V, X, U, T c V{(X|U)~TQQ V, X, U, W c (X|V)~W{UQQ V, X, V, P c V{X{V|PQQ V, X, V, R c V~V|X~RQQ V, X, V, S c (V{S)~(X|V)QQ V, X, V, W c V~(X|V){WQQ V, X, W, Q c V{X{W|QQQ V, X, W, R c V{W~R|XQQ V, X, W, U c (X|V)~W{UQQ V, X, W, V c V~(X|V){WQQ V, X, X, Q c (X|V{X)~QQQ V, X, X, R c V{X{X|RQQ V, X, X, S c (V{X~X)SQQ W, O, Q, R c (W{O{R)~QQQ W, O, Q, U c (W{O)~Q{UQQ W, O, Q, V c W{O{Q~VQQ W, O, R, Q c (W{O{R)~QQQ W, O, T, U c O{T~U|WQQ W, O, T, X c W{O{T{XQQ W, O, U, Q c (W{O)~Q{UQQ W, O, U, T c O{U~T|WQQ W, O, U, W c W{O{U{WQQ W, O, V, Q c W{O{V~QQQ W, O, V, V c W{O{V{VQQ W, O, W, U c W{O{W{UQQ W, O, X, T c W{O{X{TQQ W, P, P, R c (W|P)~R{PQQ W, P, P, U c W~(P{P){UQQ W, P, P, V c W{(P{P)~VQQ W, P, Q, Q c (W{P{Q)~QQQ W, P, Q, R c (W{P~R)~QQQ W, P, Q, S c (W{P)~Q{SQQ W, P, Q, T c W~Q{P{TQQ W, P, Q, U c W~P~Q{UQQ W, P, Q, V c W{P~Q~VQQ W, P, Q, W c (W|P)~Q{WQQ W, P, R, P c (W|P)~R{PQQ W, P, R, Q c (W{P~R)~QQQ W, P, R, R c W~R{P|RQQ W, P, R, S c W~(R|PS)QQ W, P, R, T c (W{P)~R|TQQ W, P, R, U c W~(R|P){UQQ W, P, R, V c W{(R|P)~VQQ W, P, R, X c (P{X)~R|WQQ W, P, S, Q c (W|P{S)~QQQ W, P, S, R c W~(R|PS)QQ W, P, S, U c (W|P)~S|UQQ W, P, S, V c W~(P{VS)QQ W, P, S, X c W{P{S{XQQ W, P, T, Q c W~Q{P{TQQ W, P, T, R c W|P{T~RQQ W, P, T, T c (P{T)~T|WQQ W, P, T, U c P~T~U|WQQ W, P, T, V c (W|T)~V{PQQ W, P, T, W c W{P{T{WQQ W, P, T, X c W{P~T{XQQ W, P, U, P c W~(P{P){UQQ W, P, U, Q c W{(P{U)~QQQ W, P, U, R c W~(R|P){UQQ W, P, U, S c (W|P)~S|UQQ W, P, U, T c P~U~T|WQQ W, P, U, U c (U|P)~U|WQQ W, P, U, V c W{P{U{VQQ W, P, U, W c W{P~U{WQQ W, P, U, X c W|P{U{XQQ W, P, V, P c W{(P{P)~VQQ W, P, V, Q c W{P~V~QQQ W, P, V, R c W{V~(R|P)QQ W, P, V, S c W~(P{VS)QQ W, P, V, T c (W|T)~V{PQQ W, P, V, U c W{P{V{UQQ W, P, V, V c W{P~V{VQQ W, P, V, W c W|P{V{WQQ W, P, W, Q c (W|P)~Q{WQQ W, P, W, T c W{P{W{TQQ W, P, W, U c W{P~W{UQQ W, P, W, V c W|P{W{VQQ W, P, X, R c (P{X)~R|WQQ W, P, X, S c W{P{X{SQQ W, P, X, T c W{P~X{TQQ W, P, X, U c W|P{X{UQQ W, Q, O, R c (W{O{R)~QQQ W, Q, O, U c W~Q{O{UQQ W, Q, O, V c W{(Q{O)~VQQ W, Q, P, Q c (W{Q{P)~QQQ W, Q, P, R c (W{P~R)~QQQ W, Q, P, S c (W{P)~Q{SQQ W, Q, P, T c W~Q{P{TQQ W, Q, P, U c W{Q~(P{U)QQ W, Q, P, V c W{Q~P~VQQ W, Q, P, W c W{Q~(W|P)QQ W, Q, Q, P c (W{Q{P)~QQQ W, Q, Q, Q c (W{Q)~Q{QQQ W, Q, Q, R c W~Q{Q~RQQ W, Q, Q, S c W~Q{Q{SQQ W, Q, Q, T c W{Q~(Q{T)QQ W, Q, Q, U c W{Q{Q~UQQ W, Q, Q, V c (WQ{V)~QQQ W, Q, Q, W c W|Q{Q~WQQ W, Q, Q, X c WQ{Q~XQQ W, Q, R, O c (W{R)~(Q{O)QQ W, Q, R, P c (W{R)~(Q~P)QQ W, Q, R, Q c W~Q{R~QQQ W, Q, R, R c (W|QR)~RQQ W, Q, R, S c W{Q{R~SQQ W, Q, R, T c Q~R~T|WQQ W, Q, R, U c WQ{R~UQQ W, Q, R, W c W{Q~R{WQQ W, Q, R, X c W{Q{R{XQQ W, Q, S, P c (W{S|P)~QQQ W, Q, S, Q c (W|Q)~S|QQQ W, Q, S, R c W{Q{S~RQQ W, Q, S, S c W|Q{S~SQQ W, Q, S, T c W{Q~T{SQQ W, Q, S, U c W{Q~S{UQQ W, Q, S, V c W{(S|Q)~VQQ W, Q, S, W c W{Q{S{WQQ W, Q, S, X c W{Q~X|SQQ W, Q, T, P c W~Q{T{PQQ W, Q, T, Q c W{(Q{T)~QQQ W, Q, T, R c Q~T~R|WQQ W, Q, T, S c W{Q~T{SQQ W, Q, T, V c W{Q{T{VQQ W, Q, T, W c (W|Q)~T|WQQ W, Q, T, X c W~T|Q~XQQ W, Q, U, O c W~Q{U{OQQ W, Q, U, P c W{Q~(U{P)QQ W, Q, U, Q c W{Q{U~QQQ W, Q, U, R c WQ{U~RQQ W, Q, U, S c W{Q~S{UQQ W, Q, U, U c W{Q{U{UQQ W, Q, U, V c WQ~V|UQQ W, Q, U, W c W~(Q{UW)QQ W, Q, U, X c (W|U)~(Q{X)QQ W, Q, V, O c W{Q~V{OQQ W, Q, V, P c W{Q~V~PQQ W, Q, V, Q c (WQ{V)~QQQ W, Q, V, S c W{VQ~SQQ W, Q, V, T c W{Q{V{TQQ W, Q, V, U c WQ~V|UQQ W, Q, V, V c (WV{Q)~VQQ W, Q, V, W c (W{V)~Q|WQQ W, Q, V, X c W|Q{V{XQQ W, Q, W, P c W{Q~(W|P)QQ W, Q, W, Q c W{Q~W|QQQ W, Q, W, R c W{Q~R{WQQ W, Q, W, S c W{Q{W{SQQ W, Q, W, T c (W|Q)~T|WQQ W, Q, W, U c W~(Q{UW)QQ W, Q, W, V c (W{V)~Q|WQQ W, Q, W, W c W|Q{W{WQQ W, Q, X, Q c W{Q~(X|Q)QQ W, Q, X, R c W{Q{X{RQQ W, Q, X, S c W{Q~X|SQQ W, Q, X, T c W~T|Q~XQQ W, Q, X, U c (W{X|U)~QQQ W, Q, X, V c W|Q{X{VQQ W, Q, X, X c WQ{X{XQQ W, R, O, Q c (W{R{O)~QQQ W, R, P, P c (W{R)~(P{P)QQ W, R, P, Q c (W{R)~(P~Q)QQ W, R, P, R c W~R{P|RQQ W, R, P, S c W~(R|PS)QQ W, R, P, T c W{R~T|PQQ W, R, P, U c W~(R|P){UQQ W, R, P, V c W{(R|P)~VQQ W, R, P, X c R~(P{X)|WQQ W, R, Q, O c (W{R)~(Q{O)QQ W, R, Q, P c (W{R)~(Q~P)QQ W, R, Q, Q c W~Q{R~QQQ W, R, Q, R c (W|QR)~RQQ W, R, Q, S c (W{R)Q~SQQ W, R, Q, T c R~Q~T|WQQ W, R, Q, U c (W|R{U)~QQQ W, R, Q, W c W{R~Q{WQQ W, R, Q, X c W{R{Q{XQQ W, R, R, P c (W{R)~(R|P)QQ W, R, R, Q c (W|QR)~RQQ W, R, R, T c W{R~R{TQQ W, R, R, U c (W{R)R~UQQ W, R, R, V c (W|R)~R{VQQ W, R, R, W c W{R{R{WQQ W, R, R, X c R{R~X|WQQ W, R, S, P c W~(R|PS)QQ W, R, S, Q c W{(R{S)~QQQ W, R, S, U c W~R{S|UQQ W, R, S, V c W{R{S{VQQ W, R, S, W c (W{R)S~WQQ W, R, T, P c W{R~T|PQQ W, R, T, Q c R~T~Q|WQQ W, R, T, R c (W{R)~(T|R)QQ W, R, T, T c R~(T{T)|WQQ W, R, T, U c W{R{T{UQQ W, R, T, V c W~R{T|VQQ W, R, T, X c T~(X|R)|WQQ W, R, U, P c W~(R|P){UQQ W, R, U, Q c (W|R{U)~QQQ W, R, U, R c (W{R)~(UR)QQ W, R, U, S c W{R~U|SQQ W, R, U, T c W{R{U{TQQ W, R, U, U c WR~U{UQQ W, R, U, V c W{UR~VQQ W, R, U, W c (W|R)~U|WQQ W, R, U, X c (W|UX)~RQQ W, R, V, P c W{(R|P)~VQQ W, R, V, R c (W|R)~R{VQQ W, R, V, S c W{R{V{SQQ W, R, V, T c (W{R)~(V|T)QQ W, R, V, U c W{VR~UQQ W, R, V, V c W{R~V|VQQ W, R, V, W c WW{R~VQQ W, R, V, X c W~R{V|XQQ W, R, W, Q c W{R~Q{WQQ W, R, W, R c W{R{W{RQQ W, R, W, S c (W{R)~(WS)QQ W, R, W, U c (W{R)~(W|U)QQ W, R, W, V c WW{R~VQQ W, R, W, X c W|R{W{XQQ W, R, X, P c R~(X{P)|WQQ W, R, X, Q c W{R{X{QQQ W, R, X, R c R~X|W{RQQ W, R, X, T c (X|R)~T|WQQ W, R, X, U c (W~X|U)RQQ W, R, X, V c (W{R)~(X|V)QQ W, R, X, W c W|R{X{WQQ W, S, P, Q c (W{S|P)~QQQ W, S, P, R c W~(R|PS)QQ W, S, P, U c (W|P)~S|UQQ W, S, P, V c W~(P{VS)QQ W, S, P, X c W{S{P{XQQ W, S, Q, P c (W{S|P)~QQQ W, S, Q, Q c (W{S)~Q|QQQ W, S, Q, R c W{(S{R)~QQQ W, S, Q, S c W{S~S|QQQ W, S, Q, T c W{S{Q~TQQ W, S, Q, U c W{S~Q{UQQ W, S, Q, V c W{(S|Q)~VQQ W, S, Q, W c W{S{Q{WQQ W, S, Q, X c W|S{Q~XQQ W, S, R, P c W~(R|PS)QQ W, S, R, Q c W{(S{R)~QQQ W, S, R, U c W|S{R~UQQ W, S, R, V c W{S{R{VQQ W, S, R, W c (WS)~(R{W)QQ W, S, S, Q c W{S~S|QQQ W, S, S, T c WS{S~TQQ W, S, S, U c W{S{S{UQQ W, S, S, V c (WS)~(S{V)QQ W, S, S, X c WS~X{SQQ W, S, T, Q c W{S{T~QQQ W, S, T, S c W~(S|TS)QQ W, S, T, T c W{S{T{TQQ W, S, T, U c W{S~T|UQQ W, S, T, X c W~(T|XS)QQ W, S, U, P c (W|P)~S|UQQ W, S, U, Q c (W|S)~U|QQQ W, S, U, R c W|S{U~RQQ W, S, U, S c W{S{U{SQQ W, S, U, T c (WS)~(U{T)QQ W, S, U, U c W~(U|S){UQQ W, S, U, V c (W|S)~V|UQQ W, S, U, W c WS~W{UQQ W, S, U, X c (W|U)~X{SQQ W, S, V, P c W~(VS{P)QQ W, S, V, Q c W{S~VQQQ W, S, V, R c W{S{V{RQQ W, S, V, S c W~(S{V)SQQ W, S, V, U c (W|S)~V|UQQ W, S, V, W c WS~V{WQQ W, S, W, Q c W{S{W{QQQ W, S, W, R c (WS)~(W{R)QQ W, S, W, U c WS~W{UQQ W, S, W, V c WS~V{WQQ W, S, X, P c W{S{X{PQQ W, S, X, Q c (W{S~X)QQQ W, S, X, S c WS~X{SQQ W, S, X, T c W~(T|XS)QQ W, S, X, U c (W|U)~X{SQQ W, S, X, X c W|S{X{XQQ W, T, O, U c (T{O)~U|WQQ W, T, O, X c W{T{O{XQQ W, T, P, Q c W~Q{T{PQQ W, T, P, R c W{T~R|PQQ W, T, P, T c (T{P)~T|WQQ W, T, P, U c T~P~U|WQQ W, T, P, V c (W|T)~V{PQQ W, T, P, W c W{T{P{WQQ W, T, P, X c W{T{P~XQQ W, T, Q, P c W~Q{T{PQQ W, T, Q, Q c W{(T{Q)~QQQ W, T, Q, R c T~Q~R|WQQ W, T, Q, S c W{T~Q{SQQ W, T, Q, V c W{T{Q{VQQ W, T, Q, W c (W|T{W)~QQQ W, T, Q, X c W~T|Q~XQQ W, T, R, P c W{T~R|PQQ W, T, R, Q c T~R~Q|WQQ W, T, R, R c W{T{R~RQQ W, T, R, T c (T{T)~R|WQQ W, T, R, U c W{T{R{UQQ W, T, R, V c W{(T|R)~VQQ W, T, R, X c T~(X|R)|WQQ W, T, S, Q c (W~T{S)QQQ W, T, S, S c W~(S|TS)QQ W, T, S, T c W{T{S{TQQ W, T, S, U c W{T~S|UQQ W, T, S, X c W~(T|XS)QQ W, T, T, P c T~(T{P)|WQQ W, T, T, R c (T{T)~R|WQQ W, T, T, S c W{T{T{SQQ W, T, T, T c T~T|W{TQQ W, T, T, U c T~(U|WT)QQ W, T, T, V c (W|T)~T{VQQ W, T, T, X c (W|T)~X|TQQ W, T, U, O c T~U|W{OQQ W, T, U, P c T~U|W~PQQ W, T, U, R c W{T{U{RQQ W, T, U, S c (W|T)~U{SQQ W, T, U, T c T~(U|WT)QQ W, T, U, U c (W|U)~(T{U)QQ W, T, U, V c W~(V|T){UQQ W, T, V, P c (W|T)~V{PQQ W, T, V, Q c W{T{V{QQQ W, T, V, R c W{(T|R)~VQQ W, T, V, T c (W|T)~T{VQQ W, T, V, U c W~(V|T){UQQ W, T, V, V c W{(V|T)~VQQ W, T, W, P c W{T{W{PQQ W, T, W, Q c (W|T{W)~QQQ W, T, X, O c W{T{X{OQQ W, T, X, P c W{T{X~PQQ W, T, X, Q c W~T|X~QQQ W, T, X, R c T~(X|R)|WQQ W, T, X, S c W~(T|XS)QQ W, T, X, T c (W|T)~X|TQQ W, T, X, X c (W~T)|(X{X)QQ W, U, O, Q c (W{O)~Q{UQQ W, U, O, T c (U{O)~T|WQQ W, U, O, W c W{U{O{WQQ W, U, P, P c W~(P{P){UQQ W, U, P, Q c W{(U{P)~QQQ W, U, P, R c W~(R|P){UQQ W, U, P, S c (W|P)~S|UQQ W, U, P, T c U~P~T|WQQ W, U, P, U c (U|P)~U|WQQ W, U, P, V c W{U{P{VQQ W, U, P, W c W{U{P~WQQ W, U, P, X c W{U|P{XQQ W, U, Q, O c W~Q{U{OQQ W, U, Q, P c W{(U{P)~QQQ W, U, Q, Q c W{U~Q{QQQ W, U, Q, R c (W{U|R)~QQQ W, U, Q, S c W{U{Q~SQQ W, U, Q, U c W{U{Q{UQQ W, U, Q, V c WQ~V|UQQ W, U, Q, W c W~(UW{Q)QQ W, U, Q, X c (W|U)~(Q{X)QQ W, U, R, P c W~(R|P){UQQ W, U, R, Q c (W{U|R)~QQQ W, U, R, R c (W{R)~(UR)QQ W, U, R, S c W{U~R|SQQ W, U, R, T c W{U{R{TQQ W, U, R, U c W~UR{UQQ W, U, R, V c W{UR~VQQ W, U, R, W c (W|U)~(R{W)QQ W, U, R, X c (W|UX)~RQQ W, U, S, P c (W|P)~S|UQQ W, U, S, Q c W{U{S~QQQ W, U, S, R c W{U~R|SQQ W, U, S, S c W{U{S{SQQ W, U, S, T c W|U{S~TQQ W, U, S, U c W~(U|S){UQQ W, U, S, V c W{(U|S)~VQQ W, U, S, W c WS~W{UQQ W, U, S, X c (W|U)~X{SQQ W, U, T, O c U~T|W{OQQ W, U, T, P c U~T|W~PQQ W, U, T, R c W{U{T{RQQ W, U, T, S c W|U{T~SQQ W, U, T, T c (U|WT)~TQQ W, U, T, U c (W|U)~(T{U)QQ W, U, T, V c W~(V|T){UQQ W, U, U, P c U~(U|P)|WQQ W, U, U, Q c W{U{U{QQQ W, U, U, R c (WU{U)~RQQ W, U, U, S c W~(U|S){UQQ W, U, U, T c (W|U)~(U{T)QQ W, U, U, U c (U~U)|(W{U)QQ W, U, U, W c (W|U)~W{UQQ W, U, V, P c W{U{V{PQQ W, U, V, Q c W~VQ|UQQ W, U, V, R c W{U~VRQQ W, U, V, S c (W|U)~(V{S)QQ W, U, V, T c W~(V|T){UQQ W, U, V, W c (W|U)~V{WQQ W, U, V, X c W~(X|V){UQQ W, U, W, O c W{U{W{OQQ W, U, W, P c W{U{W~PQQ W, U, W, Q c W~(UW{Q)QQ W, U, W, R c (W|U)~(W{R)QQ W, U, W, S c W~WS{UQQ W, U, W, U c (W|U)~W{UQQ W, U, W, V c (W|U)~V{WQQ W, U, X, P c W{U{X|PQQ W, U, X, Q c (W|U{X)~QQQ W, U, X, R c (W|UX)~RQQ W, U, X, S c (W|U)~X{SQQ W, U, X, V c W~(X|V){UQQ W, V, O, Q c W{(V{O)~QQQ W, V, O, V c W{V{O{VQQ W, V, P, P c W{V~(P{P)QQ W, V, P, Q c W{V~P~QQQ W, V, P, R c W{V~(R|P)QQ W, V, P, S c W~(VS{P)QQ W, V, P, T c (W|T)~V{PQQ W, V, P, U c W{V{P{UQQ W, V, P, V c W{V{P~VQQ W, V, P, W c W{V|P{WQQ W, V, Q, O c W{V~Q{OQQ W, V, Q, P c W{V~Q~PQQ W, V, Q, Q c (WQ{V)~QQQ W, V, Q, S c W{VQ~SQQ W, V, Q, T c W{V{Q{TQQ W, V, Q, U c W~VQ|UQQ W, V, Q, V c (WV{Q)~VQQ W, V, Q, W c (W{V)~Q|WQQ W, V, Q, X c W{V|Q{XQQ W, V, R, P c W{V~(R|P)QQ W, V, R, R c (W|R)~R{VQQ W, V, R, S c W{V{R{SQQ W, V, R, T c W{V~(T|R)QQ W, V, R, U c W{VR~UQQ W, V, R, V c W{V~R|VQQ W, V, R, W c WW{V~RQQ W, V, R, X c W~R{V|XQQ W, V, S, P c W~(VS{P)QQ W, V, S, Q c (W{V|S)~QQQ W, V, S, R c W{V{S{RQQ W, V, S, S c W~(V{S)SQQ W, V, S, U c W{V~(U|S)QQ W, V, S, W c W{VS~WQQ W, V, T, P c (W|T)~V{PQQ W, V, T, Q c W{V{T{QQQ W, V, T, R c W{V~(T|R)QQ W, V, T, T c (W|T)~T{VQQ W, V, T, U c W~(V|T){UQQ W, V, T, V c W{(V|T)~VQQ W, V, U, P c W{V{U{PQQ W, V, U, Q c W~VQ|UQQ W, V, U, R c W{V~URQQ W, V, U, S c W{V~(U|S)QQ W, V, U, T c W~(V|T){UQQ W, V, U, W c W{V~(W|U)QQ W, V, U, X c W~(X|V){UQQ W, V, V, O c W{V{V{OQQ W, V, V, P c W{V{V~PQQ W, V, V, Q c (WV{Q)~VQQ W, V, V, R c W|V{V~RQQ W, V, V, T c W{V~(V|T)QQ W, V, V, X c W{V~(X|V)QQ W, V, W, P c W{V{W|PQQ W, V, W, Q c (W{V)~Q|WQQ W, V, W, R c WW{V~RQQ W, V, W, S c W{V~WSQQ W, V, W, U c W{V~(W|U)QQ W, V, X, Q c W{V{X|QQQ W, V, X, R c W~R{V|XQQ W, V, X, U c W~(X|V){UQQ W, V, X, V c W{V~(X|V)QQ W, W, O, U c W{W{O{UQQ W, W, P, Q c W{(W|P)~QQQ W, W, P, T c W{W{P{TQQ W, W, P, U c W{W{P~UQQ W, W, P, V c W{W|P{VQQ W, W, Q, P c W{(W|P)~QQQ W, W, Q, Q c W{W~Q|QQQ W, W, Q, R c W{W{Q~RQQ W, W, Q, S c W{W{Q{SQQ W, W, Q, T c (W{W|T)~QQQ W, W, Q, U c W~(Q{UW)QQ W, W, Q, V c (W{V)~Q|WQQ W, W, Q, W c W{W|Q{WQQ W, W, R, Q c W{W{R~QQQ W, W, R, R c W{W{R{RQQ W, W, R, S c W~(W{R)SQQ W, W, R, U c (W{R)~(W|U)QQ W, W, R, V c WW{R~VQQ W, W, R, X c W{W|R{XQQ W, W, S, Q c W{W{S{QQQ W, W, S, R c W~(W{R)SQQ W, W, S, U c W~WS{UQQ W, W, S, V c W{WS~VQQ W, W, T, P c W{W{T{PQQ W, W, T, Q c (W{W|T)~QQQ W, W, U, O c W{W{U{OQQ W, W, U, P c W{W{U~PQQ W, W, U, Q c W~(UW{Q)QQ W, W, U, R c (W|U)~(W{R)QQ W, W, U, S c W~WS{UQQ W, W, U, U c W~(W|U){UQQ W, W, U, V c W{(W|U)~VQQ W, W, V, P c W{W{V|PQQ W, W, V, Q c (W{V)~Q|WQQ W, W, V, R c WW{V~RQQ W, W, V, S c W{W~VSQQ W, W, V, U c W~W|V~UQQ W, W, W, Q c W{W{W|QQQ W, W, X, R c W{W{X|RQQ W, X, O, T c W{X{O{TQQ W, X, P, R c (X{P)~R|WQQ W, X, P, S c W{X{P{SQQ W, X, P, T c W{X{P~TQQ W, X, P, U c W{X|P{UQQ W, X, Q, Q c W{(X|Q)~QQQ W, X, Q, R c W{X{Q{RQQ W, X, Q, S c W{X~Q|SQQ W, X, Q, T c W~T|X~QQQ W, X, Q, U c (W{X|U)~QQQ W, X, Q, V c W{X|Q{VQQ W, X, Q, X c WQ{X{XQQ W, X, R, P c (X{P)~R|WQQ W, X, R, Q c W{X{R{QQQ W, X, R, R c X~R|W{RQQ W, X, R, T c (X|R)~T|WQQ W, X, R, U c (W~X|U)RQQ W, X, R, V c (W{R)~(X|V)QQ W, X, R, W c W{X|R{WQQ W, X, S, P c W{X{S{PQQ W, X, S, Q c (W{X~S)QQQ W, X, S, S c W~XS{SQQ W, X, S, T c W~(T|XS)QQ W, X, S, U c (W|U)~X{SQQ W, X, S, X c W{X|S{XQQ W, X, T, O c W{X{T{OQQ W, X, T, P c W{X{T~PQQ W, X, T, Q c W~T|X~QQQ W, X, T, R c (X|R)~T|WQQ W, X, T, S c W~(T|XS)QQ W, X, T, T c (W|T)~X|TQQ W, X, T, X c (W~T)|(X{X)QQ W, X, U, P c W{X{U|PQQ W, X, U, Q c (W{X|U)~QQQ W, X, U, R c (W~X|U)RQQ W, X, U, S c (W|U)~X{SQQ W, X, U, V c W~(X|V){UQQ W, X, V, Q c W{X{V|QQQ W, X, V, R c (W{R)~(X|V)QQ W, X, V, U c W~(X|V){UQQ W, X, V, V c W{(X|V)~VQQ W, X, W, R c W{X{W|RQQ W, X, X, Q c WQ{X{XQQ W, X, X, S c W{X{X|SQQ W, X, X, T c (W~T)|(X{X)QQ X, O, Q, Q c (X{O{Q)~QQQ X, O, Q, S c (X{O)~Q{SQQ X, O, R, T c (X{O)~R|TQQ X, O, S, Q c (X{O)~Q{SQQ X, O, S, X c X{O{S{XQQ X, O, T, R c (X{O)~R|TQQ X, O, T, W c X{O{T{WQQ X, O, U, V c X{O{U{VQQ X, O, V, U c X{O{V{UQQ X, O, W, T c X{O{W{TQQ X, O, X, S c X{O{X{SQQ X, P, P, Q c (X{P{P)~QQQ X, P, P, S c X~(P{P){SQQ X, P, Q, P c (X{P{P)~QQQ X, P, Q, Q c (X{P)~Q{QQQ X, P, Q, R c (X|P{R)~QQQ X, P, Q, S c X~P~Q{SQQ X, P, Q, T c X~(P{Q)|TQQ X, P, Q, U c X{P{Q~UQQ X, P, Q, V c X|P{Q~VQQ X, P, R, Q c (X|P{R)~QQQ X, P, R, S c X{P{R~SQQ X, P, R, T c X~P~R|TQQ X, P, R, U c X~R{P|UQQ X, P, R, V c XR~V{PQQ X, P, R, W c (X{P)~R|WQQ X, P, R, X c X{P{R{XQQ X, P, S, P c X~(P{P){SQQ X, P, S, Q c X~P~Q{SQQ X, P, S, R c X{P{S~RQQ X, P, S, T c X~(S|P)|TQQ X, P, S, W c X{P{S{WQQ X, P, S, X c X{P~S{XQQ X, P, T, Q c X~(P{Q)|TQQ X, P, T, R c X~P~R|TQQ X, P, T, S c X~(S|P)|TQQ X, P, T, U c P{T~U|XQQ X, P, T, V c X{P{T{VQQ X, P, T, W c X{P~T{WQQ X, P, T, X c X|P{T{XQQ X, P, U, Q c X{P{U~QQQ X, P, U, R c X~R{P|UQQ X, P, U, T c P{U~T|XQQ X, P, U, U c X{P{U{UQQ X, P, U, V c X{P~U{VQQ X, P, U, W c X|P{U{WQQ X, P, V, Q c X|P{V~QQQ X, P, V, R c X~VR{PQQ X, P, V, T c X{P{V{TQQ X, P, V, U c X{P~V{UQQ X, P, V, V c X|P{V{VQQ X, P, W, R c (X{P)~R|WQQ X, P, W, S c X{P{W{SQQ X, P, W, T c X{P~W{TQQ X, P, W, U c X|P{W{UQQ X, P, X, R c X{P{X{RQQ X, P, X, S c X{P~X{SQQ X, P, X, T c X|P{X{TQQ X, Q, O, Q c (X{Q{O)~QQQ X, Q, O, S c X~Q{O{SQQ X, Q, P, P c (X{Q)~(P{P)QQ X, Q, P, Q c (X{Q)~(P~Q)QQ X, Q, P, R c X~Q{P{RQQ X, Q, P, S c X~Q{P~SQQ X, Q, P, T c X~(Q{P)|TQQ X, Q, P, U c X{Q~U{PQQ X, Q, P, V c X{Q~V|PQQ X, Q, Q, O c (X{Q)~(Q{O)QQ X, Q, Q, P c (X{Q)~(Q~P)QQ X, Q, Q, Q c X~Q{Q{QQQ X, Q, Q, R c (X{R)~Q|QQQ X, Q, Q, S c (X{Q)Q~SQQ X, Q, Q, U c X~Q|Q{UQQ X, Q, Q, V c (X~Q|V)~QQQ X, Q, Q, W c (X|Q)~Q{WQQ X, Q, Q, X c X{Q{Q{XQQ X, Q, R, P c (X{Q)~(R|P)QQ X, Q, R, Q c (X{R)~Q|QQQ X, Q, R, R c (X~R)|(Q{R)QQ X, Q, R, S c (X|R)~S|QQQ X, Q, R, T c X|Q{R~TQQ X, Q, R, U c (X{Q)R~UQQ X, Q, R, V c X{Q~R{VQQ X, Q, R, W c X{Q{R{WQQ X, Q, S, O c X~Q{S{OQQ X, Q, S, P c X~Q{S~PQQ X, Q, S, Q c (X{Q)~(S|Q)QQ X, Q, S, R c (X|R)~S|QQQ X, Q, S, S c XQ~S{SQQ X, Q, S, T c X{Q~S{TQQ X, Q, S, U c (X|Q)~S|UQQ X, Q, S, V c X{Q{S{VQQ X, Q, S, W c (X{Q)S~WQQ X, Q, S, X c X~(Q{SX)QQ X, Q, T, P c X~Q{T|PQQ X, Q, T, R c X{Q~T{RQQ X, Q, T, S c X{Q~S{TQQ X, Q, T, T c X~(T|Q)|TQQ X, Q, T, U c X{Q{T{UQQ X, Q, T, V c (X{Q)~(V|T)QQ X, Q, T, W c T~W|X~QQQ X, Q, T, X c X~Q|T{XQQ X, Q, U, P c X{Q~U{PQQ X, Q, U, Q c X~Q{U|QQQ X, Q, U, R c (X{Q)~(UR)QQ X, Q, U, S c (X{Q)~(U|S)QQ X, Q, U, T c X{Q{U{TQQ X, Q, U, W c (X{Q)~(W|U)QQ X, Q, U, X c X|Q{U{XQQ X, Q, V, P c X{Q~V|PQQ X, Q, V, Q c (X~Q|V)~QQQ X, Q, V, R c X~Q{V|RQQ X, Q, V, S c X{Q{V{SQQ X, Q, V, T c (X{Q)~(V|T)QQ X, Q, V, W c X|Q{V{WQQ X, Q, V, X c (X{Q)~(X|V)QQ X, Q, W, Q c X~Q{WQQQ X, Q, W, R c X{Q{W{RQQ X, Q, W, S c (X{Q)~(WS)QQ X, Q, W, T c W~T|X~QQQ X, Q, W, U c (X{Q)~(W|U)QQ X, Q, W, V c X|Q{W{VQQ X, Q, W, X c X{WQ{XQQ X, Q, X, Q c X{Q{X{QQQ X, Q, X, S c X~(Q{SX)QQ X, Q, X, T c X{Q~X|TQQ X, Q, X, U c X|Q{X{UQQ X, Q, X, V c (X{Q)~(X|V)QQ X, Q, X, W c X{X{WQQQ X, R, O, T c X~R{O|TQQ X, R, P, Q c (X{R|P)~QQQ X, R, P, S c (X~R)|(P{S)QQ X, R, P, T c X~R|P~TQQ X, R, P, U c X~R{P|UQQ X, R, P, V c XR~V{PQQ X, R, P, W c (X{P)~R|WQQ X, R, P, X c X{R{P{XQQ X, R, Q, P c (X{R|P)~QQQ X, R, Q, Q c (X{R)~Q|QQQ X, R, Q, R c (X~R)|(Q{R)QQ X, R, Q, S c (X|R)~S|QQQ X, R, Q, T c X{R{Q~TQQ X, R, Q, U c (X{Q)R~UQQ X, R, Q, V c X{R~Q{VQQ X, R, Q, W c X{R{Q{WQQ X, R, R, Q c (X~R)|(R{Q)QQ X, R, R, S c X{R~R{SQQ X, R, R, T c (X|TR)~RQQ X, R, R, V c X{R{R{VQQ X, R, R, W c X~R{R|WQQ X, R, S, P c X{R~S{PQQ X, R, S, Q c (X|R)~S|QQQ X, R, S, R c X{R~R{SQQ X, R, S, S c X|R{S~SQQ X, R, S, T c (X|S)~T|RQQ X, R, S, U c X{R{S{UQQ X, R, S, V c (X|S)~R{VQQ X, R, S, X c X~R{S|XQQ X, R, T, O c X~R|T{OQQ X, R, T, P c X~R|T~PQQ X, R, T, Q c X{R{T~QQQ X, R, T, R c (X|TR)~RQQ X, R, T, S c X~(T|R){SQQ X, R, T, T c X{R{T{TQQ X, R, T, U c X{R~U|TQQ X, R, T, V c XR~T{VQQ X, R, T, W c (X|R)~T|WQQ X, R, T, X c X~(R|TX)QQ X, R, U, P c X~R|U{PQQ X, R, U, Q c (X{UR)~QQQ X, R, U, S c X{R{U{SQQ X, R, U, T c X{R~U|TQQ X, R, U, U c (R{UX)~UQQ X, R, U, W c (X~W|U)RQQ X, R, V, P c XR~V{PQQ X, R, V, Q c X~R|V{QQQ X, R, V, R c X{R{V{RQQ X, R, V, S c (X|S)~R{VQQ X, R, V, T c XR~T{VQQ X, R, V, V c V~V|X~RQQ X, R, V, W c X{R~V|WQQ X, R, V, X c X|R{V{XQQ X, R, W, P c (X{P)~R|WQQ X, R, W, Q c X{R{W{QQQ X, R, W, R c X~R|W{RQQ X, R, W, T c (X|R)~T|WQQ X, R, W, U c (X~W|U)RQQ X, R, W, V c X{R~V|WQQ X, R, W, W c X|R{W{WQQ X, R, X, P c X{R{X{PQQ X, R, X, S c X~R|X{SQQ X, R, X, T c XR~X|TQQ X, R, X, V c X|R{X{VQQ X, S, O, Q c (X{O)~Q{SQQ X, S, O, X c X{S{O{XQQ X, S, P, P c X~(P{P){SQQ X, S, P, Q c X~P~Q{SQQ X, S, P, R c X{S~R{PQQ X, S, P, T c X~(S|P)|TQQ X, S, P, W c X{S{P{WQQ X, S, P, X c X{S{P~XQQ X, S, Q, O c X~Q{S{OQQ X, S, Q, P c X~Q{S~PQQ X, S, Q, Q c (X{S|Q)~QQQ X, S, Q, R c (X|R)~S|QQQ X, S, Q, S c (X{S)~Q|SQQ X, S, Q, T c X{S~Q{TQQ X, S, Q, U c (X|S{U)~QQQ X, S, Q, V c X{S{Q{VQQ X, S, Q, W c (X~S{W)QQQ X, S, Q, X c X~(SX{Q)QQ X, S, R, P c X{S~R{PQQ X, S, R, Q c (X|R)~S|QQQ X, S, R, R c X{S{R~RQQ X, S, R, S c X{S~S|RQQ X, S, R, T c (X|S)~T|RQQ X, S, R, U c X{S{R{UQQ X, S, R, V c (X|S)~R{VQQ X, S, R, X c X~R{S|XQQ X, S, S, Q c (X|S)~S{QQQ X, S, S, R c X{S~S|RQQ X, S, S, T c X{S{S{TQQ X, S, S, U c X~(U|S){SQQ X, S, S, W c XS~W{SQQ X, S, T, P c X~(S|P)|TQQ X, S, T, Q c X{S~Q{TQQ X, S, T, R c (X|S)~T|RQQ X, S, T, S c X{S{T{SQQ X, S, T, U c (X|T)~S{UQQ X, S, T, V c X{S~T|VQQ X, S, T, W c (T|XS)~WQQ X, S, T, X c (X~S)|(T{X)QQ X, S, U, Q c (X|S{U)~QQQ X, S, U, R c X{S{U{RQQ X, S, U, S c X~(U|S){SQQ X, S, U, T c (X|T)~S{UQQ X, S, U, U c (X|U)~U{SQQ X, S, U, V c S~U|X{VQQ X, S, U, W c (X|S)~U|WQQ X, S, V, Q c X{S{V{QQQ X, S, V, R c (X|S)~R{VQQ X, S, V, T c X{S~T|VQQ X, S, V, U c S~(V|XU)QQ X, S, V, V c (X~S)|(V{V)QQ X, S, V, X c (X|V)~X{SQQ X, S, W, P c X{S{W{PQQ X, S, W, Q c (X~S{W)QQQ X, S, W, S c XS~W{SQQ X, S, W, T c W~(T|XS)QQ X, S, W, U c (X~S)|(W{U)QQ X, S, W, X c X|S{W{XQQ X, S, X, O c X{S{X{OQQ X, S, X, P c X{S{X~PQQ X, S, X, Q c X~(SX{Q)QQ X, S, X, R c X~R{S|XQQ X, S, X, T c (X~S)|(X{T)QQ X, S, X, V c (X~X{V)SQQ X, S, X, W c X|S{X{WQQ X, T, O, R c (X{O)~R|TQQ X, T, O, W c X{T{O{WQQ X, T, P, Q c (X~T|P)QQQ X, T, P, R c X~P~R|TQQ X, T, P, S c X~(S|P)|TQQ X, T, P, U c T~U|X{PQQ X, T, P, V c X{T{P{VQQ X, T, P, W c X{T{P~WQQ X, T, P, X c X{T|P{XQQ X, T, Q, P c (X~T|P)QQQ X, T, Q, R c X{T~Q{RQQ X, T, Q, S c X{T{Q~SQQ X, T, Q, T c X~(T|Q)|TQQ X, T, Q, U c X{T{Q{UQQ X, T, Q, V c (X{T~V)QQQ X, T, Q, W c T~W|X~QQQ X, T, Q, X c X|T{Q~XQQ X, T, R, O c X~R|T{OQQ X, T, R, P c X~R|T~PQQ X, T, R, Q c (X{T|R)~QQQ X, T, R, R c (X|TR)~RQQ X, T, R, S c X~(T|R){SQQ X, T, R, T c X{T{R{TQQ X, T, R, U c X|T{R~UQQ X, T, R, V c X~TR{VQQ X, T, R, W c (X|R)~T|WQQ X, T, R, X c X~(R|TX)QQ X, T, S, P c X~(S|P)|TQQ X, T, S, Q c X{T{S~QQQ X, T, S, R c X~(T|R){SQQ X, T, S, S c X{T{S{SQQ X, T, S, U c (X|T)~S{UQQ X, T, S, V c X{T~S|VQQ X, T, S, W c (T|XS)~WQQ X, T, S, X c (X~S)|(T{X)QQ X, T, T, Q c (X|T)~T{QQQ X, T, T, R c X{T{T{RQQ X, T, T, U c T~T|X{UQQ X, T, T, W c X~(W|T)|TQQ X, T, U, P c T~U|X{PQQ X, T, U, Q c X{T{U{QQQ X, T, U, R c X|T{U~RQQ X, T, U, S c (X|T)~S{UQQ X, T, U, T c T~T|X{UQQ X, T, U, U c (U~U)|(X{T)QQ X, T, U, V c (X|T)~V|UQQ X, T, U, X c (X|U)~X|TQQ X, T, V, P c X{T{V{PQQ X, T, V, Q c (X{T~V)QQQ X, T, V, R c X~TR{VQQ X, T, V, S c X{T~S|VQQ X, T, V, U c (X|T)~V|UQQ X, T, W, O c X{T{W{OQQ X, T, W, P c X{T{W~PQQ X, T, W, Q c T~W|X~QQQ X, T, W, R c (X|R)~T|WQQ X, T, W, S c (T|XS)~WQQ X, T, W, T c X~(W|T)|TQQ X, T, W, X c (T~W)|(X{X)QQ X, T, X, P c X{T{X|PQQ X, T, X, Q c X|T{X~QQQ X, T, X, R c X~XR|TQQ X, T, X, S c (X~S)|(T{X)QQ X, T, X, U c X~(X|U)|TQQ X, T, X, W c (T~W)|(X{X)QQ X, T, X, X c X|T{X{XQQ X, U, O, V c X{U{O{VQQ X, U, P, Q c X{U~Q{PQQ X, U, P, R c X~R|U{PQQ X, U, P, T c U~T|X{PQQ X, U, P, U c X{U{P{UQQ X, U, P, V c X{U{P~VQQ X, U, P, W c X{U|P{WQQ X, U, Q, P c X{U~Q{PQQ X, U, Q, Q c X~Q{U|QQQ X, U, Q, R c (X{UR)~QQQ X, U, Q, S c (X{U|S)~QQQ X, U, Q, T c X{U{Q{TQQ X, U, Q, W c (X{U)~Q|WQQ X, U, Q, X c X{U|Q{XQQ X, U, R, P c X~R|U{PQQ X, U, R, Q c (X{UR)~QQQ X, U, R, S c X{U{R{SQQ X, U, R, T c X{U~R|TQQ X, U, R, U c (UX{R)~UQQ X, U, R, W c (X~W|U)RQQ X, U, S, Q c (X{U|S)~QQQ X, U, S, R c X{U{S{RQQ X, U, S, S c X~(U|S){SQQ X, U, S, T c (X|T)~S{UQQ X, U, S, U c (X|U)~U{SQQ X, U, S, V c U~S|X{VQQ X, U, S, W c X~U|S~WQQ X, U, T, P c U~T|X{PQQ X, U, T, Q c X{U{T{QQQ X, U, T, R c X{U~R|TQQ X, U, T, S c (X|T)~S{UQQ X, U, T, T c U{T~T|XQQ X, U, T, U c (U~U)|(X{T)QQ X, U, T, V c (X|U)~T{VQQ X, U, T, X c (X|U)~X|TQQ X, U, U, P c X{U{U{PQQ X, U, U, R c (UX{R)~UQQ X, U, U, S c (X|U)~U{SQQ X, U, U, T c (U~U)|(X{T)QQ X, U, V, O c X{U{V{OQQ X, U, V, P c X{U{V~PQQ X, U, V, S c U~S|X{VQQ X, U, V, T c (X|U)~T{VQQ X, U, V, W c (X|V)~W{UQQ X, U, W, P c X{U{W|PQQ X, U, W, Q c (X|U{W)~QQQ X, U, W, R c (X~W|U)RQQ X, U, W, S c X~U|W~SQQ X, U, W, V c (X|V)~W{UQQ X, U, X, Q c X{U{X|QQQ X, U, X, T c (X|U)~X|TQQ X, V, O, U c X{V{O{UQQ X, V, P, Q c X{V~Q|PQQ X, V, P, R c X~VR{PQQ X, V, P, T c X{V{P{TQQ X, V, P, U c X{V{P~UQQ X, V, P, V c X{V|P{VQQ X, V, Q, P c X{V~Q|PQQ X, V, Q, Q c (X~Q|V)~QQQ X, V, Q, R c X{V{Q~RQQ X, V, Q, S c X{V{Q{SQQ X, V, Q, T c (X{V|T)~QQQ X, V, Q, W c X{V|Q{WQQ X, V, Q, X c (X|V)~(Q{X)QQ X, V, R, P c X~VR{PQQ X, V, R, Q c X{V{R~QQQ X, V, R, R c X{V{R{RQQ X, V, R, S c (X|S)~R{VQQ X, V, R, T c XR~T{VQQ X, V, R, V c V~V|X~RQQ X, V, R, W c X{V~R|WQQ X, V, R, X c X{V|R{XQQ X, V, S, Q c X{V{S{QQQ X, V, S, R c (X|S)~R{VQQ X, V, S, T c X|V{S~TQQ X, V, S, U c (V|XU)~SQQ X, V, S, V c (X|V)~(S{V)QQ X, V, S, X c (X|V)~X{SQQ X, V, T, P c X{V{T{PQQ X, V, T, Q c (X{V|T)~QQQ X, V, T, R c X~TR{VQQ X, V, T, S c X|V{T~SQQ X, V, T, U c (X|V)~(T{U)QQ X, V, U, O c X{V{U{OQQ X, V, U, P c X{V{U~PQQ X, V, U, S c (V|XU)~SQQ X, V, U, T c (X|V)~(U{T)QQ X, V, U, W c (X|V)~W{UQQ X, V, V, P c X{V{V|PQQ X, V, V, R c V~V|X~RQQ X, V, V, S c (X|V)~(V{S)QQ X, V, V, W c (X|V)~V{WQQ X, V, W, Q c X{V{W|QQQ X, V, W, R c (X|V)~(W{R)QQ X, V, W, U c (X|V)~W{UQQ X, V, W, V c (X|V)~V{WQQ X, V, X, Q c (X|V{X)~QQQ X, V, X, R c X{V{X|RQQ X, V, X, S c (X|V)~X{SQQ X, W, O, T c X{W{O{TQQ X, W, P, R c (X{P)~R|WQQ X, W, P, S c X{W{P{SQQ X, W, P, T c X{W{P~TQQ X, W, P, U c X{W|P{UQQ X, W, Q, Q c X~Q{WQQQ X, W, Q, R c X{W{Q{RQQ X, W, Q, S c (X{WS)~QQQ X, W, Q, T c W~T|X~QQQ X, W, Q, U c (X{W|U)~QQQ X, W, Q, V c X{W|Q{VQQ X, W, Q, X c X{WQ{XQQ X, W, R, P c (X{P)~R|WQQ X, W, R, Q c X{W{R{QQQ X, W, R, R c X~R|W{RQQ X, W, R, T c (X|R)~T|WQQ X, W, R, U c (X~W|U)RQQ X, W, R, V c X|W{R~VQQ X, W, R, W c X{W|R{WQQ X, W, S, P c X{W{S{PQQ X, W, S, Q c (X{WS)~QQQ X, W, S, S c X~WS{SQQ X, W, S, T c W~(T|XS)QQ X, W, S, U c X~(W|U){SQQ X, W, S, X c X{W|S{XQQ X, W, T, O c X{W{T{OQQ X, W, T, P c X{W{T~PQQ X, W, T, Q c W~T|X~QQQ X, W, T, R c (X|R)~T|WQQ X, W, T, S c W~(T|XS)QQ X, W, T, T c X~(W|T)|TQQ X, W, T, X c (W~T)|(X{X)QQ X, W, U, P c X{W{U|PQQ X, W, U, Q c (X{W|U)~QQQ X, W, U, R c (X~W|U)RQQ X, W, U, S c X~(W|U){SQQ X, W, U, V c (X|V)~W{UQQ X, W, V, Q c X{W{V|QQQ X, W, V, R c X|W{V~RQQ X, W, V, U c (X|V)~W{UQQ X, W, V, V c (X|V)~V{WQQ X, W, W, R c X{W{W|RQQ X, W, X, Q c X{WQ{XQQ X, W, X, S c X{W{X|SQQ X, W, X, T c (W~T)|(X{X)QQ X, X, O, S c X{X{O{SQQ X, X, P, R c X{X{P{RQQ X, X, P, S c X{X{P~SQQ X, X, P, T c X{X|P{TQQ X, X, Q, Q c X{X{Q{QQQ X, X, Q, S c X~(Q{SX)QQ X, X, Q, T c X{X~Q|TQQ X, X, Q, U c X{X|Q{UQQ X, X, Q, V c (X{X|V)~QQQ X, X, Q, W c X{X{WQQQ X, X, R, P c X{X{R{PQQ X, X, R, S c X~R|X{SQQ X, X, R, T c X~XR|TQQ X, X, R, V c X{X|R{VQQ X, X, S, O c X{X{S{OQQ X, X, S, P c X{X{S~PQQ X, X, S, Q c X~(SX{Q)QQ X, X, S, R c X~R|X{SQQ X, X, S, T c (X~S)|(X{T)QQ X, X, S, V c (X~X{V)SQQ X, X, S, W c X{X|S{WQQ X, X, T, P c X{X{T|PQQ X, X, T, Q c X{X~Q|TQQ X, X, T, R c X~XR|TQQ X, X, T, S c (X~S)|(X{T)QQ X, X, T, U c X~(X|U)|TQQ X, X, T, W c (T~W)|(X{X)QQ X, X, T, X c X{X|T{XQQ X, X, U, Q c X{X{U|QQQ X, X, U, T c X~(X|U)|TQQ X, X, V, Q c (X{X|V)~QQQ X, X, V, R c X{X{V|RQQ X, X, V, S c (X~X{V)SQQ X, X, W, Q c X{X{WQQQ X, X, W, S c X{X{W|SQQ X, X, W, T c (W~T)|(X{X)QQ X, X, X, T c X{X{X|TQQ