((z (lambda (z k$8) (k$8 z))
    Num)

 (x (lambda (z k$8) (k$8 z))
    Num)

 (retval$7 (lambda (z k$8) (k$8 z))
           Num)

 (retval$6 (lambda (z k$8) (k$8 z))
           Num)

 (retval$5 (lambda (z k$8) (k$8 z))
           Num)

 (k$9 (lambda (retval$5) ((lambda (c k$4) (f b k$4)) retval$5 k$3))
      (lambda (retval$6) ((lambda (b k$3) (id 3 (lambda (retval$5) ((lambda (c k$4) (f b k$4)) retval$5 k$3)))) retval$6 k$2))
      (lambda (retval$7) ((lambda (f k$2) (id 2 (lambda (retval$6) ((lambda (b k$3) (id 3 (lambda (retval$5) ((lambda (c k$4) (f b k$4)) retval$5 k$3)))) retval$6 k$2)))) retval$7 k$1)))

 (k$8 halt)

 (k$4 halt)

 (k$3 halt)

 (k$2 halt)

 (k$1 halt)

 (id (lambda (x k$9) (k$9 x)))

 (f (lambda (z k$8) (k$8 z))
    Num)

 (c (lambda (z k$8) (k$8 z))
    Num)

 (b (lambda (z k$8) (k$8 z))
    Num))