union
X
empty
X
union
empty
X
X
0
z
z
U11
tt
X
Y
U12
tt
X
Y
U12
tt
X
Y
0
mult
X
Y
U21
tt
X
Y
U22
tt
X
Y
U22
tt
X
Y
plus
0
mult
X
Y
Y
U31
tt
X
Y
U32
tt
X
Y
U32
tt
X
Y
0
plus
X
Y
U41
tt
X
Y
U42
tt
X
Y
U42
tt
X
Y
1
plus
X
Y
U51
tt
X
Y
U52
tt
X
Y
U52
tt
X
Y
0
plus
plus
X
Y
1
z
U61
tt
A
B
U62
tt
A
B
U62
tt
A
B
mult
prod
A
prod
B
U71
tt
A
B
U72
tt
A
B
U72
tt
A
B
plus
sum
A
sum
B
mult
z
X
z
mult
0
X
Y
U11
tt
X
Y
mult
1
X
Y
U21
tt
X
Y
plus
z
X
X
plus
0
X
0
Y
U31
tt
X
Y
plus
0
X
1
Y
U41
tt
X
Y
plus
1
X
1
Y
U51
tt
X
Y
prod
empty
1
z
prod
singl
X
X
prod
union
A
B
U61
tt
A
B
sum
empty
0
z
sum
singl
X
X
sum
union
A
B
U71
tt
A
B
union
2
AC
empty
0
0
1
z
0
U11
3
tt
0
U12
3
mult
2
AC
U21
3
U22
3
plus
2
AC
U31
3
U32
3
U41
3
U42
3
1
1
U51
3
U52
3
U61
3
U62
3
prod
1
U71
3
U72
3
sum
1
singl
1
FULL
./TRS/CSR_Maude/bag-sum-prod/BAG_nosorts-noand.trs