0
#
#
+
#
x
x
+
0
x
0
y
0
+
x
y
+
0
x
1
y
1
+
x
y
+
1
x
1
y
0
+
1
#
+
x
y
*
#
x
#
*
0
x
y
0
*
x
y
*
1
x
y
+
0
*
x
y
y
*
+
y
z
x
+
*
x
y
*
x
z
U
empty
b
b
sum
empty
0
#
sum
singl
x
x
sum
U
x
y
+
sum
x
sum
y
prod
empty
1
#
prod
singl
x
x
prod
U
x
y
*
prod
x
prod
y
0
1
#
0
+
2
AC
1
1
*
2
AC
U
2
AC
empty
0
sum
1
singl
1
prod
1
FULL
./TRS/CimeAC/bag-sum-prod-distr.trs