(6 2 NIL 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.0) 11 2 1 1 (0.0) 10 15 13 5) 13 3
(1 (0.0) 1 (0.1) 10 14 8 (2 0 9) (2 1 2 NIL 1
(0.1) 11 13 1 (0.0) 13 1 (1.1) 4 15 9) 5) 13 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.0) 4 9) 9) 5) 13 3 (2 NIL 1
(1.1) 10 13 1 (1.0) 13 1 (0.0) 4 8 (2 NIL 1
(1.1) 10 13 1 (1.0) 13 1 (0.1) 4 2 0 13 9)
(2 NIL 2 NIL 1 (1.1) 11 13 1 (1.0) 13 1 (2.3) 4 13 1
(0.2) 4 9) 5) 7 5) 13 3 (1 (0.0) 2 NIL 14 8
(1 (0.2) 2 NIL 13 2 2 13 9) (2 NIL 2 NIL 1
(0.2) 2 13 13 13 1 (0.1) 13 1 (0.0) 10 13 1
(1.1) 4 13 1 (0.1) 13 1 (0.0) 11 13 1
(1.2) 4 9) 5) 13 3 (1 (0.0) 12 8 (1 (0.2) 2 NIL 1
(0.1) 13 1 (0.0) 13 1 (1.3) 4 13 2 1 13 9)
(1 (0.0) 10 2 QUOTE 14 8 (1 (0.2) 1 (0.0) 11 10 13 2 2 13 9)
(1 (0.0) 10 2 ADD 14 8 (2 NIL 2 NIL 1 (0.2) 2 15 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 SUB 14 8 (2 NIL 2 NIL 1 (0.2) 2 16 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 MUL 14 8 (2 NIL 2 NIL 1 (0.2) 2 17 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 DIV 14 8 (2 NIL 2 NIL 1 (0.2) 2 18 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 REM 14 8 (2 NIL 2 NIL 1 (0.2) 2 19 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 LEQ 14 8 (2 NIL 2 NIL 1 (0.2) 2 20 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1
(1.1) 4 13 1 (0.1) 13 1 (0.0) 11 10 13 1
(1.1) 4 9) (1 (0.0) 10 2 EQ 14 8
(2 NIL 2 NIL 1 (0.2) 2 14 13 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1
(1.1) 4 13 1 (0.1) 13 1 (0.0) 11 10 13 1
(1.1) 4 9) (1 (0.0) 10 2 CAR 14 8
(2 NIL 1 (0.2) 2 10 13 13 1 (0.1) 13 1
(0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 CDR 14 8 (2 NIL 1 (0.2) 2 11 13 13 1
(0.1) 13 1 (0.0) 11 10 13 1
(1.1) 4 9) (1 (0.0) 10 2 ATOM 14 8
(2 NIL 1 (0.2) 2 12 13 13 1 (0.1) 13 1
(0.0) 11 10 13 1 (1.1) 4 9)
(1 (0.0) 10 2 CONS 14 8 (2 NIL 2 NIL 1
(0.2) 2 13 13 13 1 (0.1) 13 1
(0.0) 11 10 13 1 (1.1) 4 13 1
(0.1) 13 1 (0.0) 11 11 10 13 1
(1.1) 4 9) (1 (0.0) 10 2 IF 14 8
(2 NIL 2 NIL 2 (9) 13 1 (0.1) 13 1
(0.0) 11 11 11 10 13 1 (1.1) 4 13 2 NIL 2
(9) 13 1 (0.1) 13 1 (0.0) 11 11 10 13 1
(1.1) 4 13 3 (2 NIL 1 (1.2) 1
(0.1) 13 1 (0.0) 13 2 8 13 13 1
(1.1) 13 1 (1.0) 11 10 13 1
(2.1) 4 5) 4 9) (1 (0.0) 10 2 LAMBDA 14 8
(2 NIL 2 NIL 2 (5) 13 1 (0.1) 1
(0.0) 11 10 13 13 1 (0.0) 11 11 10 13 1
(1.1) 4 13 3 (1 (1.2) 1 (0.0) 13 2 3 13 5) 4 9)
(1 (0.0) 10 2 LET 14 8 (2 NIL 2 NIL 1
(0.0) 11 11 13 1 (1.5) 4 13 1
(0.1) 2 NIL 1 (0.0) 11 11 13 1
(1.4) 4 13 13 3 (2 NIL 2 NIL 2
(5) 13 1 (0.0) 13 1 (1.0) 11 10 13 1
(2.1) 4 13 3 (2 NIL 1 (2.2) 2 4 13 1
(0.0) 13 2 3 13 13 1
(2.1) 13 1 (1.1) 13 1
(3.2) 4 5) 4 5) 4 9)
(1 (0.0) 10 2 LETREC 14 8 (2 NIL 2 NIL 1
(0.0) 11 11 13 1 (1.5) 4 13 1
(0.1) 2 NIL 1 (0.0) 11 11 13 1
(1.4) 4 13 13 3 (2 NIL 2 NIL 2
(5) 13 1 (0.0) 13 1 (1.0) 11 10 13 1
(2.1) 4 13 3 (2 NIL 1 (2.2) 2 7 13 1
(0.0) 13 2 3 13 13 1
(1.0) 13 1 (1.1) 13 1
(3.2) 4 2 6 13 5) 4 5) 4 9)
(2 NIL 2 NIL 1 (0.2) 2 4 13 13 1
(0.1) 13 1 (0.0) 10 13 1
(1.1) 4 13 1 (0.1) 13 1
(0.0) 11 13 1 (1.2) 4 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 9) 5) 13 3
(2 NIL 2 (4 21) 13 2 NIL 13 1 (0.0) 13 1 (1.1) 4 5) 13 3
(1 (0.0) 5) 7 4 21)
