((6 2 NIL 22(3(2 NIL 1(0.0)24 4 5)23)13 3(6 2 NIL 22(3(1(0.0)24 2 0 14 8
(2 NIL 22(1(0.2)24 10 24 23)13 1(0.1)24 4 9)(2 NIL 22(1(0.2)24 11 24 23
)13 22(3(2 NIL 22(2 NIL 22(1(0.0)24 23)13 2 NIL 22(1(1.2)24 10 24 23)13
1(3.0)24 4 4 23)13 1(1.1)24 4 5)23)13 22(1(0.0)24 2 1 16 23)13 1(1.1)24
4 9)5)23)13 22(3(22(2 NIL 23)22(1(0.0)24 23)13 5)23)13 3(3(2 NIL 22(2 NIL
22(1(0.0)24 11 24 23)13 22(3(1(0.0)24 5)23)13 22(1(0.0)24 10 24 23)13 1
(1.1)24 4 23)13 1(1.0)24 4 5)5)7 5)7 5))2((6 2 NIL 22(2 32 27 23)13 22(
2 13 27 23)13 22(3(1(0.0)24 8(2 F 9)(1(0.1)24 9)5)23)13 22(3(1(0.0)24 8
(1(0.1)24 9)(2 F 9)5)23)13 22(3(1(0.0)24 8(2 T 9)(1(0.1)24 9)5)23)13 3(
6 2 NIL 22(2 NIL 22(2 -1 23)13 22(2 2 23)13 22(2 4 23)13 22(3(2 4 5)23)
13 22(2 60 23)13 3(6 2 NIL 22(3(1(0.1)24 11 24 2 NIL 14 8(2 NIL 22(1(0.
1)24 10 24 10 24 1(0.0)24 14 23)13 22(1(0.1)24 10 24 12 23)13 1(4.2)24 4
9)(2 NIL 22(2 NIL 22(1(0.1)24 11 24 23)13 22(1(0.0)24 23)13 1(1.10)24 4
23)13 22(1(0.1)24 11 24 12 23)13 1(4.2)24 4 9)5)23)13 22(3(2 NIL 22(2 NIL
22(2 NIL 22(1(0.0)24 11 24 23)13 22(1(0.0)24 10 24 23)13 1(1.10)24 4 23
)13 22(1(0.0)24 11 24 12 23)13 1(4.2)24 4 23)13 22(1(0.0)24 10 24 12 23
)13 1(4.1)24 4 5)23)13 22(3(1(0.0)24 2 0 14 8(1(0.1)24 9)(22(2 NIL 22(1
(0.1)24 23)13 22(1(0.0)24 2 1 16 23)13 1(1.8)24 4 23)22(1(4.4)24 23)13 9
)5)23)13 22(3(22(2 NIL 22(1(0.1)24 23)13 22(1(0.0)24 23)13 1(1.8)24 4 23
)22(1(4.3)24 23)13 5)23)13 22(3(2 NIL 22(2 NIL 22(1(0.1)24 23)13 22(1(0
.0)24 23)13 1(1.5)24 4 23)13 22(1(0.1)24 23)13 1(1.7)24 4 5)23)13 22(3(
22(1(0.0)24 11 24 11 24 2 NIL 14 8(2 NIL 22(1(0.1)24 2 2 16 23)13 22(1(
0.0)24 11 24 23)13 1(1.4)24 4 9)(2 NIL 22(1(0.1)24 23)13 22(1(0.0)24 11
24 23)13 1(1.6)24 4 9)23)22(2 NIL 22(1(0.1)24 23)13 22(1(0.0)24 10 24 23
)13 1(1.0)24 4 23)13 5)23)13 22(3(2 NIL 22(2 NIL 22(1(0.1)24 23)13 22(1
(0.0)24 23)13 1(1.3)24 4 23)13 22(1(0.1)24 23)13 1(1.7)24 4 5)23)13 22(
3(22(1(0.0)24 11 24 12 8(1(0.0)24 11 24 9)(2 NIL 22(1(0.1)24 23)13 22(1
(0.0)24 11 24 23)13 1(1.4)24 4 9)23)22(2 NIL 22(1(0.1)24 23)13 22(1(0.0
)24 10 24 23)13 1(1.0)24 4 23)13 5)23)13 22(3(2 0 1(0.1)24 20 8(1(0.0)24
2 NIL 14 8(1(0.1)24 9)(1(0.0)24 12 8(1(0.1)24 1(2.3)24 2 NIL 22(1(0.0)24
23)13 1(2.1)24 4 15 16 9)(2 NIL 22(2 NIL 22(1(0.1)24 23)13 22(1(0.0)24 10
24 23)13 1(1.1)24 4 23)13 22(1(0.0)24 11 24 23)13 1(1.2)24 4 9)9)9)(1(2
.4)24 9)5)23)13 22(3(2 0 1(0.1)24 20 8(1(0.0)24 12 8(1(0.1)24 2 NIL 22(
1(0.0)24 23)13 1(2.1)24 4 16 9)(2 NIL 22(1(0.1)24 1(2.2)24 16 23)13 22(
1(0.0)24 23)13 1(1.2)24 4 9)9)(1(2.4)24 9)5)23)13 22(3(2 NIL 22(2 0 2 NIL
22(1(2.0)24 1(0.1)24 16 23)13 22(1(0.0)24 23)13 1(1.1)24 4 20 23)13 22(
1(0.0)24 12 23)13 1(4.0)24 4 8(1(0.0)24 9)(2 NIL 22(1(0.1)24 2 2 15 23)
13 22(1(0.0)24 23)13 2 NIL 22(1(0.0)24 23)13 1(1.9)24 4 8(1(1.5)24 9)(1
(1.3)24 9)4 9)5)23)13 3(3(2 NIL 22(2 0 23)13 22(1(0.0)24 23)13 1(1.0)24
4 5)5)7 5)4 23)13 3(1(0.0)24 5)7 5)7 5))((6 2 NIL 22(2((3 NIL 11 10 5))
23)13 3(6 2 NIL 22(3(1(0.1)24 12 8(1(0.2)24 9)(2 NIL 22(2 NIL 22(1(0.2)
24 23)13 22(1(0.1)24 11 24 23)13 22(1(0.0)24 23)13 1(1.3)24 4 23)13 22(
1(0.1)24 10 24 23)13 1(0.0)24 4 9)5)23)13 22(3(1(0.1)24 12 8(2 NIL 9)(22
(2 NIL 22(1(0.1)24 11 24 23)13 22(1(0.0)24 23)13 1(1.2)24 4 23)22(2 NIL
22(1(0.1)24 10 24 23)13 1(0.0)24 4 23)13 9)5)23)13 22(3(1(0.0)24 8(1(0.
1)24 9)(2 F 9)5)23)13 22(3(1(0.0)24 8(2 T 9)(1(0.1)24 9)5)23)13 3(6 2 NIL
22(2 NIL 22(2 * 23)13 3(3(2 NIL 22(1(0.0)24 10 24 2 quote 14 23)13 22(1
(0.0)24 12 23)13 1(3.0)24 4 8(1(1.0)24 9)(2 NIL 22(1(0.0)24 10 24 2 let
14 23)13 22(1(0.0)24 10 24 2 letrec 14 23)13 1(3.0)24 4 8(22(22(2 NIL 22
(1(0.0)24 11 24 11 24 23)13 22(3(22(2 NIL 22(1(0.0)24 11 24 23)13 1(3.0
)24 4 23)22(1(0.0)24 10 24 23)13 5)23)13 1(3.2)24 4 23)22(2 NIL 22(1(0.
0)24 11 24 10 24 23)13 1(2.0)24 4 23)13 23)22(1(0.0)24 10 24 23)13 9)(1
(0.0)24 10 24 2 lambda 14 8(2 NIL 22(2 NIL 22(1(0.0)24 11 24 11 24 10 24
23)13 1(2.0)24 4 23)13 22(1(0.0)24 11 24 10 24 23)13 22(1(0.0)24 10 24 23
)13 1(4.0)24 4 9)(2 NIL 22(2 NIL 23)13 22(2 NIL 22(1(0.0)24 23)13 22(1(
2.0)24 23)13 1(3.2)24 4 23)13 22(3(2 NIL 22(1(0.1)24 12 23)13 22(1(0.0)
24 12 23)13 1(4.1)24 4 8(1(2.0)24 9)(22(1(0.1)24 23)22(1(0.0)24 23)13 9
)5)23)13 1(3.3)24 4 9)9)9)5)5)4 23)13 3(1(0.0)24 5)7 5)7 5)7 5))