0	M⁰(R¹(Z⁰, R²(Z¹, Z³)))
0	M⁰(R¹(Z⁰, R²(Z¹, P³(1))))
0	M⁰(R¹(Z⁰, R²(Z¹, P³(2))))
0	M⁰(R¹(Z⁰, R²(Z¹, P³(3))))
0	M⁰(R¹(Z⁰, R²(S¹, Z³)))
0	M⁰(R¹(Z⁰, R²(S¹, P³(1))))
0	M⁰(R¹(Z⁰, R²(S¹, P³(2))))
0	M⁰(R¹(Z⁰, R²(S¹, P³(3))))
0	M⁰(R¹(Z⁰, R²(P¹(1), Z³)))
0	M⁰(R¹(Z⁰, R²(P¹(1), P³(1))))
0	M⁰(R¹(Z⁰, R²(P¹(1), P³(2))))
0	M⁰(R¹(Z⁰, R²(P¹(1), P³(3))))
0	M⁰(R¹(Z⁰, M²(M³(Z⁴))))
0	M⁰(R¹(Z⁰, M²(M³(P⁴(1)))))
0	M⁰(R¹(Z⁰, M²(M³(P⁴(2)))))
0	M⁰(R¹(Z⁰, M²(M³(P⁴(3)))))
0	M⁰(R¹(Z⁰, M²(M³(P⁴(4)))))
0	M⁰(R¹(Z⁰, M²(C³(Z⁰))))
0	M⁰(R¹(Z⁰, C²(M⁰(Z¹))))
0	M⁰(R¹(Z⁰, C²(M⁰(S¹))))
0	M⁰(R¹(Z⁰, C²(M⁰(P¹(1)))))
0	M⁰(R¹(Z⁰, C²(C⁰(Z⁰))))
0	M⁰(R¹(Z⁰, C²(Z¹, Z²)))
0	M⁰(R¹(Z⁰, C²(Z¹, P²(1))))
0	M⁰(R¹(Z⁰, C²(Z¹, P²(2))))
0	M⁰(R¹(Z⁰, C²(S¹, Z²)))
0	M⁰(R¹(Z⁰, C²(S¹, P²(1))))
0	M⁰(R¹(Z⁰, C²(S¹, P²(2))))
0	M⁰(R¹(Z⁰, C²(P¹(1), Z²)))
0	M⁰(R¹(Z⁰, C²(P¹(1), P²(1))))
0	M⁰(R¹(Z⁰, C²(P¹(1), P²(2))))
0	M⁰(R¹(M⁰(Z¹), M²(Z³)))
0	M⁰(R¹(M⁰(Z¹), M²(P³(1))))
0	M⁰(R¹(M⁰(Z¹), M²(P³(2))))
0	M⁰(R¹(M⁰(Z¹), M²(P³(3))))
0	M⁰(R¹(M⁰(Z¹), C²(Z⁰)))
M(S)	M⁰(R¹(M⁰(S¹), M²(Z³)))
M(S)	M⁰(R¹(M⁰(S¹), M²(P³(1))))
M(S)	M⁰(R¹(M⁰(S¹), M²(P³(2))))
M(S)	M⁰(R¹(M⁰(S¹), M²(P³(3))))
M(S)	M⁰(R¹(M⁰(S¹), C²(Z⁰)))
0	M⁰(R¹(M⁰(P¹(1)), M²(Z³)))
0	M⁰(R¹(M⁰(P¹(1)), M²(P³(1))))
0	M⁰(R¹(M⁰(P¹(1)), M²(P³(2))))
0	M⁰(R¹(M⁰(P¹(1)), M²(P³(3))))
0	M⁰(R¹(M⁰(P¹(1)), C²(Z⁰)))
0	M⁰(R¹(C⁰(Z⁰), M²(Z³)))
0	M⁰(R¹(C⁰(Z⁰), M²(P³(1))))
0	M⁰(R¹(C⁰(Z⁰), M²(P³(2))))
0	M⁰(R¹(C⁰(Z⁰), M²(P³(3))))
0	M⁰(R¹(C⁰(Z⁰), C²(Z⁰)))
0	M⁰(R¹(M⁰(M¹(Z²)), Z²))
0	M⁰(R¹(M⁰(M¹(Z²)), P²(1)))
0	M⁰(R¹(M⁰(M¹(Z²)), P²(2)))
0	M⁰(R¹(M⁰(M¹(P²(1))), Z²))
0	M⁰(R¹(M⁰(M¹(P²(1))), P²(1)))
0	M⁰(R¹(M⁰(M¹(P²(1))), P²(2)))
0	M⁰(R¹(M⁰(M¹(P²(2))), Z²))
0	M⁰(R¹(M⁰(M¹(P²(2))), P²(1)))
0	M⁰(R¹(M⁰(M¹(P²(2))), P²(2)))
0	M⁰(R¹(M⁰(C¹(Z⁰)), Z²))
0	M⁰(R¹(M⁰(C¹(Z⁰)), P²(1)))
0	M⁰(R¹(M⁰(C¹(Z⁰)), P²(2)))
0	M⁰(R¹(C⁰(M⁰(Z¹)), Z²))
0	M⁰(R¹(C⁰(M⁰(Z¹)), P²(1)))
0	M⁰(R¹(C⁰(M⁰(Z¹)), P²(2)))
M(S)	M⁰(R¹(C⁰(M⁰(S¹)), Z²))
M(S)	M⁰(R¹(C⁰(M⁰(S¹)), P²(1)))
M(S)	M⁰(R¹(C⁰(M⁰(S¹)), P²(2)))
0	M⁰(R¹(C⁰(M⁰(P¹(1))), Z²))
0	M⁰(R¹(C⁰(M⁰(P¹(1))), P²(1)))
0	M⁰(R¹(C⁰(M⁰(P¹(1))), P²(2)))
0	M⁰(R¹(C⁰(C⁰(Z⁰)), Z²))
0	M⁰(R¹(C⁰(C⁰(Z⁰)), P²(1)))
0	M⁰(R¹(C⁰(C⁰(Z⁰)), P²(2)))
0	M⁰(R¹(C⁰(Z¹, Z⁰), Z²))
0	M⁰(R¹(C⁰(Z¹, Z⁰), P²(1)))
0	M⁰(R¹(C⁰(Z¹, Z⁰), P²(2)))
1	M⁰(R¹(C⁰(S¹, Z⁰), Z²))
1	M⁰(R¹(C⁰(S¹, Z⁰), P²(1)))
x	M⁰(R¹(C⁰(S¹, Z⁰), P²(2)))
0	M⁰(R¹(C⁰(P¹(1), Z⁰), Z²))
0	M⁰(R¹(C⁰(P¹(1), Z⁰), P²(1)))
0	M⁰(R¹(C⁰(P¹(1), Z⁰), P²(2)))
0	M⁰(M¹(R²(Z¹, M³(Z⁴))))
0	M⁰(M¹(R²(Z¹, M³(P⁴(1)))))
0	M⁰(M¹(R²(Z¹, M³(P⁴(2)))))
0	M⁰(M¹(R²(Z¹, M³(P⁴(3)))))
0	M⁰(M¹(R²(Z¹, M³(P⁴(4)))))
0	M⁰(M¹(R²(Z¹, C³(Z⁰))))
x	M⁰(M¹(R²(S¹, M³(Z⁴))))
x	M⁰(M¹(R²(S¹, M³(P⁴(1)))))
x	M⁰(M¹(R²(S¹, M³(P⁴(2)))))
x	M⁰(M¹(R²(S¹, M³(P⁴(3)))))
x	M⁰(M¹(R²(S¹, M³(P⁴(4)))))
x	M⁰(M¹(R²(S¹, C³(Z⁰))))
0	M⁰(M¹(R²(P¹(1), M³(Z⁴))))
0	M⁰(M¹(R²(P¹(1), M³(P⁴(1)))))
0	M⁰(M¹(R²(P¹(1), M³(P⁴(2)))))
0	M⁰(M¹(R²(P¹(1), M³(P⁴(3)))))
0	M⁰(M¹(R²(P¹(1), M³(P⁴(4)))))
0	M⁰(M¹(R²(P¹(1), C³(Z⁰))))
0	M⁰(M¹(R²(M¹(Z²), Z³)))
0	M⁰(M¹(R²(M¹(Z²), P³(1))))
0	M⁰(M¹(R²(M¹(Z²), P³(2))))
0	M⁰(M¹(R²(M¹(Z²), P³(3))))
0	M⁰(M¹(R²(M¹(P²(1)), Z³)))
0	M⁰(M¹(R²(M¹(P²(1)), P³(1))))
0	M⁰(M¹(R²(M¹(P²(1)), P³(2))))
0	M⁰(M¹(R²(M¹(P²(1)), P³(3))))
0	M⁰(M¹(R²(M¹(P²(2)), Z³)))
0	M⁰(M¹(R²(M¹(P²(2)), P³(1))))
0	M⁰(M¹(R²(M¹(P²(2)), P³(2))))
0	M⁰(M¹(R²(M¹(P²(2)), P³(3))))
0	M⁰(M¹(R²(C¹(Z⁰), Z³)))
0	M⁰(M¹(R²(C¹(Z⁰), P³(1))))
0	M⁰(M¹(R²(C¹(Z⁰), P³(2))))
0	M⁰(M¹(R²(C¹(Z⁰), P³(3))))
0	M⁰(M¹(M²(R³(Z², Z⁴))))
0	M⁰(M¹(M²(R³(Z², P⁴(1)))))
0	M⁰(M¹(M²(R³(Z², P⁴(2)))))
0	M⁰(M¹(M²(R³(Z², P⁴(3)))))
0	M⁰(M¹(M²(R³(Z², P⁴(4)))))
0	M⁰(M¹(M²(R³(P²(1), Z⁴))))
0	M⁰(M¹(M²(R³(P²(1), P⁴(1)))))
0	M⁰(M¹(M²(R³(P²(1), P⁴(2)))))
0	M⁰(M¹(M²(R³(P²(1), P⁴(3)))))
0	M⁰(M¹(M²(R³(P²(1), P⁴(4)))))
0	M⁰(M¹(M²(R³(P²(2), Z⁴))))
0	M⁰(M¹(M²(R³(P²(2), P⁴(1)))))
0	M⁰(M¹(M²(R³(P²(2), P⁴(2)))))
0	M⁰(M¹(M²(R³(P²(2), P⁴(3)))))
0	M⁰(M¹(M²(R³(P²(2), P⁴(4)))))
0	M⁰(M¹(M²(M³(M⁴(Z⁵)))))
0	M⁰(M¹(M²(M³(M⁴(P⁵(1))))))
0	M⁰(M¹(M²(M³(M⁴(P⁵(2))))))
0	M⁰(M¹(M²(M³(M⁴(P⁵(3))))))
0	M⁰(M¹(M²(M³(M⁴(P⁵(4))))))
0	M⁰(M¹(M²(M³(M⁴(P⁵(5))))))
0	M⁰(M¹(M²(M³(C⁴(Z⁰)))))
0	M⁰(M¹(M²(C³(M⁰(Z¹)))))
M(S)	M⁰(M¹(M²(C³(M⁰(S¹)))))
0	M⁰(M¹(M²(C³(M⁰(P¹(1))))))
0	M⁰(M¹(M²(C³(C⁰(Z⁰)))))
0	M⁰(M¹(M²(C³(Z¹, Z³))))
0	M⁰(M¹(M²(C³(Z¹, P³(1)))))
0	M⁰(M¹(M²(C³(Z¹, P³(2)))))
0	M⁰(M¹(M²(C³(Z¹, P³(3)))))
M(S∘_)	M⁰(M¹(M²(C³(S¹, Z³))))
M(S∘_)	M⁰(M¹(M²(C³(S¹, P³(1)))))
M(S∘_)	M⁰(M¹(M²(C³(S¹, P³(2)))))
M(S∘_)	M⁰(M¹(M²(C³(S¹, P³(3)))))
0	M⁰(M¹(M²(C³(P¹(1), Z³))))
0	M⁰(M¹(M²(C³(P¹(1), P³(1)))))
0	M⁰(M¹(M²(C³(P¹(1), P³(2)))))
0	M⁰(M¹(M²(C³(P¹(1), P³(3)))))
0	M⁰(M¹(C²(M⁰(M¹(Z²)))))
0	M⁰(M¹(C²(M⁰(M¹(P²(1))))))
0	M⁰(M¹(C²(M⁰(M¹(P²(2))))))
0	M⁰(M¹(C²(M⁰(C¹(Z⁰)))))
0	M⁰(M¹(C²(C⁰(M⁰(Z¹)))))
M(S)	M⁰(M¹(C²(C⁰(M⁰(S¹)))))
0	M⁰(M¹(C²(C⁰(M⁰(P¹(1))))))
0	M⁰(M¹(C²(C⁰(C⁰(Z⁰)))))
0	M⁰(M¹(C²(C⁰(Z¹, Z⁰))))
x	M⁰(M¹(C²(C⁰(S¹, Z⁰))))
0	M⁰(M¹(C²(C⁰(P¹(1), Z⁰))))
0	M⁰(M¹(C²(Z¹, M²(Z³))))
0	M⁰(M¹(C²(Z¹, M²(P³(1)))))
0	M⁰(M¹(C²(Z¹, M²(P³(2)))))
0	M⁰(M¹(C²(Z¹, M²(P³(3)))))
0	M⁰(M¹(C²(Z¹, C²(Z⁰))))
M(S∘_)	M⁰(M¹(C²(S¹, M²(Z³))))
M(S∘_)	M⁰(M¹(C²(S¹, M²(P³(1)))))
M(S∘_)	M⁰(M¹(C²(S¹, M²(P³(2)))))
M(S∘_)	M⁰(M¹(C²(S¹, M²(P³(3)))))
M(S∘_)	M⁰(M¹(C²(S¹, C²(Z⁰))))
0	M⁰(M¹(C²(P¹(1), M²(Z³))))
0	M⁰(M¹(C²(P¹(1), M²(P³(1)))))
0	M⁰(M¹(C²(P¹(1), M²(P³(2)))))
0	M⁰(M¹(C²(P¹(1), M²(P³(3)))))
0	M⁰(M¹(C²(P¹(1), C²(Z⁰))))
0	M⁰(M¹(C²(M¹(Z²), Z²)))
0	M⁰(M¹(C²(M¹(Z²), P²(1))))
0	M⁰(M¹(C²(M¹(Z²), P²(2))))
0	M⁰(M¹(C²(M¹(P²(1)), Z²)))
0	M⁰(M¹(C²(M¹(P²(1)), P²(1))))
0	M⁰(M¹(C²(M¹(P²(1)), P²(2))))
0	M⁰(M¹(C²(M¹(P²(2)), Z²)))
0	M⁰(M¹(C²(M¹(P²(2)), P²(1))))
0	M⁰(M¹(C²(M¹(P²(2)), P²(2))))
0	M⁰(M¹(C²(C¹(Z⁰), Z²)))
0	M⁰(M¹(C²(C¹(Z⁰), P²(1))))
0	M⁰(M¹(C²(C¹(Z⁰), P²(2))))
0	M⁰(M¹(C²(Z², Z², Z²)))
0	M⁰(M¹(C²(Z², Z², P²(1))))
0	M⁰(M¹(C²(Z², Z², P²(2))))
0	M⁰(M¹(C²(Z², P²(1), Z²)))
0	M⁰(M¹(C²(Z², P²(1), P²(1))))
0	M⁰(M¹(C²(Z², P²(1), P²(2))))
0	M⁰(M¹(C²(Z², P²(2), Z²)))
0	M⁰(M¹(C²(Z², P²(2), P²(1))))
0	M⁰(M¹(C²(Z², P²(2), P²(2))))
0	M⁰(M¹(C²(P²(1), Z², Z²)))
0	M⁰(M¹(C²(P²(1), Z², P²(1))))
0	M⁰(M¹(C²(P²(1), Z², P²(2))))
0	M⁰(M¹(C²(P²(1), P²(1), Z²)))
0	M⁰(M¹(C²(P²(1), P²(1), P²(1))))
0	M⁰(M¹(C²(P²(1), P²(1), P²(2))))
0	M⁰(M¹(C²(P²(1), P²(2), Z²)))
0	M⁰(M¹(C²(P²(1), P²(2), P²(1))))
0	M⁰(M¹(C²(P²(1), P²(2), P²(2))))
0	M⁰(M¹(C²(P²(2), Z², Z²)))
0	M⁰(M¹(C²(P²(2), Z², P²(1))))
0	M⁰(M¹(C²(P²(2), Z², P²(2))))
0	M⁰(M¹(C²(P²(2), P²(1), Z²)))
0	M⁰(M¹(C²(P²(2), P²(1), P²(1))))
0	M⁰(M¹(C²(P²(2), P²(1), P²(2))))
0	M⁰(M¹(C²(P²(2), P²(2), Z²)))
0	M⁰(M¹(C²(P²(2), P²(2), P²(1))))
0	M⁰(M¹(C²(P²(2), P²(2), P²(2))))
0	M⁰(C¹(M⁰(R¹(Z⁰, Z²))))
0	M⁰(C¹(M⁰(R¹(Z⁰, P²(1)))))
0	M⁰(C¹(M⁰(R¹(Z⁰, P²(2)))))
0	M⁰(C¹(M⁰(M¹(M²(Z³)))))
0	M⁰(C¹(M⁰(M¹(M²(P³(1))))))
0	M⁰(C¹(M⁰(M¹(M²(P³(2))))))
0	M⁰(C¹(M⁰(M¹(M²(P³(3))))))
0	M⁰(C¹(M⁰(M¹(C²(Z⁰)))))
0	M⁰(C¹(M⁰(C¹(M⁰(Z¹)))))
M(S)	M⁰(C¹(M⁰(C¹(M⁰(S¹)))))
0	M⁰(C¹(M⁰(C¹(M⁰(P¹(1))))))
0	M⁰(C¹(M⁰(C¹(C⁰(Z⁰)))))
0	M⁰(C¹(M⁰(C¹(Z¹, Z¹))))
0	M⁰(C¹(M⁰(C¹(Z¹, S¹))))
0	M⁰(C¹(M⁰(C¹(Z¹, P¹(1)))))
M(S∘_)	M⁰(C¹(M⁰(C¹(S¹, Z¹))))
M(S∘_)	M⁰(C¹(M⁰(C¹(S¹, S¹))))
M(S∘_)	M⁰(C¹(M⁰(C¹(S¹, P¹(1)))))
0	M⁰(C¹(M⁰(C¹(P¹(1), Z¹))))
x	M⁰(C¹(M⁰(C¹(P¹(1), S¹))))
0	M⁰(C¹(M⁰(C¹(P¹(1), P¹(1)))))
0	M⁰(C¹(C⁰(M⁰(M¹(Z²)))))
0	M⁰(C¹(C⁰(M⁰(M¹(P²(1))))))
0	M⁰(C¹(C⁰(M⁰(M¹(P²(2))))))
0	M⁰(C¹(C⁰(M⁰(C¹(Z⁰)))))
0	M⁰(C¹(C⁰(C⁰(M⁰(Z¹)))))
M(S)	M⁰(C¹(C⁰(C⁰(M⁰(S¹)))))
0	M⁰(C¹(C⁰(C⁰(M⁰(P¹(1))))))
0	M⁰(C¹(C⁰(C⁰(C⁰(Z⁰)))))
0	M⁰(C¹(C⁰(C⁰(Z¹, Z⁰))))
x	M⁰(C¹(C⁰(C⁰(S¹, Z⁰))))
0	M⁰(C¹(C⁰(C⁰(P¹(1), Z⁰))))
0	M⁰(C¹(C⁰(Z¹, M⁰(Z¹))))
0	M⁰(C¹(C⁰(Z¹, M⁰(S¹))))
0	M⁰(C¹(C⁰(Z¹, M⁰(P¹(1)))))
0	M⁰(C¹(C⁰(Z¹, C⁰(Z⁰))))
x	M⁰(C¹(C⁰(S¹, M⁰(Z¹))))
M(S)	M⁰(C¹(C⁰(S¹, M⁰(S¹))))
x	M⁰(C¹(C⁰(S¹, M⁰(P¹(1)))))
x	M⁰(C¹(C⁰(S¹, C⁰(Z⁰))))
0	M⁰(C¹(C⁰(P¹(1), M⁰(Z¹))))
M(S)	M⁰(C¹(C⁰(P¹(1), M⁰(S¹))))
0	M⁰(C¹(C⁰(P¹(1), M⁰(P¹(1)))))
0	M⁰(C¹(C⁰(P¹(1), C⁰(Z⁰))))
0	M⁰(C¹(C⁰(M¹(Z²), Z⁰)))
0	M⁰(C¹(C⁰(M¹(P²(1)), Z⁰)))
0	M⁰(C¹(C⁰(M¹(P²(2)), Z⁰)))
0	M⁰(C¹(C⁰(C¹(Z⁰), Z⁰)))
0	M⁰(C¹(C⁰(Z², Z⁰, Z⁰)))
0	M⁰(C¹(C⁰(P²(1), Z⁰, Z⁰)))
0	M⁰(C¹(C⁰(P²(2), Z⁰, Z⁰)))
0	M⁰(C¹(Z¹, R¹(Z⁰, Z²)))
0	M⁰(C¹(Z¹, R¹(Z⁰, P²(1))))
0	M⁰(C¹(Z¹, R¹(Z⁰, P²(2))))
0	M⁰(C¹(Z¹, M¹(M²(Z³))))
0	M⁰(C¹(Z¹, M¹(M²(P³(1)))))
0	M⁰(C¹(Z¹, M¹(M²(P³(2)))))
0	M⁰(C¹(Z¹, M¹(M²(P³(3)))))
0	M⁰(C¹(Z¹, M¹(C²(Z⁰))))
0	M⁰(C¹(Z¹, C¹(M⁰(Z¹))))
0	M⁰(C¹(Z¹, C¹(M⁰(S¹))))
0	M⁰(C¹(Z¹, C¹(M⁰(P¹(1)))))
0	M⁰(C¹(Z¹, C¹(C⁰(Z⁰))))
0	M⁰(C¹(Z¹, C¹(Z¹, Z¹)))
0	M⁰(C¹(Z¹, C¹(Z¹, S¹)))
0	M⁰(C¹(Z¹, C¹(Z¹, P¹(1))))
0	M⁰(C¹(Z¹, C¹(S¹, Z¹)))
0	M⁰(C¹(Z¹, C¹(S¹, S¹)))
0	M⁰(C¹(Z¹, C¹(S¹, P¹(1))))
0	M⁰(C¹(Z¹, C¹(P¹(1), Z¹)))
0	M⁰(C¹(Z¹, C¹(P¹(1), S¹)))
0	M⁰(C¹(Z¹, C¹(P¹(1), P¹(1))))
M(S∘_)	M⁰(C¹(S¹, R¹(Z⁰, Z²)))
M(S∘_)	M⁰(C¹(S¹, R¹(Z⁰, P²(1))))
M(S∘_)	M⁰(C¹(S¹, R¹(Z⁰, P²(2))))
M(S∘_)	M⁰(C¹(S¹, M¹(M²(Z³))))
M(S∘_)	M⁰(C¹(S¹, M¹(M²(P³(1)))))
M(S∘_)	M⁰(C¹(S¹, M¹(M²(P³(2)))))
M(S∘_)	M⁰(C¹(S¹, M¹(M²(P³(3)))))
M(S∘_)	M⁰(C¹(S¹, M¹(C²(Z⁰))))
M(S∘_)	M⁰(C¹(S¹, C¹(M⁰(Z¹))))
M(S∘_)	M⁰(C¹(S¹, C¹(M⁰(S¹))))
M(S∘_)	M⁰(C¹(S¹, C¹(M⁰(P¹(1)))))
M(S∘_)	M⁰(C¹(S¹, C¹(C⁰(Z⁰))))
M(S∘_)	M⁰(C¹(S¹, C¹(Z¹, Z¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(Z¹, S¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(Z¹, P¹(1))))
M(S∘_)	M⁰(C¹(S¹, C¹(S¹, Z¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(S¹, S¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(S¹, P¹(1))))
M(S∘_)	M⁰(C¹(S¹, C¹(P¹(1), Z¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(P¹(1), S¹)))
M(S∘_)	M⁰(C¹(S¹, C¹(P¹(1), P¹(1))))
0	M⁰(C¹(P¹(1), R¹(Z⁰, Z²)))
0	M⁰(C¹(P¹(1), R¹(Z⁰, P²(1))))
0	M⁰(C¹(P¹(1), R¹(Z⁰, P²(2))))
0	M⁰(C¹(P¹(1), M¹(M²(Z³))))
0	M⁰(C¹(P¹(1), M¹(M²(P³(1)))))
0	M⁰(C¹(P¹(1), M¹(M²(P³(2)))))
0	M⁰(C¹(P¹(1), M¹(M²(P³(3)))))
0	M⁰(C¹(P¹(1), M¹(C²(Z⁰))))
0	M⁰(C¹(P¹(1), C¹(M⁰(Z¹))))
M(S)	M⁰(C¹(P¹(1), C¹(M⁰(S¹))))
0	M⁰(C¹(P¹(1), C¹(M⁰(P¹(1)))))
0	M⁰(C¹(P¹(1), C¹(C⁰(Z⁰))))
0	M⁰(C¹(P¹(1), C¹(Z¹, Z¹)))
0	M⁰(C¹(P¹(1), C¹(Z¹, S¹)))
0	M⁰(C¹(P¹(1), C¹(Z¹, P¹(1))))
x	M⁰(C¹(P¹(1), C¹(S¹, Z¹)))
x	M⁰(C¹(P¹(1), C¹(S¹, S¹)))
x	M⁰(C¹(P¹(1), C¹(S¹, P¹(1))))
0	M⁰(C¹(P¹(1), C¹(P¹(1), Z¹)))
x	M⁰(C¹(P¹(1), C¹(P¹(1), S¹)))
0	M⁰(C¹(P¹(1), C¹(P¹(1), P¹(1))))
0	M⁰(C¹(M¹(Z²), M¹(Z²)))
0	M⁰(C¹(M¹(Z²), M¹(P²(1))))
0	M⁰(C¹(M¹(Z²), M¹(P²(2))))
0	M⁰(C¹(M¹(Z²), C¹(Z⁰)))
0	M⁰(C¹(M¹(P²(1)), M¹(Z²)))
0	M⁰(C¹(M¹(P²(1)), M¹(P²(1))))
0	M⁰(C¹(M¹(P²(1)), M¹(P²(2))))
0	M⁰(C¹(M¹(P²(1)), C¹(Z⁰)))
0	M⁰(C¹(M¹(P²(2)), M¹(Z²)))
0	M⁰(C¹(M¹(P²(2)), M¹(P²(1))))
0	M⁰(C¹(M¹(P²(2)), M¹(P²(2))))
0	M⁰(C¹(M¹(P²(2)), C¹(Z⁰)))
0	M⁰(C¹(C¹(Z⁰), M¹(Z²)))
0	M⁰(C¹(C¹(Z⁰), M¹(P²(1))))
0	M⁰(C¹(C¹(Z⁰), M¹(P²(2))))
0	M⁰(C¹(C¹(Z⁰), C¹(Z⁰)))
0	M⁰(C¹(R¹(Z⁰, Z²), Z¹))
0	M⁰(C¹(R¹(Z⁰, Z²), S¹))
0	M⁰(C¹(R¹(Z⁰, Z²), P¹(1)))
0	M⁰(C¹(R¹(Z⁰, P²(1)), Z¹))
0	M⁰(C¹(R¹(Z⁰, P²(1)), S¹))
0	M⁰(C¹(R¹(Z⁰, P²(1)), P¹(1)))
0	M⁰(C¹(R¹(Z⁰, P²(2)), Z¹))
0	M⁰(C¹(R¹(Z⁰, P²(2)), S¹))
0	M⁰(C¹(R¹(Z⁰, P²(2)), P¹(1)))
0	M⁰(C¹(M¹(M²(Z³)), Z¹))
0	M⁰(C¹(M¹(M²(Z³)), S¹))
0	M⁰(C¹(M¹(M²(Z³)), P¹(1)))
0	M⁰(C¹(M¹(M²(P³(1))), Z¹))
0	M⁰(C¹(M¹(M²(P³(1))), S¹))
0	M⁰(C¹(M¹(M²(P³(1))), P¹(1)))
0	M⁰(C¹(M¹(M²(P³(2))), Z¹))
0	M⁰(C¹(M¹(M²(P³(2))), S¹))
0	M⁰(C¹(M¹(M²(P³(2))), P¹(1)))
0	M⁰(C¹(M¹(M²(P³(3))), Z¹))
x	M⁰(C¹(M¹(M²(P³(3))), S¹))
0	M⁰(C¹(M¹(M²(P³(3))), P¹(1)))
0	M⁰(C¹(M¹(C²(Z⁰)), Z¹))
0	M⁰(C¹(M¹(C²(Z⁰)), S¹))
0	M⁰(C¹(M¹(C²(Z⁰)), P¹(1)))
0	M⁰(C¹(C¹(M⁰(Z¹)), Z¹))
0	M⁰(C¹(C¹(M⁰(Z¹)), S¹))
0	M⁰(C¹(C¹(M⁰(Z¹)), P¹(1)))
M(S)	M⁰(C¹(C¹(M⁰(S¹)), Z¹))
M(S)	M⁰(C¹(C¹(M⁰(S¹)), S¹))
M(S)	M⁰(C¹(C¹(M⁰(S¹)), P¹(1)))
0	M⁰(C¹(C¹(M⁰(P¹(1))), Z¹))
0	M⁰(C¹(C¹(M⁰(P¹(1))), S¹))
0	M⁰(C¹(C¹(M⁰(P¹(1))), P¹(1)))
0	M⁰(C¹(C¹(C⁰(Z⁰)), Z¹))
0	M⁰(C¹(C¹(C⁰(Z⁰)), S¹))
0	M⁰(C¹(C¹(C⁰(Z⁰)), P¹(1)))
0	M⁰(C¹(C¹(Z¹, Z¹), Z¹))
0	M⁰(C¹(C¹(Z¹, Z¹), S¹))
0	M⁰(C¹(C¹(Z¹, Z¹), P¹(1)))
0	M⁰(C¹(C¹(Z¹, S¹), Z¹))
0	M⁰(C¹(C¹(Z¹, S¹), S¹))
0	M⁰(C¹(C¹(Z¹, S¹), P¹(1)))
0	M⁰(C¹(C¹(Z¹, P¹(1)), Z¹))
0	M⁰(C¹(C¹(Z¹, P¹(1)), S¹))
0	M⁰(C¹(C¹(Z¹, P¹(1)), P¹(1)))
x	M⁰(C¹(C¹(S¹, Z¹), Z¹))
x	M⁰(C¹(C¹(S¹, Z¹), S¹))
x	M⁰(C¹(C¹(S¹, Z¹), P¹(1)))
x	M⁰(C¹(C¹(S¹, S¹), Z¹))
x	M⁰(C¹(C¹(S¹, S¹), S¹))
x	M⁰(C¹(C¹(S¹, S¹), P¹(1)))
x	M⁰(C¹(C¹(S¹, P¹(1)), Z¹))
x	M⁰(C¹(C¹(S¹, P¹(1)), S¹))
x	M⁰(C¹(C¹(S¹, P¹(1)), P¹(1)))
0	M⁰(C¹(C¹(P¹(1), Z¹), Z¹))
0	M⁰(C¹(C¹(P¹(1), Z¹), S¹))
0	M⁰(C¹(C¹(P¹(1), Z¹), P¹(1)))
x	M⁰(C¹(C¹(P¹(1), S¹), Z¹))
x	M⁰(C¹(C¹(P¹(1), S¹), S¹))
x	M⁰(C¹(C¹(P¹(1), S¹), P¹(1)))
0	M⁰(C¹(C¹(P¹(1), P¹(1)), Z¹))
x	M⁰(C¹(C¹(P¹(1), P¹(1)), S¹))
0	M⁰(C¹(C¹(P¹(1), P¹(1)), P¹(1)))
0	M⁰(C¹(Z², Z¹, M¹(Z²)))
0	M⁰(C¹(Z², Z¹, M¹(P²(1))))
0	M⁰(C¹(Z², Z¹, M¹(P²(2))))
0	M⁰(C¹(Z², Z¹, C¹(Z⁰)))
0	M⁰(C¹(Z², S¹, M¹(Z²)))
0	M⁰(C¹(Z², S¹, M¹(P²(1))))
0	M⁰(C¹(Z², S¹, M¹(P²(2))))
0	M⁰(C¹(Z², S¹, C¹(Z⁰)))
0	M⁰(C¹(Z², P¹(1), M¹(Z²)))
0	M⁰(C¹(Z², P¹(1), M¹(P²(1))))
0	M⁰(C¹(Z², P¹(1), M¹(P²(2))))
0	M⁰(C¹(Z², P¹(1), C¹(Z⁰)))
0	M⁰(C¹(Z², M¹(Z²), Z¹))
0	M⁰(C¹(Z², M¹(Z²), S¹))
0	M⁰(C¹(Z², M¹(Z²), P¹(1)))
0	M⁰(C¹(Z², M¹(P²(1)), Z¹))
0	M⁰(C¹(Z², M¹(P²(1)), S¹))
0	M⁰(C¹(Z², M¹(P²(1)), P¹(1)))
0	M⁰(C¹(Z², M¹(P²(2)), Z¹))
0	M⁰(C¹(Z², M¹(P²(2)), S¹))
0	M⁰(C¹(Z², M¹(P²(2)), P¹(1)))
0	M⁰(C¹(Z², C¹(Z⁰), Z¹))
0	M⁰(C¹(Z², C¹(Z⁰), S¹))
0	M⁰(C¹(Z², C¹(Z⁰), P¹(1)))
0	M⁰(C¹(P²(1), Z¹, M¹(Z²)))
0	M⁰(C¹(P²(1), Z¹, M¹(P²(1))))
0	M⁰(C¹(P²(1), Z¹, M¹(P²(2))))
0	M⁰(C¹(P²(1), Z¹, C¹(Z⁰)))
x	M⁰(C¹(P²(1), S¹, M¹(Z²)))
x	M⁰(C¹(P²(1), S¹, M¹(P²(1))))
x	M⁰(C¹(P²(1), S¹, M¹(P²(2))))
x	M⁰(C¹(P²(1), S¹, C¹(Z⁰)))
0	M⁰(C¹(P²(1), P¹(1), M¹(Z²)))
0	M⁰(C¹(P²(1), P¹(1), M¹(P²(1))))
0	M⁰(C¹(P²(1), P¹(1), M¹(P²(2))))
0	M⁰(C¹(P²(1), P¹(1), C¹(Z⁰)))
0	M⁰(C¹(P²(1), M¹(Z²), Z¹))
0	M⁰(C¹(P²(1), M¹(Z²), S¹))
0	M⁰(C¹(P²(1), M¹(Z²), P¹(1)))
0	M⁰(C¹(P²(1), M¹(P²(1)), Z¹))
0	M⁰(C¹(P²(1), M¹(P²(1)), S¹))
0	M⁰(C¹(P²(1), M¹(P²(1)), P¹(1)))
0	M⁰(C¹(P²(1), M¹(P²(2)), Z¹))
0	M⁰(C¹(P²(1), M¹(P²(2)), S¹))
0	M⁰(C¹(P²(1), M¹(P²(2)), P¹(1)))
0	M⁰(C¹(P²(1), C¹(Z⁰), Z¹))
0	M⁰(C¹(P²(1), C¹(Z⁰), S¹))
0	M⁰(C¹(P²(1), C¹(Z⁰), P¹(1)))
0	M⁰(C¹(P²(2), Z¹, M¹(Z²)))
0	M⁰(C¹(P²(2), Z¹, M¹(P²(1))))
0	M⁰(C¹(P²(2), Z¹, M¹(P²(2))))
0	M⁰(C¹(P²(2), Z¹, C¹(Z⁰)))
0	M⁰(C¹(P²(2), S¹, M¹(Z²)))
0	M⁰(C¹(P²(2), S¹, M¹(P²(1))))
0	M⁰(C¹(P²(2), S¹, M¹(P²(2))))
0	M⁰(C¹(P²(2), S¹, C¹(Z⁰)))
0	M⁰(C¹(P²(2), P¹(1), M¹(Z²)))
0	M⁰(C¹(P²(2), P¹(1), M¹(P²(1))))
0	M⁰(C¹(P²(2), P¹(1), M¹(P²(2))))
0	M⁰(C¹(P²(2), P¹(1), C¹(Z⁰)))
0	M⁰(C¹(P²(2), M¹(Z²), Z¹))
x	M⁰(C¹(P²(2), M¹(Z²), S¹))
0	M⁰(C¹(P²(2), M¹(Z²), P¹(1)))
0	M⁰(C¹(P²(2), M¹(P²(1)), Z¹))
x	M⁰(C¹(P²(2), M¹(P²(1)), S¹))
0	M⁰(C¹(P²(2), M¹(P²(1)), P¹(1)))
0	M⁰(C¹(P²(2), M¹(P²(2)), Z¹))
x	M⁰(C¹(P²(2), M¹(P²(2)), S¹))
0	M⁰(C¹(P²(2), M¹(P²(2)), P¹(1)))
0	M⁰(C¹(P²(2), C¹(Z⁰), Z¹))
x	M⁰(C¹(P²(2), C¹(Z⁰), S¹))
0	M⁰(C¹(P²(2), C¹(Z⁰), P¹(1)))
0	M⁰(C¹(M²(Z³), Z¹, Z¹))
0	M⁰(C¹(M²(Z³), Z¹, S¹))
0	M⁰(C¹(M²(Z³), Z¹, P¹(1)))
0	M⁰(C¹(M²(Z³), S¹, Z¹))
0	M⁰(C¹(M²(Z³), S¹, S¹))
0	M⁰(C¹(M²(Z³), S¹, P¹(1)))
0	M⁰(C¹(M²(Z³), P¹(1), Z¹))
0	M⁰(C¹(M²(Z³), P¹(1), S¹))
0	M⁰(C¹(M²(Z³), P¹(1), P¹(1)))
0	M⁰(C¹(M²(P³(1)), Z¹, Z¹))
0	M⁰(C¹(M²(P³(1)), Z¹, S¹))
0	M⁰(C¹(M²(P³(1)), Z¹, P¹(1)))
0	M⁰(C¹(M²(P³(1)), S¹, Z¹))
0	M⁰(C¹(M²(P³(1)), S¹, S¹))
0	M⁰(C¹(M²(P³(1)), S¹, P¹(1)))
0	M⁰(C¹(M²(P³(1)), P¹(1), Z¹))
0	M⁰(C¹(M²(P³(1)), P¹(1), S¹))
0	M⁰(C¹(M²(P³(1)), P¹(1), P¹(1)))
0	M⁰(C¹(M²(P³(2)), Z¹, Z¹))
0	M⁰(C¹(M²(P³(2)), Z¹, S¹))
0	M⁰(C¹(M²(P³(2)), Z¹, P¹(1)))
x	M⁰(C¹(M²(P³(2)), S¹, Z¹))
x	M⁰(C¹(M²(P³(2)), S¹, S¹))
x	M⁰(C¹(M²(P³(2)), S¹, P¹(1)))
0	M⁰(C¹(M²(P³(2)), P¹(1), Z¹))
0	M⁰(C¹(M²(P³(2)), P¹(1), S¹))
0	M⁰(C¹(M²(P³(2)), P¹(1), P¹(1)))
0	M⁰(C¹(M²(P³(3)), Z¹, Z¹))
x	M⁰(C¹(M²(P³(3)), Z¹, S¹))
0	M⁰(C¹(M²(P³(3)), Z¹, P¹(1)))
0	M⁰(C¹(M²(P³(3)), S¹, Z¹))
x	M⁰(C¹(M²(P³(3)), S¹, S¹))
0	M⁰(C¹(M²(P³(3)), S¹, P¹(1)))
0	M⁰(C¹(M²(P³(3)), P¹(1), Z¹))
x	M⁰(C¹(M²(P³(3)), P¹(1), S¹))
0	M⁰(C¹(M²(P³(3)), P¹(1), P¹(1)))
0	M⁰(C¹(C²(Z⁰), Z¹, Z¹))
0	M⁰(C¹(C²(Z⁰), Z¹, S¹))
0	M⁰(C¹(C²(Z⁰), Z¹, P¹(1)))
0	M⁰(C¹(C²(Z⁰), S¹, Z¹))
0	M⁰(C¹(C²(Z⁰), S¹, S¹))
0	M⁰(C¹(C²(Z⁰), S¹, P¹(1)))
0	M⁰(C¹(C²(Z⁰), P¹(1), Z¹))
0	M⁰(C¹(C²(Z⁰), P¹(1), S¹))
0	M⁰(C¹(C²(Z⁰), P¹(1), P¹(1)))
0	M⁰(C¹(Z³, Z¹, Z¹, Z¹))
0	M⁰(C¹(Z³, Z¹, Z¹, S¹))
0	M⁰(C¹(Z³, Z¹, Z¹, P¹(1)))
0	M⁰(C¹(Z³, Z¹, S¹, Z¹))
0	M⁰(C¹(Z³, Z¹, S¹, S¹))
0	M⁰(C¹(Z³, Z¹, S¹, P¹(1)))
0	M⁰(C¹(Z³, Z¹, P¹(1), Z¹))
0	M⁰(C¹(Z³, Z¹, P¹(1), S¹))
0	M⁰(C¹(Z³, Z¹, P¹(1), P¹(1)))
0	M⁰(C¹(Z³, S¹, Z¹, Z¹))
0	M⁰(C¹(Z³, S¹, Z¹, S¹))
0	M⁰(C¹(Z³, S¹, Z¹, P¹(1)))
0	M⁰(C¹(Z³, S¹, S¹, Z¹))
0	M⁰(C¹(Z³, S¹, S¹, S¹))
0	M⁰(C¹(Z³, S¹, S¹, P¹(1)))
0	M⁰(C¹(Z³, S¹, P¹(1), Z¹))
0	M⁰(C¹(Z³, S¹, P¹(1), S¹))
0	M⁰(C¹(Z³, S¹, P¹(1), P¹(1)))
0	M⁰(C¹(Z³, P¹(1), Z¹, Z¹))
0	M⁰(C¹(Z³, P¹(1), Z¹, S¹))
0	M⁰(C¹(Z³, P¹(1), Z¹, P¹(1)))
0	M⁰(C¹(Z³, P¹(1), S¹, Z¹))
0	M⁰(C¹(Z³, P¹(1), S¹, S¹))
0	M⁰(C¹(Z³, P¹(1), S¹, P¹(1)))
0	M⁰(C¹(Z³, P¹(1), P¹(1), Z¹))
0	M⁰(C¹(Z³, P¹(1), P¹(1), S¹))
0	M⁰(C¹(Z³, P¹(1), P¹(1), P¹(1)))
0	M⁰(C¹(P³(1), Z¹, Z¹, Z¹))
0	M⁰(C¹(P³(1), Z¹, Z¹, S¹))
0	M⁰(C¹(P³(1), Z¹, Z¹, P¹(1)))
0	M⁰(C¹(P³(1), Z¹, S¹, Z¹))
0	M⁰(C¹(P³(1), Z¹, S¹, S¹))
0	M⁰(C¹(P³(1), Z¹, S¹, P¹(1)))
0	M⁰(C¹(P³(1), Z¹, P¹(1), Z¹))
0	M⁰(C¹(P³(1), Z¹, P¹(1), S¹))
0	M⁰(C¹(P³(1), Z¹, P¹(1), P¹(1)))
x	M⁰(C¹(P³(1), S¹, Z¹, Z¹))
x	M⁰(C¹(P³(1), S¹, Z¹, S¹))
x	M⁰(C¹(P³(1), S¹, Z¹, P¹(1)))
x	M⁰(C¹(P³(1), S¹, S¹, Z¹))
x	M⁰(C¹(P³(1), S¹, S¹, S¹))
x	M⁰(C¹(P³(1), S¹, S¹, P¹(1)))
x	M⁰(C¹(P³(1), S¹, P¹(1), Z¹))
x	M⁰(C¹(P³(1), S¹, P¹(1), S¹))
x	M⁰(C¹(P³(1), S¹, P¹(1), P¹(1)))
0	M⁰(C¹(P³(1), P¹(1), Z¹, Z¹))
0	M⁰(C¹(P³(1), P¹(1), Z¹, S¹))
0	M⁰(C¹(P³(1), P¹(1), Z¹, P¹(1)))
0	M⁰(C¹(P³(1), P¹(1), S¹, Z¹))
0	M⁰(C¹(P³(1), P¹(1), S¹, S¹))
0	M⁰(C¹(P³(1), P¹(1), S¹, P¹(1)))
0	M⁰(C¹(P³(1), P¹(1), P¹(1), Z¹))
0	M⁰(C¹(P³(1), P¹(1), P¹(1), S¹))
0	M⁰(C¹(P³(1), P¹(1), P¹(1), P¹(1)))
0	M⁰(C¹(P³(2), Z¹, Z¹, Z¹))
0	M⁰(C¹(P³(2), Z¹, Z¹, S¹))
0	M⁰(C¹(P³(2), Z¹, Z¹, P¹(1)))
x	M⁰(C¹(P³(2), Z¹, S¹, Z¹))
x	M⁰(C¹(P³(2), Z¹, S¹, S¹))
x	M⁰(C¹(P³(2), Z¹, S¹, P¹(1)))
0	M⁰(C¹(P³(2), Z¹, P¹(1), Z¹))
0	M⁰(C¹(P³(2), Z¹, P¹(1), S¹))
0	M⁰(C¹(P³(2), Z¹, P¹(1), P¹(1)))
0	M⁰(C¹(P³(2), S¹, Z¹, Z¹))
0	M⁰(C¹(P³(2), S¹, Z¹, S¹))
0	M⁰(C¹(P³(2), S¹, Z¹, P¹(1)))
x	M⁰(C¹(P³(2), S¹, S¹, Z¹))
x	M⁰(C¹(P³(2), S¹, S¹, S¹))
x	M⁰(C¹(P³(2), S¹, S¹, P¹(1)))
0	M⁰(C¹(P³(2), S¹, P¹(1), Z¹))
0	M⁰(C¹(P³(2), S¹, P¹(1), S¹))
0	M⁰(C¹(P³(2), S¹, P¹(1), P¹(1)))
0	M⁰(C¹(P³(2), P¹(1), Z¹, Z¹))
0	M⁰(C¹(P³(2), P¹(1), Z¹, S¹))
0	M⁰(C¹(P³(2), P¹(1), Z¹, P¹(1)))
x	M⁰(C¹(P³(2), P¹(1), S¹, Z¹))
x	M⁰(C¹(P³(2), P¹(1), S¹, S¹))
x	M⁰(C¹(P³(2), P¹(1), S¹, P¹(1)))
0	M⁰(C¹(P³(2), P¹(1), P¹(1), Z¹))
0	M⁰(C¹(P³(2), P¹(1), P¹(1), S¹))
0	M⁰(C¹(P³(2), P¹(1), P¹(1), P¹(1)))
0	M⁰(C¹(P³(3), Z¹, Z¹, Z¹))
x	M⁰(C¹(P³(3), Z¹, Z¹, S¹))
0	M⁰(C¹(P³(3), Z¹, Z¹, P¹(1)))
0	M⁰(C¹(P³(3), Z¹, S¹, Z¹))
x	M⁰(C¹(P³(3), Z¹, S¹, S¹))
0	M⁰(C¹(P³(3), Z¹, S¹, P¹(1)))
0	M⁰(C¹(P³(3), Z¹, P¹(1), Z¹))
x	M⁰(C¹(P³(3), Z¹, P¹(1), S¹))
0	M⁰(C¹(P³(3), Z¹, P¹(1), P¹(1)))
0	M⁰(C¹(P³(3), S¹, Z¹, Z¹))
x	M⁰(C¹(P³(3), S¹, Z¹, S¹))
0	M⁰(C¹(P³(3), S¹, Z¹, P¹(1)))
0	M⁰(C¹(P³(3), S¹, S¹, Z¹))
x	M⁰(C¹(P³(3), S¹, S¹, S¹))
0	M⁰(C¹(P³(3), S¹, S¹, P¹(1)))
0	M⁰(C¹(P³(3), S¹, P¹(1), Z¹))
x	M⁰(C¹(P³(3), S¹, P¹(1), S¹))
0	M⁰(C¹(P³(3), S¹, P¹(1), P¹(1)))
0	M⁰(C¹(P³(3), P¹(1), Z¹, Z¹))
x	M⁰(C¹(P³(3), P¹(1), Z¹, S¹))
0	M⁰(C¹(P³(3), P¹(1), Z¹, P¹(1)))
0	M⁰(C¹(P³(3), P¹(1), S¹, Z¹))
x	M⁰(C¹(P³(3), P¹(1), S¹, S¹))
0	M⁰(C¹(P³(3), P¹(1), S¹, P¹(1)))
0	M⁰(C¹(P³(3), P¹(1), P¹(1), Z¹))
x	M⁰(C¹(P³(3), P¹(1), P¹(1), S¹))
0	M⁰(C¹(P³(3), P¹(1), P¹(1), P¹(1)))
0	C⁰(M⁰(R¹(Z⁰, M²(Z³))))
0	C⁰(M⁰(R¹(Z⁰, M²(P³(1)))))
0	C⁰(M⁰(R¹(Z⁰, M²(P³(2)))))
0	C⁰(M⁰(R¹(Z⁰, M²(P³(3)))))
0	C⁰(M⁰(R¹(Z⁰, C²(Z⁰))))
0	C⁰(M⁰(R¹(M⁰(Z¹), Z²)))
0	C⁰(M⁰(R¹(M⁰(Z¹), P²(1))))
0	C⁰(M⁰(R¹(M⁰(Z¹), P²(2))))
M(S)	C⁰(M⁰(R¹(M⁰(S¹), Z²)))
M(S)	C⁰(M⁰(R¹(M⁰(S¹), P²(1))))
M(S)	C⁰(M⁰(R¹(M⁰(S¹), P²(2))))
0	C⁰(M⁰(R¹(M⁰(P¹(1)), Z²)))
0	C⁰(M⁰(R¹(M⁰(P¹(1)), P²(1))))
0	C⁰(M⁰(R¹(M⁰(P¹(1)), P²(2))))
0	C⁰(M⁰(R¹(C⁰(Z⁰), Z²)))
0	C⁰(M⁰(R¹(C⁰(Z⁰), P²(1))))
0	C⁰(M⁰(R¹(C⁰(Z⁰), P²(2))))
0	C⁰(M⁰(M¹(R²(Z¹, Z³))))
0	C⁰(M⁰(M¹(R²(Z¹, P³(1)))))
0	C⁰(M⁰(M¹(R²(Z¹, P³(2)))))
0	C⁰(M⁰(M¹(R²(Z¹, P³(3)))))
x	C⁰(M⁰(M¹(R²(S¹, Z³))))
x	C⁰(M⁰(M¹(R²(S¹, P³(1)))))
x	C⁰(M⁰(M¹(R²(S¹, P³(2)))))
x	C⁰(M⁰(M¹(R²(S¹, P³(3)))))
0	C⁰(M⁰(M¹(R²(P¹(1), Z³))))
0	C⁰(M⁰(M¹(R²(P¹(1), P³(1)))))
0	C⁰(M⁰(M¹(R²(P¹(1), P³(2)))))
0	C⁰(M⁰(M¹(R²(P¹(1), P³(3)))))
0	C⁰(M⁰(M¹(M²(M³(Z⁴)))))
0	C⁰(M⁰(M¹(M²(M³(P⁴(1))))))
0	C⁰(M⁰(M¹(M²(M³(P⁴(2))))))
0	C⁰(M⁰(M¹(M²(M³(P⁴(3))))))
0	C⁰(M⁰(M¹(M²(M³(P⁴(4))))))
0	C⁰(M⁰(M¹(M²(C³(Z⁰)))))
0	C⁰(M⁰(M¹(C²(M⁰(Z¹)))))
M(S)	C⁰(M⁰(M¹(C²(M⁰(S¹)))))
0	C⁰(M⁰(M¹(C²(M⁰(P¹(1))))))
0	C⁰(M⁰(M¹(C²(C⁰(Z⁰)))))
0	C⁰(M⁰(M¹(C²(Z¹, Z²))))
0	C⁰(M⁰(M¹(C²(Z¹, P²(1)))))
0	C⁰(M⁰(M¹(C²(Z¹, P²(2)))))
M(S∘_)	C⁰(M⁰(M¹(C²(S¹, Z²))))
M(S∘_)	C⁰(M⁰(M¹(C²(S¹, P²(1)))))
M(S∘_)	C⁰(M⁰(M¹(C²(S¹, P²(2)))))
0	C⁰(M⁰(M¹(C²(P¹(1), Z²))))
0	C⁰(M⁰(M¹(C²(P¹(1), P²(1)))))
0	C⁰(M⁰(M¹(C²(P¹(1), P²(2)))))
0	C⁰(M⁰(C¹(M⁰(M¹(Z²)))))
0	C⁰(M⁰(C¹(M⁰(M¹(P²(1))))))
0	C⁰(M⁰(C¹(M⁰(M¹(P²(2))))))
0	C⁰(M⁰(C¹(M⁰(C¹(Z⁰)))))
0	C⁰(M⁰(C¹(C⁰(M⁰(Z¹)))))
M(S)	C⁰(M⁰(C¹(C⁰(M⁰(S¹)))))
0	C⁰(M⁰(C¹(C⁰(M⁰(P¹(1))))))
0	C⁰(M⁰(C¹(C⁰(C⁰(Z⁰)))))
0	C⁰(M⁰(C¹(C⁰(Z¹, Z⁰))))
x	C⁰(M⁰(C¹(C⁰(S¹, Z⁰))))
0	C⁰(M⁰(C¹(C⁰(P¹(1), Z⁰))))
0	C⁰(M⁰(C¹(Z¹, M¹(Z²))))
0	C⁰(M⁰(C¹(Z¹, M¹(P²(1)))))
0	C⁰(M⁰(C¹(Z¹, M¹(P²(2)))))
0	C⁰(M⁰(C¹(Z¹, C¹(Z⁰))))
M(S∘_)	C⁰(M⁰(C¹(S¹, M¹(Z²))))
M(S∘_)	C⁰(M⁰(C¹(S¹, M¹(P²(1)))))
M(S∘_)	C⁰(M⁰(C¹(S¹, M¹(P²(2)))))
M(S∘_)	C⁰(M⁰(C¹(S¹, C¹(Z⁰))))
0	C⁰(M⁰(C¹(P¹(1), M¹(Z²))))
0	C⁰(M⁰(C¹(P¹(1), M¹(P²(1)))))
0	C⁰(M⁰(C¹(P¹(1), M¹(P²(2)))))
0	C⁰(M⁰(C¹(P¹(1), C¹(Z⁰))))
0	C⁰(M⁰(C¹(M¹(Z²), Z¹)))
0	C⁰(M⁰(C¹(M¹(Z²), S¹)))
0	C⁰(M⁰(C¹(M¹(Z²), P¹(1))))
0	C⁰(M⁰(C¹(M¹(P²(1)), Z¹)))
0	C⁰(M⁰(C¹(M¹(P²(1)), S¹)))
0	C⁰(M⁰(C¹(M¹(P²(1)), P¹(1))))
0	C⁰(M⁰(C¹(M¹(P²(2)), Z¹)))
x	C⁰(M⁰(C¹(M¹(P²(2)), S¹)))
0	C⁰(M⁰(C¹(M¹(P²(2)), P¹(1))))
0	C⁰(M⁰(C¹(C¹(Z⁰), Z¹)))
0	C⁰(M⁰(C¹(C¹(Z⁰), S¹)))
0	C⁰(M⁰(C¹(C¹(Z⁰), P¹(1))))
0	C⁰(M⁰(C¹(Z², Z¹, Z¹)))
0	C⁰(M⁰(C¹(Z², Z¹, S¹)))
0	C⁰(M⁰(C¹(Z², Z¹, P¹(1))))
0	C⁰(M⁰(C¹(Z², S¹, Z¹)))
0	C⁰(M⁰(C¹(Z², S¹, S¹)))
0	C⁰(M⁰(C¹(Z², S¹, P¹(1))))
0	C⁰(M⁰(C¹(Z², P¹(1), Z¹)))
0	C⁰(M⁰(C¹(Z², P¹(1), S¹)))
0	C⁰(M⁰(C¹(Z², P¹(1), P¹(1))))
0	C⁰(M⁰(C¹(P²(1), Z¹, Z¹)))
0	C⁰(M⁰(C¹(P²(1), Z¹, S¹)))
0	C⁰(M⁰(C¹(P²(1), Z¹, P¹(1))))
x	C⁰(M⁰(C¹(P²(1), S¹, Z¹)))
x	C⁰(M⁰(C¹(P²(1), S¹, S¹)))
x	C⁰(M⁰(C¹(P²(1), S¹, P¹(1))))
0	C⁰(M⁰(C¹(P²(1), P¹(1), Z¹)))
0	C⁰(M⁰(C¹(P²(1), P¹(1), S¹)))
0	C⁰(M⁰(C¹(P²(1), P¹(1), P¹(1))))
0	C⁰(M⁰(C¹(P²(2), Z¹, Z¹)))
x	C⁰(M⁰(C¹(P²(2), Z¹, S¹)))
0	C⁰(M⁰(C¹(P²(2), Z¹, P¹(1))))
0	C⁰(M⁰(C¹(P²(2), S¹, Z¹)))
x	C⁰(M⁰(C¹(P²(2), S¹, S¹)))
0	C⁰(M⁰(C¹(P²(2), S¹, P¹(1))))
0	C⁰(M⁰(C¹(P²(2), P¹(1), Z¹)))
x	C⁰(M⁰(C¹(P²(2), P¹(1), S¹)))
0	C⁰(M⁰(C¹(P²(2), P¹(1), P¹(1))))
0	C⁰(C⁰(M⁰(R¹(Z⁰, Z²))))
0	C⁰(C⁰(M⁰(R¹(Z⁰, P²(1)))))
0	C⁰(C⁰(M⁰(R¹(Z⁰, P²(2)))))
0	C⁰(C⁰(M⁰(M¹(M²(Z³)))))
0	C⁰(C⁰(M⁰(M¹(M²(P³(1))))))
0	C⁰(C⁰(M⁰(M¹(M²(P³(2))))))
0	C⁰(C⁰(M⁰(M¹(M²(P³(3))))))
0	C⁰(C⁰(M⁰(M¹(C²(Z⁰)))))
0	C⁰(C⁰(M⁰(C¹(M⁰(Z¹)))))
M(S)	C⁰(C⁰(M⁰(C¹(M⁰(S¹)))))
0	C⁰(C⁰(M⁰(C¹(M⁰(P¹(1))))))
0	C⁰(C⁰(M⁰(C¹(C⁰(Z⁰)))))
0	C⁰(C⁰(M⁰(C¹(Z¹, Z¹))))
0	C⁰(C⁰(M⁰(C¹(Z¹, S¹))))
0	C⁰(C⁰(M⁰(C¹(Z¹, P¹(1)))))
M(S∘_)	C⁰(C⁰(M⁰(C¹(S¹, Z¹))))
M(S∘_)	C⁰(C⁰(M⁰(C¹(S¹, S¹))))
M(S∘_)	C⁰(C⁰(M⁰(C¹(S¹, P¹(1)))))
0	C⁰(C⁰(M⁰(C¹(P¹(1), Z¹))))
x	C⁰(C⁰(M⁰(C¹(P¹(1), S¹))))
0	C⁰(C⁰(M⁰(C¹(P¹(1), P¹(1)))))
0	C⁰(C⁰(C⁰(M⁰(M¹(Z²)))))
0	C⁰(C⁰(C⁰(M⁰(M¹(P²(1))))))
0	C⁰(C⁰(C⁰(M⁰(M¹(P²(2))))))
0	C⁰(C⁰(C⁰(M⁰(C¹(Z⁰)))))
0	C⁰(C⁰(C⁰(C⁰(M⁰(Z¹)))))
M(S)	C⁰(C⁰(C⁰(C⁰(M⁰(S¹)))))
0	C⁰(C⁰(C⁰(C⁰(M⁰(P¹(1))))))
0	C⁰(C⁰(C⁰(C⁰(C⁰(Z⁰)))))
0	C⁰(C⁰(C⁰(C⁰(Z¹, Z⁰))))
1	C⁰(C⁰(C⁰(C⁰(S¹, Z⁰))))
0	C⁰(C⁰(C⁰(C⁰(P¹(1), Z⁰))))
0	C⁰(C⁰(C⁰(Z¹, M⁰(Z¹))))
0	C⁰(C⁰(C⁰(Z¹, M⁰(S¹))))
0	C⁰(C⁰(C⁰(Z¹, M⁰(P¹(1)))))
0	C⁰(C⁰(C⁰(Z¹, C⁰(Z⁰))))
1	C⁰(C⁰(C⁰(S¹, M⁰(Z¹))))
M(S)	C⁰(C⁰(C⁰(S¹, M⁰(S¹))))
1	C⁰(C⁰(C⁰(S¹, M⁰(P¹(1)))))
1	C⁰(C⁰(C⁰(S¹, C⁰(Z⁰))))
0	C⁰(C⁰(C⁰(P¹(1), M⁰(Z¹))))
M(S)	C⁰(C⁰(C⁰(P¹(1), M⁰(S¹))))
0	C⁰(C⁰(C⁰(P¹(1), M⁰(P¹(1)))))
0	C⁰(C⁰(C⁰(P¹(1), C⁰(Z⁰))))
0	C⁰(C⁰(C⁰(M¹(Z²), Z⁰)))
0	C⁰(C⁰(C⁰(M¹(P²(1)), Z⁰)))
0	C⁰(C⁰(C⁰(M¹(P²(2)), Z⁰)))
0	C⁰(C⁰(C⁰(C¹(Z⁰), Z⁰)))
0	C⁰(C⁰(C⁰(Z², Z⁰, Z⁰)))
0	C⁰(C⁰(C⁰(P²(1), Z⁰, Z⁰)))
0	C⁰(C⁰(C⁰(P²(2), Z⁰, Z⁰)))
0	C⁰(C⁰(Z¹, M⁰(M¹(Z²))))
0	C⁰(C⁰(Z¹, M⁰(M¹(P²(1)))))
0	C⁰(C⁰(Z¹, M⁰(M¹(P²(2)))))
0	C⁰(C⁰(Z¹, M⁰(C¹(Z⁰))))
0	C⁰(C⁰(Z¹, C⁰(M⁰(Z¹))))
0	C⁰(C⁰(Z¹, C⁰(M⁰(S¹))))
0	C⁰(C⁰(Z¹, C⁰(M⁰(P¹(1)))))
0	C⁰(C⁰(Z¹, C⁰(C⁰(Z⁰))))
0	C⁰(C⁰(Z¹, C⁰(Z¹, Z⁰)))
0	C⁰(C⁰(Z¹, C⁰(S¹, Z⁰)))
0	C⁰(C⁰(Z¹, C⁰(P¹(1), Z⁰)))
1	C⁰(C⁰(S¹, M⁰(M¹(Z²))))
1	C⁰(C⁰(S¹, M⁰(M¹(P²(1)))))
1	C⁰(C⁰(S¹, M⁰(M¹(P²(2)))))
1	C⁰(C⁰(S¹, M⁰(C¹(Z⁰))))
1	C⁰(C⁰(S¹, C⁰(M⁰(Z¹))))
M(S)	C⁰(C⁰(S¹, C⁰(M⁰(S¹))))
1	C⁰(C⁰(S¹, C⁰(M⁰(P¹(1)))))
1	C⁰(C⁰(S¹, C⁰(C⁰(Z⁰))))
1	C⁰(C⁰(S¹, C⁰(Z¹, Z⁰)))
2	C⁰(C⁰(S¹, C⁰(S¹, Z⁰)))
1	C⁰(C⁰(S¹, C⁰(P¹(1), Z⁰)))
0	C⁰(C⁰(P¹(1), M⁰(M¹(Z²))))
0	C⁰(C⁰(P¹(1), M⁰(M¹(P²(1)))))
0	C⁰(C⁰(P¹(1), M⁰(M¹(P²(2)))))
0	C⁰(C⁰(P¹(1), M⁰(C¹(Z⁰))))
0	C⁰(C⁰(P¹(1), C⁰(M⁰(Z¹))))
M(S)	C⁰(C⁰(P¹(1), C⁰(M⁰(S¹))))
0	C⁰(C⁰(P¹(1), C⁰(M⁰(P¹(1)))))
0	C⁰(C⁰(P¹(1), C⁰(C⁰(Z⁰))))
0	C⁰(C⁰(P¹(1), C⁰(Z¹, Z⁰)))
1	C⁰(C⁰(P¹(1), C⁰(S¹, Z⁰)))
0	C⁰(C⁰(P¹(1), C⁰(P¹(1), Z⁰)))
0	C⁰(C⁰(M¹(Z²), M⁰(Z¹)))
0	C⁰(C⁰(M¹(Z²), M⁰(S¹)))
0	C⁰(C⁰(M¹(Z²), M⁰(P¹(1))))
0	C⁰(C⁰(M¹(Z²), C⁰(Z⁰)))
0	C⁰(C⁰(M¹(P²(1)), M⁰(Z¹)))
0	C⁰(C⁰(M¹(P²(1)), M⁰(S¹)))
0	C⁰(C⁰(M¹(P²(1)), M⁰(P¹(1))))
0	C⁰(C⁰(M¹(P²(1)), C⁰(Z⁰)))
0	C⁰(C⁰(M¹(P²(2)), M⁰(Z¹)))
M(S)	C⁰(C⁰(M¹(P²(2)), M⁰(S¹)))
0	C⁰(C⁰(M¹(P²(2)), M⁰(P¹(1))))
0	C⁰(C⁰(M¹(P²(2)), C⁰(Z⁰)))
0	C⁰(C⁰(C¹(Z⁰), M⁰(Z¹)))
0	C⁰(C⁰(C¹(Z⁰), M⁰(S¹)))
0	C⁰(C⁰(C¹(Z⁰), M⁰(P¹(1))))
0	C⁰(C⁰(C¹(Z⁰), C⁰(Z⁰)))
0	C⁰(C⁰(R¹(Z⁰, Z²), Z⁰))
0	C⁰(C⁰(R¹(Z⁰, P²(1)), Z⁰))
0	C⁰(C⁰(R¹(Z⁰, P²(2)), Z⁰))
0	C⁰(C⁰(M¹(M²(Z³)), Z⁰))
0	C⁰(C⁰(M¹(M²(P³(1))), Z⁰))
0	C⁰(C⁰(M¹(M²(P³(2))), Z⁰))
0	C⁰(C⁰(M¹(M²(P³(3))), Z⁰))
0	C⁰(C⁰(M¹(C²(Z⁰)), Z⁰))
0	C⁰(C⁰(C¹(M⁰(Z¹)), Z⁰))
M(S)	C⁰(C⁰(C¹(M⁰(S¹)), Z⁰))
0	C⁰(C⁰(C¹(M⁰(P¹(1))), Z⁰))
0	C⁰(C⁰(C¹(C⁰(Z⁰)), Z⁰))
0	C⁰(C⁰(C¹(Z¹, Z¹), Z⁰))
0	C⁰(C⁰(C¹(Z¹, S¹), Z⁰))
0	C⁰(C⁰(C¹(Z¹, P¹(1)), Z⁰))
1	C⁰(C⁰(C¹(S¹, Z¹), Z⁰))
2	C⁰(C⁰(C¹(S¹, S¹), Z⁰))
1	C⁰(C⁰(C¹(S¹, P¹(1)), Z⁰))
0	C⁰(C⁰(C¹(P¹(1), Z¹), Z⁰))
1	C⁰(C⁰(C¹(P¹(1), S¹), Z⁰))
0	C⁰(C⁰(C¹(P¹(1), P¹(1)), Z⁰))
0	C⁰(C⁰(Z², Z⁰, M⁰(Z¹)))
0	C⁰(C⁰(Z², Z⁰, M⁰(S¹)))
0	C⁰(C⁰(Z², Z⁰, M⁰(P¹(1))))
0	C⁰(C⁰(Z², Z⁰, C⁰(Z⁰)))
0	C⁰(C⁰(Z², M⁰(Z¹), Z⁰))
0	C⁰(C⁰(Z², M⁰(S¹), Z⁰))
0	C⁰(C⁰(Z², M⁰(P¹(1)), Z⁰))
0	C⁰(C⁰(Z², C⁰(Z⁰), Z⁰))
0	C⁰(C⁰(P²(1), Z⁰, M⁰(Z¹)))
0	C⁰(C⁰(P²(1), Z⁰, M⁰(S¹)))
0	C⁰(C⁰(P²(1), Z⁰, M⁰(P¹(1))))
0	C⁰(C⁰(P²(1), Z⁰, C⁰(Z⁰)))
0	C⁰(C⁰(P²(1), M⁰(Z¹), Z⁰))
M(S)	C⁰(C⁰(P²(1), M⁰(S¹), Z⁰))
0	C⁰(C⁰(P²(1), M⁰(P¹(1)), Z⁰))
0	C⁰(C⁰(P²(1), C⁰(Z⁰), Z⁰))
0	C⁰(C⁰(P²(2), Z⁰, M⁰(Z¹)))
M(S)	C⁰(C⁰(P²(2), Z⁰, M⁰(S¹)))
0	C⁰(C⁰(P²(2), Z⁰, M⁰(P¹(1))))
0	C⁰(C⁰(P²(2), Z⁰, C⁰(Z⁰)))
0	C⁰(C⁰(P²(2), M⁰(Z¹), Z⁰))
0	C⁰(C⁰(P²(2), M⁰(S¹), Z⁰))
0	C⁰(C⁰(P²(2), M⁰(P¹(1)), Z⁰))
0	C⁰(C⁰(P²(2), C⁰(Z⁰), Z⁰))
0	C⁰(C⁰(M²(Z³), Z⁰, Z⁰))
0	C⁰(C⁰(M²(P³(1)), Z⁰, Z⁰))
0	C⁰(C⁰(M²(P³(2)), Z⁰, Z⁰))
0	C⁰(C⁰(M²(P³(3)), Z⁰, Z⁰))
0	C⁰(C⁰(C²(Z⁰), Z⁰, Z⁰))
0	C⁰(C⁰(Z³, Z⁰, Z⁰, Z⁰))
0	C⁰(C⁰(P³(1), Z⁰, Z⁰, Z⁰))
0	C⁰(C⁰(P³(2), Z⁰, Z⁰, Z⁰))
0	C⁰(C⁰(P³(3), Z⁰, Z⁰, Z⁰))
0	C⁰(Z¹, M⁰(R¹(Z⁰, Z²)))
0	C⁰(Z¹, M⁰(R¹(Z⁰, P²(1))))
0	C⁰(Z¹, M⁰(R¹(Z⁰, P²(2))))
0	C⁰(Z¹, M⁰(M¹(M²(Z³))))
0	C⁰(Z¹, M⁰(M¹(M²(P³(1)))))
0	C⁰(Z¹, M⁰(M¹(M²(P³(2)))))
0	C⁰(Z¹, M⁰(M¹(M²(P³(3)))))
0	C⁰(Z¹, M⁰(M¹(C²(Z⁰))))
0	C⁰(Z¹, M⁰(C¹(M⁰(Z¹))))
0	C⁰(Z¹, M⁰(C¹(M⁰(S¹))))
0	C⁰(Z¹, M⁰(C¹(M⁰(P¹(1)))))
0	C⁰(Z¹, M⁰(C¹(C⁰(Z⁰))))
0	C⁰(Z¹, M⁰(C¹(Z¹, Z¹)))
0	C⁰(Z¹, M⁰(C¹(Z¹, S¹)))
0	C⁰(Z¹, M⁰(C¹(Z¹, P¹(1))))
0	C⁰(Z¹, M⁰(C¹(S¹, Z¹)))
0	C⁰(Z¹, M⁰(C¹(S¹, S¹)))
0	C⁰(Z¹, M⁰(C¹(S¹, P¹(1))))
0	C⁰(Z¹, M⁰(C¹(P¹(1), Z¹)))
0	C⁰(Z¹, M⁰(C¹(P¹(1), S¹)))
0	C⁰(Z¹, M⁰(C¹(P¹(1), P¹(1))))
0	C⁰(Z¹, C⁰(M⁰(M¹(Z²))))
0	C⁰(Z¹, C⁰(M⁰(M¹(P²(1)))))
0	C⁰(Z¹, C⁰(M⁰(M¹(P²(2)))))
0	C⁰(Z¹, C⁰(M⁰(C¹(Z⁰))))
0	C⁰(Z¹, C⁰(C⁰(M⁰(Z¹))))
0	C⁰(Z¹, C⁰(C⁰(M⁰(S¹))))
0	C⁰(Z¹, C⁰(C⁰(M⁰(P¹(1)))))
0	C⁰(Z¹, C⁰(C⁰(C⁰(Z⁰))))
0	C⁰(Z¹, C⁰(C⁰(Z¹, Z⁰)))
0	C⁰(Z¹, C⁰(C⁰(S¹, Z⁰)))
0	C⁰(Z¹, C⁰(C⁰(P¹(1), Z⁰)))
0	C⁰(Z¹, C⁰(Z¹, M⁰(Z¹)))
0	C⁰(Z¹, C⁰(Z¹, M⁰(S¹)))
0	C⁰(Z¹, C⁰(Z¹, M⁰(P¹(1))))
0	C⁰(Z¹, C⁰(Z¹, C⁰(Z⁰)))
0	C⁰(Z¹, C⁰(S¹, M⁰(Z¹)))
0	C⁰(Z¹, C⁰(S¹, M⁰(S¹)))
0	C⁰(Z¹, C⁰(S¹, M⁰(P¹(1))))
0	C⁰(Z¹, C⁰(S¹, C⁰(Z⁰)))
0	C⁰(Z¹, C⁰(P¹(1), M⁰(Z¹)))
0	C⁰(Z¹, C⁰(P¹(1), M⁰(S¹)))
0	C⁰(Z¹, C⁰(P¹(1), M⁰(P¹(1))))
0	C⁰(Z¹, C⁰(P¹(1), C⁰(Z⁰)))
0	C⁰(Z¹, C⁰(M¹(Z²), Z⁰))
0	C⁰(Z¹, C⁰(M¹(P²(1)), Z⁰))
0	C⁰(Z¹, C⁰(M¹(P²(2)), Z⁰))
0	C⁰(Z¹, C⁰(C¹(Z⁰), Z⁰))
0	C⁰(Z¹, C⁰(Z², Z⁰, Z⁰))
0	C⁰(Z¹, C⁰(P²(1), Z⁰, Z⁰))
0	C⁰(Z¹, C⁰(P²(2), Z⁰, Z⁰))
1	C⁰(S¹, M⁰(R¹(Z⁰, Z²)))
1	C⁰(S¹, M⁰(R¹(Z⁰, P²(1))))
1	C⁰(S¹, M⁰(R¹(Z⁰, P²(2))))
1	C⁰(S¹, M⁰(M¹(M²(Z³))))
1	C⁰(S¹, M⁰(M¹(M²(P³(1)))))
1	C⁰(S¹, M⁰(M¹(M²(P³(2)))))
1	C⁰(S¹, M⁰(M¹(M²(P³(3)))))
1	C⁰(S¹, M⁰(M¹(C²(Z⁰))))
1	C⁰(S¹, M⁰(C¹(M⁰(Z¹))))
M(S)	C⁰(S¹, M⁰(C¹(M⁰(S¹))))
1	C⁰(S¹, M⁰(C¹(M⁰(P¹(1)))))
1	C⁰(S¹, M⁰(C¹(C⁰(Z⁰))))
1	C⁰(S¹, M⁰(C¹(Z¹, Z¹)))
1	C⁰(S¹, M⁰(C¹(Z¹, S¹)))
1	C⁰(S¹, M⁰(C¹(Z¹, P¹(1))))
M(S∘_)	C⁰(S¹, M⁰(C¹(S¹, Z¹)))
M(S∘_)	C⁰(S¹, M⁰(C¹(S¹, S¹)))
M(S∘_)	C⁰(S¹, M⁰(C¹(S¹, P¹(1))))
1	C⁰(S¹, M⁰(C¹(P¹(1), Z¹)))
x	C⁰(S¹, M⁰(C¹(P¹(1), S¹)))
1	C⁰(S¹, M⁰(C¹(P¹(1), P¹(1))))
1	C⁰(S¹, C⁰(M⁰(M¹(Z²))))
1	C⁰(S¹, C⁰(M⁰(M¹(P²(1)))))
1	C⁰(S¹, C⁰(M⁰(M¹(P²(2)))))
1	C⁰(S¹, C⁰(M⁰(C¹(Z⁰))))
1	C⁰(S¹, C⁰(C⁰(M⁰(Z¹))))
M(S)	C⁰(S¹, C⁰(C⁰(M⁰(S¹))))
1	C⁰(S¹, C⁰(C⁰(M⁰(P¹(1)))))
1	C⁰(S¹, C⁰(C⁰(C⁰(Z⁰))))
1	C⁰(S¹, C⁰(C⁰(Z¹, Z⁰)))
2	C⁰(S¹, C⁰(C⁰(S¹, Z⁰)))
1	C⁰(S¹, C⁰(C⁰(P¹(1), Z⁰)))
1	C⁰(S¹, C⁰(Z¹, M⁰(Z¹)))
1	C⁰(S¹, C⁰(Z¹, M⁰(S¹)))
1	C⁰(S¹, C⁰(Z¹, M⁰(P¹(1))))
1	C⁰(S¹, C⁰(Z¹, C⁰(Z⁰)))
2	C⁰(S¹, C⁰(S¹, M⁰(Z¹)))
M(S)	C⁰(S¹, C⁰(S¹, M⁰(S¹)))
2	C⁰(S¹, C⁰(S¹, M⁰(P¹(1))))
2	C⁰(S¹, C⁰(S¹, C⁰(Z⁰)))
1	C⁰(S¹, C⁰(P¹(1), M⁰(Z¹)))
M(S)	C⁰(S¹, C⁰(P¹(1), M⁰(S¹)))
1	C⁰(S¹, C⁰(P¹(1), M⁰(P¹(1))))
1	C⁰(S¹, C⁰(P¹(1), C⁰(Z⁰)))
1	C⁰(S¹, C⁰(M¹(Z²), Z⁰))
1	C⁰(S¹, C⁰(M¹(P²(1)), Z⁰))
1	C⁰(S¹, C⁰(M¹(P²(2)), Z⁰))
1	C⁰(S¹, C⁰(C¹(Z⁰), Z⁰))
1	C⁰(S¹, C⁰(Z², Z⁰, Z⁰))
1	C⁰(S¹, C⁰(P²(1), Z⁰, Z⁰))
1	C⁰(S¹, C⁰(P²(2), Z⁰, Z⁰))
0	C⁰(P¹(1), M⁰(R¹(Z⁰, Z²)))
0	C⁰(P¹(1), M⁰(R¹(Z⁰, P²(1))))
0	C⁰(P¹(1), M⁰(R¹(Z⁰, P²(2))))
0	C⁰(P¹(1), M⁰(M¹(M²(Z³))))
0	C⁰(P¹(1), M⁰(M¹(M²(P³(1)))))
0	C⁰(P¹(1), M⁰(M¹(M²(P³(2)))))
0	C⁰(P¹(1), M⁰(M¹(M²(P³(3)))))
0	C⁰(P¹(1), M⁰(M¹(C²(Z⁰))))
0	C⁰(P¹(1), M⁰(C¹(M⁰(Z¹))))
M(S)	C⁰(P¹(1), M⁰(C¹(M⁰(S¹))))
0	C⁰(P¹(1), M⁰(C¹(M⁰(P¹(1)))))
0	C⁰(P¹(1), M⁰(C¹(C⁰(Z⁰))))
0	C⁰(P¹(1), M⁰(C¹(Z¹, Z¹)))
0	C⁰(P¹(1), M⁰(C¹(Z¹, S¹)))
0	C⁰(P¹(1), M⁰(C¹(Z¹, P¹(1))))
M(S∘_)	C⁰(P¹(1), M⁰(C¹(S¹, Z¹)))
M(S∘_)	C⁰(P¹(1), M⁰(C¹(S¹, S¹)))
M(S∘_)	C⁰(P¹(1), M⁰(C¹(S¹, P¹(1))))
0	C⁰(P¹(1), M⁰(C¹(P¹(1), Z¹)))
x	C⁰(P¹(1), M⁰(C¹(P¹(1), S¹)))
0	C⁰(P¹(1), M⁰(C¹(P¹(1), P¹(1))))
0	C⁰(P¹(1), C⁰(M⁰(M¹(Z²))))
0	C⁰(P¹(1), C⁰(M⁰(M¹(P²(1)))))
0	C⁰(P¹(1), C⁰(M⁰(M¹(P²(2)))))
0	C⁰(P¹(1), C⁰(M⁰(C¹(Z⁰))))
0	C⁰(P¹(1), C⁰(C⁰(M⁰(Z¹))))
M(S)	C⁰(P¹(1), C⁰(C⁰(M⁰(S¹))))
0	C⁰(P¹(1), C⁰(C⁰(M⁰(P¹(1)))))
0	C⁰(P¹(1), C⁰(C⁰(C⁰(Z⁰))))
0	C⁰(P¹(1), C⁰(C⁰(Z¹, Z⁰)))
1	C⁰(P¹(1), C⁰(C⁰(S¹, Z⁰)))
0	C⁰(P¹(1), C⁰(C⁰(P¹(1), Z⁰)))
0	C⁰(P¹(1), C⁰(Z¹, M⁰(Z¹)))
0	C⁰(P¹(1), C⁰(Z¹, M⁰(S¹)))
0	C⁰(P¹(1), C⁰(Z¹, M⁰(P¹(1))))
0	C⁰(P¹(1), C⁰(Z¹, C⁰(Z⁰)))
1	C⁰(P¹(1), C⁰(S¹, M⁰(Z¹)))
M(S)	C⁰(P¹(1), C⁰(S¹, M⁰(S¹)))
1	C⁰(P¹(1), C⁰(S¹, M⁰(P¹(1))))
1	C⁰(P¹(1), C⁰(S¹, C⁰(Z⁰)))
0	C⁰(P¹(1), C⁰(P¹(1), M⁰(Z¹)))
M(S)	C⁰(P¹(1), C⁰(P¹(1), M⁰(S¹)))
0	C⁰(P¹(1), C⁰(P¹(1), M⁰(P¹(1))))
0	C⁰(P¹(1), C⁰(P¹(1), C⁰(Z⁰)))
0	C⁰(P¹(1), C⁰(M¹(Z²), Z⁰))
0	C⁰(P¹(1), C⁰(M¹(P²(1)), Z⁰))
0	C⁰(P¹(1), C⁰(M¹(P²(2)), Z⁰))
0	C⁰(P¹(1), C⁰(C¹(Z⁰), Z⁰))
0	C⁰(P¹(1), C⁰(Z², Z⁰, Z⁰))
0	C⁰(P¹(1), C⁰(P²(1), Z⁰, Z⁰))
0	C⁰(P¹(1), C⁰(P²(2), Z⁰, Z⁰))
0	C⁰(M¹(Z²), M⁰(M¹(Z²)))
0	C⁰(M¹(Z²), M⁰(M¹(P²(1))))
0	C⁰(M¹(Z²), M⁰(M¹(P²(2))))
0	C⁰(M¹(Z²), M⁰(C¹(Z⁰)))
0	C⁰(M¹(Z²), C⁰(M⁰(Z¹)))
0	C⁰(M¹(Z²), C⁰(M⁰(S¹)))
0	C⁰(M¹(Z²), C⁰(M⁰(P¹(1))))
0	C⁰(M¹(Z²), C⁰(C⁰(Z⁰)))
0	C⁰(M¹(Z²), C⁰(Z¹, Z⁰))
0	C⁰(M¹(Z²), C⁰(S¹, Z⁰))
0	C⁰(M¹(Z²), C⁰(P¹(1), Z⁰))
0	C⁰(M¹(P²(1)), M⁰(M¹(Z²)))
0	C⁰(M¹(P²(1)), M⁰(M¹(P²(1))))
0	C⁰(M¹(P²(1)), M⁰(M¹(P²(2))))
0	C⁰(M¹(P²(1)), M⁰(C¹(Z⁰)))
0	C⁰(M¹(P²(1)), C⁰(M⁰(Z¹)))
0	C⁰(M¹(P²(1)), C⁰(M⁰(S¹)))
0	C⁰(M¹(P²(1)), C⁰(M⁰(P¹(1))))
0	C⁰(M¹(P²(1)), C⁰(C⁰(Z⁰)))
0	C⁰(M¹(P²(1)), C⁰(Z¹, Z⁰))
0	C⁰(M¹(P²(1)), C⁰(S¹, Z⁰))
0	C⁰(M¹(P²(1)), C⁰(P¹(1), Z⁰))
0	C⁰(M¹(P²(2)), M⁰(M¹(Z²)))
0	C⁰(M¹(P²(2)), M⁰(M¹(P²(1))))
0	C⁰(M¹(P²(2)), M⁰(M¹(P²(2))))
0	C⁰(M¹(P²(2)), M⁰(C¹(Z⁰)))
0	C⁰(M¹(P²(2)), C⁰(M⁰(Z¹)))
M(S)	C⁰(M¹(P²(2)), C⁰(M⁰(S¹)))
0	C⁰(M¹(P²(2)), C⁰(M⁰(P¹(1))))
0	C⁰(M¹(P²(2)), C⁰(C⁰(Z⁰)))
0	C⁰(M¹(P²(2)), C⁰(Z¹, Z⁰))
x	C⁰(M¹(P²(2)), C⁰(S¹, Z⁰))
0	C⁰(M¹(P²(2)), C⁰(P¹(1), Z⁰))
0	C⁰(C¹(Z⁰), M⁰(M¹(Z²)))
0	C⁰(C¹(Z⁰), M⁰(M¹(P²(1))))
0	C⁰(C¹(Z⁰), M⁰(M¹(P²(2))))
0	C⁰(C¹(Z⁰), M⁰(C¹(Z⁰)))
0	C⁰(C¹(Z⁰), C⁰(M⁰(Z¹)))
0	C⁰(C¹(Z⁰), C⁰(M⁰(S¹)))
0	C⁰(C¹(Z⁰), C⁰(M⁰(P¹(1))))
0	C⁰(C¹(Z⁰), C⁰(C⁰(Z⁰)))
0	C⁰(C¹(Z⁰), C⁰(Z¹, Z⁰))
0	C⁰(C¹(Z⁰), C⁰(S¹, Z⁰))
0	C⁰(C¹(Z⁰), C⁰(P¹(1), Z⁰))
0	C⁰(R¹(Z⁰, Z²), M⁰(Z¹))
M(S)	C⁰(R¹(Z⁰, Z²), M⁰(S¹))
0	C⁰(R¹(Z⁰, Z²), M⁰(P¹(1)))
0	C⁰(R¹(Z⁰, Z²), C⁰(Z⁰))
0	C⁰(R¹(Z⁰, P²(1)), M⁰(Z¹))
M(S)	C⁰(R¹(Z⁰, P²(1)), M⁰(S¹))
0	C⁰(R¹(Z⁰, P²(1)), M⁰(P¹(1)))
0	C⁰(R¹(Z⁰, P²(1)), C⁰(Z⁰))
0	C⁰(R¹(Z⁰, P²(2)), M⁰(Z¹))
M(S)	C⁰(R¹(Z⁰, P²(2)), M⁰(S¹))
0	C⁰(R¹(Z⁰, P²(2)), M⁰(P¹(1)))
0	C⁰(R¹(Z⁰, P²(2)), C⁰(Z⁰))
0	C⁰(M¹(M²(Z³)), M⁰(Z¹))
0	C⁰(M¹(M²(Z³)), M⁰(S¹))
0	C⁰(M¹(M²(Z³)), M⁰(P¹(1)))
0	C⁰(M¹(M²(Z³)), C⁰(Z⁰))
0	C⁰(M¹(M²(P³(1))), M⁰(Z¹))
0	C⁰(M¹(M²(P³(1))), M⁰(S¹))
0	C⁰(M¹(M²(P³(1))), M⁰(P¹(1)))
0	C⁰(M¹(M²(P³(1))), C⁰(Z⁰))
0	C⁰(M¹(M²(P³(2))), M⁰(Z¹))
0	C⁰(M¹(M²(P³(2))), M⁰(S¹))
0	C⁰(M¹(M²(P³(2))), M⁰(P¹(1)))
0	C⁰(M¹(M²(P³(2))), C⁰(Z⁰))
0	C⁰(M¹(M²(P³(3))), M⁰(Z¹))
M(S)	C⁰(M¹(M²(P³(3))), M⁰(S¹))
0	C⁰(M¹(M²(P³(3))), M⁰(P¹(1)))
0	C⁰(M¹(M²(P³(3))), C⁰(Z⁰))
0	C⁰(M¹(C²(Z⁰)), M⁰(Z¹))
0	C⁰(M¹(C²(Z⁰)), M⁰(S¹))
0	C⁰(M¹(C²(Z⁰)), M⁰(P¹(1)))
0	C⁰(M¹(C²(Z⁰)), C⁰(Z⁰))
0	C⁰(C¹(M⁰(Z¹)), M⁰(Z¹))
0	C⁰(C¹(M⁰(Z¹)), M⁰(S¹))
0	C⁰(C¹(M⁰(Z¹)), M⁰(P¹(1)))
0	C⁰(C¹(M⁰(Z¹)), C⁰(Z⁰))
M(S)	C⁰(C¹(M⁰(S¹)), M⁰(Z¹))
M(S)	C⁰(C¹(M⁰(S¹)), M⁰(S¹))
M(S)	C⁰(C¹(M⁰(S¹)), M⁰(P¹(1)))
M(S)	C⁰(C¹(M⁰(S¹)), C⁰(Z⁰))
0	C⁰(C¹(M⁰(P¹(1))), M⁰(Z¹))
0	C⁰(C¹(M⁰(P¹(1))), M⁰(S¹))
0	C⁰(C¹(M⁰(P¹(1))), M⁰(P¹(1)))
0	C⁰(C¹(M⁰(P¹(1))), C⁰(Z⁰))
0	C⁰(C¹(C⁰(Z⁰)), M⁰(Z¹))
0	C⁰(C¹(C⁰(Z⁰)), M⁰(S¹))
0	C⁰(C¹(C⁰(Z⁰)), M⁰(P¹(1)))
0	C⁰(C¹(C⁰(Z⁰)), C⁰(Z⁰))
0	C⁰(C¹(Z¹, Z¹), M⁰(Z¹))
0	C⁰(C¹(Z¹, Z¹), M⁰(S¹))
0	C⁰(C¹(Z¹, Z¹), M⁰(P¹(1)))
0	C⁰(C¹(Z¹, Z¹), C⁰(Z⁰))
0	C⁰(C¹(Z¹, S¹), M⁰(Z¹))
0	C⁰(C¹(Z¹, S¹), M⁰(S¹))
0	C⁰(C¹(Z¹, S¹), M⁰(P¹(1)))
0	C⁰(C¹(Z¹, S¹), C⁰(Z⁰))
0	C⁰(C¹(Z¹, P¹(1)), M⁰(Z¹))
0	C⁰(C¹(Z¹, P¹(1)), M⁰(S¹))
0	C⁰(C¹(Z¹, P¹(1)), M⁰(P¹(1)))
0	C⁰(C¹(Z¹, P¹(1)), C⁰(Z⁰))
1	C⁰(C¹(S¹, Z¹), M⁰(Z¹))
1	C⁰(C¹(S¹, Z¹), M⁰(S¹))
1	C⁰(C¹(S¹, Z¹), M⁰(P¹(1)))
1	C⁰(C¹(S¹, Z¹), C⁰(Z⁰))
2	C⁰(C¹(S¹, S¹), M⁰(Z¹))
M(S)	C⁰(C¹(S¹, S¹), M⁰(S¹))
2	C⁰(C¹(S¹, S¹), M⁰(P¹(1)))
2	C⁰(C¹(S¹, S¹), C⁰(Z⁰))
1	C⁰(C¹(S¹, P¹(1)), M⁰(Z¹))
M(S)	C⁰(C¹(S¹, P¹(1)), M⁰(S¹))
1	C⁰(C¹(S¹, P¹(1)), M⁰(P¹(1)))
1	C⁰(C¹(S¹, P¹(1)), C⁰(Z⁰))
0	C⁰(C¹(P¹(1), Z¹), M⁰(Z¹))
0	C⁰(C¹(P¹(1), Z¹), M⁰(S¹))
0	C⁰(C¹(P¹(1), Z¹), M⁰(P¹(1)))
0	C⁰(C¹(P¹(1), Z¹), C⁰(Z⁰))
1	C⁰(C¹(P¹(1), S¹), M⁰(Z¹))
M(S)	C⁰(C¹(P¹(1), S¹), M⁰(S¹))
1	C⁰(C¹(P¹(1), S¹), M⁰(P¹(1)))
1	C⁰(C¹(P¹(1), S¹), C⁰(Z⁰))
0	C⁰(C¹(P¹(1), P¹(1)), M⁰(Z¹))
M(S)	C⁰(C¹(P¹(1), P¹(1)), M⁰(S¹))
0	C⁰(C¹(P¹(1), P¹(1)), M⁰(P¹(1)))
0	C⁰(C¹(P¹(1), P¹(1)), C⁰(Z⁰))
0	C⁰(R¹(Z⁰, M²(Z³)), Z⁰)
0	C⁰(R¹(Z⁰, M²(P³(1))), Z⁰)
0	C⁰(R¹(Z⁰, M²(P³(2))), Z⁰)
0	C⁰(R¹(Z⁰, M²(P³(3))), Z⁰)
0	C⁰(R¹(Z⁰, C²(Z⁰)), Z⁰)
0	C⁰(R¹(M⁰(Z¹), Z²), Z⁰)
0	C⁰(R¹(M⁰(Z¹), P²(1)), Z⁰)
0	C⁰(R¹(M⁰(Z¹), P²(2)), Z⁰)
M(S)	C⁰(R¹(M⁰(S¹), Z²), Z⁰)
M(S)	C⁰(R¹(M⁰(S¹), P²(1)), Z⁰)
M(S)	C⁰(R¹(M⁰(S¹), P²(2)), Z⁰)
0	C⁰(R¹(M⁰(P¹(1)), Z²), Z⁰)
0	C⁰(R¹(M⁰(P¹(1)), P²(1)), Z⁰)
0	C⁰(R¹(M⁰(P¹(1)), P²(2)), Z⁰)
0	C⁰(R¹(C⁰(Z⁰), Z²), Z⁰)
0	C⁰(R¹(C⁰(Z⁰), P²(1)), Z⁰)
0	C⁰(R¹(C⁰(Z⁰), P²(2)), Z⁰)
0	C⁰(M¹(R²(Z¹, Z³)), Z⁰)
0	C⁰(M¹(R²(Z¹, P³(1))), Z⁰)
0	C⁰(M¹(R²(Z¹, P³(2))), Z⁰)
0	C⁰(M¹(R²(Z¹, P³(3))), Z⁰)
1	C⁰(M¹(R²(S¹, Z³)), Z⁰)
1	C⁰(M¹(R²(S¹, P³(1))), Z⁰)
x	C⁰(M¹(R²(S¹, P³(2))), Z⁰)
1	C⁰(M¹(R²(S¹, P³(3))), Z⁰)
0	C⁰(M¹(R²(P¹(1), Z³)), Z⁰)
0	C⁰(M¹(R²(P¹(1), P³(1))), Z⁰)
0	C⁰(M¹(R²(P¹(1), P³(2))), Z⁰)
0	C⁰(M¹(R²(P¹(1), P³(3))), Z⁰)
0	C⁰(M¹(M²(M³(Z⁴))), Z⁰)
0	C⁰(M¹(M²(M³(P⁴(1)))), Z⁰)
0	C⁰(M¹(M²(M³(P⁴(2)))), Z⁰)
0	C⁰(M¹(M²(M³(P⁴(3)))), Z⁰)
0	C⁰(M¹(M²(M³(P⁴(4)))), Z⁰)
0	C⁰(M¹(M²(C³(Z⁰))), Z⁰)
0	C⁰(M¹(C²(M⁰(Z¹))), Z⁰)
M(S)	C⁰(M¹(C²(M⁰(S¹))), Z⁰)
0	C⁰(M¹(C²(M⁰(P¹(1)))), Z⁰)
0	C⁰(M¹(C²(C⁰(Z⁰))), Z⁰)
0	C⁰(M¹(C²(Z¹, Z²)), Z⁰)
0	C⁰(M¹(C²(Z¹, P²(1))), Z⁰)
0	C⁰(M¹(C²(Z¹, P²(2))), Z⁰)
M(S∘_)	C⁰(M¹(C²(S¹, Z²)), Z⁰)
M(S∘_)	C⁰(M¹(C²(S¹, P²(1))), Z⁰)
M(S∘_)	C⁰(M¹(C²(S¹, P²(2))), Z⁰)
0	C⁰(M¹(C²(P¹(1), Z²)), Z⁰)
0	C⁰(M¹(C²(P¹(1), P²(1))), Z⁰)
0	C⁰(M¹(C²(P¹(1), P²(2))), Z⁰)
0	C⁰(C¹(M⁰(M¹(Z²))), Z⁰)
0	C⁰(C¹(M⁰(M¹(P²(1)))), Z⁰)
0	C⁰(C¹(M⁰(M¹(P²(2)))), Z⁰)
0	C⁰(C¹(M⁰(C¹(Z⁰))), Z⁰)
0	C⁰(C¹(C⁰(M⁰(Z¹))), Z⁰)
M(S)	C⁰(C¹(C⁰(M⁰(S¹))), Z⁰)
0	C⁰(C¹(C⁰(M⁰(P¹(1)))), Z⁰)
0	C⁰(C¹(C⁰(C⁰(Z⁰))), Z⁰)
0	C⁰(C¹(C⁰(Z¹, Z⁰)), Z⁰)
1	C⁰(C¹(C⁰(S¹, Z⁰)), Z⁰)
0	C⁰(C¹(C⁰(P¹(1), Z⁰)), Z⁰)
0	C⁰(C¹(Z¹, M¹(Z²)), Z⁰)
0	C⁰(C¹(Z¹, M¹(P²(1))), Z⁰)
0	C⁰(C¹(Z¹, M¹(P²(2))), Z⁰)
0	C⁰(C¹(Z¹, C¹(Z⁰)), Z⁰)
1	C⁰(C¹(S¹, M¹(Z²)), Z⁰)
1	C⁰(C¹(S¹, M¹(P²(1))), Z⁰)
1	C⁰(C¹(S¹, M¹(P²(2))), Z⁰)
1	C⁰(C¹(S¹, C¹(Z⁰)), Z⁰)
0	C⁰(C¹(P¹(1), M¹(Z²)), Z⁰)
0	C⁰(C¹(P¹(1), M¹(P²(1))), Z⁰)
0	C⁰(C¹(P¹(1), M¹(P²(2))), Z⁰)
0	C⁰(C¹(P¹(1), C¹(Z⁰)), Z⁰)
0	C⁰(C¹(M¹(Z²), Z¹), Z⁰)
0	C⁰(C¹(M¹(Z²), S¹), Z⁰)
0	C⁰(C¹(M¹(Z²), P¹(1)), Z⁰)
0	C⁰(C¹(M¹(P²(1)), Z¹), Z⁰)
0	C⁰(C¹(M¹(P²(1)), S¹), Z⁰)
0	C⁰(C¹(M¹(P²(1)), P¹(1)), Z⁰)
0	C⁰(C¹(M¹(P²(2)), Z¹), Z⁰)
x	C⁰(C¹(M¹(P²(2)), S¹), Z⁰)
0	C⁰(C¹(M¹(P²(2)), P¹(1)), Z⁰)
0	C⁰(C¹(C¹(Z⁰), Z¹), Z⁰)
0	C⁰(C¹(C¹(Z⁰), S¹), Z⁰)
0	C⁰(C¹(C¹(Z⁰), P¹(1)), Z⁰)
0	C⁰(C¹(Z², Z¹, Z¹), Z⁰)
0	C⁰(C¹(Z², Z¹, S¹), Z⁰)
0	C⁰(C¹(Z², Z¹, P¹(1)), Z⁰)
0	C⁰(C¹(Z², S¹, Z¹), Z⁰)
0	C⁰(C¹(Z², S¹, S¹), Z⁰)
0	C⁰(C¹(Z², S¹, P¹(1)), Z⁰)
0	C⁰(C¹(Z², P¹(1), Z¹), Z⁰)
0	C⁰(C¹(Z², P¹(1), S¹), Z⁰)
0	C⁰(C¹(Z², P¹(1), P¹(1)), Z⁰)
0	C⁰(C¹(P²(1), Z¹, Z¹), Z⁰)
0	C⁰(C¹(P²(1), Z¹, S¹), Z⁰)
0	C⁰(C¹(P²(1), Z¹, P¹(1)), Z⁰)
1	C⁰(C¹(P²(1), S¹, Z¹), Z⁰)
1	C⁰(C¹(P²(1), S¹, S¹), Z⁰)
1	C⁰(C¹(P²(1), S¹, P¹(1)), Z⁰)
0	C⁰(C¹(P²(1), P¹(1), Z¹), Z⁰)
0	C⁰(C¹(P²(1), P¹(1), S¹), Z⁰)
0	C⁰(C¹(P²(1), P¹(1), P¹(1)), Z⁰)
0	C⁰(C¹(P²(2), Z¹, Z¹), Z⁰)
1	C⁰(C¹(P²(2), Z¹, S¹), Z⁰)
0	C⁰(C¹(P²(2), Z¹, P¹(1)), Z⁰)
0	C⁰(C¹(P²(2), S¹, Z¹), Z⁰)
1	C⁰(C¹(P²(2), S¹, S¹), Z⁰)
0	C⁰(C¹(P²(2), S¹, P¹(1)), Z⁰)
0	C⁰(C¹(P²(2), P¹(1), Z¹), Z⁰)
1	C⁰(C¹(P²(2), P¹(1), S¹), Z⁰)
0	C⁰(C¹(P²(2), P¹(1), P¹(1)), Z⁰)
0	C⁰(Z², Z⁰, M⁰(M¹(Z²)))
0	C⁰(Z², Z⁰, M⁰(M¹(P²(1))))
0	C⁰(Z², Z⁰, M⁰(M¹(P²(2))))
0	C⁰(Z², Z⁰, M⁰(C¹(Z⁰)))
0	C⁰(Z², Z⁰, C⁰(M⁰(Z¹)))
0	C⁰(Z², Z⁰, C⁰(M⁰(S¹)))
0	C⁰(Z², Z⁰, C⁰(M⁰(P¹(1))))
0	C⁰(Z², Z⁰, C⁰(C⁰(Z⁰)))
0	C⁰(Z², Z⁰, C⁰(Z¹, Z⁰))
0	C⁰(Z², Z⁰, C⁰(S¹, Z⁰))
0	C⁰(Z², Z⁰, C⁰(P¹(1), Z⁰))
0	C⁰(Z², M⁰(Z¹), M⁰(Z¹))
0	C⁰(Z², M⁰(Z¹), M⁰(S¹))
0	C⁰(Z², M⁰(Z¹), M⁰(P¹(1)))
0	C⁰(Z², M⁰(Z¹), C⁰(Z⁰))
0	C⁰(Z², M⁰(S¹), M⁰(Z¹))
0	C⁰(Z², M⁰(S¹), M⁰(S¹))
0	C⁰(Z², M⁰(S¹), M⁰(P¹(1)))
0	C⁰(Z², M⁰(S¹), C⁰(Z⁰))
0	C⁰(Z², M⁰(P¹(1)), M⁰(Z¹))
0	C⁰(Z², M⁰(P¹(1)), M⁰(S¹))
0	C⁰(Z², M⁰(P¹(1)), M⁰(P¹(1)))
0	C⁰(Z², M⁰(P¹(1)), C⁰(Z⁰))
0	C⁰(Z², C⁰(Z⁰), M⁰(Z¹))
0	C⁰(Z², C⁰(Z⁰), M⁰(S¹))
0	C⁰(Z², C⁰(Z⁰), M⁰(P¹(1)))
0	C⁰(Z², C⁰(Z⁰), C⁰(Z⁰))
0	C⁰(Z², M⁰(M¹(Z²)), Z⁰)
0	C⁰(Z², M⁰(M¹(P²(1))), Z⁰)
0	C⁰(Z², M⁰(M¹(P²(2))), Z⁰)
0	C⁰(Z², M⁰(C¹(Z⁰)), Z⁰)
0	C⁰(Z², C⁰(M⁰(Z¹)), Z⁰)
0	C⁰(Z², C⁰(M⁰(S¹)), Z⁰)
0	C⁰(Z², C⁰(M⁰(P¹(1))), Z⁰)
0	C⁰(Z², C⁰(C⁰(Z⁰)), Z⁰)
0	C⁰(Z², C⁰(Z¹, Z⁰), Z⁰)
0	C⁰(Z², C⁰(S¹, Z⁰), Z⁰)
0	C⁰(Z², C⁰(P¹(1), Z⁰), Z⁰)
0	C⁰(P²(1), Z⁰, M⁰(M¹(Z²)))
0	C⁰(P²(1), Z⁰, M⁰(M¹(P²(1))))
0	C⁰(P²(1), Z⁰, M⁰(M¹(P²(2))))
0	C⁰(P²(1), Z⁰, M⁰(C¹(Z⁰)))
0	C⁰(P²(1), Z⁰, C⁰(M⁰(Z¹)))
0	C⁰(P²(1), Z⁰, C⁰(M⁰(S¹)))
0	C⁰(P²(1), Z⁰, C⁰(M⁰(P¹(1))))
0	C⁰(P²(1), Z⁰, C⁰(C⁰(Z⁰)))
0	C⁰(P²(1), Z⁰, C⁰(Z¹, Z⁰))
0	C⁰(P²(1), Z⁰, C⁰(S¹, Z⁰))
0	C⁰(P²(1), Z⁰, C⁰(P¹(1), Z⁰))
0	C⁰(P²(1), M⁰(Z¹), M⁰(Z¹))
0	C⁰(P²(1), M⁰(Z¹), M⁰(S¹))
0	C⁰(P²(1), M⁰(Z¹), M⁰(P¹(1)))
0	C⁰(P²(1), M⁰(Z¹), C⁰(Z⁰))
M(S)	C⁰(P²(1), M⁰(S¹), M⁰(Z¹))
M(S)	C⁰(P²(1), M⁰(S¹), M⁰(S¹))
M(S)	C⁰(P²(1), M⁰(S¹), M⁰(P¹(1)))
M(S)	C⁰(P²(1), M⁰(S¹), C⁰(Z⁰))
0	C⁰(P²(1), M⁰(P¹(1)), M⁰(Z¹))
0	C⁰(P²(1), M⁰(P¹(1)), M⁰(S¹))
0	C⁰(P²(1), M⁰(P¹(1)), M⁰(P¹(1)))
0	C⁰(P²(1), M⁰(P¹(1)), C⁰(Z⁰))
0	C⁰(P²(1), C⁰(Z⁰), M⁰(Z¹))
0	C⁰(P²(1), C⁰(Z⁰), M⁰(S¹))
0	C⁰(P²(1), C⁰(Z⁰), M⁰(P¹(1)))
0	C⁰(P²(1), C⁰(Z⁰), C⁰(Z⁰))
0	C⁰(P²(1), M⁰(M¹(Z²)), Z⁰)
0	C⁰(P²(1), M⁰(M¹(P²(1))), Z⁰)
0	C⁰(P²(1), M⁰(M¹(P²(2))), Z⁰)
0	C⁰(P²(1), M⁰(C¹(Z⁰)), Z⁰)
0	C⁰(P²(1), C⁰(M⁰(Z¹)), Z⁰)
M(S)	C⁰(P²(1), C⁰(M⁰(S¹)), Z⁰)
0	C⁰(P²(1), C⁰(M⁰(P¹(1))), Z⁰)
0	C⁰(P²(1), C⁰(C⁰(Z⁰)), Z⁰)
0	C⁰(P²(1), C⁰(Z¹, Z⁰), Z⁰)
1	C⁰(P²(1), C⁰(S¹, Z⁰), Z⁰)
0	C⁰(P²(1), C⁰(P¹(1), Z⁰), Z⁰)
0	C⁰(P²(2), Z⁰, M⁰(M¹(Z²)))
0	C⁰(P²(2), Z⁰, M⁰(M¹(P²(1))))
0	C⁰(P²(2), Z⁰, M⁰(M¹(P²(2))))
0	C⁰(P²(2), Z⁰, M⁰(C¹(Z⁰)))
0	C⁰(P²(2), Z⁰, C⁰(M⁰(Z¹)))
M(S)	C⁰(P²(2), Z⁰, C⁰(M⁰(S¹)))
0	C⁰(P²(2), Z⁰, C⁰(M⁰(P¹(1))))
0	C⁰(P²(2), Z⁰, C⁰(C⁰(Z⁰)))
0	C⁰(P²(2), Z⁰, C⁰(Z¹, Z⁰))
1	C⁰(P²(2), Z⁰, C⁰(S¹, Z⁰))
0	C⁰(P²(2), Z⁰, C⁰(P¹(1), Z⁰))
0	C⁰(P²(2), M⁰(Z¹), M⁰(Z¹))
M(S)	C⁰(P²(2), M⁰(Z¹), M⁰(S¹))
0	C⁰(P²(2), M⁰(Z¹), M⁰(P¹(1)))
0	C⁰(P²(2), M⁰(Z¹), C⁰(Z⁰))
0	C⁰(P²(2), M⁰(S¹), M⁰(Z¹))
M(S)	C⁰(P²(2), M⁰(S¹), M⁰(S¹))
0	C⁰(P²(2), M⁰(S¹), M⁰(P¹(1)))
0	C⁰(P²(2), M⁰(S¹), C⁰(Z⁰))
0	C⁰(P²(2), M⁰(P¹(1)), M⁰(Z¹))
M(S)	C⁰(P²(2), M⁰(P¹(1)), M⁰(S¹))
0	C⁰(P²(2), M⁰(P¹(1)), M⁰(P¹(1)))
0	C⁰(P²(2), M⁰(P¹(1)), C⁰(Z⁰))
0	C⁰(P²(2), C⁰(Z⁰), M⁰(Z¹))
M(S)	C⁰(P²(2), C⁰(Z⁰), M⁰(S¹))
0	C⁰(P²(2), C⁰(Z⁰), M⁰(P¹(1)))
0	C⁰(P²(2), C⁰(Z⁰), C⁰(Z⁰))
0	C⁰(P²(2), M⁰(M¹(Z²)), Z⁰)
0	C⁰(P²(2), M⁰(M¹(P²(1))), Z⁰)
0	C⁰(P²(2), M⁰(M¹(P²(2))), Z⁰)
0	C⁰(P²(2), M⁰(C¹(Z⁰)), Z⁰)
0	C⁰(P²(2), C⁰(M⁰(Z¹)), Z⁰)
0	C⁰(P²(2), C⁰(M⁰(S¹)), Z⁰)
0	C⁰(P²(2), C⁰(M⁰(P¹(1))), Z⁰)
0	C⁰(P²(2), C⁰(C⁰(Z⁰)), Z⁰)
0	C⁰(P²(2), C⁰(Z¹, Z⁰), Z⁰)
0	C⁰(P²(2), C⁰(S¹, Z⁰), Z⁰)
0	C⁰(P²(2), C⁰(P¹(1), Z⁰), Z⁰)
0	C⁰(M²(Z³), Z⁰, M⁰(Z¹))
0	C⁰(M²(Z³), Z⁰, M⁰(S¹))
0	C⁰(M²(Z³), Z⁰, M⁰(P¹(1)))
0	C⁰(M²(Z³), Z⁰, C⁰(Z⁰))
0	C⁰(M²(Z³), M⁰(Z¹), Z⁰)
0	C⁰(M²(Z³), M⁰(S¹), Z⁰)
0	C⁰(M²(Z³), M⁰(P¹(1)), Z⁰)
0	C⁰(M²(Z³), C⁰(Z⁰), Z⁰)
0	C⁰(M²(P³(1)), Z⁰, M⁰(Z¹))
0	C⁰(M²(P³(1)), Z⁰, M⁰(S¹))
0	C⁰(M²(P³(1)), Z⁰, M⁰(P¹(1)))
0	C⁰(M²(P³(1)), Z⁰, C⁰(Z⁰))
0	C⁰(M²(P³(1)), M⁰(Z¹), Z⁰)
0	C⁰(M²(P³(1)), M⁰(S¹), Z⁰)
0	C⁰(M²(P³(1)), M⁰(P¹(1)), Z⁰)
0	C⁰(M²(P³(1)), C⁰(Z⁰), Z⁰)
0	C⁰(M²(P³(2)), Z⁰, M⁰(Z¹))
0	C⁰(M²(P³(2)), Z⁰, M⁰(S¹))
0	C⁰(M²(P³(2)), Z⁰, M⁰(P¹(1)))
0	C⁰(M²(P³(2)), Z⁰, C⁰(Z⁰))
0	C⁰(M²(P³(2)), M⁰(Z¹), Z⁰)
M(S)	C⁰(M²(P³(2)), M⁰(S¹), Z⁰)
0	C⁰(M²(P³(2)), M⁰(P¹(1)), Z⁰)
0	C⁰(M²(P³(2)), C⁰(Z⁰), Z⁰)
0	C⁰(M²(P³(3)), Z⁰, M⁰(Z¹))
M(S)	C⁰(M²(P³(3)), Z⁰, M⁰(S¹))
0	C⁰(M²(P³(3)), Z⁰, M⁰(P¹(1)))
0	C⁰(M²(P³(3)), Z⁰, C⁰(Z⁰))
0	C⁰(M²(P³(3)), M⁰(Z¹), Z⁰)
0	C⁰(M²(P³(3)), M⁰(S¹), Z⁰)
0	C⁰(M²(P³(3)), M⁰(P¹(1)), Z⁰)
0	C⁰(M²(P³(3)), C⁰(Z⁰), Z⁰)
0	C⁰(C²(Z⁰), Z⁰, M⁰(Z¹))
0	C⁰(C²(Z⁰), Z⁰, M⁰(S¹))
0	C⁰(C²(Z⁰), Z⁰, M⁰(P¹(1)))
0	C⁰(C²(Z⁰), Z⁰, C⁰(Z⁰))
0	C⁰(C²(Z⁰), M⁰(Z¹), Z⁰)
0	C⁰(C²(Z⁰), M⁰(S¹), Z⁰)
0	C⁰(C²(Z⁰), M⁰(P¹(1)), Z⁰)
0	C⁰(C²(Z⁰), C⁰(Z⁰), Z⁰)
0	C⁰(R²(Z¹, Z³), Z⁰, Z⁰)
0	C⁰(R²(Z¹, P³(1)), Z⁰, Z⁰)
0	C⁰(R²(Z¹, P³(2)), Z⁰, Z⁰)
0	C⁰(R²(Z¹, P³(3)), Z⁰, Z⁰)
1	C⁰(R²(S¹, Z³), Z⁰, Z⁰)
1	C⁰(R²(S¹, P³(1)), Z⁰, Z⁰)
1	C⁰(R²(S¹, P³(2)), Z⁰, Z⁰)
1	C⁰(R²(S¹, P³(3)), Z⁰, Z⁰)
0	C⁰(R²(P¹(1), Z³), Z⁰, Z⁰)
0	C⁰(R²(P¹(1), P³(1)), Z⁰, Z⁰)
0	C⁰(R²(P¹(1), P³(2)), Z⁰, Z⁰)
0	C⁰(R²(P¹(1), P³(3)), Z⁰, Z⁰)
0	C⁰(M²(M³(Z⁴)), Z⁰, Z⁰)
0	C⁰(M²(M³(P⁴(1))), Z⁰, Z⁰)
0	C⁰(M²(M³(P⁴(2))), Z⁰, Z⁰)
0	C⁰(M²(M³(P⁴(3))), Z⁰, Z⁰)
0	C⁰(M²(M³(P⁴(4))), Z⁰, Z⁰)
0	C⁰(M²(C³(Z⁰)), Z⁰, Z⁰)
0	C⁰(C²(M⁰(Z¹)), Z⁰, Z⁰)
M(S)	C⁰(C²(M⁰(S¹)), Z⁰, Z⁰)
0	C⁰(C²(M⁰(P¹(1))), Z⁰, Z⁰)
0	C⁰(C²(C⁰(Z⁰)), Z⁰, Z⁰)
0	C⁰(C²(Z¹, Z²), Z⁰, Z⁰)
0	C⁰(C²(Z¹, P²(1)), Z⁰, Z⁰)
0	C⁰(C²(Z¹, P²(2)), Z⁰, Z⁰)
1	C⁰(C²(S¹, Z²), Z⁰, Z⁰)
1	C⁰(C²(S¹, P²(1)), Z⁰, Z⁰)
1	C⁰(C²(S¹, P²(2)), Z⁰, Z⁰)
0	C⁰(C²(P¹(1), Z²), Z⁰, Z⁰)
0	C⁰(C²(P¹(1), P²(1)), Z⁰, Z⁰)
0	C⁰(C²(P¹(1), P²(2)), Z⁰, Z⁰)
0	C⁰(Z³, Z⁰, Z⁰, M⁰(Z¹))
0	C⁰(Z³, Z⁰, Z⁰, M⁰(S¹))
0	C⁰(Z³, Z⁰, Z⁰, M⁰(P¹(1)))
0	C⁰(Z³, Z⁰, Z⁰, C⁰(Z⁰))
0	C⁰(Z³, Z⁰, M⁰(Z¹), Z⁰)
0	C⁰(Z³, Z⁰, M⁰(S¹), Z⁰)
0	C⁰(Z³, Z⁰, M⁰(P¹(1)), Z⁰)
0	C⁰(Z³, Z⁰, C⁰(Z⁰), Z⁰)
0	C⁰(Z³, M⁰(Z¹), Z⁰, Z⁰)
0	C⁰(Z³, M⁰(S¹), Z⁰, Z⁰)
0	C⁰(Z³, M⁰(P¹(1)), Z⁰, Z⁰)
0	C⁰(Z³, C⁰(Z⁰), Z⁰, Z⁰)
0	C⁰(P³(1), Z⁰, Z⁰, M⁰(Z¹))
0	C⁰(P³(1), Z⁰, Z⁰, M⁰(S¹))
0	C⁰(P³(1), Z⁰, Z⁰, M⁰(P¹(1)))
0	C⁰(P³(1), Z⁰, Z⁰, C⁰(Z⁰))
0	C⁰(P³(1), Z⁰, M⁰(Z¹), Z⁰)
0	C⁰(P³(1), Z⁰, M⁰(S¹), Z⁰)
0	C⁰(P³(1), Z⁰, M⁰(P¹(1)), Z⁰)
0	C⁰(P³(1), Z⁰, C⁰(Z⁰), Z⁰)
0	C⁰(P³(1), M⁰(Z¹), Z⁰, Z⁰)
M(S)	C⁰(P³(1), M⁰(S¹), Z⁰, Z⁰)
0	C⁰(P³(1), M⁰(P¹(1)), Z⁰, Z⁰)
0	C⁰(P³(1), C⁰(Z⁰), Z⁰, Z⁰)
0	C⁰(P³(2), Z⁰, Z⁰, M⁰(Z¹))
0	C⁰(P³(2), Z⁰, Z⁰, M⁰(S¹))
0	C⁰(P³(2), Z⁰, Z⁰, M⁰(P¹(1)))
0	C⁰(P³(2), Z⁰, Z⁰, C⁰(Z⁰))
0	C⁰(P³(2), Z⁰, M⁰(Z¹), Z⁰)
M(S)	C⁰(P³(2), Z⁰, M⁰(S¹), Z⁰)
0	C⁰(P³(2), Z⁰, M⁰(P¹(1)), Z⁰)
0	C⁰(P³(2), Z⁰, C⁰(Z⁰), Z⁰)
0	C⁰(P³(2), M⁰(Z¹), Z⁰, Z⁰)
0	C⁰(P³(2), M⁰(S¹), Z⁰, Z⁰)
0	C⁰(P³(2), M⁰(P¹(1)), Z⁰, Z⁰)
0	C⁰(P³(2), C⁰(Z⁰), Z⁰, Z⁰)
0	C⁰(P³(3), Z⁰, Z⁰, M⁰(Z¹))
M(S)	C⁰(P³(3), Z⁰, Z⁰, M⁰(S¹))
0	C⁰(P³(3), Z⁰, Z⁰, M⁰(P¹(1)))
0	C⁰(P³(3), Z⁰, Z⁰, C⁰(Z⁰))
0	C⁰(P³(3), Z⁰, M⁰(Z¹), Z⁰)
0	C⁰(P³(3), Z⁰, M⁰(S¹), Z⁰)
0	C⁰(P³(3), Z⁰, M⁰(P¹(1)), Z⁰)
0	C⁰(P³(3), Z⁰, C⁰(Z⁰), Z⁰)
0	C⁰(P³(3), M⁰(Z¹), Z⁰, Z⁰)
0	C⁰(P³(3), M⁰(S¹), Z⁰, Z⁰)
0	C⁰(P³(3), M⁰(P¹(1)), Z⁰, Z⁰)
0	C⁰(P³(3), C⁰(Z⁰), Z⁰, Z⁰)
0	C⁰(M³(Z⁴), Z⁰, Z⁰, Z⁰)
0	C⁰(M³(P⁴(1)), Z⁰, Z⁰, Z⁰)
0	C⁰(M³(P⁴(2)), Z⁰, Z⁰, Z⁰)
0	C⁰(M³(P⁴(3)), Z⁰, Z⁰, Z⁰)
0	C⁰(M³(P⁴(4)), Z⁰, Z⁰, Z⁰)
0	C⁰(C³(Z⁰), Z⁰, Z⁰, Z⁰)
0	C⁰(Z⁴, Z⁰, Z⁰, Z⁰, Z⁰)
0	C⁰(P⁴(1), Z⁰, Z⁰, Z⁰, Z⁰)
0	C⁰(P⁴(2), Z⁰, Z⁰, Z⁰, Z⁰)
0	C⁰(P⁴(3), Z⁰, Z⁰, Z⁰, Z⁰)
0	C⁰(P⁴(4), Z⁰, Z⁰, Z⁰, Z⁰)