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