3
  \s.\z.s (s (s z))
dec
  \a.\s.\z.a (\f.\g.g (f s)) (\x.z) (\x.x)
+
  \a.\b.\s.\z.a s (b s z)
true
  \x.\y.x
0
  \s.\z.z
1
  \s.s
6
  \s.\z.s (s (s (s (s (s z)))))
fact
  (\h.(\x.h (x x)) (\x.h (x x))) (\f.\n.(\a.a (\x.\i0.\y.y) (\x.\y.x)) n (\s.s) ((\a.\b.\s.a (b s)) n (f ((\a.\s.\z.a (\i0.\g.g (i0 s)) (\x.z) (\x.x)) n))))
5
  \s.\z.s (s (s (s (s z))))
is0
  \a.a (\x.\i0.\y.y) (\x.\y.x)
11
  \s.\z.s (s (s (s (s (s (s (s (s (s (s z))))))))))
4
  \s.\z.s (s (s (s z)))
*
  \a.\b.\s.a (b s)
12
  \s.\z.s (s (s (s (s (s (s (s (s (s (s (s z)))))))))))
7
  \s.\z.s (s (s (s (s (s (s z))))))
2
  \s.\z.s (s z)
inc
  \a.\s.\z.s (a s z)
10
  \s.\z.s (s (s (s (s (s (s (s (s (s z)))))))))
if
  \b.b
9
  \s.\z.s (s (s (s (s (s (s (s (s z))))))))
8
  \s.\z.s (s (s (s (s (s (s (s z)))))))
false
  \x.\y.y