1x	M⁰(R¹(C⁰(S¹, Z⁰), P²(2)))
2*	M⁰(C¹(P¹(1), C¹(S¹, Z¹)))
3*	M⁰(C¹(P¹(1), C¹(S¹, S¹)))
4*	M⁰(C¹(C¹(S¹, Z¹), Z¹))
5*	M⁰(C¹(C¹(S¹, Z¹), S¹))
6*	M⁰(C¹(C¹(S¹, Z¹), P¹(1)))
7*	M⁰(C¹(C¹(S¹, S¹), Z¹))
8*	M⁰(C¹(C¹(S¹, S¹), S¹))
9*	M⁰(C¹(C¹(S¹, S¹), P¹(1)))
10*	M⁰(C¹(P³(1), S¹, Z¹, Z¹))
11*	M⁰(C¹(P³(1), S¹, Z¹, S¹))
12*	M⁰(C¹(P³(1), S¹, Z¹, P¹(1)))
13*	M⁰(C¹(P³(1), S¹, S¹, Z¹))
14*	M⁰(C¹(P³(1), S¹, S¹, S¹))
15*	M⁰(C¹(P³(1), S¹, S¹, P¹(1)))
16*	M⁰(C¹(P³(1), S¹, P¹(1), Z¹))
17*	M⁰(C¹(P³(1), S¹, P¹(1), S¹))
18*	M⁰(C¹(P³(1), S¹, P¹(1), P¹(1)))
19*	M⁰(C¹(P³(2), Z¹, S¹, Z¹))
20*	M⁰(C¹(P³(2), Z¹, S¹, S¹))
21*	M⁰(C¹(P³(2), Z¹, S¹, P¹(1)))
22*	M⁰(C¹(P³(2), S¹, S¹, Z¹))
23*	M⁰(C¹(P³(2), S¹, S¹, S¹))
24*	M⁰(C¹(P³(2), S¹, S¹, P¹(1)))
25*	M⁰(C¹(P³(2), P¹(1), S¹, Z¹))
26*	M⁰(C¹(P³(2), P¹(1), S¹, S¹))
27*	M⁰(C¹(P³(2), P¹(1), S¹, P¹(1)))
28*	M⁰(C¹(P³(3), Z¹, Z¹, S¹))
29*	M⁰(C¹(P³(3), Z¹, S¹, S¹))
30*	M⁰(C¹(P³(3), Z¹, P¹(1), S¹))
31*	M⁰(C¹(P³(3), S¹, Z¹, S¹))
32*	M⁰(C¹(P³(3), S¹, S¹, S¹))
33*	M⁰(C¹(P³(3), S¹, P¹(1), S¹))
34*	M⁰(C¹(P³(3), P¹(1), Z¹, S¹))
35*	M⁰(C¹(P³(3), P¹(1), S¹, S¹))
36*	M⁰(C¹(P³(3), P¹(1), P¹(1), S¹))
37x	C⁰(M¹(R²(S¹, P³(2))), Z⁰)