foldr %X nat %Y nat yap xap F %X %Y Y nil Y foldr %Z nat %U nat yap xap G %Z %U V cons W P yap xap G W foldr %V nat %W nat yap xap G %V %W V P succ X1 Y1 s Y1 length U1 foldr %F nat %G nat yap xap succ %F %G 0 U1 xap H1 W1 H1 W1 yap J1 X2 J1 X2 F nat nat nat Y nat G nat nat nat V nat W nat P list X1 nat Y1 nat U1 list H1 nat nat nat W1 nat J1 nat nat X2 nat 0 nat cons nat list list foldr nat nat nat nat list nat length list nat nil list s nat nat succ nat nat nat xap nat nat nat nat nat nat yap nat nat nat nat FULL /tmp/tmpfile.afsm