fold %X c %Y a yap xap F %X %Y nil Y Y fold %Z c %U a yap xap G %Z %U cons V W P fold %V c %W a yap xap G %V %W W yap xap G P V sum X1 fold %F c %G a yap xap add %F %G X1 0 fold mul Y1 1 prod Y1 xap G1 V1 G1 V1 yap I1 P1 I1 P1 F c a c Y c G c a c V a W b P c X1 b Y1 b G1 c a c V1 c I1 a c P1 a 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 xap c a c c a c yap a c a c FULL /tmp/tmpfile.afsm