5
empty.      0.  empty.  empty.      1.  empty.
empty.  empty.      0.  empty.      1.  empty.
empty.  empty.  empty.      0.      1.  empty.
empty.  empty.  empty.  empty.    0+1.  lambda.
empty.  empty.  empty.  empty.    0+1.  empty.