union
X
empty
X
union
empty
X
X
0
z
z
U101
tt
X
Y
U102
isBin
Y
X
Y
U102
tt
X
Y
0
mult
X
Y
U11
tt
tt
U111
tt
X
Y
U112
isBin
Y
X
Y
U112
tt
X
Y
plus
0
mult
X
Y
Y
U121
tt
X
X
U131
tt
X
Y
U132
isBin
Y
X
Y
U132
tt
X
Y
0
plus
X
Y
U141
tt
X
Y
U142
isBin
Y
X
Y
U142
tt
X
Y
1
plus
X
Y
U151
tt
X
Y
U152
isBin
Y
X
Y
U152
tt
X
Y
0
plus
plus
X
Y
1
z
U161
tt
X
X
U171
tt
A
B
U172
isBag
B
A
B
U172
tt
A
B
mult
prod
A
prod
B
U181
tt
X
X
U191
tt
A
B
U192
isBag
B
A
B
U192
tt
A
B
plus
sum
A
sum
B
U21
tt
V2
U22
isBag
V2
U22
tt
tt
U31
tt
tt
U41
tt
tt
U51
tt
V2
U52
isBin
V2
U52
tt
tt
U61
tt
V2
U62
isBin
V2
U62
tt
tt
U71
tt
tt
U81
tt
tt
U91
tt
z
isBag
empty
tt
isBag
singl
V1
U11
isBin
V1
isBag
union
V1
V2
U21
isBag
V1
V2
isBin
z
tt
isBin
0
V1
U31
isBin
V1
isBin
1
V1
U41
isBin
V1
isBin
mult
V1
V2
U51
isBin
V1
V2
isBin
plus
V1
V2
U61
isBin
V1
V2
isBin
prod
V1
U71
isBag
V1
isBin
sum
V1
U81
isBag
V1
mult
z
X
U91
isBin
X
mult
0
X
Y
U101
isBin
X
X
Y
mult
1
X
Y
U111
isBin
X
X
Y
plus
z
X
U121
isBin
X
X
plus
0
X
0
Y
U131
isBin
X
X
Y
plus
0
X
1
Y
U141
isBin
X
X
Y
plus
1
X
1
Y
U151
isBin
X
X
Y
prod
empty
1
z
prod
singl
X
U161
isBin
X
X
prod
union
A
B
U171
isBag
A
A
B
sum
empty
0
z
sum
singl
X
U181
isBin
X
X
sum
union
A
B
U191
isBag
A
A
B
union
2
AC
empty
0
0
1
z
0
U101
3
tt
0
U102
3
isBin
1
mult
2
AC
U11
1
U111
3
U112
3
plus
2
AC
U121
2
U131
3
U132
3
U141
3
U142
3
1
1
U151
3
U152
3
U161
2
U171
3
U172
3
isBag
1
prod
1
U181
2
U191
3
U192
3
sum
1
U21
2
U22
1
U31
1
U41
1
U51
2
U52
1
U61
2
U62
1
U71
1
U81
1
U91
1
singl
1
FULL
./TRS/CSR_Maude/bag-sum-prod/BAG_nokinds-noand.trs