fold %X a %Y c yap xap F %X %Y Y nil Y fold %Z a %U c yap xap G %Z %U V cons W P yap xap G W fold %V a %W c yap xap G %V %W V P plus 0 X1 X1 plus s Y1 U1 s plus Y1 U1 times 0 V1 0 times s W1 P1 plus times W1 P1 P1 sum fold %F a %G c yap xap add %F %G 0 prod fold %H a %I c yap xap mul %H %I s 0 xap F2 Y2 F2 Y2 yap G2 V2 G2 V2 F a c c Y c G a c c V c W a P b X1 c Y1 c U1 c V1 c W1 c P1 c F2 a c c Y2 a G2 c c V2 c 0 c add a c c cons a b b fold a c c c b c mul a c c nil b plus c c c prod b c s c c sum b c times c c c xap a c c a c c yap c c c c FULL /tmp/tmpfile.afsm