foldl
%X
nat
%Y
nat
yap
xap
F
%X
%Y
Y
nil
Y
foldl
%Z
nat
%U
nat
yap
xap
G
%Z
%U
V
cons
W
P
foldl
%V
nat
%W
nat
yap
xap
G
%V
%W
yap
xap
G
V
W
P
plusc
X1
0
X1
plusc
Y1
s
U1
s
plusc
Y1
U1
sum
V1
foldl
%F
nat
%G
nat
yap
xap
plusc
%F
%G
0
V1
xap
I1
P1
I1
P1
yap
F2
Y2
F2
Y2
F
nat
nat
nat
Y
nat
G
nat
nat
nat
V
nat
W
nat
P
list
X1
nat
Y1
nat
U1
nat
V1
list
I1
nat
nat
nat
P1
nat
F2
nat
nat
Y2
nat
0
nat
cons
nat
list
list
foldl
nat
nat
nat
nat
list
nat
nil
list
plusc
nat
nat
nat
s
nat
nat
sum
list
nat
xap
nat
nat
nat
nat
nat
nat
yap
nat
nat
nat
nat
FULL
/tmp/tmpfile.afsm