xplus X 0 X xplus Y s U s xplus Y U rec 0 V %X nat %Y nat yap xap I %X %Y V rec s P X1 %Z nat %U nat yap xap Z1 %Z %U yap xap Z1 P rec P X1 %V nat %W nat yap xap Z1 %V %W xtimes U1 V1 rec V1 0 %G nat %F nat xplus U1 %F xap I1 P1 I1 P1 yap F2 Y2 F2 Y2 X nat Y nat U nat V nat I nat nat nat P nat X1 nat Z1 nat nat nat U1 nat V1 nat I1 nat nat nat P1 nat F2 nat nat Y2 nat 0 nat rec nat nat nat nat nat nat s nat nat xap nat nat nat nat nat nat xplus nat nat nat xtimes nat nat nat yap nat nat nat nat FULL /tmp/tmpfile.afsm