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
map
F1
nil
nil
map
Z1
cons
U1
V1
cons
Z1
U1
map
Z1
V1
inc
map
plus
s
0
double
map
times
s
s
0
X
b
Y
b
U
b
V
b
W
b
P
b
F1
b
b
Z1
b
b
U1
b
V1
a
0
b
cons
b
a
a
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__014.atrs