Microsoft Windows XP [Version 5.1.2600] (C) Copyright 1985-2001 Microsoft Corp. d:\Programme\emacs-21.3\bin>cd ../../clisp cd ../../clisp D:\Programme\clisp>clisp clisp i i i i i i i ooooo o ooooooo ooooo ooooo I I I I I I I 8 8 8 8 8 o 8 8 I \ `+' / I 8 8 8 8 8 8 \ `-+-' / 8 8 8 ooooo 8oooo `-__|__-' 8 8 8 8 8 | 8 o 8 8 o 8 8 ------+------ ooooo 8oooooo ooo8ooo ooooo 8 Copyright (c) Bruno Haible, Michael Stoll 1992, 1993 Copyright (c) Bruno Haible, Marcus Daniels 1994-1997 Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998 Copyright (c) Bruno Haible, Sam Steingold 1999-2000 Copyright (c) Sam Steingold, Bruno Haible 2001-2005 [1]> (load "dobby.l") ;; Loading file dobby.l ... ;; Loaded file dobby.l T [2]> ; Test # 3 (mutate-primitive-action '(north)) (SOUTH) [3]> (mutate-primitive-action '(north)) (WEST) [4]> (mutate-primitive-action '(south)) (WEST) [5]> (mutate-primitive-action '(south)) (EAST) [6]> (mutate-primitive-action '(east)) (NORTH) [7]> (mutate-primitive-action '(east)) (NORTH) [8]> (mutate-primitive-action '(west)) (SOUTH) [9]> (mutate-primitive-action '(west)) (SOUTH) [10]> ; Test # 5 (mutate-primitive-probe '(n)) (W) [11]> (mutate-primitive-probe '(ne)) (S) [12]> (mutate-primitive-probe '(e)) (SE) [13]> (mutate-primitive-probe '(se)) (E) [14]> (mutate-primitive-probe '(S)) (SE) [15]> (mutate-primitive-probe '(sw)) (SE) [16]> (mutate-primitive-probe '(w)) (S) [17]> (mutate-primitive-probe '(nw)) (S) [18]> ; Test # 10 (test-mutate 20) IND (WEST) MUT (SOUTH) IND (NORTH) MUT (WEST) IND (SOUTH) MUT (EAST) IND (EAST) MUT (NORTH) IND (IF (AND (S) (OR (E) (OR (NOT (AND (SW) (SW))) (SW)))) (WEST) (IF (OR (OR (SW) (S)) (SE)) (IF (OR (E) (NOT (AND (OR (W) (NOT (NW))) (OR (E) (AND (OR (SE) (SW)) (NW)))))) (EAST) (WEST)) (SOUTH))) MUT (IF (AND (S) (OR (E) (OR (NOT (AND (SW) (SW))) (SW)))) (WEST) (IF (OR (OR (SW) (S)) (SE)) (IF (OR (E) (NOT (AND (OR (W) (NOT (NW))) (OR (E) (AND (OR (SE) (SW)) (NW)))))) (EAST) (EAST)) (SOUTH))) IND (EAST) MUT (SOUTH) IND (SOUTH) MUT (EAST) IND (SOUTH) MUT (WEST) IND (NORTH) MUT (EAST) IND (IF (S) (IF (AND (OR (AND (AND (SW) (W)) (OR (AND (E) (OR (AND (NOT (OR (OR (AND (AND (NE) (NOT (NOT (AND (NOT (SW)) (NOT (NOT (AND (OR (E) (S)) (NE)))))))) (AND (OR (S) (OR (AND (OR (W) (SW)) (S)) (OR (OR (SE) (SW)) (AND (NOT (NOT (OR (S) (N)))) (NW))))) (NOT (N)))) (OR (NOT (N)) (NOT (NE)))) (NOT (NOT (NE))))) (W)) (N))) (OR (NOT (W)) (NOT (OR (OR (NE) (E)) (NOT (OR (NOT (SE)) (NOT (NW))))))))) (SE)) (OR (S) (NOT (OR (OR (AND (W) (NE)) (OR (N) (N))) (NE))))) (NORTH) (SOUTH)) (EAST)) MUT (IF (S) (IF (AND (OR (AND (AND (SW) (W)) (OR (AND (E) (OR (AND (NOT (OR (OR (AND (AND (NE) (NOT (NOT (AND (NOT (SW)) (NOT (NOT (AND (OR (E) (S)) (NE)))))))) (AND (OR (S) (OR (AND (OR (W) (SW)) (S)) (OR (OR (SE) (SW)) (AND (NOT (NOT (OR (S) (N)))) (NW))))) (NOT (N)))) (OR (NOT (N)) (NOT (NE)))) (NOT (NOT (NE))))) (W)) (N))) (OR (NOT (W)) (NOT (OR (OR (NE) (E)) (NOT (OR (NOT (SE)) (NOT (NW))))))))) (SE)) (OR (S) (NOT (OR (OR (AND (W) (NE)) (OR (N) (N))) (NE))))) (NORTH) (SOUTH)) (SOUTH)) IND (SOUTH) MUT (WEST) IND (IF (NOT (NW)) (IF (W) (NORTH) (NORTH)) (IF (S) (IF (AND (NOT (OR (NOT (SW)) (W))) (AND (OR (OR (W) (N)) (NW)) (SE))) (IF (NE) (IF (AND (S) (OR (NOT (AND (AND (W) (OR (NOT (W)) (NOT (SW)))) (AND (AND (NW) (NOT (S))) (OR (AND (N) (SE)) (AND (AND (NOT (SW)) (AND (AND (NW) (W)) (NOT (W)))) (OR (AND (NOT (NOT (AND (SW) (N)))) (NW)) (S))))))) (NOT (NOT (NOT (SW)))))) (IF (NOT (NW)) (NORTH) (SOUTH)) (IF (AND (AND (OR (OR (NOT (E)) (W)) (SE)) (NOT (NE))) (NE)) (NORTH) (SOUTH))) (NORTH)) (NORTH)) (IF (SW) (IF (N) (IF (E) (EAST) (IF (NW) (IF (OR (OR (S) (NOT (SW))) (OR (AND (NOT (OR (E) (NE))) (SE)) (NOT (OR (S) (OR (N) (AND (SE) (S))))))) (NORTH) (IF (NW) (SOUTH) (SOUTH))) (IF (SW) (WEST) (SOUTH)))) (IF (E) (IF (SW) (IF (OR (OR (OR (S) (OR (S) (AND (SE) (NOT (NE))))) (W)) (E)) (SOUTH) (IF (NE) (EAST) (IF (SE) (SOUTH) (WEST)))) (EAST)) (WEST))) (EAST)))) MUT (IF (NOT (NW)) (IF (W) (NORTH) (SOUTH)) (IF (S) (IF (AND (NOT (OR (NOT (SW)) (W))) (AND (OR (OR (W) (N)) (NW)) (SE))) (IF (NE) (IF (AND (S) (OR (NOT (AND (AND (W) (OR (NOT (W)) (NOT (SW)))) (AND (AND (NW) (NOT (S))) (OR (AND (N) (SE)) (AND (AND (NOT (SW)) (AND (AND (NW) (W)) (NOT (W)))) (OR (AND (NOT (NOT (AND (SW) (N)))) (NW)) (S))))))) (NOT (NOT (NOT (SW)))))) (IF (NOT (NW)) (NORTH) (SOUTH)) (IF (AND (AND (OR (OR (NOT (E)) (W)) (SE)) (NOT (NE))) (NE)) (NORTH) (SOUTH))) (NORTH)) (NORTH)) (IF (SW) (IF (N) (IF (E) (EAST) (IF (NW) (IF (OR (OR (S) (NOT (SW))) (OR (AND (NOT (OR (E) (NE))) (SE)) (NOT (OR (S) (OR (N) (AND (SE) (S))))))) (NORTH) (IF (NW) (SOUTH) (SOUTH))) (IF (SW) (WEST) (SOUTH)))) (IF (E) (IF (SW) (IF (OR (OR (OR (S) (OR (S) (AND (SE) (NOT (NE))))) (W)) (E)) (SOUTH) (IF (NE) (EAST) (IF (SE) (SOUTH) (WEST)))) (EAST)) (WEST))) (EAST)))) IND (NORTH) MUT (EAST) IND (WEST) MUT (NORTH) IND (SOUTH) MUT (WEST) IND (NORTH) MUT (SOUTH) IND (NORTH) MUT (EAST) IND (EAST) MUT (WEST) IND (IF (OR (OR (N) (OR (SW) (S))) (NW)) (WEST) (EAST)) MUT (IF (OR (OR (N) (OR (SW) (S))) (NW)) (EAST) (EAST)) IND (SOUTH) MUT (NORTH) NIL [19]> ; Test # 13 (test-crossover 20) PAR1 (IF (AND (SW) (W)) (EAST) (SOUTH)) PAR2 (IF (SE) (WEST) (WEST)) CHILD (IF (AND (SW) (W)) (WEST) (WEST)) PAR1 (IF (OR (OR (AND (SW) (NOT (OR (OR (SW) (AND (NOT (W)) (NW))) (SE)))) (NE)) (SW)) (IF (NW) (WEST) (EAST)) (SOUTH)) PAR2 (IF (N) (IF (AND (NOT (SE)) (SW)) (IF (N) (NORTH) (SOUTH)) (WEST)) (IF (AND (S) (AND (S) (NOT (AND (AND (NOT (OR (N) (OR (NW) (OR (NE) (OR (NOT (AND (SE) (NE))) (S)))))) (OR (AND (NW) (W)) (OR (OR (NOT (NOT (SE))) (SW)) (NE)))) (NW))))) (SOUTH) (IF (NOT (OR (OR (OR (NW) (AND (NE) (SW))) (OR (W) (NOT (AND (NOT (SE)) (OR (AND (SW) (NOT (NW))) (S)))))) (E))) (NORTH) (IF (OR (AND (SE) (N)) (N)) (IF (W) (SOUTH) (SOUTH)) (WEST))))) CHILD (IF (OR (OR (AND (SW) (NOT (OR (OR (SW) (AND (NOT (W)) (NW))) (SE)))) (NE)) (SW)) (IF (AND (NOT (SE)) (SW)) (IF (N) (NORTH) (SOUTH)) (WEST)) (SOUTH)) PAR1 (IF (OR (NE) (AND (S) (OR (NE) (NOT (SE))))) (SOUTH) (IF (NW) (IF (NOT (N)) (IF (AND (NOT (AND (OR (OR (E) (AND (AND (NW) (S)) (AND (AND (NE) (AND (NW) (OR (AND (NW) (S)) (N)))) (OR (AND (OR (NOT (SW)) (NOT (W))) (AND (OR (NOT (E)) (E)) (NOT (AND (OR (SE) (NW)) (AND (NE) (SE)))))) (SE))))) (W)) (AND (NW) (E)))) (OR (AND (AND (SE) (N)) (NOT (NOT (S)))) (NOT (SE)))) (WEST) (SOUTH)) (IF (AND (AND (N) (NOT (OR (S) (NW)))) (OR (AND (NOT (NW)) (W)) (S))) (SOUTH) (IF (NOT (AND (OR (AND (NW) (N)) (NOT (AND (W) (NOT (AND (S) (E)))))) (NOT (SW)))) (SOUTH) (WEST)))) (EAST))) PAR2 (IF (OR (N) (AND (NOT (N)) (SE))) (SOUTH) (SOUTH)) CHILD (IF (OR (NE) (AND (S) (OR (NE) (NOT (SE))))) (SOUTH) (IF (NW) (IF (NOT (N)) (IF (AND (NOT (AND (OR (OR (E) (AND (AND (NW) (S)) (AND (AND (NE) (AND (NW) (OR (AND (NW) (S)) (N)))) (OR (AND (OR (NOT (SW)) (NOT (W))) (AND (OR (NOT (E)) (E)) (NOT (AND (OR (SE) (NW)) (AND (NE) (SE)))))) (SE))))) (W)) (AND (NW) (E)))) (OR (AND (AND (SE) (N)) (NOT (NOT (S)))) (NOT (SE)))) (WEST) (SOUTH)) (IF (AND (AND (N) (NOT (OR (S) (NW)))) (OR (AND (NOT (NW)) (W)) (S))) (SOUTH) (IF (NOT (AND (OR (AND (NW) (N)) (NOT (AND (W) (NOT (AND (S) (E)))))) (NOT (SW)))) (SOUTH) (WEST)))) (EAST))) PAR1 (IF (NOT (OR (N) (AND (W) (N)))) (SOUTH) (IF (AND (OR (AND (NE) (SW)) (S)) (SE)) (IF (NE) (NORTH) (IF (AND (AND (NE) (E)) (NOT (S))) (EAST) (EAST))) (IF (NOT (AND (NE) (OR (S) (W)))) (SOUTH) (IF (SE) (SOUTH) (SOUTH))))) PAR2 (IF (AND (E) (AND (OR (N) (SE)) (NOT (NOT (W))))) (IF (AND (AND (AND (NOT (OR (E) (N))) (OR (AND (SE) (NE)) (NOT (W)))) (NOT (SW))) (OR (S) (AND (OR (E) (NW)) (AND (NOT (NOT (OR (NOT (OR (NOT (SW)) (OR (OR (NOT (NE)) (NOT (E))) (W)))) (NE)))) (NE))))) (EAST) (IF (W) (WEST) (IF (N) (EAST) (IF (AND (OR (S) (E)) (AND (SW) (NE))) (IF (OR (OR (N) (OR (NOT (S)) (AND (N) (NOT (NOT (NOT (NOT (SW)))))))) (N)) (WEST) (IF (NOT (NOT (OR (W) (NW)))) (EAST) (IF (OR (SE) (NOT (E))) (IF (S) (WEST) (NORTH)) (IF (S) (IF (N) (WEST) (IF (SW) (WEST) (WEST))) (SOUTH))))) (SOUTH))))) (NORTH)) CHILD (IF (AND (E) (AND (OR (N) (SE)) (NOT (NOT (W))))) (SOUTH) (NORTH)) PAR1 (IF (OR (AND (NOT (OR (N) (NOT (W)))) (S)) (AND (E) (OR (SE) (N)))) (NORTH) (WEST)) PAR2 (IF (NE) (WEST) (NORTH)) CHILD (IF (NE) (NORTH) (WEST)) PAR1 (IF (NOT (W)) (IF (AND (AND (NOT (OR (OR (AND (AND (S) (SE)) (AND (AND (N) (N)) (AND (SW) (SW)))) (NOT (N))) (OR (SW) (W)))) (OR (SE) (NOT (N)))) (NE)) (IF (N) (WEST) (NORTH)) (WEST)) (SOUTH)) PAR2 (IF (NW) (WEST) (SOUTH)) CHILD (IF (NOT (W)) (IF (AND (AND (NOT (OR (OR (AND (AND (S) (SE)) (AND (AND (N) (N)) (AND (SW) (SW)))) (NOT (N))) (OR (SW) (W)))) (OR (SE) (NOT (N)))) (NE)) (IF (N) (WEST) (NORTH)) (WEST)) (SOUTH)) PAR1 (IF (SW) (NORTH) (IF (NOT (W)) (NORTH) (SOUTH))) PAR2 (IF (SE) (EAST) (EAST)) CHILD (IF (SW) (EAST) (EAST)) PAR1 (IF (OR (NE) (SE)) (IF (AND (W) (E)) (NORTH) (IF (E) (EAST) (NORTH))) (IF (N) (WEST) (IF (SW) (EAST) (NORTH)))) PAR2 (IF (NE) (EAST) (EAST)) CHILD (IF (NE) (IF (AND (W) (E)) (NORTH) (IF (E) (EAST) (NORTH))) (IF (N) (WEST) (IF (SW) (EAST) (NORTH)))) PAR1 (IF (NOT (NE)) (WEST) (NORTH)) PAR2 (IF (NE) (NORTH) (IF (NE) (WEST) (NORTH))) CHILD (IF (NE) (NORTH) (NORTH)) PAR1 (IF (W) (SOUTH) (IF (NOT (NE)) (IF (OR (NOT (OR (OR (OR (N) (AND (NW) (NOT (NOT (NOT (OR (AND (NOT (OR (OR (NW) (NOT (SE))) (NOT (NOT (S))))) (OR (OR (SW) (NOT (S))) (OR (E) (SE)))) (NOT (NW)))))))) (AND (OR (NOT (S)) (NOT (OR (SW) (OR (AND (AND (NW) (NOT (AND (SW) (OR (AND (AND (NOT (E)) (AND (AND (NW) (NOT (NE))) (OR (AND (SE) (AND (SW) (S))) (OR (NE) (NW))))) (N)) (AND (SE) (NE)))))) (NW)) (W))))) (NE))) (OR (SE) (OR (NE) (SW))))) (SW)) (EAST) (WEST)) (IF (NW) (IF (NW) (WEST) (WEST)) (IF (W) (IF (N) (IF (OR (SW) (NOT (E))) (IF (AND (W) (OR (N) (N))) (SOUTH) (NORTH)) (EAST)) (WEST)) (IF (AND (AND (NE) (NOT (AND (NE) (OR (AND (NOT (NW)) (OR (W) (S))) (OR (NE) (OR (AND (OR (E) (NW)) (OR (NE) (AND (NE) (AND (NOT (AND (W) (OR (NOT (OR (N) (OR (OR (NE) (AND (E) (E))) (NOT (OR (S) (AND (OR (NE) (NE)) (OR (E) (AND (NOT (OR (NE) (S))) (SE))))))))) (S)))) (NE))))) (AND (SW) (OR (W) (NE))))))))) (OR (OR (OR (NE) (NOT (AND (N) (NOT (E))))) (NOT (S))) (NW))) (EAST) (EAST)))))) PAR2 (IF (NW) (IF (NOT (E)) (IF (SE) (SOUTH) (WEST)) (SOUTH)) (IF (S) (SOUTH) (WEST))) CHILD (IF (W) (IF (NOT (E)) (IF (SE) (SOUTH) (WEST)) (SOUTH)) (IF (NOT (NE)) (IF (OR (NOT (OR (OR (OR (N) (AND (NW) (NOT (NOT (NOT (OR (AND (NOT (OR (OR (NW) (NOT (SE))) (NOT (NOT (S))))) (OR (OR (SW) (NOT (S))) (OR (E) (SE)))) (NOT (NW)))))))) (AND (OR (NOT (S)) (NOT (OR (SW) (OR (AND (AND (NW) (NOT (AND (SW) (OR (AND (AND (NOT (E)) (AND (AND (NW) (NOT (NE))) (OR (AND (SE) (AND (SW) (S))) (OR (NE) (NW))))) (N)) (AND (SE) (NE)))))) (NW)) (W))))) (NE))) (OR (SE) (OR (NE) (SW))))) (SW)) (EAST) (WEST)) (IF (NW) (IF (NW) (WEST) (WEST)) (IF (W) (IF (N) (IF (OR (SW) (NOT (E))) (IF (AND (W) (OR (N) (N))) (SOUTH) (NORTH)) (EAST)) (WEST)) (IF (AND (AND (NE) (NOT (AND (NE) (OR (AND (NOT (NW)) (OR (W) (S))) (OR (NE) (OR (AND (OR (E) (NW)) (OR (NE) (AND (NE) (AND (NOT (AND (W) (OR (NOT (OR (N) (OR (OR (NE) (AND (E) (E))) (NOT (OR (S) (AND (OR (NE) (NE)) (OR (E) (AND (NOT (OR (NE) (S))) (SE))))))))) (S)))) (NE))))) (AND (SW) (OR (W) (NE))))))))) (OR (OR (OR (NE) (NOT (AND (N) (NOT (E))))) (NOT (S))) (NW))) (EAST) (EAST)))))) PAR1 (IF (NOT (SW)) (SOUTH) (EAST)) PAR2 (IF (OR (AND (W) (AND (OR (NOT (AND (NW) (SW))) (N)) (SE))) (NOT (E))) (WEST) (IF (SE) (IF (W) (SOUTH) (SOUTH)) (WEST))) CHILD (IF (NOT (SW)) (SOUTH) (IF (SE) (IF (W) (SOUTH) (SOUTH)) (WEST))) PAR1 (IF (S) (IF (AND (E) (W)) (EAST) (NORTH)) (IF (OR (N) (NE)) (IF (NOT (AND (OR (AND (S) (NW)) (SE)) (E))) (EAST) (SOUTH)) (WEST))) PAR2 (IF (NOT (AND (NOT (W)) (OR (NOT (SE)) (AND (NW) (OR (NE) (AND (SE) (SE))))))) (WEST) (NORTH)) CHILD (IF (S) (WEST) (NORTH)) PAR1 (IF (AND (E) (SW)) (EAST) (SOUTH)) PAR2 (IF (AND (W) (SW)) (IF (AND (OR (AND (SW) (NOT (OR (NE) (NOT (OR (W) (OR (W) (N))))))) (AND (AND (E) (NOT (S))) (NOT (NE)))) (W)) (WEST) (IF (NE) (IF (NOT (OR (NE) (NE))) (IF (NOT (NE)) (IF (OR (N) (AND (S) (OR (AND (NW) (NE)) (AND (S) (AND (S) (OR (OR (AND (AND (S) (AND (OR (E) (S)) (E))) (OR (SW) (NOT (NE)))) (OR (AND (E) (NOT (OR (S) (OR (W) (NOT (OR (AND (SW) (W)) (OR (NW) (OR (OR (NOT (OR (AND (AND (N) (AND (NOT (AND (AND (W) (AND (NOT (SW)) (NOT (AND (AND (AND (OR (S) (E)) (OR (NW) (AND (NOT (OR (OR (AND (NOT (OR (NOT (OR (E) (AND (N) (OR (OR (S) (AND (NOT (E)) (OR (AND (NOT (OR (NOT (NW)) (N))) (NOT (AND (NE) (NE)))) (NE)))) (NE))))) (S))) (NW)) (SW)) (N))) (AND (NE) (NW))))) (NOT (SW))) (OR (NOT (NOT (NW))) (NE)))))) (NW))) (NE))) (OR (N) (NW))) (SE))) (SE)) (AND (NE) (E)))))))))) (NOT (AND (E) (NE))))) (W))))))) (EAST) (EAST)) (SOUTH)) (NORTH)) (IF (SW) (IF (NOT (SW)) (NORTH) (IF (OR (NE) (SE)) (SOUTH) (IF (SE) (NORTH) (IF (SW) (IF (NOT (SW)) (IF (W) (SOUTH) (EAST)) (NORTH)) (IF (OR (N) (OR (SW) (AND (NW) (AND (E) (AND (NOT (NOT (W))) (W)))))) (IF (NW) (IF (SE) (IF (AND (AND (S) (AND (S) (E))) (SE)) (NORTH) (EAST)) (IF (NW) (WEST) (EAST))) (WEST)) (EAST)))))) (NORTH)))) (IF (NOT (E)) (EAST) (EAST))) CHILD (IF (AND (E) (SW)) (IF (AND (OR (AND (SW) (NOT (OR (NE) (NOT (OR (W) (OR (W) (N))))))) (AND (AND (E) (NOT (S))) (NOT (NE)))) (W)) (WEST) (IF (NE) (IF (NOT (OR (NE) (NE))) (IF (NOT (NE)) (IF (OR (N) (AND (S) (OR (AND (NW) (NE)) (AND (S) (AND (S) (OR (OR (AND (AND (S) (AND (OR (E) (S)) (E))) (OR (SW) (NOT (NE)))) (OR (AND (E) (NOT (OR (S) (OR (W) (NOT (OR (AND (SW) (W)) (OR (NW) (OR (OR (NOT (OR (AND (AND (N) (AND (NOT (AND (AND (W) (AND (NOT (SW)) (NOT (AND (AND (AND (OR (S) (E)) (OR (NW) (AND (NOT (OR (OR (AND (NOT (OR (NOT (OR (E) (AND (N) (OR (OR (S) (AND (NOT (E)) (OR (AND (NOT (OR (NOT (NW)) (N))) (NOT (AND (NE) (NE)))) (NE)))) (NE))))) (S))) (NW)) (SW)) (N))) (AND (NE) (NW))))) (NOT (SW))) (OR (NOT (NOT (NW))) (NE)))))) (NW))) (NE))) (OR (N) (NW))) (SE))) (SE)) (AND (NE) (E)))))))))) (NOT (AND (E) (NE))))) (W))))))) (EAST) (EAST)) (SOUTH)) (NORTH)) (IF (SW) (IF (NOT (SW)) (NORTH) (IF (OR (NE) (SE)) (SOUTH) (IF (SE) (NORTH) (IF (SW) (IF (NOT (SW)) (IF (W) (SOUTH) (EAST)) (NORTH)) (IF (OR (N) (OR (SW) (AND (NW) (AND (E) (AND (NOT (NOT (W))) (W)))))) (IF (NW) (IF (SE) (IF (AND (AND (S) (AND (S) (E))) (SE)) (NORTH) (EAST)) (IF (NW) (WEST) (EAST))) (WEST)) (EAST)))))) (NORTH)))) (IF (NOT (E)) (EAST) (EAST))) PAR1 (IF (N) (SOUTH) (IF (NW) (EAST) (IF (AND (S) (AND (NOT (AND (OR (W) (SW)) (SW))) (NE))) (NORTH) (WEST)))) PAR2 (IF (AND (NW) (NE)) (EAST) (EAST)) CHILD (IF (AND (NW) (NE)) (EAST) (IF (NW) (EAST) (IF (AND (S) (AND (NOT (AND (OR (W) (SW)) (SW))) (NE))) (NORTH) (WEST)))) PAR1 (IF (AND (NE) (AND (NE) (SE))) (WEST) (SOUTH)) PAR2 (IF (N) (IF (AND (W) (NE)) (WEST) (IF (W) (NORTH) (NORTH))) (IF (AND (AND (NOT (OR (W) (NOT (AND (W) (SE))))) (NOT (NE))) (E)) (SOUTH) (SOUTH))) CHILD (IF (AND (NE) (AND (NE) (SE))) (WEST) (IF (AND (AND (NOT (OR (W) (NOT (AND (W) (SE))))) (NOT (NE))) (E)) (SOUTH) (SOUTH))) PAR1 (IF (S) (WEST) (NORTH)) PAR2 (IF (W) (EAST) (WEST)) CHILD (IF (S) (EAST) (WEST)) PAR1 (IF (NOT (NE)) (IF (AND (W) (SE)) (EAST) (SOUTH)) (IF (NE) (EAST) (EAST))) PAR2 (IF (NE) (SOUTH) (IF (OR (SE) (AND (AND (OR (NOT (N)) (W)) (AND (AND (OR (SE) (N)) (AND (SW) (E))) (SW))) (NOT (S)))) (SOUTH) (NORTH))) CHILD (IF (NOT (NE)) (IF (AND (W) (SE)) (EAST) (SOUTH)) (IF (OR (SE) (AND (AND (OR (NOT (N)) (W)) (AND (AND (OR (SE) (N)) (AND (SW) (E))) (SW))) (NOT (S)))) (SOUTH) (NORTH))) PAR1 (IF (NW) (SOUTH) (EAST)) PAR2 (IF (AND (SE) (E)) (IF (NOT (E)) (EAST) (SOUTH)) (EAST)) CHILD (IF (NW) (IF (NOT (E)) (EAST) (SOUTH)) (EAST)) PAR1 (IF (NE) (EAST) (WEST)) PAR2 (IF (OR (NOT (SW)) (SW)) (WEST) (EAST)) CHILD (IF (OR (NOT (SW)) (SW)) (EAST) (EAST)) PAR1 (IF (NE) (EAST) (EAST)) PAR2 (IF (OR (SE) (NE)) (IF (NE) (IF (NOT (W)) (NORTH) (IF (AND (W) (NOT (NOT (AND (NOT (W)) (NOT (E)))))) (NORTH) (NORTH))) (IF (N) (NORTH) (IF (AND (NOT (OR (E) (E))) (NW)) (IF (S) (EAST) (SOUTH)) (EAST)))) (IF (E) (EAST) (NORTH))) CHILD (IF (OR (SE) (NE)) (IF (NE) (IF (NOT (W)) (NORTH) (IF (AND (W) (NOT (NOT (AND (NOT (W)) (NOT (E)))))) (NORTH) (NORTH))) (IF (N) (NORTH) (IF (AND (NOT (OR (E) (E))) (NW)) (IF (S) (EAST) (SOUTH)) (EAST)))) (EAST)) NIL [20]> (bye) Bye. D:\Programme\clisp>exit exit Process shell finished