size	arity	expr	simp
3	1	R^1(Z^0, Z^2)	Z
3	1	R^1(Z^0, P^2(2))	Z
3	1	M^1(M^2(Z^3))	Z
3	1	M^1(M^2(P^3(1)))	Z
3	1	M^1(M^2(P^3(2)))	Z
3	1	M^1(M^2(P^3(3)))	Z
3	1	M^1(C^2(Z^0))	Z
3	1	C^1(M^0(Z^1))	Z
3	1	C^1(M^0(S^1))	∞
3	1	C^1(M^0(P^1(1)))	Z
3	1	C^1(C^0(Z^0))	Z
3	1	C^1(Z^1, Z^1)	Z
3	1	C^1(Z^1, S^1)	Z
3	1	C^1(Z^1, P^1(1))	Z
3	1	C^1(S^1, P^1(1))	S
3	1	C^1(P^1(1), Z^1)	Z
3	1	C^1(P^1(1), S^1)	S
3	1	C^1(P^1(1), P^1(1))	P^1(1)
3	2	C^2(Z^1, Z^2)	Z
3	2	C^2(Z^1, P^2(1))	Z
3	2	C^2(Z^1, P^2(2))	Z
3	2	C^2(P^1(1), Z^2)	Z
3	2	C^2(P^1(1), P^2(1))	P^2(1)
3	2	C^2(P^1(1), P^2(2))	P^2(2)
3	2	R^2(Z^1, Z^3)	Z
3	2	R^2(Z^1, P^3(2))	Z
3	2	R^2(S^1, P^3(2))	C^2(S^1, P^2(2))
3	2	R^2(P^1(1), P^3(2))	P^2(2)
3	2	R^2(P^1(1), P^3(3))	P^2(2)
3	3	R^3(Z^2, Z^4)	Z
3	3	R^3(Z^2, P^4(2))	Z
3	3	R^3(P^2(1), P^4(2))	P^3(2)
3	3	R^3(P^2(1), P^4(3))	P^3(2)
3	3	R^3(P^2(2), P^4(2))	P^3(3)
3	3	R^3(P^2(2), P^4(4))	P^3(3)
3	3	C^3(Z^1, Z^3)	Z
3	3	C^3(Z^1, P^3(1))	Z
3	3	C^3(Z^1, P^3(2))	Z
3	3	C^3(Z^1, P^3(3))	Z
3	3	C^3(P^1(1), Z^3)	Z
3	3	C^3(P^1(1), P^3(1))	P^3(1)
3	3	C^3(P^1(1), P^3(2))	P^3(2)
3	3	C^3(P^1(1), P^3(3))	P^3(3)
4	1	M^1(R^2(Z^1, P^3(1)))	Z
4	1	M^1(R^2(Z^1, P^3(3)))	Z
4	1	M^1(R^2(S^1, Z^3))	C(S, Z^1)
4	1	M^1(R^2(S^1, P^3(1)))	C(S, Z^1)
4	1	M^1(R^2(S^1, P^3(3)))	C(S, Z^1)
4	1	M^1(R^2(P^1(1), P^3(1)))	M^1(R^2(P^1(1), Z^3))
4	1	M^1(C^2(S^1, Z^2))	∞
4	1	M^1(C^2(S^1, P^2(1)))	∞
4	1	M^1(C^2(S^1, P^2(2)))	∞
4	2	M^2(R^3(Z^2, P^4(1)))	Z
4	2	M^2(R^3(Z^2, P^4(3)))	Z
4	2	M^2(R^3(Z^2, P^4(4)))	Z
4	2	M^2(R^3(P^2(1), P^4(1)))	M^2(R^3(P^2(1), Z^4))
4	2	M^2(R^3(P^2(1), P^4(4)))	M^2(R^3(P^2(1), Z^4))
4	2	M^2(R^3(P^2(2), P^4(1)))	M^2(R^3(P^2(2), Z^4))
4	2	M^2(R^3(P^2(2), P^4(3)))	M^2(R^3(P^2(2), Z^4))
4	2	M^2(C^3(S^1, Z^3))	∞
4	2	M^2(C^3(S^1, P^3(1)))	∞
4	2	M^2(C^3(S^1, P^3(2)))	∞
4	2	M^2(C^3(S^1, P^3(3)))	∞
4	3	M^3(R^4(Z^3, Z^5))	Z
4	3	M^3(R^4(Z^3, P^5(1)))	Z
4	3	M^3(R^4(Z^3, P^5(2)))	Z
4	3	M^3(R^4(Z^3, P^5(3)))	Z
4	3	M^3(R^4(Z^3, P^5(4)))	Z
4	3	M^3(R^4(Z^3, P^5(5)))	Z
4	3	M^3(R^4(P^3(1), P^5(1)))	M^3(R^4(P^3(1), Z^5))
4	3	M^3(R^4(P^3(1), P^5(2)))	Z
4	3	M^3(R^4(P^3(1), P^5(3)))	Z
4	3	M^3(R^4(P^3(1), P^5(4)))	M^3(R^4(P^3(1), Z^5))
4	3	M^3(R^4(P^3(1), P^5(5)))	M^3(R^4(P^3(1), Z^5))
4	3	M^3(R^4(P^3(2), P^5(1)))	M^3(R^4(P^3(2), Z^5))
4	3	M^3(R^4(P^3(2), P^5(2)))	Z
4	3	M^3(R^4(P^3(2), P^5(3)))	M^3(R^4(P^3(2), Z^5))
4	3	M^3(R^4(P^3(2), P^5(4)))	Z
4	3	M^3(R^4(P^3(2), P^5(5)))	M^3(R^4(P^3(2), Z^5))
4	3	M^3(R^4(P^3(3), P^5(1)))	M^3(R^4(P^3(3), Z^5))
4	3	M^3(R^4(P^3(3), P^5(2)))	Z
4	3	M^3(R^4(P^3(3), P^5(3)))	M^3(R^4(P^3(3), Z^5))
4	3	M^3(R^4(P^3(3), P^5(4)))	M^3(R^4(P^3(3), Z^5))
4	3	M^3(R^4(P^3(3), P^5(5)))	Z
4	3	M^3(C^4(S^1, Z^4))	∞
4	3	M^3(C^4(S^1, P^4(1)))	∞
4	3	M^3(C^4(S^1, P^4(2)))	∞
4	3	M^3(C^4(S^1, P^4(3)))	∞
4	3	M^3(C^4(S^1, P^4(4)))	∞