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