fold %Y a %X c F %Y %X Y nil Y fold %U a %Z c G %U %Z V cons W P G W fold %W a %V c G %W %V 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 X2 fold %G a %F c add %G %F 0 X2 prod Y2 fold %I a %H c mul %I %H s 0 Y2 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 X2 b Y2 b 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 FULL /tmp/tmpfile.afsm