plus
0
X
X
plus
s
Y
U
s
plus
Y
U
times
0
V
0
times
s
W
P
plus
times
W
P
P
curry
F1
Y1
U1
F1
Y1
U1
map
H1
nil
nil
map
I1
cons
P1
X2
cons
I1
P1
map
I1
X2
inc
map
curry
plus
s
0
double
map
curry
times
s
s
0
X
b
Y
b
U
b
V
b
W
b
P
b
F1
b
b
b
Y1
b
U1
b
H1
b
b
I1
b
b
P1
b
X2
a
0
b
cons
b
a
a
curry
b
b
b
b
b
b
double
a
a
inc
a
a
map
b
b
a
a
nil
a
plus
b
b
b
s
b
b
times
b
b
b
FULL
benchmarks/applicative/AotoYamada_05__010.atrs