x	M⁰(R¹(C⁰(S¹, Z⁰), R²(S¹, P³(3))))
x	M⁰(R¹(C⁰(S¹, Z⁰), C²(S¹, Z²)))
x	M⁰(R¹(C⁰(S¹, Z⁰), C²(S¹, P²(1))))
x	M⁰(R¹(C⁰(S¹, Z⁰), C²(S¹, P²(2))))
x	M⁰(R¹(C⁰(S¹, C⁰(S¹, Z⁰)), P²(2)))
x	M⁰(M¹(M²(R³(R²(S¹, Z³), Z⁴))))
x	M⁰(M¹(M²(R³(R²(S¹, Z³), P⁴(1)))))
x	M⁰(M¹(M²(R³(R²(S¹, Z³), P⁴(2)))))
x	M⁰(M¹(M²(R³(R²(S¹, Z³), P⁴(3)))))
x	M⁰(M¹(M²(R³(R²(S¹, Z³), P⁴(4)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(1)), Z⁴))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(1)), P⁴(1)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(1)), P⁴(2)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(1)), P⁴(3)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(1)), P⁴(4)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(3)), Z⁴))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(3)), P⁴(1)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(3)), P⁴(2)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(3)), P⁴(3)))))
x	M⁰(M¹(M²(R³(R²(S¹, P³(3)), P⁴(4)))))
x	M⁰(M¹(C²(R²(S¹, Z³), Z², Z²)))
x	M⁰(M¹(C²(R²(S¹, Z³), Z², P²(1))))
x	M⁰(M¹(C²(R²(S¹, Z³), Z², P²(2))))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(1), Z²)))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(1), P²(1))))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(1), P²(2))))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(2), Z²)))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(2), P²(1))))
x	M⁰(M¹(C²(R²(S¹, Z³), P²(2), P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), Z², Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(1)), Z², P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), Z², P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(1), Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(1), P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(1), P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(2), Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(2), P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(1)), P²(2), P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), Z², Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(3)), Z², P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), Z², P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(1), Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(1), P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(1), P²(2))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(2), Z²)))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(2), P²(1))))
x	M⁰(M¹(C²(R²(S¹, P³(3)), P²(2), P²(2))))
x	M⁰(C¹(R¹(Z⁰, P²(1)), C¹(S¹, S¹)))
x	M⁰(C¹(R¹(C⁰(S¹, Z⁰), Z²), Z¹))
x	M⁰(C¹(R¹(C⁰(S¹, Z⁰), P²(1)), Z¹))
x	M⁰(C¹(M²(R³(P²(1), Z⁴)), S¹, Z¹))
x	M⁰(C¹(M²(R³(P²(1), Z⁴)), S¹, S¹))
x	M⁰(C¹(M²(R³(P²(1), Z⁴)), S¹, P¹(1)))
x	M⁰(C¹(M²(R³(P²(2), Z⁴)), Z¹, S¹))
x	M⁰(C¹(M²(R³(P²(2), Z⁴)), S¹, S¹))
x	M⁰(C¹(M²(R³(P²(2), Z⁴)), P¹(1), S¹))
x	M⁰(C¹(R³(Z², P⁴(3)), S¹, S¹, Z¹))
x	M⁰(C¹(R³(Z², P⁴(3)), S¹, S¹, S¹))
x	M⁰(C¹(R³(Z², P⁴(3)), S¹, S¹, P¹(1)))
x	M⁰(C¹(R³(Z², P⁴(4)), S¹, Z¹, S¹))
x	M⁰(C¹(R³(Z², P⁴(4)), S¹, S¹, S¹))
x	M⁰(C¹(R³(Z², P⁴(4)), S¹, P¹(1), S¹))
x	M⁰(C¹(R³(P²(1), Z⁴), Z¹, S¹, Z¹))
x	M⁰(C¹(R³(P²(1), Z⁴), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(1), Z⁴), Z¹, S¹, P¹(1)))
x	M⁰(C¹(R³(P²(1), P⁴(1)), Z¹, S¹, Z¹))
x	M⁰(C¹(R³(P²(1), P⁴(1)), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(1), P⁴(1)), Z¹, S¹, P¹(1)))
x	M⁰(C¹(R³(P²(1), P⁴(4)), Z¹, S¹, Z¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), Z¹, S¹, P¹(1)))
x	M⁰(C¹(R³(P²(1), P⁴(4)), S¹, Z¹, S¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), S¹, S¹, S¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), S¹, P¹(1), S¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), P¹(1), S¹, S¹))
x	M⁰(C¹(R³(P²(1), P⁴(4)), P¹(1), S¹, P¹(1)))
x	M⁰(C¹(R³(P²(2), Z⁴), Z¹, Z¹, S¹))
x	M⁰(C¹(R³(P²(2), Z⁴), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(2), Z⁴), Z¹, P¹(1), S¹))
x	M⁰(C¹(R³(P²(2), P⁴(1)), Z¹, Z¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(1)), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(1)), Z¹, P¹(1), S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), Z¹, Z¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), Z¹, S¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), Z¹, P¹(1), S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), S¹, S¹, Z¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), S¹, S¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), S¹, S¹, P¹(1)))
x	M⁰(C¹(R³(P²(2), P⁴(3)), P¹(1), S¹, S¹))
x	M⁰(C¹(R³(P²(2), P⁴(3)), P¹(1), P¹(1), S¹))
x	C⁰(M¹(R²(S¹, C³(S¹, Z³))), Z⁰)
x	C⁰(M¹(R²(S¹, C³(S¹, P³(1)))), Z⁰)
x	C⁰(M¹(R²(S¹, C³(S¹, P³(2)))), Z⁰)
x	C⁰(M¹(R²(S¹, C³(S¹, P³(3)))), Z⁰)
x	C⁰(M¹(R²(C¹(S¹, Z¹), P³(2))), Z⁰)
x	C⁰(M¹(R²(C¹(S¹, S¹), P³(2))), Z⁰)