0
#
#
+
x
#
x
+
#
x
x
+
0
x
0
y
0
+
x
y
+
0
x
1
y
1
+
x
y
+
1
x
0
y
1
+
x
y
+
1
x
1
y
0
+
+
x
y
1
#
*
#
x
#
*
0
x
y
0
*
x
y
*
1
x
y
+
0
*
x
y
y
sum
nil
0
#
sum
cons
x
l
+
x
sum
l
prod
nil
1
#
prod
cons
x
l
*
x
prod
l
0
1
#
0
+
2
1
1
*
2
sum
1
nil
0
cons
2
prod
1
INNERMOST
./TRS/Cime/list-sum-prod-bin.trs