( 6 2 NIL 3 ( 1 ( 0 . 0 ) 2 NIL 14 8 ( 2 NIL 9 ) ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 13 1 ( 1 . 6 ) 4 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 10 13 1 ( 1 . 2 ) 4 13 9 ) 5 ) 13 3 ( 1 ( 0 . 0 ) 2 NIL 14 8 ( 2 NIL 9 ) ( 2 NIL 1 ( 0 . 0 ) 11 13 1 ( 1 . 5 ) 4 1 ( 0 . 0 ) 10 11 13 9 ) 5 ) 13 3 ( 1 ( 0 . 0 ) 2 NIL 14 8 ( 2 NIL 9 ) ( 2 NIL 1 ( 0 . 0 ) 11 13 1 ( 1 . 4 ) 4 1 ( 0 . 0 ) 10 10 13 9 ) 5 ) 13 3 ( 6 2 NIL 3 ( 1 ( 0 . 1 ) 2 NIL 14 8 ( 2 F 9 ) ( 1 ( 0 . 0 ) 1 ( 0 . 1 ) 10 14 8 ( 2 T 9 ) ( 2 NIL 1 ( 0 . 1 ) 11 13 1 ( 0 . 0 ) 13 1 ( 1 . 1 ) 4 9 ) 9 ) 5 ) 13 3 ( 1 ( 0 . 0 ) 1 ( 0 . 1 ) 10 14 8 ( 1 ( 0 . 2 ) 10 9 ) ( 2 NIL 1 ( 0 . 2 ) 11 13 1 ( 0 . 1 ) 11 13 1 ( 0 . 0 ) 13 1 ( 1 . 0 ) 4 9 ) 5 ) 13 3 ( 2 NIL 1 ( 1 . 1 ) 10 13 1 ( 1 . 0 ) 13 1 ( 0 . 1 ) 4 8 ( 2 NIL 1 ( 1 . 2 ) 10 13 1 ( 1 . 1 ) 10 13 1 ( 1 . 0 ) 13 1 ( 0 . 0 ) 4 9 ) ( 2 NIL 1 ( 1 . 2 ) 11 13 1 ( 1 . 1 ) 11 13 1 ( 1 . 0 ) 13 1 ( 2 . 3 ) 4 9 ) 5 ) 7 5 ) 13 3 ( 1 ( 0 . 0 ) 12 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 13 1 ( 1 . 3 ) 4 9 ) ( 1 ( 0 . 0 ) 10 2 QUOTE 14 8 ( 1 ( 0 . 0 ) 11 10 9 ) ( 1 ( 0 . 0 ) 10 2 CAR 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 10 9 ) ( 1 ( 0 . 0 ) 10 2 CDR 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 11 9 ) ( 1 ( 0 . 0 ) 10 2 ATOM 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 12 9 ) ( 1 ( 0 . 0 ) 10 2 CONS 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 11 10 13 1 ( 1 . 2 ) 4 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 13 9 ) ( 1 ( 0 . 0 ) 10 2 EQ 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 11 10 13 1 ( 1 . 2 ) 4 14 9 ) ( 1 ( 0 . 0 ) 10 2 ADD 14 8 ( 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 10 13 1 ( 1 . 2 ) 4 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 11 10 13 1 ( 1 . 2 ) 4 15 9 ) ( 1 ( 0 . 0 ) 10 2 IF 14 8 ( 2 NIL 1 ( 0 . 0 ) 11 11 11 10 13 1 ( 0 . 0 ) 11 11 10 13 1 ( 0 . 0 ) 11 10 13 3 ( 2 NIL 1 ( 1 . 2 ) 13 1 ( 1 . 1 ) 13 1 ( 0 . 0 ) 13 1 ( 2 . 2 ) 4 8 ( 2 NIL 1 ( 1 . 2 ) 13 1 ( 1 . 1 ) 13 1 ( 0 . 1 ) 13 1 ( 2 . 2 ) 4 9 ) ( 2 NIL 1 ( 1 . 2 ) 13 1 ( 1 . 1 ) 13 1 ( 0 . 2 ) 13 1 ( 2 . 2 ) 4 9 ) 5 ) 4 9 ) ( 1 ( 0 . 0 ) 10 2 LAMBDA 14 8 ( 1 ( 0 . 2 ) 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 11 10 1 ( 0 . 0 ) 11 10 13 13 9 ) ( 1 ( 0 . 0 ) 10 2 LET 14 8 ( 2 NIL 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 2 NIL 1 ( 0 . 0 ) 11 11 13 1 ( 1 . 5 ) 4 13 1 ( 1 . 6 ) 4 13 2 NIL 1 ( 0 . 0 ) 11 11 13 1 ( 1 . 4 ) 4 13 3 ( 2 NIL 1 ( 1 . 2 ) 1 ( 0 . 1 ) 13 13 1 ( 1 . 1 ) 1 ( 0 . 0 ) 13 13 1 ( 1 . 0 ) 11 10 13 1 ( 2 . 2 ) 4 5 ) 4 9 ) ( 1 ( 0 . 0 ) 10 2 LETREC 14 8 ( 2 NIL 1 ( 0 . 2 ) 2 OMEGA 13 13 2 NIL 1 ( 0 . 0 ) 11 11 13 1 ( 1 . 4 ) 4 13 3 ( 2 NIL 2 NIL 1 ( 0 . 1 ) 13 1 ( 1 . 1 ) 1 ( 0 . 0 ) 13 13 2 NIL 1 ( 1 . 0 ) 11 11 13 1 ( 2 . 5 ) 4 13 1 ( 2 . 6 ) 4 13 3 ( 2 NIL 1 ( 1 . 1 ) 1 ( 0 . 0 ) 41 13 1 ( 2 . 1 ) 1 ( 1 . 0 ) 13 13 1 ( 2 . 0 ) 11 10 13 1 ( 3 . 2 ) 4 5 ) 4 5 ) 4 9 ) ( 2 NIL 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 11 13 1 ( 1 . 6 ) 4 13 2 NIL 1 ( 0 . 2 ) 13 1 ( 0 . 1 ) 13 1 ( 0 . 0 ) 10 13 1 ( 1 . 2 ) 4 13 3 ( 2 NIL 1 ( 0 . 0 ) 11 11 1 ( 0 . 1 ) 13 13 1 ( 0 . 0 ) 11 10 1 ( 0 . 0 ) 10 10 13 13 1 ( 0 . 0 ) 10 11 13 1 ( 2 . 2 ) 4 5 ) 4 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 9 ) 5 ) 13 3 ( 2 NIL 2 NIL 2 NIL 13 2 NIL 13 1 ( 0 . 0 ) 13 1 ( 1 . 2 ) 4 13 3 ( 2 NIL 1 ( 0 . 0 ) 11 11 1 ( 1 . 1 ) 13 13 1 ( 0 . 0 ) 11 10 1 ( 0 . 0 ) 10 10 13 13 1 ( 0 . 0 ) 10 11 13 1 ( 2 . 2 ) 4 5 ) 4 5 ) 13 3 ( 1 ( 0 . 1 ) 2 NIL 14 8 ( 2 NIL 9 ) ( 2 NIL 1 ( 0 . 1 ) 11 13 1 ( 0 . 0 ) 13 1 ( 1 . 0 ) 4 2 NIL 2 NIL 1 ( 0 . 1 ) 10 13 13 1 ( 0 . 0 ) 13 1 ( 1 . 1 ) 4 13 9 ) 5 ) 13 3 ( 1 ( 0 . 0 ) 5 ) 7 4 21 ) &