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