union
X
empty
X
union
empty
X
X
0
z
z
and
tt
X
X
mult
z
X
z
mult
0
X
Y
0
mult
X
Y
mult
1
X
Y
plus
0
mult
X
Y
Y
plus
z
X
X
plus
0
X
0
Y
0
plus
X
Y
plus
0
X
1
Y
1
plus
X
Y
plus
1
X
1
Y
0
plus
plus
X
Y
1
z
prod
empty
1
z
prod
singl
X
X
prod
union
A
B
mult
prod
A
prod
B
sum
empty
0
z
sum
singl
X
X
sum
union
A
B
plus
sum
A
sum
B
union
2
AC
empty
0
0
1
z
0
and
2
tt
0
mult
2
AC
1
1
plus
2
AC
prod
1
singl
1
sum
1
FULL
./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts.trs