rec %X a %Y b yap xap F %X %Y Y 0 Y rec %Z a %U b yap xap G %Z %U V s W yap xap G s W rec %V a %W b yap xap G %V %W V W xap J X1 J X1 yap Z1 U1 Z1 U1 F a b b Y b G a b b V b W a J a b b X1 a Z1 b b U1 b 0 a rec a b b b a b s a a xap a b b a b b yap b b b b FULL /tmp/tmpfile.afsm