rec 0 X %X nat %Y nat yap xap Z %X %Y X rec s U V %Z nat %U nat yap xap I %Z %U yap xap I U rec U V %V nat %W nat yap xap I %V %W succ2 P X1 s X1 plus Y1 U1 rec Y1 U1 succ2 plus3 V1 W1 P1 plus V1 plus W1 P1 mult X2 Y2 rec X2 0 plus3 Y2 xap G2 V2 G2 V2 yap I2 P2 I2 P2 X nat Z nat nat nat U nat V nat I nat nat nat P nat X1 nat Y1 nat U1 nat V1 nat W1 nat P1 nat X2 nat Y2 nat G2 nat nat nat V2 nat I2 nat nat P2 nat 0 nat mult nat nat nat plus nat nat nat plus3 nat nat nat nat rec nat nat nat nat nat nat s nat nat succ2 nat nat nat xap nat nat nat nat nat nat yap nat nat nat nat FULL /tmp/tmpfile.afsm