fold
%Y
c
%X
a
F
%Y
%X
nil
Y
Y
fold
%U
c
%Z
a
G
%U
%Z
cons
V
W
P
fold
%W
c
%V
a
G
%W
%V
W
G
P
V
sum
X1
fold
%G
c
%F
a
add
%G
%F
X1
0
fold
%I
c
%H
a
mul
%I
%H
Y1
1
prod
Y1
F
c
a
c
Y
c
G
c
a
c
V
a
W
b
P
c
X1
b
Y1
b
0
c
1
c
add
c
a
c
cons
a
b
b
fold
c
a
c
b
c
c
mul
c
a
c
nil
b
prod
b
c
sum
b
c
FULL
/tmp/tmpfile.afsm